The Quantum Formalization Drive

We generalize the classical construction principles of infinite-dimensional real (and complex) Lie groups to the case of Lie groups over non-discrete topological fields. In particular, we discuss linear Lie groups, mapping groups, test function groups, diffeomorphism groups, and weak direct products of Lie groups. The specific tools of differential calculus…

In order to study multipartite quantum cryptography, we introduce quantities which vanish on product probability distributions, and which can only decrease if the parties carry out local operations or carry out public classical communication. These ``secrecy monotones'' therefore measure how much secret correlations are shared by the parties. In the…

This article presents an isomorphism between two operator algebras $L_1$ and $L_2$ where $L_1$ is the set of operators on a space of Hilbert-Schmidt operators and $L_2$ is the set of operators on a tensor product space. We next compare our isomorphism to a well-known result called Choi's isomorphism theorem. The advantage of Choi's isomorphism is that it takes…

We study optimal teleportation based on the Bell measurements. An explicit expression for the quantum channel associated with the optimal teleportation with an arbitrary mixed state resource is presented. The optimal transmission fidelity of the corresponding quantum channel is calculated and shown to be related to the fully entangled fraction of the…

We construct classes of von Neumann algebra modules by considering ``column sums" of noncommutative L^p spaces. Our abstract characterization is based on an L^{p/2}-valued inner product, thereby generalizing Hilbert C*-modules and representations on Hilbert space. While the (single) representation theory is similar to the L^2 case, the concept of L^p…

We generalize the universally composable definition of Canetti to the Quantum World. The basic idea is the same as in the classical world. The main contribution is that we unfold the result in a new model which is well adapted to quantum protocols. We also simplify some aspects of the classical case. In particular, the case of protocols with an arbitrary…

In the present paper we study abelian extensions of connected Lie groups $G$ modeled on locally convex spaces by smooth $G$-modules $A$. We parametrize the extension classes by a suitable cohomology group $H^2_s(G,A)$ defined by locally smooth cochains and construct an exact sequence that describes the difference between $H^2_s(G,A)$ and the corresponding continuous…

In this paper we study non-abelian extensions of a Lie group $G$ modeled on a locally convex space by a Lie group $N$. The equivalence classes of such extension are grouped into those corresponding to a class of so-called smooth outer actions $S$ of $G$ on $N$. If $S$ is given, we show that the corresponding set $\Ext(G,N)_S$ of extension classes is a principal…

We study the twisted Weyl symbol of metaplectic operators; this requires the definition of an index for symplectic paths related to the Conley-Zehnder index. We thereafter define a metaplectically covariant algebra of pseudo-differential operators acting on functions on symplectic space.

This paper attempts to give an overview about sufficiency in the setting of quantum statistics. The basic concepts are treated paralelly to the the measure theoretic case. It turns out that several classical examples and results have a non-commutative analogue. Some of the results are presented without proof (but with exact references) and the presentation…

We show that the eigenvalues and eigenfunctions of the stargenvalue equation can be completely expressed in terms of the corresponding eigenvalue problem for the quantum Hamiltonian. Our method makes use of a Weyl-type representation of the star-product and of the properties of the cross-Wigner transform, which appears as an intertwining operator.

Work of Clifford, Munn and Ponizovski{\u\i} parameterized the irreducible representations of a finite semigroup in terms of the irreducible representations of its maximal subgroups. Explicit constructions of the irreducible representations were later obtained independently by Rhodes and Zalcstein and by Lallement and Petrich. All of these approaches make…

We present a general dilation scheme for quantum instruments with continuous outcome space in finite dimensions, in terms of an indirect POVM measurement performed on a finite dimensional ancilla. The general result is then applied to a large class of instruments generated by operator frames, which contains group-covariant instruments as a particular case,…

We study analogues of Jucys-Murphy elements in cellular algebras arising from repeated Jones basic constructions. Examples include Brauer and BMW algebras and their cyclotomic analogues.

Lie's Third Theorem, asserting that each finite-dimensional Lie algebra is the Lie algebra of a Lie group, fails in infinite dimensions. The modern account on this phenomenon is the integration problem for central extensions of infinite-dimensional Lie algebras, which in turn is phrased in terms of an integration procedure for Lie algebra cocycles. This…

A simple unifying view of the exceptional Lie algebras is presented. The underlying Jordan pair content and role are exhibited. Each algebra contains three Jordan pairs sharing the same Lie algebra of automorphisms and the same external su(3) symmetry. Eventual physical applications and implications of the theory are outlined.

We study the product formula $(fg)(A) = f(A)g(A)$ in the framework of (unbounded) functional calculus of sectorial operators $A$. We give an abstract result, and, as corollaries, we obtain new product formulas for the holomorphic functional calculus, an extended Stieltjes functional calculus and an extended Hille-Phillips functional calculus. Our results…