Problems
No problem here has yet been reviewed by a person.
How well separated can a family of point-line pairs in the unit square be? For every ε > 0 there are arbitrarily large families (x_1,ℓ_1),…,(x_n,ℓ_n) in [0,1]^2 with x_i ∈ ℓ_i and dist(x_i,ℓ_j) ≥ n^-2/3-ε for all i ≠ j. Combined with…
The interchange graph G(R,S) has the (0,1)-matrices with row sums R and column sums S as vertices, adjacent when they differ by a single 2× 2 interchange. Brualdi asked whether G(R,S) is always Hamiltonian. It satisfies more: it is…
For the Fubini numbers a(n), is a(n) = ∑_k=0^2^n-1-1 A284005(k) for every n > 0, as conjectured on the OEIS in 2018?
Every minimally generically globally rigid graph in R^d containing a subgraph isomorphic to K_d+2 is itself isomorphic to K_d+2, confirming Conjecture 6.3 of Garamvölgyi, Jackson and Jordán (2025).
Every natural number is a finite sum of distinct unit fractions whose denominators are semiprimes. This is the ω = 2 integer case of a problem of Erdos and Graham, left as a conjecture by Butler, Erdos and Graham, who proved the ω = 3…
For the Sachdev-Ye-Kitaev Hamiltonian on n Majorana modes with k-body interactions, the paper proves E|H|_op = (1-o(1))√2n/k for super-constant k ≤ o(√n), confirming predictions of Garcia-Garcia, Jia and Verbaarschot and answering a…
Wellman and Pettie noted that the true leading constant for large-order Davenport-Schinzel sequences was known only to lie in an interval. The paper improves the Roselle-Stanton lower bound to match the pigeonhole upper bound in the…
Do the one-species current marginals of type-D ASEP have the predicted Tracy-Widom long-time asymptotics despite the model's two-species interactions?
Pełczyński's duality between strictly singular and strictly cosingular operators fails without weak compactness. Beanland asked, in work with Androulakis and later on MathOverflow, for the separable-range case: the paper answers it…
Among d+1 equiprobable equal-energy signals in Gaussian noise, is the regular simplex optimal for average error probability? Yes. The underlying comparison is that for any m × m correlation matrix R with R - 11^ T/m succeq 0 and X ~…
Can the minimum edge-outerplanarity of a finite loopless planar graph, minimized over all planar embeddings, be computed in polynomial time? Asked by Bentz in 2009.
Among classes of tournaments for which neither hardness nor polynomial-time solvability of isomorphism was known, bounded VC dimension stood out as an open problem of Neuen and Grohe. Resolved: isomorphism of tournaments of VC dimension d…
Dyn and Farkhi conjectured that the squared Hausdorff distance from a compact set to its convex hull is subadditive under Minkowski addition. It holds in dimensions one and two and fails from dimension three; the sharp threshold exponent…
A dimension-independent subgaussian concentration bound for Gaussian vectors under coordinate-wise nonlinear maps, valid for any bounded function under a well-conditioned covariance, which answers a question of Simone Bombari on sign…
Pak and Slonim conjectured that stretched Schubert structure constants are eventually polynomial. They are. Monomial coefficients in affine families of key and Schubert polynomials are eventually polynomial, and the Schubert duality of…
Pólya conjectured in 1954 that the Weyl-law expression bounds the eigenvalue counting function of the Laplacian. The paper proves the Neumann case for Euclidean balls in dimensions three and higher, extending the authors' earlier planar…
Casalaina-Martin and Zhjeqi proved that the first Chern class of every torsion-free coherent quotient of a tensor power of the logarithmic cotangent sheaf is pseudo-effective, noting in Remark 4.5 that torsion-freeness was imposed only for…
How dense can a sum-free subset of the lattice cube 1,…,n^d be? Aydinian and Cameron asked for the limiting density, which is also Problem 6 in Ben Green's list of 100 open problems. The natural conjecture is that the optimum is a slice x…
Does the block 11 occur infinitely often in the base-2 expansion of the Erdős-Borwein constant E = ∑_n ≥ 1 1/2^n - 1? Posed by Crandall in 2012.
In the Frankl-Pach-Erdős circle of VC-dimension problems, the first arXiv version of the paper posed the k=3 case of a witness construction question. ChatGPT 5.4 Pro answered it; the published construction generalizes the model's response,…