Searcharxiv⌕ Search

arXiv subjects

Lucas E. A. Porto

Publications and source records attributed to Lucas E. A. Porto.

9 recordsLinked to original sources

The most discriminable quantum states in the multicopy regime

This work investigates which sets of quantum states give rise to the highest achievable success probability in minimum-error state discrimination if multiple copies of the unknown state are given. Specifically, we consider uniformly distributed ensembles of the form $\left\{\frac{1}{N},ρ_i^{\otimes k}\right\}_{i=1}^N$, where $N$ states in dimension $d$ are provided in $k$ identical copies, and derive universal limits in this scenario. For pure state ensembles, we prove that whenever $N$ is large enough to support a state $k$-design, these designs will exactly give rise to the maximally discriminable sets. We further show that when $N$ exceeds the size required for a $k$-design, mixed states can outperform all pure state ensembles. We then recognise that the problem of most discriminable classical states in the multi-copy regime is in one-to-one correspondence to the concept of the multiplicative Bayes capacity of independent uses of classical channels, a concept that emerges naturally in the context of classical information leakage. This connection allows us to completely solve the classical analogue of our problem when $N\geq \binom{d + k - 1}{k}$, and to prove that quantum systems offer a quadratic advantage (in number of copies $k$) over classical ones. Then, we prove that this quantum over classical advantage is strongly reduced when one is restricted to real quantum states, more precisely, when $N \geq k + 1$, pure real qubits only offer a constant advantage over classical bits. Finally, we introduce computational techniques to find sets of most discriminable ensembles and to obtain rigorous universal upper bounds on the maximal success probability for multi-copy state discrimination in cases that are analytically intractable.

quant-ph↗

Bell nonlocality does not imply violation of nonlocal games

Nonlocal games offer a conceptually clear way to reason about Bell nonlocality. However, we show that as originally defined, and most commonly used, i.e. with a deterministic predicate, they cannot be complete witnesses of nonlocality. Concretely, we prove the existence of nonlocal behaviours which do not violate any such nonlocal game. Furthermore, we also show that quantum mechanics can produce these game-classical nonlocal behaviours. We prove that this phenomenon exists in every bipartite scenario $(X,Y,A,B)$ with $X,Y\geq2$ and $A,B\geq4$.

quant-ph↗

Non-signaling assistance in prepare-and-measure scenarios with classical communication

Extracting the full power of non-local correlations in prepare-and-measure (PM) scenarios requires precise control over the timing and structure of the receiver's measurements. Indeed, recent developments in entanglement-assisted classical communication scenarios have shown that adaptive strategies-where the receiver uses the transmitted message to guide their measurement choice-can outperform standard non-adaptive protocols. Moving beyond quantum theory, however, the ultimate limits of such advantages remain largely unexplored. In this work, we thoroughly study adaptive and non-adaptive non-signaling (NS) assistance in PM scenarios with classical communication. We provide simple characterizations of the sets of behaviors that can be realized using both non-adaptive and adaptive NS assistance in arbitrary PM scenarios. As a consequence, we show that non-adaptive NS assistance is already strong enough to reproduce quantum communication with the same message dimension: the transmission of a qudit can be simulated by a classical dit assisted non-adaptively by NS correlations. We then compare adaptive and non-adaptive NS assistance. We prove that any adaptive NS advantage can be traced back to scenarios in which the receiver has no measurement choice, ruling out the genuinely multi-setting advantages found in entanglement-assisted quantum protocols. Finally, we identify all PM scenarios where adaptive NS strategies provide a strict advantage over non-adaptive ones.

quant-ph↗

Measurement incompatibility and quantum steering via linear programming

The problem of deciding whether a set of quantum measurements is jointly measurable is known to be equivalent to determining whether a quantum assemblage is unsteerable. This problem can be formulated as a semidefinite program (SDP). However, the number of variables and constraints in such a formulation grows exponentially with the number of measurements, rendering it intractable for large measurement sets. In this work, we circumvent this problem by transforming the SDP into a hierarchy of linear programs that compute upper and lower bounds on the incompatibility robustness with a complexity that grows polynomially in the number of measurements. The hierarchy is guaranteed to converge and it can be applied to arbitrary measurements -- including non-projective POVMs (Positive Operator-Valued Measures) -- in arbitrary dimensions. While convergence becomes impractical in high dimensions, in the case of qubits our method reliably provides accurate upper and lower bounds for the incompatibility robustness of sets with several hundred measurements in a short time using a standard laptop. We also apply our methods to qutrits, obtaining non-trivial upper and lower bounds in scenarios that are otherwise intractable using the standard SDP approach, although such bounds are significantly looser than the ones obtained in the qubit case. Finally, we show how our methods can be used to construct local hidden state models for states (i.e., to prove that a state cannot lead to steering under any possible local measurements), or conversely, to certify that a given state exhibits steering; for two-qubit quantum states, our approach is comparable to, and in some cases outperforms, the current best methods.

quant-ph↗

Can outcome communication explain Bell nonlocality?

