Распределение вероятности максимальной энтропии

Распределение вероятностей, имеющее наибольшую энтропию в классе

В статистике и теории информации распределение вероятности с максимальной энтропией имеет энтропию , которая по крайней мере так же велика, как и у всех других членов указанного класса распределений вероятности . Согласно принципу максимальной энтропии , если о распределении ничего не известно, кроме того, что оно принадлежит определенному классу (обычно определяемому в терминах указанных свойств или мер), то распределение с наибольшей энтропией должно быть выбрано как наименее информативное по умолчанию. Мотивация двоякая: во-первых, максимизация энтропии минимизирует объем предварительной информации, встроенной в распределение; во-вторых, многие физические системы имеют тенденцию двигаться к конфигурациям с максимальной энтропией с течением времени.

Определение энтропии и дифференциальной энтропии

Если — непрерывная случайная величина с плотностью вероятности , то дифференциальная энтропия определяется как ^{[1] ​​[2] [3]} ${\displaystyle X}$ ${\displaystyle p(x)}$ ${\displaystyle \ X\ }$

${\displaystyle H(X)~=~-\int _{-\infty }^{\infty }p(x)\ \log p(x)\ \mathrm {d} \,\!x~.}$

Если — дискретная случайная величина с распределением, заданным формулой ${\displaystyle \ X\ }$

${\displaystyle \operatorname {Pr} \{\ X=x_{k}\}=p_{k}\qquad ~{\mbox{ for }}~\quad k=1,\ 2,\ \ldots ~}$

тогда энтропия определяется как ${\displaystyle \ X\ }$

${\displaystyle H(X)=-\sum _{k\geq 1}\ p_{k}\ \log p_{k}~.}$

Кажущийся расходящимся член заменяется нулем всякий раз, когда ${\displaystyle \ p(x)\ \log p(x)\ }$ ${\displaystyle \ p(x)=0~.}$

Это частный случай более общих форм, описанных в статьях Энтропия (теория информации) , Принцип максимальной энтропии и Дифференциальная энтропия. В связи с распределениями максимальной энтропии это единственное, что нужно, поскольку максимизация также максимизирует более общие формы. ${\displaystyle \ H(X)\ }$

Основание логарифма не имеет значения, пока оно используется последовательно: изменение основания просто приводит к изменению масштаба энтропии. Теоретики информации могут предпочесть использовать основание 2, чтобы выразить энтропию в битах ; математики и физики часто предпочитают натуральный логарифм , что приводит к единице измерения энтропии «нат» .

Однако выбранная мера имеет решающее значение, хотя типичное использование меры Лебега часто защищается как «естественный» выбор: выбранная мера определяет энтропию и последующее распределение максимальной энтропии. ${\displaystyle \ \mathrm {d} \,\!x\ }$

Распределения с измеренными константами

Многие статистические распределения, представляющие интерес, являются теми, для которых моменты или другие измеримые величины ограничены константами. Следующая теорема Людвига Больцмана дает форму плотности вероятности при этих ограничениях.

Непрерывный случай

Предположим, что представляет собой непрерывное замкнутое подмножество действительных чисел , и мы решили указать измеримые функции и числа. Мы рассматриваем класс всех действительных случайных величин, которые поддерживаются на (т.е. чья функция плотности равна нулю вне ) и которые удовлетворяют условиям моментов: ${\displaystyle \ S\ }$ ${\displaystyle \ \mathbb {R} \ }$ ${\displaystyle \ n\ }$ ${\displaystyle \ f_{1},\ \cdots ,\ f_{n}\ }$ ${\displaystyle \ n\ }$ ${\displaystyle \ a_{1},\ \ldots ,\ a_{n}~.}$ ${\displaystyle \ C\ }$ ${\displaystyle \ S\ }$ ${\displaystyle \ S\ }$ ${\displaystyle \ n\ }$

${\displaystyle \mathbb {E} \{\ f_{j}(X)\}\ \geq a_{j}\qquad ~{\mbox{ for }}~\quad j=1,\ \ldots ,\ n}$

