Open registry federation
690 source-grounded records. Verification labels remain separate from source authentication and publication status.
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.
VibeMathed recorded: Curto et al.'s Minimality Conjecture for Threshold-Linear Networks. Consult the linked registry entry for the original report and scope.
Proves Haglund's Conjecture 4 for : every non-real first-quadrant zero of is simple with strictly decreasing imaginary part, no branch escapes forward, and every finite-multiplicity real collision stays real afterwards. The cases remain open. Two readings worth separating: Conjecture 4 asserts the monotone descent alone, so the no-escape and stays-real statements are this paper's own ad…
VibeMathed recorded: A Generalization of Boppana's Entropy Inequality. Consult the linked registry entry for the original report and scope.
VibeMathed recorded: Garamvölgyi-Jackson-Jordán Conjecture on Cliques in Minimally Globally Rigid Graphs. Consult the linked registry entry for the original report and scope.
VibeMathed recorded: Nathanson's Problems on Product Intersection Sets. Consult the linked registry entry for the original report and scope.
VibeMathed recorded: Conjecture 3 of the Dynamical Sampling Survey. Consult the linked registry entry for the original report and scope.
Four results, and the first is partly a refutation. Jakimiuk conjectured is optimal for every ; the paper proves that for and gives a counterexample for every , so the conjecture is false as posed and the corrected range is . The witness is the two-coordinate vector . The Baranski-Murawski-Nayar-Oleszkiewicz flat-po…
VibeMathed recorded: Pavez-Signe's Length-Control Question for Spanning Subdivisions. Consult the linked registry entry for the original report and scope.
VibeMathed recorded: Tarizadeh's Conjecture on the Maximality of Purely-Prime Ideals. Consult the linked registry entry for the original report and scope.
VibeMathed recorded: Nazarov's Conjecture on Truncations for Fractional Laplacians. Consult the linked registry entry for the original report and scope.
The claim is for every , reduced to three finite facts: the base value , and the unsatisfiability of a 321-position and a 521-position spoke template. The reduction is Lean-checked and holds for every ; the two unsatisfiability results carry DRAT proofs. This completes the partial entry for the same conjecture, which proved it for roughly two thirds of integers via a sc…
Near-optimal rather than optimal: the bounds match up to logarithmic-type factors.
The general principle is the interesting part: every semialgebraic property of a bounded fixed-dimensional mean parameter is eventually almost surely predictable. Against merely integrable matrix laws it fails from dimension two.
Answers the obstruction rather than the whole question: it says exactly when the Matrix-Tree Theorem can be applied and classifies the chambers, and gives a compact five-graviton formula outside the decay region. Simplifying the general solution, which is what the source paper left to future work, remains open.
The dihedral case only, for every and ; the substance is the upper bound, which the source paper's own computations could not reach. Together with the sibling a = 3 entry this proves Conjecture 4.9's claim for all ; the conjecture's trivial a = 1, 2 cases are unaddressed by either entry, and the cyclic analogue for remains open. The engin…
Twenty-eight individual exact values, each proved by SAT certificate (coloring at n-1, UNSAT at n). The synthesis theorem covers every c >= 2 whose c+1 is divisible by 3, 4, 5, or 7 (~66% of integers). The prime-reduction corollary shows the full conjecture (R(c)=40c+41 for all c >= 2) is equivalent to checking primes p >= 89; all primes through 83 are settled. What stays open: the conjecture at c=88 (p=89) and ever…
We prove using an explicit -equivariant strategy. A compact formula fixes 990 normalized twin decisions, and a 48,510-edge residual-orbit matching induces consistent rules on 53,460 labelled clique-view orbits. Independent implementations regenerate the certificate and check all 138,378,240 proper fourteen-colourings with zero failures. Unlike the constructions…
We prove . One lower-bound proof uses two explicit block-disjoint Witt designs. A second uses orbit maps from an explicitly regenerated sharply five-transitive twelve-point permutation group, combining one set-symmetric and one order-sensitive rule. Both satisfy a general coordinate-line twin-completion criterion, and Hall's theorem completes the clique strategy. The release also…
We prove . The lower bound uses two order-sensitive twin-player rules obtained by deleting and repairing one point of an explicit sharply four-transitive eleven-point permutation group. On every coordinate line the repaired rules are derangement permutations, are pointwise unequal, and have fixed-point-free composition. Hall's theorem completes the strategy on the four clique vertices. The r…
The exact value is . The lower bound uses explicit legal twin-player rules over . After those rules cover 3,024 of the 8,400 proper colorings, the residual-coloring/local-view incidence graph has left degree three and right degree at most three; Hall's theorem supplies consistent guesses for the three clique players. The release also proves a general sufficient twin-completion…
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…
VibeMathed recorded: The Coxeter Code Minimum Distance Conjecture. Consult the linked registry entry for the original report and scope.
VibeMathed recorded: The Ramachandra-Natarajan Pairwise Independent Correlation Gap Conjecture. Consult the linked registry entry for the original report and scope.
VibeMathed recorded: Twelve Common Flex Lines in a General Pencil of Cubics. Consult the linked registry entry for the original report and scope.
VibeMathed recorded: Ross's Two Conjectures on Nondeficient Numbers. Consult the linked registry entry for the original report and scope.
VibeMathed recorded: Probabilistic Automatic Complexity Is At Most Three. Consult the linked registry entry for the original report and scope.
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.
VibeMathed recorded: A Universal Leading-Residue Formula for Witten Zeta Functions. Consult the linked registry entry for the original report and scope.
VibeMathed recorded: Minimum Edge-Outerplanar Embedding. Consult the linked registry entry for the original report and scope.
The paper proves that a tensor-product ensemble of independently chosen single-qubit Clifford gates is -distinct when the number of queries is polynomial in . This disproves the authors' conjecture that negligibly distinct ensembles must necessarily be entangling. As an application, the depth- global Clifford/unitary--design layer used in the pseudorandom-unitary construct…
VibeMathed recorded: Cohen's 22 Conjectures on Cyclic Numbers. Consult the linked registry entry for the original report and scope.
VibeMathed recorded: Sombor-Energy Conjecture. Consult the linked registry entry for the original report and scope.
The repository supplies an executable verifier in exact integer arithmetic; for an integer vector satisfies , so . The deficit grows through in the repository's computations, but no asymptotic theorem proving divergence is claimed, so "false for every constant " is a computed pattern, not a proved one. One anomaly, which the…
Infinite family of counterexamples; mathematical argument internally checked, with external verification and novelty review pending.
VibeMathed recorded: Elizalde-Luo Pattern-Avoidance Conjecture. Consult the linked registry entry for the original report and scope.
VibeMathed recorded: Integral Local Invariant Cycles in Degree One. Consult the linked registry entry for the original report and scope.