首页/论文/2203.02789

arXiv 2203.027892022-03-05math.FAquant-ph

Lieb一个定理的单调性

A monotonicity version of a concavity theorem of Lieb

Eric A. Carlen

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

摘要英文摘要相关论文

摘要：

我们给出了一个简单的证明，加强版本的一个定理，发挥了关键作用，证明强次可加性的量子熵。

英文摘要：

We give a simple proof of a strengthened version of a theorem of Lieb that played a key role in the proof of strong subadditivity of the quantum entropy.

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

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

摘要英文摘要相关论文

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

继续探索

相关论文

Epstein凹定理的单调形式及相关不等式

Monotonicity versions of Epstein's Concavity Theorem and related inequalities

许多迹不等式可以表示为凸性定理或单调性定理。一个经典的例子是量子相对熵的联合凸性，它等价于数据处理不等式。后者认为量子操作永远不会增加相对熵。单调性版本通常具有许多优点，并且通常具有直接的物理应用，如在刚刚提到的示例中。此外，单调性结果通常对更大类的映射有效，而不是量子操作（完全正的）。在本文中，我们证明了几个新的单调性的结果，其中第一个是单调性定理，作为一个简单的推论著名的Epstein定理。我们的出发点是Lieb凹性和Lieb凸性定理的单调性版本。我们也给出了两个新的证明，这些在其一般形式使用插值。然后，我们证明了我们的新的单调性定理的几个对偶参数。

2022-10-23math.FAquant-ph

关于矩阵值对数不等式及相关的Prekopa和Brascamp-Lieb不等式

On matrix-valued log-concavity and related Prekopa and Brascamp-Lieb inequalities

我们提出了一个新的，独立的，方法H。矩阵值对数凹函数的Prekopa定理的Raufi推广。在此过程中，建立了新的相关不等式，特别是矩阵权重的Brascamp-Lieb方差不等式。

2018-01-15math.APmath.FA

拟熵单调性、Lieb凹性与Ando凸性中的等式情形

Equality cases in monotonicity of quasi-entropies, Lieb's concavity and Ando's convexity

本文重新研究了Petz拟熵的单调性，并系统刻画了拟熵数据处理不等式、Lieb凹性及Ando凸性中等式成立的等价条件，同时将结果推广到单调度量与χ²-散度，并讨论了相关量子信息量的线性保持问题。

2023-07-04math.FAquant-ph

Lieb凹定理的推广

Generality of Lieb's Concavity Theorem

我们表明，Lieb的定理持有更普遍的任何酉不变矩阵函数$ϕ:\mathbf{H}^n_+\rightarrow \mathbb{R}$是单调和凹的。具体地说，我们证明了函数$(A,B) \mapstoϕ\big[(B^\frac{qs}{2}K^*A^{ps}KB^\frac{qs}{2})^{\frac{1}{s}}\big] $在$\mathbf{H}_+^m\times\mathbf{H}_+^n$上的联合映射，对任何$K\in \mathbb{C}^{m\times n},s\in(0,1],p,q\in[0,1], p+q\leq 1$。

2019-05-30math.FAmath.OA

一个推广的Lieb凹性定理的改进

Improvement on a Generalized Lieb's Concavity Theorem

我们发现，Lieb的定理持有更普遍的任何酉不变矩阵函数$ϕ:\mathbf{H}_+^n\rightarrow \mathbb{R}_+^n$是凹的，并满足Hölder不等式。具体地说，我们证明了函数$(A,B) \mapstoϕ\big[(B^\frac{qs}{2}K^*A^{ps}KB^\frac{qs}{2})^{\frac{1}{s}}\big] $在$\mathbf{H}_+^n\times\mathbf{H}_+^m$上的联合映射，对任何$K\in \mathbb{C}^{n\times m}$和任何$s,p,q\in(0,1], p+q\leq 1$.这一结果改进了Huang最近对一类更具体的$ϕ$的工作。

2019-05-04math.FAmath.OA

利用算子插值推广Lieb凹性定理

Generalizing Lieb's Concavity Theorem via Operator Interpolation

