首页/论文/math/0703271

arXiv math/07032712007-03-09math.OA

矩阵凸函数II的微分分析

Differential analysis of matrix convex functions II

Frank Hansen, Jun Tomiyama

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

摘要英文摘要相关论文

摘要：

本文继续了文[3]中用微分方法对实区间上定阶矩阵凸函数的分析，而不是Kraus [5]中用均差刻画的结果。本文对已有文献中的一些观点进行了修正和改进，并给出了矩阵低阶凸性的一些简单而重要的结论。

英文摘要：

We continue the analysis in [3] of matrix convex functions of a fixed order defined in a real interval by differential methods as opposed to the characterization in terms of divided differences given by Kraus [5]. We amend and improve some points in the previously given presentation, and we give a number of simple but important consequences of matrix convexity of low orders.

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

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

摘要英文摘要相关论文

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

继续探索

相关论文

矩阵凸函数的微分分析

Differential analysis of matrix convex functions

我们分析矩阵凸函数的一个固定的顺序定义在一个实区间上的微分方法，而不是由克劳斯给出的均差的特征。我们得到的每一个顺序的条件矩阵凸性是必要的和局部充分的，他们允许我们证明之间的差距类的连续订单的矩阵凸函数的存在，并给出明确的例子中包含的功能类型的每个这些差距。给出的条件也是全局充分的矩阵凸性的二阶。最后，我们引入了一个分数变换，它连接了每个n阶矩阵单调函数的集合与n+1阶矩阵凸函数的集合。

2006-06-12math.OA

Arveson极值点跨距自由谱面

Arveson extreme points span free spectrahedra

令$ SM_n(\mathbb{R})^g$表示$n \times n$实对称矩阵的$g$ -元组.给定元组$X=(X_1, \dots, X_g) \in SM_{n_1}(\mathbb{R})^g$和$Y=(Y_1, \dots, Y_g) \in SM_{n_2}(\mathbb{R})^g$，$X$和$Y$的矩阵凸组合是\[ V_1^* XV_1+V_2^* Y V_2 \quad \quad \quad V_1^* V_1+V_2^* V_2=I_n \]形式的和，其中$V_1:\mathbb{R}^n \to \mathbb{R}^{n_1}$和$V_2:\mathbb{R}^n \to \mathbb{R}^{n_2}$是收缩。矩阵凸集是在矩阵凸组合下闭的集合。矩阵凸组合的一个关键特征是$g$元组$X, Y$和$V_1^* XV_1+V_2^* Y V_2$不需要具有相同的大小。因此，矩阵凸集是凸集的无量纲类似物。虽然在经典的设置只有一个概念的极值点，有三个主要的概念极值点的矩阵凸集：普通，矩阵，和绝对极值点。绝对极值点与经典的Arveson边界密切相关。矩阵凸集理论的一个中心目标是确定这些类型的极值点之一是否通过矩阵凸组合最小地恢复了矩阵凸集。本文证明了由线性矩阵不等式定义的实紧矩阵凸集是其绝对极值点的矩阵凸包，绝对极值点是具有此性质的最小集。此外，我们给出了一个…

2019-06-11math.OA

矩阵单调函数空间和矩阵凸函数空间的结构与Jensen型算子不等式

Structure of the spaces of matrix monotone functions and of matrix convex functions and Jensen's type inequality for operators

设$n \in \N$和$M_n$是$n \times n$矩阵的代数。当不等式$f(a) \leq f(b)$对每对自伴矩阵$a, b \in M_n$成立，使得$a \leq b$以及$a$和$b$的所有特征值都包含在$I$中时，我们称一个函数$f$矩阵为$n$阶单调或$n$ -单调. $I$上的矩阵凸（凹）函数也有类似的定义。$n$ -单调函数和$n$ -凸函数的空间记为$P_n(I)$和$K_n(I)$。本文在$n$的每一个层次上讨论了几个断言，并把它们看作是序列$\{P_n(I)\}_{n\in\N}$和$\{K_n(I)\}_{n\in\N}$的双重堆积结构问题。为了清楚地了解方面的问题，但是，我们选择了以下三个主要的断言，其中并讨论它们之间的相互依赖性：\begin{enumerate} \item[(i)] $f(0)\leq 0$ and $f$ is $n$-convex in $[0,α)$, \item[(ii)] For each matrix $a$ with its spectrum in $[0,α)$ and a contraction $c$ in the matrix algebra $M_n$, \[ f(c^{\star}a c)\leq c^{\star}f(a)c, \] \item[(iii)] The functon $g(t)/t…

