We characterize those $k$-automatic sets $S$ of natural numbers that form an additive basis for the natural numbers, and we show that this characterization is effective. In addition, we give an algorithm to determine the smallest $j$ such that $S$ forms an additive basis of order $j$, if it exists.
1. Introduction
One of the principal problems of additive number theory is to determine, given a set $S \subseteq \mathbb{N}$, whether there exists a constant $j$ such that every natural number (respectively, every sufficiently large natural number) can be written as a sum of at most $j$ members of $S$ (see, e.g., Reference 23). If such a $j$ exists, we say that $S$ is an additive basis (resp., an asymptotic additive basis) of order $j$ for $\mathbb{N}$.
Variants of this problem date back to antiquity, with Diophantus asking whether every natural number could be expressed as a sum of four squares. More generally, Waring’s problem asks whether the set of $k$-th powers forms an additive basis for the natural numbers, which was ultimately answered in the affirmative by Hilbert Reference 23, Chapter 3. The problem of finding bounds on the number of $k$-th powers required to express all natural numbers and all sufficiently large natural numbers, as well as whether restricted subsets of $k$-th powers form additive bases, continues to be an active area of research Reference 30Reference 31Reference 32.
Independent of Hilbert’s work on Waring’s problem, the famed Goldbach conjecture asks whether every even positive integer can be expressed as the sum of at most two prime numbers. If true, this would then imply that every sufficiently large natural number is the sum of at most three prime numbers. Vinogradov Reference 23, Chapter 8 has shown that every sufficiently large natural number can be expressed as the sum of at most four prime numbers, and so the set of prime numbers is an asymptotic additive basis for the natural numbers.
From these classical beginnings, a general theory of additive bases has since emerged, and the problem of whether given sets of natural numbers form additive bases (or asymptotic additive bases) has been considered for many classes of sets.
If one adopts a computational point of view, subsets of natural numbers can be divided into two classes: computable sets (i.e., sets that can be produced using a Turing machine) and those sets that lie outside the realm of classical computation. Historically, the explicitly given sets for which the problem of being an additive basis has been considered are computable, and a natural problem is to classify the computable subsets of the natural numbers that form additive bases. However, a classical theorem of Kreisel, Lacombe, and Shoenfield Reference 16 implies that the question of whether a given computable subset of $\mathbb{N}$ forms an additive basis is, in general, recursively unsolvable. Even for relatively simple sets, the problem seems intractable, as it applies to many sets of natural numbers, such as the set of twin primes, for which it is still open as to whether it is infinite, let alone whether it is an additive basis, which heuristics indicate should be the case Reference 33. Thus it is of interest to identify some classes of sets for which the problem is decidable.
One mechanism for producing computable sets is to fix a natural number $k\ge 2$ and consider natural numbers in terms of their base-$k$ expansions. A set of natural numbers can then be regarded as a sublanguage of the collection of words over the alphabet $\{0,1,\ldots ,k-1\}$. In this setting, there is a coarse hierarchy, formulated by Chomsky, that roughly divides complexity into four nested classes: recursively enumerable languages (those that are produced using Turing machines); context-sensitive languages (those produced using linear-bounded non-deterministic Turing machines); context-free languages (those produced using pushdown automata); and regular languages (those produced using finite-state automata). The simplest of these four classes is the collection of regular languages. When one uses a regular sublanguage of the collection of words over $\{0,1,\ldots ,k-1\}$, the corresponding collection of natural numbers one obtains is called a $k$-automatic set (see, for example, Reference 2).
In this paper we completely characterize those $k$-automatic sets of natural numbers that form an additive basis or an asymptotic additive basis. In the case of a $k$-automatic set $S$ of natural numbers, there is a well-understood dichotomy: either $\pi _S(x):=\#\{n\le x\colon n\in S\}$ is $O((\log x)^d)$ for some natural number $d$ or there is a real number $\alpha >0$ such that $\pi _S(x) = \Omega (x^\alpha )$ (see Section 2 and specifically Corollary 2.7 for details). In the case where $\pi _S(x)$ is asymptotically bounded by a power of $\log x$, we say that $S$ is sparse. Our first main result is the following theorem (see Theorem 4.1 and the remarks that follow).
We note that a necessary condition for a set $S$ to be an additive basis is that $1$ be in $S$. If $S$ is not sparse and $\gcd (S) = 1$ and $1\in S$, then $S$ is an additive basis, and these conditions are necessary. We give explicit upper bounds on $M$ and $N$ in terms of the number of states in the minimal automaton that accepts the set $S$, and we show that these bounds are in some sense the correct form for the type of bounds one expects to hold in general. An interesting feature of our proof is that it uses results dealing with sums of Cantor sets obtained by the second-named author in work with Cabrelli and Molter Reference 7.
Our second main result is the following.
The outline of this paper is as follows. In Section 2 we recall some of the basic concepts from the theory of regular languages and automatic sets, including the notion of a sparse automatic set, which play a key role in the statement of Theorem 1.1. In Section 3 we give some of the necessary background on Cantor sets and prove a key lemma involving these sets. In Section 4 we prove a strengthening of Theorem 1.1 (see Theorem 4.1) that gives explicit bounds on $M$ and $N$ appearing in the statement of the theorem. In Section 5, we give an algorithm that allows one to find optimal bounds for given automatic sets, and in Section 6, we give some examples to illustrate the usage of our algorithm.
We are concerned with words and numbers. A word is a finite string of symbols over a finite alphabet $\Sigma$. If $x$ is a word, then $|x|$ denotes its length (the number of symbols in it). The empty word is the unique word of length $0$, and it is denoted by $\epsilon$.
The canonical base-$k$ expansion of a natural number $n$ is the unique word over the alphabet $\Sigma _k = \{ 0,1,\ldots , k-1\}$ representing $n$ in base $k$, without leading zeros, starting with the most significant digit. It is denoted $(n)_k$. Thus, for example, $(43)_2 = 101011$. If $w$ is a word, possibly with leading zeros, then $[w]_k$ denotes the integer that $w$ represents in base $k$.
A language is a set of words. Three important languages are
(i)
$\Sigma ^*$, the set of all finite words over the alphabet $\Sigma$;
(ii)
$\Sigma ^n$, the set of words of length $n$; and
(iii)
$\Sigma ^{\leq n}$, the set of words of length $\leq n$.
Given a set $S\subseteq \mathbb{N}$, we write $(S)_k$ for the language of canonical base-$k$ expansions of elements of $S$.
There is an ambiguity that arises from the direction in which base-$k$ expansions are read by an automaton. In this article we always assume that these expansions are read starting with the least significant digit.
We recall the standard asymptotic notation for functions from $\mathbb{N}$ to $\mathbb{N}$:
•
$f = O(g)$ means that there exist constants $c> 0$,$n_0 \geq 0$ such that $f(n) \leq c g(n)$ for $n \geq n_0$;
•
$f = \Omega (g)$ means that there exist constants $c> 0$,$n_0 \geq 0$ such that $f(n) \geq c g(n)$ for $n \geq n_0$;
•
$f = \Theta (g)$ means that $f = O(g)$ and $f = \Omega (g)$.
Given a language $L$ defined over an alphabet $\Sigma$, its growth function$g_L (n)$ is defined to be $|L \ \cap \ \Sigma ^n|$, the number of words in $L$ of length $n$. If there exists a real number $\alpha > 1$ such that $g_L (n) > \alpha ^n$ for infinitely many $n$, then we say that $L$ has exponential growth. If there exists a constant $c \geq 0$ such that $g_L (n) = O(n^c)$, then we say that $L$ has polynomial growth.
A deterministic finite automaton or DFA is a quintuple $M = (Q, \Sigma , \delta , q_0, F)$, where $Q$ is a finite non-empty set of states, $\Sigma$ is the input alphabet, $q_0$ is the initial state, $F \subseteq Q$ is a set of final states, and $\delta :Q \times \Sigma \rightarrow Q$ is the transition function. The function $\delta$ can be extended to $Q \times \Sigma ^* \rightarrow Q$ in the obvious way. The language accepted by $M$ is defined to be $\{ x \in \Sigma ^* \ : \ \delta (q_0, x) \in F\}$. A language is said to be regular if there is a DFA accepting it Reference 13.
A non-deterministic finite automaton or NFA is like a DFA, except that the transition function $\delta$ maps $Q \times \Sigma$ to $2^Q$. A word $x$ is accepted if some path labeled $x$ causes the NFA to move from the initial state to a final state.
If there exists an integer $d \geq 0$ such that $\pi _S (x) = O( (\log x)^d)$, then we say that $S$ is sparse. Otherwise we say $S$ is non-sparse.
Then the corollary below follows immediately from the above results.
Given sets $S,T$ of real numbers, we let $S+T$ denote the set
$$\begin{equation*} \{ s+t \ : \ s \in S, t \in T \}. \end{equation*}$$
Furthermore, we let $S^j = \overbrace {S + S + \cdots + S}^j$; this is called the $j$-fold sum of $S$. We let $S^{\leq j} = \bigcup _{1 \leq i \leq j} S^i$. Note that $S^{\le j}$ and $S^j$ denote, respectively, the set of numbers that can be written as a sum of at most $j$ elements of $S$ and those that can be written as a sum of exactly $j$ elements of $S$. Finally, if $S$ is a set of real numbers and $\alpha$ is a real number, then $\alpha S = \{ \alpha x \ : \ x \in S \}$.
3. Sums of Cantor sets
In this section, we quickly recall the basic notions we will make use of concerning Cantor sets. Specifically, we will be dealing with central Cantor sets, which we now define. Let $(r_k)_{k\ge 1}$ be a sequence of real numbers in the half-open interval $(0, {1 \over 2}]$. Given real numbers $\alpha < \beta$, we define a collection of closed intervals $\{C_w : w\in \{0,1\}^*\}$, where each $C_w \subseteq [\alpha ,\beta ]$, inductively as follows. We begin with $C_\epsilon =[\alpha ,\beta ]$. Having defined $C_w$ for all binary words of length at most $n$, given a word $w$ of length $n+1$, we write $w=w' a$ with $|w'|=n$ and $a\in \{0,1\}$. If $a=0$, we define $C_w$ to be the closed interval uniquely defined by having the same left endpoint as $C_{w'}$ and satisfying $|C_{w}|/|C_{w'}|=r_{n+1}$. If $a=1$, we define $C_w$ to be the closed interval uniquely defined by having the same right endpoint as $C_{w'}$ and satisfying $|C_{w}|/|C_{w'}|=r_{n+1}$. We then take $C_n$ to be the union of the $C_w$ as $w$ ranges over words of length $n$. It is straightforward to see that
and the intersection of these sets is called the central Cantor set associated with the ratios $r_k$ and initial interval $[\alpha , \beta ]$. The associated real numbers $r_k$ are called the associated ratios of dissection, and in the case when there is a fixed $r$ such that $r_k=r$ for every $k\ge 1$, we simply call $r$ the ratio of dissection. A key example is the classical “middle thirds” Cantor set, which is the central Cantor set with ratio of dissection ${1 \over 3}$ and initial interval $[0,1]$.
Let $k\ge 2$ be a natural number and let $u,y,z\in \Sigma _k^*$ with $|y| = |z|$ and $y\neq z$. In particular, $y$ and $z$ are non-empty. We define $C(u;y,z)$ to be the collection of real numbers whose base-$k$ expansion is of the form $0.u w_1w_2w_3\cdots$ with each $w_i\in \{y,z\}$. For example, when $k=3$,$u$ is the empty word, $y=0$, and $z=2$,$C(u;y,z)$ is the usual Cantor set. A key lemma used in our considerations rests on a result of Cabrelli, the second-named author, and Molter Reference 7, which says that a set formed by taking the sum of $N$ elements from a Cantor set with a fixed ratio of dissection is equal to an interval when $N$ is sufficiently large. We use this result to prove the following lemma.
4. The first main result
In this section we prove the following theorem.
This remark combined with Theorem 4.1 easily gives Theorem 1.1.
Before we prove Theorem 4.1, we need some auxiliary results. We recall that a subset $T$ of the natural numbers is $c$-syndetic for a natural number $c$ if $n\in T$ implies that there exists $i\in \{1,\ldots ,c\}$ such that $n+i\in T$. If $T$ is $c$-syndetic for some $c$, we say that $T$ is syndetic.
Before proving Theorem 4.1 we need two final results about automatic sets.
We are now ready for the proof of our first main result.
5. An algorithm
In this section, we prove Theorem 1.2, giving an algorithm to find the smallest number $j$ (if it exists) such that $S$ is an asymptotic additive basis (resp., additive basis) of order $j$ for the natural numbers, where $S$ is a $k$-automatic set of natural numbers. We use the fact that there is an algorithm for deciding the truth of first-order propositions (involving $+$ and $\leq$) about automatic sequences Reference 1Reference 6Reference 8.
6. Examples
In this section, we give some examples that illustrate the power of the algorithm provided in the preceding section.
All these examples can be proved “automatically” by the Walnut theorem-proving software Reference 22. On a laptop each proof is completed within 21 milliseconds.
7. Concluding remarks
It is natural to ask if our results can be extended to $k$-context-free sets Reference 17Reference 21. In this more general setting, however, Theorem 1.1 no longer holds. The following example was shown to the third author by a participant of the Knuth 80 conference held in January 2018 in Piteå, Sweden.
$$\begin{equation} \exists M \ \forall n \geq M \ \ \exists x_1, x_2, \ldots , x_j \ \text{ such that } x_1, x_2, \ldots , x_j \in S \ \wedge \ n = x_1 + x_2 + \cdots + x_j, \cssId{opt1}{\tag{5.2}} \end{equation}$$
References
Reference [1]
Jean-Paul Allouche, Narad Rampersad, and Jeffrey Shallit, Periodicity, repetitions, and orbits of an automatic sequence, Theoret. Comput. Sci. 410 (2009), no. 30-32, 2795–2803, DOI 10.1016/j.tcs.2009.02.006. MR2543333, Show rawAMSref\bib{Allouche&Rampersad&Shallit:2009}{article}{
author={Allouche, Jean-Paul},
author={Rampersad, Narad},
author={Shallit, Jeffrey},
title={Periodicity, repetitions, and orbits of an automatic sequence},
journal={Theoret. Comput. Sci.},
volume={410},
date={2009},
number={30-32},
pages={2795--2803},
issn={0304-3975},
review={\MR {2543333}},
doi={10.1016/j.tcs.2009.02.006},
}
Reference [2]
Jean-Paul Allouche and Jeffrey Shallit, Automatic sequences, Theory, applications, generalizations, Cambridge University Press, Cambridge, 2003, DOI 10.1017/CBO9780511546563. MR1997038, Show rawAMSref\bib{Allouche&Shallit:2003}{book}{
author={Allouche, Jean-Paul},
author={Shallit, Jeffrey},
title={Automatic sequences\upshape , Theory, applications, generalizations},
publisher={Cambridge University Press, Cambridge},
date={2003},
pages={xvi+571},
isbn={0-521-82332-3},
review={\MR {1997038}},
doi={10.1017/CBO9780511546563},
}
Reference [3]
Elwyn R. Berlekamp, John H. Conway, and Richard K. Guy, Winning ways for your mathematical plays. Vol. 2, Games in particular, Academic Press, Inc. [Harcourt Brace Jovanovich, Publishers], London-New York, 1982. MR654502, Show rawAMSref\bib{Berlekamp&Conway&Guy:1982}{book}{
author={Berlekamp, Elwyn R.},
author={Conway, John H.},
author={Guy, Richard K.},
title={Winning ways for your mathematical plays. Vol. 2\upshape , Games in particular},
publisher={Academic Press, Inc. [Harcourt Brace Jovanovich, Publishers], London-New York},
date={1982},
pages={i--xxxiii and 429--850 and i--xix},
isbn={0-12-091152-3},
isbn={0-12-091102-7},
review={\MR {654502}},
}
Reference [4]
I. Borosh and L. B. Treybig, Bounds on positive integral solutions of linear Diophantine equations, Proc. Amer. Math. Soc. 55 (1976), no. 2, 299–304, DOI 10.2307/2041711. MR0396605, Show rawAMSref\bib{Borosh&Treybig:1976}{article}{
author={Borosh, I.},
author={Treybig, L. B.},
title={Bounds on positive integral solutions of linear Diophantine equations},
journal={Proc. Amer. Math. Soc.},
volume={55},
date={1976},
number={2},
pages={299--304},
issn={0002-9939},
review={\MR {0396605}},
doi={10.2307/2041711},
}
Reference [5]
N. G. de Bruijn, Some direct decompositions of the set of integers, Math. Comp. 18 (1964), 537–546, DOI 10.2307/2002940. MR0167447, Show rawAMSref\bib{deBruijn:1964}{article}{
author={de Bruijn, N. G.},
title={Some direct decompositions of the set of integers},
journal={Math. Comp.},
volume={18},
date={1964},
pages={537--546},
issn={0025-5718},
review={\MR {0167447}},
doi={10.2307/2002940},
}
Reference [6]
Véronique Bruyère, Georges Hansel, Christian Michaux, and Roger Villemaire, Logic and $p$-recognizable sets of integers, Bull. Belg. Math. Soc. Simon Stevin 1 (1994), no. 2, 191–238. Journées Montoises (Mons, 1992). MR1318968, Show rawAMSref\bib{Bruyere&Hansel&Michaux&Villemaire:1994}{article}{
author={Bruy\`ere, V\'eronique},
author={Hansel, Georges},
author={Michaux, Christian},
author={Villemaire, Roger},
title={Logic and $p$-recognizable sets of integers},
note={Journ\'ees Montoises (Mons, 1992)},
journal={Bull. Belg. Math. Soc. Simon Stevin},
volume={1},
date={1994},
number={2},
pages={191--238},
issn={1370-1444},
review={\MR {1318968}},
}
Reference [7]
Carlos A. Cabrelli, Kathryn E. Hare, and Ursula M. Molter, Sums of Cantor sets, Ergodic Theory Dynam. Systems 17 (1997), no. 6, 1299–1313, DOI 10.1017/S0143385797097678. MR1488319, Show rawAMSref\bib{Cabrelli&Hare&Molter:1997}{article}{
author={Cabrelli, Carlos A.},
author={Hare, Kathryn E.},
author={Molter, Ursula M.},
title={Sums of Cantor sets},
journal={Ergodic Theory Dynam. Systems},
volume={17},
date={1997},
number={6},
pages={1299--1313},
issn={0143-3857},
review={\MR {1488319}},
doi={10.1017/S0143385797097678},
}
Reference [8]
Émilie Charlier, Narad Rampersad, and Jeffrey Shallit, Enumeration and decidable properties of automatic sequences, Internat. J. Found. Comput. Sci. 23 (2012), no. 5, 1035–1066, DOI 10.1142/S0129054112400448. MR2983367, Show rawAMSref\bib{Charlier&Rampersad&Shallit:2012}{article}{
author={Charlier, \'Emilie},
author={Rampersad, Narad},
author={Shallit, Jeffrey},
title={Enumeration and decidable properties of automatic sequences},
journal={Internat. J. Found. Comput. Sci.},
volume={23},
date={2012},
number={5},
pages={1035--1066},
issn={0129-0541},
review={\MR {2983367}},
doi={10.1142/S0129054112400448},
}
Reference [9]
Paweł Gawrychowski, Dalia Krieger, Narad Rampersad, and Jeffrey Shallit, Finding the growth rate of a regular or context-free language in polynomial time, Internat. J. Found. Comput. Sci. 21 (2010), no. 4, 597–618, DOI 10.1142/S0129054110007441. MR2678190, Show rawAMSref\bib{Gawrychowski&Krieger&Rampersad&Shallit:2010}{article}{
author={Gawrychowski, Pawe\l },
author={Krieger, Dalia},
author={Rampersad, Narad},
author={Shallit, Jeffrey},
title={Finding the growth rate of a regular or context-free language in polynomial time},
journal={Internat. J. Found. Comput. Sci.},
volume={21},
date={2010},
number={4},
pages={597--618},
issn={0129-0541},
review={\MR {2678190}},
doi={10.1142/S0129054110007441},
}
Reference [10]
Seymour Ginsburg and Edwin H. Spanier, Bounded regular sets, Proc. Amer. Math. Soc. 17 (1966), 1043–1049, DOI 10.2307/2036087. MR0201310, Show rawAMSref\bib{Ginsburg&Spanier:1966}{article}{
author={Ginsburg, Seymour},
author={Spanier, Edwin H.},
title={Bounded regular sets},
journal={Proc. Amer. Math. Soc.},
volume={17},
date={1966},
pages={1043--1049},
issn={0002-9939},
review={\MR {0201310}},
doi={10.2307/2036087},
}
Reference [11]
M. J. E. Golay, Multi-slit spectrometry, J. Optical Soc. America 39 (1949), 437–444.
Reference [12]
M. J. E. Golay, Static multislit spectrometry and its application to the panoramic display of infrared spectra, J. Optical Soc. America 41 (1951), 468–472.
Reference [13]
John E. Hopcroft and Jeffrey D. Ullman, Introduction to automata theory, languages, and computation, Addison-Wesley Series in Computer Science, Addison-Wesley Publishing Co., Reading, Mass., 1979. MR645539, Show rawAMSref\bib{Hopcroft&Ullman:1979}{book}{
author={Hopcroft, John E.},
author={Ullman, Jeffrey D.},
title={Introduction to automata theory, languages, and computation\upshape , Addison-Wesley Series in Computer Science},
publisher={Addison-Wesley Publishing Co., Reading, Mass.},
date={1979},
pages={x+418},
isbn={0-201-02988-X},
review={\MR {645539}},
}
Reference [14]
Oscar H. Ibarra and B. Ravikumar, On sparseness, ambiguity and other decision problems for acceptors and transducers, STACS 86 (Orsay, 1986), Lecture Notes in Comput. Sci., vol. 210, Springer, Berlin, 1986, pp. 171–179, DOI 10.1007/3-540-16078-7_74. MR827734, Show rawAMSref\bib{Ibarra&Ravikumar:1986}{article}{
author={Ibarra, Oscar H.},
author={Ravikumar, B.},
title={On sparseness, ambiguity and other decision problems for acceptors and transducers},
conference={ title={STACS 86}, address={Orsay}, date={1986}, },
book={ series={Lecture Notes in Comput. Sci.}, volume={210}, publisher={Springer, Berlin}, },
date={1986},
pages={171--179},
review={\MR {827734}},
doi={10.1007/3-540-16078-7\_74},
}
Reference [15]
D. M. Kane, C. Sanna, and J. Shallit, Waring’s theorem for binary powers, preprint, available at https://arxiv.org/abs/1801.04483. Submitted 2018.
Reference [16]
G. Kreisel, D. Lacombe, and J. R. Shoenfield, Partial recursive functionals and effective operations, Constructivity in mathematics: Proceedings of the colloquium held at Amsterdam, 1957 (edited by A. Heyting), Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Co., Amsterdam, 1957, pp. 290–297. MR0108443, Show rawAMSref\bib{Kreisel&Lacombe&Shoenfield:1959}{article}{
author={Kreisel, G.},
author={Lacombe, D.},
author={Shoenfield, J. R.},
title={Partial recursive functionals and effective operations},
conference={ title={Constructivity in mathematics: Proceedings of the colloquium held at Amsterdam, 1957 (edited by A. Heyting)}, },
book={ series={Studies in Logic and the Foundations of Mathematics}, publisher={North-Holland Publishing Co., Amsterdam}, },
date={1957},
pages={290--297},
review={\MR {0108443}},
}
Reference [17]
Marion Le Gonidec, On the complexity of a family of $k$-context-free sequences, Theoret. Comput. Sci. 414 (2012), 47–54, DOI 10.1016/j.tcs.2011.09.022. MR2896582, Show rawAMSref\bib{LeGonidec:2012}{article}{
author={Le Gonidec, Marion},
title={On the complexity of a family of $k$-context-free sequences},
journal={Theoret. Comput. Sci.},
volume={414},
date={2012},
pages={47--54},
issn={0304-3975},
review={\MR {2896582}},
doi={10.1016/j.tcs.2011.09.022},
}
Reference [18]
M. Lothaire, Combinatorics on words, with a foreword by Roger Lyndon and a preface by Dominique Perrin; corrected reprint of the 1983 original, with a new preface by Perrin, Cambridge Mathematical Library, Cambridge University Press, Cambridge, 1997, DOI 10.1017/CBO9780511566097. MR1475463, Show rawAMSref\bib{Lothaire:1997}{book}{
author={Lothaire, M.},
title={Combinatorics on words\upshape , with a foreword by Roger Lyndon and a preface by Dominique Perrin; corrected reprint of the 1983 original, with a new preface by Perrin},
series={Cambridge Mathematical Library},
publisher={Cambridge University Press, Cambridge},
date={1997},
pages={xviii+238},
isbn={0-521-59924-5},
review={\MR {1475463}},
doi={10.1017/CBO9780511566097},
}
Reference [19]
P. Madhusudan, D. Nowotka, A. Rajasekaran, and J. Shallit. Lagrange’s theorem for binary squares, to appear, 43rd International Symposium on Mathematical Foundations of Computer Science (MFCS 2018), available at https://arxiv.org/abs/1710.04247. Submitted 2017.
Reference [20]
Leo Moser, An application of generating series, Math. Mag. 35 (1962), no. 1, 37–38. MR1571147, Show rawAMSref\bib{Moser:1962}{article}{
author={Moser, Leo},
title={An application of generating series},
journal={Math. Mag.},
volume={35},
date={1962},
number={1},
pages={37--38},
issn={0025-570X},
review={\MR {1571147}},
}
Reference [21]
Yossi Moshe, On some questions regarding $k$-regular and $k$-context-free sequences, Theoret. Comput. Sci. 400 (2008), no. 1-3, 62–69, DOI 10.1016/j.tcs.2008.02.018. MR2424342, Show rawAMSref\bib{Moshe:2008}{article}{
author={Moshe, Yossi},
title={On some questions regarding $k$-regular and $k$-context-free sequences},
journal={Theoret. Comput. Sci.},
volume={400},
date={2008},
number={1-3},
pages={62--69},
issn={0304-3975},
review={\MR {2424342}},
doi={10.1016/j.tcs.2008.02.018},
}
Melvyn B. Nathanson, Additive number theory, The classical bases, Graduate Texts in Mathematics, vol. 164, Springer-Verlag, New York, 1996, DOI 10.1007/978-1-4757-3845-2. MR1395371, Show rawAMSref\bib{Nathanson:1996}{book}{
author={Nathanson, Melvyn B.},
title={Additive number theory\upshape , The classical bases},
series={Graduate Texts in Mathematics},
volume={164},
publisher={Springer-Verlag, New York},
date={1996},
pages={xiv+342},
isbn={0-387-94656-X},
review={\MR {1395371}},
doi={10.1007/978-1-4757-3845-2},
}
Reference [24]
A. Rajasekaran, Using automata theory to solve problems in additive number theory, Master’s thesis, School of Computer Science, University of Waterloo, 2018.
Reference [25]
A. Rajasekaran, T. Smith, and J. Shallit, Sums of palindromes: an approach via automata, in R. Niedermeier and B. Vallée, editors, 35th Symposium on Theoretical Aspects of Computer Science (STACS 2018), Leibniz International Proceedings in Informatics, pages 54:1–54:12. Schloss Dagstuhl — Leibniz-Zentrum für Informatik, 2018.
Reference [26]
Walter Rudin, Some theorems on Fourier coefficients, Proc. Amer. Math. Soc. 10 (1959), 855–859, DOI 10.2307/2033608. MR0116184, Show rawAMSref\bib{Rudin:1959}{article}{
author={Rudin, Walter},
title={Some theorems on Fourier coefficients},
journal={Proc. Amer. Math. Soc.},
volume={10},
date={1959},
pages={855--859},
issn={0002-9939},
review={\MR {0116184}},
doi={10.2307/2033608},
}
Reference [27]
H. S. Shapiro, Extremal problems for polynomials and power series, Master’s thesis, MIT, 1952.
Reference [28]
Andrew Szilard, Sheng Yu, Kaizhong Zhang, and Jeffrey Shallit, Characterizing regular languages with polynomial densities, Mathematical foundations of computer science 1992 (Prague, 1992), Lecture Notes in Comput. Sci., vol. 629, Springer, Berlin, 1992, pp. 494–503, DOI 10.1007/3-540-55808-X_48. MR1255157, Show rawAMSref\bib{Szilard&Yu&Zhang&Shallit:1992}{article}{
author={Szilard, Andrew},
author={Yu, Sheng},
author={Zhang, Kaizhong},
author={Shallit, Jeffrey},
title={Characterizing regular languages with polynomial densities},
conference={ title={Mathematical foundations of computer science 1992}, address={Prague}, date={1992}, },
book={ series={Lecture Notes in Comput. Sci.}, volume={629}, publisher={Springer, Berlin}, },
date={1992},
pages={494--503},
review={\MR {1255157}},
doi={10.1007/3-540-55808-X\_48},
}
Reference [29]
V. I. Trofimov, Growth functions of some classes of languages; Russian, with English summary transl., Cybernetics 6 (1981), i, 9–12, 149. MR689421, Show rawAMSref\bib{Trofimov:1981}{article}{
author={Trofimov, V. I.},
title={Growth functions of some classes of languages},
journal={},
pages={},
translation={ language={Russian, with English summary}, journal={Cybernetics}, date={1981}, number={6}, pages={i, 9--12, 149}, issn={0023-1274}, },
review={\MR {689421}},
}
Reference [30]
R. C. Vaughan and T. D. Wooley, On Waring’s problem: some refinements, Proc. London Math. Soc. (3) 63 (1991), no. 1, 35–68, DOI 10.1112/plms/s3-63.1.35. MR1105718, Show rawAMSref\bib{Vaughan&Wooley:1991}{article}{
author={Vaughan, R. C.},
author={Wooley, T. D.},
title={On Waring's problem: some refinements},
journal={Proc. London Math. Soc. (3)},
volume={63},
date={1991},
number={1},
pages={35--68},
issn={0024-6115},
review={\MR {1105718}},
doi={10.1112/plms/s3-63.1.35},
}
Reference [31]
Bin Wei and Trevor D. Wooley, On sums of powers of almost equal primes, Proc. Lond. Math. Soc. (3) 111 (2015), no. 5, 1130–1162, DOI 10.1112/plms/pdv048. MR3477231, Show rawAMSref\bib{Wei&Wooley:2015}{article}{
author={Wei, Bin},
author={Wooley, Trevor D.},
title={On sums of powers of almost equal primes},
journal={Proc. Lond. Math. Soc. (3)},
volume={111},
date={2015},
number={5},
pages={1130--1162},
issn={0024-6115},
review={\MR {3477231}},
doi={10.1112/plms/pdv048},
}
Reference [32]
Trevor D. Wooley, Large improvements in Waring’s problem, Ann. of Math. (2) 135 (1992), no. 1, 131–164, DOI 10.2307/2946566. MR1147960, Show rawAMSref\bib{Wooley:1992}{article}{
author={Wooley, Trevor D.},
title={Large improvements in Waring's problem},
journal={Ann. of Math. (2)},
volume={135},
date={1992},
number={1},
pages={131--164},
issn={0003-486X},
review={\MR {1147960}},
doi={10.2307/2946566},
}
Reference [33]
Dan Zwillinger, A Goldbach conjecture using twin primes, Math. Comp. 33 (1979), no. 147, 1071, DOI 10.2307/2006081. MR528060, Show rawAMSref\bib{Z:1979}{article}{
author={Zwillinger, Dan},
title={A Goldbach conjecture using twin primes},
journal={Math. Comp.},
volume={33},
date={1979},
number={147},
pages={1071},
issn={0025-5718},
review={\MR {528060}},
doi={10.2307/2006081},
}
Show rawAMSref\bib{3835513}{article}{
author={Bell, Jason},
author={Hare, Kathryn},
author={Shallit, Jeffrey},
title={When is an automatic set an additive basis?},
journal={Proc. Amer. Math. Soc. Ser. B},
volume={5},
number={6},
date={2018},
pages={50-63},
issn={2330-1511},
review={3835513},
doi={10.1090/bproc/37},
}
Settings
Change font size
Resize article panel
Enable equation enrichment
(Not available in this browser)
Note. To explore an equation, focus it (e.g., by clicking on it) and use the arrow keys to navigate its structure. Screenreader users should be advised that enabling speech synthesis will lead to duplicate aural rendering.