引入$k$ -迹的概念，利用算子插值证明了函数$(A,B)\mapsto\text{Tr}_k\big[(B^\frac{qs}{2}K^*A^{ps}KB^\frac{qs}{2})^{\frac{1}{s}}\big]^\frac{1}{k}$的联合可拓性，从而将Lieb的可拓定理从迹推广到一类齐次函数$\text{Tr}_k[\cdot]^\frac{1}{k}$ .这里，$\text{Tr}_k[A]$表示$A$的特征值的$k_{\text{th}}$初等对称多项式。这一结果给出了另一种证明的$A\mapsto\text{Tr}_k\big[\exp(H+\log A)\big]^\frac{1}{k}$，获得并使用在最近的工作，以获得期望估计和随机矩阵的部分谱和的尾界。

2020-05-16math.FAmath.OA

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

某些矩阵迹与范数函数的凹性。II

Concavity of certain matrix trace and norm functions. II

我们改进了Epstein的方法来证明Lieb型$\mathrm{Tr}\,f(Φ(A^p)^{1/2}Ψ(B^q)Φ(A^p)^{1/2})$的矩阵迹函数和$\|f(Φ(A^p)\,σ\,Ψ(B^q))\|$形式的对称（反）范数函数的联合凸性，其中$Φ$和$Ψ$是正线性映射，$σ$是算子平均，$f(x^γ)$具有一定的幂$γ$是$(0,\infty)$上的算子单调函数。此外，将Carlen，Frank和Lieb的变分方法推广到$(0,\infty)$上的一般非减凸/凹函数，从而证明了多个Lieb型迹函数的联合凸/凸性.

2015-09-22math.FA

与Lieb泛函和Minkowski型算子不等式有关的联合凸映射

Jointly convex mappings related to the Lieb's functional and Minkowski type operator inequalities

利用算子对数凸性的概念，研究了多元算子函数$(A,B)\mapsto F(A,B)=h\left[ Φ(f(A))\ σ Ψ(g(B))\right]$的联合$/$凸性，其中$Φ$和$Ψ$是正线性映射，$σ$是算子均值.作为应用，我们证明了矩阵迹函数$/$的共同凸性.此外，考虑$F(A,B)$中的正多线性映射，我们研究了$(A_1,\cdots,A_k)\mapsto h\left[ Φ(f(A_1),\cdots,f(A_k))\right]$的联合$/$凸性，推广和补充了Ando和Lieb关于涉及张量积的映射的联合$/$凸性的结果.此外，我们还给出了酉正线性映射的Minkowski型算子不等式，它是Minkowski型矩阵迹不等式的一个算子形式，在比Carlen和Lieb，Bekjan，Ando和Hiai更一般的情形下.

2020-10-24math.FA

关于Elliott Lieb的一些凸性和单调性不等式

On some convexity and monotonicity inequalities of Elliott Lieb

一个基本文件的埃利奥特Lieb从1973年一直是基础上，许多美丽的工作矩阵不等式的许多人在随后的几年。我们回顾了这些发展的一个良好的连通集。给出了一些新的证明。

2022-04-13math.FA

主主元变换的矩阵单调性与矩阵的单调性

Matrix monotonicity and concavity of the principal pivot transform

我们证明了（广义）主枢轴变换是矩阵单调的，在Löwner排序的意义下，在最小的假设。这改进了J.E. Pascoe和R. Tully-Doyle，主枢轴变换的单调性，线性代数应用。662（2022）以两种方式。首先，我们使用“广义”主枢轴变换，其中主枢轴变换的经典定义中的矩阵逆被替换为Moore-Penrose伪逆。其次，假设的矩阵，单调性持有放松，特别是，我们发现最弱的假设可能是真的。我们还证明了主枢轴变换是具有相同核的半正定矩阵（特别是正定矩阵）上的矩阵凸函数。我们的证明是主枢轴变换的最小化变分原理的推论。

2023-02-10math.FA

一类矩阵迹的凹性与范数函数

Concavity of certain matrix trace and norm functions

改进了Epstein的方法，证明了推广的Lieb型$Tr{Φ(A^p)^{1/2}Ψ(B^q)Φ(A^p)^{1/2}}^s$的矩阵迹函数的联合凸性，其中$Φ$和$Ψ$是正线性映射.用同样的方法结合优化技巧，证明了含算子均值$σ$的$||{Φ(A^p)σΨ(B^q)}^s||$形式的对称（反）范数函数的类似性质. Carlen和Lieb的变分方法也被用来改进范数函数$||Φ(A^p)^s||$的凸性。

