arXiv 0804.06332008-04-03math.FAmath.OC

Non-Commutative Partial Matrix Convexity

Damon M. Hay, J. William Helton, Adrian Lim, Scott McCullough

备注：: 24 pages

英文摘要：

Let $p$ be a polynomial in the non-commuting variables $(a,x)=(a_1,...,a_{g_a},x_1,...,x_{g_x})$. If $p$ is convex in the variables $x$, then $p$ has degree two in $x$ and moreover, $p$ has the form $p = L + Λ^T Λ,$ where $L$ has degree at most one in $x$ and $Λ$ is a (column) vector which is linear in $x,$ so that $Λ^TΛ$ is a both sum of squares and homogeneous of degree two. Of course the converse is true also. Further results involving various convexity hypotheses on the $x$ and $a$ variables separately are presented.

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

英文摘要相关论文

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

继续探索

相关论文

实非交换凸性 I

Real Non-Commutative Convexity I

本研究开创实非交换（nc）凸集理论，作为Davidson与Kennedy复非交换凸理论的实情形版本，构建相关基础框架，给出实算子系统及对应nc凸集的结构结论，阐明复化与凸性构造的作用，提出nc凸集复化新概念。

2025-10-06math-phmath.FAmath.MP

Non-commutative perspectives

We prove that the non-commutative perspective of an operator convex function is the unique extension of the corresponding commutative perspective that preserves homogeneity and convexity.

2013-09-30math.FAmath.OA

Noncommutative partial convexity via $Γ$-convexity

Motivated by classical notions of partial convexity, biconvexity, and bilinear matrix inequalities, we investigate the theory of free sets that are defined by (low degree) noncommutative matrix polynomials with constrained terms. Given a tuple of symmetric polynomials $Γ$, a free set is called $Γ$-convex if it closed under isometric conjugation by isometries intertwining $Γ$. We establish an Effros-Winkler Hahn-Banach separation theorem for $Γ$-convex sets; they are delineated by linear pencils in the coordinates of $Γ$ and the variables $x$.

2019-08-16math.FA

On C-Extreme Maps and -Homomorphisms of a Commutative C*-Algebra

The generalized state space of a commutative C*-algebra, denoted S_H(C(X)), is the set of positive unital maps from C(X) to the algebra B(H) of bounded linear operators on a Hilbert space H. C*-convexity is one of several non-commutative analogs of convexity which have been discussed in this context. In this paper we show that a C*-extreme point of S_H(C(X)) satisfies a certain spectral condition on the operators in the range of the associated positive operator-valued measure. This result enables us to show that C*-extreme maps from C(X) into K^+, the algebra generated by the compact and scala…

2009-02-12math.FAmath.OA

Semidefinite programming in matrix unknowns which are dimension free

One of the main applications of semidefinite programming lies in linear systems and control theory. Many problems in this subject, certainly the textbook classics, have matrices as variables, and the formulas naturally contain non-commutative polynomials in matrices. These polynomials depend only on the system layout and do not change with the size of the matrices involved, hence such problems are called "dimension-free". Analyzing dimension-free problems has led to the development recently of a non-commutative (nc) real algebraic geometry (RAG) which, when combined with convexity, produces di…

2011-12-29math.FAmath.OAmath.OC

Noncommutative partially convex rational functions

Motivated by classical notions of bilinear matrix inequalities (BMIs) and partial convexity, this article investigates partial convexity for noncommutative functions. It is shown that noncommutative rational functions that are partially convex admit novel butterfly-type realizations that necessitate square roots. The notion of xy-convexity, a strengthening of partial convexity arising in connection with BMIs, is also considered. A characterization of xy-convex polynomials is given.

2022-06-23math.FA

更多相关论文收起更多论文

The Schrödinger problem on the non-commutative Fisher-Rao space

We present a self-contained and comprehensive study of the Fisher-Rao space of matrix-valued non-commutative probability measures, and of the related Hellinger space. Our non-commutative Fisher-Rao space is a natural generalization of the classical commutative Fisher-Rao space of probability measures and of the Bures-Wasserstein space of Hermitian positive-definite matrices. We introduce and justify a canonical entropy on the non-commutative Fisher-Rao space, which differs from the von Neumann entropy. We consequently derive the analogues of the heat flow, of the Fisher information, and of the…