Если существует член , функция плотности которого положительна всюду в , и если существует максимальное распределение энтропии для , то его плотность вероятности имеет следующий вид: ${\displaystyle \ C\ }$ ${\displaystyle \ S\ ,}$ ${\displaystyle \ C\ ,}$ ${\displaystyle \ p(x)\ }$

${\displaystyle p(x)=\exp \left(\ \sum _{j=0}^{n}\ \lambda _{j}f_{j}(x)\ \right)\qquad ~{\mbox{ for all }}~\quad x\in S}$

где мы предполагаем, что константа и множители Лагранжа решают задачу ограниченной оптимизации с (что гарантирует, что интегрируется до единицы): ^[4] ${\displaystyle \ f_{0}(x)=1~.}$ ${\displaystyle \ \lambda _{0}\ }$ ${\displaystyle \ n\ }$ ${\displaystyle \ {\boldsymbol {\lambda }}=(\lambda _{1},\ \ldots ,\ \lambda _{n})\ }$ ${\displaystyle \ a_{0}=1\ }$ ${\displaystyle \ p\ }$

${\displaystyle \ \max _{\ \lambda _{0};\ {\boldsymbol {\lambda }}\ }\ \left\{\ \sum _{j=0}^{n}\lambda _{j}a_{j}-\int \ \exp \left(\sum _{j=0}^{n}\lambda _{j}f_{j}(x)\right)\ \mathrm {d} \,\!x\ \right\}\qquad ~\mathrm {subject\ to} ~\quad {\boldsymbol {\lambda }}\geq \mathbf {0} \ }$

Используя условия Каруша–Куна–Таккера , можно показать, что задача оптимизации имеет единственное решение, поскольку целевая функция в оптимизации вогнута ${\displaystyle \ {\boldsymbol {\lambda }}~.}$

Обратите внимание, что когда ограничения моментов являются равенствами (а не неравенствами), то есть,

${\displaystyle \ \mathbb {E} \{\ f_{j}(X)\ \}~=~a_{j}\qquad ~{\mbox{ for }}~\quad j=1,\ \ldots ,\ n\ ,}$

тогда условие ограничения можно опустить, что делает оптимизацию по множителям Лагранжа неограниченной. ${\displaystyle \ {\boldsymbol {\lambda }}\geq \mathbf {0} \ }$

Дискретный случай

Предположим, что есть (конечное или бесконечное) дискретное подмножество действительных чисел, и что мы решили указать функции и числа. Мы рассматриваем класс всех дискретных случайных величин , которые поддерживаются на и которые удовлетворяют условиям момента ${\displaystyle \ S=\{\ x_{1},\ x_{2},\ \ldots \ \}\ }$ ${\displaystyle \ n\ }$ ${\displaystyle \ f_{1},\ \ldots \ ,f_{n}\ }$ ${\displaystyle \ n\ }$ ${\displaystyle \ a_{1},\ \ldots \ ,a_{n}~.}$ ${\displaystyle \ C\ }$ ${\displaystyle \ X\ }$ ${\displaystyle \ S\ }$ ${\displaystyle \ n\ }$

${\displaystyle \ \operatorname {\mathbb {E} } \{\ f_{j}(X)\ \}\geq a_{j}\qquad ~{\mbox{ for }}~\quad j=1,\ \ldots \ ,n\ }$

Если существует член класса , который присваивает положительную вероятность всем членам , и если существует распределение максимальной энтропии для , то это распределение имеет следующую форму: ${\displaystyle \ C\ }$ ${\displaystyle \ S\ }$ ${\displaystyle \ C\ ,}$

${\displaystyle \ \operatorname {\mathbb {P} } \{\ X=x_{k}\ \}=\exp \left(\ \sum _{j=0}^{n}\lambda _{j}\ f_{j}(x_{k})\ \right)\qquad ~{\mbox{ for }}~\quad k=1,\ 2,\ \ldots \ }$

где мы предполагаем, что и константы решают задачу ограниченной оптимизации с ^[5] ${\displaystyle f_{0}=1}$ ${\displaystyle \ \lambda _{0},\;{\boldsymbol {\lambda }}\equiv (\lambda _{1},\ \ldots \ ,\lambda _{n})\ }$ ${\displaystyle \ a_{0}=1~:}$

