Table of Contents
Fetching ...

On addition chains and progress on the Scholz conjecture

Theophilus Agama

Abstract

In this paper, we develop some new classes of methods to study the Scholz conjecture on addition chains. It turns out that the exponents of numbers of the form $2^n-1$ largely determine the length of the shortest addition chain for number producing $2^n-1$. Exploiting the notion of carries, we obtain improved upper bounds for the length of the shortest addition chains $ι(2^n-1)$ producing $2^n-1$. Most notably, we show that if $2^n-1$ has carries of degree at most $$κ(2^n-1)=\frac{1}{2}(ι(n)-\lfloor \frac{\log n}{\log 2}\rfloor+\sum \limits_{j=1}^{\lfloor \frac{\log n}{\log 2}\rfloor}\{\frac{n}{2^j}\})$$ then the inequality $$ι(2^n-1)\leq n+1+\sum \limits_{j=1}^{\lfloor \frac{\log n}{\log 2}\rfloor}\bigg(\{\frac{n}{2^j}\}-ξ(n,j)\bigg)+ι(n)$$ holds for all $n\in \mathbb{N}$ with $n\geq 4$, where $ι(\cdot)$ denotes the length of the shortest addition chain producing $\cdot$, $\{\cdot\}$ denotes the fractional part of $\cdot$ and where $ξ(n,1):=\{\frac{n}{2}\}$ with $ξ(n,2)=\{\frac{1}{2}\lfloor \frac{n}{2}\rfloor\}$ and so on.

On addition chains and progress on the Scholz conjecture

Abstract

In this paper, we develop some new classes of methods to study the Scholz conjecture on addition chains. It turns out that the exponents of numbers of the form largely determine the length of the shortest addition chain for number producing . Exploiting the notion of carries, we obtain improved upper bounds for the length of the shortest addition chains producing . Most notably, we show that if has carries of degree at most then the inequality holds for all with , where denotes the length of the shortest addition chain producing , denotes the fractional part of and where with and so on.

Paper Structure

This paper contains 19 sections, 29 theorems, 358 equations.

Key Result

Theorem 1.1

The inequality for $2^m+1\leq n\leq 2^{m+1}$ holds for $m\geq 1$.

Theorems & Definitions (68)

  • Theorem 1.1: Braurer
  • Conjecture 1.1: Scholz
  • Theorem 1.2
  • Definition 2.1
  • Definition 2.2
  • Definition 2.3
  • Proposition 2.1
  • proof
  • Definition 2.4
  • Proposition 3.1
  • ...and 58 more