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 openPapers · Combinatorics

Monochromatic quantum graphs (inherited vertex colorings)

For N=10N = 10 and D=9D = 9, does there exist no solution to the monochromatic quantum graph equation system over C\mathbb{C}?

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

Erdős Problem 683

There exists c>0c > 0 such that P(n,k)>min{nk+1,k1+c}P(n, k) > \min\{n-k+1, k^{1 + c}\} for all 0<k<n0 < k < n.}

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openPapers · Combinatorics

Monochromatic quantum graphs (inherited vertex colorings)

For N=12N = 12 and D=3D = 3, does there exist no solution to the monochromatic quantum graph equation system over C\mathbb{C}?

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

Erdős Problem 683: Exp Sqrt

Standard heuristics suggest that P(n,k)>eckP(n, k) > e^{c\sqrt{k}} for some constant c>0c > 0.

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openPapers · Combinatorics

Monochromatic quantum graphs (inherited vertex colorings)

For N=14N = 14 and D=3D = 3, does there exist no solution to the monochromatic quantum graph equation system over C\mathbb{C}?

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

Erdős Problem 686

Can every integer N2N≥2 be written as N=1ik(m+i)1ik(n+i)N=\frac{\prod_{1\leq i\leq k}(m+i)}{\prod_{1\leq i\leq k}(n+i)} for some k2k≥2 and mn+km≥n+k?

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openPapers · Combinatorics

Monochromatic quantum graphs (inherited vertex colorings)

For N=16N = 16 and D=3D = 3, does there exist no solution to the monochromatic quantum graph equation system over C\mathbb{C}?

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

Erdős Problem 686: Square

Can every square N2N≥2 be written as N=1ik(m+i)1ik(n+i)N=\frac{\prod_{1\leq i\leq k}(m+i)}{\prod_{1\leq i\leq k}(n+i)} for some k2k≥2 and mn+km≥n+k?

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openPapers · Combinatorics

Monochromatic quantum graphs (inherited vertex colorings)

For all even N6N \geq 6 and D3D \geq 3, does there exist no solution to the monochromatic quantum graph equation system over C\mathbb{C}?

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

Erdős Problem 686: Four

Can 44 be written as 4=1ik(m+i)1ik(n+i)4=\frac{\prod_{1\leq i\leq k}(m+i)}{\prod_{1\leq i\leq k}(n+i)} for some k2k≥2 and mn+km≥n+k?

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openPapers · Combinatorics

Monochromatic quantum graphs (inherited vertex colorings)

For N=6N = 6 and D=3D = 3, does there exist no solution to the monochromatic quantum graph equation system over R\mathbb{R}?

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

Erdős Problem 686: Twenty Five

Can 2525 be written as 25=1ik(m+i)1ik(n+i)25=\frac{\prod_{1\leq i\leq k}(m+i)}{\prod_{1\leq i\leq k}(n+i)} for some k2k≥2 and mn+km≥n+k?

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openPapers · Combinatorics

Monochromatic quantum graphs (inherited vertex colorings)

For N=6N = 6 and D=5D = 5, does there exist no solution to the monochromatic quantum graph equation system over R\mathbb{R}?

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

Erdős Problem 688: Lower Bound

Estimate ϵn\epsilon_n - lower bound.

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openPapers · Combinatorics

Monochromatic quantum graphs (inherited vertex colorings)

For N=6N = 6 and all D3D \geq 3, does there exist no solution to the monochromatic quantum graph equation system over R\mathbb{R}?

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

Erdős Problem 688: Upper Bound

Estimate ϵn\epsilon_n - upper bound.

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openPapers · Combinatorics

Monochromatic quantum graphs (inherited vertex colorings)

For N=8N = 8 and D=3D = 3, does there exist no solution to the monochromatic quantum graph equation system over R\mathbb{R}?

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

Erdős Problem 688: Ii

In particular, is it true that ϵn=o(1)\epsilon_n = o(1)?

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openPapers · Combinatorics

Monochromatic quantum graphs (inherited vertex colorings)

For N=10N = 10 and D=3D = 3, does there exist no solution to the monochromatic quantum graph equation system over R\mathbb{R}?

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

Erdős Problem 689

Let n be sufficiently large. Is there some choice of congruence class a_p for all primes 2 ≤ p ≤ n such that every integer in [1,n] satisfies at least two of the congruences ≡ a_p (mod p)?

Source checked Jul 26, 20261 pinned Lean statementInspect problem