2021-01-04math.CAmath.FAmath.OC

Non-commutative polynomials with convex level slices

Let a and x denote tuples of (jointly) freely noncommuting variables. A square matrix valued polynomial p in these variables is naturally evaluated at a tuple (A,X) of symmetric matrices with the result p(A,X) a square matrix. The polynomial p is symmetric if it takes symmetric values. Under natural irreducibility assumptions and other mild hypothesis, the article gives an algebraic certificate for symmetric polynomials p with the property that for sufficiently many tuples A, the set of those tuples X such that p(A,X) is positive definite is convex. In particular, p has degree at most two in x…

2017-06-20math.FA

Partial results on the convexity of the Parisi functional with PDE approach

We investigate the convexity problem for the Parisi functional defined on the space of the so-called functional ordered parameters in the Sherrington-Kirkpatrick model. In the recent work of Panchenko [3], he proved that this functional is convex along one-sided directions with a probabilistic method. In this paper, we will study this problem with a PDE approach that simplifies his original proof and presents more general results.

2013-11-11math-phmath.APmath.FA

Commutative Partial Differential Operators

In one variable, there exists a satisfactory classification of commutative rings of differential operators. In several variables, even the simplest generalizations seem to be unknown and in this report we give examples and pose questions that may suggest a theory to be developed. In particular, we address the existence of a ``spectral variety'' generalizing the spectral curve of the one dimensional theory and the role of the differential resultant.

1999-07-14math.AGmath.FAmath.RA

Free Convex Algebraic Geometry

This chapter is a tutorial on techniques and results in free convex algebraic geometry and free real algebraic geometry (RAG). The term free refers to the central role played by algebras of noncommutative polynomials R<x> in free (freely noncommuting) variables x=(x_1,...,x_g). The subject pertains to problems where the unknowns are matrices or Hilbert space operators as arise in linear systems engineering and quantum information theory. The subject of free RAG flows in two branches. One, free positivity and inequalities is an analog of classical real algebraic geometry, a theory of polynomial…

2013-04-15math.AGmath.FA

Finite-dimensionality in the non-commutative Choquet boundary: peaking phenomena and $\mathrm{C}^*$-liminality

We explore the finite-dimensional part of the non-commutative Choquet boundary of an operator algebra. In other words, we seek finite-dimensional boundary representations. Such representations may fail to exist even when the underlying operator algebra is finite-dimensional. Nevertheless, we exhibit mechanisms that detect when a given finite-dimensional representation lies in the Choquet boundary. Broadly speaking, our approach is topological and requires identifying isolated points in the spectrum of the $\mathrm{C}^*$-envelope. This is accomplished by analyzing peaking representations and pe…

2020-09-28math.FAmath.OA

非交换部分凸性的对偶性、极点与凸包

Duality, extreme points and hulls for noncommutative partial convexity

University of Ljubljana（卢布尔雅那大学）；Famnit, University of Primorska（普里莫斯卡学院，普里莫斯卡大学）；Institute of Mathematics, Physics and Mechanics（数学、物理和力学研究所）

研究非交换部分凸性等在Γ - 凸性下的推广，引入相关概念并建立对偶性，定义Γ - 凸集极点，得出Krein - Milman定理，还给出自由对称多项式矩阵正性域的Γ - 凸包逼近方案。

2026-07-20math.FAmath.OA

Multiplication operators on non-commutative spaces

Boundedness and compactness properties of multiplication operators on quantum (non-commutative) function spaces are investigated. For endomorphic multiplication operators these properties can be characterized in the setting of quantum symmetric spaces. For non-endomorphic multiplication operators these properties can be completely characterized in the setting of quantum $L^p$-spaces and a partial solution obtained in the more general setting of quantum Orlicz spaces.

2018-11-01math.FAmath.OA

Löwner's Theorem in several variables

In this paper we establish a multivariable non-commutative generalization of Löwner's classical theorem from 1934 characterizing operator monotone functions as real functions admitting analytic continuation mapping the upper complex half-plane into itself. The non-commutative several variable theorem proved here characterizes several variable operator monotone functions, not assumed to be free analytic or even continuous, as free functions that admit free analytic continuation mapping the upper operator poly-halfspace into the upper operator halfspace over an arbitrary Hilbert space. We establ…

2016-06-13math.CVmath.FA