arXiv subjects

Michael Keyl

Publications and source records attributed to Michael Keyl.

15 recordsLinked to original sources

arXiv2019

Reachability in Infinite Dimensional Unital Open Quantum Systems with Switchable GKS-Lindblad Generators

In quantum systems theory one of the fundamental problems boils down to: given an initial state, which final states can be reached by the dynamic system in question. Here we consider infinite dimensional open quantum dynamical systems following a unital Kossakowski-Lindblad master equation extended by controls. More precisely, their time evolution shall be governed by an inevitable potentially unbounded Hamiltonian drift term $H_0$, finitely many bounded control Hamiltonians $H_j$ allowing for (at least) piecewise constant control amplitudes $u_j(t)\in{\mathbb R}$ plus a bang-bang (i.e. on-off) switchable noise term $\mathbf{\Gamma}_V$ in Kossakowski-Lindblad form. Generalizing standard majorization results from finite to infinite dimensions, we show that such bilinear quantum control systems allow to approximately reach any target state majorized by the initial one, as up to now only has been known in finite dimensional analogues.---The proof of the result is currently limited to the control Hamiltonians $ H_j$ being bounded and noise terms $\mathbf{\Gamma}_V$ with compact normal $V$.

quant-ph↗

arXiv2018

Quantum control in infinite dimensions and Banach-Lie algebras: Pure point spectrum

In finite dimensions, controllability of bilinear quantum control systems can be decided quite easily in terms of the "Lie algebra rank condition" (LARC), such that only the systems Lie algebra has to be determined from a set of generators. In this paper we study how this idea can be lifted to infinite dimensions. To this end we look at control systems on an infinite dimensional Hilbert space which are given by an unbounded drift Hamiltonian and bounded control Hamiltonians. The drift is assumed to have empty continuous spectrum. We use recurrence methods and the theory of Abelian von Neumann algebras to develop a scheme, which allows us to use an approximate version of LARC, in order to check approximate controllability of the control system in question. Its power is demonstrated by looking at some examples. We recover in particular previous genericity results with a much easier proof. Finally several possible generalizations are outlined.

quant-ph↗

arXiv2018

Optimal Control of Hybrid Optomechanical Systems for Generating Non-Classical States of Mechanical Motion

Cavity optomechanical systems are one of the leading experimental platforms for controlling mechanical motion in the quantum regime. We exemplify that the control over cavity optomechanical systems greatly increases by coupling the cavity also to a two-level system, thereby creating a hybrid optomechanical system. If the two-level system can be driven largely independently of the cavity, we show that the non-linearity thus introduced enables us to steer the extended system to non-classical target states of the mechanical oscillator with Wigner functions exhibiting significant negative regions. We illustrate how to use optimal control techniques beyond the linear regime to drive the hybrid system from the near ground state into a Fock target state of the mechanical oscillator. We base our numerical optimization on realistic experimental parameters for exemplifying how optimal control enables the preparation of decidedly non-classical target states, where naive control schemes fail. Our results thus pave the way for applying the toolbox of optimal control in hybrid optomechanical systems for generating non-classical mechanical states.

quant-ph↗

arXiv2018

Controllability of the Jaynes-Cummings-Hubbard model

In quantum control theory, the fundamental issue of controllability covers the questions whether and under which conditions a system can be steered from one pure state into another by suitably tuned time evolution operators. Even though Lie theoretic methods to analyze these aspects are well-established for finite dimensional systems, they fail to apply to those with an infinite number of levels. The Jaynes-Cummings-Hubbard model - describing two-level systems in coupled cavities - is such an infinite dimensional system. In this contribution we study its controllability. In the two cavity case we exploit symmetry arguments; we show that one part of the control Hamiltonians can be studied in terms of infinite dimensional block diagonal Lie algebras while the other part breaks this symmetry to achieve controllability. An induction on the number of cavities extends this result to the general case. Individual control of the qubit and collective control of the hopping between cavities is sufficient for both pure state and strong operator controllability. We additionally establish new criteria for the controllability of infinite dimensional quantum systems admitting symmetries.

quant-ph↗

arXiv2017

Controlling a d-level atom in a cavity

In this paper we study controllability of a $d$-level atom interacting with the electromagnetic field in a cavity. The system is modelled by an ordered graph $\Gamma$. The vertices of $\Gamma$ describe the energy levels and the edges allowed transitions. To each edge of $\Gamma$ we associate a harmonic oscillator representing one mode of the electromagnetic field. The dynamics of the system (drift) is given by a natural generalization of the Jaynes-Cummings Hamiltonian. If we add in addition sufficient control over the atom, the overall system (atom and em-field) becomes strongly controllable, i.e. each unitary on the system Hilbert space can be approximated with arbitrary precision in the strong topology by control unitaries. A key role in the proof is played by a topological *-algebra which is (roughly speaking) a representation of the path algebra of $\Gamma$. It contains crucial structural information about the control problem, and is therefore an important tool for the implementation of control tasks like preparing a particular state from the ground state. This is demonstrated by a detailed discussion of different versions of three-level systems.

quant-ph↗

