相关论文: Dyck language and fermionic second quantization: I…

Bi-Hamiltonian structures involving Hamiltonian operators of degree 2 are studied. Firstly, pairs of degree 2 operators are considered in terms of an algebra structure on the space of 1-forms, related to so-called Fermionic Novikov…

In David Schmidt's PhD work he explored the use of denotational semantics as a programming language. It was part of an effort to not only treat formal semantics as specifications but also as interpreters and input to compiler generators.…

Multi-model databases are designed to store, manage, and query data in various models, such as relational, hierarchical, and graph data, simultaneously. In this paper, we provide a theoretical basis for querying categorical databases. We…

Dirac formalism of Hamiltonian constraint systems is studied for the noncommutative Abelian Proca field. It is shown that the system of constraints are of second class in agreement with the fact that the Proca field is not guage invariant.…

In recent years several novel models were developed to process natural language, development of accurate language translation systems have helped us overcome geographical barriers and communicate ideas effectively. These models are…

The principle of invariance of the c-number symmetric bracket is used to derive both the quantum operator commutator relation $[\hat q, \hat p]=i\hbar$ and the time-dependent Schr\"odinger equation. A c-number dynamical equation is found…

We construct the complete set of boundary states of two-dimensional fermionic CFTs using that of the bosonic counterpart. We see that there are two groups of boundary conditions, which contributes to the open-string partition function by…

An elementary presentation of the methods for the canonical quantization of constraint systems with Fermi variables is given. The emphasis is on the subtleties of the construction of an appropriate classical bracket that could be…

Parikh's Theorem is a fundamental result in automata theory with numerous applications in computer science: software verification (e.g. infinite-state verification, string constraints, and theory of arrays), verification of cryptographic…

Dirac's ket-bra formalism is the "language" of quantum mechanics and quantum field theory. In Refs.(Fan et al, Ann. Phys. 321 (2006) 480; 323 (2008) 500) we have reviewed how to apply Newton-Leibniz integration rules to Dirac's ket-bra…

We present an algebraic method to derive the structure at the basis of the mapping of bosonic algebras of creation and annihilation operators into fermionic algebras, and vice versa, introducing a suitable identification between bosonic and…

The notions of null-sets and nullity are present in all discourses of mathematics. They are based on the dual-pair of notions of "almost-every" and "almost none". A notion of nullity corresponds to a choice of subsets that one interprets as…

Traditionally, finite automata theory has been used as a framework for the representation of possibly infinite sets of strings. In this work, we introduce the notion of second-order finite automata, a formalism that combines finite automata…

Nonlinear pseudo-fermions of degree n (n-pseudo-fermions) are introduced as (pseudo) particles with creation and annihilation operators $a$ and $b$, $b \neq a^\dagger$, obeying the simple nonlinear anticommutation relation $ab + b^n a^n =…

Among the various forms of reasoning studied in the context of artificial intelligence, qualitative reasoning makes it possible to infer new knowledge in the context of imprecise, incomplete information without numerical values. In this…

Capture calculus has recently been proposed as a solution to effect checking, achieved by tracking the captured references of terms in the types. Boxes, along with the box and unbox operations, are a crucial construct in capture calculus,…

This paper examines language modeling based on the theory of quantum mechanics. It focuses on the introduction of quantum mechanics into the symbol-meaning pairs of language in order to build a representation model of natural language. At…

It has been proposed several times in the past that one can obtain an equivalent, but in many aspects simpler description of fermions by first reformulating their first-order (Dirac) Lagrangian in terms of two-component spinors, and then…

In this paper we provide a novel and general way to construct the result of the action of any bosonic or fermionic operator represented in second quantized form on a state vector, without resorting to the matrix representation of operators…

According to the necessary requirements for a chirally symmetric Dirac operator, we present a systematic construction of such operators. We formulate a criterion for the hermitian operator which enters the construction such that the doubled…