Self-dual super-Yang-Mills as a string theory in (x, θ) space

Different string theories in twistor space have recently been proposed for describing N = 4 super-Yang-Mills. In this paper, a string theory in (x, θ) space is constructed for self-dual N = 4 super-Yang-Mills. It is hoped that these results will be useful for understanding the twistor-string proposals and their possible relation with the pure spinor formalism of the D = 10 superstring. © SISSA/ISAS 2004.

Conformal supergravity in twistor-string theory

Conformal supergravity arises in presently known formulations of twistor-string theory either via closed strings or via gauge-singlet open strings. We explore this sector of twistor-string theory, relating the relevant string modes to the particles and fields of conformal supergravity. We use the twistor-string theory to compute some tree level scattering amplitudes with supergravitons. Since the supergravitons interact with the same coupling constant as the Yang-Mills fields, conformal supergravity states will contribute to loop amplitudes of Yang-Mills gluons in these theories. Those loop amplitudes will therefore not coincide with the loop amplitudes of pure super Yang-Mills theory. © SISSA/ISAS 2004.

Multiloop amplitudes and vanishing theorems using the pure spinor formalism for the superstring

A ten-dimensional super-Poincaré covariant formalism for the superstring was recently developed which involves a BRST operator constructed from superspace matter variables and a pure spinor ghost variable. A super-Poincaré covariant prescription was defined for computing tree amplitudes and was shown to coincide with the standard RNS prescription. In this paper, picture-changing operators are used to define functional integration over the pure spinor ghosts and and to construct a suitable b ghost. A super-Poincaré covariant prescription is then given for the computation of N-point multiloop amplitudes. One can easily prove that massless N-point multiloop amplitudes vanish for N < 4, confirming the perturbative finiteness of superstring theory. One can also prove the Type IIB S-duality conjecture that R4 terms in the effective action receive no perturbative contributions above one loop. © SISSA/ISAS 2004.

WZW-like action for heterotic string field theory

We complete the construction of the Neveu-Schwarz sector of heterotic string field theory begun in [9] by giving a closed-form expression for the action and gauge transformations. Just as the Wess-Zumino-Witten (WZW) action for open superstring field theory can be constructed from pure-gauge fields in bosonic open string field theory, our heterotic string field theory action is constructed from pure-gauge fields in bosonic closed string field theory. The construction involves a simple alternative form of the WZW action which is consistent with the algebraic structures of closed string field theory. © SISSA/ISAS 2004.

Relating the Green-Schwarz and pure spinor formalisms for the superstring

Although it is not known how to covariantly quantize the Green-Schwarz (GS) superstring, there exists a semi-light-cone gauge choice in which the GS superstring can be quantized in a conformally invariant manner. In this paper, we prove that BRST quantization of the GS superstring in semi-light-cone gauge is equivalent to BRST quantization using the pure spinor formalism for the superstring © SISSA/ISAS 2005.

Quantum consistency of the superstring

Using arguments based on BRST cohomology, the pure spinor formalism for the superstring in an AdS 5×S 5 background is proven to be BRST invariant and conformally invariant at the quantum level to all orders in perturbation theory. Cohomology arguments are also used to prove the existence of an infinite set of non-local BRST-invariant charges at the quantum level. © SISSA 2005.

Pure spinor formalism as an N ≤ 2 topological string

Following suggestions of Nekrasov and Siegel, a non-minimal set of fields are added to the pure spinor formalism for the superstring. Twisted ĉ ≤ 3 N ≤ 2 generators are then constructed where the pure spinor BRST operator is the fermionic spin-one generator, and the formalism is interpreted as a critical topological string. Three applications of this topological string theory include the super-Poincaré covariant computation of multiloop superstring amplitudes without picture-changing operators, the construction of a cubic open superstring field theory without contact-term problems, and a new four-dimensional version of the pure spinor formalism which computes F-terms in the spacetime action. © SISSA 2005.

Super-Poincaré covariant two-loop superstring amplitudes

