{"entities":{"Q436182":{"pageid":437949,"ns":120,"title":"Item:Q436182","lastrevid":61814064,"modified":"2026-04-11T01:51:11Z","type":"item","id":"Q436182","labels":{"en":{"language":"en","value":"The convex Positivstellensatz in a free algebra"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6060994"}},"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":"Q436182$4EA4E64B-C9E6-4745-8A02-095B22E4DBD3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0c410c49ebe6a8dc1bda06cb32a9bfa06adb5cb2","datavalue":{"value":{"text":"The convex Positivstellensatz in a free algebra","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q436182$9ED0A9DD-F2E0-4785-886B-B84DDE2E470F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cfe343b49adba113315e6f5d2e571cd600bc740f","datavalue":{"value":"1260.14071","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q436182$CBDB01D6-B0A9-49A8-93F9-F4BA43071A85","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d768c2a725a3eb17f327cee649e1b21a5ce2ae6a","datavalue":{"value":{"entity-type":"item","numeric-id":323897,"id":"Q323897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436182$B541696B-8EB5-4E5E-B7CB-4995437FAEAA","rank":"normal"},{"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":"Q436182$4D30EF72-C8C4-40BE-9220-97829373C1E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4dca26e8fad1df5ebab21bec42e9c52352e7f72e","datavalue":{"value":{"entity-type":"item","numeric-id":274133,"id":"Q274133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436182$2B982C2D-E5FC-472F-8562-3A4E32BC67DF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"87fedd43d9515b94c7651de65777aba7be17422f","datavalue":{"value":{"entity-type":"item","numeric-id":165833,"id":"Q165833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436182$28E232D4-B807-491E-930F-23FBC218CA2F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fefd7d6b97e6f7cbe24d07af623d4b7dd2123121","datavalue":{"value":{"time":"+2012-07-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q436182$8F66DE17-EDB2-4508-8CFC-2C3DF974716C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cfebdbadadd9b01c76cbdeb0b536e79e17bb91f5","datavalue":{"value":"https://arxiv.org/abs/1102.4859","type":"string"},"datatype":"url"},"type":"statement","id":"Q436182$05EFE34F-A805-4B27-AEDF-E2A948AF9363","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"b7f8347bd062ba2d23b061672294b87c54f4db15","datavalue":{"value":{"entity-type":"item","numeric-id":314392,"id":"Q314392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436182$F2EAFECE-2C0D-4DE2-9D6D-F1A0A6E8DCD0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"94a258fd6e09d2d582bb6c52c7992ac55d0da749","datavalue":{"value":"14P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q436182$51DDD032-BBAE-4B3C-9EBA-EF7BD8174A4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"765bffd38ceeadce2d709456a083f0dd0b70ccc2","datavalue":{"value":"13J30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q436182$0F9C514D-E9B6-4753-BD5D-FBDF6DD52249","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"27b540aa20d39243896837fe77f90bc66b673569","datavalue":{"value":"46L07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q436182$D27A38F3-B38D-47C2-A671-52705279C465","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"147c8a720e6d6c185b949f7a2752aaaafdb28188","datavalue":{"value":"46N10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q436182$E2037CCB-17D0-4F70-9539-37A3D4481945","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"055bd57bba21824b0633d876131c8558d09459cd","datavalue":{"value":"47A57","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q436182$FEC9C19A-4CF9-4F8F-8411-2E90ACA31A64","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6242c58855de66e075918437c33a1fca84723549","datavalue":{"value":"6060994","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q436182$18409E2F-8308-4B3A-B320-305A90D5C913","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ba4be21077806ad57d78d46d5ec4ad19773b1ab","datavalue":{"value":"free convexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q436182$059F0DA9-3F75-47F8-9605-68374302F07A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fce389f8829bacb679ba2d50e4248132ac5c4d09","datavalue":{"value":"linear matrix inequality","type":"string"},"datatype":"string"},"type":"statement","id":"Q436182$9B7852DF-43F2-4F22-A72D-17A41F8D73E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fed98219543341aca249aafdfcf8f798a517c013","datavalue":{"value":"Positivstellensatz","type":"string"},"datatype":"string"},"type":"statement","id":"Q436182$62E2FD40-827B-44B1-95C3-CB1361F023B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e8f43cced4ffe66ea92d1ee414c7e99a6b630d0","datavalue":{"value":"free real algebraic geometry","type":"string"},"datatype":"string"},"type":"statement","id":"Q436182$75939208-8672-45F2-AA14-A1F70755F11E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f4d2efaf43f527988e727fba62e7efad5c5db4ce","datavalue":{"value":"moment problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q436182$2C0612DA-8688-4652-B92A-B33828F10FB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b866deeea788429cd9d0e92f5cadb0f9c9bc19e","datavalue":{"value":"free positivity","type":"string"},"datatype":"string"},"type":"statement","id":"Q436182$11058BE2-6B1C-4D44-B107-AFB615B3A59F","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e05fe533f90cb25364a6e149d74f86083adb076f","datavalue":{"value":{"entity-type":"item","numeric-id":18986,"id":"Q18986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436182$4C76988D-F3C3-49F1-8BCF-D1BE74AF418A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2378ae1d5c4692970bb33f1445110414770f1ad3","datavalue":{"value":{"entity-type":"item","numeric-id":19772,"id":"Q19772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436182$4A3CBC6C-9889-4FF6-A71D-FAE48C7DAC18","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":"Q436182$9517F25B-B443-4667-9692-7943CE9B0E87","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4123cae896e8290e0eb0765b1d06559ebf514d2b","datavalue":{"value":"W2070495995","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q436182$AB80021E-3AB7-4C7F-AB51-263417A51DE8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c29946536768126df43bc92d83dead9c7807d64","datavalue":{"value":{"entity-type":"item","numeric-id":4790110,"id":"Q4790110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436182$BB17B19D-B067-48BB-BFF9-B21961D9E3F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f06c7584f6e7d6e22f4cba92a94648ce58216a7","datavalue":{"value":{"entity-type":"item","numeric-id":4828515,"id":"Q4828515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436182$75C9F905-2335-45E8-84D9-88CD6E7D90F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ff4ee9aa7b61305175d1a63c09b662886a78de8","datavalue":{"value":{"entity-type":"item","numeric-id":4210476,"id":"Q4210476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436182$E8B9C428-FE11-4F0B-9A6A-E7176A9C7DA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10748bb64adab8fe419d912bd68b4f609e34c945","datavalue":{"value":{"entity-type":"item","numeric-id":3093048,"id":"Q3093048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436182$4B1ADB0A-DB5E-4CCD-8ABC-A2B6CAA8966D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10a5a3de80e1498feebfe64647077c8cdb883234","datavalue":{"value":{"entity-type":"item","numeric-id":4873906,"id":"Q4873906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436182$78D1B22F-838C-48E5-89F6-D68C972AE431","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"629ae2d9a1518fcad1dde4c6e31415b3036b2329","datavalue":{"value":{"entity-type":"item","numeric-id":4220943,"id":"Q4220943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436182$0462860C-4559-4A79-B233-0DDD58300E5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aad2a8b31e419f078c0614879e49e81c2b6733d7","datavalue":{"value":{"entity-type":"item","numeric-id":1851492,"id":"Q1851492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436182$452A8317-845B-450E-9F51-4D7E8576EBEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65b5396835f32d2d19edbd3b1818b1c2beef3986","datavalue":{"value":{"entity-type":"item","numeric-id":1949260,"id":"Q1949260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436182$49C24CAF-B3A0-46ED-AB25-B72FDE0A850F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7179e68bf727eeeb1d7df6e2f7e070e25a31f977","datavalue":{"value":{"entity-type":"item","numeric-id":2802531,"id":"Q2802531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436182$9FD1B7CE-5B2D-4A41-A44A-1E2D2F3E6660","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86ce1954e465e86dff8124dae88ad940d1976092","datavalue":{"value":{"entity-type":"item","numeric-id":4813824,"id":"Q4813824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436182$5EE09E70-55F8-408A-8D1F-DF84BF719F10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93d1e1e22ca15380b8d8b5e6849d39f8fc6e0ab4","datavalue":{"value":{"entity-type":"item","numeric-id":4650976,"id":"Q4650976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436182$750CEFFE-2240-4E9D-9403-848885342E7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e07607e81ac22cd85389d6754cd217ee043dc0c9","datavalue":{"value":{"entity-type":"item","numeric-id":456669,"id":"Q456669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436182$147AB5E8-8850-4E81-9CA5-13B5EA248C82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f359ac2871f5919e7ce6330080089939bc6724b","datavalue":{"value":{"entity-type":"item","numeric-id":870636,"id":"Q870636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436182$C0DD7257-B5A1-4DA7-9CB9-1845504E32D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7b2103cc78b0d3c3ab29bb0270f8996e187edaa","datavalue":{"value":{"entity-type":"item","numeric-id":2480582,"id":"Q2480582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436182$A5209BC6-0D32-4AAB-ADF1-9EC008299F9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e7576506839763f84fe3beeb06ce75a8ed60a5f","datavalue":{"value":{"entity-type":"item","numeric-id":3395491,"id":"Q3395491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436182$B81A2047-C82D-4D01-A4E2-3E88B56FB689","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"120e25d18c0587147339dd8f57e7cc7dca20b850","datavalue":{"value":{"entity-type":"item","numeric-id":3601990,"id":"Q3601990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436182$3DDFC46D-6D04-42E8-9703-7A29BA1E17F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0fa58858af281acf626ae9f4f0d7f8b954230994","datavalue":{"value":{"entity-type":"item","numeric-id":5452017,"id":"Q5452017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436182$49BA0542-83CA-4653-B90B-38E65714950A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e4e4b203ef8a29ecbef0e94d860ac988999b4fc","datavalue":{"value":{"entity-type":"item","numeric-id":5932211,"id":"Q5932211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436182$439A6D41-061C-4286-8D34-F9A5E92DFE37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be3202e5f7e4066ffe5e551578ea0fe93bc6d3cd","datavalue":{"value":{"entity-type":"item","numeric-id":4787522,"id":"Q4787522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436182$068518DD-5084-40E6-8451-6060CDAA2C14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18610fa24aed5f08e055ac7115978c3074a43cc1","datavalue":{"value":{"entity-type":"item","numeric-id":3083282,"id":"Q3083282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436182$C622FF9C-B99F-4732-B7D9-897F72A42FF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c642cb735efc80c6448d82fddb7fa65249ee420","datavalue":{"value":{"entity-type":"item","numeric-id":4431278,"id":"Q4431278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436182$5526A031-50C5-4D64-B553-29CF066E25DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e4aa523bea625b9caa10bc98065f5e7a5f7ff5d","datavalue":{"value":{"entity-type":"item","numeric-id":618255,"id":"Q618255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436182$16953F14-2F25-451E-A863-584CA398A902","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"829c8a463f9a3b571311d8b327c6fb3c113220de","datavalue":{"value":{"entity-type":"item","numeric-id":2716044,"id":"Q2716044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436182$54CB7F59-9A21-4120-8AD3-5430D99E0214","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98b13d961fc4f879ccb92e5d3e929a26b373a0ec","datavalue":{"value":{"entity-type":"item","numeric-id":5677619,"id":"Q5677619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436182$E0C8724B-1D36-44FC-9C83-3425BB2EEEEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7a935eee3bf58ccd898805ad8733a27537e6981","datavalue":{"value":{"entity-type":"item","numeric-id":4285035,"id":"Q4285035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436182$87D1A739-B7D0-42E0-8973-35485418E8F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ef2baa2fa9e55d8bc77003d10bd1b51e52ef0be","datavalue":{"value":{"entity-type":"item","numeric-id":3910639,"id":"Q3910639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436182$572038E3-8819-410F-8A33-96234E32FC0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5fd925b871b3461dd9004f9426f2d342b999b7de","datavalue":{"value":{"entity-type":"item","numeric-id":3601991,"id":"Q3601991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436182$BED02138-1A94-4006-B633-3703F0F76ECF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dda53f5816d748e5aace212880edb9daa4bbe12f","datavalue":{"value":{"entity-type":"item","numeric-id":1174468,"id":"Q1174468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436182$9477562B-1DCC-4FE1-A45D-A02195818887","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20e0f2a02c99f996cf9d8677dc5bbe1219bc13e2","datavalue":{"value":{"entity-type":"item","numeric-id":3145444,"id":"Q3145444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436182$6890B818-4BD5-454F-A955-5D510D8FF082","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0d85472110ca79523d069174a98fa011d3d2976a","datavalue":{"value":"10.1016/J.AIM.2012.04.028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q436182$28CD8999-CE07-49B8-A09D-FE57D43B061A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a930b46902488740a98f8fa838aee00c9d6dfb9","datavalue":{"value":{"entity-type":"item","numeric-id":4813824,"id":"Q4813824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32dde4ca107e64a806f05de4cc8edaebbd9b0f4b","datavalue":{"value":{"amount":"+0.7546692","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":"Q436182$88B1E2EE-03C0-4816-BB95-16524F00D792","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2048fd3206a27215ed952155482f8af59e10d0c","datavalue":{"value":{"entity-type":"item","numeric-id":2872518,"id":"Q2872518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e324c19533b20c9e9118e05e155c726757f65f4e","datavalue":{"value":{"amount":"+0.74705166","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":"Q436182$658A4C93-AFF0-46CB-97AD-41C6B1983836","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bdbbc609b1957a30410146ef02b1534e3590006b","datavalue":{"value":{"entity-type":"item","numeric-id":2802531,"id":"Q2802531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8aef17370a3d0d6ca3035213c60d48f092d2618","datavalue":{"value":{"amount":"+0.73252904","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":"Q436182$E0E99773-9E89-4845-8513-1D39F677D3DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47106c3eec14f835d5b3c0703a2c2e99a65e80e0","datavalue":{"value":{"entity-type":"item","numeric-id":3575761,"id":"Q3575761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a11a6e7b286bcae7eca89947b7c7cc8703172c1","datavalue":{"value":{"amount":"+0.73250157","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":"Q436182$EBF44E82-96DC-447D-BD7F-C09E7F663830","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3bfa21324545d8cd10bf44e00a865a920850948b","datavalue":{"value":{"entity-type":"item","numeric-id":2659530,"id":"Q2659530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"554b0d7ef4b25ffd5bf1f9f4a15598e4eda31dc0","datavalue":{"value":{"amount":"+0.7058653","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":"Q436182$2812D190-11B6-4E03-B77E-7F18E09D9892","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a5726113f008d781eccf2b0f672c972d1ccba4e","datavalue":{"value":{"entity-type":"item","numeric-id":3083282,"id":"Q3083282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9669efc8d44869cca9ba7ec582c5842d0bc0da41","datavalue":{"value":{"amount":"+0.70487577","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":"Q436182$3F93719A-AA32-4BBC-96D6-62C17221FB65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a507eab8319f1ab0323d507dab8b58a2382573d","datavalue":{"value":{"entity-type":"item","numeric-id":2910876,"id":"Q2910876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab9e6f49d0a1df0d41ac6b7f6a8b2f314eac1a0e","datavalue":{"value":{"amount":"+0.70020294","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":"Q436182$84AB7085-4387-4CB3-9140-B4807B2AEE6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41af767d4915099b72f3e750550b0d20a334e529","datavalue":{"value":{"entity-type":"item","numeric-id":5296418,"id":"Q5296418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63193729f2b6d7bcd23defcd6cfc8d443378e0f7","datavalue":{"value":{"amount":"+0.69430125","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":"Q436182$1695AE16-D1FD-4C47-9769-32B2DA588C25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"876ebd8bd8d42fd6db53010043f436dc7466dab2","datavalue":{"value":{"entity-type":"item","numeric-id":2978420,"id":"Q2978420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9d89d6731d6772ffcdf614492f58a14e948e205","datavalue":{"value":{"amount":"+0.6941198","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":"Q436182$A67617BA-CD30-40FB-B80D-96A37A7737AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"029ecc54aecac46d392c287142e42ae78db03e56","datavalue":{"value":{"entity-type":"item","numeric-id":2819731,"id":"Q2819731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4df2d59eccd63c683e71f2ca18367a68f524d07","datavalue":{"value":{"amount":"+0.6931909","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":"Q436182$2FA444D0-B038-4D20-9235-E56C49DDA27A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"cb13b5950d1c86ade85f66b87fde7a6b36872d45","datavalue":{"value":"Let \\(L\\) be a monic linear pencil in \\(g\\) variables (i.e., there is a natural number \\(l\\) and symmetric \\(l\\times l\\) matrices \\(A_1,\\ldots,A_g\\) such that \\(L=I_l-\\sum_{j=1}^gA_jx_j\\) where \\(x_1,\\ldots,x_g\\) are noncommuting variables). The monic linear pencil induces a family of semialgebraic sets \\(\\mathfrak{P}_L=(\\mathfrak{P}_L(n))_{n\\in\\mathbb{N}}\\) where NEWLINE\\[NEWLINE\\mathfrak{P}_L(n):=\\{X\\in \\mathbb{S}_n^g\\mid L(X)\\succeq 0\\},NEWLINE\\]NEWLINE and \\(\\mathbb{S}_n^g\\) is the set of \\(g\\)-tuples of symmetric \\(n\\times n\\) matrices. By the conditions imposed on \\(L\\) each \\(\\mathfrak{P}_L(n)\\) is convex with interior. Conversely by \\textit{J. W. Helton} and \\textit{S. McCullough} [Ann. Math. (2) 176, No. 2, 979--1013 (2012; Zbl 1260.14011)], convex bounded noncommutative semialgebraic sets with interior are all of the form \\(\\mathfrak{P}_L\\).NEWLINENEWLINEThe main result of the paper under review establishes a perfect noncommutative Nichtnegativstellensatz on \\(\\mathfrak{P}_L\\). It states that a symmetric matrix-valued noncommutative polynomial \\(p\\) is positive semidefinite on \\(\\mathfrak{P}_L\\) (i.e. \\(p(X)\\succeq 0\\) for all \\(X\\in \\mathfrak{P}_L(n)\\) and all \\(n\\)) if and only if \\(p\\) has a weighted sum of squares representation with optimal degree bounds: NEWLINE\\[NEWLINEp=s^*s+\\sum_j^{\\mathrm{finite}}f_j^*Lf_jNEWLINE\\]NEWLINE where \\(s,f_j\\) are matrices of noncommutative polynomials of degree no greater than \\(\\mathrm{deg}(p)/2\\) (and \\(*\\) is the natural involution on matrix-valued noncommutative polynomials which maps \\(x_ix_j\\) to \\(x_jx_i\\)).NEWLINENEWLINEA similar result is also shown in the more general setting that the underlying semialgebraic set is defined by a concave matrix-valued noncommutative polynomial.NEWLINENEWLINEThe Nichtnegativstellensatz in the cases described above improves strongly the result of \\textit{J. W. Helton} and \\textit{S. McCullough} [Trans. Am. Math. Soc. 356, No. 9, 3721--3737 (2004; Zbl 1071.47005)] where the commutative Positivstellensatz of \\textit{M. Putinar} [Indiana Univ. Math. J. 42, No. 3, 969--984 (1993; Zbl 0796.12002)] has been adapted to the noncommutative setting.","type":"string"},"datatype":"string"},"type":"statement","id":"Q436182$5E99474F-1267-4AD7-BBBE-C3F62E663D50","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The convex Positivstellensatz in a free algebra","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_convex_Positivstellensatz_in_a_free_algebra"}}}}}