Monoidal computer III: A coalgebraic view of computability and complexity

Monoidal computer is a categorical model of intensional computation, where many different programs correspond to the same input-output behavior. The upshot of yet another model of computation is that a categorical formalism should provide a much needed high level language for theory of computation, flexible enough to allow abstracting away the low level implementation details when they are irrelevant, or taking them into account when they are genuinely needed. A salient feature of the approach through monoidal categories is the formal graphical language of string diagrams, which supports visual reasoning about programs and computations. In the present paper, we provide a coalgebraic characterization of monoidal computer. It turns out that the availability of interpreters and specializers, that make a monoidal category into a monoidal computer, is equivalent with the existence of a *universal state space*, that carries a weakly final state machine for any pair of input and output types. Being able to program state machines in monoidal computers allows us to represent Turing machines, to capture their execution, count their steps, as well as, e.g., the memory cells that they use. The coalgebraic view of monoidal computer thus provides a convenient diagrammatic language for studying computability and complexity.Comment: 34 pages, 24 figures; in this version: added the Appendi

Gluino Decay as a Probe of High Scale Supersymmetry Breaking

A supersymmetric standard model with heavier scalar supersymmetric particles has many attractive features. If the scalar mass scale is O(10 - 10^4) TeV, the standard model like Higgs boson with mass around 125 GeV, which is strongly favored by the LHC experiment, can be realized. However, in this scenario the scalar particles are too heavy to be produced at the LHC. In addition, if the scalar mass is much less than O(10^4) TeV, the lifetime of the gluino is too short to be measured. Therefore, it is hard to probe the scalar particles at a collider. However, a detailed study of the gluino decay reveals that two body decay of the gluino carries important information on the scalar scale. In this paper, we propose a test of this scenario by measuring the decay pattern of the gluino at the LHC.Comment: 29 pages, 9 figures; version published in JHE

Discrimination of low missing energy look-alikes at the LHC

The problem of discriminating possible scenarios of TeV scale new physics with large missing energy signature at the Large Hadron Collider (LHC) has received some attention in the recent past. We consider the complementary, and yet unexplored, case of theories predicting much softer missing energy spectra. As there is enough scope for such models to fake each other by having similar final states at the LHC, we have outlined a systematic method based on a combination of different kinematic features which can be used to distinguish among different possibilities. These features often trace back to the underlying mass spectrum and the spins of the new particles present in these models. As examples of "low missing energy look-alikes", we consider Supersymmetry with R-parity violation, Universal Extra Dimensions with both KK-parity conserved and KK-parity violated and the Littlest Higgs model with T-parity violated by the Wess-Zumino-Witten anomaly term. Through detailed Monte Carlo analysis of the four and higher lepton final states predicted by these models, we show that the models in their minimal forms may be distinguished at the LHC, while non-minimal variations can always leave scope for further confusion. We find that, for strongly interacting new particle mass-scale ~600 GeV (1 TeV), the simplest versions of the different theories can be discriminated at the LHC running at sqrt{s}=14 TeV within an integrated luminosity of 5 (30) fb^{-1}.Comment: 40 pages, 10 figures; v2: Further discussions, analysis and one figure added, ordering of certain sections changed, minor modifications in the abstract, version as published in JHE

Where the Sidewalk Ends: Jets and Missing Energy Search Strategies for the 7 TeV LHC

This work explores the potential reach of the 7 TeV LHC to new colored states in the context of simplified models and addresses the issue of which search regions are necessary to cover an extensive set of event topologies and kinematic regimes. This article demonstrates that if searches are designed to focus on specific regions of phase space, then new physics may be missed if it lies in unexpected corners. Simple multiregion search strategies can be designed to cover all of kinematic possibilities. A set of benchmark models are created that cover the qualitatively different signatures and a benchmark multiregion search strategy is presented that covers these models.Comment: 30 pages, 8 Figures, 3 Tables. Version accepted at JHEP. Minor changes. Added figur

The genomic evolution of human prostate cancer.

Prostate cancers are highly prevalent in the developed world, with inheritable risk contributing appreciably to tumour development. Genomic heterogeneity within individual prostate glands and between patients derives predominantly from structural variants and copy-number aberrations. Subtypes of prostate cancers are being delineated through the increasing use of next-generation sequencing, but these subtypes are yet to be used to guide the prognosis or therapeutic strategy. Herein, we review our current knowledge of the mutational landscape of human prostate cancer, describing what is known of the common mutations underpinning its development. We evaluate recurrent prostate-specific mutations prior to discussing the mutational events that are shared both in prostate cancer and across multiple cancer types. From these data, we construct a putative overview of the genomic evolution of human prostate cancer

General Gauge and Anomaly Mediated Supersymmetry Breaking in Grand Unified Theories with Vector-Like Particles

In Grand Unified Theories (GUTs) from orbifold and various string constructions the generic vector-like particles do not need to form complete SU(5) or SO(10) representations. To realize them concretely, we present orbifold SU(5) models, orbifold SO(10) models where the gauge symmetry can be broken down to flipped SU(5) X U(1)_X or Pati-Salam SU(4)_C X SU(2)_L X SU(2)_R gauge symmetries, and F-theory SU(5) models. Interestingly, these vector-like particles can be at the TeV-scale so that the lightest CP-even Higgs boson mass can be lifted, or play the messenger fields in the Gauge Mediated Supersymmetry Breaking (GMSB). Considering GMSB, ultraviolet insensitive Anomaly Mediated Supersymmetry Breaking (AMSB), and the deflected AMSB, we study the general gaugino mass relations and their indices, which are valid from the GUT scale to the electroweak scale at one loop, in the SU(5) models, the flipped SU(5) X U(1)_X models, and the Pati-Salam SU(4)_C X SU(2)_L X SU(2)_R models. In the deflected AMSB, we also define the new indices for the gaugino mass relations, and calculate them as well. Using these gaugino mass relations and their indices, we may probe the messenger fields at intermediate scale in the GMSB and deflected AMSB, determine the supersymmetry breaking mediation mechanisms, and distinguish the four-dimensional GUTs, orbifold GUTs, and F-theory GUTs.Comment: RevTex4, 45 pages, 15 tables, version to appear in JHE

