English
Related papers

Related papers: The Category CNOT

200 papers

In this paper we define the tensor product of two A$_{\infty}$-categories and two A$_{\infty}$-functors. This tensor product makes the category of A$_{\infty}$-categories symmetric monoidal (up to homotopy), and the category…

Algebraic Geometry · Mathematics 2026-01-21 Mattia Ornaghi

We investigate the topological quantum compilation of two-qubit operations within a system of Fibonacci anyons. Our primary goal is to generate gates that are approximately leakage-free and equivalent to the controlled-NOT (CNOT) gate up to…

Quantum Physics · Physics 2024-11-26 Phillip C. Burke , Christos Aravanis , Johannes Aspman , Jakub Mareček , Jiří Vala

Restriction categories were established to handle maps that are partially defined with respect to composition. Tensor topology realises that monoidal categories have an intrinsic notion of space, and deals with objects and maps that are…

Category Theory · Mathematics 2021-06-11 C. Heunen , J. S. Pacaud Lemay

Directed containers make explicit the additional structure of those containers whose set functor interpretation carries a comonad structure. The data and laws of a directed container resemble those of a monoid, while the data and laws of a…

Logic in Computer Science · Computer Science 2016-05-06 Danel Ahman , Tarmo Uustalu

In this note we present explicit canonical forms for all the elements in the two-qubit CNOT-Dihedral group, with minimal numbers of controlled-S (CS) and controlled-X (CX) gates, using the generating set of quantum gates [X, T, CX, CS]. We…

Quantum Physics · Physics 2020-12-10 Shelly Garion , Andrew W. Cross

We describe the operation and tolerances of a non-deterministic, coincidence basis, quantum CNOT gate for photonic qubits. It is constructed solely from linear optical elements and requires only a two-photon source for its demonstration.

Quantum Physics · Physics 2009-11-07 T. C. Ralph , N. K. Langford , T. B. Bell , A. G. White

Finite-order invariants of knots in arbitrary 3-manifolds (including non-orientable ones) are constructed and studied by methods of the topology of discriminant sets. Obstructions to the integrability of admissible weight systems to…

Geometric Topology · Mathematics 2016-09-07 Victor A. Vassiliev

We report the first experimental demonstration of a quantum controlled-NOT gate for different photons, which is classically feed-forwardable. In the experiment, we achieved this goal with the use only of linear optics, an entangled…

Quantum Physics · Physics 2009-11-10 Sara Gasparoni , Jian-Wei Pan , Philip Walther , Terry Rudolph , Anton Zeilinger

We prove a number of results involving categories enriched over \textsc{CMet}, the category of complete metric spaces with possibly infinite distances. The category \textsc{CPMet} of intrinsic complete metric spaces is locally…

Metric Geometry · Mathematics 2022-05-26 Alexandru Chirvasitu

We demonstrate a robust implementation of a deterministic linear-optical Controlled-NOT (CNOT) gate for single-photon two-qubit quantum logic. A polarization Sagnac interferometer with an embedded 45$^{\circ}$-oriented dove prism is used to…

Quantum Physics · Physics 2009-11-10 Marco Fiorentino , Franco N. C. Wong

We continue the program of structural differential geometry that begins with the notion of a tangent category, an axiomatization of structural aspects of the tangent functor on the category of smooth manifolds. In classical geometry, having…

Category Theory · Mathematics 2019-05-01 R. F. Blute , G. S. H. Cruttwell , R. B. B. Lucyshyn-Wright

In this paper we prove that a morphism between schemes or stacks naturally corresponds to a symmetric monoidal functor between stable infinity-categories of quasi-coherent complexes. It can be viewed as a derived analogue of Tannaka…

Algebraic Geometry · Mathematics 2012-09-28 Hiroshi Fukuyama , Isamu Iwanari

An equivalent description of a symmetric monoidal category is introduced in which, instead of separate associator and commutator isomorphisms satisfying the usual coherence axioms, we simply have associo-commutator isomorphisms satisfying…

Category Theory · Mathematics 2025-12-25 Josep Elgueta

We propose a non-deterministic CNOT gate based on a quantum cloner, a quantum switch based on all optical routing of single photon by single photon, a quantum-dot spin in a double-sided optical microcavity with two photonic qubits, delay…

Quantum Physics · Physics 2019-06-18 Amor Gueddana , Peyman Gholami , Vasudevan Lakshminarayanan

We introduce the notion of homotopically discrete n-fold category as an n-fold generalization of a groupoid with no non-trivial loops. We give two equivalent descriptions of this structure: in terms of a Segal-type model and in terms of…

Category Theory · Mathematics 2016-05-18 Simona Paoli

Cartesian reverse differential categories (CRDCs) are a recently defined structure which categorically model the reverse differentiation operations used in supervised learning. Here we define a related structure called a monoidal reverse…

Category Theory · Mathematics 2022-09-12 Geoffrey Cruttwell , Jonathan Gallagher , Jean-Simon Pacaud Lemay , Dorette Pronk

This work proposes numerical tests which determine whether a two-qubit operator has an atypically simple quantum circuit. Specifically, we describe formulae, written in terms of matrix coefficients, characterizing operators implementable…

Quantum Physics · Physics 2009-11-10 Vivek V. Shende , Stephen S. Bullock , Igor L. Markov

Photon modes of reverse rotation in ring QED-cavity coupled with single atom are considered. By applying Schrieffer-Wolf transformation for the off-resonant light-atom interaction, an effective Hamiltonian of the evolution of the photon…

A two-qubit controlled-NOT (CNOT) gate, realized by a controlled-phase (C-phase) gate combined with single-qubit gates, has been experimentally implemented recently for quantum-dot spin qubits in isotopically enriched silicon, a promising…

Quantum Physics · Physics 2019-04-05 Chia-Hsien Huang , C. H. Yang , Chien-Chang Chen , A. S. Dzurak , Hsi-Sheng Goan

Let $\widehat{\mathbb{F}\mathbb{S}et}$ be the groupoid of finite sets and bijections between them equipped with the canonical symmetric rig category structure given by the disjoint union and the cartesian product of finite sets. We prove…

Category Theory · Mathematics 2020-04-21 Josep Elgueta