- 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
- An $L^{5/6}$ bound for the periodic Kuramoto-Sivashinsky equation
Benjamin Ingimarson, Igor Kukavica, Qi Xu
arXivSource: arxiv.orgNov 3, 2026math.APscore 0
- Maps from the Dbar-data to the derivative NLS potentials
Junyi Zhu, Xueru Wang, Huan Liu
arXivSource: arxiv.orgNov 3, 2026math.APscore 0
- Infinite-Horizon Stochastic Recursive Differential Games with Jumps: Nonautonomous Coefficients and Nonzero Terminal Values
Sheng Luo, Qingmeng Wei, Yaxin Wen
arXivSource: arxiv.orgNov 3, 2026math.OCscore 0
- Admissible extremal rays and the anticanonical minimal model program
Sung Rak Choi, Sungwook Jang, Dae-Won Lee
arXivSource: arxiv.orgNov 3, 2026math.AGscore 0
- On the Role of Geometry in Solving Variational Inequalities
Ioannis Anagnostides, Ioannis Panageas, Jingming Yan
arXivSource: arxiv.orgNov 3, 2026cs.CCscore 0
- A Bubble Compactification of KSBA Moduli Space of Surfaces of General Type
Yunfeng Jiang
arXivSource: arxiv.orgNov 3, 2026math.AGscore 0
- Nonparametric GARCH: An Iterated Neural Estimator
Ruizhi Deng, Guohao Shen, Ngai Hang Chan
arXivSource: arxiv.orgNov 3, 2026stat.MLscore 0
- Biharmonic submanifolds in nonpositive space forms
Yu Fu, Min-chun Hong, Dan Yang
arXivSource: arxiv.orgNov 3, 2026math.DGscore 0
- Categorical and Floer-theoretic entropies: comparison and counting conjugacy classes in symplectic mapping class groups
Sangjin Lee
arXivSource: arxiv.orgNov 3, 2026math.SGscore 0
- The Arc Threshold of the Two-Row Ising Torus: Exact Factorization, an Algebraic Critical Coupling, Uniformity in the Circumference, and the Rate of Convergence
Marco Mandap
arXivSource: arxiv.orgNov 3, 2026math.PRscore 0
- Higher zeroes in pointed infinity-categories
Thomas Rush Brown
arXivSource: arxiv.orgNov 3, 2026math.CTscore 0
- Descending Everest, Part II: Oracle Complexity of Minimizing a Sum of Convex $(L_0,L_1)$-Smooth Functions
Mikhail Rudomanov, Ivan Fomin, Alexander V. Gasnikov, Fedor S. Stonyakin
arXivSource: arxiv.orgNov 3, 2026math.OCscore 0
- Friedman--Stanley cofinality without Borel completeness
Ruijun Wang
arXivSource: arxiv.orgNov 3, 2026math.LOscore 0
- Poisson area and non-tangential maximal functions on manifolds with ends and applications
Peng Chen, Ji Li, Lixin Yan
arXivSource: arxiv.orgNov 3, 2026math.CAscore 0
- Ramanujan-type congruences for the smallest parts function
Larry Rolen
arXivSource: arxiv.orgNov 3, 2026math.NTscore 0
- Hardware-Efficient Reinforcement-Learned Scheduling for Quantum LDPC Decoders
Mohsen Moradi, Vahid Nourozi, Wei Tang, David Mitchell
arXivSource: arxiv.orgNov 3, 2026cs.ITscore 0
- Short permutation pattern waves: The complete length-five classification
Lihong Qiu, Minglei Mao, Yaping Mao
arXivSource: arxiv.orgNov 3, 2026math.COscore 0
- Convergence analysis of TriCG and TriMR for symmetric quasi-definite linear systems
Kui Du, Jia-Jun Fan
arXivSource: arxiv.orgNov 3, 2026math.NAscore 0
- Quadratic Hubbard trees, automata, and ray connections
Eduardo Ventilari Sodré
arXivSource: arxiv.orgNov 3, 2026math.DSscore 0
- A transition calculus for 0-pseudodifferential operators with applications to gas giant geometry
Andy Yin
arXivSource: arxiv.orgNov 3, 2026math.APscore 0
- Initialization-controlled fault sensitivity and force-balance plateaus in noisy variational quantum optimization
Longhui Shen, Fangzhou Jin, Bin Guo
arXivSource: arxiv.orgNov 3, 2026quant-phscore 0
- The Characteristic Initial Value Problem for the 3D Compressible Euler Equations
Jared Speck, Sifan Yu
arXivSource: arxiv.orgNov 3, 2026math.APscore 0
- Optimal Subsidy Design for Productive Investment across Markets
Alexandros Pavlis
arXivSource: arxiv.orgNov 3, 2026math.OCscore 0