Theory

Our group is concerned with theoretical questions arising in the area of Quantum Information Science. This includes entanglement quantification, innovative quantum applications as well as novel ways of implementing quantum-information processing.

The quantum information theory section is also affiliated with the theoretical quantum optics section in the quantum optics and laser science group(QOLS).

The QI-Laboratory runs research in the foundations of quantum information science (the theories of quantum measurement and entanglement, design and analysis of quantum cryptographic protocols, atoms dynamics in optical dipole trap, etc.), applications of quantum theory to modeling quantum interference phenomena in multilevel atoms interacting with optical and magnetic fields (dark resonance spectroscopy), and exploring applications of laser coherent control of molecular chiral states.

The Mathematical Foundations group in the School of Computer Science, University of Birmingham, studies the interaction between computation and mathematical foundations. The group has a high level of expertise in logic, category theory, topology and toposes and much of its work investigates those mathematical areas in their own right and applies them to disciplines other than computer science. A new direction is in applications of topos theory to quantum foundations.

Here is where to find the list of topics, with a suggested contact inside the team for each of them :
http://www.itp.uni-hannover.de/Gruppen/quinfo/research.php

And here is a simple list of members :
http://www.itp.uni-hannover.de/Gruppen/quinfo/people.php

Staff Members

- Prof G Adesso
- Dr M Guta
- Dr T Tufarelli

4VBC is a tabular decision procedure for propositional, modal, and deontic logic. Unlike standard truth tables constructed upon T and F or 1 and 0, 4VBC is built from the 2-bit code 00, 10, 01, and 11.

The code is defined: 00 Void; 01 True; 10 False; 11 Not void.

The easiest way to understand 4VBC is to see how its values are applied to proof tables. The table for binary conjunction comes out:

p AND Not-p
01 01 01
10 00 01
01 00 10
10 10 10

Instead of false the second and fourth rows of the 4VBC proof table gives void as its result. This, however, is not especially exciting.

We study how to exploit quantum effects to realize new information tasks without classical analog. From a pure theoretical point of view, we aim at establishing a series of laws governing the inter-conversion of the different information resources appearing in Quantum Information Theory, such as classical and quantum bits, secret bits and, especially, entanglement. We also study how to adapt all these theoretical results to what is feasible in the lab.