The Quantum Formalization Drive

In this paper, we give a necessary and sufficient condition for a cyclotomic Brauer algebra being semisimple. This generalizes previous result for a Brauer algebra.

We introduce a new notion of a sufficient subalgebra for quantum states: a subalgebra is 2- sufficient for a pair of states $\{ρ_0,ρ_1\}$ if it contains all Bayes optimal tests of $ρ_0$ against $ρ_1$. In classical statistics, this corresponds to the usual definition of sufficiency. We show this correspondence in the quantum setting for some special cases.…

We introduce new teleportation protocols which are generalizations of the original teleportation protocols that use the Pauli group [Bennett, et al. Physical Review Letters, 70(13) 1895-1899] and the port-based teleportation protocols, introduced by Hiroshima and Ishizaka [Physical Review Letters, 101(24) 240501], that use the symmetric permutation group.…

We exhibit infinitely many new, constrained inequalities for the von Neumann entropy, and show that they are independent of each other and the known inequalities obeyed by the von Neumann entropy (basically strong subadditivity). The new inequalities were proved originally by Makarychev et al. [Commun. Inf. Syst., 2(2):147-166, 2002] for the Shannon…

The cyclotomic Birman-Murakami-Wenzl (or BMW) algebras B_n^k, introduced by R. Haring-Oldenburg, are extensions of the cyclotomic Hecke algebras of Ariki-Koike, in the same way as the BMW algebras are extensions of the Hecke algebras of type A. In this paper we focus on the case n=2, producing a basis of B_2^k and constructing its left regular…

A representation $π$ of a locally compact group $G$ is called \e{trace class}, if for every test function $f$ the induced operator $π(f)$ is a trace class operator. The group $G$ is called \e{trace class}, if every $π\in G$ is trace class. We show that trace class groups are type I and give a criterion for semi-direct products to be trace class and show that a…

Instantaneous measurements of non-local observables between space-like separated regions can be performed without violating causality. This feat relies on the use of entanglement. Here we propose novel protocols for this task and the related problem of multipartite quantum computation with local operations and a single round of classical communication.…

Quantum information theory establishes the ultimate limits on communication and cryptography in terms of channel capacities for various types of information. The private capacity is particularly important because it quantifies achievable rates of quantum key distribution. We study the power of quantum channels with limited private capacity, focusing on…

This paper introduces calibrated representations for affine Hecke algebras and classifies and constructs all finite dimensional irreducible calibrated representations. The primary technique is to provide indexing sets for controlling the weight space structure of finite dimensional modules for the affine Hecke algebra. Using these indexing sets we show that…

We investigate the security against collective attacks of a continuous variable quantum key distribution scheme in the asymptotic key limit for a realistic setting. The quantum channel connecting the two honest parties is assumed to be lossy and imposes Gaussian noise on the observed quadrature distributions. Secret key rates are given for direct and…

Quantum resource theories (QRTs) provide a unified theoretical framework for understanding inherent quantum-mechanical properties that serve as resources in quantum information processing, but resources motivated by physics may possess intractable mathematical structure to analyze, such as non-uniqueness of maximally resourceful states, lack of convexity,…

A variety of new measures of quantum Renyi mutual information and quantum Renyi conditional entropy have recently been proposed, and some of their mathematical properties explored. Here, we show that the Renyi mutual information attains operational meaning in the context of composite hypothesis testing, when the null hypothesis is a fixed bipartite state…

To study which are the most general causal structures which are compatible with local quantum mechanics, Oreshkov et al. introduced the notion of a process: a resource shared between some parties that allows for quantum communication between them without a predetermined causal order. These processes can be used to perform several tasks that are impossible…

Quantum steering has recently been formalized in the framework of a resource theory of steering, and several quantifiers have already been introduced. Here, we propose an information-theoretic quantifier for steering called intrinsic steerability, which uses conditional mutual information to measure the deviation of a given assemblage from one having a…

We address the limit of the Gaussian operations and classical communication in the problem of quantum state discrimination. We show that the optimal Gaussian strategy for the discrimination of the binary phase shift keyed (BPSK) coherent signal is a simple homodyne detection. We also propose practical near-optimal quantum receivers that beat the BPSK…

A continuous-variable quantum key distribution protocol based on squeezed states and heterodyne detection is introduced and shown to attain higher secret key rates over a noisy line than any other one-way Gaussian protocol. This increased resistance to channel noise can be understood as resulting from purposely adding noise to the signal that is converted…

In this paper we describe how one can obtain Lie group structures on the group of (vertical) bundle automorphisms for a locally convex principal bundle P over the compact manifold M. This is done by first considering Lie group structures on the group of vertical bundle automorphisms Gau(P). Then the full automorphism group Aut(P) is considered as an…

Let N and M be von Neumann algebras. It is proved that L^p(N) does not Banach embed in L^p(M) for N infinite, M finite, 1 < or = p < 2. The following considerably stronger result is obtained (which implies this, since the Schatten p-class C_p embeds in L^p(N) for N infinite). Theorem: Let 1 < or = p < 2 and let X be a Banach space with a spanning set…

Consider the space $B[X\otimes_αY]$ of operators on the tensors product ${X\otimes_αY}$ of normed spaces $X$ and $Y$ equipped with a uniform crossnorm {\|\cdot\|_α}$$. Take the induced uniform norm on $B[X\otimes_αY]$ and consider its restriction to the tensor product ${B[X]\otimes B[Y]}$ of the algebra of operators $B[X]$ and $B[Y].$ It is proved that such a restriction…

In their seminal work on authentication, Wegman and Carter propose that to authenticate multiple messages, it is sufficient to reuse the same hash function as long as each tag is encrypted with a one-time pad. They argue that because the one-time pad is perfectly hiding, the hash function used remains completely unknown to the adversary. Since their proof…

We give a self contained and elementary description of normal forms for symplectic matrices, based on geometrical considerations. The normal forms in question are expressed in terms of elementary Jordan matrices and integers with values in $\{-1,0,1\}$ related to signatures of quadratic forms naturally associated to the symplectic matrix.

We show that optimal universal cloning of the polarization state of photons can be achieved via stimulated emission in three-level systems, both of the Lambda and the V type. We establish the equivalence of our systems with coupled harmonic oscillators, which permits us to analyze the structure of the cloning transformations realized. These transformations…

This article is a comprehensive review of the representation theory of the Ariki-Koike algebras and the cyclotomic Schur algebras.

We find that the asymptotic entanglement of assistance of a general bipartite mixed state is equal to the smaller of its two local entropies. Our protocol gives rise to the asymptotically optimal EPR pair distillation procedure for a given tripartite pure state, and we show that it actually yields EPR and GHZ states; in fact, under a restricted class of…

We show that all entangled Gaussian states of two infinite dimensional systems can be distilled to maximally entangled states in finite dimensions. The distillation protocol involves local squeezing operations, local homodyne measurements with ancilla systems prepared in coherent states as well as local joint measurements of the total number operator of two…