Related papers: Dyck language and fermionic second quantization: I…
We extend a previously successful discussion of the constrained Schr\"{o}dinger system through the Dirac--Bergmann algorithm to the case of the Dirac field. In order to follow the analogy, first we discuss the classical Dirac field as a…
A reformulation of fermionic QFT in electromagnetic backgrounds is presented which uses methods analogous to those of conventional multiparticle quantum mechanics. Emphasis is placed on the (Schr\"odinger picture) states of the system,…
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…
We review the close relationship between abstract machines for (call-by-name or call-by-value) lambda-calculi (extended with Felleisen's C) and sequent calculus, reintroducing on the way Curien-Herbelin's syntactic kit expressing the…
A specific algebraic realization of the Ginsparg-Wilson relation in the form $\gamma_{5}(\gamma_{5}D)+(\gamma_{5}D)\gamma_{5} = 2a^{2k+1}(\gamma_{5}D)^{2k+2}$ is discussed, where $k$ stands for a non-negative integer and $k=0$ corresponds…
The paper deals with the Dirac operator generated on the finite interval $[0,\pi]$ by the differential expression $-B\mathbf{y}'+Q(x)\mathbf{y}$, where $$ B=\begin{pmatrix}0&1\\-1&0\end{pmatrix},\qquad…
In this article, I present a volume average regularization for the second functional derivative operator that appears in the metric-basis Wheeler-DeWitt equation. Naively, the second functional derivative operator in the Wheeler-DeWitt…
In a previous paper I showed how the ideal SLAC derivative and second-derivative operators for an infinite lattice can be obtained in simple closed form in position space, and implemented very efficiently in a stochastic fashion for…
Toeplitz quantization is defined in a general setting in which the symbols are the elements of a possibly non-commutative algebra with a conjugation and a possibly degenerate inner product. We show that the quantum group $SU_q(2)$ is such…
In this paper we address the decision problem for a fragment of set theory with restricted quantification which extends the language studied in [4] with pair related quantifiers and constructs, in view of possible applications in the field…
We lay the foundations for a database-inspired approach to interpreting and understanding neural network models by querying them using declarative languages. Towards this end we study different query languages, based on first-order logic,…
This paper is dedicated to formulate the interaction picture dynamics of the self-dual field minimally coupled to fermions. To make this possible, we start by quantizing the free self-dual model by means of the Dirac bracket quantization…
We study the Fock quantization of a free Dirac field in 2+1-dimensional backgrounds which are conformally ultrastatic, with a time-dependent conformal factor. As it is typical for field theories, there is an infinite ambiguity in the Fock…
1-way quantum finite automata are deterministic and reversible in nature, which greatly reduces its accepting property. In fact the set of languages accepted by 1-way quantum finite automata is a proper subset of regular languages. In this…
Self-supervised word embedding algorithms such as word2vec provide a minimal setting for studying representation learning in language modeling. We examine the quartic Taylor approximation of the word2vec loss around the origin, and we show…
This thesis deals with the specification and construction of syntax and operational semantics of a programming language. We work with a general notion of signature for specifying objects of a given category as initial objects in a suitable…
We present Dependent Lambek Calculus, a domain-specific dependent type theory for verified parsing and formal grammar theory. In $\textrm{Lambek}^D$, linear types are used as a syntax for formal grammars,and parsers can be written as linear…
While Masked Diffusion Language Models (MDLMs) relying on token masking and unmasking have shown promise in language modeling, their computational efficiency and generation flexibility remain constrained by the masking paradigm. In this…
We present the formalization of a theory of syntax with bindings that has been developed and refined over the last decade to support several large formalization efforts. Terms are defined for an arbitrary number of constructors of varying…
Mathematical modeling of real-world physical systems requires the consistent combination of a multitude of physical laws and phenomenological models. This challenging task can be greatly simplified by hierarchically decomposing systems into…