Dyadic denominator law for the phase constants of the Jacobi zeros

Let κr(A,B)∈Q[A,B]\kappa_r(A,B)\in\mathbb{Q}[A,B] be the rr-th additive phase constant in the asymptotic phase equation for the zeros of Jacobi polynomials, with A=α2A=\alpha^2 and B=β2B=\beta^2. If den⁡(κr)\operatorname{den}(\kappa_r) denotes the least positive integer clearing the denominators of all coefficients of κr\kappa_r, prove that, for every integer r≥1r\geq 1, ν2(den⁡(κr))=Er\nu_2(\operatorname{den}(\kappa_r))=E_r, where Er=3r−1+ν2((r−1)!)E_r=3r-1+\nu_2((r-1)!). Equivalently, 2Erκr∈Z2[A,B]2^{E_r}\kappa_r\in\mathbb{Z}_2[A,B], while 2Er−1κr∉Z2[A,B]2^{E_r-1}\kappa_r\notin\mathbb{Z}_2[A,B]. The established odd-part bound is that the odd part of den⁡(κr)\operatorname{den}(\kappa_r) divides lcm⁡(1,3,…,2r−1)\operatorname{lcm}(1,3,\ldots,2r-1); the sharp conjecture concerns the exact dyadic exponent.

Equivalent formulations 1Other wordings

Other statements of this same problem, merged from separate entries. Each is equivalent to the statement above — proving any one settles them all.

  1. Coefficientwise 22-adic formulation via the Legendre tangent

    Let Φ\Phi be the Borel transform of the Legendre tangent and define W(t)=sinh⁡(2t)Im⁡Φ(t)/t2=∑m≥0wmt2mW(t)=\sinh(2t)\operatorname{Im}\Phi(t)/t^2=\sum_{m\geq 0}w_mt^{2m}. The dyadic denominator law is equivalent, with equality of the relevant valuations preserved index by index, to the coefficientwise condition ((2m)!)2wm∈Z2×((2m)!)^2w_m\in\mathbb{Z}_2^\times for every integer m≥0m\geq 0.

    source: The dyadic denominator law for the phase constants of the Jacobi zeros

References

Progress summary

Refreshed
Claimed progress

A new paper makes substantial progress toward the denominator formula, but the proof of the sharp final law is not available in the retrieved record.

The problem asserts an all-orders rule for the powers of 22 appearing in denominators of phase constants associated with Jacobi-polynomial zeros. The retrieved material identifies neither the proposer nor the original date.

August 2026 structural reduction

The paper proves divisibility and 22-adic integrality bounds and reformulates the sharp law coefficientwise, supplying the structural reduction behind the claimed all-orders formula. The companion proof mentioned by the source was not retrieved, so this remains an unverified advance rather than a complete solution.

Current status (as of August 2026): Divisibility, 22-adic bounds, and a coefficientwise reduction are claimed, while the sharp all-orders denominator law and its companion proof remain unverified.

Sources

Solutions 0

No solutions have been posted yet.