Open registry federation

Mathematical findings

432 source-grounded records. Verification labels remain separate from source authentication and publication status.

All 690 unreviewed 432 lean verified 144 site confirmed 66 lean checked 33 expert verified 13 contested 2

Editorial data from VibeMathed is CC BY 4.0 licensed. Linked papers and authors’ text retain their own rights. Each record links to its registry entry and primary source. Verification labels are attributed to the registry.

number-theoryJul 13, 2026Significance 7/100Registry: unreviewed

Ross's Two Conjectures on Nondeficient Numbers

Prior state unknown→disproved

VibeMathed recorded: Ross's Two Conjectures on Nondeficient Numbers. Consult the linked registry entry for the original report and scope.

Source authenticatedRoss's Two Conjectures on Nondeficient Numbers →

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

theoretical-computer-scienceJul 28, 2026Significance 7/100Registry: unreviewed

Probabilistic Automatic Complexity Is At Most Three

Prior state unknown→proved

VibeMathed recorded: Probabilistic Automatic Complexity Is At Most Three. Consult the linked registry entry for the original report and scope.

Source authenticatedProbabilistic Automatic Complexity Is At Most Three →

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

logic-foundationsAug 4, 2026Significance 7/100Registry: unreviewed

Signed Depth Relevance of subDL

Prior state unknown→proved

subDL satisfies the signed depth relevance property, answering an open question posed by Øgaard (2026). More precisely, every valid inference in subDL contains a propositional variable that occurs in both the premises and conclusion with matching sign and at matching implicational depth.

Source authenticatedSigned Depth Relevance of subDL →

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

combinatoricsJul 12, 2026Significance 7/100Registry: unreviewed

The Coxeter Code Minimum Distance Conjecture

Prior state unknown→proved

VibeMathed recorded: The Coxeter Code Minimum Distance Conjecture. Consult the linked registry entry for the original report and scope.

Source authenticatedThe Coxeter Code Minimum Distance Conjecture →

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

mathematical-physicsJun 8, 2026Significance 7/100Registry: unreviewed

Free Fermions in Disguise without Exponential Degeneracies

Prior state unknown→proved

An existence question settled by exhibiting an object, not a general theorem: one model in the family has no exponential degeneracies for generic couplings, and nothing here says which others do. The route is worth recording because it is not the one anyone was looking down. The author had tried and failed to find such a model directly. It surfaced instead from an unrelated classification of medium-range spin chain…

Source authenticatedFree Fermions in Disguise without Exponential Degeneracies →

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

theoretical-computer-scienceJul 9, 2026Significance 7/100Registry: unreviewed

Minimum Edge-Outerplanar Embedding

Prior state unknown→proved

VibeMathed recorded: Minimum Edge-Outerplanar Embedding. Consult the linked registry entry for the original report and scope.

Source authenticatedMinimum Edge-Outerplanar Embedding →

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

number-theoryJul 14, 2026Significance 7/100Registry: unreviewed

A Universal Leading-Residue Formula for Witten Zeta Functions

Prior state unknown→proved

VibeMathed recorded: A Universal Leading-Residue Formula for Witten Zeta Functions. Consult the linked registry entry for the original report and scope.

Source authenticatedA Universal Leading-Residue Formula for Witten Zeta Functions →

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

quantum-information-computingSep 2, 2026Significance 6/100Registry: unreviewed

Depth-1 distinctness for pseudorandom unitaries

Prior state unknown→disproved

The paper proves that a tensor-product ensemble of independently chosen single-qubit Clifford gates is $\operatorname{negl}(n)$ -distinct when the number of queries is polynomial in $n$ . This disproves the authors' conjecture that negligibly distinct ensembles must necessarily be entangling. As an application, the depth- $\log n$ global Clifford/unitary- $2$ -design layer used in the $PFC$ pseudorandom-unitary construct…

Source authenticatedDepth-1 distinctness for pseudorandom unitaries →

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

combinatoricsJul 30, 2026Significance 6/100Registry: unreviewed

Sombor-Energy Conjecture

Prior state unknown→disproved

VibeMathed recorded: Sombor-Energy Conjecture. Consult the linked registry entry for the original report and scope.

Source authenticatedSombor-Energy Conjecture →

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

number-theorySep 30, 2025Significance 6/100Registry: unreviewed

Cohen's 22 Conjectures on Cyclic Numbers

Prior state unknown→proved

VibeMathed recorded: Cohen's 22 Conjectures on Cyclic Numbers. Consult the linked registry entry for the original report and scope.

InvalidatedCohen's 22 Conjectures on Cyclic Numbers →

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review! Disputed

combinatoricsJul 22, 2026Significance 5/100Registry: unreviewed

Graffiti Conjecture 284

Prior state unknown→disproved

VibeMathed recorded: Graffiti Conjecture 284. Consult the linked registry entry for the original report and scope.

Source authenticatedGraffiti Conjecture 284 →

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

combinatoricsAug 3, 2026Significance 5/100Registry: unreviewed

Graffiti's Residue Problem for Common-Divisor Graphs

Prior state unknown→proved

