DOCSLIB.ORG

Arxiv:2008.10500V2 [Math.NT] 4 Apr 2021

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Arxiv:2008.10500V2 [Math.NT] 4 Apr 2021 Partitions into Beatty sequences Nian Hong Zhou April 6, 2021 Abstract Let α > 1 be an irrational number. We establish asymptotic formulas for the number of partitions of n into summands and distinct summands, chosen from the Beatty sequence ( αm )m∈N. This improves some results of Erd¨os and Richmond established in 1977.⌊ ⌋ 1 Introduction and statement of results A partition of an integer n is a sequence of non-increasing positive integers whose sum equals n. The study of the asymptotic behavior of various types of integer partition has a long history, see Hardy and Ramanujan [HR18], Ingham [Ing41], Roth and Szekeres [RS54], Meinardus [Mei54] and Richmond [Ric75] for example. One of the most celebrated results is the asymptotic formula for p(n), the number of unrestricted partitions of n. Hardy and Ramanujan [HR18] proved 1 p(n) eπ√2n/3, (1.1) ∼ 4√3n as integer n + . In the same paper, they also established an asymptotic formula → ∞ for the number q(n) of partitions of n with unequal parts. As n →∞ 1 q(n) eπ√n/3. ∼ 4 31/4 n3/4 · · arXiv:2008.10500v2 [math.NT] 4 Apr 2021 Let α > 1 be an irrational number and x denotes the largest integer x. ⌊ ⌋ ≤ As a natural extension which has not previously appeared in the literature, Erd¨os and Richmond [ER78] investigate the asymptotic behavior of pα(n), and qα(n), the number of partitions of n into summands, and distinct summands, respectively, chosen from the Beatty sequence ( αm )m N. They gave asymptotic formulas with an error ⌊ ⌋ ∈ term of pα(n) and qα(n) for almost all α (in the Lebesgue sense). To introduce the main results of Erd¨os and Richmond [ER78] conveniently, we introduce the definition of irrationality measure. Let x := minn Z x n and α R. k k ∈ | − | ∈ Recall that µ R is an irrationality exponent of α, if ∈ 1 µ 0 <q− qα <q− , k k 1 Partitions into Beatty sequences has (at most) finitely many solutions q N. We denote by µ(α) the infimum of such ∈ irrationality exponents µ and call it the irrationality measure of α. If µ(α)= then ∞ we call α a Liouville number. We note that the irrationality measure of an irrational number is always 2. ≥ One of the critical issues in [ER78] is the convergence of the following Dirichlet series B (αℓ) J (s) := 1 , (1.2) α ℓs ℓ 1 X≥ e where B (x)= x 1/2, and x := x x is the fractional part of x. Hardy and 1 { }− { } − ⌊ ⌋ Littlewood [HL22, p. 248, (a)] proved that if µ(α) [2, ) then J (s) is convergent ∈ ∞ α for s >e 1 1/(µ(α) 1) 1. Thanks to this result, Erd¨os and Richmond [ER78] − − established asymptotic formulas with error term of pα(n) and qα(n) when irrational number α > 1 has a finite irrationality measure µ(α), see [ER78, Theorem 2]2’ 3. However, for α> 1 being a Liouville number, that is µ(α)= , they only can prove ∞ n log q (n)= π + O(nε) α 3α r and 2n ε log pα(n)= π + O(n ), r3α for any ε> 0. In this paper, we are interesting the asymptotic formulas of pα(n) and qα(n), when α> 1 being a Liouville number. The main result of this paper is the following Theorem 1.1. Theorem 1.1. Let α> 1 be an irrational number. As n →∞ n exp π 3α qα(n) 2 1/2α 1/4 3/4 , ∼ 2 − (3αp) n 1The condition stated in [HL22, pp. 213, Equation (1.331)] is nh| sin(αnπ)|≥ A> 0 for all n ∈ N. This is equivalent to our definition for irrationality exponent when letting µ =1+ h. 2The condition stated in [ER78] is there exist λ ∈ R such that |ℓ1+λ+ε sin(αℓπ)|→∞, holds for any ε> 0, as integer ℓ →∞. This is equivalent to our definition for irrationality exponent when letting µ =2+ λ. 3Note that there exist serval typos in the statement of [ER78, Theorem 2] as well as its proof. For the corrected leading asymptotic formulas of pα(n) and qα(n) with µ(α) < ∞, see Theorem 1.1 of this paper. 2 Nian Hong Zhou and exp 2π n p (n)= 6α . (1.3) α 1 1/4α+o(1) n − p Furthermore, if the series (1.2) of Jα(1) is convergent, then n exp 2π 6α pα(n) 1 1/4α , (1.4) ∼ Λαn −p wherewith γ denote the Euler-Mascheroni constant, 1/4α γ 1 α αℓ 1 Λ = 4√3(πe− ) 2α 1 { } e 2αℓ . (1.5) α 6 − αℓ ℓ 1 Y≥ Remark 1.1. Theorem 1.1 is new for α > 1 being a Liouville number. Surprisingly, for all irrational numbers α > 1, we can find an asymptotic formula of type (1.1) for qα(n). However, for pα(n) if there is no additional assumption, such as the convergence of the series (1.2) of Jα(1), we can only get (1.3) at present. By using a result of Ostrowski [Ost22] on Diophantine approximation, we give an effective condition for the validity of the asymptotic formula (1.4). Corollary 1.2. If there exists a function ψ : R R of which is decreasing for all + → + sufficiently large x such that ψ(x) dx ∞ < + , x ∞ Z1 as well as for all integer q 1, ≥ 1 qψ(q) q− qα > e− . k k Then the series (1.2) of Jα(1) is convergent. Further, (1.4) in Theorem 1.1 holds. Remark 1.2. It might be an interesting problem that whether the series (1.2) of Jα(1) is convergent for all irrational numbers α. 1 δ Remark 1.3. Taking ψ(x) = x(log x + 1)− − , (δ > 0), then ψ(x) satisfies the condi- tions of Corollary 1.2. If α R Q has a finite irrationality measure, that is there ∈ \ exist a λ 2 such that ≥ 1 λ q− qα q− , k k≫ for all integer q 1. Then, since q λ e ψ(q), we have α> 1 satisfies the conditions ≥ − ≫ − of Corollary 1.2. Therefore, we can see from Wolfram Web Resources [Wei20] that α can take 1 + log 2, log 3, e, π, π2, ζ(3), all irrational algebraic numbers greater than 1 and so on. 3 Partitions into Beatty sequences We shall give some numerical data to support Theorem 1.1 and Corollary 1.2. Let us consider the cases of α = √2. One can prove in Appendix A that Λ (5.7331, 5.7339). √2 ∈ Denoting by π n 3/4 q 3√2 qˆ√2(n)= n− e and π 2n 1+1/4√2 q 3√2 pˆ√2(n)= n− e . Then, with the help of Mathematica, the use of Theorem 1.1 gives qˆ (n) (4.493 )q (n), andp ˆ (n) (5.773 )p (n). (1.6) √2 ∼ · · · √2 √2 ∼ · · · √2 We illustrate some of our results in the following(All computations are done in Math- ematica). Table 1: Numerical data for q√2(n). n q√2(n) qˆ√2(n) qˆ√2(n)/q√2(n) 50 552 2568.04 4.65225 ∼ 100 28870 133026.0 4.60774 ∼ 200 9582142 4.38416 107 4.57534 · ∼ 400 43472367216 1.97845 1011 4.55105 · ∼ 800 7972258288121676 3.61410 1016 4.53334 · ∼ 1600 273790497114888860128182 1.23780 1024 4.52097 · ∼ Table 2: Numerical data for p√2(n). n p√2(n) pˆ√2(n) pˆ√2(n)/p√2(n) 25 560 3412.03 6.09291 ∼ 50 28086 167998.0 5.98154 ∼ 100 8892735 5.26274 107 5.91802 · ∼ 200 38427241214 2.25740 1011 5.87448 · ∼ 400 6706078262183805 3.91959 1016 5.84483 · ∼ 800 219091729965354807601257 1.27599 1024 5.82401 · ∼ Comparing the above two tables with (1.6), we see that the numerical data supports our main result Theorem 1.1 and Corollary 1.2. 2 The proof of the main results In the section, we prove Theorem 1.1 and Corollary 1.2. Let α > 1 be an irrational number and t> 0. Denoting by t αℓ L (t)= log 1 e− ⌊ ⌋ . α − − ℓ 1 X≥ 4 Nian Hong Zhou The following Proposition 2.1 follows from Erd¨os and Richmond [ER78, Theorem 1]. Proposition 2.1. As n + → ∞ exp (Lα(x) Lα(2x)+ nx) qα(n) − , ∼ 2π(L (x) 4L (2x)) α′′ − α′′ where x R solves the equation: pL (x) 2L (2x)+ n = 0. ∈ + α′ − α′ Furthermore, as n + → ∞ exp (Lα(y)+ ny) pα(n) , ∼ 2πLα′′ (y) where y R solves the equation: L (y)+p n = 0. ∈ + α′ We see from Erd¨os and Richmond [ER78] that Proposition 2.1 follows from the work of Roth and Szekeres [RS54], as well as the equidistribution properties of the sequence ( αm )m N. Under above Proposition 2.1, Theorem 1.1 will follows from ⌊ ⌋ ∈ the following proposition. Proposition 2.2. Let t 0+. For any irrational α> 1 we have → π2 1 α 1 L (t)= + − − log t + o( log t ), α 6αt 2 | | π2 1 α 1 L (t) L (2t)= − − log 2 + o(1), α − α 12αt − 2 2 1 π 1 α− 1 L′ (t)= + − + o , α −6αt2 2t t and π2 1 L′′ (t)= + O . α 3αt3 t2 Furthermore, if the series (1.2) of Jα(1) is convergent then π2 1 α 1 L (t)= + − − log t + c + o(1), α 6αt 2 α where γ 1 1 α 1 1 αℓ c = log (2π)+ − − log α + + log 1 { } .
Load more

