Kenley Jung
If $X, Y,$ and $Z$ are finite sets of selfadjoint elements in a tracial von Neumann algebra and $X$ generates a hyperfinite von Neumann algebra, then $δ_0(X \cup Y \cup Z) \leq δ_0(X \cup Y) + δ_0(X \cup Z) - δ_0(X).$ We draw several corollaries from this inequality.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
Suppose M is a hyperfinite von Neumann algebra with a tracial state $ϕ$ and $\{a_1,...,a_n\}$ is a set of selfadjoint generators for M. We calculate $δ_0(a_1,...,a_n)$, the modified free entropy dimension of $\{a_1,...,a_n\}$. Moreover we show that $δ_0(a_1,...,a_n)$ depends only on M and $ϕ$. Consequently $δ_0(a_1,...,a_n)$ is independent of the choice of generators for M. In the course of the argument we show that if $\{b_1,...,b_n\}$ is a set of selfadjoint generators for a von Neumann algebra R with a tracial state and $\{b_1,...,b_n\}$ has finite dimensional approximants, then for any $b\…
A lower estimate of the orbital free entropy $χ_\mathrm{orb}$ under unitary conjugation is proved, and it together with Voiculescu's observation shows that the conjectural exact formula relating $χ_\mathrm{orb}$ to the free entropy $χ$ breaks in general in contrast to the case when given random multi-variables are all hyperfinite.
We obtain an estimate of free entropy of generators in a type ${II}_1$-factor $\mc{M}$ which has a subfactor $\mc{N}$ of finite index with a subalgebra $\mc{P}=\mc{P}_1\vee\mc{P}_2\subset\mc{N}$ where $\mc{P}_1=\mc{R}_1'\cap\mc{P}$, $\mc{P}_2=\mc{R}_2'\cap\mc{P}$ are diffuse, $\mc{R}_1,\mc{R}_2\subset\mc{P}$ are mutually commuting hyperfinite subfactors, and an abelian subalgebra $\mc{A}\subset\mc{N}$ such that the correspondence $_\mc{P}L^2(\mc{N},τ)_\mc{A}$ is $\mc{M}$-weakly contained in a subcorrespondence $_\mc{P}H_\mc{A}$ of $_\mc{P}L^2(\mc{M},τ)_\mc{A}$, generated by $v$ vectors. The (m…
We give another definition of orbital free entropy introduced by Hiai, Miyamoto and us, which does not need the hyperfiniteness assumption for each given random multi-variable. The present definition is somehow related to one of its several recent `generalizations' due to Biane and Dabrowski, but completely agrees with the original definition and much closer to the original approach.
We calculate the microstates free entropy dimension of natural generators in an amalgamated free product of certain von Neumann algebras, with amalgamation over a hyperfinite subalgebra. In particular, some `exotic' Popa algebra generators of free group factors are shown to have the expected free entropy dimension. We also show that microstates and non--microstates free entropy dimension agree for generating sets of many groups. In the appendix by Wolfgang Lueck, the first L^2-Betti number for certain amalgamated free products of groups is calculated.
We introduce a modification of Voiculescu's free entropy which coincides with the liminf variant of Voiculescu's free entropy on extremal states, but is a concave upper semi-continuous function on the trace state space. We also extend the orbital free entropy of Hiai, Miyamoto and Ueda to non-hyperfinite multivariables and prove freeness in case of additivity of Voiculescu's entropy (or vanishing of our extended orbital entropy).
We give an general estimate for the non-microstates free entropy dimension $δ^{*}(X_{1},..., X_{n})$. If $X_{1},..., X_{n}$ generate a diffuse von Neumann algebra, we prove that $δ^{*}(X_{1},..., X_{n})\geq 1$. In the case that $X_{1},..., X_{n}$ are $q$-semicircular variables as introduced by Bozejko and Speicher and $q^{2}n<1$, we show that $δ^{*}(X_{1},..., X_{n})>1$. We also show that for $|q|<\sqrt{2}-1$, the von Neumann algebras generated by a finite family of $q$-Gaussian random variables satisfy a condition of Ozawa and are therefore solid: the relative commutant of any diffuse subalge…
Suppose $N$ is a diffuse, property T von Neumann algebra and X is an arbitrary finite generating set of selfadjoint elements for N. By using rigidity/deformation arguments applied to representations of N in full matrix algebras, we deduce that the microstate spaces of X are asymptotically discrete up to unitary conjugacy. We use this description to show that the free entropy dimension of X, $δ_0(X)$, is less than or equal to 1. It follows that when N embeds into the ultraproduct of the hyperfinite $\mathrm{II}_1$-factor, then $δ_0(X)=1$ and otherwise, $δ_0(X)=-\infinity$. This generalizes the …
Motivated by Voiculescu's liberation theory, we introduce the orbital free entropy $χ_orb$ for non-commutative self-adjoint random variables (also for "hyperfinite random multi-variables"). Besides its basic properties the relation of $χ_orb$ with the usual free entropy $χ$ is shown. Moreover, the dimension counterpart $δ_{0,orb}$ of $χ_orb$ is discussed, and we obtain the relation of $δ_{0,orb}$ with the original free entropy dimension $δ_0$ with applications to $δ_0$ itself.
We use the free entropy defined by D. Voiculescu to prove that the free group factors can not be decomposed as closed linear spans of noncommutative monomials in elements of nonprime subfactors or abelian $*$-subalgebras, if the degrees of monomials have an upper bound depending on the number of generators. The resulting estimates for the hyperfinite and abelian dimensions of free group factors settle in the affirmative a conjecture of L. Ge and S. Popa (for infinitely many generators).
For certain generating sets of the subfactor pair $M\subset M\rtimes G$ where $G$ is a finite abelian group we prove an approximate inequality between their non-microstates free entropy dimension, resembling the Shreier formula for ranks of finite index subgroups of free groups. As an application, we give bounds on free entropy dimension of generating sets of crossed products of the form $M\rtimes(\mathbb{Z}/2\mathbb{Z})^{\oplus\infty}$ for a large class of algebras $M$.
Establishing strong 1-boundedness via non-microstates free entropy techniques
针对满足非素性、含Cartan子代数或Γ性质的迹von Neumann代数，利用非微状态自由熵技术找到特定扩散超有限子代数，给出其强1-有界性的简短证明。
We study Voiculescu's microstate free entropy for a single non-selfadjoint random variable. The main result is that certain additional constraints on eigenvalues of microstates do not change the free entropy. Our tool is the method of random regularization of Brown measure which was studied recently by Haagerup and the author. As a simple application we present an upper bound for the free entropy of a single non--selfadjoint operator in terms of its Brown measure and the second moment. We furthermore show that this inequality becomes an equality for a class of DT-operators which was introduced…
We investigate the singular subspace of an inclusion of tracial von Neumann algebras. The singular subspace is a canonical N-N subbimodule of L^{2}(M) and it contains the quasinormalizer introduced by Popa, one-sided quasinormalizer introduced by Fang-Gao-Smith, and wq-normalizer introduced in Galatan-Popa (following upon work in Ioana-Peterson-Popa and Popa). We then obtain a weak notion of regularity (called spectral regularity) by demanding that the singular subspace of N in M generates M. By abstracting Voiculescu's original proof of absence of Cartan subalgebras, we show that there can be…
We prove an inequality between the free entropy and the mutual free Fisher information for two projections, regarded as a free analog of the logarithmic Sobolev inequality. The proof is based on the random matrix approximation procedure via the Grassmannian random matrix model of two projections.
We give a simple and conceptual proof of the fact that random unitary channels yield violation of the Minimum Output Entropy additivity. The proof relies on strong convergence of random unitary matrices and Haagerup's inequality.
An Elementary Proof of the Inequality $χ\leq χ^*$ for Conditional Free Entropy
本文为自由概率中联系 Voiculescu 两个熵类似物的不等式 $χ\leq χ^*$ 提供了一个不依赖随机微分方程与大偏差理论的初等证明，并将其推广到条件微观态和非微观态自由熵。
Biane proved the free analog of the logarithmic Sobolev inequality for probability measures on the real line by means of random matrix approximation procedure. We show that the same method can be applied to reprove Biane and Voiculescu's free analog of Talagrand's transportation cost inequality for measures on the real line. Furthermore, we prove the free analogs of the logarithmic Sobolev inequality and the transportation cost inequality for measures on 1-dimensional torus as well by extending the method to special unitary random matrices.
We study quantum computation relations on unital finite-dimensional CAR $C^{*}$-algebras. We prove an entropy power inequality (EPI) in a fermionic setting, which presumably will permit understanding the capacities in fermionic linear optics. Similar relations to the bosonic case are shown, and alternative proofs of known facts are given. Clifford algebras and the Grassmann representation can thus be used to obtain mathematical results regarding coherent fermion states.
We prove an entropic uncertainty relation for two quantum channels, extending the work of Frank and Lieb for quantum measurements. This is obtained via a generalized strong super-additivity (SSA) of quantum entropy. Motivated by Petz's algebraic SSA inequality, we also obtain a generalized SSA for quantum relative entropy. As a special case, it gives an improved data processing inequality.
A sharp symmetrized free transport-entropy inequality for the semicircular law
本文通过两种方法为半圆律证明了精确的对称化自由 Talagrand 不等式，改进了自由 TCI；一维证明联系自由矩映射机制，多维证明基于随机矩阵逼近方法。
We consider three von Neumann entropy inequalities: subadditivity; Pinsker's inequality for relative entropy; and the monotonicity of relative entropy. For these we state conditions for equality, and we prove some new error bounds away from equality, including an improved version of Pinsker's inequality.
We consider the following trace function on n-tuples of positive operators: Φ_p(A_1,A_2,...,A_n) = Trace (\sum_{j=1}^n A_j^p)^{1/p} and prove that it is jointly concave for 0<p\le 1 and convex for p=2. We then derive from this a Minkowski type inequality for operators on a tensor product of three Hilbert spaces, and show how this implies the strong subadditivity of quantum mechanical entropy. For p>2, Φ_p is neither convex nor concave. We conjecture that Φ_p is convex for 1<p<2, but our methods do not show this.
Exponential Relative Entropy Decay Along Quantum Markov Semigroups
本文证明了量子马尔可夫半群中相对熵指数衰减与修正对数索博列夫不等式的等价性，并将该不等式的交织判据扩展至无穷维冯诺依曼代数上的GNS对称半群。
扫码添加微信好友，提出您的宝贵建议 👇
💡 备注请填写：网站反馈
发表机构由 AI 从论文文本抽取，如发现错误，欢迎反馈修正建议。