Quantum Information Effects
- URL: http://arxiv.org/abs/2107.12144v2
- Date: Wed, 10 Nov 2021 10:21:30 GMT
- Title: Quantum Information Effects
- Authors: Chris Heunen and Robin Kaarsgaard
- Abstract summary: We study the two dual quantum information effects to manipulate the amount of information in quantum computation: hiding and allocation.
The resulting type-and-effect system is fully expressive for irreversible quantum computing, including measurement.
- Score: 0.0
- License: http://creativecommons.org/licenses/by-nc-nd/4.0/
- Abstract: We study the two dual quantum information effects to manipulate the amount of
information in quantum computation: hiding and allocation. The resulting
type-and-effect system is fully expressive for irreversible quantum computing,
including measurement. We provide universal categorical constructions that
semantically interpret this arrow metalanguage with choice, starting with any
rig groupoid interpreting the reversible base language. Several properties of
quantum measurement follow in general, and we translate (noniterative) quantum
flow charts into our language. The semantic constructions turn the category of
unitaries between Hilbert spaces into the category of completely positive
trace-preserving maps, and they turn the category of bijections between finite
sets into the category of functions with chosen garbage. Thus they capture the
fundamental theorems of classical and quantum reversible computing of Toffoli
and Stinespring.
Related papers
- Supervised binary classification of small-scale digits images with a trapped-ion quantum processor [56.089799129458875]
We show that a quantum processor can correctly solve the basic classification task considered.
With the increase of the capabilities quantum processors, they can become a useful tool for machine learning.
arXiv Detail & Related papers (2024-06-17T18:20:51Z) - The Quantum Monadology [0.0]
Modern theory of functional programming languages uses monads for encoding computational side-effects and side-contexts.
We analyze the (co)monads on categories of parameterized module spectra induced by Grothendieck's "motivic yoga of operations"
We indicate a domain-specific quantum programming language (QS) expressing these monadic quantum effects in transparent do-notation.
arXiv Detail & Related papers (2023-10-24T11:19:24Z) - MORE: Measurement and Correlation Based Variational Quantum Circuit for
Multi-classification [10.969833959443495]
MORE stands for measurement and correlation based variational quantum multi-classifier.
We implement MORE using the Qiskit Python library and evaluate it through extensive experiments on both noise-free and noisy quantum systems.
arXiv Detail & Related papers (2023-07-21T19:33:10Z) - The Quantum Effect: A Recipe for QuantumPi [0.5735035463793007]
Free categorical constructions characterise quantum computing as the combination of two copies of a reversible classical model.
This recipe effectively constructs a computationally universal quantum programming language from two copies of Pi.
arXiv Detail & Related papers (2023-02-03T17:38:22Z) - Noisy Quantum Kernel Machines [58.09028887465797]
An emerging class of quantum learning machines is that based on the paradigm of quantum kernels.
We study how dissipation and decoherence affect their performance.
We show that decoherence and dissipation can be seen as an implicit regularization for the quantum kernel machines.
arXiv Detail & Related papers (2022-04-26T09:52:02Z) - Q-means using variational quantum feature embedding [0.9572675949441442]
The objective of the Variational circuit is to maximally separate the clusters in the quantum feature Hilbert space.
The output of the quantum circuit are characteristic cluster quantum states that represent a superposition of all quantum states belonging to a particular cluster.
The gradient of the expectation value is used to optimize the parameters of the variational circuit to learn a better quantum feature map.
arXiv Detail & Related papers (2021-12-11T13:00:51Z) - Facial Expression Recognition on a Quantum Computer [68.8204255655161]
We show a possible solution to facial expression recognition using a quantum machine learning approach.
We define a quantum circuit that manipulates the graphs adjacency matrices encoded into the amplitudes of some appropriately defined quantum states.
arXiv Detail & Related papers (2021-02-09T13:48:00Z) - 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) - Experimental Validation of Fully Quantum Fluctuation Theorems Using
Dynamic Bayesian Networks [48.7576911714538]
Fluctuation theorems are fundamental extensions of the second law of thermodynamics for small systems.
We experimentally verify detailed and integral fully quantum fluctuation theorems for heat exchange using two quantum-correlated thermal spins-1/2 in a nuclear magnetic resonance setup.
arXiv Detail & Related papers (2020-12-11T12:55:17Z) - Universal quantum computation and quantum error correction with
ultracold atomic mixtures [47.187609203210705]
We propose a mixture of two ultracold atomic species as a platform for universal quantum computation with long-range entangling gates.
One atomic species realizes localized collective spins of tunable length, which form the fundamental unit of information.
We discuss a finite-dimensional version of the Gottesman-Kitaev-Preskill code to protect quantum information encoded in the collective spins.
arXiv Detail & Related papers (2020-10-29T20:17:14Z) - The theory of the quantum kernel-based binary classifier [0.8057006406834467]
kernel method that exploit quantum interference and feature quantum Hilbert space opened up tremendous opportunities for quantum-enhanced machine learning.
This work extends the general theory of quantum kernel-based classifiers.
Focusing on the squared overlap between quantum states as a similarity measure, the essential and minimal ingredients for the quantum binary classification are examined.
The validity of the Hilbert-Schmidt inner product, which becomes the squared overlap for pure states, as a positive definite and symmetric kernel is explicitly shown.
arXiv Detail & Related papers (2020-04-07T15:39:36Z)
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.