BZPEER

preprint2022arXiv

On the multiplicity in Pillai's problem with Fibonacci numbers and powers of a fixed prime

Let $\{F_n\}_{n\ge 0}$ be the sequence of Fibonacci numbers and let $p$ be a prime. For an integer $c$ we write $m_{F,p}(c)$ for the number of distinct representations of $c$ as $F_k-p^\ell$ with $k\ge 2$ and $\ell\ge 0$ . We prove that $m_{F,p}(c)\le 4$ .

preprint2022arXiv

On the transcendence of a series related to Sturmian words

Let $b$ be an algebraic number with $|b|>1$ and $\mathcal{H}$ a finite set of algebraic numbers. We study the transcendence of numbers of the form $\sum_{n=0}^\infty \frac{a_n}{b^n}$ where $a_n \in \mathcal{H}$ for all $n\in\mathbb{N}$ . We assume that the sequence $(a_n)_{n=0}^\infty$ is generated by coding the orbit of a point under an irrational rotation of the unit circle. In particular, this assumption holds whenever the sequence is Sturmian. Our main result shows that all numbers of the above form are transcendental. We moreover give sufficient conditions for a finite set of such numbers to be linearly independent over~ $\bar{\mathbb{Q}}$ .

preprint2022arXiv

Skolem Meets Schanuel

The celebrated Skolem-Mahler-Lech Theorem states that the set of zeros of a linear recurrence sequence is the union of a finite set and finitely many arithmetic progressions. The corresponding computational question, the Skolem Problem, asks to determine whether a given linear recurrence sequence has a zero term. Although the Skolem-Mahler-Lech Theorem is almost 90 years old, decidability of the Skolem Problem remains open. The main contribution of this paper is an algorithm to solve the Skolem Problem for simple linear recurrence sequences (those with simple characteristic roots). Whenever the algorithm terminates, it produces a stand-alone certificate that its output is correct -- a set of zeros together with a collection of witnesses that no further zeros exist. We give a proof that the algorithm always terminates assuming two classical number-theoretic conjectures: the Skolem Conjecture (also known as the Exponential Local-Global Principle) and the $p$ -adic Schanuel Conjecture. Preliminary experiments with an implementation of this algorithm within the tool \textsc{Skolem} point to the practical applicability of this method.

preprint2022arXiv

Terms of Lucas sequences having a large smooth divisor

We show that the $Kn$ --smooth part of $a^n-1$ for an integer $a>1$ is $a^{o(n)}$ for most positive integers $n$ .

preprint2021arXiv

Coprime partitions and Jordan totient functions

We show that while the number of coprime compositions of a positive integer $n$ into $k$ parts can be expressed as a $\mathbb{Q}$ -linear combinations of the Jordan totient functions, this is never possible for the coprime partitions of $n$ into $k$ parts. We also show that the number $p_k'(n)$ of coprime partitions of $n$ into $k$ parts can be expressed as a $\mathbb{C}$ -linear combinations of the Jordan totient functions, for $n$ sufficiently large, if and only if $k\in \{2,3\}$ and in a unique way. Finally we introduce some generalizations of the Jordan totient functions and we show that $p_k'(n)$ can be always expressed as a $\mathbb{C}$ -linear combinations of them.

preprint2020arXiv

On a recursively defined sequence involving the prime counting function

We prove some properties of the sequence $\{a_n\}_{n\ge1}$ defined by $a_n=π(n)-π\bigl(\textstyle\sum_{k=1}^{n-1}a_k\bigr).$

preprint2020arXiv

On certain sums concerning the gcd's and lcm's of $k$ positive integers

We use elementary arguments to prove results on the order of magnitude of certain sums concerning the gcd's and lcm's of $k$ positive integers, where $k\ge 2$ is fixed. We refine and generalize an asymptotic formula of Bordellès (2007), and extend certain related results of Hilberdink and Tóth (2016). We also formulate some conjectures and open problems.

preprint2020arXiv

On members of Lucas sequences which are products of Catalan numbers

We show that if $\{U_n\}_{n\geq 0}$ is a Lucas sequence, then the largest $n$ such that $|U_n|=C_{m_1}C_{m_2}\cdots C_{m_k}$ with $1\leq m_1\leq m_2\leq \cdots\leq m_k$ , where $C_m$ is the $m$ th Catalan number satisfies $n<6500$ . In case the roots of the Lucas sequence are real, we have $n\in \{1,2, 3, 4, 6, 8, 12\}$ . As a consequence, we show that if $\{X_n\}_{n\geq 1}$ is the sequence of the $X$ coordinates of a Pell equation $X^2-dY^2=\pm 1$ with a nonsquare integer $d>1$ , then $X_n=C_m$ implies $n=1$ .

