Problems

Can the critical-exponent relation a + b = 1 at the jamming transition, observed numerically to high precision in the full replica-symmetry-breaking solution of hard spheres, be derived analytically from the scaling equations?

Aluffi, Chen and Marcolli conjectured that the Poincare polynomial of the Deligne-Mumford moduli space overlineM_0,n of stable n-pointed rational curves has only real roots. True, with simple roots and strict interlacing between…

Question 8 of the First Proof experiment (Abouzaid et al.) asks whether a polyhedral Lagrangian surface with exactly four faces meeting at every vertex necessarily admits a Lagrangian smoothing. The research report assembles…

Ross introduced S-perfect numbers, integers expressible as 1 + ∑ λ_j d_j over their proper divisors with coefficients in S, and conjectured that they have the same density as the nondeficient numbers, plus a second conjecture relating odd…

For a simple 3-polytope with at least three faces of size at least 7, must p_6 ≥ 39/20 + p_3/2 - p_5/4 - ∑_k ≥ 7 p_k? Five minimal ten-face counterexamples refute the printed inequality.

Does there exist a single real-valued, divergence-free, time-independent Lipschitz velocity field u∈ W^1,∞( T^3; R^3), chosen independently of magnetic diffusivity, that is a fast dynamo for the kinematic induction equation on the flat…

Can one construct a plain-model, efficient, information-theoretically secure one-time unclonable-encryption scheme for one classical bit with exponentially small adversarial advantage?

Maz'ya and Shaposhnikova introduced a non-classical maximal operator M^diamond, the maximal convolution with the vector-valued signum kernel truncated to centered balls. One of Maz'ya's 75 open problems in analysis asks whether it can be…

What is the minimum asymptotic density δ_k of monochromatic k-term arithmetic progressions in every two-colouring of 1, …, n? The exact certificate gives δ_3 = 117/2192, matching the known 548-bead colouring.

Is every group sofic - does every group admit approximate finite permutation representations? A central open question of geometric group theory since Gromov introduced soficity: soficity implies Gottschalk's surjunctivity conjecture,…

For the adjacent-transposition chain on S_n with a regular parameter vector, Fill's spectral gap conjecture (recently resolved) leaves open the characterization of the equality cases. The paper settles them, constructing the additional…

Whether the real Kalton-Peck space Z_2 is isomorphic to its hyperplanes. It is not: no hyperplane of Z_2 is isomorphic to Z_2, proved through a rank parity theorem for symplectic spaces applied to the Kalton-Swanson symplectic structure.

The Howland-Kato conjecture that every nonzero positive commutator i[f(P),g(Q)] must arise from functions in appropriate Kato classes is false: i[arctan(P),arctan(Q)] is nonzero and nonnegative.

A question of Averkov, Hofscheier and Nill on whether the Ehrhart h^*-polynomial of a lattice polytope of large lattice width is real-rooted. Proved in fixed dimension for sufficiently large lattice width, giving strict log-concavity and…

What is the largest A⊆1,…,N such that all subset sums ∑_n∈ S1/n (over S⊆ A) are distinct?

For a single-source unsplittable flow, find the optimal universal additive constant C s.t. every feasible fractional flow x with arc costs c should admit an unsplittable routing y with c^top y ≤ c^top x and y_a ≤ x_a + C · d_max on every…

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

A convex body is in Faber-Krahn position if it minimizes the first Dirichlet eigenvalue within its volume-preserving linear orbit. The paper proves this position is unique up to orthogonal transformations, answering a question of…

Does there exist a group with more than one but only finitely many maximal locally soluble normal subgroups? An explicit group with exactly two settles it.

Is the depth of the mod-p cohomology ring of every finite group realized as the dimension of one of its associated primes? For G = SmallGroup(128, 859) over overlineF_2 the ring has depth 2 while every associated-prime quotient has…