Problems

For every n≥2 the paper exhibits an n-dimensional K-polystable toric Q-Fano variety whose alpha invariant is exactly 2/2n+1, answering a question of Liu and Zhuang on whether a K-semistable example exists with alpha invariant between 1/n+1…

For A ⊂ F_p of density 1/2, call A almost affine invariant under φ(x) = ax+b if |A triangle φ(A)| = o(p). Problem 90 asks for the threshold K below which A can be almost affine invariant simultaneously under all such φ with |a|, |b| ≤ K…

Nazarov conjectured that for s ∈ (1, 3/2) the quadratic form of the spectral fractional Dirichlet Laplacian strictly increases under u ↦ |u| when u changes sign. Proved and substantially generalized, with the same conclusion for the…

Banach asked in 1932 whether a real Banach space X whose ndimensional subspaces, for some fixed 1 < n < dim X, are all isometric must be a Hilbert space. Gromov proved the conjecture for even n, and subsequent work settled several…

For a sequence of n distinct reals, determine the largest constant c such that some monotonic subsequence always has sum exceeding (c-o(1))·(1/√n) times the total sum. Resolved as c = 1.

Online Shadow Tomography with log m dependence, while retaining poly(log(d)/ε) dependence. Also, matching the best classical bounds for Adaptive Data Analysis

If CT_(k) is generated by all horizontal class transpositions with modulus at most k, is CT_(k) ≅ S_lcm(2,…,k) for every k ≥ 4?

Crouzeix conjectured in 2004 that for every square complex matrix A and every polynomial p, lVert p(A)rVert ≤ 2 max_z ∈ W(A) |p(z)|, where W(A) is the numerical range of A - that is, the numerical range is a 2-spectral set. Crouzeix proved…

VibeMathed records no statement for this problem. See erdosproblems.com for the original.

VibeMathed records no statement for this problem. See erdosproblems.com for the original.

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…

VibeMathed records no statement for this problem. See erdosproblems.com for the original.

VibeMathed records no statement for this problem. See erdosproblems.com for the original.

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).

For which lattice parameters does a totally positive window function generate a Gabor frame? Gröchenig and Stöckler initiated the program in 2013; this paper gives the complete characterization, together with a Kadets-type theorem for…

For a semistable one-parameter family of complex projective varieties with smooth nearby fiber X_t and monodromy T, is the map H^1(X, Z) → H^1(X_t, Z)^T surjective? True in degree one, although the integral statement fails in higher degree.

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…