Related papers: Dyck language and fermionic second quantization: I…
We present a novel approach to construction of a formal semantics for a programming language. Our approach, using a parametric denotational semantics, allows the semantics to be easily extended to support new language features, and…
Relativistic corrections to the evolution of structure can be used to test general relativity on cosmological scales. They are also a well-known systematic contamination in the search for a primordial non-Gaussian signal. We present a…
Anyons exhibit a non-trivial interplay between local exclusion rules and non-local braiding and exchange phases, making a consistent commutation algebra and second-quantized formulation challenging. We develop an algebraic framework for…
Dependency distance minimization (DDm) is a well-established principle of word order. It has been predicted theoretically that DDm implies compression, namely the minimization of word lengths. This is a second order prediction because it…
Fermions are coupled to the Einstein-Cartan system in the canonical formulation, including the cosmological, the Barbero-Immirzi, and the non-minimal coupling constants. The resulting ten first-class constraints generate gauge…
A simple mathematical extension of quantum theory is presented. As well as opening the possibility of alternative methods of calculation, the additional formalism implies a new physical interpretation of the standard theory by providing a…
Weighted automata model quantitative aspects of systems like the consumption of resources during executions. Traditionally, the weights are assumed to form the algebraic structure of a semiring, but recently also other weight computations…
In this paper, we study some new factorizations of period-doubling sequences over a $k$-letter alphabet, where $k\geq 2$. First, we define the combinatorial and arithmetic properties of these sequences. Then, we define the kernel words of…
In recent years, diagrammatic languages have been shown to be a powerful and expressive tool for reasoning about physical, logical, and semantic processes represented as morphisms in a monoidal category. In particular, categorical quantum…
We have recently given a construction of the overlap Dirac operator at nonzero quark chemical potential. Here, we introduce a quark chemical potential in the domain-wall fermion formalism and show that our earlier result is reproduced if…
This is the first of three papers dealing with the XX finite quantum chain with arbitrary, not necessarily hermitian, boundary terms. This extends previous work where the periodic or diagonal boundary terms were considered. In order to find…
We present a technique novel in numerical methods. It compiles the domain of the numerical methods as a discretized volume. Congruent elements are glued together to compile the domain over which the solution of a boundary value problem of a…
In this work, we construct the de Rham complex with differential operator d satisfying the Q-Leibniz rule, where Q is a complex number, and the condition $d^3=0$ on an associative unital algebra with quadratic relations. Therefore we…
The complex organization of syntax in hierarchical structures is one of the core design features of human language. Duality of patterning refers for instance to the organization of the meaningful elements in a language at two distinct…
The standard inputs given to a quantum machine are classical binary strings. In this view, any quantum complexity class is a collection of subsets of $\{0,1\}^{*}$. However, a quantum machine can also accept quantum states as its input. T.…
In this work we are motivated by factorization of bosonic quantum dynamics and we study the corresponding Lie algebras, which can potentially be infinite dimensional. To characterize such factorization, we identify conditions for these Lie…
We introduce analogs of creation and annihilation operators, related to involutive and Hecke symmetries R, and perform bosonic and fermionic realization of the modified Reflection Equation algebras in terms of the so-called Quantum Doubles…
In this paper the quantization of the 2$+$1-dimensional gravity couplet to the massless Dirac field is carried out. The problem is solved by the application of the new Dynamic Quantization Method [1,2]. It is well-known that in general…
The method of brackets is an efficient method for the evaluation of a large class of definite integrals on the half-line. It is based on a small collection of rules, some of which are heuristic. The extension discussed here is based on the…
The formulation of classical mechanics applicable to fermionic degrees of freedom is presented in mathematically rigorous terms, including a description of how the mathematical structure relates to the quantization of the theory. Canonical…