##### Leader of the research group: Ana Belen Sainz

Post-docs: Marcin Karczewski, David Schmid

PhD students: Paulo Cavalcanti, Vinicius Pretti Rossi, Beata Zjawin

MSc student: Robin Saunders

The broad aim of the Foundational Underpinnings of Quantum Technologies Group is to understand the quantum manifestation of nonclassical phenomena, and how harness such nonclassicality for information processing. This is tackled from a novel perspective, combining an operational vision with the process-theoretic framework.

## Activity

Specific goals of the group include:

– Formulate candidate theories that supersede quantum. In particular, explore which possible

deviations of quantum theory are still sensible.

– Study causality within and beyond quantum theory, from a process-theoretic perspective.

– Characterise the quantum manifestation of nonclassical phenomena. The main focus will be on Bell nonlocality, contextuality, steering, and correlations in causal networks.

– Develop resource theories to address quantification.

– Identify current and new forms of nonclassicality as resources for quantum technologies.

– Assess nonclassical speed-up for computation, within and beyond quantum theory.

– Contribute to the development of a systematic approach to quantum program optimisation based on the zx-calculus, by further developing the foundations of the latter.

## Publications

### 2022

- Luka Ursić, Godfrey Baldacchino, Željana Bašić, Ana Belén Sainz, Ivan Buljan, Miriam Hampel, Ivana Kružić, Mia Majić, Ana Marušić, Franck Thetiot, Ružica Tokalić, and Leandra Vranješ Markić. Factors Influencing Interdisciplinary Research and Industry-Academia Collaborations at Six European Universities: A Qualitative Study.
*Sustainability*, 14(15), 2022. doi:10.3390/su14159306

[BibTeX] [Download PDF]`@Article{su14159306, AUTHOR = {Ursić, Luka and Baldacchino, Godfrey and Bašić, Željana and Sainz, Ana Belén and Buljan, Ivan and Hampel, Miriam and Kružić, Ivana and Majić, Mia and Marušić, Ana and Thetiot, Franck and Tokalić, Ružica and Markić, Leandra Vranješ}, TITLE = {Factors Influencing Interdisciplinary Research and Industry-Academia Collaborations at Six European Universities: A Qualitative Study}, JOURNAL = {Sustainability}, VOLUME = {14}, YEAR = {2022}, NUMBER = {15}, ARTICLE-NUMBER = {9306}, URL = {https://www.mdpi.com/2071-1050/14/15/9306}, ISSN = {2071-1050}, DOI = {10.3390/su14159306} }`

- Ana Belén Sainz. Q-Turn: Changing Paradigms In Quantum Science.
*Quantum Science and Technology*, 7:044004, 2022. doi:10.1088/2058-9565/ac82c4

[BibTeX]`@article{sainz2022q, title={Q-Turn: Changing Paradigms In Quantum Science}, author={Sainz, Ana Bel{\'e}n}, journal={Quantum Science and Technology}, year={2022}, volume={7}, pages={044004}, publisher={IOP Publishing}, doi={10.1088/2058-9565/ac82c4} }`

- Marcin Karczewski, Giovanni Scala, Antonio Mandarino, Ana Belén Sainz, and Marek Żukowski. Avenues to generalising Bell inequalities.
*Journal of Physics A: Mathematical and Theoretical*, 55:384011, 2022. doi:10.1088/1751-8121/ac8a28

[BibTeX]`@article{karczewski2022avenues, title={Avenues to generalising Bell inequalities}, author={Karczewski, Marcin and Scala, Giovanni and Mandarino, Antonio and Sainz, Ana Bel{\'e}n and {\.Z}ukowski, Marek}, journal={Journal of Physics A: Mathematical and Theoretical}, year={2022}, volume={55}, pages={384011}, publisher={IOP Publishing}, doi={10.1088/1751-8121/ac8a28} }`

- Vinicius P. Rossi, Matty J. Hoban, and Ana Belén Sainz. On characterising assemblages in Einstein-Podolsky-Rosen scenarios.
*Journal of Physics A: Mathematical and Theoretical*, 55:264002, 2022. doi:10.1088/1751-8121/ac7090

[BibTeX]`@article{rossi2022characterising, title={On characterising assemblages in Einstein-Podolsky-Rosen scenarios}, author={Rossi, Vinicius P and Hoban, Matty J and Sainz, Ana Bel{\'e}n}, journal={Journal of Physics A: Mathematical and Theoretical}, year={2022}, volume={55}, pages={264002}, publisher={IOP Publishing}, doi={10.1088/1751-8121/ac7090} }`

- Paulo J. Cavalcanti, John H. Selby, Jamie Sikora, and Ana Belén Sainz. Decomposing all multipartite non-signalling channels via quasiprobabilistic mixtures of local channels in generalised probabilistic theories.
*Journal of Physics A: Mathematical and Theoretical*, 55(40):404001, sep 2022. doi:10.1088/1751-8121/ac8ea4

[BibTeX] [Abstract] [Download PDF]

