133 research outputs found
De Finetti theorem on the CAR algebra
The symmetric states on a quasi local C*-algebra on the infinite set of
indices J are those invariant under the action of the group of the permutations
moving only a finite, but arbitrary, number of elements of J. The celebrated De
Finetti Theorem describes the structure of the symmetric states (i.e.
exchangeable probability measures) in classical probability. In the present
paper we extend De Finetti Theorem to the case of the CAR algebra, that is for
physical systems describing Fermions. Namely, after showing that a symmetric
state is automatically even under the natural action of the parity
automorphism, we prove that the compact convex set of such states is a Choquet
simplex, whose extremal (i.e. ergodic w.r.t. the action of the group of
permutations previously described) are precisely the product states in the
sense of Araki-Moriya. In order to do that, we also prove some ergodic
properties naturally enjoyed by the symmetric states which have a
self--containing interest.Comment: 23 pages, juornal reference: Communications in Mathematical Physics,
to appea
Statistics and Quantum Chaos
We use multi-time correlation functions of quantum systems to construct
random variables with statistical properties that reflect the degree of
complexity of the underlying quantum dynamics.Comment: 12 pages, LateX, no figures, restructured versio
Joint system quantum descriptions arising from local quantumness
Bipartite correlations generated by non-signalling physical systems that
admit a finite-dimensional local quantum description cannot exceed the quantum
limits, i.e., they can always be interpreted as distant measurements of a
bipartite quantum state. Here we consider the effect of dropping the assumption
of finite dimensionality. Remarkably, we find that the same result holds
provided that we relax the tensor structure of space-like separated
measurements to mere commutativity. We argue why an extension of this result to
tensor representations seems unlikely
Entanglement purification of unknown quantum states
A concern has been expressed that ``the Jaynes principle can produce fake
entanglement'' [R. Horodecki et al., Phys. Rev. A {\bf 59}, 1799 (1999)]. In
this paper we discuss the general problem of distilling maximally entangled
states from copies of a bipartite quantum system about which only partial
information is known, for instance in the form of a given expectation value. We
point out that there is indeed a problem with applying the Jaynes principle of
maximum entropy to more than one copy of a system, but the nature of this
problem is classical and was discussed extensively by Jaynes. Under the
additional assumption that the state of the copies of the
quantum system is exchangeable, one can write down a simple general expression
for . We show how to modify two standard entanglement purification
protocols, one-way hashing and recurrence, so that they can be applied to
exchangeable states. We thus give an explicit algorithm for distilling
entanglement from an unknown or partially known quantum state.Comment: 20 pages RevTeX 3.0 + 1 figure (encapsulated Postscript) Submitted to
Physical Review
Structure and mechanism of acetolactate decarboxylase
Acetolactate decarboxylase catalyzes the conversion of both enantiomers of acetolactate to the (R)-enantiomer of acetoin, via a mechanism that has been shown to involve a prior rearrangement of the non-natural (R)-enantiomer substrate to the natural (S)-enantiomer. In this paper, a series of crystal structures of ALDC complex with designed transition state mimics are reported. These structures, coupled with inhibition studies and site-directed mutagenesis provide an improved understanding of the molecular processes involved in the stereoselective decarboxylation/protonation events. A mechanism for the transformation of each enantiomer of acetolactate is proposed
Faithful Squashed Entanglement
Squashed entanglement is a measure for the entanglement of bipartite quantum
states. In this paper we present a lower bound for squashed entanglement in
terms of a distance to the set of separable states. This implies that squashed
entanglement is faithful, that is, strictly positive if and only if the state
is entangled. We derive the bound on squashed entanglement from a bound on
quantum conditional mutual information, which is used to define squashed
entanglement and corresponds to the amount by which strong subadditivity of von
Neumann entropy fails to be saturated. Our result therefore sheds light on the
structure of states that almost satisfy strong subadditivity with equality. The
proof is based on two recent results from quantum information theory: the
operational interpretation of the quantum mutual information as the optimal
rate for state redistribution and the interpretation of the regularised
relative entropy of entanglement as an error exponent in hypothesis testing.
The distance to the set of separable states is measured by the one-way LOCC
norm, an operationally-motivated norm giving the optimal probability of
distinguishing two bipartite quantum states, each shared by two parties, using
any protocol formed by local quantum operations and one-directional classical
communication between the parties. A similar result for the Frobenius or
Euclidean norm follows immediately. The result has two applications in
complexity theory. The first is a quasipolynomial-time algorithm solving the
weak membership problem for the set of separable states in one-way LOCC or
Euclidean norm. The second concerns quantum Merlin-Arthur games. Here we show
that multiple provers are not more powerful than a single prover when the
verifier is restricted to one-way LOCC operations thereby providing a new
characterisation of the complexity class QMA.Comment: 24 pages, 1 figure, 1 table. Due to an error in the published
version, claims have been weakened from the LOCC norm to the one-way LOCC
nor
Active lattices determine AW*-algebras
We prove that operator algebras that have enough projections are completely
determined by those projections, their symmetries, and the action of the latter
on the former. This includes all von Neumann algebras and all AW*-algebras. We
introduce active lattices, which are formed from these three ingredients. More
generally, we prove that the category of AW*-algebras is equivalent to a full
subcategory of active lattices. Crucial ingredients are an equivalence between
the category of piecewise AW*-algebras and that of piecewise complete Boolean
algebras, and a refinement of the piecewise algebra structure of an AW*-algebra
that enables recovering its total structure.Comment: 26 page
Frobenius structures over Hilbert C*-modules
We study the monoidal dagger category of Hilbert C*-modules over a
commutative C*-algebra from the perspective of categorical quantum mechanics.
The dual objects are the finitely presented projective Hilbert C*-modules.
Special dagger Frobenius structures correspond to bundles of uniformly
finite-dimensional C*-algebras. A monoid is dagger Frobenius over the base if
and only if it is dagger Frobenius over its centre and the centre is dagger
Frobenius over the base. We characterise the commutative dagger Frobenius
structures as finite coverings, and give nontrivial examples of both
commutative and central dagger Frobenius structures. Subobjects of the tensor
unit correspond to clopen subsets of the Gelfand spectrum of the C*-algebra,
and we discuss dagger kernels.Comment: 35 page
- …