arXiv subjects

Joseph M. Renes

Publications and source records attributed to Joseph M. Renes.

79 records · Page 5Linked to original sources

arXiv2006

Generalized decoding, effective channels, and simplified security proofs in quantum key distribution

Prepare and measure quantum key distribution protocols can be decomposed into two basic steps: delivery of the signals over a quantum channel and distillation of a secret key from the signal and measurement records by classical processing and public communication. Here we formalize the distillation process for a general protocol in a purely quantum-mechanical framework and demonstrate that it can be viewed as creating an ``effective'' quantum channel between the legitimate users Alice and Bob. The process of secret key generation can then be viewed as entanglement distribution using this channel, which enables application of entanglement-based security proofs to essentially any prepare and measure protocol. To ensure secrecy of the key, Alice and Bob must be able to estimate the channel noise from errors in the key, and we further show how symmetries of the distillation process simplify this task. Applying this method, we prove the security of several key distribution protocols based on equiangular spherical codes.

quant-ph↗

arXiv2005

Influence-free states on compound quantum systems

Let Alice and Bob be able to make local quantum measurements and communicate classically. The set of mathematically consistent joint probability assignments (``states'') for such measurements is properly larger than the set of quantum-mechanical mixed states for the Alice-Bob system. It is canonically isomorphic to the set of positive (not necessarily completely positive) linear maps Phi from the bounded linear operators on Alice's space to those on Bob's, for which Tr Phi(I)=1. We review the fact that allowing classical communication is equivalent to enforcing ``no-instantaneous-signalling'' (``no--influence'') in the direction opposite the communication. We establish that in the subclass of ``decomposable'' states, i.e. convex combinations of positive states with "PTP" ones whose partial transpose is positive, the extremal states are just the extremal positive and extremal PTP states. We show that two such states, shared by the same pair of parties, cannot necessarily be combined as independent states (their tensor product) if the full set of quantum operations is allowed locally to each party. We use a framework of ``test spaces'' and states on these, suited for exhibiting the analogies and deviations of empirical probabilistic theories from classical probability theory. This leads to a deeper understanding of analogies between quantum mechanics and Bayesian probability theory. The existence of a ``most Bayesian'' quantum rule for updating states after measurement, and its association with the situation when information on one system is gained by measuring another, is a case of a general proposition holding for test spaces combined subject to the no-signalling requirement.

quant-ph↗

arXiv2004

Spherical Code Key Distribution Protocols for Qubits

Recently spherical codes were introduced as potentially more capable ensembles for quantum key distribution. Here we develop specific key creation protocols for the two qubit-based spherical codes, the trine and tetrahedron, and analyze them in the context of a suitably-tailored intercept/resend attack, both in standard form, and a ``gentler'' version whose back-action on the quantum state is weaker. When compared to the standard unbiased basis protocols, BB84 and six-state, two distinct advantages are found. First, they offer improved tolerance of eavesdropping, the trine besting its counterpart BB84 and the tetrahedron the six-state protocol. Second, the key error rate may be computed from the sift rate of the protocol itself, removing the need to sacrifice key bits for this purpose. This simplifies the protocol and improves the overall key rate.

quant-ph↗

arXiv2004

Equiangular Spherical Codes in Quantum Cryptography

Quantum key distribution protocols based on equiangular spherical codes are introduced and their behavior under the intercept/resend attack investigated. Such protocols offer a greater range of secure noise tolerance and speed options than protocols based on their cousins, the mutually-unbiased bases, while also enabling the determination of the channel noise rate without the need to sacrifice key bits. For fixed number of signal states in a given dimension, the spherical code protocols offer Alice and Bob more noise tolerance at the price of slower key generation rates.

quant-ph↗

arXiv2004

Quantum Key Distribution Using Equiangular Spherical Codes

Mutually unbiased bases have been extensively studied in the literature and are simple and effective in quantum key distribution protocols, but they are not optimal. Here equiangular spherical codes are introduced as a more efficient and robust resource for key distribution. Such codes are sets of states that are as evenly spaced throughout the vector space as possible. In the case the two parties use qubits and face the intercept/resend eavesdropping strategy, they can make use of three equally-spaced states, called a \emph{trine}, to outperform the original four-state BB84 protocol in both speed and reliability. This points toward the optimality of spherical codes in arbitrary dimensions.

quant-ph↗

arXiv2003

Symmetric Informationally Complete Quantum Measurements

We consider the existence in arbitrary finite dimensions d of a POVM comprised of d^2 rank-one operators all of whose operator inner products are equal. Such a set is called a ``symmetric, informationally complete'' POVM (SIC-POVM) and is equivalent to a set of d^2 equiangular lines in C^d. SIC-POVMs are relevant for quantum state tomography, quantum cryptography, and foundational issues in quantum mechanics. We construct SIC-POVMs in dimensions two, three, and four. We further conjecture that a particular kind of group-covariant SIC-POVM exists in arbitrary dimensions, providing numerical results up to dimension 45 to bolster this claim.

quant-ph↗

arXiv2003

Gleason-Type Derivations of the Quantum Probability Rule for Generalized Measurements

We prove a Gleason-type theorem for the quantum probability rule using frame functions defined on positive-operator-valued measures (POVMs), as opposed to the restricted class of orthogonal projection-valued measures used in the original theorem. The advantage of this method is that it works for two-dimensional quantum systems (qubits) and even for vector spaces over rational fields--settings where the standard theorem fails. Furthermore, unlike the method necessary for proving the original result, the present one is rather elementary. In the case of a qubit, we investigate similar results for frame functions defined upon various restricted classes of POVMs. For the so-called trine measurements, the standard quantum probability rule is again recovered.

quant-ph↗