arXiv subjects

Robert Zeier

Publications and source records attributed to Robert Zeier.

30 records · Page 2Linked to original sources

arXiv2015

Symmetry criteria for quantum simulability of effective interactions

What can one do with a given tunable quantum device? We provide complete symmetry criteria deciding whether some effective target interaction(s) can be simulated by a set of given interactions. Symmetries lead to a better understanding of simulation and permit a reasoning beyond the limitations of the usual explicit Lie closure. Conserved quantities induced by symmetries pave the way to a resource theory for simulability. On a general level, one can now decide equality for any pair of compact Lie algebras just given by their generators without determining the algebras explicitly. Several physical examples are illustrated, including entanglement invariants, the relation to unitary gate membership problems, as well as the central-spin model.

quant-ph↗

arXiv2015

Time-optimal polarization transfer from an electron spin to a nuclear spin

Polarization transfers from an electron spin to a nuclear spin are essential for various physical tasks, such as dynamic nuclear polarization in nuclear magnetic resonance and quantum state transformations on hybrid electron-nuclear spin systems. We present time-optimal schemes for electron-nuclear polarization transfers which improve on conventional approaches and will have wide applications.

quant-ph↗

arXiv2015

On squares of representations of compact Lie algebras

We study how tensor products of representations decompose when restricted from a compact Lie algebra to one of its subalgebras. In particular, we are interested in tensor squares which are tensor products of a representation with itself. We show in a classification-free manner that the sum of multiplicities and the sum of squares of multiplicities in the corresponding decomposition of a tensor square into irreducible representations has to strictly grow when restricted from a compact semisimple Lie algebra to a proper subalgebra. For this purpose, relevant details on tensor products of representations are compiled from the literature. Since the sum of squares of multiplicities is equal to the dimension of the commutant of the tensor-square representation, it can be determined by linear-algebra computations in a scenario where an a priori unknown Lie algebra is given by a set of generators which might not be a linear basis. Hence, our results offer a test to decide if a subalgebra of a compact semisimple Lie algebra is a proper one without calculating the relevant Lie closures, which can be naturally applied in the field of controlled quantum systems.

math-ph↗

arXiv2015

Visualizing operators of coupled spin systems

The state of quantum systems, their energetics, and their time evolution is modeled by abstract operators. How can one visualize such operators for coupled spin systems? A general approach is presented which consists of several shapes representing linear combinations of spherical harmonics. It is applicable to an arbitrary number of spins and can be interpreted as a generalization of Wigner functions. The corresponding visualization transforms naturally under non-selective spin rotations as well as spin permutations. Examples and applications are illustrated for the case of three spins 1/2.

quant-ph↗

arXiv2014

Controlling Several Atoms in a Cavity

We treat control of several two-level atoms interacting with one mode of the electromagnetic field in a cavity. This provides a useful model to study pertinent aspects of quantum control in infinite dimensions via the emergence of infinite-dimensional system algebras. Hence we address problems arising with infinite-dimensional Lie algebras and those of unbounded operators. For the models considered, these problems can be solved by splitting the set of control Hamiltonians into two subsets: The first obeys an abelian symmetry and can be treated in terms of infinite-dimensional Lie algebras and strongly closed subgroups of the unitary group of the system Hilbert space. The second breaks this symmetry, and its discussion introduces new arguments. Yet, full controllability can be achieved in a strong sense: e.g., in a time dependent Jaynes-Cummings model we show that, by tuning coupling constants appropriately, every unitary of the coupled system (atoms and cavity) can be approximated with arbitrarily small error.

quant-ph↗

arXiv2013

A Dynamic Systems Approach to Fermions and Their Relation to Spins

Dynamic properties of fermionic systems, like contollability, reachability, and simulability, are investigated in a general Lie-theoretical frame for quantum systems theory. Observing the parity superselection rule, we treat the fully controllable and quasifree cases, as well as various translation-invariant and particle-number conserving cases. We determine the respective dynamic system Lie algebras to express reachable sets of pure (and mixed) states by explicit orbit manifolds.

quant-ph↗

arXiv2011

Multiple-spin coherence transfer in linear Ising spin chains and beyond: numerically-optimized pulses and experiments

We study multiple-spin coherence transfers in linear Ising spin chains with nearest neighbor couplings. These constitute a model for efficient information transfers in future quantum computing devices and for many multi-dimensional experiments for the assignment of complex spectra in nuclear magnetic resonance spectroscopy. We complement prior analytic techniques for multiple-spin coherence transfers with a systematic numerical study where we obtain strong evidence that a certain analytically-motivated family of restricted controls is sufficient for time-optimality. In the case of a linear three-spin system, additional evidence suggests that prior analytic pulse sequences using this family of restricted controls are time-optimal even for arbitrary local controls. In addition, we compare the pulse sequences for linear Ising spin chains to pulse sequences for more realistic spin systems with additional long-range couplings between non-adjacent spins. We experimentally implement the derived pulse sequences in three and four spin systems and demonstrate that they are applicable in realistic settings under relaxation and experimental imperfections-in particular-by deriving broadband pulse sequences which are robust with respect to frequency offsets.

