Every arithmetic progression contains infinitely many $b$-Niven numbers

Joshua Harrington,Matthew Litman,Tony W. H. Wong

DOI: https://doi.org/10.1017/S0004972723000758

2023-03-12

Abstract:For an integer $b\geq 2$, a positive integer is called a $b$-Niven number if it is a multiple of the sum of the digits in its base-$b$ representation. In this article, we show that every arithmetic progression contains infinitely many $b$-Niven numbers.

Number Theory

What problem does this paper attempt to address?

Arithmetic progressions of integers that are relatively prime to their digital sums

Ryan Blau,Joshua Harrington,Sarah Lohrey,Eliel Sosis,Tony W. H. Wong

2023-08-10

Abstract:For an integer $b\geq 2$, we call a positive integer $b$-anti-Niven if it is relatively prime to the sum of the digits in its base-$b$ representation. In this article, we investigate the maximum lengths of arithmetic progressions of $b$-anti-Niven numbers.

Number Theory
Concatenations of Terms of an Arithmetic Progression

Florian Luca,Bertrand Teguia Tabuguia

2024-05-15

Abstract:Let $\left(u(n)\right)_{n\in\mathbb{N}}$ be an arithmetic progression of natural integers in base $b\in\mathbb{N}\setminus \{0,1\}$. We consider the following sequences: $s(n)=\overline{u(0)u(1)\cdots u(n) }^b$ formed by concatenating the first $n+1$ terms of $\left(u(n)\right)_{n\in\mathbb{N}}$ in base $b$ from the right; $s_r(n) = \overline{u(n)u(n-1)\cdots u(0)}^b$; and $\left(s_*(n)\right)_{n\in\mathbb{N}}$, given by $s_*(0)=u(0)$, $s_*(n)=\overline{s_r(n-1)s(n)}^b, n\geq 1$. We construct explicit formulas for these sequences and use basic concepts of linear difference operators to prove they are not P-recursive (holonomic). We also present an alternative proof that follows directly from their definitions. We implemented $\left(s(n)\right)_{n\in\mathbb{N}}$ and $\left(s_r(n)\right)_{n\in\mathbb{N}}$ in the decimal base when $(u(n))_{n\in\mathbb{N}}=\mathbb{N}\setminus \{0\}$.

Combinatorics,Symbolic Computation
On simply normal numbers with digit dependencies

Verónica Becher,Agustín Marchionna,Gérald Tenenbaum

2023-05-28

