BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Zhi-Hong Sun

Zhi-Hong Sun contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.NTmath.CO

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
41works
0followers
2topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

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

Published work

41 published item(s)

preprint2022arXiv

Congruences for sums involving products of three binomial coefficients

Let $p>3$ be a prime, and let $a$ be a rational $p$-adic integer, using WZ method we establish the congruences modulo $p^3$ for $$\sum_{k=0}^{p-1} \binom ak\binom{-1-a}k\binom{2k}k\frac {w(k)}{4^k},$$ where $$w(k)=1,\frac 1{k+1},\frac 1{(k+1)^2},\frac 1{(k+1)^3},\frac 1{2k-1},\frac 1{k+2}, \frac 1{k+3}, k,k^2,k^3,\frac 1{a+k},\frac 1{a+k-1}.$$ As consequences, taking $a=-\frac 12,-\frac 13,-\frac 14,-\frac 16$ we deduce many congruences modulo $p^3$ and so solve some conjectures posed by the author earlier.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Congruences involving binomial coefficients and Apéry-like numbers

For $n=0,1,2,\ldots$ let $W_n=\sum_{k=0}^{[n/3]}\binom{2k}k \binom{3k}k\binom n{3k}(-3)^{n-3k}$, where $[x]$ is the greatest integer not exceeding $x$. Then $\{W_n\}$ is an Apéry-like sequence. In this paper we deduce many congruences involving $\{W_n\}$, in particular we determine $\sum_{k=0}^{p-1}\binom{2k}k\frac{W_k}{m^k}\pmod p$ for $m=-640332,-5292,-972,-108,-44,-27,-12,8,54,243$ by using binary quadratic forms, where $p>3$ is a prime. We also prove several congruences for generalized Apéry-like numbers, and pose 29 challenging conjectures on congruences involving binomial coefficients and Apéry-like numbers.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Super congruences concerning binomial coefficients and Apéry-like numbers

Let $p$ be a prime with $p>3$, and let $a,b$ be two rational $p-$integers. In this paper we present general congruences for $\sum_{k=0}^{p-1}\binom ak\binom{-1-a}k\frac p{k+b}\pmod {p^2}$. For $n=0,1,2,\ldots$ let $D_n$ and $b_n$ be Domb and Almkvist-Zudilin numbers, respectively. We also establish congruences for $$\sum_{n=0}^{p-1}\frac{D_n}{16^n},\quad \sum_{n=0}^{p-1}\frac{D_n}{4^n}, \quad \sum_{n=0}^{p-1}\frac{b_n}{(-3)^n},\quad \sum_{n=0}^{p-1}\frac{b_n}{(-27)^n}\pmod {p^2}$$ in terms of certain binary quadratic forms.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Congruences involving Franel and Catalan-Larcombe-French numbers

Let $\{f_n\}$ be the Franel numbers given by $f_n=\sum_{k=0}^n\binom nk^3$, and let $p>5$ be a prime. In this paper we mainly determine $\sum_{k=0}^{p-1} \binom{2k}k\frac{f_k}{m^k}\pmod p$ for $m=5,-16,16,32,-49,50,96$. Let $S_n=\sum_{k=0}^n\binom nk\binom{2k}k\binom{2n-2k}{n-k}$. We also determine $\sum_{k=0}^{p-1} \binom{2k}k\frac{S_k}{m^k}\pmod p$ for $m=7,16,25,32,64,160,800,1600, 156832$.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Turán's problem and Ramsey numbers for trees

Let $T_n^1=(V,E_1)$ and $T_n^2=(V,E_2)$ be the trees on $n$ vertices with $V=\{v_0,v_1,\ldots,v_{n-1}\}$, $E_1=\{v_0v_1,\ldots,v_0v_{n-3},v_{n-4}v_{n-2},v_{n-3}v_{n-1}\}$, and $E_2=\{v_0v_1,\ldots,$ $v_0v_{n-3},v_{n-3}v_{n-2}, v_{n-3}v_{n-1}\}$. In this paper, for $p\ge n\ge 5$ we obtain explicit formulas for $\ex(p;T_n^1)$ and $\ex(p;T_n^2)$, where $\ex(p;L)$ denotes the maximal number of edges in a graph of order $p$ not containing $L$ as a subgraph. Let $r(G\sb 1, G\sb 2)$ be the Ramsey number of the two graphs $G_1$ and $G_2$. In this paper we also obtain some explicit formulas for $r(T_m,T_n^i)$, where $i\in\{1,2\}$ and $T_m$ is a tree on $m$ vertices with $Δ(T_m)\le m-3$.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Ramsey numbers for trees

