Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

Quantifying State Space Accessibility through Operator Commutation Relations

Revista, Zen, PHYSICS, 10

Published Nov 28, 2025• 0 citations
Publisher

Abstract

The ability to navigate and control the state space of a quantum system is fundamental to quantum computing, quantum information processing, and advanced spectroscopy. This paper explores a rigorous mathematical framework for quantifying state space accessibility by leveraging the theory of operator commutation relations, particularly within the context of Lie algebras. We demonstrate that the span of iterated commutators of system Hamiltonians and control operators forms a dynamical Lie algebra, whose dimension and structure directly dictate the reachable states and unitary transformations. For closed quantum systems, the Lie algebra rank condition provides a powerful criterion for complete controllability, asserting that if the dynamical Lie algebra spans the entire space of anti-Hermitian operators, then any state can be reached from any other, and any unitary operation can be implemented. For open quantum systems, while environmental interactions introduce decoherence and dissipation, the Lie algebraic approach can still offer insights into the attainable subspaces and the limits of control, often involving Lie semigroups and Lie wedges. We present methods to analyze the accessibility of both pure and mixed states, illustrating how the algebraic properties encoded in commutation relations provide a precise measure of the manipulability of quantum systems. The implications extend to the design of robust quantum control protocols, optimized state preparation, and the development of error-resilient quantum technologies.

DOI
10.5281/zenodo.17750342

Related papers

A Dynamical Lie-Algebraic Framework for Hamiltonian Engineering and Quantum Control

Yanying Liang, Ruibin Xu, Mao-Sheng Li +2 more

Determining the unitary dynamics accessible from finite Hamiltonian resources is a central problem in Hamiltonian engineering and quantum control. Dynamical Lie algebras (DLAs) connect available control Hamiltonians with the reachable dynamics, but their use as a design tool for modifying Hamiltonian generator sets remains less developed. In this work, we develop a finite-dimensional DLA framework for three generator-set operations: composition, invariance, and reduction. For composition, we construct direct sums of component DLAs using spectral projectors on an auxiliary register. For invariance, we analyze when modifications of Pauli-string generating sets preserve the generated Lie algebra, and introduce algebraic diagnostics for added generators. For reduction, we consider compact reductive DLAs and show how projection onto selected simple ideals gives reduced generating sets whose Lie closures are the corresponding ideal sums. We illustrate these results with finite-dimensional examples and numerical checks, including direct-sum dimension addition, central-spin invariance diagnostics, and DLA-based ansatz reduction for block-local Hamiltonians. The results show how DLA structure can be used to diagnose controllability and guide Hamiltonian generator design under explicit algebraic assumptions.

quant-pharXiv:2603.04916•New Journal of Physics•Mar 6, 2026•0 citations

A Lie Theoretic Framework for Controlling Open Quantum Systems

Corey O’Meara

This thesis focuses on the Lie-theoretic foundations of controlled open quantum systems. We describe Markovian open quantum system evolutions by Lie semigroups, whose corresponding infinitesimal generators lie in a special type of convex cone - a Lie wedge. The Lie wedge associated to a given control system therefore consists of all generators of the quantum dynamical semigroup that are physically realisable as a result of the interplay between the coherent and incoherent processes the quantum system is subject to. For $n$-qubit open quantum systems, we provide a parametrisation of the largest physically relevant Lie algebra (the system algebra), in which these Lie wedges are contained: the Lindblad-Kossakowski Lie algebra. This parametrisation provides several useful benefits. First, it allows us to construct explicit forms of these system Lie wedges and their respective system Lie algebras. Second, we analyse which control scenarios yield Lie wedges that are closed under Baker-Campbell-Hausdorff (BCH) multiplication and therefore generate Markovian semigroups of time-independent quantum channels. Lie wedges of this form are called Lie semialgebras, and we completely solve this open problem by proving that Lie wedges specialise to this form only when the coherent controls have no effect on both the inherent drift Hamiltonian and the incoherent part of the dynamics. Finally, this parametrisation of the Lindblad-Kossakowski Lie algebra points to an intuitive separation between unital and non-unital dissipative dynamics, where the non-unital component of the dynamics is described by affine translation operations. These translation operators are then exploited to construct purely dissipative fixed-point engineering schemes to obtain either pure or mixed states as a system's unique fixed point.

arXiv:2510.04719•Oct 6, 2025•0 citations

Lie Algebraic Uncertainty Relations

Xiaoli Hu, Naihuan Jing, Jian Zhang +1 more

