Power Concavity of Low-Dimensional Unimodular Fiber Counts
Loading original first page…
Abstract
We prove weighted power-concavity inequalities for lattice-point counts of bounded unimodular fibers. In central affine dimension at most two, the square root of the corrected count N − 1/4 satisfies weighted Jensen; the correction 1/4 is best possible. If every endpoint count is at least m ≥ 1, the power (2m − 1)/(4m − 1) is valid. The best universal power obeys A(m) = 1/2 − 1/(8m) + O(m^{−3/2}), with explicit finite-threshold bounds. The obstruction uses a fixed six-edge network. We also prove that 4/13 is the optimal concavity power of the classical continuous piecewise polynomial extension of the type-A₃ Kostant partition function. For actual integral demands, cube-root concavity already fails on this four-vertex graph, including a midpoint triple with three-dimensional fibers. An explicit lattice-only upper bound complements the 4/13 lower bound. The planar argument combines unimodular elimination, Pick’s theorem and classical Brunn–Minkowski concavity; the A₃ argument uses the classical chamber formulas and a Hessian comparison. These results give restricted global Jensen inequalities.
Read the full paper in the original PDF.
Edition files
- Paper.pdf99.1 KiB · pdf
SHA-256
9753a9197ee42dcf954a62f560469fbfa904e9760e97a702505e883f966cfd78 - Power_Concavity_Strengthened_Package.zip109.1 KiB · package
SHA-256
fb59b6df3813df93936e11b04efa358aeb8ec9e27bf5152571578056ab2672c1
Available editions
Research details
- Subjects
- Mathematics · Combinatorics and Graph Theory
- Keywords
- unimodular fibers, integer flows, power concavity, lattice-point counts, Kostant partition function, Brunn–Minkowski inequality
- Manuscript date
- 2026-10-22
- Reader reuse
- No additional permission granted
Scope
Weighted Jensen inequalities apply under the stated bounded unimodular-fiber and central-dimension hypotheses. The continuous type-A₃ exponent 4/13 is optimal, and bounds are provided for the lattice-only exponent.
Disclosures
AI-assisted tools were used in developing and internally checking the arguments and preparing the manuscript. Classical convex geometry and chamber enumeration are explicitly credited.
Reproduction
The six-member package contains the 9-page paper, complete source and bibliography, an optional exact lattice-witness checker, reader instructions, citation metadata and checksums. With Python 3.9 or later, run verify_counterexample.py in normal and optimized modes. Build main.tex with Tectonic or two pdflatex runs. The checker reconstructs finite lattice witnesses; the concavity results rely on the analytic proofs.
References and related resources
- J. Leake and M. Mohammadi Yekta, Log-concavity and Approximate Counting for Totally Unimodular Polytopes, arXiv:2609.39917v1 (2026). arxiv.org/abs/2609.39917.
- A. Khare, J. P. Matherne and A. St. Dizier, Log-concavity of characters of parabolic Verma modules, and of restricted Kostant partition functions , arXiv:2504.01623v2 (2025). arxiv.org/abs/2504.01623.
- J. A. De Loera and B. Sturmfels, Algebraic unimodular counting , Math. Program. 96 (2003), 183–203. arXiv:math/0104286.
- T. Lam and A. Postnikov, Alcoved polytopes I , Discrete Comput. Geom. 38 (2007), 453–478. arXiv:math/0501246.
- T. Lam and A. Postnikov, Alcoved polytopes II , arXiv:1202.4015 (2012). arxiv.org/abs/1202.4015.
- D. Alonso-Gutiérrez, M. A. Hernández Cifre and J. Yepes Nicolás, Further inequalities for the (generalized) Wills functional , Commun. Contemp. Math. 23 (2021), 2050011. arxiv.org/abs/1912.07993.
- D. Iglesias, J. Yepes Nicolás and A. Zvavitch, Brunn–Minkowski type inequalities for the lattice point enumerator. Author manuscript (2019) .
- A. Barvinok, Brunn–Minkowski inequalities for contingency tables and integer flows , Adv. Math. 211 (2007), 105–122. doi:10.1016/j.aim.2006.07.012.
- J. Leake and A. H. Morales, Capacity bounds on integral flows and the Kostant partition function, arXiv:2406.07838v3 (2024). arxiv.org/abs/2406.07838.
- J. Tarski, The partition function for certain simple Lie algebras , Technical Report No. 7, AFOSR TN58-657 (AD162188), Department of Mathematics, University of California, Berkeley (August 1958). HathiTrust scan.