<p>In 2016, Deines, Fuselier, Long, Swisher, and Tu proved that, for any integer <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="9_2025_2982_Article_IEq1.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="41" /> </InlineMediaObject> <EquationSource Format="TEX">\(d\geqslant 3\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>d</mi> <mo>⩾</mo> <mn>3</mn> </mrow> </math></EquationSource> </InlineEquation> and prime <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="9_2025_2982_Article_IEq2.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="107" /> </InlineMediaObject> <EquationSource Format="TEX">\(p\equiv 1\pmod {d}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>p</mi> <mo>≡</mo> <mn>1</mn> <mspace width="4.44443pt" /> <mo stretchy="false">(</mo> <mo>mod</mo> <mspace width="0.277778em" /> <mi>d</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>, <Equation ID="Equ27"> <MediaObject> <ImageObject Color="BlackWhite" FileRef="9_2025_2982_Article_Equ27.gif" Format="GIF" Height="53" Rendition="HTML" Resolution="72" Type="Linedraw" Width="285" /> </MediaObject> <EquationSource Format="TEX">\( \sum _{k=0}^{p-1}(-1)^{dk} {\frac{1-d}{d}\atopwithdelims ()k}^d \equiv -\Gamma _p (\tfrac{1}{d})^d \pmod {p^2}, \)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <munderover> <mo>∑</mo> <mrow> <mi>k</mi> <mo>=</mo> <mn>0</mn> </mrow> <mrow> <mi>p</mi> <mo>-</mo> <mn>1</mn> </mrow> </munderover> <msup> <mrow> <mo stretchy="false">(</mo> <mo>-</mo> <mn>1</mn> <mo stretchy="false">)</mo> </mrow> <mrow> <mi mathvariant="italic">dk</mi> </mrow> </msup> <msup> <mfenced close=")" open="("> <mfrac linethickness="0pt"> <mfrac> <mrow> <mn>1</mn> <mo>-</mo> <mi>d</mi> </mrow> <mi>d</mi> </mfrac> <mi>k</mi> </mfrac> </mfenced> <mi>d</mi> </msup> <mo>≡</mo> <mo>-</mo> <msub> <mi mathvariant="normal">Γ</mi> <mi>p</mi> </msub> <msup> <mrow> <mo stretchy="false">(</mo> <mstyle displaystyle="false" scriptlevel="0"> <mfrac> <mn>1</mn> <mi>d</mi> </mfrac> </mstyle> <mo stretchy="false">)</mo> </mrow> <mi>d</mi> </msup> <mspace width="10.0pt" /> <mrow> <mo stretchy="false">(</mo> <mo>mod</mo> <mspace width="0.277778em" /> <msup> <mi>p</mi> <mn>2</mn> </msup> <mo stretchy="false">)</mo> </mrow> <mo>,</mo> </mrow> </math></EquationSource> </Equation>where <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="9_2025_2982_Article_IEq3.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="40" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Gamma _p(x)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi mathvariant="normal">Γ</mi> <mi>p</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> denotes the <i>p</i>-adic Gamma function. They also conjectured that the above congruence holds modulo <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="9_2025_2982_Article_IEq4.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>. A <i>q</i>-analog of the <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="9_2025_2982_Article_IEq5.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="40" /> </InlineMediaObject> <EquationSource Format="TEX">\(d=3\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>d</mi> <mo>=</mo> <mn>3</mn> </mrow> </math></EquationSource> </InlineEquation> case of this congruence modulo <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="9_2025_2982_Article_IEq4.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> was recently given by Wei and Qin (Mediterr J Math 22:113, 2025). In this paper, we present two <i>q</i>-congruences related to this congruence modulo <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="9_2025_2982_Article_IEq4.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> for <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="9_2025_2982_Article_IEq8.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="40" /> </InlineMediaObject> <EquationSource Format="TEX">\(d=4\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>d</mi> <mo>=</mo> <mn>4</mn> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="9_2025_2982_Article_IEq9.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="40" /> </InlineMediaObject> <EquationSource Format="TEX">\(d=5\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>d</mi> <mo>=</mo> <mn>5</mn> </mrow> </math></EquationSource> </InlineEquation>, respectively. Our proofs employ Watson’s <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="9_2025_2982_Article_IEq10.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="24" /> </InlineMediaObject> <EquationSource Format="TEX">\(_8\phi _7\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mmultiscripts> <mrow /> <mn>8</mn> <mrow /> </mmultiscripts> <msub> <mi>ϕ</mi> <mn>7</mn> </msub> </mrow> </math></EquationSource> </InlineEquation> transformation, the creative microscoping method developed in (Adv Math 346:329–358, 2019), and the Chinese remainder theorem for polynomials.</p>

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

Two q-Congruences Related to a Congruence of Deines–Fuselier–Long–Swisher–Tu

  • Victor J. W. Guo

摘要

In 2016, Deines, Fuselier, Long, Swisher, and Tu proved that, for any integer \(d\geqslant 3\) d 3 and prime \(p\equiv 1\pmod {d}\) p 1 ( mod d ) , \( \sum _{k=0}^{p-1}(-1)^{dk} {\frac{1-d}{d}\atopwithdelims ()k}^d \equiv -\Gamma _p (\tfrac{1}{d})^d \pmod {p^2}, \) k = 0 p - 1 ( - 1 ) dk 1 - d d k d - Γ p ( 1 d ) d ( mod p 2 ) , where \(\Gamma _p(x)\) Γ p ( x ) denotes the p-adic Gamma function. They also conjectured that the above congruence holds modulo \(p^3\) p 3 . A q-analog of the \(d=3\) d = 3 case of this congruence modulo \(p^3\) p 3 was recently given by Wei and Qin (Mediterr J Math 22:113, 2025). In this paper, we present two q-congruences related to this congruence modulo \(p^3\) p 3 for \(d=4\) d = 4 and \(d=5\) d = 5 , respectively. Our proofs employ Watson’s \(_8\phi _7\) 8 ϕ 7 transformation, the creative microscoping method developed in (Adv Math 346:329–358, 2019), and the Chinese remainder theorem for polynomials.