Related papers: The Category CNOT
A self-contained approach to studying the unitary evolution of coupled qubits is introduced, capable of addressing a variety of physical systems described by exchange Hamiltonians containing Rabi terms. The method automatically determines…
We present the first demonstration of a CNOT gate using neutral atoms. Our implementation of the CNOT uses Rydberg blockade interactions between neutral atoms held in optical traps separated by >8 \mu\rm m. We measure CNOT fidelities of…
To any finite group G in SL_2(C), and each `t' in the center of the group algebra of G, we associate a category, Coh_t. It is defined as a suitable quotient of the category of graded modules over (a graded version of) the deformed…
We propose and experimentally demonstrate that a Mach-Zehnder interferometer composed of polarized beam splitters and a pentaprism in the place of one of the mirrors works as a linear optical quantum controlled-NOT (CNOT) gate. To perform…
Let \(E\) be a finite-dimensional real vector space. We study invertible objects in the monoidal category of constructible sheaves on \(E\), endowed with the convolution product \(\star\). We show that the inverse of an invertible…
We show that a subcategory of the $m$-cluster category of type $\tilde{D_n}$ is isomorphic to a category consisting of arcs in an $(n-2)m$-gon with two central $(m-1)$-gons inside of it. We show that the mutation of colored quivers and…
We discuss what it means for a symmetric monoidal category to be a module over a commutative semiring category. Each of the categories of (1) cartesian monoidal categories, (2) semiadditive categories, and (3) connective spectra can be…
Categories of partial functions have become increasingly important principally because of their applications in theoretical computer science. In this note we prove that the category of partial bijections between sets as an…
We categorify the notion of an infinitesimal braiding in a linear strict symmetric monoidal category, leading to the notion of a (strict) infinitesimal 2-braiding in a linear symmetric strict monoidal 2-category. We describe the associated…
We develop a general theory of (extended) inner autoequivalences of objects of any 2-category, generalizing the theory of isotropy groups to the 2-categorical setting. We show how dense subcategories let one compute isotropy in the presence…
It is well-known that every polyhedral cone is finitely generated (i.e. polytopal), and vice versa. Surprisingly, the two notions differ almost always for non-commutative versions of such cones. This was obtained as a byproduct in an…
We establish a close and previously unknown relation between quantales and groupoids, in terms of which the notion of etale groupoid is subsumed in a natural way by that of quantale. In particular, to each etale groupoid, either localic or…
We investigate the groups generated by the sets of $CP$, $CNOT$ and $SWAP^\alpha$ (power-of-SWAP) quantum gate operations acting on $n$ qubits. Isomorphisms to standard groups are found, and using techniques from representation theory, we…
Let $F, G: \mathcal{I} \to \mathcal{C}$ be strong monoidal functors from a skeletally small monoidal category $\mathcal{I}$ to a tensor category $\mathcal{C}$ over an algebraically closed field $k$. The set $Nat(F, G)$ of natural…
We prove 2-categorical conservativity for any {0,T}-free fragment of MALL over its corresponding intuitionistic version: that is, that the universal map from a closed symmetric monoidal category to the *-autonomous category that it freely…
We present a categorical model for intuitionistic linear logic where objects are polynomial diagrams and morphisms are simulation diagrams. The multiplicative structure (tensor product and its adjoint) can be defined in any locally…
When designing plans in engineering, it is often necessary to consider attributes associated to objects, e.g. the location of a robot. Our aim in this paper is to incorporate attributes into existing categorical formalisms for planning,…
We define and study a certain relative tensor product of subfactors over a modular tensor category. This gives a relative tensor product of two completely rational heterotic full local conformal nets with trivial superselection structures…
We obtain two related characterizations of discrete quantum groups and discrete quantum groups of Kac type as allegorical group objects in the symmetric monoidal dagger category of quantum sets and relations, of interest to quantum…
We show that either of the two reasonable choices for the category of compact quantum groups is nice enough to allow for a plethora of universal constructions, all obtained "by abstract nonsense" via the adjoint functor theorem. This…