quant-ph↗

arXiv2011

Symmetry Principles in Quantum Systems Theory

General dynamic properties like controllability and simulability of spin systems, fermionic and bosonic systems are investigated in terms of symmetry. Symmetries may be due to the interaction topology or due to the structure and representation of the system and control Hamiltonians. In either case, they obviously entail constants of motion. Conversely, the absence of symmetry implies irreducibility and provides a convenient necessary condition for full controllability much easier to assess than the well-established Lie-algebra rank condition. We give a complete lattice of irreducible simple subalgebras of su(2^n) for up to n=15 qubits. It complements the symmetry condition by allowing for easy tests solving homogeneous linear equations to filter irreducible unitary representations of other candidate algebras of classical type as well as of exceptional types. --- The lattice of irreducible simple subalgebras given also determines mutual simulability of dynamic systems of spin or fermionic or bosonic nature. We illustrate how controlled quadratic fermionic (and bosonic) systems can be simulated by spin systems and in certain cases also vice versa.

quant-ph↗

arXiv2007

Time-optimal synthesis of unitary transformations in coupled fast and slow qubit system

In this paper, we study time-optimal control problems related to system of two coupled qubits where the time scales involved in performing unitary transformations on each qubit are significantly different. In particular, we address the case where unitary transformations produced by evolutions of the coupling take much longer time as compared to the time required to produce unitary transformations on the first qubit but much shorter time as compared to the time to produce unitary transformations on the second qubit. We present a canonical decomposition of SU(4) in terms of the subgroup SU(2)xSU(2)xU(1), which is natural in understanding the time-optimal control problem of such a coupled qubit system with significantly different time scales. A typical setting involves dynamics of a coupled electron-nuclear spin system in pulsed electron paramagnetic resonance experiments at high fields. Using the proposed canonical decomposition, we give time-optimal control algorithms to synthesize various unitary transformations of interest in coherent spectroscopy and quantum information processing.

quant-ph↗

arXiv2004

Gate simulation and lower bounds on the simulation time

Unitary operations are the building blocks of quantum programs. Our task is to design effcient or optimal implementations of these unitary operations by employing the intrinsic physical resources of a given n-qubit system. The most common versions of this task are known as Hamiltonian simulation and gate simulation, where Hamiltonian simulation can be seen as an infinitesimal version of the general task of gate simulation. We present a Lie-theoretic approach to Hamiltonian simulation and gate simulation. From this, we derive lower bounds on the time complexity in the n-qubit case, generalizing known results to both even and odd n. To achieve this we develop a generalization of the so-called magic basis for two-qubits. As a corollary, we note a connection to entanglement measures of concurrence-type.

quant-ph↗

arXiv2001

Quantum control without access to the controlling interaction

In our model a fixed Hamiltonian acts on the joint Hilbert space of a quantum system and its controller. We show under which conditions measurements, state preparations, and unitary implementations on the system can be performed by quantum operations on the controller only. It turns out that a measurement of the observable A and an implementation of the one-parameter group exp(iAr) can be performed by almost the same sequence of control operations. Furthermore measurement procedures for A+B, for (AB+BA), and for i[A,B] can be constructed from measurements of A and B. This shows that the algebraic structure of the set of observables can be explained by the Lie group structure of the unitary evolutions on the joint Hilbert space of the measuring device and the measured system. A spin chain model with nearest neighborhood coupling shows that the border line between controller and system can be shifted consistently.

quant-ph↗

arXiv2000

The thermodynamic cost of reliability and low temperatures: Tightening Landauer's principle and the Second Law

Landauer's principle states that the erasure of one bit of information requires the free energy kT ln 2. We argue that the reliability of the bit erasure process is bounded by the accuracy inherent in the statistical state of the energy source (`the resources') driving the process. We develop a general framework describing the `thermodynamic worth' of the resources with respect to reliable bit erasure or good cooling. This worth turns out to be given by the distinguishability of the resource's state from its equilibrium state in the sense of a statistical inference problem. Accordingly, Kullback-Leibler relative information is a decisive quantity for the `worth' of the resource's state. Due to the asymmetry of relative information, the reliability of the erasure process is bounded rather by the relative information of the equilibrium state wit respect to the actual state than by the relative information of the actual state with respect to the equilibrium state (which is the free energy up to constants).

quant-ph↗