research
∙
07/12/2023
Primal logic of information
Primal logic arose in access control; it has a remarkably efficient (lin...
share
research
∙
09/27/2022
Software science view on quantum circuit algorithms
We show that, on the abstraction level of quantum circuit diagrams, quan...
research
∙
01/15/2022
Wigner's quasidistribution and Dirac's kets
In every state of a quantum particle, Wigner's quasidistribution is the ...
research
∙
11/21/2021
Simple circuit simulations of classical and quantum Turing machines
We construct reversible Boolean circuits efficiently simulating reversib...
research
∙
07/17/2021
Quantum circuits with classical channels and the principle of deferred measurements
We define syntax and semantics of quantum circuits, allowing measurement...
research
∙
09/22/2020
Negative probabilities: What they are and what they are for
In quantum mechanics, the probability distributions of position and mome...
research
∙
06/16/2020
Circuits: An abstract viewpoint
Our primary purpose is to isolate the abstract, mathematical properties ...
research
∙
10/14/2019
Circuit pedantry
Boolean and quantum circuits have commonalities and differences. To form...
research
∙
07/30/2018
Coherence for braided distributivity
In category-theoretic models for the anyon systems proposed for topologi...
research
∙
07/30/2018
Who needs category theory?
In computer science, category theory remains a contentious issue, with e...
research
∙
07/27/2018
Witness Algebra and Anyon Braiding
Topological quantum computation employs two-dimensional quasiparticles c...
research
∙
03/02/2018
Common Denominator for Value and Expectation No-go Theorems: Extended Abstract
Hidden-variable (HV) theories allege that a quantum state describes an e...
research
∙
11/05/2008