Uncertainty relations impose fundamental constraints on quantum observables, yet optimal bounds are needed to determine their incompatibility through the minimum attainable uncertainty. Here we introduce a covariance-matrix formulation from which infinitely many uncertainty relations follow, encompassing Hermitian observables and non-Hermitian operators and recovering the variance sum as a special case. Within this family, a basis-independent uncertainty for simple and semisimple Lie algebras admits an exact solution: its optimal state-independent bound is an explicit pairing of root system with the highest weight of the representation. The minimum is attained by a highest-weight state, replacing a search over quantum states with a calculation in representation theory. A complementary result establishes that uncertainty is constant within each weight space, yielding a conservation law. The same commutation relations can therefore support distinct uncertainty limits, depending on their realization on the state space. By rendering these limits analytically accessible, the framework turns representation theory into a tool for quantifying quantum incompatibility and may help establish the boundary between attainable and impossible tasks in quantum theory.

quant-pharXiv:2610.03661•Oct 5, 2026•0 citations

Analytic Approach to Quantum Control Using Quantum Signal Processing

Aishwarya Majumdar, John M. Martyn, Yuan Liu +1 more

Realizing coherent quantum computation requires precise and robust manipulation of quantum systems through quantum control protocols. Most quantum control techniques rely on heuristic methods for designing the driving pulses that steer the system towards a target state. Such methods are often based on brute-force optimization and offer limited understanding of the solution landscape. In contrast, quantum algorithms offer a rich body of analytical methods with rigorous error guarantees for implementing unitary and non-unitary transformations, which suggests a promising direction for developing new approaches to quantum control. Among various such algorithms, quantum signal processing (QSP) has emerged as a powerful framework for quantum algorithm design, implementation, and optimization. However, its potential for quantum control remains largely unexplored. In this work, we establish QSP-Control, an analytical framework for quantum control of qubit-oscillator dynamics. We focus on dispersively coupled qubit-oscillator systems and employ the QSP formalism to mitigate unwanted nonlinear effects arising from cross-Kerr interactions. In addition, we develop constructions for precise manipulation of Fock states by designing Fock-state-selective operators, based on structural parallels between the Jaynes-Cummings interaction and QSP. These findings demonstrate how several practically relevant problems in quantum control can be mapped to forms amenable to QSP, offering both a systematic design framework and an interpretable perspective on quantum control.

quant-pharXiv:2606.26085•Jun 25, 2026•0 citations

Control of Open Quantum Systems

Christian

Known as decoherence, the unavoidable interaction of a quantum system with its surrounding environment is usually considered to be detrimental for quantum information processing. In this thesis the coherent, open loop control of such open systems is studied. Concepts from quantum control theory and the theory of open quantum system are adopted in order to fight decoherence and implement quantum gates in a noiseless manner. In particular, Lie algebraic methods and numerical optimization tools are used to investigate the control properties of a single spin interacting with a spin environment. We show that, independent of the size of the environment, every unitary transformation can be implemented on the system spin through a single control field. We proceed by investigating dynamical decoupling, a method to suppress the interactions with the environment, for finite- and for in- finite dimensional systems. We prove that every finite dimensional system can be protected from decoherence, even if the environment is infinite dimensional, whereas for noise described by a Lindblad master equation dynamical decoupling will never succeed. This will lead to a new method to distinguish decoherence from intrinsic noise terms. We further prove that not every infinite dimensional system can be protected from decoherence through dynamical decoupling. Afterwards we investigate dynamical decoupling of systems that are described by quadratic Hamiltonians, showing that such interactions can always be suppressed with two simple operations. In the last part we investigate the coherent control of a Lindblad master equation. We show that a strong noise process exhibiting a decoherence free subspace can substantially increase the number of unitary operations that can be implemented, allowing us to fully control parts of the system. Afterwards we develop a scheme to make Hamiltonians and Lindbladians commutative by adding an auxiliary system. The old, possibly non-commutative dynamics, is recovered through a non-selective measurement.

•Mar 20, 2026•0 citations

Lie-Algebraic Bounds on Quantum Control Time via the Baker-Campbell-Hausdorff Formula

Go Kato, Masaki Owari, Koji Maruyama

