Related papers: FO-definable transformations of infinite strings
Instead of the infinitesimal extrinsic and intrinsic perturbations on strings, considered so far, we discuss the evolution and propagation of finite-amplitude perturbations. Those intrinsic perturbations may result in appearance of stable…
We prove the existence of a canonical form for semi-deterministic transducers with incomparable sets of output strings. Based on this, we develop an algorithm which learns semi-deterministic transducers given access to translation queries.…
We study some of the novel properties of conformal field theories with noncompact target spaces as applied to string theory. Standard CFT results get corrected by boundary terms in the target space in a way consistent with the expected…
We study string compactifications with sixteen supersymmetries. The moduli space for these compactifications becomes quite intricate in lower dimensions, partly because there are many different irreducible components. We focus primarily,…
An infinite number of distinct $d=1$ matrix models reproduce the perturbation theory of $d=2$ string theory. Due to constraints of causality, however, we argue that none of the existing constructions gives a consistent nonperturbative…
We study deformations of closed string theory by primary fields of conformal weight $(1,1)$, using conformal techniques on the complex plane. A canonical surface integral formalism for computing commutators in a non-holomorphic theory is…
When the steady states at infinity become unstable through a pattern forming bifurcation, a travelling wave may bifurcate into a modulated front which is time-periodic in a moving frame. This scenario has been studied by B.Sandstede and…
Superconductors are the only experimentally accessible systems with spontaneously broken gauge symmetries which support topologically nontrivial defects, namely string defects. We propose two experiments whose aim is the observation of the…
We consider a conformal system of a string and a particle defined in D=10+2 space-time dimensions. The extra time-like dimension is a gauge artifact and can be eliminated by choosing a gauge in which the SO(10,1) Lorentz symmetry is…
Motivated by a recent conjecture concerning the expressiveness of declarative networking, we propose a formal computation model for "eventually consistent" distributed querying, based on relational transducers. A tight link has been…
We develop a fully diagrammatic approach to the theory of finite-state automata, based on reinterpreting their usual state-transition graphical representation as a two-dimensional syntax of string diagrams. Moreover, we provide an…
We argue that apart from the standard closed and open strings one may consider a third possibility that we call monodromic strings. The monodromic string propagating on a target looks like an ordinary open string (a mapping from a segment…
Percolation establishes the connectivity of complex networks and is one of the most fundamental critical phenomena for the study of complex systems. On simple networks, percolation displays a second-order phase transition; on multiplex…
We consider the two-variable fragment FO^2[<] of first-order logic over finite words. Numerous characterizations of this class are known. Th\'erien and Wilke have shown that it is decidable whether a given regular language is definable in…
In this paper the $c=1$ string theory is studied from the point of view of topological field theories. Calculations are done for arbitrary genus. A change in the prescription is proposed, which reproduces the results of the $1/x^2$ deformed…
We study several classes of indecomposable representations of quivers on infinite-dimensional Hilbert spaces and their relation. Many examples are constructed using strongly irreducible operators. Some problems in operator theory are…
The past year has seen enormous progress in string theory. It has become clear that all of the different string theories are different limits of a single theory. Moreover, in certain limits, one obtains a new, eleven-dimensional structure…
We identify a subclass of the regular commutative languages that is closed under the iterated shuffle, or shuffle closure. In particular, it is regularity-preserving on this subclass. This subclass contains the commutative group languages…
We bring forward a logical system of transition algebras that enhances many-sorted first-order logic using features from dynamic logics. The sentences we consider include compositions, unions, and transitive closures of transition…
The first-order theory of finite and infinite trees has been studied since the eighties, especially by the logic programming community. Following Djelloul, Dao and Fr\"uhwirth, we consider an extension of this theory with an additional…