preprint2020arXiv

On Positivity and Minimality for Second-Order Holonomic Sequences

An infinite sequence $\langle{u_n}\rangle_{n\in\mathbb{N}}$ of real numbers is holonomic (also known as P-recursive or P-finite) if it satisfies a linear recurrence relation with polynomial coefficients. Such a sequence is said to be positive if each $u_n \geq 0$ , and minimal if, given any other linearly independent sequence $\langle{v_n}\rangle_{n \in\mathbb{N}}$ satisfying the same recurrence relation, the ratio $u_n/v_n$ converges to $0$ . In this paper, we focus on holonomic sequences satisfying a second-order recurrence $g_3(n)u_n = g_2(n)u_{n-1} + g_1(n)u_{n-2}$ , where each coefficient $g_3, g_2,g_1 \in \mathbb{Q}[n]$ is a polynomial of degree at most $1$ . We establish two main results. First, we show that deciding positivity for such sequences reduces to deciding minimality. And second, we prove that deciding minimality is equivalent to determining whether certain numerical expressions (known as periods, exponential periods, and period-like integrals) are equal to zero. Periods and related expressions are classical objects of study in algebraic geometry and number theory, and several established conjectures (notably those of Kontsevich and Zagier) imply that they have a decidable equality problem, which in turn would entail decidability of Positivity and Minimality for a large class of second-order holonomic sequences.

preprint2020arXiv

On the exponential Diophantine equation related to powers of two consecutive terms of Lucas sequences

Let $r\ge 1$ be an integer and ${\bf U}:=(U_{n})_{n\ge 0}$ be the Lucas sequence given by $U_0=0$ , $U_1=1,$ and $U_{n+2}=rU_{n+1}+U_n$ , for all $n\ge 0$ . In this paper, we show that there are no positive integers $r\ge 3,~x\ne 2,~n\ge 1$ such that $U_n^x+U_{n+1}^x$ is a member of ${\bf U}$ .

preprint2020arXiv

On the prime factors of the iterates of the Ramanujan $τ$ --function

In this paper, for a positive integer $n\ge 1$ , we look at the size and prime factors of the iterates of the Ramanujan $τ$ function applied to $n$ .

preprint2020arXiv

On the problem of Pillai with $k$ --generalized Fibonacci numbers and powers of $3$

For an integer $k\ge 2$ , let $\{F^{(k)}_{n}\}_{n\ge 2-k}$ be the $k$ --generalized Fibonacci sequence which starts with $0, \ldots, 0,1$ (a total of $k$ terms) and for which each term afterwards is the sum of the $k$ preceding terms. In this paper, we find all integers $c$ with at least two representations as a difference between a $k$ -generalized Fibonacci number and a power of $3$ . This paper continues the previous work of the first author for the Fibonacci numbers, and the Tribonacci numbers.

preprint2020arXiv

Perfect squares representing the number of rational points on elliptic curves over finite field extensions

Let $q$ be a perfect power of a prime number $p$ and $E({\mathbb F}_q)$ be an elliptic curve over ${\mathbb F}_q$ given by the equation $y^2=x^3+Ax+B$ . For a positive integer $n$ we denote by $\# E({\mathbb F}_{q^n})$ the number of rational points on $E$ (including infinity) over the extension ${\mathbb F}_{q^n}$ . Under a mild technical condition, we show that the sequence $\lbrace \# E({\mathbb F}_{q^n}) \rbrace_{n>0}$ contains at most $10^{200}$ perfect squares. If the mild condition is not satisfied, then $\#E({\mathbb F}_{q^n})$ is a perfect square for infinitely many $n$ including all the multiples of $24$ . Our proof uses a quantitative version of the Subspace Theorem. We also find all the perfect squares for all such sequences in the range $q < 50$ and $n\leq 1000$ .

preprint2019arXiv

Primitive root bias for twin primes II: Schinzel-type theorems for totient quotients and the sum-of-divisors function

Garcia, Kahoro, and Luca showed that the Bateman-Horn conjecture implies $ϕ(p-1) \geq ϕ(p+1)$ for a majority of twin-primes pairs $p,p+2$ and that the reverse inequality holds for a small positive proportion of the twin primes. That is, $p$ tends to have more primitive roots than does $p+2$ . We prove that Dickson's conjecture, which is much weaker than Bateman-Horn, implies that the quotients $\frac{ϕ(p+1)}{ϕ(p-1)}$ , as $p,p+2$ range over the twin primes, are dense in the positive reals. We also establish several Schinzel-type theorems, some of them unconditional, about the behavior of $\frac{ϕ(p+1)}{ϕ(p)}$ and $\frac{σ(p+1)}{σ(p)}$ , in which $σ$ denotes the sum-of-divisors function.

