Related papers: Dyck language and fermionic second quantization: I…
This article is concerned with compositions in the context of three standard quantizations in the Fock space framework, namely, anti-Wick, Wick and Weyl quantizations. The first one is a composition of states and is closely related to the…
Fiore and Hur recently introduced a conservative extension of universal algebra and equational logic from first to second order. Second-order universal algebra and second-order equational logic respectively provide a model theory and a…
The dot-depth hierarchy of Brzozowski and Cohen classifies the star-free languages of finite words. By a theorem of McNaughton and Papert, these are also the first-order definable languages. The dot-depth rose to prominence following the…
Catalan numbers and their interpretations in terms of Dyck paths are widely used in different topics of applied mathematics and computer science. Here, we consider a general approach for constrained Dyck paths. In particular, we study Dyck…
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…
Inspired by distributed algorithms, we introduce a new class of finite graph automata that recognize precisely the graph languages definable in monadic second-order logic. For the cases of words and trees, it has been long known that the…
The basic ideas of second quantization and Fock space are extended to density operator states, used in treatments of open many-body systems. This can be done for fermions and bosons. While the former only requires the use of a…
Dyck paths (also balanced brackets and Dyck words) are among the most heavily studied Catalan families. This paper is a continuation of [2, 3, 4]. In the paper we are dealing with the numbering of Dyck paths, with the resulting numbers, the…
We study the Moyal quantization for the constrained system. One of the purposes is to give a proper definition of the Wigner-Weyl(WW) correspondence, which connects the Weyl symbols with the corresponding quantum operators. A Hamiltonian in…
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…
In quadratic fermionic models we determine a quantum correction to the work statistics after a sudden and a time-dependent driving. Such a correction lies in the non-commutativity of the initial quantum state and the time-dependent…
Regular languages are closed under a wealth of formal language operators. Incorporating such operators in regular expressions leads to concise language specifications, but the transformation of such enhanced regular expressions to finite…
Dirac notation is the most common way to describe quantum states and operations on states. It is very convenient and allows for quick visual distinction between vectors, scalars and operators. For quantum processes that involve interactions…
This work is devoted to incorporating into QFT the notion that particles and hence the particle states should be localizable in space. It focuses on the case of the Dirac field in 1+1 dimensional flat spacetime, generalizing a recently…
We develop a new fermionic path-integral formalism to analyze the phase diagram of open nonequilibrium systems. The formalism is applied to analyze an ensemble of two-level atoms interacting with a single-mode optical cavity, described by…
Two consistency conditions for partition functions established by Akemann and Dam-gaard in their studies of the fermionic mass dependence of the QCD partition function at low energy ({\it a la} Leutwiller-Smilga-Verbaarschot) are…
Many formalisms combining ontology languages with uncertainty, usually in the form of probabilities, have been studied over the years. Most of these formalisms, however, assume that the probabilistic structure of the knowledge remains…
We propose a new symbolic trace semantics for register automata (extended finite state machines) which records both the sequence of input symbols that occur during a run as well as the constraints on input parameters that are imposed by…
We analyze geometry of the second order differential operators, having in mind applications to Batalin--Vilkovisky formalism in quantum field theory. As we show, an exhaustive picture can be obtained by considering pencils of differential…
In this paper, we provide a representation theory for the Feynman operator calculus. This allows us to solve the general initial-value problem and construct the Dyson series. We show that the series is asymptotic, thus proving Dyson's…