Crouzeix's conjecture

Crouzeix's conjecture is an unsolved (as of 2018)[1] problem in matrix analysis. It was proposed by Michel Crouzeix in 2004,[2] and it refines Crouzeix's theorem, which states:[3]

where the set is the field of values of a n×n (i.e. square) complex matrix and is a complex function, that is analytic in the interior of and continuous up to the boundary of . The constant is independent of the matrix dimension, thus transferable to infinite-dimensional settings. The not yet proved conjecture states that the constant is sharpable to :

Michel Crouzeix and Cesar Palencia proved in 2017 that the result holds for ,[4] improving the original constant of .

Slightly reformulated, the conjecture can be stated as follows: For all square complex matrices and all complex polynomials :

holds, where the norm on the left-hand side is the spectral operator 2-norm.

While the general case is unknown, it is known that the conjecture holds for tridiagonal 3×3 matrices with elliptic field of values centered at an eigenvalue[5] and for general n×n matrices that are nearly Jordan blocks.[6] Furthermore, Anne Greenbaum and Michael L. Overton provided numerical support for Crouzeix's conjecture.[7]

Further reading

  • Ransford, Thomas; Schwenninger, Felix L. (2018-03-01). "Remarks on the Crouzeix–Palencia Proof that the Numerical Range is a -Spectral Set". SIAM Journal on Matrix Analysis and Applications. 39 (1): 342–345. arXiv:1708.08633. doi:10.1137/17M1143757. S2CID 43945191.
  • Gorkin, Pamela; Bickel, Kelly (2018-10-27). "Numerical Range and Compressions of the Shift". arXiv:1810.11680 [math.FA].

References

  1. "Crouzeix's Conjecture". www.ima.umn.edu. Institute for Mathematics and its Applications. Retrieved 2019-03-03.
  2. Crouzeix, Michel (2004-04-01). "Bounds for Analytical Functions of Matrices". Integral Equations and Operator Theory. 48 (4): 461–477. doi:10.1007/s00020-002-1188-6. ISSN 0378-620X. S2CID 121371601.
  3. Crouzeix, Michel (2007-03-15). "Numerical range and functional calculus in Hilbert space". Journal of Functional Analysis. 244 (2): 668–690. doi:10.1016/j.jfa.2006.10.013.
  4. Crouzeix, Michel; Palencia, Cesar (2017-06-07). "The Numerical Range is a -Spectral Set". SIAM Journal on Matrix Analysis and Applications. 38 (2): 649–655. doi:10.1137/17M1116672.
  5. Glader, Christer; Kurula, Mikael; Lindström, Mikael (2018-03-01). "Crouzeix's Conjecture Holds for Tridiagonal 3 x 3 Matrices with Elliptic Numerical Range Centered at an Eigenvalue". SIAM Journal on Matrix Analysis and Applications. 39 (1): 346–364. doi:10.1137/17M1110663. S2CID 43922128.
  6. Choi, Daeshik (2013-04-15). "A proof of Crouzeix's conjecture for a class of matrices". Linear Algebra and Its Applications. 438 (8): 3247–3257. doi:10.1016/j.laa.2012.12.045.
  7. Greenbaum, Anne; Overton, Michael L. (2017-05-04). "Numerical investigation of Crouzeix's conjecture" (PDF). Linear Algebra and Its Applications. 542: 225–245. doi:10.1016/j.laa.2017.04.035.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.