1,212 research outputs found
What price the spin-statistics theorem?
We examine a number of recent proofs of the spin-statistics theorem. All, of course, get the target result of Bose-Einstein statistics for identical integral spin particles and Fermi-Dirac statistics for identical half-integral spin particles. It is pointed out that these proofs, distinguished by their purported simple and intuitive kinematic character, require assumptions that are outside the realm of standard quantum mechanics. We construct a counterexample to these non-dynamical kinematic 'proofs' to emphasize the necessity of a dynamical proof as distinct from a kinematic proof. Sudarshan's simple non-relativistic dynamical proof is briefly described. Finally, we make clear the price paid for any kinematic 'proof'
EffectiveSan: Type and Memory Error Detection using Dynamically Typed C/C++
Low-level programming languages with weak/static type systems, such as C and
C++, are vulnerable to errors relating to the misuse of memory at runtime, such
as (sub-)object bounds overflows, (re)use-after-free, and type confusion. Such
errors account for many security and other undefined behavior bugs for programs
written in these languages. In this paper, we introduce the notion of
dynamically typed C/C++, which aims to detect such errors by dynamically
checking the "effective type" of each object before use at runtime. We also
present an implementation of dynamically typed C/C++ in the form of the
Effective Type Sanitizer (EffectiveSan). EffectiveSan enforces type and memory
safety using a combination of low-fat pointers, type meta data and type/bounds
check instrumentation. We evaluate EffectiveSan against the SPEC2006 benchmark
suite and the Firefox web browser, and detect several new type and memory
errors. We also show that EffectiveSan achieves high compatibility and
reasonable overheads for the given error coverage. Finally, we highlight that
EffectiveSan is one of only a few tools that can detect sub-object bounds
errors, and uses a novel approach (dynamic type checking) to do so.Comment: To appear in the Proceedings of 39th ACM SIGPLAN Conference on
Programming Language Design and Implementation (PLDI2018
Quantum statistics on graphs
Quantum graphs are commonly used as models of complex quantum systems, for
example molecules, networks of wires, and states of condensed matter. We
consider quantum statistics for indistinguishable spinless particles on a
graph, concentrating on the simplest case of abelian statistics for two
particles. In spite of the fact that graphs are locally one-dimensional, anyon
statistics emerge in a generalized form. A given graph may support a family of
independent anyon phases associated with topologically inequivalent exchange
processes. In addition, for sufficiently complex graphs, there appear new
discrete-valued phases. Our analysis is simplified by considering combinatorial
rather than metric graphs -- equivalently, a many-particle tight-binding model.
The results demonstrate that graphs provide an arena in which to study new
manifestations of quantum statistics. Possible applications include topological
quantum computing, topological insulators, the fractional quantum Hall effect,
superconductivity and molecular physics.Comment: 21 pages, 6 figure
Phase relations in K_xFe_{2-y}Se_2 and the structure of superconducting K_xFe_2Se_2 via high-resolution synchrotron diffraction
Superconductivity in iron selenides has experienced a rapid growth, but not
without major inconsistencies in the reported properties. For
alkali-intercalated iron selenides, even the structure of the superconducting
phase is a subject of debate, in part because the onset of superconductivity is
affected much more delicately by stoichiometry and preparation than in cuprate
or pnictide superconductors. If high-quality, pure, superconducting
intercalated iron selenides are ever to be made, the intertwined physics and
chemistry must be explained by systematic studies of how these materials form
and by and identifying the many coexisting phases. To that end, we prepared
pure K_2Fe_4Se_5 powder and superconductors in the K_xFe_{2-y}Se_2 system, and
examined differences in their structures by high-resolution synchrotron and
single-crystal x-ray diffraction. We found four distinct phases: semiconducting
K_2Fe_4Se_5, a metallic superconducting phase K_xFe_2Se_2 with x ranging from
0.38 to 0.58, an insulator KFe_{1.6}Se_2 with no vacancy ordering, and an
oxidized phase K_{0.51(5)}Fe_{0.70(2)}Se that forms the PbClF structure upon
exposure to moisture. We find that the vacancy-ordered phase K_2Fe_4Se_5 does
not become superconducting by doping, but the distinct iron-rich minority phase
K_xFe_2Se_2 precipitates from single crystals upon cooling from above the
vacancy ordering temperature. This coexistence of metallic and semiconducting
phases explains a broad maximum in resistivity around 100 K. Further studies to
understand the solubility of excess Fe in the K_xFe_{2-y}Se_2 structure will
shed light on the maximum fraction of superconducting K_xFe_2Se_2 that can be
obtained by solid state synthesis.Comment: 12 pages, 16 figures, supplemental materia
Mortality trends in the general population: the importance of cardiorespiratory fitness
Cardiorespiratory fitness (CRF) is not only an objective measure of habitual physical activity, but also a useful diagnostic and prognostic health indicator for patients in clinical settings. Although compelling evidence has shown that CRF is a strong and independent predictor of all-cause and cardiovascular disease mortality, the importance of CRF is often overlooked from a clinical perspective compared with other risk factors such as hypertension, diabetes, smoking, or obesity. Several prospective studies indicate that CRF is at least as important as the traditional risk factors, and is often more strongly associated with mortality. In addition, previous studies report that CRF appears to attenuate the increased risk of death associated with obesity. Most individuals can improve their CRF through regular physical activity. Several biological mechanisms suggest that CRF improves insulin sensitivity, blood lipid profile, body composition, inflammation, and blood pressure. Based on the evidence, health professionals should encourage their patients to improve CRF through regular physical activity
- β¦