Related papers: Dyck language and fermionic second quantization: I…
A new generalized Wick theorem for interacting fields in 2D conformal field theory is described. We briefly discuss its relation to the Borcherds identity and its derivation by an analytic method. Examples of the calculations of the…
I present the most fundamental features of an implemented system designed to manipulate representations of regular languages. The system is structured into two layers, allowing regular languages to be represented in an increasingly compact,…
In this paper we show how to construct a Dirac operator on a lattice in complete analogy with the continuum. In fact we consider a more general problem, that is, the Dirac operator over an abelian finite group (for which a lattice is a…
Parikh's Theorem says that the Parikh image of a context-free language is semilinear. We give a short proof of Parikh's Theorem using the formulation of Verma, Seidl, and Schwentick in terms of Presburger arithmetic. The proof relies on an…
A key solution to visual question answering (VQA) exists in how to fuse visual and language features extracted from an input image and question. We show that an attention mechanism that enables dense, bi-directional interactions between the…
Quantization procedures play an essential role in microlocal analysis, time-frequency analysis and, of course, in quantum mechanics. Roughly speaking the basic idea, due to Dirac, is to associate to any symbol, or observable, $a(x,\xi)$ an…
The operational formalism to quantum mechanics seeks to base the theory on a firm foundation of physically well-motivated axioms [1]. It has succeeded in deriving the Feynman rules [2] for general quantum systems. Additional elaborations…
Manipulating expressions in many-body perturbation theory becomes unwieldily with increasing order of the perturbation theory. Here I derive a set of theorems for efficient simplification of such expressions. The derived rules are…
We define the $\frac{\mathbb{Z}}{2}$-graded meromorphic open-string vertex algebra that is an appropriate noncommutative generalization of the vertex operator superalgebra. We also illustrate an example that can be viewed as a…
We define a sparse hermitian lattice Dirac matrix, $H$, coupling $2n+1$ Dirac fermions. When $2n$ fermions are integrated out the induced action for the last fermion is a rational approximation to the hermitian overlap Dirac operator. We…
In this work, we generalize a recursive enumerative formula for connected Feynman diagrams with two external legs. The Feynman diagrams are defined from a fermionic gas with a two-body interaction. The generalized recurrence is valid for…
This paper explores the fine-grained structure of classes of regular languages maintainable in fragments of first-order logic within the dynamic descriptive complexity framework of Patnaik and Immerman. A result by Hesse states that the…
Transforming a sentence into a two-dimensional (2D) representation (e.g., the table filling) has the ability to unfold a semantic plane, where an element of the plane is a word-pair representation of a sentence which may denote a possible…
We study the notion of a Dirac operator in the framework of twist-deformed noncommutative geometry. We provide a number of well-motivated candidate constructions and propose a minimal set of axioms that a noncommutative Dirac operator…
We study infinite words fixed by a morphism and their derived words. A derived word is a coding of return words to a factor. We exhibit two examples of sets of morphisms which are closed under derivation --- any derived word with respect to…
We apply Dirac's gauge fixing procedure to (2+1)-gravity with vanishing cosmological constant. For general gauge fixing conditions based on two point particles, this yields explicit expressions for the Dirac bracket. We explain how gauge…
Enabling machines to respond appropriately to natural language commands could greatly expand the number of people to whom they could be of service. Recently, advances in neural network-trained word embeddings have empowered non-embodied…
Hamiltonian Mechanics works for conserved systems and Quantum Mechanics is given in Hamiltonian language. It is considered that complexifying the quantum Hamiltonian, a balanced loss and gain model can be created. The usual mathematics of…
We develop a general canonical quantization scheme for $k$-essence cosmology in scalar-tensor theory. Utilizing the Dirac-Bergmann algorithm, we construct the Hamiltonian associated with the cosmological field equations and identify the…
Formalisms for specifying statistical models, such as probabilistic-programming languages, typically consist of two components: a specification of a stochastic process (the prior), and a specification of observations that restrict the…