Non-signalling quantum channels—relevant in, e.g., the study of Bell and Einstein–Podolsky–Rosen scenarios—may be decomposed as an affine combinations of local operations in bipartite scenarios. Moreover, when these channels correspond to stochastic maps between classical variables, such a decomposition is possible even in multipartite scenarios. These two results have proven useful when studying the properties of these channels, such as their communication and information processing power, and even when defining measures of the non-classicality of physical phenomena (such as Bell non-classicality and steering). In this paper we show that such useful quasi-stochastic characterizations of channels may be unified and applied to the broader class of multipartite non-signalling channels. Moreover, we show that this holds for non-signalling channels in quantum theory, as well as in a larger family of generalised probabilistic theories. More precisely, we prove that channels are non-signalling if and only if they can be decomposed as an affine combinations of corresponding local operations, provided that the underlying physical theory is locally tomographic—a property that quantum theory satisfies. Our results then can be viewed as a generalisation of references (Phys. Rev. Lett. 111 170403) and (2013 Phys. Rev. A 88 022318) to the multipartite scenario for arbitrary tomographically local generalised probabilistic theories (including quantum theory). Our proof technique leverages Hardy’s duotensor formalism, highlighting its utility in this line of research.

`@article{Cavalcanti_2022, doi = {10.1088/1751-8121/ac8ea4}, url = {https://doi.org/10.1088/1751-8121/ac8ea4}, year = 2022, month = sep, publisher = {{IOP} Publishing}, volume = {55}, number = {40}, pages = {404001}, author = {Paulo J Cavalcanti and John H Selby and Jamie Sikora and Ana Bel{\'{e}}n Sainz}, title = {Decomposing all multipartite non-signalling channels via quasiprobabilistic mixtures of local channels in generalised probabilistic theories}, journal = {Journal of Physics A: Mathematical and Theoretical}, abstract = {Non-signalling quantum channels—relevant in, e.g., the study of Bell and Einstein–Podolsky–Rosen scenarios—may be decomposed as an affine combinations of local operations in bipartite scenarios. Moreover, when these channels correspond to stochastic maps between classical variables, such a decomposition is possible even in multipartite scenarios. These two results have proven useful when studying the properties of these channels, such as their communication and information processing power, and even when defining measures of the non-classicality of physical phenomena (such as Bell non-classicality and steering). In this paper we show that such useful quasi-stochastic characterizations of channels may be unified and applied to the broader class of multipartite non-signalling channels. Moreover, we show that this holds for non-signalling channels in quantum theory, as well as in a larger family of generalised probabilistic theories. More precisely, we prove that channels are non-signalling if and only if they can be decomposed as an affine combinations of corresponding local operations, provided that the underlying physical theory is locally tomographic—a property that quantum theory satisfies. Our results then can be viewed as a generalisation of references (Phys. Rev. Lett. 111 170403) and (2013 Phys. Rev. A 88 022318) to the multipartite scenario for arbitrary tomographically local generalised probabilistic theories (including quantum theory). Our proof technique leverages Hardy’s duotensor formalism, highlighting its utility in this line of research.} }`

- Paulo J. Cavalcanti, John H. Selby, Jamie Sikora, Thomas D. Galley, and Ana Belén Sainz. Post-quantum steering is a stronger-than-quantum resource for information processing.
*npj Quantum Information*, 8(1):1-10, 2022. doi:10.1038/s41534-022-00574-8

[BibTeX]`@article{cavalcanti2022post, title={Post-quantum steering is a stronger-than-quantum resource for information processing}, author={Cavalcanti, Paulo J and Selby, John H and Sikora, Jamie and Galley, Thomas D and Sainz, Ana Bel{\'e}n}, journal={npj Quantum Information}, volume={8}, number={1}, pages={1--10}, year={2022}, publisher={Nature Publishing Group}, doi={10.1038/s41534-022-00574-8} }`

### 2020

- Paul Skrzypczyk, Matty J. Hoban, Ana Belén Sainz, and Noah Linden. Complexity of compatible measurements.
*Physical Review Research*, 2(2):023292, jun 2020. doi:10.1103/PhysRevResearch.2.023292

[BibTeX] [Download PDF]`@Article{skrzypczyk_complexity_2020, author = {Skrzypczyk, Paul and Hoban, Matty J. and Sainz, Ana Belén and Linden, Noah}, journal = {Physical {R}eview {R}esearch}, title = {Complexity of compatible measurements}, year = {2020}, issn = {2643-1564}, month = jun, number = {2}, pages = {023292}, volume = {2}, doi = {10.1103/PhysRevResearch.2.023292}, language = {en}, url = {https://link.aps.org/doi/10.1103/PhysRevResearch.2.023292}, urldate = {2020-06-24}, }`

- Ana Belén Sainz, Matty J. Hoban, Paul Skrzypczyk, and Leandro Aolita. Bipartite Postquantum Steering in Generalized Scenarios.
*Physical Review Letters*, 125(5):050404, jul 2020. doi:10.1103/PhysRevLett.125.050404

[BibTeX] [Download PDF]`@Article{sainz_bipartite_2020, author = {Sainz, Ana Belén and Hoban, Matty J. and Skrzypczyk, Paul and Aolita, Leandro}, journal = {Physical {R}eview {L}etters}, title = {Bipartite {Postquantum} {Steering} in {Generalized} {Scenarios}}, year = {2020}, issn = {0031-9007, 1079-7114}, month = jul, number = {5}, pages = {050404}, volume = {125}, doi = {10.1103/PhysRevLett.125.050404}, language = {en}, url = {https://link.aps.org/doi/10.1103/PhysRevLett.125.050404}, urldate = {2021-05-10}, }`

- Sandu Popescu, Ana Belén Sainz, Anthony J. Short, and Andreas Winter. Reference Frames Which Separately Store Noncommuting Conserved Quantities.
*Physical Review Letters*, 125(9):090601, aug 2020. doi:10.1103/PhysRevLett.125.090601

