<p>Let <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(A(q)=:\sum _{n=0}^{\infty }a_n q^n\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>A</mi> <mrow> <mo stretchy="false">(</mo> <mi>q</mi> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <mo>:</mo> <msubsup> <mo>∑</mo> <mrow> <mi>n</mi> <mo>=</mo> <mn>0</mn> </mrow> <mi>∞</mi> </msubsup> <msub> <mi>a</mi> <mi>n</mi> </msub> <msup> <mi>q</mi> <mi>n</mi> </msup> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(B(q)=:\sum _{n=0}^{\infty }b_n q^n\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>B</mi> <mrow> <mo stretchy="false">(</mo> <mi>q</mi> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <mo>:</mo> <msubsup> <mo>∑</mo> <mrow> <mi>n</mi> <mo>=</mo> <mn>0</mn> </mrow> <mi>∞</mi> </msubsup> <msub> <mi>b</mi> <mi>n</mi> </msub> <msup> <mi>q</mi> <mi>n</mi> </msup> </mrow> </math></EquationSource> </InlineEquation> be two eta quotients. In some previous papers, the present authors considered the problem of when <Equation ID="Equ146"> <EquationSource Format="TEX">\(\begin{aligned} a_n=0 \Longleftrightarrow b_n=0. \end{aligned}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mtable> <mtr> <mtd columnalign="right"> <mrow> <msub> <mi>a</mi> <mi>n</mi> </msub> <mo>=</mo> <mn>0</mn> <mo stretchy="false">⟺</mo> <msub> <mi>b</mi> <mi>n</mi> </msub> <mo>=</mo> <mn>0</mn> <mo>.</mo> </mrow> </mtd> </mtr> </mtable> </mrow> </math></EquationSource> </Equation>In the present paper we consider the “mod <i>m</i>” version of this problem, i.e. for which eta quotients <i>A</i>(<i>q</i>) and <i>B</i>(<i>q</i>) and for which integers <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(m&gt;1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>m</mi> <mo>&gt;</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation> do we have (non-trivially) that <Equation ID="Equ147"> <EquationSource Format="TEX">\(\begin{aligned} a_n \equiv 0 \pmod m \Longleftrightarrow b_n \equiv 0 \pmod m? \end{aligned}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mtable> <mtr> <mtd columnalign="right"> <mrow> <msub> <mi>a</mi> <mi>n</mi> </msub> <mo>≡</mo> <mn>0</mn> <mspace width="10.0pt" /> <mrow> <mo stretchy="false">(</mo> <mo>mod</mo> <mspace width="0.277778em" /> <mi>m</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">⟺</mo> <msub> <mi>b</mi> <mi>n</mi> </msub> <mo>≡</mo> <mn>0</mn> <mspace width="10.0pt" /> <mrow> <mo stretchy="false">(</mo> <mo>mod</mo> <mspace width="0.277778em" /> <mi>m</mi> <mo stretchy="false">)</mo> </mrow> <mo>?</mo> </mrow> </mtd> </mtr> </mtable> </mrow> </math></EquationSource> </Equation>(We say “non-trivially” as there are trivial situations where <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(a_n \equiv b_n \pmod m\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>a</mi> <mi>n</mi> </msub> <mo>≡</mo> <msub> <mi>b</mi> <mi>n</mi> </msub> <mspace width="4.44443pt" /> <mrow> <mo stretchy="false">(</mo> <mo>mod</mo> <mspace width="0.277778em" /> <mi>m</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> for all <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>). The <i>m</i> for which we found non-trivial (in the sense just mentioned) results were <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(m=p^2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>m</mi> <mo>=</mo> <msup> <mi>p</mi> <mn>2</mn> </msup> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(p=2, 3\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>p</mi> <mo>=</mo> <mn>2</mn> <mo>,</mo> <mn>3</mn> </mrow> </math></EquationSource> </InlineEquation> and 5. For <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(m=4\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>m</mi> <mo>=</mo> <mn>4</mn> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(m=9\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>m</mi> <mo>=</mo> <mn>9</mn> </mrow> </math></EquationSource> </InlineEquation>, we found results which apply to infinite families of eta quotients. One such is the following: Let <i>A</i>(<i>q</i>) be any eta quotient of the form <Equation ID="Equ148"> <EquationSource Format="TEX">\(\begin{aligned} A(q) = f_1^{3j_1+1}\prod _{3\not \mid i}f_i^{3j_i}\prod _{3|i}f_i^{j_i} =: \sum _{n=0}^{\infty }a_nq^n, B(q) = \frac{f_3}{f_1^3}A(q) =: \sum _{n=0}^{\infty }b_nq^n \end{aligned}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mtable> <mtr> <mtd columnalign="right"> <mrow> <mi>A</mi> <mrow> <mo stretchy="false">(</mo> <mi>q</mi> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <msubsup> <mi>f</mi> <mn>1</mn> <mrow> <mn>3</mn> <msub> <mi>j</mi> <mn>1</mn> </msub> <mo>+</mo> <mn>1</mn> </mrow> </msubsup> <munder> <mo>∏</mo> <mrow> <mn>3</mn> <mo>∤</mo> <mi>i</mi> </mrow> </munder> <msubsup> <mi>f</mi> <mi>i</mi> <mrow> <mn>3</mn> <msub> <mi>j</mi> <mi>i</mi> </msub> </mrow> </msubsup> <munder> <mo>∏</mo> <mrow> <mn>3</mn> <mo stretchy="false">|</mo> <mi>i</mi> </mrow> </munder> <msubsup> <mi>f</mi> <mi>i</mi> <msub> <mi>j</mi> <mi>i</mi> </msub> </msubsup> <mo>=</mo> <mo>:</mo> <munderover> <mo>∑</mo> <mrow> <mi>n</mi> <mo>=</mo> <mn>0</mn> </mrow> <mi>∞</mi> </munderover> <msub> <mi>a</mi> <mi>n</mi> </msub> <msup> <mi>q</mi> <mi>n</mi> </msup> <mo>,</mo> <mi>B</mi> <mrow> <mo stretchy="false">(</mo> <mi>q</mi> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <mfrac> <msub> <mi>f</mi> <mn>3</mn> </msub> <msubsup> <mi>f</mi> <mn>1</mn> <mn>3</mn> </msubsup> </mfrac> <mi>A</mi> <mrow> <mo stretchy="false">(</mo> <mi>q</mi> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <mo>:</mo> <munderover> <mo>∑</mo> <mrow> <mi>n</mi> <mo>=</mo> <mn>0</mn> </mrow> <mi>∞</mi> </munderover> <msub> <mi>b</mi> <mi>n</mi> </msub> <msup> <mi>q</mi> <mi>n</mi> </msup> </mrow> </mtd> </mtr> </mtable> </mrow> </math></EquationSource> </Equation>with <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\(f_{k}=\prod _{n=1}^{\infty }(1-q^{kn})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>f</mi> <mi>k</mi> </msub> <mo>=</mo> <msubsup> <mo>∏</mo> <mrow> <mi>n</mi> <mo>=</mo> <mn>1</mn> </mrow> <mi>∞</mi> </msubsup> <mrow> <mo stretchy="false">(</mo> <mn>1</mn> <mo>-</mo> <msup> <mi>q</mi> <mrow> <mi mathvariant="italic">kn</mi> </mrow> </msup> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>. Then <Equation ID="Equ149"> <EquationSource Format="TEX">\(\begin{aligned}&amp;a_{3n}- b_{3n}&amp;\equiv 0\pmod 9, 2a_{3n+1}+b_{3n+1}&amp;\equiv 0 \pmod 9, \\&amp;a_{3n+2}+2b_{3n+2}&amp;\equiv 0 \pmod 9. \end{aligned}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mtable> <mtr> <mtd /> <mtd columnalign="left"> <mrow> <msub> <mi>a</mi> <mrow> <mn>3</mn> <mi>n</mi> </mrow> </msub> <mo>-</mo> <msub> <mi>b</mi> <mrow> <mn>3</mn> <mi>n</mi> </mrow> </msub> </mrow> </mtd> <mtd columnalign="right"> <mrow> <mo>≡</mo> <mn>0</mn> <mspace width="10.0pt" /> <mrow> <mo stretchy="false">(</mo> <mo>mod</mo> <mspace width="0.277778em" /> <mn>9</mn> <mo stretchy="false">)</mo> </mrow> <mo>,</mo> <mn>2</mn> <msub> <mi>a</mi> <mrow> <mn>3</mn> <mi>n</mi> <mo>+</mo> <mn>1</mn> </mrow> </msub> <mo>+</mo> <msub> <mi>b</mi> <mrow> <mn>3</mn> <mi>n</mi> <mo>+</mo> <mn>1</mn> </mrow> </msub> </mrow> </mtd> <mtd columnalign="left"> <mrow> <mo>≡</mo> <mn>0</mn> <mspace width="10.0pt" /> <mo stretchy="false">(</mo> <mo>mod</mo> <mspace width="0.277778em" /> <mn>9</mn> <mo stretchy="false">)</mo> <mo>,</mo> </mrow> </mtd> </mtr> <mtr> <mtd columnalign="right"> <mrow /> </mtd> <mtd columnalign="left"> <mrow> <msub> <mi>a</mi> <mrow> <mn>3</mn> <mi>n</mi> <mo>+</mo> <mn>2</mn> </mrow> </msub> <mo>+</mo> <mn>2</mn> <msub> <mi>b</mi> <mrow> <mn>3</mn> <mi>n</mi> <mo>+</mo> <mn>2</mn> </mrow> </msub> </mrow> </mtd> <mtd columnalign="right"> <mrow> <mo>≡</mo> <mn>0</mn> <mspace width="10.0pt" /> <mo stretchy="false">(</mo> <mo>mod</mo> <mspace width="0.277778em" /> <mn>9</mn> <mo stretchy="false">)</mo> <mo>.</mo> </mrow> </mtd> </mtr> </mtable> </mrow> </math></EquationSource> </Equation> Some of these theorems also had some combinatorial implications, one example being the following: Let <InlineEquation ID="IEq11"> <EquationSource Format="TEX">\(p_2^{(3)}(n)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msubsup> <mi>p</mi> <mn>2</mn> <mrow> <mo stretchy="false">(</mo> <mn>3</mn> <mo stretchy="false">)</mo> </mrow> </msubsup> <mrow> <mo stretchy="false">(</mo> <mi>n</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> denote the number of bipartitions <InlineEquation ID="IEq12"> <EquationSource Format="TEX">\((\pi _1, \pi _2)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <msub> <mi>π</mi> <mn>1</mn> </msub> <mo>,</mo> <msub> <mi>π</mi> <mn>2</mn> </msub> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> of <i>n</i> where <InlineEquation ID="IEq13"> <EquationSource Format="TEX">\(\pi _1\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>π</mi> <mn>1</mn> </msub> </math></EquationSource> </InlineEquation> is 3-regular. Then <Equation ID="Equ150"> <EquationSource Format="TEX">\(\begin{aligned} p_2^{(3)}(n)\equiv 0 \pmod 9 \Longleftrightarrow n \textrm{is not a generalized pentagonal number}. \end{aligned}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mtable> <mtr> <mtd columnalign="right"> <mrow> <msubsup> <mi>p</mi> <mn>2</mn> <mrow> <mo stretchy="false">(</mo> <mn>3</mn> <mo stretchy="false">)</mo> </mrow> </msubsup> <mrow> <mo stretchy="false">(</mo> <mi>n</mi> <mo stretchy="false">)</mo> </mrow> <mo>≡</mo> <mn>0</mn> <mspace width="10.0pt" /> <mrow> <mo stretchy="false">(</mo> <mo>mod</mo> <mspace width="0.277778em" /> <mn>9</mn> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">⟺</mo> <mi>n</mi> <mtext>is not a generalized pentagonal number</mtext> <mo>.</mo> </mrow> </mtd> </mtr> </mtable> </mrow> </math></EquationSource> </Equation>In the case of <InlineEquation ID="IEq14"> <EquationSource Format="TEX">\(m=25\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>m</mi> <mo>=</mo> <mn>25</mn> </mrow> </math></EquationSource> </InlineEquation>, we do not have any general theorems that apply to an infinite family of eta quotients, such as the modulo 9 result stated above. Instead we give two tables of results that appear to hold experimentally. Proofs of results stated in these tables appear to need the theory of modular forms and are more complicated. We do prove some individual results, such as the following: Let the sequences <InlineEquation ID="IEq15"> <EquationSource Format="TEX">\(\{c_n\}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">{</mo> <msub> <mi>c</mi> <mi>n</mi> </msub> <mo stretchy="false">}</mo> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq16"> <EquationSource Format="TEX">\(\{d_n\}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">{</mo> <msub> <mi>d</mi> <mi>n</mi> </msub> <mo stretchy="false">}</mo> </mrow> </math></EquationSource> </InlineEquation> be defined by <Equation ID="Equ151"> <EquationSource Format="TEX">\(\begin{aligned} f_1^{10}=:\sum _{n=0}^{\infty }c_nq^n, \hspace{25pt} f_1^{5}f_5=:\sum _{n=0}^{\infty }d_nq^n. \end{aligned}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mtable> <mtr> <mtd columnalign="right"> <mrow> <msubsup> <mi>f</mi> <mn>1</mn> <mn>10</mn> </msubsup> <mo>=</mo> <mo>:</mo> <munderover> <mo>∑</mo> <mrow> <mi>n</mi> <mo>=</mo> <mn>0</mn> </mrow> <mi>∞</mi> </munderover> <msub> <mi>c</mi> <mi>n</mi> </msub> <msup> <mi>q</mi> <mi>n</mi> </msup> <mo>,</mo> <mspace width="25.0pt" /> <msubsup> <mi>f</mi> <mn>1</mn> <mn>5</mn> </msubsup> <msub> <mi>f</mi> <mn>5</mn> </msub> <mo>=</mo> <mo>:</mo> <munderover> <mo>∑</mo> <mrow> <mi>n</mi> <mo>=</mo> <mn>0</mn> </mrow> <mi>∞</mi> </munderover> <msub> <mi>d</mi> <mi>n</mi> </msub> <msup> <mi>q</mi> <mi>n</mi> </msup> <mo>.</mo> </mrow> </mtd> </mtr> </mtable> </mrow> </math></EquationSource> </Equation>Then <Equation ID="Equ152"> <EquationSource Format="TEX">\(\begin{aligned} c_n \equiv 0 \pmod {25} \Longleftrightarrow d_n \equiv 0 \pmod {25}. \end{aligned}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mtable> <mtr> <mtd columnalign="right"> <mrow> <msub> <mi>c</mi> <mi>n</mi> </msub> <mo>≡</mo> <mn>0</mn> <mspace width="10.0pt" /> <mrow> <mo stretchy="false">(</mo> <mo>mod</mo> <mspace width="0.277778em" /> <mn>25</mn> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">⟺</mo> <msub> <mi>d</mi> <mi>n</mi> </msub> <mo>≡</mo> <mn>0</mn> <mspace width="10.0pt" /> <mrow> <mo stretchy="false">(</mo> <mo>mod</mo> <mspace width="0.277778em" /> <mn>25</mn> <mo stretchy="false">)</mo> </mrow> <mo>.</mo> </mrow> </mtd> </mtr> </mtable> </mrow> </math></EquationSource> </Equation></p>

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

Identical Vanishing of Coefficients in the Series Expansion of Eta Quotients, modulo 4, 9 and 25

  • Tim Huber,
  • James McLaughlin,
  • Dongxi Ye

摘要

Let \(A(q)=:\sum _{n=0}^{\infty }a_n q^n\) A ( q ) = : n = 0 a n q n and \(B(q)=:\sum _{n=0}^{\infty }b_n q^n\) B ( q ) = : n = 0 b n q n be two eta quotients. In some previous papers, the present authors considered the problem of when \(\begin{aligned} a_n=0 \Longleftrightarrow b_n=0. \end{aligned}\) a n = 0 b n = 0 . In the present paper we consider the “mod m” version of this problem, i.e. for which eta quotients A(q) and B(q) and for which integers \(m>1\) m > 1 do we have (non-trivially) that \(\begin{aligned} a_n \equiv 0 \pmod m \Longleftrightarrow b_n \equiv 0 \pmod m? \end{aligned}\) a n 0 ( mod m ) b n 0 ( mod m ) ? (We say “non-trivially” as there are trivial situations where \(a_n \equiv b_n \pmod m\) a n b n ( mod m ) for all \(n\ge 0\) n 0 ). The m for which we found non-trivial (in the sense just mentioned) results were \(m=p^2\) m = p 2 , \(p=2, 3\) p = 2 , 3 and 5. For \(m=4\) m = 4 and \(m=9\) m = 9 , we found results which apply to infinite families of eta quotients. One such is the following: Let A(q) be any eta quotient of the form \(\begin{aligned} A(q) = f_1^{3j_1+1}\prod _{3\not \mid i}f_i^{3j_i}\prod _{3|i}f_i^{j_i} =: \sum _{n=0}^{\infty }a_nq^n, B(q) = \frac{f_3}{f_1^3}A(q) =: \sum _{n=0}^{\infty }b_nq^n \end{aligned}\) A ( q ) = f 1 3 j 1 + 1 3 i f i 3 j i 3 | i f i j i = : n = 0 a n q n , B ( q ) = f 3 f 1 3 A ( q ) = : n = 0 b n q n with \(f_{k}=\prod _{n=1}^{\infty }(1-q^{kn})\) f k = n = 1 ( 1 - q kn ) . Then \(\begin{aligned}&a_{3n}- b_{3n}&\equiv 0\pmod 9, 2a_{3n+1}+b_{3n+1}&\equiv 0 \pmod 9, \\&a_{3n+2}+2b_{3n+2}&\equiv 0 \pmod 9. \end{aligned}\) a 3 n - b 3 n 0 ( mod 9 ) , 2 a 3 n + 1 + b 3 n + 1 0 ( mod 9 ) , a 3 n + 2 + 2 b 3 n + 2 0 ( mod 9 ) . Some of these theorems also had some combinatorial implications, one example being the following: Let \(p_2^{(3)}(n)\) p 2 ( 3 ) ( n ) denote the number of bipartitions \((\pi _1, \pi _2)\) ( π 1 , π 2 ) of n where \(\pi _1\) π 1 is 3-regular. Then \(\begin{aligned} p_2^{(3)}(n)\equiv 0 \pmod 9 \Longleftrightarrow n \textrm{is not a generalized pentagonal number}. \end{aligned}\) p 2 ( 3 ) ( n ) 0 ( mod 9 ) n is not a generalized pentagonal number . In the case of \(m=25\) m = 25 , we do not have any general theorems that apply to an infinite family of eta quotients, such as the modulo 9 result stated above. Instead we give two tables of results that appear to hold experimentally. Proofs of results stated in these tables appear to need the theory of modular forms and are more complicated. We do prove some individual results, such as the following: Let the sequences \(\{c_n\}\) { c n } and \(\{d_n\}\) { d n } be defined by \(\begin{aligned} f_1^{10}=:\sum _{n=0}^{\infty }c_nq^n, \hspace{25pt} f_1^{5}f_5=:\sum _{n=0}^{\infty }d_nq^n. \end{aligned}\) f 1 10 = : n = 0 c n q n , f 1 5 f 5 = : n = 0 d n q n . Then \(\begin{aligned} c_n \equiv 0 \pmod {25} \Longleftrightarrow d_n \equiv 0 \pmod {25}. \end{aligned}\) c n 0 ( mod 25 ) d n 0 ( mod 25 ) .