{"entities":{"Q1306266":{"pageid":1317016,"ns":120,"title":"Item:Q1306266","lastrevid":57342183,"modified":"2026-03-30T13:56:11Z","type":"item","id":"Q1306266","labels":{"en":{"language":"en","value":"Maximality of the microstates free entropy for \\(R\\)-diagonal elements"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1344300"}},"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":"Q1306266$372B001E-78BB-485F-AA78-A4255470D34F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"640a59f682bf3a1697d02f5115ba28d6ddae4a7d","datavalue":{"value":{"text":"Maximality of the microstates free entropy for \\(R\\)-diagonal elements","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1306266$BB0470D1-7364-4CFD-8757-666E90FE1B90","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"70f0e9d24ea97c7e5224936abd06ea742d362244","datavalue":{"value":"0958.46035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1306266$C3565A11-695F-4EC2-8815-C16604F78066","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"48181247d382f58e6ccd5b85a20726459ce98481","datavalue":{"value":{"entity-type":"item","numeric-id":492698,"id":"Q492698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1306266$4EE91D2A-5A77-4399-BE7D-69E9929093AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"11c51add6c06b92a7412e28ccf3bf2f806cf28e6","datavalue":{"value":{"entity-type":"item","numeric-id":196292,"id":"Q196292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1306266$4B7C53DE-13D0-4A39-9BBC-6217CD0C0F8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7265c544daaedbe9f38cc69f125af66470444b3e","datavalue":{"value":{"entity-type":"item","numeric-id":210680,"id":"Q210680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1306266$BF8928A4-EA68-4C88-82C2-6312695ACF15","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"edf18db5439a683e98eaf3205ba65f05cfd68a4d","datavalue":{"value":{"entity-type":"item","numeric-id":161301,"id":"Q161301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1306266$D098F9D8-0EEE-45D7-B007-56E7913602C4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b75bb4814c2bf285f873da0d0a308eb99ddd7a4c","datavalue":{"value":{"time":"+2000-08-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1306266$342B221B-516E-48E5-9A54-9017681BABBA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"83c0c54894ba3d77822baed857a25355f9be2812","datavalue":{"value":"https://arxiv.org/abs/math/9809081","type":"string"},"datatype":"url"},"type":"statement","id":"Q1306266$83BFB6B4-6ED3-47A8-B7AD-E630D0B52FF9","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f9cce5163c354af1a9354b980c3b1897c2d10820","datavalue":{"value":"The main theorem is the following. Let \\((M,\\tau)\\) be a tracial noncommutative W\\(^{\\ast }\\)-probability space. Let \\(y = vb\\) be a polar decomposition, \\(u\\) be unitary with \\(\\tau (u^{k}) = 0\\) for all \\(k \\neq 0\\) (called a Haar unitary), \\( \\ast \\)-free from \\(b\\), and let \\(\\chi\\), \\(\\chi ^{s a}\\), \\(\\chi^{\\omega }\\), \\(\\chi ^{sa \\omega }\\), where \\(\\omega\\) is an ultrafilter on \\({\\mathbb N}\\), defined by no \\(n \\in {\\mathbb N}\\) (the complete definitions are given in the paper) be the free entropies. Then  \\[ \\chi (y) \\leq \\chi (ub) = \\chi ^{sa} (b ^{2 }/2)+(3/4)+(1/2)\\log 2 \\pi = 2 \\chi ^{sa} (2^{-1/2} x) \\]  if \\(\\tau (x ^{2k+1}) = 0\\), \\(\\tau (x ^{2k}) = \\tau (b ^{2k})\\) for all \\(k \\in {\\mathbb Z}\\). Also, if \\(\\chi (y) = \\chi (ub)> -\\infty\\), then \\(v\\) is Haar unitary \\( \\ast \\)-free from \\(b\\) (\\(y\\) is R-diagonal). Same result for \\(\\chi ^{\\omega }\\). The proof, taking into account the definitions, contains a good deal of calculations with measures on the corresponding matrix spaces. Let us also mention, for \\(y _{i } = v _{i } b _{i}\\), \\(z _{i } = v_{i}(2f(b_{i} ^{2}/2))^{1 / 2}\\) (polar decompositions), the lemma  \\[ \\chi (z_{1},\\dots,z _{n}) = \\chi (y_{1 },\\dots,y _{n})+\\sum _{j} \\iint \\log (|f(s)-f(t)|/|t-s|) d \\mu (s) d \\mu (t), \\]  \\(\\mu\\) being the distribution of \\(b _{i} ^{2}/2\\). Generalization of the theorem: Let \\(Z = \\sum _{i,j = 1} ^{d } X _{ij} \\otimes e _{ij}\\), \\(e _{ij}\\) being matrix units. Then:  \\[ \\chi ^{d \\omega }(\\{ X _{ij}\\}) \\leq d ^{2} \\chi ^{\\omega } (Z)-d ^{2}\\log d \\leq 2d ^{2} \\chi ^{sa} (2 ^{-1/2} X)-d ^{2}\\log d, \\tag{a} \\]  where \\(\\tau (X ^{2k+1})= 0\\), \\(\\tau (X ^{2k}) = \\tau ((Z ^{\\ast }Z) ^{k})\\),    (b) if \\(Z\\) is R-diagonal and \\( \\ast \\)-free from \\( \\{1 \\otimes e _{ij}\\); \\(i,j = 1,\\dots,d \\} \\), then we have equalities in (a),    (c) if we have equalities in (a) and \\(\\chi ^{sa} (2 ^{-1/2}X) \\neq - \\infty\\), then \\(Z\\) is as in (b).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1306266$BB215D99-624F-41B4-A481-A747A4FCE30A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6ca05ce9dd89f7ece29e36e186d79a04e64d60c","datavalue":{"value":"46L54","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1306266$16B70CFA-1210-4AE0-BE08-CF6666542F2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"123f0d739dda45913e185b14a0814eda0fd52757","datavalue":{"value":"46L53","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1306266$F313DBB5-89B9-409A-95A1-94CBC364D64C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"09cab01279a6481caa214fe02e6f613ba5a77547","datavalue":{"value":"1344300","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1306266$AD2F4FFF-69FE-4ADC-A0CC-C46BCAD837BB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"44c1b3706aef8d6ddd1d875b14e630bbd577631e","datavalue":{"value":"rracial noncommutative \\(W^*\\)-probability space","type":"string"},"datatype":"string"},"type":"statement","id":"Q1306266$18D45434-9BFF-4624-8CB3-000CA9BB4193","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"803e7aa4805f6a4c418650bbd04ac7132b3a501c","datavalue":{"value":"Haar unitary","type":"string"},"datatype":"string"},"type":"statement","id":"Q1306266$0FBEF011-E8E4-4DB7-9483-92B87BCBA4C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3647ab6f480bd7fa7cf1154cc2adec26aba83e7f","datavalue":{"value":"free entropy","type":"string"},"datatype":"string"},"type":"statement","id":"Q1306266$6FB3B898-C928-4501-8DC1-513E1D8DCE53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dfe98e010de6575447f2c0f0e6276e49bf162c57","datavalue":{"value":"ultrafilter on \\({\\mathbb N}\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q1306266$57FF4DDD-AFE6-4F6E-B233-667814DBB644","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"240665897b6aaa15b127c0c4fb4b9de94cd94446","datavalue":{"value":{"entity-type":"item","numeric-id":1400142,"id":"Q1400142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1306266$CBC6C786-FD58-423E-AD85-88B470950172","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":"Q1306266$AE62B153-6FFB-447C-9EC8-320478F8BC15","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7cf7ebfded34d36f315b2f5df2df9284acf82dc5","datavalue":{"value":"W2963410053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1306266$16DA8A41-00A8-46A2-ABAD-F2FC6058A3AD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"437e4f0ebb8fb968ed82b64045b885412adf636b","datavalue":{"value":"10.2140/PJM.1999.187.333","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1306266$28651C4A-8202-4784-BE2D-09D542A3FCD1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e071733c3f8ae65f164def7bfca6c589711c3bc4","datavalue":{"value":{"entity-type":"item","numeric-id":1809302,"id":"Q1809302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab662495d0e29e3bc54b3d56f97ec3a7bef20f14","datavalue":{"value":{"amount":"+0.8168092370033264","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":"Q1306266$F7AE7CF2-4DBC-4D96-A8DB-52C1FFB1B80C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3336ce9e69092d28c68a153dcec637ed5c6e4ac","datavalue":{"value":{"entity-type":"item","numeric-id":1340632,"id":"Q1340632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f358000a604806d86281c0d47e7ab4df799c990c","datavalue":{"value":{"amount":"+0.7999144196510315","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":"Q1306266$6A3BD06C-BA4C-4972-A8D5-574430FB65A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52721b79ca23827310fc8898e4c87b35eb006cd1","datavalue":{"value":{"entity-type":"item","numeric-id":2715674,"id":"Q2715674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5569e09f0a4663b7827297b2859d1e0a7d712ef7","datavalue":{"value":{"amount":"+0.7942203879356384","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":"Q1306266$A1509FFA-B2D4-4374-AB81-BA8547C06F9B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1306266","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1306266"}}}}}