Matches in SemOpenAlex for { <https://semopenalex.org/work/W2809291086> ?p ?o ?g. }
- W2809291086 endingPage "1134" @default.
- W2809291086 startingPage "1101" @default.
- W2809291086 abstract "Positivstellensatz is a fundamental result in real algebraic geometry providing algebraic certificates for positivity of polynomials on semialgebraic sets. In this article Positivstellensatze for trace polynomials positive on semialgebraic sets of $ntimes n$ matrices are provided. A Krivine-Stengle-type Positivstellensatz is proved characterizing trace polynomials nonnegative on a general semialgebraic set $K$ using weighted sums of hermitian squares with denominators. The weights in these certificates are obtained from generators of $K$ and traces of hermitian squares. For compact semialgebraic sets $K$ Schmudgen- and Putinar-type Positivstellensatze are obtained: every trace polynomial positive on $K$ has a sum of hermitian squares decomposition with weights and without denominators. The methods employed are inspired by invariant theory, classical real algebraic geometry and functional analysis. Procesi and Schacher in 1976 developed a theory of orderings and positivity on central simple algebras with involution and posed a Hilbert's 17th problem for a universal central simple algebra of degree $n$: is every totally positive element a sum of hermitian squares? They gave an affirmative answer for $n=2$. In this paper a negative answer for $n=3$ is presented. Consequently, including traces of hermitian squares as weights in the Positivstellensatze is indispensable." @default.
- W2809291086 created "2018-06-29" @default.
- W2809291086 creator A5031325549 @default.
- W2809291086 creator A5047928240 @default.
- W2809291086 creator A5065891534 @default.
- W2809291086 date "2018-06-19" @default.
- W2809291086 modified "2023-10-16" @default.
- W2809291086 title "Positive trace polynomials and the universal Procesi-Schacher conjecture" @default.
- W2809291086 cites W1527351491 @default.
- W2809291086 cites W1558317055 @default.
- W2809291086 cites W1580733361 @default.
- W2809291086 cites W162681849 @default.
- W2809291086 cites W1644487517 @default.
- W2809291086 cites W1664606104 @default.
- W2809291086 cites W1821339436 @default.
- W2809291086 cites W1970699014 @default.
- W2809291086 cites W1974617119 @default.
- W2809291086 cites W1997677384 @default.
- W2809291086 cites W2001618379 @default.
- W2809291086 cites W2008981239 @default.
- W2809291086 cites W2015649944 @default.
- W2809291086 cites W2021115151 @default.
- W2809291086 cites W2025522466 @default.
- W2809291086 cites W2026578200 @default.
- W2809291086 cites W2029109623 @default.
- W2809291086 cites W2029222937 @default.
- W2809291086 cites W2037417588 @default.
- W2809291086 cites W2037826571 @default.
- W2809291086 cites W2039308336 @default.
- W2809291086 cites W2046787108 @default.
- W2809291086 cites W2051038734 @default.
- W2809291086 cites W2051540007 @default.
- W2809291086 cites W2060398312 @default.
- W2809291086 cites W2070495995 @default.
- W2809291086 cites W2077300652 @default.
- W2809291086 cites W2078200066 @default.
- W2809291086 cites W2081188439 @default.
- W2809291086 cites W2111421065 @default.
- W2809291086 cites W2150044500 @default.
- W2809291086 cites W2256259660 @default.
- W2809291086 cites W2963020935 @default.
- W2809291086 cites W2963098338 @default.
- W2809291086 cites W2964335448 @default.
- W2809291086 cites W3210839039 @default.
- W2809291086 cites W4206838369 @default.
- W2809291086 cites W4235381922 @default.
- W2809291086 cites W4244999758 @default.
- W2809291086 cites W4254742099 @default.
- W2809291086 cites W4255442211 @default.
- W2809291086 cites W4293258886 @default.
- W2809291086 cites W4299599836 @default.
- W2809291086 cites W644150847 @default.
- W2809291086 cites W822690258 @default.
- W2809291086 doi "https://doi.org/10.1112/plms.12156" @default.
- W2809291086 hasPublicationYear "2018" @default.
- W2809291086 type Work @default.
- W2809291086 sameAs 2809291086 @default.
- W2809291086 citedByCount "7" @default.
- W2809291086 countsByYear W28092910862020 @default.
- W2809291086 countsByYear W28092910862021 @default.
- W2809291086 countsByYear W28092910862022 @default.
- W2809291086 crossrefType "journal-article" @default.
- W2809291086 hasAuthorship W2809291086A5031325549 @default.
- W2809291086 hasAuthorship W2809291086A5047928240 @default.
- W2809291086 hasAuthorship W2809291086A5065891534 @default.
- W2809291086 hasBestOaLocation W28092910862 @default.
- W2809291086 hasConcept C111472728 @default.
- W2809291086 hasConcept C114614502 @default.
- W2809291086 hasConcept C118615104 @default.
- W2809291086 hasConcept C134306372 @default.
- W2809291086 hasConcept C136119220 @default.
- W2809291086 hasConcept C138885662 @default.
- W2809291086 hasConcept C190470478 @default.
- W2809291086 hasConcept C202444582 @default.
- W2809291086 hasConcept C2731732 @default.
- W2809291086 hasConcept C2780586882 @default.
- W2809291086 hasConcept C2780990831 @default.
- W2809291086 hasConcept C33923547 @default.
- W2809291086 hasConcept C37914503 @default.
- W2809291086 hasConcept C41895202 @default.
- W2809291086 hasConcept C63036529 @default.
- W2809291086 hasConcept C68363185 @default.
- W2809291086 hasConcept C75291252 @default.
- W2809291086 hasConcept C90119067 @default.
- W2809291086 hasConcept C9376300 @default.
- W2809291086 hasConcept C94940 @default.
- W2809291086 hasConceptScore W2809291086C111472728 @default.
- W2809291086 hasConceptScore W2809291086C114614502 @default.
- W2809291086 hasConceptScore W2809291086C118615104 @default.
- W2809291086 hasConceptScore W2809291086C134306372 @default.
- W2809291086 hasConceptScore W2809291086C136119220 @default.
- W2809291086 hasConceptScore W2809291086C138885662 @default.
- W2809291086 hasConceptScore W2809291086C190470478 @default.
- W2809291086 hasConceptScore W2809291086C202444582 @default.
- W2809291086 hasConceptScore W2809291086C2731732 @default.
- W2809291086 hasConceptScore W2809291086C2780586882 @default.
- W2809291086 hasConceptScore W2809291086C2780990831 @default.
- W2809291086 hasConceptScore W2809291086C33923547 @default.