Vela Mathematics Program: problems

Narrowed toopen ×source:vibemathed ×Clear all

Problem ledger

58 problems · 1/2Number SourcesGraph view

declared open · formalizederdos:12

A \subset \mathbb{N}

be infinite with no distinct

a, b, c \in A

such that

a \mid (b + c)

with

b, c > a

. Can

|A \cap [1, N]|/\sqrt{N}

have positive lower limit? Must every such

A

fall below

N^{1-c}

infinitely often?

number theoryN/A4 sources

declared open · formalizederdos:130

For an infinite planar set in strong general position, how large can the chromatic and clique numbers of its positive-integer-distance graph be - in particular, can the chromatic number be infinite? Yes: there is such a set, no three collinear and no four concyclic, with infinite chromatic number.

graph theorychromatic numberN/A4 sources

declared openerdos:131

Let

F(N)

be the maximal size of

A\subseteq\{1,\ldots,N\}

such that no

a\in A

divides the sum of any nonempty subset of

A\setminus\{a\}

. Estimate

F(N)

. The lower bound

F(N)\gg N^{1/5}

is classical, from constructions of Erdős and Csaba, and every non-dividing set is non-averaging, which gave

F(N)\leq N^{1/4+o(1)}

. The claimed new result is the matching upper bound

F(N)\leq N^{1/5+o(1)}

, obtained by running the Pham-Zakharov density-increment argument one dimension lower through a projective normalization, hence

F(N)=N^{1/5+o(1)}

number theoryA0680632 sources

declared open · formalized · $500erdos:138

W(k)

is the least

N

such that every two-colouring of

\{1, \dots, N\}

contains a monochromatic

k

-term arithmetic progression, must

W(k+1) - W(k) \to \infty

additive combinatoricsA0053464 sources

declared openerdos:176

Let

N(k, \ell)

be the least

N

such that every

f : [N] \to \{-1, 1\}

has a

k

-term arithmetic progression

P

with

|\sum_{n \in P} f(n)| \ge \ell

. In particular, is

N(k, 2) \le C^k

additive combinatoricsarithmetic progressionsdiscrepancypossible3 sources

declared open · formalizederdos:254

A \subseteq \mathbb{N}

has unbounded dyadic-shell counts and

\sum_{n \in A} \|\theta n\| = \infty

for every

0 < \theta < 1

, must

A

be complete - is every sufficiently large integer a sum of distinct elements of

A

number theoryN/A4 sources

declared open · formalizederdos:267

n_1 < n_2 < \cdots

with

n_{k+1}/n_k \ge c > 1

, must

\sum_k 1/F_{n_k}

be irrational? The proposed proof closes the range

1 < c < 2

left open by earlier criteria.

irrationalityN/A4 sources

declared open · formalizederdos:306

a/b \in \mathbb{Q}_{>0}

and

b

is squarefree, can

a/b

always be written as a finite sum of reciprocals of distinct products of two distinct primes?

number theoryunit fractionsN/A4 sources

declared open · formalizederdos:326

Does there exist

A=\{a_1<a_2<\cdots\}\subset \mathbb{N}

which is a minimal basis of order

2

(every large integer is the sum of

2

elements from

A

, and no proper subset of

A

has this property) such that

\lim_{k\to \infty}a_k/k^2=c

for some

c\neq 0

? A claimed construction gives a minimal basis with

A(x)=C\sqrt{x}+O(1)

, answering the question affirmatively; Erdős and Graham had conjectured a negative answer.

number theoryadditive basisN/A4 sources

declared openerdos:336

h(r)

is the maximal finite exact order attainable by an additive basis of order at most

r

, what is

\lim_{r \to \infty} h(r)/r^2

? The candidate proof identifies the sharp limit

1/3

number theoryadditive basispossible2 sources

declared open · formalizederdos:346

Let

A=\{1\leq a_1< a_2<\cdots\}

be a set of integers such that

A\backslash B

is complete for any finite subset

B

and not complete for any infinite subset

B

. If

a_{n+1}/a_n \geq 1+\epsilon

for all

n

, must

\lim_n a_{n+1}/a_n=(1+\sqrt{5})/2

? Under the reading where the ratio limit is assumed to exist, a Lean-verified argument forces the limit to be the golden ratio; a separate construction disproves the literal statement where convergence is not assumed.

