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.

analysisJun 22, 2026Significance 20/100Registry: unreviewed

The Finite Field Restriction Problem for the Paraboloid

Prior state unknown→proved

a record exponent; the conjectured range is not yet reached

Source authenticatedThe Finite Field Restriction Problem for the Paraboloid →

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

probability-statisticsJul 15, 2026Significance 20/100Registry: unreviewed

Cutoff for Kac's Walk on the Sphere

Prior state unknown→proved

the conjectured cutoff location of 2n log n is wrong

Source authenticatedCutoff for Kac's Walk on the Sphere →

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

combinatoricsJul 21, 2026Significance 20/100Registry: unreviewed

Norine's Antipodal-Colouring Conjecture

Prior state unknown→proved

VibeMathed recorded: Norine's Antipodal-Colouring Conjecture. Consult the linked registry entry for the original report and scope.

Source authenticatedNorine's Antipodal-Colouring Conjecture →

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

combinatoricsJun 23, 2026Significance 20/100Registry: unreviewed

The Erdos-Lovasz Cover Number Problem

Prior state unknown→proved

an improved lower bound; the true order of g(r) remains open

Source authenticatedThe Erdos-Lovasz Cover Number Problem →

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

analysisJun 24, 2026Significance 20/100Registry: unreviewed

The Existence Problem for Regular Gabor Frames

Prior state unknown→disproved

VibeMathed recorded: The Existence Problem for Regular Gabor Frames. Consult the linked registry entry for the original report and scope.

Source authenticatedThe Existence Problem for Regular Gabor Frames →

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

mathematical-physicsJul 29, 2026Significance 20/100Registry: unreviewed

Sharp Bounds on the Ground State Energy of the SYK Model

Prior state unknown→proved

VibeMathed recorded: Sharp Bounds on the Ground State Energy of the SYK Model. Consult the linked registry entry for the original report and scope.

Source authenticatedSharp Bounds on the Ground State Energy of the SYK Model →

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

algebraJul 20, 2026Significance 20/100Registry: unreviewed

The Virtual Surjection Conjecture for Discrete Groups

Prior state unknown→proved

VibeMathed recorded: The Virtual Surjection Conjecture for Discrete Groups. Consult the linked registry entry for the original report and scope.

Source authenticatedThe Virtual Surjection Conjecture for Discrete Groups →

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

algebraJul 23, 2026Significance 20/100Registry: unreviewed

Commutator Relators Do Not Force Hopficity, Residual Finiteness or Automaticity

Prior state unknown→disproved

VibeMathed recorded: Commutator Relators Do Not Force Hopficity, Residual Finiteness or Automaticity. Consult the linked registry entry for the original report and scope.

Source authenticatedCommutator Relators Do Not Force Hopficity, Residual Finiteness or Automaticity →

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

probability-statisticsMay 12, 2026Significance 20/100Registry: unreviewed

Maximum Entropy of Sums of Independent Ternary Random Variables

Prior state unknown→proved

VibeMathed recorded: Maximum Entropy of Sums of Independent Ternary Random Variables. Consult the linked registry entry for the original report and scope.

Source authenticatedMaximum Entropy of Sums of Independent Ternary Random Variables →

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

combinatoricsJul 16, 2026Significance 20/100Registry: unreviewed

The Order of Long Rainbow Arithmetic Progressions

Prior state unknown→disproved

the true order is determined, and it is not the conjectured one

Source authenticatedThe Order of Long Rainbow Arithmetic Progressions →

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

analysisJul 24, 2026Significance 20/100Registry: unreviewed

The Graveyard Problem for Dissipative Barrier Truncations

Prior state unknown→proved

VibeMathed recorded: The Graveyard Problem for Dissipative Barrier Truncations. Consult the linked registry entry for the original report and scope.

Source authenticatedThe Graveyard Problem for Dissipative Barrier Truncations →

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

differential-equationsMay 11, 2026Significance 20/100Registry: unreviewed

The Jauslin-Kreiss-Moser Vanishing-Viscosity Selection Problem

Prior state unknown→disproved

VibeMathed recorded: The Jauslin-Kreiss-Moser Vanishing-Viscosity Selection Problem. Consult the linked registry entry for the original report and scope.

Source authenticatedThe Jauslin-Kreiss-Moser Vanishing-Viscosity Selection Problem →

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

quantum-information-computingJul 29, 2026Significance 20/100Registry: unreviewed

Lami-Regula Conjecture on Entanglement Irreversibility

Prior state unknown→proved

VibeMathed recorded: Lami-Regula Conjecture on Entanglement Irreversibility. Consult the linked registry entry for the original report and scope.

Source authenticatedLami-Regula Conjecture on Entanglement Irreversibility →

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

geometry-topologyAug 4, 2026Significance 20/100Registry: unreviewed

Uniform Székelyhidi conjectures for complex Hessian equations on projective manifolds

Prior state unknown→proved