${\displaystyle \ \max _{\lambda _{0};\ {\boldsymbol {\lambda }}}\left\{\ \sum _{j=0}^{n}\ \lambda _{j}\ a_{j}-\sum _{k\geq 1}\ \exp \left(\ \sum _{j=0}^{n}\ \lambda _{j}\ f_{j}(x_{k})\ \right)\ \right\}\qquad ~\mathrm {for\ which} ~\quad {\boldsymbol {\lambda }}\geq \mathbf {0} \ }$

Опять же, как и выше, если условия моментов являются равенствами (а не неравенствами), то условие ограничения отсутствует в оптимизации. ${\displaystyle \ {\boldsymbol {\lambda }}\geq \mathbf {0} \ }$

Доказательство в случае ограничений равенства

В случае ограничений типа равенства эта теорема доказывается с помощью вариационного исчисления и множителей Лагранжа . Ограничения можно записать как

${\displaystyle \int _{-\infty }^{\infty }f_{j}(x)p(x)dx=a_{j}}$

Мы рассматриваем функционал

${\displaystyle J(p)=\int _{-\infty }^{\infty }p(x)\ln {p(x)}dx-\eta _{0}\left(\int _{-\infty }^{\infty }p(x)dx-1\right)-\sum _{j=1}^{n}\lambda _{j}\left(\int _{-\infty }^{\infty }f_{j}(x)p(x)dx-a_{j}\right)}$

где и — множители Лагранжа. Нулевое ограничение обеспечивает вторую аксиому вероятности . Другие ограничения состоят в том, что измерения функции заданы константами до порядка . Энтропия достигает экстремума, когда функциональная производная равна нулю: ${\displaystyle \eta _{0}}$ ${\displaystyle \lambda _{j},j\geq 1}$ ${\displaystyle n}$

${\displaystyle {\frac {\delta J}{\delta p}}\left(p\right)=\ln {p(x)}+1-\eta _{0}-\sum _{j=1}^{n}\lambda _{j}f_{j}(x)=0}$

Следовательно, распределение вероятностей экстремальной энтропии в этом случае должно иметь вид ( ), ${\displaystyle \lambda _{0}:=\eta _{0}-1}$

${\displaystyle p(x)=e^{-1+\eta _{0}}\cdot e^{\sum _{j=1}^{n}\lambda _{j}f_{j}(x)}=\exp \left(\sum _{j=0}^{n}\lambda _{j}f_{j}(x)\right)\;,}$

помня, что . Можно проверить, что это максимальное решение, проверив, что вариация вокруг этого решения всегда отрицательна. ${\displaystyle f_{0}(x)=1}$

Уникальность максимума