2008-05-14math.OA

无绝对极值点的矩阵凸集

Matrix Convex Sets Without Absolute Extreme Points

本文证明了一类没有绝对极值点的闭有界矩阵凸集的存在性。我们考虑的集合是非交换集合，$K_X$，由单个元组$X$的矩阵凸组合形成。当$X$是不含非平凡有限维约化子空间的紧算子元组时，$K_X$是不含绝对极值点的闭有界矩阵凸集.矩阵矩阵论凸性理论的一个中心目标是在无量纲的情况下找到一个自然的极值点的概念，它是关于生成的最小值。矩阵极值点是已知的跨越矩阵凸集的最强类型的极值点;然而，它们不一定是这样做的最小集合。绝对极值点是一种更受限制的极值点类型，与Arveson边界密切相关，如果它们跨越，则具有强烈的极小概念。这一结果表明，矩阵凸集的绝对极值点可能不能张成。

2017-08-07math.FAmath.OA

切向Hahn-Banach定理、极对偶、矩阵凸集和自由谱面投影

The Tracial Hahn-Banach Theorem, Polar Duals, Matrix Convex Sets, and Projections of Free Spectrahedra

本文研究了矩阵凸集，并引入了它们的迹类似，我们称之为压缩迹凸集。在这两种情况下，完全正（CP）映射起着核心作用：单位CP映射的情况下，矩阵凸集和迹保持CP（CPTP）映射的情况下，压缩tracial凸集。CPTP映射，也称为量子信道，是量子信息论中的基本对象。自由凸性与线性矩阵不等式L（x）= A_0 + A_1x_1+…+ A_gx_g > 0及其矩阵凸解集{ X：L（X）是半正定的}，称为自由谱面.矩阵凸集的Effros-Winkler Hahn-Banach分离定理指出，矩阵凸集是具有算子系数的线性矩阵不等式的解集。部分出于cp插值问题，我们开发的基础凸分析和对偶的tracial设置，包括tracial类似物的Effros-Winkler定理。g+h元的自由谱面体到g元的投影是一个矩阵凸集，称为自由谱滴。作为一类，自由谱滴比自由谱面更一般，但同时也比一般的矩阵凸集更易处理。此外，许多矩阵凸集可以从上面的自由谱滴近似。这里建立了谱滴及其极坐标的一些基本结果。例如，自由谱滴的自由极对偶也是自由谱滴。对于在自由谱点上为正的自由多项式，我们也给出了一个Positivstellenstrance。

2016-02-29math.FAmath.OA

矩阵凸集的面的结构

Facial structure of matrix convex sets

University of Ljubljana, Faculty of Mathematics and Physics（卢布尔雅那大学数学物理学院）；Institute of Mathematics, Physics and Mechanics（数学、物理与力学研究所）

本文在矩阵凸集上定义并研究了矩阵暴露点与矩阵面，证明了矩阵极端点与矩阵暴露点的等价性，并得到Krein-Milman型结果，同时将经典面理论与非交换序理想对应起来。

2026-09-14math.FAmath.OA

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

算子空间的边界表示和紧矩形矩阵凸集

Boundary representations of operator spaces, and compact rectangular matrix convex sets

本文首次研究了算子空间的矩阵凸性。本文定义了紧矩形矩阵凸集的概念，并证明了Krein-Milman定理和双极定理在这方面的自然类比。我们导出了紧矩形矩阵凸集与算子空间之间的一个典范对应。我们还引入了算子空间的边界表示的概念，并证明了Arveson猜想的自然模拟：每个算子空间完全由其边界表示赋范。这产生了算子空间的三重包络的规范构造。

