arXiv++ Combinatorics

In this paper we confirm several conjectures of Z.-W. Sun on Hankel-type determinants for some combinatorial sequences including Franel numbers, Domb numbers and Apéry numbers. For any nonnegative integer $n$, define \begin{gather*}f_n:=\sum_{k=0}^n\binom nk^3,\ D_n:=\sum_{k=0}^n\binom nk^2\binom{2k}k\binom{2(n-k)}{n-k}, b_n:=\sum_{k=0}^n\binom nk^2\binom{n+k}k,\ A_n:=\sum_{k=0}^n\binom nk^2\binom{n+k}k^2. \end{gather*} For $n=0,1,2,\ldots$, we show that $6^{-n}|f_{i+j}|_{0\leq i,j\leq n}$ and $12^{-n}|D_{i+j}|_{0\le i,j\le n}$ are positive odd integers, and $10^{-n}|b_{i+j}|_{0\leq i,j\leq n}$ and $24^{-n}|A_{i+j}|_{0\leq i,j\leq n}$ are always integers.

Define $$D_n(x)=\sum_{k=0}^n\binom nk^2x^k(x+1)^{n-k}\ \ \ \mbox{for}\ n=0,1,2,\ldots$$ and $$s_n(x)=\sum_{k=1}^n\frac1n\binom nk\binom n{k-1}x^{k-1}(x+1)^{n-k}\ \ \ \mbox{for}\ n=1,2,3,\ldots.$$ Then $D_n(1)$ is the $n$-th central Delannoy number $D_n$, and $s_n(1)$ is the $n$-th little Schröder number $s_n$. In this paper we obtain some surprising arithmetic properties of $D_n(x)$ and $s_n(x)$. We show that $$\frac1n\sum_{k=0}^{n-1}D_k(x)s_{k+1}(x)\in\mathbb Z[x(x+1)]\ \quad\mbox{for all}\ n=1,2,3,\ldots.$$ Moreover, for any odd prime $p$ and $p$-adic integer $x\not\equiv0,-1\pmod p$, we establish the supercongruence $$\sum_{k=0}^{p-1}D_k(x)s_{k+1}(x)\equiv0\pmod{p^2}.$$ As an application we confirm Conjecture 5.5 in [S14a], in particular we prove that $$\frac1n\sum_{k=0}^{n-1}T_kM_k(-3)^{n-1-k}\in\mathbb Z\quad\mbox{for all}\ n=1,2,3,\ldots,$$ where $T_k$ is the $k$-th central trinomial coefficient and $M_k$ is the $k$-th Motzkin number.

Let $p>3$ be a prime and let $a$ be a positive integer. We show that if $p\equiv1\pmod 4$ or $a>1$ then $$\sum_{k=0}^{\lfloor\frac34p^a\rfloor}\frac{\binom{2k}k^2}{16^k}\equivł(\frac{-1}{p^a}\r)\pmod{p^3}$$ with $(-)$ the Jacobi symbol, which confirms a conjecture of Z.-W. Sun. We also establish the following new congruences: \begin{align*}\sum_{k=0}^{(p-1)/2}\frac{\binom{2k}k\binom{3k}k}{27^k}\equiv&ł(\frac p3\r)\frac{2^p+1}3\pmod{p^2}, \\\sum_{k=0}^{(p-1)/2}\frac{\binom{6k}{3k}\binom{3k}k}{(2k+1)432^k}\equiv&ł(\frac p3\r)\frac{3^p+1}4\pmod{p^2}, \\\sum_{k=0}^{(p-1)/2}\frac{\binom{4k}{2k}\binom{2k}k}{(2k+1)64^k}\equiv&ł(\frac{-1}p\r)2^{p-1}\pmod{p^2}. \end{align*} Note that in 2003 Rodriguez-Villeguez posed conjectures on $$\sum_{k=0}^{p-1}\frac{\binom{2k}k^2}{16^k},\ \sum_{k=0}^{p-1}\frac{\binom{2k}k\binom{3k}k}{27^k},\ \sum_{k=1}^{p-1}\frac{\binom{4k}{2k}\binom{2k}k}{64^k},\ \sum_{k=1}^{p-1}\frac{\binom{6k}{3k}\binom{3k}k}{432^k}$$ modulo $p^2$ which were later proved.