VibeMathed recorded: Graffiti's Residue Problem for Common-Divisor Graphs. Consult the linked registry entry for the original report and scope.

Source authenticatedGraffiti's Residue Problem for Common-Divisor Graphs →

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

combinatoricsJul 8, 2026Significance 5/100Registry: unreviewed

Kurkov's Fubini-Number Sum Conjecture

Prior state unknown→proved

VibeMathed recorded: Kurkov's Fubini-Number Sum Conjecture. Consult the linked registry entry for the original report and scope.

Source authenticatedKurkov's Fubini-Number Sum Conjecture →

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

combinatoricsJun 12, 2026Significance 5/100Registry: unreviewed

TxGraffiti-Davila Conjecture 9

Prior state unknown→disproved

VibeMathed recorded: TxGraffiti-Davila Conjecture 9. Consult the linked registry entry for the original report and scope.

Source authenticatedTxGraffiti-Davila Conjecture 9 →

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

combinatoricsMay 18, 2026Significance 5/100Registry: unreviewed

Polylogarithmic Full-Chord Buffon Discrepancy

Prior state unknown→proved

This settles Steinerberger's third open question and separates the two models: in the disk, full chords cost you a factor growing like $\log L$ over what is achievable without the restriction. It also improves the Steinhaus-type $O(L^{1/3})$ to polylogarithmic within the full-chord class. It does not settle the Buffon discrepancy problem itself. Steinerberger's first question - whether every convex body admits a se…

Source authenticatedPolylogarithmic Full-Chord Buffon Discrepancy →

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

combinatoricsJun 12, 2026Significance 5/100Registry: unreviewed

Pandey Parity Conjecture for Generalized Petersen Graphs

Prior state unknown→disproved

VibeMathed recorded: Pandey Parity Conjecture for Generalized Petersen Graphs. Consult the linked registry entry for the original report and scope.

Source authenticatedPandey Parity Conjecture for Generalized Petersen Graphs →

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

combinatoricsJul 26, 2026Significance 5/100Registry: unreviewed

Zero Forcing versus Independence in Subcubic Graphs

Prior state unknown→disproved

VibeMathed recorded: Zero Forcing versus Independence in Subcubic Graphs. Consult the linked registry entry for the original report and scope.

Source authenticatedZero Forcing versus Independence in Subcubic Graphs →

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

algebraFeb 24, 2026Significance 5/100Registry: unreviewed

Ran-Teng Conjecture 20 on 4-Cycle Stochastic Matrices

Prior state unknown→proved

VibeMathed recorded: Ran-Teng Conjecture 20 on 4-Cycle Stochastic Matrices. Consult the linked registry entry for the original report and scope.

Source authenticatedRan-Teng Conjecture 20 on 4-Cycle Stochastic Matrices →

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

combinatoricsJun 12, 2026Significance 5/100Registry: unreviewed

Graffiti Conjecture 143

Prior state unknown→disproved

VibeMathed recorded: Graffiti Conjecture 143. Consult the linked registry entry for the original report and scope.

Source authenticatedGraffiti Conjecture 143 →

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

geometry-topologyJun 11, 2026Significance 5/100Registry: unreviewed

IRIS Conjecture 6.1 on Simple 3-Polytopes

Prior state unknown→disproved

VibeMathed recorded: IRIS Conjecture 6.1 on Simple 3-Polytopes. Consult the linked registry entry for the original report and scope.

Source authenticatedIRIS Conjecture 6.1 on Simple 3-Polytopes →

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

combinatoricsApr 29, 2026Significance 5/100Registry: unreviewed

Hamilton Decompositions of the Directed 5-Torus, Odd Modulus

Prior state unknown→proved

VibeMathed recorded: Hamilton Decompositions of the Directed 5-Torus, Odd Modulus. Consult the linked registry entry for the original report and scope.

Source authenticatedHamilton Decompositions of the Directed 5-Torus, Odd Modulus →

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

combinatoricsJun 12, 2026Significance 5/100Registry: unreviewed

Koch-Narayan Conjecture 1

Prior state unknown→disproved

VibeMathed recorded: Koch-Narayan Conjecture 1. Consult the linked registry entry for the original report and scope.

Source authenticatedKoch-Narayan Conjecture 1 →

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

combinatoricsJul 30, 2026Significance 5/100Registry: unreviewed

Graffiti Conjecture 6

Prior state unknown→disproved

Infinite family of counterexamples; mathematical argument internally checked, with external verification and novelty review pending.

Source authenticatedGraffiti Conjecture 6 →

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

combinatoricsJul 29, 2026Significance 5/100Registry: unreviewed

Written on the Wall II, Conjecture 284

Prior state unknown→disproved

VibeMathed recorded: Written on the Wall II, Conjecture 284. Consult the linked registry entry for the original report and scope.

Source authenticatedWritten on the Wall II, Conjecture 284 →

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

algorithms-optimizationAug 5, 2026Significance 5/100Registry: unreviewed

Problem MAIS-O60: Single-Neuron Fourier Alignment

Prior state unknown→disproved

