Related papers: Clifford's theorem for coherent systems
This paper constructs a cirquent calculus system and proves its soundness and completeness with respect to the semantics of computability logic (see http://www.cis.upenn.edu/~giorgi/cl.html). The logical vocabulary of the system consists of…
This paper focuses on studying the Donoho-Stark's type uncertainty principle for the continuous Clifford wavelet transform. A brief review of Clifford algebra/analysis, Clifford wavelet transform and their properties is conducted. Next,…
1. Translated by Thomas E. Cecil, Department of Mathematics and Computer Science, College of the Holy Cross, Worcester, MA 01610, USA; E-mail address: [email protected] 2. Typed by Wenjiao Yan, School of Mathematical Sciences,…
We describe a simple formalism for generating classes of quantum circuits that are classically efficiently simulatable and show that the efficient simulation of Clifford circuits (Gottesman-Knill theorem) and of matchgate circuits…
Carleson's Theorem asserts the pointwise convergence of Fourier series of square integrable functions. We give a complete proof, following joint work of the author and C. Thiele. Over 20 exercises are also detailed. We also discuss the…
In this paper, we show the equivalence of the set of unitaries computable by the circuits over the Clifford and T library and the set of unitaries over the ring $\mathbb{Z}[\frac{1}{\sqrt{2}},i]$, in the single-qubit case. We report an…
We study the confluence property of abstract rewriting systems internal to cubical categories. We introduce cubical contractions, a higher-dimensional generalisation of reductions to normal forms, and employ them to construct cubical…
Computations in the cohomology of finite groups.
Contents: 1 Frustrated quantum spin systems 1.1 The Pyrochlore checkerboard 1.2 Singlets in reflection symmetric spin systems 2 Wehrl entropy of Bloch coherent states 2.1 Conjectures of Wehrl and Lieb 2.2 Proof of Lieb's conjecture for low…
In this paper, we make the case that Clifford algebra is the natural framework for root systems and reflection groups, as well as related groups such as the conformal and modular groups: The metric that exists on these spaces can always be…
A translation of Emmy Noether's paper "Der Endlichkeitsatz der Invarianten endlicher Gruppen" (Mathematische Annalen, vol. 77, 1920, pages 89--92). In Noether's words, the paper gives "an entirely elementary finiteness proof---using only…
In this work we explore the structure of Clifford algebras and the representations of the algebraic spinors in quantum information theory. Initially we present an general formulation through elements of left minimal ideals in tensor…
We discuss Nakamaye's Theorem and its recent extension to compact complex manifolds, together with some applications.
The Clifford spectrum is a form of joint spectrum for noncommuting matrices. This theory has been applied in photonics, condensed matter and string theory. In applications, the Clifford spectrum can be efficiently approximated using…
This paper investigates the interplay between algebraic structure, topology, and differentiability in Clifford semigroups. The study is developed along three main themes. First, in the compact Hausdorff setting, we provide an explicit…
Universal coverings of the orthogonal groups and their extensions are studied in terms of Clifford-Lipschitz groups. An algebraic description of basic discrete symmetries (space inversion $P$, time reversal $T$, charge conjugation $C$ and…
Comments about the paper by Elsholz, Fermat's last theorem implies Euclid's infinitude of primes, (2021), and simplification.
We prove a time scales version of the Noether's theorem relating group of symmetries and conservation laws. Our result extends the continuous version of the Noether's theorem as well as the discrete one and corrects a previous statement of…
Compact sets in constructive mathematics capture our intuition of what computable subsets of the plane (or any other complete metric space) ought to be. A good representation of compact sets provides an efficient means of creating and…
The paper is written for Kluwer's Encyclopaedia of Mathematics.