[BibTeX] [Download PDF]`@Article{popescu_reference_2020, author = {Popescu, Sandu and Sainz, Ana Belén and Short, Anthony J. and Winter, Andreas}, journal = {Physical {R}eview {L}etters}, title = {Reference {Frames} {Which} {Separately} {Store} {Noncommuting} {Conserved} {Quantities}}, year = {2020}, issn = {0031-9007, 1079-7114}, month = aug, number = {9}, pages = {090601}, volume = {125}, doi = {10.1103/PhysRevLett.125.090601}, language = {en}, url = {https://link.aps.org/doi/10.1103/PhysRevLett.125.090601}, urldate = {2021-05-10}, }`

- Elie Wolfe, David Schmid, Ana Belén Sainz, Ravi Kunjwal, and Robert W. Spekkens. Quantifying Bell: the Resource Theory of Nonclassicality of Common-Cause Boxes.
*Quantum*, 4:280, jun 2020. doi:10.22331/q-2020-06-08-280

[BibTeX] [Abstract] [Download PDF]

We take a resource-theoretic approach to the problem of quantifying nonclassicality in Bell scenarios. The resources are conceptualized as probabilistic processes from the setting variables to the outcome variables having a particular causal structure, namely, one wherein the wings are only connected by a common cause. We term them “common-cause boxes”. We define the distinction between classical and nonclassical resources in terms of whether or not a classical causal model can explain the correlations. One can then quantify the relative nonclassicality of resources by considering their interconvertibility relative to the set of operations that can be implemented using a classical common cause (which correspond to local operations and shared randomness). We prove that the set of free operations forms a polytope, which in turn allows us to derive an efficient algorithm for deciding whether one resource can be converted to another. We moreover define two distinct monotones with simple closed-form expressions in the two-party binary-setting binary-outcome scenario, and use these to reveal various properties of the pre-order of resources, including a lower bound on the cardinality of any complete set of monotones. In particular, we show that the information contained in the degrees of violation of facet-defining Bell inequalities is not sufficient for quantifying nonclassicality, even though it is sufficient for witnessing nonclassicality. Finally, we show that the continuous set of convexly extremal quantumly realizable correlations are all at the top of the pre-order of quantumly realizable correlations. In addition to providing new insights on Bell nonclassicality, our work also sets the stage for quantifying nonclassicality in more general causal networks.

`@article{wolfe_quantifying_2020, title = {Quantifying {Bell}: the {Resource} {Theory} of {Nonclassicality} of {Common}-{Cause} {Boxes}}, volume = {4}, issn = {2521-327X}, shorttitle = {Quantifying {Bell}}, url = {https://quantum-journal.org/papers/q-2020-06-08-280/}, doi = {10.22331/q-2020-06-08-280}, abstract = {We take a resource-theoretic approach to the problem of quantifying nonclassicality in Bell scenarios. The resources are conceptualized as probabilistic processes from the setting variables to the outcome variables having a particular causal structure, namely, one wherein the wings are only connected by a common cause. We term them "common-cause boxes". We define the distinction between classical and nonclassical resources in terms of whether or not a classical causal model can explain the correlations. One can then quantify the relative nonclassicality of resources by considering their interconvertibility relative to the set of operations that can be implemented using a classical common cause (which correspond to local operations and shared randomness). We prove that the set of free operations forms a polytope, which in turn allows us to derive an efficient algorithm for deciding whether one resource can be converted to another. We moreover define two distinct monotones with simple closed-form expressions in the two-party binary-setting binary-outcome scenario, and use these to reveal various properties of the pre-order of resources, including a lower bound on the cardinality of any complete set of monotones. In particular, we show that the information contained in the degrees of violation of facet-defining Bell inequalities is not sufficient for quantifying nonclassicality, even though it is sufficient for witnessing nonclassicality. Finally, we show that the continuous set of convexly extremal quantumly realizable correlations are all at the top of the pre-order of quantumly realizable correlations. In addition to providing new insights on Bell nonclassicality, our work also sets the stage for quantifying nonclassicality in more general causal networks.}, language = {en}, urldate = {2021-05-10}, journal = {Quantum}, author = {Wolfe, Elie and Schmid, David and Sainz, Ana Belén and Kunjwal, Ravi and Spekkens, Robert W.}, month = jun, year = {2020}, pages = {280}, }`

### 2019

- Thomas Van Himbeeck, Jonatan Bohr Brask, Stefano Pironio, Ravishankar Ramanathan, Ana Belén Sainz, and Elie Wolfe. Quantum violations in the Instrumental scenario and their relations to the Bell scenario.
*Quantum*, 3:186, sep 2019. doi:10.22331/q-2019-09-16-186

[BibTeX] [Abstract] [Download PDF]

The causal structure of any experiment implies restrictions on the observable correlations between measurement outcomes, which are different for experiments exploiting classical, quantum, or post-quantum resources. In the study of Bell nonlocality, these differences have been explored in great detail for more and more involved causal structures. Here, we go in the opposite direction and identify the simplest causal structure which exhibits a separation between classical, quantum, and post-quantum correlations. It arises in the so-called Instrumental scenario, known from classical causal models. We derive inequalities for this scenario and show that they are closely related to well-known Bell inequalities, such as the Clauser-Horne-Shimony-Holt inequality, which enables us to easily identify their classical, quantum, and post-quantum bounds as well as strategies violating the first two. The relations that we uncover imply that the quantum or post-quantum advantages witnessed by the violation of our Instrumental inequalities are not fundamentally different from those witnessed by the violations of standard inequalities in the usual Bell scenario. However, non-classical tests in the Instrumental scenario require fewer input choices than their Bell scenario counterpart, which may have potential implications for device-independent protocols.