Childhood socioeconomic position, adult socioeconomic position and social mobility in relation to markers of adiposity in early adulthood: evidence of differential effects by gender in the 1978/79 Ribeirao Preto cohort study

Background: Longitudinal studies drawn from high-income countries demonstrate long-term associations of early childhood socioeconomic deprivation with increased adiposity in adulthood. However, there are very few data from resource-poor countries where there are reasons to anticipate different gradients. Accordingly, we sought to characterise the nature of the socioeconomic status (SES)-adiposity association in Brazil. / Methods: We use data from the Ribeirao Preto Cohort Study in Brazil in which 9067 newborns were recruited via their mothers in 1978/79 and one-in-three followed up in 2002/04 (23–25years). SES, based on family income (salaries, interest on savings, pensions and so on), was assessed at birth and early adulthood, and three different adiposity measures (body mass index (BMI), waist circumference (WC), waist-to-hip ratio (WHR)) ascertained at follow-up. The association between childhood SES, adult SES and social mobility (defined as four permutations of SES in childhood and adulthood: low–low, low–high, high–low, high–high), and the adiposity measures was examined using linear regression. / Results: There was evidence that the association between SES and the three markers of adiposity was modified by gender in both adulthood (P<0.02 for all outcomes) and childhood SES (P<0.02 for WC and WHR). Thus, in an unadjusted model, linear regression analyses showed that higher childhood SES was associated with lower adiposity in women (coefficient (95% confidence intervals) BMI: −1.49 (−2.29,−0.69); WC: −3.85 (−5.73,−1.97); WHR: −0.03 (−0.04,−0.02)). However, in men, higher childhood SES was related to higher adiposity (BMI: 1.03 (0.28,−1.78); WC: 3.15 (1.20, 5.09); WHR: 0.009 (−0.001, 0.019)) although statistical significance was not seen in all analyses. There was a suggestion that adult SES (but not adult health behaviours or birthweight) accounted for these relationships in women only. Upward mobility was associated with protection against greater adiposity in women but not men. / Conclusion: In the present study, in men there was some evidence that both higher childhood and adulthood SES was related to a higher adiposity risk, while the reverse gradient was apparent in women

Effective Dark Matter Model: Relic density, CDMS II, Fermi LAT and LHC

The Cryogenic Dark Matter Search recently announced the observation of two signal events with a 77% confidence level. Although statistically inconclusive, it is nevertheless suggestive. In this work we present a model-independent analysis on the implication of a positive signal in dark matter scattering off nuclei. Assuming the interaction between (scalar, fermion or vector) dark matter and the standard model induced by unknown new physics at the scale $\Lambda$, we examine various dimension-6 tree-level induced operators and constrain them using the current experimental data, e.g. the WMAP data of the relic abundance, CDMS II direct detection of the spin-independent scattering, and indirect detection data (Fermi LAT cosmic gamma-ray), etc. Finally, the LHC reach is also explored

Bowling Together: Scientific Collaboration Networks of Demographers at European Population Conferences

Studies of collaborative networks of demographers are relatively scarce. Similar studies in other social sciences provide insight into scholarly trends of both the fields and characteristics of their successful scientists. Exploiting a unique database of metadata for papers presented at six European Population Conferences, this report explores factors explaining research collaboration among demographers. We find that (1) collaboration among demographers has increased over the past 10 years, however, among co-authored papers, collaboration across institutions remains relatively unchanged over the period, (2) papers based on core demographic subfields such as fertility, mortality, migration and data and methods are more likely to involve multiple authors and (3) multiple author teams that are all female are less likely to co-author with colleagues in different institutions. Potential explanations for these results are discussed alongside comparisons with similar studies of collaboration networks in other related social sciences

Complexity Variability Assessment of Nonlinear Time-Varying Cardiovascular Control

The application of complex systems theory to physiology and medicine has provided meaningful information about the nonlinear aspects underlying the dynamics of a wide range of biological processes and their disease-related aberrations. However, no studies have investigated whether meaningful information can be extracted by quantifying second-order moments of time-varying cardiovascular complexity. To this extent, we introduce a novel mathematical framework termed complexity variability, in which the variance of instantaneous Lyapunov spectra estimated over time serves as a reference quantifier. We apply the proposed methodology to four exemplary studies involving disorders which stem from cardiology, neurology and psychiatry: Congestive Heart Failure (CHF), Major Depression Disorder (MDD), Parkinson?s Disease (PD), and Post-Traumatic Stress Disorder (PTSD) patients with insomnia under a yoga training regime. We show that complexity assessments derived from simple time-averaging are not able to discern pathology-related changes in autonomic control, and we demonstrate that between-group differences in measures of complexity variability are consistent across pathologies. Pathological states such as CHF, MDD, and PD are associated with an increased complexity variability when compared to healthy controls, whereas wellbeing derived from yoga in PTSD is associated with lower time-variance of complexity