Indexed metadata

A Curved-Path Refinement of the Kalai--Kleitman Diameter Bound

Tianhao Liu, Dongdong Ge, Yinyu Ye

Source record

Source: arXiv

Published: Sep 27, 2026

arXiv: 2609.33434

Open original source ↗

Source abstract

Let Δu(d,n)Δ_u(d,n) be the maximum graph diameter of a pointed dd-dimensional polyhedron with nn facets. Using a curved-path encoding of the iterated Kalai--Kleitman recurrence, we prove, uniformly over n≥d≥4n\geq d\geq 4, Δu(d,n)≤(n−d)log⁡2Gd,Gd=(4ln⁡2+o(1))d(ln⁡d)2, Δ_u(d,n) \leq (n-d)^{\log_2 G_d},\qquad G_d = (4\ln 2+o(1))\frac{d}{(\ln d)^2}, where the asymptotic expression for GdG_d is understood as d→∞d\to\infty, improving the exponent of the previous best quasi-polynomial bound by an additional logarithmic factor. With the quantitative dd-step reduction, we also obtain the complementary excess-based bound Δu(d,n)≤(n−d)12log⁡2(n−d)+O(1), Δ_u(d,n) \leq (n-d)^{\frac{1}{2}\log_2(n-d)+O(1)}, where the implied constant is absolute. In the regime n−d=Θ(d)n - d = Θ(d), the latter bound is asymptotically stronger and halves the leading coefficient in the exponent. We further examine their behavior as nn grows relative to dd, obtaining sharper exponents when n=d1/γ+o(1)n = d^{1/γ+o(1)} for fixed 0<γ<10<γ<1 and an almost-linear bound in the deep-tail regime (ln⁡n)/d→∞(\ln n)/d\to\infty. We also show that the leading term of the general bound is sharp within this positive path-counting framework.

Evidence graph

No public relationships recorded yet.

Integrity note: This page is a factual metadata record created by deterministic ingestion. It is not a claim that the work moves a mathematical frontier or has been independently verified.