number theorycomplete sequencesN/A4 sources

declared open · formalizederdos:390

Let

f(n)

be the least

m

for which

n!

can be written as

a_1\cdots a_k

with

n < a_1 < \cdots < a_k = m

- the smallest possible largest factor in a factorization of

n!

into distinct integers all exceeding

n

. Erdős, Guy and Selfridge proved

f(n) - 2n \asymp n/\log n

. Erdős asked whether there is a constant

c

with

f(n) - 2n \sim c\,\frac{n}{\log n},

and what it is. This preprint answers yes and names the constant:

\lim_{n\to\infty}\frac{(f(n)-2n)\log n}{n} = \frac{4029639598}{25970038185} \approx 0.15516.

number theoryfactorialsA1934294 sources

declared open · formalizederdos:394

For the least

t_k(n)

with

n \mid t_k(n)(t_k(n)+1)\cdots(t_k(n)+k-1)

, do the conjectured logarithmic-saving and adjacent-length estimates hold on average? Both answered affirmatively, with

c = 1/2048

admissible in the

t_2

bound.

number theoryA3440054 sources

declared open · formalizederdos:424

Let

a_1 = 2

and

a_2 = 3

and continue the sequence by appending to

a_1, \dots, a_n

all possible values of

a_ia_j - 1

with

i \ne j

. Is it true that the set of integers which eventually appear has positive density?

number theoryA0052444 sources

declared open · formalizederdos:450

How large must

y(\varepsilon, n)

be so that every interval

(x, x+y)

contains at most

\varepsilon y

integers having a divisor in

(n, 2n)

? The candidate proof gives the sharp fixed-

\varepsilon

order

y = \Theta_\varepsilon(n)

, uniformly in the translate.

number theorydivisorsN/A4 sources

declared openerdos:451

Let

n_k

be the least integer greater than

2k

for which

\prod_{i=1}^k (n_k - i)

has no prime factor in

(k, 2k)

. How rapidly must

n_k

grow?

number theoryA3866203 sources

declared open · formalizederdos:477

Does there exist an integer polynomial

f

of degree at least two and a set

A \subseteq \mathbb{Z}

such that every integer has a unique representation

n = a + f(k)

? A manuscript claims the thirteenth powers admit a tiling complement.

number theoryN/A4 sources

declared open · formalizederdos:489

A

is a forbidden-divisor set with

|A \cap [1,x]| = o(\sqrt{x})

and

B = \{b_1 < b_2 < \cdots\}

the sifted set, must

x^{-1} \sum_{b_i < x} (b_{i+1} - b_i)^2

converge to a finite limit?

number theoryN/A4 sources

declared open · formalizederdos:501

For every

x \in \mathbb{R}

let

A_x \subset \mathbb{R}

be a bounded set of Lebesgue outer measure

< 1

. Must there be an infinite independent set, that is an infinite

X \subseteq \mathbb{R}

with

x \notin A_y

for all distinct

x, y \in X

? Erdős and Hajnal proved that arbitrarily large finite independent sets exist. Hechler showed in 1972 that the answer is no under the continuum hypothesis, so any positive answer had to come from a model where CH fails, and Sungchul Lee later derived one from a real-valued measurable cardinal. The answer is that neither side is provable. Dropping Lee's large cardinal by transferring his argument to the extension of a model of CH by random reals gives a model where the answer is yes; Hechler's construction gives one where it is no. The question is independent of ZFC.

combinatoricsset theoryN/A4 sources

declared openerdos:514

For a transcendental entire function, how fast can

|f(z)|

be forced to grow along a path to infinity, and how short can such a path be in terms of the maximum modulus

M(r, f)

analysisN/A4 sources

declared open · formalizederdos:522

For

P_n(z) = \sum_{k=0}^n \varepsilon_k z^k

with independent uniform signs, does the number

R_n

of roots in

|z| \le 1

satisfy

R_n/(n/2) \to 1

almost surely? The manuscript proves the strong law with

R_n = n/2 + O_\omega(n^{149/150})

analysispolynomialsprobabilityN/A4 sources

declared open · formalizederdos:538

If each integer has at most

r

representations

m = pa

with

p

prime and

a \in A \subseteq [1, N]

, what is the best upper bound for

