Problems

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…

R_dih(P_3^alt, K_b) = R_cyc(P_3^alt, K_b) = 2b - 1 for all b ∈ N — the a = 3 slice of Conjecture 4.9 (Damnjanović–Đorđević, arXiv:2607.06817) and Conjecture 4.23 (Bašić–Damnjanović–Stevanović–Stošić, arXiv:2604.16188).

The directed five-dimensional torus D_5(m) has a Hamilton decomposition for every odd m ≥ 3, extending the decomposition program for directed tori beyond the three-dimensional case.

Monical, Tokcan and Yong conjectured that every fixed positive power of the Vandermonde determinant fails to have saturated Newton polytope in sufficiently many variables. For every even power k ≥ 4 there is an explicit lattice point of…

There exists a Hadamard matrix of order 668: a matrix H∈-1,1^668×668 such that HH^ T=668I_668. Equivalently, the 668 rows of H are pairwise orthogonal.

Subbarao and Verma asked in 1999 (Problem 5.7, first part) whether the complementary Bell numbers f(n) = B_n(-1) take any given value only finitely many times. Campbell proves they do: for every fixed integer the fiber is finite, a result…

Conjectures that every bridgeless graph has a collection of cycles covering each edge exactly twice.

A problem from Fajtlowicz's Graffiti program, studied by Erdős and Staton, on the Havel-Hakimi residue of common-divisor graphs. The paper resolves the problem and extends it, determining the residue's first-order scale and its nontrivial…

For A ⊂ F_p of density 1/2, call A almost affine invariant under φ(x) = ax+b if |A triangle φ(A)| = o(p). Problem 90 asks for the threshold K below which A can be almost affine invariant simultaneously under all such φ with |a|, |b| ≤ K…

For a sequence of n distinct reals, determine the largest constant c such that some monotonic subsequence always has sum exceeding (c-o(1))·(1/√n) times the total sum. Resolved as c = 1.

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

The interchange graph G(R,S) has the (0,1)-matrices with row sums R and column sums S as vertices, adjacent when they differ by a single 2× 2 interchange. Brualdi asked whether G(R,S) is always Hamiltonian. It satisfies more: it is…

For the Fubini numbers a(n), is a(n) = ∑_k=0^2^n-1-1 A284005(k) for every n > 0, as conjectured on the OEIS in 2018?

Every minimally generically globally rigid graph in R^d containing a subgraph isomorphic to K_d+2 is itself isomorphic to K_d+2, confirming Conjecture 6.3 of Garamvölgyi, Jackson and Jordán (2025).

Wellman and Pettie noted that the true leading constant for large-order Davenport-Schinzel sequences was known only to lie in an interval. The paper improves the Roselle-Stanton lower bound to match the pigeonhole upper bound in the…

For a finite connected graph G, let L_s(G) be the maximum number of leaves in a spanning tree and ℓ(G) the average local independence number. Must L_s(G) ≥ 2(ℓ(G) - 1)?

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…

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 -…

How dense can a sum-free subset of the lattice cube 1,…,n^d be? Aydinian and Cameron asked for the limiting density, which is also Problem 6 in Ben Green's list of 100 open problems. The natural conjecture is that the optimum is a slice x…