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 openBooks · Number theory

Bugeaud Collection of Conjectures and Open Questions: Lacunary Sequences in Real Number Fields

Problem 10.5 (first part). Let K\mathbb{K} be a real number field. Then, for any ε>0\varepsilon > 0, there exists a lacunary sequence (tn)n1(t_n)_{n \ge 1} of positive numbers in K\mathbb{K} such that lim supn{ξtn}1ε,\limsup_{n \to \infty} \{\xi t_n\} \ge 1 - \varepsilon, for any real number ξ\xi not in K\mathbb{K}.

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openWikipedia · Field theory and polynomials

Sendov's conjecture

Sendov's conjecture* states that for a polynomial f(z)=(zr1)(zrn),(n2)f(z)=(z-r_{1})\cdots (z-r_{n}),\qquad (n\geq 2) with all roots r1,...,rnr_1, ..., r_n inside the closed unit disk z1|z| ≤ 1, each of the nn roots is at a distance no more than 11 from at least one critical point.

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openWikipedia · Linear algebra

Hadamard's conjecture

There exists a Hadamard matrix for all n=4kn = 4k.

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

Erdős Problem 1145

Let A={1a1<a2<}A=\{1\leq a_1 < a_2 < \cdots\} and B={1b1<b2<}B=\{1\leq b_1 < b_2 < \cdots\} be sets of integers with an/bn1a_n/b_n\to 1.

If A+BA+B contains all sufficiently large positive integers then is it true that lim sup1A1B(n)=\limsup 1_A\ast 1_B(n)=\infty?

A conjecture of Erdős and Sárközy.

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openWikipedia · Geometry

Inscribed square problem

Inscribed rectangle problem* Does every Jordan curve admit inscribed rectangles of any given aspect ratio?

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

Erdős Problem 96

If nn points in R2\mathbb{R}^2 form a convex polygon then there are O(n)O(n) many pairs which are distance 11 apart.

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openBooks · Number theory

Bugeaud Collection of Conjectures and Open Questions: Lacunary Sequences in Real Number Fields

Problem 10.5 ("moreover" clause). With the same hypotheses as problem_10_5, the sequence (tn)(t_n) can be chosen so that, for any real ξ\xi not in K\mathbb{K}, each subinterval of [0,1][0, 1] of length ε\varepsilon contains a limit point of the sequence ({ξtn})n1(\{\xi t_n\})_{n \ge 1}. This is strictly stronger than problem_10_5: the limsup bound is the special case at the subinterval [1ε,1][1 - \varepsilon, 1].

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openWikipedia · Linear algebra

Hadamard's conjecture: «167»

The smallest order for which no Hadamard matrix is presently known is 668=4167668 = 4 * 167.

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

Erdős Problem 1167

Erdős Problem 1167.* Let r2r \geq 2 be finite, γ2\gamma \geq 2, and λ\lambda be an infinite cardinal. Let κα\kappa_\alpha be cardinals for all α<γ\alpha < \gamma. Is it true that 2λ(κα+1)α<γr+12^\lambda \to (\kappa_\alpha + 1)_{\alpha < \gamma}^{r+1} implies λ(κα)α<γr?\lambda \to (\kappa_\alpha)_{\alpha < \gamma}^r? Here ++ means cardinal addition, so that κα+1=κα\kappa_\alpha + 1 = \kappa_\alpha if κα\kappa_\alpha is infinite.

A problem of Erdős, Hajnal, and Rado.

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openWikipedia · Geometry

Packing

What is the smallest square that can contain 11 unit squares?

Reference: Wikipedia

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

Erdős Problem 97

Does every convex polygon have a vertex with no other 4 vertices equidistant from it?

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openBooks · Number theory

Bugeaud Collection of Conjectures and Open Questions: Rapidly Increasing Sequences Dense Modulo One

Problem 10.6. Find a very rapidly increasing sequence (mn)n1(m_n)_{n \ge 1} of positive integers such that ({ξmn})n1(\{\xi m_n\})_{n \ge 1} is dense modulo one for every irrational number ξ\xi. Note: Furstenberg's 2m3n2^m3^n is sublacunary but requires two parameters.

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

Erdős Problem 1167

Finite-target case.* When all κα\kappa_\alpha are finite, κα+1\kappa_\alpha + 1 is the ordinary natural-number successor. Special case of erdos_1167.

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openWikipedia · Geometry

Packing

What is the smallest square that can contain 17 unit squares?

Reference: Wikipedia

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

Erdős Problem 97: K Equidistant

Erdős also conjectured that there is a kk for which every convex polygon has a vertex with no other kk vertices equidistant from it.

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

Erdős Problem 1167

Binary-color case.* The γ=2\gamma = 2 specialization (two color classes).

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openWikipedia · Geometry

Packing

What is the smallest circle that can contain 3 unit squares?

Reference: Wikipedia

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

Erdős Problem 98

Let h(n)h(n) be such that any nn points in R2\mathbb{R}^2, with no three on a line and no four on a circle, determine at least h(n)h(n) distinct distances. Does h(n)/nh(n)/n\to \infty?

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openBooks · Number theory

Bugeaud Collection of Conjectures and Open Questions: Confined Powers of Non-Pisot Numbers

Problem 10.7. Let ε\varepsilon be a positive real number. Are there arbitrarily large real numbers α\alpha such that α\alpha is not a Pisot number and all the fractional parts {αn}\{\alpha^n\}, n1n \ge 1, are lying in an interval of length ε/α\varepsilon / \alpha? [Bug12b]

Source checked Jul 26, 20261 pinned Lean statementInspect problem