preprint2018arXiv

$p$ -adic quotient sets

For $A \subseteq \mathbb{N}$ , the question of when $R(A) = \{a/a' : a, a' \in A\}$ is dense in the positive real numbers $\mathbb{R}_+$ has been examined by many authors over the years. In contrast, the $p$ -adic setting is largely unexplored. We investigate conditions under which $R(A)$ is dense in the $p$ -adic numbers. Techniques from elementary, algebraic, and analytic number theory are employed in this endeavor. We also pose many open questions that should be of general interest.

preprint2018arXiv

Constrained ternary integers

An integer $n$ is said to be ternary if it is composed of three distinct odd primes. In this paper, we asymptotically count the number of ternary integers $n \leq x$ with the constituent primes satisfying various constraints. We apply our results to the study of the simplest class of (inverse) cyclotomic polynomials that can have coefficients that are greater than 1 in absolute value, namely to the $n^{th}$ (inverse) cyclotomic polynomials with ternary $n$ . We show, for example, that the corrected Sister Beiter conjecture is true for a fraction $\ge 0.925$ of ternary integers.

preprint2017arXiv

On the difference in values of the Euler totient function near prime arguments

We prove unconditionally that for each $\ell \geq 1$ , the difference $ϕ(p-\ell) - ϕ(p+\ell)$ is positive for $50\%$ of odd primes $p$ and negative for $50\%$ .

preprint2017arXiv

On the discriminator of Lucas sequences

We consider the family of Lucas sequences uniquely determined by $U_{n+2}(k)=(4k+2)U_{n+1}(k) -U_n(k),$ with initial values $U_0(k)=0$ and $U_1(k)=1$ and $k\ge 1$ an arbitrary integer. For any integer $n\ge 1$ the discriminator function $\mathcal{D}_k(n)$ of $U_n(k)$ is defined as the smallest integer $m$ such that $U_0(k),U_1(k),\ldots,U_{n-1}(k)$ are pairwise incongruent modulo $m$ . Numerical work of Shallit on $\mathcal{D}_k(n)$ suggests that it has a relatively simple characterization. In this paper we will prove that this is indeed the case by showing that for every $k\ge 1$ there is a constant $n_k$ such that ${\mathcal D}_{k}(n)$ has a simple characterization for every $n\ge n_k$ . The case $k=1$ turns out to be fundamentally different from the case $k>1$ .

preprint2017arXiv

Primitive root bias for twin primes

Numerical evidence suggests that for only about $2\%$ of pairs $p,p+2$ of twin primes, $p+2$ has more primitive roots than does $p$ . If this occurs, we say that $p$ is exceptional (there are only two exceptional pairs with $5 \leq p \leq 10{,}000$ ). Assuming the Bateman-Horn conjecture, we prove that at least $0.47\%$ of twin prime pairs are exceptional and at least $65.13\%$ are not exceptional. We also conjecture a precise formula for the proportion of exceptional twin primes.

preprint2017arXiv

Primitive root biases for prime pairs I: existence and non-totality of biases

We study the difference between the number of primitive roots modulo $p$ and modulo $p+k$ for prime pairs $p,p+k$ . Assuming the Bateman-Horn conjecture, we prove the existence of strong sign biases for such pairs. More importantly, we prove that for a small positive proportion of prime pairs $p,p+k$ , the dominant inequality is reversed.

preprint2016arXiv

An elliptic sequence is not a sampled linear recurrence sequence

Let $E$ be an elliptic curve defined over the rationals and in minimal Weierstrass form, and let $P=(x_1/z_1^2,y_1/z_1^3)$ be a rational point of infinite order on $E$ , where $x_1,y_1,z_1$ are coprime integers. We show that the integer sequence $(z_n)$ defined by $nP=(x_n/z_n^2,y_n/z_n^3)$ for all $n\ge 1$ does not eventually coincide with $(u_{n^2})$ for any choice of linear recurrence sequence $(u_n)$ with integer values.

preprint2016arXiv

Diversity in Parametric Families of Number Fields

Let X be a projective curve defined over Q and t a non-constant Q-rational function on X of degree at least 2. For every integer n pick a point P_n on X such that t(P_n)=n. A result of Dvornicich and Zannier implies that, for large N, among the number fields Q(P_1),...,Q(P_N) there are at least cN/\log N distinct, where c>0. We prove that there are at least N/(\log N)^{1-c} distinct fields, where c>0.

