Quantum Foundations

Non-local games are a powerful tool to distinguish between correlations possible in classical and quantum worlds. Kalai et al. (STOC’23) proposed a compiler that converts multipartite non-local games into interactive protocols with a single prover, relying on cryptographic tools to remove the assumption of physical separation of the players. While quantum completeness and classical soundness of the construction have been established for all multipartite games, quantum soundness is known only in the special case of bipartite games. In this paper, we prove that the Kalai et al.’s compiler indeed achieves quantum soundness for all multipartite compiled non-local games, by showing that any correlations that can be generated in the asymptotic case correspond to quantum commuting strategies. Our proof uses techniques from the theory of operator algebras, and relies on a characterisation of sequential operationally no-signalling strategies as quantum commuting operator strategies in the multipartite case, thereby generalising several previous results. On the way, we construct universal C*- algebras of sequential PVMs and prove a new chain rule for Radon-Nikodym derivatives of completely positive maps on C*-algebras which may be of independent interest.

Quantum guessing games provide a framework for analyzing how information encoded in quantum states can be optimally extracted through measurement. Beyond the standard role of side information, we introduce the concept of metainformation: knowledge that further side information of a certain type will later become available, even if it is not yet revealed. This distinction uncovers a finer structure in the interplay between timing, information, and strategy, and shows that metainformation can, in some scenarios, raise success probabilities to match those achievable with prior side information. Metainformation connects directly to two applications: the detection of quantum incompatibility and parallel hybrid computation. This talk outlines the basic framework of metainformation and reviews these applications.

Continuous variable (CV) systems play an important role in quantum foundations and quantum information processing, especially because of their quantum optical realization. Gaussian states of CV systems, on the one hand have non-trivial quantum properties, and on the other hand, can be realized in the laboratory.  There are non-Gaussian states which can be obtained from Gaussian states via physically realizable operations and these too can be useful in enhancing  non-classicality and improving the performance of quantum information processing protocols.  In the talk, I will  introduce CV systems and their Gaussian and non-Gaussian states. The violation of Bell-type inequalities using CV systems will be discussed. Quantum key distribution protocols and quantum teleportation schemes using Gaussian and non-Gaussian states will also be taken up. 

The quantum marginal problem concerns the compatibility of given reduced states. In contrast, the entanglement transitivity problem takes compatible entangled marginals as input and ask if one can infer therefrom the entanglement of some other marginals. When this is possible, the input marginals are said to exhibit entanglement transitivity. Previous studies [Npj Quantum Inf 8, 98 (2022)] have demonstrated that certain families of states show entanglement transitivity. In this talk, we will show that when specific dimension constraints are satisfied, entanglement transitivity is possible and even generic among the marginals of pure state. To this end, we use the fact that given these constraints, the marginals of generic pure states (1) uniquely determine the global state and (2) are entangled. For the latter, our results generalize that of Aubrun et al. [Comm. Pure. Appl. Math. 67, 129 (2013)], which allows us to conclude further that sufficiently large parts of a generic multipartite pure state are entangled for any bipartition.

Complementarity is a phenomenon explaining several core features of quantum theory, such as the well-known uncertainty principle. Roughly speaking, two objects are said to be complementary if being certain about one of them necessarily forbids useful knowledge about the other. Two quantum measurements that do not commute form an example of complementary measurements, and this phenomenon can also be defined for ensembles of states. Although a key quantum feature, it is unclear whether complementarity can be understood more operationally, as a necessary resource in some quantum information task. Here we show this is the case, and relates to a task which we term unambiguous exclusion. As well as giving complementarity a clear operational definition, this also uncovers the foundational underpinning of unambiguous exclusion tasks for the first time.