Vela Mathematics Program: problems

Narrowed toopen ×source:erdos-ai-contributions-wiki ×Clear all

Problem ledger

122 problems · 3/3Number SourcesGraph view

declared open · formalizederdos:1038

f

whose roots lie in

[-1, 1]

, determine

\inf_f |\{x \in \mathbb{R} : |f(x)| < 1\}|

analysisN/A4 sources

declared openerdos:1039

For

f(z) = \prod_{i=1}^n (z - z_i)

with all

|z_i| \le 1

, let

\rho(f)

be the radius of the largest disc contained in

\{z : |f(z)| < 1\}

. Is

\rho(f) \gg 1/n

? The worst case is now known to be

\Theta(1/n)

, with the explicit bound

\rho(f) \ge (\log 2)/n

analysisN/A3 sources

declared openerdos:1040

For a closed infinite set

F \subseteq \mathbb{C}

, let

\mu(F)

be the infimum of

|\{z : |f(z)| < 1\}|

over monic polynomials with zeros in

F

. Is

\mu(F)

determined only by the transfinite diameter of

F

analysisN/A3 sources

declared open · formalizederdos:1054

sorry ↔ (fun n => ↑(Erdos1054.f n)) =o[Filter.atTop] fun n => ↑n

number theorydivisorsA1674853 sources

declared open · formalizederdos:1061

For

S(x) = \#\{(a,b) : a + b \le x,\ \sigma(a) + \sigma(b) = \sigma(a+b)\}

, is

S(x) \sim cx

? The preprint claims

S(x)

grows faster than

x (\log x)^R

for every fixed

R

, ruling out the linear asymptotic.

number theoryA110177 · possible4 sources

declared open · formalizederdos:1062

(∃ l, Filter.Tendsto (fun n => ↑(Erdos1062.f n) / ↑n) Filter.atTop (nhds l) ∧ Irrational l) ↔ True

number theoryA0383723 sources

declared openerdos:1070

Erdős problem 1070

geometrypossible2 sources

declared open · formalizederdos:1095

Asymptotics.IsEquivalent Filter.atTop (fun k => Real.log ↑(Erdos1095.g k)) fun k => ↑k / Real.log ↑k

number theorybinomial coefficientsA0034584 sources

declared open · formalizederdos:1097

False ↔ ∃ C > 0, ∀ (A : Finset ℤ), ↑(Erdos1097.CommonDifferencesThreeTermAP A).ncard ≤ C * ↑A.card ^ (3 / 2)

number theoryadditive combinatoricsN/A3 sources

declared open · formalizederdos:1101

Does there exist a good pairwise-coprime sequence

u_n

with

\sum 1/u_n < \infty

and polynomial growth? What if one only requires

u_n \le e^{o(n)}

number theoryN/A4 sources

declared openerdos:1131

Erdős problem 1131

analysispolynomialsN/A2 sources

declared openerdos:1132

Erdős problem 1132

analysispolynomialsN/A2 sources

declared open · formalizederdos:1133

Must every sufficiently large node set admit bounded labels that force any polynomial fitting almost all labels at degree below

(1+\varepsilon)n

to have arbitrarily large uniform norm? Claimed via Beurling density for Bernstein spaces.

analysispolynomialsN/A4 sources

declared open · formalizederdos:1139

True ↔ Filter.limsup (fun k => (↑↑(Nat.nth (fun n => 0 < n ∧ ArithmeticFunction.cardFactors n ≤ 2) (k + 1)) - ↑↑(Nat.nth (fun n => 0 < n ∧ ArithmeticFunction.cardFactors n ≤ 2) k)) / ↑(Real.log (↑k + 1))) Filter.atTop = ⊤

number theoryprimesA037143 · A1010413 sources

declared openerdos:1143

Erdős problem 1143

number theoryprimesN/A2 sources

declared openerdos:1151

Let

\mathcal{L}^nf

be the Lagrange interpolation polynomials of a continuous

f

on the Chebyshev nodes. Prove that, for any closed

A\subseteq [-1,1]

, there exists a continuous function

f

such that

A

is the set of limit points of

\mathcal{L}^nf(x)

analysispolynomialsN/A3 sources

declared openerdos:1177

For a finite forbidden triple system

G

, what exact uncountable chromatic cardinalities occur among

G

-free triple systems, and how do those spectra interact? The revised manuscript answers the three exact-cardinal questions and claims a complete spectrum dichotomy.

set theorychromatic numberhypergraphsN/A3 sources

declared openerdos:1183

Erdős problem 1183

combinatoricsramsey theorypossible2 sources

declared openerdos:1194

Erdős problem 1194

additive combinatoricsadditive basissidon setspossible2 sources

declared open · formalizederdos:1201

Is it true that for every

\epsilon,\eta>0

there exists a

k

such that the density of

n

for which

P(n(n+1)\cdots(n+k))>n^{1-\epsilon}

is at least

1-\eta

, where

P(m)

is the greatest prime divisor of

m

? A short argument via the Matomäki-Radziwiłł theorem establishes the lower-density version.

number theoryprimespossible4 sources

declared openerdos:1208

Erdős problem 1208

geometrydistancesA193838 · A271490 · possible2 sources

declared open · formalizederdos:1209

False ↔ ∃ f, ∀ (a : ℕ → ℕ), StrictMono a → (∀ (k : ℕ), f k ≤ a k) → (∃ n, ∀ (k : ℕ), Nat.Prime (n + a k)) → {n | ∀ (k : ℕ), Nat.Prime (n + a k)}.Infinite

number theorypossible3 sources

Problems · Vela Mathematics Program

Problem ledger

Search problems.science