preprint2016arXiv

Number Fields in Fibers: the Geometrically Abelian Case with Rational Critical Values

Let X be an algebraic curve over Q and t a non-constant Q-rational function on X such that Q(t) is a proper subfield of Q(X). For every integer n pick a point P_n on X such that t(P_n)=n. We conjecture that, for large N, among the number fields Q(P_1), ..., Q(P_N) there are at least cN distinct. We prove this conjecture in the special case when t defines a geometrically abelian covering of the projective line, and the critical values of t are all rational. This implies, in particular, that our conjecture follows from a famous conjecture of Schinzel.

preprint2016arXiv

On arithmetic lattices in the plane

We investigate similarity classes of arithmetic lattices in the plane. We introduce a natural height function on the set of such similarity classes, and give asymptotic estimates on the number of all arithmetic similarity classes, semi-stable arithmetic similarity classes, and well-rounded arithmetic similarity classes of bounded height as the bound tends to infinity. We also briefly discuss some properties of the $j$ -invariant corresponding to similarity classes of planar lattices.

preprint2016arXiv

On the $X$ -coordinates of Pell equations which are Tribonacci numbers

For an integer $d\geq 2$ which is not a square, we show that there is at most one value of the positive integer $X$ participating in the Pell equation $X^2-dY^2=\pm 1$ which is a Tribonacci number, with a few exceptions that we completely characterize.

preprint2016arXiv

Only finitely many Tribonacci Diophantine triples exist

Diophantine triples taking values in recurrence sequences have recently been studied quite a lot. In particular the question was raised whether or not there are finitely many Diophantine triples in the Tribonacci sequence. We answer this question here in the affirmative. We prove that there are only finitely many triples of integers $1\le u<v<w$ such that $uv+1,uw+1,vw+1$ are Tribonacci numbers. The proof depends on the Subspace theorem.

preprint2016arXiv

Power of Two as sums of Three Pell Numbers

In this paper, we find all the solutions of the Diophantine equation $P_\ell + P_m +P_n=2^a$ , in nonnegative integer variables $(n,m,\ell, a)$ where $P_k$ is the $k$ -th term of the Pell sequence $\{P_n\}_{n\ge 0}$ given by $P_0=0$ , $P_1=1$ and $P_{n+1}=2P_{n}+ P_{n-1}$ for all $n\geq 1$ .

preprint2015arXiv

Counting terms $U_n$ of third order linear recurrences with $U_n=u^2+nv^2$

Given a recurrent sequence ${\bf U}:=\{U_n\}_{n\ge 0}$ we consider the problem of counting ${\mathcal M}_U(x)$ , the number of integers $n\le x$ such that $U_n=u^2+nv^2$ for some integers $u,v$ . We will show that ${\mathcal M}_U(x)\ll x(\log x)^{-0.05}$ for a large class of ternary sequences. Our method uses many ingredients from the proof of Alba González and the second author that ${\mathcal M}_F(x)\ll x(\log x)^{-0.06}$ , with $\bf F$ the Fibonacci sequence.

preprint2015arXiv

Cyclotomic coefficients: gaps and jumps

We improve several recent results by Hong, Lee, Lee and Park (2012) on gaps and Bzdȩga (2014) on jumps amongst the coefficients of cyclotomic polynomials. Besides direct improvements, we also introduce several new techniques that have never been used in this area.

preprint2015arXiv

Finiteness results for Diophantine triples with repdigit values

Let $g\ge 2$ be an integer and $\mathcal R_g\subset \mathbb N$ be the set of repdigits in base $g$ . Let $\mathcal D_g$ be the set of Diophantine triples with values in $\mathcal R_g$ ; that is, $\mathcal D_g$ is the set of all triples $(a,b,c)\in \mathbb N^3$ with $c<b<a$ such that $ab+1,ac+1$ and $ab+1$ lie in the set $\mathcal R_g$ . In this paper, we prove effective finitness results for the set $\mathcal D_g$ .

preprint2015arXiv

Functional Graphs of Polynomials over Finite Fields

