Explicit counterexamples to Schäffer's conjecture (Q2224714)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Explicit counterexamples to Schäffer's conjecture |
scientific article |
Statements
Explicit counterexamples to Schäffer's conjecture (English)
0 references
4 February 2021
0 references
\textit{J. J. Schäffer} proved in [Math. Z. 118, No. 4, 331--339 (1970; Zbl 0195.41602)] that for every \(n\in\mathbb N\) there exists a constant \(\mathcal S(n)\) such that \(|\det T|\, \|T^{-1}\| \le \mathcal S \|T\|^{n-1}\) for any invertible \((n\times n)\)-matrix \(T\) and any operator norm, and that \(\mathcal S(n)\le \sqrt{en}\). The initial conjecture that the constant \(\mathcal S\) could be chosen independently of \(n\) was found to be false by \textit{E. Gluskin} et al. [Isr. J. Math. 87, No. 1--3, 225--242 (1994; Zbl 0817.46026)] who could prove lower bounds for \(\mathcal S\). Their proof relies on probabilistic methods and is not constructive. In this paper, the authors use a different approach which allows them to construct a sequence of upper triangular Toeplitz matrices \(T_n\) with the single eigenvalue \(\lambda\neq 0\) and \(|\lambda|^n \|T_n^{-1}\| \ge c(\lambda) \sqrt{n} \|T_n\|^{n-1}\) which then shows that \(\mathcal S(n)\ge c(\lambda)\sqrt{n}\). The main idea is to use a min-max formula for \(\mathcal S(n)\) proved by \textit{H. Queffelec} [C. R. Acad. Sci., Paris, Sér. I 317, No. 2, 155--158 (1993; Zbl 0810.47012)] and relate it to the norm of functions in a subset of a Wiener algebra. These norms are bounded from below by the norms of certain Blaschke products. Their asymptotic behavior is studied in a quite technical section of the paper. Finally, the Toeplitz operators are obtained as the matrix representations of the multiplication operator by the free variable in a quotient space of the aforementioned Wiener algebra. The article contains many references and an overview over currently available upper and lower bounds on \(\mathcal S\).
0 references
Blaschke product
0 references
Schäffer's conjecture
0 references
0 references