Related papers: Dyck language and fermionic second quantization: I…
We study a formal extension of the Dirac equation in the framework of a non-commutative two-sheeted space-time. It is shown that this approach naturally extends the classical Dirac theory by doubling the number of fermionic states, which…
We study various aspects of Dyck words appearing in binary sequences, where $0$ is treated as a left parenthesis and $1$ as a right parenthesis. We show that binary words that are $7/3$-power-free have bounded nesting level, but this no…
Second quantization is an essential topic in senior undergraduate and postgraduate level Quantum Mechanics course. However, it seems that there is a lack of transparent and natural derivation of this formalism from the first-quantization…
Analysis of the dynamics of the Dyck words helped solve the problem of representing the Catalan number as a sum of squares of natural numbers. In this case, the Dyck triangle is considered in different coordinates. In the calculations, we…
We consider the recognition problem of the Dyck Language generalized for multiple types of brackets. We provide an algorithm with quantum query complexity $O(\sqrt{n}(\log n)^{0.5k})$, where $n$ is the length of input and $k$ is the maximal…
We show a new and constructive proof of the following language-theoretic result: for every context-free language L, there is a bounded context-free language L' included in L which has the same Parikh (commutative) image as L. Bounded…
A generalization is provided for the notion of tags, as used in various formulations of physical scenarios. It leads to the definition of tagged vector spaces, based on a set of axioms for tags and their extractors. As an application, such…
We use Dirac's method for the quantization of constrained systems in order to quantize a spatially flat Friedmann-Lema\^{i}tre-Robertson-Walker spacetime in the context of $f(Q)$ cosmology. When the coincident gauge is considered, the…
We find a representation for the determinant of a Dirac operator in an even number $D= 2 n$ of Euclidean dimensions as an overlap between two different vacua, each one corresponding to a bosonic theory with a quadratic action in $2 n + 1$…
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…
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…
Wick's theorem provides a connection between time ordered products of bosonic or fermionic fields, and their normal ordered counterparts. We consider a generic pair of operator orderings and we prove, by induction, the theorem that relates…
We investigate the structure of Large Language Model (LLM) embedding spaces using mathematical concepts, particularly linear algebra and the Hamiltonian formalism, drawing inspiration from analogies with quantum mechanical systems.…
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…
Using the example of a Dirac particle in external static fields, Dirac theory is reformulated as a one-particle quantum theory in the space of normalized two-component spinors. In this formulation, the Dirac operator ``splits'' into two…
This paper enriches preexisting satisfiability tests for unquantified languages, which in turn augment a fragment of Tarski's elementary algebra with unary real functions possessing a continuous first derivative. Two sorts of individual…
The main goal of this work is to establish a bijection between Dyck words and a family of Eulerian digraphs. We do so by providing two algorithms implementing such bijection in both directions. The connection between Dyck words and Eulerian…
In previous work we gave a mathematical foundation, referred to as DisCoCat, for how words interact in a sentence in order to produce the meaning of that sentence. To do so, we exploited the perfect structural match of grammar and…
We treat here the interrelation between formal languages and those dynamical systems that can be described by cellular automata (CA). There is a well-known injective map which identifies any CA-invariant subshift with a central formal…
We provide a concise exposition with original proofs of combinatorial formulas for the 2D Ising model partition function, multi-point fermionic observables, spin and energy density correlations, for general graphs and interaction constants,…