Source author record

Jaka Cimpric

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.AG math.FA math.OC math.QA math.OA math.RA math.RT

Catalog footprint

Research overview

10works

7topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2013arXiv

A method for computing lowest eigenvalues of symmetric polynomial differential operators by semidefinite programming

A method for computing global minima of real multivariate polynomials based on semidefinite programming was developed by N. Z. Shor, J. B. Lasserre and P. A. Parrilo. The aim of this article is to extend a variant of their method to noncommutative symmetric polynomials in variables $X$ and $Y$ satisfying $YX-XY=1$ and $X^\ast=X$ , $Y^\ast=-Y$ . Global minima of such polynomials are defined and showed to be equal to minima of the spectra of the corresponding differential operators. We also discuss how to exploit sparsity and symmetry. Several numerical experiments are included. The last section explains how our theory fits into the framework of noncommutative real algebraic geometry.

preprint2013arXiv

Noncommutative Positivstellensätze for pairs representation-vector

We study non-commutative real algebraic geometry for a unital associative *-algebra A viewing the points as pairs (π,v) where π is an unbounded *-representation of A on an inner product space which contains the vector v. We first consider the *-algebras of matrices of usual and free multivariate polynomials with their natural subsets of points. If all points are allowed then we can obtain results for general A. Finally, we compare our results with their analogues in the usual (i.e. Schmüdgen's) non-commutative real algebraic geometry where the points are unbounded *-representation of A.

preprint2012arXiv

A Non-commutative Real Nullstellensatz Corresponds to a Non-commutative Real Ideal; Algorithms

This article takes up the challenge of extending the classical Real Nullstellensatz of Dubois and Risler to left ideals in a *-algebra A. After introducing the notions of non-commutative zero sets and real ideals, we develop three themes related to our basic question: does an element p of A having zero set containing the intersection of zero sets of elements from a finite set S of A belong to the smallest real ideal containing S? Firstly, we construct some general theory which shows that if a canonical topological closure of certain objects are permitted, then the answer is yes, while at the purely algebraic level it is no. Secondly for every finite subset S of the free *-algebra R<x,x*> of polynomials in g indeterminates and their formal adjoints, we give an implementable algorithm which computes the smallest real ideal containing S and prove that the algorithm succeeds in a finite number of steps. Lastly we provide examples of noncommutative real ideals for which a purely algebraic non-commutative real Nullstellensatz holds. For instance, this includes the real (left) ideals generated by a finite sets S in the *-algebra of n by n matrices whose entries are polynomials in one-variable. Further, explicit sufficient conditions on a left ideal in R<x,x*> are given which cover all the examples of such ideals of which we are aware and significantly more.

preprint2012arXiv

Real algebraic geometry for matrices over commutative rings

We define and study preorderings and orderings on rings of the form $M_n(R)$ where $R$ is a commutative unital ring. We extend the Artin-Lang theorem and Krivine-Stengle Stellensätze (both abstract and geometric) from $R$ to $M_n(R)$ . While the orderings of $M_n(R)$ are in one-to-one correspondence with the orderings of $R$ , this is not true for preorderings. Therefore, our theory is not Morita equivalent to the classical real algebraic geometry.

preprint2011arXiv

Archimedean operator-theoretic Positivstellensätze

We prove a general archimedean positivstellensatz for hermitian operator-valued polynomials and show that it implies the multivariate Fejer-Riesz Theorem of Dritschel-Rovnyak and positivstellensätze of Ambrozie-Vasilescu and Scherer-Hol. We also obtain several generalizations of these and related results. The proof of the main result depends on an extension of the abstract archimedean positivstellensatz for *-algebras that is interesting in its own right.

preprint2011arXiv

On $q$ -normal operators and quantum complex plane

For $q>0$ let $\cA$ denote the unital $\ast$ -algebra with generator $x$ and defining relation $xx^\ast=qxx^\ast$ . Based on this algebra we study $q$ -normal operators, the complex $q$ -moment problem, positive elements and sums of squares.

preprint2010arXiv

Strict Positivstellensätze for matrix polynomials with scalar constraints

We extend Krivine's strict positivstellensatz for usual (real multivariate) polynomials to symmetric matrix polynomials with scalar constraints. The proof is an elementary computation with Schur complements. Analogous extensions of Schm\" udgen's and Putinar's strict positivstellensatz were recently proved by Hol and Scherer using methods from optimization theory.

preprint2008arXiv

A representation theorem for archimedean quadratic modules on *-rings

We present a new approach to noncommutative real algebraic geometry based on the representation theory of $C^\ast$ -algebras. An important result in commutative real algebraic geometry is Jacobi's representation theorem for archimedean quadratic modules on commutative rings, \cite[Theorem 5]{jacobi}. We show that this theorem is a consequence of the Gelfand-Naimark representation theorem for commutative $C^\ast$ -algebras. A noncommutative version of Gelfand-Naimark theory was studied by I. Fujimoto. We use his results to generalize Jacobi's theorem to associative rings with involution.

preprint2008arXiv

Positivity in power series rings

We extend and generalize the results of Scheiderer (2006) on the representation of polynomials nonnegative on two-dimensional basic closed semialgebraic sets. Our extension covers some situations where the defining polynomials do not satisfy the transversality condition. Such situations arise naturally when one considers semialgebraic sets invariant under finite group actions.

preprint2008arXiv

Sums of squares and moment problems in equivariant situations

We begin a systematic study of positivity and moment problems in an equivariant setting. Given a reductive group $G$ over $\R$ acting on an affine $\R$ -variety $V$ , we consider the induced dual action on the coordinate ring $\R[V]$ and on the linear dual space of $\R[V]$ . In this setting, given an invariant closed semialgebraic subset $K$ of $V(\R)$ , we study the problem of representation of invariant nonnegative polynomials on $K$ by invariant sums of squares, and the closely related problem of representation of invariant linear functionals on $\R[V]$ by invariant measures supported on $K$ . To this end, we analyse the relation between quadratic modules of $\R[V]$ and associated quadratic modules of the (finitely generated) subring $\R[V]^G$ of invariant polynomials. We apply our results to investigate the finite solvability of an equivariant version of the multidimensional $K$ -moment problem. Most of our results are specific to the case where the group $G(\R)$ is compact.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Jaka Cimpric

Research overview

Is this your work?

10 publications

A method for computing lowest eigenvalues of symmetric polynomial differential operators by semidefinite programming

Noncommutative Positivstellensätze for pairs representation-vector

A Non-commutative Real Nullstellensatz Corresponds to a Non-commutative Real Ideal; Algorithms

Real algebraic geometry for matrices over commutative rings

Archimedean operator-theoretic Positivstellensätze

On $q$ -normal operators and quantum complex plane

Strict Positivstellensätze for matrix polynomials with scalar constraints

A representation theorem for archimedean quadratic modules on *-rings

Positivity in power series rings

Sums of squares and moment problems in equivariant situations

See the researcher in context

Building this map preview

Jaka Cimpric

Research overview

Is this your work?

10 publications

A method for computing lowest eigenvalues of symmetric polynomial differential operators by semidefinite programming

Noncommutative Positivstellensätze for pairs representation-vector

A Non-commutative Real Nullstellensatz Corresponds to a Non-commutative Real Ideal; Algorithms

Real algebraic geometry for matrices over commutative rings

Archimedean operator-theoretic Positivstellensätze

On qqq-normal operators and quantum complex plane

Strict Positivstellensätze for matrix polynomials with scalar constraints

A representation theorem for archimedean quadratic modules on *-rings

Positivity in power series rings

Sums of squares and moment problems in equivariant situations

See the researcher in context

Building this map preview

On $q$ -normal operators and quantum complex plane