Correlation inequalities for Schur positivity
Pith reviewed 2026-06-28 00:09 UTC · model grok-4.3
The pith
Schur-positive functions obey a generalized version of the Ahlswede-Daykin inequality.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
The Ahlswede-Daykin inequality generalizes to a Schur positive ADS inequality for Schur-positive functions, which contains the Lam-Postnikov-Pylyavskyy inequality as a special case. This generalization resolves Mihalcea's conjecture on the log-supermodularity of stable Grothendieck polynomials.
What carries the argument
The Schur positive ADS inequality, which extends the classical ADS inequality to functions that are Schur-positive.
If this is right
- The inequality applies directly to stable Grothendieck polynomials, proving they are log-supermodular.
- Further generalizations of the inequality are possible under the same Schur-positivity conditions.
- Applications to other Schur-positive combinatorial objects follow from the main result.
Where Pith is reading between the lines
- If the inequality holds more broadly, it could apply to other positivity notions like Schubert positivity.
- Testing the inequality on explicit small examples of Schur-positive functions would provide immediate verification.
- Connections to other correlation inequalities in probability and combinatorics may emerge from this extension.
Load-bearing premise
The Schur-positive functions satisfy the same structural conditions as those required for the original Ahlswede-Daykin inequality to hold.
What would settle it
A concrete Schur-positive function on a poset that violates the ADS inequality would disprove the generalization.
Figures
read the original abstract
We generalize the Ahlswede--Daykin inequality (1978) to a Schur positive \emph{ADS inequality}, which also contains the Lam--Postnikov--Pylyavskyy inequality (2007) as a special case. We then present a number of further generalizations and applications. Notably, we resolve Mihalcea's conjecture on log-supermodularity of stable Grothendieck polynomials.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript generalizes the Ahlswede--Daykin inequality (1978) to a Schur-positive ADS inequality that contains the Lam--Postnikov--Pylyavskyy inequality (2007) as a special case. It presents further generalizations and applications, and resolves Mihalcea's conjecture on the log-supermodularity of stable Grothendieck polynomials.
Significance. If the central claims hold, the work would meaningfully extend classical correlation inequalities into the setting of Schur positivity, offering a unified framework that recovers known results as special cases while settling an open conjecture. The combinatorial approach could facilitate new applications in algebraic combinatorics and symmetric function theory.
minor comments (2)
- The abstract states the generalization holds under the conditions of the classical ADS inequality, but the manuscript should explicitly restate those conditions in §1 or §2 to make the scope of the Schur-positive extension fully transparent without requiring the reader to consult the 1978 reference.
- Notation for the stable Grothendieck polynomials and the log-supermodularity statement in the resolution of Mihalcea's conjecture should be introduced with a brief self-contained definition in the section where the conjecture is addressed, even if standard in the literature.
Simulated Author's Rebuttal
We thank the referee for the positive summary, significance assessment, and recommendation of minor revision. The report correctly identifies the main contributions: the Schur-positive generalization of the Ahlswede--Daykin inequality (containing the Lam--Postnikov--Pylyavskyy inequality as a special case) and the resolution of Mihalcea's conjecture on log-supermodularity of stable Grothendieck polynomials.
Circularity Check
No significant circularity; derivation is self-contained generalization
full rationale
The paper claims a generalization of the external Ahlswede--Daykin inequality (1978) to Schur-positive functions (containing the external Lam--Postnikov--Pylyavskyy 2007 result as a special case) and a resolution of Mihalcea's conjecture. No equations, definitions, or steps in the abstract reduce by construction to fitted inputs or self-citations. All cited results are from independent prior work with no author overlap indicated. The central claims rest on combinatorial arguments whose validity is independent of the present paper's inputs, yielding a normal non-circular finding.
Axiom & Free-Parameter Ledger
Reference graph
Works this paper leans on
-
[1]
152 (1996), 1--12
Ron Aharoni and Uri Keich, A generalization of the Ahlswede--Daykin inequality, Discrete Math. 152 (1996), 1--12
1996
-
[2]
Rudolf Ahlswede and Vladimir Blinovsky, Lectures on advances in combinatorics, Springer, Berlin, 2008, 314 pp
2008
-
[3]
Daykin, An inequality for the weights of two families of sets, their unions and intersections, Z
Rudolf Ahlswede and David E. Daykin, An inequality for the weights of two families of sets, their unions and intersections, Z. Wahrsch.\ Verw.\ Gebiete 43 (1978), 183--185
1978
-
[4]
Khachatrian, Towards characterizing equality in correlation inequalities, European J.\ Combin
Rudolf Ahlswede and Levon H. Khachatrian, Towards characterizing equality in correlation inequalities, European J.\ Combin. 16 (1995), 315--328
1995
-
[5]
Per Alexandersson, The symmetric functions catalog, website (2020); www.symmetricfunctions.com https://www.symmetricfunctions.com
2020
-
[6]
Spencer, The probabilistic method (Fourth ed.), John Wiley, Hoboken, NJ, 2016, 375 pp
Noga Alon and Joel H. Spencer, The probabilistic method (Fourth ed.), John Wiley, Hoboken, NJ, 2016, 375 pp
2016
-
[7]
Ian Anderson, Combinatorics of finite sets, Oxford Univ.\ Press, New York, 1987, 250 pp
1987
- [8]
-
[9]
Assaf and David E Speyer, Specht modules decompose as alternating sums of restrictions of Schur modules, Proc.\ AMS 148 (2020), 1015--1029
Sami H. Assaf and David E Speyer, Specht modules decompose as alternating sums of restrictions of Schur modules, Proc.\ AMS 148 (2020), 1015--1029
2020
- [10]
-
[11]
A 53 (1990), 123--138
Istv\'an Beck, An inequality of partially ordered sets, J.\ Combin.\ Theory, Ser. A 53 (1990), 123--138
1990
-
[12]
64 (1987), 118--175
Allan Berele and Amitai Regev, Hook Young diagrams with applications to combinatorics and to representations of Lie superalgebras, Adv.\ Math. 64 (1987), 118--175
1987
-
[13]
Appl.\ Probab
Jacob van den Berg and Harry Kesten, Inequalities with applications to percolation and reliability, J. Appl.\ Probab. 22 (1985), 556--569
1985
-
[14]
Garrett Birkhoff, Rings of sets, Duke Math. J. 3 (1937), 443--454
1937
-
[15]
Anders Bj\" o rner, A q -analogue of the FKG inequality and some applications, Combinatorica 31 (2011), 151--164
2011
-
[16]
B\'ela Bollob\'as, Combinatorics, Cambridge Univ.\ Press, Cambridge, UK, 1986, 177 pp
1986
-
[17]
B\' e la Bollob\'as and Oliver Riordan, Percolation, Cambridge Univ.\ Press, New York, 2006, 323 pp
2006
-
[18]
Liggett, Negative dependence and the geometry of polynomials, Jour
Julius Borcea, Petter Br \"a nd \'e n and Thomas M. Liggett, Negative dependence and the geometry of polynomials, Jour. AMS 22 (2009), 521--567
2009
-
[19]
Chayes and Dana Randall, The van den Berg-Kesten-Reimer inequality: a review, in Perplexing problems in probability, Birkh\"auser, Boston, MA, 1999, 159--173
Christian Borgs, Jennifer T. Chayes and Dana Randall, The van den Berg-Kesten-Reimer inequality: a review, in Perplexing problems in probability, Birkh\"auser, Boston, MA, 1999, 159--173
1999
-
[20]
Petter Br\"and\'en, Unimodality, log-concavity, real-rootedness and beyond, in Handbook of enumerative combinatorics, CRC Press, Boca Raton, FL, 2015, 437--483
2015
-
[21]
192 (2020), 821--891
Petter Br\"and\'en and June Huh, Lorentzian polynomials, Ann.\ Math. 192 (2020), 821--891
2020
-
[22]
Buch, A Littlewood--Richardson rule for the K -theory of Grassmannians, Acta Math
Anders S. Buch, A Littlewood--Richardson rule for the K -theory of Grassmannians, Acta Math. 189 (2002), 37--78
2002
-
[23]
Buch, Combinatorial K -theory, in Topics in cohomological studies of algebraic varieties, Birkh\"auser, Basel, 2005, 87--103
Anders S. Buch, Combinatorial K -theory, in Topics in cohomological studies of algebraic varieties, Birkh\"auser, Basel, 2005, 87--103
2005
-
[24]
Buch, Andrew Kresch, Mark Shimozono, Harry Tamvakis and Alexander Yong, Stable Grothendieck polynomials and K -theoretic factor sequences, Math.\ Ann
Anders S. Buch, Andrew Kresch, Mark Shimozono, Harry Tamvakis and Alexander Yong, Stable Grothendieck polynomials and K -theoretic factor sequences, Math.\ Ann. 340 (2008), 359--382
2008
-
[25]
Buch, Andrew Kresch, Harry Tamvakis and Alexander Yong, Grothendieck polynomials and quiver formulas, Amer.\ J.\ Math
Anders S. Buch, Andrew Kresch, Harry Tamvakis and Alexander Yong, Grothendieck polynomials and quiver formulas, Amer.\ J.\ Math. 127 (2005), 551--567
2005
-
[26]
323 (2023), 223--252
Swee Hong Chan and Igor Pak, Multivariate correlation inequalities for P -partitions, Pacific J.\ Math. 323 (2023), 223--252
2023
- [27]
-
[28]
458 (2024), Paper 109954, 33 pp
Swee Hong Chan and Igor Pak, Correlation inequalities for linear extensions, Adv.\ Math. 458 (2024), Paper 109954, 33 pp
2024
-
[29]
1015 (2024), Paper No
Swee Hong Chan and Igor Pak, Computational complexity of counting coincidences, Theoret.\ Comput.\ Sci. 1015 (2024), Paper No. 114776, 19 pp
2024
-
[30]
Pi 12 (2024), Paper No
Swee Hong Chan and Igor Pak, Equality cases of the Alexandrov--Fenchel inequality are not in the polynomial hierarchy, Forum Math. Pi 12 (2024), Paper No. e21, 38 pp
2024
-
[31]
Swee Hong Chan and Igor Pak, Equality conditions for correlation inequalities, in preparation (2026)
2026
-
[32]
4 (2021) no
Melody Chan and Nathan Pflueger, Combinatorial relations on skew Schur and skew stable Grothendieck polynomials, Algebraic Combin. 4 (2021) no. 1, 175--188
2021
-
[33]
143 (2007), 1545--1557
Calin Chindris, Harm Derksen and Jerzy Weyman, Counterexamples to Okounkov's log-concavity conjecture, Compos.\ Math. 143 (2007), 1545--1557
2007
-
[34]
Demetres Christofides, A q -analogue of the four functions theorem, preprint (2009), 6 pp.; arXiv: 0909.5137
work page internal anchor Pith review Pith/arXiv arXiv 2009
-
[35]
Daykin, A lattice is distributive if and only if |A| |B| |A B| |A B| , Nanta Math
David E. Daykin, A lattice is distributive if and only if |A| |B| |A B| |A B| , Nanta Math. 10 (1977), 58--60
1977
-
[36]
Daykin, Daniel J
David E. Daykin, Daniel J. Kleitman and Douglas B. West, The number of meets between two subsets of a lattice, J.\ Combin.\ Theory, Ser. A 26 (1979), 135--156
1979
-
[37]
Algebra 316 (2007), 706--714
Galyna Dobrovolska and Pavlo Pylyavskyy, On products of sl _n characters and support containment, J. Algebra 316 (2007), 706--714
2007
-
[38]
Knot Theory Ramifications 35 (2026), no
Stephen Doty and Anthony Giaquinto, Origins of the Temperley--Lieb algebra: Early history, J. Knot Theory Ramifications 35 (2026), no. 6, Paper No. 2530001
2026
-
[39]
Fishburn, Peter G
Peter C. Fishburn, Peter G. Doyle and Lawrence A. Shepp, The match set of a random permutation has the FKG property, Ann.\ Probab. 16 (1988), 1194--1214
1988
-
[40]
Fishburn and Lawrence A
Peter C. Fishburn and Lawrence A. Shepp, The Ahlswede--Daykin theorem, in Numbers, information and complexity, Kluwer, Boston, MA, 2000, 501--516
2000
-
[41]
Math 127 (2005), 101--127
Sergey Fomin, William Fulton, Chi-Kwong Li and Yiu-Tung Poon, Eigenvalues, singular values, and Littlewood--Richardson coefficients, Amer.\ J. Math 127 (2005), 101--127
2005
-
[42]
Kirillov, Grothendieck polynomials and the Yang–Baxter equation, in Proc.\ 6th FPSAC (DIMACS) 24 (1994), 183--190
Sergey Fomin and Anatol N. Kirillov, Grothendieck polynomials and the Yang–Baxter equation, in Proc.\ 6th FPSAC (DIMACS) 24 (1994), 183--190
1994
-
[43]
Kirillov, The Yang--Baxter equation, symmetric functions, and Schubert polynomials, Discrete Math
Sergey Fomin and Anatol N. Kirillov, The Yang--Baxter equation, symmetric functions, and Schubert polynomials, Discrete Math. 153 (1996), 123--143
1996
-
[44]
William Fulton, Young tableaux, Cambridge Univ.\ Press, Cambridge, UK, 1997, 260 pp
1997
-
[45]
Fortuin, Pieter W
Cornelius M. Fortuin, Pieter W. Kasteleyn and Jean Ginibre, Correlation inequalities on some partially ordered sets, Comm.\ Math.\ Phys. 22 (1971), 89--103
1971
-
[46]
Combin.\ Theory, Ser
Pavel Galashin, A Littlewood--Richardson rule for dual stable Grothendieck polynomials, J. Combin.\ Theory, Ser. A 151 (2017), 23--35
2017
-
[47]
16 (1970), 310--328
Jean Ginibre, General formulation of Griffiths' inequalities, Comm.\ Math.\ Phys. 16 (1970), 310--328
1970
-
[48]
Nikita Gladkov, A strong FKG inequality for multiple events, Bull.\ LMS 56 (2024), 2794--2801
2024
- [49]
-
[50]
Nikita Gladkov, Inequalities for connectivity events in Bernoulli percolation, Ph.D.\ thesis, UCLA, 2025, 135 pp
2025
-
[51]
24, Paper No.\ e2420725122, 11 pp
Nikita Gladkov, Igor Pak and Aleksandr Zimin, The bunkbed conjecture is false, Proc.\ Natl.\ Acad.\ Sci.\ USA 122 (2025), no. 24, Paper No.\ e2420725122, 11 pp
2025
-
[52]
Griffiths, Correlations in Ising ferromagnets
Robert B. Griffiths, Correlations in Ising ferromagnets. I, J.\ Math.\ Phys. 8 (1967), 478--483
1967
-
[53]
Griffiths, Charles A
Robert B. Griffiths, Charles A. Hurst and Seymour Sherman, Concavity of magnetization of an Ising ferromagnet in a positive external field, J.\ Math.\ Phys. 11 (1970), 790--795
1970
-
[54]
Grimmett, Percolation (second ed.), Springer, Berlin, 1999, 444 pp
Geoffrey R. Grimmett, Percolation (second ed.), Springer, Berlin, 1999, 444 pp
1999
-
[55]
Grimmett, The random-cluster model, Springer, Berlin, 2006, 377 pp
Geoffrey R. Grimmett, The random-cluster model, Springer, Berlin, 2006, 377 pp
2006
-
[56]
93B (2025), Art
Tao Gui, Conjectures on the reduced Kronecker coefficients, S\'em.\ Lothar.\ Combin. 93B (2025), Art. 1, 12 pp
2025
-
[57]
Slomka, Discrete variants of Brunn–Minkowski type inequalities, Ann.\ Fac.\ Sci.\ Toulouse Math
Diana Halikias, Bo'az Klartag, and Boaz A. Slomka, Discrete variants of Brunn–Minkowski type inequalities, Ann.\ Fac.\ Sci.\ Toulouse Math. 30 (2021), 267--279
2021
-
[58]
Harris, A lower bound for the critical probability in a certain percolation process, Math.\ Proc.\ Camb.\ Philos.\ Soc
Theodore E. Harris, A lower bound for the critical probability in a certain percolation process, Math.\ Proc.\ Camb.\ Philos.\ Soc. 56 (1960), 13--20
1960
-
[59]
36 (1974), 227--231
Richard Holley, Remarks on the FKG inequalities, Comm.\ Math.\ Phys. 36 (1974), 227--231
1974
-
[60]
IV, World Sci., Hackensack, NJ, 2018, 3093--3111
June Huh, Combinatorial applications of the Hodge--Riemann relations, in Proc.\ ICM Rio de Janeiro, vol. IV, World Sci., Hackensack, NJ, 2018, 3093--3111
2018
-
[61]
Matherne, Karola M\'esz\'aros and Avery St
June Huh, Jacob P. Matherne, Karola M\'esz\'aros and Avery St. Dizier, Logarithmic concavity of Schur and related polynomials, Trans.\ AMS 375 (2022), 4411--4427
2022
- [62]
-
[63]
1, EMS Press, Berlin, 2023, 50--65
Gil Kalai, The work of June Huh, Proc.\ ICM (virtual), vol. 1, EMS Press, Berlin, 2023, 50--65
2023
-
[64]
I.\ Multivariate totally positive distributions, J.\ Multivar.\ Anal
Samuel Karlin and Yosef Rinott, Classes of orderings of measures and related correlation inequalities. I.\ Multivariate totally positive distributions, J.\ Multivar.\ Anal. 10 (1980), 467--498
1980
-
[65]
143 (2021), 1863--1929
Apoorva Khare and Terence Tao, On the sign patterns of entrywise positivity preservers in fixed dimension, Amer.\ J.\ Math. 143 (2021), 1863--1929
2021
-
[66]
Kelly and Seymour Sherman, General Griffiths' inequalities on correlations in Ising ferromagnets, J.\ Math.\ Phys
Douglas G. Kelly and Seymour Sherman, General Griffiths' inequalities on correlations in Ising ferromagnets, J.\ Math.\ Phys. 9 (1968), 466--484
1968
- [67]
-
[68]
74 (1980), 41--59
Harry Kesten, The critical probability of bond percolation on the square lattice equals 12 , Comm.\ Math.\ Phys. 74 (1980), 41--59
1980
-
[69]
Kirillov, Notes on Schubert, Grothendieck and key polynomials, SIGMA 12 (2016), Paper No
Anatol N. Kirillov, Notes on Schubert, Grothendieck and key polynomials, SIGMA 12 (2016), Paper No. 034, 56 pp
2016
-
[70]
247 (2019), 85--107
Bo'az Klartag and Joseph Lehec, Poisson processes and a log-concave Bernstein theorem, Stud.\ Math. 247 (2019), 85--107
2019
-
[71]
Kleitman, Families of non-disjoint subsets, J.\ Combin.\ Theory 1 (1966), 153--155
Daniel J. Kleitman, Families of non-disjoint subsets, J.\ Combin.\ Theory 1 (1966), 153--155
1966
-
[72]
Thomas Lam, Alexander Postnikov and Pavlo Pylyavskyy, Schur positivity and Schur log-concavity, Amer.\ J. Math. 129 (2007), 1611--1622
2007
-
[73]
Algebraic Combin
Thomas Lam and Pavlo Pylyavskyy, Cell transfer and monomial positivity, J. Algebraic Combin. 26 (2007), 209--224
2007
-
[74]
2007 (2007), 1--48
Thomas Lam and Pavlo Pylyavskyy, Combinatorial Hopf algebras and K -homology of Grassmanians, Int.\ Math.\ Res.\ Not. 2007 (2007), 1--48
2007
-
[75]
III, Birkh\"auser, Boston, MA, 1990, 1–34
Alain Lascoux, Anneau de Grothendieck de la vari\'et\'e de drapeaux (in French), in The Grothendieck Festschrift, vol. III, Birkh\"auser, Boston, MA, 1990, 1–34
1990
-
[76]
Math.\ Phys
Alain Lascoux, Bernard Leclerc and Jean-Yves Thibon, Ribbon tableaux, Hall--Littlewood symmetric functions, quantum affine algebras, and unipotent varieties, J. Math.\ Phys. 38 (1997), 1041--1068
1997
-
[77]
Alain Lascoux and Marcel-Paul Sch\"utzenberger, Symmetry and flag manifolds, in Invariant theory, Springer, Berlin, 1983, 118--144
1983
-
[78]
Tuong Le and Son Nguyen, Skew hives, skew skeps, skew Schur log-concavity, in preparation (2026)
2026
-
[79]
4 (2000), 67--82
Cristian Lenart, Combinatorial aspects of the K -theory of Grassmannians, Ann.\ Comb. 4 (2000), 67--82
2000
-
[80]
Liggett, Interacting particle systems, Springer, New York, 1985, 488 pp
Thomas M. Liggett, Interacting particle systems, Springer, New York, 1985, 488 pp
1985
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.