Let $G$ be a finite additive abelian group with exponent $n>1$, and let $a_1,\ldots,a_{n-1}\in G$. We show that there is a permutation $σ\in S_{n-1}$ such that all the elements $sa_{σ(s)}\ (s=1,\ldots,n-1)$ are nonzero if and only if $$\left|\left\{1\le s<n:\ \frac{n}{d}a_s\ne 0\right\}\right|\ge d-1\ \ \textrm{ for every positive divisor }\ d\ \textrm{ of }\ n.$$ When $G$ is the cyclic group $\mathbb Z/n\mathbb Z$, this confirms a conjecture of Z.-W. Sun.

In recent years, Z.-W. Sun proposed several sophisticated conjectures on congruences for finite sums with terms involving combinatorial sequences such as central trinomial coefficients, Domb numbers and Franel numbers. These sums are double summations of hypergeometric terms. Using the telescoping method and certain mathematical software packages, we transform such a double summation into a single sum. With this new approach, we confirm several open conjectures of Sun.

In this paper we study some sophisticated supercongruences involving dual sequences. For $n=0,1,2,\ldots$ define $$d_n(x)=\sum_{k=0}^n\binom nk\binom xk2^k$$ and $$s_n(x)=\sum_{k=0}^n\binom nk\binom xk\binom{x+k}k=\sum_{k=0}^n\binom nk(-1)^k\binom xk\binom{-1-x}k.$$ For any odd prime $p$ and $p$-adic integer $x$, we determine $\sum_{k=0}^{p-1}(\pm1)^kd_k(x)^2$ and $\sum_{k=0}^{p-1}(2k+1)d_k(x)^2$ modulo $p^2$; for example, we establish the new $p$-adic congruence $$\sum_{k=0}^{p-1}(-1)^kd_k(x)^2\equiv(-1)^{\langle x\rangle_p}\pmod{p^2},$$ where $\langle x\rangle_p$ denotes the least nonnegative integer $r$ with $x\equiv r\pmod p$. For any prime $p>3$ and $p$-adic integer $x$, we determine $\sum_{k=0}^{p-1}s_k(x)^2$ modulo $p^2$ (or $p^3$ if $x\in\{0,\ldots,p-1\}$), and show that $$\sum_{k=0}^{p-1}(2k+1)s_k(x)^2\equiv0\pmod{p^2}.$$ We also pose several related conjectures.

Let $m>2$ and $q>0$ be integers with $m$ even or $q$ odd. We show the supercongruence $$\sum_{k=0}^{p-1}(-1)^{km}\binom{p/m-q}{k}^m\equiv0\pmod{p^3}.$$ for any prime $p>mq$. This confirms a conjecture of Sun.

The harmonic numbers $H_n=\sum_{0<k\le n}1/k\ (n=0,1,2,\ldots)$ play important roles in mathematics. Let $p>3$ be a prime. With helps of some combinatorial identities, we establish the following two new congruences: $$\sum_{k=1}^{p-1}\frac{\binom{2k}k}kH_k\equiv\frac13\left(\frac p3\right)B_{p-2}\left(\frac13\right)\pmod{p}$$ and $$\sum_{k=1}^{p-1}\frac{\binom{2k}k}kH_{2k}\equiv\frac7{12}\left(\frac p3\right)B_{p-2}\left(\frac13\right)\pmod{p},$$ where $B_n(x)$ denotes the Bernoulli polynomial of degree $n$. As an application, we determine $\sum_{n=1}^{p-1}g_n$ and $\sum_{n=1}^{p-1}h_n$ modulo $p^3$, where $$g_n=\sum_{k=0}^n\binom nk^2\binom{2k}k\quad\mbox{and}\quad h_n=\sum_{k=0}^n\binom nk^2C_k$$ with $C_k=\binom{2k}k/(k+1)$.

