Darwinian Data Structure Selection

Data structure selection and tuning is laborious but can vastly improve an application's performance and memory footprint. Some data structures share a common interface and enjoy multiple implementations. We call them Darwinian Data Structures (DDS), since we can subject their implementations to survival of the fittest. We introduce ARTEMIS a multi-objective, cloud-based search-based optimisation framework that automatically finds optimal, tuned DDS modulo a test suite, then changes an application to use that DDS. ARTEMIS achieves substantial performance improvements for \emph{every} project in $5$ Java projects from DaCapo benchmark, $8$ popular projects and $30$ uniformly sampled projects from GitHub. For execution time, CPU usage, and memory consumption, ARTEMIS finds at least one solution that improves \emph{all} measures for $86\%$ ($37/43$) of the projects. The median improvement across the best solutions is $4.8\%$, $10.1\%$, $5.1\%$ for runtime, memory and CPU usage. These aggregate results understate ARTEMIS's potential impact. Some of the benchmarks it improves are libraries or utility functions. Two examples are gson, a ubiquitous Java serialization framework, and xalan, Apache's XML transformation tool. ARTEMIS improves gson by $16.5$\%, $1\%$ and $2.2\%$ for memory, runtime, and CPU; ARTEMIS improves xalan's memory consumption by $23.5$\%. \emph{Every} client of these projects will benefit from these performance improvements.Comment: 11 page

Regular obstructed categories and TQFT

A proposal of the concept of $n$-regular obstructed categories is given. The corresponding regularity conditions for mappings, morphisms and related structures in categories are considered. An n-regular TQFT is introduced. It is shown the connection of time reversibility with the regularity.Comment: 22 pages in Latex. To be published in J. Math. Phy

Superconductivity at 41 K and its competition with spin-density-wave instability in layered CeO1−x_{1-x}Fx_xFeAs

A series of layered CeO$_{1-x}$F$_x$FeAs compounds with x=0 to 0.20 are synthesized by solid state reaction method. Similar to the LaOFeAs, the pure CeOFeAs shows a strong resistivity anomaly near 145 K, which was ascribed to the spin-density-wave instability. F-doping suppresses this instability and leads to the superconducting ground state. Most surprisingly, the superconducting transition temperature could reach as high as 41 K. The very high superconducting transition temperature strongly challenges the classic BCS theory based on the electron-phonon interaction. The very closeness of the superconducting phase to the spin-density-wave instability suggests that the magnetic fluctuations play a key role in the superconducting paring mechanism. The study also reveals that the Ce 4f electrons form local moments and ordered antiferromagnetically below 4 K, which could coexist with superconductivity.Comment: 4 pages, 5 figure

Template-based Gravitational-Wave Echoes Search Using Bayesian Model Selection

The ringdown of the gravitational-wave signal from a merger of two black holes has been suggested as a probe of the structure of the remnant compact object, which may be more exotic than a black hole. It has been pointed out that there will be a train of echoes in the late-time ringdown stage for different types of exotic compact objects. In this paper, we present a template-based search methodology using Bayesian statistics to search for echoes of gravitational waves. Evidence for the presence or absence of echoes in gravitational-wave events can be established by performing Bayesian model selection. The Occam factor in Bayesian model selection will automatically penalize the more complicated model that echoes are present in gravitational-wave strain data because of its higher degree of freedom to fit the data. We find that the search methodology was able to identify gravitational-wave echoes with Abedi et al.'s echoes waveform model about 82.3% of the time in simulated Gaussian noise in the Advanced LIGO and Virgo network and about 61.1% of the time in real noise in the first observing run of Advanced LIGO with $\geq 5\sigma$ significance. Analyses using this method are performed on the data of Advanced LIGO's first observing run, and we find no statistical significant evidence for the detection of gravitational-wave echoes. In particular, we find $<1\sigma$ combined evidence of the three events in Advanced LIGO's first observing run. The analysis technique developed in this paper is independent of the waveform model used, and can be used with different parametrized echoes waveform models to provide more realistic evidence of the existence of echoes from exotic compact objects.Comment: 16 pages, 6 figure

Atmospheric pressure as a natural climate regulator for a terrestrial planet with a biosphere

Lovelock and Whitfield suggested in 1982 that, as the luminosity of the Sun increases over its life cycle, biologically enhanced silicate weathering is able to reduce the concentration of atmospheric carbon dioxide (CO_2) so that the Earth's surface temperature is maintained within an inhabitable range. As this process continues, however, between 100 and 900 million years (Ma) from now the CO_2 concentration will reach levels too low for C_3 and C_4 photosynthesis, signaling the end of the solar-powered biosphere. Here, we show that atmospheric pressure is another factor that adjusts the global temperature by broadening infrared absorption lines of greenhouse gases. A simple model including the reduction of atmospheric pressure suggests that the life span of the biosphere can be extended at least 2.3 Ga into the future, more than doubling previous estimates. This has important implications for seeking extraterrestrial life in the Universe. Space observations in the infrared region could test the hypothesis that atmospheric pressure regulates the surface temperature on extrasolar planets