Parameterized Verification of Safety Properties in Ad Hoc Network Protocols

We summarize the main results proved in recent work on the parameterized verification of safety properties for ad hoc network protocols. We consider a model in which the communication topology of a network is represented as a graph. Nodes represent states of individual processes. Adjacent nodes represent single-hop neighbors. Processes are finite state automata that communicate via selective broadcast messages. Reception of a broadcast is restricted to single-hop neighbors. For this model we consider a decision problem that can be expressed as the verification of the existence of an initial topology in which the execution of the protocol can lead to a configuration with at least one node in a certain state. The decision problem is parametric both on the size and on the form of the communication topology of the initial configurations. We draw a complete picture of the decidability and complexity boundaries of this problem according to various assumptions on the possible topologies.Comment: In Proceedings PACO 2011, arXiv:1108.145

Spin-gravity coupling and gravity-induced quantum phases

External gravitational fields induce phase factors in the wave functions of particles. The phases are exact to first order in the background gravitational field, are manifestly covariant and gauge invariant and provide a useful tool for the study of spin-gravity coupling and of the optics of particles in gravitational or inertial fields. We discuss the role that spin-gravity coupling plays in particular problems.Comment: 18 pages, 1 figur

Anthropogenic alteration of nutrient supply increases the global freshwater carbon sink

Lakes have a disproportionate effect on the global carbon (C) cycle relative to their area, mediating C transfer from land to atmosphere, and burying organic-C in their sediments. The magnitude and temporal variability of C burial is, however, poorly constrained, and the degree to which humans have influenced lake C cycling through landscape alteration has not been systematically assessed. Here, we report global and biome specific trajectories of lake C sequestration based on 516 lakes and show that some lake C burial rates (i.e., those in tropical forest and grassland biomes) have quadrupled over the last 100 years. Global lake C-sequestration (~0.12 Pg year-1) has increased by ~72 Tg year-1 since 1900, offsetting 20% of annual CO2 freshwater emissions rising to ~30% if reservoirs are included and contributing to the residual continental C sink. Nutrient availability explains ~70% of the observed increase, while rising temperatures have a minimal effect

Expression of Luteinizing Hormone Receptor in the Gastrointestinal Tract in Patients with and without Dysmotility

Leuprolide is a gonadotropin-releasing hormone (GnRH) analog which has been shown to reduce symptoms in patients with irritable bowel syndrome (IBS) and chronic intestinal pseudo-obstruction (CIPO). The mechanism is not known, but one hypothesis is through down-modulation of luteinizing hormone (LH) secretion, a hormone whith antagonistic effect on gastrointestinal motility. However, presence of LH receptors in the gastrointestinal tract has never been described. The aim of this study was to find one possible way of action for leuprolide by examining the presence of the LH receptor, and if present, to see whether there was different expression in patients with or without dysmotility. Full-thickness biopsies from the bowel wall of patients with and without severe dysmotility were examined using immunohistochemistry staining. Biopsies showed expression of LH receptors on myenteric neurons and in glial cells, neutrophils, endothelial cells and mast cells. There was no difference in expression between patient groups

Common variants at 2q11.2, 8q21.3, and 11q13.2 are associated with major mood disorders

Bipolar disorder (BPD) and major depressive disorder (MDD) are primary major mood disorders. Recent studies suggest that they share certain psychopathological features and common risk genes, but unraveling the full genetic architecture underlying the risk of major mood disorders remains an important scientific task. The public genome-wide association study (GWAS) data sets offer the opportunity to examine this topic by utilizing large amounts of combined genetic data, which should ultimately allow a better understanding of the onset and development of these illnesses. Genome-wide meta-analysis was performed by combining two GWAS data sets on BPD and MDD (19,637 cases and 18,083 controls), followed by replication analyses for the loci of interest in independent 12,364 cases and 76,633 controls from additional samples that were not included in the two GWAS data sets. The single-nucleotide polymorphism (SNP) rs10791889 at 11q13.2 was significant in both discovery and replication samples. When combining all samples, this SNP and multiple other SNPs at 2q11.2 (rs717454), 8q21.3 (rs10103191), and 11q13.2 (rs2167457) exhibited genome-wide significant association with major mood disorders. The SNPs in 2q11.2 and 8q21.3 were novel risk SNPs that were not previously reported, and SNPs at 11q13.2 were in high LD with potential BPD risk SNPs implicated in a previous GWAS. The genome-wide significant loci at 2q11.2 and 11q13.2 exhibited strong effects on the mRNA expression of certain nearby genes in cerebellum. In conclusion, we have identified several novel loci associated with major mood disorders, adding further support for shared genetic risk between BPD and MDD. Our study highlights the necessity and importance of mining public data sets to explore risk genes for complex diseases such as mood disorders

Erratum: "A Gravitational-wave Measurement of the Hubble Constant Following the Second Observing Run of Advanced LIGO and Virgo" (2021, ApJ, 909, 218)

