Related papers: Dyck language and fermionic second quantization: I…
Forgetting is an important concept in knowledge representation and automated reasoning with widespread applications across a number of disciplines. A standard forgetting operator, characterized in [Lin and Reiter'94] in terms of…
This work overviews the single-particle two-way communication protocol recently introduced by del Santo and Daki\'c (dSD), and analyses it using the process matrix formalism. We give a detailed account of the importance and the operational…
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…
The study of Description Logics have been historically mostly focused on features that can be translated to decidable fragments of first-order logic. In this paper, we leave this restriction behind and look for useful and decidable…
A result from Dodd and Gibbs[1] for the second virial coefficient of particles in 1 dimension, subject to delta-function interactions, has been obtained by direct integration of the wave functions. It is shown that this result can be…
From the point of view of canonical quantum gravity, it has become imperative to find a framework for quantization which provides a {\em general} prescription to find the physical inner product, and is flexible enough to accommodate…
We use the theory of algebraic effects to give a complete equational axiomatization for dynamic threads. Our method is based on parameterized algebraic theories, which give a concrete syntax for strong monads on functor categories, and are…
We present an algebraic framework for interacting extended quantum systems to study complex phenomena characterized by the coexistence and competition of different states of matter. We start by showing how to connect different…
Motivated by the creation-annihilation operators in a newly defined interacting Fock space, we initiate the introduction and the study of the Quon algebra. This algebra serves as an extension of the conventional quon algebra, where the…
We study the influence of a strong imaginary vector potential on the quantum mechanics of particles confined to a two-dimensional plane and propagating in a random impurity potential. We show that the wavefunctions of the non-Hermitian…
Indexed languages are a generalization of context-free languages and form a proper subset of context-sensitive languages. We propose to generalize to indexed languages several well known characterizations of context-free languages: namely,…
Extended versions of the Lambek Calculus currently used in computational linguistics rely on unary modalities to allow for the controlled application of structural rules affecting word order and phrase structure. These controlled structural…
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…
A brief review of the different ways of the Dirac equation derivation is given. The foundations of the relativistic canonical quantum mechanics of a fermionic doublet are formulated. In our approach the Dirac equation is derived from the…
An extension of the Dirac procedure for the quantization of constrained systems is necessary to address certain issues that are left open in Dirac's original proposal. These issues play an important role especially in the context of…
Potential algebras can be used effectively in the analysis of the quantum systems. In the article, we focus on the systems described by a separable, 2x2 matrix Hamiltonian of the first order in derivatives. We find integrals of motion of…
In this work we show how the criterion of asymptotic Hamiltonian diagonalization originated in hybrid quantum cosmology serves to pick out a unique vacuum for the Dirac field in de Sitter, in the context of quantum field theory in curved…
Analogous to regular string and tree languages, regular languages of directed acyclic graphs (DAGs) are defined in the literature. Although called regular, those DAG-languages are more powerful and, consequently, standard problems have a…
One of the main claims of the paper is that Dirac's calculus and broader theories of physics can be treated as theories written in the language of Continuous Logic. Establishing its true interpretation (model) is a model theory problem. The…
Labelled Dirac notation is a formalism commonly used by physicists to represent many-body quantum systems and by computer scientists to assert properties of quantum programs. It is supported by a rich equational theory for proving equality…