Problems
No problem here has yet been reviewed by a person.
For a continuous bounded-variation path with signature g, logarithmic signature l and increment v, the modified Lyons–Sidorova conjecture predicts the structure of g when R(l)=∞. The paper proves it: g=1 when v=0, and otherwise a prefix α…
VibeMathed records no statement for this problem. See erdosproblems.com for the original.
A paper torus is an embedded polyhedral torus isometric to a flat torus. Schwartz proves no paper torus with 7 vertices exists and constructs one with 8, settling the minimum-vertex question in the flat-torus embedding tradition of…
VibeMathed records no statement for this problem. See erdosproblems.com for the original.
Kac's walk on the rotation group, introduced by Hastings in 1970, is a central high-dimensional Markov chain in statistical physics and computational science. The paper proves it mixes in n^2 log n steps, the conjectured optimal rate,…
Zhi-Wei Sun conjectured a closed evaluation of a truncated Legendre-symbol determinant. For every prime p ≡ 3 pmod 4 it equals ⌊ (p-2)/3 ⌋^2 x, proved by reducing to inverse data for Chapman's full Legendre-symbol matrix and evaluating…
For an irreducible crystallographic root system of rank r with Coxeter number h, the paper proves that Au's normalized Witten zeta function has a simple pole at 2/h and evaluates its residue in closed form in terms of the Cartan…
For deterministically minimizing a convex 1-Lipschitz function on the d-dimensional ball using only exact function values, the query complexity sat between Ω(d) and O(d^2 log^2 d) since 1996. The paper proves a near-quadratic lower bound…
For an even cycle of size N and depth p with 2p + 2 ≤ N, is the optimal QAOA approximation ratio for MaxCut exactly 2p+1/2p+2, as Farhi, Goldstone and Gutmann conjectured?
Can the k-distinct language - words over [n] of length at most k with no repeated symbol - be recognized by an acyclic NFA of size c^k n^O(1) for some c < 4? A construction of size 2^1.96992k n^O(1) < 3.918^k n^O(1) answers yes.
A subset A of the pointwise-ordered cube [0,1]^n is a k-antichain when it meets every chain in at most k points. The conjecture concerns the largest possible (n-1)-dimensional Hausdorff measure of such a set; it is settled here, following…
VibeMathed records no statement for this problem. See erdosproblems.com for the original.
How many nondegenerate equilibrium points can the potential of three positive point charges have? Gabrielov, Novikov and Shapiro had proved at most 12, and observed that their method would give 6 if an auxiliary polynomial system had at…
Does every instance of indivisible goods with additive valuations admit a balanced allocation (any two bundles differing in size by at most one) that is simultaneously envy-free up to one good (EF1) and fractionally Pareto optimal (fPO)?…
VibeMathed records no statement for this problem. See erdosproblems.com for the original.
Englert and Rehacek conjectured which measurement is globally information-optimal for an ensemble of equiangular equiprobable pure states. Their conjecture holds, via the remaining entropy inequalities of Holevo and Utkin.
In the circle of Kummer's regular primes and Vandiver's conjecture, the paper proves that almost all primes are partially regular, yielding a partial Vandiver theorem for a density-one set of primes, with consequences for Kubota-Leopoldt…
A tournament orients every pair in a round-robin (winner → loser). The score sequence is the sorted win-count list. Reversing a directed 3-cycle never changes scores, so score-equivalent tournaments can look structurally different.…
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.