A note on the complexity of addition

Emil Jeřábek

DOI: https://doi.org/10.48550/arXiv.2306.08513

2023-06-14

Computational Complexity

Abstract:We show that the sum of a sequence of integers can be computed in linear time on a Turing machine. In particular, the most obvious algorithm for this problem, which appears to require quadratic time due to carry propagation, actually runs in linear time by amortized analysis.

What problem does this paper attempt to address?

Linear Complexity of -Ary Sequences Derived from Euler Quotient Modulo

Zibi Xiao,Zepeng Li,Bo Yang,Jinmei Fan

DOI: https://doi.org/10.1142/s0129054124500072

2024-06-23

International Journal of Foundations of Computer Science

Abstract:International Journal of Foundations of Computer Science, Ahead of Print. In this paper, we present a generic construction of [math]-ary sequences with period [math] based on the Euler quotient modulo [math], where [math] and [math] are odd primes satisfying that [math] divides [math] and [math] is any prime less than [math]. The minimal polynomial and the linear complexity of the proposed sequences are determined in most cases under the assumption that [math]. The result shows that each of the sequences has large linear complexity.

computer science, theory & methods
Beatty Sequences for a Quadratic Irrational: Decidability and Applications

Luke Schaeffer,Jeffrey Shallit,Stefan Zorcic

2024-03-24

Abstract:Let $\alpha$ and $\beta$ belong to the same quadratic field. We show that the inhomogeneous Beatty sequence $(\lfloor n \alpha + \beta \rfloor)_{n \geq 1}$ is synchronized, in the sense that there is a finite automaton that takes as input the Ostrowski representations of $n$ and $y$ in parallel, and accepts if and only if $y = \lfloor n \alpha + \beta \rfloor$. Since it is already known that the addition relation is computable for Ostrowski representations based on a quadratic number, a consequence is a new and rather simple proof that the first-order logical theory of these sequences with addition is decidable. The decision procedure is easily implemented in the free software Walnut.

Number Theory,Discrete Mathematics,Formal Languages and Automata Theory,Combinatorics,Logic
Additive arithmetic functions meet the inclusion-exclusion principle, II

Olivier Bordellès,László Tóth

DOI: https://doi.org/10.48550/arXiv.2112.13409

2021-12-26

Abstract:We unify in a large class of additive functions the results obtained in the first part of this work. The proof rests on series involving the Riemann zeta function and certain sums of primes which may have their own interest.

Number Theory
On addition chains and progress on the Scholz conjecture

Theophilus Agama

