Related papers: String Diagram Rewrite Theory II: Rewriting with S…
In recent years, diagrammatic languages have been shown to be a powerful and expressive tool for reasoning about physical, logical, and semantic processes represented as morphisms in a monoidal category. In particular, categorical quantum…
Currently, string theory represents the only advanced approach to a unification of all interactions, including gravity. In spite of the more than thirty years of its existence it did not make any empirically testable predictions. And it is…
We discuss an explicit construction of a string dual for the Gaussian matrix model. Starting from the matrix model and employing Strebel differential techniques we deduce hints about the structure of the dual string. Next, following these…
We introduce a general diagrammatic theory of digital circuits, based on connections between monoidal categories and graph rewriting. The main achievement of the paper is conceptual, filling a foundational gap in reasoning syntactically and…
This is a very brief survey of some results in the geometry of string duality delivered at a lecture given at ICM 1998, Berlin. String Duality is the statement that one kind of string theory compactified on one space is equivalent in some…
We review recent developments in duality symmetric string theory. We begin with the world sheet doubled formalism which describes strings in an extended space time with extra coordinates conjugate to winding modes. This formalism is…
String-to-string MSO interpretations are like Courcelle's MSO transductions, except that a single output position can be represented using a tuple of input positions instead of just a single input position. In particular, the output length…
In category theory, the use of string diagrams is well known to aid in the intuitive understanding of certain concepts, particularly when dealing with adjunctions and monoidal categories. We show that string diagrams are also useful in…
We define string geometry: spaces of superstrings including the interactions, their topologies, charts, and metrics. Trajectories in asymptotic processes on a space of strings reproduce the right moduli space of the super Riemann surfaces…
We study the CPT theorem for a two-dimensional conformal field theory on an arbitrary Riemann surface. On the sphere the theorem follows from the assumption that the correlation functions have standard hermiticity properties and are…
Duality symmetries for strings moving in non-trivial spacetime backgrounds are analysed. It is shown that for backgrounds generated from WZW and coset CFT models such duality symmetries are exact to all orders in string perturbation theory.…
For correlators in $\mathcal{N}=4$ Super Yang-Mills preserving half the supersymmetry, we manifestly recast the gauge theory Feynman diagram expansion as a sum over dual closed strings. Each individual Feynman diagram maps on to a Riemann…
Feynman diagram expressions in ordinary field theories can be written in a string-like manner. The methods and the advantages for doing so are briefly discussed.
Monographs are graph-like structures with directed edges of unlimited length that are freely adjacent to each other. The standard nodes are represented as edges of length zero. They can be drawn in a way consistent with standard graphs and…
String theory is the most promising candidate for the theory unifying all interactions including gravity. It has an extremely difficult dynamics. Therefore, it is useful to study some its simplifications. One of them is non-critical string…
The physical motivations and the basic construction rules for Type I strings and M-theory compactifications are reviewed in light of the recent developments. The first part contains the basic theoretical ingredients needed for building…
We define the concept of a monotonic theory and show how to build efficient SMT (SAT Modulo Theory) solvers, including effective theory propagation and clause learning, for such theories. We present examples showing that monotonic theories…
We show that two-dimensional SO(N) and Sp(N) Yang-Mills theories without fermions can be interpreted as closed string theories. The terms in the 1/N expansion of the partition function on an orientable or nonorientable manifold M can be…
The relationship between Term Graph Rewriting and Term Rewriting is well understood: a single term graph reduction may correspond to several term reductions, due to sharing. It is also known that if term graphs are allowed to contain…
In this dissertation, we study the generalized symmetries in supergravities and superconformal field theories from the string theory perspective. Part one is devoted to the study of string universality in high spacetime dimensions.…