2013-03-10math-phmath.FAmath.MP

从Wigner-Yanase-Dyson猜想到Carlen-Frank-Lieb猜想（新标题）

From Wigner-Yanase-Dyson conjecture to Carlen-Frank-Lieb conjecture (New title)

本文研究迹函数\[ Ψ_{p,q,s}(A,B)=\text{Tr}(B^{\frac{q}{2}}K^*A^{p}KB^{\frac{q}{2}})^s,~~p,q,s\in \mathbb{R}, \]的联合凸性/凸性，其中$A$和$B$是正定矩阵，$K$是任意固定可逆矩阵.对于所有$K$，我们将给出$Ψ_{p,q,s}$联合凸/凹的$(p,q,s)\in\mathbb{R}^3$的全范围。因此，我们证实了Carlen，Frank和Lieb的一个猜想。特别地，我们证实了Audenaert和Datta的一个较弱的猜想，并得到了在完全正的保迹映射下$α$-$z$ Rényi相对熵单调的$(α,z)$的全值域.我们还给出了许多已知结果的简单证明，包括$Ψ_{p,0,1/p}$的证明$0<p<1$，这是第一次证明了爱泼斯坦使用复杂的分析。关键是使用变分方法将问题归结为迹函数\[ Ψ_{p,1-p,1}(A,B)=\text{Tr} K^*A^{p}KB^{1-p},~~-1\le p\le 1, \]的联合凸性/凸性。

2020-02-17math-phmath.FAmath.MP

Positive Operators的连接特征

Characterizations of Connections for Positive Operators

Kubo和Ando在1980年研究了算子连接和算子平均的公理化理论。联络是正算子满足单调性、Transformer不等式和联合连续性的二元运算。本文证明了联合连续性假设可以放宽到比分离连续性更弱的条件。这提供了一种更简单的方法来检查给定的二进制操作是否是连接。得到了连通的各种公理化刻画。通过证明单调性可以用连通性或中点连通性来代替，我们证明了连通性是连通性的一个重要性质。每一个操作符连接都导出一个唯一的标量连接。此外，联络与诱导联络之间存在仿射序同构。这给出了一个自然的观点来定义任何命名的手段。

2012-08-24math.FA

到洛格尔及其他地方

To logconcavity and beyond

在1976年Brascamp和Lieb证明了热流保持对数。在本文中，引入一个变化的？，我们表明，它实际上保留了一个更强的属性比logloglogloglogloglogloglogloglogloglogloglogloglogloglogloglogloglogloglogloglogloglogloglogloglogloglogloglogloglogloglogloglogloglogloglogloglogloglogloglogloglogloglogloglogloglogloglogloglogloglogloglogloglogloglogloglogloglogloglogloglogloglogloglogloglogloglogloglogloglogloglogloglogloglogloglogloglogloglogloglogloglogloglogloglogloglogloglogloglogloglogloglogloglogloglogloglogloglogloglogloglogloglogloglogloglogloglogloglogloglogloglogloglogloglogloglogloglogloglogloglogloglogloglogloglogloglogloglogloglogloglogloglogloglog…

2019-04-02math.APmath.FA

通过逆Brascamp-Lieb不等式研究高斯相关性

Gaussian Correlation via Inverse Brascamp-Lieb

本研究借助推广的Nakamura-Tsuji对称逆Brascamp-Lieb不等式，给出Royen高斯相关性不等式的简洁替代证明，明确该逆不等式是正向不等式的对偶对应，且对数凹性假设不可省略。

2025-10-29math.FAmath.PR

拟熵型函数的凸性：再评Lieb和Ando的凸性定理

Convexity of quasi-entropy type functions: Lieb's and Ando's convexity theorems revisited

给定$(0,\infty)$上的一个正函数$f$和一个非零实参数$θ$，我们考虑一个函数$I_f^θ(A,B,X)=Tr X^*(f(L_AR_B^{-1})R_B)^θ(X)$在三个矩阵$A,B>0$和$X$中的情形。在文献中，$θ=\pm1$是典型的。这个概念统一了各种量子信息量，如准熵，单调度量等。我们刻画了函数$I_f^θ$的联合凸性/凸性和单调性，从而统一了各种量子量的一些已知结果。

2012-09-04math-phmath.FAmath.MP