Skip to content
aiqbench takeQuantum Computing

aiqbench analysis

This paper advances the mathematical foundations of quantum open systems by characterizing KMS-symmetric semigroups through quadratic forms and derivations on type I factors. The work provides rigorous structural insights into bounded and unbounded quantum Dirichlet forms, which are essential for modeling non-equilibrium dynamics in quantum information theory. While highly technical, these results directly support the theoretical development of noiseless subsystems and error correction protocols in quantum computing.
Source coveringarXiv
What this isA model's reading of the article and related coverage, written for aiqbench. Not the publisher's words.

The Differential Structure of Generators of KMS-Symmetric Quantum Markov Semigroups

arXiv2 min read

arXiv:2610.09678v1 Announce Type: cross Abstract: A KMS-symmetric quantum Markov semigroup is completely determined by the quadratic form in induces on the GNS Hilbert space. The quadratic forms that arise in this way are called quantum Dirichlet forms. In this article we give a complete description of bounded quantum Dirichlet forms in terms of derivations. In particular, we exhibit an explicit characterization of the bounded quantum Dirichlet forms on type I factors. We also show that any unbounded quantum Dirichlet form can be represented in terms of derivations. The key technical insight is that the modular group always restricts to a strongly continuous group on the domain of a quantum Dirichlet form such that the square root of the analytic generator is accretive with respect to the form norm.

Abstract:A KMS-symmetric quantum Markov semigroup is completely determined by the quadratic form in induces on the GNS Hilbert space. The quadratic forms that arise in this way are called quantum Dirichlet forms. In this article we give a complete description of bounded quantum Dirichlet forms in terms of derivations. In particular, we exhibit an explicit characterization of the bounded quantum Dirichlet forms on type I factors. We also show that any unbounded quantum Dirichlet form can be represented in terms of derivations. The key technical insight is that the modular group always restricts to a strongly continuous group on the domain of a quantum Dirichlet form such that the square root of the analytic generator is accretive with respect to the form norm.

Operator Algebras (math.OA); Mathematical Physics (math-ph); Functional Analysis (math.FA); Quantum Physics (quant-ph)

arXiv:2610.09678 [math.OA]

(or arXiv:2610.09678v1 [math.OA] for this version)

https://doi.org/10.48550/arXiv.2610.09678 Focus to learn more arXiv-issued DOI via DataCite (pending registration)

arXivLabs is a framework that allows collaborators to develop and share new arXiv features directly on our website.

Both individuals and organizations that work with arXivLabs have embraced and accepted our values of openness, community, excellence, and user data privacy. arXiv is committed to these values and only works with partners that adhere to them.

Have an idea for a project that will add value for arXiv's community? Learn more about arXivLabs.

Full text under the publisher's open licence · 226 words

Related coverage