Given a function $f$ in a finite field ${\mathbb F}_q$ of $q$ elements, we define the functional graph of $f$ as a directed graph on $q$ nodes labelled by the elements of ${\mathbb F}_q$ where there is an edge from $u$ to $v$ if and only if $f(u) = v$ . We obtain some theoretic estimates on the number of non-isomorphic graphs generated by all polynomials of a given degree. We then develop a simple and practical algorithm to test the isomorphism of quadratic polynomials that has linear memory and time complexities. Furthermore, we extend this isomorphism testing algorithm to the general case of functional graphs, and prove that, while its time complexity increases only slightly, its memory complexity remains linear. We exploit this algorithm to provide an upper bound on the number of functional graphs corresponding to polynomials of degree $d$ over ${\mathbb F}_q$ . Finally, we present some numerical results and compare function graphs of quadratic polynomials with those generated by random maps and pose interesting new problems.

preprint2015arXiv

Lucas Numbers with Lehmer Property

A composite positive integer n is Lehmer if ϕ(n) divides n-1, where ϕ(n) is the Euler's totient function. No Lehmer number is known, nor has it been proved that they don't exist. In 2007, the second author [7] proved that there is no Lehmer number in the Fibonacci sequence. In this paper, we adapt the method from [7] to show that there is no Lehmer number in the companion Lucas sequence of the Fibonacci sequence $(L_n)_{n\geq 0}$ given by $L_0 = 2, L_1 = 1$ and $L_{n+2} = L_{n+1} + L_n$ for all $n\geq 0.$

preprint2015arXiv

On a divisibility relation for Lucas sequences

In this note, we study the divisibility relation $U_m\mid U_{n+k}^s-U_n^s$ , where ${\bf U}:=\{U_n\}_{n\ge 0}$ is the Lucas sequence of characteristic polynomial $x^2-ax\pm 1$ and $k,m,n,s$ are positive integers.

preprint2015arXiv

Pell Numbers whose Euler Function is a Pell Number

In this paper, we show that the only Pell numbers whose Euler function is also a Pell number are $1$ and $2$ .

preprint2015arXiv

Pell Numbers with Lehmer property

In this paper, we prove that there is no number with the Lehmer property in the sequence of Pell numbers.

preprint2015arXiv

Quadratic forms representing the $p$ -th Fibonacci number

In this paper, we show that if $p\equiv 1\pmod 4$ is prime, then $4F_p$ admits a representation of the form $u^2-pv^2$ for some integers $u$ and $v$ , where $F_n$ is the $n$ th Fibonacci number. We prove a similar result when $p\equiv -1\pmod 4$ .

preprint2015arXiv

Rational Products of Singular Moduli

We determine couples of singular moduli which have rational products

preprint2015arXiv

The Distribution of Self-Fibonacci Divisors

Consider the positive integers $n$ such that $n$ divides the $n$ -th Fibonacci number, and their counting function $A$ . We prove that $A(x) \leq x^{1-(1/2+o(1))\log\log\log x/\log\log x}.$

preprint2015arXiv

Visual properties of generalized Kloosterman sums

For a positive integer $m$ and a subgroup $Λ$ of the unit group $(\mathbb{Z}/m\mathbb{Z})^\times$ , the corresponding generalized Kloosterman sum is the function $K(a,b,m,Λ) = \sum_{u \in Λ}e(\frac{au + bu^{-1}}{m})$ . Unlike classical Kloosterman sums, which are real valued, generalized Kloosterman sums display a surprising array of visual features when their values are plotted in the complex plane. In a variety of instances, we identify the precise number-theoretic conditions that give rise to particular phenomena.

preprint2014arXiv

A note on the number of $S$ -Diophantine quadruples

Let $(a_1,\dots, a_m)$ be an $m$ -tuple of positive, pairwise distinct, integers. If for all $1\leq i< j \leq m$ the prime divisors of $a_ia_j+1$ come from the same fixed set $S$ , then we call the $m$ -tuple $S$ -Diophantine. In this note we estimate the number of $S$ -Diophantine quadruples in terms of $|S|=r$ .

preprint2014arXiv

Coincidences in generalized Lucas sequences

For an integer $k\geq 2$ , let $(L_{n}^{(k)})_{n}$ be the $k-$ generalized Lucas sequence which starts with $0,\ldots,0,2,1$ ( $k$ terms) and each term afterwards is the sum of the $k$ preceding terms. In this paper, we find all the integers that appear in different generalized Lucas sequences; i.e., we study the Diophantine equation $L_n^{(k)}=L_m^{(\ell)}$ in nonnegative integers $n,k,m,\ell$ with $k, \ell\geq 2$ . The proof of our main theorem uses lower bounds for linear forms in logarithms of algebraic numbers and a version of the Baker-Davenport reduction method. This paper is a continuation of the earlier work [4].

preprint2014arXiv

On the Fixed Points of the Map x -> x^x Modulo a Prime

