Skip to content
Preprint

Positive Lower Density for Hofstadter's $ab-1$ Problem

Aug 2026 · 0 citations · 20 references
Mathematics

Abstract

Let $A$ be the smallest set of positive integers containing $2$ and $3$ such that $ab-1\in A$ whenever $a,b\in A$ are distinct. We prove that $A$ has positive lower density, answering a problem of Erd\H{o}s attributed to Hofstadter.

View source

Similar papers

Preprint Sep 2026

On a problem of Erd\H{o}s and Nathanson related to minimal asymptotic bases of order $h$

Let $h\geq 3$ be an integer and $0<\alpha<1/h$. In this paper, we prove that there exists a minimal asymptotic basis of order $h$ with asymptotic density $\alpha$. This solves an open problem posed by Erd\H{o}s and Nathanson in 1988.

Shi-Qiang Chen, Quan-Hui Yang · 0 citations
Preprint Sep 2026

Counting sets with given doubling via dimension

We determine, up to a factor of $2^{o(k)}$, the number of $k$-sets $A \subset \{1, \ldots, n\}$ such that $|A + A| \leq m$, where $k = \Theta(\log n)$ and $m \leq k^{1 + \alpha}$, for small $\alpha>0$, answering a question of Green and Morris.

Marcelo Campos, Gabriel Dahia, João Pedro Marciano · 0 citations
Preprint Aug 2026

Refined upper bounds on Schur-like numbers

For positive integers $r, m$ and $N$, every $r$-coloring of $\{1, \dots, N\}$ contains a monochromatic solution to $x_1+\dots+x_{m+1}=y_1+\dots+y_m$ provided that $N \ge 3^r (r!)^{1/m}$, which is qualitatively optimal when $m$ is logarithmic in $r$.

Swaroop G. Hegde, Andrew Lott, G. Petridis et al. · 0 citations
Preprint Sep 2026

A Note on Lowness for $\Pi^0_1$-Immunity

We show that the only degree which cannot co-enumerate a non-trivial $\Pi^0_1$-immune real is $\emptyset$, resolving a conjecture of the author. The main ingredient is that if a real $A$ has that all $A$-maximal sets are c.e., then $A$ has c.e. degree, which can be proved via a coding mechanism and two classical result...

David J. Webb · 0 citations
Preprint Aug 2026

Counterexamples to the weak Hedetniemi Conjecture

For any $n$, there exists finite simple graphs $G$ and $H$ such that $\chi(G),\chi(H)>n$ and $\chi(G \times H) = 4$.

Steven Raanes · 1 citation
Preprint Sep 2026

Noether's problem for $A_6$ and $A_7$

We prove that $B_kA_6$ is stably rational over every field $k$ in which $2$ and $-3$ are nonzero squares. Combining this with a theorem of Plans, we deduce that $B_kA_7$ is stably rational over every field $k$ of characteristic zero in which $2$ and $-3$ are squares.

Federico Scavia · 0 citations

We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.