Kink Chains from Instantons on a Torus

We describe how the procedure of calculating approximate solitons from instanton holonomies may be extended to the case of soliton crystals. It is shown how sine-Gordon kink chains may be obtained from CP1 instantons on a torus. These kink chains turn out to be remarkably accurate approximations to the true solutions. Some remarks on the relevance of this work to Skyrme crystals are also made.Comment: latex 17 pages, DAMTP 94-7

Reducing the energy consumption of heavy goods vehicles through the application of lightweight trailers: Fleet case studies

Reducing the empty weight of articulated heavy goods vehicle trailers is one avenue that needs to be explored in reducing the carbon footprint of the road freight industry as a whole. A statistical analysis of two heavy goods vehicle fleets operating in the United Kingdom has helped to identify double-deck trailers used in grocery haulage and 'walking-floor' trailers used in bulk haulage as two examples of trailers that can benefit significantly from lightweighting. Energy consumption of numerous articulated heavy goods vehicles is quantified through an idealised drive cycle analysis reflecting a long haul journey over a highway. This energy analysis allows for a mass energy performance index to be established. The analysis has shown that reducing the empty weight of trailers by 30% can cause reductions of up to 18% and 11% in mass energy performance index for double-deck trailers and 'walking-floor' trailers respectively. Using this approach, trailers that will benefit the most from weight reduction can be identified systematically, allowing for lightweighting strategies to be implemented more effectively. Strategies to reduce empty trailer weight and improve vehicle utilisation are also discussedThe authors would like to acknowledge the financial support from the members of the Centre for Sustainable Road Freight and from the Engineering and Physical Sciences Research Council (Grant Reference EP/K00915X/1).This is the final version of the article. It first appeared from Elsevier via http://dx.doi.org/10.1016/j.trd.2015.09.01

Caffeinated energy drinks and effects in UK young people

International systematic review evidence indicates an association of caffeinated energy drink use with physical symptoms and lifestyle but is unclear about associations with mental health and behavioural outcomes. The design of studies included in the reviews and the quality of the systematic reviews themselves limits the strength of the conclusions. The lack of UK research in the reviews prompted our analysis of UK population-level data. Our analysis of UK data suggests that many children in the UK consume CEDs with higher consumption reported by older children, by boys, and by those living in northern areas or in more deprived regions. Findings also suggest associations between consumption and physical, psychological, social and educational symptoms, behaviours and wellbeing. A lack of studies that measure these variables over time meant we were unable to determine whether CED consumption is the cause of associated symptoms, behaviours and wellbeing. Future research on this topic should employ longitudinal methods to examine whether CED consumption is responsible for poorer health and wellbeing. Research should also examine the influence of geographic region and deprivation on children’s caffeinated energy drink consumption. The measurement of caffeinated energy drink consumption in the future needs to be consistent across surveys, so that a clearer picture of the frequency, timing and dosage can be established. UK-wide exploration of the context and reasons for caffeinated energy drink consumption is needed and should include examining consumption of CEDs with alcohol in older children aged 16 to 17 years

Analysis of the relationship between disease activity and damage in patients with systemic lupus erythematosus—a 5-yr prospective study

Objective. To determine whether initial damage, disease duration, age, initial health status, average disease activity over the 5 yr or an average medication score covering the follow-up period would predict an increase in damage in patients with systemic lupus erythematosus (SLE) within the next 5 yr. Methods. A 5-yr prospective longitudinal study of a cohort of 141 consecutive patients with SLE attending a specialist lupus out-patient clinic in London from their first assessment between July 1994 and February 1995. Disease activity was assessed using the BILAG system, initial health status by the Medical Outcome Survey Short Form 20 with an extra question about fatigue (SF-20+) and damage by the SLICC/ACR Damage Index (SDI). Damage was reassessed 5 yr later. Statistical analysis was carried out using multiple logistic regression analysis (logXact). Results. One hundred and thirty-three female and eight male SLE patients (97 Caucasians, 16 Afro-Caribbeans, 22 Asians and 6 others) were included, their age at inclusion was 41.1 ± 12.5 yr and their disease duration 10.2 ± 6.3 yr. The mean measures at inclusion were: total BILAG 5.2 (range 0-17), total SDI 1.2 (0-7) and medication score 1.2 (0-3). Six patients were lost to follow-up because they had moved. Of the remaining 135 patients total damage had increased in 40 patients and 10 patients had died. At the end of the study, at 4.63 ± 0.19 yr, the total SDI had increased to 1.6 ± 1.7. Multiple logistic regression analysis revealed that death and increase in damage were strongly predicted by a high total disease activity over the entire study period (P<0.001) as we had hypothesized. When the total BILAG score was replaced by the average number of A-flares the prediction of accrual of damage during the study period was again highly significant (P = 0.004). Conclusions. In this first prospective study of its type a highly significant impact of total disease activity, as measured over 5 yr using the BILAG system, on the development of total damage was revealed. Moreover, these results provide further proof of the validity of the SDI and support the BILAG concept of the A-flare

Inversion symmetric 3-monopoles and the Atiyah-Hitchin manifold

We consider 3-monopoles symmetric under inversion symmetry. We show that the moduli space of these monopoles is an Atiyah-Hitchin submanifold of the 3-monopole moduli space. This allows what is known about 2-monopole dynamics to be translated into results about the dynamics of 3-monopoles. Using a numerical ADHMN construction we compute the monopole energy density at various points on two interesting geodesics. The first is a geodesic over the two-dimensional rounded cone submanifold corresponding to right angle scattering and the second is a closed geodesic for three orbiting monopoles.Comment: latex, 22 pages, 2 figures. To appear in Nonlinearit

Global Defects in Field Theory with Applications to Condensed Matter

We review investigations on defects in systems described by real scalar fields in (D,1) space-time dimensions. We first work in one spatial dimension, with models described by one and two real scalar fields, and in higher dimensions. We show that when the potential assumes specific form, there are models which support stable global defects for D arbitrary. We also show how to find first-order differential equations that solve the equations of motion, and how to solve models in D dimensions via soluble problems in D=1. We illustrate the procedure examining specific models and showing how they may be used in applications in different contexts in condensed matter physics, and in other areas.Comment: 15 pages, 9 figure

ENIGMA: Efficient Learning-based Inference Guiding Machine

ENIGMA is a learning-based method for guiding given clause selection in saturation-based theorem provers. Clauses from many proof searches are classified as positive and negative based on their participation in the proofs. An efficient classification model is trained on this data, using fast feature-based characterization of the clauses . The learned model is then tightly linked with the core prover and used as a basis of a new parameterized evaluation heuristic that provides fast ranking of all generated clauses. The approach is evaluated on the E prover and the CASC 2016 AIM benchmark, showing a large increase of E's performance.Comment: Submitted to LPAR 201

Prostate involvement during sexually transmitted infections as measured by prostate-specific antigen concentration

Background:We investigated prostate involvement during sexually transmitted infections by measuring serum prostate-specific antigen (PSA) as a marker of prostate infection, inflammation, and/or cell damage in young, male US military members.Methods:We measured PSA before and during infection for 299 chlamydia, 112 gonorrhoea, and 59 non-chlamydial, non-gonococcal urethritis (NCNGU) cases, and 256 controls.Results:Chlamydia and gonorrhoea, but not NCNGU, cases were more likely to have a large rise (⩾40%) in PSA than controls (33.6%, 19.1%, and 8.2% vs 8.8%, P<0.0001, 0.021, and 0.92, respectively).Conclusion:Chlamydia and gonorrhoea may infect the prostate of some infected men