Questions, not proof records

Open-problem statements, with their sources attached.

Each statement record keeps the mathematical question, a dated status source, accessible references, and any pinned Lean formulation separate from proof verification.

“Open” is a dated source assertion. In these pinned sources, sorry marks an admitted statement, not a proof. Source indexing does not mean the formulation has been independently built or certified by Therefore.
All topics

1194 of 1194 statement records

17 source collections · 43 mathematical fields

Source labels openGreen's Open Problems · Combinatorics

Green's Open Problem 9

Problem 9 (ii): is r5(N)N(logN)cr_5(N) \ll N(\log N)^{-c}?

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openErdős Problems · Number theory

Erdős Problem 409: Ii

Can infinitely many nn reach the same prime under the iteration nϕ(n)+1n\mapsto\phi(n) + 1?

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openGreen's Open Problems · Combinatorics

Green's Open Problem 9

Problem 9 (iii): is r4(F5n)N1cr_4(\mathbf{F}_5^n) \ll N^{1-c}, where N=5nN=5^n?

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openErdős Problems · Number theory

Erdős Problem 409: Iii

What is the density of nn which reach any fixed prime under the iteration nϕ(n)+1n\mapsto\phi(n) + 1?

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openErdős Problems · Number theory

Erdős Problem 409: Sigma

How many iterations of nσ(n)1n\mapsto\sigma(n) - 1 are needed before a prime is reached?

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openOpen Quantum Problems · Combinatorics

Open Quantum Problem 13: Mutually unbiased bases

Special case in dimension 66: determine the maximal number of mutually unbiased orthonormal bases in C6\mathbb{C}^6.

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openErdős Problems · Number theory

Erdős Problem 409: Sigma Termination

If n>1n > 1 then the iteration nσ(n)1n\mapsto\sigma(n) - 1 necessarily reaches a prime. Note: this is open , it is not clear that the σ iteration always terminates, since it is non-decreasing (unlike the φ iteration which is strictly decreasing).

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openOpen Quantum Problems · Combinatorics

Open Quantum Problem 13: Mutually unbiased bases

Special case in dimension 1010 (not a prime power): determine the maximal number of mutually unbiased orthonormal bases in C10\mathbb{C}^{10}.

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openErdős Problems · Number theory

Erdős Problem 409: Sigma Is Theta

Let c(n)c(n) be the minimum number of iterations of nσ(n)1n\mapsto\sigma(n) - 1 before a prime is reached. What is Θ(c(n))\Theta(c(n))?

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openOpen Quantum Problems · Combinatorics

Open Quantum Problem 13: Mutually unbiased bases

Special case in dimension 1212 (not a prime power): determine the maximal number of mutually unbiased orthonormal bases in C12\mathbb{C}^{12}.

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openErdős Problems · Number theory

Erdős Problem 409: Sigma Is Big O

Let c(n)c(n) be the minimum number of iterations of nσ(n)1n\mapsto\sigma(n) - 1 before a prime is reached. Find the simplest function g(n)g(n) such that c(n)=O(g(n))c(n) = O(g(n))?

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openOpen Quantum Problems · Combinatorics

Open Quantum Problem 13: Mutually unbiased bases

Special case in dimension 1414 (not a prime power): determine the maximal number of mutually unbiased orthonormal bases in C14\mathbb{C}^{14}.

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openErdős Problems · Number theory

Erdős Problem 409: Sigma Is Little O

Let c(n)c(n) be the minimum number of iterations of nσ(n)1n\mapsto\sigma(n) - 1 before a prime is reached. Find the simplest function g(n)g(n) such that c(n)=o(g(n))c(n) = o(g(n))?

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openOpen Quantum Problems · Combinatorics

Open Quantum Problem 13: Mutually unbiased bases

Special case in dimension 1515 (not a prime power): determine the maximal number of mutually unbiased orthonormal bases in C15\mathbb{C}^{15}.

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openErdős Problems · Number theory

Erdős Problem 409: Sigma Prime Termination

Is it true that iterates of nσ(n)1n\mapsto\sigma(n) - 1 always reach a prime?

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openOpen Quantum Problems · Combinatorics

Open Quantum Problem 13: Mutually unbiased bases

Open Quantum Problem 13: determine the maximal number of mutually unbiased orthonormal bases in Cd\mathbb{C}^d for d2d \ge 2.

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openErdős Problems · Number theory

Erdős Problem 41

Let A ⊆ ℕ be an infinite set such that the triple sums a + b + c are all distinct for a, b, c in A (aside from the trivial coincidences). Is it true that liminf n → ∞ |A ∩ {1, …, N}| / N^(1/3) = 0?

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openErdős Problems · Number theory

Erdős Problem 410

Let σ1(n)=σ(n)σ_1(n) = σ(n), the sum of divisors function, and σk(n)=σ(σk1(n))σ_k(n) = σ(σ_{k-1}(n)).

Is it true that limkσk(n)1k=\lim_{k → ∞} σ_k(n)^{\frac 1 k} = ∞?

This is problem (iii) from Erdos, Granville, Pomerance, Spiro "On the normal behavior of the iterates of some arithmetical functions" (page 169 of the book "Analytic Number Theory", 1990).

Source checked Jul 26, 20261 pinned Lean statementInspect problem