Related papers: String chopping and time-ordered products of linea…
The divergences that arise in the regularized partition function for closed bosonic string theory in flat space lead to three types of perturbation series expansions, distinguished by their genus dependence. This classification of…
Modular crossed product algebras have recently assumed an important role in perturbative quantum gravity as they lead to an intrinsic regularization of entanglement entropies by introducing quantum reference frames (QRFs) in place of…
First-order temporal logics are notorious for their bad computational behaviour. It is known that even the two-variable monadic fragment is highly undecidable over various linear timelines, and over branching time even one-variable…
In this thesis quantum gauge theories are considered in the framework of local, causal perturbation theory. Gauge invariance is described in terms of the BRS formalism. Local interacting field operators are constructed perturbatively and…
This is the 5-th paper in the series devoted to explicit formulating of the rules needed to manage an effective field theory of strong interactions in S-matrix sector. We discuss the principles of constructing the meaningful perturbation…
We solve the satisfiability problem for a three-sorted fragment of set theory (denoted $3LQST_0^R$), which admits a restricted form of quantification over individual and set variables and the finite enumeration operator $\{\text{-},…
We present a Lagrangian approach to counting degrees of freedom in first-order field theories. The emphasis is on the systematic attainment of a complete set of constraints. In particular, we provide the first comprehensive procedure to…
The notion of bounded expansion captures uniform sparsity of graph classes and renders various algorithmic problems that are hard in general tractable. In particular, the model-checking problem for first-order logic is fixed-parameter…
Definite descriptions, such as 'the General Chair of KR 2024', are a semantically transparent device for object identification in knowledge representation. In first-order modal logic, definite descriptions have been widely investigated for…
We analyze, starting from first principles, the quantization of field theories, in order to find out to which problems a noncommutative time would possibly lead. We examine the problem in the interaction picture (Tomonaga-Schwinger…
T-duality of string theory suggests nonlocality manifested as the shortest possible distance. As an alternative, we suggest a nonlocal formulation of string theory that breaks T-duality at the fundamental level and does not require the…
Timed words are words where letters of the alphabet come with time stamps. We extend the definitions of semistandard tableaux, insertion, Knuth equivalence, and the plactic monoid to the setting of timed words. Using this, Greene's theorem…
Classical bosonic open string models in fourdimensional Minkowski spacetime are discussed. A special attention is paid to the choice of edge conditions, which can follow consistently from the action principle. We consider lagrangians that…
We formulate the string field theory in zero-dimensional target space corresponding to the two-dimensional quantum gravity theory defined through Causal Dynamical Triangulations. This third quantization of the quantum gravity theory allows…
Linear temporal logic (LTL) is a specification language for finite sequences (called traces) widely used in program verification, motion planning in robotics, process mining, and many other areas. We consider the problem of learning LTL…
We discuss the issue of going off-shell in the proper time formalism. This is done by keeping a finite world sheet cutoff. We construct one example of an off-shell covariant Klein Gordon type interaction. For a suitable choice of the gauge…
For a text given in advance, the substring minimal suffix queries ask to determine the lexicographically minimal non-empty suffix of a substring specified by the location of its occurrence in the text. We develop a data structure answering…
Starting from the Abelian Higgs field theory, we construct the theory of quantum Abrikosov--Nielsen--Olesen strings. It is shown that in four space -- time dimensions in the limit of infinitely thin strings, the conformal anomaly is absent,…
In this paper we present a unified Lagrangian--Hamiltonian geometric formalism to describe time-dependent contact mechanical systems, based on the one first introduced by K. Kamimura and later formalized by R. Skinner and R. Rusk. This…
Marchesini showed that the Fokker-Planck Hamiltonian for Yang-Mills theories is the loop operator. Jevicki and Rodrigues showed that the Fokker-Planck Hamiltonian of some matrix models co\"\i ncides with temporal gauge non-critical string…