Source authenticated

Graffiti Conjecture 143

For every connected graph, is the variance of its positive adjacency eigenvalues at most its order divided by its average distance? Exact dumbbell-graph certificates refute the bound under both conventions for average distance.

Exact FrontierDelta

Prior state unknown→disproved

Scope and record

Occurred: Jun 12, 2026

Delta type: SOURCE CLAIM

Assumptions: VibeMathed verification: unreviewed. Publication: announcement. AI contribution: ai-discovered. Imported under CC BY 4.0.

Canonical aliases: Graffiti Conjecture 143 · Graffiti 143

Confidence: Not scored

Registry verification: unreviewed · announcement · resolved

Open the source record ↗

Attribution

VibeMathed
registry · event recorded by

Demonstrandum multi-agent pipeline
model · ai model contributor

Lineage and corrections

This event attributed to Demonstrandum multi-agent pipeline

Act on this frontier

Verify, challenge, or extend the result.

Help verify Open canonical problem