Generalized Satisfiability Problems via Operator Assignments

Schaefer introduced a framework for generalized satisfiability problems on the Boolean domain and characterized the computational complexity of such problems. We investigate an algebraization of Schaefer's framework in which the Fourier transform is used to represent constraints by multilinear polynomials in a unique way. The polynomial representation of constraints gives rise to a relaxation of the notion of satisfiability in which the values to variables are linear operators on some Hilbert space. For the case of constraints given by a system of linear equations over the two-element field, this relaxation has received considerable attention in the foundations of quantum mechanics, where such constructions as the Mermin-Peres magic square show that there are systems that have no solutions in the Boolean domain, but have solutions via operator assignments on some finite-dimensional Hilbert space. We obtain a complete characterization of the classes of Boolean relations for which there is a gap between satisfiability in the Boolean domain and the relaxation of satisfiability via operator assignments. To establish our main result, we adapt the notion of primitive-positive definability (pp-definability) to our setting, a notion that has been used extensively in the study of constraint satisfaction problems. Here, we show that pp-definability gives rise to gadget reductions that preserve satisfiability gaps. We also present several additional applications of this method. In particular and perhaps surprisingly, we show that the relaxed notion of pp-definability in which the quantified variables are allowed to range over operator assignments gives no additional expressive power in defining Boolean relations

The relativistic Sagnac Effect: two derivations

The phase shift due to the Sagnac Effect, for relativistic matter and electromagnetic beams, counter-propagating in a rotating interferometer, is deduced using two different approaches. From one hand, we show that the relativistic law of velocity addition leads to the well known Sagnac time difference, which is the same independently of the physical nature of the interfering beams, evidencing in this way the universality of the effect. Another derivation is based on a formal analogy with the phase shift induced by the magnetic potential for charged particles travelling in a region where a constant vector potential is present: this is the so called Aharonov-Bohm effect. Both derivations are carried out in a fully relativistic context, using a suitable 1+3 splitting that allows us to recognize and define the space where electromagnetic and matter waves propagate: this is an extended 3-space, which we call "relative space". It is recognized as the only space having an actual physical meaning from an operational point of view, and it is identified as the 'physical space of the rotating platform': the geometry of this space turns out to be non Euclidean, according to Einstein's early intuition.Comment: 49 pages, LaTeX, 3 EPS figures. Revised (final) version, minor corrections; to appear in "Relativity in Rotating Frames", ed. G. Rizzi and M.L. Ruggiero, Kluwer Academic Publishers, Dordrecht, (2003). See also http://digilander.libero.it/solciclo

Evolutionary connectionism: algorithmic principles underlying the evolution of biological organisation in evo-devo, evo-eco and evolutionary transitions

The mechanisms of variation, selection and inheritance, on which evolution by natural selection depends, are not fixed over evolutionary time. Current evolutionary biology is increasingly focussed on understanding how the evolution of developmental organisations modifies the distribution of phenotypic variation, the evolution of ecological relationships modifies the selective environment, and the evolution of reproductive relationships modifies the heritability of the evolutionary unit. The major transitions in evolution, in particular, involve radical changes in developmental, ecological and reproductive organisations that instantiate variation, selection and inheritance at a higher level of biological organisation. However, current evolutionary theory is poorly equipped to describe how these organisations change over evolutionary time and especially how that results in adaptive complexes at successive scales of organisation (the key problem is that evolution is self-referential, i.e. the products of evolution change the parameters of the evolutionary process). Here we first reinterpret the central open questions in these domains from a perspective that emphasises the common underlying themes. We then synthesise the findings from a developing body of work that is building a new theoretical approach to these questions by converting well-understood theory and results from models of cognitive learning. Specifically, connectionist models of memory and learning demonstrate how simple incremental mechanisms, adjusting the relationships between individually-simple components, can produce organisations that exhibit complex system-level behaviours and improve the adaptive capabilities of the system. We use the term “evolutionary connectionism” to recognise that, by functionally equivalent processes, natural selection acting on the relationships within and between evolutionary entities can result in organisations that produce complex system-level behaviours in evolutionary systems and modify the adaptive capabilities of natural selection over time. We review the evidence supporting the functional equivalences between the domains of learning and of evolution, and discuss the potential for this to resolve conceptual problems in our understanding of the evolution of developmental, ecological and reproductive organisations and, in particular, the major evolutionary transitions

Identifying factors relevant in the assessment of return-to-work efforts in employees on long-term sickness absence due to chronic low back pain: a focus group study

