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.

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.

The Schwinger model on the null-plane

We study the Schwinger Model on the null-plane using the Dirac method for constrained systems. The fermion field is analyzed using the natural null-plane projections coming from the γ-algebra and it is shown that the fermionic sector of the Schwinger Model has only second class constraints. However, the first class constraints are exclusively of the bosonic sector. Finally, we establish the graded Lie algebra between the dynamical variables, via generalized Dirac bracket in the null-plane gauge, which is consistent with every constraint of the theory. © World Scientific Publishing Company.

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.

Localization of a Bose-Einstein condensate in a bichromatic optical lattice

By direct numerical simulation of the time-dependent Gross-Pitaevskii equation, we study different aspects of the localization of a noninteracting ideal Bose-Einstein condensate (BEC) in a one-dimensional bichromatic quasiperiodic optical-lattice potential. Such a quasiperiodic potential, used in a recent experiment on the localization of a BEC, can be formed by the superposition of two standing-wave polarized laser beams with different wavelengths. We investigate the effect of the variation of optical amplitudes and wavelengths on the localization of a noninteracting BEC. We also simulate the nonlinear dynamics when a harmonically trapped BEC is suddenly released into a quasiperiodic potential, as done experimentally in a laser speckle potential. We finally study the destruction of the localization in an interacting BEC due to the repulsion generated by a positive scattering length between the bosonic atoms. © 2009 The American Physical Society.

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.

Update on the status of hadronic squeezed correlations at RHIC energies

In high energy heavy ion collisions a hot and dense medium is formed, where the hadronic masses may be shifted from their asymptotic values. If this mass modification occurs, squeezed back-to-back correlations (BBC) of particle-antiparticle pairs are predicted to appear, both in the femionic (fBBC) and in the bosonic (bBBC) sectors. Although they have unlimited intensity even for finite-size expanding systems, these hadronic squeezed correlations are very sensitive to their time emission distribution. Here we discuss results in case this time emission is parameterized by a Lévy-type distribution, showing that it reduces the signal even more dramatically than a Lorentzian distribution, which already reduces the intensity of the effect by orders of magnitude, as compared to the sudden emission. However, we show that the signal could still survive if the duration of the process is short, and if the effect is searched for lighter mesons, such as kaons. We compare some of our results to recent PHENIX preliminary data on squeezed correlations of K +K - pairs. © 2011 Pleiades Publishing, Ltd.

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.