Twin Paradox and the logical foundation of relativity theory

We study the foundation of space-time theory in the framework of first-order logic (FOL). Since the foundation of mathematics has been successfully carried through (via set theory) in FOL, it is not entirely impossible to do the same for space-time theory (or relativity). First we recall a simple and streamlined FOL-axiomatization SpecRel of special relativity from the literature. SpecRel is complete with respect to questions about inertial motion. Then we ask ourselves whether we can prove usual relativistic properties of accelerated motion (e.g., clocks in acceleration) in SpecRel. As it turns out, this is practically equivalent to asking whether SpecRel is strong enough to "handle" (or treat) accelerated observers. We show that there is a mathematical principle called induction (IND) coming from real analysis which needs to be added to SpecRel in order to handle situations involving relativistic acceleration. We present an extended version AccRel of SpecRel which is strong enough to handle accelerated motion, in particular, accelerated observers. Among others, we show that the Twin Paradox becomes provable in AccRel, but it is not provable without IND.Comment: 24 pages, 6 figure

A novel determination of the local dark matter density

We present a novel study on the problem of constructing mass models for the Milky Way, concentrating on features regarding the dark matter halo component. We have considered a variegated sample of dynamical observables for the Galaxy, including several results which have appeared recently, and studied a 7- or 8-dimensional parameter space - defining the Galaxy model - by implementing a Bayesian approach to the parameter estimation based on a Markov Chain Monte Carlo method. The main result of this analysis is a novel determination of the local dark matter halo density which, assuming spherical symmetry and either an Einasto or an NFW density profile is found to be around 0.39 GeV cm$^{-3}$ with a 1-$\sigma$ error bar of about 7%; more precisely we find a $\rho_{DM}(R_0) = 0.385 \pm 0.027 \rm GeV cm^{-3}$ for the Einasto profile and $\rho_{DM}(R_0) = 0.389 \pm 0.025 \rm GeV cm^{-3}$ for the NFW. This is in contrast to the standard assumption that $\rho_{DM}(R_0)$ is about 0.3 GeV cm$^{-3}$ with an uncertainty of a factor of 2 to 3. A very precise determination of the local halo density is very important for interpreting direct dark matter detection experiments. Indeed the results we produced, together with the recent accurate determination of the local circular velocity, should be very useful to considerably narrow astrophysical uncertainties on direct dark matter detection.Comment: 31 pages,11 figures; minor changes in the text; two figures adde

Comparative analysis of the genes UL1 through UL7 of the duck enteritis virus and other herpesviruses of the subfamily Alphaherpesvirinae

The nucleotide sequences of eight open reading frames (ORFs) located at the 5' end of the unique long region of the duck enteritis virus (DEV) Clone-03 strain were determined. The genes identified were designated UL1, UL2, UL3, UL4, UL5, UL6 and UL7 homologues of the herpes simplex virus 1 (HSV-1). The DEV UL3.5 located between UL3 and UL4 had no homologue in the HSV-1. The arrangement and transcription orientation of the eight genes were collinear with their homologues in the HSV-1. Phylogenetic trees were constructed based on the alignments of the deduced amino acids of eight proteins with their homologues in 12 alpha-herpesviruses. In the UL1, UL3, UL3.5, UL5 and UL7 proteins trees, the branches were more closely related to the genus Mardivirus. However, the UL2, UL4, and UL6 proteins phylogenetic trees indicated a large distance from Mardivirus, indicating that the DEV evolved differently from other viruses in the subfamily Alphaherpesvirinae and formed a single branch within this subfamily

Damage measurements on the NWTC direct-drive, Variable-Speed Test Bed

The NWTC (National Wind Technology Center) Variable-Speed Test Bed turbine is a three-bladed, 10-meter, downwind machine that can be run in either fixed-speed or variable-speed mode. In the variable-speed mode, the generator torque is regulated, using a discrete-stepped load bank to maximize the turbine`s power coefficient. At rated power, a second control loop that uses blade pitch to maintain rotor speed essentially as before, i.e., using the load bank to maintain either generator power or (optionally) generator torque. In this paper, the authors will use this turbine to study the effect of variable-speed operation on blade damage. Using time-series data obtained from blade flap and edge strain gauges, the load spectrum for the turbine is developed using rainflow counting techniques. Miner`s rule is then used to determine the damage rates for variable-speed and fixed-speed operation. The results illustrate that the controller algorithm used with this turbine introduces relatively large load cycles into the blade that significantly reduce its service lifetime, while power production is only marginally increased

Grain Surface Models and Data for Astrochemistry

AbstractThe cross-disciplinary field of astrochemistry exists to understand the formation, destruction, and survival of molecules in astrophysical environments. Molecules in space are synthesized via a large variety of gas-phase reactions, and reactions on dust-grain surfaces, where the surface acts as a catalyst. A broad consensus has been reached in the astrochemistry community on how to suitably treat gas-phase processes in models, and also on how to present the necessary reaction data in databases; however, no such consensus has yet been reached for grain-surface processes. A team of ∼25 experts covering observational, laboratory and theoretical (astro)chemistry met in summer of 2014 at the Lorentz Center in Leiden with the aim to provide solutions for this problem and to review the current state-of-the-art of grain surface models, both in terms of technical implementation into models as well as the most up-to-date information available from experiments and chemical computations. This review builds on the results of this workshop and gives an outlook for future directions

