Error message
- Deprecated function: TYPO3\PharStreamWrapper\Manager::initialize(): Implicitly marking parameter $resolver as nullable is deprecated, the explicit nullable type must be used instead in include_once() (line 19 of includes/file.phar.inc).
- Deprecated function: TYPO3\PharStreamWrapper\Manager::initialize(): Implicitly marking parameter $collection as nullable is deprecated, the explicit nullable type must be used instead in include_once() (line 19 of includes/file.phar.inc).
- Deprecated function: TYPO3\PharStreamWrapper\Manager::__construct(): Implicitly marking parameter $resolver as nullable is deprecated, the explicit nullable type must be used instead in include_once() (line 19 of includes/file.phar.inc).
- Deprecated function: TYPO3\PharStreamWrapper\Manager::__construct(): Implicitly marking parameter $collection as nullable is deprecated, the explicit nullable type must be used instead in include_once() (line 19 of includes/file.phar.inc).
- Deprecated function: UpdateQuery::expression(): Implicitly marking parameter $arguments as nullable is deprecated, the explicit nullable type must be used instead in require_once() (line 1884 of includes/database/database.inc).
- Deprecated function: MergeQuery::expression(): Implicitly marking parameter $arguments as nullable is deprecated, the explicit nullable type must be used instead in require_once() (line 1884 of includes/database/database.inc).
- Deprecated function: SelectQueryInterface::getArguments(): Implicitly marking parameter $queryPlaceholder as nullable is deprecated, the explicit nullable type must be used instead in require_once() (line 1884 of includes/database/database.inc).
- Deprecated function: SelectQueryInterface::preExecute(): Implicitly marking parameter $query as nullable is deprecated, the explicit nullable type must be used instead in require_once() (line 1884 of includes/database/database.inc).
- Deprecated function: SelectQueryExtender::getArguments(): Implicitly marking parameter $queryPlaceholder as nullable is deprecated, the explicit nullable type must be used instead in require_once() (line 1884 of includes/database/database.inc).
- Deprecated function: SelectQueryExtender::preExecute(): Implicitly marking parameter $query as nullable is deprecated, the explicit nullable type must be used instead in require_once() (line 1884 of includes/database/database.inc).
- Deprecated function: SelectQuery::getArguments(): Implicitly marking parameter $queryPlaceholder as nullable is deprecated, the explicit nullable type must be used instead in require_once() (line 1884 of includes/database/database.inc).
- Deprecated function: SelectQuery::preExecute(): Implicitly marking parameter $query as nullable is deprecated, the explicit nullable type must be used instead in require_once() (line 1884 of includes/database/database.inc).
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.
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.
Pages