A central aspect of quantum information is that correlations between spacelike separated observers sharing entangled states cannot be reproduced by local hidden variable (LHV) models, a phenomenon known as Bell nonlocality. If one wishes to explain such correlations by classical means, a natural possibility is to allow communication between the parties. In particular, LHV models augmented with two bits of classical communication can explain the correlations of any two-qubit state. Would this still hold if communication is restricted to measurement outcomes? While in certain scenarios with a finite number of inputs the answer is yes, we prove that if a model must reproduce all projective measurements, then for any qubit-qudit state the answer is no. In fact, a qubit-qudit under projective measurements admits an LHV model with outcome communication if and only if it already admits an LHV model without communication. On the other hand, we also show that when restricted sets of measurements are considered (for instance, when the qubit measurements are in the upper hemisphere of the Bloch ball), outcome communication does offer an advantage. This exemplifies that trivial properties in standard LHV scenarios, such as deterministic measurements and outcome-relabelling, play a crucial role in the outcome communication scenario.

quant-ph↗

Can every set of incompatible measurements lead to genuine multipartite steering?

Measurement incompatibility and bipartite quantum steering are known to display a strong connection: a set of measurements is incompatible if and only if it can lead to bipartite steering. Despite such a close link between these concepts in bipartite scenarios, little is known in the multipartite setting, where notions of genuine multipartite correlations play major roles. In this work we prove that, as in the bipartite case, incompatibility is also necessary and sufficient for genuine multipartite steering in any multipartite scenario with a single uncharacterised party. Interestingly, genuine multipartite steering can be extracted from any set of incompatible measurements using states which are not SLOCC equivalent, such as GHZ and W states. In contrast, we prove that this result does not hold in scenarios with more than one uncharacterised party, by presenting a set of incompatible measurements that can never lead to genuine multipartite steering in these cases. In order to obtain our main results, we introduce methods tailored for multipartite correlations, paving the way to understanding the role of measurement incompatibility beyond bipartite scenarios.

quant-ph↗

Trade-off relations between Bell nonlocality and local Kochen-Specker contextuality in generalized Bell scenarios

The relations between Bell nonlocality and Kochen-Specker contextuality have been subject of research from many different perspectives in the last decades. Recently, some interesting results on these relations have been explored in the so-called generalized Bell scenarios, that is, scenarios where Bell spatial separation (or agency independence) coexist with (at least one of the) parties' ability to perform compatible measurements at each round of the experiment. When this party has an $n$-cycle compatiblity setup, it was first claimed that Bell nonlocality could not be concomitantly observed with contextuality at this party's local experiment. However, by a more natural reading of the definition of locality, it turns out that both Bell nonlocality and local contextuality can, in fact, be jointly present. In spite of it, in this work we prove that there cannot be arbitrary amounts of both of these two resources together. That is, we show the existence of a trade-off relation between Bell nonlocality and local contextuality in such scenarios. We explore this trade-off both in terms of inequalities and quantifiers, and we discuss how it can be understood in terms of a `global' notion of contextuality. Furthermore, we show that such notion does not only encompass local contextuality and Bell nonlocality, but also other forms of nonclassical correlations.

quant-ph↗

The quantum maxima for the basic graphs of exclusivity are not reachable in Bell scenarios

A necessary condition for the probabilities of a set of events to exhibit Bell nonlocality or Kochen-Specker contextuality is that the graph of exclusivity of the events contains induced odd cycles with five or more vertices, called odd holes, or their complements, called odd antiholes. From this perspective, events whose graph of exclusivity are odd holes or antiholes are the building blocks of contextuality. For any odd hole or antihole, any assignment of probabilities allowed by quantum mechanics can be achieved in specific contextuality scenarios. However, here we prove that, for any odd hole, the probabilities that attain the quantum maxima cannot be achieved in Bell scenarios. We also prove it for the simplest odd antiholes. This leads us to the conjecture that the quantum maxima for any of the building blocks cannot be achieved in Bell scenarios. This result sheds light on why the problem of whether a probability assignment is quantum is decidable, while whether a probability assignment within a given Bell scenario is quantum is, in general, undecidable. This also helps to undertand why identifying principles for quantum correlations is simpler when we start by identifying principles for quantum sets of probabilities defined with no reference to specific scenarios.

quant-ph↗

An introduction to gravitational waves through electrodynamics: a quadrupole comparison

We present a pedagogical introduction to some key computations in gravitational waves via a side-by-side comparison with the quadrupole contribution of electromagnetic radiation. Subtleties involving gauge choices and projections over transverse modes in the tensorial theory are made clearer by direct analogy with the vectorial counterpart. The power emitted by the quadrupole moment in both theories is computed, and the similarities as well as the origins of eventual discrepancies are discussed. Finally, we analyze the stability of bound systems under radiation emission, and discuss how the strength of the interactions can be established this way. We use the results to impose an anthropic bound on Newton's constant of order $G\lesssim 3\times 10^4\, G_\text{obs}$, which is on par with similar constraints from stellar formation.

gr-qc↗