VibeMathed recorded: Problem MAIS-O60: Single-Neuron Fourier Alignment. Consult the linked registry entry for the original report and scope.

Source authenticatedProblem MAIS-O60: Single-Neuron Fourier Alignment →

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

combinatoricsJun 11, 2026Significance 5/100Registry: unreviewed

Graffiti Conjecture 154 (Standard-Deviation Reading)

Prior state unknown→disproved

refuted under the standard-deviation reading; the statement is reading-sensitive and other readings remain open

Source authenticatedGraffiti Conjecture 154 (Standard-Deviation Reading) →

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

geometry-topologyJul 29, 2026Significance 5/100Registry: unreviewed

Positivity on Deligne–Mumford Stacks Without the Torsion-Free Hypothesis

Prior state unknown→proved

VibeMathed recorded: Positivity on Deligne–Mumford Stacks Without the Torsion-Free Hypothesis. Consult the linked registry entry for the original report and scope.

Source authenticatedPositivity on Deligne–Mumford Stacks Without the Torsion-Free Hypothesis →

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

theoretical-computer-scienceJul 24, 2026Significance 5/100Registry: unreviewed

Minimum Sparsity of S-Decoding Polynomials

Prior state unknown→proved

conditional on a plausible number-theoretic conjecture; unconditional through s = 15

Source authenticatedMinimum Sparsity of S-Decoding Polynomials →

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

number-theoryJun 12, 2026Significance 5/100Registry: unreviewed

Sun's Conjecture 4.6(ii) on Trigonometric Permanents

Prior state unknown→disproved

VibeMathed recorded: Sun's Conjecture 4.6(ii) on Trigonometric Permanents. Consult the linked registry entry for the original report and scope.

Source authenticatedSun's Conjecture 4.6(ii) on Trigonometric Permanents →

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

number-theoryJun 1, 2026Significance 5/100Registry: unreviewed

Divisibility Set of the Generalized Euler Totient

Prior state unknown→proved

VibeMathed recorded: Divisibility Set of the Generalized Euler Totient. Consult the linked registry entry for the original report and scope.

Source authenticatedDivisibility Set of the Generalized Euler Totient →

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

algorithms-optimizationSep 4, 2026Significance 4/100Registry: unreviewed

Exact SSUF scenario-count ladder on the four-terminal planar gadget

proved→proved

Fixed four-terminal planar DAG; positive route-cost differences for m≥2, with non-attained suprema; signed/zero only for m=1, whose attainment is unstated. No topology-wide/unrestricted-planar claim.

Source authenticatedExact SSUF scenario-count ladder on the four-terminal planar gadget →

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

combinatoricsAug 14, 2026Significance 4/100Registry: unreviewed

Sivaraman's Perfect-Divisibility Characterization Question

Prior state unknown→disproved

VibeMathed recorded: Sivaraman's Perfect-Divisibility Characterization Question. Consult the linked registry entry for the original report and scope.

Source authenticatedSivaraman's Perfect-Divisibility Characterization Question →

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

combinatoricsJul 30, 2026Significance 4/100Registry: unreviewed

Signature of Connected Line Graphs

Prior state unknown→disproved

no constant-bound repair of the conjecture is possible

Source authenticatedSignature of Connected Line Graphs →

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

analysisAug 7, 2026Significance 4/100Registry: unreviewed

Complete rational classification of fifth-order autocorrelation ambiguities on $U_{30}$

Prior state unknown→proved

Agulnick and Busick-Warner exhibited a family of fifth-order ambiguities on the exact unit support $U_{30}$ and conjectured that it was not a complete classification because it did not use the full field $\mathbb Q(\zeta_{30})$ . This work proves the complete classification. The larger field enlarges the common amplitude $\alpha$ , while every relative ambiguity remains a norm-one parameter in $\mathbb Q(\zeta_6)$ . Th…

Source authenticatedComplete rational classification of fifth-order autocorrelation ambiguities on

U_{30}

→

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

combinatoricsAug 14, 2026Significance 3/100Registry: unreviewed

Score-Determined Induced Tournament Statistics: an All-Orders Classification

Prior state unknown→proved

VibeMathed recorded: Score-Determined Induced Tournament Statistics: an All-Orders Classification. Consult the linked registry entry for the original report and scope.

Source authenticatedScore-Determined Induced Tournament Statistics: an All-Orders Classification →

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

combinatoricsJul 24, 2026Significance 3/100Registry: unreviewed

Depth of the in-tree of $s$ under $q \mapsto q s q^{-1}$ on $n$ -cycles

Prior state unknown→proved

Opus 4.8 constructed a branch of the stated depth, giving a lower bound, and believed it had a matching upper bound; that proof was wrong and the statement stayed a conjecture. FABLE 5 later proved it. In the author's summary of the method: "The proof turns conjugation, near $s$ , into base- $p$ arithmetic." A cycle near the fixed point splits into a coarse base permutation and a vector of carries in $\mathbb{Z}/p$ ,…

Source authenticatedDepth of the in-tree of

s

under

q \mapsto q s q^{-1}

n

-cycles →

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review