Divergent IR gluon propagator from Ward-Slavnov-Taylor identities?

We exploit the Ward-Slavnov-Taylor identity relating the 3-gluons to the ghost-gluon vertices to conclude either that the ghost dressing function is finite and non vanishing at zero momentum while the gluon propagator diverges (although it may do so weakly enough not to be in contradiction with current lattice data) or that the 3-gluons vertex is non-regular when one momentum goes to zero. We stress that those results should be kept in mind when one studies the Infrared properties of the ghost and gluon propagators, for example by means of Dyson-Schwinger equations.Comment: 6 pages, bibte

Mining State-Based Models from Proof Corpora

Interactive theorem provers have been used extensively to reason about various software/hardware systems and mathematical theorems. The key challenge when using an interactive prover is finding a suitable sequence of proof steps that will lead to a successful proof requires a significant amount of human intervention. This paper presents an automated technique that takes as input examples of successful proofs and infers an Extended Finite State Machine as output. This can in turn be used to generate proofs of new conjectures. Our preliminary experiments show that the inferred models are generally accurate (contain few false-positive sequences) and that representing existing proofs in such a way can be very useful when guiding new ones.Comment: To Appear at Conferences on Intelligent Computer Mathematics 201

Gravitational-wave Detection With Matter-wave Interferometers Based On Standing Light Waves

We study the possibility of detecting gravitational-waves with matter-wave interferometers, where atom beams are split, deflected and recombined totally by standing light waves. Our calculation shows that the phase shift is dominated by terms proportional to the time derivative of the gravitational wave amplitude. Taking into account future improvements on current technologies, it is promising to build a matter-wave interferometer detector with desired sensitivity.Comment: 7 pages, 3 figures. To be published in General Relativity and Gravitatio

The Local Bubble and Interstellar Material Near the Sun

