FormCalc 8: Better Algebra and Vectorization

We present Version 8 of the Feynman-diagram calculator FormCalc. New features include in particular significantly improved algebraic simplification as well as vectorization of the generated code. The Cuba Library, used in FormCalc, features checkpointing to disk for all integration algorithms.Comment: 7 pages, LaTeX, proceedings contribution to ACAT 2013, Beijing, China, 16-21 May 201

Localizing coalescing massive black hole binaries with gravitational waves

Massive black hole binary coalescences are prime targets for space-based gravitational wave (GW) observatories such as {\it LISA}. GW measurements can localize the position of a coalescing binary on the sky to an ellipse with a major axis of a few tens of arcminutes to a few degrees, depending on source redshift, and a minor axis which is $2 - 4$ times smaller. Neglecting weak gravitational lensing, the GWs would also determine the source's luminosity distance to better than percent accuracy for close sources, degrading to several percent for more distant sources. Weak lensing cannot, in fact, be neglected and is expected to limit the accuracy with which distances can be fixed to errors no less than a few percent. Assuming a well-measured cosmology, the source's redshift could be inferred with similar accuracy. GWs alone can thus pinpoint a binary to a three-dimensional ``pixel'' which can help guide searches for the hosts of these events. We examine the time evolution of this pixel, studying it at merger and at several intervals before merger. One day before merger, the major axis of the error ellipse is typically larger than its final value by a factor of $\sim 1.5-6$. The minor axis is larger by a factor of $\sim 2-9$, and, neglecting lensing, the error in the luminosity distance is larger by a factor of $\sim 1.5-7$. This large change over a short period of time is due to spin-induced precession, which is strongest in the final days before merger. The evolution is slower as we go back further in time. For $z = 1$, we find that GWs will localize a coalescing binary to within $\sim 10\ \mathrm{deg}^2$ as early as a month prior to merger and determine distance (and hence redshift) to several percent.Comment: 30 pages, 10 figures, 5 tables. Version published in Ap

Targeting hyperarousal: Mantram Repetition Program for PTSD in US veterans.