In this paper, we show that for almost all primes p there is an integer solution x in [2,p-1] to the congruence x^x == x mod p. The solutions can be interpretated as fixed points of the map x -> x^x mod p, and we study numerically and discuss some unexpected properties of the dynamical system associated with this map.

preprint2014arXiv

On the Typical Size and Cancelations Among the Coefficients of Some Modular Forms

We obtain a nontrivial upper bound for almost all elements of the sequences of real numbers which are multiplicative and at the prime indices are distributed according to the Sato--Tate density. Examples of such sequences come from coefficients of several $L$ -functions of elliptic curves and modular forms. In particular, we show that $|τ(n)|\le n^{11/2} (\log n)^{-1/2+o(1)}$ for a set of $n$ of asymptotic density 1, where $τ(n)$ is the Ramanujan $τ$ function while the standard argument yields $\log 2$ instead of $-1/2$ in the power of the logarithm. Another consequence of our result is that in the number of representations of $n$ by a binary quadratic form one has slightly more than square-root cancellations for almost all integers $n$ . In addition we obtain a central limit theorem for such sequences, assuming a weak hypothesis on the rate of convergence to the Sato--Tate law. For Fourier coefficients of primitive holomorphic cusp forms such a hypothesis is known conditionally assuming the automorphy of all symmetric powers of the form and seems to be within reach unconditionally using the currently established potential automorphy.

preprint2014arXiv

Powers of two as sums of two $k-$ Fibonacci numbers

For an integer $k\geq 2$ , let $(F_{n}^{(k)})_{n}$ be the $k-$ Fibonacci sequence which starts with $0,\ldots,0,1$ ( $k$ terms) and each term afterwards is the sum of the $k$ preceding terms. In this paper, we search for powers of 2 which are sums of two $k-$ Fibonacci numbers. The main tools used in this work are lower bounds for linear forms in logarithms and a version of the Baker--Davenport reduction method in diophantine approximation. This paper continues and extends the previous work of \cite{BL2} and \cite{BL13}.

preprint2014arXiv

The image of Carmichael's $λ$ -function

We show that the counting function of the set of values of the Carmichael $λ$ -function is $x/(\log x)^{η+o(1)}$ , where $η=1-(1+\log\log 2)/(\log 2)=0.08607...$ .

preprint2013arXiv

Carmichael numbers in the sequence (k2^n+1)_{n\ge 1}

We prove that for each odd number k, the sequence (k2^n+1)_{n\ge 1} contains only a finite number of Carmichael numbers. We also prove that k=27 is the smallest value for which such a sequence contains some Carmichael number.

preprint2012arXiv

Compositions of n Satisfying Some Coprimality Conditions

A k-composition of n is a sequence of length k of positive integers summing up to n. In this paper, we investigate the number of k-compositions of n satisfying two natural coprimality conditions. Namely, we first give an exact asymptotic formula for the number of k-compositions having the first summand coprime to the others. Then, we estimate the number of k-compositions whose summands are all pairwise coprime.

preprint2012arXiv

On some monotonic combinatorial sequences conjectures

Here we prove some conjectures on the monotony of combinatorial sequences from the recent preprint of Zhi--Wei Sun.

preprint2012arXiv

On the Diophantine equation x^2+2^a.3^b.11^c=y^n

In this note, we find all the solutions of the Diophantine equation x^2 +2^a.3^b.11^c=y^n in nonnegative integers a, b, c, x, y, n>= 3 with x and y coprime.

preprint2012arXiv

On the largest prime factor of the $k-$ Fibonacci numbers

Let $P(m)$ denote the largest prime factor of an integer $m\geq 2$ , and put $P(0)=P(1)=1$ . For an integer $k\geq 2$ , let $(F_{n}^{(k)})_{n\geq 2-k}$ be the $k-$ generalized Fibonacci sequence which starts with $0,...,0,1$ ( $k$ terms) and each term afterwards is the sum of the $k$ preceding terms. Here, we show that if $n\geq k+2$ , then $P(F_n^{(k)})>c\log\log n$ , where $c>0$ is an effectively computable constant. Furthermore, we determine all the $k-$ Fibonacci numbers $F_n^{(k)}$ whose largest prime factor is less than or equal to 7.

preprint2012arXiv

Values of the Euler phi-function not divisible by a given odd prime, and the distribution of Euler-Kronecker constants for cyclotomic fields

For a fixed odd prime q we investigate the first and second order terms of the asymptotic series expansion for the number of n\le x such that q does not divide phi(n). Part of the analysis involves a careful study of the Euler-Kronecker constants for cyclotomic fields. In particular, we show that the prime k-tuples conjecture and a conjecture of Ihara about the distribution of these Euler-Kronecker constants cannot be both true.