\sum_{a \in A} 1/a

? The candidate proof gives the matching order

\Theta_r(\log N / \log\log N)

number theoryN/A5 sources

declared open · formalizederdos:539

For

|A| = n

, how small can the cofactor set

Q(A) = \{a / \gcd(a,b) : a, b \in A\}

be? The answer is

h(n) = n^{1/2 + o(1)}

: a new upper bound

h(n) \le n^{1/2} \exp(O(\sqrt{\log n}))

matches the classical lower bound.

number theorypossible5 sources

declared openerdos:550

Let

m_1\leq\cdots\leq m_k

and

n

be sufficiently large. If

T

is a tree on

n

vertices and

G

is the complete multipartite graph with vertex class sizes

m_1,\ldots,m_k

, prove that

R(T,G)\leq (\chi(G)-1)(R(T,K_{m_1,m_2})-1)+m_1

graph theoryramsey theoryN/A4 sources

declared openerdos:584

Must every graph with

n

vertices and

\delta n^2

edges contain large subgraphs in which every two edges lie on specified short cycles? A dense high-girth construction refutes the statement when

\delta

may shrink with

n

graph theorycyclesN/A2 sources

declared open · formalized · $500erdos:593

Erdos Problem #593 asks which finite triple systems occur in every uncountably chromatic triple system. The answer is exactly the class generated from private-vertex expansions of finite bipartite graphs by finite disjoint unions and one-point amalgamations. Problem #1177 on exact spectra is settled alongside it.

set theorygraph theoryhypergraphsN/A4 sources

declared open · formalizederdos:623

Let

X

be a set of cardinality

\aleph_\omega

and

f

a function from the finite subsets of

X

X

such that

f(A)\not\in A

for all

A

. Must there exist an infinite independent

Y\subseteq X

, i.e. with

f(B)\not\in Y

for all finite

B\subset Y

? Claimed resolution: the positive assertion is equivalent to Koepke's free-subset property, hence independent of ZFC, with consistency strength exactly a measurable cardinal.

set theoryN/A4 sources

declared openerdos:654

n

planar points have no four concyclic, must some point determine

(1 - o(1))n

distinct distances? Failing that, can one always force more than

(1/3 + c)n

geometrydistancespossible3 sources

declared openerdos:662

Among sufficiently large one-separated planar point sets, does the triangular lattice maximize the number of distances below each threshold? Explicit rational oblique lattices beat the triangular lattice under several closed- and strict-shell readings.

geometrydistancesN/A3 sources

declared openerdos:670

Erdős asked whether every

n

-point set in Euclidean space whose pairwise distances are mutually at least 1 apart must have diameter at least

(1+o(1))n^2

. Disproved: an explicit high-dimensional construction beats the conjectured constant.

geometrydistancesN/A2 sources

declared open · $250erdos:671

For triangular arrays of nodes

a_i^n\in[-1,1]

let

\mathcal{L}^nf

be the Lagrange interpolation polynomials of a continuous

f

, with fundamental polynomials

p_i^n

. Is there a choice of nodes such that for every continuous

f

there is some

x

where

\limsup_n \sum_i\lvert p_{i}^n(x)\rvert=\infty

and yet

\mathcal{L}^nf(x) \to f(x)

? Is there a choice with

\limsup_n \sum_i\lvert p_{i}^n(x)\rvert=\infty

for every

x

, yet for every continuous

f

some

x

has

\mathcal{L}^nf(x)\to f(x)

? Both questions are claimed resolved in the affirmative.

analysisN/A3 sources

declared openerdos:684

For the least

k

at which the small-prime part of

\binom{n}{k}

exceeds

n^2

, how large can

f(n)

be?

number theoryprimesbinomial coefficientsA392019 · possible3 sources

declared openerdos:709

How long must an interval be to contain distinct representatives

x_i

, with

a_i \mid x_i

, for every

n

-element set of moduli

A = \{a_1, \dots, a_n\}

number theorypossible2 sources

declared openerdos:731

Let

A(n)

be the least positive integer not dividing

\binom{2n}{n}

. Erdos asked for the behaviour of

A(n)

for reasonable

n

. Under an explicit dyadic-regularity formalization of reasonable, the distribution is determined on dyadic intervals against the scale

