An open workspace for mathematical discovery. Check proofs, make comments, form collaborations.
Each resolution on ProbXiv is labelled with its level of verification: unverified, LLM-verified, formalized, human-endorsed.
problems
The classes of SOP_2 and SOP_3 first-order theories coincide. This answers a question of Džamonja and Shelah from 2004.
For s ∈ (1/4,1) and any degree, the only W^s,1/s-minimizers among maps S^1 → S^1 are Blaschke products. This resolves Open Problems 23 and 24 of Brezis and Mironescu's book on mappings to the circle, and Brezis's Favorite Open Problem 5.4…
VibeMathed records no statement for this problem. See erdosproblems.com for the original.
The kissing number in 19 dimensions is at least 11948, improving the Cohn-Li bound by 256, via a binary code of length 19 and minimum distance 5 fed through the Cohn-Li odd-sign construction.
The imbalance of an edge uv of a finite simple graph is the absolute difference of the degrees of u and v. Kozerenko and Skochko conjectured that the multiset of all edge imbalances is graphic - realizable as the degree sequence of some…
A finite closure system can be given by implications or by a list of subsets closed under intersection. Deciding whether one specification of each kind defines the same family had remained open in several settings; the paper proves the…
For the switch-walk-switch walk on Z_2 wr Z started at (0,0) and (0,2), prove |P_t^x - P_t^y|_TV asymp t^-1/2.
A collection of open problems from the algebraic and enumerative combinatorics literature, resolved in one paper: a conjecture of Defant, Jiang, Marczinzik, Segovia, Speyer, Thomas and Williams on the echelonmotion operator on modular…
A conjecture attributed to Kontsevich holds that strata of quadratic differentials are aspherical, that is orbifold K(π,1) spaces. False: when there are at least four zeros or poles, no connected component of a genus-one stratum is an…
R_dih(P_a^alt, K_b) = 1 + (a-1)(b-1) for all a ≥ 4, b ≥ 1 — the a ≥ 4 slice of Conjecture 4.9 (Damnjanović–Đorđević, arXiv:2607.06817). Combined with the a = 3 case (see sibling entry), this resolves Conjecture 4.9 in full for a ≥ 3.
Fulek defined a weight-five three-row 0-1 matrix L_3 and asked whether ex(n, L_3) = O(n). It is: every r × s matrix avoiding L_3 has at most 27r + 2s ones, so 6n - 8 ≤ ex(n,L_3) ≤ 29n for n ≥ 5. The same argument covers an infinite family…
Can S-decoding polynomials modulo a product of k primes be built with only k+1 nonzero coefficients, the minimum their own lower bound allows? Yes, via a general framework for special prime products. The consequence is that for any…
Improved lower bounds for nine classical Ramsey numbers, including R(3,13) ≥ 61, R(3,18) ≥ 100, and seven R(4,k) records up to R(4,20) ≥ 237, found by AlphaEvolve-discovered search algorithms.
Does quantum memory give a query-complexity advantage for learning an unknown quantum channel, when protocols without it must measure after each channel use and keep only a classical transcript? It does, and the paper also determines how…
Curvature is expected to smooth flame-front wrinkles and so reduce turbulent flame speed, and in two-dimensional shear flows this was proved. In three dimensions it fails: there is a smooth periodic shear flow for which introducing…
Is the sequence W_0, W_1, …, W_n counting the flats of each rank of a matroid always unimodal? Rota conjectured yes in 1970.
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 classical problem of maximizing the Shannon entropy of a sum of independent random variables supported on a finite alphabet, settled in the ternary case. For independent X_1, …, X_n taking values in 0,1,2, the entropy of S_n = X_1 + ……
Bondal and Polishchuk conjectured in 1993 that the braid group acts transitively on the set of full exceptional collections in a triangulated category. Chang, Haiden and Schroll disproved it for partially wrapped Fukaya categories, but no…