Progress on Olga Taussky-Todd's circulant problem (Q452264): Difference between revisions
From MaRDI portal
Created a new Item |
Changed an Item |
||
Property / review text | |||
Olga Taussky-Todd's circulant problem, see \textit{M.~Newman} [Ill. J. Math.~24, 156--158 (1980; Zbl 0414.15007)], is to determine the set~\({\mathcal D}(n)\) of all integer circulant \(n\times n\) determinants. This problem has been solved in the following cases: (1)~\(n=p\in\mathbb{P}\) by \textit{H.~T.~Laquer} [The Fibonacci sequence, Collect. Manuscr., 18th anniv. Vol., The Fibonacci Assoc., 212--217 (1980; Zbl 0524.15007)] and Newman [loc. cit.], (2)~\(n=2p\), \(p\geq 3\) by Laquer [loc. cit.], (3)~\(n=p^2\), \(p\geq 3\) by \textit{M. Newman} [Linear Multilinear Algebra 9, 187--191 (1980; Zbl 0453.12002)]. Newman also found a subset and a superset of \({\mathcal D}(p^k)\), \(k\geq 2\). Improving his results, the present author proves that \({\mathcal D}(4)=\mathbb{Z}_2^*\cup 16\mathbb{Z}\), \({\mathcal D}(8)=\mathbb{Z}_2^*\cup 32\mathbb{Z}\), and \[ \mathbb{Z}_2^*\cup 2^{2k-1}\mathbb{Z}\subseteq{\mathcal D}(2^k)\subseteq\mathbb{Z}_2^*\cup 2^{k+2}\mathbb{Z},\,\,k\geq 4. \] Here \(\mathbb{Z}_n^*=\{d\in\mathbb{Z}\,|\,\gcd{(d,n)}=1\}\). Applying certain properties of resultants of polynomials in~\(\mathbb{Z}[x]\), with special attention to cyclotomic polynomials, he also refines these bounds as follows: \[ \mathbb{Z}_{2q}^*\cup 32q^2\mathbb{Z}\subseteq{\mathcal D}(8q),\,q\geq 1, \] \[ \mathbb{Z}_{2q}^*\cup 4\mathbb{Z}_q^*\cup q^2\mathbb{Z}_2^*\cup 4q^2\mathbb{Z}\subseteq{\mathcal D}(2q),\,q\geq 1\,\mathrm{odd}, \] \[ {\mathcal D}(2^kq)\subseteq\mathbb{Z}_2^*\cup2^{k+2}\mathbb{Z},\,\, q\geq 1,\,k\geq 2. \] | |||
Property / review text: Olga Taussky-Todd's circulant problem, see \textit{M.~Newman} [Ill. J. Math.~24, 156--158 (1980; Zbl 0414.15007)], is to determine the set~\({\mathcal D}(n)\) of all integer circulant \(n\times n\) determinants. This problem has been solved in the following cases: (1)~\(n=p\in\mathbb{P}\) by \textit{H.~T.~Laquer} [The Fibonacci sequence, Collect. Manuscr., 18th anniv. Vol., The Fibonacci Assoc., 212--217 (1980; Zbl 0524.15007)] and Newman [loc. cit.], (2)~\(n=2p\), \(p\geq 3\) by Laquer [loc. cit.], (3)~\(n=p^2\), \(p\geq 3\) by \textit{M. Newman} [Linear Multilinear Algebra 9, 187--191 (1980; Zbl 0453.12002)]. Newman also found a subset and a superset of \({\mathcal D}(p^k)\), \(k\geq 2\). Improving his results, the present author proves that \({\mathcal D}(4)=\mathbb{Z}_2^*\cup 16\mathbb{Z}\), \({\mathcal D}(8)=\mathbb{Z}_2^*\cup 32\mathbb{Z}\), and \[ \mathbb{Z}_2^*\cup 2^{2k-1}\mathbb{Z}\subseteq{\mathcal D}(2^k)\subseteq\mathbb{Z}_2^*\cup 2^{k+2}\mathbb{Z},\,\,k\geq 4. \] Here \(\mathbb{Z}_n^*=\{d\in\mathbb{Z}\,|\,\gcd{(d,n)}=1\}\). Applying certain properties of resultants of polynomials in~\(\mathbb{Z}[x]\), with special attention to cyclotomic polynomials, he also refines these bounds as follows: \[ \mathbb{Z}_{2q}^*\cup 32q^2\mathbb{Z}\subseteq{\mathcal D}(8q),\,q\geq 1, \] \[ \mathbb{Z}_{2q}^*\cup 4\mathbb{Z}_q^*\cup q^2\mathbb{Z}_2^*\cup 4q^2\mathbb{Z}\subseteq{\mathcal D}(2q),\,q\geq 1\,\mathrm{odd}, \] \[ {\mathcal D}(2^kq)\subseteq\mathbb{Z}_2^*\cup2^{k+2}\mathbb{Z},\,\, q\geq 1,\,k\geq 2. \] / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Jorma Kaarlo Merikoski / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 15A15 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 15B36 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 11C08 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 11T22 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6084539 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
determinants | |||
Property / zbMATH Keywords: determinants / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
integer circulant matrices | |||
Property / zbMATH Keywords: integer circulant matrices / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
resultants | |||
Property / zbMATH Keywords: resultants / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
cyclotomy | |||
Property / zbMATH Keywords: cyclotomy / rank | |||
Normal rank |
Revision as of 10:41, 30 June 2023
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Progress on Olga Taussky-Todd's circulant problem |
scientific article |
Statements
Progress on Olga Taussky-Todd's circulant problem (English)
0 references
20 September 2012
0 references
Olga Taussky-Todd's circulant problem, see \textit{M.~Newman} [Ill. J. Math.~24, 156--158 (1980; Zbl 0414.15007)], is to determine the set~\({\mathcal D}(n)\) of all integer circulant \(n\times n\) determinants. This problem has been solved in the following cases: (1)~\(n=p\in\mathbb{P}\) by \textit{H.~T.~Laquer} [The Fibonacci sequence, Collect. Manuscr., 18th anniv. Vol., The Fibonacci Assoc., 212--217 (1980; Zbl 0524.15007)] and Newman [loc. cit.], (2)~\(n=2p\), \(p\geq 3\) by Laquer [loc. cit.], (3)~\(n=p^2\), \(p\geq 3\) by \textit{M. Newman} [Linear Multilinear Algebra 9, 187--191 (1980; Zbl 0453.12002)]. Newman also found a subset and a superset of \({\mathcal D}(p^k)\), \(k\geq 2\). Improving his results, the present author proves that \({\mathcal D}(4)=\mathbb{Z}_2^*\cup 16\mathbb{Z}\), \({\mathcal D}(8)=\mathbb{Z}_2^*\cup 32\mathbb{Z}\), and \[ \mathbb{Z}_2^*\cup 2^{2k-1}\mathbb{Z}\subseteq{\mathcal D}(2^k)\subseteq\mathbb{Z}_2^*\cup 2^{k+2}\mathbb{Z},\,\,k\geq 4. \] Here \(\mathbb{Z}_n^*=\{d\in\mathbb{Z}\,|\,\gcd{(d,n)}=1\}\). Applying certain properties of resultants of polynomials in~\(\mathbb{Z}[x]\), with special attention to cyclotomic polynomials, he also refines these bounds as follows: \[ \mathbb{Z}_{2q}^*\cup 32q^2\mathbb{Z}\subseteq{\mathcal D}(8q),\,q\geq 1, \] \[ \mathbb{Z}_{2q}^*\cup 4\mathbb{Z}_q^*\cup q^2\mathbb{Z}_2^*\cup 4q^2\mathbb{Z}\subseteq{\mathcal D}(2q),\,q\geq 1\,\mathrm{odd}, \] \[ {\mathcal D}(2^kq)\subseteq\mathbb{Z}_2^*\cup2^{k+2}\mathbb{Z},\,\, q\geq 1,\,k\geq 2. \]
0 references
determinants
0 references
integer circulant matrices
0 references
resultants
0 references
cyclotomy
0 references