Constructive Proof of the Carpenter's Theorem

Bownik, Marcin ; Jasper, John

Canadian mathematical bulletin, Tome 57 (2014) no. 3, pp. 463-476

Résumé

We give a constructive proof of the carpenter's theorem due to Kadison. Unlike the original proof, our approach also yields the real case of this theorem.

Détail

DOI : 10.4153/CMB-2013-037-x

Mots-clés : 42C15, 47B15, 46C05, diagonals of projections, the Schur–Horn theorem, the Pythagorean theorem, the carpenter–s theorem, spectral theory

Bibliographie

[1] [1] Argerami, M., Majorisation and Kadison's Carpenter's Theorem. Preprint, arxiv:1304.1232. Google Scholar

[2] [2] Argerami, M. and Massey, P., Towards the Carpenter's theorem. Proc. Amer. Math. Soc. 137 (2009), 3679–3687. Google Scholar | DOI

[3] [3] Arveson, W., Diagonals of normal operators with finite spectrum. Proc. Natl. Acad. Sci. USA 104 (2007), 1152–1158. Google Scholar | DOI

[4] [4] Arveson, W. and Kadison, R., Diagonals of self-adjoint operators. In: Operator theory, operator algebras, and applications, Contemp. Math. 414, Amer. Math. Soc., Providence, RI, 2006, 247–263. Google Scholar

[5] [5] de Boor, C., DeVore, R. A., and Ron, A., The structure of finitely generated shift-invariant spaces in L2(Rd). J. Funct. Anal. 119 (1994), 37–78. Google Scholar | DOI

[6] [6] de Boor, C., DeVore, R. A., and Ron, A., Approximation orders of FSI spaces in L2(Rd). Constr. Approx. 14 (1998), 631–652. Google Scholar | DOI

[7] [7] Bownik, M., The structure of shift-invariant subspaces of L2(Rn). J. Funct. Anal. 177 (2000), 282–309. Google Scholar | DOI

[8] [8] Bownik, M. and Jasper, J., Characterization of sequences of frame norms. J. Reine Angew. Math. 654 (2011), 219–244. Google Scholar

[9] [9] Bownik, M. and Rzeszotnik, Z., The spectral function of shift-invariant spaces. Michigan Math. J. 51 (2003), 387–414. Google Scholar | DOI

[10] [10] Casazza, P., Fickus, M., Mixon, D., Wang, Y., and Zhou, Z., Constructing tight fusion frames. Appl. Comput. Harmon. Anal. 30 (2011), 175–187. Google Scholar | DOI

[11] [11] Casazza, P., Heinecke, A., Kornelson, K., Wang, Y., and Zhou, Z., Necessary and sufficient conditions to perform Spectral Tetris. Linear Algebra Appl., to appear. Google Scholar | DOI

[12] [12] Helson, H., Lectures on invariant subspaces. Academic Press, New York–London, 1964. Google Scholar

[13] [13] Horn, A., Doubly stochastic matrices and the diagonal of a rotation matrix. Amer. J. Math. 76 (1954), 620–630. Google Scholar | DOI

[14] [14] Kadison, R., The Pythagorean theorem. I. The finite case. Proc. Natl. Acad. Sci. USA 99 (2002), 4178–4184. Google Scholar | DOI

[15] [15] Kadison, R., The Pythagorean theorem. II. The infinite discrete case. Proc. Natl. Acad. Sci. USA 99 (2002), 5217–5222. Google Scholar | DOI

[16] [16] Kaftal, V. and Weiss, G., A survey on the interplay between arithmetic mean ideals, traces, lattices of operator ideals, and an infinite Schur–Horn majorization theorem. In: Hot topics in operator theory, Theta Ser. Adv. Math. 9, Theta, Bucharest, 2008, 101–135. Google Scholar

[17] [17] Kaftal, V. and Weiss, G., An infinite dimensional Schur–Horn theorem and majorization theory. J. Funct. Anal. 259 (2010), 3115–3162. Google Scholar | DOI

[18] [18] Marshall, A.W., Olkin, I., and Arnold, B. C., Inequalities: theory of majorization and its applications. Second edition. Springer Series in Statistics. Springer, New York, 2011. Google Scholar

[19] [19] Ron, A. and Shen, Z., Affine systems in L2(Rd): the analysis of the analysis operator. J. Funct. Anal. 148 (1997), 408–447. Google Scholar | DOI

[20] [20] Ron, A. and Shen, Z., Weyl–Heisenberg frames and Riesz bases in L2(Rd). Duke Math. J. 89 (1997), 237–282. Google Scholar | DOI

[21] [21] Schur, I., Über eine Klasse von Mittelbildungen mit Anwendungen auf die Determinantentheorie. Sitzungsber. Berl. Math. Ges. 22 (1923), 9–20. Google Scholar