BZPEER
More

Discover

About BZPEERSearchGraph

Research tools

HomeCollectionsResearchCollaborationPublish

Network

ExpertsCommunities

Opportunities

Listings

Account

Log inCreate account
Log inCreate account

Source author record

Michael Coons

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record
math.NTmath.COmath.DSDiscrete MathematicsFormal Languages and Automata Theorymath.CAmath.CV

Catalog footprint

Research overview

21works
7topics
4close collaborators

Actions

Is this your work?

Log in to claim
Open graphBrowse papers

Published work

21 publications

preprint2020arXiv

Binary constant-length substitutions and Mahler measures of Borwein polynomials

We show that the Mahler measure of every Borwein polynomial -- a polynomial with coefficients in {−1,0,1} \{-1,0,1 \} having non-zero constant term -- can be expressed as a maximal Lyapunov exponent of a matrix cocycle that arises in the spectral theory of binary constant-length substitutions. In this way, Lehmer's problem for height-one polynomials having minimal Mahler measure becomes equivalent to a natural question from the spectral theory of binary constant-length substitutions. This supports another connection between Mahler measures and dynamics, beyond the well-known appearance of Mahler measures as entropies in algebraic dynamics.

Open access
preprint2016arXiv

A dichotomy law for the Diophantine properties in ββ-dynamical systems

Let β>1β>1 be a real number and define the ββ-transformation on [0,1][0,1] by Tβ:x↦βx mod 1T_β:x\mapsto βx\bmod 1. Further, define $$W_y(T_β,Ψ):=\{x\in [0, 1]:|T_β^nx-y|<Ψ(n) \mbox{ for infinitely many $n$}\}$$ and $$W(T_β,Ψ):=\{(x, y)\in [0, 1]^2:|T_β^nx-y|<Ψ(n) \mbox{ for infinitely many $n$}\},$$ where Ψ:N→R>0Ψ:\mathbb{N}\to\mathbb{R}_{>0} is a positive function such that Ψ(n)→0Ψ(n)\to 0 as n→∞n\to \infty. In this paper, we show that each of the above sets obeys a Jarník-type dichotomy, that is, the generalised Hausdorff measure is either zero or full depending upon the convergence or divergence of a certain series. This work completes the metrical theory of these sets.

Open access
preprint2015arXiv

Algebraic independence of Mahler functions via radial asymptotics

We present a new method for algebraic independence results in the context of Mahler's method. In particular, our method uses the asymptotic behaviour of a Mahler function f(z)f(z) as zz goes radially to a root of unity to deduce algebraic independence results about the values of f(z)f(z) at algebraic numbers. We apply our method to the canonical example of a degree two Mahler function; that is, we apply it to F(z)F(z), the power series solution to the functional equation F(z)−(1+z+z2)F(z4)+z4F(z16)=0F(z)-(1+z+z^2)F(z^4)+z^4F(z^{16})=0. Specifically, we prove that the functions F(z)F(z), F(z4)F(z^4), F′(z)F'(z), and F′(z4)F'(z^4) are algebraically independent over C(z)\mathbb{C}(z). An application of a celebrated result of Nishioka then allows one to replace C(z)\mathbb{C}(z) by Q\mathbb{Q} when evaluating these functions at a nonzero algebraic number αα in the unit disc.

Open access
preprint2015arXiv

Diophantine approximation of Mahler numbers

Suppose that F(x)∈Z[[x]]F(x)\in\mathbb{Z}[[x]] is a Mahler function and that 1/b1/b is in the radius of convergence of F(x)F(x). In this paper, we consider the approximation of F(1/b)F(1/b) by algebraic numbers. In particular, we prove that F(1/b)F(1/b) cannot be a Liouville number. If F(x)F(x) is also regular, we show that F(1/b)F(1/b) is either rational or transcendental, and in the latter case that F(1/b)F(1/b) is an SS-number or a TT-number.

Open access
preprint2015arXiv

Transcendence tests for Mahler functions