preprint2011arXiv

Corrigendum to "Cullen numbers with the Lehmer Property"

In this note, we correct an oversight from the paper mentioned in the title.

preprint2011arXiv

Cullen Numbers with the Lehmer Property

Here, we show that there is no positive integer $n$ such that the $n$ th Cullen number $C_n=n2^n+1$ has the property that it is composite but $ϕ(C_n)\mid C_n-1$ .

preprint2011arXiv

On a variant of Giuga numbers

In this paper, we characterize the odd positive integers $n$ satisfying the congruence $\sum_{j=1} ^ {n-1} j^{\frac{n-1}{2}}\equiv 0 \pmod n$ . We show that the set of such positive integers has an asymptotic density which turns out to be slightly larger than 3/8.

preprint2011arXiv

On numbers $n$ dividing the $n$ th term of a linear recurrence

Here, we give upper and lower bounds on the count of positive integers $n\le x$ dividing the $n$ th term of a nondegenerate linearly recurrent sequence with simple roots.

preprint2011arXiv

The number of solutions of lambda(x)=n

We study the question of whether for each n there is another integer m with lambda(m)=lambda(n), where lambda is Carmichael's function. We give a "near" proof of the fact that this is the case unconditionally, and a complete conditional proof under the Extended Riemann Hypothesis. The main tool is a count of prime chains from paper arXiv:0906.3380.

preprint2010arXiv

Common values of the arithmetic functions phi and sigma

We show that the equation phi(a)=σ(b) has infinitely many solutions, where phi is Euler's totient function and sigma is the sum-of-divisors function. This proves a 50-year old conjecture of Erdos. Moreover, we show that there are infinitely many integers n such that phi(a)=n and sigma(b)=n each have more than n^c solutions, for some c>0. The proofs rely on the recent work of the first two authors and Konyagin on the distribution of primes p for which a given prime divides some iterate of phi at p, and on a result of Heath-Brown connecting the possible existence of Siegel zeros with the distribution of twin primes.

preprint2010arXiv

On the largest prime factor of $x^2-1$

In this paper, we find all integers $x$ such that $x^{2}-1$ has only prime factors smaller than 100. This gives some interesting numerical corollaries. For example, for any positive integer $n$ we can find the largest positive integer $x$ such that all prime factors of each of $x, x+1,..., x+n$ are less than 100.

preprint2010arXiv

Prime chains and Pratt trees