2024-07-24

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 $\iota(2^n-1)$ producing $2^n-1$. Most notably, we show that if $2^n-1$ has carries of degree at most $$\kappa(2^n-1)=\frac{1}{2}(\iota(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 $$\iota(2^n-1)\leq n+1+\sum \limits_{j=1}^{\lfloor \frac{\log n}{\log 2}\rfloor}\bigg(\{\frac{n}{2^j}\}-\xi(n,j)\bigg)+\iota(n)$$ holds for all $n\in \mathbb{N}$ with $n\geq 4$, where $\iota(\cdot)$ denotes the length of the shortest addition chain producing $\cdot$, $\{\cdot\}$ denotes the fractional part of $\cdot$ and where $\xi(n,1):=\{\frac{n}{2}\}$ with $\xi(n,2)=\{\frac{1}{2}\lfloor \frac{n}{2}\rfloor\}$ and so on.

General Mathematics
An Additive Function on a Ring of Integers in the Imaginary Quadratic Field Q(√d) with Class-Number One

Cai Tianxin

DOI: https://doi.org/10.1007/bf02274049

1995-01-01

Acta Mathematica Sinica English Series

Abstract:LetBα(a) be an additive function on a ring of integers in the quadratic number fieldQ(√d) given byBα(a) = Σ p|a *Nα(p) with a fixedα > 0, where the asterisk means that the summation is over the non-associate prime divisorsp of an integera inQ(√d), N(a) is the norm ofa. In this paper we obtain the asymptotic formula of Σ N(a)≤x *Bα(a) in the case where the class-number ofQ(√d) is one.
On Faster Integer Calculations using Non-Arithmetic Primitives

Katharina Lürwer-Brüggemeier,Martin Ziegler

DOI: https://doi.org/10.48550/arXiv.0709.0624

2007-09-05

Abstract:The unit cost model is both convenient and largely realistic for describing integer decision algorithms over (+,*). Additional operations like division with remainder or bitwise conjunction, although equally supported by computing hardware, may lead to a considerable drop in complexity. We show a variety of concrete problems to benefit from such NON-arithmetic primitives by presenting and analyzing corresponding fast algorithms.

Data Structures and Algorithms
Faster Linear-Size And-Or Path and Adder Circuits

Ulrich Brenner,Anna Silvanus

2024-05-22

Abstract:We consider the fundamental problem of constructing fast and small circuits for binary addition. We propose a new algorithm with running time $\mathcal O(n \log_2 n)$ for constructing linear-size $n$-bit adder circuits with a significantly better depth guarantee compared to previous approaches: Our circuits have a depth of at most $\log_2 n + \log_2 \log_2 n + \log_2 \log_2 \log_2 n + \text{const}$, improving upon the previously best circuits by [12] with a depth of at most $\log_2 n + 8 \sqrt{\log_2 n} + 6 \log_2 \log_2 n + \text{const}$. Hence, we decrease the gap to the lower bound of $\log_2 n + \log_2 \log_2 n + \text{const}$ by [5] significantly from $\mathcal O (\sqrt{\log_2 n})$ to $\mathcal O(\log_2 \log_2 \log_2 n)$.

Data Structures and Algorithms
Minimizing the frequency of carries in modular addition

Francesco Monopoli

DOI: https://doi.org/10.48550/arXiv.1511.02404

2015-11-07

Number Theory

Abstract:When adding integers in base $m$, carries occur. The same happens modulo a generic integer $q$ when the set of digits is a complete set of residues modulo $m$ for some positive integer $m$ dividing $q$. In this paper we prove that asymptotically every digital set in this setting induces carries with frequency at least $1/4$, thus generalizing results of Alon, Diaconis, Shao and Soundararajan.
A Fibonacci analogue of the two's complement numeration system

Sébastien Labbé,Jana Lepšová

DOI: https://doi.org/10.1051/ita/2023007

2023-06-20

Abstract:Using the classic two's complement notation of signed integers, the fundamental arithmetic operations of addition, subtraction, and multiplication are identical to those for unsigned binary numbers. We introduce a Fibonacci-equivalent of the two's complement notation and we show that addition in this numeration system can be performed by a deterministic finite-state transducer. The result is based on the Berstel adder, which performs addition of the usual Fibonacci representations of nonnegative integers and for which we provide a new constructive proof. Moreover, we characterize the Fibonacci-equivalent of the two's complement notation as an increasing bijection between $\mathbb{Z}$ and a particular language.

Formal Languages and Automata Theory,Number Theory
Monotonicity of Multi-Term Floating-Point Adders

Mantas Mikaitis

2023-12-05

Abstract:In the literature on algorithms for performing the multi-term addition $s_n=\sum_{i=1}^n x_i$ using floating-point arithmetic it is often shown that a hardware unit that has single normalization and rounding improves precision, area, latency, and power consumption, compared with the use of standard add or fused multiply-add units. However, non-monotonicity can appear when computing sums with a subclass of multi-term addition units, which currently is not explored in the literature. We demonstrate that common techniques for performing multi-term addition with $n\geq 4$, without normalization of intermediate quantities, can result in non-monotonicity -- increasing one of the addends $x_i$ decreases the sum $s_n$. Summation is required in dot product and matrix multiplication operations, operations that have increasingly started appearing in the hardware of supercomputers, thus knowing where monotonicity is preserved can be of interest to the users of these machines. Our results suggest that non-monotonicity of summation, in some of the commercial hardware devices that implement a specific class of multi-term adders, is a feature that may have appeared unintentionally as a consequence of design choices that reduce circuit area and other metrics. To demonstrate our findings, we use formal proofs as well as a numerical simulation of non-monotonic multi-term adders in MATLAB.

Mathematical Software,Hardware Architecture,Numerical Analysis
Note on a Fibonacci Parity Sequence

Jeffrey Shallit

DOI: https://doi.org/10.48550/arXiv.2203.10504

2022-03-20

Abstract:Let ftm = 0111010010001... be the analogue of the Thue-Morse sequence in Fibonacci representation. In this note we show how, using the Walnut theorem-prover, to obtain a measure of its complexity, previously studied by Jamet, Popoli, and Stoll. We strengthen one of their theorems and disprove one of their conjectures.

Formal Languages and Automata Theory,Discrete Mathematics,Combinatorics
On Presburger arithmetic extended with non-unary counting quantifiers

Peter Habermehl,Dietrich Kuske

DOI: https://doi.org/10.46298/lmcs-19%283%3A4%292023

2023-07-11

Abstract:We consider a first-order logic for the integers with addition. This logic extends classical first-order logic by modulo-counting, threshold-counting and exact-counting quantifiers, all applied to tuples of variables (here, residues are given as terms while moduli and thresholds are given explicitly). Our main result shows that satisfaction for this logic is decidable in two-fold exponential space. If only threshold- and exact-counting quantifiers are allowed, we prove an upper bound of alternating two-fold exponential time with linearly many alternations. This latter result almost matches Berman's exact complexity of first-order logic without counting quantifiers. To obtain these results, we first translate threshold- and exact-counting quantifiers into classical first-order logic in polynomial time (which already proves the second result). To handle the remaining modulo-counting quantifiers for tuples, we first reduce them in doubly exponential time to modulo-counting quantifiers for single elements. For these quantifiers, we provide a quantifier elimination procedure similar to Reddy and Loveland's procedure for first-order logic and analyse the growth of coefficients, constants, and moduli appearing in this process. The bounds obtained this way allow to restrict quantification in the original formula to integers of bounded size which then implies the first result mentioned above. Our logic is incomparable with the logic considered by Chistikov et al. in 2022. They allow more general counting operations in quantifiers, but only unary quantifiers. The move from unary to non-unary quantifiers is non-trivial, since, e.g., the non-unary version of the Härtig quantifier results in an undecidable theory.

Logic in Computer Science
Thue--Morse along the sequence of cubes

Lukas Spiegelhofer

2023-09-08

Abstract:The Thue--Morse sequence $t=01101001\cdots$ is an automatic sequence over the alphabet $\{0,1\}$. It can be defined as the binary sum-of-digits function $s:\mathbb N\rightarrow\mathbb N$, reduced modulo $2$, or by using the substitution $0\mapsto 01$, $1\mapsto 10$. We prove that the asymptotic density of the set of natural numbers $n$ satisfying $t(n^3)=0$ equals $1/2$. Comparable results, featuring asymptotic equivalence along a polynomial as in our theorem, were previously only known for the linear case [A. O. Gelfond, Acta Arith. 13 (1967/68), 259--265], and for the sequence of squares. The main theorem in [C. Mauduit and J. Rivat, Acta Math. 203 (2009), no. 1, 107--148] was the first such result for the sequence of squares. Concerning the sum-of-digits function along polynomials $p$ of degree at least three, previous results were restricted either to lower bounds (such as for the numbers $\#\{n<N:t(p(n))=0\}$), or to sum-of-digits functions in ``sufficiently large bases''. By proving an asymptotic equivalence for the case of the Thue--Morse sequence, and a cubic polynomial, we move one step closer to the solution of the third Gelfond problem on the sum-of-digits function (1967/1968), op. cit.

Number Theory
A Note on the Complexity of Comparing Succinctly Represented Integers, with an Application to Maximum Probability Parsing

Kousha Etessami,Alistair Stewart,Mihalis Yannakakis

DOI: https://doi.org/10.1145/2601327

2014-05-01

ACM Transactions on Computation Theory

Abstract:The following two decision problems capture the complexity of comparing integers or rationals that are succinctly represented in product-of-exponentials notation, or equivalently, via arithmetic circuits using only multiplication and division gates, and integer inputs. Input instance: Four lists of positive integers: a 1,..., an ∈N+ n ; b 1,..., bn ∈N+ n ; c 1,..., cm ∈N+ m ; d 1, ..., dm ∈N+ m ; where each of the integers is represented in binary. Problem 1 (equality testing): Decide whether a 1 b 1 a 2 b 2⋯ anbn = c 1 d 1 c 2 d 2⋯ cmdm . Problem 2 (inequality testing): Decide whether a 1 b 1 a 2 b 2⋯ anbn ≥ c 1 d 1 c 2 d 2⋯ cmdm . Problem 1 is easily decidable in polynomial time using a simple iterative algorithm. Problem 2 is much harder. We observe that the complexity of Problem 2 is intimately connected to deep conjectures and results in number theory. In particular, if a refined form of the ABC conjecture formulated by Baker in 1998 holds, or if the older Lang-Waldschmidt conjecture (formulated in 1978) on linear forms in logarithms holds, then Problem 2 is decidable in P-time (in the standard Turing model of computation). Moreover, it follows from the best available quantitative bounds on linear forms in logarithms, namely, by Baker and Wüstholz [1993] or Matveev [2000], that if m and n are fixed universal constants then Problem 2 is decidable in P-time (without relying on any conjectures). This latter fact was observed earlier by Shub [1993]. We describe one application: P-time maximum probability parsing for arbitrary stochastic context-free grammars (where ε -rules are allowed).
The 2-complexity of even positive integers

Pengcheng Zhang

2024-11-29

Abstract:The question of integer complexity asks about the minimal number of $1$'s that are needed to express a positive integer using only addition and multiplication (and parentheses). In this paper, we propose the notion of $l$-complexity of multiples of $l$, which specializes to integer complexity when $l=1$, prove several elementary results on $2$-complexity of even positive integers, and raise some interesting questions on $2$-complexity and in general $l$-complexity.

Number Theory
Dichotomy of the addition of natural numbers

Jean-Louis Loday

DOI: https://doi.org/10.48550/arXiv.1108.6238

2011-08-31

Abstract:This is an elementary presentation of the arithmetic of trees. We show how it is related to the Tamari poset. In the last part we investigate various ways of realizing this poset as a polytope (associahedron), including one inferred from Tamari's thesis.

Rings and Algebras,Combinatorics
An algebraic combinatorial approach to Sylvester's denumerant

Guoce Xin,Chen Zhang

2023-12-04

Abstract:For a positive integer sequence $\boldsymbol{a}=(a_1, \dots, a_{N+1})$, Sylvester's denumerant $E(\boldsymbol{a}; t)$ counts the number of nonnegative integer solutions to $\sum_{i=1}^{N+1} a_i x_i = t$ for a nonnegative integer $t$. It has been extensively studied and a well-known result asserts that $E(\boldsymbol{a}; t)$ is a quasi-polynomial in $t$ of degree $N$. A milestone is Baldoni et al.'s polynomial algorithm in 2015 for computing the top $k$ coefficients when $k$ is fixed. Their development uses heavily lattice point counting theory in computational geometry. In this paper, we explain their work in the context of algebraic combinatorics and simplify their computation. Our work is based on constant term method, Barvinok's unimodular cone decomposition, and recent results on fast computation of generalized Todd polynomials. We develop the algorithm \texttt{CT-Knapsack}, together with an implementation in \texttt{Maple}. Our algorithm avoids plenty of repeated computations and is hence faster.

Combinatorics,Number Theory
A Trick for Parallel Accumulation of Signed Array

Jinnan Ding,Shuguo Li

DOI: https://doi.org/10.1109/edssc.2017.8126440

2017-01-01

Abstract:Large number addition is the fundamental operation in cryptography algorithms. In this paper, we accelerate large addition in hardware design by introducing non-least-positive form, which is beneficial to parallel processing. An implementation of 256-bit signed array accumulator with our method shows an improvement of 18% in speed and 15% in area-delay product compared with traditional design.
The Inverse of Ackermann Function is Computable in Linear Time

Claude Sureson

DOI: https://doi.org/10.3233/fi-2021-2077

2021-11-27

Fundamenta Informaticae

Abstract:We propose a detailed proof of the fact that the inverse of Ackermann function is computable in linear time.

computer science, software engineering,mathematics, applied
A short note on the counting complexity of conjunctive queries

Stefan Mengel

DOI: https://doi.org/10.48550/arXiv.2112.01108

2021-12-02

Abstract:This note closes a minor gap in the literature on the counting complexity of conjunctive queries by showing that queries that are not free-connex do not have a linear time counting algorithm under standard complexity assumptions. More generally, it is shown that the so-called quantified star size is a lower bound for the exponent in the runtime of any counting algorithm for conjunctive queries.

Logic in Computer Science,Computational Complexity,Databases

A note on the complexity of addition

Linear Complexity of -Ary Sequences Derived from Euler Quotient Modulo

Beatty Sequences for a Quadratic Irrational: Decidability and Applications

Additive arithmetic functions meet the inclusion-exclusion principle, II

On addition chains and progress on the Scholz conjecture

An Additive Function on a Ring of Integers in the Imaginary Quadratic Field Q(√d) with Class-Number One

On Faster Integer Calculations using Non-Arithmetic Primitives

Faster Linear-Size And-Or Path and Adder Circuits

Minimizing the frequency of carries in modular addition

A Fibonacci analogue of the two's complement numeration system

Monotonicity of Multi-Term Floating-Point Adders

Note on a Fibonacci Parity Sequence

On Presburger arithmetic extended with non-unary counting quantifiers

Thue--Morse along the sequence of cubes

A Note on the Complexity of Comparing Succinctly Represented Integers, with an Application to Maximum Probability Parsing

The 2-complexity of even positive integers

Dichotomy of the addition of natural numbers

An algebraic combinatorial approach to Sylvester's denumerant

A Trick for Parallel Accumulation of Signed Array

The Inverse of Ackermann Function is Computable in Linear Time

A short note on the counting complexity of conjunctive queries