We consider the problem of describing all non-negative integer solutions to a linear congruence in many variables. This question may be reduced to solving the congruence $x_1 + 2x_2 + 3x_3 + ... + (n-1)x_{n-1} \equiv 0 \pmod n$ where values of the unknowns, $x_i$, are sought among the non-negative integers. We consider the monoid of solutions of this equation and prove a conjecture of Elashvili concerning the structure of these solutions. This yields a simple algorithm for generating most (conjecturally all) of the high degree indecomposable solutions of the equation.
We put together some known theoretical results and the fact that certain computations can be done efficiently in SAGE to come up with a fast algorithm for calculating congruence primes linking a newform with integer coefficients (i.e. a newform associated to an elliptic curve) with the old space at the same level.
We find and prove a class of congruences modulo 4 for Andrews' partition with certain ternary quadratic form. We also discuss distribution of $\overline{\mathcal{EO}}(n)$ and further prove that $\overline{\mathcal{EO}}(n)\equiv0\pmod4$ for almost all $n$. This study was inspired by similar congruences modulo 4 in the work by the second author and Garvan.
We characterize the generating function of the number of representations described in the title in terms of the theory of modular forms. Appealing to this characterization we obtain explicit formulas for the representation numbers as examples.
For coprime positive integers $q$ and $e$, let $m(q,e)$ denote the least positive integer $t$ such that there exists a sum of $t$ powers of $q$ which is divisible by $e$. We prove an upper bound for $m(q.e)$ and investigate the case where $m(q,e)$ is "large". We also pay special attention to the situation where $e$ is a prime power.
There are many open problems concerning the characterization of the positive integers $n$ fulfilling certain congruences and involving the Euler totient function $φ$ and the sum of positive divisors function $σ$ of the positive integer $n$. In this work, we deal with the congruence of the form $$ nφ(n)\equiv2\pmod{σ(n)} $$ and we prove that the only positive integers of the form $2^α5^β, \enspace α, β\geq0,$ that satisfy the above congruence are $n=1, 2, 5, 8$.
For any non-negative integer $n$ and non-zero integer $r$, let $p_r(n)$ denote Ramanujan's general partition function. By employing $q$-identities, we prove some new Ramanujan-type congruences modulo 5 for $p_r(n)$ for $r=-(5λ+1), -(5λ+3), -(5λ+4), -(25λ+1)$, $-(25λ+2)$, and any integer $λ$.
There are classical congruences between the class number of an imaginary quadratic field and a Bernoulli number or an Euler number. Under the BSD conjecture, Onishi obtained an elliptic generalization of these congruences, which gives congruences between the order of the Tate-Shafarevich group of certain elliptic curves with CM by the Gauss integers ring and Mordell-Weil rank 0, and a coefficient of power series expansion of an elliptic function associated to Gauss integers ring. In this paper, we provide Onishi's type congruences for the Eisenstein integers case.
Considering the problem of finding all the integer solutions of the sum of $M$ consecutive integer squares starting at $a^{2}$ being equal to a squared integer $s^{2}$, it is shown that this problem has no solutions if $M\equiv3,5,6,7,8$ or $10 (mod\,12)$ and has integer solutions if $M\equiv0,9,24$ or $33 (mod\,72)$; or $M\equiv1,2$ or $16 (mod\,24)$; or $M\equiv11 (mod\,12)$. All the allowed values of $M$ are characterized using necessary conditions. If $M$ is a square itself, then $M\equiv1 (mod\,24)$ and $(M-1)/24$ are all pentagonal numbers, except the first two.
Let $p(n)$ denote the partition function. In this article, we will show that congruences of the form $$ p(m^j\ell^kn+B)\equiv 0\mod m \text{for all} n\ge 0 $$ exist for all primes $m$ and $\ell$ satisfying $m\ge 13$ and $\ell\neq 2,3,m$. Here the integer $k$ depends on the Hecke eigenvalues of a certain invariant subspace of $S_{m/2-1}(Γ_0(576),χ_{12})$ and can be explicitly computed. More generally, we will show that for each integer $i>0$ there exists an integer $k$ such that for every non-negative integers $j\ge i$ with a properly chosen $B$ the congruence $$ p(m^j\ell^kn+B)\equiv 0\mod m^i…
Let $c_N(n)$ denotes the number of bipartitions $(λ, μ)$ of a positive integer $n$ subject to the restriction that each part of $μ$ is divisible by $N$. In this paper, we prove some congruence properties of the function $c_N(n)$ for $N=7$, 11, and $5l$, for any integer $l\ge 1$, by employing Ramanujan's theta-function identities.
Suppose that $p$ is an odd prime and $m$ is an integer not divisible by $p$. Sun and Tauraso [Adv. in Appl. Math., 45(2010), 125--148] gave $\sum_{k=0}^{n-1}\binom{2k}{k+d}/m^k$ and $\sum_{k=0}^{n-1}\binom{2k}{k+d}/(km^k)$ modulo $p$ for all $d=0,1, \ldots n$ and $n= p^a$, where $a$ is a positive integer. In this paper, we present some $q$-analogues of these congruences in the cases $m=2, 4$ for any positive integer $n$.
Let F be the imaginary quadratic field of discriminant -3 and OF its ring of integers. Let Gamma be the arithmetic group GL_3 (OF), and for any ideal n subset OF let Gamma_0 (n) be the congruence subgroup of level n consisting of matrices with bottom row (0,0,*) bmod n. In this paper we compute the cohomology spaces H^{nu - 1} (Gamma_0 (n); C) as a Hecke module for various levels n, where nu is the virtual cohomological dimension of Gamma. This represents the first attempt at such computations for GL_3 over an imaginary quadratic field, and complements work of Grunewald--Helling--Mennicke and …
We investigate the density of integer solutions to certain binary inhomogeneous quadratic congruences and use this information to detect almost primes on a singular del Pezzo surface of degree 6.
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$.
The problem of finding all the integer solutions in $a$, $M$ and $s$ of sums of $M$ consecutive integer squares starting at $a^{2}\geq1$ equal to squared integers $s^{2}$, has no solutions if $M\equiv3,5,6,7,8$ or $10\left(mod\,12\right)$ and has integer solutions if $M\equiv0,9,24% or %33\left(mod\,72\right)$; or $M\equiv1,2$ or $16\left(mod\,24\right)$; or $M\equiv11\left(mod\,12\right)$. In this paper, additional congruence conditions are demonstrated on the allowed values of $M$ that yield solutions to the problem by using Beeckmans' eight necessary conditions, refining further the possibl…
For each positive integer $n$, let $g_Δ(n)$ be the smallest positive integer $g$ such that every complete quadratic polynomial in $n$ variables which can be represented by a sum of odd squares is represented by a sum of at most $g$ odd squares. In this paper, we analyze $g_Δ(n)$ by studying representations of integral quadratic forms by sums of squares with certain congruence condition. We prove that the growth of $g_Δ(n)$ is at most an exponential of $\sqrt{n}$, which is the same as the best known upper bound on the $g$-invariants of the original quadratic Waring's problem. We also determine …
For a nonzero integer $a$ let ${E_n^{(a)}}$ be given by $\sum_{k=0}^{[n/2]}\binom n{2k}a^{2k}E_{n-2k}^{(a)}=(1-a)^n$ $(n=0,1,2,...)$, where $[x]$ is the greatest integer not exceeding $x$. As $E_n^{(1)}=E_n$ is the Euler number, $E_n^{(a)}$ can be viewed as a generalization of Euler numbers. Let $k$ and $m$ be positive integers, and let $b$ be a nonnegative integer. In this paper, we determine $E_{2^mk+b}^{(a)}$ modulo $ 2^{m+10}$ for $m\ge 5$. For $m\ge 5$ we also establish congruences for $U_{kφ{(5^m)}+b},\; E_{kφ{(5^m)}+b},\; S_{kφ{(5^m)}+b}\pmod{5^{m+5}}$ and $S_{kφ{(3^m)}+b}\pmod{3^{m+5}}…
Masser和Oesterle的ABC猜想指出，如果（a，b，c）是互质整数且a + b + c = 0，则对于任何e > 0，sup（|a|，|b|，|c|）< c_e（rad（abc））^{1+e}。Oesterle观察到，如果ABC猜想对所有（a，b，c）成立，|abc，则完整的ABC猜想成立。我们推广了这个结果，证明了对于任何整数N，ABC对所有（a，b，c）成立的“同余ABC猜想”，|abc蕴含了完整的ABC猜想。
Let $[x]$ be the integral part of $x$, $n>1$ be a positive integer and $χ_n$ denote the trivial Dirichlet character modulo $n$. In this paper, we use an identity established by Z. H. Sun to get congruences of $T_{m,k}(n)=\sum_{x=1}^{[n/m]}\frac{χ_n(x)}{x^k}\left(\bmod n^{r+1}\right)$ for $r\in \{1,2\}$, any positive integer $m $ with $n \equiv \pm 1 \left(\bmod m \right)$ in terms of Bernoulli polynomials. As its an application, we also obtain some new congruences involving binomial coefficients modulo $n^4$ in terms of generalized Bernoulli numbers.
We use new bounds of double exponential sums with ratios of integers from prescribed intervals to get an asymptotic formula for the number of solutions to congruences $$ \sum_{j=1}^n a_j x_jy_j^{-1} \equiv a_0 \pmod p, $$ with variables from rather general sets.
Let $\Bbb Z$ be the set of integers, and let $p$ be a prime of the form $4k+1$. Suppose $q\in\Bbb Z$, $2\nmid q$, $p\nmid q$, $p=c^2+d^2$, $c,d\in\Bbb Z$ and $c\equiv 1\pmod 4$. In this paper we continue to discuss congruences for $q^{[p/8]}\pmod p$ and present new reciprocity laws, but we assume $4p=x^2+qy^2$ or $p=x^2+2qy^2$, where $[\cdot]$ is the greatest integer function and $x,y\in\Bbb Z$.
In this paper, as an analogue of the integer case, we define congruence preserving functions over the residue class rings of polynomials over finite fields. We establish a counting formula for such congruence preserving functions, determine a necessary and sufficient condition under which all congruence preserving functions are also polynomial functions, and characterize such functions.
Let ${\mathcal{P}_{n}}$ denote the set of positive integers which are prime to $n$. Let $B_{n}$ be the $n$-th Bernoulli number. For any prime $p \ge 11$ and integer $r\ge 2$, we prove that $$ \sum\limits_{\begin{smallmatrix} {{l}_{1}}+{{l}_{2}}+\cdots +{{l}_{6}}={{p}^{r}} {{l}_{1}},\cdots ,{{l}_{6}}\in {\mathcal{P}_{p}} \end{smallmatrix}}{\frac{1}{{{l}_{1}}{{l}_{2}}{{l}_{3}}{{l}_{4}}{{l}_{5}}{l}_{6}}}\equiv - \frac{5!}{18}p^{r-1}B_{p-3}^{2} \pmod{{{p}^{r}}}. $$ This extends a family of curious congruences. We also obtain other interesting congruences involving multiple harmonic sums and Bernou…
Let $\{E_n\}$ be the Euler numbers. In the paper we determine $E_{2^mk+b}-E_b$ modulo $2^{m+7}$, where $k$ and $m$ are positive integers and $b\in{0,2,4,...}$.
For a given real number $a$ we define the sequence $\{E_{n,a}\}$ by $E_{0,a}=1$ and $E_{n,a}=-a\sum_{k=1}^{[n/2]} \binom n{2k}E_{n-2k,a}$ $(n\ge 1)$, where $[x]$ is the greatest integer not exceeding $x$. Since $E_{n,1}=E_n$ is the n-th Euler number, $E_{n,a}$ can be viewed as a natural generalization of Euler numbers. In this paper we deduce some identities and an inversion formula involving $\{E_{n,a}\}$, and establish congruences for $E_{2n,a}\mod{2^{{\rm ord}_2n+8}}$, $E_{2n,a}\pmod{3^{{\rm ord}_3n+5}}$ and $E_{2n,a}\pmod{5^{{\rm ord}_5n+4}}$ provided that $a$ is a nonzero integer, where $…
We introduce two new integer partition functions, both of which are the number of partition quadruples of $n$ with certain size restrictions. We prove both functions satisfy Ramanujan-type congruences modulo $3$, $5$, $7$, and $13$ by use of generalized Lambert series identities and $q$-series techniques.
Let $p\equiv3\pmod{4}$ be a prime and $r$ a positive integer. We show that $$ \prod_{k=1}^{(p^{2r}-1)/2}\frac{4k-1}{4k+1}\equiv1\pmod{p^2}. $$ This confirms a recent conjecture of Guo.
For the unrestricted partition function $p(n)$ for integers $n \geq 0$, it is known that $p(49n + 19) \equiv 0 \pmod{49}$, $p(49n + 33) \equiv 0 \pmod{49}$, and $p(49n + 40) \equiv 0 \pmod{49}$ for all $n \geq 0$. We find witness identities for these Ramanujan congruences.
Let $[x]$ be the greatest integer not exceeding $x$. In the paper we introduce the sequence $\{U_n\}$ given by $U_0=1$ and $U_n=-2\sum_{k=1}^{[n/2]}\binom n{2k}U_{n-2k}\quad(n\ge 1)$, and establish many recursive formulas and congruences involving $\{U_n\}$.
Let $p$ be a large prime number and $g$ be any integer of multiplicative order $T$ modulo $p$. We obtain a new estimate of the double exponential sum $$ S=\sum_{n\in \mathcal{N}}\left|\sum_{m\in \mathcal{M} }e_p(an g^{m})\right|, \quad \gcd (a,p)=1, $$ where $\mathcal{N}$ and $\mathcal{M}$ are intervals of consecutive integers with $|\mathcal{N}|=N$ and $|\mathcal{M}|=M<T$ elements. One representative example is the following consequence of the main result: if $N=M\approx p^{1/3}$, then $|S|< N^{2-1/8 + o(1)}$. We then apply our estimate to obtain new results on additive congruences involving …
Let $\overline{p}_{j,k}(n)$ denotes the number of $(j,k)$-regular overpartitions of a positive integer $n$ such that none of the parts is congruent to $j$ modulo $k$. Naika et. al. (2021) proved infinite families of congruences modulo powers of 2 for $\overline{p}_{3,6}(n)$, $\overline{p}_{5,10}(n)$ and $\overline{p}_{9,18}(n)$. In this paper, we obtain infinite families of congruences modulo power of 2 for $\overline{p}_{4,8}(n)$, $\overline{p}_{6,12}(n)$ and $\overline{p}_{8,16}(n)$. For example, we prove that, for all integers $n\geq 0$ and $α\geq 0$, $$ \overline{p}_{4,8}\left( 5^{2α+1}\le…
In 2014, Wang and Cai established the following harmonic congruence for any odd prime $p$ and positive integer $r$, \begin{equation*} Z(p^{r})\equiv-2p^{r-1}B_{p-3} ~(\bmod ~ p^{r}), \end{equation*} where $ Z(n)=\sum\limits_{i+j+k=n\atop{i,j,k\in\mathcal{P}_{n}}}\frac{1}{ijk}$ and $\mathcal{P}_{n}$ denote the set of positive integers which are prime to $n$. In this note, we obtain a congruence for distinct odd primes $p,~q$ and positive integers $α,~β$, \begin{equation*} Z(p^αq^β)\equiv 2(2-q)(1-\frac{1}{q^{3}})p^{α-1}q^{β-1}B_{p-3}\pmod{p^α} \end{equation*} and the necessary and sufficient co…
A recent article of Berndt and Yee found congruences modulo 3^k for certain ratios of Eisenstein series. For all but one of these, we show there are no simple congruences a(pn+c) = 0 modulo p when p>= 13 is prime. This follows from a more general theorem on the non-existence of congruences in (E_2^r)(E_4^s)(E_6^t) where r is non-negative and r,s,t are integers.
Let $p$ be a prime and ${\mathfrak P}_p$ the set of positive integers which are prime to $p$. Recently, Wang and Cai proved that for every positive integer $r$ and prime $p>2$ $$ \sum_{\substack{i+j+k=p^r\\ i,j,k\in{\mathfrak P}_p}} \frac1{ijk} \equiv -2p^{r-1} B_{p-3} \pmod{p^r}, $$ where $B_{p-3}$ is the $(p-3)$-rd Bernoulli number. In this paper we prove the following analogous result: Let $n=2$ or $4$. Then for every positive integer $r\ge n/2$ and prime $p>4$ $$ \sum_{\substack{i_1+\cdots+i_n=p^r\\ i_1,\dots,i_n\in{\mathfrak P}_p}} \frac1{i_1i_2\cdots i_n} \equiv -\frac{n!}{n+1} p^{r} B_{…
Sieving by large integers and covering systems of congruences
一个老问题的鄂尔多斯问，如果存在，对每个数N，一个有限集S的整数大于N和剩余类r（n）mod n n n n在S的工会是所有的整数。证明了如果$\sum_{n\in S} 1/n$对这样的整数覆盖是有界的，则S的最小成员也是有界的，从而证实了Erdos和Selfridge的一个猜想.我们还证明了Erdos和Graham的一个猜想，即对每个固定数K>1，剩余类r（n）mod n的任何并集的整数中的补数，对于（N，KN]中的不同n，当N足够大时，密度至少为d_K。这里d_K是一个仅取决于K的正数。这两个新的结果都暗示了Erdos和Graham的另一个猜想，即如果S是一个模大于大于N的有限集，且对覆盖整数的S中的n有剩余类r（n）mod n的选择，则S的最大成员不可能是O（N）。我们进一步得到这些结果的更强的形式，并建立其他信息，包括Haight的相关定理的改进。
For any positive integer $n$ and variables $a$ and $x$ we define the generalized Legendre polynomial $P_n(a,x)=\sum_{k=0}^n\b ak\b{-1-a}k(\frac{1-x}2)^k$. Let $p$ be an odd prime. In the paper we prove many congruences modulo $p^2$ related to $P_{p-1}(a,x)$. For example, we show that $P_{p-1}(a,x)\e (-1)^{<a>_p}P_{p-1}(a,-x)\mod {p^2}$, where $<a>_p$ is the least nonnegative residue of $a$ modulo $p$. We also generalize some congruences of Zhi-Wei Sun, and determine $\sum_{k=0}^{p-1}\binom{2k}k\binom{3k}k{54^{-k}}$ and $\sum_{k=0}^{p-1}\binom ak\binom{b-a}k\mod {p^2}$, where $[x]$ is the great…
Various problems on integers lead to the class of congruence preserving functions on rings, i.e. functions verifying $a-b$ divides $f(a)-f(b)$ for all $a,b$. We characterized these classes of functions in terms of sums of rational polynomials (taking only integral values) and the function giving the least common multiple of $1,2,\ldots,k$. The tool used to obtain these characterizations is "lifting": if $π\colon X\to Y$ is a surjective morphism, and $f$ a function on $Y$ a lifting of $f$ is a function $F$ on $X$ such that $π\circ F=f\circπ$. In this paper we relate the finite and infinite noti…
Let $p$ be a prime and ${\mathcal{P}_{p}}$ the set of positive integers which are prime to $p$. We establish the following interesting congruence \[\sum\limits_{\begin{smallmatrix} i+j+k={{p}^{r}} i,j,k\in {\mathcal{P}_{p}} \end{smallmatrix}}{\frac{{{(-1)}^{i}}}{ijk}}\equiv \frac{{{p}^{r-1}}}{2}{{B}_{p-3}}\, (\bmod \, {{p}^{r}}).\]
Recently the author introduced two new integer partition quadruple functions, which satisfy Ramanujan-type congruences modulo $3$, $5$, $7$, and $13$. Here we reprove the congruences modulo $3$, $5$, and $7$ by defining a rank-type statistic that gives a combinatorial refinement of the congruences.
For given non-zero integers a,b,q we investigate the density of integer solutions (x,y) to the binary cubic congruence ax^2+by^3=0 (mod q). We use this to establish the Manin conjecture for a singular del Pezzo surface of degree 2 defined over the rationals and to examine the distribution of elliptic curves with square-free discriminant.
We define a new congruence relation on the set of integers, leading to a group similar to the multiplicative group of integers modulo $n$. It makes use of a symmetry almost omnipresent in modular multiplications and halves the number of residue classes. Using it, we are able to give an elegant description of some results due to Carl Schick, others are reduced to well-known theorems from algebra and number theory. Many concepts from number theory such as quadratic residues and primitive roots are equally applicable. It brings noticeable advantages in studying powers of odd primes, and in partic…
In the present paper we obtain several new results related to the problem of upper bound estimates for the number of solutions of the congruence $$ x^{x}\equiv λ\pmod p;\quad x\in \mathbb{N},\quad x\le p-1, $$ where $p$ is a large prime number, $λ$ is an integer corpime to $p$. Our arguments are based on recent estimates of trigonometric sums over subgroups due to Shkredov and Shteinikov.
