Generalizes Ahlswede-Daykin inequality to Schur-positive ADS inequality and resolves Mihalcea's conjecture on log-supermodularity of stable Grothendieck polynomials.
CoRR , volume =
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
years
2026 2verdicts
UNVERDICTED 2representative citing papers
Decidability is shown for single-variable Presburger expansions with fixed powers via hyperelliptic Diophantine solvability and with degree-at-most-three polynomials via low-genus curves, with hardness results when restrictions are removed.
citing papers explorer
-
Correlation inequalities for Schur positivity
Generalizes Ahlswede-Daykin inequality to Schur-positive ADS inequality and resolves Mihalcea's conjecture on log-supermodularity of stable Grothendieck polynomials.
-
On Variable-Bounded Non-Linear Expansions of Presburger Arithmetic
Decidability is shown for single-variable Presburger expansions with fixed powers via hyperelliptic Diophantine solvability and with degree-at-most-three polynomials via low-genus curves, with hardness results when restrictions are removed.