We give two tests for transcendence of Mahler functions. For our first, we introduce the notion of the eigenvalue λFλ_F of a Mahler function F(z)F(z), and develop a quick test for the transcendence of F(z)F(z) over C(z)\mathbb{C}(z), which is determined by the value of the eigenvalue λFλ_F. While our first test is quick and applicable for a large class of functions, our second test, while a bit slower than our first, is universal; it depends on the rank of a certain Hankel matrix determined by the initial coefficients of F(z)F(z). We note that these are the first transcendence tests for Mahler functions of arbitrary degree. Several examples and applications are given.

Open access
preprint2014arXiv

Growth degree classification for finitely generated semigroups of integer matrices

Let A\mathcal{A} be a finite set of d×dd\times d matrices with integer entries and let mn(A)m_n(\mathcal{A}) be the maximum norm of a product of nn elements of A\mathcal{A}. In this paper, we classify gaps in the growth of mn(A)m_n(\mathcal{A}); specifically, we prove that lim⁡n→∞log⁡mn(A)/log⁡n∈Z⩾0∪{∞}.\lim_{n\to\infty} \log m_n(\mathcal{A})/\log n\in\mathbb{Z}_{\geqslant 0}\cup\{\infty\}. This has applications to the growth of regular sequences as defined by Allouche and Shallit.

Open access
preprint2014arXiv

The maximal order of Stern's diatomic sequence

We answer a question of Calkin and Wilf concerning the maximal order of Stern's diatomic sequence. Specifically, we prove that lim sup⁡n→∞a(n)φlog⁡2n=φlog⁡235,\limsup_{n\to\infty}\frac{a(n)}{φ^{\log_2 n}}=\frac{φ^{\log_2 3}}{\sqrt{5}}, where φ=(5+1)/2φ=(\sqrt{5}+1)/2 is the golden ratio. This improves on previous results given by Berlekamp, Conway, and Guy, who showed that the limit value was bounded above by 1.25, and by Calkin and Wilf, who showed that the exact value was in the interval [(φ/5)(3/2)log⁡2φ,(φ+1)/5].[(φ/{\sqrt{5}})({3}/{2})^{\log_2φ},(φ+1)/{\sqrt{5}}].

Open access
preprint2014arXiv

The minimal growth of a kk-regular sequence

We determine a lower gap property for the growth of an unbounded Z\mathbb{Z}-valued kk-regular sequence. In particular, if f:N→Zf:\mathbb{N}\to\mathbb{Z} is an unbounded kk-regular sequence, we show that there is a constant c>0c>0 such that ∣f(n)∣>clog⁡n|f(n)|>c\log n infinitely often. We end our paper by answering a question of Borwein, Choi, and Coons on the sums of completely multiplicative automatic functions.

Open access
preprint2014arXiv

Towards the (ir)rationality of values of Dirichlet series

We show that if F(s)F(s) is a nondegenerate ordinary Dirichlet series with nonnegative coefficients and F(k)F(k) is a rational number for all large enough positive integers kk, then the denominators of those rational numbers are unbounded. In particular, our result holds for the Riemann zeta function over any arithmetic progression. These results are derived via upper bounds on associated Hankel determinants.

Open access
preprint2012arXiv

The rational-transcendental dichotomy of Mahler functions

In this paper, we give a new proof of a result due to Bezivin that a D-finite Mahler function is necessarily rational. This also gives a new proof of the rational-transcendental dichotomy of Mahler functions due to Nishioka. Using our method of proof, we also provide a new proof of a Polya-Carlson type result for Mahler functions due to Rande; that is, a Mahler function which is meromorphic in the unit disk is either rational or has the unit circle as a natural boundary.

Open access
preprint2011arXiv

A Pattern Sequence Approach to Stern's Sequence