ABSTRACT: BACKGROUND: Efforts undertaken during the return to work (RTW) process need to be sufficient to prevent unnecessary applications for disability benefits. The purpose of this study was to identify factors relevant to RTW Effort Sufficiency (RTW-ES) in cases of sick-listed employees with chronic low back pain (CLBP). METHODS: Using focus groups consisting of Labor Experts (LE's) working at the Dutch Social Insurance Institute, arguments and underlying grounds relevant to the assessment of RTW-ES were investigated. Factors were collected and categorized using the International Classification of Functioning, Disability and Health (ICF model). RESULTS: Two focus groups yielded 19 factors, of which 12 are categorized in the ICF model under activities (e.g. functional capacity) and in the personal (e.g. age, tenure) and environmental domain (e.g. employer-employee relationship). The remaining 7 factors are categorized under intervention, job accommodation and measures. CONCLUSIONS: This focus group study shows that 19 factors may be relevant to RTW-ES in sick-listed employees with CLBP. Providing these results to professionals assessing RTW-ES might contribute to a more transparent and systematic approach. Considering the importance of the quality of the RTW process, optimizing the RTW-ES assessment is essential

Microscopy of bacterial translocation during small bowel obstruction and ischemia in vivo – a new animal model

BACKGROUND: Existing animal models provide only indirect information about the pathogenesis of infections caused by indigenous gastrointestinal microflora and the kinetics of bacterial translocation. The aim of this study was to develop a novel animal model to assess bacterial translocation and intestinal barrier function in vivo. METHODS: In anaesthetized male Wistar rats, 0.5 ml of a suspension of green fluorescent protein-transfected E. coli was administered by intraluminal injection in a model of small bowel obstruction. Animals were randomly subjected to non-ischemic or ischemic bowel obstruction. Ischemia was induced by selective clamping of the terminal mesenteric vessels feeding the obstructed bowel loop. Time intervals necessary for translocation of E. coli into the submucosal stroma and the muscularis propria was assessed using intravital microscopy. RESULTS: Bacterial translocation into the submucosa and muscularis propria took a mean of 36 ± 8 min and 80 ± 10 min, respectively, in small bowel obstruction. Intestinal ischemia significantly accelerated bacterial translocation into the submucosa (11 ± 5 min, p < 0.0001) and muscularis (66 ± 7 min; p = 0.004). Green fluorescent protein-transfected E. coli were visible in frozen sections of small bowel, mesentery, liver and spleen taken two hours after E. coli administration. CONCLUSIONS: Intravital microscopy of fluorescent bacteria is a novel approach to study bacterial translocation in vivo. We have applied this technique to define minimal bacterial transit time as a functional parameter of intestinal barrier function

Clustering patterns of physical activity, sedentary and dietary behavior among European adolescents: The HELENA study

<p>Abstract</p> <p>Background</p> <p>Evidence suggests possible synergetic effects of multiple lifestyle behaviors on health risks like obesity and other health outcomes. A better insight in the clustering of those behaviors, could help to identify groups who are at risk in developing chronic diseases. This study examines the prevalence and clustering of physical activity, sedentary and dietary patterns among European adolescents and investigates if the identified clusters could be characterized by socio-demographic factors.</p> <p>Methods</p> <p>The study comprised a total of 2084 adolescents (45.6% male), from eight European cities participating in the HELENA (Healthy Lifestyle in Europe by Nutrition in Adolescence) study. Physical activity and sedentary behavior were measured using self-reported questionnaires and diet quality was assessed based on dietary recall. Based on the results of those three indices, cluster analyses were performed. To identify gender differences and associations with socio-demographic variables, chi-square tests were executed.</p> <p>Results</p> <p>Five stable and meaningful clusters were found. Only 18% of the adolescents showed healthy and 21% unhealthy scores on all three included indices. Males were highly presented in the cluster with high levels of moderate to vigorous physical activity (MVPA) and low quality diets. The clusters with low levels of MVPA and high quality diets comprised more female adolescents. Adolescents with low educated parents had diets of lower quality and spent more time in sedentary activities. In addition, the clusters with high levels of MVPA comprised more adolescents of the younger age category.</p> <p>Conclusion</p> <p>In order to develop effective primary prevention strategies, it would be important to consider multiple health indices when identifying high risk groups.</p

Host shifts and molecular evolution of H7 avian influenza virus hemagglutinin

Evolutionary consequences of host shifts represent a challenge to identify the mechanisms involved in the emergence of influenza A (IA) viruses. In this study we focused on the evolutionary history of H7 IA virus in wild and domestic birds, with a particular emphasis on host shifts consequences on the molecular evolution of the hemagglutinin (HA) gene. Based on a dataset of 414 HA nucleotide sequences, we performed an extensive phylogeographic analysis in order to identify the overall genetic structure of H7 IA viruses. We then identified host shift events and investigated viral population dynamics in wild and domestic birds, independently. Finally, we estimated changes in nucleotide substitution rates and tested for positive selection in the HA gene. A strong association between the geographic origin and the genetic structure was observed, with four main clades including viruses isolated in North America, South America, Australia and Eurasia-Africa. We identified ten potential events of virus introduction from wild to domestic birds, but little evidence for spillover of viruses from poultry to wild waterbirds. Several sites involved in host specificity (addition of a glycosylation site in the receptor binding domain) and virulence (insertion of amino acids in the cleavage site) were found to be positively selected in HA nucleotide sequences, in genetically unrelated lineages, suggesting parallel evolution for the HA gene of IA viruses in domestic birds. These results highlight that evolutionary consequences of bird host shifts would need to be further studied to understand the ecological and molecular mechanisms involved in the emergence of domestic bird-adapted viruses

Optimization of preservation and processing of sea anemones for microbial community analysis using molecular tools

For several years, knowledge on the microbiome associated with marine invertebrates was impaired by the challenges associated with the characterization of bacterial communities. With the advent of culture independent molecular tools it is possible to gain new insights on the diversity and richness of microorganisms associated with marine invertebrates. In the present study, we evaluated if different preservation and processing methodologies (prior to DNA extraction) can affect the bacterial diversity retrieved from snakelocks anemone Anemonia viridis. Denaturing gradient gel electrophoresis (DGGE) community fingerprints were used as proxy to determine the bacterial diversity retrieved (H'). Statistical analyses indicated that preservation significantly affects H'. The best approach to preserve and process A. viridis biomass for bacterial community fingerprint analysis was flash freezing in liquid nitrogen (preservation) followed by the use of a mechanical homogenizer (process), as it consistently yielded higher H'. Alternatively, biomass samples can be processed fresh followed by cell lyses using a mechanical homogenizer or mortar &pestle. The suitability of employing these two alternative procedures was further reinforced by the quantification of the 16S rRNA gene; no significant differences were recorded when comparing these two approaches and the use of liquid nitrogen followed by processing with a mechanical homogenizer

Ontogenetic phase shifts in metabolism in a flounder Paralichthys olivaceus

Size-scaling metabolism is widely considered to be of significant importance in biology and ecology. Thus, allometric relationships between metabolic rate (VO2) and body mass (M), V O25aiMb, have long been a topic of interest and speculation. It has been proposed that intraspecifically metabolic rate scales isometrically or near isometrically with body mass during the early life history in fishes, invertebrates, birds and mammals. We developed a new perspective on intraspecific size-scaling metabolism through determination of metabolic rate in the Japanese flounder, Paralichthys olivaceus, during their early life stages spanning approximately four orders of magnitude in body mass. With the increase of body mass, the Japanese flounder had four distinct negative allometric phases in which three stepwise increases in scaling constants (ai, i51?4), i.e. ontogenetic phase shifts in metabolism, occurred with growth during its early life stages at around 0.002, 0.01 and 0.2 g, maintaining each scaling exponent constant in each phase (b50.831).These shifts in metabolism during the early life stages are similar to the tiger puffer, Takifugu rubripes. Our results indicate that ontogenetic phase shifts in metabolism are key to understanding intraspecific size-scaling metabolism in fishes

Multi-messenger observations of a binary neutron star merger

On 2017 August 17 a binary neutron star coalescence candidate (later designated GW170817) with merger time 12:41:04 UTC was observed through gravitational waves by the Advanced LIGO and Advanced Virgo detectors. The Fermi Gamma-ray Burst Monitor independently detected a gamma-ray burst (GRB 170817A) with a time delay of ~1.7 s with respect to the merger time. From the gravitational-wave signal, the source was initially localized to a sky region of 31 deg2 at a luminosity distance of 40+8-8 Mpc and with component masses consistent with neutron stars. The component masses were later measured to be in the range 0.86 to 2.26 Mo. An extensive observing campaign was launched across the electromagnetic spectrum leading to the discovery of a bright optical transient (SSS17a, now with the IAU identification of AT 2017gfo) in NGC 4993 (at ~40 Mpc) less than 11 hours after the merger by the One- Meter, Two Hemisphere (1M2H) team using the 1 m Swope Telescope. The optical transient was independently detected by multiple teams within an hour. Subsequent observations targeted the object and its environment. Early ultraviolet observations revealed a blue transient that faded within 48 hours. Optical and infrared observations showed a redward evolution over ~10 days. Following early non-detections, X-ray and radio emission were discovered at the transient’s position ~9 and ~16 days, respectively, after the merger. Both the X-ray and radio emission likely arise from a physical process that is distinct from the one that generates the UV/optical/near-infrared emission. No ultra-high-energy gamma-rays and no neutrino candidates consistent with the source were found in follow-up searches. These observations support the hypothesis that GW170817 was produced by the merger of two neutron stars in NGC4993 followed by a short gamma-ray burst (GRB 170817A) and a kilonova/macronova powered by the radioactive decay of r-process nuclei synthesized in the ejecta