pith. sign in

arxiv: 2511.02628 · v2 · submitted 2025-11-04 · 🧮 math.NT · math.CO

Hermite-Jensen limits and d log-concavity of q-multinomials

Ken Ono This is my paper

Pith reviewed 2026-05-18 01:00 UTC · model grok-4.3

classification 🧮 math.NT math.CO
keywords q-multinomial coefficientsd log-concavityTurán inequalitiesJensen polynomialsHermite polynomialsq-binomial coefficientsunimodality
0
0 comments X

The pith

q-multinomials satisfy uniform d log-concavity in central windows when aspect ratios stay bounded away from zero and one.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper moves past known unimodality results for q-binomial coefficients to establish log-concavity and higher-order d log-concavity, also called Turán inequalities. It proves these stronger inequalities hold uniformly on the central window of the coefficient sequence for infinite families whose limiting aspect ratio lies strictly between zero and one, and it extends the conclusion to general q-multinomial coefficients. The argument rests on the asymptotic approximation of normalized Jensen polynomials by Hermite polynomials in that central region. A reader would care because these controls give precise information on how the coefficients rise and fall, strengthening classical combinatorial statements about their monotonicity properties.

Core claim

In infinite families with limiting aspect ratio bounded away from zero and one, the q-multinomial coefficients satisfy d log-concavity uniformly for each C>0 on the central window |m-μ|<Cσ, where μ and σ are the mean and standard deviation of the normalized distribution. This follows from the asymptotic approximation of normalized Jensen polynomials by Hermite polynomials.

What carries the argument

Hermite-Jensen limits: the uniform asymptotic approximation of normalized Jensen polynomials by Hermite polynomials in the central window.

If this is right

  • The d log-concavity inequalities hold uniformly across the entire central window for any fixed C.
  • The same conclusion applies to q-multinomial coefficients in addition to q-binomials.
  • These results strengthen earlier theorems on unimodality and strict unimodality inside the central range.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The Hermite approximation suggests the coefficient sequences behave like those of a discrete Gaussian in the limit, which are known to satisfy log-concavity of all orders.
  • Similar asymptotic techniques may apply to other q-series or partition generating functions that admit comparable central-limit regimes.

Load-bearing premise

The limiting aspect ratio of the parameters must be bounded away from zero and one.

What would settle it

A concrete family of q-multinomials whose aspect ratio limit is zero or one, together with explicit computation showing that some d log-concavity inequality fails for an m inside the central window |m-μ|<Cσ.

read the original abstract

In 1878, Sylvester proved Cayley's Conjecture that the coefficients of the Gaussian $q$-binomial coefficients are unimodal. In 1990, O'Hara famously discovered a constructive combinatorial proof, and in 2013, Pak and Panova proved the stronger property of strict unimodality for sufficiently large parameters. We move from unimodality to log-concavity and higher degree $ d$ log-concavity, known as Tur\'an inequalities. Although $q$-binomial coefficients are not always log- or degree $d$ log-concave, it's natural to ask to what extent these inequalities hold. In infinite families with limiting aspect ratio bounded away from zero and one, we prove that these stronger inequalities hold uniformly, for each $C>0,$ on the central window $|m-\mu|< C\sigma,$ where $\mu$ and $\sigma$ are the mean and standard deviation of the normalized distribution. More generally, we obtain the same conclusions for $q$-multinomial coefficients. These results stem from the asymptotic behavior of normalized Jensen polynomials, which are approximated by Hermite polynomials.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 2 minor

Summary. The manuscript proves that q-binomial and q-multinomial coefficients satisfy d log-concavity (Turán inequalities) uniformly on the central window |m-μ|<Cσ for any fixed C>0, in infinite families where the limiting aspect ratio is bounded away from 0 and 1. The argument proceeds by showing that the associated normalized Jensen polynomials converge to scaled Hermite polynomials on compact sets, using moment calculations and local-limit arguments to justify the approximation and transfer the known sign properties of Hermite polynomials.