`@Article{van_himbeeck_quantum_2019, author = {Van Himbeeck, Thomas and Bohr Brask, Jonatan and Pironio, Stefano and Ramanathan, Ravishankar and Sainz, Ana Belén and Wolfe, Elie}, journal = {Quantum}, title = {Quantum violations in the {Instrumental} scenario and their relations to the {Bell} scenario}, year = {2019}, issn = {2521-327X}, month = sep, pages = {186}, volume = {3}, abstract = {The causal structure of any experiment implies restrictions on the observable correlations between measurement outcomes, which are different for experiments exploiting classical, quantum, or post-quantum resources. In the study of Bell nonlocality, these differences have been explored in great detail for more and more involved causal structures. Here, we go in the opposite direction and identify the simplest causal structure which exhibits a separation between classical, quantum, and post-quantum correlations. It arises in the so-called Instrumental scenario, known from classical causal models. We derive inequalities for this scenario and show that they are closely related to well-known Bell inequalities, such as the Clauser-Horne-Shimony-Holt inequality, which enables us to easily identify their classical, quantum, and post-quantum bounds as well as strategies violating the first two. The relations that we uncover imply that the quantum or post-quantum advantages witnessed by the violation of our Instrumental inequalities are not fundamentally different from those witnessed by the violations of standard inequalities in the usual Bell scenario. However, non-classical tests in the Instrumental scenario require fewer input choices than their Bell scenario counterpart, which may have potential implications for device-independent protocols.}, doi = {10.22331/q-2019-09-16-186}, groups = {Belen}, language = {en}, url = {https://quantum-journal.org/papers/q-2019-09-16-186/}, urldate = {2020-04-22}, }`

## arXiv preprints

### 2022

- Ana Belén Sainz. Q-Turn: Changing Paradigms In Quantum Science.
*arXiv:2202.06867 [physics.soc-ph]*, 2022.

[BibTeX]`@article{sainz2022q_arXiv, title={Q-Turn: Changing Paradigms In Quantum Science}, author={Sainz, Ana Bel{\'e}n}, journal={arXiv:2202.06867 [physics.soc-ph]}, year={2022} }`

- Matty J. Hoban, Tom Drescher, and Ana Belén Sainz. A hierarchy of semidefinite programs for generalised Einstein-Podolsky-Rosen scenarios.
*arXiv:2208.09236 [quant-ph]*, 2022.

[BibTeX]`@article{hoban2022hierarchy, title={A hierarchy of semidefinite programs for generalised Einstein-Podolsky-Rosen scenarios}, author={Hoban, Matty J and Drescher, Tom and Sainz, Ana Bel{\'e}n}, journal={arXiv:2208.09236 [quant-ph]}, year={2022} }`

- John H. Selby, Elie Wolfe, David Schmid, and Ana Belén Sainz. An open-source linear program for testing nonclassicality. , 2022. doi:10.48550/ARXIV.2204.11905

[BibTeX] [Download PDF]`@article{Selby_linear_program_contextuality, doi = {10.48550/ARXIV.2204.11905}, url = {https://arxiv.org/abs/2204.11905}, author = {Selby, John H. and Wolfe, Elie and Schmid, David and Sainz, Ana Belén}, keywords = {Quantum Physics (quant-ph), FOS: Physical sciences, FOS: Physical sciences}, title = {An open-source linear program for testing nonclassicality}, publisher = {arXiv}, year = {2022}, copyright = {arXiv.org perpetual, non-exclusive license} }`

- Vinicius P. Rossi, Matty J. Hoban, and Ana Belen Sainz. On characterising assemblages in Einstein-Podolsky-Rosen scenarios.
*arXiv:2202.05553 [quant-ph]*, feb 2022. arXiv:2202.05553 [quant-ph]

[BibTeX] [Abstract] [Download PDF]

Characterising non-classical quantum phenomena is crucial not only from a fundamental perspective, but also to better understand its capabilities for information processing and communication tasks. In this work, we focus on exploring the characterisation of Einstein-Podolsky-Rosen inference (a.k.a. steering): a signature of non-classicality manifested when one or more parties in a Bell scenario have their systems and measurements described by quantum theory, rather than being treated as black boxes. We propose a way of characterising common-cause assemblages from the correlations that arise when the trusted party performs tomographically-complete measurements on their share of the experiment, and discuss the advantages and challenges of this approach. Within this framework, we show that so-called almost quantum assemblages satisfy the principle of macroscopic noncontextuality, and demonstrate that a subset of almost quantum correlations recover almost quantum assemblages in this approach.

`@article{rossi_2022_characterising, title = {On characterising assemblages in {Einstein-Podolsky-Rosen} scenarios}, url = {https://arxiv.org/abs/2202.05553}, urldate = {2022-03-29}, abstract = {Characterising non-classical quantum phenomena is crucial not only from a fundamental perspective, but also to better understand its capabilities for information processing and communication tasks. In this work, we focus on exploring the characterisation of Einstein-Podolsky-Rosen inference (a.k.a. steering): a signature of non-classicality manifested when one or more parties in a Bell scenario have their systems and measurements described by quantum theory, rather than being treated as black boxes. We propose a way of characterising common-cause assemblages from the correlations that arise when the trusted party performs tomographically-complete measurements on their share of the experiment, and discuss the advantages and challenges of this approach. Within this framework, we show that so-called almost quantum assemblages satisfy the principle of macroscopic noncontextuality, and demonstrate that a subset of almost quantum correlations recover almost quantum assemblages in this approach.}, journal = {arXiv:2202.05553 [quant-ph]}, author = {Rossi, Vinicius P. and Hoban, Matty J. and Sainz, Ana Belen}, month = feb, year = {2022}, note = {arXiv:2202.05553 [quant-ph]}, keywords = {Quantum Physics} }`

