A method for determining the mod-\(2^k\) behaviour of recursive sequences, with applications to subgroup counting (Q456187): Difference between revisions
From MaRDI portal
Created a new Item |
Changed an Item |
||
Property / author | |||
Property / author: Manuel Kauers / rank | |||
Normal rank | |||
Property / author | |||
Property / author: Christian Krattenthaler / rank | |||
Normal rank | |||
Property / review text | |||
For a finitely generated group \(\Gamma\), denote by \(s_n(\Gamma)\) the number of subgroups of index \(n\) in \(\Gamma\). \textit{W. W. Stothers}, [Proc. R. Soc. Edinb., Sect. A 78, 105--112 (1977; Zbl 0384.20037)] showed that \(s_n(\mathrm{PSL}_2(\mathbb{Z}))\) is odd if and only if \(n\) is of the form \(2^k-3\) or \(2^k-6\). While Stothers proof was mainly combinatorial, \textit{C. Godsil}, \textit{W. Imrich}, and \textit{R. Razen}, [Monatsh. Math. 87, 273--280 (1979; Zbl 0407.20037)] proved the same result by constructing a differential equation for the generating function of \(s_n(\mathrm{PSL}_2(\mathbb{Z}))\). This approach was later generalised to quite general free products by the last named author [Forum Math. 15, No. 5, 759--810 (2003; Zbl 1042.20012)] and to moduli being higher powers of 2 by the last author and the reviewer [New York J. Math. 11, 205--224 (2005; Zbl 1111.20042)]. In all these cases numbers which are close to integers of the form \(2^{k_1}+\dots+2^{k_\ell}\) played a special rôle. In a completely different context, \textit{S.-C. Liu} and \textit{J. C.-C. Yeh}, [J. Integer Seq. 13, No. 5, Article ID 10.5.4, (2010; Zbl 1230.05013)] determined the behaviour of the Catalan numbers modulo 64. Again, numbers close to integers of the form \(2^{k_1}+\dots+2^{k_\ell}\) were special. In the present work the authors give a structural explanation for these at first sight unexpected phenomena. The central object of this paper is the function \(\Phi(z)=\sum_{n\geq 1} z^{2^n}\). While \(\Phi(z)\) is transcendental over \(\mathbb{C}\), it is algebraic over \(\mathbb{Z}/2^\alpha\mathbb{Z}\) for any \(\alpha\). In this article a method is described, which can solve the following problem. Given a polynomial \(P\) in \(k+2\) variables with integral coefficients, such that the differential equation \(P(z, f, f', \ldots, f^{(k)})=0\) has a unique solution as a formal power series, and an integer \(\alpha>0\), find a solution of this differential equation, which modulo \(2^\alpha\) coincides with a polynomial in \(z, z^{-1}\), and \(\Phi\). Such a solution need not exist, and in certain degenerate cases the method presented here might miss a solution, however, in many cases the method allows one to prove that for any \(\alpha\) such a solution exists, and to explicitly compute such a solution for rather large values of \(\alpha\). As applications the authors show that for each \(\alpha>0\) the generating function of the Catalan numbers coincides modulo \(2^{3\cdot 2^\alpha}\) with a polynomial in \(z, z^{-1}\) and \(\Phi\), which has at most degree \(2^{\alpha+2}-1\) in \(\Phi\). The same holds true for the number of subgroups in \(\mathrm{PSL}_2(\mathbb{Z})\) and the number of free subgroups in cyclic extensions of \(\mathrm{PSL}_2(\mathbb{Z})\) of the form \(\Gamma_q=\langle x,y|x^{2q}=y^{3q}=1\rangle\). Moreover, \(s_n(\mathrm{SL}_2(\mathbb{Z}))\) is computed modulo 16, and \(s_n(\Gamma_3)\) modulo 8. Finally the authors consider variations of their method obtained by replacing \(\Phi\) by certain generalised power series, and apply this generalisation to certain Fuß-Catalan numbers and to \(s_n(C_2\ast C_5)\). | |||
Property / review text: For a finitely generated group \(\Gamma\), denote by \(s_n(\Gamma)\) the number of subgroups of index \(n\) in \(\Gamma\). \textit{W. W. Stothers}, [Proc. R. Soc. Edinb., Sect. A 78, 105--112 (1977; Zbl 0384.20037)] showed that \(s_n(\mathrm{PSL}_2(\mathbb{Z}))\) is odd if and only if \(n\) is of the form \(2^k-3\) or \(2^k-6\). While Stothers proof was mainly combinatorial, \textit{C. Godsil}, \textit{W. Imrich}, and \textit{R. Razen}, [Monatsh. Math. 87, 273--280 (1979; Zbl 0407.20037)] proved the same result by constructing a differential equation for the generating function of \(s_n(\mathrm{PSL}_2(\mathbb{Z}))\). This approach was later generalised to quite general free products by the last named author [Forum Math. 15, No. 5, 759--810 (2003; Zbl 1042.20012)] and to moduli being higher powers of 2 by the last author and the reviewer [New York J. Math. 11, 205--224 (2005; Zbl 1111.20042)]. In all these cases numbers which are close to integers of the form \(2^{k_1}+\dots+2^{k_\ell}\) played a special rôle. In a completely different context, \textit{S.-C. Liu} and \textit{J. C.-C. Yeh}, [J. Integer Seq. 13, No. 5, Article ID 10.5.4, (2010; Zbl 1230.05013)] determined the behaviour of the Catalan numbers modulo 64. Again, numbers close to integers of the form \(2^{k_1}+\dots+2^{k_\ell}\) were special. In the present work the authors give a structural explanation for these at first sight unexpected phenomena. The central object of this paper is the function \(\Phi(z)=\sum_{n\geq 1} z^{2^n}\). While \(\Phi(z)\) is transcendental over \(\mathbb{C}\), it is algebraic over \(\mathbb{Z}/2^\alpha\mathbb{Z}\) for any \(\alpha\). In this article a method is described, which can solve the following problem. Given a polynomial \(P\) in \(k+2\) variables with integral coefficients, such that the differential equation \(P(z, f, f', \ldots, f^{(k)})=0\) has a unique solution as a formal power series, and an integer \(\alpha>0\), find a solution of this differential equation, which modulo \(2^\alpha\) coincides with a polynomial in \(z, z^{-1}\), and \(\Phi\). Such a solution need not exist, and in certain degenerate cases the method presented here might miss a solution, however, in many cases the method allows one to prove that for any \(\alpha\) such a solution exists, and to explicitly compute such a solution for rather large values of \(\alpha\). As applications the authors show that for each \(\alpha>0\) the generating function of the Catalan numbers coincides modulo \(2^{3\cdot 2^\alpha}\) with a polynomial in \(z, z^{-1}\) and \(\Phi\), which has at most degree \(2^{\alpha+2}-1\) in \(\Phi\). The same holds true for the number of subgroups in \(\mathrm{PSL}_2(\mathbb{Z})\) and the number of free subgroups in cyclic extensions of \(\mathrm{PSL}_2(\mathbb{Z})\) of the form \(\Gamma_q=\langle x,y|x^{2q}=y^{3q}=1\rangle\). Moreover, \(s_n(\mathrm{SL}_2(\mathbb{Z}))\) is computed modulo 16, and \(s_n(\Gamma_3)\) modulo 8. Finally the authors consider variations of their method obtained by replacing \(\Phi\) by certain generalised power series, and apply this generalisation to certain Fuß-Catalan numbers and to \(s_n(C_2\ast C_5)\). / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Jan-Christoph Schlage-Puchta / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 05A15 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 20E07 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 11A07 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 11B37 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6098117 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
generating functions | |||
Property / zbMATH Keywords: generating functions / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
formal power series | |||
Property / zbMATH Keywords: formal power series / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
congruences | |||
Property / zbMATH Keywords: congruences / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
subgroup growth | |||
Property / zbMATH Keywords: subgroup growth / rank | |||
Normal rank |
Revision as of 12:39, 30 June 2023
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A method for determining the mod-\(2^k\) behaviour of recursive sequences, with applications to subgroup counting |
scientific article |
Statements
A method for determining the mod-\(2^k\) behaviour of recursive sequences, with applications to subgroup counting (English)
0 references
23 October 2012
0 references
For a finitely generated group \(\Gamma\), denote by \(s_n(\Gamma)\) the number of subgroups of index \(n\) in \(\Gamma\). \textit{W. W. Stothers}, [Proc. R. Soc. Edinb., Sect. A 78, 105--112 (1977; Zbl 0384.20037)] showed that \(s_n(\mathrm{PSL}_2(\mathbb{Z}))\) is odd if and only if \(n\) is of the form \(2^k-3\) or \(2^k-6\). While Stothers proof was mainly combinatorial, \textit{C. Godsil}, \textit{W. Imrich}, and \textit{R. Razen}, [Monatsh. Math. 87, 273--280 (1979; Zbl 0407.20037)] proved the same result by constructing a differential equation for the generating function of \(s_n(\mathrm{PSL}_2(\mathbb{Z}))\). This approach was later generalised to quite general free products by the last named author [Forum Math. 15, No. 5, 759--810 (2003; Zbl 1042.20012)] and to moduli being higher powers of 2 by the last author and the reviewer [New York J. Math. 11, 205--224 (2005; Zbl 1111.20042)]. In all these cases numbers which are close to integers of the form \(2^{k_1}+\dots+2^{k_\ell}\) played a special rôle. In a completely different context, \textit{S.-C. Liu} and \textit{J. C.-C. Yeh}, [J. Integer Seq. 13, No. 5, Article ID 10.5.4, (2010; Zbl 1230.05013)] determined the behaviour of the Catalan numbers modulo 64. Again, numbers close to integers of the form \(2^{k_1}+\dots+2^{k_\ell}\) were special. In the present work the authors give a structural explanation for these at first sight unexpected phenomena. The central object of this paper is the function \(\Phi(z)=\sum_{n\geq 1} z^{2^n}\). While \(\Phi(z)\) is transcendental over \(\mathbb{C}\), it is algebraic over \(\mathbb{Z}/2^\alpha\mathbb{Z}\) for any \(\alpha\). In this article a method is described, which can solve the following problem. Given a polynomial \(P\) in \(k+2\) variables with integral coefficients, such that the differential equation \(P(z, f, f', \ldots, f^{(k)})=0\) has a unique solution as a formal power series, and an integer \(\alpha>0\), find a solution of this differential equation, which modulo \(2^\alpha\) coincides with a polynomial in \(z, z^{-1}\), and \(\Phi\). Such a solution need not exist, and in certain degenerate cases the method presented here might miss a solution, however, in many cases the method allows one to prove that for any \(\alpha\) such a solution exists, and to explicitly compute such a solution for rather large values of \(\alpha\). As applications the authors show that for each \(\alpha>0\) the generating function of the Catalan numbers coincides modulo \(2^{3\cdot 2^\alpha}\) with a polynomial in \(z, z^{-1}\) and \(\Phi\), which has at most degree \(2^{\alpha+2}-1\) in \(\Phi\). The same holds true for the number of subgroups in \(\mathrm{PSL}_2(\mathbb{Z})\) and the number of free subgroups in cyclic extensions of \(\mathrm{PSL}_2(\mathbb{Z})\) of the form \(\Gamma_q=\langle x,y|x^{2q}=y^{3q}=1\rangle\). Moreover, \(s_n(\mathrm{SL}_2(\mathbb{Z}))\) is computed modulo 16, and \(s_n(\Gamma_3)\) modulo 8. Finally the authors consider variations of their method obtained by replacing \(\Phi\) by certain generalised power series, and apply this generalisation to certain Fuß-Catalan numbers and to \(s_n(C_2\ast C_5)\).
0 references
generating functions
0 references
formal power series
0 references
congruences
0 references
subgroup growth
0 references