Significance. If the results hold, the work extends classical unimodality results (Sylvester, O'Hara, Pak-Panova) to stronger log-concavity properties for q-analogs in asymptotic regimes. The Hermite-Jensen approximation supplies an analytic mechanism that yields uniform control in the central window and applies equally to the multinomial case; the moment computations and error bounds appear sufficient to preserve the relevant higher-order difference signs for fixed d.

major comments (2)
  1. [§3, Theorem 3.2] §3, around the statement of Theorem 3.2: the error term in the Hermite approximation is stated to be o(1) uniformly on |x|<C, but the dependence of the o(1) on d and on the distance of the aspect ratio to the boundary {0,1} is not quantified; this is load-bearing for the claim that the Turán inequalities hold for every fixed d once parameters are large.
  2. [§4.2, Eq. (4.7)] §4.2, Eq. (4.7): the local central-limit theorem is invoked to control the normalized distribution, yet the variance lower bound used to justify uniformity on |x|<C appears to require the aspect ratio to be bounded away from 0 and 1 by a positive constant independent of the window size C; a concrete check that the implied constant remains positive when C grows (even slowly) would strengthen the argument.
minor comments (2)
  1. [Notation] The notation for the normalized mean μ and standard deviation σ is introduced in §2 but not restated in the statements of the main theorems; repeating the definitions would improve readability.
  2. [Figures] Figure 1 (if present) or the illustrative plots of Jensen polynomials versus Hermite polynomials would benefit from explicit labels indicating the range of the aspect ratio used.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive comments. We address each major comment below.

read point-by-point responses

  1. Referee: [§3, Theorem 3.2] §3, around the statement of Theorem 3.2: the error term in the Hermite approximation is stated to be o(1) uniformly on |x|<C, but the dependence of the o(1) on d and on the distance of the aspect ratio to the boundary {0,1} is not quantified; this is load-bearing for the claim that the Turán inequalities hold for every fixed d once parameters are large.

    Authors: We agree that explicit quantification strengthens the argument. Since d is fixed and the aspect ratio is bounded away from {0,1} by a fixed δ>0, the o(1) error tends to zero as the parameters tend to infinity, uniformly on |x|<C. This suffices to transfer the sign properties of the scaled Hermite polynomials and establish the Turán inequalities for all sufficiently large parameters. In the revision we will add a remark making the dependence on d and δ explicit (via the moment calculations in §3), confirming that the implied constant is positive for each fixed d and δ. revision: yes

  2. Referee: [§4.2, Eq. (4.7)] §4.2, Eq. (4.7): the local central-limit theorem is invoked to control the normalized distribution, yet the variance lower bound used to justify uniformity on |x|<C appears to require the aspect ratio to be bounded away from 0 and 1 by a positive constant independent of the window size C; a concrete check that the implied constant remains positive when C grows (even slowly) would strengthen the argument.

    Authors: The result is stated for every fixed C>0, with the aspect ratio bounded away from 0 and 1 by a fixed positive constant δ independent of C. For such fixed C the variance is bounded below by a positive quantity depending only on δ and C, which justifies the uniformity on |x|<C via the local CLT. We do not claim uniformity for C growing with the parameters, so independence of the lower bound from C is not required. We will add a short clarifying sentence in §4.2 noting that the variance lower bound is Ω(δ) and remains positive for the fixed C under consideration. revision: partial

Circularity Check

0 steps flagged

No significant circularity

full rationale

The derivation establishes uniform d log-concavity on central windows by proving that normalized Jensen polynomials for q-multinomials (and q-binomials) converge to scaled Hermite polynomials under the aspect-ratio condition bounded away from 0 and 1. This convergence is justified via explicit moment calculations and local-limit arguments that are independent of the target inequalities. The Turán inequalities are then transferred from the known properties of Hermite polynomials, which are external classical objects. No step reduces by definition, by fitting a parameter to the output, or by a load-bearing self-citation chain; the argument is self-contained against standard asymptotic combinatorics and orthogonal-polynomial theory.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claim rests on the validity of the asymptotic approximation of normalized Jensen polynomials by Hermite polynomials under bounded aspect ratio conditions, plus standard facts about orthogonal polynomials satisfying Turán inequalities.

axioms (2)
  • standard math Hermite polynomials satisfy the d log-concavity (Turán) inequalities
    Invoked to transfer the property to the q-coefficients via approximation.
  • domain assumption Normalized Jensen polynomials converge asymptotically to Hermite polynomials when aspect ratio is bounded away from 0 and 1
    This is the key technical step enabling uniform control in the central window.

pith-pipeline@v0.9.0 · 5726 in / 1450 out tokens · 52449 ms · 2026-05-18T01:00:06.871055+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

8 extracted references · 8 canonical work pages

  1. [1]

    Cayley,Researches on the partition of numbers,Philosophical Transactions of the Royal Society of London, vol

    A. Cayley,Researches on the partition of numbers,Philosophical Transactions of the Royal Society of London, vol. 146, pp. 127–140, 1856

    work page

  2. [2]

    T. S. Craven and G. Csordas, Jensen polynomials and the Tur´ an and Laguerre inequalities,Pacific J. Math.136(1989), no. 2, 241–260

    work page 1989

  3. [3]

    Griffin, K

    M. Griffin, K. Ono, L. Rolen, and D. Zagier,Jensen polynomials for the Riemann zeta function and other sequences, Proc. Natl. Acad. Sci. USA116(2019), no. 23, 11103–11110

    work page 2019

  4. [4]

    O’Hara,A constructive proof of the unimodality of the Gaussian coefficients, Journal of Combinatorial Theory, Series A53(1990), no

    K. O’Hara,A constructive proof of the unimodality of the Gaussian coefficients, Journal of Combinatorial Theory, Series A53(1990), no. 1, 29-52

    work page 1990

  5. [5]

    Pak and G

    I. Pak and G. Panova,Strict unimodality of q-binomial coefficients, C. R. Acad. Sci. Paris, Ser. I351(2013), no. 11–12, 415–418

    work page 2013

  6. [6]

    V. V. Petrov,Sums of Independent Random Variables, Ergebnisse der Mathematik und ihrer Grenzgebiete, vol. 82, Springer-Verlag, Berlin-Heidelberg-New York, 1975

    work page 1975

  7. [7]

    J. J. Sylvester,Proof of the hitherto undemonstrated fundamental theorem of invariants,Philosophical Magazine (Ser. 5), vol. 5, pp. 178–188, 1878. (Reprinted inCollected Mathematical Papers, vol. 3, Cambridge Univ. Press, 1909, 117-126)

    work page 1909

  8. [8]

    Szeg¨ o,Orthogonal Polynomials, 4th ed., American Mathematical Society Colloquium Publications, Vol

    G. Szeg¨ o,Orthogonal Polynomials, 4th ed., American Mathematical Society Colloquium Publications, Vol. 23, American Mathematical Society, Providence, RI, 1975. Dept. of Mathematics, University of Virginia, Charlottesville, V A 22904, USA Email address:ko5wk@virginia.edu

    work page 1975