The time required to implement a desired unitary operation is a central issue in quantum control, especially for many-body systems with limited control access. While controllability theory determines whether a target unitary is reachable in principle, it does not directly quantify the implementation time. Here we derive a Baker-Campbell-Hausdorff (BCH)-based inequality that connects these two questions at the operator level. Whenever a target unitary is implemented by the available Hamiltonians, an effective logarithmic generator can be chosen within the corresponding dynamical Lie algebra, and its normalized traceless Hilbert-Schmidt norm is bounded by the time integral of the same norm of the applied Hamiltonian. This induces a global-phase-insensitive distance on the reachable subgroup and yields a protocol-independent lower bound on the control time that explicitly respects Lie-algebraic restrictions. We compare the resulting bound with familiar quantum-speed-limit estimates and show that it refines a stabilizer-based control-time bound for an XY spin chain in the single-excitation subspace. Our result thus provides an algebraic link between controllability and quantitative bounds on unitary implementation time.

arXiv:2411.13155•Nov 20, 2024•0 citations
The ability to navigate and control the state space of a quantum system is fundamental to quantum computing, quantum information processing, and advanced spectroscopy. This paper explores a rigorous mathematical framework for quantifying state space accessibility by leveraging the theory of operator commutation relations, particularly within the context of Lie algebras. We demonstrate that the span of iterated commutators of system Hamiltonians and control operators forms a dynamical Lie algebra, whose dimension and structure directly dictate the reachable states and unitary transformations. For closed quantum systems, the Lie algebra rank condition provides a powerful criterion for complete controllability, asserting that if the dynamical Lie algebra spans the entire space of anti-Hermitian operators, then any state can be reached from any other, and any unitary operation can be implemented. For open quantum systems, while environmental interactions introduce decoherence and dissipation, the Lie algebraic approach can still offer insights into the attainable subspaces and the limits of control, often involving Lie semigroups and Lie wedges. We present methods to analyze the accessibility of both pure and mixed states, illustrating how the algebraic properties encoded in commutation relations provide a precise measure of the manipulability of quantum systems. The implications extend to the design of robust quantum control protocols, optimized state preparation, and the development of error-resilient quantum technologies.
Determining the unitary dynamics accessible from finite Hamiltonian resources is a central problem in Hamiltonian engineering and quantum control. Dynamical Lie algebras (DLAs) connect available control Hamiltonians with the reachable dynamics, but their use as a design tool for modifying Hamiltonian generator sets remains less developed. In this work, we develop a finite-dimensional DLA framework for three generator-set operations: composition, invariance, and reduction. For composition, we construct direct sums of component DLAs using spectral projectors on an auxiliary register. For invariance, we analyze when modifications of Pauli-string generating sets preserve the generated Lie algebra, and introduce algebraic diagnostics for added generators. For reduction, we consider compact reductive DLAs and show how projection onto selected simple ideals gives reduced generating sets whose Lie closures are the corresponding ideal sums. We illustrate these results with finite-dimensional examples and numerical checks, including direct-sum dimension addition, central-spin invariance diagnostics, and DLA-based ansatz reduction for block-local Hamiltonians. The results show how DLA structure can be used to diagnose controllability and guide Hamiltonian generator design under explicit algebraic assumptions.
This thesis focuses on the Lie-theoretic foundations of controlled open quantum systems. We describe Markovian open quantum system evolutions by Lie semigroups, whose corresponding infinitesimal generators lie in a special type of convex cone - a Lie wedge. The Lie wedge associated to a given control system therefore consists of all generators of the quantum dynamical semigroup that are physically realisable as a result of the interplay between the coherent and incoherent processes the quantum system is subject to. For nnn-qubit open quantum systems, we provide a parametrisation of the largest physically relevant Lie algebra (the system algebra), in which these Lie wedges are contained: the Lindblad-Kossakowski Lie algebra. This parametrisation provides several useful benefits. First, it allows us to construct explicit forms of these system Lie wedges and their respective system Lie algebras. Second, we analyse which control scenarios yield Lie wedges that are closed under Baker-Campbell-Hausdorff (BCH) multiplication and therefore generate Markovian semigroups of time-independent quantum channels. Lie wedges of this form are called Lie semialgebras, and we completely solve this open problem by proving that Lie wedges specialise to this form only when the coherent controls have no effect on both the inherent drift Hamiltonian and the incoherent part of the dynamics. Finally, this parametrisation of the Lindblad-Kossakowski Lie algebra points to an intuitive separation between unital and non-unital dissipative dynamics, where the non-unital component of the dynamics is described by affine translation operations. These translation operators are then exploited to construct purely dissipative fixed-point engineering schemes to obtain either pure or mixed states as a system's unique fixed point.
Uncertainty relations impose fundamental constraints on quantum observables, yet optimal bounds are needed to determine their incompatibility through the minimum attainable uncertainty. Here we introduce a covariance-matrix formulation from which infinitely many uncertainty relations follow, encompassing Hermitian observables and non-Hermitian operators and recovering the variance sum as a special case. Within this family, a basis-independent uncertainty for simple and semisimple Lie algebras admits an exact solution: its optimal state-independent bound is an explicit pairing of root system with the highest weight of the representation. The minimum is attained by a highest-weight state, replacing a search over quantum states with a calculation in representation theory. A complementary result establishes that uncertainty is constant within each weight space, yielding a conservation law. The same commutation relations can therefore support distinct uncertainty limits, depending on their realization on the state space. By rendering these limits analytically accessible, the framework turns representation theory into a tool for quantifying quantum incompatibility and may help establish the boundary between attainable and impossible tasks in quantum theory.
Realizing coherent quantum computation requires precise and robust manipulation of quantum systems through quantum control protocols. Most quantum control techniques rely on heuristic methods for designing the driving pulses that steer the system towards a target state. Such methods are often based on brute-force optimization and offer limited understanding of the solution landscape. In contrast, quantum algorithms offer a rich body of analytical methods with rigorous error guarantees for implementing unitary and non-unitary transformations, which suggests a promising direction for developing new approaches to quantum control. Among various such algorithms, quantum signal processing (QSP) has emerged as a powerful framework for quantum algorithm design, implementation, and optimization. However, its potential for quantum control remains largely unexplored. In this work, we establish QSP-Control, an analytical framework for quantum control of qubit-oscillator dynamics. We focus on dispersively coupled qubit-oscillator systems and employ the QSP formalism to mitigate unwanted nonlinear effects arising from cross-Kerr interactions. In addition, we develop constructions for precise manipulation of Fock states by designing Fock-state-selective operators, based on structural parallels between the Jaynes-Cummings interaction and QSP. These findings demonstrate how several practically relevant problems in quantum control can be mapped to forms amenable to QSP, offering both a systematic design framework and an interpretable perspective on quantum control.
Known as decoherence, the unavoidable interaction of a quantum system with its surrounding environment is usually considered to be detrimental for quantum information processing. In this thesis the coherent, open loop control of such open systems is studied. Concepts from quantum control theory and the theory of open quantum system are adopted in order to fight decoherence and implement quantum gates in a noiseless manner. In particular, Lie algebraic methods and numerical optimization tools are used to investigate the control properties of a single spin interacting with a spin environment. We show that, independent of the size of the environment, every unitary transformation can be implemented on the system spin through a single control field. We proceed by investigating dynamical decoupling, a method to suppress the interactions with the environment, for finite- and for in- finite dimensional systems. We prove that every finite dimensional system can be protected from decoherence, even if the environment is infinite dimensional, whereas for noise described by a Lindblad master equation dynamical decoupling will never succeed. This will lead to a new method to distinguish decoherence from intrinsic noise terms. We further prove that not every infinite dimensional system can be protected from decoherence through dynamical decoupling. Afterwards we investigate dynamical decoupling of systems that are described by quadratic Hamiltonians, showing that such interactions can always be suppressed with two simple operations. In the last part we investigate the coherent control of a Lindblad master equation. We show that a strong noise process exhibiting a decoherence free subspace can substantially increase the number of unitary operations that can be implemented, allowing us to fully control parts of the system. Afterwards we develop a scheme to make Hamiltonians and Lindbladians commutative by adding an auxiliary system. The old, possibly non-commutative dynamics, is recovered through a non-selective measurement.
The time required to implement a desired unitary operation is a central issue in quantum control, especially for many-body systems with limited control access. While controllability theory determines whether a target unitary is reachable in principle, it does not directly quantify the implementation time. Here we derive a Baker-Campbell-Hausdorff (BCH)-based inequality that connects these two questions at the operator level. Whenever a target unitary is implemented by the available Hamiltonians, an effective logarithmic generator can be chosen within the corresponding dynamical Lie algebra, and its normalized traceless Hilbert-Schmidt norm is bounded by the time integral of the same norm of the applied Hamiltonian. This induces a global-phase-insensitive distance on the reachable subgroup and yields a protocol-independent lower bound on the control time that explicitly respects Lie-algebraic restrictions. We compare the resulting bound with familiar quantum-speed-limit estimates and show that it refines a stabilizer-based control-time bound for an XY spin chain in the single-excitation subspace. Our result thus provides an algebraic link between controllability and quantitative bounds on unitary implementation time.