Related papers: Strings from Logic
We give a rough description of the 'categories' formed by quantum field theories. A few recent mathematical conjectures derived from quantum field theories, some of which are now proven theorems, will be presented in this language.
At the present time, string theory (and its generalizations) remain relatively abstruse subjects to the particle phenomenologist and experimentalist. Yet, striking developments of the last two years offer hope that a fundamental…
The origins of proof-theoretic semantics lie in the question of what constitutes the meaning of the logical connectives and its response: the rules of inference that govern the use of the connective. However, what if we go a step further…
A covariant calculus for the construction of effective string theories is developed. Effective string theory, describing quantum string-like excitations in arbitrary dimension, has in the past been constructed using the principles of…
A string field theory including open string fields is constructed in the temporal gauge. It consists of string interaction vertices similar to the light-cone gauge string field theory. A slight modification of the definition of the time…
An overview is given of the way in which the unification program of particle physics has evolved into the proposal of superstring theory as a prime candidate for unifying quantum gravity with the other forces and particles of nature. A key…
String diagrams are a powerful tool for reasoning about composite structures in symmetric monoidal categories. By representing string diagrams as graphs, equational reasoning can be done automatically by double-pushout rewriting. !-graphs…
A personal view is given of the development of string theory out of dual models, including the analysis of the structure of the physical states and the proof of the No-Ghost Theorem, the quantization of the relativistic string, and the…
We propose a new way of second quantizing string theory. The method is based on considering the Fock space of strings described by constituents which make up the $X^\mu_R$ and the $X^\mu_L$ i.e. the right and left mover modes separately. A…
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…
String cosmology aims at providing a reliable description of the very early Universe in the regime where standard-model physics is no longer appropriate, and where we can safely apply the basic ingredients of superstring models such as…
String diagrams are an increasingly popular algebraic language for the analysis of graphical models of computations across different research fields. Whereas string diagrams have been thoroughly studied as semantic structures, much less…
The various sources of Rational Terms contributing to the one-loop amplitudes are critically discussed. We show that the terms originating from the generic (n-4)-dimensional structure of the numerator of the one-loop amplitude can be…
Some problems in finding a complete quantum theory incorporating gravity are discussed. One is that of giving a consistent unitary description of high-energy scattering. Another is that of giving a consistent quantum description of…
The solution term by term to the scattering of all consistent string theories is given. The moduli space of M-theory is derived and connects the various string theories. The solutions contain both the perturbative and non-perturbative…
We consider a string theory with two types of strings with geometric interaction. We show that the theory contains strings with constant Dirichlet boundary condition and those strings are glued together by 2-d topological gravity with…
String theory predicts that the couplings of Nature descend from dynamical fields. All known string-motivated particle physics models also come with a wide range of possible extra sectors. It is common to posit that such moduli are frozen…
Proofs are traditionally syntactic, inductively generated objects. This paper reformulates first-order logic (predicate calculus) with proofs which are graph-theoretic rather than syntactic. It defines a combinatorial proof of a formula…
This is a rendering of a review talk on the state of String Theory, given at the EPS-2003 Conference, intended for a wide audience of experimental and theoretical physicists. It emphasizes general ideas rather than technical aspects.
The phenomenological aspects of string theory are briefly reviewed. Emphasis is given to the status of 4D string model building, effective Lagrangians, model independent results, supersymmetry breaking and duality symmetries.