WikiDer > Неравенство Альсведе – Дайкина

Ahlswede–Daykin inequality

Фундаментальный инструмент в статистическая механика и вероятностная комбинаторика (особенно случайные графы и вероятностный метод), Неравенство Альсведе – Дайкина (Альсведе и Дайкин 1978), также известный как теорема о четырех функциях (или же неравенство), это корреляция-типа для четырех функций на конечном распределительная решетка.

В нем говорится, что если ${displaystyle f_ {1}, f_ {2}, f_ {3}, f_ {4}}$ неотрицательные функции на конечной дистрибутивной решетке такие, что

{displaystyle f_ {1} (x) f_ {2} (y) leq f_ {3} (xvee y) f_ {4} (xwedge y)}

для всех Икс, у в решетке, то

{displaystyle f_ {1} (X) f_ {2} (Y) leq f_ {3} (Xvee Y) f_ {4} (Xwedge Y)}

для всех подмножеств Икс, Y решетки, где

{displaystyle f (X) = сумма _ {xin X} f (x)}

и

{displaystyle Xvee Y = {xvee ymid xin X, yin Y}}

{displaystyle Xwedge Y = {xwedge ymid xin X, yin Y}.}

Неравенство Альсведе-Дайкина можно использовать для краткого доказательства как Неравенство холли и Неравенство ФКГ. Это также подразумевает Неравенство Фишберна – Шеппа.

Для доказательства см. Оригинальную статью (Альсведе и Дайкин 1978) или же (Алон и Спенсер 2000).

Обобщения

«Теорема о четырех функциях» была независимо обобщена на 2k функции в (Ахарони и Кейч 1996) и (Ринотт и Сакс 1991).