{"entities":{"Q1947106":{"pageid":1957848,"ns":120,"title":"Item:Q1947106","lastrevid":71964681,"modified":"2026-04-14T01:44:41Z","type":"item","id":"Q1947106","labels":{"en":{"language":"en","value":"An Araki-Lieb-Thirring inequality for geometrically concave and geometrically convex functions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6153421"}},"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":"Q1947106$A3BA9145-1A78-486B-8451-5121E4C73E7C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0e34f326c63839bee27566243eb75395413c37ea","datavalue":{"value":{"text":"An Araki-Lieb-Thirring inequality for geometrically concave and geometrically convex functions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1947106$2686004C-F068-4426-B958-0B88267ABC18","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"492737d91f26390e83022ec0dfe2946d988e94d5","datavalue":{"value":"1275.15011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1947106$1C693E16-90F6-4F8E-9E29-AB8B2F9CAA3A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0c03efdd8b3b10832e13632baca4890bda8af54a","datavalue":{"value":{"entity-type":"item","numeric-id":426047,"id":"Q426047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1947106$5977AF7A-B30C-428A-96B0-3F0DCADF5E8D","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":"Q1947106$36C87AC8-D72D-4417-9738-10C344012B25","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"16b61607d3c9e95948e64c616265d1c851d4a4a4","datavalue":{"value":{"time":"+2013-04-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":"Q1947106$3B90AE01-88FB-463C-82CF-B148D4EFF578","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"de2f714d68ed3db912aec4252fc3891e523398e9","datavalue":{"value":"https://arxiv.org/abs/1204.3418","type":"string"},"datatype":"url"},"type":"statement","id":"Q1947106$A6D916F4-5DB4-4259-80C4-99F0D777CAA0","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c6b5c2b91f02f7dd419d073c17bef54eb0857f74","datavalue":{"value":"Denoting by \\({\\mathcal P}_n\\) the space of Hermitian positive definite \\(n\\times n\\) matrices, let \\(A,B\\in{\\mathcal P}_n\\). Define the log-submajorization relation \\(\\lambda(A)\\prec_{w(\\log)}\\lambda(B)\\) by weak majorization of logarithms of the spectra \\(\\lambda(A)\\) and \\(\\lambda(B)\\). The Araki-Lieb-Thirring inequality (\\textit{H.~Araki} [Lett. Math. Phys.~19, No. 2, 167--170 (1990; Zbl 0705.47020)], \\textit{E.~H.~Lieb} and \\textit{W.~E.~Thirring} [Stud. math. Phys., Essays Honor Valentine Bargmann, 269--303 (1976; Zbl 0342.35044)]) states that if \\(0<t\\leq 1\\), then \\(\\lambda(A^tB^t)\\prec_{w(\\log)}\\lambda^t(AB)\\), while the reverse holds if \\(t\\geq 1\\).  More generally, consider a continuous nonnegative function~\\(f\\) defined on an interval~\\(I=[0,x_0)\\) with \\(x_0>0\\) (possibly infinite). The author proves that \\(\\lambda(f(A)f(B))\\prec_{w(\\log)}f^2(\\lambda^\\frac{1}{2}(AB))\\) for all \\(A,B\\in{\\mathcal P}_n\\) with \\(\\lambda(A),\\lambda(B)\\subset I\\) if and only if \\(f\\) is geometrically concave (i.e. \\(\\sqrt{f(x)f(y)}\\leq f(\\sqrt{xy})\\) for all \\(x,y\\in I\\)) and \\(0\\leq xf'(x)\\leq f(x)\\) for all \\(x\\in I\\) where \\(f'(x)\\) exists. He also proves that the reverse holds if and only if \\(f\\) is geometrically convex (i.e. \\(\\sqrt{f(x)f(y)}\\geq f(\\sqrt{xy})\\) for all \\(x,y\\in I\\)) and \\(xf'(x)\\geq f(x)\\) for all \\(x\\in I\\) where \\(f'(x)\\) exists.  As an application, the author provides a complementary inequality to the Golden-Thompson inequality.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1947106$0B0BFBC2-0D75-4D0B-B3BC-456416C9F70A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c21603f2a2de72aea22ccf7830ccc0f1291fe832","datavalue":{"value":"15A42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1947106$FA4C0602-E650-4514-808D-B9C40A931756","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"de015211c641081855981090b49964fceb04e0c6","datavalue":{"value":"15A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1947106$78513687-B999-47C9-87D9-FBFC2C0519FC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ef7e2f019126a36e42f1048e8d231de3609230d3","datavalue":{"value":"6153421","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1947106$BA2E10DE-3E49-493E-A6C0-FDBA967D51EE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b81c3e5087c193ff88a68ba58aed06f007a811e0","datavalue":{"value":"log-majorization","type":"string"},"datatype":"string"},"type":"statement","id":"Q1947106$2B1B59AA-34D5-4B6A-8CC4-6E62F275CFE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3e6e267941dc5c943162efa8d5e23938ac8b183","datavalue":{"value":"matrix inequalities","type":"string"},"datatype":"string"},"type":"statement","id":"Q1947106$E44DEB06-35B8-4634-A622-106BF4008E2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de79e2de4c2a74f48c915af4a89b8c9e7f74bd7f","datavalue":{"value":"inequalities involving eigenvalues","type":"string"},"datatype":"string"},"type":"statement","id":"Q1947106$BD91C522-5424-4AB7-AD32-53D6C49802EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df51e5f3295e7464ac31b2a2726cadd984e8706a","datavalue":{"value":"Hermitian positive definite matrices","type":"string"},"datatype":"string"},"type":"statement","id":"Q1947106$60025655-75BC-47E5-9265-DFB8BF920339","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"162096d710f9ec59d6b3b8db08dda562689a18cd","datavalue":{"value":"Araki-Lieb-Thirring inequality","type":"string"},"datatype":"string"},"type":"statement","id":"Q1947106$EBC0AAAB-ABEB-4064-B64D-24F71F7AFB67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e116a7e93bc624443d0778044e91d6f02f65ae3d","datavalue":{"value":"Golden-Thompson inequality","type":"string"},"datatype":"string"},"type":"statement","id":"Q1947106$FF8EEBE7-6217-4F32-9A49-F346CAFB3B89","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"982db592c7fdfabf3011cbaf76d1b6ec541c138d","datavalue":{"value":{"entity-type":"item","numeric-id":583322,"id":"Q583322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1947106$E219597B-77E4-43DC-AC24-CB1559E9875E","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":"Q1947106$9E3273EA-33C9-40B6-8828-7CFCEB1F67A9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fabfc722265a7e9946b1e267cb81e4b81e11a716","datavalue":{"value":"W2067469895","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1947106$271FB582-A43B-4175-B0F2-F1ED7FC1C777","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5b61c3da9d231fbbedeb566637c04eacec4dc86","datavalue":{"value":{"entity-type":"item","numeric-id":1319983,"id":"Q1319983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1947106$31B85ABD-74F6-4B8D-AE41-9FA7F0F24C92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c52dcd09d4b1b9bdd1e777d9335fc413957c88a2","datavalue":{"value":{"entity-type":"item","numeric-id":917878,"id":"Q917878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1947106$13480952-1397-4B6C-BA07-B5D33EC17057","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e70260c20228956b97f954e0e53553a8da0f8c28","datavalue":{"value":{"entity-type":"item","numeric-id":426048,"id":"Q426048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1947106$FFD5DA92-BB12-483A-9AF8-26D1595CAC2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b019c637b9f56f41f52dfdcd4407db104ead66e4","datavalue":{"value":{"entity-type":"item","numeric-id":884407,"id":"Q884407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1947106$C2D32D5E-A4F9-4B8F-8664-BD6BC6BCD8FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"526da4e8b157c8def9d01f763d00948c9f76ef16","datavalue":{"value":{"entity-type":"item","numeric-id":5906837,"id":"Q5906837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1947106$083705B3-4D49-445B-BCF1-CB675A62FA1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0818046270b04bdc6c00ca75de30371a33fd5b4","datavalue":{"value":{"entity-type":"item","numeric-id":2249722,"id":"Q2249722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1947106$9394CCA2-3FA6-4464-ABD7-03EA643E4308","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d460de4e14b432993dcc1b58f234b88a395f961d","datavalue":{"value":{"entity-type":"item","numeric-id":1209407,"id":"Q1209407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1947106$5090A1A2-664E-401B-A67B-4ADBF6440C88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6e53deb5efbefc1f8aabd8ed462795003a218aa","datavalue":{"value":{"entity-type":"item","numeric-id":4090277,"id":"Q4090277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1947106$F481B426-19DE-4F46-BB56-D1B043093F57","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"12912445676a852fa2931fe3d35ee027d9e4198a","datavalue":{"value":"10.1016/J.LAA.2013.01.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1947106$4725B057-A272-4F3B-89F6-51F849D23FEB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0bc0d477bd7587a5087c9e27dbfbfd2c8d3cd872","datavalue":{"value":{"entity-type":"item","numeric-id":884407,"id":"Q884407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bbfb4e98470cd461b685d8e325399487461d3802","datavalue":{"value":{"amount":"+0.76507354","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1947106$C4E8D020-0DEC-41AD-BEE8-684C4046EDA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"231f004958aa21448f0fada36c60789f59fb1c55","datavalue":{"value":{"entity-type":"item","numeric-id":2822021,"id":"Q2822021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ccbb27e764309946cbfc2b4c2a1cca31947b4a4","datavalue":{"value":{"amount":"+0.7634482","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1947106$B62281E2-F824-482E-9E87-A3DD6B438A71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2db117639c69141af5f2e6d5384670d356c0efb5","datavalue":{"value":{"entity-type":"item","numeric-id":782506,"id":"Q782506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce53426b2c109cafe7da876e579d7c3a9ebc182d","datavalue":{"value":{"amount":"+0.75943184","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1947106$867CC79C-398C-4E8A-A145-C377B646E285","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f8e80d72fcc9729288b6b8617ea9352d90bf9aa","datavalue":{"value":{"entity-type":"item","numeric-id":5870064,"id":"Q5870064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0296d8f14192a73e80972b51b898c2a0bf5b54e","datavalue":{"value":{"amount":"+0.73482263","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1947106$967A138F-5D8D-4DED-A3CD-A2DA072350A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6bcb4a5b3b7c03008c3f15c5244153131b15d431","datavalue":{"value":{"entity-type":"item","numeric-id":273116,"id":"Q273116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98db44dd3d6652db6a98ccb0148557f64849c3ec","datavalue":{"value":{"amount":"+0.7329192","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1947106$C65B10DE-76E5-4BA5-8958-1797091EDE86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6624bb1a228b6e2bfd5a12326ce763be7c2dba91","datavalue":{"value":{"entity-type":"item","numeric-id":5717289,"id":"Q5717289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49d114c95f0a11ca86651495479bd716308e2473","datavalue":{"value":{"amount":"+0.72643113","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1947106$D62EC50A-F03E-4471-B822-A114396071A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e7d603c2edaa83211320bc6ea25da1ef6026e92","datavalue":{"value":{"entity-type":"item","numeric-id":3126192,"id":"Q3126192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3f9a72c570a5a4caf967e8d1a3932d02b633e3e","datavalue":{"value":{"amount":"+0.72421175","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1947106$2B5BFD71-4B34-42B6-A527-3F44EC037F82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d9c9a555489def4b0cda02282e9557106eab502","datavalue":{"value":{"entity-type":"item","numeric-id":4373332,"id":"Q4373332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a84186145905e21614a5402e7c371a090396350f","datavalue":{"value":{"amount":"+0.7234236","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1947106$24DF2B15-127D-4FCF-8216-21DC080B63F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01cc29fef80bf960198e7b8af1f547f9ef5efecf","datavalue":{"value":{"entity-type":"item","numeric-id":2309684,"id":"Q2309684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6bb0ba9411bc7961cd05271950a4cb715b12190e","datavalue":{"value":{"amount":"+0.722861","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1947106$A8067C5C-DB98-46FC-9C4F-B379E050C7FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a90fae7e1c0ed9dd3f919f95aac3b52f3aa80458","datavalue":{"value":{"entity-type":"item","numeric-id":1399932,"id":"Q1399932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1dbb75f15df7113917c6d6ca26dddfd355e37e37","datavalue":{"value":{"amount":"+0.72141314","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1947106$BFB5CB5D-A9DC-48A5-9D29-26C5A8416231","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An Araki-Lieb-Thirring inequality for geometrically concave and geometrically convex functions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_Araki-Lieb-Thirring_inequality_for_geometrically_concave_and_geometrically_convex_functions"}}}}}