Non-perturbative effects in the BMN limit of N=4 supersymmetric Yang-Mills

One-instanton contributions to the correlation functions of two gauge-invariant single-trace operators in N=4 SU(N) Yang-Mills theory are studied in semi-classical approximation in the BMN limit. The most straightforward examples involve operators with four bosonic impurities. The explicit form for the correlation functions, which determine the anomalous dimensions, follows after integration over the large number of bosonic and fermionic moduli. Our results demonstrate that the instanton contributions scale appropriately in the BMN limit. We find impressive agreement with the D-instanton contributions to mass matrix elements of the dual plane-wave IIB superstring theory, obtained in a previous paper. Not only does the dependence on the scaled coupling constants match, but the dependence on the mode numbers of the states is also in striking agreement.Comment: 52 pages, no figures, latex; V2: minor change

On the spectrum of AdS/CFT beyond supergravity

We test the spectrum of string theory on AdS_5 x S^5 derived in hep-th/0305052 against that of single-trace gauge invariant operators in free N=4 super Yang-Mills theory. Masses of string excitations at critical tension are derived by extrapolating plane-wave frequencies at g_{YM}=0 down to finite J. On the SYM side, we present a systematic description of the spectrum of single-trace operators and its reduction to PSU(2,2|4) superconformal primaries via a refined Eratostenes' supersieve. We perform the comparison of the resulting SYM/string spectra of charges and multiplicities order by order in the conformal dimension \Delta up to \Delta=10 and find perfect agreement. Interestingly, the SYM/string massive spectrum exhibits a hidden symmetry structure larger than expected, with bosonic subgroup SO(10,2) and thirty-two supercharges.Comment: 28 pages, LaTeX2

Proof of all-order finiteness for planar beta-deformed Yang-Mills

We study a marginal deformation of N=4 Yang-Mills, with a real deformation parameter beta. This beta-deformed model has only N=1 supersymmetry and a U(1)xU(1) flavor symmetry. The introduction of a new superspace star-product allows us to formulate the theory in N=4 light-cone superspace, despite the fact that it has only N=1 supersymmetry. We show that this deformed theory is conformally invariant, in the planar approximation, by proving that its Green functions are ultra-violet finite to all orders in perturbation theory.Comment: 27 pages, several figures; v3: minor correction

A theorem proving framework for the formal verification of Web Services Composition

We present a rigorous framework for the composition of Web Services within a higher order logic theorem prover. Our approach is based on the proofs-as-processes paradigm that enables inference rules of Classical Linear Logic (CLL) to be translated into pi-calculus processes. In this setting, composition is achieved by representing available web services as CLL sentences, proving the requested composite service as a conjecture, and then extracting the constructed pi-calculus term from the proof. Our framework, implemented in HOL Light, not only uses an expressive logic that allows us to incorporate multiple Web Services properties in the composition process, but also provides guarantees of soundness and correctness for the composition.Comment: In Proceedings WWV 2011, arXiv:1108.208

DES13S2cmm: the first superluminous supernova from the Dark Energy Survey

We present DES13S2cmm, the first spectroscopically-confirmed superluminous supernova (SLSN) from the Dark Energy Survey (DES). We briefly discuss the data and search algorithm used to find this event in the first year of DES operations, and outline the spectroscopic data obtained from the European Southern Observatory (ESO) Very Large Telescope to confirm its redshift (z = 0.663 +/- 0.001 based on the host-galaxy emission lines) and likely spectral type (type I). Using this redshift, we find M_U_peak = -21.05 +0.10 -0.09 for the peak, rest-frame U-band absolute magnitude, and find DES13S2cmm to be located in a faint, low metallicity (sub-solar), low stellar-mass host galaxy (log(M/M_sun) = 9.3 +/- 0.3); consistent with what is seen for other SLSNe-I. We compare the bolometric light curve of DES13S2cmm to fourteen similarly well-observed SLSNe-I in the literature and find it possesses one of the slowest declining tails (beyond +30 days rest frame past peak), and is the faintest at peak. Moreover, we find the bolometric light curves of all SLSNe-I studied herein possess a dispersion of only 0.2-0.3 magnitudes between +25 and +30 days after peak (rest frame) depending on redshift range studied; this could be important for 'standardising' such supernovae, as is done with the more common type Ia. We fit the bolometric light curve of DES13S2cmm with two competing models for SLSNe-I - the radioactive decay of 56Ni, and a magnetar - and find that while the magnetar is formally a better fit, neither model provides a compelling match to the data. Although we are unable to conclusively differentiate between these two physical models for this particular SLSN-I, further DES observations of more SLSNe-I should break this degeneracy, especially if the light curves of SLSNe-I can be observed beyond 100 days in the rest frame of the supernova.Comment: Accepted by MNRAS (2015 January 23), 13 pages, 6 figures, 2 table

Electromagnetic Fields of Slowly Rotating Compact Magnetized Stars in Braneworld

We study the structure of electromagnetic field of slowly rotating magnetized star in a Randall-Sundrum II type braneworld. The star is modeled as a sphere consisting of perfect highly magnetized fluid with infinite conductivity and frozen-in dipolar magnetic field. Maxwell's equations for the external magnetic field of the star in the braneworld are analytically solved in approximation of small distance from the surface of the star. We have also found numerical solution for the electric field outside the rotating magnetized neutron star in the braneworld in dependence on brane tension. The influence of brane tension on the electromagnetic energy losses of the rotating magnetized star is underlined. Obtained "brane" corrections are shown to be relevant and have non-negligible values. In comparison with astrophysical observations on pulsars spindown data they may provide an evidence for the brane tension and, thus, serve as a test for the braneworld model of the Universe.Comment: 11 pages, 5 figure

Modified Wisconsin Card Sorting Test (M-WCST): Normative data for Spanish-speaking pediatric population

OBJECTIVE: To generate normative data for the Modified Wisconsin Card Sorting Test (M-WCST) in Spanish-speaking pediatric populations. METHOD: The sample consisted of 4,373 healthy children from nine countries in Latin America (Chile, Cuba, Ecuador, Guatemala, Honduras, Mexico, Paraguay, Peru, and Puerto Rico) and Spain. Each participant was administered the M-WCST as part of a larger neuropsychological battery. Number of categories, perseverative errors, and total error scores were normed using multiple linear regressions and standard deviations of residual values. Age, age2, sex, and mean level of parental education (MLPE) were included as predictors in the analyses. RESULTS: The final multiple linear regression models indicated main effects for age on all scores, such that the number of categories correct increased and total number of perseverative errors and total number of errors decrease linearly as a function of age. Age2 had a significant effect in Chile, Cuba, Ecuador, and Spain for numbers of categories; a significant effect for number of perseverative errors in Chile, Cuba, Mexico, and Spain; and a significant effect for number of total errors in Chile, Cuba, Peru, and Spain. Models showed an effect for MLPE in Cuba (total errors), Ecuador (categories and total errors), Mexico (all scores), Paraguay (perseverative errors and total error), and Spain (categories and total errors). Sex affected number of total errors for Ecuador. CONCLUSIONS: This is the largest Spanish-speaking pediatric normative study in the world, and it will allow neuropsychologists from these countries to have a more accurate way to interpret the M-WCST with pediatric populations