BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Jaka Cimpric

Jaka Cimpric contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.AGmath.FAmath.OCmath.QAmath.OAmath.RAmath.RT

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
10works
0followers
7topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

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

Published work

10 published item(s)

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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Strict Positivstellensätze for matrix polynomials with scalar constraints

We extend Krivine&#39;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\&#34; udgen&#39;s and Putinar&#39;s strict positivstellensatz were recently proved by Hol and Scherer using methods from optimization theory.

0 citations0 reviewsNo code linkedOpen access
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&#39;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&#39;s theorem to associative rings with involution.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access