Programme:
| 1100 |
Welcome Coffee |
| 1130 |
Dr S. G. Schirmer, DAMTP, University of Cambridge. Quantum Control (JA8.13) |
| 1230 |
Dr S. J. Gay, Department of Computer Science, University of Glasgow. Quantum Teleportation in Process Calculus (JA8.13) |
| 1330 |
Lunch |
| 1500 |
Dr Gediminas Juzeliunas (ITPA, Vilnius). Multicomponent slow and stationary light (JA4.12) |
| 1600 |
Poster and Coffee (JA4.12) |
| 1630 |
Discussion on Collaboration Research (JA4.12) |
| 1730 |
Reception (Common Room) |
The meeting will be held in the SUPA Grid Room in JA8.13 and in JA4.12, in the John Anderson Building, Physics Department, University of Strathclyde, Glasgow G4 0NG.
Attendance is free. For catering purposes, please email daniel.oi@strath.ac.uk to register.
Abstract: Hamiltonian and Reservoir Engineering for Quantum Systems and
Quantum System Identification.
S.G. Schirmer, DAMTP, University of Cambridge
Starting with the basic equations describing the dynamics of quantum
systems such the Schrodinger or quantum Liouville equation, I will discuss
the possibilities for quantum engineering by modifying both the system
Hamiltonian, and possibly the interaction with an environment (reservoir)
through (coherent) control, measurements and feedback. I will discuss
some principal ways of Hamiltonian engineering, especially using optimal
control, including the formulation of key problems such as quantum state
preparation or gate engineering as optimal control problems and algorithms
to solve them. I will present some recent improvements to the algorithms
and some applications such as the implementation of quantum logic gates
for encoded qubits via optimal control. I will also discuss how we can
utilize measurements and feedback to achieve tasks such as stabilizing
quantum states in the presence of dissipative effects. Finally, I will
briefly discuss the importance of quantum system identification beyond
process tomography for quantum engineering. Time-permitting I may discuss
some dynamic identification schemes based on Bayesian analysis of noisy
'generalized Rabi oscillation' type data.
Selected References:
Optimal Control, Fault-tolerant gates: arXiv:0907.1635 (to appear in NJP)
Lyapunov control: arXiv:0901.4544, arXiv:0901.4546 (to appear in
IEEE Trans. Autom. Control) and arXiv:0906.1830 (to appear in PRA)
Minimal control and spin chains: PRA 80, 030301 (2009)
Reservoir engineering: arXiv:0909.1596 (submitted to PRA)
System identification/Hamiltonian tomography: PRA 80, 022333 (2009)
Abstract:Quantum Teleportation in Process Calculus
Simon Gay, Department of Computing Science, University of Glasgow
(joint work with Tim Davidson, University of Warwick)
We analyze a quantum teleportation protocol from the perspective of
process calculus, which is a formal language for defining and reasoning
about communicating systems. The talk will introduce the ideas of
classical process calculus and then quantum process calculus, and explain the
concept of behavioural equivalence. These ideas will then be applied
to a teleportation protocol. The result is a statement of correctness of
teleportation, in the form of behavioural equivalence between a process
modelling teleportation and a process that simply transmits a qubit. We
also present a congruence result, which means that the statement of
correctness of teleportation can be used for equational reasoning in
larger process contexts.
Abstract: Multi-component slow and stationary light
Gediminas Juzeliunas, Institute of Theoretical Physics and Astronomy
During the last several years there has been a great deal of interest in slow and stationary light propagating in resonant atomic media
under the influence of one or several light beams of higher intensities (to be referred to as the control beams). Yet the existing studies restrict to slow and stationary light which can be described in terms of a single component field. In the present talk we shall first review the usual slow and stationary light. Subsequently we shall analyse a setup involving two pairs of counter-propagating control laser beams. This enables one to create the two component slow and stationary light exhibiting a number of distinct properties, such as the neutrino type oscillations between the components. Under certain conditions the slow light can be described by a relativistic equation of the Dirac-type for a particle of a finite mass. This leads to the “particle-antiparticle” dispersion branches separated by an energy gap D. The corresponding Compton length L=v/D determines the tunneling length of probe light though the sample, v being the “ultrarelativistic” velocity of the slow light.
| 
