{"?xml":{"@version":"1.0"},"edm:RDF":{"@xmlns:dc":"http://purl.org/dc/elements/1.1/","@xmlns:edm":"http://www.europeana.eu/schemas/edm/","@xmlns:wgs84_pos":"http://www.w3.org/2003/01/geo/wgs84_pos","@xmlns:foaf":"http://xmlns.com/foaf/0.1/","@xmlns:rdaGr2":"http://rdvocab.info/ElementsGr2","@xmlns:oai":"http://www.openarchives.org/OAI/2.0/","@xmlns:owl":"http://www.w3.org/2002/07/owl#","@xmlns:rdf":"http://www.w3.org/1999/02/22-rdf-syntax-ns#","@xmlns:ore":"http://www.openarchives.org/ore/terms/","@xmlns:skos":"http://www.w3.org/2004/02/skos/core#","@xmlns:dcterms":"http://purl.org/dc/terms/","edm:WebResource":[{"@rdf:about":"http://www.dlib.si/stream/URN:NBN:SI:DOC-BQP6DQ4T/966cdce6-d038-4300-801c-856a51f8425f/PDF","dcterms:extent":"406 KB"},{"@rdf:about":"http://www.dlib.si/stream/URN:NBN:SI:DOC-BQP6DQ4T/7e670e1c-5ad6-430e-96bd-27ffe7fd0d5f/TEXT","dcterms:extent":"39 KB"}],"edm:TimeSpan":{"@rdf:about":"2008-2025","edm:begin":{"@xml:lang":"en","#text":"2008"},"edm:end":{"@xml:lang":"en","#text":"2025"}},"edm:ProvidedCHO":{"@rdf:about":"URN:NBN:SI:DOC-BQP6DQ4T","dcterms:isPartOf":[{"@rdf:resource":"https://www.dlib.si/details/URN:NBN:SI:spr-UP1WMFAR"},{"@xml:lang":"sl","#text":"Ars mathematica contemporanea"}],"dcterms:issued":"2015","dc:creator":["Cafuta, Kristijan","Klep, Igor","Povh, Janez"],"dc:format":[{"@xml:lang":"sl","#text":"številka:2"},{"@xml:lang":"sl","#text":"letnik:9"},{"@xml:lang":"sl","#text":"str. 243-259"}],"dc:identifier":["COBISSID:17280089","ISSN:1855-3966","URN:URN:NBN:SI:doc-BQP6DQ4T"],"dc:language":"en","dc:publisher":{"@xml:lang":"sl","#text":"Univerza na Primorskem, Fakulteta za matematiko, naravoslovje in informacijske tehnologije"},"dc:subject":[{"@xml:lang":"en","#text":"Bessis- Moussa-Villani (BMV) conjecture"},{"@xml:lang":"sl","#text":"Bessis- Moussa-Villanijeva (BMV) domneva"},{"@xml:lang":"sl","#text":"ciklična ekvivalenca"},{"@xml:lang":"en","#text":"commutator"},{"@xml:lang":"en","#text":"cyclic equivalence"},{"@xml:lang":"en","#text":"free positivity"},{"@xml:lang":"sl","#text":"komutator"},{"@xml:lang":"sl","#text":"Matlab orodje"},{"@xml:lang":"en","#text":"Matlab toolbox"},{"@xml:lang":"en","#text":"Motzkin polynomial"},{"@xml:lang":"sl","#text":"Motzkinov polinom"},{"@xml:lang":"sl","#text":"NCSOStools"},{"@xml:lang":"sl","#text":"nekomutativni polinom"},{"@xml:lang":"en","#text":"noncommutative polynomial"},{"@xml:lang":"sl","#text":"prosta pozitivnost"},{"@xml:lang":"en","#text":"real algebraic geometry"},{"@xml:lang":"sl","#text":"realna algebraična geometrija"},{"@xml:lang":"en","#text":"semidefinite programming"},{"@xml:lang":"sl","#text":"semidefinitno programiranje"},{"@xml:lang":"en","#text":"sum of squares"},{"@xml:lang":"sl","#text":"vsota kvadratov"}],"dcterms:temporal":{"@rdf:resource":"2008-2025"},"dc:title":{"@xml:lang":"sl","#text":"Rational sums of hermitian squares of free noncommutative polynomials|"},"dc:description":[{"@xml:lang":"sl","#text":"We consider polynomials in noncommuting variables that admit sum of hermitian squares and commutators decompositions. We recall algorithms for finding decompositions of this type that are based on semidefinite programming. The main part of the article investigates how to find such decomposition with rational coefficients if the original polynomial has rational coefficients. We show that the numerical evidence, obtained by the Gram matrix method and semidefinite programming, which is usually an almost feasible point, can be frequently tweaked to obtain an exact certificate using rational numbers. In the presence of Slater points, the Peyrl-Parrilo rounding and projecting method applies. On the other hand, in the absence of strict feasibility, a variant of the facial reduction is proposed to reduce the size of the semidefinite program and to enforce the existence of Slater points. All these methods are implemented in our open source computer algebra package NCSOStools. Throughout the paper many worked out examples are presented to illustrate our results"},{"@xml:lang":"sl","#text":"Obravnavamo polinome v nekomutirajočih spremenljivkah, ki dovoljujejo vsoto hermitskih kvadratov in komutatorske dekompozicije. Spomnimo na algoritme za iskanje dekompozicij tega tipa, osnovanih na semidefinitnem programiranju. Glavni del članka preučuje, kako najti takšne dekompozicije z racionalnimi koeficienti, če ima tudi prvotni polinom racionalne koeficiente. Pokažemo, da lahko s pomočjo numeričnih kazalcev, dobljenih z uporabo Gramove matrike in semidefinitnim programiranjem, kar je ponavadi bolj ali manj izvedljivo, pogosto pridobimo eksakten certifikat z uporabo racionalnih števil. Pri Slaterjevih točkah se da uporabiti Peyrl-Parrilovo zaokrožanje in projektne metode. Po drugi strani, kadar nimamo stroge izvedljivosti, sibility, predlagamo varianto redukcije lic, s katero reduciramo velikost semidefinitnega programa in vsilimo eksistenco Slaterjevih točk. Vse te metode so implementirane na našem odprtokodnem paketu računske algebre NCSOStools. V samem članku predstavimo številne izdelane primere, ki ponazarjajo naše rezultate"}],"edm:type":"TEXT","dc:type":[{"@xml:lang":"sl","#text":"znanstveno časopisje"},{"@xml:lang":"en","#text":"journals"},{"@rdf:resource":"http://www.wikidata.org/entity/Q361785"}]},"ore:Aggregation":{"@rdf:about":"http://www.dlib.si/?URN=URN:NBN:SI:DOC-BQP6DQ4T","edm:aggregatedCHO":{"@rdf:resource":"URN:NBN:SI:DOC-BQP6DQ4T"},"edm:isShownBy":{"@rdf:resource":"http://www.dlib.si/stream/URN:NBN:SI:DOC-BQP6DQ4T/966cdce6-d038-4300-801c-856a51f8425f/PDF"},"edm:rights":{"@rdf:resource":"http://creativecommons.org/licenses/by/4.0/"},"edm:provider":"Slovenian National E-content Aggregator","edm:intermediateProvider":{"@xml:lang":"en","#text":"National and University Library of Slovenia"},"edm:dataProvider":{"@xml:lang":"sl","#text":"Univerza na Primorskem, Fakulteta za naravoslovje, matematiko in informacijske tehnologije"},"edm:object":{"@rdf:resource":"http://www.dlib.si/streamdb/URN:NBN:SI:DOC-BQP6DQ4T/maxi/edm"},"edm:isShownAt":{"@rdf:resource":"http://www.dlib.si/details/URN:NBN:SI:DOC-BQP6DQ4T"}}}}