Background: Hyperarousal appears to play an important role in the development and maintenance of posttraumatic stress disorder (PTSD) symptoms, but current evidence-based treatments appear to address this symptom type less effectively than the other symptom clusters. The Mantram Repetition Program (MRP) is a meditation-based intervention that has previously been shown to improve symptoms of posttraumatic stress disorder (PTSD) and may be especially helpful for hyperarousal. If MRP is an effective tool for decreasing this often treatment-resistant symptom cluster, it may become an important clinical tool. Objective: The goal of this secondary analysis was to examine the effect of the MRP on hyperarousal and other PTSD symptom clusters and to examine hyperarousal as a mediator of treatment response. Method: Secondary analyses were conducted on data from a randomized controlled trial in which Veterans with PTSD (n = 173) were assigned to the MRP or a non-specific psychotherapy control and assessed pre-treatment, post-treatment and 8 weeks after treatment completion. The impact of the interventions on PTSD symptom clusters was examined, and time-lagged hierarchical linear modelling was applied to examine alternative mediation models. Results: All PTSD symptom clusters improved in both treatments. MRP led to greater reductions in hyperarousal at post-treatment (Hedge's g = 0.57) and follow-up (Hedge's g = 0.52), and in numbing at post-treatment (Hedge's g = 0.47). Hyperarousal mediated reductions in the composite of the other PTSD symptom clusters. Although the reverse model was significant as well, the effect was weaker in this direction. Conclusion: Interventions focused on the management of hyperarousal may play an important role in recovery from PTSD. The MRP appears efficacious in reducing hyperarousal, and thereby impacting other PTSD symptom clusters, as one pathway to facilitating recovery

Low temperature plasma-catalytic NOx synthesis in a packed DBD reactor: effect of support materials and supported active metal oxides

The direct synthesis of NOx from N2 and O2 by non-thermal plasma at an atmospheric pressure and low temperature is presented, which is considered to be an attractive option for replacement of the Haber-Bosch process. In this study, the direct synthesis of NOx was studied by packing different catalyst support materials in a dielectric barrier discharge (DBD) reactor. The support materials and their particle sizes both had a significant effect on the concentration of NOx. This is attributed to different surface areas, relative dielectric constants and particles shapes. The nitrogen could be fixed at substantially lowered temperatures by employing non-thermal plasma-catalytic DBD reactor, which can be used as an alternative technology for low temperature synthesis. The γ-Al2O3 with smallest particles size of 250–160 μm, gave the highest concentration of NOx and the lowest specific energy consumption of all the tested materials and particle sizes. The NOx concentration of 5700 ppm was reached at the highest residence time of 0.4 s and an N2/O2 feed ratio of 1 was found to be the most optimum for NOx production. In order to intensify the NOx production in plasma, a series of metal oxide catalysts supported on γ-Al2O3 were tested in a packed DBD reactor. A 5% WO3/γ-Al2O3 catalyst increased the NOx concentration further by about 10% compared to γ-Al2O3, while oxidation catalysts such as Co3O4 and PbO provided a minor (∼5%) improvement. These data suggest that oxygen activation plays a minor role in plasma catalytic nitrogen fixation under the studied conditions with the main role ascribed to the generation of microdischarges on sharp edges of large-surface area plasma catalysts. However, when the loading of active metal oxides was increased to 10%, NO selectivity decreased, suggesting possibility of thermal oxidation of NO to NO2 through reaction with surface oxygen species

Waiting time distribution for electron transport in a molecular junction with electron-vibration interaction

On the elementary level, electronic current consists of individual electron tunnelling events that are separated by random time intervals. The waiting time distribution is a probability to observe the electron transfer in the detector electrode at time $t+\tau$ given that an electron was detected in the same electrode at earlier time $t$. We study waiting time distribution for quantum transport in a vibrating molecular junction. By treating the electron-vibration interaction exactly and molecule-electrode coupling perturbatively, we obtain master equation and compute the distribution of waiting times for electron transport. The details of waiting time distributions are used to elucidate microscopic mechanism of electron transport and the role of electron-vibration interactions. We find that as nonequilibrium develops in molecular junction, the skewness and dispersion of the waiting time distribution experience stepwise drops with the increase of the electric current. These steps are associated with the excitations of vibrational states by tunnelling electrons. In the strong electron-vibration coupling regime, the dispersion decrease dominates over all other changes in the waiting time distribution as the molecular junction departs far away from the equilibrium

China's building stock estimation and energy intensity analysis

Reliable and objective data regarding building stock is essential for predicting and analyzing energy demand and carbon emission. However, China's building stock data is lacking. This study proposes a set of China building floor space estimation method (CBFSM) based on the improved building stock turnover model. Then it measures China's building stocks by vintage and type from 2000 to 2015, as well as building energy intensity (national level and provincial level) and energy-efficient buildings. Results showed that total building stocks increased significantly, rising from 35.2 billion m2 in 2000 to 63.6 billion m2 in 2015, with the average growth rate 4.0%. The deviations were well below 10% by comparing with China Population Census, which validated the reliability of CBFSM and the results. As for energy intensity, urban dwellings and rural dwellings showed relatively stable and increasing trend respectively. The commercial building energy intensity saw a downward trend during “12th Five Year Plan” period. This indicated the effectiveness of building energy efficiency work for commercial buildings since 2005.38.6 billion m2 residential dwellings and 5.7 billion m2 commercial buildings still need to be retrofitted in future. CBFSM can overcome shortages in previous studies. It can also provide Chinese government with technical support and data evidence to promote the building energy efficiency work

SEPIA: Search for Proofs Using Inferred Automata

This paper describes SEPIA, a tool for automated proof generation in Coq. SEPIA combines model inference with interactive theorem proving. Existing proof corpora are modelled using state-based models inferred from tactic sequences. These can then be traversed automatically to identify proofs. The SEPIA system is described and its performance evaluated on three Coq datasets. Our results show that SEPIA provides a useful complement to existing automated tactics in Coq.Comment: To appear at 25th International Conference on Automated Deductio