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

617 of 1194 statement records

17 source collections · 43 mathematical fields

Clear filters
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
Source labels openBooks · Number theory

Bugeaud Collection of Conjectures and Open Questions: $p$-adic Littlewood Conjecture

Problem 10.8 (pp-adic Littlewood conjecture). For every real number ξ\xi and every prime number pp, infq1qqξqp=0,\inf_{q \ge 1} q \cdot \lVert q \xi \rVert \cdot |q|_p = 0, where \lVert \cdot \rVert denotes the distance to the nearest integer and p|\cdot|_p denotes the pp-adic absolute value. Posed by de Mathan and Teulié [dMT04].

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

Equidistributed Sequences

The sequence (3/2)^n is equidistributed modulo 1.

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

Equidistributed Sequences

For any transcendental number x, the sequence x * (3 / 2) ^ n is equidistributed modulo 1.

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

Equidistributed Sequences

Find an accumulation point of the sequence (3/2)^n modulo 1.

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

Erdős Problem 1002

For any 0<α<10<\alpha<1, let f(α,n)=1logn1kn(12{αk})f(\alpha,n)=\frac{1}{\log n}\sum_{1\leq k\leq n}(\tfrac{1}{2}- \{ \alpha k\}). Does f(α,n)f(\alpha,n) have an asymptotic distribution function?

In other words, is there a non-decreasing function gg such that g()=0g(-\infty)=0, g()=1g(\infty)=1, and limn{α(0,1):f(α,n)c}=g(c)\lim_{n\to \infty}\lvert \{ \alpha\in (0,1): f(\alpha,n)\leq c\}\rvert=g(c)?

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

Erdős Problem 1003

Are there infinitely many solutions to ϕ(n)=ϕ(n+1)\phi(n) = \phi(n+1), where ϕ\phi is the Euler totient function?

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

Erdős Problem 1003: Icc

Erdős [Er85e] says that, presumably, for every k1k \geq 1 the equation ϕ(n)=ϕ(n+1)==ϕ(n+k)\phi(n) = \phi(n+1) = \cdots = \phi (n+k) has infinitely many solutions.

[Er85e] Erdős, P., Some problems and results in number theory. Number theory and combinatorics. Japan 1984 (Tokyo, Okayama and Kyoto, 1984) (1985), 65-87.

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

Erdős Problem 1004

For any fixed c > 0, if x is sufficiently large then there exists n ≤ x such that the values of φ(n+k) are all distinct for 1 ≤ k ≤ (log x)^c. This is an open problem.

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

Erdős Problem 1049

Let t>1t>1 be a rational number. Is n=11tn1=n=1τ(n)tn\sum_{n=1}^\infty\frac{1}{t^n-1}=\sum_{n=1}^\infty \frac{\tau(n)}{t^n} irrational, where τ(n)\tau(n) counts the divisors of nn?

A conjecture of Chowla.

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

Erdős Problem 1052

Are there only finitely many unitary perfect numbers?

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

Erdős Problem 1054: I

Let f(n)f(n) be the minimal integer mm such that nn is the sum of the kk smallest divisors of mm for some k1k\geq 1. Is it true that f(n)=o(n)f(n)=o(n)?

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

Erdős Problem 1054: Ii

Let f(n)f(n) be the minimal integer mm such that nn is the sum of the kk smallest divisors of mm for some k1k\geq 1. Is it true that f(n)=o(n)f(n)=o(n) for almost all nn?

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

Erdős Problem 1054: Iii

Let f(n)f(n) be the minimal integer mm such that nn is the sum of the kk smallest divisors of mm for some k1k\geq 1. Is it true that lim supf(n)/n=\limsup f(n)/n=\infty?

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

Erdős Problem 1055

A prime pp is in class 11 if the only prime divisors of p+1p+1 are 22 or 33. In general, a prime pp is in class rr if every prime factor of p+1p+1 is in some class r1\leq r-1, with equality for at least one prime factor. Are there infinitely many primes in each class?

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

Erdős Problem 1055: Erdos Limit

A prime pp is in class 11 if the only prime divisors of p+1p+1 are 22 or 33. In general, a prime pp is in class rr if every prime factor of p+1p+1 is in some class r1\leq r-1, with equality for at least one prime factor. If prp_r is the least prime in class rr, then how does pr1/rp_r^{1/r} behave? Erdos conjectured that this tends to infinity.

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

Erdős Problem 1055: Selfridge Limit

A prime pp is in class 11 if the only prime divisors of p+1p+1 are 22 or 33. In general, a prime pp is in class rr if every prime factor of p+1p+1 is in some class r1\leq r-1, with equality for at least one prime factor. If prp_r is the least prime in class rr, then how does pr1/rp_r^{1/r} behave? Selfridge conjectured that this is bounded.

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

Erdős Problem 1056

Let k2k ≥ 2. Does there exist a prime pp and consecutive intervals I0,,IkI_0,\dots,I_k such that nIin1modn\prod\limits_{n{\in}I_i}n \equiv 1 \mod n for all 1ik1 \le i \le k?

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

Erdős Problem 1056: Noll Simmons

Noll and Simmons asked, more generally, whether there are solutions to q1!qk!modpq_1! \equiv \dots \equiv q_k! \mod p for arbitrarily large kk (with q1<<qkq_1 < \dots < q_k).

Source checked Jul 26, 20261 pinned Lean statementInspect problem