- Beata Zjawin, David Schmid, Matty J. Hoban, and Ana Belén Sainz. The resource theory of nonclassicality of channel assemblages.
*arXiv e-prints*, pages arXiv:2209.10177, sep 2022.

[BibTeX] [Abstract] [Download PDF]

When two parties, Alice and Bob, share correlated quantum systems and Alice performs local measurements, Alice’s updated description of Bob’s state can provide evidence of nonclassical correlations. This simple scenario, famously studied by Einstein, Podolsky and Rosen (EPR), can be modified by allowing Bob to also have a classical or quantum system as an input. In this case, Alice updates her knowledge of the channel (rather than the state) in Bob’s lab. In this paper, we provide a unified framework for studying the nonclassicality of various such generalizations of the EPR scenario. We do so using a resource theory wherein the free operations are local operations and shared randomness (LOSR). We derive a semidefinite program for studying the pre-order of EPR resources, and discover possible conversions between the latter. Moreover, we study conversions between post-quantum resources both analytically and numerically.

`@Article{Zjawin2022, author = {Zjawin, Beata and Schmid, David and Hoban, Matty J. and Sainz, Ana Belén}, journal = {arXiv e-prints}, title = {The resource theory of nonclassicality of channel assemblages}, year = {2022}, month = sep, pages = {arXiv:2209.10177}, abstract = {When two parties, Alice and Bob, share correlated quantum systems and Alice performs local measurements, Alice's updated description of Bob's state can provide evidence of nonclassical correlations. This simple scenario, famously studied by Einstein, Podolsky and Rosen (EPR), can be modified by allowing Bob to also have a classical or quantum system as an input. In this case, Alice updates her knowledge of the channel (rather than the state) in Bob's lab. In this paper, we provide a unified framework for studying the nonclassicality of various such generalizations of the EPR scenario. We do so using a resource theory wherein the free operations are local operations and shared randomness (LOSR). We derive a semidefinite program for studying the pre-order of EPR resources, and discover possible conversions between the latter. Moreover, we study conversions between post-quantum resources both analytically and numerically. }, archiveprefix = {arXiv}, eid = {arXiv:2209.10177}, eprint = {2209.10177}, keywords = {Quantum Physics}, primaryclass = {quant-ph}, url = {https://arxiv.org/abs/2209.10177}, }`

### 2021

- John H. Selby, David Schmid, Elie Wolfe, Ana Belén Sainz, Ravi Kunjwal, and Robert W. Spekkens. Contextuality without incompatibility. , 2021. doi:10.48550/ARXIV.2106.09045

[BibTeX] [Download PDF]`@article{Contextuality_without_incompatibility, doi = {10.48550/ARXIV.2106.09045}, url = {https://arxiv.org/abs/2106.09045}, author = {Selby, John H. and Schmid, David and Wolfe, Elie and Sainz, Ana Belén and Kunjwal, Ravi and Spekkens, Robert W.}, keywords = {Quantum Physics (quant-ph), FOS: Physical sciences, FOS: Physical sciences}, title = {Contextuality without incompatibility}, publisher = {arXiv}, year = {2021}, copyright = {arXiv.org perpetual, non-exclusive license} }`

- John H. Selby, David Schmid, Elie Wolfe, Ana Belén Sainz, Ravi Kunjwal, and Robert W. Spekkens. Accessible fragments of generalized probabilistic theories, cone equivalence, and applications to witnessing nonclassicality.
*arXiv:2112.04521 [quant-ph]*, dec 2021. arXiv: 2112.04521

[BibTeX] [Abstract] [Download PDF]

The formalism of generalized probabilistic theories (GPTs) was originally developed as a way to characterize the landscape of conceivable physical theories. Thus, the GPT describing a given physical theory necessarily includes all physically possible processes. We here consider the question of how to provide a GPT-like characterization of a particular experimental setup within a given physical theory. We show that the resulting characterization is not generally a GPT in and of itself-rather, it is described by a more general mathematical object that we introduce and term an accessible GPT fragment. We then introduce an equivalence relation, termed cone equivalence, between accessible GPT fragments (and, as a special case, between standard GPTs). We give a number of examples of experimental scenarios that are best described using accessible GPT fragments, and where moreover cone-equivalence arises naturally. We then prove that an accessible GPT fragment admits of a classical explanation if and only if every other fragment that is cone-equivalent to it also admits of a classical explanation. Finally, we leverage this result to prove several fundamental results regarding the experimental requirements for witnessing the failure of generalized noncontextuality. In particular, we prove that neither incompatibility among measurements nor the assumption of freedom of choice is necessary for witnessing failures of generalized noncontextuality, and, moreover, that such failures can be witnessed even using arbitrarily inefficient detectors.