The super-Poincaré covariant formalism for the superstring is used to compute massless four-point two-loop amplitudes in ten-dimensional superspace. The computations are much simpler than in the RNS formalism and include both external bosons and fermions. © SISSA 2006.

Four-point one-loop amplitude computation in the pure spinor formalism

The massless 4-point one-loop amplitude computation in the pure spinor formalism is shown to agree with the computation in the RNS formalism. © SISSA 2006.

Yang-Mills Chern-Simons corrections from the pure spinor superstring

Nilpotency of the pure spinor BRST operator in a curved background implies superspace equations of motion for the background. By computing one-loop corrections to nilpotency for the heterotic sigma model, the Yang-Mills Chern-Simons corrections to the background are derived. © 2008 SISSA.

Context-sensitive analysis of obfuscated x86 executables

A method for context-sensitive analysis of binaries that may have obfuscated procedure call and return operations is presented. Such binaries may use operators to directly manipulate stack instead of using native call and ret instructions to achieve equivalent behavior. Since definition of context-sensitivity and algorithms for context-sensitive analysis have thus far been based on the specific semantics associated to procedure call and return operations, classic interprocedural analyses cannot be used reliably for analyzing programs in which these operations cannot be discerned. A new notion of context-sensitivity is introduced that is based on the state of the stack at any instruction. While changes in 'calling'-context are associated with transfer of control, and hence can be reasoned in terms of paths in an interprocedural control flow graph (ICFG), the same is not true of changes in 'stack'-context. An abstract interpretation based framework is developed to reason about stack-contexts and to derive analogues of call-strings based methods for the context-sensitive analysis using stack-context. The method presented is used to create a context-sensitive version of Venable et al.'s algorithm for detecting obfuscated calls. Experimental results show that the context-sensitive version of the algorithm generates more precise results and is also computationally more efficient than its context-insensitive counterpart. Copyright © 2010 ACM.

The overall coefficient of the two-loop superstring amplitude using pure spinors

Using the results recently obtained for computing integrals over (non-minimal) pure spinor superspace, we compute the coefficient of the massless two-loop four-point amplitude from first principles. Contrasting with the mathematical difficulties in the RNS formalism where unknown normalizations of chiral determinant formulæ force the two-loop coefficient to be determined only indirectly through factorization, the computation in the pure spinor formalism can be smoothly carried out. © SISSA 2010.

Generating string solutions in BTZ

Integrability of classical strings in the BTZ black hole enables the construction and study of classical string propagation in this background. We first apply the dressing method to obtain classical string solutions in the BTZ black hole. We dress time like geodesics in the BTZ black hole and obtain open string solutions which are pinned on the boundary at a single point and whose end points move on time like geodesics. These strings upon regularising their charge and spins have a dispersion relation similar to that of giant magnons. We then dress space like geodesics which start and end on the boundary of the BTZ black hole and obtain minimal surfaces which can penetrate the horizon of the black hole while being pinned at the boundary. Finally we embed the giant gluon solutions in the BTZ background in two different ways. They can be embedded as a spiral which contracts and expands touching the horizon or a spike which originates from the boundary and touches the horizon. © 2013 SISSA, Trieste, Italy.

Black holes in realistic branes: Black string-like objects?

A realistic model describing a black string-like object in an expanding Universe is analyzed in the context of the McVittie's solution of the Einstein field equations. The bulk metric near the brane is provided analogously to previous solutions for black strings. In particular, we show that at least when the Hubble parameter on the brane is positive, a black string-like object seems to play a fundamental role in the braneworld scenario, generalizing the standard black strings in the context of a dynamical brane. © 2013 Elsevier B.V.

Nilpotency of the b ghost in the non-minimal pure spinor formalism

The b ghost in the non-minimal pure spinor formalism is not a fundamental field. It is based on a complicated chain of operators and proving its nilpotency is nontrivial. Chandia proved this property in arXiv:1008.1778, but with an assumption on the nonminimal variables that is not valid in general. In this work, the b ghost is demonstrated to be nilpotent without this assumption. © 2013 SISSA, Trieste, Italy.