Integer complexity: Stability and self-similarity

TL;DR

This paper explores the structure of integer complexity and defect sets, revealing their self-similarity and proving that certain forms of numbers achieve their expected complexity, confirming previous conjectures.

Contribution

It demonstrates that the defect set exhibits self-similarity and that specific number forms attain their naive complexity bounds, resolving earlier conjectures.

Findings

The defect set has order type ω^ω and self-similarity property.

Certain number forms have complexity equal to the naive upper bound for large parameters.

Resolves multiple conjectures related to integer complexity and defect sets.

Abstract

Define $||n||$ to be the complexity of $n$, the smallest number of ones needed to write $n$ using an arbitrary combination of addition and multiplication. The set $\mathscr{D}$ of defects, differences $\delta(n):=||n||-3\log_3 n$, is known to be a well-ordered subset of $[0,\infty)$, with order type $\omega^\omega$. This is proved by showing that, for any $r$, there is a finite set $\mathcal{S}_s$ of certain multilinear polynomials, called low-defect polynomials, such that $\delta(n)\le s$ if and only if one can write $n = f(3^{k_1},\ldots,3^{k_r})3^{k_{r+1}}$. In this paper we show that, in addition to it being true that $\mathscr{D}$ (and thus $\overline{\mathscr{D}}$) has order type $\omega^\omega$, this set satisifies a sort of self-similarity property with $\overline{\mathscr{D}}' = \overline{\mathscr{D}} + 1$. This is proven by restricting attention to substantial low-defect polynomials, ones that can be themselves written efficiently in a certain sense, and showing that in a certain sense the values of these polynomials at powers of $3$ have complexity equal to the na\"ive upper bound most of the time. As a result, we also prove that, under appropriate conditions on $a$ and $b$, numbers of the form $b(a3^k+1)3^\ell$ will, for all sufficiently large $k$, have complexity equal to the na\"ive upper bound. These results resolve various earlier conjectures of the second author.