Each problem states how progress is verified and what counts as a contribution. Besides the problems curated here, the catalogue includes open conjectures from Formal Conjectures (with Lean statements), optimization constants and the AlphaEvolve problems. Know one that belongs here? Propose a problem.
196 shown· page 4 of 4
For n ≥ 2, let C(n) be the least constant such that for any polynomial f of degree n, and any z ∈ ℂ with f'(z) ≠ 0, there exists a critical point f'(ξ)=0 such that |f(z)-f(ξ)/z-ξ| ≤ C(n) |f'(z)|. Establish upper and lower bounds for C(n) that are as strong as possible.
For a bounded set X⊂ ℝ^n, its diameter is diam(X) := sup‖x-y‖_2: x,y∈ X. Let b(X) be the smallest integer m such that X can be written as a union X = X_1 ∪ ⋯ ∪ X_m with diam(X_i) < diam(X) for all i=1,…,m.
C_14 is the smallest n, such that the value of the busy beaver number BB(n) is undecidable in ZFC (or equivalently ZF). Explicitly, it is the smallest n such that there is a Turing machine with n states for which it cannot be proven in ZFC (assuming ZFC is consistent) whether it halts or not.
C_10c is the least constant K for which one has disc(A) ≤ K√(n) qquadfor all n and all A∈[-1,1]^n× n. Here the discrepancy disc(A) is defined as disc(A) := min_x∈± 1^n ‖Ax‖_∞.
C_36=Δ_4 is the (optimal) sphere packing density in ℝ^4, i.e. the largest fraction of ℝ^4 that can be covered by congruent balls with disjoint interiors.
A spherical t-design on the d-dimensional sphere S^d ⊂ R^d+1 is a finite set of points X ⊂ S^d such that for any polynomial P of degree at most t, the average value of P over X is equal to the average value of P over the entire sphere S^d.
Let ℤ^2 denote the square lattice graph with vertex set ℤ^2 and edges between nearest neighbors (Euclidean distance 1). A self-avoiding walk (SAW) on a graph G=(V,E) is a walk that visits no vertex more than once.
Let Av_n(1324) be the set of permutations of \1,2,…,n\ that avoid the permutation pattern 1324, and let S_n(1324) := |Av_n(1324)|. <a href="#CJS12-def-Sn">[CJS12-def-Sn]</a> The Stanley–Wilf limit (growth constant) for the pattern 1324 is C_30 := lim_n→∞ bigl(S_n(1324)bigr)^1/n.
For n a natural number, let C(n) denote the size of the largest subset of [n]^2 = 1,…,n^2 that does not contain a (possibly flat) isosceles triangle. In other words, C(n) := max_S⊂ [n]^2|S|: a,b,c∈ S distinct implies ‖a-b‖ ≠ ‖b-c‖.
For a finite set A ⊂ ℝ write A+A = \ a+b : a,b ∈ A \, AA = \ ab : a,b ∈ A \ for the sumset and product set. The (real) sum-product exponent is C_84b := liminf_n → ∞ min_substackA ⊂ ℝ \ lvert Arvert = n log max(lvert A+Arvert, lvert AArvert)/log n.
Given a natural number N and a ring R of size at least N, let C(R, N) denote the least possible value of max(|A+A|, |A · A|) where A ranges over subsets of R of cardinality N. Establish upper and lower bounds for C(R, N) that are as strong as possible.
For N ≥ 2, let C(N) denote the maximal value of the energy E(z_1,…,z_N) := min_1 ≤ i < j ≤ N ‖z_i-z_j‖ where z_1,…,z_N range over points in S^2. Establish upper and lower bounds on C(N) that are as strong as possible. What type of configurations z_1,…,z_N come close to achieving the maximal energy?
For each slope r ∈ ℝ ∪ ∞ define the projection π_r : ℝ^2 → ℝ by π_r(a,b) = a + rb for r ≠ ∞ and π_∞(a,b)=b.
C_12 = β_2 is the constant such that the length L_n of the shortest tour through n independent uniform random points satisfies L_n/√(n)→ β_2 almost surely.
Let X_1,X_2,… be i.i.d. real random variables with E X_1 = 0, Var(X_1)=1, and finite third absolute moment β_3 := E|X_1|^3 < ∞. Let S_n := X_1+⋯+X_n/sqrt n, F_n(x):=ℙ(S_n≤ x), and let Φ denote the standard normal distribution function.
Let G be a simple graph. The acyclic chromatic index χ_a'(G) of G is defined to be the least number of colors needed to color the edges of G so that no two edges coincident on the same vertex are homochromatic and there is no cycle whose edges are colored with only two colors.
The complex Grothendieck constant (often denoted K_G^ℂ) is the smallest number C_10b such that, for every m,n≥ 1 and every complex matrix A=(a_ij)∈ℂ^m× n, max_substacku_1,…,u_m∈ S^∞\ v_1,…,v_n∈ S^∞ |Σ_i=1^mΣ_j=1^n a_ij⟨ u_i, v_j⟩| ≤ C_10b\ max_substack|s_1|=⋯=|s_m|=1\ |t_1|=⋯=|t_n|=1…
Let m,n be positive integers and let V be a set of n Boolean variables. By a random formula of density r = m/n, we mean a collection of m clauses selected u.a.r. with replacement from the set of 8C(n, 3) clauses on three distinct variables from V.
Let Q_n = -1,1^n be the Hamming cube (two vertices are adjacent if they differ in exactly one coordinate). For a set A ⊂ Q_n define the function h_A:Q_n→ 0,1,...,n by - h_A(x)=0 if x∉ A; - if x∈ A, then h_A(x) is the number of neighbors of x that lie in the complement A^c.
C_2 is the Crouzeix constant (sometimes denoted Q). It is the smallest constant C such that for every n ≥ 1, every complex matrix A ∈ ℂ^n × n, and every complex polynomial p one has ‖p(A)‖ ≤ C max_z ∈ W(A) |p(z)|, where ‖·‖ is the operator norm induced by the Euclidean norm (i.e.
Let f be a Boolean function on n bits, i.e. f:0,1^n → 0,1 with n≥ 2. For x∈ 0,1^n and 1≤ i≤ n, let x^(i) be x with the i-th bit flipped. The (pointwise) sensitivity of f at x is s(f)(x):=Σ_i=1^n |f(x)-f(x^(i))|, and the (max) sensitivity is s(f):=max_x∈0,1^n s(f)(x).
C_3a is the largest constant such that there exist arbitrarily large sets A,B of integers such that |A+B| ≪ |A| and |A-B| ≫ |A+B|^C_3a.
Let C be the largest quantity such that, as n → ∞, one can locate a 3-uniform hypergraph on n vertices and at least (C-o(1)) C(n, 3) edges that contains no copy of the tetrahedron K^(3)_4. What is C?
For a real number γ, its irrationality exponent μ(γ) is defined by μ(γ) := infBiglc∈ℝ: Bigllvertγ-a/bBigrrvert≤ lvert brvert^-c has only finitely many solutions (a,b)∈ℤ^2Bigr. <a href="#Zud2004-def-mu">[Zud2004-def-mu]</a> We define C_7b := μbigl(Γ(1/4)bigr).
We define C_7a to be the irrationality measure of π: C_7a := sup_μ∈ℝ μ such that lvert π - p/q rvert < q^-μ for infinitely many rationals p/q. Equivalently, C_7a is the infimum of all ν such that for every ε>0 there exists q_0(ε) with |π-p/q| > 1/q^ν+ε for all integers p and all integers q ≥ q_0(ε).
Let μ be a Borel probability measure on ℝ^n with finite second moments. Its covariance matrix is Cov(μ) :=\ ∫_ℝ^n (x-m)(x-m)^mathsf T dμ(x), m:=∫_ℝ^n x dμ(x). ### Convex bodies If K⊂ℝ^n is a convex body, let λ_K be the uniform probability measure on K and abbreviate Cov(K):=Cov(λ_K).
C_20c is the KLS constant (Kannan–Lovász–Simonovits constant) for log-concave measures. It is defined as C_20c := sup_n≥ 1 ψ_n, where ψ_n is the worst-case inverse Cheeger (isoperimetric) constant among isotropic log-concave probability measures on ℝ^n.
C_11a is the smallest constant such that, for every n≥ 1 and every function f:-1,1^n → ℝ Ebigl|f(x)-Ef(x)bigr| ≤ C_11aE|∇ f|(x), where x=(x_1,…,x_n) is uniform on -1,1^n and |∇ f|(x)=Bigl(Σ_j=1^n |D_j f(x)|^2Bigr)^1/2, D_j f(x)=f(x)-f(x^(j))/2, with x^(j)=(x_1,...,x_j-1,-x_j,x_j+1,...,x_n).
For n a natural number, let C(n) denote the size of the largest subset of [n]^3 = 1,…,n^3 such that no 5 points lie on a sphere or a plane. Obtain upper and lower bounds for C(n) that are as strong as possible.
Let C denote the infimal value of λ_0(γ), the least eigenvalue of the Schrödinger operator H_γ = -d^2/ds^2 + κ^2(s) associated with a simple closed convex curve γ parameterized by arclength and normalized to have length 2π, where κ(s) is the curvature.
C_10 is the real Grothendieck constant K_G^ℝ. It is the smallest constant C such that for every m,n ≥ 1 and every real matrix A=(a_ij) ∈ ℝ^m× n one has max_substacku_1,…,u_m, v_1,…,v_n ∈ S^∞ Σ_i=1^m Σ_j=1^n a_ij ⟨ u_i, v_j⟩ ≤ C max_ε_1,…,ε_m, δ_1,…,δ_n = ± 1 Σ_i=1^m Σ_j=1^n a_ij ε_i δ_j.
Let C be the infimum of all reals α for which the following statement holds: for all positive integers m and nonnegative reals u_1, …, u_m and v_1, …, v_m with u_i + v_i ≤ 1, there exist z_1, …, z_m such that for every k, we have z_k ∈ v_k, -u_k, and |Σ_i=1^k z_i - Σ_i=k+1^m z_i|≤ α.
Let X be a random vector in ℝ^n with an isotropic log-concave distribution (i.e. X has a log-concave density, E X=0, and Cov(X)=Id). Since X is isotropic, E|X|^2 = n.
Define C to be the largest volume of a connected bounded subset S_3 of R^3 that can continuously pass through a three-dimensional snake-shaped corridor with a unit square cross-section, consisting of two turns in the x-y and y-z planes that are far apart. What is C?
The Gauss–Kuzmin–Wirsing (GKW) operator acts on suitable function spaces on [0,1] by (L f)(x) = Σ_k=1^∞ 1/(x+k)^2 f (1/x+k). This is the transfer operator of the Gauss map T(x) = \1/x\, which generates the continued fraction expansion.
C_22b = b_o is the largest constant for which one has an inequality L ≥ b_o C for all knots that admit an alternating diagram, where L is the ropelength of a knot (or link) with crossing number) C.
C_22a is the largest constant for which one has an inequality L≥ C_22aC^3/4 for all knots, where L is the ropelength of a knot (or link) with crossing number) C.
The constant C_42 is limsup_n→ inftyR_n, where R_n=minmax_1≤ k≤ n lvert Σ_1≤ i≤ nz_i^krvert, where the minimum is taken over all z_1,…,z_n∈ ℂ with max_i lvert z_irvert=1.
Given a function f ∈ L^1(ℝ), set A(f) := inf r > 0: f(x) ≥ 0 hbox for all |x| ≥ r . Let C be the largest constant for which one has A(f) A(hat f) ≥ C for all even f with f(0), hat f(0) < 0. Establish upper and lower bounds for C that are as strong as possible.
Let D=\z∈ℂ:lvert zrvert<1\ and let F be the class of holomorphic functions f:D→ℂ normalized by f'(0)=1. <a href="#BS2023-def-F">[BS2023-def-F]</a> For finF, let B_f denote the radius of the largest univalent disk in f(D).
For a finite non-empty set A of integers, C_3e is the least constant such that |A - A| ≤ |A + A|^C_3e for every such A; equivalently, C_3e = sup_A loglvert A-Arvert / loglvert A+Arvert. This is Problem 6.43 of [GGSWT2025].
Let 1 ≤ p,q,r ≤ ∞ with 1/r + 1 = 1/p + 1/q. Let C(p,q,r) denote the supremum of the quantity Q(f, g) := ‖f * g‖_r/‖f‖_p ‖g‖_q over all non-zero test functions f,g. What is C(p,q,r)?
Zaremba’s conjecture concerns denominators of rational numbers b/d∈(0,1) whose finite continued fraction expansions have all partial quotients bounded by an absolute constant.
