<p>Let <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11139_2025_1093_Article_IEq1.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="50" /> </InlineMediaObject> <EquationSource Format="TEX">\(q=p^n\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>q</mi> <mo>=</mo> <msup> <mi>p</mi> <mi>n</mi> </msup> </mrow> </math></EquationSource> </InlineEquation> be an odd prime power and let <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11139_2025_1093_Article_IEq2.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="18" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathbb {F}_q\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="double-struck">F</mi> <mi>q</mi> </msub> </math></EquationSource> </InlineEquation> be the finite field with <i>q</i> elements. Let <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11139_2025_1093_Article_IEq3.gif" Format="GIF" Height="26" Rendition="HTML" Resolution="72" Type="Linedraw" Width="23" /> </InlineMediaObject> <EquationSource Format="TEX">\(\widehat{\mathbb {F}_q^{\times }}\)</EquationSource> <EquationSource Format="MATHML"><math> <mover accent="true"> <msubsup> <mi mathvariant="double-struck">F</mi> <mi>q</mi> <mo>×</mo> </msubsup> <mo stretchy="true">^</mo> </mover> </math></EquationSource> </InlineEquation> be the group of all multiplicative characters of <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11139_2025_1093_Article_IEq2.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="18" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathbb {F}_q\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="double-struck">F</mi> <mi>q</mi> </msub> </math></EquationSource> </InlineEquation> and let <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11139_2025_1093_Article_IEq5.gif" Format="GIF" Height="12" Rendition="HTML" Resolution="72" Type="Linedraw" Width="15" /> </InlineMediaObject> <EquationSource Format="TEX">\(\chi \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>χ</mi> </math></EquationSource> </InlineEquation> be a generator of <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11139_2025_1093_Article_IEq3.gif" Format="GIF" Height="26" Rendition="HTML" Resolution="72" Type="Linedraw" Width="23" /> </InlineMediaObject> <EquationSource Format="TEX">\(\widehat{\mathbb {F}_q^{\times }}\)</EquationSource> <EquationSource Format="MATHML"><math> <mover accent="true"> <msubsup> <mi mathvariant="double-struck">F</mi> <mi>q</mi> <mo>×</mo> </msubsup> <mo stretchy="true">^</mo> </mover> </math></EquationSource> </InlineEquation>. In this paper, we investigate arithmetic properties of certain cyclotomic matrices involving nonzero squares over <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11139_2025_1093_Article_IEq2.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="18" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathbb {F}_q\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="double-struck">F</mi> <mi>q</mi> </msub> </math></EquationSource> </InlineEquation>. For example, let<InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11139_2025_1093_Article_IEq8.gif" Format="GIF" Height="15" Rendition="HTML" Resolution="72" Type="Linedraw" Width="125" /> </InlineMediaObject> <EquationSource Format="TEX">\(s_1,s_2,\ldots ,s_{(q-1)/2}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>s</mi> <mn>1</mn> </msub> <mo>,</mo> <msub> <mi>s</mi> <mn>2</mn> </msub> <mo>,</mo> <mo>…</mo> <mo>,</mo> <msub> <mi>s</mi> <mrow> <mo stretchy="false">(</mo> <mi>q</mi> <mo>-</mo> <mn>1</mn> <mo stretchy="false">)</mo> <mo stretchy="false">/</mo> <mn>2</mn> </mrow> </msub> </mrow> </math></EquationSource> </InlineEquation> be all nonzero squares over <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11139_2025_1093_Article_IEq2.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="18" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathbb {F}_q\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="double-struck">F</mi> <mi>q</mi> </msub> </math></EquationSource> </InlineEquation>. For any integer <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11139_2025_1093_Article_IEq10.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="101" /> </InlineMediaObject> <EquationSource Format="TEX">\(1\le r\le q-2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>1</mn> <mo>≤</mo> <mi>r</mi> <mo>≤</mo> <mi>q</mi> <mo>-</mo> <mn>2</mn> </mrow> </math></EquationSource> </InlineEquation>, define the matrix <Equation ID="Equ20"> <MediaObject> <ImageObject Color="BlackWhite" FileRef="11139_2025_1093_Article_Equ20.gif" Format="GIF" Height="24" Rendition="HTML" Resolution="72" Type="Linedraw" Width="352" /> </MediaObject> <EquationSource Format="TEX">\(\begin{aligned} B_{q,2}(\chi ^r):=\left[ \chi ^r(s_i+s_j)+\chi ^r(s_i-s_j)\right] _{1\le i,j\le (q-1)/2}. \end{aligned}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mtable> <mtr> <mtd columnalign="right"> <mrow> <msub> <mi>B</mi> <mrow> <mi>q</mi> <mo>,</mo> <mn>2</mn> </mrow> </msub> <mrow> <mo stretchy="false">(</mo> <msup> <mi>χ</mi> <mi>r</mi> </msup> <mo stretchy="false">)</mo> </mrow> <mo>:</mo> <mo>=</mo> <msub> <mfenced close="]" open="["> <msup> <mi>χ</mi> <mi>r</mi> </msup> <mrow> <mo stretchy="false">(</mo> <msub> <mi>s</mi> <mi>i</mi> </msub> <mo>+</mo> <msub> <mi>s</mi> <mi>j</mi> </msub> <mo stretchy="false">)</mo> </mrow> <mo>+</mo> <msup> <mi>χ</mi> <mi>r</mi> </msup> <mrow> <mo stretchy="false">(</mo> <msub> <mi>s</mi> <mi>i</mi> </msub> <mo>-</mo> <msub> <mi>s</mi> <mi>j</mi> </msub> <mo stretchy="false">)</mo> </mrow> </mfenced> <mrow> <mn>1</mn> <mo>≤</mo> <mi>i</mi> <mo>,</mo> <mi>j</mi> <mo>≤</mo> <mo stretchy="false">(</mo> <mi>q</mi> <mo>-</mo> <mn>1</mn> <mo stretchy="false">)</mo> <mo stretchy="false">/</mo> <mn>2</mn> </mrow> </msub> <mo>.</mo> </mrow> </mtd> </mtr> </mtable> </mrow> </math></EquationSource> </Equation>We prove that if <InlineEquation ID="IEq11"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11139_2025_1093_Article_IEq11.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="103" /> </InlineMediaObject> <EquationSource Format="TEX">\(q\equiv 3\ (\mathrm{{mod}}\ 4)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>q</mi> <mo>≡</mo> <mn>3</mn> <mspace width="4pt" /> <mo stretchy="false">(</mo> <mi mathvariant="normal">mod</mi> <mspace width="4pt" /> <mn>4</mn> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>, then <Equation ID="Equ21"> <MediaObject> <ImageObject Color="BlackWhite" FileRef="11139_2025_1093_Article_Equ21.gif" Format="GIF" Height="102" Rendition="HTML" Resolution="72" Type="Linedraw" Width="451" /> </MediaObject> <EquationSource Format="TEX">\(\begin{aligned} \det (B_{q,2}(\chi ^r))= &amp; \prod _{0\le k\le (q-3)/2}J_q(\chi ^r,\chi ^{2k})\\ = &amp; {\left\{ \begin{array}{ll} (-1)^{\frac{q-3}{4}} \textbf{i}^nG_q(\chi ^r)^{\frac{q-1}{2}}/\sqrt{q} &amp; \quad \text{ if }\; r\equiv 1\ (\mathrm{{mod}}\ 2),\\ G_q(\chi ^r)^{\frac{q-1}{2}}/q &amp; \quad \text{ if }\; r\equiv 0\ (\mathrm{{mod}}\ 2), \end{array}\right. } \end{aligned}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mtable> <mtr> <mtd columnalign="right"> <mrow> <mo movablelimits="true">det</mo> <mo stretchy="false">(</mo> <msub> <mi>B</mi> <mrow> <mi>q</mi> <mo>,</mo> <mn>2</mn> </mrow> </msub> <mrow> <mo stretchy="false">(</mo> <msup> <mi>χ</mi> <mi>r</mi> </msup> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">)</mo> <mo>=</mo> </mrow> </mtd> <mtd columnalign="left"> <mrow> <munder> <mo>∏</mo> <mrow> <mn>0</mn> <mo>≤</mo> <mi>k</mi> <mo>≤</mo> <mo stretchy="false">(</mo> <mi>q</mi> <mo>-</mo> <mn>3</mn> <mo stretchy="false">)</mo> <mo stretchy="false">/</mo> <mn>2</mn> </mrow> </munder> <msub> <mi>J</mi> <mi>q</mi> </msub> <mrow> <mo stretchy="false">(</mo> <msup> <mi>χ</mi> <mi>r</mi> </msup> <mo>,</mo> <msup> <mi>χ</mi> <mrow> <mn>2</mn> <mi>k</mi> </mrow> </msup> <mo stretchy="false">)</mo> </mrow> </mrow> </mtd> </mtr> <mtr> <mtd columnalign="right"> <mrow> <mrow /> <mo>=</mo> </mrow> </mtd> <mtd columnalign="left"> <mfenced open="{"> <mrow> <mtable> <mtr> <mtd columnalign="left"> <mrow> <msup> <mrow> <mo stretchy="false">(</mo> <mo>-</mo> <mn>1</mn> <mo stretchy="false">)</mo> </mrow> <mfrac> <mrow> <mi>q</mi> <mo>-</mo> <mn>3</mn> </mrow> <mn>4</mn> </mfrac> </msup> <msup> <mi mathvariant="bold">i</mi> <mi>n</mi> </msup> <msub> <mi>G</mi> <mi>q</mi> </msub> <msup> <mrow> <mo stretchy="false">(</mo> <msup> <mi>χ</mi> <mi>r</mi> </msup> <mo stretchy="false">)</mo> </mrow> <mfrac> <mrow> <mi>q</mi> <mo>-</mo> <mn>1</mn> </mrow> <mn>2</mn> </mfrac> </msup> <mo stretchy="false">/</mo> <msqrt> <mi>q</mi> </msqrt> </mrow> </mtd> <mtd columnalign="left"> <mrow> <mspace width="1em" /> <mspace width="0.333333em" /> <mtext>if</mtext> <mspace width="0.333333em" /> <mspace width="0.277778em" /> <mi>r</mi> <mo>≡</mo> <mn>1</mn> <mspace width="4pt" /> <mo stretchy="false">(</mo> <mi mathvariant="normal">mod</mi> <mspace width="4pt" /> <mn>2</mn> <mo stretchy="false">)</mo> <mo>,</mo> </mrow> </mtd> </mtr> <mtr> <mtd columnalign="left"> <mrow> <mrow /> <msub> <mi>G</mi> <mi>q</mi> </msub> <msup> <mrow> <mo stretchy="false">(</mo> <msup> <mi>χ</mi> <mi>r</mi> </msup> <mo stretchy="false">)</mo> </mrow> <mfrac> <mrow> <mi>q</mi> <mo>-</mo> <mn>1</mn> </mrow> <mn>2</mn> </mfrac> </msup> <mo stretchy="false">/</mo> <mi>q</mi> </mrow> </mtd> <mtd columnalign="left"> <mrow> <mspace width="1em" /> <mspace width="0.333333em" /> <mtext>if</mtext> <mspace width="0.333333em" /> <mspace width="0.277778em" /> <mi>r</mi> <mo>≡</mo> <mn>0</mn> <mspace width="4pt" /> <mo stretchy="false">(</mo> <mi mathvariant="normal">mod</mi> <mspace width="4pt" /> <mn>2</mn> <mo stretchy="false">)</mo> <mo>,</mo> </mrow> </mtd> </mtr> </mtable> </mrow> </mfenced> </mtd> </mtr> </mtable> </mrow> </math></EquationSource> </Equation>where <InlineEquation ID="IEq12"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11139_2025_1093_Article_IEq12.gif" Format="GIF" Height="21" Rendition="HTML" Resolution="72" Type="Linedraw" Width="77" /> </InlineMediaObject> <EquationSource Format="TEX">\(J_q(\chi ^r,\chi ^{2k})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>J</mi> <mi>q</mi> </msub> <mrow> <mo stretchy="false">(</mo> <msup> <mi>χ</mi> <mi>r</mi> </msup> <mo>,</mo> <msup> <mi>χ</mi> <mrow> <mn>2</mn> <mi>k</mi> </mrow> </msup> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq13"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11139_2025_1093_Article_IEq13.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="50" /> </InlineMediaObject> <EquationSource Format="TEX">\(G_q(\chi ^r)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>G</mi> <mi>q</mi> </msub> <mrow> <mo stretchy="false">(</mo> <msup> <mi>χ</mi> <mi>r</mi> </msup> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> are the Jacobi sum and the Gauss sum over <InlineEquation ID="IEq14"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11139_2025_1093_Article_IEq2.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="18" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathbb {F}_q\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="double-struck">F</mi> <mi>q</mi> </msub> </math></EquationSource> </InlineEquation> respectively.</p>

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

Gaussian hypergeometric functions and cyclotomic matrices

  • Hai-Liang Wu,
  • Li-Yuan Wang

摘要

Let \(q=p^n\) q = p n be an odd prime power and let \(\mathbb {F}_q\) F q be the finite field with q elements. Let \(\widehat{\mathbb {F}_q^{\times }}\) F q × ^ be the group of all multiplicative characters of \(\mathbb {F}_q\) F q and let \(\chi \) χ be a generator of \(\widehat{\mathbb {F}_q^{\times }}\) F q × ^ . In this paper, we investigate arithmetic properties of certain cyclotomic matrices involving nonzero squares over \(\mathbb {F}_q\) F q . For example, let \(s_1,s_2,\ldots ,s_{(q-1)/2}\) s 1 , s 2 , , s ( q - 1 ) / 2 be all nonzero squares over \(\mathbb {F}_q\) F q . For any integer \(1\le r\le q-2\) 1 r q - 2 , define the matrix \(\begin{aligned} B_{q,2}(\chi ^r):=\left[ \chi ^r(s_i+s_j)+\chi ^r(s_i-s_j)\right] _{1\le i,j\le (q-1)/2}. \end{aligned}\) B q , 2 ( χ r ) : = χ r ( s i + s j ) + χ r ( s i - s j ) 1 i , j ( q - 1 ) / 2 . We prove that if \(q\equiv 3\ (\mathrm{{mod}}\ 4)\) q 3 ( mod 4 ) , then \(\begin{aligned} \det (B_{q,2}(\chi ^r))= & \prod _{0\le k\le (q-3)/2}J_q(\chi ^r,\chi ^{2k})\\ = & {\left\{ \begin{array}{ll} (-1)^{\frac{q-3}{4}} \textbf{i}^nG_q(\chi ^r)^{\frac{q-1}{2}}/\sqrt{q} & \quad \text{ if }\; r\equiv 1\ (\mathrm{{mod}}\ 2),\\ G_q(\chi ^r)^{\frac{q-1}{2}}/q & \quad \text{ if }\; r\equiv 0\ (\mathrm{{mod}}\ 2), \end{array}\right. } \end{aligned}\) det ( B q , 2 ( χ r ) ) = 0 k ( q - 3 ) / 2 J q ( χ r , χ 2 k ) = ( - 1 ) q - 3 4 i n G q ( χ r ) q - 1 2 / q if r 1 ( mod 2 ) , G q ( χ r ) q - 1 2 / q if r 0 ( mod 2 ) , where \(J_q(\chi ^r,\chi ^{2k})\) J q ( χ r , χ 2 k ) and \(G_q(\chi ^r)\) G q ( χ r ) are the Jacobi sum and the Gauss sum over \(\mathbb {F}_q\) F q respectively.