-
Fully Quantum Computational Entropies
Authors:
Noam Avidan,
Thomas A. Hahn,
Joseph M. Renes,
Rotem Arnon
Abstract:
Quantum information theory, particularly its entropic formulations, has made remarkable strides in characterizing quantum systems and tasks. However, a critical dimension remains underexplored: computational efficiency. While classical computational entropies integrate complexity and feasibility into information measures, analogous concepts have yet to be rigorously developed in the quantum settin…
▽ More
Quantum information theory, particularly its entropic formulations, has made remarkable strides in characterizing quantum systems and tasks. However, a critical dimension remains underexplored: computational efficiency. While classical computational entropies integrate complexity and feasibility into information measures, analogous concepts have yet to be rigorously developed in the quantum setting. In this work, we lay the basis for a new quantum computational information theory. Such a theory will allow studying efficient -- thus relevant in practice -- manipulation of quantum information. We introduce two innovative entropies: quantum computational min- and max-entropies (along with their smooth variants). Our quantum computational min-entropy is both the fully quantum counterpart of the classical unpredictability entropy, as well as the computational parallel to the quantum min-entropy. We establish a series of essential properties for this new entropy, including data processing and a chain rule. The quantum computational max-entropy is defined via a duality relation and gains operational meaning through an alternative formulation that we derive. Notably, it captures the efficiency of entanglement distillation with the environment, restricted to local quantum circuits of bounded size. With the introduction of our computational entropies and their study, this work marks a critical step toward a quantum information theory that incorporates computational elements.
△ Less
Submitted 16 June, 2025;
originally announced June 2025.
-
Deterministic high-rate entanglement distillation with neutral atom arrays
Authors:
Thomas A. Hahn,
Ryan White,
Hannes Bernien,
Rotem Arnon
Abstract:
The goal of an entanglement distillation protocol is to convert large quantities of noisy entangled states into a smaller number of high-fidelity Bell pairs. The celebrated one-way hashing method is one such protocol, and it is known for being able to efficiently and deterministically distill entanglement in the asymptotic limit, i.e., when the size of the quantum system is very large. In this wor…
▽ More
The goal of an entanglement distillation protocol is to convert large quantities of noisy entangled states into a smaller number of high-fidelity Bell pairs. The celebrated one-way hashing method is one such protocol, and it is known for being able to efficiently and deterministically distill entanglement in the asymptotic limit, i.e., when the size of the quantum system is very large. In this work, we consider setups with finite resources, e.g., a small fixed number of atoms in an atom array, and derive lower bounds on the distillation rate for the one-way hashing method. We provide analytical as well as numerical bounds on its entanglement distillation rate -- both significantly tighter than previously known bounds. We then show how the one-way hashing method can be efficiently implemented with neutral atom arrays. The combination of our theoretical results and the experimental blueprint we provide indicate that a full coherent implementation of the one-way hashing method is within reach with state-of-the-art quantum technology.
△ Less
Submitted 1 March, 2025;
originally announced March 2025.
-
Lower Bounds for the Trotter Error
Authors:
Alexander Hahn,
Paul Hartung,
Daniel Burgarth,
Paolo Facchi,
Kazuya Yuasa
Abstract:
In analog and digital simulations of practically relevant quantum systems, the target dynamics can only be implemented approximately. The Trotter product formula is the most common approximation scheme as it is a generic method which allows tuning accuracy. The Trotter simulation precision will always be inexact for non-commuting operators, but it is currently unknown what the minimum possible err…
▽ More
In analog and digital simulations of practically relevant quantum systems, the target dynamics can only be implemented approximately. The Trotter product formula is the most common approximation scheme as it is a generic method which allows tuning accuracy. The Trotter simulation precision will always be inexact for non-commuting operators, but it is currently unknown what the minimum possible error is. This is an important quantity because upper bounds for the Trotter error are known to often be vast overestimates. Here, we present explicit lower bounds on the error, in norm and on states, allowing to derive minimum resource requirements. Numerical comparison with the true error shows that our bounds offer accurate and tight estimates.
△ Less
Submitted 3 October, 2024;
originally announced October 2024.
-
Bath Dynamical Decoupling with a Quantum Channel
Authors:
Alexander Hahn,
Kazuya Yuasa,
Daniel Burgarth
Abstract:
Bang-bang dynamical decoupling protects an open quantum system from decoherence due to its interaction with the surrounding bath/environment. In its standard form, this is achieved by strongly kicking the system with cycles of unitary operations, which average out the interaction Hamiltonian. In this paper, we generalize the notion of dynamical decoupling to repeated kicks with a quantum channel,…
▽ More
Bang-bang dynamical decoupling protects an open quantum system from decoherence due to its interaction with the surrounding bath/environment. In its standard form, this is achieved by strongly kicking the system with cycles of unitary operations, which average out the interaction Hamiltonian. In this paper, we generalize the notion of dynamical decoupling to repeated kicks with a quantum channel, which is applied to the bath. We derive necessary and sufficient conditions on the employed quantum channel and find that bath dynamical decoupling works if and only if the kick is ergodic. Furthermore, we study in which circumstances CPTP kicks on a mono-partite quantum system induce quantum Zeno dynamics with its Hamiltonian cancelled out. This does not require the ergodicity of the kicks, and the absence of decoherence-free subsystems is both necessary and sufficient. While the standard unitary dynamical decoupling is essentially the same as the quantum Zeno dynamics, our investigation implies that this is not true any more in the case of CPTP kicks. To derive our results, we prove some spectral properties of ergodic quantum channels, that might be of independent interest. Our approach establishes an enhanced and unified mathematical understanding of several recent experimental demonstrations and might form the basis of new dynamical decoupling schemes that harness environmental noise degrees of freedom.
△ Less
Submitted 17 December, 2024; v1 submitted 27 September, 2024;
originally announced September 2024.
-
Efficiency of Dynamical Decoupling for (Almost) Any Spin-Boson Model
Authors:
Alexander Hahn,
Daniel Burgarth,
Davide Lonigro
Abstract:
Dynamical decoupling is a technique aimed at suppressing the interaction between a quantum system and its environment by applying frequent unitary operations on the system alone. In the present paper, we analytically study the dynamical decoupling of a two-level system coupled with a structured bosonic environment initially prepared in a thermal state. We find sufficient conditions under which dyn…
▽ More
Dynamical decoupling is a technique aimed at suppressing the interaction between a quantum system and its environment by applying frequent unitary operations on the system alone. In the present paper, we analytically study the dynamical decoupling of a two-level system coupled with a structured bosonic environment initially prepared in a thermal state. We find sufficient conditions under which dynamical decoupling works for such systems, and, most importantly, we find bounds for the convergence speed of the procedure. Our analysis is based on a new Trotter theorem for multiple Hamiltonians and involves a rigorous treatment of the evolution of mixed quantum states via unbounded Hamiltonians. A comparison with numerical experiments shows that our bounds reproduce the correct scaling in various relevant system parameters. Furthermore, our analytical treatment allows for quantifying the decoupling efficiency for boson baths with infinitely many modes, in which case a numerical treatment is unavailable.
△ Less
Submitted 24 September, 2024;
originally announced September 2024.
-
Bounds on Petz-Rényi Divergences and their Applications for Device-Independent Cryptography
Authors:
Thomas A. Hahn,
Ernest Y. -Z. Tan,
Peter Brown
Abstract:
Variational techniques have been recently developed to find tighter bounds on the von Neumann entropy in a completely device-independent (DI) setting. This, in turn, has led to significantly improved key rates of DI protocols, in both the asymptotic limit as well as in the finite-size regime. In this paper, we discuss two approaches towards applying these variational methods for Petz-Rényi diverge…
▽ More
Variational techniques have been recently developed to find tighter bounds on the von Neumann entropy in a completely device-independent (DI) setting. This, in turn, has led to significantly improved key rates of DI protocols, in both the asymptotic limit as well as in the finite-size regime. In this paper, we discuss two approaches towards applying these variational methods for Petz-Rényi divergences instead. We then show how this can be used to further improve the finite-size key rate of DI protocols, utilizing a fully-Rényi entropy accumulation theorem developed in a partner work. Petz-Rényi divergences can also be applied to study DI advantage distillation, in which two-way communication is used to improve the noise tolerance of quantum key distribution (QKD) protocols. We implement these techniques to derive increased noise tolerances for DIQKD protocols, which surpass all previous known bounds.
△ Less
Submitted 22 August, 2024;
originally announced August 2024.
-
On the Liouville-von Neumann equation for unbounded Hamiltonians
Authors:
Davide Lonigro,
Alexander Hahn,
Daniel Burgarth
Abstract:
The evolution of mixed states of a closed quantum system is described by a group of evolution superoperators whose infinitesimal generator (the quantum Liouville superoperator, or Liouvillian) determines the mixed-state counterpart of the Schrödinger equation: the Liouville-von Neumann equation. When the state space of the system is infinite-dimensional, the Liouville superoperator is unbounded wh…
▽ More
The evolution of mixed states of a closed quantum system is described by a group of evolution superoperators whose infinitesimal generator (the quantum Liouville superoperator, or Liouvillian) determines the mixed-state counterpart of the Schrödinger equation: the Liouville-von Neumann equation. When the state space of the system is infinite-dimensional, the Liouville superoperator is unbounded whenever the corresponding Hamiltonian is. In this paper, we provide a rigorous, pedagogically-oriented, and self-contained introduction to the quantum Liouville formalism in the presence of unbounded operators. We present and discuss a characterization of the domain of the Liouville superoperator originally due to M. Courbage; starting from that, we develop some simpler characterizations of the domain of the Liouvillian and its square. We also provide, with explicit proofs, some domains of essential self-adjointness (cores) of the Liouvillian.
△ Less
Submitted 9 August, 2024;
originally announced August 2024.
-
Categorical Quantum Volume Operator
Authors:
Alexander Hahn,
Sebastian Murk,
Sukhbinder Singh,
Gavin K. Brennen
Abstract:
We present a generalization of the quantum volume operator quantifying the volume in curved three-dimensional discrete geometries. In its standard form, the quantum volume operator is constructed from tetrahedra whose faces are endowed with irreducible representations of $\mathrm{SU}(2)$. Here, we show two equivalent constructions that allow general objects in fusion categories as degrees of freed…
▽ More
We present a generalization of the quantum volume operator quantifying the volume in curved three-dimensional discrete geometries. In its standard form, the quantum volume operator is constructed from tetrahedra whose faces are endowed with irreducible representations of $\mathrm{SU}(2)$. Here, we show two equivalent constructions that allow general objects in fusion categories as degrees of freedom. First, we compute the volume operator for ribbon fusion categories. This includes the important class of modular tensor categories (such as quantum doubles), which are the building blocks of anyon models. Second, we further generalize the volume operator to spherical fusion categories by relaxing the categorical analog of the closure constraint (known as tetrahedral symmetry). In both cases, we obtain a volume operator that is Hermitian, provided that the input category is unitary. As an illustrative example, we consider the case of $\mathrm{SU}(2)_k$ and show that the standard $\mathrm{SU}(2)$ volume operator is recovered in the limit $k\rightarrow\infty$.
△ Less
Submitted 28 August, 2024; v1 submitted 4 June, 2024;
originally announced June 2024.
-
Generalized Rényi entropy accumulation theorem and generalized quantum probability estimation
Authors:
Amir Arqand,
Thomas A. Hahn,
Ernest Y. -Z. Tan
Abstract:
The entropy accumulation theorem, and its subsequent generalized version, is a powerful tool in the security analysis of many device-dependent and device-independent cryptography protocols. However, it has the drawback that the finite-size bounds it yields are not necessarily optimal, and furthermore it relies on the construction of an affine min-tradeoff function, which can often be challenging t…
▽ More
The entropy accumulation theorem, and its subsequent generalized version, is a powerful tool in the security analysis of many device-dependent and device-independent cryptography protocols. However, it has the drawback that the finite-size bounds it yields are not necessarily optimal, and furthermore it relies on the construction of an affine min-tradeoff function, which can often be challenging to construct optimally in practice. In this work, we address both of these challenges simultaneously by deriving a new entropy accumulation bound. Our bound yields significantly better finite-size performance, and can be computed as an intuitively interpretable convex optimization, without any specification of affine min-tradeoff functions. Furthermore, it can be applied directly at the level of Rényi entropies if desired, yielding fully-Rényi security proofs. Our proof techniques are based on elaborating on a connection between entropy accumulation and the frameworks of quantum probability estimation or $f$-weighted Rényi entropies, and in the process we obtain some new results with respect to those frameworks as well. In particular, those findings imply that our bounds apply to prepare-and-measure protocols without the virtual tomography procedures or repetition-rate restrictions previously required for entropy accumulation.
△ Less
Submitted 26 October, 2024; v1 submitted 9 May, 2024;
originally announced May 2024.
-
Strong Error Bounds for Trotter & Strang-Splittings and Their Implications for Quantum Chemistry
Authors:
Daniel Burgarth,
Paolo Facchi,
Alexander Hahn,
Mattias Johnsson,
Kazuya Yuasa
Abstract:
Efficient error estimates for the Trotter product formula are central in quantum computing, mathematical physics, and numerical simulations. However, the Trotter error's dependency on the input state and its application to unbounded operators remains unclear. Here, we present a general theory for error estimation, including higher-order product formulas, with explicit input state dependency. Our a…
▽ More
Efficient error estimates for the Trotter product formula are central in quantum computing, mathematical physics, and numerical simulations. However, the Trotter error's dependency on the input state and its application to unbounded operators remains unclear. Here, we present a general theory for error estimation, including higher-order product formulas, with explicit input state dependency. Our approach overcomes two limitations of the existing operator-norm estimates in the literature. First, previous bounds are too pessimistic as they quantify the worst-case scenario. Second, previous bounds become trivial for unbounded operators and cannot be applied to a wide class of Trotter scenarios, including atomic and molecular Hamiltonians. Our method enables analytical treatment of Trotter errors in chemistry simulations, illustrated through a case study on the hydrogen atom. Our findings reveal: (i) for states with fat-tailed energy distribution, such as low-angular-momentum states of the hydrogen atom, the Trotter error scales worse than expected (sublinearly) in the number of Trotter steps; (ii) certain states do not admit an advantage in the scaling from higher-order Trotterization, and thus, the higher-order Trotter hierarchy breaks down for these states, including the hydrogen atom's ground state; (iii) the scaling of higher-order Trotter bounds might depend on the order of the Hamiltonians in the Trotter product for states with fat-tailed energy distribution. Physically, the enlarged Trotter error is caused by the atom's ionization due to the Trotter dynamics. Mathematically, we find that certain domain conditions are not satisfied by some states so higher moments of the potential and kinetic energies diverge. Our analytical error analysis agrees with numerical simulations, indicating that we can estimate the state-dependent Trotter error scaling genuinely.
△ Less
Submitted 26 November, 2024; v1 submitted 13 December, 2023;
originally announced December 2023.
-
Error bounds for Lie Group representations in quantum mechanics
Authors:
Lauritz van Luijk,
Niklas Galke,
Alexander Hahn,
Daniel Burgarth
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 to the representation and a left-invariant metric distance on the group. Our method works for any connected Lie group and the metric is independ…
▽ More
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 to 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.
△ Less
Submitted 26 February, 2024; v1 submitted 15 November, 2022;
originally announced November 2022.
-
State-dependent Trotter Limits and their approximations
Authors:
Daniel Burgarth,
Niklas Galke,
Alexander Hahn,
Lauritz van Luijk
Abstract:
The Trotter product formula is a key instrument in numerical simulations of quantum systems. However, computers cannot deal with continuous degrees of freedom, such as the position of particles in molecules, or the amplitude of electromagnetic fields. It is therefore necessary to discretize these variables to make them amenable to digital simulations. Here, we give sufficient conditions to conclud…
▽ More
The Trotter product formula is a key instrument in numerical simulations of quantum systems. However, computers cannot deal with continuous degrees of freedom, such as the position of particles in molecules, or the amplitude of electromagnetic fields. It is therefore necessary to discretize these variables to make them amenable to digital simulations. Here, we give sufficient conditions to conclude the validity of this approximate discretized physics. Essentially, it depends on the state-dependent Trotter error, for which we establish explicit bounds that are also of independent interest.
△ Less
Submitted 27 February, 2024; v1 submitted 29 September, 2022;
originally announced September 2022.
-
Transfer-matrix summation of path integrals for transport through nanostructures
Authors:
Simon Mundinar,
Alexander Hahn,
Jürgen König,
Alfred Hucht
Abstract:
On the basis of the method of iterative summation of path integrals (ISPI), we develop a numerically exact transfer-matrix method to describe the nonequilibrium properties of interacting quantum-dot systems. For this, we map the ISPI scheme to a transfer-matrix approach, which is more accessible to physical interpretation, allows for a more transparent formulation of the theory, and substantially…
▽ More
On the basis of the method of iterative summation of path integrals (ISPI), we develop a numerically exact transfer-matrix method to describe the nonequilibrium properties of interacting quantum-dot systems. For this, we map the ISPI scheme to a transfer-matrix approach, which is more accessible to physical interpretation, allows for a more transparent formulation of the theory, and substantially improves the efficiency. In particular, the stationary limit is directly implemented, without the need of extrapolation. The resulting new method, referred to as "transfer-matrix summation of path integrals" (TraSPI), is then applied to resonant electronic transport through a single-level quantum dot.
△ Less
Submitted 5 October, 2022; v1 submitted 16 August, 2022;
originally announced August 2022.
-
Unification of Random Dynamical Decoupling and the Quantum Zeno Effect
Authors:
Alexander Hahn,
Daniel Burgarth,
Kazuya Yuasa
Abstract:
Periodic deterministic bang-bang dynamical decoupling and the quantum Zeno effect are known to emerge from the same physical mechanism. Both concepts are based on cycles of strong and frequent kicks provoking a subdivision of the Hilbert space into independent subspaces. However, previous unification results do not capture the case of random bang-bang dynamical decoupling, which can be advantageou…
▽ More
Periodic deterministic bang-bang dynamical decoupling and the quantum Zeno effect are known to emerge from the same physical mechanism. Both concepts are based on cycles of strong and frequent kicks provoking a subdivision of the Hilbert space into independent subspaces. However, previous unification results do not capture the case of random bang-bang dynamical decoupling, which can be advantageous to the deterministic case but has an inherently acyclic structure. Here, we establish a correspondence between random dynamical decoupling and the quantum Zeno effect by investigating the average over random decoupling evolutions. This protocol is a manifestation of the quantum Zeno dynamics and leads to a unitary bath evolution. By providing a framework that we call equitability of system and bath, we show that the system dynamics under random dynamical decoupling converges to a unitary with a decoupling error that characteristically depends on the convergence speed of the Zeno limit. This reveals a unification of the random dynamical decoupling and the quantum Zeno effect.
△ Less
Submitted 3 August, 2022; v1 submitted 8 December, 2021;
originally announced December 2021.
-
Fidelity Bounds for Device-Independent Advantage Distillation
Authors:
Thomas A. Hahn,
Ernest Y. -Z. Tan
Abstract:
It is known that advantage distillation (that is, information reconciliation using two-way communication) improves noise tolerances for quantum key distribution (QKD) setups. Two-way communication is hence also of interest in the device-independent case, where noise tolerance bounds for one-way error correction are currently too low to be experimentally feasible. Existing security proofs for the d…
▽ More
It is known that advantage distillation (that is, information reconciliation using two-way communication) improves noise tolerances for quantum key distribution (QKD) setups. Two-way communication is hence also of interest in the device-independent case, where noise tolerance bounds for one-way error correction are currently too low to be experimentally feasible. Existing security proofs for the device-independent repetition-code protocol (the most prominent form of advantage distillation) rely on fidelity-related security conditions, but previous bounds on the fidelity were not tight. We improve on those results by developing an algorithm that returns arbitrarily tight lower bounds on the fidelity. Our results give new insight on how strong the fidelity-related security conditions are, and could also be used to compute some lower bounds on one-way protocol keyrates. Finally, we conjecture a necessary security condition for the protocol studied in this work, that naturally complements the existing sufficient conditions.
△ Less
Submitted 8 January, 2023; v1 submitted 7 May, 2021;
originally announced May 2021.
-
Generalized string-nets for unitary fusion categories without tetrahedral symmetry
Authors:
Alexander Hahn,
Ramona Wolf
Abstract:
The Levin-Wen model of string-net condensation explains how topological phases emerge from the microscopic degrees of freedom of a physical system. However, the original construction is not applicable to all unitary fusion category since some additional symmetries for the $F$-symbols are imposed. In particular, the so-called tetrahedral symmetry is not fulfilled by many interesting unitary fusion…
▽ More
The Levin-Wen model of string-net condensation explains how topological phases emerge from the microscopic degrees of freedom of a physical system. However, the original construction is not applicable to all unitary fusion category since some additional symmetries for the $F$-symbols are imposed. In particular, the so-called tetrahedral symmetry is not fulfilled by many interesting unitary fusion categories. In this paper, we present a generalized construction of the Levin-Wen model for arbitrary multiplicity-free unitary fusion categories that works without requiring these additional symmetries. We explicitly calculate the matrix elements of the Hamiltonian and, furthermore, show that it has the same properties as the original one.
△ Less
Submitted 15 April, 2020;
originally announced April 2020.
-
Gauging Defects in Quantum Spin Systems
Authors:
Jacob C. Bridgeman,
Alexander Hahn,
Tobias J. Osborne,
Ramona Wolf
Abstract:
The goal of this work is to build a dynamical theory of defects for quantum spin systems. A kinematic theory for an indefinite number of defects is first introduced exploiting distinguishable Fock space. Dynamics are then incorporated by allowing the defects to become mobile via a microscopic Hamiltonian. This construction is extended to topologically ordered systems by restricting to the ground s…
▽ More
The goal of this work is to build a dynamical theory of defects for quantum spin systems. A kinematic theory for an indefinite number of defects is first introduced exploiting distinguishable Fock space. Dynamics are then incorporated by allowing the defects to become mobile via a microscopic Hamiltonian. This construction is extended to topologically ordered systems by restricting to the ground state eigenspace of Hamiltonians generalizing the golden chain. We illustrate the construction with the example of a spin chain with $\mathbf{Vec}(\mathbb{Z}/2\mathbb{Z})$ fusion rules, employing generalized tube algebra techniques to model the defects in the chain. The resulting dynamical defect model is equivalent to the critical transverse Ising model.
△ Less
Submitted 23 October, 2019;
originally announced October 2019.
-
From categories to anyons: a travelogue
Authors:
Kerstin Beer,
Dmytro Bondarenko,
Alexander Hahn,
Maria Kalabakov,
Nicole Knust,
Laura Niermann,
Tobias J. Osborne,
Christin Schridde,
Stefan Seckmeyer,
Deniz E. Stiegemann,
Ramona Wolf
Abstract:
In this paper we provide an overview of category theory, focussing on applications in physics. The route we follow is motivated by the final goal of understanding anyons and topological QFTs using category theory. This entails introducing modular tensor categories and fusion rings. Rather than providing an in-depth mathematical development we concentrate instead on presenting the "highlights for a…
▽ More
In this paper we provide an overview of category theory, focussing on applications in physics. The route we follow is motivated by the final goal of understanding anyons and topological QFTs using category theory. This entails introducing modular tensor categories and fusion rings. Rather than providing an in-depth mathematical development we concentrate instead on presenting the "highlights for a physicist".
△ Less
Submitted 11 December, 2018; v1 submitted 14 November, 2018;
originally announced November 2018.