For $n\ge 5$ let $T_n'$ denote the unique tree on $n$ vertices with $Δ(T_n')=n-2$, and let $T_n^*=(V,E)$ be the tree on $n$ vertices with $V=\{v_0,v_1,\ldots,$ $v_{n-1}\}$ and $E=\{v_0v_1,\ldots,v_0v_{n-3},$ $v_{n-3}v_{n-2},v_{n-2}v_{n-1}\}$. In this paper we evaluate the Ramsey numbers $r(G_m,T_n')$ and $r(G_m,T_n^*)$, where $G_m$ is a connected graph of order $m$. As examples, for $n\ge 8$ we have $r(T_n',T_n^*)=r(T_n^*,T_n^*)=2n-5$, for $n>m\ge 7$ we have $r(K_{1,m-1},T_n^*)=m+n-3$ or $m+n-4$ according as $m-1\mid (n-3)$ or $m-1\nmid (n-3)$, for $m\ge 7$ and $n\ge (m-3)^2+2$ we have $r(T_m^*,T_n^*)=m+n-3$ or $m+n-4$ according as $m-1\mid (n-3)$ or $m-1\nmid (n-3)$.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Super congruences involving Bernoulli and Euler polynomials

Let $p>3$ be a prime, and let $a$ be a rational p-adic integer. Let $\{B_n(x)\}$ and $\{E_n(x)\}$ denote the Bernoulli polynomials and Euler polynomials, respectively. In this paper we show that $$\sum_{k=0}^{p-1}\binom ak\binom{-1-a}k\equiv (-1)^{\langle a\rangle_p}+ p^2t(t+1)E_{p-3}(-a)\pmod{p^3}$$ and for $a\not\equiv -\frac 12\pmod p$, $$\sum_{k=0}^{p-1}\binom ak\binom{-1-a}k\frac 1{2k+1}\equiv \frac{1+2t}{1+2a} +p^2\frac{t(t+1)}{1+2a}B_{p-2}(-a)\pmod{p^3},$$ where $\langle a\rangle_p\in\{0,1,\ldots,p-1\}$ satisfying $a\equiv \langle a\rangle_p\pmod p$ and $t=(a-\langle a\rangle_p)/p$. Taking $a=-\frac 13,-\frac 14,-\frac 16$ in the above congruences we solve some conjectures of Z.W. Sun. In this paper we also establish congruences for $\sum_{k=0}^{p-1}k\binom ak\binom{-1-a}k,\ \sum_{k=0}^{p-1}\binom ak\binom{-1-a}k\frac 1{2k-1},\ \sum_{k=1}^{p-1}\frac 1k\binom ak\binom{-1-a}k\pmod{p^3}$ and $\sum_{k=1}^{p-1}\frac {(-1)^k}k\binom ak,\ \sum_{k=0}^{p-1}\binom ak(-2)^k\pmod{p^2}.$

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Turán's problem and generalized Ramsey numbers

Let $n,r,k,s$ be positive integers with $n,k\ge 2$. The generalized Ramsey number $R(n,r;k,s)$ is the smallest positive integer $p$ such that for every graph $G$ of order $p$, either $G$ contains a subgraph induced by $n$ vertices with at most $r-1$ edges, or the complement $\bar G$ of $G$ contains a subgraph induced by $k$ vertices with at most $s-1$ edges. In this paper we completely determine $R(n,n(n-1)/2-r;k,1)$ for $n\ge 4$ and $r\le n-2$, and pose several conjectures on Ramsey numbers.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Turán's Problem for Trees

For a forbidden graph $L$, let $ex(p;L)$ denote the maximal number of edges in a simple graph of order $p$ not containing $L$. Let $T_n$ denote the unique tree on $n$ vertices with maximal degree $n-2$, and let $T_n^*=(V,E)$ be the tree on $n$ vertices with $V=\{v_0,v_1,\ldots,v_{n-1}\}$ and $E=\{v_0v_1,\ldots,v_0v_{n-3},v_{n-3}v_{n-2},v_{n-2}v_{n-1}\}$. In the paper we give exact values of $ex(p;T_n)$ and $ex(p;T_n^*)$.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Turán's problem for trees $T_n$ with maximal degree $n-4$

