- 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
- Bounded conjunction and proper-basis algorithms
Idris Ali Shaik
Palomar RegistrySource: github.comOct 21, 2026cs.CCmachine-checkedscore 0
- RamanujanNestedRadicals: convergence and exact values of Ramanujan-type nested radicals
Artur Flamandzki
Palomar RegistrySource: github.comOct 21, 2026math.CAmachine-checkedscore 0
- Ordinary resolution for native encodings and observation wrappers
Idris Ali Shaik
Palomar RegistrySource: github.comOct 21, 2026cs.CCmachine-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
- How Claude designed protein binders against scorpion neurotoxins
Anthropic
Anthropic ScienceSource: anthropic.comOct 20, 2026q-bio.BMscore 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
- Quantum algorithm for high-dimensional nonlinear stochastic differential equations based on Carleman linearization
Koichi Miyamoto
arXivSource: arxiv.orgOct 20, 2026quant-phscore 0
- Pfaffian solutions to the Ernst equation
Arsen Melikyan, Aleksandr Pinzul
arXivSource: arxiv.orgOct 20, 2026hep-thscore 0
- Schauder estimates for quasilinear parabolic equations with general Orlicz growth
Carlo Alberto Antonini
arXivSource: arxiv.orgOct 20, 2026math.APscore 0
- Field demonstration of a self-contained 10 km mobile-to-ground quantum network node via common-aperture co-propagation
Dongkyu Kim, Dong-Gil Im, Kyungdeuk Park, Jisu Kim, Jonguk Choi, Yonggi Jo, Yong Sup Ihn
arXivSource: arxiv.orgOct 20, 2026quant-phscore 0
- First pair coalescence among three geodesics
Arjun Krishnan, Firas Rassoul-Agha, Timo Seppäläinen
arXivSource: arxiv.orgOct 20, 2026math.PRscore 0
- Beyond exponential tilting: sharp asymptotics and improved importance sampling for rare events
Mingxin Li, Hans Reimann, Timo Schorlepp, Georg Stadler
arXivSource: arxiv.orgOct 20, 2026stat.COscore 0
- Steering of topological criticality in the Su-Schrieffer-Heeger chain via non-Hermitian substitutional impurities
Juan A. Cañas, Guo-Qing Zhang, A. Martín-Ruiz
arXivSource: arxiv.orgOct 20, 2026cond-mat.mes-hallscore 0
- Braid spaces have no geodesic loops
Dmitri Panov, Anton Petrunin
arXivSource: arxiv.orgOct 20, 2026math.MGscore 0
- Geometry-informed importance sampling for rare events
Qinyi Wang, Anya Katsevich, Shanyin Tong
arXivSource: arxiv.orgOct 20, 2026stat.COscore 0
- Theoretical Foundations of Sequential Dynamic Programming
Alan Lujan
arXivSource: arxiv.orgOct 20, 2026econ.THscore 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
- Systematic Truncated Wigner Approximation for Open Spin Systems Reveals Long-Range Order Far from Equilibrium
Igor Timofeev, Dawid A. Hryniuk, Marzena H. Szymańska
arXivSource: arxiv.orgOct 20, 2026quant-phscore 0
- The Finite Basis Problem for Multiplicatively Idempotent Semirings
Aifa Wang, Lili Wang
arXivSource: arxiv.orgOct 20, 2026math.RAscore 0
- Engineering \(XY\) and \(ZZ\) interactions between two remote superconducting qubits via a multimode waveguide
Da-Wei Wang, Yu-xi Liu
arXivSource: arxiv.orgOct 20, 2026quant-phscore 0
- Triviality of $K$-homology classes of Euler characteristic operators of stratified pseudomanifolds
Mohammadali Aligholi
arXivSource: arxiv.orgOct 20, 2026math.DGscore 0
- Hyperwellfoundedness and Eventual Domination
Atticus Cull, Felix Weilacher
arXivSource: arxiv.orgOct 20, 2026math.LOscore 0
- A Solution to the Kohayakawa-Prömel-Rödl Conjecture
Chuang Zhong, Masaki Kashima, Yaping Mao
arXivSource: arxiv.orgOct 20, 2026math.COscore 0
- Bowen--Franks groups and minus class groups of imaginary abelian fields
Takuya Murakami
arXivSource: arxiv.orgOct 20, 2026math.NTscore 0
- The Spectrum of the Discrete Mathieu Operator with Nonreal Coupling
Frédéric Klopp, Izak Oltman
arXivSource: arxiv.orgOct 20, 2026math.SPscore 0
- Lie algebras in symmetric tensor categories
Iván Angiono, Agustina Czenky, Pavel Etingof, Victor Ostrik, Julia Plavnik, Guillermo Sanmarco
arXivSource: arxiv.orgOct 20, 2026math.RTscore 0