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

Does every lattice of density above one admit a Gabor frame with a nice window? No. For every dimension d > 1 there are explicit criteria on lattices Λ ⊂ R^2d with D(Λ) > 1 such that no function with continuous Zak transform generates a…

Is the fractional chromatic number of every d-degenerate triangle-free graph at most (1+o(1))d/log d, with a matching lower bound, as conjectured by Martinsson and Steiner? The upper bound is confirmed constructively for graphs of girth at…

The paper exhibits an explicit integer polynomial in five variables, of total degree 14 with constant Hessian determinant 128, whose gradient is not injective. Its formal Legendre transform is therefore not a polynomial, so the Hessian…

Can online vector balancing in the Spencer setting achieve the optimal order of prefix discrepancy with an efficient algorithm?

Let g(r) be the fewest edges in an r-uniform intersecting hypergraph with cover number r. Erdos and Lovasz proved g(r) ≥ 8r/3 - 3. An elementary argument gives g(r) ≥ 3r - 4, and building on it with Kahn's small-codegree edge-colouring…

Does the finite signed basic adjoint relation determine the invariant signed measure uniquely, and how far beyond the Harrison-Reiman class can uniqueness extend?

Monteiro and Svaiter gave a second-order method for smooth monotone variational inequalities converging at O(T^-1.5), later improved to O(T^-1.75) for the convex-concave minimax subset. Whether the conjectured complexity for general…

Boots and Royle, and independently Cao and Vince, conjectured that the join of an edge with a path on n-2 vertices is the unique planar graph of maximum adjacency spectral radius for every n ≥ 9. Tait and Tobin proved it for sufficiently…

Curto et al. (Advances in Applied Mathematics, 2024) conjectured that every stable fixed point of a threshold-linear network is minimal. Disproved: an explicit competitive 3-neuron TLN has a stable fixed point whose support strictly…

Kollár and Kovács asked whether the first cohomology of the structure sheaf of the fibers must be constant for a flat projective morphism to a smooth curve whose fibers are Cohen-Macaulay and reduced and whose generic fiber is smooth. It…

A Cayley graph is minimal when no proper subset of its connection set generates the group. Babai asked whether minimal Cayley graphs have bounded chromatic number. Resolved negatively: finite minimal Cayley graphs exist with arbitrarily…

The paper nearly settles the tradeoff between the size of a set system over [n] and its number of full chains, an extremal question raised by Johnson, Leader and Russell as a counterpart to Sperner-type results, and linked by recent work…

Nesterov's accelerated gradient method (1983) is a cornerstone of optimization, yet whether its iterates themselves converge to a minimizer, rather than just the function values, stayed open for over forty years. Jang and Ryu resolve it in…

Near-optimal density thresholds forcing a measurable set in R^d to contain all sufficiently large similar copies of every n-point configuration, answering a question from the Euclidean density theorem literature up to logarithmic factors.

The total Chern class of Sym^d(C^n) as a torus representation is a symmetric polynomial whose coefficients were conjectured positive, with a binomial log-concavity refinement. Both are established.

For every connected graph, is the variance of its positive adjacency eigenvalues at most its order divided by its average distance? Exact dumbbell-graph certificates refute the bound under both conventions for average distance.

For S(x) = #(a,b) : a + b ≤ x, σ(a) + σ(b) = σ(a+b), is S(x) ~ cx? The preprint claims S(x) grows faster than x (log x)^R for every fixed R, ruling out the linear asymptotic.

For a differential poset P, must the weighted 2-multichain series M_P,2(q) be a rational multiple of F_P(q)^2, the square of its rank generating series?

What is the shortest curve guaranteed to reach the boundary of the golden gnomon - the isosceles triangle with equal sides 1 and apex angle 108^∘ - from an unknown starting position and heading? The optimum is a symmetric seven-piece path…

For every zonotope Z ⊂ R^d and vectors v_1,…,v_n ∈ Z, there are signs with ∑_i x_i v_i ∈ C√d Z for a universal constant C. This resolves a 2002 conjecture on vector balancing in zonotopes.