Jensen's inequality for partial traces in von Neumann algebras

• URL: http://arxiv.org/abs/2507.02422v1
• Date: Thu, 03 Jul 2025 08:30:32 GMT
• Title: Jensen's inequality for partial traces in von Neumann algebras
• Abstract summary: We prove a Jensen's inequality for partial traces in von Neumann algebras.<n>We also prove a similar inequality in the framework of general (non-tracial) von Neumann algebras.
• Score: 2.7624021966289605
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: Motivated by a recent result on finite-dimensional Hilbert spaces, we prove a Jensen's inequality for partial traces in semifinite von Neumann algebras. We also prove a similar inequality in the framework of general (non-tracial) von Neumann algebras.

Related papers

• Sufficient positive maps between von Neumann algebras: Rényi divergences [1.4323566945483497]
  We prove recovery theorems for Rényi divergences under normal unital positive maps between von Neumann algebras.<n>Our proof uses sufficiency for JW*-subalgebras and $Lp$-spaces over them to characterize equality in the data processing inequality.
  arXiv  Detail & Related papers  (2026-08-28T16:43:20Z)
• Integral representations of $f$-divergences for general von Neumann algebras [0.0]
  We analyze hockeystick divergences and $f$-divergences for normal positive functionals on general von Neumann algebras.<n>All the main properties of these state distinguishability measures are derived from properties of the Jordan decomposition of selfadjoint normal functionals.
  arXiv  Detail & Related papers  (2026-07-06T15:11:39Z)
• Harmful Overfitting in Sobolev Spaces [49.47221415754556]
  We study the generalization behavior of functions in Sobolev spaces $Wk, p(mathbbRd)$ that perfectly fit a noisy training data set.<n>We show that approximately norm-minimizing interpolators, which are canonical solutions selected by smoothness bias, exhibit harmful overfitting.<n>Our proof uses a geometric argument which identifies harmful neighborhoods of the training data using Sobolev inequalities.
  arXiv  Detail & Related papers  (2026-01-31T17:40:56Z)
• Generalized Poincaré inequality for quantum Markov semigroups [5.0858152916077595]
  We prove a noncommutative $(p,p)$-Poincaré inequality for trace-symmetric quantum Markov semigroups on tracial von Neumann algebras.
  arXiv  Detail & Related papers  (2026-01-09T18:41:12Z)
• The Universal Theory of Locally Universal Tracial von Neumann Algebras is not Computable [0.0]
  We show that locally universal tracial von Neumann algebras have undecidable universal theories.<n>This implies that no such algebra admits a computable presentation.<n>We discuss how these are obstructions to approximation properties in the class of tracial and semifinite von Neumann algebras.
  arXiv  Detail & Related papers  (2025-08-29T15:28:13Z)
• Revisiting the operator extension of strong subadditivity [44.99833362998488]
  We give a new proof of the operator extension of the strong subadditivity of von Neumann entropy $rho_AB otimes sigma_C-1 leq rho_A otimes sigma_BC-1$ by identifying the mathematical structure behind it as Connes' theory of spatial derivatives.
  arXiv  Detail & Related papers  (2025-07-30T14:18:43Z)
• Exponential Relative Entropy Decay Along Quantum Markov Semigroups [0.0]
  We establish the equivalence between exponential decay of the relative entropy along a quantum Markov semigroup and the modified logarithmic Sobolev inequality for general von Neumann algebras.<n>We extend an intertwining criterion for the modified logarithmic Sobolev inequality to GNS-symmetric quantum Markov semigroups on infinite-dimensional von Neumann algebras.
  arXiv  Detail & Related papers  (2025-05-12T13:29:34Z)
• Modular Completely Dirichlet forms as Squares of Derivations [0.0]
  We show that certain closable derivations on the GNS Hilbert space associated with a non-tracial weight on a von Neumann algebra give rise to GNS-symmetric semigroups of contractive completely positive maps on the von Neumann algebra.
  arXiv  Detail & Related papers  (2023-07-10T11:46:51Z)