For $x>0$ let $π(x)$ denote the number of primes not exceeding $x$. For integers $a$ and $m>0$, we determine when there is an integer $n>1$ with $π(n)=(n+a)/m$. In particular, we show that for any integers $m>2$ and $a\le\lceil e^{m-1}/(m-1)\rceil$ there is an integer $n>1$ with $π(n)=(n+a)/m$. Consequently, for any integer $m>4$ there is a positive integer $n$ with $π(mn)=m+n$. We also pose several conjectures for further research; for example, we conjecture that for each $m=1,2,3,\ldots$ there is a positive integer $n$ such that $m+n$ divides $p_m+p_n$, where $p_k$ denotes the $k$-th prime.

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\ \ {and}\ \ \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.

Define $g_n(x)=\sum_{k=0}^n\binom nk^2\binom{2k}kx^k$ for $n=0,1,2,...$. Those numbers $g_n=g_n(1)$ are closely related to Apéry numbers and Franel numbers. In this paper we establish some fundamental congruences involving $g_n(x)$. For example, for any prime $p>5$ we have $$\sum_{k=1}^{p-1}\frac{g_k(-1)}{k}\equiv 0\pmod{p^2}\quad{and}\quad\sum_{k=1}^{p-1}\frac{g_k(-1)}{k^2}\equiv 0\pmod p.$$ This is similar to Wolstenholme's classical congruences $$\sum_{k=1}^{p-1}\frac1k\equiv0\pmod{p^2}\quad{and}\quad\sum_{k=1}^{p-1}\frac{1}{k^2}\equiv0\pmod p$$ for any prime $p>3$.

For $x\ge0$ let $π(x)$ be the number of primes not exceeding $x$. The asymptotic behaviors of the prime-counting function $π(x)$ and the $n$-th prime $p_n$ have been studied intensively in analytic number theory. Surprisingly, we find that $π(x)$ and $p_n$ have many combinatorial properties which should not be ignored. In this paper we pose 60 open problems on combinatorial properties of primes (including connections between primes and partition functions) for further research. For example, we conjecture that for any integer $n>1$ one of the $n$ numbers $π(n),π(2n),...,π(n^2)$ is prime; we also conjecture that for any integer $n>6$ there exists a prime $p<n$ such that $pn$ is a primitive root modulo $p_n$. One of our conjectures involving the partition function $p(n)$ states that for any prime $p$ there is a primitive root $g<p$ modulo $p$ with $g\in\{p(n):\ n=1,2,3,...\}$.

Let $a$ and $m>0$ be integers. We show that for any integer $b$ relatively prime to $m$, the set $\{a^n+bn:\ n=1,\ldots,m^2\}$ contains a complete system of residues modulo $m$. We also pose several conjectures for further research; for example, we conjecture that any integer $n>1$ can be written as $k+m$ with $2^k+m$ prime, where $k$ and $m$ are positive integers.

In this paper we investigate some new problems in additive combinatorics. Our problems mainly involve permutations (or circular permutations) $n$ distinct numbers (or elements of an additive abelian group) $a_1,\ldots,a_n$ with adjacent sums $a_i+a_{i+1}$ (or differences $a_i-a_{i+1}$) pairwise distinct. For an odd prime power $q=2n+1>13$ with $q\not=25$, we show that there is a circular permutation $(a_1,\ldots,a_n)$ of the elements of $S=\{a^2:\ a\in\mathbb F_q\setminus\{0\}\}$ such that $\{a_1+a_2,\ldots,a_{n-1}+a_n,a_n+a_1\}=S$, where $\mathbb F_q$ denotes the field of order $q$. For any finite subset $A$ of an additive torsion-free abelian group $G$ with $|A|=n>3$, we prove that there is a numbering $a_1,\ldots,a_n$ of the elements of $A$ such that $$a_1+2a_2,\ a_2+2a_3,\ \ldots,\ a_{n-1}+2a_n,\ a_n+2a_1$$ are pairwise distinct. We also pose 30 open conjectures for further research.

