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.
1047 shown· page 6 of 21
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.
There does not exist a (2,5)-perfect number
Let b(n) = a(2n-1). Then the supercongruence b(n p^k) ≡ b(n p^k-1) pmodp^3k holds for positive integers n and k and all primes p ≥ 5. - Zhi-Wei Sun, Nov 16 2019
Let b(n) = a(2n-1). Then the supercongruence b(n p^k) ≡ b(n p^k-1) pmodp^3k holds for positive integers n and k and all primes p ≥ 5. - Zhi-Wei Sun, Nov 16 2019
Let D be the diagonal group of SL_n(ℝ) where n ≥ 3. Then any relatively compact D-orbit in SL_n(ℝ) / SL_n(ℤ) is closed.
Does every positive integer occur as a difference in this sequence?
Prime for a(1) = 3, a(2) = 11, a(4) = 15131; semiprime for a(3) = 123 = 3 41, a(5) = 228947163 = 3 76315721. a(6), added by Jonathan Vos Post, has 4 prime factors. a(7) = 41 811^2 106693969 317171188688357726699 8272236925540996054440172449761. When is the next prime in the sequence?
Conjecture: a(n) ≤ 1 + φ(n) for n > 0. This improves on Oppermann's conjecture, which says a(n) < n. - Thomas Ordowski, Dec 17 2014
I conjecture that a(n) ; n>1 are the numbers such that n^4-1 divides 2^n-1, intersection of A247219 and A247165. - M. F. Hasler, Jul 25 2015 This formalizes the reverse direction.
The current sequence contains primes, including 3, 5, 41, 21523361. Is there an (a, b, c) weighted tribonacci sequence with a, b, c relatively prime which is prime-free?
It is conjectured that every odd number occurs in this sequence.
Conjecture: a(n)/A006880(n) → 1.77... where A006880(n) is the number of primes ≤ 10^n.
First primes are a(11) = 264353 and a(17) = 193622861. Additional primes: a(71), a(91), a(431). What is the next prime?
Conjecture 1 (Peter Bala, 2024): If prime p is in A003625 then a(p^2) ≡ 8 + p^2 pmodp^3.
Wolfgang Haken (1977) conjectured that no term of this sequence is a perfect square, and estimated the probability that this conjecture is false to be smaller than 10^-9.
For every positive real number ε, there exist only finitely many triples (a, b, c) of coprime positive integers, with a + b = c, such that c > rad(abc)^(1+ε)