We study the distribution of prime chains, which are sequences p_1,...,p_k of primes for which p_{j+1}\equiv 1\pmod{p_j} for each j. We give estimates for the number of chains with p_k\le x (k variable), and the number of chains with p_1=p and p_k \le px. The majority of the paper concerns the distribution of H(p), the length of the longest chain with p_k=p, which is also the height of the Pratt tree for p. We show H(p)\ge c\log\log p and H(p)\le (\log p)^{1-c'} for almost all p, with c,c' explicit positive constants. We can take, for any ε>0, c=e-εassuming the Elliott-Halberstam conjecture. A stochastic model of the Pratt tree, based on a branching random walk, is introduced and analyzed. The model suggests that for most p, H(p) stays very close to e \log\log p.

preprint2010arXiv

Some Additive Combinatorics Problems in Matrix Rings

We study the distribution of singular and unimodular matrices in sumsets in matrix rings over finite fields. We apply these results to estimate the largest prime divisor of the determinants in sumsets in matrix rings over the integers.

preprint2009arXiv

Some Diophantine equations from finite group theory: $Φ_m(x)=2p^n-1$

We show that the equation in the title (with $Φ_m$ the $m$ th cyclotomic polynomial) has no integer solution with $n\ge 1$ in the cases $(m,p)=(15,41), (15,5581),(10,271)$ . These equations arise in a recent group theoretical investigation by Z. Akhlaghi, M. Khatami and B. Khosravi.

preprint2007arXiv

Residue Classes Having Tardy Totients

We show, in an effective way, that there exists a sequence of congruence classes $a_k\pmod {m_k}$ such that the minimal solution $n=n_k$ of the congruence $ϕ(n)\equiv a_k\pmod {m_k}$ exists and satisfies $\log n_k/\log m_k\to\infty$ as $k\to\infty$ . Here, $ϕ(n)$ is the Euler function. This answers a question raised in \cite{FS}. We also show that every congruence class containing an even integer contains infinitely many values of the Carmichael function $λ(n)$ and the least such $n$ satisfies $n\ll m^{13}$ .

Florian Luca

Research overview

Is this your work?

62 publications

On the multiplicity in Pillai's problem with Fibonacci numbers and powers of a fixed prime

On the transcendence of a series related to Sturmian words

Skolem Meets Schanuel

Terms of Lucas sequences having a large smooth divisor

Coprime partitions and Jordan totient functions

On a recursively defined sequence involving the prime counting function

On certain sums concerning the gcd's and lcm's of kkk positive integers

On members of Lucas sequences which are products of Catalan numbers

On Positivity and Minimality for Second-Order Holonomic Sequences

On the exponential Diophantine equation related to powers of two consecutive terms of Lucas sequences

On the prime factors of the iterates of the Ramanujan τττ--function

On the problem of Pillai with kkk--generalized Fibonacci numbers and powers of 333

Perfect squares representing the number of rational points on elliptic curves over finite field extensions

Primitive root bias for twin primes II: Schinzel-type theorems for totient quotients and the sum-of-divisors function

ppp-adic quotient sets

Constrained ternary integers

On the difference in values of the Euler totient function near prime arguments

On the discriminator of Lucas sequences

Primitive root bias for twin primes

Primitive root biases for prime pairs I: existence and non-totality of biases

An elliptic sequence is not a sampled linear recurrence sequence

Diversity in Parametric Families of Number Fields

Number Fields in Fibers: the Geometrically Abelian Case with Rational Critical Values

On arithmetic lattices in the plane

On the XXX-coordinates of Pell equations which are Tribonacci numbers

Only finitely many Tribonacci Diophantine triples exist

Power of Two as sums of Three Pell Numbers

Counting terms UnU_nUn​ of third order linear recurrences with Un=u2+nv2U_n=u^2+nv^2Un​=u2+nv2

Cyclotomic coefficients: gaps and jumps

Finiteness results for Diophantine triples with repdigit values

Functional Graphs of Polynomials over Finite Fields

Lucas Numbers with Lehmer Property

On a divisibility relation for Lucas sequences

Pell Numbers whose Euler Function is a Pell Number

Pell Numbers with Lehmer property

Quadratic forms representing the ppp-th Fibonacci number

Rational Products of Singular Moduli

The Distribution of Self-Fibonacci Divisors

Visual properties of generalized Kloosterman sums

A note on the number of SSS-Diophantine quadruples

Coincidences in generalized Lucas sequences

On the Fixed Points of the Map x -> x^x Modulo a Prime

On the Typical Size and Cancelations Among the Coefficients of Some Modular Forms

Powers of two as sums of two k−k-k−Fibonacci numbers

The image of Carmichael's λλλ-function

Carmichael numbers in the sequence (k2^n+1)_{n\ge 1}

Compositions of n Satisfying Some Coprimality Conditions

On some monotonic combinatorial sequences conjectures

On the Diophantine equation x^2+2^a.3^b.11^c=y^n

On the largest prime factor of the k−k-k−Fibonacci numbers

Values of the Euler phi-function not divisible by a given odd prime, and the distribution of Euler-Kronecker constants for cyclotomic fields

Corrigendum to "Cullen numbers with the Lehmer Property"

Cullen Numbers with the Lehmer Property

On a variant of Giuga numbers

On numbers nnn dividing the nnnth term of a linear recurrence

The number of solutions of lambda(x)=n

Common values of the arithmetic functions phi and sigma

On the largest prime factor of x2−1x^2-1x2−1

Prime chains and Pratt trees

Some Additive Combinatorics Problems in Matrix Rings

Some Diophantine equations from finite group theory: Φm(x)=2pn−1Φ_m(x)=2p^n-1Φm​(x)=2pn−1

Residue Classes Having Tardy Totients

See the researcher in context

Building this map preview

On certain sums concerning the gcd's and lcm's of $k$ positive integers

On the prime factors of the iterates of the Ramanujan $τ$ --function

On the problem of Pillai with $k$ --generalized Fibonacci numbers and powers of $3$

$p$ -adic quotient sets

On the $X$ -coordinates of Pell equations which are Tribonacci numbers

Counting terms $U_n$ of third order linear recurrences with $U_n=u^2+nv^2$

Quadratic forms representing the $p$ -th Fibonacci number

A note on the number of $S$ -Diophantine quadruples

Powers of two as sums of two $k-$ Fibonacci numbers

The image of Carmichael's $λ$ -function

On the largest prime factor of the $k-$ Fibonacci numbers

On numbers $n$ dividing the $n$ th term of a linear recurrence

On the largest prime factor of $x^2-1$

Some Diophantine equations from finite group theory: $Φ_m(x)=2p^n-1$