- Arcs of Π(1+z^p): prime races, the Gaussian core, Dirichlet L-functions and a certified solver for Subset Sum
Antonio Mennillo
HexagonSource: hexagonmath.orgNov 4, 2026math.NTAI-generatedscore 0
- Turán's pure power sum problem: certified bounds for finite $n$ and $\limsup R_n\le 0.68637$
Vasileios Bakeas, Ricardo Pinho
HexagonSource: hexagonmath.orgNov 4, 2026math.NTAI-generatedscore 0
- Three-colour solutions from four-colour cubes
Jason Davies
HexagonSource: hexagonmath.orgNov 4, 2026math.COAI-generatedscore 0
- Serre modularity over real quadratic fields
Luis V. Dieulefait, Nuno Freitas, Ariel Pacetti
HexagonSource: hexagonmath.orgNov 4, 2026math.NTAI-generatedscore 0
- A sharper Type I/II estimate for primes in arithmetic progressions to smooth moduli, and H_m << e^{3.8043 m}
David Niedbala Giraudin
HexagonSource: hexagonmath.orgNov 4, 2026math.NTAI-generatedscore 0
- Torsion of elliptic curves over number fields of degree $6$, $7$, $8$ and $9$
Filip Najman
HexagonSource: hexagonmath.orgNov 4, 2026math.NTAI-generatedscore 0
- The p-adic valuations of the coefficients in Yang's expansion of (1+1/x)^x
David Niedbala Giraudin
HexagonSource: hexagonmath.orgNov 4, 2026math.NTAI-generatedscore 0
- The exact multiplicity of the Wilson supercongruence in F_q[t]
David Niedbala Giraudin
HexagonSource: hexagonmath.orgNov 4, 2026math.NTAI-generatedscore 0
- A congruence modulo p^2 for the p-th coefficient of e(1-z)^((1-z)/z)
David Niedbala Giraudin
HexagonSource: hexagonmath.orgNov 4, 2026math.NTAI-generatedscore 0
- GRAM OBSERVATIONS AND THETA-SERIES RECONSTRUCTION OF EUCLIDEAN LATTICES
Changxia Lin
HexagonSource: hexagonmath.orgNov 4, 2026math.NTscore 0
- Landau--Siegel zeros over varying number fields
Baiying Liu
HexagonSource: hexagonmath.orgNov 4, 2026math.NTAI-generatedscore 0
- Nonpolynomial Hall numbers for tame and wild algebras
Qiyue Tang
HexagonSource: hexagonmath.orgNov 4, 2026math.RTAI-generatedscore 0
- Selected character moments, zero-free half-planes for Hecke L-functions over number fields, and Quasi-Riemann Hypothesis
Baiying Liu
HexagonSource: hexagonmath.orgNov 4, 2026math.NTAI-generatedscore 0
- Class Numbers of Imaginary Quadratic Orders in the Polynomial Hierarchy
Frank Vega
HexagonSource: hexagonmath.orgNov 4, 2026cs.CCAI-generatedscore 0
- Uniform irreducibility and Galois groups of generalized Laguerre polynomials
Khai-Hoan Nguyen-Dang
HexagonSource: hexagonmath.orgNov 4, 2026math.GMAI-generatedscore 0
- Counting Eulerian circuits in subexponential time, assuming the new #SAT algorithms
Vaibhav Tulsyan
HexagonSource: hexagonmath.orgNov 4, 2026cs.DSAI-generatedscore 0
- Inertia and Elementary Theories of Hermitian Nilpotent Operators
Zhenyu Sun, Jilin Wang
HexagonSource: hexagonmath.orgNov 4, 2026math.LOscore 0
- Exact amplitudes of sparse quantum circuits in subexponential time, assuming the new #SAT algorithms
Vaibhav Tulsyan
HexagonSource: hexagonmath.orgNov 4, 2026quant-phAI-generatedscore 0
- Every $C_4$-free graph on $49$ vertices has a vertex of degree at most $6$
David Niedbala Giraudin
HexagonSource: hexagonmath.orgNov 4, 2026math.COAI-generatedscore 0
- REAL ZEROS OF L-FUNCTION DERIVATIVES: DENSITY-ONE ASYMPTOTICS IN ARITHMETIC FAMILIES
Yuhyun Han
HexagonSource: hexagonmath.orgNov 4, 2026math.NTAI-generatedscore 0
- Classical Extensions and Strongly Positive Realizations of Decoherent History Probabilities
Zhenyu Sun
HexagonSource: hexagonmath.orgNov 4, 2026quant-phscore 0
- A composite modulus and Frobenius digits in the Heilbronn triangle construction
David Niedbala Giraudin
HexagonSource: hexagonmath.orgNov 4, 2026math.COAI-generatedscore 0
- Fully ordinary subfamilies and the Fontaine--Mazur conjecture in the residually reducible mixed case
Luis Dieulefait
HexagonSource: hexagonmath.orgNov 4, 2026math.NTAI-generatedscore 0
- Nonconstant Congruence Speeds of Integer Tetration in Non-Squarefree Radices
Marco Ripà
HexagonSource: hexagonmath.orgNov 4, 2026math.NTAI-generatedscore 0
- HironakaLean: Hironaka's resolution of singularities (1964), formalized as written
Daattavya Aggarwal, Minhyong Kim, Oisin Kim
Palomar RegistrySource: github.comNov 4, 2026math.AGmachine-checkedscore 0
- Complete minors and average degree (Kostochka–Thomason)
Juan Pablo Traverso Gianini
Palomar RegistrySource: github.comNov 4, 2026math.COmachine-checkedscore 0
- Two-colour Zig-Zag Numberlink on rectangles
Z. Zzyzek (github: zzyzek)
Palomar RegistrySource: github.comNov 4, 2026cs.DMmachine-checkedscore 0
- FixedNumerator: the local step in extending a theorem on quartic Gauss sums over primes to a fixed numerator
Joseph S. Farland
Palomar RegistrySource: github.comNov 4, 2026math.NTmachine-checkedscore 0
- HironakaLean: Hironaka's resolution of singularities (1964), formalized as written
Daattavya Aggarwal, Minhyong Kim, Oisin Kim
Palomar RegistrySource: github.comNov 4, 2026math.AGmachine-checkedscore 0
- Schatten-class truncated Toeplitz operators
Patrick Lopatto
Palomar RegistrySource: github.comNov 4, 2026math.FAmachine-checkedscore 0
- The natural proofs barrier (Razborov and Rudich)
Z. Zzyzek (github: zzyzek)
Palomar RegistrySource: github.comNov 4, 2026cs.CCmachine-checkedscore 0
- A Schur 6-colouring of [1, 538]
Adam McKenna
Palomar RegistrySource: github.comNov 4, 2026math.COmachine-checkedscore 0
- Uniform attachment with freezing: local limits and geometric Bienaymé trees
Igor Kortchemski
Palomar RegistrySource: github.comNov 4, 2026math.PRmachine-checkedscore 0
- Overfullness of critical graphs with small minimum degree (Cao–Chen–Jing–Shan, variant)
Juan Pablo Traverso Gianini
Palomar RegistrySource: github.comNov 4, 2026math.COmachine-checkedscore 0
- OSreconstruction
Xi Yin, Michael R. Douglas, Anna Mei
Palomar RegistrySource: github.comNov 4, 2026math-phmachine-checkedscore 0
- Infinite cycles in the interchange process in five dimensions (Elboim-Sly), formalized in Lean 4
Scott Armstrong, Ahmed Bou-Rabee
Palomar RegistrySource: github.comNov 4, 2026math.PRmachine-checkedscore 0
- Resolution of Singularities of an Algebraic Variety Over a Field of Characteristic Zero
Daattavya Aggarwal, Minhyong Kim, Oisin Kim
Palomar RegistrySource: github.comNov 4, 2026math.AGmachine-checkedscore 0
- Existence of the q-colorability threshold for sparse random graphs
P. M. Aronow, Patrick Lopatto
Palomar RegistrySource: github.comNov 4, 2026math.COmachine-checkedscore 0
- Bicolouring Steiner triple systems (Colbourn–Dinitz–Rosa product, Dinitz–Stinson conditions)
Juan Pablo Traverso Gianini
Palomar RegistrySource: github.comNov 4, 2026math.COmachine-checkedscore 0
- Odd-ordered Cayley graphs satisfy Erdős–Gyárfás
Michael C. Burkhart
Palomar RegistrySource: github.comNov 4, 2026math.COmachine-checkedscore 0
- Universal bounds for decompositions of PL manifolds
Rustam Sadykov
arXivSource: arxiv.orgNov 3, 2026math.GTscore 0
- Anti-distinguishability of quantum channels
Ardra Ajitha Vijayan, Nidhin Sudarsanan Ragini
arXivSource: arxiv.orgNov 3, 2026quant-phscore 0
- D-equivalence conjecture for hyperkähler varieties of generalized Kummer type
Will Donovan, Chengxi Wang, Nantao Zhang
arXivSource: arxiv.orgNov 3, 2026math.AGscore 0
- Algorithmic Non-dimensionalisation of Polynomial Dynamical Systems with CRNNondim
Georgio Hawi, Martin Wechselberger
arXivSource: arxiv.orgNov 3, 2026math.DSscore 0
- Entanglement Allocation for Quantum Integrated Sensing and Communication
Shiva Kazemi Taskooh, Mehdi Monemi, Ekram Hossain, Georges Kaddoum, Mehdi Rasti
arXivSource: arxiv.orgNov 3, 2026quant-phscore 0
- Quantum identity authentication protocol via perturbed probability amplitudes
Xiangqun Fu, Zheng Han, Hongwei Li, Chun Zhou, Shuo Zhang, Jianhong Shi, Tan Li, Wansu Bao
arXivSource: arxiv.orgNov 3, 2026quant-phscore 0
- Global vector fields and the automorphism group of regular semisimple Hessenberg varieties
Mikiya Masuda, Takashi Sato, Haozhi Zeng
arXivSource: arxiv.orgNov 3, 2026math.AGscore 0
- Schrodinger group along the horocycles and Egorov's theorem on compact hyperbolic surfaces
Xiaolong Han
arXivSource: arxiv.orgNov 3, 2026math.SPscore 0
- Overdetermined boundary problems for maximal graphs
Mijia Lai
arXivSource: arxiv.orgNov 3, 2026math.APscore 0
- Feynman Propagators on Exponentially Decaying Perturbations of Stationary Spacetimes with Compact Cauchy Surface
Selim Amar
arXivSource: arxiv.orgNov 3, 2026math.APscore 0