An ultralight pseudoscalar boson

Using a fundamental discrete symmetry, $\mathbb{Z}_N$, we construct a two-axion model with the QCD axion solving the strong-$CP$ problem, and an ultralight axion (ULA) with $m_{\rm ULA}\approx 10^{-22}\text{ eV}$ providing the dominant form of dark matter (DM). The ULA is light enough to be detectable in cosmology from its imprints on structure formation, and may resolve the small-scale problems of cold DM. The necessary relative DM abundances occur without fine tuning in constructions with decay constants $f_{\rm ULA}\sim 10^{17}\text{ GeV}$, and $f_{\rm QCD}\sim 10^{11}\text{ GeV}$. An example model achieving this has $N=24$, and we construct a range of other possibilities. We compute the ULA couplings to the Standard Model, and discuss prospects for direct detection. The QCD axion may be detectable in standard experiments through the $\vec{E}\cdot\vec{B}$ and $G\tilde{G}$ couplings. In the simplest models, however, the ULA has identically zero coupling to both $G\tilde{G}$ of QCD and $\vec{E}\cdot\vec{B}$ of electromagnetism due to vanishing electromagnetic and color anomalies. The ULA couples to fermions with strength $g\propto 1/f_{\rm ULA}$. This coupling causes spin precession of nucleons and electrons with respect to the DM wind with period $t\sim$months. Current limits do not exclude the predicted coupling strength, and our model is within reach of the CASPEr-Wind experiment, using nuclear magnetic resonance.Comment: 14 pages, 3 figures. v2 numerical error on N corrected, conclusions unchanged. Typos and notation corrected. Matches version published in PR

Selective translational repression of HIV-1 RNA by Sam68DeltaC occurs by altering PABP1 binding to unspliced viral RNA

HIV-1 structural proteins are translated from incompletely spliced 9 kb and 4 kb mRNAs, which are transported to the cytoplasm by Crm1. It has been assumed that once in the cytoplasm, translation of incompletely spliced HIV-1 mRNAs occurs in the same manner as host mRNAs. Previous analyses have demonstrated that Sam68 and a mutant thereof, Sam68ΔC, have dramatic effects on HIV gene expression, strongly enhancing and inhibiting viral structural protein synthesis, respectively. While investigating the inhibition of incompletely spliced HIV-1 mRNAs by Sam68ΔC, we determined that the effect was independent of the perinuclear bundling of the viral RNA. Inhibition was dependent upon the nuclear export pathway used, as translation of viral RNA exported via the Tap/CTE export pathway was not blocked by Sam68ΔC. We demonstrate that inhibition of HIV expression by Sam68ΔC is correlated with a loss of PABP1 binding with no attendant change in polyadenosine tail length of the affected RNAs. The capacity of Sam68ΔC to selectively inhibit translation of HIV-1 RNAs exported by Crm1 suggests that it is able to recognize unique characteristics of these viral RNPs, a property that could lead to new therapeutic approaches to controlling HIV-1 replication

Automated Derivation of Complex System Constraints from User Requirements

International Space Station (ISS) payload developers submit their payload science requirements for the development of on-board execution timelines. The ISS systems required to execute the payload science operations must be represented as constraints for the execution timeline. Payload developers use a software application, User Requirements Collection (URC), to submit their requirements by selecting a simplified representation of ISS system constraints. To fully represent the complex ISS systems, the constraints require a level of detail that is beyond the insight of the payload developer. To provide the complex representation of the ISS system constraints, HOSC operations personnel, specifically the Payload Activity Requirements Coordinators (PARC), manually translate the payload developers simplified constraints into detailed ISS system constraints used for scheduling the payload activities in the Consolidated Planning System (CPS). This paper describes the implementation for a software application, User Requirements Integration (URI), developed to automate the manual ISS constraint translation process

Terminal restriction fragment length polymorphism data analysis for quantitative comparison of microbial communities