2017-12-10math.FAmath.OA

矩阵凸集的极值点及其张成性质

Extreme points of matrix convex sets and their spanning properties

本文综述了矩阵凸集及其极值点，探讨了矩阵极值点、矩阵暴露点和自由极值点在 Krein-Milman 定理下的优劣，并重点讨论了由线性矩阵不等式确定的有限维自由谱面体。

2024-07-15math.FAmath.OA

矩阵凸集的极值点、自由谱面与伸缩理论

Extreme points of matrix convex sets, free spectrahedra and dilation theory

对于矩阵凸集，给出了极值点和Arveson边界点概念的统一几何解释。这些概念按照强度的递增顺序包括“欧几里德”极值点、“矩阵”极值点和“绝对”极值点的核心概念。一个看似不同的概念，“Arveson边界”，相比之下，具有膨胀理论的味道。一个Arveson边界点是一个算子系统的边界表示（不一定是不可约的）的模拟。本文提供并探讨了上述极值点概念的膨胀理论公式。线性矩阵不等式（LMI）的标量解集称为谱面体。线性矩阵不等式的矩阵解集是一个自由谱面体。光谱面体（分别为自由谱面体）位于一般凸集（分别为矩阵凸集）和凸多面体（分别为自由多面体）。作为我们关于极值点定理的应用，证明了矩阵凸集K的极对偶作为矩阵凸集是由多个Arveson边界点生成的当且仅当K是自由谱面体;如果自由谱面体K的极对偶又是自由谱面体，则在标量水平K是多面体。

2019-06-04math.FAmath.OA

矩阵值域的形状、尺度和极小性

Shape, Scale, and Minimality of Matrix Ranges

研究了矩阵凸集的包含性和唯一性问题。第一，矩阵凸集在多大程度上是由它的第一层决定的？我们的结果在这个方向上量化的两个产品操作之间的差距，即产品的最小矩阵凸集在$K_i \subseteq \mathbb{C}^d$，和最小矩阵凸集在产品的$K_i$。第二，如果给定一个矩阵凸集作为一个算子元组$T$的矩阵值域，那么当$T$是唯一确定的时？我们提供了反例的结果在文献中，表明一个紧凑的元组满足极小条件不需要确定唯一的，即使它的矩阵范围是一个特别友好的设置。最后，我们的结果可用于改进伸缩尺度，如（非自伴）压缩到交换正规算子的伸缩的范数界，具体和抽象的。

2018-07-18math.FAmath.OA

矩阵Hermite-Hadamard型不等式

Matrix Hermite-Hadamard type inequalities

给出了几个Hermite-Hadamard型矩阵不等式和算子不等式。首先建立了矩阵上单调凸函数的优化形式。然后利用Mond-Pecaric方法得到了凸函数的算子形式。我们还介绍了一些应用。最后得到了算子凸函数、正线性映射和算子作用在希尔伯特空间上的一个Hermite-Hadamard不等式。

2013-03-31math.FAmath.OA

$A_{0}(K)$ -空间的量子化

Quantization of $A_{0}(K)$-Spaces

本文研究了$L^1$ -矩阵凸集$\{K_{n}\}$在$*$ -局部凸空间中的性质，证明了对于一个适当的$L^1$ -矩阵凸集$\{K_{n}\}$，每个C-$^*$ -序算子空间都是完备等距的，完全同构于$\{A_{0}(K_{n}, M_{n}(V))\}$.进一步，我们将紧凸集的正则嵌入推广到$L^{1}$ -矩阵凸集的$L^{1}$ -正则嵌入.利用$L^{1}$ -凸集的$L^{1}$ -正则嵌入，得到了$A_{0}(K_{n}, M_{n}(V))$是抽象算子系统的条件.

2018-02-10math.FAmath.OA