Open-problem statements, with their sources attached.

The sequence will eventually reach $1$.

The Zariski Cancellation Problem: every polynomial ring over a field k of characteristic 0 is cancellative.

Conjecture 1.3* (the $\times p, \times q$ conjecture): the only atomless Borel probability measure on $\mathbb{T}$ which is both $T_p$- and $T_q$-invariant is the Lebesgue measure.

The Banach--Mazur rotation problem asks whether every separable Banach space whose group of linear isometric equivalences acts transitively on the unit sphere is linearly isometric to a Hilbert space.

$F(n) \leq n^{3/2}$.

If $n = ab$ is a crystal, then there are no other pairs of positive integers $c, d > 1$, different from the couple $a, b$, such that $n = cd$ and $B(c, d) ∈ ℕ$, i.e., the components of the crystals are unique.

Conjecture 1.6 (Even case).* For a nonempty isolate-free graph $G$ on $n$ vertices, if $D$ is even, then $(D + 2)^2 \cdot i(G) \leq (D^2 + 4) \cdot n$.

Conjecture 1.1*: For any odd prime $k$, the sum associated with the classical theta function $θ_3$, $S(k)$ is positive.

Conjecture 1.6 (Odd case).* For a nonempty isolate-free graph $G$ on $n$ vertices, if $D$ is odd, then $(D + 1)(D + 3) \cdot i(G) \leq (D^2 + 3) \cdot n$.

Conjecture 4.1*: For any prime $k$ larger than $5$, $S(k) > k$.

For $n > 8$, $2^n$ is not the the sum of distinct powers of $3$. Expressed here in terms of the base $3$ digits of $n$.

This conjecture is equivalent to the halting of a $15$-state $2$-symbol Turing Machine.

TODO(lezeau): Formalize the Turing Machine version of this problem.

Source: Hardness of Busy Beaver Value BB(15): https://link.springer.com/chapter/10.1007/978-3-031-72621-7_9 This is also https://arxiv.org/abs/2107.12475.

Conjecture 4.2*: For any prime $k$ larger than $233$, $S(k) > 2k$.

Conjecture 4.3*: For any prime $k$ larger than $3119$, $S(k) > 3k$.

Conjecture 4.4*: Given a natural number $n ∈ ℕ$, for all large enough odd prime $k$ (depending on $n$), $nk < S(k)$.

Let D be the diagonal group of SL_n(ℝ) where n ≥ 3. Then any relatively compact D-orbit in SL_n(ℝ) / SL_n(ℤ) is closed.