Let w be a binary string and let a_w (n) be the number of occurrences of the word w in the binary expansion of n. As usual we let s(n) denote the Stern sequence; that is, s(0)=0, s(1)=1, and for n >= 1, s(2n)=s(n) and s(2n+1)=s(n)+s(n+1). In this note, we show that s(n) = a_1 (n) + \sum_{w in 1 (0+1)*} s([w bar]) a_{w1} (n) where w bar denotes the complement of w (obtained by sending 0 to 1 and 1 to 0, and [w] denotes the integer specified by the word w interpreted in base 2.

Open access
preprint2011arXiv

On the multiplicative Erdős discrepancy problem

As early as the 1930s, Pál Erdős conjectured that: {\em for any multiplicative function f:N→{−1,1}f:\mathbb{N}\to\{-1,1\}, the partial sums ∑n≤xf(n)\sum_{n\leq x}f(n) are unbounded.} Considering this conjecture, in this paper we consider multiplicative functions ff satisfying ∑p≤xf(p)=c⋅xlog⁡x(1+o(1)).\sum_{p\leq x}f(p)=c\cdot\frac{x}{\log x}(1+o(1)). We prove that if c>0c>0 then the partial sums of ff are unbounded, and if c<0c<0 then the partial sums of μfμf are unbounded. Extensions of this result are also discussed.

Open access
preprint2011arXiv

On the rational approximation of the sum of the reciprocals of the Fermat numbers

Let $\C{G}(z):=\sum_{n=0}^\infty z^{2^n}(1-z^{2^n})^{-1}$ denote the generating function of the ruler function, and $\C{F}(z):=\sum_{n=0}^\infty z^{2^n}(1+z^{2^n})^{-1}$; note that the special value $\C{F}(1/2)$ is the sum of the reciprocals of the Fermat numbers Fn:=22n+1F_n:=2^{2^n}+1. The functions $\C{F}(z)$ and $\C{G}(z)$ as well as their special values have been studied by Mahler, Golomb, Schwarz, and Duverney; it is known that the numbers $\C{F}(\ga)$ and $\C{G}(\ga)$ are transcendental for all algebraic numbers $\ga$ which satisfy $0<\ga<1$. For a sequence u\mathbf{u}, denote the Hankel matrix Hnp(u):=(u(p+i+j−2))1⩽i,j⩽nH_n^p(\mathbf{u}):=(u({p+i+j-2}))_{1\leqslant i,j\leqslant n}. Let $\ga$ be a real number. The {\em irrationality exponent} $μ(\ga)$ is defined as the supremum of the set of real numbers μμ such that the inequality $|\ga-p/q|<q^{-μ}$ has infinitely many solutions $(p,q)\in\B{Z}\times\B{N}.$ In this paper, we first prove that the determinants of Hn1(g)H_n^1(\mathbf{g}) and Hn1(f)H_n^1(\mathbf{f}) are nonzero for every n⩾1n\geqslant 1. We then use this result to prove that for b⩾2b\geqslant 2 the irrationality exponents $μ(\C{F}(1/b))$ and $μ(\C{G}(1/b))$ are equal to 2; in particular, the irrationality exponent of the sum of the reciprocals of the Fermat numbers is 2.

Open access
preprint2010arXiv

Transcendence of generating functions whose coefficients are multiplicative

In this paper, we give a new proof and an extension of the following result of Bézivin. Let $f:\B{N}\to K$ be a multiplicative function taking values in a field KK of characteristic 0 and write F(z)=∑n≥1f(n)zn∈K[[z]]F(z)=\sum_{n\geq 1} f(n)z^n\in K[[z]] for its generating series. Suppose that F(z)F(z) is algebraic over K(z)K(z). Then either there is a natural number kk and a periodic multiplicative function χ(n)χ(n) such that f(n)=nkχ(n)f(n)=n^k χ(n) for all nn, or f(n)f(n) is eventually zero. In particular, F(z)F(z) is either transcendental or rational. For $K=\B{C}$, we also prove that if F(z)F(z) is a DD-finite generating series of a multiplicative function, then F(z)F(z) is either transcendental or rational.

Open access
preprint2010arXiv

Transcendence of generating functions whose coefficients are multiplicative

Let KK be a field of characteristic 0, f:N→Kf:\mathbb{N}\to K be a multiplicative function, and F(z)=∑n≥1f(n)zn∈K[[z]]F(z)=\sum_{n\geq 1} f(n)z^n\in K[[z]] be algebraic over K(z)K(z). Then either there is a natural number kk and a periodic multiplicative function χ(n)χ(n) such that f(n)=nkχ(n)f(n)=n^k χ(n) for all nn, or f(n)f(n) is eventually zero. In particular, the generating function of a multiplicative function f:N→Kf:\mathbb{N}\to K is either transcendental or rational.

Open access

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.