- Functional limit theorems for weighted occupation times of supercritical superprocesses
Ting Yang
arXivSource: arxiv.orgOct 2, 2026math.PRscore 0
- Sharp Antipode-Neighbor Bounds in Every Dimension
Samuel Korsky
arXivSource: arxiv.orgOct 2, 2026math.MGscore 0
- An Exponent of 1.043 for the Unit Distance Problem
Eric Naslund
HexagonSource: hexagonmath.orgOct 2, 2026math.COAI-generatedLeanscore 0
- On the ternary pentagonal numbers conjecture
Glenn Bruda
HexagonSource: hexagonmath.orgOct 2, 2026math.NTscore 0
- Linnik's constant is at most $3.99$
Eric Naslund
HexagonSource: hexagonmath.orgOct 2, 2026math.NTAI-generatedLeanscore 0
- The Negative Spherical Perceptron: Capacity, Isostatic Jamming, and Full Replica Symmetry Breaking
P. M. Aronow, Patrick Lopatto
HexagonSource: hexagonmath.orgOct 2, 2026math.PRAI-generatedscore 0
- A Fourier Consequence for Lattice Kissing Numbers and Average Contacts
Scott Kominers
HexagonSource: hexagonmath.orgOct 2, 2026math.MGAI-generatedscore 0
- An Upper Bound of 9/4 for the Matrix Multiplication Exponent
OpenAI
OpenAI MathSource: github.comOct 2, 2026cs.CCAI-generatedLeanscore 0 · 🔥 13 posts
- On Graham's rearrangement conjecture (Pham–Sauermann)
The-Anh Vu-Le
Palomar RegistrySource: github.comOct 2, 2026math.COmachine-checkedscore 0
- Optimal packings of one to seven unit squares in a disk
The-Anh Vu-Le
Palomar RegistrySource: github.comOct 2, 2026math.MGmachine-checkedscore 0
- Cremer-McLean Full Surplus Extraction Theorem
Arthur Freitas Ramos, David Barros Hulak, Ruy Jose Guerra Barretto de Queiroz
Palomar RegistrySource: github.comOct 2, 2026econ.THmachine-checkedscore 0
- The Herzog–Schönheim conjecture for solvable groups
Murali Menon
Palomar RegistrySource: github.comOct 2, 2026math.GRmachine-checkedscore 0
- maskin-nash-implementation-lean
Arthur Freitas Ramos, David Barros Hulak, Ruy Jose Guerra Barretto de Queiroz
Palomar RegistrySource: github.comOct 2, 2026cs.GTmachine-checkedscore 0
- agv-mechanism-lean
Arthur Freitas Ramos, David Barros Hulak, Ruy Jose Guerra Barretto de Queiroz
Palomar RegistrySource: github.comOct 2, 2026cs.GTmachine-checkedscore 0
- Finite Bayes Correlated Equilibrium, Information Expansions and Information Order
Arthur Freitas Ramos, David Barros Hulak, Ruy Jose Guerra Barretto de Queiroz
Palomar RegistrySource: github.comOct 2, 2026econ.THmachine-checkedscore 0
- Anomalous diffusion by fractal homogenization
Scott Armstrong, Vlad Vicol
Palomar RegistrySource: github.comOct 2, 2026math.APmachine-checkedscore 0
- Finite Bayesian-to-Dominant-Strategy Equivalence
Arthur Freitas Ramos, David Barros Hulak, Ruy Jose Guerra Barretto de Queiroz
Palomar RegistrySource: github.comOct 2, 2026econ.THmachine-checkedscore 0
- Critical-window emergence of autocatalytic sets under reaction-channel quotienting
Michael Mislan
Palomar RegistrySource: github.comOct 2, 2026math.PRmachine-checkedscore 0
- NP-completeness of SAT, 3-SAT and their variants (the Cook–Levin theorem) in Lean 4
Robert D. Barish
Palomar RegistrySource: github.comOct 2, 2026cs.CCmachine-checkedscore 0
- Pascal Cofactors
John Fairfax-Ball
Palomar RegistrySource: github.comOct 2, 2026math.NTmachine-checkedscore 0
- Claude-shaped science
Anthropic
Anthropic ScienceSource: anthropic.comOct 1, 2026hep-thscore 0
- Complexity study of the Hartle-Hawking state in JT gravity
Ritam Basu
arXivSource: arxiv.orgOct 1, 2026hep-thscore 0
- Beyond IP = PSPACE and QIP = PSPACE: Interactive Proofs in Arbitrary Physical Theories
Kishor Bharti
arXivSource: arxiv.orgOct 1, 2026quant-phscore 0
- Square-to-Cube Lindelöfness and Power Separations in Hattori Spaces
Xing-Yu Hu
arXivSource: arxiv.orgOct 1, 2026math.GNscore 0
- Transcendence of dendric beta-expansions with pure discrete spectrum
Jihyuk Seo, Wolfgang Steiner
arXivSource: arxiv.orgOct 1, 2026math.NTscore 0
- From Steane to A7: Quantum Codes from Invariant States
Ian Teixeira
arXivSource: arxiv.orgOct 1, 2026quant-phscore 0
- A Quantum Phase Neural Network with Multi-Inputs/Single-Output
Shuang Cong, Jinmin Yang, Sajede Harraz
arXivSource: arxiv.orgOct 1, 2026quant-phscore 0
- Endpoint Mapping Properties of Wave Operators for Schrödinger Operators in Dimensions $n\ge3$
Han Cheng, Changxing Miao, Xiaohua Yao
arXivSource: arxiv.orgOct 1, 2026math.APscore 0
- Uniqueness and nonuniqueness in the disjoint data inverse problem: a sharp spectral threshold
Lauri Ylinen
arXivSource: arxiv.orgOct 1, 2026math.APscore 0
- Beyond odd characteristic: Faster isomorphism testing of 2-groups of Frattini class 2
Joshua A. Grochow, Gábor Ivanyos, Youming Qiao, Xiaorui Sun
arXivSource: arxiv.orgOct 1, 2026cs.DSscore 0
- The least signless Laplacian eigenvalue of $\{C_3,C_5\}$-free graphs
Qi Zhou
arXivSource: arxiv.orgOct 1, 2026math.COscore 0
- On spectrum of the harmonic Kronig-Penney model
J. Gibbons, A. P. Veselov
arXivSource: arxiv.orgOct 1, 2026math-phscore 0
- Fair Duels after a False Start
Tanya Khovanova, Tejo Madhavarapu
arXivSource: arxiv.orgOct 1, 2026math.COscore 0
- Uncertainty Quantification for Landweber Iteration with Randomized Normal-Operator Approximation
Anuj Abhishek, Sean Holman
arXivSource: arxiv.orgOct 1, 2026math.NAscore 0
- On the Bryant conjecture for minimal hypersurfaces in $S^4$
Chao Qian, Ya Tao
arXivSource: arxiv.orgOct 1, 2026math.DGscore 0
- A Gate-Based Quantum Computing Framework for Codon Optimization
Fatemeh Ghasemi, Kion Kim
arXivSource: arxiv.orgOct 1, 2026quant-phscore 0
- Powers in orbits and semigroups generated by polynomials
Alina Ostafe, Dat T. Tran
arXivSource: arxiv.orgOct 1, 2026math.NTscore 0
- Convergence of stationary distributions for a class of zero-range processes and its application to a wealth distribution model with debt
Hironobu Sakagawa
arXivSource: arxiv.orgOct 1, 2026math.PRscore 0
- Mean field games as a tool for AI safety: a worked example from the July 2026 Hugging Face incident
P. Jameson Graber
arXivSource: arxiv.orgOct 1, 2026math.OCscore 0
- Continuity of pluricomplex Green functions with hypersurface poles on certain B-regular domains
Huy Hoang Dao, Quang Dieu Nguyen, Duc Hieu Tran
arXivSource: arxiv.orgOct 1, 2026math.CVscore 0
- OR for AI That Does OR: Routing LLMs up the Escalator inside the OSCAR Framework
Jinzhi Bu, Haixin Tang, Huanan Zhang
arXivSource: arxiv.orgOct 1, 2026cs.AIscore 0
- Complex Dirichlet problem with unbounded boundary values
Huy Hoang Dao, Quang Dieu Nguyen
arXivSource: arxiv.orgOct 1, 2026math.CVscore 0
- Construction of parametrized families of general pseudo-bimagic and bimagic squares
Ajai Choudhry
arXivSource: arxiv.orgOct 1, 2026math.NTscore 0
- Towards Strongly Aperiodic Monotiles in Higher Dimensions
Dmitry Kamenetsky
arXivSource: arxiv.orgOct 1, 2026math.MGscore 0
- Telecom-Band Optical Transitions of Erbium Atoms in Rare-Gas Solids
Evgenii Zaitsev, Alec Dinerstein, Shan Zou, Charles Peretti, Yutian Wen, Wei Guo, Gregory V. Hartland, Yizhong Huang
arXivSource: arxiv.orgOct 1, 2026quant-phscore 0
- The threshold for fractional clique decompositions of random hypergraphs, via matrix scaling
Tuan Tran
arXivSource: arxiv.orgOct 1, 2026math.COscore 0
- A Deferred Correction, Continuous Galerkin Method for Curvilinear Staggered-Grid Lagrangian Hydrodynamics
Steven Walton, Svetlana Tokareva, Nathaniel Morgan
arXivSource: arxiv.orgOct 1, 2026math.NAscore 0
- A Note on Narrow Systems
William Adkisson
arXivSource: arxiv.orgOct 1, 2026math.LOscore 0
- Endomorphism algebras of Gorenstein-projective modules over string algebras
Yu-Zhe Liu, Zheng Xin
arXivSource: arxiv.orgOct 1, 2026math.RTscore 0
- A zero-one law for swap-invariant events in uniform spanning forests
Xinyi Li, Yao Yu
arXivSource: arxiv.orgOct 1, 2026math.PRscore 0