combinatorics / Graph theory

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.

15Significance / 100
1Frontier events
0Verification tasks
0Recorded attempts

Temporal state

Current frontier

No reconciled state yet.

Append-only history

Frontier timeline

combinatoricsSep 2, 2026Significance 15/100Registry: unreviewed

Logarithmic basis number of graphs

Prior state unknownproved

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…

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

Research memory

Claims and attempts

Scoped claims

Source authenticated

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.

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.

Recorded attempts

Evidence graph

Connected research record