Exploiting Resolution-based Representations for MaxSAT Solving

Most recent MaxSAT algorithms rely on a succession of calls to a SAT solver in order to find an optimal solution. In particular, several algorithms take advantage of the ability of SAT solvers to identify unsatisfiable subformulas. Usually, these MaxSAT algorithms perform better when small unsatisfiable subformulas are found early. However, this is not the case in many problem instances, since the whole formula is given to the SAT solver in each call. In this paper, we propose to partition the MaxSAT formula using a resolution-based graph representation. Partitions are then iteratively joined by using a proximity measure extracted from the graph representation of the formula. The algorithm ends when only one partition remains and the optimal solution is found. Experimental results show that this new approach further enhances a state of the art MaxSAT solver to optimally solve a larger set of industrial problem instances

The first analytical expression to estimate photometric redshifts suggested by a machine

We report the first analytical expression purely constructed by a machine to determine photometric redshifts ($z_{\rm phot}$) of galaxies. A simple and reliable functional form is derived using $41,214$ galaxies from the Sloan Digital Sky Survey Data Release 10 (SDSS-DR10) spectroscopic sample. The method automatically dropped the $u$ and $z$ bands, relying only on $g$, $r$ and $i$ for the final solution. Applying this expression to other $1,417,181$ SDSS-DR10 galaxies, with measured spectroscopic redshifts ($z_{\rm spec}$), we achieved a mean $\langle (z_{\rm phot} - z_{\rm spec})/(1+z_{\rm spec})\rangle\lesssim 0.0086$ and a scatter $\sigma_{(z_{\rm phot} - z_{\rm spec})/(1+z_{\rm spec})}\lesssim 0.045$ when averaged up to $z \lesssim 1.0$. The method was also applied to the PHAT0 dataset, confirming the competitiveness of our results when faced with other methods from the literature. This is the first use of symbolic regression in cosmology, representing a leap forward in astronomy-data-mining connection.Comment: 6 pages, 4 figures. Accepted for publication in MNRAS Letter

Classical Radiation Reaction in Particle-In-Cell Simulations

Under the presence of ultra high intensity lasers or other intense electromagnetic fields the motion of particles in the ultrarelativistic regime can be severely affected by radiation reaction. The standard particle-in-cell (PIC) algorithms do not include radiation reaction effects. Even though this is a well known mechanism, there is not yet a definite algorithm nor a standard technique to include radiation reaction in PIC codes. We have compared several models for the calculation of the radiation reaction force, with the goal of implementing an algorithm for classical radiation reaction in the Osiris framework, a state-of-the-art PIC code. The results of the different models are compared with standard analytical results, and the relevance/advantages of each model are discussed. Numerical issues relevant to PIC codes such as resolution requirements, application of radiation reaction to macro particles and computational cost are also addressed. The Landau and Lifshitz reduced model is chosen for implementation.Comment: 12 pages, 8 figure

Controlled Shock Shells and Intracluster Fusion Reactions in the Explosion of Large Clusters

The ion phase-space dynamics in the Coulomb explosion of very large ($\sim 10^6 - 10^7$ atoms) deuterium clusters can be tailored using two consecutive laser pulses with different intensities and an appropriate time delay. For suitable sets of laser parameters (intensities and delay), large-scale shock shells form during the explosion, thus highly increasing the probability of fusion reactions within the single exploding clusters. In order to analyze the ion dynamics and evaluate the intracluster reaction rate, a one-dimensional theory is used, which approximately accounts for the electron expulsion from the clusters. It is found that, for very large clusters (initial radius $\sim$ 100 nm), and optimal laser parameters, the intracluster fusion yield becomes comparable to the intercluster fusion yield. The validity of the results is confirmed with three-dimensional particle-in-cell simulations.Comment: 25 pages, 11 figures, to appear in Physical Review

Fisher matrix forecasts for astrophysical tests of the stability of the fine-structure constant

We use Fisher Matrix analysis techniques to forecast the cosmological impact of astrophysical tests of the stability of the fine-structure constant to be carried out by the forthcoming ESPRESSO spectrograph at the VLT (due for commissioning in late 2017), as well by the planned high-resolution spectrograph (currently in Phase A) for the European Extremely Large Telescope. Assuming a fiducial model without $\alpha$ variations, we show that ESPRESSO can improve current bounds on the E\"{o}tv\"{o}s parameter---which quantifies Weak Equivalence Principle violations---by up to two orders of magnitude, leading to stronger bounds than those expected from the ongoing tests with the MICROSCOPE satellite, while constraints from the E-ELT should be competitive with those of the proposed STEP satellite. Should an $\alpha$ variation be detected, these measurements will further constrain cosmological parameters, being particularly sensitive to the dynamics of dark energy.Comment: Phys. Lett. B (in press