Abstract:Given an integer $b\geqslant 2$ and a set $P$ of prime numbers, the set $T_P $ of Toeplitz numbers comprises all elements of $[0,b[$ whose digits $(a_n)_{n\geqslant 1}$ in the base-$b$ expansion satisfy $a_n=a_{pn}$ for all $p\in P$ and $n\geqslant 1$. Using a completely additive arithmetical function, we construct a number in~$T_P$ that is simply Borel normal if, and only if, $\sum_{p\not \in P} 1/p=\infty$. We then provide an effective bound for the discrepancy.

Number Theory
Sums of triangular numbers and sums of squares

Amir Akbary,Zafer Selcuk Aygin

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

2021-07-02

Abstract:For non-negative integers $a,b,$ and $n$, let $N(a, b; n)$ be the number of representations of $n$ as a sum of squares with coefficients $1$ or $3$ ($a$ of ones and $b$ of threes). Let $N^*(a,b; n)$ be the number of representations of $n$ as a sum of odd squares with coefficients $1$ or $3$ ($a$ of ones and $b$ of threes). We have that $N^*(a,b;8n+a+3b)$ is the number of representations of $n$ as a sum of triangular numbers with coefficients $1$ or $3$ ($a$ of ones and $b$ of threes). It is known that for $a$ and $b$ satisfying $1\leq a+3b \leq 7$, we have $$ N^*(a,b;8n+a+3b)= \frac{2}{2+{a\choose4}+ab} N(a,b;8n+a+3b) $$ and for $a$ and $b$ satisfying $a+3b=8$, we have $$ N^*(a,b;8n+a+3b) = \frac{2}{2+{a\choose4}+ab} \left( N(a,b;8n+a+3b) - N(a,b; (8n+a+3b)/4) \right). %& t(8,0;{n}) = \frac{1}{36} \left( N(8,0;8n+8) - N(8,0;2n+2) \right). \label{eq31_5} $$ Such identities are not known for $a+3b>8$. In this paper, for general $a$ and $b$ with $a+b$ even, we prove asymptotic equivalence of formulas similar to the above, as $n\rightarrow\infty$. One of our main results extends a theorem of Bateman, Datskovsky, and Knopp where the case $b=0$ and general $a$ was considered. Our approach is different from Bateman-Datskovsky-Knopp's proof where the circle method and singular series were used. We achieve our results by explicitly computing the Eisenstein components of the generating functions of $N^*(a,b;8n+a+3b)$ and $N(a,b;8n+a+3b)$. The method we use is robust and can be adapted in studying the asymptotics of other representation numbers with general coefficients.

Number Theory
Patterns in numbers and infinite sums and products

Yining Hu

DOI: https://doi.org/10.1016/j.jnt.2015.09.025

IF: 0.679

2016-05-01

Journal of Number Theory

Abstract:TextLet aw,B(n) denote the number of occurrences of the word w in the base B expansion of the non-negative integer n. In this article we generalize the results of Allouche and Shallit [2] by proving the existence of a finite set Lw,B of pairs (l,cl) where l is a polynomial with integer coefficients of degree 1 and cl an integer such that:∑n≥0(−1)aw,B(n)∑(l,cl)∈Lw,Bclf(l(n))={0 if w≠0j,−2⋅(−1)aw,B(0)f(0) if w=0jwhere f is any function that verifies certain convergence conditions.After exponentiating, we recover previous results and obtain new ones such as∏n≥1(3n+13n+2)(−1)n=23,and∏n≥1(9n+79n+8)(−1)a21,3(n)=873.VideoFor a video summary of this paper, please visit https://youtu.be/0wXL7xPkooc.

mathematics
Two New Kinds of Numbers and Their Arithmetic Properties

Zhi-Wei Sun

2014-01-01

Abstract:We mainly introduce two new kinds of numbers given by $$R_n=\sum_{k=0}^n\binom nk\binom{n+k}k\frac1{2k-1}\quad (n=0,1,2,...)$$ and $$S_n=\sum_{k=0}^n\binom nk^2\binom{2k}k(2k+1)\quad (n=0,1,2,...).$$ We find that such numbers have many interesting arithmetic properties. For example, if $p\equiv1\pmod 4$ is a prime with $p=x^2+y^2$ (where $x\equiv1\pmod 4$ and $y\equiv0\pmod 2$), then $$R_{(p-1)/2}\equiv p-(-1)^{(p-1)/4}2x\pmod{p^2}.$$ Also, $$\frac1{n^2}\sum_{k=0}^{n-1}S_k\in\mathbb Z \frac1n\sum_{k=0}^{n-1}S_k(x)\in\mathbb Z[x]\quad\text{for all} n=1,2,3,...,$$ where $S_k(x)=\sum_{j=0}^k\binom kj^2\binom{2j}j(2j+1)x^j$. For any positive integers $a$ and $n$, we show that, somewhat surprisingly, $$\frac1{n^2}\sum_{k=0}^{n-1}(2k+1)\binom{n-1}k^a\binom{-n-1}k^a\in\mathbb Z {and} \frac 1n\sum_{k=0}^{n-1}\frac{\binom{n-1}k^a\binom{-n-1}k^a}{4k^2-1}\in\mathbb Z.$$ We also solve a conjecture of V.J.W. Guo and J. Zeng, and pose several conjectures for further research.
On the Multiplicity of Binary Recurrences

董晓蕾,沈灏

DOI: https://doi.org/10.3969/j.issn.1005-9113.2003.02.016

2003-01-01

Abstract:LetA ∈ N,B ∈ Z with gcd (A,B) = 1 ,B(∈/){ - 1,0,1 }. For the binary recurrence (Lucas se-quence) of the form u0 = 0, u1 = 1 , un+2 = Aun+1 + Bun, let N1 (A,B,k) be the number of the terms n of | un= k, where k ∈ N. In this paper, using a new result of Bilu, Hanrot and Voutier on prinmitive divisors, weproved thatN1(A,B,k) ≤lexceptN1(1, -2,1) =5[n = 1,2,3,5,13], N1(1, -3,1) =3[n = 1,2,5],N1(1,-5,1) =3[n = 1,2,7],N1(1,B,1) =2(B(∈/) {-2, -3, -5})[n = 1,2], N1(12, -55,1) =2[n = 1,5], N1(12,-377,1) =2[n = 1,5], N1(A,B,1) =2(A2 +B =±1,A ＞ 1)[n = 1,3], N1(1,-2,3) = 2[n = 4,8], N1(A,B,A) = 2(A2 +2B =±1,A ＞ l[n = 2,4]. For Lehmer sequence, we gota similar result. In addition, we also obtained some applications of the above results to some Diophantime equa-tions.
On practical numbers of some special forms

Li-Yuan Wang,Zhi-Wei Sun

2022-01-01

Houston journal of mathematics

Abstract:In this paper we study practical numbers of some special forms. For any integers b >= 0 and c > 0, we show that if n(2) + bn + c is practical for some integer n > 1, then there are infinitely many nonnegative integers n with n2 + bn + c practical. We also prove that there are infinitely many practical numbers of the form q(4) + 2 with q practical, and that there are infinitely many practical Pythagorean triples (a; b; c) with gcd(a; b; c) = 6 (or gcd(a; b; c) = 4).
Fibonacci Cycles and Fixed Points

Walter A. Kehowski

2023-10-01

Abstract:Let $S_b(n)$ denote the sum of the squares of the digits of the positive integer $n$ in base $b\geq2$. It is well-known that the sequence of iterates of $S_b(n)$ terminates in a fixed point or enters a cycle. Let $N=2n-1$, $n\geq2$. It is shown that if $b=F_{N+1}$, then a cycle of $S_b$ exists with initial term $F_{N}=F_{0}.F_{N}$, and terminal element $F_{n}.F_{n-1}$ if $n$ is even, or terminal element $F_{n-1}.F_{n}$ if $n$ is odd. Similarly, Let $N=2n+1$, $n\geq1$. If $b=F_{N-1}$, then a cycle of $S_b$ exists with initial term $F_{N}=F_{2}.F_{N-2}$, and terminal element $F_{n}.F_{n+1}$ if $n$ is even, or terminal element $F_{n+1}.F_{n}$ if $n$ is odd. Furthermore, the cycles also admit extension as an arithmetic sequence of cycles of $S_b$ with base $b=F_{N+1}+F_{N+2}k$ and $b=F_{N-1}+F_{N-2}k$, respectively. Some fixed points of $S_b$ with $b$ a Fibonacci base are shown to exist. Lastly, both cycles and fixed points admit further generalization to Pell polynomials.

General Mathematics
Elated Numbers

N. Bradley Fox,Nathan H. Fox,Helen G. Grundman,Rachel Lynn,Changningphaabi Namoijam,Mary Vanderschoot

2024-09-16

Abstract:For a base $b \geq 2$, the $b$-elated function, $E_{2,b}$, maps a positive integer written in base $b$ to the product of its leading digit and the sum of the squares of its digits. A $b$-elated number is a positive integer that maps to $1$ under iteration of $E_{2,b}$. The height of a $b$-elated number is the number of iterations required to map it to $1$. We determine the fixed points and cycles of $E_{2,b}$ and prove a range of results concerning sequences of $b$-elated numbers and $b$-elated numbers of minimal heights. Although the $b$-elated function is closely related to the $b$-happy function, the behaviors of the two are notably different, as demonstrated by the results in this work.

Number Theory
Remarks on additive representations of natural numbers

Runbo Li

2024-02-08

Abstract:For two relatively prime square-free positive integers $a$ and $b$, we study integers of the form $a p+b P_{2}$ and give a new lower bound for it, where $a p$ and $b P_{2}$ are both square-free, $p$ denotes a prime, and $P_{2}$ has at most two prime factors. We also consider some special cases where $p$ is small, $p$ and $P_2$ are within short intervals, $p$ and $P_2$ are within arithmetical progressions and a Goldbach-type upper bound result. Our new results generalize and improve the previous results.

Number Theory
Normal numbers and nested perfect necklaces

Verónica Becher,Olivier Carton

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

2018-05-10

Abstract:M. B. Levin used Sobol-Faure low discrepancy sequences with Pascal matrices modulo $2$ to construct, for each integer $b$, a real number $x$ such that the first $N$ terms of the sequence $(b^n x \mod 1)_{n\geq 1}$ have discrepancy $O((\log N)^2/N)$. This is the lowest discrepancy known for this kind of sequences. In this note we characterize Levin's construction in terms of nested perfect necklaces, which are a variant of the classical de Bruijn necklaces. Moreover, we show that every real number $x$ whose base $b$ expansion is the concatenation of nested perfect necklaces of exponentially increasing order satisfies that the first $N$ terms of $(b^n x \mod 1)_{n\geq 1}$ have discrepancy $O((\log N)^2/N)$. For base $2$ and the order being a power of $2$, we give the exact number of nested perfect necklaces and an explicit method based on matrices to construct each of them.

Number Theory
Primes with a missing digit: distribution in arithmetic progressions and an application in sieve theory

Kunjakanan Nath

DOI: https://doi.org/10.1112/jlms.12837

2023-10-24

Abstract:We prove Bombieri-Vinogradov type theorems for primes with a missing digit in their $b$-adic expansion for some large positive integer $b$. The proof is based on the circle method, which relies on the Fourier structure of the integers with a missing digit and the exponential sums over primes in arithmetic progressions. Combining our results with the semi-linear sieve, we obtain an upper bound and a lower bound of the correct order of magnitude for the number of primes of the form $p=1+m^2+n^2$ with a missing digit in a large odd base $b$.

Number Theory
Betti numbers of finitely presented groups and very rapidly growing functions

Alexander Nabutovsky,Shmuel Weinberger

DOI: https://doi.org/10.1016/j.top.2007.02.002

2007-03-01

Topology

Abstract:Define the length of a finite presentation of a group G as the sum of lengths of all relators plus the number of generators. How large can the kth Betti number bk(G)= rank Hk(G) be providing that G has length ≤N and bk(G) is finite? We prove that for every k≥3 the maximum bk(N) of the kth Betti numbers of all such groups is an extremely rapidly growing function of N. It grows faster that all functions previously encountered in mathematics (outside of logic) including non-computable functions (at least those that are known to us). More formally, bk grows as the third busy beaver function that measures the maximal productivity of Turing machines with ≤N states that use the oracle for the halting problem of Turing machines using the oracle for the halting problem of usual Turing machines.We also describe the fastest possible growth of a sequence of finite Betti numbers of a finitely presented group. In particular, it cannot grow as fast as the third busy beaver function but can grow faster than the second busy beaver function that measures the maximal productivity of Turing machines using an oracle for the halting problem for usual Turing machines. We describe a natural problem about Betti numbers of finitely presented groups such that its answer is expressed by a function that grows as the fifth busy beaver function.Also, we outline a construction of a finitely presented group all of whose homology groups are either Z or trivial such that its Betti numbers form a random binary sequence.
Variations on a Generating-Function Theme: Enumerating Compositions with Parts Avoiding an Arithmetic Sequence

Matthias Beck,Neville Robbins,Matthias Beck and Neville Robbins

DOI: https://doi.org/10.4169/amer.math.monthly.122.03.256

2015-01-01

Abstract:A composition of a positive integer n is a k-tuple (λ1, λ2, …, λk) ∈ ℤk>0 such that n = λ1 + λ2 + … + λk. Our goal is to enumerate those compositions whose parts λ1, λ2, …, λk avoid a fixed arithmetic sequence. When this sequence is given by the even integers (i.e., all parts of the compositions must be odd), it is well known that the number of compositions is given by the Fibonacci sequence. A much more recent theorem says that when the parts are required to avoid all multiples of a given integer k, the resulting compositions are counted by a sequence given by a Fibonacci-type recursion of depth k. We extend this result to arbitrary arithmetic sequences. Our main tool is a lemma on generating functions that is no secret among experts but deserves to be more widely known.
Long Arithmetic Progressions in A+A+A with A a Prime Subset

Zhen Cui,Hongze Li,Boqing Xue

DOI: https://doi.org/10.1016/j.jnt.2012.01.011

IF: 0.679

2012-01-01

Journal of Number Theory

Abstract:If A is a dense subset of the integers, then A+A+A contains long arithmetic progressions. This problem has been studied by many people, but results of sparse sets are hard to obtain. In this paper, we prove that if A is a subset of the primes less than n with cardinality αn/logn, then A+A+A contains a long arithmetic progression of length at least{nc1α2/logα−1if α⩾(1/logloglogn)c0,c2α5(logα−1)−1nc3α4/logα−1if α⩾(1/logn)c0′.
Near-squares in binary recurrence sequences

Nikos Tzanakis,Paul Voutier

2024-01-05

Abstract:We call an integer a \emph{near-square} if its absolute value is a square or a prime times a square. We investigate such near-squares in the binary recurrence sequences defined for integers $a \geq 3$ by $u_{0}(a)=0$, $u_{1}(a)=1$ and $u_{n+2}(a)=au_{n+1}(a)-u_{n}(a)$ for $n \geq 0$. We show that for a given $a \geq 3$, there is at most one $n \geq 5$ such that $u_{n}(a)$ is a near-square. With the exceptions of $u_{6}(3)=12^{2}$ and $u_{7}(6)=239 \cdot 13^{2}$, any such $u_{n}(a)$ can only be a near-square if $a \equiv 2 \bmod 4$, $n \equiv 3 \bmod 4$ is prime and $n \geq 19$. This is part of a more general phenomenon regarding near-squares in non-degenerate recurrence sequences defined for integers $a$ and $b=-b_{1}^{2}$ by $u_{0}(a,b)=0$, $u_{1}(a,b)=1$ and $u_{n+2}(a,b)=au_{n+1}(a,b)+bu_{n}(a,b)$ for $n \geq 0$ (see our Conjecture 1.1). It arises from a new Aurifeuillean-like factorization of elements of recurrence sequences that we have discovered (see relation (1.1)).

Number Theory
A New Transcendental Number from $N^N$

Hung Viet Chu

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

2020-01-08

Abstract:We first give a summary of the history of transcendental numbers then use a nice technique by G. Dresden to prove a new transcendental number. In particular, while previous work looked at the last non-zero digit of $n^n$, we consider the digit right before its last non-zero digit and show that the infinite decimal built from these digits is transcendental.

Number Theory
Long Solutions of Sequence A348480 of the On-Line Encyclopedia of Integer Sequences

Rüdiger Jehn

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

2022-01-03

Abstract:For numbers $x$ coprime to $10$ there exist infinitely many binary numbers $b$ such that the greatest common divisor of $b$ and rev($b$) = $x$ and the sum of digits of $b = x$ (rev($b$) is the digit reversal of $b$). In most cases, the smallest $b$ that fulfill these two constraints contain just a few zeros. But in some cases like for $x = 7, 11, 13$ and $37$, $b$ must contain more zeros than ones and these $b$ are called long solutions. For $11$ and $37$ it follows directly from the fact that these are porous numbers. For $7$ and $13$, the proofs that they have long solutions are presented in this paper.

General Mathematics
Partitioning the set of natural numbers into Mersenne trees and into arithmetic progressions; Natural Matrix and Linnik's constant

Gennady Eremin

2024-06-10

Abstract:We partition a series of natural numbers into infinite number sequences. We consider two partitioning options: (a) a forest of unary trees with recurrence formula of Mersenne numbers, and (b) a set of arithmetic progressions with difference $2^k$. Every tree starts with an even number, and any even number starts a certain tree. In the partitioning into arithmetic progressions, each progression starts with a Mersenne number, and each Mersenne number is the beginning of a particular arithmetic progression. Unary trees starting from some term are contained in OEIS A036991 (compact Dyck path codes), so we consider A036991 as a backbone of the partitions. In particular, we prove the existence of an arithmetic progression of any length in A036991. As a result of the partitions, we obtain a Natural Matrix with a packing function that captures the bijection between the set of natural numbers and the set of ordered pairs of natural numbers. In Natural Matrix, the even natural numbers are located on the $x$-axis, so the selection of primes in the considered arithmetic progressions is greatly simplified. A method for proving the infinity of primes in A036991 is proposed. In this regard, an attempt is made to reduce the Linnik's constant to $2$.

Combinatorics,Number Theory

Every arithmetic progression contains infinitely many $b$-Niven numbers

Arithmetic progressions of integers that are relatively prime to their digital sums

Concatenations of Terms of an Arithmetic Progression

On simply normal numbers with digit dependencies

Sums of triangular numbers and sums of squares

Patterns in numbers and infinite sums and products

Two New Kinds of Numbers and Their Arithmetic Properties

On the Multiplicity of Binary Recurrences

On practical numbers of some special forms

Fibonacci Cycles and Fixed Points

Elated Numbers

Remarks on additive representations of natural numbers

Normal numbers and nested perfect necklaces

Primes with a missing digit: distribution in arithmetic progressions and an application in sieve theory

Betti numbers of finitely presented groups and very rapidly growing functions

Variations on a Generating-Function Theme: Enumerating Compositions with Parts Avoiding an Arithmetic Sequence

Long Arithmetic Progressions in A+A+A with A a Prime Subset

Near-squares in binary recurrence sequences

A New Transcendental Number from $N^N$

Long Solutions of Sequence A348480 of the On-Line Encyclopedia of Integer Sequences

Partitioning the set of natural numbers into Mersenne trees and into arithmetic progressions; Natural Matrix and Linnik's constant