[no abstract available

New insights into the genetic etiology of Alzheimer's disease and related dementias

Characterization of the genetic landscape of Alzheimer's disease (AD) and related dementias (ADD) provides a unique opportunity for a better understanding of the associated pathophysiological processes. We performed a two-stage genome-wide association study totaling 111,326 clinically diagnosed/'proxy' AD cases and 677,663 controls. We found 75 risk loci, of which 42 were new at the time of analysis. Pathway enrichment analyses confirmed the involvement of amyloid/tau pathways and highlighted microglia implication. Gene prioritization in the new loci identified 31 genes that were suggestive of new genetically associated processes, including the tumor necrosis factor alpha pathway through the linear ubiquitin chain assembly complex. We also built a new genetic risk score associated with the risk of future AD/dementia or progression from mild cognitive impairment to AD/dementia. The improvement in prediction led to a 1.6- to 1.9-fold increase in AD risk from the lowest to the highest decile, in addition to effects of age and the APOE ε4 allele

Search for Gravitational Waves Associated with Gamma-Ray Bursts Detected by Fermi and Swift during the LIGO-Virgo Run O3b

We search for gravitational-wave signals associated with gamma-ray bursts (GRBs) detected by the Fermi and Swift satellites during the second half of the third observing run of Advanced LIGO and Advanced Virgo (2019 November 1 15:00 UTC-2020 March 27 17:00 UTC). We conduct two independent searches: A generic gravitational-wave transients search to analyze 86 GRBs and an analysis to target binary mergers with at least one neutron star as short GRB progenitors for 17 events. We find no significant evidence for gravitational-wave signals associated with any of these GRBs. A weighted binomial test of the combined results finds no evidence for subthreshold gravitational-wave signals associated with this GRB ensemble either. We use several source types and signal morphologies during the searches, resulting in lower bounds on the estimated distance to each GRB. Finally, we constrain the population of low-luminosity short GRBs using results from the first to the third observing runs of Advanced LIGO and Advanced Virgo. The resulting population is in accordance with the local binary neutron star merger rate. © 2022. The Author(s). Published by the American Astronomical Society

Narrowband Searches for Continuous and Long-duration Transient Gravitational Waves from Known Pulsars in the LIGO-Virgo Third Observing Run

Isolated neutron stars that are asymmetric with respect to their spin axis are possible sources of detectable continuous gravitational waves. This paper presents a fully coherent search for such signals from eighteen pulsars in data from LIGO and Virgo's third observing run (O3). For known pulsars, efficient and sensitive matched-filter searches can be carried out if one assumes the gravitational radiation is phase-locked to the electromagnetic emission. In the search presented here, we relax this assumption and allow both the frequency and the time derivative of the frequency of the gravitational waves to vary in a small range around those inferred from electromagnetic observations. We find no evidence for continuous gravitational waves, and set upper limits on the strain amplitude for each target. These limits are more constraining for seven of the targets than the spin-down limit defined by ascribing all rotational energy loss to gravitational radiation. In an additional search, we look in O3 data for long-duration (hours-months) transient gravitational waves in the aftermath of pulsar glitches for six targets with a total of nine glitches. We report two marginal outliers from this search, but find no clear evidence for such emission either. The resulting duration-dependent strain upper limits do not surpass indirect energy constraints for any of these targets. © 2022. The Author(s). Published by the American Astronomical Society

Intronic ATTTC repeat expansions in STARD7 in familial adult myoclonic epilepsy linked to chromosome 2

Familial Adult Myoclonic Epilepsy (FAME) is characterised by cortical myoclonic tremor usually from the second decade of life and overt myoclonic or generalised tonic-clonic seizures. Four independent loci have been implicated in FAME on chromosomes (chr) 2, 3, 5 and 8. Using whole genome sequencing and repeat primed PCR, we provide evidence that chr2-linked FAME (FAME2) is caused by an expansion of an ATTTC pentamer within the first intron of STARD7. The ATTTC expansions segregate in 158/158 individuals typically affected by FAME from 22 pedigrees including 16 previously reported families recruited worldwide. RNA sequencing from patient derived fibroblasts shows no accumulation of the AUUUU or AUUUC repeat sequences and STARD7 gene expression is not affected. These data, in combination with other genes bearing similar mutations that have been implicated in FAME, suggest ATTTC expansions may cause this disorder, irrespective of the genomic locus involvedSupplementary Information: Supplementary Data 1; Supplementary Data 2; Reporting Summary.NHMRC; Women’s and Children’s Hospital Research Foundation; Muir Maxwell Trust; Epilepsy Society; The European Fund for Regional Development; The province of Friesland, Dystonia Medical Research Foundation; Stichting Wetenschapsfonds Dystonie Vereniging; Fonds Psychische Gezondheid; Phelps Stichting; The Italian Ministry of Health; Istituto Superiore di Sanità, Italy; Undiagnosed Disease Network Italy; The Fondation maladies rares, University Hospital Essen and UK Department of Health’s NIHR.https://www.nature.com/ncommspm2020Neurolog