Chen, Nie and Xu prove a Nakai–Moishezon-type numerical criterion for a broad class of complex Hessian-type equations on compact projective manifolds. In particular, Corollary 1.3 gives a uniform version of Székelyhidi’s conjecture for complex Hessian quotient equations, while Corollary 1.5 proves the uniform version, formulated by Murakami, for complex k-Hessian equations. However, the results assume projectivity a…

Source authenticatedUniform Székelyhidi conjectures for complex Hessian equations on projective manifolds →

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

geometry-topologyMay 27, 2026Significance 20/100Registry: unreviewed

The Aluffi-Chen-Marcolli Real-Rootedness Conjecture

Prior state unknown→proved

VibeMathed recorded: The Aluffi-Chen-Marcolli Real-Rootedness Conjecture. Consult the linked registry entry for the original report and scope.

Source authenticatedThe Aluffi-Chen-Marcolli Real-Rootedness Conjecture →

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

probability-statisticsMay 22, 2026Significance 20/100Registry: unreviewed

Optimal Vector Balancing for Zonotopes

Prior state unknown→proved

VibeMathed recorded: Optimal Vector Balancing for Zonotopes. Consult the linked registry entry for the original report and scope.

Source authenticatedOptimal Vector Balancing for Zonotopes →

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

geometry-topologyJul 21, 2026Significance 20/100Registry: unreviewed

The mod 4 Kawauchi Conjecture

Prior state unknown→proved

the mod 4 form; the general conjecture is false by Ermotti, Hongler and Weber

Source authenticatedThe mod 4 Kawauchi Conjecture →

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

algebraAug 9, 2026Significance 20/100Registry: unreviewed

The Kim-Roush Conjecture on the Maximum of per(I-A) in Odd Order

Prior state unknown→proved

Kim and Roush did not claim uniqueness; the classification of equality cases is new alongside the conjecture itself.

Source authenticatedThe Kim-Roush Conjecture on the Maximum of per(I-A) in Odd Order →

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

theoretical-computer-scienceMay 29, 2026Significance 20/100Registry: unreviewed

Steurer's Conjecture on Vectors with Small Average Correlation

Prior state unknown→disproved

VibeMathed recorded: Steurer's Conjecture on Vectors with Small Average Correlation. Consult the linked registry entry for the original report and scope.

Source authenticatedSteurer's Conjecture on Vectors with Small Average Correlation →

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

probability-statisticsApr 26, 2026Significance 20/100Registry: unreviewed

Mixing Time of Kac's Walk on the Rotation Group

Prior state unknown→proved

VibeMathed recorded: Mixing Time of Kac's Walk on the Rotation Group. Consult the linked registry entry for the original report and scope.

Source authenticatedMixing Time of Kac's Walk on the Rotation Group →

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

theoretical-computer-scienceJun 24, 2026Significance 20/100Registry: unreviewed

Quadratic-Time Hardness of Furthest Pair in Superconstant Dimension

Prior state unknown→proved

VibeMathed recorded: Quadratic-Time Hardness of Furthest Pair in Superconstant Dimension. Consult the linked registry entry for the original report and scope.

Source authenticatedQuadratic-Time Hardness of Furthest Pair in Superconstant Dimension →

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

theoretical-computer-scienceMay 4, 2026Significance 20/100Registry: unreviewed

Odifreddi's Problem 3 on Irreducible m-Degrees

Prior state unknown→disproved

VibeMathed recorded: Odifreddi's Problem 3 on Irreducible m-Degrees. Consult the linked registry entry for the original report and scope.

Source authenticatedOdifreddi's Problem 3 on Irreducible m-Degrees →

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

combinatoricsJul 14, 2026Significance 20/100Registry: unreviewed

Record Compositions of Alternating Permutations

Prior state unknown→proved

VibeMathed recorded: Record Compositions of Alternating Permutations. Consult the linked registry entry for the original report and scope.

Source authenticatedRecord Compositions of Alternating Permutations →

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

analysisAug 12, 2026Significance 20/100Registry: unreviewed

Word-length spectral triples as compact quantum metric spaces

Prior state unknown→disproved

The first explicit counterexample rather than a first suspicion: the abstract is clear that the failure was widely expected and that what was missing was a witness. It gives an infinite family, one for each d >= 2, all Lamplighter groups over free groups.

Source authenticatedWord-length spectral triples as compact quantum metric spaces →

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

analysisJul 19, 2026Significance 20/100Registry: unreviewed

Primariness of the Mixed-Norm Space $L_p(L_1)$

Prior state unknown→proved

VibeMathed recorded: Primariness of the Mixed-Norm Space $L_p(L_1)$ . Consult the linked registry entry for the original report and scope.

Source authenticatedPrimariness of the Mixed-Norm Space

L_p(L_1)

→

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

algorithms-optimizationJul 22, 2026Significance 20/100Registry: unreviewed

Dinitz-Garg-Goemans Conjecture

Prior state unknown→disproved

