Related papers: A Solver for a Theory of Strings and Bit-vectors
Burrows-Wheeler transform (BWT) is an invertible text transformation that, given a text $T$ of length $n$, permutes its symbols according to the lexicographic order of suffixes of $T$. BWT is one of the most heavily studied algorithms in…
We study string theory on the extended spacetime of the BTZ black hole, as described by an orbifold of the SL(2,R) WZW model. The full spacetime has an infinite number of disconnected boundary components, each corresponding to a dual CFT.…
We present a new approach for generation of solutions in the four-dimensional heterotic string theory with one vector field and in the five-dimensional bosonic string theory starting from the static Einstein-Maxwell fields. Our approach…
The minimizers sampling mechanism is a popular mechanism for string sampling introduced independently by Schleimer et al. [SIGMOD 2003] and by Roberts et al. [Bioinf. 2004]. Given two positive integers $w$ and $k$, it selects the…
Reasoning about array data structures is a key requirement for many applications in hardware and software verification, especially in combination with machine integers. The Satisfiability Modulo Theories (SMT) theory of extensional arrays…
The SL(2,R) WZW model, one of the simplest models for strings propagating in curved space time, was believed to be non-unitary in the algebraic treatment involving affine current algebra. It is shown that this was an error that resulted…
The new principle of constrained twistor-like variables is proposed for construction of the Cartan 1-forms on the worldsheet of the D=3,4,6 bosonic strings. The corresponding equations of motion are derived. Among them there are two…
We regulate Witten's open superstring field theory by replacing the picture-changing insertion at the midpoint with a contour integral of picture changing insertions over the half-string overlaps of the cubic vertex. The resulting product…
We construct a new class of exact and stable superstring solutions based on $N=4$ superconformal world-sheet symmetry. In a subclass of these, the full spectrum of string excitations is derived in a modular-invariant way. In the weak…
A string matching -- and more generally, sequence matching -- algorithm is presented that has a linear worst-case computing time bound, a low worst-case bound on the number of comparisons (2n), and sublinear average-case behavior that is…
In this semi-technical review we discuss string theory (and all that goes by that name) as a framework for a quantum theory of gravity. This is a new paradigm in theoretical physics that goes beyond relativistic quantum field theory. We…
In this work, we study the solution of shortest vector problems (SVPs) arising in terms of learning with error problems (LWEs). LWEs are linear systems of equations over a modular ring, where a perturbation vector is added to the right-hand…
(This talk was presented at the Third International Wigner Symposium on Group Theory, Oxford, September, 1993.) Matrix models provides us with the most powerful framework in which to analyze D=2 string theory, yet some of its miraculous…
The unitarity problem in curved spacetime is solved for the string described by the SL(2,R) WZW model. The spectrum is computed exactly and demonstratedto be ghost-free. The new features include (i) SL(2,R) left/right symmetrycurrents that…
Buffer overflow detection and mitigation for C programs has been an important concern for a long time. This paper defines a string buffer overflow analysis for C programs. The key ideas of our formulation are (a) separating buffers from the…
Important illustration to the principle ``partition functions in string theory are $\tau$-functions of integrable equations'' is the fact that the (dual) partition functions of $4d$ $\mathcal{N}=2$ gauge theories solve Painlev\'e equations.…
We discuss the modular invariance of the SL(2,R) WZW model. In particular, we discuss in detail the modular invariants using the \hat{sl}(2,R) characters based on the discrete unitary series of the SL(2,R) representations. The explicit…
We review known exact classical solutions in (bosonic) string theory. The main classes of solutions are `cosets' (gauged WZW models), `plane wave'-type backgrounds (admitting a covariantly constant null Killing vector) and `$F$-models'…
Artificial Intelligence problems, ranging form planning/scheduling up to game control, include an essential crucial step: describing a model which accurately defines the problem's required data, requirements, allowed transitions and…
We calculate the spectrum of a two dimensional CFT on a cylinder, perturbed by a general linear combination of $T\bar{T}$, $J\bar{T}$ and $T\bar{J}$, by utilizing the relation of this problem to certain solvable single trace current-current…