Let $p$ be an odd prime and let $d\in\{2,3,7\}$. When $(\frac{-d}p)=1$ we can write $p=x^2+dy^2$ with $x,y\in\mathbb Z$; in this paper we aim at determining $x$ or $y$ modulo $p^2$. For example, when $p=x^2+3y^2$, we show that if $p\equiv x\equiv 1\pmod 4$ then $$\sum_{k=0}^{(p-1)/2}(3[3\mid k]-1)(2k+1)\frac{\binom{2k}k^2}{(-16)^k}\equiv\left(\frac2p\right)2x\pmod{p^2}$$ where $[3\mid k]$ takes $1$ or $0$ according as $3\mid k$ or not, and that if $-p\equiv y\equiv 1\pmod4$ then $$\sum_{k=0}^{(p-1)/2}\left(\frac k3\right)\frac{k\binom{2k}k^2}{(-16)^k} \equiv(-1)^{(p+1)/4}y\equiv\sum_{k=0}^{(p-1)/2}(1-3[3\mid k])\frac{k\binom{2k}k^2}{(-16)^k}\pmod{p^2}.$$ We also determine $$\sum_{k=0}^{p-1}\frac{k\binom{2k}k^3}{m^k}\sum_{k\le j<2k}\frac1j\quad \mbox{mod}\ p$$ for $m=1,-8,16,-64,256,-512,4096$.

For n=1,2,3,... let N_n(q) denote the number of monic irreducible polynomials over the finite field F_q. We mainly show that the sequence N_n(q)^{1/n} (n>e^{3+7/(q-1)^2}) is strictly increasing and the sequence N_{n+1}(q)^{1/(n+1)}/N_n(q)^{1/n} (n>=5.835*10^{14}) is strictly decreasing. We also prove that if q>8 then N_{n+1}(q)/N_n(q) (n=1,2,3,...) is strictly increasing.

We confirm Sun's conjecture that $(\root{n+1}\of{F_{n+1}}/\root{n}\of{F_n})_{n\ge 4}$ is strictly decreasing to the limit 1, where $(F_n)_{n\ge0}$ is the Fibonacci sequence. We also prove that the sequence $(\root{n+1}\of{D_{n+1}}/\root{n}\of{D_n})_{n\ge3}$ is strictly decreasing with limit $1$, where $D_n$ is the $n$-th derangement number. For $m$-th order harmonic numbers $H_n^{(m)}=\sum_{k=1}^n 1/k^m\ (n=1,2,3,\ldots)$, we show that $(\root{n+1}\of{H^{(m)}_{n+1}}/\root{n}\of{H^{(m)}_n})_{n\ge3}$ is strictly increasing.

We pose thirty conjectures on arithmetical sequences, most of which are about monotonicity of sequences of the form $(\root n\of{a_n})_{n\ge 1}$ or the form $(\root{n+1}\of{a_{n+1}}/\root n\of{a_n})_{n\ge1}$, where $(a_n)_{n\ge 1}$ is a number-theoretic or combinatorial sequence of positive integers. This material might stimulate further research.

For $n=1,2,3,\ldots$ let $S_n$ be the sum of the first $n$ primes. We mainly show that the sequence $a_n=\root n\of{S_n/n}\ (n=1,2,3,\ldots)$ is strictly decreasing, and moreover the sequence $a_{n+1}/a_n\ (n=10,11,\ldots)$ is strictly increasing. We also formulate similar conjectures involving twin primes or partitions of integers.

For n=1,2,3,... define S(n) as the smallest integer m>1 such that those 2k(k-1) mod m for k=1,...,n are pairwise distinct; we show that S(n) is the least prime greater than 2n-2 and hence the value set of the function S(n) is exactly the set of all prime numbers. For every n=4,5,... we prove that the least prime p>3n with 3|p-1 is just the least positive integer m such that 18k(3k-1) (k=1,...,n) are pairwise distinct modulo m. For d=4,6,12 and n=3,4,...., we prove that the least prime p>2n-2 with p=-1 (mod d) is the smallest integer m such that those (2k-1)^d for k=1,...,n are pairwise distinct modulo m. We also pose several challenging conjectures on primes. For example, we find a surprising recurrence for primes, namely, for every n=10,11,... the (n+1)-th prime p_{n+1} is just the least positive integer m such that 2s_k^2 (k=1,...,n) are pairwise distinct modulo m where s_k = sum_{j=1}^k(-1)^{k-j}p_j. We also conjecture that for any positive integer m there are consecutive primes p_k,...,p_n (k<n) not exceeding 2m+2.2*sqrt(m) such that m = p_n-p_{n-1}+...+(-1)^{n-k}p_k.