Toeplitz矩阵的算子系统

D. Farenick
{"title":"Toeplitz矩阵的算子系统","authors":"D. Farenick","doi":"10.1090/btran/83","DOIUrl":null,"url":null,"abstract":"<p>A recent paper of A. Connes and W.D. van Suijlekom [Comm. Math. Phys. 383 (2021), pp. 2021–2067] identifies the operator system of <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"n times n\">\n <mml:semantics>\n <mml:mrow>\n <mml:mi>n</mml:mi>\n <mml:mo>×<!-- × --></mml:mo>\n <mml:mi>n</mml:mi>\n </mml:mrow>\n <mml:annotation encoding=\"application/x-tex\">n\\times n</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula> Toeplitz matrices with the dual of the space of all trigonometric polynomials of degree less than <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"n\">\n <mml:semantics>\n <mml:mi>n</mml:mi>\n <mml:annotation encoding=\"application/x-tex\">n</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula>. The present paper examines this identification in somewhat more detail by showing explicitly that the Connes–van Suijlekom isomorphism is a unital complete order isomorphism of operator systems. Applications include two special results in matrix analysis: (i) that every positive linear map of the <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"n times n\">\n <mml:semantics>\n <mml:mrow>\n <mml:mi>n</mml:mi>\n <mml:mo>×<!-- × --></mml:mo>\n <mml:mi>n</mml:mi>\n </mml:mrow>\n <mml:annotation encoding=\"application/x-tex\">n\\times n</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula> complex matrices is completely positive when restricted to the operator subsystem of Toeplitz matrices and (ii) that every linear unital isometry of the <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"n times n\">\n <mml:semantics>\n <mml:mrow>\n <mml:mi>n</mml:mi>\n <mml:mo>×<!-- × --></mml:mo>\n <mml:mi>n</mml:mi>\n </mml:mrow>\n <mml:annotation encoding=\"application/x-tex\">n\\times n</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula> Toeplitz matrices into the algebra of all <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"n times n\">\n <mml:semantics>\n <mml:mrow>\n <mml:mi>n</mml:mi>\n <mml:mo>×<!-- × --></mml:mo>\n <mml:mi>n</mml:mi>\n </mml:mrow>\n <mml:annotation encoding=\"application/x-tex\">n\\times n</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula> complex matrices is a unitary similarity transformation.</p>\n\n<p>An operator systems approach to Toeplitz matrices yields new insights into the positivity of block Toeplitz matrices, which are viewed herein as elements of tensor product spaces of an arbitrary operator system with the operator system of <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"n times n\">\n <mml:semantics>\n <mml:mrow>\n <mml:mi>n</mml:mi>\n <mml:mo>×<!-- × --></mml:mo>\n <mml:mi>n</mml:mi>\n </mml:mrow>\n <mml:annotation encoding=\"application/x-tex\">n\\times n</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula> complex Toeplitz matrices. In particular, it is shown that min and max positivity are distinct if the blocks themselves are Toeplitz matrices, and that the maximally entangled Toeplitz matrix <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"xi Subscript n\">\n <mml:semantics>\n <mml:msub>\n <mml:mi>ξ<!-- ξ --></mml:mi>\n <mml:mi>n</mml:mi>\n </mml:msub>\n <mml:annotation encoding=\"application/x-tex\">\\xi _n</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula> generates an extremal ray in the cone of all continuous <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"n times n\">\n <mml:semantics>\n <mml:mrow>\n <mml:mi>n</mml:mi>\n <mml:mo>×<!-- × --></mml:mo>\n <mml:mi>n</mml:mi>\n </mml:mrow>\n <mml:annotation encoding=\"application/x-tex\">n\\times n</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula> Toeplitz-matrix valued functions <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"f\">\n <mml:semantics>\n <mml:mi>f</mml:mi>\n <mml:annotation encoding=\"application/x-tex\">f</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula> on the unit circle <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"upper S Superscript 1\">\n <mml:semantics>\n <mml:msup>\n <mml:mi>S</mml:mi>\n <mml:mn>1</mml:mn>\n </mml:msup>\n <mml:annotation encoding=\"application/x-tex\">S^1</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula> whose Fourier coefficients <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"ModifyingAbove f With caret left-parenthesis k right-parenthesis\">\n <mml:semantics>\n <mml:mrow>\n <mml:mrow class=\"MJX-TeXAtom-ORD\">\n <mml:mover>\n <mml:mi>f</mml:mi>\n <mml:mo stretchy=\"false\">^<!-- ^ --></mml:mo>\n </mml:mover>\n </mml:mrow>\n <mml:mo stretchy=\"false\">(</mml:mo>\n <mml:mi>k</mml:mi>\n <mml:mo stretchy=\"false\">)</mml:mo>\n </mml:mrow>\n <mml:annotation encoding=\"application/x-tex\">\\hat f(k)</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula> vanish for <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"StartAbsoluteValue k EndAbsoluteValue greater-than-or-equal-to n\">\n <mml:semantics>\n <mml:mrow>\n <mml:mrow class=\"MJX-TeXAtom-ORD\">\n <mml:mo stretchy=\"false\">|</mml:mo>\n </mml:mrow>\n <mml:mi>k</mml:mi>\n <mml:mrow class=\"MJX-TeXAtom-ORD\">\n <mml:mo stretchy=\"false\">|</mml:mo>\n </mml:mrow>\n <mml:mo>≥<!-- ≥ --></mml:mo>\n <mml:mi>n</mml:mi>\n </mml:mrow>\n <mml:annotation encoding=\"application/x-tex\">|k|\\geq n</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula>. Lastly, it is noted that all positive Toeplitz matrices over nuclear C<inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"Superscript asterisk\">\n <mml:semantics>\n <mml:msup>\n <mml:mi />\n <mml:mo>∗<!-- ∗ --></mml:mo>\n </mml:msup>\n <mml:annotation encoding=\"application/x-tex\">^*</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula>-algebras are approximately separable.</p>","PeriodicalId":377306,"journal":{"name":"Transactions of the American Mathematical Society, Series B","volume":"6 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2021-03-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"10","resultStr":"{\"title\":\"The operator system of Toeplitz matrices\",\"authors\":\"D. Farenick\",\"doi\":\"10.1090/btran/83\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"<p>A recent paper of A. Connes and W.D. van Suijlekom [Comm. Math. Phys. 383 (2021), pp. 2021–2067] identifies the operator system of <inline-formula content-type=\\\"math/mathml\\\">\\n<mml:math xmlns:mml=\\\"http://www.w3.org/1998/Math/MathML\\\" alttext=\\\"n times n\\\">\\n <mml:semantics>\\n <mml:mrow>\\n <mml:mi>n</mml:mi>\\n <mml:mo>×<!-- × --></mml:mo>\\n <mml:mi>n</mml:mi>\\n </mml:mrow>\\n <mml:annotation encoding=\\\"application/x-tex\\\">n\\\\times n</mml:annotation>\\n </mml:semantics>\\n</mml:math>\\n</inline-formula> Toeplitz matrices with the dual of the space of all trigonometric polynomials of degree less than <inline-formula content-type=\\\"math/mathml\\\">\\n<mml:math xmlns:mml=\\\"http://www.w3.org/1998/Math/MathML\\\" alttext=\\\"n\\\">\\n <mml:semantics>\\n <mml:mi>n</mml:mi>\\n <mml:annotation encoding=\\\"application/x-tex\\\">n</mml:annotation>\\n </mml:semantics>\\n</mml:math>\\n</inline-formula>. The present paper examines this identification in somewhat more detail by showing explicitly that the Connes–van Suijlekom isomorphism is a unital complete order isomorphism of operator systems. Applications include two special results in matrix analysis: (i) that every positive linear map of the <inline-formula content-type=\\\"math/mathml\\\">\\n<mml:math xmlns:mml=\\\"http://www.w3.org/1998/Math/MathML\\\" alttext=\\\"n times n\\\">\\n <mml:semantics>\\n <mml:mrow>\\n <mml:mi>n</mml:mi>\\n <mml:mo>×<!-- × --></mml:mo>\\n <mml:mi>n</mml:mi>\\n </mml:mrow>\\n <mml:annotation encoding=\\\"application/x-tex\\\">n\\\\times n</mml:annotation>\\n </mml:semantics>\\n</mml:math>\\n</inline-formula> complex matrices is completely positive when restricted to the operator subsystem of Toeplitz matrices and (ii) that every linear unital isometry of the <inline-formula content-type=\\\"math/mathml\\\">\\n<mml:math xmlns:mml=\\\"http://www.w3.org/1998/Math/MathML\\\" alttext=\\\"n times n\\\">\\n <mml:semantics>\\n <mml:mrow>\\n <mml:mi>n</mml:mi>\\n <mml:mo>×<!-- × --></mml:mo>\\n <mml:mi>n</mml:mi>\\n </mml:mrow>\\n <mml:annotation encoding=\\\"application/x-tex\\\">n\\\\times n</mml:annotation>\\n </mml:semantics>\\n</mml:math>\\n</inline-formula> Toeplitz matrices into the algebra of all <inline-formula content-type=\\\"math/mathml\\\">\\n<mml:math xmlns:mml=\\\"http://www.w3.org/1998/Math/MathML\\\" alttext=\\\"n times n\\\">\\n <mml:semantics>\\n <mml:mrow>\\n <mml:mi>n</mml:mi>\\n <mml:mo>×<!-- × --></mml:mo>\\n <mml:mi>n</mml:mi>\\n </mml:mrow>\\n <mml:annotation encoding=\\\"application/x-tex\\\">n\\\\times n</mml:annotation>\\n </mml:semantics>\\n</mml:math>\\n</inline-formula> complex matrices is a unitary similarity transformation.</p>\\n\\n<p>An operator systems approach to Toeplitz matrices yields new insights into the positivity of block Toeplitz matrices, which are viewed herein as elements of tensor product spaces of an arbitrary operator system with the operator system of <inline-formula content-type=\\\"math/mathml\\\">\\n<mml:math xmlns:mml=\\\"http://www.w3.org/1998/Math/MathML\\\" alttext=\\\"n times n\\\">\\n <mml:semantics>\\n <mml:mrow>\\n <mml:mi>n</mml:mi>\\n <mml:mo>×<!-- × --></mml:mo>\\n <mml:mi>n</mml:mi>\\n </mml:mrow>\\n <mml:annotation encoding=\\\"application/x-tex\\\">n\\\\times n</mml:annotation>\\n </mml:semantics>\\n</mml:math>\\n</inline-formula> complex Toeplitz matrices. In particular, it is shown that min and max positivity are distinct if the blocks themselves are Toeplitz matrices, and that the maximally entangled Toeplitz matrix <inline-formula content-type=\\\"math/mathml\\\">\\n<mml:math xmlns:mml=\\\"http://www.w3.org/1998/Math/MathML\\\" alttext=\\\"xi Subscript n\\\">\\n <mml:semantics>\\n <mml:msub>\\n <mml:mi>ξ<!-- ξ --></mml:mi>\\n <mml:mi>n</mml:mi>\\n </mml:msub>\\n <mml:annotation encoding=\\\"application/x-tex\\\">\\\\xi _n</mml:annotation>\\n </mml:semantics>\\n</mml:math>\\n</inline-formula> generates an extremal ray in the cone of all continuous <inline-formula content-type=\\\"math/mathml\\\">\\n<mml:math xmlns:mml=\\\"http://www.w3.org/1998/Math/MathML\\\" alttext=\\\"n times n\\\">\\n <mml:semantics>\\n <mml:mrow>\\n <mml:mi>n</mml:mi>\\n <mml:mo>×<!-- × --></mml:mo>\\n <mml:mi>n</mml:mi>\\n </mml:mrow>\\n <mml:annotation encoding=\\\"application/x-tex\\\">n\\\\times n</mml:annotation>\\n </mml:semantics>\\n</mml:math>\\n</inline-formula> Toeplitz-matrix valued functions <inline-formula content-type=\\\"math/mathml\\\">\\n<mml:math xmlns:mml=\\\"http://www.w3.org/1998/Math/MathML\\\" alttext=\\\"f\\\">\\n <mml:semantics>\\n <mml:mi>f</mml:mi>\\n <mml:annotation encoding=\\\"application/x-tex\\\">f</mml:annotation>\\n </mml:semantics>\\n</mml:math>\\n</inline-formula> on the unit circle <inline-formula content-type=\\\"math/mathml\\\">\\n<mml:math xmlns:mml=\\\"http://www.w3.org/1998/Math/MathML\\\" alttext=\\\"upper S Superscript 1\\\">\\n <mml:semantics>\\n <mml:msup>\\n <mml:mi>S</mml:mi>\\n <mml:mn>1</mml:mn>\\n </mml:msup>\\n <mml:annotation encoding=\\\"application/x-tex\\\">S^1</mml:annotation>\\n </mml:semantics>\\n</mml:math>\\n</inline-formula> whose Fourier coefficients <inline-formula content-type=\\\"math/mathml\\\">\\n<mml:math xmlns:mml=\\\"http://www.w3.org/1998/Math/MathML\\\" alttext=\\\"ModifyingAbove f With caret left-parenthesis k right-parenthesis\\\">\\n <mml:semantics>\\n <mml:mrow>\\n <mml:mrow class=\\\"MJX-TeXAtom-ORD\\\">\\n <mml:mover>\\n <mml:mi>f</mml:mi>\\n <mml:mo stretchy=\\\"false\\\">^<!-- ^ --></mml:mo>\\n </mml:mover>\\n </mml:mrow>\\n <mml:mo stretchy=\\\"false\\\">(</mml:mo>\\n <mml:mi>k</mml:mi>\\n <mml:mo stretchy=\\\"false\\\">)</mml:mo>\\n </mml:mrow>\\n <mml:annotation encoding=\\\"application/x-tex\\\">\\\\hat f(k)</mml:annotation>\\n </mml:semantics>\\n</mml:math>\\n</inline-formula> vanish for <inline-formula content-type=\\\"math/mathml\\\">\\n<mml:math xmlns:mml=\\\"http://www.w3.org/1998/Math/MathML\\\" alttext=\\\"StartAbsoluteValue k EndAbsoluteValue greater-than-or-equal-to n\\\">\\n <mml:semantics>\\n <mml:mrow>\\n <mml:mrow class=\\\"MJX-TeXAtom-ORD\\\">\\n <mml:mo stretchy=\\\"false\\\">|</mml:mo>\\n </mml:mrow>\\n <mml:mi>k</mml:mi>\\n <mml:mrow class=\\\"MJX-TeXAtom-ORD\\\">\\n <mml:mo stretchy=\\\"false\\\">|</mml:mo>\\n </mml:mrow>\\n <mml:mo>≥<!-- ≥ --></mml:mo>\\n <mml:mi>n</mml:mi>\\n </mml:mrow>\\n <mml:annotation encoding=\\\"application/x-tex\\\">|k|\\\\geq n</mml:annotation>\\n </mml:semantics>\\n</mml:math>\\n</inline-formula>. Lastly, it is noted that all positive Toeplitz matrices over nuclear C<inline-formula content-type=\\\"math/mathml\\\">\\n<mml:math xmlns:mml=\\\"http://www.w3.org/1998/Math/MathML\\\" alttext=\\\"Superscript asterisk\\\">\\n <mml:semantics>\\n <mml:msup>\\n <mml:mi />\\n <mml:mo>∗<!-- ∗ --></mml:mo>\\n </mml:msup>\\n <mml:annotation encoding=\\\"application/x-tex\\\">^*</mml:annotation>\\n </mml:semantics>\\n</mml:math>\\n</inline-formula>-algebras are approximately separable.</p>\",\"PeriodicalId\":377306,\"journal\":{\"name\":\"Transactions of the American Mathematical Society, Series B\",\"volume\":\"6 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2021-03-30\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"10\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Transactions of the American Mathematical Society, Series B\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1090/btran/83\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Transactions of the American Mathematical Society, Series B","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1090/btran/83","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 10

摘要

A. Connes和W.D. van Suijlekom最近的一篇论文[Comm. Math]。物理学报。383 (2021),pp. 2021 - 2067]识别n × n n的算子系统\times n Toeplitz矩阵与所有小于n次的三角多项式空间的对偶。本文通过明确地证明cones - van Suijlekom同构是算子系统的一个全序同构,对这一鉴定进行了较为详细的研究。应用包括矩阵分析中的两个特殊结果:(i) n × n n \times n个复矩阵的每一个正线性映射在Toeplitz矩阵的算子子系统中都是完全正的;(ii) n × n n \times n个Toeplitz矩阵的每一个线性幺正等距到所有n × n n \times n个复矩阵的代数中都是幺正相似变换。Toeplitz矩阵的算子系统方法对块Toeplitz矩阵的正性产生了新的见解,在此将其视为具有n × n n \times n个复Toeplitz矩阵的算子系统的任意算子系统的张量积空间的元素。特别地,当块本身是Toeplitz矩阵时,证明了最小正性和最大正性是不同的,最大纠缠的Toeplitz矩阵ξ n \xi _n在所有连续的n × n n的锥中产生一条极值射线\times n单位圆s1 S^1上的Toeplitz矩阵值函数ff,其傅里叶系数f ^ (k) \hat f(k)因k而消失|≥n |k| \geq最后,我们注意到所有核C * ^* -代数上的正Toeplitz矩阵都是近似可分的。
本文章由计算机程序翻译,如有差异,请以英文原文为准。
查看原文
分享 分享
微信好友 朋友圈 QQ好友 复制链接
本刊更多论文
The operator system of Toeplitz matrices

A recent paper of A. Connes and W.D. van Suijlekom [Comm. Math. Phys. 383 (2021), pp. 2021–2067] identifies the operator system of n × n n\times n Toeplitz matrices with the dual of the space of all trigonometric polynomials of degree less than n n . The present paper examines this identification in somewhat more detail by showing explicitly that the Connes–van Suijlekom isomorphism is a unital complete order isomorphism of operator systems. Applications include two special results in matrix analysis: (i) that every positive linear map of the n × n n\times n complex matrices is completely positive when restricted to the operator subsystem of Toeplitz matrices and (ii) that every linear unital isometry of the n × n n\times n Toeplitz matrices into the algebra of all n × n n\times n complex matrices is a unitary similarity transformation.

An operator systems approach to Toeplitz matrices yields new insights into the positivity of block Toeplitz matrices, which are viewed herein as elements of tensor product spaces of an arbitrary operator system with the operator system of n × n n\times n complex Toeplitz matrices. In particular, it is shown that min and max positivity are distinct if the blocks themselves are Toeplitz matrices, and that the maximally entangled Toeplitz matrix ξ n \xi _n generates an extremal ray in the cone of all continuous n × n n\times n Toeplitz-matrix valued functions f f on the unit circle S 1 S^1 whose Fourier coefficients f ^ ( k ) \hat f(k) vanish for | k | n |k|\geq n . Lastly, it is noted that all positive Toeplitz matrices over nuclear C ^* -algebras are approximately separable.

求助全文
通过发布文献求助,成功后即可免费获取论文全文。 去求助
来源期刊
CiteScore
1.70
自引率
0.00%
发文量
0
期刊最新文献
Duality theorems for curves over local fields Density of continuous functions in Sobolev spaces with applications to capacity 𝐶⁰-limits of Legendrian knots Multiple orthogonal polynomials, 𝑑-orthogonal polynomials, production matrices, and branched continued fractions Closed 𝑘-Schur Katalan functions as 𝐾-homology Schubert representatives of the affine Grassmannian
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
已复制链接
已复制链接
快去分享给好友吧!
我知道了
×
扫码分享
扫码分享
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1