Browse Problems
Search and filter the ASI Benchmark problem set. Click any problem to see its Lean statement and recent submissions.
Filters
Results
| Prize | Problem | Status | ID |
|---|---|---|---|
| - |
erdos_517.fejer
If `f(z) = ∑ aₖzⁿₖ` is an entire function (with `aₖ ≠ 0` for all `k`) such that `∑ 1 / nₖ < ∞`, then `f` assumes every value infinitely often. This …
|
Solved | ErdosProblems__517__erdos_517.fejer |
| - |
erdos_520
Let $f$ be a Rademacher multiplicative function. Does there exist some constant $c > 0$ such that, almost surely, \[ \limsup_{N \to \infty} \frac{\sum_{m \leq N} f(m)}{\sqrt{N \log \log N}} = c? …
|
Open | ErdosProblems__520__erdos_520 |
| - |
erdos_522
Let `f(z)=∑_{0≤k≤n} ϵ_k z^k` be a random polynomial, where `ϵ_k∈{−1,1}` independently uniformly at random for `0≤k≤n`. Is it true that the number of roots of `f(z)` in `{z∈C:|z|≤1}` is, almost surely, `(1/2+o(1))n`? …
|
Open | ErdosProblems__522__erdos_522 |
| - |
erdos_522.variants.number_real_roots
Erdős and Offord showed that the number of real roots of a random degree `n` polynomial with `±1` coefficients is `(2/π+o(1))log n`.
|
Solved | ErdosProblems__522__erdos_522.variants.number_real_roots |
| - |
erdos_522.variants.yakir_solution
Yakir proved that almost all Kac polynomials have `n/2+O(n^(9/10))` many roots in `{z∈C:|z|≤1}`.
|
Solved | ErdosProblems__522__erdos_522.variants.yakir_solution |
| - |
erdos_536
Let $\epsilon>0$ and $N$ be sufficiently large. Is it true that if $A\subseteq \{1,\ldots,N\}$ has size at least $\epsilon N$ then there must be distinct $a,b,c\in A$ such that $$[a, b]=[b, c]=[a, …
|
Open | ErdosProblems__536__erdos_536 |
| - |
erdos_541
Let $a_1, \dots, a_p$ be (not necessarily distinct) residues modulo a prime $p$, such that there exists some $r$ so that if $S \subseteq [p]$ is non-empty and $$\sum_{i \in S} a_i …
|
Solved | ErdosProblems__541__erdos_541 |
| - |
erdos_541.variants.general_moduli
Gao, Hamidoune, and Wang [GHW10] solved this for all moduli `p` (not necessarily prime). [GHW10] Gao, Weidong and Hamidoune, Yahya Ould and Wang, Guoqing, Distinct length modular zero-sum subsequences: a proof of …
|
Solved | ErdosProblems__541__erdos_541.variants.general_moduli |
| - |
erdos_541.variants.large_primes
This was proved by Erdős and Szemerédi [ErSz76] for p sufficiently large. [ErSz76] Erd\H os, E. and Szemerédi, E., On a problem of Graham. Publ. Math. Debrecen (1976), 123--127.
|
Solved | ErdosProblems__541__erdos_541.variants.large_primes |
| - |
erdos_56
Suppose $A \subseteq \{1,\dots,N\}$ is such that there are no $k+1$ elements of $A$ which are relatively prime. An example is the set of all multiples of the first $k$ primes. Is …
|
Solved | ErdosProblems__56__erdos_56 |
| - |
erdos_562
Let $R_r(n)$ denote the $r$-uniform hypergraph Ramsey number: the minimal $m$ such that if we $2$-colour all edges of the complete $r$-uniform hypergraph on $m$ vertices then there must be some monochromatic …
|
Open | ErdosProblems__562__erdos_562 |
| - |
erdos_564
Let $R_3(n)$ be the minimal $m$ such that if the edges of the $3$-uniform hypergraph on $m$ vertices are $2$-coloured then there is a monochromatic copy of the complete $3$-uniform hypergraph on …
|
Open | ErdosProblems__564__erdos_564 |
| - |
erdos_566
Let $G$ be such that any subgraph on $k$ vertices has at most $2k-3$ edges. Is it true that, if $H$ has $m$ edges and no isolated vertices, then $\hat{r}(G,H) \ll m$? …
|
Open | ErdosProblems__566__erdos_566 |
| - |
erdos_567_H5
**Erdős Problem 567 (H5)** Is $H_5$ ($C_5$ with two vertex-disjoint chords) Ramsey size linear?
|
Open | ErdosProblems__567__erdos_567_H5 |
| - |
erdos_567_K33
**Erdős Problem 567 (K33)** Is $K_{3,3}$ Ramsey size linear?
|
Open | ErdosProblems__567__erdos_567_K33 |
| - |
erdos_567_Q3
**Erdős Problem 567 (Q3)** Is $Q_3$ (the 3-dimensional hypercube) Ramsey size linear?
|
Open | ErdosProblems__567__erdos_567_Q3 |
| - |
erdos_587.variants.nguyen_vu
Nguyen and Vu proved that $|A| \ll N^{1/3} (\log N)^{O(1)}$.
|
Solved | ErdosProblems__587__erdos_587.variants.nguyen_vu |
| - |
erdos_590
Let $α$ be the infinite ordinal $\omega^{\omega}$. It was proved by Chang [Ch72] that any red/blue colouring of the edges of $K_α$ there is either a red $K_α$ or a blue $K_3$.
|
Solved | ErdosProblems__590__erdos_590 |
| - |
erdos_590.variants.finite_cardinal
Let m be a finite cardinal $< \omega$. Let $α$ be the infinite ordinal $\omega^{\omega}$. It was proved by Milnor that any red/blue colouring of the edges of $K_α$ there is either …
|
Solved | ErdosProblems__590__erdos_590.variants.finite_cardinal |
| - |
erdos_590.variants.ge_three_false
Specker [Sp57] proved that when $α=ω^n$ for $3≤ n < \omega$ then it is not the case that any red/blue colouring of the edges of $K_α$ there is either a red $K_α$ …
|
Solved | ErdosProblems__590__erdos_590.variants.ge_three_false |
| - |
erdos_590.variants.two
Specker [Sp57] proved that when $α=ω^2$ any red/blue colouring of the edges of $K_α$ there is either a red $K_α$ or a blue $K_3$.
|
Solved | ErdosProblems__590__erdos_590.variants.two |
| - |
erdos_591
Let $α$ be the infinite ordinal $\omega^{\omega^2}$. Is it true that any red/blue colouring of the edges of $K_α$ there is either a red $K_α$ or a blue $K_3$? This is true …
|
Solved | ErdosProblems__591__erdos_591 |
| - |
erdos_592
Determine which countable ordinals $β$ have the property that, if $α = \omega^β$, then in any red/blue colouring of the edges of $K_α$ there is either a red $K_α$ or a blue …
|
Open | ErdosProblems__592__erdos_592 |
| - |
erdos_598
**Erdős Problem 598:** Let $m$ be an infinite cardinal and $\kappa$ be the successor cardinal of $2^{\aleph_0}$. Can one colour the countable subsets of $m$ using $\kappa$ many colours so that every …
|
Open | ErdosProblems__598__erdos_598 |
| - |
erdos_6
There are infinitely many $n$ such that $d_n < d_{n+1} < d_{n+2}$, where $d$ denotes the prime gap function.
|
Solved | ErdosProblems__6__erdos_6 |
| - |
erdos_61
The Erdős–Hajnal Conjecture states that there is a constant $c(H) > 0$ for each $H$ such that we can take $f(n) = n^{c(H)}$ in the above formulation.
|
Open | ErdosProblems__61__erdos_61 |
| - |
erdos_617
Let $r\geq 3$. If the edges of $K_{r^2+1}$ are $r$-coloured then there exist $r+1$ vertices with at least one colour missing on the edges of the induced $K_{r+1}$. In other words, there …
|
Open | ErdosProblems__617__erdos_617 |
| - |
erdos_617.variant.r2
Erdős and Gyárfás [ErGy99] showed this property fails for infinitely many $r$ if we replace $r^2+1$ by $r^2$.
|
Solved | ErdosProblems__617__erdos_617.variant.r2 |
| - |
erdos_617.variant.r_eq_3
Erdős and Gyárfás [ErGy99] proved the conjecture for $r=3$.
|
Solved | ErdosProblems__617__erdos_617.variant.r_eq_3 |
| - |
erdos_617.variant.r_eq_4
Erdős and Gyárfás [ErGy99] proved the conjecture for $r=4$.
|
Solved | ErdosProblems__617__erdos_617.variant.r_eq_4 |
| - |
erdos_61.variants.bnss23
Bucić, Nguyen, Scott, and Seymour [BNSS23] improved this to $f(n) = \exp(c_H \sqrt{\log n \log \log n})$ for some constant $c_H > 0$ dependending on $H$. [BNSS23] Bucić, M. and Nguyen, T. …
|
Solved | ErdosProblems__61__erdos_61.variants.bnss23 |
| - |
erdos_61.variants.erha89
Erdős and Hajnal [ErHa89] proved that we can take $f(n) = \exp(c_H \sqrt{\log n})$ for some constant $c_H > 0$ dependending on $H$. [ErHa89] Erdős, P. and Hajnal, A., Ramsey-type theorems. Discrete …
|
Solved | ErdosProblems__61__erdos_61.variants.erha89 |
| - |
erdos_623
Let $X$ be a set of cardinality $\aleph_\omega$ and $f$ be a function from the finite subsets of $X$ to $X$ such that $f(A)\not\in A$ for all $A$. Must there exist an …
|
Open | ErdosProblems__623__erdos_623 |
| - |
erdos_624
Let $X$ be a finite set of size $n$ and $H(n)$ be such that there is a function $f:\{A : A\subseteq X\}\to X$ so that for every $Y\subseteq X$ with $\lvert Y\rvert …
|
Open | ErdosProblems__624__erdos_624 |
| - |
erdos_64
Does every finite graph with minimum degree at least $3$ contain a cycle of length $2^k$ for some $k \geq 2$?
|
Open | ErdosProblems__64__erdos_64 |
| - |
erdos_645
If ℕ is $2$-coloured then there must exist a monochromatic three-term arithmetic progression $x,x+d,x+2d$ such that $d>x$.
|
Solved | ErdosProblems__645__erdos_645 |
| - |
erdos_647
Let $\tau(n)$ count the number of divisors of $n$. Is there some $n > 24$ such that $$ \max_{m < n}(m + \tau(m)) \leq n + 2? $$
|
Open | ErdosProblems__647__erdos_647 |
| - |
erdos_647.variants.infinite
Erdős says it 'seems certain' that for every $k$ there are infinitely many $n$ for which $$ \max_{n−k < m < n}(m + \tau(m)) ≤ n + 2. $$
|
Open | ErdosProblems__647__erdos_647.variants.infinite |
| - |
erdos_647.variants.lim
Erdős says 'it is extremely doubtful' that there are infinitely many such $n$, and in fact suggests that $$ lim_{n\to\infty} \max_{m < n}(\tau(m) + m − n) = \infty. $$
|
Open | ErdosProblems__647__erdos_647.variants.lim |
| - |
erdos_647.variants.twenty_four
This is true for $n = 24$.
|
Solved | ErdosProblems__647__erdos_647.variants.twenty_four |
| - |
erdos_659
Is there a set of $n$ points in $\mathbb{R}^2$ such that every subset of $4$ points determines at least $3$ distances, yet the total number of distinct distances is $\ll \frac{n}{\sqrt{\log n}}$? …
|
Solved | ErdosProblems__659__erdos_659 |
| - |
erdos_66
Is there and $A \subset \mathbb{N}$ is such that $$\lim_{n\to \infty}\frac{1_A\ast 1_A(n)}{\log n}$$ exists and is $\ne 0$?
|
Open | ErdosProblems__66__erdos_66 |
| - |
erdos_67
**The Erdős discrepancy problem** If $f\colon \mathbb N \rightarrow \{-1, +1\}$ then is it true that for every $C>0$ there exist $d, m \ge 1$ such that $$\left\lvert \sum_{1\leq k\leq m}f(kd)\right\rvert > …
|
Solved | ErdosProblems__67__erdos_67 |
| - |
erdos_672
Can the product of an arithmetic progression of positive integers $n, n + d, ..., n + (k - 1)d$ of length ≥ 4, with $(n, d) = 1$, be a perfect …
|
Open | ErdosProblems__672__erdos_672 |
| - |
erdos_672.variants.euler
According to https://www.erdosproblems.com/672, Euler proved this.
|
Solved | ErdosProblems__672__erdos_672.variants.euler |
| - |
erdos_672.variants.oblath
According to https://www.erdosproblems.com/672, Obláth proved this. [Ob51] Oblath, Richard, Eine Bemerkung über Produkte aufeinander folgender Zahlen. J. Indian Math. Soc. (N.S.) (1951), 135-139.
|
Solved | ErdosProblems__672__erdos_672.variants.oblath |
| - |
erdos_677
Denote by $M(n, k)$ the least common multiple of the finite set $\{n+1, \dotsc, n+k\}$. Is it true that for all $m \geq n + k$, we get $M(m, k) \neq M(n, …
|
Open | ErdosProblems__677__erdos_677 |
| - |
erdos_678
Write $M(n, k)$ be the least common multiple of $\{n+1, \dotsc, n+k\}$. Let $k$ be sufficiently large. Are there infinitely many $m, n$ with $m \geq n + k$ such that $$ …
|
Solved | ErdosProblems__678__erdos_678 |
| - |
erdos_67.variants.complex
**The Erdős discrepancy problem (complex variant)** If $f\colon \mathbb N \rightarrow S^1 ⊆ ℂ$ then is it true that for every $C>0$ there exist $d, m \ge 1$ such that $$\left\lvert \sum_{1\leq …
|
Solved | ErdosProblems__67__erdos_67.variants.complex |
| - |
erdos_68
Is $$\sum_{n=2}^\infty \frac{1}{n!-1}$$ irrational?
|
Open | ErdosProblems__68__erdos_68 |