Progress on Olga Taussky-Todd's circulant problem (Q452264): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
Created a new Item
 
Importer (talk | contribs)
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
    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

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references