Binary pattern tile set synthesis is NP-hard

In the field of algorithmic self-assembly, a long-standing unproven conjecture has been that of the NP-hardness of binary pattern tile set synthesis (2-PATS). The $k$-PATS problem is that of designing a tile assembly system with the smallest number of tile types which will self-assemble an input pattern of $k$ colors. Of both theoretical and practical significance, $k$-PATS has been studied in a series of papers which have shown $k$-PATS to be NP-hard for $k = 60$, $k = 29$, and then $k = 11$. In this paper, we close the fundamental conjecture that 2-PATS is NP-hard, concluding this line of study. While most of our proof relies on standard mathematical proof techniques, one crucial lemma makes use of a computer-assisted proof, which is a relatively novel but increasingly utilized paradigm for deriving proofs for complex mathematical problems. This tool is especially powerful for attacking combinatorial problems, as exemplified by the proof of the four color theorem by Appel and Haken (simplified later by Robertson, Sanders, Seymour, and Thomas) or the recent important advance on the Erd\H{o}s discrepancy problem by Konev and Lisitsa using computer programs. We utilize a massively parallel algorithm and thus turn an otherwise intractable portion of our proof into a program which requires approximately a year of computation time, bringing the use of computer-assisted proofs to a new scale. We fully detail the algorithm employed by our code, and make the code freely available online

The Uncertainty Principle in the Presence of Quantum Memory

The uncertainty principle, originally formulated by Heisenberg, dramatically illustrates the difference between classical and quantum mechanics. The principle bounds the uncertainties about the outcomes of two incompatible measurements, such as position and momentum, on a particle. It implies that one cannot predict the outcomes for both possible choices of measurement to arbitrary precision, even if information about the preparation of the particle is available in a classical memory. However, if the particle is prepared entangled with a quantum memory, a device which is likely to soon be available, it is possible to predict the outcomes for both measurement choices precisely. In this work we strengthen the uncertainty principle to incorporate this case, providing a lower bound on the uncertainties which depends on the amount of entanglement between the particle and the quantum memory. We detail the application of our result to witnessing entanglement and to quantum key distribution.Comment: 5 pages plus 12 of supplementary information. Updated to match the journal versio

Measuring the effect of enhanced cleaning in a UK hospital : a prospective cross-over study

Increasing hospital-acquired infections have generated much attention over the last decade. There is evidence that hygienic cleaning has a role in the control of hospital-acquired infections. This study aimed to evaluate the potential impact of one additional cleaner by using microbiological standards based on aerobic colony counts and the presence of Staphylococcus aureus including meticillin-resistant S. aureus. We introduced an additional cleaner into two matched wards from Monday to Friday, with each ward receiving enhanced cleaning for six months in a cross-over design. Ten hand-touch sites on both wards were screened weekly using standardised methods and patients were monitored for meticillin-resistant S. aureus infection throughout the year-long study. Patient and environmental meticillin-resistant S. aureus isolates were characterised using molecular methods in order to investigate temporal and clonal relationships. Enhanced cleaning was associated with a 32.5% reduction in levels of microbial contamination at handtouch sites when wards received enhanced cleaning (P < 0.0001: 95% CI 20.2%, 42.9%). Near-patient sites (lockers, overbed tables and beds) were more frequently contaminated with meticillin-resistant S. aureus/S. aureus than sites further from the patient (P = 0.065). Genotyping identified indistinguishable strains from both handtouch sites and patients. There was a 26.6% reduction in new meticillin-resistant S. aureus infections on the wards receiving extra cleaning, despite higher meticillin-resistant S. aureus patient-days and bed occupancy rates during enhanced cleaning periods (P = 0.032: 95% CI 7.7%, 92.3%). Adjusting for meticillin-resistant S. aureus patient-days and based upon nine new meticillin-resistant S. aureus infections seen during routine cleaning, we expected 13 new infections during enhanced cleaning periods rather than the four that actually occurred. Clusters of new meticillin-resistant S. aureus infections were identified 2 to 4 weeks after the cleaner left both wards. Enhanced cleaning saved the hospital £30,000 to £70,000.Introducing one extra cleaner produced a measurable effect on the clinical environment, with apparent benefit to patients regarding meticillin-resistant S. aureus infection. Molecular epidemiological methods supported the possibility that patients acquired meticillin-resistant S. aureus from environmental sources. These findings suggest that additional research is warranted to further clarify the environmental, clinical and economic impact of enhanced hygienic cleaning as a component in the control of hospital-acquired infection

