Abstract We provide state-dependent error bounds for strongly continuous unitary representations of connected Lie groups. That is, we bound the difference of two unitaries applied to a state in terms of the energy with respect to a reference Hamiltonian associated with the representation and a left-invariant metric distance on the group. Our method works for any connected Lie group, and the metric is independent of the chosen representation. The approach also applies to projective representations and allows us to provide bounds on the energy-constrained diamond norm distance of any suitably continuous channel representation of the group.
Abstract We provide state-dependent error bounds for strongly continuous unitary representations of connected Lie groups. That is, we bound the difference of two unitaries applied to a state in terms of the energy with respect to a reference Hamiltonian associated with the representation and a left-invariant metric distance on the group. Our method works for any connected Lie group, and the metric is independent of the chosen representation. The approach also applies to projective representations and allows us to provide bounds on the energy-constrained diamond norm distance of any suitably continuous channel representation of the group.
The channels, and more generally superoperators acting on the trace class operators of a quantum system naturally form a Banach space under the completely bounded trace norm (aka diamond norm). However, it is well-known that in infinite dimension, the norm topology is often "too strong" for reasonable applications. Here, we explore a recently introduced energy-constrained diamond norm on superoperators (subject to an energy bound on the input states). Our main motivation is the continuity of capacities and other entropic quantities of quantum channels, but we also present an application to the continuity of one-parameter unitary groups and certain one-parameter semigroups of quantum channels.
For any unitary representation ρ on a finite-dimensional Hilbert space V with differential dρ:g→u(V) for the Lie algebra g, we consider the Hamiltonian evolution UX(t):=ρ(exp(tX))=etdρ(X),t∈R. For any complexification $ X_\mathbb{C} = X_0 + \sum\limits_{α\inΔ} x_αE_α$ associated with the root system Δ, we introduce the numerical invariants %\emph{root activity} and \emph{root curvature} functionals \begin{align*} \mathcal{A}_p(X) &\coloneqq \Bigl(\sum_{α\inΔ} |x_α|^p \,\|dρ(E_α)\|_{\mathrm{op}}^p\Bigr)^{1/p}, \quad 1\le p<\infty\\ \mathcal{C}(X) &\coloneqq \Bigl(\sum_{α\inΔ} |α(X_0)|^2\,|x_α|^2 \,\|dρ(E_α)\|_{\mathrm{op}}^2\Bigr)^{1/2}, \end{align*} where ∥⋅∥op is the operator norm on End(V). We first describe how the Hamiltonian dρ(X) is distributed along the directions of root spaces gα.
Our main result shows that for each fixed X∈g there exists a constant CX>0 such that et(dρ(X0)+dρ(Xroot))−e2tdρ(X0)etdρ(Xroot)e2tdρ(X0)op≤CXt3(C(X)+A1(Xroot)) for all sufficiently small ∣t∣. We also introduce a root-gate circuit model and test this on spin−chain Hamiltonians on (C2)⊗n⊂su(2n), where root spaces are spanned by matrix units, Ap, and C, which gives sharper complexity bounds and dimension−free representation−theoretic invariants.
On classical Lie groups, which act by means of a unitary representation on finite dimensional Hilbert spaces H, we identify two classes of tensor field constructions. First, as pull-back tensor fields of order two from modified Hermitian tensor fields, constructed on Hilbert spaces by means of the property of having the vertical distributions of the C_0-principal bundle H_0 over the projective Hilbert space P(H) in the kernel. And second, directly constructed on the Lie group, as left-invariant representation-dependent operator-valued tensor fields (LIROVTs) of arbitrary order being evaluated on a quantum state. Within the NP-hard problem of deciding whether a given state in a n-level bi-partite quantum system is entangled or separable (Gurvits, 2003), we show that both tensor field constructions admit a geometric approach to this problem, which evades the traditional ambiguity on defining metrical structures on the convex set of mixed states. In particular by considering manifolds associated to orbits passing through a selected state when acted upon by the local unitary group U(n)xU(n) of Schmidt coefficient decomposition inducing transformations, we find the following results: In the case of pure states we show that Schmidt-equivalence classes which are Lagrangian submanifolds define maximal entangled states. This implies a stronger statement as the one proposed by Bengtsson (2007). Moreover, Riemannian pull-back tensor fields split on orbits of separable states and provide a quantitative characterization of entanglement which recover the entanglement measure proposed by Schlienz and Mahler (1995). In the case of mixed states we highlight a relation between LIROVTs of order two and a class of computable separability criteria based on the Bloch-representation (de Vicente, 2007).
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.
Abstract A quantum channel is covariant with respect to a group if it commutes with the action of the group. In general, a quantum channel may not be covariant with respect to a given group. The degree of noncovariance can vary between different channels, and it is desirable to have a quantitative characterization for the degree of channel noncovariance. In this work, we propose a measure based on the Hilbert-Schmidt norm to quantify noncovariance of quantum channels with respect to a group and demonstrate that it satisfies several desirable properties. Compared with the existing measures of channel noncovariance, our measure applies to not only compact Lie groups but also finite groups, and it is easy to evaluate. Using this measure and its modified version together with two existing measures, we evaluate and analyze channel noncovariance through an example, finding that these measures of channel noncovariance are closely related but differ from each other. They capture different perspectives of noncovariance of quantum channels. As applications, we provide a relation between channel noncovariance and approximate quantum error correction using our measures of channel noncovariance.
The quantization of physical systems moving on group and symmetric spaces has been an area of active research over the past three decades. This book shows that it is possible to introduce a representation-independent propagator for a real, separable, connected and simply connected Lie group with irreducible, square-integrable representations. For a given set of kinematical variables this propagator is a single generalized function independent of any particular choice of fiducial vector and the irreducible representations of the Lie group generated by these kinematical variables, which nonetheless correctly propagates each element of a continuous representation based on the coherent states associated with these kinematical variables.Furthermore, the book shows that it is possible to construct regularized lattice phase space path integrals for a real, separable, connected and simply connected Lie group with irreducible, square-integrable representations, and although the configuration space is in general a multidimensional curved manifold, it is shown that the resulting lattice phase space path integral has the form of a lattice phase space path integral on a multidimensional flat manifold. Hence, a novel and extremely natural phase space path integral quantization is obtained for general physical systems whose kinematical variables are the generators of a connected and simply connected Lie group. This novel phase space path integral quantization is (a) exact, (b) more general than, and (c) free from the limitations of the previously considered path integral quantizations of free physical systems moving on group manifolds.To illustrate the general theory, a representation-independent propagator is explicitly constructed for SU(2) and the affine group