Problems

For a finite abelian group G, let Φ(G) be the absolutely convex hull of the specified trilinear kernels and Φ'(G) its restriction where the third factor depends only on x_1 + x_2. Is Φ(G) = Φ'(G)? A counterexample over Z/3Z separates the…

Are ICC property (T) groups remembered by their von Neumann algebras - if L(Γ) ≅ L(Λ) for such groups, must Γ ≅ Λ? A counterexample refutes Connes' conjecture that these groups are uniquely determined by their group von Neumann algebras.

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

For triangular arrays of nodes a_i^n∈[-1,1] let L^nf be the Lagrange interpolation polynomials of a continuous f, with fundamental polynomials p_i^n. Is there a choice of nodes such that for every continuous f there is some x where…

Does the middle-third Cantor measure admit a Fourier frame, that is, a countable set of exponentials giving two-sided frame bounds on its L^2 space? No. The Cantor measure with base b admits no Fourier frame for any odd integer b > 1,…

Let p be a complex polynomial of degree n ≥ 2 whose zeros all lie in the closed unit disk. Then for every zero a of p, there exists a critical point ζ of p such that |ζ-a| ≤ 1. This is the standard Sendov statement and exactly matches the…

Crouzeix conjectured in 2004 that for every square complex matrix A and every polynomial p, lVert p(A)rVert ≤ 2 max_z ∈ W(A) |p(z)|, where W(A) is the numerical range of A - that is, the numerical range is a 2-spectral set. Crouzeix proved…

For which lattice parameters does a totally positive window function generate a Gabor frame? Gröchenig and Stöckler initiated the program in 2013; this paper gives the complete characterization, together with a Kadets-type theorem for…

Let L^nf be the Lagrange interpolation polynomials of a continuous f on the Chebyshev nodes. Prove that, for any closed A⊆ [-1,1], there exists a continuous function f such that A is the set of limit points of L^nf(x).

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

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?

Lorist and Schwenninger prove Crouzeix's conjecture (arXiv:2608.03841, Lemma 1) by combining a lower bound (their inequality (4)) with an upper bound (inequality (5)). In Remark 2 they observe that (5) alone gives κ ≤ 1 + √1 - ℜ⟨ E_1…

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

For f(z) = ∏_i=1^n (z - z_i) with all |z_i| ≤ 1, let ρ(f) be the radius of the largest disc contained in z : |f(z)| < 1. Is ρ(f) ≫ 1/n? The worst case is now known to be Θ(1/n), with the explicit bound ρ(f) ≥ (log 2)/n.

For a closed infinite set F ⊆ C, let μ(F) be the infimum of |z : |f(z)| < 1| over monic polynomials with zeros in F. Is μ(F) determined only by the transfinite diameter of F?

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

Let p be a complex polynomial of degree n≥2 whose zeros all lie in the closed unit disk. For every zero a of p, there is a critical point ζ satisfying |ζ-a|<1, except when |a|=1 and p is a nonzero scalar multiple of z^n-a^n.

If a smooth bounded domain in R^n admits a Neumann eigenfunction of the Laplacian that is constant on the boundary, must the domain be a ball? Pompeiu posed an equivalent integral-equation form in 1929; Schiffer's 1957 reformulation via…