VibeMathed recorded: Dinitz-Garg-Goemans Conjecture. Consult the linked registry entry for the original report and scope.

Source authenticatedDinitz-Garg-Goemans Conjecture →

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

combinatoricsAug 7, 2026Significance 20/100Registry: unreviewed

The Anstee-Sali Conjecture on Forbidden Configurations

Prior state unknown→disproved

VibeMathed recorded: The Anstee-Sali Conjecture on Forbidden Configurations. Consult the linked registry entry for the original report and scope.

Source authenticatedThe Anstee-Sali Conjecture on Forbidden Configurations →

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

algebraJul 27, 2026Significance 20/100Registry: unreviewed

Infinitely Many Components in Auslander–Reiten Quivers over Perfect Fields

Prior state unknown→proved

VibeMathed recorded: Infinitely Many Components in Auslander–Reiten Quivers over Perfect Fields. Consult the linked registry entry for the original report and scope.

Source authenticatedInfinitely Many Components in Auslander–Reiten Quivers over Perfect Fields →

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

mathematical-physicsJul 30, 2026Significance 20/100Registry: unreviewed

The Dimer Constant of the Cubic Lattice

Prior state unknown→proved

a record upper bound; the exact constant remains unknown

Source authenticatedThe Dimer Constant of the Cubic Lattice →

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

combinatoricsSep 1, 2026Significance 18/100Registry: unreviewed

Common Neighbour Conjectures for Saxl Graphs

Prior state unknown→disproved

The paper disproves both the Burness–Giudici common neighbour conjecture for primitive groups of base size $2$ and its later generalisation to arbitrary base size. For every integer $B\ge2$ , it constructs infinitely many primitive permutation groups of base size $B$ whose generalised Saxl graphs contain two nonadjacent vertices with no common neighbour. At base size $2$ , it gives infinite counterexample families of…

Source authenticatedCommon Neighbour Conjectures for Saxl Graphs →

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

algorithms-optimizationAug 29, 2026Significance 18/100Registry: unreviewed

Improving Randomized Metric Distortion to 2.3282

Prior state unknown→proved

The paper proves that there exists a randomized voting rule using only ordinal rankings with metric distortion at most $11641/5000=2.3282$ . This improves the previous best upper bound of $2.5$ and closes about $44\%$ of the gap to the known asymptotic lower bound of approximately $2.1126$ . It does not determine the optimal randomized metric distortion: for $m\ge4$ , the exact optimum and its asymptotic limit remain o…

Source authenticatedImproving Randomized Metric Distortion to 2.3282 →

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

algebraAug 21, 2026Significance 18/100Registry: unreviewed

The stable commutator length of a relator is not a one-relator group invariant

Prior state unknown→disproved

A negative answer to Heuer and Löh's question: the isomorphism type of a one-relator group $\langle S \mid r\rangle$ does not determine $\mathrm{scl}_S(r)$ . The witnesses are $r=\mathtt{aabABabABBAbaabABBAb}$ and $r'=\mathtt{aabABabABabABBAbaBAb}$ , both length 20 in $F_2'$ , with $\langle a,b \mid r\rangle\cong\langle a,b\mid r'\rangle$ but $\mathrm{scl}(r)=1$ against $\mathrm{scl}(r')=1/2$ . The mechanism is what ma…

Source authenticatedThe stable commutator length of a relator is not a one-relator group invariant →

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

number-theoryAug 7, 2026Significance 18/100Registry: unreviewed

The Umans-Wang Arithmetic-Progression Divisor Conjecture

Prior state unknown→disproved

VibeMathed recorded: The Umans-Wang Arithmetic-Progression Divisor Conjecture. Consult the linked registry entry for the original report and scope.

Source authenticatedThe Umans-Wang Arithmetic-Progression Divisor Conjecture →

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

analysisMar 23, 2026Significance 18/100Registry: unreviewed

Lower Bounds for Lebesgue Constants and an Erdős-Turán Interpolation Problem

Prior state unknown→proved

VibeMathed recorded: Lower Bounds for Lebesgue Constants and an Erdős-Turán Interpolation Problem. Consult the linked registry entry for the original report and scope.

Source authenticatedLower Bounds for Lebesgue Constants and an Erdős-Turán Interpolation Problem →

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

combinatoricsAug 3, 2026Significance 18/100Registry: unreviewed

The Simonovits Product Conjecture

Prior state unknown→disproved

one construction disproves both the product conjecture and its weak form

Source authenticatedThe Simonovits Product Conjecture →

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

theoretical-computer-scienceAug 8, 2026Significance 18/100Registry: unreviewed

Polynomial-Time MIMO Detection at the ML Threshold

Prior state unknown→proved

An average-case claim about the Gaussian model, not a contradiction of the worst-case NP-hardness of integer least squares. If it holds, no computational-statistical gap separates polynomial-time detection from exhaustive maximum likelihood at first order in this model.

Source authenticatedPolynomial-Time MIMO Detection at the ML Threshold →

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review