- Zero-Sum Quartet Incidence and Sharp Maximal-Independent-Set Witnesses on Eight Vertices
John Fairfax-Ball
Palomar RegistryOct 28, 2026math.COmachine-checkedscore 0
- CONDITIONAL on Perelli-Pintz-Salerno 1984 and Perelli-Pintz 1993: Halupczok's ternary Goldbach mean value theorem with primes in progressions and short intervals, repaired
Steve Hubbard
Palomar RegistryOct 28, 2026math.NTmachine-checkedscore 0
- Pettis automatic continuity for Baire-to-separable topological groups
Arthur Freitas Ramos, David Barros Hulak, Ruy Jose Guerra Barretto de Queiroz
Palomar RegistryOct 28, 2026math.GNmachine-checkedscore 0
- Baire-measurable regularization on comeagre G-delta subspaces
Arthur Freitas Ramos, David Barros Hulak, Ruy Jose Guerra Barretto de Queiroz
Palomar RegistryOct 28, 2026math.GNmachine-checkedscore 0
- CHSH bounds for contractions by dilation: Tsirelson's bound, the classical bound under a commuting party, and the necessity of noncommutativity
Stephanie Alexander
Palomar RegistryOct 28, 2026quant-phmachine-checkedscore 0
- A proof of the spectral isometry conjecture for C*-algebras
Matthew J. Colbrook, George Stepaniants
Palomar RegistryOct 28, 2026math.OAmachine-checkedscore 0
- Generic ergodicity and non-smoothness of E₀
Arthur Freitas Ramos, David Barros Hulak, Ruy Jose Guerra Barretto de Queiroz
Palomar RegistryOct 28, 2026math.LOmachine-checkedscore 0
- Furstenberg weak mixing and finite diagonal powers
Arthur Freitas Ramos, David Barros Hulak, Ruy Jose Guerra Barretto de Queiroz
Palomar RegistryOct 28, 2026math.DSmachine-checkedscore 0
- Chang's theorem
Gabriel Dahia
Palomar RegistryOct 27, 2026math.COmachine-checkedscore 0
- A smaller upper bound for superpermutations
Jay Pantone
Palomar RegistryOct 27, 2026math.COmachine-checkedscore 0
- Slow Equilibration and Persistent Stationary Correlations in Spherical Spin Glasses
P. M. Aronow
Palomar RegistryOct 27, 2026math.PRmachine-checkedscore 0
- A proof of Kroó’s conjecture
Matthew J. Colbrook
Palomar RegistryOct 27, 2026math.CAmachine-checkedscore 0
- Chain returns and lower bounds for superpermutations
Jay Pantone
Palomar RegistryOct 27, 2026math.COmachine-checkedscore 0
- Proofs and corrections of OEIS conjectures
Dev D. Goyal
Palomar RegistryOct 27, 2026math.NTmachine-checkedscore 0
- Nearly linear directed cycles in vertex-transitive digraphs
Abhishek Methuku
Palomar RegistryOct 27, 2026math.COmachine-checkedscore 0
- A density version of the binary Goldbach problem, after Alsetri and Shao
Steve Hubbard
Palomar RegistryOct 27, 2026math.NTmachine-checkedscore 0
- The optimal Hessian bound for convex four-body central configurations
Tejasvi Singh Tomar
Palomar RegistryOct 27, 2026math.DSmachine-checkedscore 0
- Unique-Continuation-Planar
Ahmed Bou-Rabee
Palomar RegistryOct 27, 2026math.PRmachine-checkedscore 0
- ORRW-Lower-Bound
Ahmed Bou-Rabee
Palomar RegistryOct 27, 2026math.PRmachine-checkedscore 0
- Dynamic dimensional reduction in the Abelian sandpile
Ahmed Bou-Rabee
Palomar RegistryOct 27, 2026math.PRmachine-checkedscore 0
- Discontinuity of stochastic convolutions
Joris van Winden
Palomar RegistryOct 27, 2026math.PRmachine-checkedscore 0
- Regularity structures and dynamical Phi^4_3
Scott Armstrong
Palomar RegistryOct 27, 2026math.PRmachine-checkedscore 0
- Random walk on sphere packings and Delaunay triangulations in arbitrary dimension
Ahmed Bou-Rabee
Palomar RegistryOct 27, 2026math.PRmachine-checkedscore 0
- Independent sets in hypergraphs with no loose triangle
Abhishek Methuku
Palomar RegistryOct 27, 2026math.COmachine-checkedscore 0
- Bounds for the iteration x ↦ a mod x
Jason Davies
Palomar RegistryOct 27, 2026math.NTmachine-checkedscore 0
- BandParity: the band-parity sum of a quartic character, two laws modulo 4
Joseph S. Farland
Palomar RegistryOct 27, 2026math.NTmachine-checkedscore 0
- Algebraic E1 degeneration from explicit d′d″ identities
Arthur Freitas Ramos, Ruy Jose Guerra Barretto de Queiroz, David Barros Hulak
Palomar RegistryOct 27, 2026math.ATmachine-checkedscore 0
- Erdős Problem 699: every counterexample has n ≤ j²
Paul Lee
Palomar RegistryOct 27, 2026math.NTmachine-checkedscore 0
- A Cauchy-Schwarz inequality for real powers: proof, equality cases and weighted forms
Pragyaan Gaur
Palomar RegistryOct 27, 2026math.FAmachine-checkedscore 0
- Kurz's conjecture on the maximum area of the convex hull of a polyhex
Pragyaan Gaur
Palomar RegistryOct 27, 2026math.COmachine-checkedscore 0
- The critical Almost Stacked Hypothesis fails on a nine-vertex graph
John Fairfax-Ball
Palomar RegistryOct 27, 2026math.COmachine-checkedscore 0
- The Number of Polytope Trees and Beyond — Lean 4 formalization
Ali Aliev
Palomar RegistryOct 27, 2026math.COmachine-checkedscore 0
- The Art Gallery Problem is ∃ℝ-complete: point-point, boundary-point and point-boundary variants, in Lean 4
Robert D. Barish
Palomar RegistryOct 27, 2026cs.CGmachine-checkedscore 0
- birthday-paradox-non-backtracking-regular-graphs
Benjamin Dozier
Palomar RegistryOct 27, 2026math.COmachine-checkedscore 0
- Weak and strong βη-normalization in pure type systems with βη-conversion
Ankit Pradhan, Cole Vick, Ruijie Fang, Carl Kwan
Palomar RegistryOct 27, 2026cs.LOmachine-checkedscore 0
- Perron's extremal solutions of the Bernoulli one-phase problem: viscosity, inner variational and one-sided minimizing solutions, and free boundary structure in the plane
William M. Feldman
Palomar RegistryOct 27, 2026math.APmachine-checkedscore 0
- Strictly Convex Steklov-Isospectral Plane Domains
taohu-hub, RGConj, QuanyuTang
Palomar RegistryOct 27, 2026math.SPmachine-checkedscore 0
- Finite uniform Bernoulli shifts with unequal base entropy
Peter Burton
Palomar RegistryOct 27, 2026math.DSmachine-checkedscore 0
- Regular subgraphs of almost regular graphs (Alon–Friedland–Kalai)
Juan Pablo Traverso Gianini
Palomar RegistryOct 26, 2026math.COmachine-checkedscore 0
- First Betti numbers of five-generated numerical semigroups
Ben Keene
Palomar RegistryOct 23, 2026math.ACmachine-checkedscore 0
- Brouwer characterization of Cantor space
Arthur Freitas Ramos, David Barros Hulak, Ruy Jose Guerra Barretto de Queiroz
Palomar RegistryOct 23, 2026math.GNmachine-checkedscore 0
- Nivat's conjecture: formalization of Pranava Kumar's argument
Pranava Kumar
Palomar RegistryOct 23, 2026math.DSmachine-checkedscore 0
- Sierpiński's characterization of the rationals
Arthur Freitas Ramos, David Barros Hulak, Ruy Jose Guerra Barretto de Queiroz
Palomar RegistryOct 23, 2026math.GNmachine-checkedscore 0
- Multiplicative bases and standardness of representation-finite algebras
Haruhisa Enomoto
Palomar RegistryOct 23, 2026math.RTmachine-checkedscore 0
- Stability of planar fronts in reaction-diffusion systems
Joris van Winden
Palomar RegistryOct 23, 2026math.APmachine-checkedscore 0
- The Graham–Pollak theorem
Juan Pablo Traverso Gianini
Palomar RegistryOct 23, 2026math.COmachine-checkedscore 0
- Fifth dimension subgroups: D₅ = γ₅ when G/γ₂ is finite of exponent 3, candidates for a counterexample, and a reduction of Kourovka 20.84
Stanislav Vorobev
Palomar RegistryOct 23, 2026math.GRmachine-checkedscore 0
- Control flow obfuscation with irreducible loops and self-modifying code
Gregory Morse
Palomar RegistryOct 23, 2026cs.CRmachine-checkedscore 0
- Temporal cliques admit spanners of size O(n log n)
Ethan Bargaud-Arm
Palomar RegistryOct 23, 2026cs.DMmachine-checkedscore 0
- Log-square quadrupolar correlation decay in two-dimensional RP2 and RP3 models
Masaki Oshikawa
Palomar RegistryOct 23, 2026math-phmachine-checkedscore 0