<p>Let <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(A_{t,k}(n)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>A</mi> <mrow> <mi>t</mi> <mo>,</mo> <mi>k</mi> </mrow> </msub> <mrow> <mo stretchy="false">(</mo> <mi>n</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> denote the number of partition <i>k</i>-tuples of <i>n</i> with <i>t</i>-cores. In this paper, we prove that if <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(n, i\ge 0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>n</mi> <mo>,</mo> <mi>i</mi> <mo>≥</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(r\ge m\ge 1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>r</mi> <mo>≥</mo> <mi>m</mi> <mo>≥</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation>, <Equation ID="Equ50"> <EquationSource Format="TEX">\(\begin{aligned}&amp;A_{5,5^r\cdot i\!+\!1}(5^mn\!+\!5^m-1)\equiv 0\!\!\!\!\pmod {5^m},\; A_{5,5^r\cdot i+5}(5^mn+5^m-5)\equiv 0\!\!\!\!\pmod {5^{m-1}},\\&amp;A_{5,5^r\cdot i+2}(5^mn+5^m-2)\equiv 0\!\!\!\!\pmod {5^m},\; A_{5,5^r\cdot i+6}(5^mn+5^m-6)\equiv 0\!\!\!\!\pmod {5^{m}},\\&amp;A_{5,5^r\cdot i\!+\!3}(5^mn\!+\!5^m-3)\equiv 0\!\!\!\!\pmod {5^{m\!-\!1}},\; A_{5,5^r\cdot i\!+\!7}(5^mn\!+\!5^m\!-\!7)\equiv 0\!\!\!\!\pmod {5^{m}},\\&amp;A_{5,5^r\cdot i\!+\!4}(5^mn\!+\!5^m-4)\equiv 0\!\!\!\!\pmod {5^{m-1}},\; A_{5,5^r\cdot i\!+\!8}(5^mn\!+\!5^m-8)\equiv 0\!\!\!\!\pmod {5^{m\!-\!1}},\\ \end{aligned}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mtable> <mtr> <mtd /> <mtd columnalign="left"> <mrow> <msub> <mi>A</mi> <mrow> <mn>5</mn> <mo>,</mo> <msup> <mn>5</mn> <mi>r</mi> </msup> <mo>·</mo> <mi>i</mi> <mspace width="-0.166667em" /> <mo>+</mo> <mspace width="-0.166667em" /> <mn>1</mn> </mrow> </msub> <mrow> <mo stretchy="false">(</mo> <msup> <mn>5</mn> <mi>m</mi> </msup> <mi>n</mi> <mspace width="-0.166667em" /> <mo>+</mo> <mspace width="-0.166667em" /> <msup> <mn>5</mn> <mi>m</mi> </msup> <mo>-</mo> <mn>1</mn> <mo stretchy="false">)</mo> </mrow> <mo>≡</mo> <mn>0</mn> <mspace width="-0.166667em" /> <mspace width="-0.166667em" /> <mspace width="-0.166667em" /> <mspace width="-0.166667em" /> <mspace width="10.0pt" /> <mrow> <mo stretchy="false">(</mo> <mo>mod</mo> <mspace width="0.277778em" /> <msup> <mn>5</mn> <mi>m</mi> </msup> <mo stretchy="false">)</mo> </mrow> <mo>,</mo> <mspace width="0.277778em" /> <msub> <mi>A</mi> <mrow> <mn>5</mn> <mo>,</mo> <msup> <mn>5</mn> <mi>r</mi> </msup> <mo>·</mo> <mi>i</mi> <mo>+</mo> <mn>5</mn> </mrow> </msub> <mrow> <mo stretchy="false">(</mo> <msup> <mn>5</mn> <mi>m</mi> </msup> <mi>n</mi> <mo>+</mo> <msup> <mn>5</mn> <mi>m</mi> </msup> <mo>-</mo> <mn>5</mn> <mo stretchy="false">)</mo> </mrow> <mo>≡</mo> <mn>0</mn> <mspace width="-0.166667em" /> <mspace width="-0.166667em" /> <mspace width="-0.166667em" /> <mspace width="-0.166667em" /> <mspace width="10.0pt" /> <mrow> <mo stretchy="false">(</mo> <mo>mod</mo> <mspace width="0.277778em" /> <msup> <mn>5</mn> <mrow> <mi>m</mi> <mo>-</mo> <mn>1</mn> </mrow> </msup> <mo stretchy="false">)</mo> </mrow> <mo>,</mo> </mrow> </mtd> </mtr> <mtr> <mtd columnalign="right"> <mrow /> </mtd> <mtd columnalign="left"> <mrow> <msub> <mi>A</mi> <mrow> <mn>5</mn> <mo>,</mo> <msup> <mn>5</mn> <mi>r</mi> </msup> <mo>·</mo> <mi>i</mi> <mo>+</mo> <mn>2</mn> </mrow> </msub> <mrow> <mo stretchy="false">(</mo> <msup> <mn>5</mn> <mi>m</mi> </msup> <mi>n</mi> <mo>+</mo> <msup> <mn>5</mn> <mi>m</mi> </msup> <mo>-</mo> <mn>2</mn> <mo stretchy="false">)</mo> </mrow> <mo>≡</mo> <mn>0</mn> <mspace width="-0.166667em" /> <mspace width="-0.166667em" /> <mspace width="-0.166667em" /> <mspace width="-0.166667em" /> <mspace width="10.0pt" /> <mrow> <mo stretchy="false">(</mo> <mo>mod</mo> <mspace width="0.277778em" /> <msup> <mn>5</mn> <mi>m</mi> </msup> <mo stretchy="false">)</mo> </mrow> <mo>,</mo> <mspace width="0.277778em" /> <msub> <mi>A</mi> <mrow> <mn>5</mn> <mo>,</mo> <msup> <mn>5</mn> <mi>r</mi> </msup> <mo>·</mo> <mi>i</mi> <mo>+</mo> <mn>6</mn> </mrow> </msub> <mrow> <mo stretchy="false">(</mo> <msup> <mn>5</mn> <mi>m</mi> </msup> <mi>n</mi> <mo>+</mo> <msup> <mn>5</mn> <mi>m</mi> </msup> <mo>-</mo> <mn>6</mn> <mo stretchy="false">)</mo> </mrow> <mo>≡</mo> <mn>0</mn> <mspace width="-0.166667em" /> <mspace width="-0.166667em" /> <mspace width="-0.166667em" /> <mspace width="-0.166667em" /> <mspace width="10.0pt" /> <mrow> <mo stretchy="false">(</mo> <mo>mod</mo> <mspace width="0.277778em" /> <msup> <mn>5</mn> <mi>m</mi> </msup> <mo stretchy="false">)</mo> </mrow> <mo>,</mo> </mrow> </mtd> </mtr> <mtr> <mtd columnalign="right"> <mrow /> </mtd> <mtd columnalign="left"> <mrow> <msub> <mi>A</mi> <mrow> <mn>5</mn> <mo>,</mo> <msup> <mn>5</mn> <mi>r</mi> </msup> <mo>·</mo> <mi>i</mi> <mspace width="-0.166667em" /> <mo>+</mo> <mspace width="-0.166667em" /> <mn>3</mn> </mrow> </msub> <mrow> <mo stretchy="false">(</mo> <msup> <mn>5</mn> <mi>m</mi> </msup> <mi>n</mi> <mspace width="-0.166667em" /> <mo>+</mo> <mspace width="-0.166667em" /> <msup> <mn>5</mn> <mi>m</mi> </msup> <mo>-</mo> <mn>3</mn> <mo stretchy="false">)</mo> </mrow> <mo>≡</mo> <mn>0</mn> <mspace width="-0.166667em" /> <mspace width="-0.166667em" /> <mspace width="-0.166667em" /> <mspace width="-0.166667em" /> <mspace width="10.0pt" /> <mrow> <mo stretchy="false">(</mo> <mo>mod</mo> <mspace width="0.277778em" /> <msup> <mn>5</mn> <mrow> <mi>m</mi> <mspace width="-0.166667em" /> <mo>-</mo> <mspace width="-0.166667em" /> <mn>1</mn> </mrow> </msup> <mo stretchy="false">)</mo> </mrow> <mo>,</mo> <mspace width="0.277778em" /> <msub> <mi>A</mi> <mrow> <mn>5</mn> <mo>,</mo> <msup> <mn>5</mn> <mi>r</mi> </msup> <mo>·</mo> <mi>i</mi> <mspace width="-0.166667em" /> <mo>+</mo> <mspace width="-0.166667em" /> <mn>7</mn> </mrow> </msub> <mrow> <mo stretchy="false">(</mo> <msup> <mn>5</mn> <mi>m</mi> </msup> <mi>n</mi> <mspace width="-0.166667em" /> <mo>+</mo> <mspace width="-0.166667em" /> <msup> <mn>5</mn> <mi>m</mi> </msup> <mspace width="-0.166667em" /> <mo>-</mo> <mspace width="-0.166667em" /> <mn>7</mn> <mo stretchy="false">)</mo> </mrow> <mo>≡</mo> <mn>0</mn> <mspace width="-0.166667em" /> <mspace width="-0.166667em" /> <mspace width="-0.166667em" /> <mspace width="-0.166667em" /> <mspace width="10.0pt" /> <mrow> <mo stretchy="false">(</mo> <mo>mod</mo> <mspace width="0.277778em" /> <msup> <mn>5</mn> <mi>m</mi> </msup> <mo stretchy="false">)</mo> </mrow> <mo>,</mo> </mrow> </mtd> </mtr> <mtr> <mtd columnalign="right"> <mrow /> </mtd> <mtd columnalign="left"> <mrow> <msub> <mi>A</mi> <mrow> <mn>5</mn> <mo>,</mo> <msup> <mn>5</mn> <mi>r</mi> </msup> <mo>·</mo> <mi>i</mi> <mspace width="-0.166667em" /> <mo>+</mo> <mspace width="-0.166667em" /> <mn>4</mn> </mrow> </msub> <mrow> <mo stretchy="false">(</mo> <msup> <mn>5</mn> <mi>m</mi> </msup> <mi>n</mi> <mspace width="-0.166667em" /> <mo>+</mo> <mspace width="-0.166667em" /> <msup> <mn>5</mn> <mi>m</mi> </msup> <mo>-</mo> <mn>4</mn> <mo stretchy="false">)</mo> </mrow> <mo>≡</mo> <mn>0</mn> <mspace width="-0.166667em" /> <mspace width="-0.166667em" /> <mspace width="-0.166667em" /> <mspace width="-0.166667em" /> <mspace width="10.0pt" /> <mrow> <mo stretchy="false">(</mo> <mo>mod</mo> <mspace width="0.277778em" /> <msup> <mn>5</mn> <mrow> <mi>m</mi> <mo>-</mo> <mn>1</mn> </mrow> </msup> <mo stretchy="false">)</mo> </mrow> <mo>,</mo> <mspace width="0.277778em" /> <msub> <mi>A</mi> <mrow> <mn>5</mn> <mo>,</mo> <msup> <mn>5</mn> <mi>r</mi> </msup> <mo>·</mo> <mi>i</mi> <mspace width="-0.166667em" /> <mo>+</mo> <mspace width="-0.166667em" /> <mn>8</mn> </mrow> </msub> <mrow> <mo stretchy="false">(</mo> <msup> <mn>5</mn> <mi>m</mi> </msup> <mi>n</mi> <mspace width="-0.166667em" /> <mo>+</mo> <mspace width="-0.166667em" /> <msup> <mn>5</mn> <mi>m</mi> </msup> <mo>-</mo> <mn>8</mn> <mo stretchy="false">)</mo> </mrow> <mo>≡</mo> <mn>0</mn> <mspace width="-0.166667em" /> <mspace width="-0.166667em" /> <mspace width="-0.166667em" /> <mspace width="-0.166667em" /> <mspace width="10.0pt" /> <mrow> <mo stretchy="false">(</mo> <mo>mod</mo> <mspace width="0.277778em" /> <msup> <mn>5</mn> <mrow> <mi>m</mi> <mspace width="-0.166667em" /> <mo>-</mo> <mspace width="-0.166667em" /> <mn>1</mn> </mrow> </msup> <mo stretchy="false">)</mo> </mrow> <mo>,</mo> </mrow> </mtd> </mtr> <mtr> <mtd columnalign="right"> <mrow /> </mtd> </mtr> </mtable> </mrow> </math></EquationSource> </Equation>from which six conjectures of Saikia et al. (Indian J. Pure Appl. Math., 2024), which were later proved by Tang (J. Ram. Math. Soc., 2025) and four congruences of Liang and Tang (Proc. Edinb. Math. Soc., 2025) follow as special cases.</p>

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

Partition k-tuples with 5-cores modulo powers of 5

  • S. Ananya,
  • G. Kavya Keerthana,
  • D. Ranganatha

摘要

Let \(A_{t,k}(n)\) A t , k ( n ) denote the number of partition k-tuples of n with t-cores. In this paper, we prove that if \(n, i\ge 0\) n , i 0 and \(r\ge m\ge 1\) r m 1 , \(\begin{aligned}&A_{5,5^r\cdot i\!+\!1}(5^mn\!+\!5^m-1)\equiv 0\!\!\!\!\pmod {5^m},\; A_{5,5^r\cdot i+5}(5^mn+5^m-5)\equiv 0\!\!\!\!\pmod {5^{m-1}},\\&A_{5,5^r\cdot i+2}(5^mn+5^m-2)\equiv 0\!\!\!\!\pmod {5^m},\; A_{5,5^r\cdot i+6}(5^mn+5^m-6)\equiv 0\!\!\!\!\pmod {5^{m}},\\&A_{5,5^r\cdot i\!+\!3}(5^mn\!+\!5^m-3)\equiv 0\!\!\!\!\pmod {5^{m\!-\!1}},\; A_{5,5^r\cdot i\!+\!7}(5^mn\!+\!5^m\!-\!7)\equiv 0\!\!\!\!\pmod {5^{m}},\\&A_{5,5^r\cdot i\!+\!4}(5^mn\!+\!5^m-4)\equiv 0\!\!\!\!\pmod {5^{m-1}},\; A_{5,5^r\cdot i\!+\!8}(5^mn\!+\!5^m-8)\equiv 0\!\!\!\!\pmod {5^{m\!-\!1}},\\ \end{aligned}\) A 5 , 5 r · i + 1 ( 5 m n + 5 m - 1 ) 0 ( mod 5 m ) , A 5 , 5 r · i + 5 ( 5 m n + 5 m - 5 ) 0 ( mod 5 m - 1 ) , A 5 , 5 r · i + 2 ( 5 m n + 5 m - 2 ) 0 ( mod 5 m ) , A 5 , 5 r · i + 6 ( 5 m n + 5 m - 6 ) 0 ( mod 5 m ) , A 5 , 5 r · i + 3 ( 5 m n + 5 m - 3 ) 0 ( mod 5 m - 1 ) , A 5 , 5 r · i + 7 ( 5 m n + 5 m - 7 ) 0 ( mod 5 m ) , A 5 , 5 r · i + 4 ( 5 m n + 5 m - 4 ) 0 ( mod 5 m - 1 ) , A 5 , 5 r · i + 8 ( 5 m n + 5 m - 8 ) 0 ( mod 5 m - 1 ) , from which six conjectures of Saikia et al. (Indian J. Pure Appl. Math., 2024), which were later proved by Tang (J. Ram. Math. Soc., 2025) and four congruences of Liang and Tang (Proc. Edinb. Math. Soc., 2025) follow as special cases.