হাইপারকিউবের উপর একটি কনভ্যুশনের এনট্রপি

আমরা একটি ফাংশন আছে বলুন , এই ধরনের যে (তাই আমরা মনে করতে পারেন বিতরণ হিসাবে)। এই জাতীয় ফাংশনটির এনট্রপি সংজ্ঞায়িত করা স্বাভাবিক: $f:\mathbb{Z}_2^n \to \mathbb{R}$ $\sum _{x\in \mathbb{Z}_2^n} f(x)^2 = 1$ $\{ f(x)^2\} _{x\in \mathbb{Z}_2^n}$

H (f) = - \sum_{x \in Z_{2}^{n}} f (x)^{2} \log (f (x)^{2}) .

$H(f) = -\sum _{x \in \mathbb{Z}_2^n} f(x)^2 \log \left( f(x)^2 \right) .$

এখন, নিজের সাথে এর সংশ্লেষ বিবেচনা করুন : (নোট করুন যেহেতু আমরা , তারপরে ) $f$

[f * f] (x) = \sum_{y \in Z_{2}^{n}} f (y) f (x + y) .

$[ f*f] (x) = \sum_{y \in \mathbb{Z}_2^n}f(y)f(x+y) .$

Z_{2}^{n}

$\mathbb{Z}_2^n$

x + y = x - y

$x+y=x-y$

এটা সম্ভব উপরের এর এনট্রপি আবদ্ধ হয় (তার মধ্যে স্বাভাবিক , -norm যাতে এটা একটি বিতরণ করা জন্য) এর এনট্রপি দ্বারা ? সাধারণত, এমন কোনও ধ্রুবক আছে যে $f*f$ $L_2$ $f$ $C$

H (\frac{f * f}{‖ f * f ‖_{2}}) \leq C \cdot H (f)

$H \left( \frac{f*f}{\|f*f\|_2} \right) \le C \cdot H(f)$

it.information-theory boolean-functions fourier-analysis

এই প্রশ্নটি প্রথম আগস্টে ম্যাথওভারফ্লোতে পোস্ট করা হয়েছিল: mathoverflow.net/questions/103668/… (সাধারণত এইরকম বিলম্বের সাথে ক্রসপোস্ট করা ভাল, তবে আপনি কী করছেন তা আপনার বলা উচিত)।

— কলিন ম্যাককুইলান

দুঃখিত, আমি এই নীতি সম্পর্কে অবগত ছিলাম না।

এন্ট্রপি পাওয়ার বৈষম্য আপনার জন্য কার্যকর হতে পারে: en.wikedia.org/wiki/Entropy_power_inequality

— বা মায়ার

এরকম । নির্ধারণ দ্বারা $C$ $g\colon\mathbb{Z}_2^n\to\mathbb{R}$

g (x_{1}, \dots, x_{n}) = {\begin{cases} 2^{2 n / 3} & if x_{1} = \dots = x_{n} = 0 \\ 1 & otherwise. \end{cases}

$g(x_1,\dots,x_n)=\begin{cases} 2^{2n/3}&\text{ if $x_1=\dots=x_n=0$}\\ 1&\text{ otherwise.}\end{cases}$

তারপরে সন্তুষ্টি $g*g$

(g * g) (x_{1}, \dots, x_{n}) = {\begin{cases} 2^{4 n / 3} + 2^{n} - 1 & if x_{1} = \dots = x_{n} = 0 \\ 2^{2 n / 3} \cdot 2 + 2^{n} - 2 & otherwise. \end{cases}

$(g*g)(x_1,\dots,x_n)=\begin{cases} 2^{4n/3}+2^n-1&\text{ if $x_1=\dots=x_n=0$}\\ 2^{2n/3}\cdot 2+2^n-2&\text{ otherwise.}\end{cases}$

আসুন । তারপরে হ'ল (প্রকৃতপক্ষে এটি তে তাত্পর্যপূর্ণভাবে ছোট ), যখন প্রায় । $f=g/\|g\|_2$ $H(f)=H(g/\|g\|_2)$ $o(1)$ $n$ $H(g*g/\|g*g\|_2)$ $n$

— কলিন ম্যাককুইলান
সূত্র