Source authenticated

Anari's Bethe permanent conjecture

For every nonnegative n×nn\times n matrix AA whose bipartite support graph has girth at least an even integer g4g\ge4, Dong and Jain prove the sharp inequality Bethe(A)per(A)22n/gBethe(A).\operatorname{Bethe}(A)\le\operatorname{per}(A)\le2^{2n/g}\operatorname{Bethe}(A). The factor 22n/g2^{2n/g} is optimal whenever g2ng\mid2n, attained by matrices whose support graphs are disjoint unions of gg-cycles. Thus the result confirms Anari's conjecture, recovers the sharp 2n/22^{n/2} universal Anari--Rezaei bound when g=4g=4, and approaches exactness as the support-graph girth tends to infinity.

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: Anari's Bethe permanent conjecture · Anari's Bethe permanent

Confidence: Not scored

Registry verification: unreviewed · preprint · resolved

Open the source record ↗

Attribution

VibeMathed
registry · event recorded by

ChatGPT 5.6 Sol Ultra
model · ai model contributor · OpenAI

Dingding Dong
human · human collaborator

Vishesh Jain
human · human collaborator

Lineage and corrections

This event attributed to ChatGPT 5.6 Sol Ultra

Anari's Bethe permanent conjecture parent of this event

This event attributed to Dingding Dong

Anari's Bethe permanent conjecture evidence for this event

This event attributed to Vishesh Jain

For every nonnegative n×nn\times n matrix AA whose bipartite support graph has girth at least an even integer g4g\ge4, Dong and Jain prove the sharp inequality Bethe(A)per(A)22n/gBethe(A).\operatorname{Bethe}(A)\le\operatorname{per}(A)\le2^{2n/g}\operatorname{Bethe}(A). The factor 22n/g2^{2n/g} is optimal whenever g2ng\mid2n, attained by matrices whose support graphs are disjoint unions of gg-cycles. Thus the result confirms Anari's conjecture, recovers the sharp 2n/22^{n/2} universal Anari--Rezaei bound when g=4g=4, and approaches exactness as the support-graph girth tends to infinity. parent of this event

VibeMathed record: Anari's Bethe permanent conjecture evidence for this event

Act on this frontier

Verify, challenge, or extend the result.