{"entities":{"Q2226400":{"pageid":2237143,"ns":120,"title":"Item:Q2226400","lastrevid":53932688,"modified":"2026-01-25T23:09:14Z","type":"item","id":"Q2226400","labels":{"en":{"language":"en","value":"Off-diagonal corners of subalgebras of \\(\\mathcal{L}(\\mathbb{C}^n)\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7309722"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2226400$C41C5105-2E13-4CB8-A37C-B520A8A0365A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8c94421be142e794ffbe1a16d60553771c973776","datavalue":{"value":{"text":"Off-diagonal corners of subalgebras of \\(\\mathcal{L}(\\mathbb{C}^n)\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2226400$9EB2516D-F3EE-4543-A91F-BE43C256B538","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"60a908fe7443fc16b5dddaae894ad7c9d0b8d697","datavalue":{"value":"1469.15022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2226400$63A5D0B9-7348-4FD1-847A-71C0185FC783","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8de031de05325b44570d0c47c3ec8813873d565c","datavalue":{"value":{"entity-type":"item","numeric-id":92813,"id":"Q92813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2226400$41012597-702D-4086-8D0A-7B915F3D0BF6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fc16115bc20ec07c69d512e55acff91bd000c17b","datavalue":{"value":{"time":"+2021-02-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2226400$6654296D-FE2D-4F7C-818B-E4F793576865","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"91a673335c06af4f6ea74883e9467cc101252741","datavalue":{"value":"Every \\(\\mathcal{C}^\\ast\\)-subalgebra \\(\\mathcal{A}\\subseteq M_n(\\mathbb{C})\\) is unitarily equivalent to a direct sum of subalgebras of the form \\( M_m(\\mathbb{C})\\otimes I_n\\) for suitable integers \\(m,n\\). A possible way to prove this is to partition the identity of \\(\\mathcal{A}\\) by pairwise orthogonal (self-adjoint) projections \\(P_i\\) for which \\(\\dim P_i\\mathcal{A} P_i=1\\) and then argue that the dimensions of the off-diagonal blocks satisfy \\(\\dim P_i\\mathcal{A}P_j\\le 1\\).  The present paper provides a kind of converse to this. Given a fixed nontrivial projection \\(P\\in M_n(\\mathbb{C})\\) the aim is to find the upper bound on the dimension of unital subalgebras \\(\\mathcal{A}\\subseteq M_n(\\mathbb{C})\\) when the dimension of their off-diagonal block, \\(\\dim(I-P)\\mathcal{A}P=d\\), is given.  Without additional assumptions this question is too general for a definite answer. For example, one can take any unital subalgebras \\(\\mathcal{A}\\subseteq M_m(\\mathbb{C})\\) and \\(\\mathcal{B}\\subseteq M_n(\\mathbb{C})\\) and form the algebra \\(\\mathcal{C}= \\mathcal{A}\\oplus \\mathcal{B}\\subseteq M_{m+n}(\\mathbb{C})\\) whose \\((2,1)\\) off-diagonal block is zero-dimensional. For this reason, the authors restrict themselves to {essential} off-diagonal blocks, that is, they assume that the operators in \\((I-P)\\mathcal{A}P|_{\\mathrm{ran}(P)}\\) annihilate no common nonzero vector and that their ranges are not contained in a common proper subspace.  Under these assumptions, it is shown that any unital subalgebra \\(\\mathcal{A}\\subseteq M_n(\\mathbb{C})\\) satisfies \\[\\dim\\mathcal{A}\\le d(1+d)^2, \\qquad d=\\dim (I-P)\\mathcal{A}P,\\] and, modulo a constant factor, the estimate is asymptotically sharp.  The upper bound is improved to \\(\\dim\\mathcal{A}\\le 2d^2+d-1\\) (asymptotically sharp modulo a constant factor \\(2\\)) when the off-diagonal block \\((I-P)\\mathcal{A}P|_{\\mathrm{ran}(P)}\\) contains an operator of maximal rank and \\(\\mathrm{rank}\\, P\\le \\mathrm{rank}\\, (I-P)\\); if, in addition, \\(\\mathrm{rank}\\, P=\\mathrm{rank}\\, (I-P)\\) the upper bound is further improved to \\(\\dim\\mathcal{A}\\le 4d\\) (sharp).   With additional assumptions on the essential off-diagonal block much more can be said. We merely mention here two results that the authors obtain:  (i) A complete classification of unital algebras admitting a one-dimensional essential off-diagonal block -- such a block must necessarily be square-sized and must contain an invertible operator while the corresponding algebras are at most four-dimensional.  (ii) If a unital algebra \\(\\mathcal{A}\\) admits a square-sized, essential off-diagonal block of dimension two, then \\(\\dim\\mathcal{A}\\le 8\\) and this is further reduced to \\(\\dim\\mathcal{A}\\le 4\\) when the off-diagonal block does not contain an invertible operator.  The final chapter discusses which \\(\\mathcal{C}^\\ast\\)-subalgebras of \\(M_{2n}(\\mathbb{C})\\) admit an essential off-diagonal square-sized block of dimension two. The dimension of such algebras is between three and eight and they are thus \\(\\ast\\)-isomorphic to (i) \\(M_2(\\mathbb{C})\\oplus M_2(\\mathbb{C})\\) or (ii) \\(\\mathbb{C}^k\\) or (iii) \\(M_2(\\mathbb{C})\\oplus \\mathbb{C}^k\\) for suitable integer \\(k\\). A case-by-case study shows that type (ii) admits an embedding into a suitable \\(\\mathbb{C}^{2n}\\) with required off-diagonal block only when \\(k=3,4\\) and type (iii) only when \\(k=0,2\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q2226400$1C5F72EB-2E65-4796-9352-D3BE17CAFE0A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f0b321fafd33da205994db3b946bd7cfe9a54983","datavalue":{"value":"15A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2226400$068A73E3-0A33-417A-9892-AD6114AC2623","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8ae725184e1961ef7947145f98520e745bd9a62c","datavalue":{"value":"15A29","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2226400$BAE24F97-2CB0-44D5-87CE-7972BD4FEC4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4a6c6840ed6ccc38a95b421c87c1ec55f8094382","datavalue":{"value":"15A45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2226400$D06CDB93-BA55-4AD5-B457-2257F1D8FB8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"913d3990e83d8adef69305bd4ca0e422b9869252","datavalue":{"value":"16S50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2226400$22546C28-C2CD-44C5-B1D8-42E8E10D84DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e73dd8991ffca1675ec56753e6bf4b685a528e24","datavalue":{"value":"47L05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2226400$7C471453-4B83-4FB0-907C-4BD765B0A494","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"33786a1993777ef77f49a5bc3afb174e1b299805","datavalue":{"value":"46L35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2226400$93D6BC09-2CC6-468A-A0E3-7A1746371223","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2744d5de63049115e434e4794f5b7164dcf12aeb","datavalue":{"value":"7309722","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2226400$555FCEE5-0371-4980-956D-C8211A230CFA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e34a744d7fc3989d804336b3a8646e622b4c7544","datavalue":{"value":"essential subspaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q2226400$EE3B3B19-0177-4C3F-9C06-5E992C84BF12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"afcc7ebb8f5c1ddbc08d1223d7b935db18549429","datavalue":{"value":"off-diagonal corners","type":"string"},"datatype":"string"},"type":"statement","id":"Q2226400$075D4864-60EF-4F0D-9A23-FF6F573E5F71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"359cfdfc42f349487ef861e04040ec53cf3c56e6","datavalue":{"value":"compressions of matrices","type":"string"},"datatype":"string"},"type":"statement","id":"Q2226400$1320A784-20A1-4AA1-8220-2DA7C1A01027","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9e73a0711d239a48562b352aff49349dce20367d","datavalue":{"value":{"entity-type":"item","numeric-id":335023,"id":"Q335023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2226400$EA64DD36-492D-4A6E-815B-39E8202A8C40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"482375b3429509d04ff744852bca4818a19eb1ab","datavalue":{"value":{"entity-type":"item","numeric-id":169263,"id":"Q169263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2226400$2E29F691-CEC6-41A3-9A1D-D82295710CF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"370199de28e30da14020a4c1afc83b571f26e3e6","datavalue":{"value":{"entity-type":"item","numeric-id":285497,"id":"Q285497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2226400$95176761-5BE8-475D-8AEE-F182244A4385","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"4e1c1de093efa3b573832541e33189146ffbf3f6","datavalue":{"value":{"entity-type":"item","numeric-id":208130,"id":"Q208130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2226400$198EC62A-920B-437F-AB68-A50D21614D07","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2226400$C7B73086-4336-4B52-B5BF-1F39E968DA67","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1c56e9c37b68e5081b622f697ed7d1c178ec125d","datavalue":{"value":"https://doi.org/10.1016/j.laa.2020.07.036","type":"string"},"datatype":"url"},"type":"statement","id":"Q2226400$AABA8975-749D-4332-9E82-F05C1501587A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3f9b1d55869805c7f0d6c281d933650ccb52f5e6","datavalue":{"value":"W3047112653","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2226400$6363C296-0379-4C04-BBE1-9EEA5F60AE5D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ec40c3117045380a96f8a8fc75540dd1d1db492","datavalue":{"value":{"entity-type":"item","numeric-id":939145,"id":"Q939145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2226400$393B0CF1-26EB-4E51-95F9-7C3AFCFCFB6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a42b037cf0591f39f2b6ee0072ab351ce4f89d7","datavalue":{"value":{"entity-type":"item","numeric-id":1635684,"id":"Q1635684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2226400$A271ED46-3598-4D00-B5BE-A523751909D0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fb6044fb588ade5f0132904175e25bd7f21de501","datavalue":{"value":"10.1016/J.LAA.2020.07.036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2226400$0CF7FB72-6385-46C7-9013-A1D88FAD6D6A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6807eb1fe73f709fddac7b30b04955485be53260","datavalue":{"value":{"entity-type":"item","numeric-id":5139050,"id":"Q5139050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"031be8aa81af638daf4d8a88a2bd81a7f45dba72","datavalue":{"value":{"amount":"+0.701287031173706","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2226400$197FD688-578D-48B9-9ED2-74049F3DE187","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c7105e9e14208fda1296e616afe97445aba8bc1","datavalue":{"value":{"entity-type":"item","numeric-id":2427928,"id":"Q2427928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9e5f6a8b496bc668cae54cac45b887f67124eb8","datavalue":{"value":{"amount":"+0.696523904800415","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2226400$29DAEC6B-40C1-48A4-A805-7CC980F766A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a415ee6a0666e057fc85ac7737f84a367c5980e7","datavalue":{"value":{"entity-type":"item","numeric-id":444548,"id":"Q444548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e6f29abefb6554a2724ba4daa164a1c0a2c3798","datavalue":{"value":{"amount":"+0.6941526532173157","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2226400$CFD495F7-01AE-486D-8CC3-C3BF5C5FCB36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c8eb1bc38042918a0f3699e5a42e7869a837ab8","datavalue":{"value":{"entity-type":"item","numeric-id":4235383,"id":"Q4235383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"feeb38c17a2c17ccb3195ae090dd82cb2cff997a","datavalue":{"value":{"amount":"+0.6935610175132751","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2226400$638ADB82-2C60-4AEC-8663-9A11569853A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"814afe8a783e19ca4de696a271cfb63344233d95","datavalue":{"value":{"entity-type":"item","numeric-id":3763107,"id":"Q3763107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be8c9818a2c2d4f44bcdfbf9394ab3ace54aeed8","datavalue":{"value":{"amount":"+0.6926735639572144","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2226400$90C6133E-835F-4A4A-B3F3-96D50CB912E9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2226400","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2226400"}}}}}