Related papers: String Theory: a theory in search of an experiment

Effective theories based on experimental data provide powerful probes and tests of underlying theories in elementary particle physics. Examples within and beyond the Standard Model are discussed, including a specific model for supersymmetry…

This is a survey article on the recent development of "stringy geometry and topology of orbifolds", a new subject of mathematics motivated by orbifold string theory.

The strong coupling limit of a quantum system is in general quite complicated, but in some cases a great simplification occurs: the strongly coupled limit is equivalent to the weakly coupled limit of some other system. In string theory…

These are my personal impressions of the environment in which string theory was born, and what the important developments affecting my work were during the hadronic string era, 1968-1974. I discuss my motivations and concerns at 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…

This is a completely reformulated presentation of a previous paper with the same title; this time with a much stronger emphasis on conceptual aspects of string theory and a detailed review of its already more than four decades lasting…

This article reviews recent developments in the study of universes with a positive cosmological constant in string theory.

At its very beginning, the universe is believed to have grown exponentially in size via the mechanism of inflation. The almost scale-invariant density perturbation spectrum predicted by inflation is strongly supported by cosmological…

In an effort to promote communication between the formal and phenomenological branches of the high-energy theory community, we provide a description of some important issues in supersymmetric and string phenomenology. We describe each…

This book provides an introduction to string field theory (SFT). String theory is usually formulated in the worldsheet formalism, which describes a single string (first-quantization). While this approach is intuitive and could be pushed far…

In this article, prepared for the book "The birth of string theory", I recall the sequence of ideas which led to non-critical strings and gauge/strings duality. I also comment on some promising future directions.

Although reasoning about equations over strings has been extensively studied for several decades, little research has been done for equational reasoning on general clauses over strings. This paper introduces a new superposition calculus…

In the present paper we consider quantum theories obtained by quantization of classical theories with first-class constraints assuming that these constraints form a Lie algebra. We show that in this case, one can construct physical…

We give an elementary introduction to classical and quantum bosonic string theory.

Over the last few years, string theory has changed profoundly. Most importantly, novel duality relations have emerged which involve gauge theories of brane excitations on one side and various closed string backgrounds on the other. In this…

The cosmic string theory for cosmological fluctuations is a good example of healthy scientific progress in cosmology. It is a well defined physically motivated model that has been tested by cosmological observations and has been ruled out…

These are lecture notes on string theory at Fudan University.

Identifying string theory vacua with desired physical properties at low energies requires searching through high-dimensional solution spaces - collectively referred to as the string landscape. We highlight that this search problem is…

There is evidence that string theory possesses a large discretuum of stable and/or metastable ground states, with zero or four supersymmetries in four dimensions. I discuss critically the nature of this evidence. Assuming this "landscape"…

The theory of sequences, supported by many SMT solvers, can model program data types including bounded arrays and lists. Sequences are parameterized by the element data type and provide operations such as accessing elements, concatenation,…