Analogue Hamiltonian simulation is a promising near-term application of quantum computing and has recently been put on a theoretical footing alongside experiencing wide-ranging experimental success. These ideas are closely related to the notion of duality in physics, whereby two superficially different theories are mathematically equivalent in some precise sense. However, existing characterisations of Hamiltonian simulations are not sufficiently general to extend to all dualities in physics. We give a generalised duality definition encompassing dualities transforming a strongly interacting system into a weak one and vice versa. We characterise the dual map on operators and states and prove equivalence ofduality formulated in terms of observables, partition functions and entropies. A building block is a strengthening of earlier results on entropy preserving maps-extensions of Wigner's celebrated theorem- -to maps that are entropy preserving up to an additive constant. We show such maps decompose as a direct sum of unitary and antiunitary components conjugated by a further unitary, a result that may be of independent mathematical interest.
Analogue Hamiltonian simulation is a promising near-term application of quantum computing and has recently been put on a theoretical footing alongside experiencing wide-ranging experimental success. These ideas are closely related to the notion of duality in physics, whereby two superficially different theories are mathematically equivalent in some precise sense. However, existing characterisations of Hamiltonian simulations are not sufficiently general to extend to all dualities in physics. We give a generalised duality definition encompassing dualities transforming a strongly interacting system into a weak one and vice versa. We characterise the dual map on operators and states and prove equivalence ofduality formulated in terms of observables, partition functions and entropies. A building block is a strengthening of earlier results on entropy preserving maps-extensions of Wigner's celebrated theorem- -to maps that are entropy preserving up to an additive constant. We show such maps decompose as a direct sum of unitary and antiunitary components conjugated by a further unitary, a result that may be of independent mathematical interest.
Duality transformations are very important in both classical and quantum physics. They allow one to relate two seemingly different formulations of the same physical realm through clever mathematical manipulations, and offer numerous advantages for the study of many-body physics. In this work, we suggest a method which introduces them to the world of quantum simulation too: a feasible scheme for implementing duality transformations as physical operations, mapping between dual quantum states showing the same observable physics, rather than just a mathematical trick. Demonstrating with Abelian lattice models, we show how duality transformations could be implemented in the laboratory as sequences of single- and two-body operations---unitaries and measurements.
Duality transformations are very important in both classical and quantum physics. They allow one to relate two seemingly different formulations of the same physical realm through clever mathematical manipulations, and offer numerous advantages for the study of many-body physics. In this work, we suggest a method which shall introduce them to the world of quantum simulation too: a feasible scheme for implementing duality transformations as physical operations, mapping between dual quantum states showing the same observable physics, rather than just a mathematical trick. Demonstrating with Abelian lattice models, we show how duality transformations could be implemented in the laboratory as sequences of single- and two-body operations - unitaries and measurements.
Quantum many-body systems exhibit an extremely diverse range of phases and physical phenomena. However, we prove that the entire physics of any quantum many-body system can be replicated by certain simple, "universal" spin-lattice models. We first characterize precisely what it means for one quantum system to simulate the entire physics of another. We then fully classify the simulation power of all two-qubit interactions, thereby proving that certain simple models can simulate all others, and hence are universal. Our results put the practical field of analogue Hamiltonian simulation on a rigorous footing and take a step toward justifying why error correction may not be required for this application of quantum information technology.
The concept of entropy rst arose in the study of thermodynamics and statistical me- chanics. In information theory the so-called Shannon entropy plays a signi cant role, which measures how much information we gain, on average, when we learn the value of a random variable. An alternative interpretation is that the entropy of the random variable quanti es the amount of uncertainty about the random variable before we learn its value. The concept was introduced by Claude E. Shannon in his 1948 paper "A Mathematical Theory of Communication". In the rst part of the present work we consider this fundamental measure of information and show some of its properties, such as non-negativity. The relative entropy or the Kullback-Leibler divergence is a very useful measure of the distance between two prob- ability distributions. After introducing its de nition and other notions (joint entropy, conditional entropy or mutual information) we can prove additional assertions about the Shannon entropy and present statements about the relations between the above men- tioned quantities. In quantum information theory, there is a quantity, namely von Neumann entropy, which corresponds to Shannon entropy and originates from it. In the section Von Neu- mann entropy we will introduce this quantity which is a continuous functional on the states, or on their mathematical representatives, the density operators, and it ful ls in- equalities such as subadditivity and strong subaddititvity. Just as with the Shannon entropy, it is extremely useful to de ne a quantum version of the relative entropy, which is one of the most important numerical quantities appearing in quantum information theory. It is used as a measure of distinguishability between quantum states. Among others its properties are jointly convexity, monotonicity which are speci cally convenient. Transformations on structures which preserve operations, quantities or relations among elements appear in many areas of mathematics. These are the so-called preservers which show up also in physics and even in chemistry where they are usually called symmetries. Therefore, the study of preserver transformations is an important area of research. The third section of this work is based on a paper, in which Lajos Molnár described the structure every bijective map on the space of all density operators on a given Hilbert space, which preserves the relative entropy. This result is closely related to Wigner's famous theorem on the form of quantum mechanical symmetry transformations. The above theorem of Molnár can be extended into two directions. On the one hand, the result holds also in the case when the transformation under consideration acts on the space of all positive semide nite operators not only on density operators (i.e., we omit the condition of unit trace). On the other hand the statement remains valid even if we omit the strongly restrictive condition that the transformation is bijective. The second result is a joint work with Prof. Lajos Molnár which appeared in the journal Linear Algebra and Its Applications.
Quantum simulation is a promising near term application for quantum information processors with the potential to solve computationally intractable problems using just a few dozen interacting qubits. A range of experimental platforms have recently demonstrated the basic functionality of quantum simulation applied to quantum magnetism, quantum phase transitions and relativistic quantum mechanics. However, in all cases, the physics of the underlying hardware restricts the achievable inter-particle interactions and forms a serious constraint on the versatility of the simulators. To broaden the scope of these analog devices, we develop a suite of pulse sequences that permit a user to efficiently realize average Hamiltonians that are beyond the native interactions of the system. Specifically, this approach permits the generation of all symmetrically coupled translation-invariant two-body Hamiltonians with homogeneous on-site terms, a class which includes all spin- XYZ chains, but generalized to include long-range couplings. Our work builds on previous work proving that universal simulation is possible using both entangling gates and single-qubit unitaries. We show that determining the appropriate 'program' of unitary pulse sequences which implements an arbitrary Hamiltonian transformation can be formulated as a linear program over functions defined by those pulse sequences, running in polynomial time and scaling efficiently in hardware resources. Our analysis extends from circuit model quantum information to adiabatic quantum evolutions, representing an important and broad-based success in applying functional analysis to the field of quantum information.
Abstract. Quantum simulation is a promising near term application for quantum information processors with the potential to solve computationally intractable problems using just a few dozen interacting qubits [1, 2, 3]. A range of experimental platforms have recently demonstrated the basic functionality of quantum simulation applied to quantum magnetism, quantum phase transitions, and relativistic quantum mechanics [4, 5, 6, 7, 8, 9, 10, 11]. However, in all cases, the physics of the underlying hardware restricts the achievable inter-particle interactions and forms a serious constraint on the versatility of the simulators. To broaden the scope of these analog devices, we develop a suite of pulse sequences that permit a user to efficiently realize average Hamiltonians that are beyond the native interactions of the system [12, 13]. Specifically, this approach permits the generation of all symmetrically coupled translation-invariant two-body Hamiltonians with homogeneous on-site terms, a class which includes all spin-1/2 XYZ chains, but generalized to include long-range couplings. Our work builds on previous work proving that universal simulation is possible using both entangling gates and single-qubit unitaries [14, 15, 16]. We show that determining the appropriate “program ” of unitary pulse sequences which implements an arbitrary Hamiltonian transformation can be formulated as a linear program over functions defined by those pulse sequences, running in polynomial time and scaling efficiently in hardware resources. Our analysis extends from circuit model quantum information to adiabatic quantum evolutions, representing an important and broad-based success in applying functional analysis to the field of quantum information. ar X iv