{"entities":{"Q2050062":{"pageid":2060804,"ns":120,"title":"Item:Q2050062","lastrevid":78141125,"modified":"2026-05-06T10:53:03Z","type":"item","id":"Q2050062","labels":{"en":{"language":"en","value":"The set of separable states has no finite semidefinite representation except in dimension \\(3\\times 2\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7387979"}},"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":"Q2050062$00E4514A-9524-4219-887A-4F8C422D5087","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2c3e52aa2a1d9ec423aaf35032198f2d00568804","datavalue":{"value":{"text":"The set of separable states has no finite semidefinite representation except in dimension \\(3\\times 2\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2050062$C825D53E-E871-46D0-98EB-2B9B0C1AFDDB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ab24471a9a7e0ec33c8393fe49b3a5b8e712a26f","datavalue":{"value":"1472.14066","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2050062$0C9EC71F-F2E3-4395-A454-52CC875C26E7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bdf065eaf21e71d310edf9fe577c4656e8c02528","datavalue":{"value":{"entity-type":"item","numeric-id":304253,"id":"Q304253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2050062$145354C6-754B-4562-A803-1DEEDD973E4A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"74062a62bcb16497befde51af6dcf546af6addde","datavalue":{"value":{"entity-type":"item","numeric-id":192672,"id":"Q192672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2050062$F21FFE40-B03C-4427-A47E-F88541258D13","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a528095c8f4b12338bec4f86ea87b7aff5bd49b4","datavalue":{"value":{"time":"+2021-08-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":"Q2050062$D837F32E-C0E6-452B-8AE3-F9A48D49DB5E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e039cc6a035afcd9e9401ca81dc3d8af953f807f","datavalue":{"value":"https://arxiv.org/abs/1905.02575","type":"string"},"datatype":"url"},"type":"statement","id":"Q2050062$C2BC6289-1804-4005-A2DD-E6532D499D14","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"690744e0b2f5766cb2e7e65f7302d6d89cbf4388","datavalue":{"value":"Given integers \\(n \\ge m,\\) let \\(\\mathrm{Sep}(n, m)\\) be the set of {\\em separable states} on the Hilbert space \\(\\mathbb{C}^n \\otimes \\mathbb{C}^m,\\) i.e., \\[\\mathrm{Sep}(n, m) := \\mathbf{conv}\\{x x^\\dagger \\otimes y y^\\dagger \\ : \\ x \\in \\mathbb{C}^n, |x| = 1, y \\in \\mathbb{C}^m, |y| = 1\\}.\\] Here \\(x^\\dagger\\) indicates conjugate transpose, \\(|x|^2 := x^\\dagger x\\) and \\(\\mathbf{conv}\\) denotes the convex hull.  We say that a convex set \\(C \\subset \\mathbb{R}^d\\) has a {\\em semidefinite representation} (of size \\(r\\)) if it can be expressed as \\(C = \\pi(S),\\) where \\(\\pi \\colon \\mathbb{R}^D \\to \\mathbb{R}^d\\) is a linear map and \\(S \\subset \\mathbb{R}^D\\) is a convex set defined using a linear matrix inequality \\[S = \\{w \\in \\mathbb{R}^D \\ : \\ M_0 + w_1M_1 + \\cdots + w_DM_D \\succeq 0\\}\\] where \\(M_0, \\ldots, M_D\\) are Hermitian matrices of size \\(r \\times r.\\)  It is known, from the earlier work of [\\textit{S. L. Woronowicz}, Rep. Math. Phys. 10, 165--183 (1976; Zbl 0347.46063)] that for \\(n + m \\le 5,\\) the set \\(\\mathrm{Sep}(n, m)\\) is just the set of states which have a positive partial transpose, and hence it has a semidefinite representation.  In the paper under review, the author shows that for \\(n + m > 5,\\) the set \\(\\mathrm{Sep}(n, m)\\) has no semidefinite representation, and so this provides a new counterexample to the Helton-Nie conjecture [\\textit{J. W. Helton} and \\textit{J. Nie}, SIAM J. Optim. 20, No. 2, 759--791 (2009; Zbl 1190.14058)], which was recently disproved by \\textit{C. Scheiderer} [SIAM J. Appl. Algebra Geom. 2, No. 1, 26--44 (2018; Zbl 1391.90462)].  The paper is very clear, well written and quite interesting.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2050062$FCC2C876-F774-42AB-ABFF-90A06D644C27","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"94a258fd6e09d2d582bb6c52c7992ac55d0da749","datavalue":{"value":"14P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2050062$594B4D00-DE33-4468-B813-19D3709C8859","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"747ca2a29edc80ef77db4b4376cee27cb80d39e3","datavalue":{"value":"90C22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2050062$8FFB2016-B47D-4C06-9C99-65CC449FFC7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ccd1dd4cefa81e8158b9f080486a4eaed61a9ee8","datavalue":{"value":"90C25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2050062$2FAF60B4-EDB3-472D-8F56-7FE3F3EAE3E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5f37ba5f9d5f460f19960b050f9bcd03ad96f36e","datavalue":{"value":"46L05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2050062$5171BB72-D962-4E95-9102-E840512102C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f24653aa1199cc1945329372b679ce65a535e4a5","datavalue":{"value":"81P40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2050062$08F369A8-F70C-437B-BE4F-13DB0B0B6DB9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f9800876df17f23c0d23592e81bff34b4180b59d","datavalue":{"value":"7387979","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2050062$8CE660D2-DDE1-4FCB-A5DC-6FB2545EDCC7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3545a783e9d057d12592f1356a6a0ba6ce54e4d8","datavalue":{"value":"set of separable states","type":"string"},"datatype":"string"},"type":"statement","id":"Q2050062$C3D20E4A-3651-4E30-8F2C-B377C422088B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"abdacc2cc908d5381744d9c1e3a9b5c72e2502dd","datavalue":{"value":"semidefinite representation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2050062$7345976C-C946-43D4-94E7-D8D18CBB28D4","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"1f39adb70124d7bb73cf5e299ad328aca2e62039","datavalue":{"value":{"entity-type":"item","numeric-id":289118,"id":"Q289118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2050062$0D517C64-0DB0-47AF-9BE8-6F3FEEA83C5B","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":"Q2050062$6A5AD23E-97E1-4EDF-AD2E-6B7B0C1D9CE6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"022315ae65f8da16fb8e5f922cc1b57fb7691ea5","datavalue":{"value":"W3187545495","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2050062$3C00905D-DA4D-45EF-8E49-8D8ABE4204E0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"212cfaa8dba495fdf1c3863f5693c97002e7a6f7","datavalue":{"value":{"entity-type":"item","numeric-id":5360685,"id":"Q5360685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2050062$1CEC63BA-19CD-4E1A-9C26-A24C2EF1E6E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c20d0a8ab9fad8d6afd115e180e0a22af464798","datavalue":{"value":{"entity-type":"item","numeric-id":4645006,"id":"Q4645006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2050062$E6577E91-F006-4FA9-93FA-57AD0B4ED9B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7fb1e069c9e4331b31c569dc8e2183f4c63cb5ba","datavalue":{"value":{"entity-type":"item","numeric-id":5920628,"id":"Q5920628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2050062$15A075B2-D72B-4AB1-89FF-4C61D87C2736","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22cbd2711d8fc2d3b8d044ba68efee4e46a52b24","datavalue":{"value":{"entity-type":"item","numeric-id":2559431,"id":"Q2559431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2050062$A33566E7-A6E8-4903-BC3F-8D042D966017","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a20ba9aa290af96ef5d4578802d87937a6b4d05","datavalue":{"value":{"entity-type":"item","numeric-id":1230093,"id":"Q1230093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2050062$27BE0893-C7F1-44C2-A65C-9090ACF1536F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e9694f4dcbf6e4f0d33c36a432d2e9186e5d420","datavalue":{"value":{"entity-type":"item","numeric-id":4748635,"id":"Q4748635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2050062$D358A5F4-BF08-455D-AC03-6310600DE521","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dedf3faa5164a2e2f5671459f28424d892c489c3","datavalue":{"value":{"entity-type":"item","numeric-id":3601984,"id":"Q3601984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2050062$2FE10568-F585-4B0E-B94A-4882DED16864","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99457eb3d271dd61db43f0ba6aa392a357279478","datavalue":{"value":{"entity-type":"item","numeric-id":5169664,"id":"Q5169664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2050062$6B47D255-9AA5-436A-9E66-5CA87F00CF2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ffd9b3917b930d356cc0d23c23f05d2749137598","datavalue":{"value":{"entity-type":"item","numeric-id":1968045,"id":"Q1968045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2050062$7D6F20C8-4998-409B-98B3-46485CEBBC40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c7af9d1d7296557327adcbb31c94f5e361104ae","datavalue":{"value":{"entity-type":"item","numeric-id":2953179,"id":"Q2953179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2050062$CE3AE7E7-923A-42D2-902F-172FF00C6554","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f544653ca97ed14ebe6f40f85c3e45ed3260fd7","datavalue":{"value":{"entity-type":"item","numeric-id":3563905,"id":"Q3563905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2050062$F7640084-8345-4D22-B97D-45D6FA7C55F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d017311d6310624a5d523787fcc0f309ed0ead2","datavalue":{"value":{"entity-type":"item","numeric-id":2967821,"id":"Q2967821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2050062$65BF0C68-D030-4473-9320-14F695844F8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdacf7bbefdf3644370fbf7f792f72ddb71d753f","datavalue":{"value":{"entity-type":"item","numeric-id":5421709,"id":"Q5421709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2050062$65E561C5-B6F2-40E7-85AE-F46BAD8A8CF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0703fc21826bfe4c326835875cb483b367bf5eb","datavalue":{"value":{"entity-type":"item","numeric-id":3058516,"id":"Q3058516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2050062$7BF389FB-F77F-4043-BAA7-5B7893537C7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bccf8c894d47592dd8659a8d7712e8406d6926f2","datavalue":{"value":{"entity-type":"item","numeric-id":4492376,"id":"Q4492376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2050062$F8E0D9E5-C69D-48E5-A93E-0A9507DEC4D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df0c7feea7e09a939e696e01e25f52840e787fd4","datavalue":{"value":{"entity-type":"item","numeric-id":1905963,"id":"Q1905963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2050062$3D751BFE-EE49-4708-B8D8-EB2B83EDEE09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19dd6ccd280d5d9bf8c24804aefe6fbfbc77033d","datavalue":{"value":{"entity-type":"item","numeric-id":4603029,"id":"Q4603029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2050062$70EEDC39-C82F-4FDD-A835-4E3FC12A2F3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0eacc137e893b8dc0232be67886543d921ee11a","datavalue":{"value":{"entity-type":"item","numeric-id":2836118,"id":"Q2836118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2050062$23BC7F13-DAC9-4865-AFED-30838A33495D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0220aef334b0ef3f4488c55304a1642287ed6ef0","datavalue":{"value":{"entity-type":"item","numeric-id":1234063,"id":"Q1234063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2050062$C356B16B-9439-4E5F-B9BD-11EE7A12949A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"332acca271a5d636f19e9e27cc3cc04acb1937c0","datavalue":{"value":"10.1007/S00220-021-04163-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2050062$77B4AE07-4060-4EEE-898E-197D616BAF0F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2854be737adc21aeccb73b76e65888d522f6c0f3","datavalue":{"value":{"entity-type":"item","numeric-id":5396289,"id":"Q5396289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e030f18d9a031eb450c45e4e291edbd6751e4a8","datavalue":{"value":{"amount":"+0.7962539196014404","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":"Q2050062$A35B8B13-ED72-4160-82EC-D1BE78D8BBC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44a6196f697a2769a62fd76bf7f5f0e7494a1096","datavalue":{"value":{"entity-type":"item","numeric-id":5249510,"id":"Q5249510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"140d462b9f88f1088cd5c1f30db782e131f94d4b","datavalue":{"value":{"amount":"+0.7881689667701721","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":"Q2050062$2233FBC3-B68D-4C54-B31C-E2ACE2547B4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d94690d9a6071490ce3baccfdf48b0130876f6d","datavalue":{"value":{"entity-type":"item","numeric-id":932159,"id":"Q932159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91cad8a94b84a07e3d8582050199636ea8ab44c5","datavalue":{"value":{"amount":"+0.7829164862632751","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":"Q2050062$09EAEA68-475E-4820-B7FF-B3AEA906F25C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c5c8403c724c57d3286a4554a13395f5cb6c452","datavalue":{"value":{"entity-type":"item","numeric-id":2144234,"id":"Q2144234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"283b51f757db5bdb741ea62f21091bad1f1fc711","datavalue":{"value":{"amount":"+0.7795168161392212","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":"Q2050062$DFC339CA-308E-41D3-9DD5-8FA689811CE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d57595c3a0d7362775db9fe252ccf58ed7e0f94","datavalue":{"value":{"entity-type":"item","numeric-id":2573111,"id":"Q2573111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"673731568cfff5284e347dea6e6cadea6d12f91f","datavalue":{"value":{"amount":"+0.7787061929702759","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":"Q2050062$B63B1959-8CC3-4AE6-AB2F-11BBFA73873E","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2050062$F6AF212E-33A9-4638-95E2-5D5D85C49B20","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The set of separable states has no finite semidefinite representation except in dimension \\(3\\times 2\\)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_set_of_separable_states_has_no_finite_semidefinite_representation_except_in_dimension_%5C(3%5Ctimes_2%5C)"}}}}}