Search for: All records

Continuous deep learning models, referred to as Neural Ordinary Differential Equations (Neural ODEs), have received considerable attention over the last several years. Despite their burgeoning impact, there is a lack of formal analysis techniques for these systems. In this paper, we consider a general class of neural ODEs with varying architectures and layers, and introduce a novel reachability framework that allows for the formal analysis of their behavior. The methods developed for the reachability analysis of neural ODEs are implemented in a new tool called NNVODE. Specifically, our work extends an existing neural network verification tool to support neural ODEs. We demonstrate the capabilities and efficacy of our methods through the analysis of a set of benchmarks that include neural ODEs used for classification, and in control and dynamical systems, including an evaluation of the efficacy and capabilities of our approach with respect to existing software tools within the continuous-time systems reachability literature, when it is possible to do so. 

This paper introduces robustness verification for semantic segmentation neural networks (in short, semantic segmentation networks [SSNs]), building on and extending recent approaches for robustness verification of image classification neural networks. Despite recent progress in developing verification methods for specifications such as local adversarial robustness in deep neural networks (DNNs) in terms of scalability, precision, and applicability to different network architectures, layers, and activation functions, robustness verification of semantic segmentation has not yet been considered. We address this limitation by developing and applying new robustness analysis methods for several segmentation neural network architectures, specifically by addressing reachability analysis of up-sampling layers, such as transposed convolution and dilated convolution. We consider several definitions of robustness for segmentation, such as the percentage of pixels in the output that can be proven robust under different adversarial perturbations, and a robust variant of intersection-over-union (IoU), the typical performance evaluation measure for segmentation tasks. Our approach is based on a new relaxed reachability method, allowing users to select the percentage of a number of linear programming problems (LPs) to solve when constructing the reachable set, through a relaxation factor percentage. The approach is implemented within NNV, then applied and evaluated on segmentation datasets, such as a multi-digit variant of MNIST known as M2NIST. Thorough experiments show that by using transposed convolution for up-sampling and average-pooling for down-sampling, combined with minimizing the number of ReLU layers in the SSNs, we can obtain SSNs with not only high accuracy (IoU), but also that are more robust to adversarial attacks and amenable to verification. Additionally, using our new relaxed reachability method, we can significantly reduce the verification time for neural networks whose ReLU layers dominate the total analysis time, even in classification tasks. 

Abstract As the Advanced LIGO and Advanced Virgo interferometers, soon to be joined by the KAGRA interferometer, increase their sensitivity, they detect an ever-larger number of gravitational waves with a significant presence of higher multipoles (HMs) in addition to the dominant (2, 2) multipole. These HMs can be detected with different approaches, such as the minimally-modeled burst search methods, and here we discuss one such approach based on the coherent WaveBurst (cWB) pipeline. During the inspiral phase the HMs produce chirps whose instantaneous frequency is a multiple of the dominant (2, 2) multipole, and here we describe how cWB can be used to detect these spectral features. The search is performed within suitable regions of the time-frequency representation; their shape is determined by optimizing the receiver operating characteristics. This novel method has already been used in the GW190814 discovery paper (Abbott et al 2020 Astrophys. J. Lett. 896 L44) and is very fast and flexible. Here we describe in full detail the procedure used to detect the (3, 3) multipole in GW190814 as well as searches for other HMs during the inspiral phase, and apply it to another event that displays HMs, GW190412, replicating the results obtained with different methods. The procedure described here can be used for the fast analysis of HMs and to support the findings obtained with the model-based Bayesian parameter estimates. 

Abstract The coherent WaveBurst (cWB) pipeline implements a minimally-modelled search to find a coherent response in the network of gravitational wave detectors of the LIGO-Virgo Col-laboration in the time-frequency domain. In this manuscript, we provide a timely introduction to an extension of the cWB analysis to detect spectral features beyond the main quadrupolar emission of gravitational waves during the inspiral phase of compact binary coalescences; more detailed discussion will be provided in a forthcoming paper [1]. The search is performed by defining specific regions in the time-frequency map to extract the energy of harmonics of main quadrupole mode in the inspiral phase. This method has already been used in the GW190814 discovery paper (Astrophys. J. Lett. 896 L44). Here we show the procedure to detect the (3, 3) multipole in GW190814 within the cWB framework. 