Recommended publications
  • Modular Hyperbolas and Beatty Sequences
    MODULAR HYPERBOLAS AND BEATTY SEQUENCES MARC TECHNAU Abstract. Bounds for max{m, m˜ } subject to m, m˜ ∈ Z ∩ [1,p), p prime, z indivisible by p, mm˜ ≡ z mod p and m belonging to some fixed Beatty sequence {⌊nα+β⌋ : n ∈ N} are obtained, assuming certain conditions on α. The proof uses a method due to Banks and Shparlinski. As an intermediate step, bounds for the discrete periodic autocorrelation of the finite sequence 0, ep(y1), ep(y2),..., ep(y(p − 1)) on average are obtained, where ep(t) = exp(2πit/p) and mm ≡ 1 mod p. The latter is accomplished by adapting a method due to Kloosterman. 1. Introduction Consider the modular hyperbola (1.1) H = (m, m˜ ) Z2 [1,p)2 : mm˜ z mod p (with p ∤ z), z mod p { ∈ ∩ ≡ } where the letter p denotes a prime here and throughout. The distribution of points on these modular hyperbolas has attracted wide interest and the interested reader is referred to [28] for a survey of questions related to this topic and various applications. Our particular starting point is the following intriguing property of such hyperbolas: Theorem 1.1. For any prime p and z coprime to p there is always a point (m, m˜ ) ∈ H with max m, m˜ 2(log p)p3/4. z mod p { }≤ Proof. See, e.g., [17, p. 382].1 Loosely speaking, the above theorem states that, when sampling enough points (1, ?), (2, ?′), (3, ?′′), ... H , ∈ z mod p at least one amongst the second coordinates will not be too large. Here we shall investigate analogous distribution phenomena when one of the coordi- nates is required to belong to some fixed Beatty set.
    [Show full text]
  • Monthly Problem 3173, Samuel Beatty, and 1P+1Q=1
    1 1 Monthly Problem 3173, Samuel Beatty, and + = 1 p q Ezra Brown Virginia Tech MD/DC/VA Spring Section Meeting Montgomery College April 16, 2016 Brown Beatty Sequences What to expect An interesting pair of sequences Problem 3173 of the American Mathematical Monthly Beatty sequences Samuel Beatty The Proof Beatty sequences could be called Wythoff sequences ::: ::: or even Rayleigh sequences. 1 1 Another appearance of 1 ::: coincidence? p q + = Brown Beatty Sequences An interesting pair of sequences Let p 1 5 2 φ and q φ φ 1 . √ Let A = ( np+ n)~ 1=; 2; 3;::: =and~(B −nq) n 1; 2; 3;::: . Then = {⌊ ⌋ ∶ =A 1; 3; 4;}6; 8; 9; 11{⌊; 12;⌋14∶ ; 16= ; 17; 19;:::} ; and ={ } B 2; 5; 7; 10; 13; 15; 18; 20;::: Looks like the two sequences={ will contain all the} positive integers without repetition. 1 1 It also happens that 1: p q Coincidence? + = Brown Beatty Sequences The Monthly, vol. 33, #3 (March 1926), p. 159 3173. Proposed by Samuel Beatty, University of Toronto. If x is a positive irrational number and y is its reciprocal, prove that the sequences 1 x ; 2 1 x ; 3 1 x ;::: and 1 y ; 2 1 y ; 3 1 y ;::: ( + ) ( + ) ( + ) contain one and only one( number+ ) ( between+ ) ( each+ ) pair of consecutive positive integers. Equivalent statement: If x is a positive irrational number and y is its reciprocal, prove that the sequences 1 x ; 2 1 x ; 3 1 x ;::: and 1 y ; 2 1 y ; 3 1 y ;::: ⌊( + )⌋ ⌊ ( + )⌋ ⌊ ( + )⌋ contain each positive⌊( integer+ )⌋ once⌊ ( without+ )⌋ ⌊ duplication.( + )⌋ Brown Beatty Sequences Problem 3173 rephrased Observation: if p 1
    [Show full text]
  • Beatty Sequences, Fibonacci Numbers, and the Golden Ratio
    BEATTY SEQUENCES, FIBONACCI NUMBERS, AND THE GOLDEN RATIO VINCENT RUSSO AND LOREN SCHWIEBERT Abstract. 2 (bnφc)n≥1 and nφ n≥1 are well-known complementary Beatty sequences. An infinite set of complementary Beatty sequences, based on a generalization of ratios of Fibonacci numbers and higher powers of φ, is proved. An open problem posed by Clark Kimberling, the Swappage Problem, is resolved in the affirmative as a special case of this set of complementary Beatty sequences. 1. Introduction A Beatty sequence [9, 1, 10] is generated by an irrational α> 1 as follows: (bαc, b2αc, b3αc,...) = (bnαc)n≥1. Letting β be the number satisfying 1/α + 1/β = 1, the sequences (bnαc)n≥1 and (bnβc)n≥1 are complementary Beatty sequences. See for example [6]. It is well-known that if α = φ, where φ denotes the golden ratio, then β = α + 1. The corresponding sequence (bnαc)n≥1 = (1, 3, 4, 6,...), is the lower Wythoff sequence [7]. The complementary Beatty sequence, (bnβc)n≥1 = (2, 5, 7, 10,...), is the upper Wythoff sequence [7]. 2. Beatty Sequences As noted above, when α = φ, we obtain β = α + 1. From the identity φ2 = φ + 1, we may rewrite β as β = φ2. These complementary Beatty sequences form the basis for Theorem 2.2, which uses the following well-known result. Lemma 2.1. k+1 φ = Fk+1φ + Fk. Proof. This is easily proved by induction. For the base case, observe that F1 = F2 = 1 and φ2 = φ + 1. For the inductive case, assume equality holds for all k<n.
    [Show full text]
  • Single Digits
    ...................................single digits ...................................single digits In Praise of Small Numbers MARC CHAMBERLAND Princeton University Press Princeton & Oxford Copyright c 2015 by Princeton University Press Published by Princeton University Press, 41 William Street, Princeton, New Jersey 08540 In the United Kingdom: Princeton University Press, 6 Oxford Street, Woodstock, Oxfordshire OX20 1TW press.princeton.edu All Rights Reserved The second epigraph by Paul McCartney on page 111 is taken from The Beatles and is reproduced with permission of Curtis Brown Group Ltd., London on behalf of The Beneficiaries of the Estate of Hunter Davies. Copyright c Hunter Davies 2009. The epigraph on page 170 is taken from Harry Potter and the Half Blood Prince:Copyrightc J.K. Rowling 2005 The epigraphs on page 205 are reprinted wiht the permission of the Free Press, a Division of Simon & Schuster, Inc., from Born on a Blue Day: Inside the Extraordinary Mind of an Austistic Savant by Daniel Tammet. Copyright c 2006 by Daniel Tammet. Originally published in Great Britain in 2006 by Hodder & Stoughton. All rights reserved. Library of Congress Cataloging-in-Publication Data Chamberland, Marc, 1964– Single digits : in praise of small numbers / Marc Chamberland. pages cm Includes bibliographical references and index. ISBN 978-0-691-16114-3 (hardcover : alk. paper) 1. Mathematical analysis. 2. Sequences (Mathematics) 3. Combinatorial analysis. 4. Mathematics–Miscellanea. I. Title. QA300.C4412 2015 510—dc23 2014047680 British Library
    [Show full text]
  • The Fractional Part of N+ Ø and Beatty Sequences
    JOURNAL DE THÉORIE DES NOMBRES DE BORDEAUX TAKAO KOMATSU The fractional part of nq + and Beatty sequences Journal de Théorie des Nombres de Bordeaux, tome 7, no 2 (1995), p. 387-406 <http://www.numdam.org/item?id=JTNB_1995__7_2_387_0> © Université Bordeaux 1, 1995, tous droits réservés. L’accès aux archives de la revue « Journal de Théorie des Nombres de Bordeaux » (http://jtnb.cedram.org/) implique l’accord avec les condi- tions générales d’utilisation (http://www.numdam.org/conditions). Toute uti- lisation commerciale ou impression systématique est constitutive d’une infraction pénale. Toute copie ou impression de ce fichier doit conte- nir la présente mention de copyright. Article numérisé dans le cadre du programme Numérisation de documents anciens mathématiques http://www.numdam.org/ 387 The fractional part of n03B8 + ~ and Beatty sequences par TAKAO KOMATSU 1. Introduction Let () be real and be the denominator of the n-th convergent of the continued fraction expansion of 0. Thus when 0 is rational, 8 = for some integer N. Denote the fractional part of 0 by {9}, the floor, that is integer part, of 0 by and its distance from the nearest integer by ~~8~~. It is well known that the continued fraction convergents are best approx- imations to 0 in the sense that The corresponding results for one-sided best approximations are readily ° derived, see for example van Ravenstein [9j, and are ’ and The purpose of this paper is to give similar results in the inhomogeneous case x8 -- , where 0 and ø are real numbers, not necessarily irrational, and to apply these results to find the characteristic word of the Beatty sequence.
    [Show full text]
  • Prime Numbers with Beatty Sequences
    Prime numbers with Beatty sequences William D. Banks Department of Mathematics University of Missouri Columbia, MO 65211 USA [email protected] Igor E. Shparlinski Department of Computing Macquarie University Sydney, NSW 2109, Australia [email protected] September 6, 2011 1 Abstract A study of certain Hamiltonian systems has lead Y. Long to con- jecture the existence of infinitely many primes which are not of the form p = 2 ⌊αn⌋ + 1, where 1 <α< 2 is a fixed irrational number. An argument of P. Ribenboim coupled with classical results about the distribution of fractional parts of irrational multiples of primes in an arithmetic progression immediately imply that this conjecture holds in a much more precise asymptotic form. Motivated by this observation, we give an asymptotic formula for the number of primes p = q ⌊αn + β⌋+a with n 6 N, where α, β are real numbers such that α is positive and irrational of finite type (which is true for almost all α) and a, q are integers with 0 6 a<q 6 N κ and gcd(a, q) = 1, where κ > 0 depends only on α. We also prove a similar result for primes p = ⌊αn + β⌋ such that p ≡ a (mod q). MSC Numbers: 11B83, 11L03, 11N13. Keywords: Beatty sequences, prime numbers, exponential sums. 2 1 Introduction For two fixed real numbers α and β, the corresponding non-homogeneous Beatty sequence is the sequence of integers defined by ∞ Bα,β =(⌊αn + β⌋)n=1 . Beatty sequences appear in a variety of apparently unrelated mathematical settings, and because of their versatility, many arithmetic properties of these sequences have been explored in the literature, such as • structural properties (see [14, 20, 21, 30, 38]); • additive properties (see [5, 24]); • the distribution of arithmetic functions (see [1, 2, 8, 11, 12, 16, 29]); • the distribution of quadratic nonresidues and primitive roots (see [4, 6, 7, 9, 15, 31, 32, 33]).
    [Show full text]
  • Beatty Sequences, Continued Fractions, and Certain Shift Operators
    Canad. Math. Bull. Vol. 19 (4), 1976 BEATTY SEQUENCES, CONTINUED FRACTIONS, AND CERTAIN SHIFT OPERATORS BY KENNETH B. STOLARSKY ABSTRACT. Let 0 = 0(k) be the positive root of d2 + (k-2)d- k = 0. Let f(n) = [(n + l)d]-[n$] for positive integers n, where [JC] denotes the greatest integer in x. Then the elements of the infinite sequence (/(l),/(2),/(3),...) can be rapidly generated from the finite sequence (/(l), /(2),..., f(k)) by means of certain shift operators. For k = 1 we can generate (the characteristic function of) the sequence [nd] itself in this manner. 1. Introduction. Since the "golden mean" «=1(1 + 75) has the expansion l+T^rïT' • * as a simple continued fraction, it is readily associated with the Fibonacci sequence 1,1, 2, 3, 5, 8,.... We shall show there is an apparently very different way in which a is associated with this sequence. Let 101010- • • be the sequence consisting of the 2 numbers 0,1 repeated infinitely often (in that order). If we repeat the first 3 numbers of this sequence infinitely often we get 101101101- • • . If we similarly repeat the first 5 numbers here, we get 1011010110- •• ; for 8 we get 1011010110110101 • • •. It is clear that this process "converges" (see §2 for a precise definition) to a sequence a1a2a3> • • • where a* is 0 or 1. THEOREM 1. Let [JC] denote the largest integer not exceeding x. Then an = l if n = [ma] for some integer m, and an = 0 otherwise. We shall find a similar phenomenon (Theorem 2 of §3) for an infinite class of quadratic irrationalities, and show that it is in fact a consequence of well known properties of simple continued fractions.
    [Show full text]
  • Wythoff Wisdom Eric Duchene, Aviezri Fraenkel, Vladimir Gurvich, Nhan Bao Ho, Clark Kimberling, Urban Larsson
    Wythoff Wisdom Eric Duchene, Aviezri Fraenkel, Vladimir Gurvich, Nhan Bao Ho, Clark Kimberling, Urban Larsson To cite this version: Eric Duchene, Aviezri Fraenkel, Vladimir Gurvich, Nhan Bao Ho, Clark Kimberling, et al.. Wythoff Wisdom. Games of No Chance 5, In press. hal-01651502 HAL Id: hal-01651502 https://hal.archives-ouvertes.fr/hal-01651502 Submitted on 28 Sep 2018 HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destinée au dépôt et à la diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publiés ou non, lished or not. The documents may come from émanant des établissements d’enseignement et de teaching and research institutions in France or recherche français ou étrangers, des laboratoires abroad, or from public or private research centers. publics ou privés. WYTHOFF WISDOM ERIC DUCHENE,ˆ AVIEZRI S. FRAENKEL, VLADIMIR GURVICH, NHAN BAO HO, CLARK KIMBERLING, AND URBAN LARSSON Abstract. Six authors tell their stories from their encounters with the famous combinatorial game Wythoff Nim and its sequences, including a short survey on exactly covering systems. 1. AmodificationofthegameofNim The game of Nim only preceded Wytho↵’s modification by a few years. By the famous theory of Sprague and Grundy some decades later, Nim drew a lot of attention. Wythoff Nim (here also called Wythoff’s game), on the other hand, only became regularly revisited towards the end of the 20th century, but its winning strategy is related to Fibonacci’s old discovery of the evolution of a rabbit population.
    [Show full text]
  • Morphic Words, Beatty Sequences and Integer Images of the Fibonacci Language
    Delft University of Technology Morphic words, Beatty sequences and integer images of the Fibonacci language Dekking, Michel DOI 10.1016/j.tcs.2019.12.036 Publication date 2020 Document Version Final published version Published in Theoretical Computer Science Citation (APA) Dekking, M. (2020). Morphic words, Beatty sequences and integer images of the Fibonacci language. Theoretical Computer Science, 809, 407-417. https://doi.org/10.1016/j.tcs.2019.12.036 Important note To cite this publication, please use the final published version (if applicable). Please check the document version above. Copyright Other than for strictly personal use, it is not permitted to download, forward or distribute the text or part of it, without the consent of the author(s) and/or copyright holder(s), unless the work is under an open content license such as Creative Commons. Takedown policy Please contact us and provide details if you believe this document breaches copyrights. We will remove access to the work immediately and investigate your claim. This work is downloaded from Delft University of Technology. For technical reasons the number of authors shown on this cover page is limited to a maximum of 10. Theoretical Computer Science 809 (2020) 407–417 Contents lists available at ScienceDirect Theoretical Computer Science www.elsevier.com/locate/tcs Morphic words, Beatty sequences and integer images of the Fibonacci language Michel Dekking Delft University of Technology, Faculty EEMCS, P.O. Box 5031, 2600 GA Delft, the Netherlands a r t i c l e i n f o a b s t r a c t Article history: Morphic words are letter-to-letter images of fixed points x of morphisms on finite Received 29 September 2019 alphabets.
    [Show full text]
  • Beatty Sequences and Multiplicative Number Theory
    ACTA ARITHMETICA LXX.3 (1995) Beatty sequences and multiplicative number theory by A. G. Abercrombie (Liverpool) Notation and conventions. If X is any set we denote the characteristic function of X by χX . The set of positive integers or natural numbers is denoted by N, the set of non-negative integers by N0. If x is a real number the symbols bxc, dxe denote respectively the greatest integer ≤ x and the least integer ≥ x. The fractional part x − bxc of x is denoted by hxi and the toral norm min(x − bxc, dxe − x) by |x|T. The residue class of an integer h modulo a fixed prime will be denoted by h. The symbol γ denotes Euler’s constant. The Fourier transform of a 1-periodic function f will be denoted by fb. If f and g are real functions we use the notation f g to mean the same as f = O(g). If limx→∞ f(x)/g(x) = 1 we write f ∼ g. 1. Introduction. Let θ be any number in [1, ∞). The sequence Bθ = {bθnc : n ∈ N} is called the Beatty sequence determined by θ. Beatty se- quences have been the subject of intensive investigation in recent years on account of their connection with semigroups (see for example [8] and the references therein); however this connection does not appear to be relevant to the question we consider in the present paper. A classical result in prime number theory (see [2], Theorem 9.9) states that for each irrational θ the sequence Bθ contains infinitely many primes.
    [Show full text]
  • The Least Prime Number in a Beatty Sequence
    THE LEAST PRIME NUMBER IN A BEATTY SEQUENCE JÖRN STEUDING AND MARC TECHNAU Abstract. We prove an upper bound for the least prime in an irra- tional Beatty sequence. This result may be compared with Linnik’s theorem on the least prime in an arithmetic progression. 1. Introduction and Statement of the Main Results In 1944, Yuri Linnik [11, 12] showed that for every sufficiently large q and coprime a, there exists a constant ℓ such that the least prime p in the prime residue class a mod q satisfies p cqℓ, where c is another absolute ≤ constant; the best bound so far for the appearing constant in the exponent is ℓ 5 due to Triantafyllos Xylouris [21]. This question dates back to ≤ Savardaman Chowla [5] who conjectured in 1934 that one may even take ℓ =1+ ǫ. Two years later Pál Turán [15] proved that this is true for almost all q and that it holds in general under the assumption of the generalized Riemann hypothesis. In this note we shall investigate the corresponding question about the least prime in a Beatty sequence. Given a positive real number α and a non-negative real β, the associated (generalized) Beatty sequence is defined by (α, β)= nα + β : n N , B {⌊ ⌋ ∈ } where x denotes the largest integer less than or equal to x. If α is ra- ⌊ ⌋ tional, then (α, β) is a union of residue classes and, if at least one of B them is a prime residue class, we may apply Linnik’s theorem to bound the least prime (see the concluding remarks, § 5).
    [Show full text]
  • Sumsets of Finite Beatty Sequences
    Sumsets of finite Beatty sequences Jane Pitman Department of Pure Mathematics, University of Adelaide, Adelaide, SA 5005, AUSTRALIA e-mail: [email protected] Submitted: May 12, 2000; Accepted: August 15, 2000 Dedicated to Aviezri Fraenkel, with respect and gratitude. Abstract An investigation of the size of S + S for a finite Beatty sequence S =(si)= (biα + γc), where bcdenotes “floor”, α, γ are real with α ≥ 1, and 0 ≤ i ≤ k − 1 and k ≥ 3. For α>2, it is shown that |S +S| depends on the number of “centres” of the Sturmian word ∆S =(si −si−1), and hence that 3(k −1) ≤|S +S|≤4k −6ifS is not an arithmetic progression. A formula is obtained for the number of centres of certain finite periodic Sturmian words, and this leads to further information about |S + S| in terms of finite nearest integer continued fractions. 1 Introduction For the purposes of this paper, an infinite sequence is a two-way infinite sequence, that is, a sequence indexed by the set Z of all integers. An infinite Beatty sequence is a strictly increasing sequence of integers s =(si)=(si)i∈Z such that for all integers i (1) si = biα + γc , AMS Subject Classification: 11B75, 11P99, 11B83, 52C05 Key Words and Phrases: Structure theory of set addition, sumset, small doubling property; Sturmian, two-distance, bracket function, Beatty, cutting sequence. the electronic journal of combinatorics 8 (no. 2) (2001), #R15 1 where bcdenotes “floor” or “integer part” and α, γ are fixed real numbers with α ≥ 1. Let s be such a sequence.
    [Show full text]