相关论文: Dyck language and fermionic second quantization: I…
Most fuzzy systems including fuzzy decision support and fuzzy control systems provide out-puts in the form of fuzzy sets that represent the inferred conclusions. Linguistic interpretation of such outputs often involves the use of linguistic…
We propose a new framework for integrating quantifiers with other logical connectives in a higher-categorical setting. Our method systematically incorporates key coherence conditions-including those akin to the Beck-Chevalley property-and…
We construct a quantum mechanics based on the hypothesis of existing compact extra dimensions for a particle that wants to detect it. By introducing a probability function, we express the transition of particle to the extra 2d window. The…
We discuss the prospects of performing high-order perturbative calculations in systems characterized by a vanishing temperature but finite density. In particular, we show that the determination of generic Feynman integrals containing…
The paper investigates the power of the dynamic complexity classes DynFO, DynQF and DynPROP over string languages. The latter two classes contain problems that can be maintained using quantifier-free first-order updates, with and without…
A comprehensive input-output theory is developed for Fermionic input fields. Quantum stochastic differential equations are developed in both the Ito and Stratonovich forms. The major technical issue is the development of a formalism which…
The Dirac method of canonical quantization of theories with second class constraints has to be modified if the constraints depend on time explicitly. A solution of the problem was given by Gitman and Tyutin. In the present work we propose…
The Szymanzik improvement program for gauge theories is most commonly implemented using forward finite difference corrections to the Wilson action. Central symmetric schemes naively applied, suffer from a doubling of degrees of freedom,…
This article contains ideas and their elaboration for quantifiers, which appeared after checking in practice the experimental language of the formal knowledge representation YAFOLL [1]: - looking at for_all and exists quantifiers as…
We show that bosonization in two dimensions can be derived as a special case of the duality transformations that have recently been used to good effect in string theory. This allows the construction of the bosonic counterpart of any…
In this sequel to my previous paper, "Is String Theory in Knots?" I explore ways of constructing symmetries through an algebraic stepping process using knotted graphs. The hope is that this may lead to an algebraic formulation of string…
Dependence logic provides an elegant approach for introducing dependencies between variables into the object language of first-order logic. In [1] generalized quantifiers were introduced in this context. However, a satisfactory account was…
This paper proposes a novel approach to quantizing Nambu brackets in classical mechanics using operator formalism. The approach employs the ``Planck derivative'' to represent Nambu brackets, from which we derive a commutation relation 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…
The general procedure of constructing a consistent covariant Dirac-type bracket for models with mixed first and second class constraints is presented. The proposed scheme essentially relies upon explicit separation of the initial…
Mass dimension one fermionic fields are prime candidates to describe dark matter, due to their intrinsic neutral nature, as they are constructed as eigenstates of the charge conjugation operator with dual helicity. To formulate the meaning…
Originally inspired by categorical quantum mechanics (Abramsky and Coecke, LiCS'04), the categorical compositional distributional model of natural language meaning of Coecke, Sadrzadeh and Clark provides a conceptually motivated procedure…
In a series of recent scientific contributions the role of bosonic and fermionic ladder operators in a macroscopic realm has been investigated. Creation, annihilation and number operators have been used in very different contexts, all…
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,…
We introduce a novel quantum programming language featuring higher-order programs and quantum controlflow which ensures that all qubit transformations are unitary. Our language boasts a type system guaranteeingboth unitarity and…