Nuclear and Trace Ideals in Tensored *-Categories

We generalize the notion of nuclear maps from functional analysis by defining nuclear ideals in tensored *-categories. The motivation for this study came from attempts to generalize the structure of the category of relations to handle what might be called ``probabilistic relations''. The compact closed structure associated with the category of relations does not generalize directly, instead one obtains nuclear ideals. We introduce the notion of nuclear ideal to analyze these classes of morphisms. In compact closed categories, we see that all morphisms are nuclear, and in the category of Hilbert spaces, the nuclear morphisms are the Hilbert-Schmidt maps. We also introduce two new examples of tensored *-categories, in which integration plays the role of composition. In the first, morphisms are a special class of distributions, which we call tame distributions. We also introduce a category of probabilistic relations which was the original motivating example. Finally, we extend the recent work of Joyal, Street and Verity on traced monoidal categories to this setting by introducing the notion of a trace ideal. For a given symmetric monoidal category, it is not generally the case that arbitrary endomorphisms can be assigned a trace. However, we can find ideals in the category on which a trace can be defined satisfying equations analogous to those of Joyal, Street and Verity. We establish a close correspondence between nuclear ideals and trace ideals in a tensored *-category, suggested by the correspondence between Hilbert-Schmidt operators and trace operators on a Hilbert space.Comment: 43 pages, Revised versio

A System of Interaction and Structure II: The Need for Deep Inference

This paper studies properties of the logic BV, which is an extension of multiplicative linear logic (MLL) with a self-dual non-commutative operator. BV is presented in the calculus of structures, a proof theoretic formalism that supports deep inference, in which inference rules can be applied anywhere inside logical expressions. The use of deep inference results in a simple logical system for MLL extended with the self-dual non-commutative operator, which has been to date not known to be expressible in sequent calculus. In this paper, deep inference is shown to be crucial for the logic BV, that is, any restriction on the ``depth'' of the inference rules of BV would result in a strictly less expressive logical system

New Proof of the Generalized Second Law

The generalized second law of black hole thermodynamics was proved by Frolov and Page for a quasi-stationary eternal black hole. However, realistic black holes arise from a gravitational collapse, and in this case their proof does not hold. In this paper we prove the generalized second law for a quasi-stationary black hole which arises from a gravitational collapse.Comment: 13 pages, Late

Quantum Fisher information as a predictor of decoherence in the preparation of spin-cat states for quantum metrology

In its simplest form, decoherence occurs when a quantum state is entangled with a second state, but the results of measurements made on the second state are not accessible. As the second state has effectively “measured” the first, in this paper we argue that the quantum Fisher information is the relevant metric for predicting and quantifying this kind of decoherence. The quantum Fisher information is usually used to determine an upper bound on how precisely measurements on a state can be used to estimate a classical parameter, and as such it is an important resource. Quantum-enhanced metrology aims to create nonclassical states with large quantum Fisher information and utilize them in precision measurements. In the process of doing this it is possible for states to undergo decoherence; for instance atom-light interactions used to create coherent superpositions of atomic states may result in atom-light entanglement. Highly nonclassical states, such as spin-cat states (Schrödinger cat states constructed from superpositions of collective spins) are shown to be highly susceptible to this kind of decoherence. We also investigate the required field occupation of the second state, such that this decoherence is negligible

Private information via the Unruh effect

In a relativistic theory of quantum information, the possible presence of horizons is a complicating feature placing restrictions on the transmission and retrieval of information. We consider two inertial participants communicating via a noiseless qubit channel in the presence of a uniformly accelerated eavesdropper. Owing to the Unruh effect, the eavesdropper's view of any encoded information is noisy, a feature the two inertial participants can exploit to achieve perfectly secure quantum communication. We show that the associated private quantum capacity is equal to the entanglement-assisted quantum capacity for the channel to the eavesdropper's environment, which we evaluate for all accelerations.Comment: 5 pages. v2: footnote deleted and typos corrected. v3: major revision. New capacity (single-letter!) theorem and implicit assumption lifte

The Measurement Calculus

Measurement-based quantum computation has emerged from the physics community as a new approach to quantum computation where the notion of measurement is the main driving force of computation. This is in contrast with the more traditional circuit model which is based on unitary operations. Among measurement-based quantum computation methods, the recently introduced one-way quantum computer stands out as fundamental. We develop a rigorous mathematical model underlying the one-way quantum computer and present a concrete syntax and operational semantics for programs, which we call patterns, and an algebra of these patterns derived from a denotational semantics. More importantly, we present a calculus for reasoning locally and compositionally about these patterns. We present a rewrite theory and prove a general standardization theorem which allows all patterns to be put in a semantically equivalent standard form. Standardization has far-reaching consequences: a new physical architecture based on performing all the entanglement in the beginning, parallelization by exposing the dependency structure of measurements and expressiveness theorems. Furthermore we formalize several other measurement-based models: Teleportation, Phase and Pauli models and present compositional embeddings of them into and from the one-way model. This allows us to transfer all the theory we develop for the one-way model to these models. This shows that the framework we have developed has a general impact on measurement-based computation and is not just particular to the one-way quantum computer.Comment: 46 pages, 2 figures, Replacement of quant-ph/0412135v1, the new version also include formalization of several other measurement-based models: Teleportation, Phase and Pauli models and present compositional embeddings of them into and from the one-way model. To appear in Journal of AC

Distribution-based bisimulation for labelled Markov processes

In this paper we propose a (sub)distribution-based bisimulation for labelled Markov processes and compare it with earlier definitions of state and event bisimulation, which both only compare states. In contrast to those state-based bisimulations, our distribution bisimulation is weaker, but corresponds more closely to linear properties. We construct a logic and a metric to describe our distribution bisimulation and discuss linearity, continuity and compositional properties.Comment: Accepted by FORMATS 201

Is it possible to recover information from the black-hole radiation?

In the framework of communication theory, we analyse the gedanken experiment in which beams of quanta bearing information are flashed towards a black hole. We show that stimulated emission at the horizon provides a correlation between incoming and outgoing radiations consisting of bosons. For fermions, the mechanism responsible for the correlation is the Fermi exclusion principle. Each one of these mechanisms is responsible for the a partial transfer of the information originally coded in the incoming beam to the black--hole radiation. We show that this process is very efficient whenever stimulated emission overpowers spontaneous emission (bosons). Thus, black holes are not `ultimate waste baskets of information'.Comment: 9 pages (2 figures available upon request), CERN-TH 6811/93, (LateX file