Format results
-
Composable simultaneous purification: The signalling nature of non-signalling correlations (work in progress, Matilde)
Matilde Baroni - LIP6, Sorbonne University and French National Center for Scientific Research (CNRS)
-
Bipartite quantum states admitting a causal explanation
Minjeong Song - National University of Singapore
-
Formal reasoning with a computer assistant: A quantitative solution to Hilbert's Tenth Problem
Marco David - University of California, Berkeley
-
Metainformation Enhancing Incompatibility Witnessing and Hybrid Computation
Teiko Heinosaari - University of Jyväskylä
-
Self testing in General Probabilistic Theories
Lionel Dmello
-
-
-
Generic uniqueness, marginal entanglement, and entanglement transitivity
Mu-En Liu - National Cheng Kung University
-
Quantum complementarity: A novel resource for exclusion
Chung-yun Hsieh
-
Why Bosons and Fermions? A Combinatorial Approach
Nicolás Medina Sánchez
-
The BV-Logic of Spacetime Interventions
James Hefford
-
-
Composable simultaneous purification: The signalling nature of non-signalling correlations (work in progress, Matilde)
Matilde Baroni - LIP6, Sorbonne University and French National Center for Scientific Research (CNRS)
Purification theorems play a crucial role in quantum information, showing that mathematical models of quantum states and operations relate to physically realisable circuits. A long standing line of research has been concerned with the problem of finding appropriate conditions for simultaneous… -
Bipartite quantum states admitting a causal explanation
Minjeong Song - National University of Singapore
Abstract: In this talk, I will present our recent results in https://arxiv.org/abs/2507.14278: The statistics of local measurements of joint quantum systems can sometimes be used to distinguish the spatiotemporal structure in which they were measured. We first prove that every bipartite separable… -
Formal reasoning with a computer assistant: A quantitative solution to Hilbert's Tenth Problem
Marco David - University of California, Berkeley
This talk explores the development of mathematical proofs with the assistance of interactive theorem provers. We exemplify this through bounding the complexity of Diophantine equations over the integers, which provides a quantitative negative solution to Hilbert’s Tenth Problem (H10). H10 asks about… -
Metainformation Enhancing Incompatibility Witnessing and Hybrid Computation
Teiko Heinosaari - University of Jyväskylä
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… -
Self testing in General Probabilistic Theories
Lionel Dmello
This talk will consist of two parts. In the former I discuss published work [LD, Ligthart, Gross, PRA, 2024], and in the latter some new related results. Part 1 -- Although there exist theories with "stronger bipartite entanglement" than quantum mechanics (QM), in sense that they have a larger CHSH… -
-
Using continuous variable systems to unearth quantum nonlocality and to perform quantum information processing
Arvind .
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… -
Generic uniqueness, marginal entanglement, and entanglement transitivity
Mu-En Liu - National Cheng Kung University
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… -
Quantum complementarity: A novel resource for exclusion
Chung-yun Hsieh
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… -
-
The BV-Logic of Spacetime Interventions
James Hefford
I will give a general method for producing a process theory of local spacetime events and higher-order transformations from any base process theory of first-order maps. This process theory models events as intervention-context pairs, uniting the local actions by agents with the structure of the… -
Uniqueness of bipartite and multipartite quantum state over time
Recent efforts to formulate a unified, causally neutral approach to quantum theory have highlighted the need for a framework treating spatial and temporal correlations on an equal footing. Building on this motivation, we propose operationally inspired axioms for quantum states over time…