`@article{selby_accessible_2021, title = {Accessible fragments of generalized probabilistic theories, cone equivalence, and applications to witnessing nonclassicality}, url = {https://arxiv.org/abs/2112.04521}, abstract = {The formalism of generalized probabilistic theories (GPTs) was originally developed as a way to characterize the landscape of conceivable physical theories. Thus, the GPT describing a given physical theory necessarily includes all physically possible processes. We here consider the question of how to provide a GPT-like characterization of a particular experimental setup within a given physical theory. We show that the resulting characterization is not generally a GPT in and of itself-rather, it is described by a more general mathematical object that we introduce and term an accessible GPT fragment. We then introduce an equivalence relation, termed cone equivalence, between accessible GPT fragments (and, as a special case, between standard GPTs). We give a number of examples of experimental scenarios that are best described using accessible GPT fragments, and where moreover cone-equivalence arises naturally. We then prove that an accessible GPT fragment admits of a classical explanation if and only if every other fragment that is cone-equivalent to it also admits of a classical explanation. Finally, we leverage this result to prove several fundamental results regarding the experimental requirements for witnessing the failure of generalized noncontextuality. In particular, we prove that neither incompatibility among measurements nor the assumption of freedom of choice is necessary for witnessing failures of generalized noncontextuality, and, moreover, that such failures can be witnessed even using arbitrarily inefficient detectors.}, urldate = {2021-12-10}, journal = {arXiv:2112.04521 [quant-ph]}, author = {Selby, John H. and Schmid, David and Wolfe, Elie and Sainz, Ana Belén and Kunjwal, Ravi and Spekkens, Robert W.}, month = dec, year = {2021}, note = {arXiv: 2112.04521}, keywords = {Quantum Physics}, }`

- John H. Selby, Ana Belén Sainz, and Paweł Horodecki. Revisiting dynamics of quantum causal structures — when can causal order evolve?.
*arXiv:2008.12757 [quant-ph]*, mar 2021. arXiv: 2008.12757

[BibTeX] [Abstract] [Download PDF]

Recently, there has been substantial interest in studying the dynamics of quantum theory beyond that of states, in particular, the dynamics of channels, measurements, and higher-order transformations. Ref. [Phys. Rev. X 8(1), 011047 (2018)] pursues this using the process matrix formalism, together with a definition of the possible dynamics of such process matrices, and focusing especially on the question of evolution of causal structures. One of its major conclusions is a strong theorem saying that, within the formalism, under continuous and reversible transformations, the causal order between operations must be preserved. Here we find a surprising result: if one is to take into account a full picture of the physical evolution of operations within the standard quantum-mechanical formalism, then one can actually draw the opposite conclusion. That is, we show that under certain continuous and reversible dynamics the causal order between operations is not necessarily preserved. We moreover identify and analyse the root of this apparent contradiction, specifically, that the commonly accepted and widely applied framework of higher-order processes, whilst mathematically sound, is not always appropriate for drawing conclusions on the fundamentals of physical dynamics. Finally we show how to reconcile the elements of the whole picture following the intuition based on entanglement processing by local operations and classical communication.

`@Article{selby_revisiting_2021, author = {Selby, John H. and Sainz, Ana Belén and Horodecki, Paweł}, journal = {arXiv:2008.12757 [quant-ph]}, title = {Revisiting dynamics of quantum causal structures -- when can causal order evolve?}, year = {2021}, month = mar, note = {arXiv: 2008.12757}, abstract = {Recently, there has been substantial interest in studying the dynamics of quantum theory beyond that of states, in particular, the dynamics of channels, measurements, and higher-order transformations. Ref. [Phys. Rev. X 8(1), 011047 (2018)] pursues this using the process matrix formalism, together with a definition of the possible dynamics of such process matrices, and focusing especially on the question of evolution of causal structures. One of its major conclusions is a strong theorem saying that, within the formalism, under continuous and reversible transformations, the causal order between operations must be preserved. Here we find a surprising result: if one is to take into account a full picture of the physical evolution of operations within the standard quantum-mechanical formalism, then one can actually draw the opposite conclusion. That is, we show that under certain continuous and reversible dynamics the causal order between operations is not necessarily preserved. We moreover identify and analyse the root of this apparent contradiction, specifically, that the commonly accepted and widely applied framework of higher-order processes, whilst mathematically sound, is not always appropriate for drawing conclusions on the fundamentals of physical dynamics. Finally we show how to reconcile the elements of the whole picture following the intuition based on entanglement processing by local operations and classical communication.}, groups = {Pawel_H}, keywords = {Quantum Physics}, url = {http://arxiv.org/abs/2008.12757}, urldate = {2021-07-28}, }`

- David Schmid, Thomas C. Fraser, Ravi Kunjwal, Ana Belen Sainz, Elie Wolfe, and Robert W. Spekkens. Understanding the interplay of entanglement and nonlocality: motivating and developing a new branch of entanglement theory.
*arXiv:2004.09194 [quant-ph]*, may 2021. arXiv: 2004.09194

[BibTeX] [Abstract] [Download PDF]

A standard approach to quantifying resources is to determine which operations on the resources are freely available, and to deduce the partial order over resources that is induced by the relation of convertibility under the free operations. If the resource of interest is the nonclassicality of the correlations embodied in a quantum state, i.e., entanglement, then the common assumption is that the appropriate choice of free operations is Local Operations and Classical Communication (LOCC). We here advocate for the study of a different choice of free operations, namely, Local Operations and Shared Randomness (LOSR), and demonstrate its utility in understanding the interplay between the entanglement of states and the nonlocality of the correlations in Bell experiments. Specifically, we show that the LOSR paradigm (i) provides a resolution of the anomalies of nonlocality, wherein partially entangled states exhibit more nonlocality than maximally entangled states, (ii) entails new notions of genuine multipartite entanglement and nonlocality that are free of the pathological features of the conventional notions, and (iii) makes possible a resource-theoretic account of the self-testing of entangled states which generalizes and simplifies prior results. Along the way, we derive some fundamental results concerning the necessary and sufficient conditions for convertibility between pure entangled states under LOSR and highlight some of their consequences, such as the impossibility of catalysis for bipartite pure states. The resource-theoretic perspective also clarifies why it is neither surprising nor problematic that there are mixed entangled states which do not violate any Bell inequality. Our results motivate the study of LOSR-entanglement as a new branch of entanglement theory.

