Wiki
Wiki

Research notes on every problem, and a library of the papers behind them. Built from the open erdos repository.

Updated


Claim. Two lower bounds on the function h3(d)h_3(d) of Problem 934, from H. Kumar, B. Mohar and S. Pragada, An improved bound for the strong clique index of graphs, arXiv:2607.02698v1 (2 July 2026), 15 pages, cited as [KMP26] on the problem page. Lemma 3.1 (p. 9): the line graph of the odd graph O4=KG(7,3)O_4=\mathrm{KG}(7,3), which is 44-regular on 3535 vertices with 7070 edges, has diameter at most 33, so h3(4)≥71>54=43−42+4+2h_3(4)\ge71>54=4^3-4^2+4+2, and the truncated Witt graph likewise gives h3(15)≥3796>3167h_3(15)\ge3796>3167 (p. 10); these refute the 2022 conjecture h3(d)≤d3−d2+d+2h_3(d)\le d^3-d^2+d+2 of Cambie, Cames van Batenburg, de Joannis de Verclos and Kang (Conjecture 1) at d=4d=4 and d=15d=15. Theorem 1.11 (p. 4): lim inf⁡d→∞h3(d)/d3≥253225\liminf_{d\to\infty}h_3(d)/d^3\ge\frac{253}{225}, that is, h3(d)>(1+ε)d3h_3(d)>(1+\varepsilon)d^3 for every 0<ε<282250<\varepsilon<\frac{28}{225} and all large dd, by an infinite family built from projective planes over the two counterexamples; this refutes Conjecture 1 for all large dd and the upper asymptotic conjecture ht(d)≤(1+o(1))dth_t(d)\le(1+o(1))d^t (Conjecture 4) at t=3t=3. The preprint's Problem 1.12 asks whether h3(d)≤253225d3h_3(d)\le\frac{253}{225}d^3 for all large dd, and it records that Conjecture 4 is undecided for t≥4t\ge4. Its "AI statement" (p. 13) declares the use of AI tools during the ideation phase and that the text is not AI-generated.

Covers. The lower bounds h3(4)≥71h_3(4)\ge71, h3(15)≥3796h_3(15)\ge3796 and lim inf⁡h3(d)/d3≥253225\liminf h_3(d)/d^3\ge\frac{253}{225}, hence the refutation of the two 2022 conjectures at t=3t=3. Not covered: the value of h3(d)h_3(d) at any d≥4d\ge4 (the matching upper bound h3(4)≤71h_3(4)\le71 is the separate claim on the BitterLemma page), the leading constant of h3(d)h_3(d), and every t≠3t\ne3.

Depends on. No page of this wiki; the arguments are the preprint's own.

Standing. Claimed. The preprint is unrefereed (arXiv v1 only, 2 July 2026), the site's commentary does not mention it (page last edited 28 October 2025; label OPEN), and no referee or named reviewer is recorded. A thread post of 17 August 2026 (the discussion link above) cites Lemma 3.1 and Theorem 1.11 as the refutation of the displayed conjecture, and a comment of 30 July 2026 on the Korsky claim's thread calls the Korsky construction a generalization of the preprint's Lemma 3.3; neither is a review. No independent review of Lemma 3.1 is recorded.