combinatorics / Graph invariants

Written on the Wall II, Graph Conjecture 103

For every connected graph $G$, is $\alpha(G) \le \lfloor b(G) - \log(\operatorname{ecc}_{avg}(G)) \rfloor$, where $b(G)$ is the largest induced-bipartite-subgraph order? An $11$-vertex counterexample - a triangle with four leaves on each of two vertices - has $\alpha = 9$ against bound $8$.

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

Temporal state

Current frontier

No reconciled state yet.

Append-only history

Frontier timeline

combinatoricsJul 22, 2026Significance 5/100Registry: lean verified

Written on the Wall II, Graph Conjecture 103

Prior state unknowndisproved

For every connected graph $G$, is $\alpha(G) \le \lfloor b(G) - \log(\operatorname{ecc}_{avg}(G)) \rfloor$, where $b(G)$ is the largest induced-bipartite-subgraph order? An $11$-vertex counterexample - a triangle with four leaves on each of two vertices - has $\alpha = 9$ against bound $8$.

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

Research memory

Claims and attempts

Scoped claims

Source authenticated

For every connected graph $G$, is $\alpha(G) \le \lfloor b(G) - \log(\operatorname{ecc}_{avg}(G)) \rfloor$, where $b(G)$ is the largest induced-bipartite-subgraph order? An $11$-vertex counterexample - a triangle with four leaves on each of two vertices - has $\alpha = 9$ against bound $8$.

Recorded attempts

Evidence graph

Connected research record

No public relationships recorded yet.