{"entities":{"Q2431639":{"pageid":2442382,"ns":120,"title":"Item:Q2431639","lastrevid":74117739,"modified":"2026-04-14T18:25:47Z","type":"item","id":"Q2431639","labels":{"en":{"language":"en","value":"Trace-positive polynomials."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5879442"}},"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":"Q2431639$01F38D3E-CA88-4E78-926A-5A53478B40CA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ec4dee6eaa2bf67da58496871539c209b390d6d0","datavalue":{"value":{"text":"Trace-positive polynomials.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2431639$0D3A2AFF-3B43-4FA3-B5FB-D4F14A835C9B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dd9a20d5385694f1a32aee07382924a96d911395","datavalue":{"value":"1232.16026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2431639$F1583FC5-5D6E-4C04-BCB7-469ED5E9BBDD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"25f1890b3c6d420919d828d76c0ba58d5914e4b6","datavalue":{"value":{"entity-type":"item","numeric-id":249528,"id":"Q249528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2431639$978FDC80-0BC8-4829-8D6F-C678D57131EC","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":"Q2431639$A8BE7219-5269-497D-994E-4A4CC4FC1B9E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7108bdef27ecb6b78a137dfed0c43999a07a4351","datavalue":{"value":{"time":"+2011-04-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2431639$A1D35FE2-0E21-4896-B5CC-329DB9C55CEA","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"69a575b5b7fed776c1f08aaa711de22186ce1959","datavalue":{"value":"Let \\(R\\) be an associative ring with identity and an involution \\(a\\mapsto a^*\\), where \\((a+b)^*=a^*+b^*\\), \\((ab)^*=b^*a^*\\) and \\(a^{**}=a\\) for all \\(a,b\\in R\\). An element \\(a\\in R\\) is said to be symmetric if \\(a^*=a\\). The elements of the form \\(aa^*\\) and \\(ab-ba\\) (\\(a,b\\in R\\)) are called Hermitian squares and commutators, respectively.   Let \\(k\\) be the field of the real or complex numbers. If \\(R=M_d(k)\\) is the ring of all square matrices over \\(k\\) of a fixed size \\(d\\geq 1\\), then the usual complex conjugate transposition * of matrices is an involution in \\(R\\).   Let \\(X=(x_1,x_2,\\dots,x_n)\\) and \\(X^*=(x^*_1,x^*_2,\\dots,x^*_n)\\) denote tuples of \\(n\\) distinct variables and let \\(\\langle X,X^*\\rangle\\) be the free semigroup on \\(X\\) and \\(X^*\\). Then the semigroup algebra \\(k\\langle X,X^*\\rangle\\) over \\(k\\) is a ring with involution * mapping \\(x_i\\mapsto x^*_i\\) and extending complex conjugation on \\(k\\). Suppose that \\(f(X,X^*)\\) is a symmetric element of \\(k\\langle X,X^*\\rangle\\) and \\(\\text{tr}(f(A,A^*))\\geq 0\\) for all \\(A\\in M_d(k)^n\\). The main result of this paper asserts that there exist polynomials \\(c,g\\in k\\langle X,X^*\\rangle\\) such that \\(c\\) is a nonvanishing central polynomial for \\(d\\times d\\) matrices, \\(g\\) is positive semidefinite on \\(d\\times d\\) matrices and \\(cfc^*-g\\) is a sum of commutators in \\(k\\langle X,X^*\\rangle\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q2431639$95AFCB74-57D6-4D73-A398-C2697B60A9C9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e8436fa6383d5cf49e2aac5112558e08842a6b4e","datavalue":{"value":"16W10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2431639$5C30CCD3-B526-46F0-B474-2577FE35F029","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"56f6cb78b8b768b93c9cf2d5633d372df4b15dd5","datavalue":{"value":"16R50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2431639$A6627284-AFFC-4870-8529-0AE378BE5300","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"495845c8213cf842ac820948f1353b4cef3062a2","datavalue":{"value":"11E25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2431639$64E28799-16AE-42E1-87AA-33C64B47863D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"379993e49d6b3bf4f928ea97a76d4470fec7f1af","datavalue":{"value":"15B48","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2431639$8EC72596-8983-477E-9E93-065791CC7DAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9869d6727426fa925115c8692e8e1b59eda63fae","datavalue":{"value":"16S10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2431639$193260CB-0829-48DE-AB35-369E2C98B5F2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"52242f4db1bf74cdbcbeb541ffb1a81149592702","datavalue":{"value":"5879442","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2431639$DE6BE22B-2520-4D2D-81F1-572E74165EB7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d10530f0426568d4f2df4a2a102e29fd301ff4a","datavalue":{"value":"free algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q2431639$9BAC4FE4-CD1F-4986-8F30-C0EF11E5CCE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a80d7da4dd4fee663f753b1d5ca399f2f575ecd","datavalue":{"value":"noncommutative polynomials","type":"string"},"datatype":"string"},"type":"statement","id":"Q2431639$B752318C-4468-4671-A8BA-B1BED1BA3410","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ffce062d938eb8a74bd6c106406ac62d4c7e00d","datavalue":{"value":"central limit algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q2431639$073DA104-374E-4763-BA13-BF99935E33B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6ce889a8a92a5adf9884f2ba6068fac0f7d64b3","datavalue":{"value":"traces","type":"string"},"datatype":"string"},"type":"statement","id":"Q2431639$F8D6AD28-274E-4CEE-967A-481167F77A5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"233d1ef190369a24a1057a03c61a601b48485d67","datavalue":{"value":"involutions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2431639$494B3049-E686-4EA2-95C6-60D8CF558C12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"031b75f41739910267c307c1ec033cb094da08d7","datavalue":{"value":"central polynomials","type":"string"},"datatype":"string"},"type":"statement","id":"Q2431639$EAFC7556-1D39-49FA-AEC2-B6AEAA8334D1","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"b5f763710096c3af028fc4188777c3d78bfacdbe","datavalue":{"value":{"entity-type":"item","numeric-id":592048,"id":"Q592048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2431639$E7CA74D7-E54A-4C8B-9416-2701C0580BA5","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":"Q2431639$350A0D69-10D5-41F3-AA11-196A52F793D5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ae172ed18d15fc912effe2e059a07c93a99556cd","datavalue":{"value":"https://doi.org/10.2140/pjm.2011.250.339","type":"string"},"datatype":"url"},"type":"statement","id":"Q2431639$1EF5EA38-699C-4D64-B890-CC248FD4E73F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0341296b03b44a2bc1c9cfbbc9dff99c12f5f199","datavalue":{"value":"W2029222937","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2431639$726FD1B9-F967-478C-AA30-34B7ECF5C361","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1c95ab0a967bd945e78851eaeeba2e1ebaf52486","datavalue":{"value":"10.2140/PJM.2011.250.339","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2431639$0687116A-ABD5-4F43-9B0B-1A9926A26EFB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"355e9cd6b80f35ba20c3256898411dfc1b0440c6","datavalue":{"value":{"entity-type":"item","numeric-id":2019288,"id":"Q2019288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae114f849b8fa621976b15b6f0fb5485bfe5b7d2","datavalue":{"value":{"amount":"+0.92006254","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2431639$D9B1107A-7395-4968-A09B-555D1DA1BC93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fea2f609250bcc4d6274dfb57b3996b723ebce25","datavalue":{"value":{"entity-type":"item","numeric-id":5255244,"id":"Q5255244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28b6dbbd1f8efde55c46b45164e602879c550801","datavalue":{"value":{"amount":"+0.9135853","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2431639$65D6B258-C70C-4943-835C-38C8449ABA1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5bf66a0b29249960404ac17a8258602bf99b927b","datavalue":{"value":{"entity-type":"item","numeric-id":4244329,"id":"Q4244329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d2d9bbe2ab333becf00d91f2de86319c13cf846","datavalue":{"value":{"amount":"+0.8917988","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2431639$8E1AFA2A-EA84-44A2-9127-56777BF98BF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"775466e08c791927fb968a6686f7c6e714a3864f","datavalue":{"value":{"entity-type":"item","numeric-id":3610471,"id":"Q3610471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46b2e27c3c362a3496e974edefce9fb8965ecc0b","datavalue":{"value":{"amount":"+0.87859577","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2431639$64E7BD0E-043B-4763-B93C-83B5BC03C0C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e95253e69d139a34623d0557d85bf856760c84b4","datavalue":{"value":{"entity-type":"item","numeric-id":2384457,"id":"Q2384457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4479f59de200616068f4f3f6d6b1bb46cd3ff10","datavalue":{"value":{"amount":"+0.87415737","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2431639$FD7D2BC4-4B1E-4001-BF5F-16CDBB83EBCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cdfbebf6ea9a38d58cdc51b18f168a99114cb1fa","datavalue":{"value":{"entity-type":"item","numeric-id":2474809,"id":"Q2474809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c469fd2429ca32007ee4ea93dae1e7179bba083","datavalue":{"value":{"amount":"+0.87275743","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2431639$E3078958-15C8-47EF-AD7A-D18B8C11AF35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"477667dad232338cedbb6608fc6e217c1a7e0708","datavalue":{"value":{"entity-type":"item","numeric-id":990194,"id":"Q990194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3de4764ec4b8a55c138090da019396e8b3b4ac47","datavalue":{"value":{"amount":"+0.8686947","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2431639$6A4A26C1-596B-4F9B-854B-35620D797B85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9d6c14c8fc9c607a4cd49d555c2b1d060b90669","datavalue":{"value":{"entity-type":"item","numeric-id":1904125,"id":"Q1904125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46467f749e91da3ee9461d199a1c7aae72b6596e","datavalue":{"value":{"amount":"+0.86511016","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2431639$3252593B-4726-4820-8363-5DF09A1E0470","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4baa633b3e217ed05bc98416ed0455bc38265b96","datavalue":{"value":{"entity-type":"item","numeric-id":4646236,"id":"Q4646236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6cb3783e67547ad14c3c429979ff6560e4fa8190","datavalue":{"value":{"amount":"+0.8633359","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2431639$7D67D83A-7314-43E1-8FF9-1F2A39986BC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20238bba61f8f8dca11eeeb33e8d265ab3737b6f","datavalue":{"value":{"entity-type":"item","numeric-id":1107756,"id":"Q1107756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4bef8d4b984d3ee87d27d59c92eaf0907b88bb40","datavalue":{"value":{"amount":"+0.8632829","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2431639$B3E5101C-1FFB-49CC-A55F-F34076CBB4A3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Trace-positive polynomials.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Trace-positive_polynomials."}}}}}