English

A constructive approach to Schaeffer's conjecture

Numerical Analysis 2021-03-02 v3

Abstract

J.J. Schaeffer proved that for anyany induced matrix norm and anyany invertible T=T(n)T=T(n) the inequality detTT1STn1\left|\det T\right|\left\Vert T^{-1}\right\Vert \leq\mathcal{S}\left\Vert T\right\Vert ^{n-1} holds with S=S(n)en\mathcal{S}=\mathcal{S}(n)\leq\sqrt{en}. He conjectured that the best S\mathcal{S} was actually bounded. This was rebutted by Gluskin-Meyer-Pajor and subsequent contributions by J. Bourgain and H. Queffelec that successively improved lower estimates on S\mathcal{S}. These articles rely on a link to the theory of power sums of complex numbers. A probabilistic or number theoretic analysis of such inequalities is employed to prove the existence of TT with growing S\mathcal{S} but the explicit construction of such TT remains an open task. In this article we propose a constructive approach to Schaeffer's conjecture that is not related to power sum theory. As a consequence we present an explicit sequence of Toeplitz matrices with singleton spectrum {λ}D{0}\{\lambda\}\subset\mathbb{D}-\{0\} such that Sc(λ)n\mathcal{S}\geq c(\lambda)\sqrt{n}. Our framework naturally extends to provide lower estimates on the resolvent (ζT)1\left\Vert (\zeta-T)^{-1}\right\Vert when ζ0\zeta\neq0. We also obtain new upper estimates on the resolvent when the spectrum is given. This yields new upper bounds on T1\left\Vert T^{-1}\right\Vert in terms of the eigenvalues of TT which slightly refine Schaeffer's original estimate.

Keywords

Cite

@article{arxiv.1705.10704,
  title  = {A constructive approach to Schaeffer's conjecture},
  author = {Oleg Szehr and Rachid Zarouf},
  journal= {arXiv preprint arXiv:1705.10704},
  year   = {2021}
}
R2 v1 2026-06-22T20:03:44.157Z