Carlos Palazuelos

The main result of this work shows that Bohnenblust–Hille inequality for m-homogeneous polynomials holds with constant one when the infinity norm is replaced by the completely bounded norm. Moreover, we show that this inequality finds some interesting consequences in quantum learning theory. In the second part of this paper, we broaden our investigation of the Bohnenblust–Hille inequality to other contexts. In particular, we extend recent results by Volberg and Zhang, demonstrating its applicability within a framework we have termed “Learning Low-Degree Quantum Objects”.

We show that, given , there exist ‐player quantum XOR games for which the entangled bias can be arbitrarily larger than the bias of the game when the players are restricted to separable strategies. In particular, quantum entanglement can be a much more powerful resource than local operations and classical communication to play these games. This result shows a strong contrast to the bipartite case, where it was recently proved that, as a consequence of a noncommutative version of Grothendieck theorem, the entangled bias is always upper bounded by a universal constant times the one‐way classical communication bias. In this sense, our main result can be understood as a counterexample to an extension of such a noncommutative Grothendieck theorem to multilinear forms.

We prove a tight and close-to-optimal lower bound on the effectiveness of local quantum measurements (without classical communication) at discriminating any two bipartite quantum states. Our result implies, for example, that any two orthogonal quantum states of a $n_{A}\times n_{B}$ bipartite quantum system can be discriminated via local measurements with an error probability no larger than $\frac {1}2 \left ({1 - \frac {1}{c \min \{n_{A}, n_{B}\}} }\right)$ , where $1\leq c\leq 2\sqrt {2}$ is a universal constant, and our bound scales provably optimally with the local dimensions $n_{A},n_{B}$ . Mathematically, this is achieved by showing that the distinguishability norm $\|\cdot \|_{ \mathrm {LO}}$ associated with local measurements satisfies that $\|\cdot \|_{1}\leq 2\sqrt {2} \min \{n_{A},n_{B}\} \|\cdot \|_{ \mathrm {LO}}$ , where $\|\cdot \|_{1}$ is the trace norm.

In this work we initiate the study of position based quantum cryptography (PBQC) from the perspective of geometric functional analysis and its connections with quantum games. The main question we are interested in asks for the optimal amount of entanglement that a coalition of attackers have to share in order to compromise the security of any PBQC protocol. Known upper bounds for that quantity are exponential in the size of the quantum systems manipulated in the honest implementation of the protocol. However, known lower bounds are only linear. In order to deepen the understanding of this question, here we propose a position verification (PV) protocol and find lower bounds on the resources needed to break it. The main idea behind the proof of these bounds is the understanding of cheating strategies as vector valued assignments on the Boolean hypercube. Then, the bounds follow from the understanding of some geometric properties of particular Banach spaces, their type constants. Under some regularity assumptions on the former assignment, these bounds lead to exponential lower bounds on the quantum resources employed, clarifying the question in this restricted case. Known attacks indeed satisfy the assumption we make, although we do not know how universal this feature is. Furthermore, we show that the understanding of the type properties of some more involved Banach spaces would allow to drop out the assumptions and lead to unconditional lower bounds on the resources used to attack our protocol. Unfortunately, we were not able to estimate the relevant type constant. Despite that, we conjecture an upper bound for this quantity and show some evidence supporting it. A positive solution of the conjecture would lead to stronger security guarantees for the proposed PV protocol providing a better understanding of the question asked above.

The study of entanglement in multipartite quantum states plays a major role in quantum information theory and genuine multipartite entanglement signals one of its strongest forms for applications. However, its characterization for general (mixed) states is a highly nontrivial problem. We introduce a particularly simple subclass of multipartite states, which we term pair-entangled network (PEN) states, as those that can be created by distributing exclusively bipartite entanglement in a connected network. We show that genuine multipartite entanglement in a PEN state depends on both the level of noise and the network topology and, in sharp contrast to the case of pure states, it is not guaranteed by the mere distribution of mixed bipartite entangled states. Our main result is a markedly drastic feature of this phenomenon: the amount of connectivity in the network determines whether genuine multipartite entanglement is robust to noise for any system size or whether it is completely washed out under the slightest form of noise for a sufficiently large number of parties. This latter case implies fundamental limitations for the application of certain networks in realistic scenarios, where the presence of some form of noise is unavoidable. To illustrate the applicability of PEN states to study the complex phenomenology behind multipartite entanglement, we also use them to prove superactivation of genuine multipartite nonlocality for any number of parties.

We prove that given any two general probabilistic theories (GPTs) the following are equivalent: (i) each theory is nonclassical, meaning that neither of their state spaces is a simplex; (ii) each theory satisfies a strong notion of incompatibility equivalent to the existence of “superpositions”; and (iii) the two theories are entangleable, in the sense that their composite exhibits either entangled states or entangled measurements. Intuitively, in the post-quantum GPT setting, a superposition is a set of two binary ensembles of states that are unambiguously distinguishable if the ensemble is revealed before the measurement has occurred, but not if it is revealed after. This notion is important because we show that, just like in quantum theory, superposition in the form of strong incompatibility is sufficient to realize the Bennett-Brassard 1984 protocol for secret key distribution.

In this work we initiate the study of Position Based Quantum Cryptography (PBQC) from the perspective of geometric functional analysis and its connections with quantum games. The main question we are interested in asks for the optimal amount of entanglement that a coalition of attackers have to share in order to compromise the security of any PBQC protocol. Known upper bounds for that quantity are exponential in the size of the quantum systems manipulated in the honest implementation of the protocol. However, known lower bounds are only linear. In order to deepen the understanding of this question, here we propose a Position Verification (PV) protocol and find lower bounds on the resources needed to break it. The main idea behind the proof of these bounds is the understanding of cheating strategies as vector valued assignments on the Boolean hypercube. Then, the bounds follow from the understanding of some geometric properties of particular Banach spaces, their type constants. Under some regularity assumptions on the former assignment, these bounds lead to exponential lower bounds on the quantum resources employed, clarifying the question in this restricted case. Known attacks indeed satisfy the assumption we make, although we do not know how universal this feature is. Furthermore, we show that the understanding of the type properties of some more involved Banach spaces would allow to drop out the assumptions and lead to unconditional lower bounds on the resources used to attack our protocol. Unfortunately, we were not able to estimate the relevant type constant. Despite that, we conjecture an upper bound for this quantity and show some evidence supporting it. A positive solution of the conjecture would lead to stronger security guarantees for the proposed PV protocol providing a better understanding of the question asked above.