`@article{schmid_understanding_2021, title = {Understanding the interplay of entanglement and nonlocality: motivating and developing a new branch of entanglement theory}, shorttitle = {Understanding the interplay of entanglement and nonlocality}, url = {http://arxiv.org/abs/2004.09194}, abstract = {A standard approach to quantifying resources is to determine which operations on the resources are freely available, and to deduce the partial order over resources that is induced by the relation of convertibility under the free operations. If the resource of interest is the nonclassicality of the correlations embodied in a quantum state, i.e., entanglement, then the common assumption is that the appropriate choice of free operations is Local Operations and Classical Communication (LOCC). We here advocate for the study of a different choice of free operations, namely, Local Operations and Shared Randomness (LOSR), and demonstrate its utility in understanding the interplay between the entanglement of states and the nonlocality of the correlations in Bell experiments. Specifically, we show that the LOSR paradigm (i) provides a resolution of the anomalies of nonlocality, wherein partially entangled states exhibit more nonlocality than maximally entangled states, (ii) entails new notions of genuine multipartite entanglement and nonlocality that are free of the pathological features of the conventional notions, and (iii) makes possible a resource-theoretic account of the self-testing of entangled states which generalizes and simplifies prior results. Along the way, we derive some fundamental results concerning the necessary and sufficient conditions for convertibility between pure entangled states under LOSR and highlight some of their consequences, such as the impossibility of catalysis for bipartite pure states. The resource-theoretic perspective also clarifies why it is neither surprising nor problematic that there are mixed entangled states which do not violate any Bell inequality. Our results motivate the study of LOSR-entanglement as a new branch of entanglement theory.}, urldate = {2021-07-28}, journal = {arXiv:2004.09194 [quant-ph]}, author = {Schmid, David and Fraser, Thomas C. and Kunjwal, Ravi and Sainz, Ana Belen and Wolfe, Elie and Spekkens, Robert W.}, month = may, year = {2021}, note = {arXiv: 2004.09194}, keywords = {Quantum Physics}, }`

- Beata Zjawin, David Schmid, Matty J. Hoban, and Ana Belén Sainz. Quantifying EPR: the resource theory of nonclassicality of common-cause assemblages.
*arXiv e-prints*, pages arXiv:2111.10244, nov 2021.

[BibTeX] [Abstract] [Download PDF]

