Source author record

Hai-Liang Wu

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

8works
1topics
4close collaborators

Published work

8 publications

preprint2022arXiv

A conjecture of Zhi-Wei Sun on determinants over finite fields

In this paper, we study certain determinants over finite fields. Let Fq\mathbb{F}_q be the finite field of qq elements and let a1,a2,⋯ ,aq−1a_1,a_2,\cdots,a_{q-1} be all nonzero elements of Fq\mathbb{F}_q. Let Tq=[1ai2−aiaj+aj2]1≤i,j≤q−1T_q=\left[\frac{1}{a_i^2-a_ia_j+a_j^2}\right]_{1\le i,j\le q-1} be a matrix over Fq\mathbb{F}_q. We obtain the explicit value of det⁡Tq\det T_q. Also, as a consequence of our result, we confirm a conjecture posed by Zhi-Wei Sun.

preprint2021arXiv

Almost universal ternary sums of pentagonal numbers

For each integer xx, the xx-th generalized pentagonal number is denoted by P5(x)=(3x2−x)/2P_5(x)=(3x^2-x)/2. Given odd positive integers a,b,ca,b,c and non-negative integers r,sr,s, we employ the theory of ternary quadratic forms to determine when the sum aP5(x)+2rbP5(y)+2scP5(z)aP_5(x)+2^rbP_5(y)+2^scP_5(z) represents all but finitely many positive integers.

preprint2020arXiv

Almost universal mixed sums of squares and polygonal numbers

For each integer m≥3m\ge3, let Pm(x)P_m(x) denote the generalized mm-gonal number (m−2)x2−(m−4)x2\frac{(m-2)x^2-(m-4)x}{2} with x∈Zx\in\mathbb{Z}. Given positive integers a,b,c,ka,b,c,k and an odd prime number pp with p∤cp\nmid c, we employ the theory of ternary quadratic forms to determine completely when the mixed sum ax2+by2+cPpk+2(z)ax^2+by^2+cP_{p^k+2}(z) represents all but finitely many positive integers.

preprint2020arXiv

On the 1-3-5 conjecture and related topics

The 1-3-5 conjecture of Z.-W. Sun states that any n∈N={0,1,2,…}n\in\mathbb N=\{0,1,2,\ldots\} can be written as x2+y2+z2+w2x^2+y^2+z^2+w^2 with w,x,y,z∈Nw,x,y,z\in\mathbb N such that x+3y+5zx+3y+5z is a square. In this paper, via the theory of ternary quadratic forms and related modular forms, we study the integer version of the 1-3-5 conjecture and related weighted sums of four squares with certain linear restrictions. Here are two typical results in this paper: (i) There is a finite set AA of positive integers such that any sufficiently large integer not in the set {16ka: a∈A, k∈N}\{16^ka:\ a\in A,\ k\in\mathbb N\} can be written as x2+y2+z2+w2x^2+y^2+z^2+w^2 with x,y,z,w∈Zx,y,z,w\in\mathbb Z and x+3y+5z∈{4k: k∈N}x+3y+5z\in\{4^k:\ k\in\mathbb N\}. (ii) Any positive integer can be written as x2+y2+z2+2w2x^2+y^2+z^2+2w^2 with x,y,z,w∈Zx,y,z,w\in\mathbb Z and x+y+2z+2w=1x+y+2z+2w=1. Also, any sufficiently large integer can be written as x2+y2+z2+2w2x^2+y^2+z^2+2w^2 with x,y,z,w∈Zx,y,z,w\in\mathbb Z and x+2y+3z=1x+2y+3z=1.

preprint2020arXiv

Some universal quadratic sums over the integers

Let a,b,c,d,e,f∈Na,b,c,d,e,f\in\mathbb N with a≥c≥e>0a\ge c\ge e>0, b≤ab\le a and b≡a(mod2)b\equiv a\pmod2, d≤cd\le c and d≡c(mod2)d\equiv c\pmod2, f≤ef\le e and f≡e(mod2)f\equiv e\pmod2. If any nonnegative integer can be written as x(ax+b)/2+y(cy+d)/2+z(ez+f)/2x(ax+b)/2+y(cy+d)/2+z(ez+f)/2 with x,y,z∈Zx,y,z\in\mathbb Z, then the ordered tuple (a,b,c,d,e,f)(a,b,c,d,e,f) is said to be universal over Z\mathbb Z. Recently, Z.-W. Sun found all candidates for such universal tuples over Z\mathbb Z. In this paper, we use the theory of ternary quadratic forms to show that 44 concrete tuples (a,b,c,d,e,f)(a,b,c,d,e,f) in Sun's list of candidates are indeed universal over Z\mathbb Z. For example, we prove the universality of (16,4,2,0,1,1)(16,4,2,0,1,1) over Z\mathbb Z which is related to the form x2+y2+32z2x^2+y^2+32z^2.

preprint2020arXiv

Squares in Fp2\mathbb{F}_{p^2} and permutations involving primitive roots

Let p=2n+1p=2n+1 be an odd prime, and let ζp2−1ζ_{p^2-1} be a primitive (p2−1)(p^2-1)-th root of unity in the algebraic closure Qp‾\overline{\mathbb{Q}_p} of Qp\mathbb{Q}_p. We let g∈Zp[ζp2−1]g\in\mathbb{Z}_p[ζ_{p^2-1}] be a primitive root modulo pZp[ζp2−1]p\mathbb{Z}_p[ζ_{p^2-1}] with g≡ζp2−1(modpZp[ζp2−1])g\equiv ζ_{p^2-1}\pmod {p\mathbb{Z}_p[ζ_{p^2-1}]}. Let Δ≡3(mod4)Δ\equiv3\pmod4 be an arbitrary quadratic non-residue modulo pp in Z\mathbb{Z}. By the Local Existence Theorem we know that Qp(Δ)=Qp(ζp2−1)\mathbb{Q}_p(\sqrtΔ)=\mathbb{Q}_p(ζ_{p^2-1}). For all x∈Z[Δ]x\in\mathbb{Z}[\sqrtΔ] and y∈Zp[ζp2−1]y\in\mathbb{Z}_p[ζ_{p^2-1}] we use xˉ\bar{x} and yˉ\bar{y} to denote the elements xmod  pZ[Δ]x\mod p\mathbb{Z}[\sqrtΔ] and ymod  pZp[ζp2−1]y\mod p\mathbb{Z}_p[ζ_{p^2-1}] respectively. If we set ak=k+Δa_k=k+\sqrtΔ for 0≤k≤p−10\le k\le p-1, then we can view the sequence S:=a02‾,⋯ ,a02n2‾,⋯ ,ap−12‾,⋯ ,ap−12n2‾⋯ ,12‾,⋯ ,n2‾S := \overline{a_0^2}, \cdots, \overline{a_0^2n^2}, \cdots,\overline{a_{p-1}^2}, \cdots, \overline{a_{p-1}^2n^2}\cdots, \overline{1^2}, \cdots,\overline{n^2} as a permutation σσ of the sequence S∗:=g2‾,g4‾,⋯ ,gp2−1‾.S^* := \overline{g^2}, \overline{g^4}, \cdots,\overline{g^{p^2-1}}. We determine the sign of σσ completely in this paper.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.