相关论文: Algebra, Logic and Qubits: Quantum Abacus
Under some hypotheses (symmetry, confluence), we enumerate all quadratically presented algebras, generated by creation and destruction operators, in which number operators exist. We show that these are algebras of bosons, fermions, their…
We present a classical simulation method for fermionic quantum systems which, without loss of generality, can be represented by parity-preserving circuits made of two-qubit gates in a brick-wall structure. We map such circuits to a…
The standard C*-algebraic version of the algebra of canonical commutation relations, the Weyl algebra, frequently causes difficulties in applications since it neither admits the formulation of physically interesting dynamical laws nor does…
Many-electron problems pose some of the greatest challenges in computational science, with important applications across many fields of modern science. Fermionic quantum Monte Carlo (QMC) methods are among the most powerful approaches to…
Multicomponent commutations relations (MCR) describe plektons, i.e., multicomponent quantum systems with a generalized statistics. In such systems, exchange of quasiparticles is governed by a unitary matrix $Q(x_1,x_2)$ that depends on the…
For quantum computer circuits, it is proposed that they have, besides the presently used compact graphs, an expanded system of subgraphs, in line with the quantum mechanics superposition axiom. The representation of each process by these…
Scalable modern-time fault-tolerant quantum computation and quantum communication in a network employ a large number of physical qubits. For example, IBM is reported to have made a 127-qubit quantum computer. Unlike classical computation,…
We classify the Fibonacci chains (F-chains) by their index sequences and construct an approximately finite dimensional (AF) $C^*$-algebra on the space of F-chains as Connes did on the space of Penrose tiling. The K-theory on this AF-algebra…
In categorical quantum mechanics, classical structures characterize the classical interfaces of quantum resources on one hand, while on the other hand giving rise to some quantum phenomena. In the standard Hilbert space model of quantum…
The quon algebra gives a description of particles, ``quons,'' that are neither fermions nor bosons. The parameter $q$ attached to a quon labels a smooth interpolation between bosons, for which $q = +1$, and fermions, for which $q = -1$.…
We introduce the fermionic ZW calculus, a string-diagrammatic language for fermionic quantum computing (FQC). After defining a fermionic circuit model, we present the basic components of the calculus, together with their interpretation, and…
We introduce the rigid tensor category of tubular partitions, and use it to provide a combinatorial model for the representation category of the quantum automorphism group of a homogeneous rooted tree.
Physical systems, characterized by an ensemble of interacting elementary constituents, can be represented and studied by different algebras of observables or operators. For example, a fully polarized electronic system can be investigated by…
A complete Fock space representation of the covariant differential calculus on quantum space is constructed. The consistency criteria for the ensuing algebraic structure, mapping to the canonical fermions and bosons and the consequences of…
The optimal calculation order of a computational graph can be represented by a set of algebraic expressions. Computational graph and algebraic expression both have close relations and significant differences, this paper looks into these…
This paper discusses how to implement certain classes of quantum computer algorithms using classical discrete switching networks that are amenable to implementation in main stream CMOS transistor IC technology. The methods differ from other…
A representation of $\mathfrak{gl}(V)=V \otimes V^*$ is a linear map $\mu \colon \mathfrak{gl}(V) \otimes M \to M$ satisfying a certain identity. By currying, giving a linear map $\mu$ is equivalent to giving a linear map $a \colon V…
The Church-Turing Thesis confuses numerical computations with symbolic computations. In particular, any model of computability in which equality is not definable, such as the lambda-models underpinning higher-order programming languages, is…
We initiate a formal study of logical inferences in context of the measure problem in cosmology or what we call cosmic logic. We describe a simple computational model of cosmic logic suitable for analysis of, for example, discretized…
A new representation for electrons is introduced, in which the electron operators are written in terms of a spinless fermion and the Pauli operators. This representation is canonical, invertible and constraint-free. Importantly, it…