--- title: Entropy-Positivity Conjecture url: https://www.emergentmind.com/topics/entropy-positivity-conjecture type: topic --- # Entropy-Positivity Conjecture Searching arXiv for the cited paper and closely related work on entropy-based positivity bounds. Entropy-Positivity Conjecture denotes a family of claims asserting that entropy, entropy shifts, or entropy-derived functionals obey positivity or monotonicity constraints strong enough to restrict effective couplings, admissible states, or extremal distributions. In recent high-energy usage, the sharpest theorem-level instance is thermal: for a local, unitary, causal effective field theory in equilibrium, integrating in heavy degrees of freedom should not reduce the entropy accessible to the infrared thermal ensemble, and for a shift-symmetric scalar EFT this forces a strictly positive coefficient for the leading dimension-8 operator \(O_8=(\partial_\mu\phi\,\partial^\mu\phi)^2\). Earlier black-hole analyses established positivity of higher-derivative entropy shifts at fixed mass and charge and translated it into Wilson-coefficient bounds and Weak Gravity Conjecture implications. Related formulations also appear in entanglement theory, phase-space quantum mechanics, extremal combinatorics, graph dimer entropy, and entropy-stable numerical schemes [2509.06630] [1801.08546]. ## 1. Scope and common structure The phrase does not denote a single universally standardized theorem. Taken together, the current literature suggests a common pattern: one identifies an entropy-like quantity, proves or conjectures that a deformation or comparison operation should not decrease it, and then converts that sign condition into structural constraints. In QFT and gravity, the constrained objects are typically Wilson coefficients or extremality bounds. In information-theoretic and combinatorial settings, they are probability distributions. In numerical analysis, they become admissibility radii for fully discrete updates. | Domain | Entropy object | Positivity statement | |---|---|---| | Thermal EFT | \(s(T)\) or \(\Delta s(T)\) | \(s_{\rm EFT}(T)\ge s_{\rm free}(T)\) | | Black-hole EFT | \(\Delta S(M,Q)\) | \(\Delta S(M,Q)\ge 0\) | | Irrelevant deformations | \(\Delta S\), \(\Delta\Omega^*\) | \(\Delta S\ge 0 \Leftrightarrow \Delta\Omega^*<0\) | | Entanglement theory | Kernel \(-S(V_i\bar V_j)\) | conditional positivity | | Wigner-positive states | \(S[W]\) | \(S[W]\ge 1+\ln\pi\) under sufficient conditions | | Sampling/combinatorics | \(\mathbf H(X_P)\) | \(\mathbf H(X_P)\ge \mathbf H(\mathrm{Ber}(k/n))\) | These formulations are technically distinct. Their commonality lies less in a shared proof template than in a recurring principle: entropy positivity functions as a consistency criterion that can be sharpened into inequalities for couplings, amplitudes, microstate counts, or distributional spread [2509.06630] [1801.08546] [2508.14978] [1203.4007] [2601.16898] [2606.30486]. ## 2. Thermal effective field theory and irrelevant deformations The thermal EFT version is developed explicitly in "Positivity bounds from thermal field theory entropy" [2509.06630]. The setup is a single real scalar field \(\phi\) with shift symmetry and EFT Lagrangian \[ \mathcal L = \frac12(\partial_\mu\phi\,\partial^\mu\phi)+\frac{c}{M^4}(\partial_\mu\phi\,\partial^\mu\phi)^2+\dots \] in the regime \(m\ll T\ll M\). The Euclidean finite-temperature framework uses \[ Z(T)=\mathrm{Tr}\,e^{-\beta H}=\int D\phi\,e^{-S_E},\qquad f(T)=-(T/V)\ln Z,\qquad s(T)=-\partial f/\partial T. \] The key thermodynamic input is a sharpened entropy-consistency inequality: after accounting for quantum entanglement through the Araki–Lieb inequality, \[ S_{M+m}\ge |S_m-S_M|, \] the heavy-sector thermal entropy is Boltzmann suppressed in \(m\ll T\ll M\), leading to \[ s_{\rm EFT}(T)\ge s_{\rm free}(T). \] For the dimension-8 operator, the explicit computation gives \[ f_0(T)=-\frac{\pi^2T^4}{90},\qquad f_1(T)=-\frac{c\pi^4}{225M^4}T^8, \] and hence \[ \Delta s(T)=-\partial_T \Delta f(T)=\frac{8c\pi^4}{225M^4}T^7. \] Since \(s(T)-s_0(T)=\Delta s(T)\ge 0\) for \(T>0\), the Wilson coefficient obeys \[ c_8\equiv c>0. \] The same paper notes that higher corrections such as \(f_2\sim (c^2/M^8)T^{12}\) and ring-resummed terms are parametrically suppressed for \(T\ll M\), so the sign inference is robust within the EFT regime. It also shows that the forward-limit tree amplitude \[ \mathcal M_{\rm forward}(s)=\frac{2c}{M^4}s^2 \] satisfies the standard S-matrix positivity condition iff \(c>0\), making the thermal derivation complementary to amplitude-based arguments [2509.06630]. A broader grand-canonical formulation appears in "On Entropy Bounds for Irrelevant Operators" [2508.14978]. There the conjecture is stated for a CFT deformed by a leading irrelevant operator \(O\) of dimension \(\Delta>d\), with \[ \Delta S(\lambda;T,\mu,V)=S_{\rm deformed}-S_{\rm CFT}\ge 0 \] to leading order in the deformation, and with thermal subtraction \[ \Omega^*(T,\mu)=\Omega(T,\mu)-\Omega(T{=}0,\mu). \] The paper proves, for perturbatively close theories and fixed \((T,\mu)\), \[ \Delta\Omega^*(\beta,\mu)<0\quad\Longleftrightarrow\quad \Delta S(E^*,Q^*)>0. \] At linear order, \[ \Delta\Omega^*(T,\mu)=\lambda\int d^d x\,\langle O(x)\rangle_{T,\mu}+O(\lambda^2). \] The examples exhibit broad agreement with known positivity and causality constraints. For a \(U(1)\) Goldstone with quartic self-interaction, \[ \Delta\Omega^*=-\frac{\lambda}{M^4}\frac{16\pi^4}{225\,\beta^8}V,\qquad \Delta s=+\frac{\lambda}{M^4}\frac{128\pi^4}{225}T^7, \] so \(\lambda>0\) implies entropy increase. For Euler–Heisenberg theory, \[ \Delta\Omega^*=-\frac{c_1+c_2}{M^4}\frac{128\pi^4}{225\,\beta^8}V, \] again giving \(\Delta s>0\) when \(c_1>0\) and \(c_2\ge 0\). The \(O(N)\) nonlinear sigma model in \((2+1)\)D and the \(T\bar T\)-deformed Ising CFT furnish additional nontrivial checks, while marginal deformations such as \(4\)D \(\lambda\phi^4\) are presented as outside the conjecture’s proper scope [2508.14978]. ## 3. Black-hole entropy shifts, Wald positivity, and extremality The black-hole version is formulated and proved in "Proof of the Weak Gravity Conjecture from Black Hole Entropy" [1801.08546]. The theory is Einstein–Maxwell plus higher-dimension operators, \[ \Delta\mathcal L = c_1R^2+c_2R_{\mu\nu}R^{\mu\nu}+c_3R_{\mu\nu\rho\sigma}R^{\mu\nu\rho\sigma} +c_4RF_{\mu\nu}F^{\mu\nu}+c_5R_{\mu\nu}F^{\mu\rho}F^\nu_{\ \rho} \] \[ \qquad +c_6R_{\mu\nu\rho\sigma}F^{\mu\nu}F^{\rho\sigma} +c_7(F_{\mu\nu}F^{\mu\nu})^2+c_8F_{\mu\nu}F^{\nu\rho}F_{\rho\sigma}F^{\sigma\mu}, \] and the entropy shift at fixed ADM mass and charge is \[ \Delta S(M,Q)=S(M,Q)-\widetilde S(M,Q). \] For thermodynamically stable charged black holes with \(C_Q>0\), and assuming tree-level dominance from integrating out healthy heavy fields, the main result is \[ \Delta S(M,Q)\ge 0. \] The proof uses the Euclidean path integral and a canonical free-energy inequality, \[ F(\beta,Q)<\widetilde F(\beta,Q), \] which is then shown to be equivalent to \(\Delta S(M,Q)>0\). In \(D=4\), positivity for all \(\xi\in(0,1/2)\) in the stable window yields \[ (1-\xi)^2\,d_0 + 20\,\xi\,d_3 - 5\,\xi(1-\xi)\,(2d_3+d_6) > 0, \] and in the near-extremal limit this reduces to \[ d_0>0. \] The extremal charge-to-mass ratio is shifted upward, \[ \Delta z=\frac{2d_0}{5m^2}>0, \] so large extremal black holes become unstable to fragmentation, thereby satisfying the Weak Gravity Conjecture in the stated regime [1801.08546]. The AdS extension is developed in "Higher-Derivative Corrections to Entropy and the Weak Gravity Conjecture in Anti-de Sitter Space" [1912.11161]. There the conjecture is that, for thermodynamically stable AdS–Reissner–Nordström black holes, the leading higher-derivative correction to the microcanonical entropy at fixed \((E,Q)\) is positive, \[ \Delta S_{\rm micro}(E,Q)>0. \] The paper confirms a universal extremality–entropy relation, \[ (\Delta M)_{Q,T=0}=-\,T_0\,(\Delta S)_{Q,M}=-\,\Phi_0\,(\Delta Q)_{M,T=0}, \] with a modified exact-extremal relation \[ (\Delta M)_{Q,T=0}=-\frac12\,T\,(\Delta S)_{Q,M}. \] For sufficiently large neutral black holes, entropy positivity enforces \[ c_1\ge 0, \] and in AdS\(_5\) the holographic map \[ c_1=\frac18\,\frac{c-a}{c} \] connects entropy positivity to the CFT inequality \(c-a>0\). The same analysis relates entropy positivity to extremality shifts and to transport data such as \(\eta/s\) [1912.11161]. A further refinement appears in "Unearthing the intersections: positivity bounds, weak gravity conjecture, and asymptotic safety landscapes from photon-graviton flows" [2405.08860]. In that setting, Wald entropy is sensitive to the four-dimensional Euler density, \[ E_4=R_{\mu\nu\rho\sigma}R^{\mu\nu\rho\sigma}-4R_{\mu\nu}R^{\mu\nu}+R^2, \] through the topological contribution \[ \Delta S_{E_4}=4\pi\,\alpha\,\chi(\mathcal H). \] The entropy-positivity family is written as \[ \mathcal P_E(\xi)=8\pi G_N\Big[(1-\xi)^2(3w_+-w_-)-2(1-\xi)(1+4\xi)w_C+10\xi(1+\xi)w_E\Big]>0, \] while the near-extremal WGC limit is \[ \mathcal P_{\rm WGC}=8\pi G_N(3w_+-w_--2w_C)>0. \] In the photon–graviton asymptotic-safety landscape, the paper finds Planck-scale-suppressed violations of both WGC and S-matrix positivity across the landscape. In this context, entropy-based positivity acts primarily as a lower bound on the Euler coupling \(w_E\), rather than as a direct falsification of asymptotic safety [2405.08860]. ## 4. Entanglement and phase-space formulations In entanglement theory, "Positivity, entanglement entropy, and minimal surfaces" analyzes a distinct but structurally related conjecture: whether the \(n\to 1\) limit of replica path integrals can be represented by boundary insertions at first order in \(n-1\) [1203.4007]. If so, reflection positivity at integer Rényi index would descend to conditional positivity of the kernel \[ M_{ij}=-S(V_i\bar V_j), \] meaning \[ \sum_{i,j} c_i^*\,M_{ij}\,c_j\ge 0 \qquad\text{for}\qquad \sum_i c_i=0. \] Equivalent formulations include positivity of the second-difference matrix and infinite divisibility of \[ \{e^{-\lambda S(V_i\bar V_j)}\} \] for every \(\lambda>0\). The resulting hierarchy contains, at lowest order, \[ 2S(V_1\bar V_2)\ge S(V_1\bar V_1)+S(V_2\bar V_2), \] and, for one-parameter translation-invariant families \(S(x,y)=S(x+y)\), \[ f_1(x)=-S''(x)\ge 0,\qquad f_2(x)=S''(x)S^{(4)}(x)-(S^{(3)}(x))^2\ge 0. \] The paper finds no counterexample in the few exact QFT results available, but it does find holographic counterexamples for more complicated multi-parameter minimal-surface geometries. This places the conjecture on a restricted, rather than universal, footing [1203.4007]. In phase-space quantum mechanics, "Upper bounds on the purity of Wigner positive quantum states that verify the Wigner entropy conjecture" studies Wigner-positive states \(W(z)\ge 0\) with \[ \int_{\mathbb R^2} W(z)\,d^2z=1,\qquad \pi W(z)\le 1, \] and Wigner entropy \[ S[W]=-\int_{\mathbb R^2} W(z)\ln W(z)\,d^2z =\ln\pi-\int_{\mathbb R^2}W(z)\ln(\pi W(z))\,d^2z. \] The conjecture is that, among physical Wigner non-negative states, pure Gaussian states minimize the entropy, so \[ S[W]\ge 1+\ln\pi. \] Using truncated-series lower bounds on \(-\ln x\), the paper constructs \[ B_n=\ln\pi+\sum_{k=1}^n \frac1k \int_{\mathbb R^2} W(z)\,[1-\pi W(z)]^k\,d^2z \] and derives purity-only sufficient conditions in terms of \[ \mu=2\pi\int_{\mathbb R^2} W(z)^2\,d^2z. \] Two explicit thresholds are proved: \[ \mu\le 4-2\sqrt3 \;\Rightarrow\; S[W]\ge 1+\ln\pi, \qquad \mu\le 2/e \;\Rightarrow\; S[W]\ge 1+\ln\pi. \] The same paper also shows why stronger purity-only criteria cannot follow from the minimal constraints alone: the flat-top distribution \[ W_{\rm flat}(z)= \begin{cases} \mu/(2\pi), & |z|^2\le 2/\mu,\\ 0, & \text{otherwise} \end{cases} \] has entropy \(S[W_{\rm flat}]=\ln(2\pi/\mu)\), so the threshold \(\mu\le 2/e\) is sharp under those constraints [2601.16898]. ## 5. Combinatorics, graph entropy, and numerical schemes In discrete probability, "An entropic analogue of the MMS conjecture" gives a sharp lower bound for the entropy of sums sampled without replacement [2606.30486]. For a nontrivial zero-sum multiset \(P=\{x_1,\dots,x_n\}\), \(00 \quad\Longrightarrow\quad \mathbf H(X_P)>0 \] for every nontrivial zero-sum population [2606.30486]. " A proof of the Shepp-Olkin entropy monotonicity conjecture" concerns the Poisson–binomial law \(S=\sum_i X_i\) for independent Bernoulli variables with biases \(p_i\) [1810.09791]. Its main theorem states that if all \(p_i\le 1/2\), then the Shannon entropy \[ H(S)=-\sum_{k=0}^n f_p(k)\log f_p(k) \] is non-decreasing as any coordinate \(p_i\) increases within \([0,1/2]\). Using the derivative identity \[ \frac{\partial H}{\partial p_n} = - \sum_{k=0}^n (g(k)-g(k-1))\log f_p(k), \] a representation in terms of mixing coefficients \(a_k\), and a discrete odd-moment argument, the paper proves \(\partial H/\partial p_n\ge 0\), with equality only in the fully fair binomial case \(p_i=1/2\) for all \(i\). This is a monotonicity theorem rather than a lower-bound theorem, but it belongs to the same structural family in which entropy positivity is identified with an ordering principle [1810.09791]. In graph theory, "A positivity property of the dimer entropy of graphs" studies monomer–dimer entropy on lattices and regular graphs [1409.4549]. For infinite bipartite lattices, the conjecture is that the expansion \[ \lambda_d(p)=\lambda_{\rm MF}(d,p)+\sum_{k\ge 2} a_k(d)\,p^k \] has strictly positive coefficients \(a_k(d)>0\). For a connected regular graph with matching counts \(N(i)\), graph entropy is \[ s_G(i)=\frac{\ln N(i)}{v}, \] and the deviation from the complete-graph baseline, \[ d(i)=\ln\frac{N(i)}{r^i}-\ln\frac{\bar N(i)}{(v-1)^i}, \] admits a Newton expansion in the dimer density. Graph-positivity means all Newton coefficients are nonnegative, equivalently \[ \Delta^k d(i)\ge 0 \] for all admissible \(k,i\). Extensive computations show that violations are rare in regular bipartite graphs and decrease in frequency with graph size; the paper conjectures that for each degree \(r\), the frequency of violations among connected \(r\)-regular bipartite graphs tends to zero as \(v\to\infty\) [1409.4549]. In numerical analysis, "EPO: A Unified Framework for Entropy Stability, Positivity, and Oscillation Suppression" uses the term in a geometric-algorithmic sense [2604.00301]. Starting from a candidate finite-volume or discontinuous-Galerkin update with cell average \(\bar{\mathbf U}_j^\star\), the method scales along the ray \[ \mathcal S_{\bar{\mathbf U}}(\theta;\mathbf U)=\bar{\mathbf U}+\theta(\mathbf U-\bar{\mathbf U}),\qquad 0\le \theta\le 1. \] Three admissibility radii are defined: a positivity or invariant-set radius \(\theta_j^{\rm P}\), an entropy radius \(\theta_j^{\rm PE}\), and an oscillation radius \(\theta_j^{\rm O}\). The limiter factor is \[ \theta_j^{\rm EPO}=\min\{\theta_j^{\rm PE},\theta_j^{\rm O}\}, \] or \(\min\{\theta_j^{\rm P},\theta_j^{\rm E},\theta_j^{\rm O}\}\) when the full entropy profile is available. Under a weak cell-average entropy budget \(\eta(\bar{\mathbf U}_j^\star)\le B_j^n\), this scaling yields strong quadrature-based entropy inequalities, \[ \sum_{\nu=1}^L \omega_\nu \eta(\mathbf U_{j,\nu}^{n+1})\le B_j^n, \] while preserving the cell average and keeping all nodal states inside the admissible set \(G\). The same mechanism extends to any prescribed finite family of convex entropy pairs [2604.00301]. ## 6. Limits of validity and open directions Across these literatures, entropy positivity is theorem-level only inside sharply delimited regimes. In thermal EFT, the scalar proof requires locality, Lorentz invariance in the EFT domain, unitarity, microcausality, thermal equilibrium, the hierarchy \(m\ll T\ll M\), and control of the derivative expansion; beyond that regime the Entropy-Positivity Conjecture remains conjectural and may require spectral positivity, Kubo formulas, or nonperturbative control [2509.06630]. For irrelevant deformations, the equivalence between \(\Delta\Omega^*<0\) and \(\Delta S>0\) assumes smoothness in \((\beta,\mu)\), no nearby phase transition, and a well-defined thermal ensemble; marginal deformations such as \(4\)D \(\lambda\phi^4\) are presented as outside the intended domain [2508.14978]. The black-hole versions likewise depend on thermodynamic stability and EFT control. In asymptotically flat space, the proof requires positive specific heat and tree-level dominance from integrating out healthy heavy fields [1801.08546]. In AdS, Casimir-scheme issues, extremal subtleties, and stability windows matter [1912.11161]. In the asymptotic-safety analysis, small Planck-scale-suppressed violations of WGC and S-matrix positivity imply that entropy positivity becomes a constraint on the Euler coupling rather than a universal automatic consequence [2405.08860]. In entanglement theory, conditional positivity survives many exact QFT checks but fails for certain holographic multi-parameter geometries, even without explicit phase transitions, so any general boundary-insertion picture at \(n\to 1\) is necessarily restricted [1203.4007]. In the Wigner setting, purity-only methods cannot reach the full extremal regime \(\mu\le 1\) without additional physicality constraints beyond non-negativity, normalization, and \(\pi W\le 1\) [2601.16898]. In combinatorics, the zero-sum and nontriviality assumptions are essential to the entropic MMS theorem, and the Rényi-entropy analogue is only partially resolved [2606.30486]. These limitations suggest that the phrase names a research program rather than a single universal law. Its most successful instances share a clear strategy: identify an entropy functional tied to state counting, thermal occupation, or convexity; prove that admissible ultraviolet completion, fairness, positivity, or equilibrium can only move that functional in one direction; and use the resulting sign to derive quantitative constraints. The open problem is not whether entropy positivity exists in isolated forms—it demonstrably does—but how far those forms can be unified across thermal field theory, gravity, entanglement, probability, and discretized dynamics. Source: https://www.emergentmind.com/topics/entropy-positivity-conjecture