arXiv2014

A unified approach to infinite dimensional integration

An approach to infinite dimensional integration which unifies the case of oscillatory integrals and the case of probabilistic type integrals is presented. It provides a truly infinite dimensional construction of integrals as linear functionals, as much as possible independent of the underlying topological and measure theoretical structure. Various applications are given, including, next to Schr\"odinger and diffusion equations, also higher order hyperbolic and parabolic equations.

math.PR↗

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↗

arXiv2012

Simulating continuous quantum systems by mean field fluctuations

In this paper we are discussing the question how a continuous quantum system can be simulated by mean field fluctuations of a finite number of qubits. On the kinematical side this leads to a convergence result which states that appropriately chosen fluctuation operators converge in a certain weak sense (i.e. we are comparing expectation values) to canonical position and momentum Q, P of one-degree of freedom, continuous quantum system. This result is substantially stronger than existing methods which rely either on central limit theorem arguments (and are therefore restricted to the Gaussian world) or are valid only if the states of the ensembles are close to the "fully polarized" state. Dynamically this relationship keeps perfectly intact (at least for small times) as long as the continuous system evolves according to a quadratic Hamiltonian. In other words we can approximate the corresponding (Heisenberg picture) time evolution of the canonical operators Q, P up to arbitrary accuracy by the appropriately chosen time evolution of fluctuation operators of the finite systems.

quant-ph↗

arXiv2012

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↗

arXiv2010

On the bosonic behavior of mean-field fluctuations in atomic ensembles

The mean field fluctuations of large atomic ensembles can behave like bosonic modes, i.e. they induce a state on an appropriate system of bosonic modes. The most prominent example is that, if the atomic ensemble is in a homogenous product state, then the mean-field fluctuations are inducing a Gaussian state on a system of bosonic modes. In the present paper we show that for atomic ensemble states with exponentially decaying correlations (e.g. with respect to the distance of atoms) the mean-field fluctuations are inducing (possibly non-Gaussian) states on the on a system of bosonic modes. This result is true for a general lattice of atomic systems that is equipped with a reasonable distance function.

quant-ph↗

arXiv2010

Entanglement distillation from quasifree Fermions

We develop a scheme to distill entanglement from bipartite Fermionic systems in an arbitrary quasifree state. It can be applied if either one system containing infinite one-copy entanglement is available or if an arbitrary amount of equally prepared systems can be used. We show that the efficiency of the proposed scheme is in general very good and in some cases even optimal. Furthermore we apply it to Fermions hopping on an infinite lattice and demonstrate in this context that an efficient numerical analysis is possible for more then 10^6 lattice sites.

quant-ph↗

arXiv2009

The algebra of Grassmann canonical anti-commutation relations (GAR) and its applications to fermionic systems

We present an approach to a non-commutative-like phase space which allows to analyze quasi-free states on the CAR algebra in analogy to quasi-free states on the CCR algebra. The used mathematical tools are based on a new algebraic structure the "Grassmann algebra of canonical anti-commutation relations" (GAR algebra) which is given by the twisted tensor product of a Grassmann and a CAR algebra. As a new application, the corresponding theory provides an elegant tool for calculating the fidelity of two quasi-free fermionic states which is needed for the study of entanglement distillation within fermionic systems.

math-ph↗

arXiv2008

Maximally entangled fermions

Fermions play an essential role in many areas of quantum physics and it is desirable to understand the nature of entanglement within systems that consists of fermions. Whereas the issue of separability for bipartite fermions has extensively been studied in the present literature, this paper is concerned with maximally entangled fermions. A complete characterization of maximally entangled quasifree (gaussian) fermion states is given in terms of the covariance matrix. This result can be seen as a step towards distillation protocols for maximally entangled fermions.

quant-ph↗

arXiv2008

Truncated su(2) moment problem for spin and polarization states

We address the problem whether a given set of expectation values is compatible with the first and second moments of the generic spin operators of a system with total spin j. Those operators appear as the Stokes operator in quantum optics, as well as the total angular momentum operators in the atomic ensemble literature. We link this problem to a particular extension problem for bipartite qubit states; this problem is closely related to the symmetric extension problem that has recently drawn much attention in different contexts of the quantum information literature. We are able to provide operational, approximate solutions for every large spin numbers, and in fact the solution becomes exact in the limiting case of infinite spin numbers. Solutions for low spin numbers are formulated in terms of a hyperplane characterization, similar to entanglement witnesses, that can be efficiently solved with semidefinite programming.

quant-ph↗

arXiv2000

Quantum fields on timelike curves

A quantum field F(x) exists at an event x of space-time in general only as a quadratic form. Only after smearing with a smooth test function we get an operator. In this paper the question is considered whether it is possible as well to smear F(x) with a singular test function T (i.e. a test distribution) supported by a smooth timelike curve. It is shown that this is always possible if F(x) satisfies the micro local spectrum condition and T belongs to a special class of distributions which retain some regularity in timelike directions. In the free field case these results are used to define some kind of time-translation along the curve which generalizes global space-time translations of Minkowski space.

math-ph↗