<p>Recently, using modular forms F. Beukers posed a unified method that can deal with a large number of supercongruences involving binomial coefficients and Apéry-like numbers. In this paper, we use Beukers’ method to prove some conjectures of the first author concerning the congruences for <Equation ID="Equ28"> <MediaObject> <ImageObject Color="BlackWhite" FileRef="25_2025_2451_Article_Equ28.gif" Format="GIF" Height="76" Rendition="HTML" Resolution="72" Type="Linedraw" Width="529" /> </MediaObject> <EquationSource Format="TEX">\(\sum _{k=0}^{(p-1)/2}\frac{\left( {\begin{array}{c}2k\\ k\end{array}}\right) ^3}{m^k}, \quad \sum _{k=0}^{p-1}\frac{\left( {\begin{array}{c}2k\\ k\end{array}}\right) ^2\left( {\begin{array}{c}4k\\ 2k\end{array}}\right) }{m^k} \quad \text {and}\quad \sum _{k=0}^{p-1}\frac{\left( {\begin{array}{c}2k\\ k\end{array}}\right) \left( {\begin{array}{c}3k\\ k\end{array}}\right) \left( {\begin{array}{c}6k\\ 3k\end{array}}\right) }{m^k}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <munderover> <mo>∑</mo> <mrow> <mi>k</mi> <mo>=</mo> <mn>0</mn> </mrow> <mrow> <mo stretchy="false">(</mo> <mi>p</mi> <mo>-</mo> <mn>1</mn> <mo stretchy="false">)</mo> <mo stretchy="false">/</mo> <mn>2</mn> </mrow> </munderover> <mfrac> <msup> <mfenced close=")" open="("> <mrow> <mtable> <mtr> <mtd> <mrow> <mn>2</mn> <mi>k</mi> </mrow> </mtd> </mtr> <mtr> <mtd> <mrow> <mrow /> <mi>k</mi> </mrow> </mtd> </mtr> </mtable> </mrow> </mfenced> <mn>3</mn> </msup> <msup> <mi>m</mi> <mi>k</mi> </msup> </mfrac> <mo>,</mo> <mspace width="1em" /> <munderover> <mo>∑</mo> <mrow> <mi>k</mi> <mo>=</mo> <mn>0</mn> </mrow> <mrow> <mi>p</mi> <mo>-</mo> <mn>1</mn> </mrow> </munderover> <mfrac> <mrow> <msup> <mfenced close=")" open="("> <mrow> <mtable> <mtr> <mtd> <mrow> <mn>2</mn> <mi>k</mi> </mrow> </mtd> </mtr> <mtr> <mtd> <mrow> <mrow /> <mi>k</mi> </mrow> </mtd> </mtr> </mtable> </mrow> </mfenced> <mn>2</mn> </msup> <mfenced close=")" open="("> <mrow> <mtable> <mtr> <mtd> <mrow> <mn>4</mn> <mi>k</mi> </mrow> </mtd> </mtr> <mtr> <mtd> <mrow> <mrow /> <mn>2</mn> <mi>k</mi> </mrow> </mtd> </mtr> </mtable> </mrow> </mfenced> </mrow> <msup> <mi>m</mi> <mi>k</mi> </msup> </mfrac> <mspace width="1em" /> <mtext>and</mtext> <mspace width="1em" /> <munderover> <mo>∑</mo> <mrow> <mi>k</mi> <mo>=</mo> <mn>0</mn> </mrow> <mrow> <mi>p</mi> <mo>-</mo> <mn>1</mn> </mrow> </munderover> <mfrac> <mrow> <mfenced close=")" open="("> <mrow> <mtable> <mtr> <mtd> <mrow> <mn>2</mn> <mi>k</mi> </mrow> </mtd> </mtr> <mtr> <mtd> <mrow> <mrow /> <mi>k</mi> </mrow> </mtd> </mtr> </mtable> </mrow> </mfenced> <mfenced close=")" open="("> <mrow> <mtable> <mtr> <mtd> <mrow> <mn>3</mn> <mi>k</mi> </mrow> </mtd> </mtr> <mtr> <mtd> <mrow> <mrow /> <mi>k</mi> </mrow> </mtd> </mtr> </mtable> </mrow> </mfenced> <mfenced close=")" open="("> <mrow> <mtable> <mtr> <mtd> <mrow> <mn>6</mn> <mi>k</mi> </mrow> </mtd> </mtr> <mtr> <mtd> <mrow> <mrow /> <mn>3</mn> <mi>k</mi> </mrow> </mtd> </mtr> </mtable> </mrow> </mfenced> </mrow> <msup> <mi>m</mi> <mi>k</mi> </msup> </mfrac> </mrow> </math></EquationSource> </Equation>modulo <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="25_2025_2451_Article_IEq1.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="17" /> </InlineMediaObject> <EquationSource Format="TEX">\(p^3\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>p</mi> <mn>3</mn> </msup> </math></EquationSource> </InlineEquation>, where <i>p</i> is an odd prime representable by some suitable binary quadratic form and <i>m</i> is an integer not divisible by <i>p</i>.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Supercongruences Involving Products of Three Binomial Coefficients via Beukers’ Method

  • Zhi-Hong Sun,
  • Dongxi Ye

摘要

Recently, using modular forms F. Beukers posed a unified method that can deal with a large number of supercongruences involving binomial coefficients and Apéry-like numbers. In this paper, we use Beukers’ method to prove some conjectures of the first author concerning the congruences for \(\sum _{k=0}^{(p-1)/2}\frac{\left( {\begin{array}{c}2k\\ k\end{array}}\right) ^3}{m^k}, \quad \sum _{k=0}^{p-1}\frac{\left( {\begin{array}{c}2k\\ k\end{array}}\right) ^2\left( {\begin{array}{c}4k\\ 2k\end{array}}\right) }{m^k} \quad \text {and}\quad \sum _{k=0}^{p-1}\frac{\left( {\begin{array}{c}2k\\ k\end{array}}\right) \left( {\begin{array}{c}3k\\ k\end{array}}\right) \left( {\begin{array}{c}6k\\ 3k\end{array}}\right) }{m^k}\) k = 0 ( p - 1 ) / 2 2 k k 3 m k , k = 0 p - 1 2 k k 2 4 k 2 k m k and k = 0 p - 1 2 k k 3 k k 6 k 3 k m k modulo \(p^3\) p 3 , where p is an odd prime representable by some suitable binary quadratic form and m is an integer not divisible by p.