-
Life span of SAT techniques
Authors:
Mathias Fleury,
Daniela Kaufmann
Abstract:
In this paper we take 4 different features of the SAT solver CaDiCaL, blocked clause elimination, vivification, on-the-fly self subsumption, and increasing the bound of variable elimination over the SAT Competitions benchmarks between 2009 and 2022. We study these features by both activating them one-by-one and deactivating them one-by-one. We have three hypothesis regarding the experiments: (i) d…
▽ More
In this paper we take 4 different features of the SAT solver CaDiCaL, blocked clause elimination, vivification, on-the-fly self subsumption, and increasing the bound of variable elimination over the SAT Competitions benchmarks between 2009 and 2022. We study these features by both activating them one-by-one and deactivating them one-by-one. We have three hypothesis regarding the experiments: (i) disabling features is always harmful; (ii) the life span of the techniques is limited; and (iii) features simulate each other. Our experiments cannot confirm any of the hypothesis.
△ Less
Submitted 2 February, 2024;
originally announced February 2024.
-
Scalable Proof Producing Multi-Threaded SAT Solving with Gimsatul through Sharing instead of Copying Clauses
Authors:
Mathias Fleury,
Armin Biere
Abstract:
We give a first account of our new parallel SAT solver Gimsatul. Its key feature is to share clauses physically in memory instead of copying them, which is the method of other state-of-the-art multi-threaded SAT solvers to exchange clauses logically. Our approach keeps information about which literals are watched in a clause local to a solving thread but shares the actual immutable literals of a c…
▽ More
We give a first account of our new parallel SAT solver Gimsatul. Its key feature is to share clauses physically in memory instead of copying them, which is the method of other state-of-the-art multi-threaded SAT solvers to exchange clauses logically. Our approach keeps information about which literals are watched in a clause local to a solving thread but shares the actual immutable literals of a clause globally among all solving threads. This design gives quite remarkable parallel scalability, allows aggressive clause sharing while kee** memory usage low and produces more compact proofs.
△ Less
Submitted 29 July, 2022; v1 submitted 27 July, 2022;
originally announced July 2022.
-
Observations of Bell Inequality Violations with causal isolation between source and detectors
Authors:
Marc Fleury
Abstract:
We report the experimental observations of Bell Inequality Violations (BIV) in entangled photons causally separated by a rotating mirror. A Foucault mirror gating geometry is used to causally isolate the entangled photon source and detectors. We report an observed BIV of CHSH-$S = 2.30 \pm 0.07 > 2.00$. This result rules out theories that explain correlations with traveling communication between s…
▽ More
We report the experimental observations of Bell Inequality Violations (BIV) in entangled photons causally separated by a rotating mirror. A Foucault mirror gating geometry is used to causally isolate the entangled photon source and detectors. We report an observed BIV of CHSH-$S = 2.30 \pm 0.07 > 2.00$. This result rules out theories that explain correlations with traveling communication between source and detectors.
△ Less
Submitted 24 February, 2022;
originally announced February 2022.
-
Alethe: Towards a Generic SMT Proof Format (extended abstract)
Authors:
Hans-Jörg Schurr,
Mathias Fleury,
Haniel Barbosa,
Pascal Fontaine
Abstract:
The first iteration of the proof format used by the SMT solver veriT was presented ten years ago at the first PxTP workshop. Since then the format has matured. veriT proofs are used within multiple applications, and other solvers generate proofs in the same format. We would now like to gather feedback from the community to guide future developments. Towards this, we review the history of the for…
▽ More
The first iteration of the proof format used by the SMT solver veriT was presented ten years ago at the first PxTP workshop. Since then the format has matured. veriT proofs are used within multiple applications, and other solvers generate proofs in the same format. We would now like to gather feedback from the community to guide future developments. Towards this, we review the history of the format, present our pragmatic approach to develop the format, and also discuss problems that might arise when other solvers use the format.
△ Less
Submitted 5 July, 2021;
originally announced July 2021.
-
Proceedings Seventh Workshop on Proof eXchange for Theorem Proving
Authors:
Chantal Keller,
Mathias Fleury
Abstract:
This volume of EPTCS contains the proceedings of the Seventh Workshop on Proof Exchange for Theorem Proving (PxTP 2021), held on 11 July 2021 as part of the CADE-28 online conference in Pittsburgh, USA. The PxTP workshop series brings together researchers working on various aspects of communication, integration, and cooperation between reasoning systems and formalisms, with a special focus on proo…
▽ More
This volume of EPTCS contains the proceedings of the Seventh Workshop on Proof Exchange for Theorem Proving (PxTP 2021), held on 11 July 2021 as part of the CADE-28 online conference in Pittsburgh, USA. The PxTP workshop series brings together researchers working on various aspects of communication, integration, and cooperation between reasoning systems and formalisms, with a special focus on proofs. The progress in computer-aided reasoning, both automated and interactive, during the past decades, made it possible to build deduction tools that are increasingly more applicable to a wider range of problems and are able to tackle larger problems progressively faster. In recent years, cooperation between such tools in larger systems has demonstrated the potential to reduce the amount of manual intervention. Cooperation between reasoning systems relies on availability of theoretical formalisms and practical tools to exchange problems, proofs, and models. The PxTP workshop series strives to encourage such cooperation by inviting contributions on all aspects of cooperation between reasoning tools, whether automatic or interactive.
△ Less
Submitted 4 July, 2021;
originally announced July 2021.
-
Spontaneous emergence of a spin state for an emitter in a time-varying medium
Authors:
Samuel Bernard-Bernardet,
Marc Fleury,
Emmanuel Fort
Abstract:
Time varying media can dramatically modify the emission of embedded sources by producing time reversed waves refocusing on the source. Here we show that such a back action can create an angular momentum by setting the source in a spontaneous spin state. We experimentally implement this coupling using self-propelled bouncing droplets sources coupled to the surface waves they emit on a parametricall…
▽ More
Time varying media can dramatically modify the emission of embedded sources by producing time reversed waves refocusing on the source. Here we show that such a back action can create an angular momentum by setting the source in a spontaneous spin state. We experimentally implement this coupling using self-propelled bouncing droplets sources coupled to the surface waves they emit on a parametrically excited bath. The spin state dynamics result from a self-organized interplay between the source motion and the time reversed waves. The discrete stability analysis agrees with the experimental observations. In addition, we show that these spin states provide a unique opportunity for an experimental access to parameters enabling comparison and calibration of the various existing models.
△ Less
Submitted 30 March, 2022; v1 submitted 2 June, 2021;
originally announced June 2021.
-
Explicit and asymptotic solutions for frictional incomplete half-plane contacts subject to general oscillatory loading in the steady-state
Authors:
Hendrik Andresen,
Rodolfo M. N. Fleury,
Matthew R. Moore,
David A. Hills
Abstract:
This contribution presents an asymptotic formulation for the stick-slip behaviour of incomplete contacts under oscillatory variation of normal load, moment, shear load and differential bulk tension. The asymptotic description allows us not only to approximate the size of the slip zones during the steady-state of a cyclic problem without knowledge of the geometry or contact law, but provides a solu…
▽ More
This contribution presents an asymptotic formulation for the stick-slip behaviour of incomplete contacts under oscillatory variation of normal load, moment, shear load and differential bulk tension. The asymptotic description allows us not only to approximate the size of the slip zones during the steady-state of a cyclic problem without knowledge of the geometry or contact law, but provides a solution when all known analytical solutions for incomplete contacts reach their limitations, that is, in the presence of a varying moment and a differential bulk tension large enough to reverse the direction of slip at one end of the contact. An insightful comparison between the mathematically explicit analytical solution and the asymptotic approach is drawn using the example geometry of a shallow wedge.
△ Less
Submitted 26 March, 2021;
originally announced March 2021.
-
Elucidating the $^1$H NMR relaxation mechanism in polydisperse polymers and bitumen using measurements, MD simulations, and models
Authors:
Philip M. Singer,
Arjun Valiya Parambathu,
Xinglin Wang,
Dilip Asthagiri,
Walter G. Chapman,
George J. Hirasaki,
Marc Fleury
Abstract:
The mechanism behind the $^1$H NMR frequency dependence of $T_1$ and the viscosity dependence of $T_2$ for polydisperse polymers and bitumen remains elusive. We elucidate the matter through NMR relaxation measurements of polydisperse polymers over an extended range of frequencies ($f_0 = 0.01 \leftrightarrow$ 400 MHz) and viscosities ($η= 385 \leftrightarrow 102,000$ cP) using $T_{1}$ and $T_2$ in…
▽ More
The mechanism behind the $^1$H NMR frequency dependence of $T_1$ and the viscosity dependence of $T_2$ for polydisperse polymers and bitumen remains elusive. We elucidate the matter through NMR relaxation measurements of polydisperse polymers over an extended range of frequencies ($f_0 = 0.01 \leftrightarrow$ 400 MHz) and viscosities ($η= 385 \leftrightarrow 102,000$ cP) using $T_{1}$ and $T_2$ in static fields, $T_{1}$ field-cycling relaxometry, and $T_{1ρ}$ in the rotating frame. We account for the anomalous behavior of the log-mean relaxation times $T_{1LM} \propto f_0$ and $T_{2LM} \propto (η/T)^{-1/2}$ with a phenomenological model of $^1$H-$^1$H dipole-dipole relaxation which includes a distribution in molecular correlation times and internal motions of the non-rigid polymer branches. We show that the model also accounts for the anomalous $T_{1LM}$ and $T_{2LM}$ in previously reported bitumen measurements. We find that molecular dynamics (MD) simulations of the $T_{1} \propto f_0$ dispersion and $T_2$ of similar polymers simulated over a range of viscosities ($η= 1 \leftrightarrow 1,000$ cP) are in good agreement with measurements and the model. The $T_{1} \propto f_0$ dispersion at high viscosities agrees with previously reported MD simulations of heptane confined in a polymer matrix, which suggests a common NMR relaxation mechanism between viscous polydisperse fluids and fluids under confinement, without the need to invoke paramagnetism.
△ Less
Submitted 4 March, 2020;
originally announced March 2020.
-
Reconstructing veriT Proofs in Isabelle/HOL
Authors:
Mathias Fleury,
Hans-Jörg Schurr
Abstract:
Automated theorem provers are now commonly used within interactive theorem provers to discharge an increasingly large number of proof obligations. To maintain the trustworthiness of a proof, the automatically found proof must be verified inside the proof assistant. We present here a reconstruction procedure in the proof assistant Isabelle/HOL for proofs generated by the satisfiability modulo theo…
▽ More
Automated theorem provers are now commonly used within interactive theorem provers to discharge an increasingly large number of proof obligations. To maintain the trustworthiness of a proof, the automatically found proof must be verified inside the proof assistant. We present here a reconstruction procedure in the proof assistant Isabelle/HOL for proofs generated by the satisfiability modulo theories solver veriT which is part of the smt tactic. We describe in detail the architecture of our improved reconstruction method and the challenges we faced in designing it. Our experiments show that the veriT-powered smt tactic is regularly suggested by Sledgehammer as the fastest method to automatically solve proof goals.
△ Less
Submitted 26 August, 2019;
originally announced August 2019.
-
Effectiveness of Crypto-Transcoding for H.264/AVC and HEVC Video Bit-streams
Authors:
Rizwan A. Shah,
Mamoona N. Asghar,
Saima Abdullah,
Martin Fleury,
Neelam Gohar
Abstract:
To avoid delays arising from a need to decrypt a video prior to transcoding and then re-encrypt it afterwards, this paper assesses a selective encryption (SE) content protection scheme. The scheme is suited to both recent standardized codecs, namely H.264/Advanced Video Coding (AVC) and High Efficiency Video Coding (HEVC). Specifically, the paper outlines a joint crypto-transcoding scheme for secu…
▽ More
To avoid delays arising from a need to decrypt a video prior to transcoding and then re-encrypt it afterwards, this paper assesses a selective encryption (SE) content protection scheme. The scheme is suited to both recent standardized codecs, namely H.264/Advanced Video Coding (AVC) and High Efficiency Video Coding (HEVC). Specifically, the paper outlines a joint crypto-transcoding scheme for secure transrating of a video bitstream. That is to say it generates new video bitrates, possibly as part of an HTTP Adaptive Streaming (HAS) content delivery network. The scheme will reduce the bitrate to one or more lower desired bit-rate without consuming time in the encryption/decryption process, which would be the case when full encryption is used. In addition, the decryption key no longer needs to be exposed at intermediate middleboxes, including when transrating is performed in a cloud datacenter. The effectiveness of the scheme is variously evaluated: by examination of the SE generated visual distortion; by the extent of computational and bitrate overheads; and by choice of cipher when encrypting the selected elements within the bitstream. Results indicate that there remains: a content; quantization level (after transrating of an encrypted video); and codec-type dependency to any distortion introduced. A further recommendation is that the Advanced Encryption Standard (AES) is preferred for SE to lightweight XOR encryption, despite it being taken up elsewhere as a real-time encryption method.
△ Less
Submitted 19 February, 2019;
originally announced February 2019.
-
State space geometry of the chaotic pilot-wave hydrodynamics
Authors:
Nazmi Burak Budanur,
Marc Fleury
Abstract:
We consider the motion of a droplet bouncing on a vibrating bath of the same fluid in the presence of a central potential. We formulate a rotation symmetry-reduced description of this system, which allows for the straightforward application of dynamical systems theory tools. As an illustration of the utility of the symmetry reduction, we apply it to a model of the pilot-wave system with a central…
▽ More
We consider the motion of a droplet bouncing on a vibrating bath of the same fluid in the presence of a central potential. We formulate a rotation symmetry-reduced description of this system, which allows for the straightforward application of dynamical systems theory tools. As an illustration of the utility of the symmetry reduction, we apply it to a model of the pilot-wave system with a central harmonic force. We begin our analysis by identifying local bifurcations and the onset of chaos. We then describe the emergence of chaotic regions and their merging bifurcations, which lead to the formation of a global attractor. In this final regime, the droplet's angular momentum spontaneously changes its sign as observed in the experiments of Perrard et al. (Phys. Rev. Lett., 113(10):104101, 2014).
△ Less
Submitted 21 December, 2018;
originally announced December 2018.
-
Automatic Electrodes Detection during simultaneous EEG/fMRI acquisition
Authors:
Mathis Fleury,
Pierre Maurel,
Marsel Mano,
Elise Bannier,
Christian Barillot
Abstract:
Simultaneous EEG/fMRI acquisition allows to measure brain activity at high spatial-temporal resolution. The localisation of EEG sources depends on several parameters including the position of the electrodes on the scalp. The position of the MR electrodes during its acquisitions is obtained with the use of the UTE sequence allowing their visualisation. The retrieval of the electrodes consists in ob…
▽ More
Simultaneous EEG/fMRI acquisition allows to measure brain activity at high spatial-temporal resolution. The localisation of EEG sources depends on several parameters including the position of the electrodes on the scalp. The position of the MR electrodes during its acquisitions is obtained with the use of the UTE sequence allowing their visualisation. The retrieval of the electrodes consists in obtaining the volume where the electrodes are located by applying a sphere detection algorithm. We detect around 90% of electrodes for each subject, and our UTE-based electrode detection showed an average position error of 3.7mm for all subjects.
△ Less
Submitted 17 September, 2018;
originally announced September 2018.
-
HARPS3 for a Roboticized Isaac Newton Telescope
Authors:
Samantha J. Thompson,
Didier Queloz,
Isabelle Baraffe,
Martyn Brake,
Andrey Dolgopolov,
Martin Fisher,
Michel Fleury,
Joost Geelhoed,
Richard Hall,
Jonay I. Gonzalez Hernandez,
Rik ter Horst,
Jan Kragt,
Ramon Navarro,
Tim Naylor,
Francesco Pepe,
Nikolai Piskunov,
Rafael Rebolo,
Louis Sander,
Damien Segransan,
Eugene Seneta,
David Sing,
Ignas Snellen,
Frans Snik,
Julien Spronck,
Eric Stempels
, et al. (3 additional authors not shown)
Abstract:
We present a description of a new instrument development, HARPS3, planned to be installed on an upgraded and roboticized Isaac Newton Telescope by end-2018. HARPS3 will be a high resolution (R = 115,000) echelle spectrograph with a wavelength range from 380-690 nm. It is being built as part of the Terra Hunting Experiment - a future 10 year radial velocity measurement programme to discover Earth-l…
▽ More
We present a description of a new instrument development, HARPS3, planned to be installed on an upgraded and roboticized Isaac Newton Telescope by end-2018. HARPS3 will be a high resolution (R = 115,000) echelle spectrograph with a wavelength range from 380-690 nm. It is being built as part of the Terra Hunting Experiment - a future 10 year radial velocity measurement programme to discover Earth-like exoplanets. The instrument design is based on the successful HARPS spectrograph on the 3.6m ESO telescope and HARPS-N on the TNG telescope. The main changes to the design in HARPS3 will be: a customised fibre adapter at the Cassegrain focus providing a stabilised beam feed and on-sky fibre diameter ~ 1.4 arcsec, the implementation of a new continuous flow cryostat to keep the CCD temperature very stable, detailed characterisation of the HARPS3 CCD to map the effective pixel positions and thus provide an improved accuracy wavelength solution, an optimised integrated polarimeter and the instrument integrated into a robotic operation. The robotic operation will optimise our programme which requires our target stars to be measured on a nightly basis. We present an overview of the entire project, including a description of our anticipated robotic operation.
△ Less
Submitted 16 August, 2016;
originally announced August 2016.
-
Axion String Dynamics I: 2+1D
Authors:
Leesa M. Fleury,
Guy D. Moore
Abstract:
If the axion exists and if the initial axion field value is uncorrelated at causally disconnected points, then it should be possible to predict the efficiency of cosmological axion production, relating the axionic dark matter density to the axion mass. The main obstacle to making this prediction is correctly treating the axion string cores. We develop a new algorithm for treating the axionic strin…
▽ More
If the axion exists and if the initial axion field value is uncorrelated at causally disconnected points, then it should be possible to predict the efficiency of cosmological axion production, relating the axionic dark matter density to the axion mass. The main obstacle to making this prediction is correctly treating the axion string cores. We develop a new algorithm for treating the axionic string cores correctly in 2+1 dimensions. When the axionic string cores are given their full physical string tension, axion production is about twice as efficient as in previous simulations. We argue that the string network in 2+1 dimensions should behave very differently than in 3+1 dimensions, so this result cannot be simply carried over to the physical case. We outline how to extend our method to 3+1D axion string dynamics.
△ Less
Submitted 8 April, 2016; v1 submitted 15 February, 2016;
originally announced February 2016.
-
Improving Cosmological Distance Measurements Using Twin Type Ia Supernovae
Authors:
H. K. Fakhouri,
K. Boone,
G. Aldering,
P. Antilogus,
C. Aragon,
S. Bailey,
C. Baltay,
K. Barbary,
D. Baugh,
S. Bongard,
C. Buton,
J. Chen,
M. Childress,
N. Chotard,
Y. Copin,
P. Fagrelius,
U. Feindt,
M. Fleury,
D. Fouchez,
E. Gangler,
B. Hayden,
A. G. Kim,
M. Kowalski,
P. -F. Leget,
S. Lombardo
, et al. (19 additional authors not shown)
Abstract:
We introduce a method for identifying "twin" Type Ia supernovae, and using them to improve distance measurements. This novel approach to Type Ia supernova standardization is made possible by spectrophotometric time series observations from the Nearby Supernova Factory (SNfactory). We begin with a well-measured set of supernovae, find pairs whose spectra match well across the entire optical window,…
▽ More
We introduce a method for identifying "twin" Type Ia supernovae, and using them to improve distance measurements. This novel approach to Type Ia supernova standardization is made possible by spectrophotometric time series observations from the Nearby Supernova Factory (SNfactory). We begin with a well-measured set of supernovae, find pairs whose spectra match well across the entire optical window, and then test whether this leads to a smaller dispersion in their absolute brightnesses. This analysis is completed in a blinded fashion, ensuring that decisions made in implementing the method do not inadvertently bias the result. We find that pairs of supernovae with more closely matched spectra indeed have reduced brightness dispersion. We are able to standardize this initial set of SNfactory supernovae to 0.083 +/- 0.012 magnitudes, implying a dispersion of 0.072 +/- 0.010 magnitudes in the absence of peculiar velocities. We estimate that with larger numbers of comparison SNe, e.g, using the final SNfactory spectrophotometric dataset as a reference, this method will be capable of standardizing high-redshift supernovae to within 0.06-0.07 magnitudes. These results imply that at least 3/4 of the variance in Hubble residuals in current supernova cosmology analyses is due to previously unaccounted-for astrophysical differences among the supernovae
△ Less
Submitted 5 November, 2015; v1 submitted 3 November, 2015;
originally announced November 2015.
-
SN 2009ip at late times - an interacting transient at +2 years
Authors:
Morgan Fraser,
Rubina Kotak,
Andrea Pastorello,
Anders Jerkstrand,
Stephen J. Smartt,
Ting-Wan Chen,
Michael Childress,
Gerard Gilmore,
Cosimo Inserra,
Erkki Kankare,
Steve Margheim,
Seppo Mattila,
Stefano Valenti,
Christopher Ashall,
Stefano Benetti,
Maria Teresa Botticella,
Franz Erik Bauer,
Heather Campbell,
Nancy Elias-Rosa,
Mathilde Fleury,
Avishay Gal-Yam,
Stephan Hachinger,
D. Andrew Howell,
Laurent Le Guillou,
Pierre-François Léget
, et al. (9 additional authors not shown)
Abstract:
We present photometric and spectroscopic observations of the interacting transient SN 2009ip taken during the 2013 and 2014 observing seasons. We characterise the photometric evolution as a steady and smooth decline in all bands, with a decline rate that is slower than expected for a solely $^{56}$Co-powered supernova at late phases. No further outbursts or eruptions were seen over a two year peri…
▽ More
We present photometric and spectroscopic observations of the interacting transient SN 2009ip taken during the 2013 and 2014 observing seasons. We characterise the photometric evolution as a steady and smooth decline in all bands, with a decline rate that is slower than expected for a solely $^{56}$Co-powered supernova at late phases. No further outbursts or eruptions were seen over a two year period from 2012 December until 2014 December. SN 2009ip remains brighter than its historic minimum from pre-discovery images. Spectroscopically, SN 2009ip continues to be dominated by strong, narrow ($\lesssim$2000 km~s$^{-1}$) emission lines of H, He, Ca, and Fe. While we make tenuous detections of [Fe~{\sc ii}] $λ$7155 and [O~{\sc i}] $λλ$6300,6364 lines at the end of 2013 June and the start of 2013 October respectively, we see no strong broad nebular emission lines that could point to a core-collapse origin. In general, the lines appear relatively symmetric, with the exception of our final spectrum in 2014 May, when we observe the appearance of a redshifted shoulder of emission at +550 km~s$^{-1}$. The lines are not blue-shifted, and we see no significant near- or mid-infrared excess. From the spectroscopic and photometric evolution of SN 2009ip until 820 days after the start of the 2012a event, we still see no conclusive evidence for core-collapse, although whether any such signs could be masked by ongoing interaction is unclear.
△ Less
Submitted 20 February, 2015;
originally announced February 2015.
-
Confirmation of a Star Formation Bias in Type Ia Supernova Distances and its Effect on Measurement of the Hubble Constant
Authors:
M. Rigault,
G. Aldering,
M. Kowalski,
Y. Copin,
P. Antilogus,
C. Aragon,
S. Bailey,
C. Baltay,
D. Baugh,
S. Bongard,
K. Boone,
C. Buton,
J. Chen,
N. Chotard,
H. K. Fakhouri,
U. Feindt,
P. Fagrelius,
M. Fleury,
D. Fouchez,
E. Gangler,
B. Hayden,
A. G. Kim,
P. -F. Leget,
S. Lombardo,
J. Nordin
, et al. (13 additional authors not shown)
Abstract:
Previously we used the Nearby Supernova Factory sample to show that SNe~Ia having locally star-forming environments are dimmer than SNe~Ia having locally passive environments.Here we use the \constitution\ sample together with host galaxy data from \GALEX\ to independently confirm that result. The effect is seen using both the SALT2 and MLCS2k2 lightcurve fitting and standardization methods, with…
▽ More
Previously we used the Nearby Supernova Factory sample to show that SNe~Ia having locally star-forming environments are dimmer than SNe~Ia having locally passive environments.Here we use the \constitution\ sample together with host galaxy data from \GALEX\ to independently confirm that result. The effect is seen using both the SALT2 and MLCS2k2 lightcurve fitting and standardization methods, with brightness differences of $0.094 \pm 0.037\ \mathrm{mag}$ for SALT2 and $0.155 \pm 0.041\ \mathrm{mag}$ for MLCS2k2 with $R_V=2.5$. When combined with our previous measurement the effect is $0.094 \pm 0.025\ \mathrm{mag}$ for SALT2. If the ratio of these local SN~Ia environments changes with redshift or sample selection, this can lead to a bias in cosmological measurements. We explore this issue further, using as an example the direct measurement of $H_0$. \GALEX{} observations show that the SNe~Ia having standardized absolute magnitudes calibrated via the Cepheid period--luminosity relation using {\textit{HST}} originate in predominately star-forming environments, whereas only ~50% of the Hubble-flow comparison sample have locally star-forming environments. As a consequence, the $H_0$ measurement using SNe~Ia is currently overestimated. Correcting for this bias, we find a value of $H_0^{corr}=70.6\pm 2.6\ \mathrm{km\ s^{-1}\ Mpc^{-1}}$ when using the LMC distance, Milky Way parallaxes and the NGC~4258 megamaser as the Cepheid zeropoint, and $68.8\pm 3.3\ \mathrm{km\ s^{-1}\ Mpc^{-1}}$ when only using NGC~4258. Our correction brings the direct measurement of $H_0$ within $\sim 1\,σ$ of recent indirect measurements based on the CMB power spectrum.
△ Less
Submitted 19 December, 2014;
originally announced December 2014.
-
A metric space for type Ia supernova spectra
Authors:
Michele Sasdelli,
W. Hillebrandt,
G. Aldering,
P. Antilogus,
C. Aragon,
S. Bailey,
C. Baltay,
S. Benitez-Herrera,
S. Bongard,
C. Buton,
A. Canto,
F. Cellier-Holzem,
J. Chen,
M. Childress,
N. Chotard,
Y. Copin,
H. K. Fakhouri,
U. Feindt,
M. Fink,
M. Fleury,
D. Fouchez,
E. Gangler,
J. Guy,
E. E. O. Ishida,
A. G. Kim
, et al. (21 additional authors not shown)
Abstract:
We develop a new framework for use in exploring Type Ia Supernova (SN Ia) spectra. Combining Principal Component Analysis (PCA) and Partial Least Square analysis (PLS) we are able to establish correlations between the Principal Components (PCs) and spectroscopic/photometric SNe Ia features. The technique was applied to ~120 supernova and ~800 spectra from the Nearby Supernova Factory. The ability…
▽ More
We develop a new framework for use in exploring Type Ia Supernova (SN Ia) spectra. Combining Principal Component Analysis (PCA) and Partial Least Square analysis (PLS) we are able to establish correlations between the Principal Components (PCs) and spectroscopic/photometric SNe Ia features. The technique was applied to ~120 supernova and ~800 spectra from the Nearby Supernova Factory. The ability of PCA to group together SNe Ia with similar spectral features, already explored in previous studies, is greatly enhanced by two important modifications: (1) the initial data matrix is built using derivatives of spectra over the wavelength, which increases the weight of weak lines and discards extinction, and (2) we extract time evolution information through the use of entire spectral sequences concatenated in each line of the input data matrix. These allow us to define a stable PC parameter space which can be used to characterize synthetic SN Ia spectra by means of real SN features. Using PLS, we demonstrate that the information from important previously known spectral indicators (namely the pseudo-equivalent width (pEW) of Si II 5972 / Si II 6355 and the line velocity of S II 5640 / Si II 6355) at a given epoch, is contained within the PC space and can be determined through a linear combination of the most important PCs. We also show that the PC space encompasses photometric features like B or V magnitudes, B-V color and SALT2 parameters c and x1. The observed colors and magnitudes, that are heavily affected by extinction, cannot be reconstructed using this technique alone. All the above mentioned applications allowed us to construct a metric space for comparing synthetic SN Ia spectra with observations.
△ Less
Submitted 17 November, 2014;
originally announced November 2014.
-
PESSTO : survey description and products from the first data release by the Public ESO Spectroscopic Survey of Transient Objects
Authors:
S. J. Smartt,
S. Valenti,
M. Fraser,
C. Inserra,
D. R. Young,
M. Sullivan,
A. Pastorello,
S. Benetti,
A. Gal-Yam,
C. Knapic,
M. Molinaro,
R. Smareglia,
K. W. Smith,
S. Taubenberger,
O. Yaron,
J. P. Anderson,
C. Ashall,
C. Balland,
C. Baltay,
C. Barbarino,
F. E. Bauer,
S. Baumont,
D. Bersier,
N. Blagorodnova,
S. Bongard
, et al. (77 additional authors not shown)
Abstract:
The Public European Southern Observatory Spectroscopic Survey of Transient Objects (PESSTO) began as a public spectroscopic survey in April 2012. We describe the data reduction strategy and data products which are publicly available through the ESO archive as the Spectroscopic Survey Data Release 1 (SSDR1). PESSTO uses the New Technology Telescope with EFOSC2 and SOFI to provide optical and NIR sp…
▽ More
The Public European Southern Observatory Spectroscopic Survey of Transient Objects (PESSTO) began as a public spectroscopic survey in April 2012. We describe the data reduction strategy and data products which are publicly available through the ESO archive as the Spectroscopic Survey Data Release 1 (SSDR1). PESSTO uses the New Technology Telescope with EFOSC2 and SOFI to provide optical and NIR spectroscopy and imaging. We target supernovae and optical transients brighter than 20.5mag for classification. Science targets are then selected for follow-up based on the PESSTO science goal of extending knowledge of the extremes of the supernova population. The EFOSC2 spectra cover 3345-9995A (at resolutions of 13-18 Angs) and SOFI spectra cover 0.935-2.53 micron (resolutions 23-33 Angs) along with JHK imaging. This data release contains spectra from the first year (April 2012 - 2013), consisting of all 814 EFOSC2 spectra and 95 SOFI spectra (covering 298 distinct objects), in standard ESO Phase 3 format. We estimate the accuracy of the absolute flux calibrations for EFOSC2 to be typically 15%, and the relative flux calibration accuracy to be about 5%. The PESSTO standard NIR reduction process does not yet produce high accuracy absolute spectrophotometry but the SOFI JHK imaging will improve this. Future data releases will focus on improving the automated flux calibration of the data products.
△ Less
Submitted 10 May, 2015; v1 submitted 2 November, 2014;
originally announced November 2014.
-
Type Ia Supernova Hubble Residuals and Host-Galaxy Properties
Authors:
A. G. Kim,
G. Aldering,
P. Antilogus,
C. Aragon,
S. Bailey,
C. Baltay,
S. Bongard,
C. Buton,
A. Canto,
F. Cellier-Holzem,
M. Childress,
N. Chotard,
Y. Copin,
H. K. Fakhouri,
U. Feindt,
M. Fleury,
E. Gangler,
P. Greskovic,
J. Guy,
M. Kowalski,
S. Lombardo,
J. Nordin,
P. Nugent,
R. Pain,
E. Pecontal
, et al. (11 additional authors not shown)
Abstract:
Kim et al. (2013) [K13] introduced a new methodology for determining peak-brightness absolute magnitudes of type Ia supernovae from multi-band light curves. We examine the relation between their parameterization of light curves and Hubble residuals, based on photometry synthesized from the Nearby Supernova Factory spectrophotometric time series, with global host-galaxy properties. The K13 Hubble r…
▽ More
Kim et al. (2013) [K13] introduced a new methodology for determining peak-brightness absolute magnitudes of type Ia supernovae from multi-band light curves. We examine the relation between their parameterization of light curves and Hubble residuals, based on photometry synthesized from the Nearby Supernova Factory spectrophotometric time series, with global host-galaxy properties. The K13 Hubble residual step with host mass is $0.013\pm 0.031$ mag for a supernova subsample with data coverage corresponding to the K13 training; at $\ll 1σ$, the step is not significant and lower than previous measurements. Relaxing the data coverage requirement the Hubble residual step with host mass is $0.045\pm 0.026$ mag for the larger sample; a calculation using the modes of the distributions, less sensitive to outliers, yields a step of 0.019 mag. The analysis of this article uses K13 inferred luminosities, as distinguished from previous works that use magnitude corrections as a function of SALT2 color and stretch parameters: Steps at $>2σ$ significance are found in SALT2 Hubble residuals in samples split by the values of their K13 $x(1)$ and $x(2)$ light-curve parameters. $x(1)$ affects the light-curve width and color around peak (similar to the $Δm_{15}$ and stretch parameters), and $x(2)$ affects colors, the near-UV light-curve width, and the light-curve decline 20 to 30 days after peak brightness. The novel light-curve analysis, increased parameter set, and magnitude corrections of K13 may be capturing features of SN~Ia diversity arising from progenitor stellar evolution.
△ Less
Submitted 14 January, 2014;
originally announced January 2014.
-
The supernova CSS121015:004244+132827: a clue for understanding super-luminous supernovae
Authors:
S. Benetti,
M. Nicholl,
E. Cappellaro,
A. Pastorello,
S. J. Smartt,
N. Elias-Rosa,
A. J. Drake,
L. Tomasella,
M. Turatto,
A. Harutyunyan,
S. Taubenberger,
S. Hachinger,
A. Morales-Garoffolo,
T. -W. Chen,
S. G. Djorgovski,
M. Fraser,
A. Gal-Yam,
C. Inserra,
P. Mazzali,
M. L. Pumo,
J. Sollerman,
S. Valenti,
D. R. Young,
M. Dennefeld,
L. Le Guillou
, et al. (2 additional authors not shown)
Abstract:
We present optical photometry and spectra of the super luminous type II/IIn supernova CSS121015:004244+132827 (z=0.2868) spanning epochs from -30 days (rest frame) to more than 200 days after maximum. CSS121015 is one of the more luminous supernova ever found and one of the best observed. The photometric evolution is characterized by a relatively fast rise to maximum (~40 days in the SN rest frame…
▽ More
We present optical photometry and spectra of the super luminous type II/IIn supernova CSS121015:004244+132827 (z=0.2868) spanning epochs from -30 days (rest frame) to more than 200 days after maximum. CSS121015 is one of the more luminous supernova ever found and one of the best observed. The photometric evolution is characterized by a relatively fast rise to maximum (~40 days in the SN rest frame), and by a linear post-maximum decline. The light curve shows no sign of a break to an exponential tail. A broad Halpha is first detected at ~ +40 days (rest-frame). Narrow, barely-resolved Balmer and [O III] 5007 A lines, with decreasing strength, are visible along the entire spectral evolution. The spectra are very similar to other super luminous supernovae (SLSNe) with hydrogen in their spectrum, and also to SN 2005gj, sometimes considered a type Ia interacting with H-rich CSM. The spectra are also similar to a subsample of H-deficient SLSNe. We propose that the properties of CSS121015 are consistent with the interaction of the ejecta with a massive, extended, opaque shell, lost by the progenitor decades before the final explosion, although a magnetar powered model cannot be excluded. Based on the similarity of CSS121015 with other SLSNe (with and without H), we suggest that the shocked-shell scenario should be seriously considered as a plausible model for both types of SLSN.
△ Less
Submitted 17 March, 2014; v1 submitted 4 October, 2013;
originally announced October 2013.
-
Evidence of Environmental Dependencies of Type Ia Supernovae from the Nearby Supernova Factory indicated by Local Hα
Authors:
M. Rigault,
Y. Copin,
G. Aldering,
P. Antilogus,
C. Aragon,
S. Bailey,
C. Baltay,
S. Bongard,
C. Buton,
A. Canto,
F. Cellier-Holzem,
M. Childress,
N. Chotard,
H. K. Fakhouri,
U. Feindt,
M. Fleury,
E. Gangler,
P. Greskovic,
J. Guy,
A. G. Kim,
M. Kowalski,
S. Lombardo,
J. Nordin,
P. Nugent,
R. Pain
, et al. (11 additional authors not shown)
Abstract:
(Abridged) We study the host galaxy regions in close proximity to Type Ia supernovae (SNe Ia) to analyze relations between the properties of SN Ia events and environments most similar to where their progenitors formed. We focus on local Hα emission as an indicator of young environments. The Nearby Supernova Factory has obtained flux-calibrated spectral timeseries for SNe Ia using integral field sp…
▽ More
(Abridged) We study the host galaxy regions in close proximity to Type Ia supernovae (SNe Ia) to analyze relations between the properties of SN Ia events and environments most similar to where their progenitors formed. We focus on local Hα emission as an indicator of young environments. The Nearby Supernova Factory has obtained flux-calibrated spectral timeseries for SNe Ia using integral field spectroscopy, allowing the simultaneous measurement of the SN and its immediate vicinity. For 89 SNe Ia we measure Hα emission tracing ongoing star formation within a 1 kpc radius around each SN. This constitutes the first direct study of the local environment for a large sample of SNe Ia also having accurate luminosity, color and stretch measurements. We find that SNe Ia with local Hα emission are redder by 0.036+/-0.017 mag, and that the previously-noted correlation between stretch and host mass is entirely driven by the SNe Ia coming from passive regions. Most importantly, the mean standardized brightness for SNe Ia with local Hα emission is 0.094+/-0.031 mag fainter than for those without. This offset arises from a bimodal structure in the Hubble residuals, that also explains the previously-known host-mass bias. We combine this bimodality with the cosmic star-formation rate to predict changes with redshift in the mean SN Ia brightness and the host-mass bias. This change is confirmed using high-redshift SNe Ia from the literature. These environmental dependences point to remaining systematic errors in SNe Ia standardization. The observed brightness offset is predicted to cause a significant bias in measurements of the dark energy equation of state. Recognition of these effects offers new opportunities to improve SNe Ia as cosmological probes - e.g. SNe Ia having local Hα emission are more homogeneous, having a brightness dispersion of 0.105+/-0.012 mag.
△ Less
Submitted 10 September, 2013; v1 submitted 4 September, 2013;
originally announced September 2013.
-
A Fast Iterative Bayesian Inference Algorithm for Sparse Channel Estimation
Authors:
Niels Lovmand Pedersen,
Carles Navarro Manchón Bernard Henri Fleury
Abstract:
In this paper, we present a Bayesian channel estimation algorithm for multicarrier receivers based on pilot symbol observations. The inherent sparse nature of wireless multipath channels is exploited by modeling the prior distribution of multipath components' gains with a hierarchical representation of the Bessel K probability density function; a highly efficient, fast iterative Bayesian inference…
▽ More
In this paper, we present a Bayesian channel estimation algorithm for multicarrier receivers based on pilot symbol observations. The inherent sparse nature of wireless multipath channels is exploited by modeling the prior distribution of multipath components' gains with a hierarchical representation of the Bessel K probability density function; a highly efficient, fast iterative Bayesian inference method is then applied to the proposed model. The resulting estimator outperforms other state-of-the-art Bayesian and non-Bayesian estimators, either by yielding lower mean squared estimation error or by attaining the same accuracy with improved convergence rate, as shown in our numerical evaluation.
△ Less
Submitted 6 March, 2013;
originally announced March 2013.
-
The ESPRI project: astrometric exoplanet search with PRIMA I. Instrument description and performance of first light observations
Authors:
J. Sahlmann,
T. Henning,
D. Queloz,
A. Quirrenbach,
N. M. Elias II,
R. Launhardt,
F. Pepe,
S. Reffert,
D. Segransan,
J. Setiawan,
R. Abuter,
L. Andolfato,
P. Bizenberger,
H. Baumeister,
B. Chazelas,
F. Delplancke,
F. Derie,
N. Di Lieto,
T. P. Duc,
M. Fleury,
U. Graser,
A. Kaminski,
R. Koehler,
S. Leveque,
C. Maire
, et al. (20 additional authors not shown)
Abstract:
The ESPRI project relies on the astrometric capabilities offered by the PRIMA facility of the Very Large Telescope Interferometer for the discovery and study of planetary systems. Our survey consists of obtaining high-precision astrometry for a large sample of stars over several years and to detect their barycentric motions due to orbiting planets. We present the operation principle, the instrumen…
▽ More
The ESPRI project relies on the astrometric capabilities offered by the PRIMA facility of the Very Large Telescope Interferometer for the discovery and study of planetary systems. Our survey consists of obtaining high-precision astrometry for a large sample of stars over several years and to detect their barycentric motions due to orbiting planets. We present the operation principle, the instrument's implementation, and the results of a first series of test observations. A comprehensive overview of the instrument infrastructure is given and the observation strategy for dual-field relative astrometry is presented. The differential delay lines, a key component of the PRIMA facility which was delivered by the ESPRI consortium, are described and their performance within the facility is discussed. Observations of bright visual binaries are used to test the observation procedures and to establish the instrument's astrometric precision and accuracy. The data reduction strategy for astrometry and the necessary corrections to the raw data are presented. Adaptive optics observations with NACO are used as an independent verification of PRIMA astrometric observations. The PRIMA facility was used to carry out tests of astrometric observations. The astrometric performance in terms of precision is limited by the atmospheric turbulence at a level close to the theoretical expectations and a precision of 30 micro-arcseconds was achieved. In contrast, the astrometric accuracy is insufficient for the goals of the ESPRI project and is currently limited by systematic errors that originate in the part of the interferometer beamtrain which is not monitored by the internal metrology system. Our observations led to the definition of corrective actions required to make the facility ready for carrying out the ESPRI search for extrasolar planets.
△ Less
Submitted 10 December, 2012;
originally announced December 2012.