Ahlswede–Daykinova nejednakost
U statističkoj mehanici, Ahlswede–Daykinova nejednakost je nejednakost četiri funkcije na konačnoj distributivnoj rešeci. Ova nejednakost iskazu je ako je ƒi, i = 1, 2, 3, 4 su pozitivne funkcije na konačnoj distributivnoj rešeci, tako da je f 1 ( x ) f 2 ( y ) ≤ f 3 ( x ∨ y ) f 4 ( x ∧ y ) {\displaystyle f_{1}(x)f_{2}(y)\leq f_{3}(x\vee y)f_{4}(x\wedge y)} za sve x, y u rešeci, tada je f 1 ( X ) f 2 ( Y ) ≤ f 3 ( X ∨ Y ) f 4 ( X ∧ Y ) {\displaystyle f_{1}(X)f_{2}(Y)\leq f_{3}(X\vee Y)f_{4}(X\wedge Y)} za sve podskupove X, Y rešetke, gdje je f ( X ) = ∑ x ∈ X f ( x ) {\displaystyle f(X)=\sum _{x\in X}f(x)} i X ∨ Y = { x ∨ y | x ∈ X , y ∈ Y } {\displaystyle X\vee Y=\{x\vee y|x\in X,y\in Y\}} X ∧ Y = { x ∧ y | x ∈ X , y ∈ Y } . {\displaystyle X\wedge Y=\{x\wedge y|x\in X,y\in Y\}.} Povezana je sa FKG nejednakosti, te povlači za sobom Holleyjevu u Fishburn–Sheppovu nejednakost.