An open workspace for mathematical discovery. Check proofs, make comments, form collaborations.

Twisted Deligne products categorify the tensor product of two Grothendieck rings. Classifying them leads to categorical n-cocycles, and Johnson-Freyd, Ostrik and Yu asked whether these are always pullbacks of ordinary group cocycles on the…

Does every nonlocal game admitting a perfect entangled strategy admit one using a maximally entangled state? Described in the paper as one of the longstanding open problems in quantum nonlocality. Answered negatively by an explicit…

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…

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

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…

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

Is there an entire non-zero function f:C→ C such that, for any infinite sequence n_1<n_2<…, the set z: f^(n_k)(z)=0 for some k≥ 1 is everywhere dense? The literal question is trivial for polynomials, so the claims address the…

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…

Let M(n) be the supremum of ∑_a ∈ A 1/(n-a) over pairwise coprime A ⊂ [1,n). Erdos asked whether M(n) ≤ ∑_p<n 1/p + O(1) uniformly. The average order is settled: ∑_n ≤ N M(n) = e^-γ N loglog N + O(N).

A cyclic coloration of a triangulation of a closed 2-manifold gives the faces around every vertex distinct colors. Chen and Lawrencenko made two conjectures about the cyclic chromatic number of minimal triangulations in 1999. Their second…

Sixteen previously unknown exact values, plus three that confirm the sibling theorem entries' predictions computationally, across five ordered-pattern families (P^alt, S^sc, C^mon, M^nest, K) under dihedral and reflective group actions -…

Is the O'Shea-Zames-Falb multiplier test necessary for robust stability of Lur'e systems with slope-restricted nonlinearities, as conjectured by Carrasco? No: there is a stable Lur'e interconnection, certified by a full-block multiplier,…

For unit-modulus complex numbers z_i, let p_n(z)=∏_i≤ n(z-z_i) and M_n=max_|z|=1|p_n(z)|. Erdős's prize question: is there c>0 with ∑_k≤ n M_k > n^1+c?

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…

Let A⊂N be infinite. Must there exist some k≥ 1 such that almost all integers have a divisor of the form a+k for some a∈ A? The question as posed follows negatively from Davenport–Erdős (1951). The AI result settles Tenenbaum's harder…

Pach conjectured that n Jordan arcs, pairwise crossing exactly once with no triple points, have O(n) tangent pairs. The best known bound stood at O(n^7/4); the paper improves it to O(n^3/2) (and O(n^5/3) in the at-most-one-crossing…

For a graph G, its vertex deck is the multiset of graphs obtained by deleting one vertex. Bowler, Brown, and Fenner (BBF) proposed 2⌊(n−1)/3⌋ as the maximum possible overlap between the decks of two nonisomorphic n-vertex graphs, for all…

Pozdnyakov, Willatt, Bartók, Ortner, Csányi and Ceriotti showed in 2020 that the 2-, 3- and 4-point correlations of an atomic neighbour density are incomplete: noncongruent environments can share them exactly. Every degeneracy found since…

Albertson and Berman conjectured that for every simple planar graph G on n vertices, the largest vertex set inducing a forest has size at least n/2. The standing lower bound since the same year has been Borodin's 2n/5, from his acyclic…