29,817 research outputs found
Emergence of long-range order in BaTiO3 from local symmetry-breaking distortions
By using a symmetry motivated basis to evaluate local distortions against
pair distribution function data (PDF), we show without prior bias, that the
off-centre Ti displacements in the archetypal ferroelectric BaTiO3 are zone
centred and rhombohedral-like in nature across its known ferroelectric and
paraelectric phases. With our newly-gained insight we construct a simple Monte
Carlo (MC) model which captures our main experimental findings and demonstrate
how the rich crystallographic phase diagram of BaTiO3 emerges from correlations
of local symmetry-breaking distortions alone. Our results strongly support the
order-disorder picture for these phase transitions, but can also be reconciled
with the soft-mode theory of BaTiO3 that is supported by some spectroscopic
techniques.Comment: 5 pages, 3 figure
SMT-Based Refutation of Spurious Bug Reports in the Clang Static Analyzer
We describe and evaluate a bug refutation extension for the Clang Static
Analyzer (CSA) that addresses the limitations of the existing built-in
constraint solver. In particular, we complement CSA's existing heuristics that
remove spurious bug reports. We encode the path constraints produced by CSA as
Satisfiability Modulo Theories (SMT) problems, use SMT solvers to precisely
check them for satisfiability, and remove bug reports whose associated path
constraints are unsatisfiable. Our refutation extension refutes spurious bug
reports in 8 out of 12 widely used open-source applications; on average, it
refutes ca. 7% of all bug reports, and never refutes any true bug report. It
incurs only negligible performance overheads, and on average adds 1.2% to the
runtime of the full Clang/LLVM toolchain. A demonstration is available at {\tt
https://www.youtube.com/watch?v=ylW5iRYNsGA}.Comment: 4 page
Absence of an embryonic stem cell DNA methylation signature in human cancer.
BackgroundDifferentiated cells that arise from stem cells in early development contain DNA methylation features that provide a memory trace of their fetal cell origin (FCO). The FCO signature was developed to estimate the proportion of cells in a mixture of cell types that are of fetal origin and are reminiscent of embryonic stem cell lineage. Here we implemented the FCO signature estimation method to compare the fraction of cells with the FCO signature in tumor tissues and their corresponding nontumor normal tissues.MethodsWe applied our FCO algorithm to discovery data sets obtained from The Cancer Genome Atlas (TCGA) and replication data sets obtained from the Gene Expression Omnibus (GEO) data repository. Wilcoxon rank sum tests, linear regression models with adjustments for potential confounders and non-parametric randomization-based tests were used to test the association of FCO proportion between tumor tissues and nontumor normal tissues. P-values of < 0.05 were considered statistically significant.ResultsAcross 20 different tumor types we observed a consistently lower FCO signature in tumor tissues compared with nontumor normal tissues, with 18 observed to have significantly lower FCO fractions in tumor tissue (total n = 6,795 tumor, n = 922 nontumor, P < 0.05). We replicated our findings in 15 tumor types using data from independent subjects in 15 publicly available data sets (total n = 740 tumor, n = 424 nontumor, P < 0.05).ConclusionsThe results suggest that cancer development itself is substantially devoid of recapitulation of normal embryologic processes. Our results emphasize the distinction between DNA methylation in normal tightly regulated stem cell driven differentiation and cancer stem cell reprogramming that involves altered methylation in the service of great cell heterogeneity and plasticity
Enhancing the charging power of quantum batteries
Can collective quantum effects make a difference in a meaningful
thermodynamic operation? Focusing on energy storage and batteries, we
demonstrate that quantum mechanics can lead to an enhancement in the amount of
work deposited per unit time, i.e., the charging power, when batteries are
charged collectively. We first derive analytic upper bounds for the collective
\emph{quantum advantage} in charging power for two choices of constraints on
the charging Hamiltonian. We then highlight the importance of entanglement by
proving that the quantum advantage vanishes when the collective state of the
batteries is restricted to be in the separable ball. Finally, we provide an
upper bound to the achievable quantum advantage when the interaction order is
restricted, i.e., at most batteries are interacting. Our result is a
fundamental limit on the advantage offered by quantum technologies over their
classical counterparts as far as energy deposition is concerned.Comment: In this new updated version Theorem 1 has been changed with
Proposition 1. The paper has been published on PRL, and DOI included
accordingl
- …