- Erdős 1007, dimension five: fifteen edges, attained by K6 and K1,3,3
Dishant Shah
Palomar RegistrySource: github.comSep 25, 2026math.COmachine-checkedscore 0
- Classical Seifert–van Kampen theorem for the fundamental groupoid
Arthur Freitas Ramos
Palomar RegistrySource: github.comSep 25, 2026math.ATmachine-checkedscore 0
- A left PCI left V-domain that is not right PCI and not a right V-domain
Vlad Tsyrklevich
Palomar RegistrySource: github.comSep 25, 2026math.RAmachine-checkedscore 0
- Dimension-independent Hlawka constants for Schatten norms
Ezzeri Esa
Palomar RegistrySource: github.comSep 25, 2026math.FAmachine-checkedscore 0
- lean-LCS: locally convex spaces, duality, and closed graph theorems in Lean 4
Bastiaan J. Braams
Palomar RegistrySource: github.comSep 25, 2026math.FAmachine-checkedscore 0
- Shapley value axiomatic characterization
Arthur Freitas Ramos
Palomar RegistrySource: github.comSep 25, 2026math.LOmachine-checkedscore 0
- Weighted support criteria for reciprocal Mersenne subseries
Will Cook
Palomar RegistrySource: github.comSep 25, 2026math.NTmachine-checkedscore 0
- Tree stacking equals the Csernák--Soukup estimator on nontrivial finite trees
John Fairfax-Ball
Palomar RegistrySource: github.comSep 25, 2026math.COmachine-checkedscore 0
- Nonnegativity cutoffs for level-one modular forms
Paul Jenkins
Palomar RegistrySource: github.comSep 25, 2026math.NTmachine-checkedscore 0
- An exact counterexample to the D-unstable-core conjecture for parameter-rich reaction networks
Michael Mislan
Palomar RegistrySource: github.comSep 25, 2026math.DSmachine-checkedscore 0
- Nash bargaining solution axiomatic characterization
Arthur Freitas Ramos
Palomar RegistrySource: github.comSep 25, 2026math.LOmachine-checkedscore 0
- Sunflower bounds
Troy Lee
Palomar RegistrySource: github.comSep 25, 2026math.COmachine-checkedscore 0
- Formalization of Scott's Measurement Structures and Linear Inequalities in Lean 4
Lars Warren Ericson, Dana S. Scott, Vijay D'Silva, Brian Milnes
Palomar RegistrySource: github.comSep 25, 2026cs.LOmachine-checkedscore 0
- HighContrastHomogenization
Scott Armstrong, Tuomo Kuusi, Amélie Loher
Palomar RegistrySource: github.comSep 25, 2026math.APmachine-checkedscore 0
- Pascal Minus-One GCD
John Fairfax-Ball
Palomar RegistrySource: github.comSep 25, 2026math.NTmachine-checkedscore 0
- Irrationality of the Riemann zeta value at five
Azriel Fasten
Palomar RegistrySource: github.comSep 25, 2026math.NTmachine-checkedscore 0
- Unistationarity of Type II_l autocatalytic cores with positive degradation
Michael Mislan
Palomar RegistrySource: github.comSep 25, 2026math.DSmachine-checkedscore 0
- Attainment of 2n-1 positive steady states in sequential distributive phosphorylation
Michael Mislan
Palomar RegistrySource: github.comSep 25, 2026math.DSmachine-checkedscore 0
- Linear-size autocatalytic sets are asymptotically absent in the sparse binary polymer model
Michael Mislan
Palomar RegistrySource: github.comSep 25, 2026math.PRmachine-checkedscore 0
- Heights, Siegel's lemma, Roth's theorem and the Subspace Theorems in Lean
Ralf Stephan
Palomar RegistrySource: github.comSep 25, 2026math.NTmachine-checkedscore 0
- At least one of the 2-adic zeta values ζ₂(7), ζ₂(9), ζ₂(11) is irrational
Gennaro Marco Devincenzis
Palomar RegistrySource: github.comSep 25, 2026math.NTmachine-checkedscore 0
- Arrow's impossibility theorem (general finite version)
Arthur Freitas Ramos
Palomar RegistrySource: github.comSep 25, 2026math.LOmachine-checkedscore 0
- Same-ground RAF realizability of finite interior operators and the four-reaction threshold for the empty-or-at-least-three family
Michael Mislan
Palomar RegistrySource: github.comSep 25, 2026math.COmachine-checkedscore 0
- At least one of the 2-adic zeta values ζ₂(7), ζ₂(9) is irrational
Gennaro Marco Devincenzis
Palomar RegistrySource: github.comSep 25, 2026math.NTmachine-checkedscore 0
- MAF composition criteria, exact enumeration of child-selection autocatalytic cores, and degradation regions of linear diluted source networks
Michael Mislan
Palomar RegistrySource: github.comSep 25, 2026q-bio.MNmachine-checkedscore 0
- Gibbard-Satterthwaite theorem (strategy-proof social choice)
Arthur Freitas Ramos
Palomar RegistrySource: github.comSep 25, 2026math.LOmachine-checkedscore 0
- Bondal--Orlov reconstruction for tame stacks with trivial generic stabilizer
Daigo Ito, Noah Olander
arXivSource: arxiv.orgSep 24, 2026math.AGscore 0
- Computations of Cohomology of Arithmetic Groups, Part 1
Ivan Horozov
arXivSource: arxiv.orgSep 24, 2026math.NTscore 0
- Concentration of bounded sparse chaoses and sparse Khatri-Rao embeddings
Guozheng Dai, Yiyun He, Ke Wang, Yizhe Zhu
arXivSource: arxiv.orgSep 24, 2026math.PRscore 0
- Neumann eigenvalues of isosceles triangles: monotonicity and asymptotics
Guowei Dai, Yingxin Sun, Yong Zhang
arXivSource: arxiv.orgSep 24, 2026math.SPscore 0
- Reconfigurable Bus-based Quantum Router for Modular Superconducting Processors
Benzheng Yuan, chaojie Zhang, Yangyang Fei, Chuanbing Han, Haoran He, Huihui Sun, Bo Zhao, Fudong Liu
arXivSource: arxiv.orgSep 24, 2026quant-phscore 0
- Efficient Record-and-Replay Arithmetic for Quantum Elliptic-Curve Point Addition
Jieyi Long, Theodore Pender, Zhao Huang, Manuel B. Santos, Samrendra Kumar Singh, Bartosz Naskręcki, BitWonka, Pierre-Luc Dallaire-Demers
arXivSource: arxiv.orgSep 24, 2026quant-phscore 0
- Learned-projector QAOA for hierarchical optimization
Kangyun Zhou, Dong An, Jin-Peng Liu
arXivSource: arxiv.orgSep 24, 2026quant-phscore 0
- Trident Tableaux for Tree-Child Networks with One Reticulation Node: A Bijection with Two-Wall Tableaux
Hexuan Liu
arXivSource: arxiv.orgSep 24, 2026math.COscore 0
- Yes, $(2K_2, K_4)$-free graphs are recolorable
Henry Echeverría, Owen Henderschedt
arXivSource: arxiv.orgSep 24, 2026math.COscore 0
- Characterization and Active Control of Position-Dependent Timing Dynamics in Superconducting Strip Single-Photon Detectors
Sahil R. Patel, Kristen M. Parzuchowski, Eli Mueller, Boris Korzh, Emanuel Knehr, Adam N. McCaughan, Martin J. Stevens, Matthew D. Shaw
arXivSource: arxiv.orgSep 24, 2026physics.ins-detscore 0
- Ramsey Theory for Product Trees
Alexander Fish, Sean Skinner
arXivSource: arxiv.orgSep 24, 2026math.COscore 0
- A Quantum Circuit for Gaussian Elimination
Hochang Lee, Kyung Chul Jeong, Panjin Kim
arXivSource: arxiv.orgSep 24, 2026quant-phscore 0
- On Fast-Slow Mean-Field Forward-Backward Stochastic Systems
Yihao Sheng, Fuke Wu, George Yin
arXivSource: arxiv.orgSep 24, 2026math.OCscore 0
- On the degenerate Weyl problem on isometric immersions
Siran Li, Xiangxiang Su
arXivSource: arxiv.orgSep 24, 2026math.DGscore 0
- On symplectic aspects of $SU(2)$ character varieties for punctured surfaces
Aliakbar Daemi, Christopher Scaduto
arXivSource: arxiv.orgSep 24, 2026math.GTscore 0
- Squaring Up by Selection: NP-Completeness at Three Simple Roots
Oren Bassik
arXivSource: arxiv.orgSep 24, 2026math.AGscore 0
- Dense pentacene cocrystal demonstrates room-temperature coherent control
Noella D'Souza, Guangzhao Chen, Madhur Parashar, Wern Ng, Brandon Wallace, Tatiana Lindahl, Tanner S. Volek, Lam Lam
arXivSource: arxiv.orgSep 24, 2026quant-phscore 0
- Asymmetric L-space knots with arbitrary braid index
Keisuke Himeno, Masakazu Teragaito
arXivSource: arxiv.orgSep 24, 2026math.GTscore 0
- Intrinsic Hilbert metrics on cones of equivalent norms
Juan Rafael Acosta-Portilla
arXivSource: arxiv.orgSep 24, 2026math.FAscore 0
- Constant mean curvature disks with circular boundary
Davi Maximo, Ivaldo Nunes
arXivSource: arxiv.orgSep 24, 2026math.DGscore 0
- Null Controllability of a Stochastic Parabolic Equation with a Space-Dependent Analytic Noise Coefficient
Qi Lü, Yu Wang
arXivSource: arxiv.orgSep 24, 2026math.OCscore 0
- Schwarz-contractivity of the Poisson operator
Leonid V. Kovalev
arXivSource: arxiv.orgSep 24, 2026math.CVscore 0
- A Strong Global Torelli theorem for OG6 type varieties
Yun Ling
arXivSource: arxiv.orgSep 24, 2026math.AGscore 0
- Pro-$\mathbf H_p$ density in the free group of rank two: a Frobenian criterion on the mod-$p$ torus
Jianchun Wu
arXivSource: arxiv.orgSep 24, 2026math.GRscore 0