For $n\ge 6$ let $V=\{v_0,v_1,\ldots,v_{n-1}\}$, $E_1=\{v_0v_1,\ldots,v_0v_{n-4},v_1v_{n-3},v_1v_{n-2}$, $v_1v_{n-1}\}$, $E_2=\{v_0v_1,\ldots,v_0v_{n-4},v_1v_{n-3},v_1v_{n-2},v_2v_{n-1}\}$, $E_3=\{v_0v_1,\ldots,v_0v_{n-4}$, $v_1v_{n-3},v_2v_{n-2},v_3v_{n-1}\}$, $T_n^3=(V,E_1),\ T_n^{''}=(V,E_2)$ and $T_n^{'''} =(V,E_3).$ In this paper, for $p\ge n\ge 15$ we obtain explicit formulas for $ex(p;T_n^3)$, $ex(p;T_n^{''})$ and $ex(p;T_n^{'''})$, where $ex(p;L)$ denotes the maximal number of edges in a graph of order $p$ not containing $L$ as a subgraph.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Congruences for sequences analogous to Euler numbers

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 ${\rm ord}_pn$ is the least nonnegative integer $α$ such that $p^{\a}\mid n$ but $p^{\a+1}\nmid n$.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Cubic congruences and sums involving $\binom{3k}k$

Let $p$ be a prime greater than $3$ and let $a$ be a rational p-adic integer. In this paper we try to determine $\sum_{k=1}^{[p/3]}\binom{3k}ka^k\pmod p$, and real the connection between cubic congruences and the sum $\sum_{k=1}^{[p/3]}\binom{3k}ka^k$, where $[x]$ is the greatest integer not exceeding $x$. Suppose that $a_1,a_2,a_3$ are rational p-adic integers, $P=-2a_1^3+9a_1a_2-27a_3$, $Q=(a_1^2-3a_2)^3$ and $PQ(P^2-Q)(P^2-3Q)(P^2-4Q)\not\equiv 0\pmod p$. In this paper we show that the number of solutions of the congruence $x^3+a_1x^2+a_2x+a_3\equiv 0\pmod p$ depends only on $\sum_{k=1}^{[p/3]}\binom{3k}k(\frac{4Q-P^2}{27Q})^k\pmod p$. Let $q$ be a prime of the form $3k+1$ and so $4q=L^2+27M^2$ with $L,M\in\Bbb Z$. When $p\not=q$ and $p\nmid L$, we establish congruences for $\sum_{k=1}^{[p/3]}\binom{3k}k(\frac{M^2}q)^k$ and $\sum_{k=1}^{[p/3]}\binom{3k}k(\frac{L^2}{27q})^k$ modulo p. As a consequence, we show that $x^3-qx-qM\equiv 0\pmod p$ has three solutions if and only if $p$ is a cubic residue of $q$.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Extensions of Stern's congruence for Euler numbers

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}},$ where $U_{2n}=E_{2n}^{(3/2)}$, $S_n=E_n^{(2)}$ and $φ(n)$ is Euler's function.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Quartic residues and sums involving $\binom{4k}{2k}$

Let $p$ be an odd prime and let $m\not\equiv 0\pmod p$ be a rational p-adic integer. In this paper we reveal the connection between quartic residues and the sum $\sum_{k=0}^{[p/4]}\binom{4k}{2k}\frac 1{m^k}$, where $[x]$ is the greatest integer not exceeding $x$. Let $q$ be a prime of the form $4k+1$ and so $q=a^2+b^2$ with $a,b\in\Bbb Z$. When $p\nmid ab(a^2-b^2)q$, we show that for $r=0,1,2,3$, $p^{\frac{q-1}4}\equiv (\frac ab)^r\pmod q$ if and only if $$\sum_{k=0}^{[p/4]}\binom{4k}{2k}\Big(\frac{a^2}{16q}\Big)^k\equiv (-1)^{\frac{p^2-1}8a+\frac{p-1}2\cdot \frac{q-1}4}\Big(\frac pq\Big) \Big(\frac ab\Big)^r\pmod p,$$ where $(\frac pq)$ is the Legendre symbol. We also establish congruences for $\sum_{k=0}^{[p/4]}\binom{4k}{2k}\frac 1{m^k}\pmod p$ in the cases $m=17,18,20,32,52,80,272$.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Congruences concerning Legendre polynomials II