F_X = \sqrt{2}(\log 2)^{1/4} L^{1/4} \exp\sqrt{(\log 2)L}

with

L = \log(2X)

number theorybinomial coefficientsA0061974 sources

declared openerdos:768

Let

A(x)

count

n \le x

such that every prime

p \mid n

has a divisor

d > 1

n

with

d \equiv 1 \pmod p

. Erdos asked whether

A(x)/x = \exp(-(c+o(1))\sqrt{\log x}\log\log x)

. It does, with

c = 1/(2\sqrt{\log 2})

number theoryA001034 · A3522873 sources

declared open · formalizederdos:769

For the least cutoff

c(n)

after which every

k

occurs as the number of homothetic cubes in a decomposition of the unit

n

-cube, is

c(n) \gg n^n

? The Lean proof shows

c(n) = o(n^n)

along odd dimensions.

number theorygeometryA014544 · possible4 sources

declared open · formalizederdos:796

g_3(n)

is the largest size of

A \subseteq [1,n]

with fewer than three representations of every product

a_1 a_2

, does its conjectured second-order normalized term converge? The candidate proof gives an explicit limit constant.

number theorypossible5 sources

declared openerdos:856

Let

k\geq 3

and

f_k(N)

be the maximum of

\sum_{n\in A}\frac{1}{n}

over all

A\subseteq\{1,\ldots,N\}

containing no

k

subsets with the same pairwise least common multiple. Estimate

f_k(N)

. The claimed answer:

f_k(N)=(\log N)^{\gamma_k+o(1)}

, where

\gamma_k

is a weighted generalization of the Tang-Zhang sunflower capacity.

number theorypossible3 sources

declared openerdos:866

Estimate the least excess

g_k(N)

forcing

k

integers whose pairwise sums all lie in a dense subset of

\{1, \dots, 2N\}

; in particular, determine the positive variant

h_4(n)

number theoryadditive combinatoricspossible5 sources

declared openerdos:870

Let

k\geq 3

and

A

be an additive basis of order

k

. Does there exist a constant

c=c(k)>0

such that if

r(n)\geq c\log n

for all large

n

(where

r(n)

counts representations of

n

as a sum of at most

k

elements of

A

) then

A

must contain a minimal basis of order

k

? The claimed answer is no, for every

k\geq 3

number theoryadditive basisN/A3 sources

declared open · formalizederdos:906

Is there an entire non-zero function

f:\mathbb{C}\to \mathbb{C}

such that, for any infinite sequence

n_1<n_2<\cdots

, the set

\{ z: f^{(n_k)}(z)=0 \textrm{ for some }k\geq 1\}

is everywhere dense? The literal question is trivial for polynomials, so the claims address the transcendental entire case, in the affirmative.

analysisiterated functionsN/A5 sources

declared open · formalizederdos:942

Let

h(n)

count powerful integers in

[n^2, (n+1)^2)

. What is the extremal order of

h(n)

number theorypossible4 sources

declared openerdos:953

What is the largest possible measure of a subset of a radius-

R

disk in

\mathbb{R}^2

containing no pair of points at a positive integer distance? A Poisson-Bessel kernel argument gives

M(R) \ll R^{1/2}

; with Sárközy's lower construction,

M(R) = R^{1/2 + o(1)}

geometrydistancesN/A3 sources

declared open · formalizederdos:959

How large can the difference between the largest and second-largest distance multiplicities be among

n

planar points?

geometrydistancesN/A4 sources

declared open · formalizederdos:996

Let

n_1<n_2<\cdots

be a lacunary sequence of integers and

f\in L^2([0,1])

with

n

th Fourier partial sum

f_n

. Is there an absolute constant

C>0

such that if

\| f-f_n\|_2 \ll (\log\log\log n)^{-C}

then

\frac{1}{N}\sum_{k\leq N}f(\{\alpha n_k\})\to\int_0^1 f

for almost every

\alpha

? A preprint answers this negatively via a dyadic spike-block counterexample.

analysisN/A4 sources

declared openerdos:1032

Do arbitrarily large 4-chromatic edge-critical graphs exist with minimum degree bounded below by a positive constant times the number of vertices?

graph theorychromatic numberpossible3 sources

declared open · formalizederdos:1038

Among all nonconstant monic polynomials

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: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

Problems · Vela Mathematics Program

Problem ledger