Thought experiments in a quantum computer
- URL: http://arxiv.org/abs/2209.06236v1
- Date: Tue, 13 Sep 2022 18:01:04 GMT
- Title: Thought experiments in a quantum computer
- Authors: Nuriya Nurgalieva, Simon Mathis, L\'idia del Rio, Renato Renner
- Abstract summary: We introduce a software package that allows users to design and run simulations of thought experiments in quantum theory.
It covers cases where several reasoning agents are modelled as quantum systems, such as Wigner's friend experiment.
Our open-source software is written in a quantum programming language, ProjectQ, and runs on classical or quantum hardware.
- Score: 3.651305911948215
- License: http://creativecommons.org/licenses/by/4.0/
- 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), 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.
Related papers
- A Physics Lab Inside Your Head: Quantum Thought Experiments as an
Educational Tool [0.0]
I will show how presenting thought experiments using quantum circuits can demystify apparent quantum paradoxes.
I will explain how thought experiments can be used as a first introduction to quantum.
I will outline a workshop based on the "quantum bomb tester" for school students as young as 11.
arXiv Detail & Related papers (2023-12-13T02:09:26Z) - The QUATRO Application Suite: Quantum Computing for Models of Human
Cognition [49.038807589598285]
We unlock a new class of applications ripe for quantum computing research -- computational cognitive modeling.
We release QUATRO, a collection of quantum computing applications from cognitive models.
arXiv Detail & Related papers (2023-09-01T17:34:53Z) - Quantum data learning for quantum simulations in high-energy physics [55.41644538483948]
We explore the applicability of quantum-data learning to practical problems in high-energy physics.
We make use of ansatz based on quantum convolutional neural networks and numerically show that it is capable of recognizing quantum phases of ground states.
The observation of non-trivial learning properties demonstrated in these benchmarks will motivate further exploration of the quantum-data learning architecture in high-energy physics.
arXiv Detail & Related papers (2023-06-29T18:00:01Z) - Quantum Circuit Components for Cognitive Decision-Making [0.12891210250935145]
This paper demonstrates that some non-classical models of human decision-making can be run successfully as circuits on quantum computers.
The claim is not that the human brain uses qubits and quantum circuits explicitly, but that the mathematics shared between quantum cognition and quantum computing motivates the exploration of quantum computers for cognition modeling.
arXiv Detail & Related papers (2023-02-06T18:52:10Z) - Digital Discovery of 100 diverse Quantum Experiments with PyTheus [0.4517077427559345]
PyTheus is an open-source digital discovery framework for quantum optics.
It can employ a wide range of experimental devices from modern quantum labs to solve various tasks.
This includes the discovery of highly entangled quantum states, quantum measurement schemes, quantum communication protocols, multi-particle quantum gates.
arXiv Detail & Related papers (2022-10-18T16:45:32Z) - How to engineer a quantum wavefunction [0.0]
In a conventional experiment, scientists typically aim to learn about target systems by manipulating source systems of the same material type.
In an analogue quantum simulation, by contrast, scientists typically aim to learn about target quantum systems of one material type via an experiment on a source quantum system of a different material type.
arXiv Detail & Related papers (2021-12-02T10:27:06Z) - LQP: The Dynamic Logic of Quantum Information [77.34726150561087]
This paper introduces a dynamic logic formalism for reasoning about information flow in composite quantum systems.
We present a finitary syntax, a relational semantics and a sound proof system for this logic.
As applications, we use our system to give formal correctness for the Teleportation protocol and for a standard Quantum Secret Sharing protocol.
arXiv Detail & Related papers (2021-10-04T12:20:23Z) - The Logic of Quantum Programs [77.34726150561087]
We present a logical calculus for reasoning about information flow in quantum programs.
In particular we introduce a dynamic logic that is capable of dealing with quantum measurements, unitary evolutions and entanglements in compound quantum systems.
arXiv Detail & Related papers (2021-09-14T16:08:37Z) - Quantum and Classical Bayesian Agents [0.0]
We present a framework for treating multiple interacting quantum and classical Bayesian agents.
A consistent treatment of multiple interacting users of quantum theory may allow us to properly interpret existing multi-agent protocols.
arXiv Detail & Related papers (2021-06-16T18:02:41Z) - Information Scrambling in Computationally Complex Quantum Circuits [56.22772134614514]
We experimentally investigate the dynamics of quantum scrambling on a 53-qubit quantum processor.
We show that while operator spreading is captured by an efficient classical model, operator entanglement requires exponentially scaled computational resources to simulate.
arXiv Detail & Related papers (2021-01-21T22:18:49Z) - Secure Two-Party Quantum Computation Over Classical Channels [63.97763079214294]
We consider the setting where the two parties (a classical Alice and a quantum Bob) can communicate only via a classical channel.
We show that it is in general impossible to realize a two-party quantum functionality with black-box simulation in the case of malicious quantum adversaries.
We provide a compiler that takes as input a classical proof of quantum knowledge (PoQK) protocol for a QMA relation R and outputs a zero-knowledge PoQK for R that can be verified by classical parties.
arXiv Detail & Related papers (2020-10-15T17:55:31Z)
This list is automatically generated from the titles and abstracts of the papers in this site.
This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.