Let $p>3$ be a prime, and let $m$ be an integer with $p\nmid m$. In the paper we solve some conjectures of Z.W. Sun concerning $\sum_{k=0}^{p-1}\binom{2k}k^3/m^k\pmod{p^2}$, $\sum_{k=0}^{p-1}\binom{2k}k\b{4k}{2k}/m^k\pmod p$ and $\sum_{k=0}^{p-1}\binom{2k}k^2\b{4k}{2k}/m^k\pmod {p^2}.$ In particular, we show that $\sum_{k=0}^{\frac{p-1}{2}}\binom{2k}k^3\equiv 0\pmod {p^2}$ for $p\equiv 3,5,6\pmod 7$. Let $P_n(x)$ be the Legendre polynomials. In the paper we also show that $ P_{[\frac {p}{4}]}(t)\equiv -\big(\frac{-6}{p}\big)\sum_{x=0}^{p-1} \big(\frac{x^3-3/2(3t+5)x-9t-7}{p}\big)\pmod p$ and determine $P_{\frac{p-1}{2}}(\sqrt 2), P_{\frac{p-1}{2}}(\frac{3\sqrt 2}{4}), P_{\frac{p-1}{2}}(\sqrt {-3}),P_{\frac{p-1}{2}}(\frac{\sqrt 3}{2}), P_{\frac{p-1}{2}}(\sqrt {-63}), P_{\frac{p-1}{2}}(\frac {3\sqrt 7}{8}) \pmod p$, where $t$ is a rational $p-$integer, $[x]$ is the greatest integer not exceeding $x$ and $(\frac {a}{p})$ is the Legendre symbol. As consequences we determine $P_{[\frac {p}{4}]}(t)\pmod p$ in the cases $t=-5/3,-7/9,-65/63$ and confirm many conjectures of Z.W. Sun.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Congruences concerning Legendre polynomials III

Let $p>3$ be a prime, and let $R_p$ be the set of rational numbers whose denominator is coprime to $p$. Let $\{P_n(x)\}$ be the Legendre polynomials. In this paper we mainly show that for $m,n,t\in R_p$ with $m\not\e 0\pmod p$, $$\align &P_{[\frac p6]}(t) \e -\Big(\frac 3p\Big)\sum_{x=0}^{p-1}\Big(\frac{x^3-3x+2t}p\Big)\pmod p, &\Big(\sum_{x=0}^{p-1}\Big(\frac{x^3+mx+n}p\Big)\Big)^2\equiv \Big(\frac{-3m}p\Big) \sum_{k=0}^{[p/6]}\binom{2k}k\binom{3k}k\binom{6k}{3k} \Big(\frac{4m^3+27n^2}{12^3\cdot 4m^3}\Big)^k\pmod p,$$ where $(\frac ap)$ is the Legendre symbol and $[x]$ is the greatest integer function. As an application we solve some conjectures of Z.W. Sun and the author concerning $\sum_{k=0}^{p-1}\binom{2k}k\binom{3k}k\binom{6k}{3k}/m^k\pmod {p^2}$, where $m$ is an integer not divisible by $p$.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Generalized Legendre polynomials and related congruences modulo $p^2$

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 greatest integer function. Finally we pose some supercongruences modulo $p^2$ concerning binary quadratic forms.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Jacobsthal sums, Legendre polynomials and binary quadratic forms

