<p>Let <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(\overline{t}(n)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mover> <mi>t</mi> <mo>¯</mo> </mover> <mrow> <mo stretchy="false">(</mo> <mi>n</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> denote the number of overpartitions of <i>n</i> where (i) the difference between two successive parts may be odd only if the larger part is overlined and (ii) if the smallest part is odd then it is overlined. In this work, we prove many infinite families of congruences modulo 16, 32 and 64 for <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(\overline{t}(n)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mover> <mi>t</mi> <mo>¯</mo> </mover> <mrow> <mo stretchy="false">(</mo> <mi>n</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> by using elementary generating function dissection techniques. For example, if <i>m</i> is a positive integer with <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\((m,3)=1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <mi>m</mi> <mo>,</mo> <mn>3</mn> <mo stretchy="false">)</mo> <mo>=</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(p\ne 3\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>p</mi> <mo>≠</mo> <mn>3</mn> </mrow> </math></EquationSource> </InlineEquation> is a prime, then for <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(n\ge 0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>n</mi> <mo>≥</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation>, <Equation ID="Equ179"> <EquationSource Format="TEX">\(\begin{aligned} \overline{t}(m^2(72n+24)) \equiv \left\{ \begin{array}{ll} 8 \pmod {16}, &amp; \hbox {if } n=r(3r+2) \text { for some integer } r; \\ 0 \pmod {16}, &amp; \hbox {otherwise.} \end{array} \right. \end{aligned}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mtable> <mtr> <mtd columnalign="right"> <mrow> <mover> <mi>t</mi> <mo>¯</mo> </mover> <mrow> <mo stretchy="false">(</mo> <msup> <mi>m</mi> <mn>2</mn> </msup> <mrow> <mo stretchy="false">(</mo> <mn>72</mn> <mi>n</mi> <mo>+</mo> <mn>24</mn> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">)</mo> </mrow> <mo>≡</mo> <mfenced open="{"> <mrow> <mtable> <mtr> <mtd columnalign="left"> <mrow> <mn>8</mn> <mspace width="10.0pt" /> <mo stretchy="false">(</mo> <mo>mod</mo> <mspace width="0.277778em" /> <mn>16</mn> <mo stretchy="false">)</mo> <mo>,</mo> </mrow> </mtd> <mtd columnalign="left"> <mrow> <mtext>if</mtext> <mspace width="0.333333em" /> <mi>n</mi> <mo>=</mo> <mi>r</mi> <mo stretchy="false">(</mo> <mn>3</mn> <mi>r</mi> <mo>+</mo> <mn>2</mn> <mo stretchy="false">)</mo> <mspace width="0.333333em" /> <mtext>for some integer</mtext> <mspace width="0.333333em" /> <mi>r</mi> <mo>;</mo> </mrow> </mtd> </mtr> <mtr> <mtd columnalign="left"> <mrow> <mrow /> <mn>0</mn> <mspace width="10.0pt" /> <mo stretchy="false">(</mo> <mo>mod</mo> <mspace width="0.277778em" /> <mn>16</mn> <mo stretchy="false">)</mo> <mo>,</mo> </mrow> </mtd> <mtd columnalign="left"> <mtext>otherwise.</mtext> </mtd> </mtr> </mtable> </mrow> </mfenced> </mrow> </mtd> </mtr> </mtable> </mrow> </math></EquationSource> </Equation></p>

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

Infinite families of congruences modulo 16, 32 and 64 for overpartitions with restricted odd differences

  • Li Zhang

摘要

Let \(\overline{t}(n)\) t ¯ ( n ) denote the number of overpartitions of n where (i) the difference between two successive parts may be odd only if the larger part is overlined and (ii) if the smallest part is odd then it is overlined. In this work, we prove many infinite families of congruences modulo 16, 32 and 64 for \(\overline{t}(n)\) t ¯ ( n ) by using elementary generating function dissection techniques. For example, if m is a positive integer with \((m,3)=1\) ( m , 3 ) = 1 and \(p\ne 3\) p 3 is a prime, then for \(n\ge 0\) n 0 , \(\begin{aligned} \overline{t}(m^2(72n+24)) \equiv \left\{ \begin{array}{ll} 8 \pmod {16}, & \hbox {if } n=r(3r+2) \text { for some integer } r; \\ 0 \pmod {16}, & \hbox {otherwise.} \end{array} \right. \end{aligned}\) t ¯ ( m 2 ( 72 n + 24 ) ) 8 ( mod 16 ) , if n = r ( 3 r + 2 ) for some integer r ; 0 ( mod 16 ) , otherwise.