Related papers: FO-definable transformations of infinite strings

We study the symmetries of the two dimensional Heterotic string theory by following the approach of Kinnersley et al for the study of stationary-axially symmetric Einstein-Maxwell equations. We identify the finite dimensional groups $G'$…

We consider the dynamics of confined strings embedded in a gapless four-dimensional theory. To this end, we examine finite-tension string-like solutions to the equations of motion of the $\mathbb{C}\mathbb{P}^1$ non-linear sigma model. We…

In this paper, which is a revised version of the author's PhD thesis, we analyze two different applications of string theory. In the first part, we focus on four dimensional compactifications of Type II string theories preserving N=1…

In this work we develop a theory of Vessels. This object arises in the study of overdetermined 2D systems invariant in one of the variables, which are usually called time invariant. To each overdetermined time invariant 2D systems there is…

We investigate the tree-to-tree functions computed by "affine $\lambda$-transducers": tree automata whose memory consists of an affine $\lambda$-term instead of a finite state. They can be seen as variations on Gallot, Lemay and Salvati's…

Higher-order pushdown systems and ground tree rewriting systems can be seen as extensions of suffix word rewriting systems. Both classes generate infinite graphs with interesting logical properties. Indeed, the model-checking problem for…

String theory is the leading contemporary framework to explore the synthesis of quantum mechanics with gravity. String phenomenology aims to study string theory while maintaining contact with observational data. The fermionic $Z_2\times…

The recent developments in string theory suggest that the space-time coordinates should be generalized to non-commuting matrices. Postulating this suggestion as the fundamental geometrical principle, we formulate a candidate for covariant…

We consider the two-variable fragment of first-order logic with one distinguished binary predicate constrained to be interpreted as a transitive relation. The finite satisfiability problem for this logic is shown to be decidable, in triply…

Timelike T-duality of string theory appears as a symmetry of time evolution in string field theory, exchanging evolution through times t and 1/t, and exchanging boundary states with backgrounds. This is demonstrated by constructing the…

We present a perturbative derivation of the T-system that is believed to encode the exact spectrum of planar N=4 SYM. The T-system is understood as an operator identity between some special line operators, the quantum transfer matrices. By…

Some modal (or decoupled) transmission-line properties such as per-unit-length impedance, admittance, or characteristic impedance have long been held to be, in general, non-unique. This ambiguity arises from the nature of the similarity…

We introduce a high-level language with Python-like syntax for string-to-string, polyregular, first-order definable transductions. This language features function calls, boolean variables, and nested for-loops. We devise and implement a…

We give a non-perturbative completion of a class of closed topological string theories in terms of building blocks of dual open strings. In the specific case where the open string is given by a matrix model these blocks correspond to a…

The question whether P equals NP revolves around the discrepancy between active production and mere verification by Turing machines. In this paper, we examine the analogous problem for finite transducers and automata. Every nondeterministic…

We study multimodal logics over universally first-order definable classes of frames. We show that even for bimodal logics, there are universal Horn formulas that define set of frames such that the satisfiability problem is undecidable, even…

We consider the problem of counting the number of linear transformation shift registers (TSRs) of a given order over a finite field. We derive explicit formulae for the number of irreducible TSRs of order two. An interesting connection…

We compare the expressiveness of two extensions of monadic second-order logic (MSO) over the class of finite structures. The first, counting monadic second-order logic (CMSO), extends MSO with first-order modulo-counting quantifiers,…

Non-geometric frames in string theory are related to the geometric ones by certain local O(D,D) transformations, the so-called $\beta$-transforms. For each such transformation, we show that there exists both a natural field redefinition of…

We examine the modular properties of nonrenormalizable superpotential terms in string theory and show that the requirement of modular invariance necessitates the nonvanishing of certain Nth order nonrenormalizable terms. In a class of…