English
Related papers

Related papers: A Solver for a Theory of Strings and Bit-vectors

200 papers

We study the perturbative S-matrix of closed strings in the two-dimensional type 0B string theory from the worldsheet perspective, by directly integrating correlation functions of ${\cal N}=1$ Liouville theory. The latter is computed…

High Energy Physics - Theory · Physics 2023-06-14 Bruno Balthazar , Victor A. Rodriguez , Xi Yin

We address the satisfiability problem for string constraints that combine relational constraints represented by transducers, word equations, and string length constraints. This problem is undecidable in general. Therefore, we propose a new…

Formal Languages and Automata Theory · Computer Science 2023-07-11 Parosh Aziz Abdulla , Mohamed Faouzi Atig Bui Phi Diep , Lukáš Holík , Petr Janků

We discuss a number of issues arising when computing non-perturbative effects systematically across the string theory landscape. In particular, we cast the study of fairly generic physical properties into the language of…

High Energy Physics - Theory · Physics 2015-05-20 Mirjam Cvetič , Iñaki García-Etxebarria , James Halverson

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…

High Energy Physics - Theory · Physics 2015-06-04 K. S. Stelle

A new class of twistor-like string models in four-dimensional space-time extended by the addition of six tensorial central charge (TCC) coordinates $z_{mn}$ is studied. The Hamiltonian of tensionless string in the extended space-time is…

High Energy Physics - Theory · Physics 2014-11-18 A. A. Zheltukhin , U. Lindström

Attempts to connect string theory with astrophysical observation are hampered by a jargon barrier, where an intimidating profusion of orientifolds, Kahler potentials, etc. dissuades cosmologists from attempting to work out the astrophysical…

Astrophysics · Physics 2008-11-26 Mark P. Hertzberg , Max Tegmark , Shamit Kachru , Jessie Shelton , Onur Ozcan

We return to and refine Zwiebach's formulation of closed string field theory (CSFT) built around non-critical backgrounds [1,2], restricting our attention to genus zero. The structure involves a special string state $F$ that encodes the…

High Energy Physics - Theory · Physics 2026-05-22 Amr Ahmadain , Alexander Frenkel , Xi Yin

We study the dynamics of strings by means of a distribution function f(A, B, x, t) defined on a 9+1D phase space, where A and B are the correlation vectors of right- and left-moving waves. We derive a transport equation (an analogous to…

High Energy Physics - Theory · Physics 2011-06-07 Vitaly Vanchurin

We study algorithms for solving three problems on strings. The first one is the Most Frequently String Search Problem. The problem is the following. Assume that we have a sequence of $n$ strings of length $k$. The problem is finding the…

Quantum Physics · Physics 2020-01-08 Kamil Khadiev , Artem Ilikaev

We show that, in string theory, as a result of the $W_{\infty}$-symmetries that preserve quantum coherence in the {\it full} string theory by coupling different mass levels, transitions between initial- and final-state density matrices for…

High Energy Physics - Theory · Physics 2007-05-23 J Ellis , N E Mavromatos , D V Nanopoulos

Spectra of a string in $ SL(2,R) $ and three dimensional (BTZ) black hole geometry are discussed. We consider a free field realization of ^sl (2,R) different from the standard ones in treatment of zero-modes. Applying this to the string…

High Energy Physics - Theory · Physics 2009-10-30 Yuji Satoh

We propose an approach to formulating string theory in a curved spacetime, which is based on the connection between the states of the WZW model for the isometry group of a background spacetime metric and the representations of the…

High Energy Physics - Theory · Physics 2007-05-23 A. Mikovic

In this paper, we consider two versions of the Text Assembling problem. We are given a sequence of strings $s^1,\dots,s^n$ of total length $L$ that is a dictionary, and a string $t$ of length $m$ that is texts. The first version of the…

Quantum Physics · Physics 2024-04-05 Kamil Khadiev , Carlos Manuel Bosch Machado , Zeyu Chen , Junde Wu

We present a number of D=4 bosonic and heterotic string solutions with a covariantly constant null Killing vector which, like the solution of Nappi and Witten (NW), correspond to (gauged) WZW models and thus have a direct conformal field…

High Energy Physics - Theory · Physics 2009-09-17 K. Sfetsos , A. A. Tseytlin

Mantaci et al. [TCS 2007] defined the eBWT to extend the definition of the BWT to a collection of strings, however, since this introduction, it has been used more generally to describe any BWT of a collection of strings and the fundamental…

Data Structures and Algorithms · Computer Science 2021-06-22 Christina Boucher , Davide Cenzato , Zsuzsanna Lipták , Massimiliano Rossi , Marinella Sciortino

We review recent progress in embedding the supersymmetric standard model into string theory. We discuss how, with the incorporation of certain aspects of grand unification, a search strategy can be developed that allows to efficiently find…

High Energy Physics - Theory · Physics 2009-02-18 Hans Peter Nilles , Saul Ramos-Sanchez , Michael Ratz , Patrick K. S. Vaudrevange

We prove local background independence of the complete quantum closed string field theory using the recursion relations for string vertices and the existence of connections in CFT theory space. Indeed, with this data we construct an…

High Energy Physics - Theory · Physics 2009-09-15 Ashoke Sen , Barton Zwiebach

This review summarizes the recent developments in topological string theory from the author's perspective, mostly focused on aspects of research in which the author is involved. After a brief overview of the theory, we discuss two aspects…

High Energy Physics - Theory · Physics 2019-01-15 Min-xin Huang

MATLAB is a mathematical computing environment used by many engineers, mathematicians, and students to process and understand their data. Important to all data science is the managing of textual data. MATLAB supports two textual data…

Performance · Computer Science 2021-09-28 Travis Near

The longest common subsequence (LCS) problem is a central problem in stringology that finds the longest common subsequence of given two strings $A$ and $B$. More recently, a set of four constrained LCS problems (called generalized…

Data Structures and Algorithms · Computer Science 2020-01-17 Kohei Yamada , Yuto Nakashima , Shunsuke Inenaga , Hideo Bannai , Masayuki Takeda