Related papers: Dyck language and fermionic second quantization: I…
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…
Recently, Kenyon and Wilson introduced Dyck tilings, which are certain tilings of the region between two Dyck paths. The enumeration of Dyck tilings is related with hook formulas for forests and the combinatorics of Hermite polynomials. The…
A categorical axiomatic theory of creation/annihilation operators on bosonic Fock space is introduced and the combinatorial model that motivated it is presented. Commutation relations and coherent states are considered in both frameworks.
In a companion paper (hereafter referred to as Paper I), we have presented an attempt to derive the finite-dimensional abstract quantum formalism from a set of physically comprehensible assumptions. In this paper, we formulate a…
The downward closure of a language $L$ of words is the set of all (not necessarily contiguous) subwords of members of $L$. It is well known that the downward closure of any language is regular. Although the downward closure seems to be a…
In this article we investigate the relation between consequences of Dirichlet boundary conditions (momenta noncommutativity and parameters of the effective theory) and background fields of fermionic T-dual theory. We impose Dirichlet…
The recently modified Faddeev-Jackiw formalism for systems having one chain of four levels of only second-class constraints is applied to the non-trivial a=1 bosonized chiral Schwinger model in (1+1) dimensions as well as to one mechanical…
Equality of the second order arithmetic means of two principal ideals does not imply equality of their first order arithmetic means (second order equality cancellation). We provide fairly broad sufficient conditions on one of the principal…
We propose a new generalization of the standard (anti-)commutation relations for creation and annihilation operators of bosons and fermions. These relations preserve the usual symmetry properties of bosons and fermions. Only the standard…
In many-particle problems involving interacting fermions or bosons, the most natural language for expressing the Hamiltonian, the observables, and the basis states is the language of the second-quantization operators. It thus appears…
We take quantum theory and replace $\mathbb{C}$ by $\mathbb{C}[\varepsilon]$ where $\varepsilon^2=0$, i.e. we extend quantum theory to the ring of dual complex numbers. The aim is to develop a common language in which to treat continuous…
There are many ways to represent the syntax of a language with binders. In particular, nominal frameworks are metalanguages that feature (among others) name abstraction types, which can be used to specify the type of binders. The resulting…
We introduce a "second-quantized" representation of the ring of symmetric functions to further develop a purely second-quantized -- or "lattice" -- approach to the study of zero modes of frustration free Haldane-pseudo-potential-type…
Quantum measurements are the means by which we recover messages encoded into quantum states. They are at the forefront of quantum hypothesis testing, wherein the goal is to perform an optimal measurement for arriving at a correct…
In this article we propose a `second quantization' scheme especially suitable to deal with non-trivial, highly symmetric phase spaces, implemented within a more general Group Approach to Quantization, which recovers the standard Quantum…
We discuss possible definitions of discrete Dirac operators, and discuss their continuum limits. It is well-known in the lattice field theory that the straightforward discretization of the Dirac operator introduces unwanted spectral…
We analyze how symmetries can be used to compress structures (also known as interpretations) onto a smaller domain without loss of information. This analysis suggests the possibility to solve satisfiability problems in the compressed domain…
It is shown how to endow a hierarchy of sets of binary patterns with the structure of an abstract,normed C*-algebra. In the course we also recover an intermediate connection with the words of a Dyck language and Tempereley-Lieb algebras for…
We contribute to the knowledge of the quantifier completions and their applications by using the language of doctrines. This algebraic presentation allows us to properly analyse the behaviour of the existential and universal quantifiers. We…
In the paper "Constraint Quantization of Open String in Background $B$ field and Noncommutative D-brane", it is claimed that the boundary conditions lead to an infinite set of secondary constraints and Dirac brackets result in a…