Related papers: Dyck language and fermionic second quantization: I…
Finding classical canonical observables consists of taking a function space over phase space. For constrained theories, these functions must form zero brackets with a closed algebraic structure of first-class constraints. This brackets…
A new formulation for fermions on the lattice based on a discretization of a second order formalism is proposed. A comparison with the first order formalism in connection with the $U(1)$ anomaly and the doubling problem is presented. The…
The second order formalism for fermions provides a description of fermions that is very similar to that of scalars. We demonstrate that this second order formalism is equivalent to the standard Dirac formalism. We do so in terms of the…
We develop theoretical methods for the implementation of creation and destruction operators in separate registers of a quantum computer, allowing for a transparent and dynamical creation and destruction of particle modes in second…
Quantum error avoiding codes are constructed by exploiting a geometric interpretation of the algebra of measurements of an open quantum system. The notion of a generalized Dirac operator is introduced and used to naturally construct…
A new heuristic method for the evaluation of definite integrals is presented. This method of brackets has its origin in methods developed for the evaluation of Feynman diagrams. The operational rules are described and the method is…
The study of Description Logics have been historically mostly focused on features that can be translated to decidable fragments of first-order logic. In this paper, we leave this restriction behind and look for useful and decidable…
Analogous to regular string and tree languages, regular languages of directed acyclic graphs (DAGs) are defined in the literature. Although called regular, those DAG-languages are more powerful and, consequently, standard problems have a…
A functional calculus on the space of (generalized) connections was recently introduced without any reference to a background metric. It is used to continue the exploration of the quantum Riemannian geometry. Operators corresponding to…
The Weyl-Wigner prescription for quantization on Euclidean phase spaces makes essential use of Fourier duality. The extension of this property to more general phase spaces requires the use of Kac algebras, which provide the necessary…
We propose the formulation of lattice QCD wherein all elements of the theory (gauge action, fermionic action, theta-term, and all operators) are constructed from a single object, namely the lattice Dirac operator D with exact chiral…
With the increased interest in machine learning, and deep learning in particular, the use of automatic differentiation has become more wide-spread in computation. There have been two recent developments to provide the theoretical support…
We develop a second-order extension of intuitionistic modal logic, allowing quantification over propositions, both syntactically and semantically. A key feature of second-order logic is its capacity to define positive connectives from the…
A class of fermionic quantum field theories with interactions is shown to be equivalent to probabilistic cellular automata, namely cellular automata with a probability distribution for the initial states. Probabilistic cellular automata on…
In our previous work, we presented the \emph{Hypothesis Testing Lemma}, a key tool that establishes sufficient conditions for the existence of good deterministic identification (DI) codes for memoryless channels with finite output, but…
A new formulation of fermions based on a second order action is proposed. An analysis of the $U(1)$ anomaly allows us to test the validity of the formalism at the quantum level. This formulation gives a new perpective to the introduction of…
We analyse the pseudofinite monadic second order theory of words over a fixed finite alphabet. In particular we present an axiomatisation of this theory, working in a one-sorted first order framework. The analysis hinges on the fact that…
In this article, the axioms presented in the first one are reformulated according to the special theory of relativity. Using these axioms, quantum mechanic's relativistic equations are obtained in the presence of electromagnetic fields for…
Synchronizing words in classical automata theory provide a mechanism to reset any state of a deterministic automaton to a specific target state via a carefully chosen finite sequence of transition rules. In this work, we extend the concept…
The aim of this paper is to introduce a Dunkl generalization of the operators including two variable Hermite polynomials which are defined by Krech [14](Krech, G. A note on some positive linear operators associated with the Hermite…