Photoproduction of mesons off nuclei

Recent results for the photoproduction of mesons off nuclei are reviewed. These experiments have been performed for two major lines of research related to the properties of the strong interaction. The investigation of nucleon resonances requires light nuclei as targets for the extraction of the isospin composition of the electromagnetic excitations. This is done with quasi-free meson photoproduction off the bound neutron and supplemented with the measurement of coherent photoproduction reactions, serving as spin and/or isospin filters. Furthermore, photoproduction from light and heavy nuclei is a very efficient tool for the study of the interactions of mesons with nuclear matter and the in-medium properties of hadrons. Experiments are currently rapidly developing due to the combination of high quality tagged (and polarized) photon beams with state-of-the-art 4pi detectors and polarized targets

Luminescence Dating in Fluvial Settings: Overcoming the Challenge of Partial Bleaching

Optically stimulated luminescence (OSL) dating is a versatile technique that utilises the two most ubiquitous minerals on Earth (quartz or K-feldspar) for constraining the timing of sediment deposition. It has provided accurate ages in agreement with independent age control in many fluvial settings, but is often characterised by partial bleaching of individual grains. Partial bleaching can occur where sunlight exposure is limited and so only a portion of the grains in the sample was exposed to sunlight prior to burial, especially in sediment-laden, turbulent or deep water columns. OSL analysis on multiple grains can provide accurate ages for partially bleached sediments where the OSL signal intensity is dominated by a single brighter grain, but will overestimate the age where the OSL signal intensity is equally as bright (often typical of K-feldspar) or as dim (sometimes typical of quartz). In such settings, it is important to identify partial bleaching and the minimum dose population, preferably by analysing single grains, and applying the appropriate statistical age model to the dose population obtained for each sample. To determine accurate OSL ages using these age models, it is important to quantify the amount of scatter (or overdispersion) in the well-bleached part of the partially bleached dose distribution, which can vary between sediment samples depending upon the bedrock sources and transport histories of grains. Here, we discuss how the effects of partial bleaching can be easily identified and overcome to determine accurate ages. This discussion will therefore focus entirely on the burial dose determination for OSL dating, rather than the dose-rate, as only the burial doses are impacted by the effects of partial bleaching

Properties of baryon resonances from a multichannel partial wave analysis

Properties of nucleon and $\Delta$ resonances are derived from a multichannel partial wave analysis. The statistical significance of pion and photo-induced inelastic reactions off protons are studied in a multichannel partial-wave analysis.Comment: 12 pages, 8 Table

Measurement of the cross section for isolated-photon plus jet production in pp collisions at √s=13 TeV using the ATLAS detector

The dynamics of isolated-photon production in association with a jet in proton–proton collisions at a centre-of-mass energy of 13 TeV are studied with the ATLAS detector at the LHC using a dataset with an integrated luminosity of 3.2 fb−1. Photons are required to have transverse energies above 125 GeV. Jets are identified using the anti- algorithm with radius parameter and required to have transverse momenta above 100 GeV. Measurements of isolated-photon plus jet cross sections are presented as functions of the leading-photon transverse energy, the leading-jet transverse momentum, the azimuthal angular separation between the photon and the jet, the photon–jet invariant mass and the scattering angle in the photon–jet centre-of-mass system. Tree-level plus parton-shower predictions from Sherpa and Pythia as well as next-to-leading-order QCD predictions from Jetphox and Sherpa are compared to the measurements

Measurement of the View the tt production cross-section using eμ events with b-tagged jets in pp collisions at √s = 13 TeV with the ATLAS detector

This paper describes a measurement of the inclusive top quark pair production cross-section (σtt¯) with a data sample of 3.2 fb−1 of proton–proton collisions at a centre-of-mass energy of √s = 13 TeV, collected in 2015 by the ATLAS detector at the LHC. This measurement uses events with an opposite-charge electron–muon pair in the final state. Jets containing b-quarks are tagged using an algorithm based on track impact parameters and reconstructed secondary vertices. The numbers of events with exactly one and exactly two b-tagged jets are counted and used to determine simultaneously σtt¯ and the efficiency to reconstruct and b-tag a jet from a top quark decay, thereby minimising the associated systematic uncertainties. The cross-section is measured to be: σtt¯ = 818 ± 8 (stat) ± 27 (syst) ± 19 (lumi) ± 12 (beam) pb, where the four uncertainties arise from data statistics, experimental and theoretical systematic effects, the integrated luminosity and the LHC beam energy, giving a total relative uncertainty of 4.4%. The result is consistent with theoretical QCD calculations at next-to-next-to-leading order. A fiducial measurement corresponding to the experimental acceptance of the leptons is also presented