Power Concavity of Low-Dimensional Unimodular Fiber Counts
Loading original first page…
Abstract
We prove a global power-Jensen inequality for unimodular integer fibers whose central affine dimension is at most three. For an integrable integer-valued demand A with feasible fibers almost surely and integral mean b, a bounded nonempty central fiber of dimension at most three satisfies E[N(A)^(1/6)]≤N(b)^(1/6), and hence logarithmic Jensen. The expectations are finite and countable support is permitted. The proof constructs a monotone concave extension of the sixth root of type-A₃ lattice counts with all twelve directed bounds varying. Classical chamber formulas and Lorentzian volume theory combine with a degree-six certificate, wall gluing, shortest-path closure and a common integral rank-three reduction. We also prove a sharp corrected square-root inequality in dimension two and determine its optimal leading large-count exponent deficit. For the complete four-vertex DAG, the classical continuous count extension has optimal concavity power 4/13; exact integral examples give a separate cube-root obstruction. A product-preserving directed-rounding theorem for opposite-edge deformations and a full-dimensional triangle obstruction describe the scope of local balancing methods. Exact finite certificates accompany the complete analytic and geometric proofs.
Read the full paper in the original PDF.
Edition files
- Paper.pdf170.3 KiB · pdf
SHA-256
fefc3ad35c98e327cdabdf01b147393f561ba7d149f84c61c60f0e9304d11d9f - Publication_Package.zip203.1 KiB · package
SHA-256
e107a74475d87ed822dcd301817350c2e58a5dc51d8fdc7ec8a812d6259cac84
Available editions
Research details
- Subjects
- Mathematics · Combinatorics and Graph Theory
- Keywords
- unimodular fibers, lattice-point enumeration, power concavity, Lorentzian polynomials, integer flows
- Manuscript date
- 2026-10-22
- Reader reuse
- No additional permission granted
Scope
Exact unimodular-fiber sixth-root and logarithmic Jensen for integrable integer demands with almost-sure feasible fibers, integral mean and bounded nonempty central fiber of affine dimension at most three. Arbitrary column/equation counts and countable support are allowed. Sharper planar corrected concavity and leading large-count deficit, continuous four-vertex-DAG power 4/13 with separate integral-demand bounds, opposite-edge directed rounding with fixed cross intervals, local triangle obstruction and block products are retained with their stated domains.
Disclosures
AI-assisted tools were used in developing and internally checking the arguments and preparing the manuscript.
Reproduction
The 20-page manuscript contains complete analytic/geometric proofs. Four unchanged standard-library Python verifiers accompany the source: exhaustive A₃ chamber/coefficient and rank-three normal-form checks, exact K₄ witnesses, and stated finite rounding diagnostics. README.txt distinguishes their scopes and documents normal/optimized execution. The portable build.py uses a fixed PDF timestamp; all public member hashes are listed in SHA256SUMS.txt.
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. 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.
- P. Brändén and J. Huh, Lorentzian polynomials, Ann. Math. 192 (2020), 821–891.
- M. C. Brandenburg, S. Elia and L. Zhang, Multivariate volume, Ehrhart, and h∗-polynomials of polytropes, arXiv:2006.01920v2 (2023). arxiv.org/abs/2006.01920.
- 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).
- J. A. De Loera and B. Sturmfels, Algebraic unimodular counting , Math. Program. 96 (2003), 183–203. arXiv:math/0104286.
- 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.
- 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. Tamura and K. Tsurumi, Directed discrete midpoint convexity , Japan J. Indust. Appl. Math. 38 (2021), 1–37. doi:10.1007/s13160-020-00416-0.
- D. Halikias, B. Klartag and B. A. Slomka, Discrete variants of Brunn–Minkowski type inequalities , Ann. Fac. Sci. Toulouse Math. 30 (2021), 267–279. doi:10.5802/afst.1674.
- B. A. Slomka, A remark on discrete Brunn–Minkowski type inequalities via transportation of measure , arXiv:2008.00738v2 (2021). arxiv.org/abs/2008.00738.
- D. E. Speyer, L-log-concavity and a proof of the conjecture of Lam, Postnikov and Pylyavskyy , arXiv:2601.05007v2 (2026). arxiv.org/abs/2601.05007.
- M. Brion, Points entiers dans les polyèdres convexes , Ann. Sci. École Norm. Sup. 21 (1988), 653–663. doi:10.24033/asens.1572.
- C. Haase, M. Juhnke-Kubitzke, R. Sanyal and T. Theobald, Mixed Ehrhart polynomials , Electron. J. Combin. 22 (2015), Paper 1.47.
- K. Murota and A. Tamura, Recent progress on integrally convex functions , Japan J. Indust. Appl. Math. 40 (2023), 1445–1499. doi:10.1007/s13160-023-00589-4.