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