Includes bibliographical references (page 932).Terminal restriction fragment length polymorphism (T-RFLP) is a culture-independent method of obtaining a genetic fingerprint of the composition of a microbial community. Comparisons of the utility of different methods of (i) including peaks, (ii) computing the difference (or distance) between profiles, and (iii) performing statistical analysis were made by using replicated profiles of eubacterial communities. These samples included soil collected from three regions of the United States, soil fractions derived from three agronomic field treatments, soil samples taken from within one meter of each other in an alfalfa field, and replicate laboratory bioreactors. Cluster analysis by Ward's method and by the unweighted-pair group method using arithmetic averages (UPGMA) were compared. Ward's method was more effective at differentiating major groups within sets of profiles; UPGMA had a slightly reduced error rate in clustering of replicate profiles and was more sensitive to outliers. Most replicate profiles were clustered together when relative peak height or Hellinger-transformed peak height was used, in contrast to raw peak height. Redundancy analysis was more effective than cluster analysis at detecting differences between similar samples. Redundancy analysis using Hellinger distance was more sensitive than that using Euclidean distance between relative peak height profiles. Analysis of Jaccard distance between profiles, which considers only the presence or absence of a terminal restriction fragment, was the most sensitive in redundancy analysis, and was equally sensitive in cluster analysis, if all profiles had cumulative peak heights greater than 10,000 fluorescence units. It is concluded that T-RFLP is a sensitive method of differentiating between microbial communities when the optimal statistical method is used for the situation at hand. It is recommended that hypothesis testing be performed by redundancy analysis of Hellinger-transformed data and that exploratory data analysis be performed by cluster analysis using Ward's method to find natural groups or by UPGMA to identify potential outliers. Analyses can also be based on Jaccard distance if all profiles have cumulative peak heights greater than 10,000 fluorescence units

Detection of a period decrease in NN Ser with ULTRACAM: evidence for strong magnetic braking or an unseen companion?

We present results of high time resolution photometry of the eclipsing pre-cataclysmic variable NN Ser. We observed 13 primary eclipses of NN Ser using the high-speed CCD camera ULTRACAM and derived times of mid-eclipse, from fitting of light curve models, with uncertainties as low as 0.06 s. The observed rates of period change appear difficult to reconcile with any models of orbital period change. If the observed period change reflects an angular momentum loss, the average loss rate is consistent with the loss rates (via magnetic stellar wind braking) used in standard models of close binary evolution, which were derived from observations of much more massive cool stars. Observations of low-mass stars such as NN Ser's secondary predict rates of ~100 times lower than we observe. We show that magnetic activity-driven changes in the quadrupole moment of the secondary star (Applegate, 1992) fail to explain the period change by an order of magnitude on energetic grounds, but that a light travel time effect caused by the presence of a third body in a long (~ decades) orbit around the binary could account for the observed changes in the timings of NN Ser's mid-eclipses. We conclude that we have either observed a genuine angular momentum loss for NN Ser, in which case our observations pose serious difficulties for the theory of close binary evolution, or we have detected a previously unseen low-mass companion to the binary.Comment: 10 pages, 6 figures. Accepted for publication in MNRA

Sustainable energy saving alternatives in small buildings

Day lighting significance in architectural designs is well established for enhancing visual comfort, energy-efficiency and low carbon buildings development. Practising the atrium element in the modern architectures has been increasingly popular in recent years because of the fact that the transitional space with good environmental elements can improve the quality of the buildings and reduce extra energy utilisation. The present study explores the advantages and effectiveness of the atrium on the energy performance of small buildings, a case study of ‘The Azuma Row House’. Based on local micro-climate data Autodesk Ecotect Analysis was performed to calculate the daylight factors and the energy demand of the building. A comparison was made with atrium and without atrium in the building to evaluate overall energy savings. The results show a higher annual heating energy demand with atrium 3443 kWh compared without atrium 2526 kWh. The annual cooling energy demand without atrium 2516 kWh is significantly greater than with atrium 912 kWh. The total energy requirements under no atrium case is about 5042 kWh which is considerably higher than the total annual energy demand with atrium 4355 kWh. The total amount of energy saved is about 15.7% per year by introducing the sunlight through the atrium. Along with the increasing issue of the energy crisis, environmental problem and the beautiful design of atrium, the development of atrium in modern architecture designing is feasible to have a good future