Searcharxiv⌕ Search

arXiv subjects

Melchior Wirth

Publications and source records attributed to Melchior Wirth.

At least 19 recordsLinked to original sources
arXiv2026

The KMS and GNS Spectral Gap of Quantum Markov Semigroups

We establish a relation between the exponential decay rates of quantum Markov semigroups with respect to different inner products. More precisely, it was conjectured by Fagnola, Poletti, Sasso and Umanit\`a that for a Gaussian quantum Markov semigroup, the exponential decay rate with respect to the KMS inner product is bounded below by the exponential decay rate for the GNS inner product. We show that this is indeed the case and not limited to Gaussian quantum Markov semigroups, but holds for quantum Markov semigroups with a faithful normal invariant state on arbitrary von Neumann algebras. Additionally, the KMS inner product can be replaced by a whole class of inner products induced by operator monotone functions.

math-ph↗
arXiv2025

Triangle Inequality for a Quantum Wasserstein Divergence

We resolve a conjecture of De Palma and Trevisan by proving the triangle inequality for a quantum 2-Wasserstein distance. The proof relies on complex analysis methods to establish a new integral representation of the cost in the optimal transport problem.

math-ph↗
arXiv2025

Exponential Relative Entropy Decay Along Quantum Markov Semigroups

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. We also extend an intertwining criterion for the modified logarithmic Sobolev inequality to GNS-symmetric quantum Markov semigroups on infinite-dimensional von Neumann algebras.

math.OA↗
arXiv2024

Operator-Valued Twisted Araki-Woods Algebras

We introduce operator-valued twisted Araki-Woods algebras. These are operator-valued versions of a class of second quantization algebras that includes $q$-Gaussian and $q$-Araki-Woods algebras and also generalize Shlyakhtenko's von Neumann algebras generated by operator-valued semicircular variables. We develop a disintegration theory that reduces the isomorphism type of operator-valued twisted Araki-Woods algebras over type I factors to the scalar-valued case. Moreover, these algebras come with a natural weight, and we characterize its modular theory. We also give sufficient criteria that guarantee that factoriality of these algebras.

math.OA↗
arXiv2024

Intertwining Curvature Bounds for Graphs and Quantum Markov Semigroups

Based on earlier work by Carlen-Maas and the second- and third-named author, we introduce the notion of intertwining curvature lower bounds for graphs and quantum Markov semigroups. This curvature notion is stronger than both Bakry-Émery and entropic Ricci curvature, while also computationally simpler than the latter. We verify intertwining curvature bounds in a number of examples, including finite weighted graphs and graphs with Laplacians admitting nice mapping representations, as well as generalized dephasing semigroups and quantum Markov semigroups whose generators are formed by commuting jump operators. By improving on the best-known bounds for entropic curvature of depolarizing semigroups, we demonstrate that there can be a gap between the optimal intertwining and entropic curvature bound. In the case of qubits, this improved entropic curvature bound implies the modified logarithmic Sobolev inequality with optimal constant.

math.FA↗
arXiv2023

Derivations and KMS-Symmetric Quantum Markov Semigroups

We prove that the generator of the $L^2$ implementation of a KMS-symmetric quantum Markov semigroup can be expressed as the square of a derivation with values in a Hilbert bimodule, extending earlier results by Cipriani and Sauvageot for tracially symmetric semigroups and the second-named author for GNS-symmetric semigroups. This result hinges on the introduction of a new completely positive map on the algebra of bounded operators on the GNS Hilbert space. This transformation maps symmetric Markov operators to symmetric Markov operators and is essential to obtain the required inner product on the Hilbert bimodule.

math.OA↗
arXiv2022

Ergodic Decompositions of Dirichlet Forms under Order Isomorphisms

We study ergodic decompositions of Dirichlet spaces under intertwining via unitary order isomorphisms. We show that the ergodic decomposition of a quasi-regular Dirichlet space is unique up to a unique isomorphism of the indexing space. Furthermore, every unitary order isomorphism intertwining two quasi-regular Dirichlet spaces is decomposable over their ergodic decompositions up to conjugation via an isomorphism of the corresponding indexing spaces.

math.FA↗
arXiv2022

Quantum Talagrand, KKL and Friedgut's theorems and the learnability of quantum Boolean functions

We extend three related results from the analysis of influences of Boolean functions to the quantum setting, namely the KKL Theorem, Friedgut's Junta Theorem and Talagrand's variance inequality for geometric influences. Our results are derived by a joint use of recently studied hypercontractivity and gradient estimates. These generic tools also allow us to derive generalizations of these results in a general von Neumann algebraic setting beyond the case of the quantum hypercube, including examples in infinite dimensions relevant to quantum information theory such as continuous variables quantum systems. Finally, we comment on the implications of our results as regards to noncommutative extensions of isoperimetric type inequalities, quantum circuit complexity lower bounds and the learnability of quantum observables.

math.FA↗
arXiv2022

The Differential Structure of Generators of GNS-symmetric Quantum Markov Semigroups

We show that the generator of a GNS-symmetric quantum Markov semigroup can be written as the square of a derivation. This generalizes a result of Cipriani and Sauvageot for tracially symmetric semigroups. Compared to the tracially symmetric case, the derivations in the general case satisfy a twisted product rule, reflecting the non-triviality of their modular group. This twist is captured by the new concept of Tomita bimodules we introduce. If the quantum Markov semigroup satisfies a certain additional regularity condition, the associated Tomita bimodule can be realized inside the $L^2$ space of a bigger von Neumann algebra, whose construction is an operator-valued version of free Araki-Woods factors.

math.OA↗
arXiv2022

Christensen-Evans theorem and extensions of GNS-symmetric quantum Markov semigroups

In this note we prove a refined version of the Christensen-Evans theorem for generators of uniformly continuous GNS-symmetric quantum Markov semigroups. We use this result to show the existence of GNS-symmetric extensions of GNS-symmetric quantum Markov semigroups. In particular, this implies that the generators of GNS-symmetric quantum Markov semigroups on finite-dimensional von Neumann algebra can be written in the form specified by Alicki's theorem.

math.OA↗
arXiv2021

Curvature-dimension conditions for symmetric quantum Markov semigroups

Following up on the recent work on lower Ricci curvature bounds for quantum systems, we introduce two noncommutative versions of curvature-dimension bounds for symmetric quantum Markov semigroups over matrix algebras. Under suitable such curvature-dimension conditions, we prove a family of dimension-dependent functional inequalities, a version of the Bonnet-Myers theorem and concavity of entropy power in the noncommutative setting. We also provide examples satisfying certain curvature-dimension conditions, including Schur multipliers over matrix algebras, Herz-Schur multipliers over group algebras and depolarizing semigroups.

math.OA↗
arXiv2021

Complete gradient estimates of quantum Markov semigroups

In this article we introduce a complete gradient estimate for symmetric quantum Markov semigroups on von Neumann algebras equipped with a normal faithful tracial state, which implies semi-convexity of the entropy with respect to the recently introduced noncommutative 2-Wasserstein distance. We show that this complete gradient estimate is stable under tensor products and free products and establish its validity for a number of examples. As an application we prove a complete modified logarithmic Sobolev inequality with optimal constant for Poisson-type semigroups on free group factors.

math.OA↗
arXiv2021

A Noncommutative Transport Metric and Symmetric Quantum Markov Semigroups as Gradient Flows of the Entropy

We study quantum Dirichlet forms and the associated symmetric quantum Markov semigroups on noncommutative $L^2$ spaces. It is known from the work of Cipriani and Sauvageot that these semigroups induce a first order differential calculus, and we use this differential calculus to define a noncommutative transport metric on the set of density matrices. This construction generalizes both the $L^2$-Wasserstein distance on a large class of metric spaces as well as the discrete transport distance introduced by Maas, Mielke, and Chow-Huang-Li-Zhou. Assuming a Bakry-Émery-type gradient estimate, we show that the quantum Markov semigroup can be viewed as a metric gradient flow of the entropy with respect to this transport metric. Under the same assumption we also establish that the set of density matrices with finite entropy endowed with the noncommutative transport metric is a geodesic space and that the entropy is semi-convex along these geodesics.

math.OA↗
arXiv2021

A dual formula for the noncommutative transport distance

In this article we study the noncommutative transport distance introduced by Carlen and Maas and its entropic regularization defined by Becker and Li. We prove a duality formula that can be understood as a quantum version of the dual Benamou-Brenier formulation of the Wasserstein distance in terms of subsolutions of Hamilton-Jacobi-Bellmann equation.

math-ph↗
arXiv2020

Self-Adjoint Extensions of Bipartite Hamiltonians

We compute the deficiency spaces of operators of the form $H_A{\hat{\otimes}} I + I{\hat{\otimes}} H_B$, for symmetric $H_A$ and self-adjoint $H_B$. This enables us to construct self-adjoint extensions (if they exist) by means of von Neumann's theory. The structure of the deficiency spaces for this case was asserted already by Ibort, Marmo and Pérez-Pardo, but only proven under the restriction of $H_B$ having discrete, non-degenerate spectrum.

math.FA↗
arXiv2020

Uniqueness of form extensions and domination of semigroups

In this article, we present a new method to study uniqueness of form extensions in a rather general setting. The method is based on the theory of ordered Hilbert spaces and the concept of domination of semigroups. Our main abstract result transfers uniqueness of form extension of a dominating form to that of a dominated form. This result can be applied to a multitude of examples including various magnetic Schrödinger forms on graphs and on manifolds.

math.FA↗