The properties of interstellar matter (ISM) at the Sun are regulated by our location with respect to the Local Bubble (LB) void in the ISM. The LB is bounded by associations of massive stars and fossil supernovae that have disrupted natal ISM and driven intermediate velocity ISM into the LB interior void. The Sun is located in such a driven ISM parcel. The Local Fluff has a bulk velocity of 19 km/s in the LSR, and an upwind direction towards the center of the gas and dust ring formed by the Loop I supernova remnant interaction with the LB. When the ram pressure of the LIC is included in the total LIC pressure, and if magnetic thermal and cosmic ray pressures are similar, the LIC appears to be in pressure equilibrium with the local hot bubble plasma.Comment: Proceedings of Symposium on the Composition of Matter, honoring Johannes Geiss on the occasion of his 80th birthday. Space Science Reviews (in press

Development of a genotyping microarray for Usher syndrome

BACKGROUND: Usher syndrome, a combination of retinitis pigmentosa (RP) and sensorineural hearing loss with or without vestibular dysfunction, displays a high degree of clinical and genetic heterogeneity. Three clinical subtypes can be distinguished, based on the age of onset and severity of the hearing impairment, and the presence or absence of vestibular abnormalities. Thus far, eight genes have been implicated in the syndrome, together comprising 347 protein-coding exons. METHODS: To improve DNA diagnostics for patients with Usher syndrome, we developed a genotyping microarray based on the arrayed primer extension (APEX) method. Allele-specific oligonucleotides corresponding to all 298 Usher syndrome-associated sequence variants known to date, 76 of which are novel, were arrayed. RESULTS: Approximately half of these variants were validated using original patient DNAs, which yielded an accuracy of >98%. The efficiency of the Usher genotyping microarray was tested using DNAs from 370 unrelated European and American patients with Usher syndrome. Sequence variants were identified in 64/140 (46%) patients with Usher syndrome type I, 45/189 (24%) patients with Usher syndrome type II, 6/21 (29%) patients with Usher syndrome type III and 6/20 (30%) patients with atypical Usher syndrome. The chip also identified two novel sequence variants, c.400C>T (p.R134X) in PCDH15 and c.1606T>C (p.C536S) in USH2A. CONCLUSION: The Usher genotyping microarray is a versatile and affordable screening tool for Usher syndrome. Its efficiency will improve with the addition of novel sequence variants with minimal extra costs, making it a very useful first-pass screening tool

Taxonomy of the order Mononegavirales: update 2016

In 2016, the order Mononegavirales was emended through the addition of two new families (Mymonaviridae and Sunviridae), the elevation of the paramyxoviral subfamily Pneumovirinae to family status (Pneumoviridae), the addition of five free-floating genera (Anphevirus, Arlivirus, Chengtivirus, Crustavirus, and Wastrivirus), and several other changes at the genus and species levels. This article presents the updated taxonomy of the order Mononegavirales as now accepted by the International Committee on Taxonomy of Viruses (ICTV)

Natural clusters of tuberous sclerosis complex (TSC)-associated neuropsychiatric disorders (TAND): new findings from the TOSCA TAND research project.

BACKGROUND: Tuberous sclerosis complex (TSC)-associated neuropsychiatric disorders (TAND) have unique, individual patterns that pose significant challenges for diagnosis, psycho-education, and intervention planning. A recent study suggested that it may be feasible to use TAND Checklist data and data-driven methods to generate natural TAND clusters. However, the study had a small sample size and data from only two countries. Here, we investigated the replicability of identifying natural TAND clusters from a larger and more diverse sample from the TOSCA study. METHODS: As part of the TOSCA international TSC registry study, this embedded research project collected TAND Checklist data from individuals with TSC. Correlation coefficients were calculated for TAND variables to generate a correlation matrix. Hierarchical cluster and factor analysis methods were used for data reduction and identification of natural TAND clusters. RESULTS: A total of 85 individuals with TSC (female:male, 40:45) from 7 countries were enrolled. Cluster analysis grouped the TAND variables into 6 clusters: a scholastic cluster (reading, writing, spelling, mathematics, visuo-spatial difficulties, disorientation), a hyperactive/impulsive cluster (hyperactivity, impulsivity, self-injurious behavior), a mood/anxiety cluster (anxiety, depressed mood, sleep difficulties, shyness), a neuropsychological cluster (attention/concentration difficulties, memory, attention, dual/multi-tasking, executive skills deficits), a dysregulated behavior cluster (mood swings, aggressive outbursts, temper tantrums), and an autism spectrum disorder (ASD)-like cluster (delayed language, poor eye contact, repetitive behaviors, unusual use of language, inflexibility, difficulties associated with eating). The natural clusters mapped reasonably well onto the six-factor solution generated. Comparison between cluster and factor solutions from this study and the earlier feasibility study showed significant similarity, particularly in cluster solutions. CONCLUSIONS: Results from this TOSCA research project in an independent international data set showed that the combination of cluster analysis and factor analysis may be able to identify clinically meaningful natural TAND clusters. Findings were remarkably similar to those identified in the earlier feasibility study, supporting the potential robustness of these natural TAND clusters. Further steps should include examination of larger samples, investigation of internal consistency, and evaluation of the robustness of the proposed natural clusters

Measurement of the cross section for isolated-photon plus jet production in pp collisions at √s=13 TeV using the ATLAS detector

The dynamics of isolated-photon production in association with a jet in proton–proton collisions at a centre-of-mass energy of 13 TeV are studied with the ATLAS detector at the LHC using a dataset with an integrated luminosity of 3.2 fb−1. Photons are required to have transverse energies above 125 GeV. Jets are identified using the anti- algorithm with radius parameter and required to have transverse momenta above 100 GeV. Measurements of isolated-photon plus jet cross sections are presented as functions of the leading-photon transverse energy, the leading-jet transverse momentum, the azimuthal angular separation between the photon and the jet, the photon–jet invariant mass and the scattering angle in the photon–jet centre-of-mass system. Tree-level plus parton-shower predictions from Sherpa and Pythia as well as next-to-leading-order QCD predictions from Jetphox and Sherpa are compared to the measurements

A search for resonances decaying into a Higgs boson and a new particle X in the XH → qqbb final state with the ATLAS detector

A search for heavy resonances decaying into a Higgs boson (H) and a new particle (X) is reported, utilizing 36.1 fb−1 of proton–proton collision data at collected during 2015 and 2016 with the ATLAS detector at the CERN Large Hadron Collider. The particle X is assumed to decay to a pair of light quarks, and the fully hadronic final state is analysed. The search considers the regime of high XH resonance masses, where the X and H bosons are both highly Lorentz-boosted and are each reconstructed using a single jet with large radius parameter. A two-dimensional phase space of XH mass versus X mass is scanned for evidence of a signal, over a range of XH resonance mass values between 1 TeV and 4 TeV, and for X particles with masses from 50 GeV to 1000 GeV. All search results are consistent with the expectations for the background due to Standard Model processes, and 95% CL upper limits are set, as a function of XH and X masses, on the production cross-section of the resonance

Search for dark matter produced in association with a hadronically decaying vector boson in pp collisions at sqrt (s) = 13 TeV with the ATLAS detector

A search is presented for dark matter produced in association with a hadronically decaying W or Z boson using 3.2 fb−1 of pp collisions at View the MathML sources=13 TeV recorded by the ATLAS detector at the Large Hadron Collider. Events with a hadronic jet compatible with a W or Z boson and with large missing transverse momentum are analysed. The data are consistent with the Standard Model predictions and are interpreted in terms of both an effective field theory and a simplified model containing dark matter