Let $p>3$ be a prime and $m,n\in\Bbb Z$ with $p\nmid mn$. Built on the work of Morton, in the paper we prove the uniform congruence: $$&\sum_{x=0}^{p-1}\Big(\frac{x^3+mx+n}p\Big) \equiv {-(-3m)^{\frac{p-1}4} \sum_{k=0}^{p-1}\binom{-\frac 1{12}}k\binom{-\frac 5{12}}k (\frac{4m^3+27n^2}{4m^3})^k\pmod p&\t{if $4\mid p-1$,} \frac{2m}{9n}(\frac{-3m}p)(-3m)^{\frac{p+1}4} \sum_{k=0}^{p-1}\binom{-\frac 1{12}}k\binom{-\frac 5{12}}k (\frac{4m^3+27n^2}{4m^3})^k\pmod p&\text{if $4\mid p-3$,}$$ where $(\frac ap)$ is the Legendre symbol. We also establish many congruences for $x\pmod p$, where $x$ is given by $p=x^2+dy^2$ or $4p=x^2+dy^2$, and pose some conjectures on supercongruences modulo $p^2$ concerning binary quadratic forms.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Quartic, octic residues and binary quadratic forms

Let $\Bbb Z$ be the set of integers, and let $(m,n)$ be the greatest common divisor of integers $m$ and $n$. Let $p\equiv 1\mod 4$ be a prime, $q\in\Bbb Z$, $2\nmid q$ and $p=c^2+d^2=x^2+qy^2$ with $c,d,x,y\in\Bbb Z$ and $c\e 1\mod 4$. Suppose that $(c,x+d)=1$ or $(d,x+c)$ is a power of 2. In the paper, by using the quartic reciprocity law we determine $q^{[p/8]}\mod p$ in terms of $c,d,x$ and $y$, where $[\cdot]$ is the greatest integer function. We also determine $\big(\frac{b+\sqrt{b^2+4^α}}2\big)^{\frac{p-1}4}\mod p$ for odd $b$ and $(2a+\sqrt{4a^2+1})^{\f{p-1}4}\mod p$ for $a\in\Bbb Z$. As applications we obtain the congruence for $U_{\f{p-1}4}\mod p$ and the criterion for $p\mid U_{\frac{p-1}8}$ (if $p\equiv 1\mod 8$), where $\{U_n\}$ is the Lucas sequence given by $U_0=0,\ U_1=1$ and $U_{n+1}=bU_n+U_{n-1}\ (n\ge 1)$, and $b\not\equiv 2\mod 4$. Hence we partially solve some conjectures posed by the author in two previous papers.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Some supercongruences modulo $p^2$

Let $p>3$ be a prime, and let $m$ be an integer with $p\nmid m$. In the paper we prove some supercongruences concerning $$\align &\sum_{k=0}^{p-1}\frac{\binom{2k}k\binom{3k}k}{54^k},\ \sum_{k=0}^{p-1}\frac{\binom{2k}k\binom{4k}{2k}}{128^k},\ \sum_{k=0}^{p-1}\frac{\binom{3k}k\binom{6k}{3k}}{432^k}, &\sum_{k=0}^{p-1}\frac{\binom{2k}k^2\binom{3k}{k}}{m^k}, \sum_{k=0}^{p-1}\frac{\binom{2k}k^2\binom{4k}{2k}}{m^k},\ \sum_{k=0}^{p-1}\f{\binom{2k}k\binom{3k}{k}\binom{6k}{3k}}{m^k}\mod {p^2}.\endalign$$ Thus we solve some conjectures of Zhi-Wei Sun and the author.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Constructing $x^2$ for primes $p=ax^2+by^2$

Let $a$ and $b$ be positive integers and let $p$ be an odd prime such that $p=ax^2+by^2$ for some integers $x$ and $y$. Let $λ(a,b;n)$ be given by $q\prod_{k=1}^\infty (1-q^{ak})^3(1-q^{bk})^3 = \sum_{n=1}^\infty λ(a,b;n)q^n$. In the paper, using Jacobi&#39;s identity $\prod_{n=1}^\infty (1-q^n)^3 = \sum_{k=0}^\infty (-1)^k(2k+1)q^{\frac{k(k+1)}2}$ we construct $x^2$ in terms of $λ(a,b;n)$. For example, if $2\nmid ab$ and $p\nmid ab(ab+1)$, then $(-1)^{\frac{a+b}2x+\frac{b+1}2}(4ax^2-2p) = λ(a,b;((ab+1)p-a-b)/8+1)$. We also give formulas for $λ(1,3;n+1),λ(1,7;2n+1)$, $λ(3,5;2n+1)$ and $λ(1,15;4n+1)$.

0 citations0 reviewsNo code linkedOpen access