Searcharxiv⌕ Search

arXiv subjects

Hao Pan

Publications and source records attributed to Hao Pan.

At least 145 records · Page 8Linked to original sources

On the integers of the form $p^2+b^2+2^n$ and $b_1^2+b_2^2+2^{n^2}$

We prove that the sumset {p^2+b^2+2^n: p is prime and b,n\in N} has positive lower density. We also construct a residue class with odd modulo, which contains no integer of the form p^2+b^2+2^n. And similar results are established for the sumset {b_1^2+b_2^2+2^{n^2}: b_1,b_2,n\in N}.

math.NT↗

Chen's primes and ternary Goldbach problem

We prove that there exists a k_0>0 such that every sufficiently large odd integer n with 3\mid n can be represented as p_1+p_2+p_3, where p_1,p_2 are Chen's primes and p_3 is a prime with p_3+2 has at most k_0 prime factors.

math.NT↗

A density version of Vinogradov's three primes theorem

Let P denote the set of all primes. Suppose that P_1, P_2, P_3 are three subsets of P with the sum of their lower densities relative to P is greater than 2. We prove that for sufficiently large odd integer n, there exist p_i\in P_i such that n=p_1+p_2+p_3.

math.NT↗

Clique Numbers of Graphs and Irreducible Exact m-Covers of Z

For each m>=1 and k>=2, we construct a graph G=(V,E) with ω(G)=m such that max_{1\leq i\leq k} ω(G[V_i])=m for arbitrary partition V=V_1\cup...\cup V_k, where ω(G) is the clique number of G and G[V_i] is the induced subgraph of G with the vertex set V_i. Using this result, we show that for each m>=2 there exists an exact m-cover of Z which is not the union of two 1-covers.

math.CO↗

Primes in the form $[αp+β]$

Let βbe a real number. Then for almost all irrational α>0 (in the sense of Lebesgue measure) \limsup_{x\to\infty}π_{α,β}^*(x)(\log x)^2/x>=1, where π_{α,β}^*(x)={p<=x: both p and [αp+β] are primes}.

math.NT↗

Mixed sums of squares and triangular numbers (II)

For an integer $x$ let $t_x$ denote the triangular number $x(x+1)/2$. Following a recent work of Z. W. Sun, we show that every natural number can be written in any of the following forms with $x,y,z\in\Z$: $$x^2+3y^2+t_z, x^2+3t_y+t_z, x^2+6t_y+t_z, 3x^2+2t_y+t_z, 4x^2+2t_y+t_z.$$ This confirms a conjecture of Sun.

math.NT↗

The Romanov theorem revised

Let P be the set of all primes and P_2=P\cup{p_1p_2: p_1,p_2\in P}$. We prove that the sumset 2^P+P_2={2^p+q: p\in P, q\in P_2} has a positive lower density.

math.NT↗

Difference sets and Polynomials of prime variables

Let ψ(x) be a polynomial with rational coefficients. Suppose that ψhas the positive leading coefficient and zero constant term. Let A be a set of positive integers with the positive upper density. Then there exist x,y\in A and a prime p such that x-y=ψ(p-1). Furthermore, if P be a set of primes with the positive relative upper density, then there exist x,y\in P and a prime p such that x-y=ψ(p-1).

math.NT↗

A characterization of covering equivalence

Let A={a_s(mod n_s)}_{s=1}^k and B={b_t(mod m_t)}_{t=1}^l be two systems of residue classes. If |{1\le s\le k: x=a_s (mod n_s)}| and |{1\le t\le l: x=b_t (mod m_t)}| are equal for all integers x, then A and B are said to be covering equivalent. In this paper we characterize the covering equivalence in a simple and new way. Using the characterization we partially confirm a conjecture of R. L. Graham and K. O'Bryant.

math.NT↗

Sums of Products of Bernoulli numbers of the second kind

The Bernoulli numbers b_0,b_1,b_2,.... of the second kind are defined by \sum_{n=0}^\infty b_nt^n=\frac{t}{\log(1+t)}. In this paper, we give an explicit formula for the sum \sum_{j_1+j_2+...+j_N=n, j_1,j_2,...,j_N>=0}b_{j_1}b_{j_2}...b_{j_N}. We also establish a q-analogue for \sum_{k=0}^n b_kb_{n-k}=-(n-1)b_n-(n-2)b_{n-1}.

math.NT↗

Symmetric identities on Bernoulli polynomials

In this paper, we obtain a generalization of an identity due to Carlitz on Bernoulli polynomials. Then we use this generalized formula to derive two symmetric identities which reduce to some known identities on Bernoulli polynomials and Bernoulli numbers, including the Miki identity.

math.NT↗

Identities concerning Bernoulli and Euler polynomials

We establish two general identities for Bernoulli and Euler polynomials, which are of a new type and have many consequences. The most striking result in this paper is as follows: If $n$ is a positive integer, $r+s+t=n$ and $x+y+z=1$, then we have $$rF(s,t;x,y)+sF(t,r;y,z)+tF(r,s;z,x)=0$$ where $$F(s,t;x,y):=\sum_{k=0}^n(-1)^k\binom{s}{k}\binom{t}{n-k}B_{n-k}(x)B_k(y).$$ This symmetric relation implies the curious identities of Miki and Matiyasevich as well as some new identities for Bernoulli polynomials such as $$\sum_{k=0}^n\binom{n}{k}^2B_k(x)B_{n-k}(x)=2\sum^n\Sb k=0 k\not=n-1\endSb\binom{n}{k}\binom{n+k-1}{k}B_k(x)B_{n-k}.$$

math.NT↗

Restricted sumsets and a conjecture of Lev

Let A,B,S be finite subsets of an abelian group G. Suppose that the restricted sumset C={a+b: a in A, b in B, and a-b not in S} is nonempty and some c in C can be written as a+b with a in A and b in B in at most m ways. We show that if G is torsion-free or elementary abelian then |C|\geq |A|+|B|-|S| -m. We also prove that |C|\geq |A|+|B|-2|S|-m if the torsion subgroup of G is cyclic. In the case S={0} this provides an advance on a conjecture of Lev.

math.CO↗

A combinatorial identity with application to Catalan numbers

By a very simple argument, we prove that if $l,m,n$ are nonnegative integers then $$\sum_{k=0}^l(-1)^{m-k}\binom{l}{k}\binom{m-k}{n}\binom{2k}{k-2l+m} =\sum_{k=0}^l\binom{l}{k}\binom{2k}{n}\binom{n-l}{m+n-3k-l}. On the basis of this identity, for $d,r=0,1,2,...$ we construct explicit $F(d,r)$ and $G(d,r)$ such that for any prime $p>\max\{d,r\}$ we have \sum_{k=1}^{p-1}k^r C_{k+d}\equiv \cases F(d,r)(mod p)& if 3|p-1, \\G(d,r)\ (mod p)& if 3|p-2, where $C_n$ denotes the Catalan number $(n+1)^{-1}\binom{2n}{n}$. For example, when $p\geq 5$ is a prime, we have \sum_{k=1}^{p-1}k^2C_k\equiv\cases-2/3 (mod p)& if 3|p-1, \1/3 (mod p)& if 3|p-2; and \sum_{0<k<p-4}\frac{C_{k+4}}k \equiv\cases 503/30 (mod p)& if 3|p-1, -100/3 (mod p)& if 3|p-2. This paper also contains some new recurrence relations for Catalan numbers.

math.CO↗