Research notes on every problem, and a library of the papers behind them. Built from the open erdos repository.
Updated
Claim. and , the statement of Problem 572 for and . Theorem 1 of the paper on the library's source card (p. 1091): the point-line incidence graph of a non-degenerate quadric in is a regular bipartite graph of degree and girth on points and as many lines (p. 1092). Theorem 2: the graph on the points of a quadric in and its distinguished lines is a regular bipartite graph of degree and girth on points and as many lines (p. 1093). The paper states no extremal number; the step to the bounds is the elementary count recorded on the problem page. has vertices, edges and no cycle shorter than , and , so at these orders; has vertices, edges and no cycle shorter than , and , so . Since is nondecreasing in and consecutive prime powers differ by a factor at most , both bounds hold for every with smaller constants. Bondy and Simonovits record the conjecture as known for in Remark 1 of [BoSi74] (p. 98), citing Benson among others; the site's commentary credits Benson with the cases and .
Covers. The instances (the cycle ) and (the cycle ) of the statement for every . Nothing for or any , which remain open; the problem has no full claim.
Depends on. Nothing in this wiki: the constructions are the paper's, and the counting step is elementary and recorded on the problem page.
Acceptance. Refereed: Clark T. Benson, Minimal regular graphs of girths
eight and twelve, Canad. J. Math. 18 (1966), 1091--1094,
doi:10.4153/CJM-1966-109-8, a refereed journal; the publisher's record gives
the year only, and this page's date is the first day of that year by the
corpus's convention. No reviewed evidence is listed: the site labels the
problem OPEN, and commentary on an open problem is not an acceptance.
Read depth. Theorems 1 and 2 and the counts on pp. 1092--1093 were read clause by clause; the proofs were not read, and nothing is independently reviewed in this corpus.