Let p be any prime and a be a positive integer. For nonnegative integers l,n and an integer r, the normalized cyclotomic $ψ$-coefficient $${n,r}_{l,p^a}:=p^{-[(n-p^{a-1}-lp^a)/(p^{a-1}(p-1))]} \sum_{k=r(mod p^a)}(-1)^k{n \choose k}{{(k-r)/p^a} \choose l}$$ is known to be an integer. In this paper, we show that this coefficient behaves like binomial coefficients and satisfies some Lucas-type congruences. This implies that a congruence of Wan is often optimal, and two conjectures of Sun and Davis are true.
We observe that a sequence satisfies Lucas congruences modulo $p$ if and only if its values modulo $p$ can be described by a linear $p$-scheme, as introduced by Rowland and Zeilberger, with a single state. This simple observation suggests natural generalizations of the notion of Lucas congruences. To illustrate this point, we prove explicit generalized Lucas congruences for integer sequences that can be represented as the constant terms of $P(x,y)^n Q(x,y)$ where $P$ and $Q$ are certain Laurent polynomials.
In this paper we obtain some congruences involving central binomial coefficients and Lucas sequences. For example, we show that if p>5 is a prime then $\sum_{k=0}^{p-1}F_k*binom(2k,k)/12^k$ is congruent to 0,1,-1 modulo p according as p=1,4 (mod 5), p=13,17 (mod 30), and p=7,23 (mod 30) respectively, where {F_n} is the Fibonacci sequence. We also raise several conjectures.
We develop a new method for proving algebraic independence of $G$-functions. Our approach rests on the following observation: $G$-functions do not always come with a single linear differential equation, but also sometimes with an infinite family of linear difference equations associated with the Frobenius that are obtained by reduction modulo prime ideals. When these linear difference equations have order one, the coefficients of the $G$-function satisfy congruences reminiscent of a classical theorem of Lucas on binomial coefficients. We use this to derive a Kolchin-like algebraic independence…
We prove congruence relations modulo cyclotomic polynomials for multisums of $q$-factorial ratios, therefore generalizing many well-known $p$-Lucas congruences. Such congruences connect various classical generating series to their $q$-analogs. Using this, we prove a propagation phenomenon: when these generating series are algebraically independent, this is also the case for their $q$-analogs.
Using generalized binomial coefficients with respect to fundamental Lucas sequences we establish congruences that generalize the classical congruence of Wolstenholme and other related stronger congruences.
Let $Φ_n^{(k)}(x)$ be the $k$-th derivative of $n$-th cyclotomic polynomial. Extending a work of D.~H.~Lehmer, we show some curious congruences: $2Φ^{(3)}_n(1)$ is divisible by $ϕ(n)-2$ and $Φ^{(2k+1)}_n(1)$ is divisible by $ϕ(n)-2k$ for $k\ge 2$. The congruence stems from a general property of self-reciprocal polynomials.
Using Watson's terminating $_8ϕ_7$ transformation formula, we prove a family of $q$-congruences modulo the square of a cyclotomic polynomial, which were originally conjectured by the author and Zudilin [J. Math. Anal. Appl. 475 (2019), 1636--646]. As an application, we deduce two supercongruences modulo $p^4$ ($p$ is an odd prime) and their $q$-analogues. This also partially confirms a special case of Swisher's (H.3) conjecture.
For each of the $15$ known sporadic Apéry-like sequences, we prove congruences modulo $p^2$ that are natural extensions of the Lucas congruences modulo $p$. This extends a result of Gessel for the numbers used by Apéry in his proof of the irrationality of $ζ(3)$. Moreover, we show that each of these sequences satisfies two-term supercongruences modulo $p^{2r}$. Using special constant term representations recently discovered by Gorodetsky, we prove these supercongruences in the two cases that remained previously open.
Let $P,Q\in\Bbb Z$, $U_0=0,\ U_1=1$ and $U_{n+1}=PU_n-QU_{n+1}$. In this paper we obtain a general congruence for $U_{kmn^r}/U_k\pmod {n^{r+1}}$, where $k,m,n,r$ are positive integers. As applications we extend Lucas' law of repetition and characterize the square prime factors of $a^n+1$ or $S_n$, where $\{S_n\}$ is given by $S_1=P^2+2$ and $S_{k+1}=S_k^2-2\ (k\ge 1)$.
We prove a two-parameter family of $q$-hypergeometric congruences modulo the fourth power of a cyclotomic polynomial. Crucial ingredients in our proof are George Andrews' multiseries extension of the Watson transformation, and a Karlsson--Minton type summation for very-well-poised basic hypergeometric series due to George Gasper. The new family of $q$-congruences is then used to prove two conjectures posed earlier by the authors.
In this paper, we confirm several conjectured congruences of Sun concerning the divisibility of binomial sums. For example, with help of a quadratic hypergeometric transformation, we prove that $$ \sum_{k=0}^{p-1}\binom{p-1}k\binom{2k}k^2\frac{P_k}{8^k}\equiv0\pmod{p^2} $$ for any prime $p\equiv 7\mod{8}$, where $P_k$ is the $k$-th Pell number. Further, we also propose three new congruences of the same type.
Let $p$ be a prime. In 1878 É. Lucas proved that the congruence $$ {p-1\choose k}\equiv (-1)^k\pmod{p}$$ holds for any nonnegative integer $k\in\{0,1,\ldots,p-1\}$. The converse statement was given in Problem 1494 of {\it Mathematics Magazine} proposed in 1997 by E. Deutsch and I.M. Gessel. In this note we generalize this converse assertion by the following result: If $n>1$ and $q>1$ are integers such that $$ {n-1\choose k}\equiv (-1)^k \pmod{q}$$ for every integer $k\in\{0,1,\ldots, n-1\}$, then $q$ is a prime and $n$ is a power of $q$.
In 1878 É. Lucas proved a remarkable result which provides a simple way to compute the binomial coefficient ${n\choose m}$ modulo a prime $p$ in terms of the binomial coefficients of the base-$p$ digits of $n$ and $m$: {\it If $p$ is a prime, $n=n_0+n_1p+\cdots +n_sp^s$ and $m=m_0+m_1p+\cdots +m_sp^s$ are the $p$-adic expansions of nonnegative integers $n$ and $m$, then \begin{equation*} {n\choose m}\equiv \prod_{i=0}^{s}{n_i\choose m_i}\pmod{p}. \end{equation*}} The above congruence, the so-called {\it Lucas' theorem} (or {\it Theorem of Lucas}), plays an important role in Number Theory and C…
In [16], we obtained some congruences for Lucas quotients of two infinite families of Lucas sequences by studying the combinatorial sum $$\sum_{k\equiv r(\mbox{mod}m)}{n\choose k}a^k.$$ In this paper, we show that the sum can be expressed in terms of some recurrent sequences with orders not exceeding $φ{(m)}$ and give some new congruences.
Let $p$ be an odd prime. In the paper we collect the author's various conjectures on congruences modulo $p$ or $p^2$, which are concerned with sums of binomial coefficients, Lucas sequences, power residues and special binary quadratic forms.
In this article we prove that (1-zeta+zeta^2) is a unit in the ring of integers of the cyclotomic field where zeta is a primitive n-th root of unity and n is coprime to 2 and 3. We also prove that for prime n, N_{Q(zeta)/Q}(1-zeta-zeta^2)=L(p) the p-th Lucas number thus completing the study of norms of quadratic polynomials in zeta that only have coefficients equal to 1 or -1 and both numbers appear.
We provide several new $q$-congruences for truncated basic hypergeometric series, mostly of arbitrary order. Our results include congruences modulo the square or the cube of a cyclotomic polynomial, and in some instances, parametric generalizations thereof. These are established by a variety of techniques including polynomial argument, creative microscoping (a method recently introduced by the first author in collaboration with Zudilin), Andrews' multiseries generalization of the Watson transformation, and induction. We also give a number of related conjectures including congruences modulo the…
Rosen M. gave a determinant formula for relative class numbers for the P-th cyclotomic function fields in the case of the monic irreducible polynomial P, which is regarded as an analogue of the classical Maillet determinant. In this paper, we will give a determinant formula for the relative congruence zeta functions for cyclotomic function fields. Our formula is regarded as a generalization of the determinant formula for the relative class number.
Let $p$ be a prime, and let $k,n,m,n_0$ and $m_0$ be nonnegative integers such that $k\ge 1$, and $_0$ and $m_0$ are both less than $p$. K. Davis and W. Webb established that for a prime $p\ge 5$ the following variation of Lucas' Theorem modulo prime powers holds $$ {np^k +n_0 \choose mp^k+m_0}\equiv{np^{\lfloor(k-1)/3\rfloor} \choose mp^{\lfloor(k-1)/3\rfloor}} {n_0 \choose m_0} \pmod{p^k}. $$ In the proof the authors used their earlier result that present a generalized version of Lucas' Theorem. In this paper we present a a simple inductive proof of the above congruence. Our proof is based o…
In this paper, we study the combinatorial sum $$\sum_{k\equiv r(\mbox{mod }m)}{n\choose k}a^k.$$ By studying this sum, we obtain new congruences for Lucas quotients of two infinite families of Lucas sequences. Only for three Lucas sequences, there are such known results.
In this paper we prove that any Artin--Schreier extension of a congruence rational function field is contained in the composite of a cyclotomic function field and a constant field extension that are explicitly prescribed.
In this note we shall improve some congruences of D.F. Bailey [Two p^3 variations of Lucas' Theorem, JNT 35(1990), pp. 208-215] to higher prime power moduli, by studying the relation between irregular pairs of the form (p,p-3) and refined version of Wolstenholme's theorem.
In this paper we prove three conjectures on congruences involving central binomial coefficients or Lucas sequences. Let $p$ be an odd prime and let $a$ be a positive integer. We show that if $p\equiv 1\pmod{4}$ or $a>1$ then $$ \sum_{k=0}^{\lfloor\frac34p^a\rfloor}\binom{-1/2}k\equiv\left(\frac{2}{p^a}\right)\pmod{p^2}, $$ where $(-)$ denotes the Jacobi symbol. This confirms a conjecture of the second author. We also confirm a conjecture of R. Tauraso by showing that $$\sum_{k=1}^{p-1}\frac{L_k}{k^2}\equiv0\pmod{p}\quad {\rm provided}\ \ p>5,$$ where the Lucas numbers $L_0,L_1,L_2,\ldots$ are …
In this paper we announce some results obtained for certain algebraic functions, which we call of cyclotomic type. The main results properly resemble von Staudt-Clausen's theorem and Kummer's congruence for the Bernoulli numbers, and such theorems for the Hurwitz numbers.
Let ${\mathcal C}_n$ be the set of all permutation cycles of length $n$ over $\{1,2,\ldots,n\}$. Let $${\mathfrak f}_n(q):=\sum_{σ\in{\mathcal C}_{n+1}}q^{{\mathrm maj}\,σ} $$ be a $q$-analogue of the factorial $n!$, where ${\mathrm maj}$ denotes the major index. We prove a $q$-analogue of Wilson's congruence $$ {\mathfrak f}_{n-1}(q)\equivμ(n)\pmod{Φ_n(q)}, $$ where $μ$ denotes the Möbius function and $Φ_n(q)$ is the $n$-th cyclotomic polynomial.
We present a primality criterium based on congruences for cyclotomic polynomials, and point out a way to generalize our result in order to obtain a family of similar criteria. No practical use is aimed however.
Let $w_n=w_n(P,Q)$ be numerical sequences which satisfy the recursion relation \begin{equation*} w_{n+2}=Pw_{n+1}-Qw_n. \end{equation*} We consider two special cases $(w_0,w_1)=(0,1)$ and $(w_0,w_1)=(2,P)$ and we denote them by $U_n$ and $V_n$ respectively. Vieta-Lucas polynomial $V_n(X,1)$ is the polynomial of degree $n$. We show that the congruence equation $V_n(X,1)\equiv C \mod p$ has a solution if and only if $U_{(p-ε)/d}(C+2,C+2)$ is divisible by $p$, where $ε\in\{\pm 1\}$ depends on $C$ and $p$, and $d=\gcd(n,p-ε)$.
The determination of Jacobi sums, their congruences and cyclotomic numbers have been the object of attention for many years and there are large number of interesting results related to these in the literature. This survey aims at reviewing results concerning the diophantine systems for finding the cyclotomic numbers and coefficients of Jacobi sums and to indicate the current status of the problem.
Let p > 2 be a prime. Let Q(zeta) be the p-cyclotomic field. Let pi be the prime ideal of Q(zeta) lying over p. This article aims to describe some pi-adic congruences characterizing the structure of the p-class group and of the unit group of the field Q(zeta). For the unit group, this article supplements the 1954 and 1956 papers of Denes on this topic. A complete summarizing of the results obtained follows in the Introduction section of the paper (pages 3 to 6). This new version of the article with the same title, submitted with reference math.NT/0407430 25 Jul 2004: - corrects several typing …
For odd square-free n > 1 the n-th cyclotomic polynomial satisfies an identity of Gauss. There are similar identity of Aurifeuille, Le Lasseur and Lucas. These identities all involve certain polynomials with integer coefficients. We show how these coefficients can be computed by simple algorithms which require O(n^2) arithmetic operations and work over the integers. We also give explicit formulae and generating functions for the polynomials, and illustrate the application to integer factorization with some numerical examples.
We describe a congruence property of solvable polynomials over Q, based on the irreducibility of cyclotomic polynomials over number fields that meet certain conditions.
Let $q$ be an odd prime and $f(x)$, $g(x)$ be polynomials with integer coefficients. If the system of congruences $f(x) \equiv g(x) \equiv 0 \pmod{q}$ has $\ell$ solutions, then $R\left(f(x),g(x)\right)\equiv 0 \pmod{q^\ell}$, where $R\left(f(x),g(x)\right)$ is the resultant of the polynomials. Using this result we give new proofs of some known congruences involving the Lucas sequences.
Let $f(z)$ be in $1+z\mathbb{Q}[[z]]$ and $\mathcal{S}$ be an infinite set of prime numbers such that, for all $p\in\mathcal{S}$, we can reduce $f(z)$ modulo $p$. We let $f(z)_{\mid p}$ denote the reduction of $f(z)$ modulo $p$. Generally, when $f(z)$ is D-finite, $f(z)_{\mid p}$ is algebraic over $\mathbb{F}_p(z)$. It turns out that if $f(z)$ is a solution of a polynomial of the form $X-A_p(z)X^{p^l}$, we can use this type of equations to obtain results of transcendence and algebraic independence over $\mathbb{Q}(z)$. In the present paper, we look for conditions on the differential operators …
Let $Φ_n(q)$ be the $n$-th cyclotomic polynomial in $q$. Recently, the author and Zudilin provide a creative microscoping method to prove some $q$-supercongruences mainly modulo $Φ_n(q)^3$ by introducing an additional parameter $a$. In this paper, we use this creative microscoping method to confirm some conjectures on $q$-supercongruences modulo $Φ_n(q)^2$. We also give some parameter-generalizations of known $q$-supercongruences. For instance, we present further generalizations of a $q$-analogue of a famous supercongruence of Rodriguez-Villegas: $$ \sum_{k=0}^{p-1}\frac{{2k\choose k}^2}{16^k}…
Let p be any prime, and let a and n be nonnegative integers. Let $r\in Z$ and $f(x)\in Z[x]$. We establish the congruence $$p^{°f}\sum_{k=r(mod p^a)}\binom{n}{k}(-1)^k f((k-r)/p^a) =0 (mod p^{\sum_{i=a}^{\infty}[n/p^i]})$$ (motivated by a conjecture arising from algebraic topology), and obtain the following vast generalization of Lucas' theorem: If a is greater than one, and $l,s,t$ are nonnegative integers with $s,t<p$, then $$\frac{1}{[n/p^{a-1}]!} \sum_{k=r(mod p^a)} \binom{pn+s}{pk+t}(-1)^{pk}((k-r)/p^{a-1})^l =\frac {1}{[n/p^{a-1}]!} \sum_{k=r(mod p^a)}\binom{n}{k}\binom{s}{t}(-1)^k((k-r)…
Hurwitz numbers are the Laurent coefficients of an elliptic function $\wp(u)$ of cyclotomic type, and they are natural generalization of the Bernoulli numbers. This paper gives new generalization of Bernoulli and Hurwitz numbers for higher genus cases. They satisfy completely von Staudt-Clausen type theorem, an extension of von Staudt second theorem, and Kummer type congruence relation. The present paper is revised and combined version of math.NT/0304377 and math.NT/0312178 containing many numerical examples.
In this paper, by constructing some identities, we prove some $q$-analogues of some congruences. For example, for any odd integer $n>1$, we show that \begin{gather*} \sum_{k=0}^{n-1} \frac{(q^{-1};q^2)_k}{(q;q)_k} q^k \equiv (-1)^{(n+1)/2} q^{(n^2-1)/4} - (1+q)[n] \pmod{Φ_n(q)^2},\\ \sum_{k=0}^{n-1}\frac{(q^3;q^2)_k}{(q;q)_k} q^k \equiv (-1)^{(n+1)/2} q^{(n^2-9)/4} + \frac{1+q}{q^2}[n]\pmod{Φ_n(q)^2}, \end{gather*} where the $q$-Pochhanmmer symbol is defined by $(x;q)_0=1$ and $(x;q)_k = (1-x)(1-xq)\cdots(1-xq^{k-1})$ for $k\geq1$, the $q$-integer is defined by $[n]=1+q+\cdots+q^{n-1}$ and $Φ_…
In this note we prove that {equation*} {np^s\choose mp^s+r}\equiv (-1)^{r-1}r^{-1}(m+1){n\choose m+1}p^s \pmod{p^{s+1}} {equation*} where $p$ is any prime, $n$, $m$, $s$ and $r$ are nonnegative integers such that $n\ge m$, $s\ge 1$, $1\le r\le p^s-1$ and $r$ is not divisible by $p$. We derive a proof by induction using a multiple application of Lucas' theorem and two basic binomial coefficient identities. As an application, we prove that a similar congruence for a prime $p\ge 5$ established in 1992 by D. F. Bailey holds for each prime $p$.
In this note, we describe a conjecture, that, for an odd prime p, relates special values of a cup product pairing on cyclotomic p-units in the pth cyclotomic field to the L-values of newforms satisfying modulo p congruences with Eisenstein series.
The classical congruences satisfied by the Fibonacci and Lucas sequences are reflected with the decomposition of primes in the ring generated by the gold number. This generalizes to establish a correspondence that we hope will be new between Chebotarev's theorem and the congruences satisfied by linear sequences. This link is done into the context of number field extensions. In particular we characterize primes ideals totally decomposed by simple congruences on the terms of linear recurrent sequences. Our results are illustrated by numerous examples, including Padovan sequencesof group $S_3$ an…
Let p be an odd prime. Let K = \Q(zeta) be the p-cyclotomic number field. Let v be a primitive root mod p and sigma : zeta --> zeta^v be a \Q-isomorphism of the extension K/\Q generating the Galois group G of K/\Q. For n in Z, the notation v^n is understood by v^n mod p with 1 \leq v^n \leq p-1. Let P(X) = \sum_{i=0}^{p-2} v^{-i}X^i \in \Z[X] be the Stickelberger polynomial. P(sigma) annihilates the class group C of K. There exists a polynomial Q(X) \in \Z[X] such that P(sigma)(sigma-v) = p\times Q(sigma) and such that Q(sigma) annihilates the p-class group C_p of K (the subgroup of exponent p…
Motivated by recent works of Sun and Tauraso, we prove some variations on the Green-Krammer identity involving central q-binomial coefficients, such as $$ \sum_{k=0}^{n-1}(-1)^kq^{-{k+1\choose 2}}{2k\brack k}_q \equiv (\frac{n}{5}) q^{-\lfloor n^4/5\rfloor} \pmod{Φ_n(q)}, $$ where $\big(\frac{n}{p}\big)$ is the Legendre symbol and $Φ_n(q)$ is the $n$th cyclotomic polynomial. As consequences, we deduce that $$ \sum_{k=0}^{3^a m-1} q^{k}{2k\brack k}_q &\equiv 0 \pmod{(1-q^{3^a})/(1-q)}, \sum_{k=0}^{5^a m-1}(-1)^kq^{-{k+1\choose 2}}{2k\brack k}_q &\equiv 0 \pmod{(1-q^{5^a})/(1-q)}, $$ for $a,m\ge…
In this paper we use the framework of automatic sequences to study combinatorial sequences modulo prime powers. Given a sequence whose generating function is the diagonal of a rational power series, we provide a method, based on work of Denef and Lipshitz, for computing a finite automaton for the sequence modulo $p^α$, for all but finitely many primes $p$. This method gives completely automatic proofs of known results, establishes a number of new theorems for well-known sequences, and allows us to resolve some conjectures regarding the Apéry numbers. We also give a second method, which applies…
