BZPEERReading, trust and collaboration for researchDiscover
Workspaces
Network
Opportunities
Account
Researcher profile
Hai-Liang Wu contributes to research discovery and scholarly infrastructure.
Trust snapshot
Actions
Identity and collaboration
Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.
Log in to claimDirect collaboration
Claim this author entity first to unlock direct invitations.
Research graph
Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
In this paper, we study certain determinants over finite fields. Let $\mathbb{F}_q$ be the finite field of $q$ elements and let $a_1,a_2,\cdots,a_{q-1}$ be all nonzero elements of $\mathbb{F}_q$. Let $T_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 $\mathbb{F}_q$. We obtain the explicit value of $\det T_q$. Also, as a consequence of our result, we confirm a conjecture posed by Zhi-Wei Sun.
Let $p\equiv1\pmod3$ be a prime . We study several topics on additive decompositions concerning the set $C_p$ of all non-zero cubes in the finite field of $p$ elements. For example, we show that when $p>184291$ , the set $C_p$ has no decomposition of the form $C_p=A+B+C$ with $|A|,|B|,|C|\ge2$.
For each integer $x$, the $x$-th generalized pentagonal number is denoted by $P_5(x)=(3x^2-x)/2$. Given odd positive integers $a,b,c$ and non-negative integers $r,s$, we employ the theory of ternary quadratic forms to determine when the sum $aP_5(x)+2^rbP_5(y)+2^scP_5(z)$ represents all but finitely many positive integers.
In this paper, with the help of the theory of matrices and finite fields we generalize Zolotarev's theorem to an arbitrary finite dimensional vector space over $\mathbb{F}_q$, where $\mathbb{F}_q$ denotes the finite field with $q$ elements.
For each integer $m\ge3$, let $P_m(x)$ denote the generalized $m$-gonal number $\frac{(m-2)x^2-(m-4)x}{2}$ with $x\in\mathbb{Z}$. Given positive integers $a,b,c,k$ and an odd prime number $p$ with $p\nmid c$, we employ the theory of ternary quadratic forms to determine completely when the mixed sum $ax^2+by^2+cP_{p^k+2}(z)$ represents all but finitely many positive integers.
The 1-3-5 conjecture of Z.-W. Sun states that any $n\in\mathbb N=\{0,1,2,\ldots\}$ can be written as $x^2+y^2+z^2+w^2$ with $w,x,y,z\in\mathbb N$ such that $x+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 $A$ of positive integers such that any sufficiently large integer not in the set $\{16^ka:\ a\in A,\ k\in\mathbb N\}$ can be written as $x^2+y^2+z^2+w^2$ with $x,y,z,w\in\mathbb Z$ and $x+3y+5z\in\{4^k:\ k\in\mathbb N\}$. (ii) Any positive integer can be written as $x^2+y^2+z^2+2w^2$ with $x,y,z,w\in\mathbb Z$ and $x+y+2z+2w=1$. Also, any sufficiently large integer can be written as $x^2+y^2+z^2+2w^2$ with $x,y,z,w\in\mathbb Z$ and $x+2y+3z=1$.
Let $a,b,c,d,e,f\in\mathbb N$ with $a\ge c\ge e>0$, $b\le a$ and $b\equiv a\pmod2$, $d\le c$ and $d\equiv c\pmod2$, $f\le e$ and $f\equiv e\pmod2$. If any nonnegative integer can be written as $x(ax+b)/2+y(cy+d)/2+z(ez+f)/2$ with $x,y,z\in\mathbb Z$, then the ordered tuple $(a,b,c,d,e,f)$ is said to be universal over $\mathbb Z$. Recently, Z.-W. Sun found all candidates for such universal tuples over $\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)$ in Sun's list of candidates are indeed universal over $\mathbb Z$. For example, we prove the universality of $(16,4,2,0,1,1)$ over $\mathbb Z$ which is related to the form $x^2+y^2+32z^2$.
Let $p=2n+1$ be an odd prime, and let $ζ_{p^2-1}$ be a primitive $(p^2-1)$-th root of unity in the algebraic closure $\overline{\mathbb{Q}_p}$ of $\mathbb{Q}_p$. We let $g\in\mathbb{Z}_p[ζ_{p^2-1}]$ be a primitive root modulo $p\mathbb{Z}_p[ζ_{p^2-1}]$ with $g\equiv ζ_{p^2-1}\pmod {p\mathbb{Z}_p[ζ_{p^2-1}]}$. Let $Δ\equiv3\pmod4$ be an arbitrary quadratic non-residue modulo $p$ in $\mathbb{Z}$. By the Local Existence Theorem we know that $\mathbb{Q}_p(\sqrtΔ)=\mathbb{Q}_p(ζ_{p^2-1})$. For all $x\in\mathbb{Z}[\sqrtΔ]$ and $y\in\mathbb{Z}_p[ζ_{p^2-1}]$ we use $\bar{x}$ and $\bar{y}$ to denote the elements $x\mod p\mathbb{Z}[\sqrtΔ]$ and $y\mod p\mathbb{Z}_p[ζ_{p^2-1}]$ respectively. If we set $a_k=k+\sqrtΔ$ for $0\le k\le p-1$, then we can view the sequence $$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^* := \overline{g^2}, \overline{g^4}, \cdots,\overline{g^{p^2-1}}.$$ We determine the sign of $σ$ completely in this paper.