Предположим, что есть распределения, удовлетворяющие ожидаемым ограничениям. Позволяя и рассматривая распределение, становится ясно, что это распределение удовлетворяет ожидаемым ограничениям и, кроме того, имеет поддержку Из основных фактов об энтропии следует, что Взяв пределы и соответственно, получаем ${\displaystyle \ p,\ p'\ }$ ${\displaystyle \ \alpha \in {\bigl (}0,1{\bigr )}\ }$ ${\displaystyle \ q=\alpha \cdot p+(1-\alpha )\cdot p'\ }$ ${\displaystyle \ \mathrm {supp} (q)=\mathrm {supp} (p)\cup \mathrm {supp} (p')~.}$ ${\displaystyle \ {\mathcal {H}}(q)\geq \alpha \ {\mathcal {H}}(p)+(1-\alpha )\ {\mathcal {H}}(p')~.}$ ${\displaystyle \ \alpha \longrightarrow 1\ }$ ${\displaystyle \ \alpha \longrightarrow 0\ ,}$ ${\displaystyle \ {\mathcal {H}}(q)\geq {\mathcal {H}}(p),{\mathcal {H}}(p')~.}$

Из этого следует, что распределение, удовлетворяющее ограничениям на ожидание и максимизирующее энтропию, обязательно должно иметь полную поддержку — т. е. распределение почти всюду строго положительно. Из этого следует, что максимизирующее распределение должно быть внутренней точкой в ​​пространстве распределений, удовлетворяющих ограничениям на ожидание, т. е. оно должно быть локальным экстремумом. Таким образом, достаточно показать, что локальный экстремум уникален, чтобы показать и то, что распределение, максимизирующее энтропию, уникально (и это также показывает, что локальный экстремум является глобальным максимумом).

Предположим, что являются локальными экстремумами. Переформулируя приведенные выше вычисления, они характеризуются параметрами через и аналогично для где Теперь отметим ряд тождеств: Через 1удовлетворение ограничений ожидания и использование градиентов / производных по направлению, можно получить ${\displaystyle \ p,\ p'\ }$ ${\displaystyle \ {\vec {\lambda }},\ {\vec {\lambda }}'\in \mathbb {R} ^{n}\ }$ ${\displaystyle \ p(x)={\frac {\ \exp {{\Bigl \langle }{\vec {\lambda }},{\vec {f}}(x){\Bigr \rangle }}\ }{\ C({\vec {\lambda }})\ }}\ }$ ${\displaystyle \ p'\ ,}$ ${\displaystyle \ C({\vec {\lambda }})=\int _{x\in \mathbb {R} }\exp {{\Bigl \langle }{\vec {\lambda }},{\vec {f}}(x){\Bigr \rangle }}\ {\mathrm {d} }\,\!x~.}$

${\displaystyle \ {D\ \log C(\cdot )}\ {\bigg |}_{\vec {\lambda }}={\tfrac {D\ C(\cdot )}{C(\cdot )}}\ {\Bigg |}_{\vec {\lambda }}=\mathbb {E} _{p}\left\{\ {\vec {f}}(X)\ \right\}={\vec {a}}\ }$и аналогично для Letting получаем: ${\displaystyle \ {\vec {\lambda }}'~.\ }$ ${\displaystyle \ u={\vec {\lambda }}'-{\vec {\lambda }}\in \mathbb {R} ^{n}\ }$

${\displaystyle 0={\Bigl \langle }u,{\vec {a}}-{\vec {a}}{\Bigr \rangle }=D_{u}\log C(\cdot )\ {\Big |}_{{\vec {\lambda }}'}-D_{u}\log C(\cdot )\ {\Big |}_{\vec {\lambda }}=D_{u}^{2}\log C(\cdot )\ {\Big |}_{\vec {\gamma }}}$

где для некоторых вычислений далее есть ${\displaystyle \ {\vec {\gamma }}=\theta \ {\vec {\lambda }}+(1-\theta ){\vec {\lambda }}'\ }$ ${\displaystyle \ \theta \in {\bigl (}0,1{\bigr )}~.}$

${\displaystyle {\begin{array}{rcl}0&=&D_{u}^{2}\ \log C(\cdot )\ {\bigg |}_{\vec {\gamma }}\\&=&D_{u}\ \left({\frac {\ \ D_{u}\ C(\cdot )\ }{C(\cdot )}}\right)\ {\Bigg |}_{\vec {\gamma }}\\&=&{\frac {\ D_{u}^{2}C(\cdot )\ }{C(\cdot )}}\ {\Bigg |}_{\vec {\gamma }}-{\frac {(\ D_{u}C(\cdot ))^{2}\ }{C(\cdot )^{2}}}\ {\Bigg |}_{\vec {\gamma }}\\&=&\mathbb {E} _{q}\left\{\ {{\Bigl \langle }u,{\vec {f}}(X){\Bigr \rangle }}^{2}\ \right\}-\left(\mathbb {E} _{q}\left\{\ {\Bigl \langle }u,{\vec {f}}(X){\Bigr \rangle }\ \right\}\right)^{2}\\{}\\&=&\operatorname {Var} _{q}\{\ {\Bigl \langle }u,{\vec {f}}(X){\Bigr \rangle }\ \}\\{}\end{array}}}$

где аналогично распределению выше, только параметризовано Предполагая , что никакая нетривиальная линейная комбинация наблюдаемых не является почти всюду (ae) постоянной (что, например, справедливо, если наблюдаемые независимы и не ae постоянной), справедливо, что имеет ненулевую дисперсию, если только Из приведенного выше уравнения ясно, что последнее должно иметь место. Следовательно , параметры, характеризующие локальные экстремумы, идентичны, что означает, что сами распределения идентичны. Таким образом, локальный экстремум уникален, и согласно вышеизложенному обсуждению, максимум уникален — при условии, что локальный экстремум действительно существует. ${\displaystyle \ q\ }$ ${\displaystyle \ {\vec {\gamma }}~,}$ ${\displaystyle \ \langle u,{\vec {f}}(X)\rangle \ }$ ${\displaystyle \ u=0~.}$ ${\displaystyle \ {\vec {\lambda }}'-{\vec {\lambda }}=u=0\ ,}$ ${\displaystyle \ p,\ p'\ }$

Предостережения

Обратите внимание, что не все классы распределений содержат распределение максимальной энтропии. Возможно, что класс содержит распределения произвольно большой энтропии (например, класс всех непрерывных распределений на R со средним значением 0, но произвольным стандартным отклонением), или что энтропии ограничены сверху, но нет распределения, которое достигает максимальной энтропии. ^[a] Также возможно, что ограничения ожидаемого значения для класса C заставляют распределение вероятностей быть равным нулю в некоторых подмножествах S . В этом случае наша теорема неприменима, но это можно обойти, сжав множество S .

Примеры

Каждое распределение вероятностей тривиально является распределением вероятностей с максимальной энтропией при ограничении, что распределение имеет свою собственную энтропию. Чтобы увидеть это, перепишите плотность как и сравните с выражением теоремы выше. Выбрав быть измеримой функцией и ${\displaystyle p(x)=\exp {(\ln {p(x)})}}$ ${\displaystyle \ln {p(x)}\rightarrow f(x)}$

${\displaystyle \int \exp {(f(x))}f(x)dx=-H}$

быть константой, является распределением вероятности максимальной энтропии при ограничении ${\displaystyle p(x)}$

${\displaystyle \int p(x)f(x)dx=-H}$.

Нетривиальными примерами являются распределения, которые подчиняются множественным ограничениям, отличным от назначения энтропии. Их часто находят, начиная с той же процедуры и находя, что можно разделить на части. ${\displaystyle \ln {p(x)}\rightarrow f(x)}$ ${\displaystyle f(x)}$

Таблица примеров распределений максимальной энтропии приведена в работах Лисмана (1972) ^[6] и Парка и Беры (2009). ^[7]

Равномерные и кусочно-равномерные распределения

Равномерное распределение на интервале [ a , b ] является максимальным распределением энтропии среди всех непрерывных распределений, которые поддерживаются в интервале [ a , b ], и, таким образом, плотность вероятности равна 0 за пределами интервала. Эта равномерная плотность может быть связана с принципом безразличия Лапласа , иногда называемым принципом недостаточной причины. В более общем смысле, если нам дано подразделение a = a ₀ < a ₁ < ... < a _k = b интервала [ a , b ] и вероятности p ₁ ,..., p _{k ,} которые в сумме дают единицу, то мы можем рассмотреть класс всех непрерывных распределений, таких что

${\displaystyle \operatorname {Pr} (a_{j-1}\leq X<a_{j})=p_{j}\quad {\mbox{ for }}j=1,\ldots ,k}$

Плотность распределения максимальной энтропии для этого класса постоянна на каждом из интервалов [ a _{j -1} , a _j ). Равномерное распределение на конечном множестве { x ₁ ,..., x _n } (которое присваивает вероятность 1/ n каждому из этих значений) является распределением максимальной энтропии среди всех дискретных распределений, поддерживаемых на этом множестве.

Положительное и указанное среднее: экспоненциальное распределение

Экспоненциальное распределение , для которого функция плотности равна

${\displaystyle p(x|\lambda )={\begin{cases}\lambda e^{-\lambda x}&x\geq 0,\\0&x<0,\end{cases}}}$

— это максимальное распределение энтропии среди всех непрерывных распределений, поддерживаемых в [0,∞), имеющих заданное среднее значение 1/λ.

В случае распределений, поддерживаемых на [0,∞), максимальное распределение энтропии зависит от соотношений между первым и вторым моментами. В конкретных случаях это может быть экспоненциальное распределение, или может быть другое распределение, или может быть неопределяемым. ^[8]

Указанное среднее значение и дисперсия: нормальное распределение

Нормальное распределение N(μ,σ ² ), для которого функция плотности равна

${\displaystyle p(x|\mu ,\sigma )={\frac {1}{\sigma {\sqrt {2\pi }}}}e^{-{\frac {(x-\mu )^{2}}{2\sigma ^{2}}}},}$

имеет максимальную энтропию среди всех вещественных распределений, поддерживаемых на (−∞,∞) с указанной дисперсией σ ² (определенный момент ). То же самое верно, когда указаны среднее значение μ и дисперсия σ ² (первые два момента), поскольку энтропия инвариантна относительно трансляции на (−∞,∞). Следовательно, предположение о нормальности накладывает минимальное предварительное структурное ограничение за пределами этих моментов. (См. статью о дифференциальной энтропии для вывода.)

Дискретные распределения с заданным средним значением

Среди всех дискретных распределений, поддерживаемых на множестве { x ₁ ,..., x _n } с заданным средним μ, распределение максимальной энтропии имеет следующую форму:

${\displaystyle \operatorname {Pr} (X=x_{k})=Cr^{x_{k}}\quad {\mbox{ for }}k=1,\ldots ,n}$

где положительные константы C и r могут быть определены из требований, что сумма всех вероятностей должна быть равна 1, а ожидаемое значение должно быть равно μ.

Например, если брошено большое количество игральных костей N , и вам говорят, что сумма всех выпавших чисел равна S. Основываясь только на этой информации, какое разумное предположение будет для количества игральных костей, показывающих 1, 2, ..., 6? Это пример ситуации, рассмотренной выше, с { x ₁ ,..., x ₆ } = {1,...,6} и μ = S / N .

Наконец, среди всех дискретных распределений, поддерживаемых на бесконечном множестве со средним μ, распределение максимальной энтропии имеет вид: ${\displaystyle \{x_{1},x_{2},...\}}$

${\displaystyle \operatorname {Pr} (X=x_{k})=Cr^{x_{k}}\quad {\mbox{ for }}k=1,2,\ldots ,}$

где снова константы C и r были определены требованиями, что сумма всех вероятностей должна быть 1, а ожидаемое значение должно быть μ. Например, в случае, когда x _k = k , это дает

${\displaystyle C={\frac {1}{\mu -1}},\quad \quad r={\frac {\mu -1}{\mu }},}$

таким образом, что соответствующее максимальное распределение энтропии является геометрическим распределением .

Круговые случайные величины

Для непрерывной случайной величины, распределенной по единичной окружности, распределение фон Мизеса максимизирует энтропию, когда указаны действительная и мнимая части первого кругового момента ^[9] или, что эквивалентно, указаны круговое среднее и круговая дисперсия . ${\displaystyle \theta _{i}}$

Когда среднее значение и дисперсия углов по модулю указаны, обернутое нормальное распределение максимизирует энтропию. ^[9] ${\displaystyle \theta _{i}}$ ${\displaystyle 2\pi }$

Максимизатор для указанного среднего значения, дисперсии и перекоса

Существует верхняя граница энтропии непрерывных случайных величин на с заданным средним значением, дисперсией и перекосом. Однако не существует распределения, которое достигает этой верхней границы , поскольку является неограниченным, когда (см. Cover & Thomas (2006: глава 12)). ${\displaystyle \mathbb {R} }$ ${\displaystyle p(x)=c\exp {(\lambda _{1}x+\lambda _{2}x^{2}+\lambda _{3}x^{3})}}$ ${\displaystyle \lambda _{3}\neq 0}$

Однако максимальная энтропия ε -достижима: энтропия распределения может быть сколь угодно близка к верхней границе. Начните с нормального распределения с заданным средним значением и дисперсией. Чтобы ввести положительный перекос, возмущение нормального распределения вверх на небольшую величину со значением, во много раз большим σ, чем среднее значение. Перекос, будучи пропорциональным третьему моменту, будет затронут больше, чем моменты низшего порядка.

Это частный случай общего случая, в котором экспонента любого нечетного полинома по x будет неограниченной на . Например, также будет неограниченной на , но когда носитель ограничен ограниченным или полуограниченным интервалом, может быть достигнута верхняя граница энтропии (например, если x лежит в интервале [0,∞] и λ< 0 , результатом будет экспоненциальное распределение ). ${\displaystyle \mathbb {R} }$ ${\displaystyle ce^{\lambda x}}$ ${\displaystyle \mathbb {R} }$

Максимизатор для заданного среднего значения и отклонения меры риска

Каждое распределение с логарифмически вогнутой плотностью является распределением максимальной энтропии с заданным средним значением μ и мерой риска отклонения D. ^[10  ]

В частности, максимальное распределение энтропии с заданным средним значением и отклонением равно: ${\displaystyle \ E(X)\equiv \mu \ }$ ${\displaystyle \ D(X)\equiv d\ }$

• Нормальное распределение, если — это стандартное отклонение ; ${\displaystyle \ {\mathcal {N}}\left(m,d^{2}\right)\ ,}$ ${\displaystyle \ D(X)={\sqrt {\ \operatorname {\mathbb {E} } \left\{\ \left(X-\mu \right)^{2}\ \right\}\ }}\ }$
• Распределение Лапласа , если — среднее абсолютное отклонение ; ^[6] ${\displaystyle \;D(X)=\operatorname {\mathbb {E} } \left\{\ \left|\ X-\mu \right|\ \right\}\ }$
• Распределение с плотностью вида , если является стандартным нижним полуотклонением, где — константы, а функция возвращает только отрицательные значения своего аргумента, в противном случае — ноль. ^[10] ${\displaystyle ~f(x)=c\ \exp \left(\ a\ x+b\downharpoonright x-\mu \downharpoonleft _{-}^{2}\ \right)~}$ ${\displaystyle ~D(X)={\sqrt {\ \operatorname {\mathbb {E} } \left\{\ \downharpoonright X-\mu \downharpoonleft _{-}^{2}\ \right\}~}}~}$ ${\displaystyle \;a,b,c\;}$ ${\displaystyle \ \downharpoonright y\downharpoonleft _{-}\ \equiv \ \min \left\{\ 0,\ y\ \right\}~\ {\mbox{ for any }}~\ y\in \mathbb {R} \ ,~}$

Другие примеры

В таблице ниже каждое перечисленное распределение максимизирует энтропию для определенного набора функциональных ограничений, перечисленных в третьем столбце, и ограничения, которое должно быть включено в поддержку плотности вероятности, перечисленной в четвертом столбце. ^{[6] [7]} ${\displaystyle \ x\ }$

Несколько перечисленных примеров ( Бернулли , геометрический , экспоненциальный , Лаплас , Парето ) тривиально верны, поскольку их связанные ограничения эквивалентны назначению их энтропии. Они включены в любом случае, поскольку их ограничение связано с общей или легко измеряемой величиной.

Для справки, — гамма-функция , — дигамма-функция , — бета-функция , — константа Эйлера-Маскерони . ${\displaystyle \ \Gamma (x)=\int _{0}^{\infty }e^{-t}t^{x-1}\ {\mathrm {d} }t\ }$ ${\displaystyle \psi (x)={\frac {\mathrm {d} }{\ {\mathrm {d} }x\ }}\ln \Gamma (x)={\frac {\Gamma '(x)}{\ \Gamma (x)\ }}\ }$ ${\displaystyle \ B(p,q)={\frac {\ \Gamma (p)\ \Gamma (q)\ }{\Gamma (p+q)}}\ }$ ${\displaystyle \ \gamma _{\mathsf {E}}\ }$

Принцип максимальной энтропии может быть использован для верхней границы энтропии статистических смесей. ^[12]

Смотрите также

• Экспоненциальная семья
• мера Гиббса
• Функция распределения (математика)
• Случайное блуждание с максимальной энтропией — максимизация скорости энтропии для графа

Примечания

1. Например, класс всех непрерывных распределений X на R с E( X ) = 0 и E( X ² ) = E( X ³ ) = 1 (см. обложку, гл. 12).

Цитаты

1. Уильямс, Д. (2001). Взвешивание шансов . Cambridge University Press . С. 197–199. ISBN 0-521-00618-X.
2. Бернардо, Дж. М.; Смит, А. Ф. М. (2000). Байесовская теория . Wiley. стр. 209, 366. ISBN 0-471-49464-X.
3. О'Хаган, А. (1994), Байесовский вывод . Расширенная теория статистики Кендалла. Том 2B. Эдвард Арнольд . Раздел 5.40. ISBN 0-340-52922-9.
4. Ботев, З.И.; Крезе, Д.П. (2011). «Обобщенный метод кросс-энтропии с приложениями к оценке плотности вероятности» (PDF) . Методология и вычисления в прикладной теории вероятностей . 13 (1): 1–27. doi :10.1007/s11009-009-9133-7. S2CID  18155189.
5. Ботев, З.И.; Крезе, Д.П. (2008). «Неасимптотический выбор полосы пропускания для оценки плотности дискретных данных». Методология и вычисления в прикладной теории вероятностей . 10 (3): 435. doi :10.1007/s11009-007-9057-zv. S2CID  122047337.
6. Lisman, JHC; van Zuylen, MCA (1972). «Заметка о генерации наиболее вероятных распределений частот». Statistica Neerlandica . 26 (1): 19–23. doi :10.1111/j.1467-9574.1972.tb00152.x.
7. Park, Sung Y.; Bera, Anil K. (2009). "Модель условной гетероскедастичности с максимальной энтропией" (PDF) . Journal of Econometrics . 150 (2): 219–230. CiteSeerX 10.1.1.511.9750 . doi :10.1016/j.jeconom.2008.12.014. Архивировано из оригинала (PDF) 2016-03-07 . Получено 2011-06-02 . 
8. Доусон, Д.; Рэгг, А. (сентябрь 1973 г.). «Распределения с максимальной энтропией, имеющие заданные первые и вторые моменты». Труды IEEE по теории информации (переписка). 19 (5): 689–693. doi :10.1109/tit.1973.1055060. ISSN  0018-9448.
9. Jammalamadaka, S. Rao; SenGupta, A. (2001). Темы в круговой статистике. Нью-Джерси: World Scientific. ISBN 978-981-02-3778-3. Получено 15.05.2011 .
10. Гречук, Богдан; Молибога, Антон; Забаранкин, Михаил (2009). «Принцип максимальной энтропии с общими мерами отклонения». Математика исследования операций . 34 (2): 445–467. doi :10.1287/moor.1090.0377 – через researchgate.net.
11. Harremös, Peter (2001). «Биномиальное и пуассоновское распределения как распределения с максимальной энтропией». IEEE Transactions on Information Theory . 47 (5): 2039–2041. doi :10.1109/18.930936. S2CID  16171405.
12. Нильсен, Франк; Нок, Ричард (2017). «Верхние границы MaxEnt для дифференциальной энтропии одномерных непрерывных распределений». IEEE Signal Processing Letters . 24 (4). IEEE : 402–406. Bibcode :2017ISPL...24..402N. doi :10.1109/LSP.2017.2666792. S2CID  14092514.

Ссылки

• Cover, TM ; Thomas, JA (2006). "Глава 12, Максимальная энтропия" (PDF) . Элементы теории информации (2-е изд.). Wiley. ISBN 978-0471241959.
• Ф. Нильсен, Р. Нок (2017), Верхние границы MaxEnt для дифференциальной энтропии одномерных непрерывных распределений , IEEE Signal Processing Letters, 24(4), 402–406
• IJ Taneja (2001), Обобщенные информационные меры и их применение . Глава 1
• Надер Эбрахими, Эхсан С. Суфи, Рефик Сойер (2008), «Многомерная идентификация максимальной энтропии, преобразование и зависимость», Журнал многомерного анализа 99: 1217–1231, doi :10.1016/j.jmva.2007.08.004