Source authenticated

Logarithmic basis number of graphs

Knauer proves that every finite nn-vertex multigraph satisfies bn(G)=O(logn)\mathrm{bn}(G)=O(\log n), improving the previous general O(log2n)O(\log^2 n) bound and matching the known Ω(logn)\Omega(\log n) order. He also proves the sharper cycle-rank bound bn(G)=O(logβ(G))\mathrm{bn}(G)=O(\log\beta(G)). Combined with a reduction of Lehner and Miraftab, this yields bn(G)=O(logg)\mathrm{bn}(G)=O(\log g) for graphs of Euler genus gg, improving the previous O(log2g)O(\log^2 g) bound to the optimal logarithmic order.

Exact FrontierDelta

Prior state unknownproved

Scope and record

Occurred: Sep 2, 2026

Delta type: SOURCE CLAIM

Assumptions: VibeMathed verification: unreviewed. Publication: preprint. AI contribution: ai-co-developed. VibeMathed editorial classifications, scores, notes, relations, and dataset structure are CC BY 4.0. Source statements and linked content retain their own rights.

Canonical aliases: Logarithmic basis number of graphs

Confidence: Not scored

Registry verification: unreviewed · preprint · resolved

Open the source record ↗

Attribution

VibeMathed
registry · event recorded by

ChatGPT-5.6 Sol
model · ai model contributor · OpenAI

Kolja Knauer
human · human collaborator

Lineage and corrections

VibeMathed record: Logarithmic basis number of graphs evidence for this event

This event attributed to ChatGPT-5.6 Sol

Logarithmic basis number of graphs parent of this event

Miraftab, Morin and Yuditsky, who state it as Conjecture 12 evidence for this event

This event attributed to Kolja Knauer

Logarithmic basis number of graphs evidence for this event

Knauer proves that every finite nn-vertex multigraph satisfies bn(G)=O(logn)\mathrm{bn}(G)=O(\log n), improving the previous general O(log2n)O(\log^2 n) bound and matching the known Ω(logn)\Omega(\log n) order. He also proves the sharper cycle-rank bound bn(G)=O(logβ(G))\mathrm{bn}(G)=O(\log\beta(G)). Combined with a reduction of Lehner and Miraftab, this yields bn(G)=O(logg)\mathrm{bn}(G)=O(\log g) for graphs of Euler genus gg, improving the previous O(log2g)O(\log^2 g) bound to the optimal logarithmic order. parent of this event

Bazargani, Biedl, Bose, Maheshwari and Miraftab, where the question is asked (Section 5) evidence for this event

Act on this frontier

Verify, challenge, or extend the result.