We study a problem of interconvertibility of two supraquantum resources: one is the so-called Popescu-Rohrlich (PR) box, which violates Clauser-Horne-Shimony-Holt inequality up to the maximal algebraic bound, and the second is the so-called random access code (RAC). The latter is a functionality that enables Bob (receiver) to choose one of two bits of Alice. It is known that a PR box supplemented with one bit of communication can be used to simulate a RAC. We ask the converse question: to what extent can a RAC can simulate a PR box? To this end, we introduce a "racbox": a box such that when it is supplemented with one bit of communication it offers a RAC. As said, a PR box can simulate a racbox. The question we raise is whether any racbox can simulate a PR box. We show that a nonsignaling racbox, indeed, can simulate a PR box; hence, these two resources are equivalent. We also provide an example of a signaling racbox that cannot simulate a PR box. We give a resource inequality between racboxes and PR boxes and show that it is saturated.
We study a problem of interconvertibility of two supraquantum resources: one is the so-called Popescu-Rohrlich (PR) box, which violates Clauser-Horne-Shimony-Holt inequality up to the maximal algebraic bound, and the second is the so-called random access code (RAC). The latter is a functionality that enables Bob (receiver) to choose one of two bits of Alice. It is known that a PR box supplemented with one bit of communication can be used to simulate a RAC. We ask the converse question: to what extent can a RAC can simulate a PR box? To this end, we introduce a "racbox": a box such that when it is supplemented with one bit of communication it offers a RAC. As said, a PR box can simulate a racbox. The question we raise is whether any racbox can simulate a PR box. We show that a nonsignaling racbox, indeed, can simulate a PR box; hence, these two resources are equivalent. We also provide an example of a signaling racbox that cannot simulate a PR box. We give a resource inequality between racboxes and PR boxes and show that it is saturated.
This work explores the notion of inter-convertibility between a cryptographic primitive: the random access code (RAC) and bipartite no-signaling nonlocal resources. To this end we introduce two generalizations of the Popescu-Rohrlich box (PR) and investigate their relation with the corresponding RACs. The first generalization is based on the number of Alice's input bits; we refer to it as the Bn-box. We show that the no-signaling condition imposes an equivalence between the Bn-box and the $(n\ensuremath{\rightarrow}1)$ RAC (encoding of n input bits to 1 bit of message). As an application we show that $(n\ensuremath{-}1)$ PRs supplemented with one bit communication are necessary and sufficient to win a $(n\ensuremath{\rightarrow}1)$ RAC with certainty. Furthermore, we present a signaling instant of a perfectly working $(n\ensuremath{\rightarrow}1)$ RAC which cannot simulate the Bn-box, thus showing that it is weaker than its no-signaling counterpart. For the second generalization we replace Alice's input bits with dits (d-leveled classical systems); we call this the Bnd-box. In this case the no-signaling condition is not enough to enforce an equivalence between the Bnd-box and $(n\ensuremath{\rightarrow}1,d)$ RAC (encoding of n input dits to 1dit of message); i.e., while the Bnd-box can win a $(n\ensuremath{\rightarrow}1,d)$ RAC with certainty, not all no-signaling instances of a $(n\ensuremath{\rightarrow}1,d)$ RAC can simulate the Bnd-box. We use resource inequalities to quantitatively capture these results.
A well-known cryptographic primitive is the so-called random access code. Namely, Alice is to send to Bob one of two bits, so that Bob has the choice of which bit he wants to learn about. However, at any time, Alice should not learn Bob's choice, and Bob should learn only the bit of his choice. The task is impossible to accomplish by means of either classical or quantum communication. On the other hand, a concept of correlations stronger than quantum ones, exhibited by the so-called Popescu-Rohrlich box, was introduced and widely studied. In particular, it is known that the Popescu-Rohrlich box enables simulation of the random access code with the support of one bit of communication. Here, we propose a quantum analog of this phenomenon. Namely, we define an analog of a random access code, where instead of classical bits, one encodes qubits. We provide a quantum nonsignaling box that if supported with two classical bits, allows one to simulate a quantum version of a random access code. We point out that two bits are necessary. We also show that a quantum random access code cannot be fully quantum: when Bob inputs the superposition of two choices, the output will be in a mixed state rather than in a superposition of required states.
An n↦pm random access code (RAC) is an encoding of n bits into m bits such that any initial bit can be recovered with probability at least p , while in a quantum RAC (QRAC), the n bits are encoded into m qubits. Since its proposal, the idea of RACs was generalized in many different ways, e.g. allowing the use of shared entanglement (called entanglement-assisted random access code, or simply EARAC) or recovering multiple bits instead of one. In this paper we generalize the idea of RACs to recovering the value of a given Boolean function f on any subset of fixed size of the initial bits, which we call f -random access codes. We study and give protocols for f -random access codes with classical ( f -RAC) and quantum ( f -QRAC) encoding, together with many different resources, e.g. private or shared randomness, shared entanglement ( f -EARAC) and Popescu-Rohrlich boxes ( f -PRRAC). The success probability of our protocols is characterized by the noise stability of the Boolean function f . Moreover, we give an upper bound on the success probability of any f -QRAC with shared randomness that matches its success probability up to a multiplicative constant (and f -RACs by extension), meaning that quantum protocols can only achieve a limited advantage over their classical counterparts.
Random access coding is an information task that has been extensively studied and found many applications in quantum information. In this scenario, Alice receives an n -bit string x , and wishes to encode x into a quantum state , such that Bob, when receiving the state , can choose any bit and recover the input bit x i with high probability. Here we study two variants: parity-oblivious random access codes (RACs), where we impose the cryptographic property that Bob cannot infer any information about the parity of any subset of bits of the input apart from the single bits x i ; and even-parity-oblivious RACs, where Bob cannot infer any information about the parity of any even-size subset of bits of the input. In this paper, we provide the optimal bounds for parity-oblivious quantum RACs and show that they are asymptotically better than the optimal classical ones. Our results provide a large non-contextuality inequality violation and resolve the main open problem in a work of Spekkens et al (2009 Phys. Rev. Lett. 102 010401 ). Second, we provide the optimal bounds for even-parity-oblivious RACs by proving their equivalence to a non-local game and by providing tight bounds for the success probability of the non-local game via semidefinite programming. In the case of even-parity-oblivious RACs, the cryptographic property holds also in the device independent model.
Abstract We consider two classes of quantum generalisations of random access code (RAC) and study the bounds for probabilities of success for such tasks. It provides a useful framework for the study of certain information processing tasks with constrained resources. The first class is based on a RAC with quantum inputs and output known as the no-signalling quantum RAC (NS-QRAC) box (Grudka et al 2015 Phys. Rev. A 92 052312), where unbounded entanglement and constrained classical communication are allowed. We show that it can be seen as quantum teleportation with constrained classical communication and provide a lower quantum bound for the success probability. We consider two modifications to the NS-QRAC scenario: the first, where unbounded entanglement and constrained quantum communication is allowed and the second, where bounded entanglement and unconstrained classical communication is allowed. We find a monogamy relation for the transmission fidelities, which—in contrast to the usual communication schemes—involves multiple senders and a single receiver. We provide an upper bounds for the latter and a lower one for the former. The second class is based on a RAC with a quantum channel and shared entanglement (Tavakoli et al 2021 PRX Quantum 2 040357). We study the set of tasks where two inputs made of two digits of d-base are encoded over a qudit and a maximally entangled state. We show that such tasks can be seen as quantum dense-coding with constrained quantum communication and explicit protocols, which give lower quantum bounds for the tasks’ efficiency, in dimensions d = 2 , 3 , 4 . The employed encoding utilises Gray codes.
Supraquantum nonlocality refers to correlations that are more nonlocal than allowed by quantum theory but still physically conceivable in postquantum theories, in the sense of respecting the basic no-faster-than-light communication principle. While supraquantum correlations are relatively well understood for finite-dimensional systems, little is known in the infinite-dimensional case. Here, we study supraquantum nonlocality for bipartite systems with two measurement settings and infinitely many outcomes per subsystem. We develop a formalism for generic no-signaling black-box measurement devices with continuous outputs in terms of probability measures, instead of probability distributions, which involves a few technical subtleties. We show the existence of a class of supraquantum Gaussian correlations, which violate the Tsirelson bound of an adequate continuous-variable Bell inequality. We then introduce the continuous-variable version of the celebrated Popescu--Rohrlich (PR) boxes, as a limiting case of the above-mentioned Gaussian ones. Finally, we characterize the geometry of the set of continuous-variable no-signaling correlations. Namely, we show that that the convex hull of the continuous-variable PR boxes is dense in the no-signaling set. We also show that these boxes are extreme in the set of no-signaling behaviors and provide evidence suggesting that they are indeed the only extreme points of the no-signaling set. Our results lay the grounds for studying generalized-probability theories in continuous-variable systems.