AdS_7/CFT_6, Gauss-Bonnet Gravity, and Viscosity Bound

We study the relation between the causality and the positivity of energy bounds in Gauss-Bonnet gravity in AdS_7 background and find a precise agreement. Requiring the group velocity of metastable states to be bounded by the speed of light places a bound on the value of Gauss-Bonnet coupling. To find the positivity of energy constraints we compute the parameters which determine the angular distribution of the energy flux in terms of three independent coefficients specifying the three-point function of the stress-energy tensor. We then relate the latter to the Weyl anomaly of the six-dimensional CFT and compute the anomaly holographically. The resulting upper bound on the Gauss-Bonnet coupling coincides with that from causality and results in a new bound on viscosity/entropy ratio.Comment: 21 page, harvmac; v2: reference adde

F-Theorem without Supersymmetry

The conjectured F-theorem for three-dimensional field theories states that the finite part of the free energy on S^3 decreases along RG trajectories and is stationary at the fixed points. In previous work various successful tests of this proposal were carried out for theories with {\cal N}=2 supersymmetry. In this paper we perform more general tests that do not rely on supersymmetry. We study perturbatively the RG flows produced by weakly relevant operators and show that the free energy decreases monotonically. We also consider large N field theories perturbed by relevant double trace operators, free massive field theories, and some Chern-Simons gauge theories. In all cases the free energy in the IR is smaller than in the UV, consistent with the F-theorem. We discuss other odd-dimensional Euclidean theories on S^d and provide evidence that (-1)^{(d-1)/2} \log |Z| decreases along RG flow; in the particular case d=1 this is the well-known g-theorem.Comment: 34 pages, 2 figures; v2 refs added, minor improvements; v3 refs added, improved section 4.3; v4 minor improvement

An anisotropic hybrid non-perturbative formulation for 4D N = 2 supersymmetric Yang-Mills theories

We provide a simple non-perturbative formulation for non-commutative four-dimensional N = 2 supersymmetric Yang-Mills theories. The formulation is constructed by a combination of deconstruction (orbifold projection), momentum cut-off and matrix model techniques. We also propose a moduli fixing term that preserves lattice supersymmetry on the deconstruction formulation. Although the analogous formulation for four-dimensional N = 2 supersymmetric Yang-Mills theories is proposed also in Nucl.Phys.B857(2012), our action is simpler and better suited for computer simulations. Moreover, not only for the non-commutative theories, our formulation has a potential to be a non-perturbative tool also for the commutative four-dimensional N = 2 supersymmetric Yang-Mills theories.Comment: 32 pages, final version accepted in JHE

Using schedulers to test probabilistic distributed systems

This is the author's accepted manuscript. The final publication is available at Springer via http://dx.doi.org/10.1007/s00165-012-0244-5. Copyright © 2012, British Computer Society.Formal methods are one of the most important approaches to increasing the confidence in the correctness of software systems. A formal specification can be used as an oracle in testing since one can determine whether an observed behaviour is allowed by the specification. This is an important feature of formal testing: behaviours of the system observed in testing are compared with the specification and ideally this comparison is automated. In this paper we study a formal testing framework to deal with systems that interact with their environment at physically distributed interfaces, called ports, and where choices between different possibilities are probabilistically quantified. Building on previous work, we introduce two families of schedulers to resolve nondeterministic choices among different actions of the system. The first type of schedulers, which we call global schedulers, resolves nondeterministic choices by representing the environment as a single global scheduler. The second type, which we call localised schedulers, models the environment as a set of schedulers with there being one scheduler for each port. We formally define the application of schedulers to systems and provide and study different implementation relations in this setting

Functional divergence in the role of N-linked glycosylation in smoothened signaling

The G protein-coupled receptor (GPCR) Smoothened (Smo) is the requisite signal transducer of the evolutionarily conserved Hedgehog (Hh) pathway. Although aspects of Smo signaling are conserved from Drosophila to vertebrates, significant differences have evolved. These include changes in its active sub-cellular localization, and the ability of vertebrate Smo to induce distinct G protein-dependent and independent signals in response to ligand. Whereas the canonical Smo signal to Gli transcriptional effectors occurs in a G protein-independent manner, its non-canonical signal employs Gαi. Whether vertebrate Smo can selectively bias its signal between these routes is not yet known. N-linked glycosylation is a post-translational modification that can influence GPCR trafficking, ligand responsiveness and signal output. Smo proteins in Drosophila and vertebrate systems harbor N-linked glycans, but their role in Smo signaling has not been established. Herein, we present a comprehensive analysis of Drosophila and murine Smo glycosylation that supports a functional divergence in the contribution of N-linked glycans to signaling. Of the seven predicted glycan acceptor sites in Drosophila Smo, one is essential. Loss of N-glycosylation at this site disrupted Smo trafficking and attenuated its signaling capability. In stark contrast, we found that all four predicted N-glycosylation sites on murine Smo were dispensable for proper trafficking, agonist binding and canonical signal induction. However, the under-glycosylated protein was compromised in its ability to induce a non-canonical signal through Gαi, providing for the first time evidence that Smo can bias its signal and that a post-translational modification can impact this process. As such, we postulate a profound shift in N-glycan function from affecting Smo ER exit in flies to influencing its signal output in mice

