Logarithmic basis number of graphs
Knauer proves that every finite -vertex multigraph satisfies , improving the previous general bound and matching the known order. He also proves the sharper cycle-rank bound . Combined with a reduction of Lehner and Miraftab, this yields for graphs of Euler genus , improving the previous bound to the optimal logarithmic order.
Exact FrontierDelta
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
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 -vertex multigraph satisfies , improving the previous general bound and matching the known order. He also proves the sharper cycle-rank bound . Combined with a reduction of Lehner and Miraftab, this yields for graphs of Euler genus , improving the previous 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