-
Thought experiments in a quantum computer
Authors:
Nuriya Nurgalieva,
Simon Mathis,
Lídia del Rio,
Renato Renner
Abstract:
We introduce a software package that allows users to design and run simulations of thought experiments in quantum theory. In particular, it covers cases where several reasoning agents are modelled as quantum systems, such as Wigner's friend experiment. Users can customize the protocol of the experiment, the inner workings of agents (including a quantum circuit that models their reasoning process),…
▽ More
We introduce a software package that allows users to design and run simulations of thought experiments in quantum theory. In particular, it covers cases where several reasoning agents are modelled as quantum systems, such as Wigner's friend experiment. Users can customize the protocol of the experiment, the inner workings of agents (including a quantum circuit that models their reasoning process), the abstract logical system used (which may or not allow agents to combine premises and make inferences about each other's reasoning), and the interpretation of quantum theory used by different agents. Our open-source software is written in a quantum programming language, ProjectQ, and runs on classical or quantum hardware. As an example, we model the Frauchiger-Renner extended Wigner's friend thought experiment, where agents are allowed to measure each other's physical memories, and make inferences about each other's reasoning.
△ Less
Submitted 13 September, 2022;
originally announced September 2022.
-
Toys can't play: physical agents in Spekkens' theory
Authors:
Ladina Hausmann,
Nuriya Nurgalieva,
Lídia del Rio
Abstract:
Information is physical, and for a physical theory to be universal, it should model observers as physical systems, with concrete memories where they store the information acquired through experiments and reasoning. Here we address these issues in Spekkens' toy theory, a non-contextual epistemically restricted model that partially mimics the behaviour of quantum mechanics. We propose a way to model…
▽ More
Information is physical, and for a physical theory to be universal, it should model observers as physical systems, with concrete memories where they store the information acquired through experiments and reasoning. Here we address these issues in Spekkens' toy theory, a non-contextual epistemically restricted model that partially mimics the behaviour of quantum mechanics. We propose a way to model physical implementations of agents, memories, measurements, conditional actions and information processing. We find that the actions of toy agents are severely limited: although there are non-orthogonal states in the theory, there is no way for physical agents to consciously prepare them. Their memories are also constrained: agents cannot forget in which of two arbitrary states a system is. Finally, we formalize the process of making inferences about other agents' experiments and model multi-agent experiments like Wigner's friend. Unlike quantum theory or box world, in the toy theory there are no inconsistencies when physical agents reason about each other's knowledge.
△ Less
Submitted 14 February, 2023; v1 submitted 15 July, 2022;
originally announced July 2022.
-
Thermodynamic optimization of quantum algorithms: On-the-go erasure of qubit registers
Authors:
Florian Meier,
Lídia del Rio
Abstract:
We consider two bottlenecks in quantum computing: limited memory size and noise caused by heat dissipation. Trying to optimize both, we investigate "on-the-go erasure" of quantum registers that are no longer needed for a given algorithm: freeing up auxiliary qubits as they stop being useful would facilitate the parallelization of computations. We study the minimal thermodynamic cost of erasure in…
▽ More
We consider two bottlenecks in quantum computing: limited memory size and noise caused by heat dissipation. Trying to optimize both, we investigate "on-the-go erasure" of quantum registers that are no longer needed for a given algorithm: freeing up auxiliary qubits as they stop being useful would facilitate the parallelization of computations. We study the minimal thermodynamic cost of erasure in these scenarios, applying results on the Landauer erasure of entangled quantum registers. For the class of algorithms solving the Abelian hidden subgroup problem, we find optimal on-the-go erasure protocols. We conclude that there is a trade-off: if we have enough partial information about a problem to build efficient on-the-go erasure, we can use it to instead simplify the algorithm, so that fewer qubits are needed to run the computation in the first place. We provide explicit protocols for these two approaches.
△ Less
Submitted 21 December, 2022; v1 submitted 8 December, 2021;
originally announced December 2021.
-
Impossibility of composable Oblivious Transfer in relativistic quantum cryptography
Authors:
Lorenzo Laneve,
Lidia del Rio
Abstract:
We study the cryptographic primitive Oblivious Transfer; a composable construction of this resource would allow arbitrary multi-party computation to be carried out in a secure way, i.e. to compute functions in a distributed way while keeping inputs from different parties private. First we review a framework that allows us to analyze composability of classical and quantum cryptographic protocols in…
▽ More
We study the cryptographic primitive Oblivious Transfer; a composable construction of this resource would allow arbitrary multi-party computation to be carried out in a secure way, i.e. to compute functions in a distributed way while keeping inputs from different parties private. First we review a framework that allows us to analyze composability of classical and quantum cryptographic protocols in special relativity: Abstract Cryptography implemented with Causal Boxes. We then (1) explore and formalize different versions of oblivious transfer found in the literature, (2) prove that their equivalence holds also in relativistic quantum settings, (3) show that it is impossible to composably construct any of these versions of oblivious transfer from only classical or quantum communication among distrusting agents in relativistic settings, (4) prove that the impossibility also extends to multi-party computation, and (5) provide a mutual construction between oblivious transfer and bit commitment.
△ Less
Submitted 21 June, 2021;
originally announced June 2021.
-
A consolidating review of Spekkens' toy theory
Authors:
Ladina Hausmann,
Nuriya Nurgalieva,
Lídia del Rio
Abstract:
In order to better understand a complex theory like quantum mechanics, it is sometimes useful to take a step back and create alternative theories, with more intuitive foundations, and examine which features of quantum mechanics can be reproduced by such a foil theory. A prominent example is Spekkens' toy theory, which is based off a simple premise: "What if we took a common classical theory and ad…
▽ More
In order to better understand a complex theory like quantum mechanics, it is sometimes useful to take a step back and create alternative theories, with more intuitive foundations, and examine which features of quantum mechanics can be reproduced by such a foil theory. A prominent example is Spekkens' toy theory, which is based off a simple premise: "What if we took a common classical theory and added the uncertainty principle as a postulate?" In other words, the theory imposes an epistemic restriction on our knowledge about a physical system: only half of the variables can ever be known to an observer. Like good science fiction, from this simple principle a rich behaviour emerges, most notoriously when we compose several systems. The toy theory emulates some aspects of quantum non-locality, although crucially it is still a non-contextual model. In this pedagogical review we consolidate different approaches to Spekkens' toy theory, including the stabilizer formalism and the generalization to arbitrary dimensions, completing them with new results where necessary. In particular, we introduce a general characterization of measurements, superpositions and entanglement in the toy theory.
△ Less
Submitted 7 May, 2021;
originally announced May 2021.
-
Quantum epistemology and constructivism
Authors:
Patrick Fraser,
Nuriya Nurgalieva,
Lídia del Rio
Abstract:
Constructivist epistemology posits that all truths are knowable. One might ask to what extent constructivism is compatible with naturalized epistemology and knowledge obtained from inference-making using successful scientific theories. If quantum theory correctly describes the structure of the physical world, and if quantum theoretic inferences about which measurement outcomes will be observed wit…
▽ More
Constructivist epistemology posits that all truths are knowable. One might ask to what extent constructivism is compatible with naturalized epistemology and knowledge obtained from inference-making using successful scientific theories. If quantum theory correctly describes the structure of the physical world, and if quantum theoretic inferences about which measurement outcomes will be observed with unit probability count as knowledge, we demonstrate that constructivism cannot be upheld. Our derivation is compatible with both intuitionistic and quantum propositional logic. This result is implied by the Frauchiger-Renner theorem, though it is of independent importance as well.
△ Less
Submitted 29 July, 2023; v1 submitted 1 September, 2020;
originally announced September 2020.
-
Contextuality without access to a tomographically complete set
Authors:
Matthew F. Pusey,
Lídia del Rio,
Bettina Meyer
Abstract:
The non-classicality of single quantum systems can be formalised using the notion of contextuality. But can contextuality be convincingly demonstrated in an experiment, without reference to the quantum formalism? The operational approach to contextuality due to Spekkens requires finding operationally equivalent preparation procedures. Previously these have been obtained by demanding indistinguisha…
▽ More
The non-classicality of single quantum systems can be formalised using the notion of contextuality. But can contextuality be convincingly demonstrated in an experiment, without reference to the quantum formalism? The operational approach to contextuality due to Spekkens requires finding operationally equivalent preparation procedures. Previously these have been obtained by demanding indistinguishability under a set of measurements taken to be tomographically complete. In the language of generalised probability theories, this requires the ability to explore all the dimensions of the system's state space. However, if the true tomographically complete set is larger than the set assumed, the extra measurements could break the operational equivalences and hence eliminate the putative contextuality. Such extra dimensions could arise in post-quantum theories, but even if quantum theory is exact there can be unexpected degrees of freedoms due to imperfections in an experiment. Here we design tests of contextuality that are immune to this effect for a given number of extra measurements in the tomographically complete set, even if nothing is known about their statistics. This allows contextuality to be demonstrated with weaker assumptions.
△ Less
Submitted 18 April, 2019;
originally announced April 2019.
-
Multi-agent paradoxes beyond quantum theory
Authors:
V. Vilasini,
Nuriya Nurgalieva,
Lidia del Rio
Abstract:
Which theories lead to a contradiction between simple reasoning principles and modelling observers' memories as physical systems? Frauchiger and Renner have shown that this is the case for quantum theory, with a thought experiment that leads to a multi-agent paradox. Here we generalize the conditions of the Frauchiger-Renner result so that they can be applied to arbitrary physical theories, and in…
▽ More
Which theories lead to a contradiction between simple reasoning principles and modelling observers' memories as physical systems? Frauchiger and Renner have shown that this is the case for quantum theory, with a thought experiment that leads to a multi-agent paradox. Here we generalize the conditions of the Frauchiger-Renner result so that they can be applied to arbitrary physical theories, and in particular to those expressed as generalized probabilistic theories (GPTs). We then apply them to a particular GPT, box world, and find a deterministic contradiction in the case where agents may share a PR box, which is stronger than the quantum paradox, in that it does not rely on post-selection. Obtaining an inconsistency for the framework of GPTs broadens the landscape of theories which are affected by the application of classical rules of reasoning to physical agents. In addition, we model how observers' memories may evolve in box world, in a way consistent with Barrett's criteria for allowed operations.
△ Less
Submitted 12 April, 2019;
originally announced April 2019.
-
Discovering physical concepts with neural networks
Authors:
Raban Iten,
Tony Metger,
Henrik Wilming,
Lidia del Rio,
Renato Renner
Abstract:
Despite the success of neural networks at solving concrete physics problems, their use as a general-purpose tool for scientific discovery is still in its infancy. Here, we approach this problem by modelling a neural network architecture after the human physical reasoning process, which has similarities to representation learning. This allows us to make progress towards the long-term goal of machin…
▽ More
Despite the success of neural networks at solving concrete physics problems, their use as a general-purpose tool for scientific discovery is still in its infancy. Here, we approach this problem by modelling a neural network architecture after the human physical reasoning process, which has similarities to representation learning. This allows us to make progress towards the long-term goal of machine-assisted scientific discovery from experimental data without making prior assumptions about the system. We apply this method to toy examples and show that the network finds the physically relevant parameters, exploits conservation laws to make predictions, and can help to gain conceptual insights, e.g. Copernicus' conclusion that the solar system is heliocentric.
△ Less
Submitted 23 January, 2020; v1 submitted 26 July, 2018;
originally announced July 2018.
-
The first law of general quantum resource theories
Authors:
Carlo Sparaciari,
Lidia del Rio,
Carlo Maria Scandolo,
Philippe Faist,
Jonathan Oppenheim
Abstract:
We extend the tools of quantum resource theories to scenarios in which multiple quantities (or resources) are present, and their interplay governs the evolution of physical systems. We derive conditions for the interconversion of these resources, which generalise the first law of thermodynamics. We study reversibility conditions for multi-resource theories, and find that the relative entropy dista…
▽ More
We extend the tools of quantum resource theories to scenarios in which multiple quantities (or resources) are present, and their interplay governs the evolution of physical systems. We derive conditions for the interconversion of these resources, which generalise the first law of thermodynamics. We study reversibility conditions for multi-resource theories, and find that the relative entropy distances from the invariant sets of the theory play a fundamental role in the quantification of the resources. The first law for general multi-resource theories is a single relation which links the change in the properties of the system during a state transformation and the weighted sum of the resources exchanged. In fact, this law can be seen as relating the change in the relative entropy from different sets of states. In contrast to typical single-resource theories, the notion of free states and invariant sets of states become distinct in light of multiple constraints. Additionally, generalisations of the Helmholtz free energy, and of adiabatic and isothermal transformations, emerge. We thus have a set of laws for general quantum resource theories, which generalise the laws of thermodynamics. We first test this approach on thermodynamics with multiple conservation laws, and then apply it to the theory of local operations under energetic restrictions.
△ Less
Submitted 20 April, 2020; v1 submitted 13 June, 2018;
originally announced June 2018.
-
Inadequacy of Modal Logic in Quantum Settings
Authors:
Nuriya Nurgalieva,
Lídia del Rio
Abstract:
We test the principles of classical modal logic in fully quantum settings. Modal logic models our reasoning in multi-agent problems, and allows us to solve puzzles like the muddy children paradox. The Frauchiger-Renner thought experiment highlighted fundamental problems in applying classical reasoning when quantum agents are involved; we take it as a guiding example to test the axioms of classic…
▽ More
We test the principles of classical modal logic in fully quantum settings. Modal logic models our reasoning in multi-agent problems, and allows us to solve puzzles like the muddy children paradox. The Frauchiger-Renner thought experiment highlighted fundamental problems in applying classical reasoning when quantum agents are involved; we take it as a guiding example to test the axioms of classical modal logic. In doing so, we find a problem in the original formulation of the Frauchiger-Renner theorem: a missing assumption about unitarity of evolution is necessary to derive a contradiction and prove the theorem. Adding this assumption clarifies how different interpretations of quantum theory fit in, i.e., which properties they violate. Finally, we show how most of the axioms of classical modal logic break down in quantum settings, and attempt to generalize them. Namely, we introduce constructions of trust and context, which highlight the importance of an exact structure of trust relations between agents. We propose a challenge to the community: to find conditions for the validity of trust relations, strong enough to exorcise the paradox and weak enough to still recover classical logic.
△ Less
Submitted 29 January, 2019; v1 submitted 3 April, 2018;
originally announced April 2018.
-
Composable security in relativistic quantum cryptography
Authors:
V. Vilasini,
Christopher Portmann,
Lidia del Rio
Abstract:
Relativistic protocols have been proposed to overcome some impossibility results in classical and quantum cryptography. In such a setting, one takes the location of honest players into account, and uses the fact that information cannot travel faster than the speed of light to limit the abilities of dishonest agents. For example, various relativistic bit commitment protocols have been proposed. Alt…
▽ More
Relativistic protocols have been proposed to overcome some impossibility results in classical and quantum cryptography. In such a setting, one takes the location of honest players into account, and uses the fact that information cannot travel faster than the speed of light to limit the abilities of dishonest agents. For example, various relativistic bit commitment protocols have been proposed. Although it has been shown that bit commitment is sufficient to construct oblivious transfer and thus multiparty computation, composing specific relativistic protocols in this way is known to be insecure. A composable framework is required to perform such a modular security analysis of construction schemes, but no known frameworks can handle models of computation in Minkowski space.
By instantiating the systems model from the Abstract Cryptography framework with Causal Boxes, we obtain such a composable framework, in which messages are assigned a location in Minkowski space (or superpositions thereof). This allows us to analyse relativistic protocols and to derive novel possibility and impossibility results. We show that (1) coin flipping can be constructed from the primitive channel with delay, (2) biased coin flipping, bit commitment and channel with delay are all impossible without further assumptions, and (3) it is impossible to improve a channel with delay. Note that the impossibility results also hold in the computational and bounded storage settings. This implies in particular non-composability of all proposed relativistic bit commitment protocols, of bit commitment in the bounded storage model, and of biased coin flipping.
△ Less
Submitted 5 June, 2018; v1 submitted 1 August, 2017;
originally announced August 2017.
-
Operational locality in global theories
Authors:
Lea Kraemer,
Lidia del Rio
Abstract:
Within a global physical theory, a notion of locality allows us to find and justify information-processing primitives, like non-signalling between distant agents. Here we propose exploring the opposite direction: to take agents as the basic building blocks through which we test a physical theory, and recover operational notions of locality from signalling conditions. First we introduce an operatio…
▽ More
Within a global physical theory, a notion of locality allows us to find and justify information-processing primitives, like non-signalling between distant agents. Here we propose exploring the opposite direction: to take agents as the basic building blocks through which we test a physical theory, and recover operational notions of locality from signalling conditions. First we introduce an operational model for the effective state spaces of individual agents, as well as the range of their actions. We then formulate natural secrecy conditions between agents and identify the aspects of locality relevant for signalling. We discuss the possibility of taking commutation of transformations as a primitive of physical theories, as well as applications to quantum theory and generalized probability frameworks. This "it from bit" approach establishes an operational connection between local action and local observations, and gives a global interpretation to concepts like discarding a subsystem or composing local functions.
△ Less
Submitted 18 January, 2017; v1 submitted 12 January, 2017;
originally announced January 2017.
-
Currencies in resource theories
Authors:
Lea Kraemer,
Lidia del Rio
Abstract:
How may we quantify the value of physical resources, such as entangled quantum states, heat baths or lasers? Existing resource theories give us partial answers; however, these rely on idealizations, like perfectly independent copies of states or exact knowledge of a quantum state. Here we introduce the general tool of currencies to quantify realistic descriptions of resources, applicable in experi…
▽ More
How may we quantify the value of physical resources, such as entangled quantum states, heat baths or lasers? Existing resource theories give us partial answers; however, these rely on idealizations, like perfectly independent copies of states or exact knowledge of a quantum state. Here we introduce the general tool of currencies to quantify realistic descriptions of resources, applicable in experimental settings when we do not have perfect control over a physical system, when only the neighbourhood of a state or some of its properties are known, or when there is no obvious way to decompose a global space into subsystems. Currencies are a special set of resources chosen to quantify all others - like Bell pairs in LOCC or a lifted weight in thermodynamics. We show that from very weak assumptions on the theory we can already find useful currencies that give us necessary and sufficient conditions for resource conversion, and we build up more results as we impose further structure. This work is an application of Resource theories of knowledge [arXiv:1511.08818], generalizing axiomatic approaches to thermodynamic entropy, work and currencies made of local copies.
△ Less
Submitted 3 May, 2016;
originally announced May 2016.
-
Resource theories of knowledge
Authors:
Lidia del Rio,
Lea Kraemer,
Renato Renner
Abstract:
How far can we take the resource theoretic approach to explore physics? Resource theories like LOCC, reference frames and quantum thermodynamics have proven a powerful tool to study how agents who are subject to certain constraints can act on physical systems. This approach has advanced our understanding of fundamental physical principles, such as the second law of thermodynamics, and provided ope…
▽ More
How far can we take the resource theoretic approach to explore physics? Resource theories like LOCC, reference frames and quantum thermodynamics have proven a powerful tool to study how agents who are subject to certain constraints can act on physical systems. This approach has advanced our understanding of fundamental physical principles, such as the second law of thermodynamics, and provided operational measures to quantify resources such as entanglement or information content. In this work, we significantly extend the approach and range of applicability of resource theories. Firstly we generalize the notion of resource theories to include any description or knowledge that agents may have of a physical state, beyond the density operator formalism. We show how to relate theories that differ in the language used to describe resources, like micro and macroscopic thermodynamics. Finally, we take a top-down approach to locality, in which a subsystem structure is derived from a global theory rather than assumed. The extended framework introduced here enables us to formalize new tasks in the language of resource theories, ranging from tomography, cryptography, thermodynamics and foundational questions, both within and beyond quantum theory.
△ Less
Submitted 27 November, 2015;
originally announced November 2015.
-
The role of quantum information in thermodynamics --- a topical review
Authors:
John Goold,
Marcus Huber,
Arnau Riera,
Lídia del Rio,
Paul Skrzypczyk
Abstract:
This topical review article gives an overview of the interplay between quantum information theory and thermodynamics of quantum systems. We focus on several trending topics including the foundations of statistical mechanics, resource theories, entanglement in thermodynamic settings, fluctuation theorems and thermal machines. This is not a comprehensive review of the diverse field of quantum thermo…
▽ More
This topical review article gives an overview of the interplay between quantum information theory and thermodynamics of quantum systems. We focus on several trending topics including the foundations of statistical mechanics, resource theories, entanglement in thermodynamic settings, fluctuation theorems and thermal machines. This is not a comprehensive review of the diverse field of quantum thermodynamics; rather, it is a convenient entry point for the thermo-curious information theorist. Furthermore this review should facilitate the unification and understanding of different interdisciplinary approaches emerging in research groups around the world.
△ Less
Submitted 26 August, 2016; v1 submitted 28 May, 2015;
originally announced May 2015.
-
Relative Thermalization
Authors:
Lidia del Rio,
Adrian Hutter,
Renato Renner,
Stephanie Wehner
Abstract:
When studying thermalization of quantum systems, it is typical to ask whether a system interacting with an environment will evolve towards a local thermal state. Here, we show that a more general and relevant question is "when does a system thermalize relative to a particular reference?" By relative thermalization we mean that, as well as being in a local thermal state, the system is uncorrelated…
▽ More
When studying thermalization of quantum systems, it is typical to ask whether a system interacting with an environment will evolve towards a local thermal state. Here, we show that a more general and relevant question is "when does a system thermalize relative to a particular reference?" By relative thermalization we mean that, as well as being in a local thermal state, the system is uncorrelated with the reference. We argue that this is necessary in order to apply standard statistical mechanics to the study of the interaction between a thermalized system and a reference. We then derive a condition for relative thermalization of quantum systems interacting with an arbitrary environment. This condition has two components: the first is state-independent, reflecting the structure of invariant subspaces, like energy shells, and the relative sizes of system and environment; the second depends on the initial correlations between reference, system and environment, measured in terms of conditional entropies. Intuitively, a small system interacting with a large environment is likely to thermalize relative to a reference, but only if, initially, the reference was not highly correlated with the system and environment. Our statement makes this intuition precise, and we show that in many natural settings this thermalization condition is approximately tight. Established results on thermalization, which usually ignore the reference, follow as special cases of our statements.
△ Less
Submitted 30 January, 2014;
originally announced January 2014.
-
The thermodynamic meaning of negative entropy
Authors:
Lídia del Rio,
Johan Aberg,
Renato Renner,
Oscar Dahlsten,
Vlatko Vedral
Abstract:
Landauer's erasure principle exposes an intrinsic relation between thermodynamics and information theory: the erasure of information stored in a system, S, requires an amount of work proportional to the entropy of that system. This entropy, H(S|O), depends on the information that a given observer, O, has about S, and the work necessary to erase a system may therefore vary for different observers.…
▽ More
Landauer's erasure principle exposes an intrinsic relation between thermodynamics and information theory: the erasure of information stored in a system, S, requires an amount of work proportional to the entropy of that system. This entropy, H(S|O), depends on the information that a given observer, O, has about S, and the work necessary to erase a system may therefore vary for different observers. Here, we consider a general setting where the information held by the observer may be quantum-mechanical, and show that an amount of work proportional to H(S|O) is still sufficient to erase S. Since the entropy H(S|O) can now become negative, erasing a system can result in a net gain of work (and a corresponding cooling of the environment).
△ Less
Submitted 27 June, 2011; v1 submitted 8 September, 2010;
originally announced September 2010.