Einstein-Podolsky-Rosen (EPR) steering is often (implicitly or explicitly) taken to be evidence for spooky action-at-a-distance. An alternative perspective on steering – endorsed by EPR themselves – is that Alice has no causal influence on the physical state of Bob’s system; rather, Alice merely updates her knowledge of the state of Bob’s system by performing a measurement on a system correlated with his. In this work, we elaborate on this perspective (from which the very term `steering’ is seen to be inappropriate), and we are led to a resource-theoretic treatment of correlations in EPR scenarios. For both bipartite and multipartite scenarios, we develop the resulting resource theory, wherein the free operations are local operations and shared randomness (LOSR). We show that resource conversion under free operations in this paradigm can be evaluated with a single instance of a semidefinite program, making the problem numerically tractable. Moreover, we find that the structure of the pre-order of resources features interesting properties, such as infinite families of incomparable resources. In showing this, we derive new EPR resource monotones. We also discuss advantages of our approach over a pre-existing proposal for a resource theory of `steering’, and discuss how our approach sheds light on basic questions, such as which multipartite assemblages are classically explainable.

`@Article{Zjawin2021, author = {Zjawin, Beata and Schmid, David and Hoban, Matty J. and Sainz, Ana Belén}, journal = {arXiv e-prints}, title = {Quantifying {EPR}: the resource theory of nonclassicality of common-cause assemblages}, year = {2021}, month = nov, pages = {arXiv:2111.10244}, abstract = {Einstein-Podolsky-Rosen (EPR) steering is often (implicitly or explicitly) taken to be evidence for spooky action-at-a-distance. An alternative perspective on steering - endorsed by EPR themselves - is that Alice has no causal influence on the physical state of Bob's system; rather, Alice merely updates her knowledge of the state of Bob's system by performing a measurement on a system correlated with his. In this work, we elaborate on this perspective (from which the very term `steering' is seen to be inappropriate), and we are led to a resource-theoretic treatment of correlations in EPR scenarios. For both bipartite and multipartite scenarios, we develop the resulting resource theory, wherein the free operations are local operations and shared randomness (LOSR). We show that resource conversion under free operations in this paradigm can be evaluated with a single instance of a semidefinite program, making the problem numerically tractable. Moreover, we find that the structure of the pre-order of resources features interesting properties, such as infinite families of incomparable resources. In showing this, we derive new EPR resource monotones. We also discuss advantages of our approach over a pre-existing proposal for a resource theory of `steering', and discuss how our approach sheds light on basic questions, such as which multipartite assemblages are classically explainable.}, archiveprefix = {arXiv}, eid = {arXiv:2111.10244}, eprint = {2111.10244}, keywords = {Quantum Physics}, primaryclass = {quant-ph}, url = {https://ui.adsabs.harvard.edu/abs/2021arXiv211110244Z}, }`

### 2020

- Łukasz Czekaj, Ana Belén Sainz, John Selby, and Michał Horodecki. Correlations constrained by composite measurements.
*arXiv:2009.04994 [quant-ph]*, sep 2020. arXiv: 2009.04994

[BibTeX] [Abstract] [Download PDF]

How to understand the set of correlations admissible in nature is one outstanding open problem in the core of the foundations of quantum theory. Here we take a complementary viewpoint to the device-independent approach, and explore the correlations that physical theories may feature when restricted by some particular constraints on their measurements. We show that demanding that a theory exhibits a composite measurement imposes a hierarchy of constraints on the structure of its sets of states and effects, which translate to a hierarchy of constraints on the allowed correlations themselves. We moreover focus on the particular case where one demands the existence of an entangled measurement that reads out the parity of local fiducial measurements. By formulating a non-linear Optimisation Problem, and semidefinite relaxations of it, we explore the consequences of the existence of such a parity reading measurement for violations of Bell inequalities. In particular, we show that in certain situations this assumption has surprisingly strong consequences, namely, that Tsirelson’s bound can be recovered.

`@Article{czekaj_correlations_2020, author = {Czekaj, Łukasz and Sainz, Ana Belén and Selby, John and Horodecki, Michał}, journal = {arXiv:2009.04994 [quant-ph]}, title = {Correlations constrained by composite measurements}, year = {2020}, month = sep, note = {arXiv: 2009.04994}, abstract = {How to understand the set of correlations admissible in nature is one outstanding open problem in the core of the foundations of quantum theory. Here we take a complementary viewpoint to the device-independent approach, and explore the correlations that physical theories may feature when restricted by some particular constraints on their measurements. We show that demanding that a theory exhibits a composite measurement imposes a hierarchy of constraints on the structure of its sets of states and effects, which translate to a hierarchy of constraints on the allowed correlations themselves. We moreover focus on the particular case where one demands the existence of an entangled measurement that reads out the parity of local fiducial measurements. By formulating a non-linear Optimisation Problem, and semidefinite relaxations of it, we explore the consequences of the existence of such a parity reading measurement for violations of Bell inequalities. In particular, we show that in certain situations this assumption has surprisingly strong consequences, namely, that Tsirelson's bound can be recovered.}, groups = {Michal_H}, keywords = {Quantum Physics}, url = {http://arxiv.org/abs/2009.04994}, urldate = {2021-07-28}, }`

### 2019

- Paul Skrzypczyk, Matty J. Hoban, Ana Belén Sainz, and Noah Linden. Complexity of compatible measurements.
*arXiv:1908.10085 [quant-ph]*, 2019.

[BibTeX]`@article{skrzypczyk2020complexity, title={Complexity of compatible measurements}, author={Skrzypczyk, Paul and Hoban, Matty J and Sainz, Ana Bel{\'e}n and Linden, Noah}, journal={arXiv:1908.10085 [quant-ph]}, year={2019} }`

- Sandu Popescu, Ana Belén Sainz, Anthony J. Short, and Andreas Winter. Reference frames which separately store non-commuting conserved quantities.
*arXiv:1908.02713 [quant-ph]*, 2019.

[BibTeX]`@article{popescu2019reference, title={Reference frames which separately store non-commuting conserved quantities}, author={Popescu, Sandu and Sainz, Ana Bel{\'e}n and Short, Anthony J and Winter, Andreas}, journal={arXiv:1908.02713 [quant-ph]}, year={2019} }`

- Ana Belén Sainz, Matty J. Hoban, Paul Skrzypczyk, and Leandro Aolita. Bipartite post-quantum steering in generalised scenarios.
*arXiv:1907.03705 [quant-ph]*, 2019.

[BibTeX]`@article{sainz2019bipartite, title={Bipartite post-quantum steering in generalised scenarios}, author={Sainz, Ana Bel{\'e}n and Hoban, Matty J and Skrzypczyk, Paul and Aolita, Leandro}, journal={arXiv:1907.03705 [quant-ph]}, year={2019} }`

- Elie Wolfe, David Schmid, Ana Belén Sainz, Ravi Kunjwal, and Robert W. Spekkens. Quantifying Bell: the Resource Theory of Nonclassicality of Common-Cause Boxes.
*arXiv:1903.06311 [quant-ph]*, 2019.

[BibTeX]`@article{wolfe2019quantifying, title={Quantifying Bell: the Resource Theory of Nonclassicality of Common-Cause Boxes}, author={Wolfe, Elie and Schmid, David and Sainz, Ana Bel{\'e}n and Kunjwal, Ravi and Spekkens, Robert W}, journal={arXiv:1903.06311 [quant-ph]}, year={2019} }`

### 2018

- Thomas Van Himbeeck, Jonatan Bohr Brask, Stefano Pironio, Ravishankar Ramanathan, Ana Belén Sainz, and Elie Wolfe. Quantum violations in the Instrumental scenario and their relations to the Bell scenario.
*arXiv:1804.04119 [quant-ph]*, 2018.

[BibTeX]`@article{van2018quantum, title={Quantum violations in the Instrumental scenario and their relations to the Bell scenario}, author={Van Himbeeck, Thomas and Brask, Jonatan Bohr and Pironio, Stefano and Ramanathan, Ravishankar and Sainz, Ana Bel{\'e}n and Wolfe, Elie}, journal={arXiv:1804.04119 [quant-ph]}, year={2018} }`

## Group members

###### Get to know the people behind ICTQT.

## Former members

#### Victoria J Wright

__Keywords:__ quantum nonlocality, quantum contextuality, steering, causality, Bell’s theorem, process theories, generalised probabilistic theories, quantum computational speedup, quantum networks, resource theories, post-quantum theories, post-quantum nonclassicality, zx-calculus.