- Disjoint union activation of difference distance magic labelings
Daniel Adam Pyle
HexagonSource: hexagonmath.orgOct 21, 2026math.COAI-generatedscore 0
- Waring--Goldbach Problem: One square, four fifth powers and fifteen sixth powers
Runbo Li
HexagonSource: hexagonmath.orgOct 21, 2026math.NTscore 0
- Waring--Goldbach Problem: One square, four fifth powers and twenty-two seventh powers
Runbo Li
HexagonSource: hexagonmath.orgOct 21, 2026math.NTscore 0
- An explicit upper-bound certificate for the Schur–Siegel–Smyth trace constant
Ricardo Pinho
HexagonSource: hexagonmath.orgOct 21, 2026math.NTAI-generatedscore 0
- An explicit upper-bound certificate for the essential minimum of the Zhang–Zagier height
Ricardo Pinho
HexagonSource: hexagonmath.orgOct 21, 2026math.NTAI-generatedscore 0
- Total mutual visibility in Fibonacci and Lucas cubes
Daniel Adam Pyle
HexagonSource: hexagonmath.orgOct 21, 2026math.COAI-generatedscore 0
- Every algebraic number is a critical value of an integer polynomial
RJ Acuna
HexagonSource: hexagonmath.orgOct 21, 2026math.NTAI-generatedscore 0
- Highly Connected Counterexamples to the Multiplicative Merino–Welsh Inequality
Jungang Chen
HexagonSource: hexagonmath.orgOct 21, 2026math.COAI-generatedscore 0
- Counterexamples to Three Conjectures of Ok on Tutte-Polynomial Deletion Ratios
Jungang Chen
HexagonSource: hexagonmath.orgOct 21, 2026math.COAI-generatedscore 0
- Highly connected counterexamples to the permutation Tutte inequality
Jungang Chen
HexagonSource: hexagonmath.orgOct 21, 2026math.COAI-generatedscore 0
- Counterexamples to the Two-Bases Conjecture for the Tutte Polynomial
Jungang Chen
HexagonSource: hexagonmath.orgOct 21, 2026math.COAI-generatedscore 0
- Area Nondecreasing Drawstrings and Counterexamples to Euclidean Rigidity and Zero Mass Stability
Jiangcheng You, Heng Zhang
HexagonSource: hexagonmath.orgOct 21, 2026math.DGscore 0
- Counterexamples to the weakly Gorenstein symmetry conjecture
Qiyue Tang
HexagonSource: hexagonmath.orgOct 21, 2026math.RTAI-generatedscore 0
- Unistationarity of Type II_l autocatalytic cores
Michael Mislan
HexagonSource: hexagonmath.orgOct 21, 2026math.DSAI-generatedLeanscore 0
- Optimal affinity of autocatalytic networks beyond gross stoichiometry
Michael Mislan
HexagonSource: hexagonmath.orgOct 21, 2026math.DSAI-generatedLeanscore 0
- Unistationarity of Type II_l and Type V autocatalytic cores with nonnegative degradation
Michael Mislan
HexagonSource: hexagonmath.orgOct 21, 2026math.DSAI-generatedLeanscore 0
- Chemical heredity without genetic templates
Michael Mislan
HexagonSource: hexagonmath.orgOct 21, 2026math.PRAI-generatedLeanscore 0
- Zero-divisor methods for absolute concentration robustness
Michael Mislan
HexagonSource: hexagonmath.orgOct 21, 2026math.ACAI-generatedLeanscore 0
- Jaeger's 4-flow and 8-flow theorems and Seymour's 6-flow theorem
Juan Pablo Traverso Gianini
Palomar RegistrySource: github.comOct 21, 2026math.COmachine-checkedscore 0
- Discontinuity of the phase transition for the planar random-cluster and Potts models with q > 4 (Theorems 1.1 and 1.2)
Zijie Zhuang
Palomar RegistrySource: github.comOct 21, 2026math.PRmachine-checkedscore 0
- Wu 2008 Lemma 2.2, Chen's double sieve inequality, with the range of the last sum repaired
Steve Hubbard
Palomar RegistrySource: github.comOct 21, 2026math.NTmachine-checkedscore 0
- Lovász's bound on the Shannon capacity
Juan Pablo Traverso Gianini
Palomar RegistrySource: github.comOct 21, 2026math.COmachine-checkedscore 0
- Formalization of a curved three-dimensional simplex Hilbert transform
Polona Durcik, Marco Fraccaroli, Joris Roos
Palomar RegistrySource: github.comOct 21, 2026math.CAmachine-checkedscore 0
- Vinogradov's three primes theorem and almost all binary Goldbach, after Heath-Brown 1985, with the Siegel-Walfisz theorem
Steve Hubbard
Palomar RegistrySource: github.comOct 21, 2026math.NTmachine-checkedscore 0
- Two-scale Kakeya upper Minkowski lower bound
Mark Lewko
Palomar RegistrySource: github.comOct 21, 2026math.CAmachine-checkedscore 0
- Lovász's perfect graph theorems
Juan Pablo Traverso Gianini
Palomar RegistrySource: github.comOct 21, 2026math.COmachine-checkedscore 0
- Improved zero-density estimates for the Riemann zeta function
Mark Lewko
Palomar RegistrySource: github.comOct 21, 2026math.NTmachine-checkedscore 0
- The Nash–Williams triangle-decomposition theorem
Juan Pablo Traverso Gianini
Palomar RegistrySource: github.comOct 21, 2026math.COmachine-checkedscore 0
- Chemical heredity without genetic templates
Michael Mislan
Palomar RegistrySource: github.comOct 21, 2026math.PRmachine-checkedscore 0
- The Riemann hypothesis is equivalent to an asymptotic for the average number of Goldbach representations, after Granville 2007
Steve Hubbard
Palomar RegistrySource: github.comOct 21, 2026math.NTmachine-checkedscore 0
- Hermite's signature theorem and the coprime compositum, with the degree-12 compositum of x^3 - x - 1 and x^4 - x - 1
Stephanie Alexander
Palomar RegistrySource: github.comOct 21, 2026math.NTmachine-checkedscore 0
- Banach–Mazur determinacy for Baire-property targets
Arthur Freitas Ramos, David Barros Hulak, Ruy Jose Guerra Barretto de Queiroz
Palomar RegistrySource: github.comOct 21, 2026math.GNmachine-checkedscore 0
- RamanujanNestedRadicals: convergence and exact values of Ramanujan-type nested radicals
Artur Flamandzki
Palomar RegistrySource: github.comOct 21, 2026math.CAmachine-checkedscore 0
- Induced Erdős–Sauer: an n log log n bound
Matija Bucic, Fankang He, Hyunwoo Lee
Palomar RegistrySource: github.comOct 21, 2026math.COmachine-checkedscore 0
- Erdős #257: irrationality for every reciprocal-summable support and every integer base
Will Cook
Palomar RegistrySource: github.comOct 21, 2026math.NTmachine-checkedscore 0
- Erdős #269: exact three-prime running-LCM identity and infinite kernel rank
Will Cook
Palomar RegistrySource: github.comOct 21, 2026math.NTmachine-checkedscore 0
- Erdős problem #257: all base irrationality of the reciprocal Mersenne subseries for every infinite reciprocal summable support, with weighted mass and positive cover extensions, achievement set geometry, and exact greedy membership criteria
Will Cook
Palomar RegistrySource: github.comOct 21, 2026math.NTmachine-checkedscore 0
- All-base bases and integral relations for the totient kernel
Will Cook
Palomar RegistrySource: github.comOct 21, 2026math.NTmachine-checkedscore 0
- Kriz-Nordentoft non-vanishing for twists of elliptic curve L-series
David Loeffler
Palomar RegistrySource: github.comOct 21, 2026math.NTmachine-checkedscore 0
- Selected Sidon subset theorems of Ma–Tang (partial paper formalization)
AItoBit
Palomar RegistrySource: github.comOct 21, 2026math.COmachine-checkedscore 0
- Symplectic Stafford: the affine same-divisor theorem
Christopher Albert
Palomar RegistrySource: github.comOct 21, 2026math.RAmachine-checkedscore 0
- Lower and Upper Bounds for Glauber Dynamics from Typical States of the Low-Temperature Sherrington–Kirkpatrick Model
P. M. Aronow
Palomar RegistrySource: github.comOct 21, 2026math.PRmachine-checkedscore 0
- The Inverse Problem of Velocity Reconstruction from Flow-Induced Magnetic Fields: Stability and Uniqueness
Yacine Mokhtari
arXivSource: arxiv.orgOct 20, 2026math.APscore 0
- Linear Preservers of Semipositivity over Proper Cones
Yulong Tian, Jinli Xu
arXivSource: arxiv.orgOct 20, 2026math.FAscore 0
- Schauder estimates for quasilinear parabolic equations with general Orlicz growth
Carlo Alberto Antonini
arXivSource: arxiv.orgOct 20, 2026math.APscore 0
- First pair coalescence among three geodesics
Arjun Krishnan, Firas Rassoul-Agha, Timo Seppäläinen
arXivSource: arxiv.orgOct 20, 2026math.PRscore 0
- Braid spaces have no geodesic loops
Dmitri Panov, Anton Petrunin
arXivSource: arxiv.orgOct 20, 2026math.MGscore 0
- Quantum Variance for Hecke--Maass Cusp Forms on the Vertical Geodesic
Qingfeng Sun, Qizhi Zhang
arXivSource: arxiv.orgOct 20, 2026math.NTscore 0
- A first order phase transition for lower tails in sparse random graphs
Byron Chin
arXivSource: arxiv.orgOct 20, 2026math.PRscore 0
- Generic distinction of induced representations: the case of symmetric spaces
Pierre-Henri Chaudouard, Cheng Chen
arXivSource: arxiv.orgOct 20, 2026math.RTscore 0