• Quantum and classical low-degree learning via a dimension-free Remez inequality [52.12931955662553]
  We show a new way to relate functions on the hypergrid to their harmonic extensions over the polytorus. We show the supremum of a function $f$ over products of the cyclic group $exp(2pi i k/K)_k=1K$. We extend to new spaces a recent line of work citeEI22, CHP, VZ22 that gave similarly efficient methods for learning low-degrees on hypercubes and observables on qubits.
  arXiv  Detail & Related papers  (2023-01-04T04:15:40Z)
• Quantum teleportation in the commuting operator framework [63.69764116066747]
  We present unbiased teleportation schemes for relative commutants $N'cap M$ of a large class of finite-index inclusions $Nsubseteq M$ of tracial von Neumann algebras. We show that any tight teleportation scheme for $N$ necessarily arises from an orthonormal unitary Pimsner-Popa basis of $M_n(mathbbC)$ over $N'$.
  arXiv  Detail & Related papers  (2022-08-02T00:20:46Z)
• Self-Adjointness of Toeplitz Operators on the Segal-Bargmann Space [62.997667081978825]
  We prove a new criterion that guarantees self-adjointness of Toeplitz operator with unbounded operator-valued symbols. We extend the Berger-Coburn estimate to the case of vector-valued Segal-Bargmann spaces.
  arXiv  Detail & Related papers  (2022-02-09T19:14:13Z)
• Dissipative evolution of quantum Gaussian states [68.8204255655161]
  We derive a new model of dissipative time evolution based on unitary Lindblad operators. As we demonstrate, the considered evolution proves useful both as a description for random scattering and as a tool in dissipator engineering.
  arXiv  Detail & Related papers  (2021-05-26T16:03:34Z)
• Trace- and improved data processing inequalities for von Neumann algebras [0.0]
  We prove a version of the data-processing inequality for the relative entropy for general von Neumann algebras with an explicit lower bound involving the measured relative entropy. The natural applications of our results are in quantum field theory where the von Neumann algebras are known to be of type III.
  arXiv  Detail & Related papers  (2021-02-15T11:36:44Z)
• Some Hoeffding- and Bernstein-type Concentration Inequalities [47.24550702683417]
  We prove concentration inequalities for functions of independent random variables under sub-gaussian and sub-exponential conditions. The utility of the inequalities is demonstrated by an extension of the now classical method of Rademacher complexities to Lipschitz function classes and unbounded sub-exponential distribution.
  arXiv  Detail & Related papers  (2021-02-11T23:09:13Z)
• Multivariate Trace Inequalities, p-Fidelity, and Universal Recovery Beyond Tracial Settings [4.56877715768796]
  We show that the physics of quantum field theory and holography motivate entropy inequalities in type III von Neumann algebras that lack a semifinite trace. The Haagerup and Kosaki $L_p$ spaces enable re-expressing trace inequalities in non-tracial von Neumann algebras.
  arXiv  Detail & Related papers  (2020-09-24T21:05:13Z)
• Approximate recovery and relative entropy I. general von Neumann subalgebras [0.0]
  We prove the existence of a universal recovery channel that approximately recovers states on a v. Neumann subalgebra when the change in relative entropy, with respect to a fixed reference state, is small. Our results hinge on the construction of certain analytic vectors and computations/estimations of their Araki-Masuda $L_p$ norms.
  arXiv  Detail & Related papers  (2020-06-14T20:00:38Z)
• Lagrangian description of Heisenberg and Landau-von Neumann equations of motion [55.41644538483948]
  An explicit Lagrangian description is given for the Heisenberg equation on the algebra of operators of a quantum system, and for the Landau-von Neumann equation on the manifold of quantum states which are isospectral with respect to a fixed reference quantum state.
  arXiv  Detail & Related papers  (2020-05-04T22:46:37Z)
• Joint measurability meets Birkhoff-von Neumann's theorem [77.34726150561087]
  We prove that joint measurability arises as a mathematical feature of DNTs in this context, needed to establish a characterisation similar to Birkhoff-von Neumann's. We also show that DNTs emerge naturally from a particular instance of a joint measurability problem, remarking its relevance in general operator theory.
  arXiv  Detail & Related papers  (2018-09-19T18:57:45Z)

This list is automatically generated from the titles and abstracts of the papers in this site.

This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.