MethCancerDB – aberrant DNA methylation in human cancer

Early detection, classification and prognosis of human cancers by analysis of CpG methylation carry huge diagnostic potential. MethCancerDB collects and annotates genes and sequences from the abundance of published methylation studies and interlinks them to all methylation-relevant bioinformatical resources. MethCancerDB starts with 4720 entries from 348 sources and is freely accessible at http://www.methcancerdb.net

A New Era in the Quest for Dark Matter

There is a growing sense of `crisis' in the dark matter community, due to the absence of evidence for the most popular candidates such as weakly interacting massive particles, axions, and sterile neutrinos, despite the enormous effort that has gone into searching for these particles. Here, we discuss what we have learned about the nature of dark matter from past experiments, and the implications for planned dark matter searches in the next decade. We argue that diversifying the experimental effort, incorporating astronomical surveys and gravitational wave observations, is our best hope to make progress on the dark matter problem.Comment: Published in Nature, online on 04 Oct 2018. 13 pages, 1 figur

Augmented visual feedback of movement performance to enhance walking recovery after stroke : study protocol for a pilot randomised controlled trial

Increasing evidence suggests that use of augmented visual feedback could be a useful approach to stroke rehabilitation. In current clinical practice, visual feedback of movement performance is often limited to the use of mirrors or video. However, neither approach is optimal since cognitive and self-image issues can distract or distress patients and their movement can be obscured by clothing or limited viewpoints. Three-dimensional motion capture has the potential to provide accurate kinematic data required for objective assessment and feedback in the clinical environment. However, such data are currently presented in numerical or graphical format, which is often impractical in a clinical setting. Our hypothesis is that presenting this kinematic data using bespoke visualisation software, which is tailored for gait rehabilitation after stroke, will provide a means whereby feedback of movement performance can be communicated in a more meaningful way to patients. This will result in increased patient understanding of their rehabilitation and will enable progress to be tracked in a more accessible way. The hypothesis will be assessed using an exploratory (phase II) randomised controlled trial. Stroke survivors eligible for this trial will be in the subacute stage of stroke and have impaired walking ability (Functional Ambulation Classification of 1 or more). Participants (n = 45) will be randomised into three groups to compare the use of the visualisation software during overground physical therapy gait training against an intensity-matched and attention-matched placebo group and a usual care control group. The primary outcome measure will be walking speed. Secondary measures will be Functional Ambulation Category, Timed Up and Go, Rivermead Visual Gait Assessment, Stroke Impact Scale-16 and spatiotemporal parameters associated with walking. Additional qualitative measures will be used to assess the participant's experience of the visual feedback provided in the study. Results from the trial will explore whether the early provision of visual feedback of biomechanical movement performance during gait rehabilitation demonstrates improved mobility outcomes after stroke and increased patient understanding of their rehabilitation

Beyond the required LISA free-fall performance: new LISA pathfinder results down to 20 μHz

In the months since the publication of the first results, the noise performance of LISA Pathfinder has improved because of reduced Brownian noise due to the continued decrease in pressure around the test masses, from a better correction of noninertial effects, and from a better calibration of the electrostatic force actuation. In addition, the availability of numerous long noise measurement runs, during which no perturbation is purposely applied to the test masses, has allowed the measurement of noise with good statistics down to 20  μHz. The Letter presents the measured differential acceleration noise figure, which is at (1.74±0.05)  fm s^{-2}/sqrt[Hz] above 2 mHz and (6±1)×10  fm s^{-2}/sqrt[Hz] at 20  μHz, and discusses the physical sources for the measured noise. This performance provides an experimental benchmark demonstrating the ability to realize the low-frequency science potential of the LISA mission, recently selected by the European Space Agency

Effects of Intracoronary Alteplase on Microvascular Function in Acute Myocardial Infarction

Background—Impaired microcirculatory reperfusion worsens prognosis following acute ST‐segment–elevation myocardial infarction. In the T‐TIME (A Trial of Low‐Dose Adjunctive Alteplase During Primary PCI) trial, microvascular obstruction on cardiovascular magnetic resonance imaging did not differ with adjunctive, low‐dose, intracoronary alteplase (10 or 20 mg) versus placebo during primary percutaneous coronary intervention. We evaluated the effects of intracoronary alteplase, during primary percutaneous coronary intervention, on the index of microcirculatory resistance, coronary flow reserve, and resistive reserve ratio. Methods and Results—A prespecified physiology substudy of the T‐TIME trial. From 2016 to 2017, patients with ST‐segment–elevation myocardial infarction ≤6 hours from symptom onset were randomized in a double‐blind study to receive alteplase 20 mg, alteplase 10 mg, or placebo infused into the culprit artery postreperfusion, but prestenting. Index of microcirculatory resistance, coronary flow reserve, and resistive reserve ratio were measured after percutaneous coronary intervention. Cardiovascular magnetic resonance was performed at 2 to 7 days and 3 months. Analyses in relation to ischemic time (<2, 2–4, and ≥4 hours) were prespecified. One hundred forty‐four patients (mean age, 59±11 years; 80% male) were prospectively enrolled, representing 33% of the overall population (n=440). Overall, index of microcirculatory resistance (median, 29.5; interquartile range, 17.0–55.0), coronary flow reserve(1.4 [1.1–2.0]), and resistive reserve ratio (1.7 [1.3–2.3]) at the end of percutaneous coronary intervention did not differ between treatment groups. Interactions were observed between ischemic time and alteplase for coronary flow reserve (P=0.013), resistive reserve ratio (P=0.026), and microvascular obstruction (P=0.022), but not index of microcirculatory resistance. Conclusions—In ST‐segment–elevation myocardial infarction with ischemic time ≤6 hours, there was overall no difference in microvascular function with alteplase versus placebo

Options for sampling and stratification for national forest inventories to implement REDD+ under the UNFCCC

<p>Abstract</p> <p>Background</p> <p>Developing countries that are willing to participate in the recently adopted (16^thSession of the Conference of Parties (COP) in Cancun) mitigation mechanism of Reducing emissions from Deforestation and Forest Degradation - and the role of conservation, sustainable management of forests and enhancement of forest carbon stocks (REDD+) - will have to establish a national forest monitoring system in order to assess anthropogenic forest-related greenhouse gas emissions by sources and removals by sinks. Such a system should support the Measurement, Reporting and Verification (MRV) requirement of the United Nations Framework Convention on Climate Change (UNFCCC) as the REDD+ mechanism is results-based. A national forest inventory (NFI) is one potential key component of such an MRV system. Following the Decision adopted during the 15^thSession of the COP in Copenhagen, the most recent Intergovernmental Panel on Climate Change (IPCC) Guidance and Guidelines should be used as a basis for estimating anthropogenic forest-related greenhouse gas emissions by sources and removals by sinks and changes in forest carbon stocks and area.</p> <p>Results</p> <p>First, we present the key indispensable elements of the IPCC Guidance and Guidelines that have been developed to fulfil the UNFCCC reporting requirements. This is done in order to set the framework to develop the MRV requirement in which a NFI for REDD+ implementation could be developed. Second, within this framework, we develop and propose a novel scheme for the stratification of forest land for REDD+. Finally, we present some non-exhaustive optional elements within this framework that a country could consider to successfully operationalise and implement its REDD+ NFI.</p> <p>Conclusion</p> <p>Evidently, both the methodological guidance and political decisions on REDD+ under the UNFCCC will continue to evolve. Even so, and considering that there exists decades of experience in setting up traditional NFIs, developing a NFI that a country may use to directly support REDD+ activities under the UNFCCC represents the development of a new challenge in this field. It is therefore important that both the scientific community and national implementing agencies acquaint themselves with both the context and content of this challenge so that REDD+ mitigation actions may be implemented successfully and with environmental integrity. This paper provides important contributions to the subject through our proposal of the stratification of forest land for REDD+.</p