Einstein-Gauss-Bonnet black strings

We construct uniform black-string solutions in Einstein-Gauss-Bonnet gravity for all dimensions $d$ between five and ten and discuss their basic properties. Closed form solutions are found by taking the Gauss-Bonnet term as a perturbation from pure Einstein gravity. Nonperturbative solutions are constructed by solving numerically the equations of the model. The Gregory-Laflamme instability of the black strings is explored via linearized perturbation theory. Our results indicate that new qualitative features occur for $d=6$, in which case stable configurations exist for large enough values of the Gauss-Bonnet coupling constant. For other dimensions, the black strings are dynamically unstable and have also a negative specific heat. We argue that this provides an explicit realization of the Gubser-Mitra conjecture, which links local dynamical and thermodynamic stability. Nonuniform black strings in Einstein-Gauss-Bonnet theory are also constructed in six spacetime dimensions.Comment: 33 pages, 11 figure

Conducting a large, multi-site survey about patients' views on broad consent: challenges and solutions

BACKGROUND: As biobanks play an increasing role in the genomic research that will lead to precision medicine, input from diverse and large populations of patients in a variety of health care settings will be important in order to successfully carry out such studies. One important topic is participants’ views towards consent and data sharing, especially since the 2011 Advanced Notice of Proposed Rulemaking (ANPRM), and subsequently the 2015 Notice of Proposed Rulemaking (NPRM) were issued by the Department of Health and Human Services (HHS) and Office of Science and Technology Policy (OSTP). These notices required that participants consent to research uses of their de-identified tissue samples and most clinical data, and allowing such consent be obtained in a one-time, open-ended or “broad” fashion. Conducting a survey across multiple sites provides clear advantages to either a single site survey or using a large online database, and is a potentially powerful way of understanding the views of diverse populations on this topic. METHODS: A workgroup of the Electronic Medical Records and Genomics (eMERGE) Network, a national consortium of 9 sites (13 separate institutions, 11 clinical centers) supported by the National Human Genome Research Institute (NHGRI) that combines DNA biorepositories with electronic medical record (EMR) systems for large-scale genetic research, conducted a survey to understand patients’ views on consent, sample and data sharing for future research, biobank governance, data protection, and return of research results. RESULTS: Working across 9 sites to design and conduct a national survey presented challenges in organization, meeting human subjects guidelines at each institution, and survey development and implementation. The challenges were met through a committee structure to address each aspect of the project with representatives from all sites. Each committee’s output was integrated into the overall survey plan. A number of site-specific issues were successfully managed allowing the survey to be developed and implemented uniformly across 11 clinical centers. CONCLUSIONS: Conducting a survey across a number of institutions with different cultures and practices is a methodological and logistical challenge. With a clear infrastructure, collaborative attitudes, excellent lines of communication, and the right expertise, this can be accomplished successfully

TRY plant trait database - enhanced coverage and open access

Plant traits-the morphological, anatomical, physiological, biochemical and phenological characteristics of plants-determine how plants respond to environmental factors, affect other trophic levels, and influence ecosystem properties and their benefits and detriments to people. Plant trait data thus represent the basis for a vast area of research spanning from evolutionary biology, community and functional ecology, to biodiversity conservation, ecosystem and landscape management, restoration, biogeography and earth system modelling. Since its foundation in 2007, the TRY database of plant traits has grown continuously. It now provides unprecedented data coverage under an open access data policy and is the main plant trait database used by the research community worldwide. Increasingly, the TRY database also supports new frontiers of trait-based plant research, including the identification of data gaps and the subsequent mobilization or measurement of new data. To support this development, in this article we evaluate the extent of the trait data compiled in TRY and analyse emerging patterns of data coverage and representativeness. Best species coverage is achieved for categorical traits-almost complete coverage for 'plant growth form'. However, most traits relevant for ecology and vegetation modelling are characterized by continuous intraspecific variation and trait-environmental relationships. These traits have to be measured on individual plants in their respective environment. Despite unprecedented data coverage, we observe a humbling lack of completeness and representativeness of these continuous traits in many aspects. We, therefore, conclude that reducing data gaps and biases in the TRY database remains a key challenge and requires a coordinated approach to data mobilization and trait measurements. This can only be achieved in collaboration with other initiatives

Search for new phenomena in final states with an energetic jet and large missing transverse momentum in pp collisions at √ s = 8 TeV with the ATLAS detector

Results of a search for new phenomena in final states with an energetic jet and large missing transverse momentum are reported. The search uses 20.3 fb−1 of √ s = 8 TeV data collected in 2012 with the ATLAS detector at the LHC. Events are required to have at least one jet with pT > 120 GeV and no leptons. Nine signal regions are considered with increasing missing transverse momentum requirements between Emiss T > 150 GeV and Emiss T > 700 GeV. Good agreement is observed between the number of events in data and Standard Model expectations. The results are translated into exclusion limits on models with either large extra spatial dimensions, pair production of weakly interacting dark matter candidates, or production of very light gravitinos in a gauge-mediated supersymmetric model. In addition, limits on the production of an invisibly decaying Higgs-like boson leading to similar topologies in the final state are presente