Abstract The Gravitational-Wave Transient Catalog (GWTC) is a collection of short-duration (transient) gravitational-wave signals identified by the LIGO–Virgo–KAGRA Collaboration in gravitational-wave data produced by the eponymous detectors. The catalog provides information about the identified candidates, such as the arrival time and amplitude of the signal and properties of the signal’s source as inferred from the observational data. GWTC is the data release of this dataset, and version 4.0 extends the catalog to include observations made during the first part of the fourth LIGO–Virgo–KAGRA observing run up until 2024 January 31. This Letter marks an introduction to a collection of articles related to this version of the catalog, GWTC-4.0. The collection of articles accompanying the catalog provides documentation of the methods used to analyze the data, summaries of the catalog of events, observational measurements drawn from the population, and detailed discussions of selected candidates. 

Abstract We report the observation of gravitational waves from two binary black hole coalescences during the fourth observing run of the LIGO–Virgo–KAGRA detector network, GW241011 and GW241110. The sources of these two signals are characterized by rapid and precisely measured primary spins, nonnegligible spin–orbit misalignment, and unequal mass ratios between their constituent black holes. These properties are characteristic of binaries in which the more massive object was itself formed from a previous binary black hole merger and suggest that the sources of GW241011 and GW241110 may have formed in dense stellar environments in which repeated mergers can take place. As the third-loudest gravitational-wave event published to date, with a median network signal-to-noise ratio of 36.0, GW241011 furthermore yields stringent constraints on the Kerr nature of black holes, the multipolar structure of gravitational-wave generation, and the existence of ultralight bosons within the mass range 10⁻¹³–10⁻¹²eV. 

Abstract On 2023 November 23, the two LIGO observatories both detected GW231123, a gravitational-wave signal consistent with the merger of two black holes with masses $137_{-18}^{+23}{M}_{\odot }$and $101_{-50}^{+22}{M}_{\odot }$(90% credible intervals), at a luminosity distance of 0.7–4.1 Gpc, a redshift of $0.40_{-0.25}^{+0.27}$, and with a network signal-to-noise ratio of ∼20.7. Both black holes exhibit high spins— $0.90_{-0.19}^{+0.10}$and $0.80_{-0.52}^{+0.20}$, respectively. A massive black hole remnant is supported by an independent ringdown analysis. Some properties of GW231123 are subject to large systematic uncertainties, as indicated by differences in the inferred parameters between signal models. The primary black hole lies within or above the theorized mass gap where black holes between 60–130M_⊙should be rare, due to pair-instability mechanisms, while the secondary spans the gap. The observation of GW231123 therefore suggests the formation of black holes from channels beyond standard stellar collapse and that intermediate-mass black holes of mass ∼200M_⊙form through gravitational-wave-driven mergers. 

The gravitational-wave signal GW250114 was observed by the two LIGO detectors with a network matched-filter signal-to-noise ratio of 80. The signal was emitted by the coalescence of two black holes with near-equal masses $m_1={33.6}_{-0.8}^{+1.2}{M}_{\odot }$and $m_2={32.2}_{-1.3}^{+0.8}{M}_{\odot }$, and small spins ${\chi }_{1,2}\le 0.26$(90% credibility) and negligible eccentricity $e\le 0.03$. Postmerger data excluding the peak region are consistent with the dominant quadrupolar $(\ell =|m|=2)$mode of a Kerr black hole and its first overtone. We constrain the modes’ frequencies to $\pm 30\%$of the Kerr spectrum, providing a test of the remnant’s Kerr nature. We also examine Hawking’s area law, also known as the second law of black hole mechanics, which states that the total area of the black hole event horizons cannot decrease with time. A range of analyses that exclude up to five of the strongest merger cycles confirm that the remnant area is larger than the sum of the initial areas to high credibility. 

Abstract We present the results of a search for gravitational-wave transients associated with core-collapse supernova SN 2023ixf, which was observed in the galaxy Messier 101 via optical emission on 2023 May 19, during the LIGO–Virgo–KAGRA 15th Engineering Run. We define a five-day on-source window during which an accompanying gravitational-wave signal may have occurred. No gravitational waves have been identified in data when at least two gravitational-wave observatories were operating, which covered ∼14% of this five-day window. We report the search detection efficiency for various possible gravitational-wave emission models. Considering the distance to M101 (6.7 Mpc), we derive constraints on the gravitational-wave emission mechanism of core-collapse supernovae across a broad frequency spectrum, ranging from 50 Hz to 2 kHz, where we assume the gravitational-wave emission occurred when coincident data are available in the on-source window. Considering an ellipsoid model for a rotating proto-neutron star, our search is sensitive to gravitational-wave energy 1 × 10⁻⁴M_⊙c²and luminosity 2.6 × 10⁻⁴M_⊙c²s⁻¹for a source emitting at 82 Hz. These constraints are around an order of magnitude more stringent than those obtained so far with gravitational-wave data. The constraint on the ellipticity of the proto-neutron star that is formed is as low as 1.08, at frequencies above 1200 Hz, surpassing past results.