<p>For an odd prime <i>p</i> and integers <i>d</i>,&#xa0;<i>k</i>,&#xa0;<i>m</i> with gcd<InlineEquation ID="IEq1"> <EquationSource Format="TEX">\((p,d)=1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <mi>p</mi> <mo>,</mo> <mi>d</mi> <mo stretchy="false">)</mo> <mo>=</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(p\equiv 1\pmod {k}\)</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>k</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>, and <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(2\le k\le \frac{p-1}{2}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>2</mn> <mo>≤</mo> <mi>k</mi> <mo>≤</mo> <mfrac> <mrow> <mi>p</mi> <mo>-</mo> <mn>1</mn> </mrow> <mn>2</mn> </mfrac> </mrow> </math></EquationSource> </InlineEquation>, we consider the determinant <Equation ID="Equ17"> <EquationSource Format="TEX">\(\begin{aligned} S_{m,k}(d,p) = \left| (\alpha _i +d\alpha _j)^m\right| _{1 \le i,j \le \frac{p-1}{k}}, \end{aligned}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mtable> <mtr> <mtd columnalign="right"> <mrow> <msub> <mi>S</mi> <mrow> <mi>m</mi> <mo>,</mo> <mi>k</mi> </mrow> </msub> <mrow> <mo stretchy="false">(</mo> <mi>d</mi> <mo>,</mo> <mi>p</mi> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <msub> <mfenced close="|" open="|"> <msup> <mrow> <mo stretchy="false">(</mo> <msub> <mi>α</mi> <mi>i</mi> </msub> <mo>+</mo> <mi>d</mi> <msub> <mi>α</mi> <mi>j</mi> </msub> <mo stretchy="false">)</mo> </mrow> <mi>m</mi> </msup> </mfenced> <mrow> <mn>1</mn> <mo>≤</mo> <mi>i</mi> <mo>,</mo> <mi>j</mi> <mo>≤</mo> <mfrac> <mrow> <mi>p</mi> <mo>-</mo> <mn>1</mn> </mrow> <mi>k</mi> </mfrac> </mrow> </msub> <mo>,</mo> </mrow> </mtd> </mtr> </mtable> </mrow> </math></EquationSource> </Equation>where <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(\alpha _i\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>α</mi> <mi>i</mi> </msub> </math></EquationSource> </InlineEquation> are distinct <i>k</i>-th power residues modulo <i>p</i>. In this paper, we deduce some residue properties for the determinant <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(S_{m,k}(d,p)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>S</mi> <mrow> <mi>m</mi> <mo>,</mo> <mi>k</mi> </mrow> </msub> <mrow> <mo stretchy="false">(</mo> <mi>d</mi> <mo>,</mo> <mi>p</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> as a generalization of certain results of Sun. Using these, we further prove some conjectures of Sun related to <Equation ID="Equ18"> <EquationSource Format="TEX">\(\begin{aligned} \left( \frac{\sqrt{S_{1+\frac{p-1}{2},2}(-1,p)}}{p}\right) \text { and } \left( \frac{\sqrt{S_{3+\frac{p-1}{2},2}(-1,p)}}{p}\right) . \end{aligned}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mtable> <mtr> <mtd columnalign="right"> <mrow> <mfenced close=")" open="("> <mfrac> <msqrt> <mrow> <msub> <mi>S</mi> <mrow> <mn>1</mn> <mo>+</mo> <mfrac> <mrow> <mi>p</mi> <mo>-</mo> <mn>1</mn> </mrow> <mn>2</mn> </mfrac> <mo>,</mo> <mn>2</mn> </mrow> </msub> <mrow> <mo stretchy="false">(</mo> <mo>-</mo> <mn>1</mn> <mo>,</mo> <mi>p</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </msqrt> <mi>p</mi> </mfrac> </mfenced> <mspace width="0.333333em" /> <mtext>and</mtext> <mspace width="0.333333em" /> <mfenced close=")" open="("> <mfrac> <msqrt> <mrow> <msub> <mi>S</mi> <mrow> <mn>3</mn> <mo>+</mo> <mfrac> <mrow> <mi>p</mi> <mo>-</mo> <mn>1</mn> </mrow> <mn>2</mn> </mfrac> <mo>,</mo> <mn>2</mn> </mrow> </msub> <mrow> <mo stretchy="false">(</mo> <mo>-</mo> <mn>1</mn> <mo>,</mo> <mi>p</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </msqrt> <mi>p</mi> </mfrac> </mfenced> <mo>.</mo> </mrow> </mtd> </mtr> </mtable> </mrow> </math></EquationSource> </Equation>In addition, we investigate the number of primes <i>p</i> such that <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(p\ |\ S_{m+\frac{p-1}{k},k}(-1,p)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mrow> <mi>p</mi> <mspace width="4pt" /> <mo stretchy="false">|</mo> <mspace width="4pt" /> </mrow> <msub> <mi>S</mi> <mrow> <mi>m</mi> <mo>+</mo> <mfrac> <mrow> <mi>p</mi> <mo>-</mo> <mn>1</mn> </mrow> <mi>k</mi> </mfrac> <mo>,</mo> <mi>k</mi> </mrow> </msub> <mrow> <mo stretchy="false">(</mo> <mo>-</mo> <mn>1</mn> <mo>,</mo> <mi>p</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>, and confirm another conjecture of Sun related to <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(S_{m+\frac{p-1}{2},2}(-1,p)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>S</mi> <mrow> <mi>m</mi> <mo>+</mo> <mfrac> <mrow> <mi>p</mi> <mo>-</mo> <mn>1</mn> </mrow> <mn>2</mn> </mfrac> <mo>,</mo> <mn>2</mn> </mrow> </msub> <mrow> <mo stretchy="false">(</mo> <mo>-</mo> <mn>1</mn> <mo>,</mo> <mi>p</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>.</p>

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

On some conjectural determinants of Sun involving residues

  • Rituparna Chaliha,
  • Gautam Kalita

摘要

For an odd prime p and integers dkm with gcd \((p,d)=1\) ( p , d ) = 1 , \(p\equiv 1\pmod {k}\) p 1 ( mod k ) , and \(2\le k\le \frac{p-1}{2}\) 2 k p - 1 2 , we consider the determinant \(\begin{aligned} S_{m,k}(d,p) = \left| (\alpha _i +d\alpha _j)^m\right| _{1 \le i,j \le \frac{p-1}{k}}, \end{aligned}\) S m , k ( d , p ) = ( α i + d α j ) m 1 i , j p - 1 k , where \(\alpha _i\) α i are distinct k-th power residues modulo p. In this paper, we deduce some residue properties for the determinant \(S_{m,k}(d,p)\) S m , k ( d , p ) as a generalization of certain results of Sun. Using these, we further prove some conjectures of Sun related to \(\begin{aligned} \left( \frac{\sqrt{S_{1+\frac{p-1}{2},2}(-1,p)}}{p}\right) \text { and } \left( \frac{\sqrt{S_{3+\frac{p-1}{2},2}(-1,p)}}{p}\right) . \end{aligned}\) S 1 + p - 1 2 , 2 ( - 1 , p ) p and S 3 + p - 1 2 , 2 ( - 1 , p ) p . In addition, we investigate the number of primes p such that \(p\ |\ S_{m+\frac{p-1}{k},k}(-1,p)\) p | S m + p - 1 k , k ( - 1 , p ) , and confirm another conjecture of Sun related to \(S_{m+\frac{p-1}{2},2}(-1,p)\) S m + p - 1 2 , 2 ( - 1 , p ) .