Problems
No problem here has yet been reviewed by a person.
Dittert's conjecture asserts that among nonnegative n× n matrices whose entries sum to n, the functional φ(A)=∏_i r_i+∏_j c_j-per(A) is uniquely maximized by J_n/n. The paper proves the case n=16 which, with Pang's result for n≥17,…
Does there exist a good pairwise-coprime sequence u_n with ∑ 1/u_n < ∞ and polynomial growth? What if one only requires u_n ≤ e^o(n)?
Anari, Charikar and Ramakrishnan asked whether every fractional perfect matching admits a perfect matching that is α-thin with respect to it, meaning it crosses every cut at most α times the fractional amount. Resolved up to…
R(c) = 40c+41 for every c ≥ 2 such that c+1 is divisible by 3, 4, 5, or 7 (covering ≈ 66% of all c); the full conjecture (Myers 2015 Conj. 4.9, ABEMRS16 §5.5) reduces to prime cases p ≥ 89, all smaller primes settled by SAT. Twenty-eight…
Espuny Diaz, Lichev and Wesolek conjectured that a Dirac-type minimum degree condition forces Hamiltonicity in spanning subgraphs of cycle powers. Asymptotically true: for every ε > 0 and all large k, any spanning subgraph of the kth power…
Carefully designed stepsize schedules alone accelerate plain gradient descent beyond its textbook O(1/T) rate, without momentum. Whether they can reach the optimal O(T^-2) was open. A lower bound of Omega(T^-1.9319) for last-iterate…
Extending the minimal model program beyond threefolds in positive characteristic is a standing goal of birational geometry. Assuming the log resolution conjecture for all log pairs birational to X, the cone theorem holds for projective log…
Djament asked whether a Grothendieck category satisfying suitable finiteness and exactness conditions must be equivalent to a module category. In the locally noetherian case the answer is no: there is a Grothendieck category with a…
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…
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.
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.
How large can a Bruhat interval in S_n that is a poset hypercube be? Using a permutation pattern suggested by AlphaEvolve, the authors exhibit hypercube intervals of dimension O(n log n) for n a power of 2, matching the largest possible…
For every δ > 0 and infinitely many n there is a set of n lines in the plane with no intersecting quadruple such that every subset of size at least n^4/5+δ contains three concurrent lines. This improves the bound for a dual form of a…
Tuza conjectured that every finite simple graph satisfies τ(G) ≤ 2ν(G), where ν counts pairwise edge-disjoint triangles and τ is the fewest edges whose deletion leaves the graph triangle-free. Puleo had proved it for maximum average degree…
How few vertices can a triangulation of RP^5 have? The paper presents a 6-dimensional centrally symmetric simplicial polytope whose antipodal boundary quotient gives a 24-vertex triangulation, far below previous constructions in the…
Seymour conjectured that every oriented graph has a vertex x with |N^++(x)| ≥ |N^+(x)|. It holds for oriented graphs of minimum out-degree exactly 7, the first improvement to the out-degree threshold since Kaneko and Locke settled degree 6…
Shellsort's worst-case running time is unknown for the gap sequences actually used in practice. Encoding a permutation as the polynomial σ(1)z + … + σ(n)z^n gives a framework for lower bounds, and yields Ω(N^1.26) for Tokuda's 1992…
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…
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).
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…