-
MoDeGPT: Modular Decomposition for Large Language Model Compression
Authors:
Chi-Heng Lin,
Shangqian Gao,
James Seale Smith,
Abhishek Patel,
Shikhar Tuli,
Yilin Shen,
Hongxia Jin,
Yen-Chang Hsu
Abstract:
Large Language Models (LLMs) have reshaped the landscape of artificial intelligence by demonstrating exceptional performance across various tasks. However, substantial computational requirements make their deployment challenging on devices with limited resources. Recently, compression methods using low-rank matrix techniques have shown promise, yet these often lead to degraded accuracy or introduc…
▽ More
Large Language Models (LLMs) have reshaped the landscape of artificial intelligence by demonstrating exceptional performance across various tasks. However, substantial computational requirements make their deployment challenging on devices with limited resources. Recently, compression methods using low-rank matrix techniques have shown promise, yet these often lead to degraded accuracy or introduce significant overhead in parameters and inference latency. This paper introduces \textbf{Mo}dular \textbf{De}composition (MoDeGPT), a novel structured compression framework that does not need recovery fine-tuning while resolving the above drawbacks. MoDeGPT partitions the Transformer block into modules comprised of matrix pairs and reduces the hidden dimensions via reconstructing the module-level outputs. MoDeGPT is developed based on a theoretical framework that utilizes three well-established matrix decomposition algorithms -- Nyström approximation, CR decomposition, and SVD -- and applies them to our redefined transformer modules. Our comprehensive experiments show MoDeGPT, without backward propagation, matches or surpasses previous structured compression methods that rely on gradient information, and saves 98% of compute costs on compressing a 13B model. On \textsc{Llama}-2/3 and OPT models, MoDeGPT maintains 90-95% zero-shot performance with 25-30% compression rates. Moreover, the compression can be done on a single GPU within a few hours and increases the inference throughput by up to 46%.
△ Less
Submitted 20 August, 2024; v1 submitted 18 August, 2024;
originally announced August 2024.
-
Mass determination of two Jupiter-sized planets orbiting slightly evolved stars: TOI-2420 b and TOI-2485 b
Authors:
Ilaria Carleo,
Oscar Barrágan,
Carina M. Persson,
Malcolm Fridlund,
Kristine W. F. Lam,
Sergio Messina,
Davide Gandolfi,
Alexis M. S. Smith,
Marshall C. Johnson,
William Cochran,
Hannah L. M. Osborn,
Rafael Brahm,
David R. Ciardi,
Karen A. Collins,
Mark E. Everett,
Steven Giacalone,
Eike W. Guenther,
Artie Hatzes,
Coel Hellier,
Jonathan Horner Petr Kabáth,
Judith Korth,
Phillip MacQueen,
Thomas Masseron,
Felipe Murgas,
Grzegorz Nowak
, et al. (45 additional authors not shown)
Abstract:
Hot and warm Jupiters might have undergone the same formation and evolution path, but the two populations exhibit different distributions of orbital parameters, challenging our understanding on their actual origin. The present work, which is the results of our warm Jupiters survey carried out with the CHIRON spectrograph within the KESPRINT collaboration, aims to address this challenge by studying…
▽ More
Hot and warm Jupiters might have undergone the same formation and evolution path, but the two populations exhibit different distributions of orbital parameters, challenging our understanding on their actual origin. The present work, which is the results of our warm Jupiters survey carried out with the CHIRON spectrograph within the KESPRINT collaboration, aims to address this challenge by studying two planets that could help bridge the gap between the two populations. We report the confirmation and mass determination of a hot Jupiter (orbital period shorter than 10 days), TOI-2420\,b, and a warm Jupiter, TOI-2485\,b. We performed a joint analysis using a wide variety of spectral and photometric data in order to characterize these planetary systems. We found that TOI-2420\,b has an orbital period of P$_{\rm b}$=5.8 days, a mass of M$_{\rm b}$=0.9 M$_{\rm J}$ and a radius of R$_{\rm b}$=1.3 R$_{\rm J}$, with a planetary density of 0.477 \gc; while TOI-2485\,b has an orbital period of P$_{\rm b}$=11.2 days, a mass of M$_{\rm b}$=2.4 M$_{\rm J}$ and a radius of R$_{\rm b}$=1.1 R$_{\rm J}$ with density 2.36 \gc. With current parameters, the migration history for TOI-2420\,b and TOI-2485\,b is unclear: the high-eccentricity migration scenarios cannot be ruled out, and TOI-2485\,b's characteristics may rather support this scenario.
△ Less
Submitted 10 August, 2024;
originally announced August 2024.
-
Next-order balanced model captures submesoscale physics and statistics
Authors:
Ryan Shìjié Dù,
K. Shafer Smith,
Oliver Bühler
Abstract:
Using nonlinear simulations in two settings, we demonstrate that QG$^\mathrm{+1}$, a potential-vorticity (PV) based next-order-in-Rossby balanced model, captures several aspects of ocean submesoscale physics. In forced-dissipative 3D simulations under baroclinically unstable Eady-type background states, the statistical equilibrium turbulence exhibits long cyclonic tails and a plethora of rapidly-i…
▽ More
Using nonlinear simulations in two settings, we demonstrate that QG$^\mathrm{+1}$, a potential-vorticity (PV) based next-order-in-Rossby balanced model, captures several aspects of ocean submesoscale physics. In forced-dissipative 3D simulations under baroclinically unstable Eady-type background states, the statistical equilibrium turbulence exhibits long cyclonic tails and a plethora of rapidly-intensifying ageostrophic fronts. Despite that the model requires setting an explicit, small value for the fixed scaling Rossby number, the emergent flows are nevertheless characterized by $O(f)$ vorticity and convergence, as observed in upper-ocean submesoscale flows. Simulations of QG$^\mathrm{+1}$ under the classic strain-induced frontogenesis set-up show realistic frontal asymmetry and a finite time blow-up, quantitatively comparable to simulations of the semigeostrophic equations. The inversions in the QG$^\mathrm{+1}$ model are straightforward elliptic problems, allowing for the reconstruction of all flow fields from the PV and surface buoyancy, while avoiding the semigeostrophic coordinate transformation. Together, these results suggest QG$^\mathrm{+1}$ as a useful tool for studying upper-ocean submesoscale dynamics.
△ Less
Submitted 6 August, 2024;
originally announced August 2024.
-
TOI-757 b: an eccentric transiting mini-Neptune on a 17.5-d orbit
Authors:
A. Alqasim,
N. Grieves,
N. M. Rosário,
D. Gandolfi,
J. H. Livingston,
S. Sousa,
K. A. Collins,
J. K. Teske,
M. Fridlund,
J. A. Egger,
J. Cabrera,
C. Hellier,
A. F. Lanza,
V. Van Eylen,
F. Bouchy,
R. J. Oelkers,
G. Srdoc,
S. Shectman,
M. Günther,
E. Goffo,
T. Wilson,
L. M. Serrano,
A. Brandeker,
S. X. Wang,
A. Heitzmann
, et al. (107 additional authors not shown)
Abstract:
We report the spectroscopic confirmation and fundamental properties of TOI-757 b, a mini-Neptune on a 17.5-day orbit transiting a bright star ($V = 9.7$ mag) discovered by the TESS mission. We acquired high-precision radial velocity measurements with the HARPS, ESPRESSO, and PFS spectrographs to confirm the planet detection and determine its mass. We also acquired space-borne transit photometry wi…
▽ More
We report the spectroscopic confirmation and fundamental properties of TOI-757 b, a mini-Neptune on a 17.5-day orbit transiting a bright star ($V = 9.7$ mag) discovered by the TESS mission. We acquired high-precision radial velocity measurements with the HARPS, ESPRESSO, and PFS spectrographs to confirm the planet detection and determine its mass. We also acquired space-borne transit photometry with the CHEOPS space telescope to place stronger constraints on the planet radius, supported with ground-based LCOGT photometry. WASP and KELT photometry were used to help constrain the stellar rotation period. We also determined the fundamental parameters of the host star. We find that TOI-757 b has a radius of $R_{\mathrm{p}} = 2.5 \pm 0.1 R_{\oplus}$ and a mass of $M_{\mathrm{p}} = 10.5^{+2.2}_{-2.1} M_{\oplus}$, implying a bulk density of $ρ_{\text{p}} = 3.6 \pm 0.8$ g cm$^{-3}$. Our internal composition modeling was unable to constrain the composition of TOI-757 b, highlighting the importance of atmospheric observations for the system. We also find the planet to be highly eccentric with $e$ = 0.39$^{+0.08}_{-0.07}$, making it one of the very few highly eccentric planets among precisely characterized mini-Neptunes. Based on comparisons to other similar eccentric systems, we find a likely scenario for TOI-757 b's formation to be high eccentricity migration due to a distant outer companion. We additionally propose the possibility of a more intrinsic explanation for the high eccentricity due to star-star interactions during the earlier epoch of the Galactic disk formation, given the low metallicity and older age of TOI-757.
△ Less
Submitted 29 July, 2024;
originally announced July 2024.
-
Mean Teacher based SSL Framework for Indoor Localization Using Wi-Fi RSSI Fingerprinting
Authors:
Sihao Li,
Zhe Tang,
Kyeong Soo Kim,
Jeremy S. Smith
Abstract:
Wi-Fi fingerprinting is widely applied for indoor localization due to the widespread availability of Wi-Fi devices. However, traditional methods are not ideal for multi-building and multi-floor environments due to the scalability issues. Therefore, more and more researchers have employed deep learning techniques to enable scalable indoor localization. This paper introduces a novel semi-supervised…
▽ More
Wi-Fi fingerprinting is widely applied for indoor localization due to the widespread availability of Wi-Fi devices. However, traditional methods are not ideal for multi-building and multi-floor environments due to the scalability issues. Therefore, more and more researchers have employed deep learning techniques to enable scalable indoor localization. This paper introduces a novel semi-supervised learning framework for neural networks based on wireless access point selection, noise injection, and Mean Teacher model, which leverages unlabeled fingerprints to enhance localization performance. The proposed framework can manage hybrid in/outsourcing and voluntarily contributed databases and continually expand the fingerprint database with newly submitted unlabeled fingerprints during service. The viability of the proposed framework was examined using two established deep-learning models with the UJIIndoorLoc database. The experimental results suggest that the proposed framework significantly improves localization performance compared to the supervised learning-based approach in terms of floor-level coordinate estimation using EvAAL metric. It shows enhancements up to 10.99% and 8.98% in the former scenario and 4.25% and 9.35% in the latter, respectively with additional studies highlight the importance of the essential components of the proposed framework.
△ Less
Submitted 18 July, 2024;
originally announced July 2024.
-
Hierarchical Stage-Wise Training of Linked Deep Neural Networks for Multi-Building and Multi-Floor Indoor Localization Based on Wi-Fi RSSI Fingerprinting
Authors:
Sihao Li,
Kyeong Soo Kim,
Zhe Tang,
Graduate,
Jeremy S. Smith
Abstract:
In this paper, we present a new solution to the problem of large-scale multi-building and multi-floor indoor localization based on linked neural networks, where each neural network is dedicated to a sub-problem and trained under a hierarchical stage-wise training framework. When the measured data from sensors have a hierarchical representation as in multi-building and multi-floor indoor localizati…
▽ More
In this paper, we present a new solution to the problem of large-scale multi-building and multi-floor indoor localization based on linked neural networks, where each neural network is dedicated to a sub-problem and trained under a hierarchical stage-wise training framework. When the measured data from sensors have a hierarchical representation as in multi-building and multi-floor indoor localization, it is important to exploit the hierarchical nature in data processing to provide a scalable solution. In this regard, the hierarchical stage-wise training framework extends the original stage-wise training framework to the case of multiple linked networks by training a lower-hierarchy network based on the prior knowledge gained from the training of higher-hierarchy networks. The experimental results with the publicly-available UJIIndoorLoc multi-building and multi-floor Wi-Fi RSSI fingerprint database demonstrate that the linked neural networks trained under the proposed hierarchical stage-wise training framework can achieve a three-dimensional localization error of 8.19 m, which, to the best of the authors' knowledge, is the most accurate result ever obtained for neural network-based models trained and evaluated with the full datasets of the UJIIndoorLoc database, and that, when applied to a model based on hierarchical convolutional neural networks, the proposed training framework can also significantly reduce the three-dimensional localization error from 11.78 m to 8.71 m.
△ Less
Submitted 18 July, 2024;
originally announced July 2024.
-
Speckle-based 3D sub-diffraction imaging through a multimode fiber
Authors:
Zhouping Lyu,
Shih-Te Hung,
Carlas S. Smith,
Lyubov V. Amitonova
Abstract:
A flexible multimode fiber is an exceptionally efficient tool for in vivo deep tissue imaging. Recent advances in compressive multimode fiber sensing allow for imaging with sub-diffraction spatial resolution and sub-Nyquist speed. At present, the technology is limited to imaging in a two-dimensional (2D) plane near the fiber distal facet while in real applications it is very important to visualize…
▽ More
A flexible multimode fiber is an exceptionally efficient tool for in vivo deep tissue imaging. Recent advances in compressive multimode fiber sensing allow for imaging with sub-diffraction spatial resolution and sub-Nyquist speed. At present, the technology is limited to imaging in a two-dimensional (2D) plane near the fiber distal facet while in real applications it is very important to visualize three-dimensional (3D) structures. Here we propose a new approach for fast sub-diffraction 3D imaging through a multimode fiber by using a single 2D scan, speckle illumination, and bucket detection. We experimentally demonstrate precise image plane location as well as 3D imaging of samples with various scattering coefficients. The full width at half maximum (FWHM) of the point spread function along the axial direction is 3 times smaller than the diffraction limit. Our study grants depth-resolving capacity to ultra-thin super-resolution fiber endoscopes for life science and medical applications.
△ Less
Submitted 16 July, 2024;
originally announced July 2024.
-
Relative Sensitivities and Correlation of Factors Introducing Uncertainty in Radiotherapy Dosimetry Audits
Authors:
Padmini Krishnadas,
Spencer Angus Thomas,
Jessica Goldring,
Nadia A. S. Smith,
Mohammad Hussein
Abstract:
Dosimetry audits are carried out to determine how well radiotherapy is delivered to the patient. It is also used to understand the uncertainty introduced into the measurement result when using different computational models. As measurement procedures are becoming increasingly complex with technological advancements, it is harder to establish sources of variability in measurements and understand if…
▽ More
Dosimetry audits are carried out to determine how well radiotherapy is delivered to the patient. It is also used to understand the uncertainty introduced into the measurement result when using different computational models. As measurement procedures are becoming increasingly complex with technological advancements, it is harder to establish sources of variability in measurements and understand if they stem from true differences in measurands or in the measurement pipelines themselves. The gamma index calculation is a widely accepted metric used for the comparison of measured and predicted doses in radiotherapy. However, various steps in the measurement pipeline can introduce variation in the measurement result. In this paper, we perform a sensitivity and correlation analysis to investigate the influence of various input factors (i.e. setting) in gamma index calculations on the uncertainty introduced in dosimetry audits. We identify a number of factors where standardization will improve measurements by reducing variability in outputs. Furthermore, we also compare gamma index metrics and similarities across audit sites.
△ Less
Submitted 10 July, 2024;
originally announced July 2024.
-
Characterisation of the Warm-Jupiter TOI-1130 system with CHEOPS and photo-dynamical approach
Authors:
L. Borsato,
D. Degen,
A. Leleu,
M. J. Hooton,
J. A. Egger,
A. Bekkelien,
A. Brandeker,
A. Collier Cameron,
M. N. Günther,
V. Nascimbeni,
C. M. Persson,
A. Bonfanti,
T. G. Wilson,
A. C. M. Correia,
T. Zingales,
T. Guillot,
A. H. M. J. Triaud,
G. Piotto,
D. Gandolfi,
L. Abe,
Y. Alibert,
R. Alonso,
T. Bárczy,
D. Barrado Navascues,
S. C. C. Barros
, et al. (71 additional authors not shown)
Abstract:
Among the thousands of exoplanets discovered to date, approximately a few hundred gas giants on short-period orbits are classified as "lonely" and only a few are in a multi-planet system with a smaller companion on a close orbit. The processes that formed multi-planet systems hosting gas giants on close orbits are poorly understood, and only a few examples of this kind of system have been observed…
▽ More
Among the thousands of exoplanets discovered to date, approximately a few hundred gas giants on short-period orbits are classified as "lonely" and only a few are in a multi-planet system with a smaller companion on a close orbit. The processes that formed multi-planet systems hosting gas giants on close orbits are poorly understood, and only a few examples of this kind of system have been observed and well characterised. Within the contest of multi-planet system hosting gas-giant on short orbits, we characterise TOI-1130 system by measuring masses and orbital parameters. This is a 2-transiting planet system with a Jupiter-like planet (c) on a 8.35 days orbit and a Neptune-like planet (b) on an inner (4.07 days) orbit. Both planets show strong anti-correlated transit timing variations (TTVs). Furthermore, radial velocity (RV) analysis showed an additional linear trend, a possible hint of a non-transiting candidate planet on a far outer orbit. Since 2019, extensive transit and radial velocity observations of the TOI-1130 have been acquired using TESS and various ground-based facilities. We present a new photo-dynamical analysis of all available transit and RV data, with the addition of new CHEOPS and ASTEP+ data that achieve the best precision to date on the planetary radii and masses and on the timings of each transit. We were able to model interior structure of planet b constraining the presence of a gaseous envelope of H/He, while it was not possible to assess the possible water content. Furthermore, we analysed the resonant state of the two transiting planets, and we found that they lie just outside the resonant region. This could be the result of the tidal evolution that the system underwent. We obtained both masses of the planets with a precision less than 1.5%, and radii with a precision of about 1% and 3% for planet b and c, respectively.
△ Less
Submitted 8 July, 2024;
originally announced July 2024.
-
An Upper Limit on the Photoproduction Cross Section of the Spin-Exotic $π_1(1600)$
Authors:
F. Afzal,
C. S. Akondi,
M. Albrecht,
M. Amaryan,
S. Arrigo,
V. Arroyave,
A. Asaturyan,
A. Austregesilo,
Z. Baldwin,
F. Barbosa,
J. Barlow,
E. Barriga,
R. Barsotti,
D. Barton,
V. Baturin,
V. V. Berdnikov,
T. Black,
W. Boeglin,
M. Boer,
W. J. Briscoe,
T. Britton,
S. Cao,
E. Chudakov,
G. Chung,
P. L. Cole
, et al. (124 additional authors not shown)
Abstract:
The spin-exotic hybrid meson $π_{1}(1600)$ is predicted to have a large decay rate to the $ωππ$ final state. Using 76.6~pb$^{-1}$ of data collected with the GlueX detector, we measure the cross sections for the reactions $γp \to ωπ^+ π^- p$, $γp \to ωπ^0 π^0 p$, and $γp\toωπ^-π^0Δ^{++}$ in the range $E_γ=$ 8-10 GeV. Using isospin conservation, we set the first upper limits on the photoproduction c…
▽ More
The spin-exotic hybrid meson $π_{1}(1600)$ is predicted to have a large decay rate to the $ωππ$ final state. Using 76.6~pb$^{-1}$ of data collected with the GlueX detector, we measure the cross sections for the reactions $γp \to ωπ^+ π^- p$, $γp \to ωπ^0 π^0 p$, and $γp\toωπ^-π^0Δ^{++}$ in the range $E_γ=$ 8-10 GeV. Using isospin conservation, we set the first upper limits on the photoproduction cross sections of the $π^{0}_{1}(1600)$ and $π^{-}_{1}(1600)$. We combine these limits with lattice calculations of decay widths and find that photoproduction of $η'π$ is the most sensitive two-body system to search for the $π_1(1600)$.
△ Less
Submitted 3 July, 2024;
originally announced July 2024.
-
Unveiling the internal structure and formation history of the three planets transiting HIP 29442 (TOI-469) with CHEOPS
Authors:
J. A. Egger,
H. P. Osborn,
D. Kubyshkina,
C. Mordasini,
Y. Alibert,
M. N. Günther,
M. Lendl,
A. Brandeker,
A. Heitzmann,
A. Leleu,
M. Damasso,
A. Bonfanti,
T. G. Wilson,
S. G. Sousa,
J. Haldemann,
L. Delrez,
M. J. Hooton,
T. Zingales,
R. Luque,
R. Alonso,
J. Asquier,
T. Bárczy,
D. Barrado Navascues,
S. C. C. Barros,
W. Baumjohann
, et al. (69 additional authors not shown)
Abstract:
Multiplanetary systems spanning the radius valley are ideal testing grounds for exploring the proposed explanations for the observed bimodality in the radius distribution of close-in exoplanets. One such system is HIP 29442 (TOI-469), an evolved K0V star hosting two super-Earths and a sub-Neptune. We observe HIP 29442 with CHEOPS for a total of 9.6 days, which we model jointly with 2 sectors of TE…
▽ More
Multiplanetary systems spanning the radius valley are ideal testing grounds for exploring the proposed explanations for the observed bimodality in the radius distribution of close-in exoplanets. One such system is HIP 29442 (TOI-469), an evolved K0V star hosting two super-Earths and a sub-Neptune. We observe HIP 29442 with CHEOPS for a total of 9.6 days, which we model jointly with 2 sectors of TESS data to derive planetary radii of $3.410\pm0.046$, $1.551\pm0.045$ and $1.538\pm0.049$ R$_\oplus$ for planets b, c and d, which orbit HIP 29442 with periods of 13.6, 3.5 and 6.4 days. For planet d, this value deviates by more than 3 sigma from the median value reported in the discovery paper, leading us to conclude that caution is required when using TESS photometry to determine the radii of small planets with low per-transit S/N and large gaps between observations. Given the high precision of these new radii, combining them with published RVs from ESPRESSO and HIRES provides us with ideal conditions to investigate the internal structure and formation pathways of the planets in the system. We introduce the publicly available code plaNETic, a fast and robust neural network-based Bayesian internal structure modelling framework. We then apply hydrodynamic models to explore the upper atmospheric properties of these inferred structures. Finally, we identify planetary system analogues in a synthetic population generated with the Bern model for planet formation and evolution. Based on this analysis, we find that the planets likely formed on opposing sides of the water iceline from a protoplanetary disk with an intermediate solid mass. We finally report that the observed parameters of the HIP 29442 system are compatible with both a scenario where the second peak in the bimodal radius distribution corresponds to sub-Neptunes with a pure H/He envelope as well as a scenario with water-rich sub-Neptunes.
△ Less
Submitted 26 June, 2024;
originally announced June 2024.
-
Low-Crosstalk, Silicon-Fabricated Optical Waveguides for Laser Delivery to Matter Qubits
Authors:
Clayton L. Craft,
Nicholas J. Barton,
Andrew C. Klug,
Kenneth Scalzi,
Ian Wildemann,
Pramod Asagodu,
Joseph D. Broz,
Nikola L. Porto,
Michael Macalik,
Anthony Rizzo,
Garrett Percevault,
Christopher C. Tison,
A. Matthew Smith,
Michael L. Fanto,
James Schneeloch,
Erin Sheridan,
Dylan Heberle,
Andrew Brownell,
Vijay S. S. Sundaram,
Venkatesh Deenadayalan,
Matthew van Niekerk,
Evan Manfreda-Schulz,
Gregory A. Howland,
Stefan F. Preble,
Daniel Coleman
, et al. (8 additional authors not shown)
Abstract:
Reliable control of quantum information in matter-based qubits requires precisely applied external fields, and unaccounted for spatial cross-talk of these fields between adjacent qubits leads to loss of fidelity. We report a CMOS foundry-produced, micro-fabricated silicon nitride (Si3N4) optical waveguide for addressing a chain of eight, unequally-spaced trapped barium ions with crosstalk compatib…
▽ More
Reliable control of quantum information in matter-based qubits requires precisely applied external fields, and unaccounted for spatial cross-talk of these fields between adjacent qubits leads to loss of fidelity. We report a CMOS foundry-produced, micro-fabricated silicon nitride (Si3N4) optical waveguide for addressing a chain of eight, unequally-spaced trapped barium ions with crosstalk compatible with scalable quantum information processing. The crosstalk mitigation techniques incorporated into the chip design result in a reduction of the measured optical field by at least 50.8(1.3) dB between adjacent waveguide outputs near 650 nm and similar behavior for devices designed for 493 nm and 585 nm. The waveguide outputs near 650 nm, along with a global laser near 493 nm were used to laser-cool a chain of eight barium-138 ions, and a camera imaged the resulting fluorescence at 493 nm.
△ Less
Submitted 27 June, 2024; v1 submitted 25 June, 2024;
originally announced June 2024.
-
Measurement of Spin-Density Matrix Elements in $Δ^{++}(1232)$ photoproduction
Authors:
F. Afzal,
C. S. Akondi,
M. Albrecht,
M. Amaryan,
S. Arrigo,
V. Arroyave,
A. Asaturyan,
A. Austregesilo,
Z. Baldwin,
F. Barbosa,
J. Barlow,
E. Barriga,
R. Barsotti,
D. Barton,
V. Baturin,
V. V. Berdnikov,
T. Black,
W. Boeglin,
M. Boer,
W. J. Briscoe,
T. Britton,
S. Cao,
E. Chudakov,
G. Chung,
P. L. Cole
, et al. (124 additional authors not shown)
Abstract:
We measure the spin-density matrix elements (SDMEs) of the $Δ^{++}(1232)$ in the photoproduction reaction $γp \to π^-Δ^{++}(1232)$ with the GlueX experiment in Hall D at Jefferson Lab. The measurement uses a linearly--polarized photon beam with energies from $8.2$ to $8.8$~GeV and the statistical precision of the SDMEs exceeds the previous measurement by three orders of magnitude for the momentum…
▽ More
We measure the spin-density matrix elements (SDMEs) of the $Δ^{++}(1232)$ in the photoproduction reaction $γp \to π^-Δ^{++}(1232)$ with the GlueX experiment in Hall D at Jefferson Lab. The measurement uses a linearly--polarized photon beam with energies from $8.2$ to $8.8$~GeV and the statistical precision of the SDMEs exceeds the previous measurement by three orders of magnitude for the momentum transfer squared region below $1.4$ GeV$^2$. The data are sensitive to the previously undetermined relative sign between couplings in existing Regge-exchange models. Linear combinations of the extracted SDMEs allow for a decomposition into natural and unnatural--exchange amplitudes. We find that the unnatural exchange plays an important role in the low momentum transfer region.
△ Less
Submitted 26 July, 2024; v1 submitted 18 June, 2024;
originally announced June 2024.
-
A gamma-ray flare from TXS 1508+572: characterizing the jet of a $z=4.31$ blazar in the early Universe
Authors:
Andrea Gokus,
Markus Böttcher,
Manel Errando,
Michael Kreter,
Jonas Heßdörfer,
Florian Eppel,
Matthias Kadler,
Paul S. Smith,
Petra Benke,
Leonid I. Gurvits,
Alex Kraus,
Mikhail Lisakov,
Felicia McBride,
Eduardo Ros,
Florian Rösch,
Jörn Wilms
Abstract:
Blazars can be detected from very large distances due to their high luminosity. However, the detection of $γ$-ray emission of blazars beyond $z=3$ has only been confirmed for a small number of sources. Such observations probe the growth of supermassive black holes close to the peak of star formation in the history of galaxy evolution. As a result from a continuous monitoring of a sample of 80…
▽ More
Blazars can be detected from very large distances due to their high luminosity. However, the detection of $γ$-ray emission of blazars beyond $z=3$ has only been confirmed for a small number of sources. Such observations probe the growth of supermassive black holes close to the peak of star formation in the history of galaxy evolution. As a result from a continuous monitoring of a sample of 80 $z>3$ blazars with Fermi-LAT, we present the first detection of a $γ$-ray flare from the $z=4.31$ blazar TXS 1508+572. This source showed high $γ$-ray activity from February to August 2022, reaching a peak luminosity comparable to the most luminous flares ever detected with Fermi -LAT. We conducted a multiwavelength observing campaign involving XMM-Newton, Swift, the Effelsberg 100-m radio telescope and the Very Long Baseline Array. In addition, we make use of the monitoring programs by the Zwicky Transient Facility and NEOWISE at optical and infrared wavelengths, respectively. We find that the source is particularly variable in the infrared band on daily time scales. The spectral energy distribution collected during our campaign is well described by a one-zone leptonic model, with the $γ$-ray flare originating from an increase of external Compton emission as a result of a fresh injection of accelerated electrons.
△ Less
Submitted 1 August, 2024; v1 submitted 11 June, 2024;
originally announced June 2024.
-
Sequential Monte Carlo for Cut-Bayesian Posterior Computation
Authors:
Joseph Mathews,
Giri Gopalan,
James Gattiker,
Sean Smith,
Devin Francom
Abstract:
We propose a sequential Monte Carlo (SMC) method to efficiently and accurately compute cut-Bayesian posterior quantities of interest, variations of standard Bayesian approaches constructed primarily to account for model misspecification. We prove finite sample concentration bounds for estimators derived from the proposed method along with a linear tempering extension and apply these results to a r…
▽ More
We propose a sequential Monte Carlo (SMC) method to efficiently and accurately compute cut-Bayesian posterior quantities of interest, variations of standard Bayesian approaches constructed primarily to account for model misspecification. We prove finite sample concentration bounds for estimators derived from the proposed method along with a linear tempering extension and apply these results to a realistic setting where a computer model is misspecified. We then illustrate the SMC method for inference in a modular chemical reactor example that includes submodels for reaction kinetics, turbulence, mass transfer, and diffusion. The samples obtained are commensurate with a direct-sampling approach that consists of running multiple Markov chains, with computational efficiency gains using the SMC method. Overall, the SMC method presented yields a novel, rigorous approach to computing with cut-Bayesian posterior distributions.
△ Less
Submitted 8 March, 2024;
originally announced June 2024.
-
CHEOPS in-flight performance: A comprehensive look at the first 3.5 years of operations
Authors:
A. Fortier,
A. E. Simon,
C. Broeg,
G. Olofsson,
A. Deline,
T. G. Wilson,
P. F. L. Maxted,
A. Brandeker,
A. Collier Cameron,
M. Beck,
A. Bekkelien,
N. Billot,
A. Bonfanti,
G. Bruno,
J. Cabrera,
L. Delrez,
B. -O. Demory,
D. Futyan,
H. -G. Florén,
M. N. Günther,
A. Heitzmann,
S. Hoyer,
K. G. Isaak,
S. G. Sousa,
M. Stalport
, et al. (106 additional authors not shown)
Abstract:
CHEOPS is a space telescope specifically designed to monitor transiting exoplanets orbiting bright stars. In September 2023, CHEOPS completed its nominal mission and remains in excellent operational conditions. The mission has been extended until the end of 2026. Scientific and instrumental data have been collected throughout in-orbit commissioning and nominal operations, enabling a comprehensive…
▽ More
CHEOPS is a space telescope specifically designed to monitor transiting exoplanets orbiting bright stars. In September 2023, CHEOPS completed its nominal mission and remains in excellent operational conditions. The mission has been extended until the end of 2026. Scientific and instrumental data have been collected throughout in-orbit commissioning and nominal operations, enabling a comprehensive analysis of the mission's performance. In this article, we present the results of this analysis with a twofold goal. First, we aim to inform the scientific community about the present status of the mission and what can be expected as the instrument ages. Secondly, we intend for this publication to serve as a legacy document for future missions, providing insights and lessons learned from the successful operation of CHEOPS. To evaluate the instrument performance in flight, we developed a comprehensive monitoring and characterisation programme. It consists of dedicated observations that allow us to characterise the instrument's response. In addition to the standard collection of nominal science and housekeeping data, these observations provide input for detecting, modelling, and correcting instrument systematics, discovering and addressing anomalies, and comparing the instrument's actual performance with expectations. The precision of the CHEOPS measurements has enabled the mission objectives to be met and exceeded. Careful modelling of the instrumental systematics allows the data quality to be significantly improved during the light curve analysis phase, resulting in more precise scientific measurements. CHEOPS is compliant with the driving scientific requirements of the mission. Although visible, the ageing of the instrument has not affected the mission's performance.
△ Less
Submitted 3 June, 2024;
originally announced June 2024.
-
HIP 41378 observed by CHEOPS: Where is planet d?
Authors:
S. Sulis,
L. Borsato,
S. Grouffal,
H. P. Osborn,
A. Santerne,
A. Brandeker,
M. N. Günther,
A. Heitzmann,
M. Lendl,
M. Fridlund,
D. Gandolfi,
Y. Alibert,
R. Alonso,
T. Bárczy,
D. Barrado Navascues,
S. C. Barros,
W. Baumjohann,
T. Beck,
W. Benz,
M. Bergomi,
N. Billot,
A. Bonfanti,
C. Broeg,
A. Collier Cameron,
C. Corral van Damme
, et al. (62 additional authors not shown)
Abstract:
HIP 41378 d is a long-period planet that has only been observed to transit twice, three years apart, with K2. According to stability considerations and a partial detection of the Rossiter-McLaughlin effect, $P_\mathrm{d} = 278.36$ d has been determined to be the most likely orbital period. We targeted HIP 41378 d with CHEOPS at the predicted transit timing based on $P_\mathrm{d}= 278.36$ d, but th…
▽ More
HIP 41378 d is a long-period planet that has only been observed to transit twice, three years apart, with K2. According to stability considerations and a partial detection of the Rossiter-McLaughlin effect, $P_\mathrm{d} = 278.36$ d has been determined to be the most likely orbital period. We targeted HIP 41378 d with CHEOPS at the predicted transit timing based on $P_\mathrm{d}= 278.36$ d, but the observations show no transit. We find that large ($>22.4$ hours) transit timing variations (TTVs) could explain this non-detection during the CHEOPS observation window. We also investigated the possibility of an incorrect orbital solution, which would have major implications for our knowledge of this system. If $P_\mathrm{d} \neq 278.36$ d, the periods that minimize the eccentricity would be $101.22$ d and $371.14$ d. The shortest orbital period will be tested by TESS, which will observe HIP 41378 in Sector 88 starting in January 2025. Our study shows the importance of a mission like CHEOPS, which today is the only mission able to make long observations (i.e., from space) to track the ephemeris of long-period planets possibly affected by large TTVs.
△ Less
Submitted 30 May, 2024;
originally announced May 2024.
-
Feynman Integral Reductions by Intersection Theory with Orthogonal Bases and Closed Formulae
Authors:
Giulio Crisanti,
Sid Smith
Abstract:
We present a prescription for choosing orthogonal bases of differential $n$-forms belonging to quadratic twisted period integrals, with respect to the intersection number inner product. To evaluate these inner products, we additionally propose a new closed formula for intersection numbers beyond $\mathrm{d} \log$ forms. These findings allow us to systematically construct orthonormal bases between…
▽ More
We present a prescription for choosing orthogonal bases of differential $n$-forms belonging to quadratic twisted period integrals, with respect to the intersection number inner product. To evaluate these inner products, we additionally propose a new closed formula for intersection numbers beyond $\mathrm{d} \log$ forms. These findings allow us to systematically construct orthonormal bases between twisted period integrals of this type. In the context of Feynman integrals, this represents all diagrams at one-loop.
△ Less
Submitted 28 May, 2024;
originally announced May 2024.
-
The HTTP Garden: Discovering Parsing Vulnerabilities in HTTP/1.1 Implementations by Differential Fuzzing of Request Streams
Authors:
Ben Kallus,
Prashant Anantharaman,
Michael Locasto,
Sean W. Smith
Abstract:
HTTP/1.1 parsing discrepancies have been the basis for numerous classes of attacks against web servers. Previous techniques for discovering HTTP parsing discrepancies have focused on blackbox differential testing of HTTP gateway servers, despite evidence that the most significant parsing anomalies occur within origin servers. While these techniques can detect some vulnerabilities, not all parsing…
▽ More
HTTP/1.1 parsing discrepancies have been the basis for numerous classes of attacks against web servers. Previous techniques for discovering HTTP parsing discrepancies have focused on blackbox differential testing of HTTP gateway servers, despite evidence that the most significant parsing anomalies occur within origin servers. While these techniques can detect some vulnerabilities, not all parsing discrepancy-related vulnerabilities are detectable by examining a gateway server's output alone. Our system, the HTTP Garden, examines both origin servers' interpretations and gateway servers' transformations of HTTP requests. It also includes a coverage-guided differential fuzzer for HTTP/1.1 origin servers that is capable of mutating all components of a request stream, paired with an interactive REPL that facilitates the automatic discovery of meaningful HTTP parsing discrepancies and the rapid development of those discrepancies into attack payloads. Using our tool, we have discovered and reported over 100 HTTP parsing bugs in popular web servers, of which 68 have been fixed following our reports. We designate 39 of these to be exploitable. We release the HTTP Garden to the public on GitHub under a free software license to allow researchers to further explore new parser discrepancy-based attacks against HTTP/1.1 servers.
△ Less
Submitted 27 May, 2024;
originally announced May 2024.
-
Coordinated Multi-Neighborhood Learning on a Directed Acyclic Graph
Authors:
Stephen Smith,
Qing Zhou
Abstract:
Learning the structure of causal directed acyclic graphs (DAGs) is useful in many areas of machine learning and artificial intelligence, with wide applications. However, in the high-dimensional setting, it is challenging to obtain good empirical and theoretical results without strong and often restrictive assumptions. Additionally, it is questionable whether all of the variables purported to be in…
▽ More
Learning the structure of causal directed acyclic graphs (DAGs) is useful in many areas of machine learning and artificial intelligence, with wide applications. However, in the high-dimensional setting, it is challenging to obtain good empirical and theoretical results without strong and often restrictive assumptions. Additionally, it is questionable whether all of the variables purported to be included in the network are observable. It is of interest then to restrict consideration to a subset of the variables for relevant and reliable inferences. In fact, researchers in various disciplines can usually select a set of target nodes in the network for causal discovery. This paper develops a new constraint-based method for estimating the local structure around multiple user-specified target nodes, enabling coordination in structure learning between neighborhoods. Our method facilitates causal discovery without learning the entire DAG structure. We establish consistency results for our algorithm with respect to the local neighborhood structure of the target nodes in the true graph. Experimental results on synthetic and real-world data show that our algorithm is more accurate in learning the neighborhood structures with much less computational cost than standard methods that estimate the entire DAG. An R package implementing our methods may be accessed at https://github.com/stephenvsmith/CML.
△ Less
Submitted 24 May, 2024;
originally announced May 2024.
-
Photo-dynamical characterisation of the TOI-178 resonant chain
Authors:
A. Leleu,
J. -B. Delisle,
L. Delrez,
E. M. Bryant,
A. Brandeker,
H. P. Osborn,
N. Hara,
T. G. Wilson,
N. Billot,
M. Lendl,
D. Ehrenreich,
H. Chakraborty,
M. N. Günther,
M. J. Hooton,
Y. Alibert,
R. Alonso,
D. R. Alves,
D. R. Anderson,
I. Apergis,
D. Armstrong,
T. Bárczy,
D. Barrado Navascues,
S. C. C. Barros,
M. P. Battley,
W. Baumjohann
, et al. (82 additional authors not shown)
Abstract:
The TOI-178 system consists of a nearby late K-dwarf transited by six planets in the super-Earth to mini-Neptune regime, with radii ranging from 1.2 to 2.9 earth radius and orbital periods between 1.9 and 20.7 days. All planets but the innermost one form a chain of Laplace resonances. The fine-tuning and fragility of such orbital configurations ensure that no significant scattering or collision ev…
▽ More
The TOI-178 system consists of a nearby late K-dwarf transited by six planets in the super-Earth to mini-Neptune regime, with radii ranging from 1.2 to 2.9 earth radius and orbital periods between 1.9 and 20.7 days. All planets but the innermost one form a chain of Laplace resonances. The fine-tuning and fragility of such orbital configurations ensure that no significant scattering or collision event has taken place since the formation and migration of the planets in the protoplanetary disc, hence providing important anchors for planet formation models. We aim to improve the characterisation of the architecture of this key system, and in particular the masses and radii of its planets. In addition, since this system is one of the few resonant chains that can be characterised by both photometry and radial velocities, we aim to use it as a test bench for the robustness of the planetary mass determination with each technique. We perform a global analysis of all available photometry and radial velocity. We also try different sets of priors on the masses and eccentricity, as well as different stellar activity models, to study their effects on the masses estimated by each method. We show how stellar activity is preventing us from obtaining a robust mass estimation for the three outer planets using radial velocity data alone. We also show that our joint photo-dynamical and radial velocity analysis resulted in a robust mass determination for planets c to g, with precision of 12% for the mass of planet c, and better than 10% for planets d to g. The new precisions on the radii range from 2 to 3%. The understanding of this synergy between photometric and radial velocity measurements will be valuable during the PLATO mission. We also show that TOI-178 is indeed currently locked in the resonant configuration, librating around an equilibrium of the chain.
△ Less
Submitted 22 May, 2024;
originally announced May 2024.
-
State of the Practice for Medical Imaging Software
Authors:
W. Spencer Smith,
Ao Dong,
Jacques Carette,
Michael D. Noseworthy
Abstract:
We selected 29 medical imaging projects from 48 candidates, assessed 10 software qualities by answering 108 questions for each software project, and interviewed 8 of the 29 development teams. Based on the quantitative data, we ranked the MI software with the Analytic Hierarchy Process (AHP). The four top-ranked software products are 3D Slicer, ImageJ, Fiji, and OHIF Viewer. Generally, MI software…
▽ More
We selected 29 medical imaging projects from 48 candidates, assessed 10 software qualities by answering 108 questions for each software project, and interviewed 8 of the 29 development teams. Based on the quantitative data, we ranked the MI software with the Analytic Hierarchy Process (AHP). The four top-ranked software products are 3D Slicer, ImageJ, Fiji, and OHIF Viewer. Generally, MI software is in a healthy state as shown by the following: we observed 88% of the documentation artifacts recommended by research software development guidelines, 100% of MI projects use version control tools, and developers appear to use the common quasi-agile research software development process. However, the current state of the practice deviates from the existing guidelines because of the rarity of some recommended artifacts, low usage of continuous integration (17% of the projects), low use of unit testing (about 50% of projects), and room for improvement with documentation (six of nine developers felt their documentation was not clear enough). From interviewing the developers, we identified five pain points and two qualities of potential concern: lack of development time, lack of funding, technology hurdles, ensuring correctness, usability, maintainability, and reproducibility. The interviewees proposed strategies to improve the state of the practice, to address the identified pain points, and to improve software quality. Combining their ideas with ours, we have the following list of recommendations: increase documentation, increase testing by enriching datasets, increase continuous integration usage, move to web applications, employ linters, use peer reviews, design for change, add assurance cases, and incorporate a "Generate All Things" approach.
△ Less
Submitted 20 May, 2024;
originally announced May 2024.
-
Mitigating errors in logical qubits
Authors:
Samuel C. Smith,
Benjamin J. Brown,
Stephen D. Bartlett
Abstract:
Quantum error correcting codes protect quantum information, allowing for large quantum computations provided that physical error rates are sufficiently low. We combine post-selection with surface code error correction through the use of a parameterized family of exclusive decoders, which are able to abort on decoding instances that are deemed too difficult. We develop new numerical sampling method…
▽ More
Quantum error correcting codes protect quantum information, allowing for large quantum computations provided that physical error rates are sufficiently low. We combine post-selection with surface code error correction through the use of a parameterized family of exclusive decoders, which are able to abort on decoding instances that are deemed too difficult. We develop new numerical sampling methods to quantify logical failure rates with exclusive decoders as well as the trade-off in terms of the amount of post-selection required. For the most discriminating of exclusive decoders, we demonstrate a threshold of 50\% under depolarizing noise for the surface code (or $32(1)\%$ for the fault-tolerant case with phenomenological measurement errors), and up to a quadratic improvement in logical failure rates below threshold. Furthermore, surprisingly, with a modest exclusion criterion, we identify a regime at low error rates where the exclusion rate decays with code distance, providing a pathway for scalable and time-efficient quantum computing with post-selection. We apply our exclusive decoder to the 15-to-1 magic state distillation protocol, and report a $75\%$ reduction in the number of physical qubits required, and a $60\%$ reduction in the total spacetime volume required, including accounting for repetitions required for post-selection. We also consider other applications, as an error mitigation technique, and in concatenated schemes. Our work highlights the importance of post-selection as a powerful tool in quantum error correction.
△ Less
Submitted 6 May, 2024;
originally announced May 2024.
-
Credentials in the Occupation Ontology
Authors:
John Beverley,
Robin McGill,
Sam Smith,
Jie Zheng,
Giacomo De Colle,
Finn Wilson,
Matthew Diller,
William D. Duncan,
William R. Hogan,
Yongqun He
Abstract:
The term credential encompasses educational certificates, degrees, certifications, and government-issued licenses. An occupational credential is a verification of an individuals qualification or competence issued by a third party with relevant authority. Job seekers often leverage such credentials as evidence that desired qualifications are satisfied by their holders. Many U.S. education and workf…
▽ More
The term credential encompasses educational certificates, degrees, certifications, and government-issued licenses. An occupational credential is a verification of an individuals qualification or competence issued by a third party with relevant authority. Job seekers often leverage such credentials as evidence that desired qualifications are satisfied by their holders. Many U.S. education and workforce development organizations have recognized the importance of credentials for employment and the challenges of understanding the value of credentials. In this study, we identified and ontologically defined credential and credential-related terms at the textual and semantic levels based on the Occupation Ontology (OccO), a BFO-based ontology. Different credential types and their authorization logic are modeled. We additionally defined a high-level hierarchy of credential related terms and relations among many terms, which were initiated in concert with the Alabama Talent Triad (ATT) program, which aims to connect learners, earners, employers and education/training providers through credentials and skills. To our knowledge, our research provides for the first time systematic ontological modeling of the important domain of credentials and related contents, supporting enhanced credential data and knowledge integration in the future.
△ Less
Submitted 30 April, 2024;
originally announced May 2024.
-
A University Framework for the Responsible use of Generative AI in Research
Authors:
Shannon Smith,
Melissa Tate,
Keri Freeman,
Anne Walsh,
Brian Ballsun-Stanton,
Mark Hooper,
Murray Lane
Abstract:
Generative Artificial Intelligence (generative AI) poses both opportunities and risks for the integrity of research. Universities must guide researchers in using generative AI responsibly, and in navigating a complex regulatory landscape subject to rapid change. By drawing on the experiences of two Australian universities, we propose a framework to help institutions promote and facilitate the resp…
▽ More
Generative Artificial Intelligence (generative AI) poses both opportunities and risks for the integrity of research. Universities must guide researchers in using generative AI responsibly, and in navigating a complex regulatory landscape subject to rapid change. By drawing on the experiences of two Australian universities, we propose a framework to help institutions promote and facilitate the responsible use of generative AI. We provide guidance to help distil the diverse regulatory environment into a principles-based position statement. Further, we explain how a position statement can then serve as a foundation for initiatives in training, communications, infrastructure, and process change. Despite the growing body of literature about AI's impact on academic integrity for undergraduate students, there has been comparatively little attention on the impacts of generative AI for research integrity, and the vital role of institutions in helping to address those challenges. This paper underscores the urgency for research institutions to take action in this area and suggests a practical and adaptable framework for so doing.
△ Less
Submitted 30 April, 2024;
originally announced April 2024.
-
DNA Calorimetric Force Spectroscopy at Single Base Pair Resolution
Authors:
Paolo Rissone,
Marc Rico-Pasto,
Steve Smith,
Felix Ritort
Abstract:
DNA hybridization is a fundamental reaction with wide-ranging applications in biotechnology. The nearest-neighbor (NN) model provides the most reliable description of the energetics of duplex formation. Most DNA thermodynamics studies have been done in melting experiments in bulk, of limited resolution due to ensemble averaging. In contrast, single-molecule methods have reached the maturity to der…
▽ More
DNA hybridization is a fundamental reaction with wide-ranging applications in biotechnology. The nearest-neighbor (NN) model provides the most reliable description of the energetics of duplex formation. Most DNA thermodynamics studies have been done in melting experiments in bulk, of limited resolution due to ensemble averaging. In contrast, single-molecule methods have reached the maturity to derive DNA thermodynamics with unprecedented accuracy. We combine single-DNA mechanical unzipping experiments using a temperature jump optical trap with machine learning methods and derive the temperature-dependent DNA energy parameters of the NN model. In particular, we measure the previously unknown ten heat-capacity change parameters $ΔC_p$, relevant for thermodynamical predictions throughout the DNA stability range. Calorimetric force spectroscopy establishes a groundbreaking methodology to accurately study nucleic acids, from chemically modified DNA to RNA and DNA/RNA hybrid structures.
△ Less
Submitted 29 April, 2024;
originally announced April 2024.
-
Adaptive Memory Replay for Continual Learning
Authors:
James Seale Smith,
Lazar Valkov,
Shaunak Halbe,
Vyshnavi Gutta,
Rogerio Feris,
Zsolt Kira,
Leonid Karlinsky
Abstract:
Foundation Models (FMs) have become the hallmark of modern AI, however, these models are trained on massive data, leading to financially expensive training. Updating FMs as new data becomes available is important, however, can lead to `catastrophic forgetting', where models underperform on tasks related to data sub-populations observed too long ago. This continual learning (CL) phenomenon has been…
▽ More
Foundation Models (FMs) have become the hallmark of modern AI, however, these models are trained on massive data, leading to financially expensive training. Updating FMs as new data becomes available is important, however, can lead to `catastrophic forgetting', where models underperform on tasks related to data sub-populations observed too long ago. This continual learning (CL) phenomenon has been extensively studied, but primarily in a setting where only a small amount of past data can be stored. We advocate for the paradigm where memory is abundant, allowing us to keep all previous data, but computational resources are limited. In this setting, traditional replay-based CL approaches are outperformed by a simple baseline which replays past data selected uniformly at random, indicating that this setting necessitates a new approach. We address this by introducing a framework of adaptive memory replay for continual learning, where sampling of past data is phrased as a multi-armed bandit problem. We utilize Bolzmann sampling to derive a method which dynamically selects past data for training conditioned on the current task, assuming full data access and emphasizing training efficiency. Through extensive evaluations on both vision and language pre-training tasks, we demonstrate the effectiveness of our approach, which maintains high performance while reducing forgetting by up to 10% at no training efficiency cost.
△ Less
Submitted 18 April, 2024;
originally announced April 2024.
-
Finding $d$-Cuts in Graphs of Bounded Diameter, Graphs of Bounded Radius and $H$-Free Graphs
Authors:
Felicia Lucke,
Ali Momeni,
Daniël Paulusma,
Siani Smith
Abstract:
The $d$-Cut problem is to decide if a graph has an edge cut such that each vertex has at most $d$ neighbours at the opposite side of the cut. If $d=1$, we obtain the intensively studied Matching Cut problem. The $d$-Cut problem has been studied as well, but a systematic study for special graph classes was lacking. We initiate such a study and consider classes of bounded diameter, bounded radius an…
▽ More
The $d$-Cut problem is to decide if a graph has an edge cut such that each vertex has at most $d$ neighbours at the opposite side of the cut. If $d=1$, we obtain the intensively studied Matching Cut problem. The $d$-Cut problem has been studied as well, but a systematic study for special graph classes was lacking. We initiate such a study and consider classes of bounded diameter, bounded radius and $H$-free graphs. We prove that for all $d\geq 2$, $d$-Cut is polynomial-time solvable for graphs of diameter $2$, $(P_3+P_4)$-free graphs and $P_5$-free graphs. These results extend known results for $d=1$. However, we also prove several NP-hardness results for $d$-Cut that contrast known polynomial-time results for $d=1$. Our results lead to full dichotomies for bounded diameter and bounded radius and to almost-complete dichotomies for $H$-free graphs.
△ Less
Submitted 17 April, 2024;
originally announced April 2024.
-
Characterisation of the TOI-421 planetary system using CHEOPS, TESS, and archival radial velocity data
Authors:
A. F. Krenn,
D. Kubyshkina,
L. Fossati,
J. A. Egger,
A. Bonfanti,
A. Deline,
D. Ehrenreich,
M. Beck,
W. Benz,
J. Cabrera,
T. G. Wilson,
A. Leleu,
S. G. Sousa,
V. Adibekyan,
A. C. M. Correira,
Y. Alibert,
L. Delrez,
M. Lendl,
J. A. Patel,
J. Venturini,
R. Alonso,
G. Anglada,
J. Asquier,
T. Bárczy,
D. Barrado Navascues
, et al. (66 additional authors not shown)
Abstract:
The TOI-421 planetary system contains two sub-Neptune-type planets and is a prime target to study the formation and evolution of planets and their atmospheres. The inner planet is especially interesting as the existence of a hydrogen-dominated atmosphere at its orbital separation cannot be explained by current formation models without previous orbital migration. We jointly analysed photometric dat…
▽ More
The TOI-421 planetary system contains two sub-Neptune-type planets and is a prime target to study the formation and evolution of planets and their atmospheres. The inner planet is especially interesting as the existence of a hydrogen-dominated atmosphere at its orbital separation cannot be explained by current formation models without previous orbital migration. We jointly analysed photometric data of three TESS sectors and six CHEOPS visits as well as 156 radial velocity data points to retrieve improved planetary parameters. We also searched for TTVs and modelled the interior structure of the planets. Finally, we simulated the evolution of the primordial H-He atmospheres of the planets using two different modelling frameworks. We determine the planetary radii and masses of TOI-421 b and c to be $R_{\rm b} = 2.64 \pm 0.08 \, R_{\oplus}$, $M_{\rm b} = 6.7 \pm 0.6 \, M_{\oplus}$, $R_{\rm c} = 5.09 \pm 0.07 \, R_{\oplus}$, and $M_{\rm c} = 14.1 \pm 1.4 \, M_{\oplus}$. We do not detect any statistically significant TTV signals. Assuming the presence of a hydrogen-dominated atmosphere, the interior structure modelling results in both planets having extensive envelopes. While the modelling of the atmospheric evolution predicts for TOI-421 b to have lost any primordial atmosphere that it could have accreted at its current orbital position, TOI-421 c could have started out with an initial atmospheric mass fraction somewhere between 10 and 35%. We conclude that the low observed mean density of TOI-421 b can only be explained by either a bias in the measured planetary parameters (e.g. driven by high-altitude clouds) and/or in the context of orbital migration. We also find that the results of atmospheric evolution models are strongly dependent on the employed planetary structure model.
△ Less
Submitted 17 April, 2024;
originally announced April 2024.
-
NTIRE 2024 Challenge on Image Super-Resolution ($\times$4): Methods and Results
Authors:
Zheng Chen,
Zongwei Wu,
Eduard Zamfir,
Kai Zhang,
Yulun Zhang,
Radu Timofte,
Xiaokang Yang,
Hongyuan Yu,
Cheng Wan,
Yuxin Hong,
Zhijuan Huang,
Yajun Zou,
Yuan Huang,
Jiamin Lin,
Bingnan Han,
Xianyu Guan,
Yongsheng Yu,
Daoan Zhang,
Xuanwu Yin,
Kunlong Zuo,
Jinhua Hao,
Kai Zhao,
Kun Yuan,
Ming Sun,
Chao Zhou
, et al. (63 additional authors not shown)
Abstract:
This paper reviews the NTIRE 2024 challenge on image super-resolution ($\times$4), highlighting the solutions proposed and the outcomes obtained. The challenge involves generating corresponding high-resolution (HR) images, magnified by a factor of four, from low-resolution (LR) inputs using prior information. The LR images originate from bicubic downsampling degradation. The aim of the challenge i…
▽ More
This paper reviews the NTIRE 2024 challenge on image super-resolution ($\times$4), highlighting the solutions proposed and the outcomes obtained. The challenge involves generating corresponding high-resolution (HR) images, magnified by a factor of four, from low-resolution (LR) inputs using prior information. The LR images originate from bicubic downsampling degradation. The aim of the challenge is to obtain designs/solutions with the most advanced SR performance, with no constraints on computational resources (e.g., model size and FLOPs) or training data. The track of this challenge assesses performance with the PSNR metric on the DIV2K testing dataset. The competition attracted 199 registrants, with 20 teams submitting valid entries. This collective endeavour not only pushes the boundaries of performance in single-image SR but also offers a comprehensive overview of current trends in this field.
△ Less
Submitted 15 April, 2024;
originally announced April 2024.
-
RecurrentGemma: Moving Past Transformers for Efficient Open Language Models
Authors:
Aleksandar Botev,
Soham De,
Samuel L Smith,
Anushan Fernando,
George-Cristian Muraru,
Ruba Haroun,
Leonard Berrada,
Razvan Pascanu,
Pier Giuseppe Sessa,
Robert Dadashi,
Léonard Hussenot,
Johan Ferret,
Sertan Girgin,
Olivier Bachem,
Alek Andreev,
Kathleen Kenealy,
Thomas Mesnard,
Cassidy Hardin,
Surya Bhupatiraju,
Shreya Pathak,
Laurent Sifre,
Morgane Rivière,
Mihir Sanjay Kale,
Juliette Love,
Pouya Tafti
, et al. (37 additional authors not shown)
Abstract:
We introduce RecurrentGemma, an open language model which uses Google's novel Griffin architecture. Griffin combines linear recurrences with local attention to achieve excellent performance on language. It has a fixed-sized state, which reduces memory use and enables efficient inference on long sequences. We provide a pre-trained model with 2B non-embedding parameters, and an instruction tuned var…
▽ More
We introduce RecurrentGemma, an open language model which uses Google's novel Griffin architecture. Griffin combines linear recurrences with local attention to achieve excellent performance on language. It has a fixed-sized state, which reduces memory use and enables efficient inference on long sequences. We provide a pre-trained model with 2B non-embedding parameters, and an instruction tuned variant. Both models achieve comparable performance to Gemma-2B despite being trained on fewer tokens.
△ Less
Submitted 11 April, 2024;
originally announced April 2024.
-
Estimating Visibility from Alternate Perspectives for Motion Planning with Occlusions
Authors:
Barry Gilhuly,
Armin Sadeghi,
Stephen L. Smith
Abstract:
Visibility is a crucial aspect of planning and control of autonomous vehicles (AV), particularly when navigating environments with occlusions. However, when an AV follows a trajectory with multiple occlusions, existing methods evaluate each occlusion individually, calculate a visibility cost for each, and rely on the planner to minimize the overall cost. This can result in conflicting priorities f…
▽ More
Visibility is a crucial aspect of planning and control of autonomous vehicles (AV), particularly when navigating environments with occlusions. However, when an AV follows a trajectory with multiple occlusions, existing methods evaluate each occlusion individually, calculate a visibility cost for each, and rely on the planner to minimize the overall cost. This can result in conflicting priorities for the planner, as individual occlusion costs may appear to be in opposition. We solve this problem by creating an alternate perspective cost map that allows for an aggregate view of the occlusions in the environment. The value of each cell on the cost map is a measure of the amount of visual information that the vehicle can gain about the environment by visiting that location. Our proposed method identifies observation locations and occlusion targets drawn from both map data and sensor data. We show how to estimate an alternate perspective for each observation location and then combine all estimates into a single alternate perspective cost map for motion planning.
△ Less
Submitted 11 April, 2024;
originally announced April 2024.
-
Low-symmetry polymorph of GaP upends bonding paradigms of metallic high-pressure III-V compounds
Authors:
Barbara Lavina,
Enrique Zanardi,
Andrés Mujica,
Hyunchae Cynn,
Yue Meng,
Vitali Prakapenka,
Jesse S. Smith
Abstract:
The pressure-induced polymorphism of binary octect compounds has long been considered a settled problem although the possible atomic disordering of some phases remains a puzzling observation. Taking GaP as a case study, we conclude, through x-ray microdiffraction and first-principles calculations, that its high-pressure phase II (previously reported as being disordered) adopts in fact an ordered b…
▽ More
The pressure-induced polymorphism of binary octect compounds has long been considered a settled problem although the possible atomic disordering of some phases remains a puzzling observation. Taking GaP as a case study, we conclude, through x-ray microdiffraction and first-principles calculations, that its high-pressure phase II (previously reported as being disordered) adopts in fact an ordered base-centered monoclinic structure previously unknown in this class of compounds. The formation of layered patterns with variable degrees of interlayer dimerization, as observed in GaP, marks a paradigm shift of our understanding of ordering in octect high-pressure phases which calls for a more extensive re-examination. A rich polymorphism with fine tuning of chemical and physical properties can be envisioned.
△ Less
Submitted 11 April, 2024;
originally announced April 2024.
-
Peak Time-Windowed Risk Estimation of Stochastic Processes
Authors:
Jared Miller,
Niklas Schmid,
Matteo Tacchi,
Didier Henrion,
Roy S. Smith
Abstract:
This paper develops a method to upper-bound extreme-values of time-windowed risks for stochastic processes. Examples of such risks include the maximum average or 90% quantile of the current along a transmission line in any 5-minute window. This work casts the time-windowed risk analysis problem as an infinite-dimensional linear program in occupation measures. In particular, we employ the coherent…
▽ More
This paper develops a method to upper-bound extreme-values of time-windowed risks for stochastic processes. Examples of such risks include the maximum average or 90% quantile of the current along a transmission line in any 5-minute window. This work casts the time-windowed risk analysis problem as an infinite-dimensional linear program in occupation measures. In particular, we employ the coherent risk measures of the mean and the expected shortfall (conditional value at risk) to define the maximal time-windowed risk along trajectories. The infinite-dimensional linear program must then be truncated into finite-dimensional optimization problems, such as by using the moment-sum of squares hierarchy of semidefinite programs. The infinite-dimensional linear program will have the same optimal value as the original nonconvex risk estimation task under compactness and regularity assumptions, and the sequence of semidefinite programs will converge to the true value under additional properties of algebraic characterization. The scheme is demonstrated for risk analysis of example stochastic processes.
△ Less
Submitted 11 April, 2024; v1 submitted 10 April, 2024;
originally announced April 2024.
-
NGTS-30 b/TOI-4862 b: An 1 Gyr old 98-day transiting warm Jupiter
Authors:
M. P. Battley,
K. A. Collins,
S. Ulmer-Moll,
S. N. Quinn,
M. Lendl,
S. Gill,
R. Brahm,
M. J. Hobson,
H. P. Osborn,
A. Deline,
J. P. Faria,
A. B. Claringbold,
H. Chakraborty,
K. G. Stassun,
C. Hellier,
D. R. Alves,
C. Ziegler,
D. R. Anderson,
I. Apergis,
D. J. Armstrong,
D. Bayliss,
Y. Beletsky,
A. Bieryla,
F. Bouchy,
M. R. Burleigh
, et al. (41 additional authors not shown)
Abstract:
Long-period transiting exoplanets bridge the gap between the bulk of transit- and Doppler-based exoplanet discoveries, providing key insights into the formation and evolution of planetary systems. The wider separation between these planets and their host stars results in the exoplanets typically experiencing less radiation from their host stars; hence, they should maintain more of their original a…
▽ More
Long-period transiting exoplanets bridge the gap between the bulk of transit- and Doppler-based exoplanet discoveries, providing key insights into the formation and evolution of planetary systems. The wider separation between these planets and their host stars results in the exoplanets typically experiencing less radiation from their host stars; hence, they should maintain more of their original atmospheres, which can be probed during transit via transmission spectroscopy. Although the known population of long-period transiting exoplanets is relatively sparse, surveys performed by the Transiting Exoplanet Survey Satellite (TESS) and the Next Generation Transit Survey (NGTS) are now discovering new exoplanets to fill in this crucial region of the exoplanetary parameter space. This study presents the detection and characterisation of NGTS-30 b/TOI-4862 b, a new long-period transiting exoplanet detected by following up on a single-transit candidate found in the TESS mission. Through monitoring using a combination of photometric instruments (TESS, NGTS, and EulerCam) and spectroscopic instruments (CORALIE, FEROS, HARPS, and PFS), NGTS-30 b/TOI-4862 b was found to be a long-period (P = 98.29838 day) Jupiter-sized (0.928 RJ; 0.960 MJ) planet transiting a 1.1 Gyr old G-type star. With a moderate eccentricity of 0.294, its equilibrium temperature could be expected to vary from 274 K to 500 K over the course of its orbit. Through interior modelling, NGTS-30 b/TOI-4862 b was found to have a heavy element mass fraction of 0.23 and a heavy element enrichment (Zp/Z_star) of 20, making it metal-enriched compared to its host star. NGTS-30 b/TOI-4862 b is one of the youngest well-characterised long-period exoplanets found to date and will therefore be important in the quest to understanding the formation and evolution of exoplanets across the full range of orbital separations and ages.
△ Less
Submitted 3 April, 2024;
originally announced April 2024.
-
Finite Sample Frequency Domain Identification
Authors:
Anastasios Tsiamis,
Mohamed Abdalmoaty,
Roy S. Smith,
John Lygeros
Abstract:
We study non-parametric frequency-domain system identification from a finite-sample perspective. We assume an open loop scenario where the excitation input is periodic and consider the Empirical Transfer Function Estimate (ETFE), where the goal is to estimate the frequency response at certain desired (evenly-spaced) frequencies, given input-output samples. We show that under sub-Gaussian colored n…
▽ More
We study non-parametric frequency-domain system identification from a finite-sample perspective. We assume an open loop scenario where the excitation input is periodic and consider the Empirical Transfer Function Estimate (ETFE), where the goal is to estimate the frequency response at certain desired (evenly-spaced) frequencies, given input-output samples. We show that under sub-Gaussian colored noise (in time-domain) and stability assumptions, the ETFE estimates are concentrated around the true values. The error rate is of the order of $\mathcal{O}((d_{\mathrm{u}}+\sqrt{d_{\mathrm{u}}d_{\mathrm{y}}})\sqrt{M/N_{\mathrm{tot}}})$, where $N_{\mathrm{tot}}$ is the total number of samples, $M$ is the number of desired frequencies, and $d_{\mathrm{u}},\,d_{\mathrm{y}}$ are the dimensions of the input and output signals respectively. This rate remains valid for general irrational transfer functions and does not require a finite order state-space representation. By tuning $M$, we obtain a $N_{\mathrm{tot}}^{-1/3}$ finite-sample rate for learning the frequency response over all frequencies in the $ \mathcal{H}_{\infty}$ norm. Our result draws upon an extension of the Hanson-Wright inequality to semi-infinite matrices. We study the finite-sample behavior of ETFE in simulations.
△ Less
Submitted 1 April, 2024;
originally announced April 2024.
-
The phase curve of the ultra-hot Jupiter WASP-167b as seen by TESS
Authors:
Sz. Kálmán,
A. Derekas,
Sz. Csizmadia,
A. Pál,
R. Szabó,
A. M. S. Smith,
K. Nagy,
V. Hegedűs,
T. Mitnyan,
L. Szigeti,
Gy. M. Szabó
Abstract:
Ultra-hot Jupiters (UHJs) orbiting pulsating A/F stars represent an important subset of the exoplanetary demographic, as they are excellent candidates for the study of exoplanetary atmospheres, as well as being astrophysical laboratories for the investigation of planet-to-star interactions. We analyse the \texttt{TESS} (Transiting Exoplanet Survey Satellite) light curve of the WASP-167 system, con…
▽ More
Ultra-hot Jupiters (UHJs) orbiting pulsating A/F stars represent an important subset of the exoplanetary demographic, as they are excellent candidates for the study of exoplanetary atmospheres, as well as being astrophysical laboratories for the investigation of planet-to-star interactions. We analyse the \texttt{TESS} (Transiting Exoplanet Survey Satellite) light curve of the WASP-167 system, consisting of an F1V star and a substellar companion on a $\sim 2.02$ day orbit. We model the combination of the ellipsoidal variability and the Doppler beaming to measure the mass of WASP-167b, and the reflection effect to obtain constraints on the geometric albedo, while placing a special emphasis on noise separation. We implement a basic model to determine the dayside ($T_{\rm Day}$), nightside ($T_{\rm Night}$) and intrinsic ($T_{\rm Internal}$) temperatures of WASP-167b and put a constraint on its Bond albedo. We confirm the transit parameters of the planet seen in the literature. We find that a resonant $\sim 2P^{-1}$ stellar signal (which may originate from planet-to-star interactions) interferes with the phase curve analysis. After considerate treatment of this signal, we find $M_p = 0.34 \pm 0.22$~$M_J$. We measure a dayside temperature of $2790 \pm 100$ K, classifying WASP-167b as an UHJ. We find a $2σ$ upper limit of $0.51$ on its Bond albedo, and determine the geometric albedo at $0.34 \pm 0.11$ ($1 σ$ uncertainty). With an occultation depth of $106.8 \pm 27.3$ ppm in the \texttt{TESS} passband, the UHJ WASP-167b will be an excellent target for atmospheric studies, especially those at thermal wavelength ranges, where the stellar pulsations are expected to be be less influential.
△ Less
Submitted 28 March, 2024;
originally announced March 2024.
-
Detailed cool star flare morphology with CHEOPS and TESS
Authors:
G. Bruno,
I. Pagano,
G. Scandariato,
H. -G. Florén,
A. Brandeker,
G. Olofsson,
P. F. L. Maxted,
A. Fortier,
S. G. Sousa,
S. Sulis,
V. Van Grootel,
Z. Garai,
A. Boldog,
L. Kriskovics,
M. Gy. Szabó,
D. Gandolfi,
Y. Alibert,
R. Alonso,
T. Bárczy,
D. Barrado Navascues,
S. C. C. Barros,
W. Baumjohann,
M. Beck,
T. Beck,
W. Benz
, et al. (57 additional authors not shown)
Abstract:
Context. White-light stellar flares are proxies for some of the most energetic types of flares, but their triggering mechanism is still poorly understood. As they are associated with strong X and UV emission, their study is particularly relevant to estimate the amount of high-energy irradiation onto the atmospheres of exoplanets, especially those in their stars' habitable zone. Aims. We used the h…
▽ More
Context. White-light stellar flares are proxies for some of the most energetic types of flares, but their triggering mechanism is still poorly understood. As they are associated with strong X and UV emission, their study is particularly relevant to estimate the amount of high-energy irradiation onto the atmospheres of exoplanets, especially those in their stars' habitable zone. Aims. We used the high-cadence, high-photometric capabilities of the CHEOPS and TESS space telescopes to study the detailed morphology of white-light flares occurring in a sample of 130 late-K and M stars, and compared our findings with results obtained at a lower cadence. We developed dedicated software for this purpose. Results. Multi-peak flares represent a significant percentage ($\gtrsim 30$\%) of the detected outburst events. Our findings suggest that high-impulse flares are more frequent than suspected from lower-cadence data, so that the most impactful flux levels that hit close-in exoplanets might be more time-limited than expected. We found significant differences in the duration distributions of single-peak and complex flare components, but not in their peak luminosity. A statistical analysis of the flare parameter distributions provides marginal support for their description with a log-normal instead of a power-law function, leaving the door open to several flare formation scenarios. We tentatively confirmed previous results about quasi-periodic pulsations in high-cadence photometry, report the possible detection of a pre-flare dip, and did not find hints of photometric variability due to an undetected flare background. Conclusions. The high-cadence study of stellar hosts might be crucial to evaluate the impact of their flares on close-in exoplanets, as their impulsive phase emission might otherwise be incorrectly estimated. Future telescopes such as PLATO and Ariel will help in this respect.
△ Less
Submitted 25 March, 2024;
originally announced March 2024.
-
The first cut is the cheapest: optimizing Athena/X-IFU-like TES detectors resolution by filter truncation
Authors:
M. Teresa Ceballos,
Nicolás Cardiel,
Beatriz Cobo,
Stephen J. Smith,
Michael C. Witthoeft,
Philippe Peille,
Malcolm S. Durkin
Abstract:
The X-ray Integral Field Unit (X-IFU) instrument on the future ESA mission Athena X-ray Observatory is a cryogenic micro-calorimeter array of Transition Edge Sensor (TES) detectors designed to provide spatially-resolved high-resolution spectroscopy. The onboard reconstruction software provides energy, spatial location and arrival time of incoming X-ray photons hitting the detector. A new processin…
▽ More
The X-ray Integral Field Unit (X-IFU) instrument on the future ESA mission Athena X-ray Observatory is a cryogenic micro-calorimeter array of Transition Edge Sensor (TES) detectors designed to provide spatially-resolved high-resolution spectroscopy. The onboard reconstruction software provides energy, spatial location and arrival time of incoming X-ray photons hitting the detector. A new processing algorithm based on a truncation of the classical optimal filter and called 0-padding, has been recently proposed aiming to reduce the computational cost without compromising energy resolution. Initial tests with simple synthetic data displayed promising results. This study explores the slightly better performance of the 0-padding filter and assess its final application to real data. The goal is to examine the larger sensitivity to instrumental conditions that was previously observed during the analysis of the simulations. This 0-padding technique is thoroughly tested using more realistic simulations and real data acquired from NASA and NIST laboratories employing X-IFU-like TES detectors. Different fitting methods are applied to the data, and a comparative analysis is performed to assess the energy resolution values obtained from these fittings. The 0-padding filter achieves energy resolutions as good as those obtained with standard filters, even with those of larger lengths, across different line complexes and instrumental conditions. This method proves to be useful for energy reconstruction of X-ray photons detected by the TES detectors provided proper corrections for baseline drift and jitter effects are applied. The finding is highly promising especially for onboard processing, offering efficiency in computational resources and facilitating the analysis of sources with higher count rates at high resolution.
△ Less
Submitted 25 March, 2024;
originally announced March 2024.
-
Precise characterisation of HD 15337 with CHEOPS: a laboratory for planet formation and evolution
Authors:
N. M. Rosário,
O. D. S. Demangeon,
S. C. C. Barros,
D. Gandolfi,
J. A. Egger,
L. M. Serrano,
H. P. Osborn,
M. Beck,
W. Benz,
H. -G. Florén,
P. Guterman,
T. G. Wilson,
Y. Alibert,
L. Fossati,
M. J. Hooton,
L. Delrez,
N. C. Santos,
S. G. Sousa,
A. Bonfanti,
S. Salmon,
V. Adibekyan,
A. Nigioni,
J. Venturini,
R. Alonso,
G. Anglada
, et al. (68 additional authors not shown)
Abstract:
We aim to constrain the internal structure and composition of HD 15337 b and c, two short-period planets situated on opposite sides of the radius valley, using new transit photometry and radial velocity data. We acquire 6 new transit visits with the CHaracterising ExOPlanet Satellite (CHEOPS) and 32 new radial velocity measurements from the High Accuracy Radial Velocity Planet Searcher (HARPS) to…
▽ More
We aim to constrain the internal structure and composition of HD 15337 b and c, two short-period planets situated on opposite sides of the radius valley, using new transit photometry and radial velocity data. We acquire 6 new transit visits with the CHaracterising ExOPlanet Satellite (CHEOPS) and 32 new radial velocity measurements from the High Accuracy Radial Velocity Planet Searcher (HARPS) to improve the accuracy of the mass and radius estimates for both planets. We reanalyse light curves from TESS sectors 3 and 4 and analyse new data from sector 30, correcting for long-term stellar activity. Subsequently, we perform a joint fit of the TESS and CHEOPS light curves, and all available RV data from HARPS and the Planet Finder Spectrograph (PFS). Our model fits the planetary signals, the stellar activity signal and the instrumental decorrelation model for the CHEOPS data simultaneously. The stellar activity was modelled using a Gaussian-process regression on both the RV and activity indicators. We finally employ a Bayesian retrieval code to determine the internal composition and structure of the planets. We derive updated and highly precise parameters for the HD 15337 system. Our improved precision on the planetary parameters makes HD 15337 b one of the most precisely characterised rocky exoplanets, with radius and mass measurements achieving a precision better than 2\% and 7\%, respectively. We are able to improve the precision of the radius measurement of HD 15337 c to 3\%. Our results imply that the composition of HD 15337 b is predominantly rocky, while HD 15337 c exhibits a gas envelope with a mass of at least $0.01\ M_\oplus$.Our results lay the groundwork for future studies, which can further unravel the atmospheric evolution of these exoplanets and give new insights into their composition and formation history and the causes behind the radius gap.
△ Less
Submitted 25 March, 2024;
originally announced March 2024.
-
Small Noise Analysis of Non-Parametric Closed-Loop Identification
Authors:
Mohamed Abdalmoaty,
Roy S. Smith
Abstract:
We revisit the problem of non-parametric closed-loop identification in frequency domain; we give a brief survey of the literature and provide a small noise analysis of the direct, indirect, and joint input-output methods when two independent experiments with identical excitation are used. The analysis is asymptotic in the noise variance (i.e., as the standard deviation of the innovations $σ\to 0$)…
▽ More
We revisit the problem of non-parametric closed-loop identification in frequency domain; we give a brief survey of the literature and provide a small noise analysis of the direct, indirect, and joint input-output methods when two independent experiments with identical excitation are used. The analysis is asymptotic in the noise variance (i.e., as the standard deviation of the innovations $σ\to 0$), for a finite data record of length $N$. We highlight the relationship between the estimators accuracy and the loop shape via asymptotic variance expressions given in terms of the sensitivity function. The results are illustrated using a numerical simulation example.
△ Less
Submitted 23 March, 2024;
originally announced March 2024.
-
Optimal Data-Driven Prediction and Predictive Control using Signal Matrix Models
Authors:
Roy S. Smith,
Mohamed Abdalmoaty,
Mingzhou Yin
Abstract:
Data-driven control uses a past signal trajectory to characterise the input-output behaviour of a system. Willems' lemma provides a data-based prediction model allowing a control designer to bypass the step of identifying a state-space or transfer function model. This paper provides a more parsimonious formulation of Willems' lemma that separates the model into initial condition matching and predi…
▽ More
Data-driven control uses a past signal trajectory to characterise the input-output behaviour of a system. Willems' lemma provides a data-based prediction model allowing a control designer to bypass the step of identifying a state-space or transfer function model. This paper provides a more parsimonious formulation of Willems' lemma that separates the model into initial condition matching and predictive control design parts. This avoids the need for regularisers in the predictive control problem that are found in other data-driven predictive control methods. It also gives a closed form expression for the optimal (minimum variance) unbiased predictor of the future output trajectory and applies it for predictive control. Simulation comparisons illustrate very good control performance.
△ Less
Submitted 22 March, 2024;
originally announced March 2024.
-
Gemma: Open Models Based on Gemini Research and Technology
Authors:
Gemma Team,
Thomas Mesnard,
Cassidy Hardin,
Robert Dadashi,
Surya Bhupatiraju,
Shreya Pathak,
Laurent Sifre,
Morgane Rivière,
Mihir Sanjay Kale,
Juliette Love,
Pouya Tafti,
Léonard Hussenot,
Pier Giuseppe Sessa,
Aakanksha Chowdhery,
Adam Roberts,
Aditya Barua,
Alex Botev,
Alex Castro-Ros,
Ambrose Slone,
Amélie Héliou,
Andrea Tacchetti,
Anna Bulanova,
Antonia Paterson,
Beth Tsai,
Bobak Shahriari
, et al. (83 additional authors not shown)
Abstract:
This work introduces Gemma, a family of lightweight, state-of-the art open models built from the research and technology used to create Gemini models. Gemma models demonstrate strong performance across academic benchmarks for language understanding, reasoning, and safety. We release two sizes of models (2 billion and 7 billion parameters), and provide both pretrained and fine-tuned checkpoints. Ge…
▽ More
This work introduces Gemma, a family of lightweight, state-of-the art open models built from the research and technology used to create Gemini models. Gemma models demonstrate strong performance across academic benchmarks for language understanding, reasoning, and safety. We release two sizes of models (2 billion and 7 billion parameters), and provide both pretrained and fine-tuned checkpoints. Gemma outperforms similarly sized open models on 11 out of 18 text-based tasks, and we present comprehensive evaluations of safety and responsibility aspects of the models, alongside a detailed description of model development. We believe the responsible release of LLMs is critical for improving the safety of frontier models, and for enabling the next wave of LLM innovations.
△ Less
Submitted 16 April, 2024; v1 submitted 13 March, 2024;
originally announced March 2024.
-
Online Identification of Stochastic Continuous-Time Wiener Models Using Sampled Data
Authors:
Mohamed Abdalmoaty,
Efe C. Balta,
John Lygeros,
Roy S. Smith
Abstract:
It is well known that ignoring the presence of stochastic disturbances in the identification of stochastic Wiener models leads to asymptotically biased estimators. On the other hand, optimal statistical identification, via likelihood-based methods, is sensitive to the assumptions on the data distribution and is usually based on relatively complex sequential Monte Carlo algorithms. We develop a sim…
▽ More
It is well known that ignoring the presence of stochastic disturbances in the identification of stochastic Wiener models leads to asymptotically biased estimators. On the other hand, optimal statistical identification, via likelihood-based methods, is sensitive to the assumptions on the data distribution and is usually based on relatively complex sequential Monte Carlo algorithms. We develop a simple recursive online estimation algorithm based on an output-error predictor, for the identification of continuous-time stochastic parametric Wiener models through stochastic approximation. The method is applicable to generic model parameterizations and, as demonstrated in the numerical simulation examples, it is robust with respect to the assumptions on the spectrum of the disturbance process.
△ Less
Submitted 9 March, 2024;
originally announced March 2024.
-
System performance of a TDM test-bed with long flex harness towards the new X-IFU FPA-DM
Authors:
D. Vaccaro,
M. de Wit,
J. van der Kuur,
L. Gottardi,
K. Ravensberg,
E. Taralli,
J. Adams,
S. R. Bandler,
J. A. Chervenak,
W. B. Doriese,
M. Durkin,
C. Reintsema,
K. Sakai,
S. J. Smith,
N. A. Wakeham,
B. Jackson,
P. Khosropanah,
J. R. Gao,
J. W. A. den Herder,
P. Roelfsema
Abstract:
SRON (Netherlands Institute for Space Research) is developing the Focal Plane Assembly (FPA) for Athena X-IFU, whose Demonstration Model (DM) will use for the first time a time domain multiplexing (TDM)-based readout system for the on-board transition-edge sensors (TES). We report on the characterization activities on a TDM setup provided by NASA Goddard Space Flight Center (GSFC) and National Ins…
▽ More
SRON (Netherlands Institute for Space Research) is developing the Focal Plane Assembly (FPA) for Athena X-IFU, whose Demonstration Model (DM) will use for the first time a time domain multiplexing (TDM)-based readout system for the on-board transition-edge sensors (TES). We report on the characterization activities on a TDM setup provided by NASA Goddard Space Flight Center (GSFC) and National Institute for Standards and Technology (NIST) and tested in SRON cryogenic test facilities. The goal of these activities is to study the impact of the longer harness, closer to X-IFU specs, in a different EMI environment and switching from a single-ended to a differential readout scheme. In this contribution we describe the advancement in the debugging of the system in the SRON cryostat, which led to the demonstration of the nominal spectral performance of 2.8 eV at 5.9~keV with 16-row multiplexing, as well as an outlook for the future endeavours for the TDM readout integration on X-IFU's FPA-DM at SRON.
△ Less
Submitted 5 March, 2024;
originally announced March 2024.
-
The variability patterns of the TeV blazar PG 1553+113 from a decade of MAGIC and multi-band observations
Authors:
MAGIC Collaboration,
H. Abe,
S. Abe,
J. Abhir,
V. A. Acciari,
I. Agudo,
T. Aniello,
S. Ansoldi,
L. A. Antonelli,
A. Arbet Engels,
C. Arcaro,
M. Artero,
K. Asano,
D. Baack,
A. Babić,
A. Baquero,
U. Barres de Almeida,
I. Batković,
J. Baxter,
J. Becerra González,
E. Bernardini,
J. Bernete,
A. Berti,
J. Besenrieder,
C. Bigongiari
, et al. (242 additional authors not shown)
Abstract:
PG 1553+113 is one of the few blazars with a convincing quasi-periodic emission in the gamma-ray band. The source is also a very high-energy (VHE; >100 GeV) gamma-ray emitter. To better understand its properties and identify the underlying physical processes driving its variability, the MAGIC Collaboration initiated a multiyear, multiwavelength monitoring campaign in 2015 involving the OVRO 40-m a…
▽ More
PG 1553+113 is one of the few blazars with a convincing quasi-periodic emission in the gamma-ray band. The source is also a very high-energy (VHE; >100 GeV) gamma-ray emitter. To better understand its properties and identify the underlying physical processes driving its variability, the MAGIC Collaboration initiated a multiyear, multiwavelength monitoring campaign in 2015 involving the OVRO 40-m and Medicina radio telescopes, REM, KVA, and the MAGIC telescopes, Swift and Fermi satellites, and the WEBT network. The analysis presented in this paper uses data until 2017 and focuses on the characterization of the variability. The gamma-ray data show a (hint of a) periodic signal compatible with literature, but the X-ray and VHE gamma-ray data do not show statistical evidence for a periodic signal. In other bands, the data are compatible with the gamma-ray period, but with a relatively high p-value. The complex connection between the low and high-energy emission and the non-monochromatic modulation and changes in flux suggests that a simple one-zone model is unable to explain all the variability. Instead, a model including a periodic component along with multiple emission zones is required.
△ Less
Submitted 4 March, 2024;
originally announced March 2024.
-
Graph Homomorphism, Monotone Classes and Bounded Pathwidth
Authors:
Tala Eagling-Vose,
Barnaby Martin,
Daniel Paulusma,
Mark Siggers,
Siani Smith
Abstract:
A recent paper describes a framework for studying the computational complexity of graph problems on monotone classes, that is those omitting a set of graphs as a subgraph. If the problems lie in the framework, and many do, then the computational complexity can be described for all monotone classes defined by a finite set of omitted subgraphs. It is known that certain homomorphism problems, e.g.…
▽ More
A recent paper describes a framework for studying the computational complexity of graph problems on monotone classes, that is those omitting a set of graphs as a subgraph. If the problems lie in the framework, and many do, then the computational complexity can be described for all monotone classes defined by a finite set of omitted subgraphs. It is known that certain homomorphism problems, e.g. $C_5$-Colouring, do not sit in the framework. By contrast, we show that the more general problem of Graph Homomorphism does sit in the framework.
The original framework had examples where hard versus easy were NP-complete versus P, or at least quadratic versus almost linear. We give the first example of a problem in the framework such that hardness is in the polynomial hierarchy above NP. Considering a variant of the colouring game as studied by Bodlaender, we show that with the restriction of bounded alternation, the list version of this problem is contained in the framework. The hard cases are $Π_{2k}^\mathrm{P}$-complete and the easy cases are in P.
The cases in P comprise those classes for which the pathwidth is bounded. Bodlaender explains that Sequential $3$-Colouring Construction Game is in P on classes with bounded vertex separation number, which coincides with bounded pathwidth on unordered graphs. However, these graphs are ordered with a playing order for the two players, which corresponds to a prefix pattern in a quantified formula. We prove that Sequential $3$-Colouring Construction Game is Pspace-complete on some class of bounded pathwidth, using a celebrated result of Atserias and Oliva.
We consider several locally constrained variants of the homomorphism problem. Like $C_5$-Colouring, none of these is in the framework. However, when we consider the bounded-degree restrictions, we prove that each of these problems is in our framework.
△ Less
Submitted 1 March, 2024;
originally announced March 2024.
-
Griffin: Mixing Gated Linear Recurrences with Local Attention for Efficient Language Models
Authors:
Soham De,
Samuel L. Smith,
Anushan Fernando,
Aleksandar Botev,
George Cristian-Muraru,
Albert Gu,
Ruba Haroun,
Leonard Berrada,
Yutian Chen,
Srivatsan Srinivasan,
Guillaume Desjardins,
Arnaud Doucet,
David Budden,
Yee Whye Teh,
Razvan Pascanu,
Nando De Freitas,
Caglar Gulcehre
Abstract:
Recurrent neural networks (RNNs) have fast inference and scale efficiently on long sequences, but they are difficult to train and hard to scale. We propose Hawk, an RNN with gated linear recurrences, and Griffin, a hybrid model that mixes gated linear recurrences with local attention. Hawk exceeds the reported performance of Mamba on downstream tasks, while Griffin matches the performance of Llama…
▽ More
Recurrent neural networks (RNNs) have fast inference and scale efficiently on long sequences, but they are difficult to train and hard to scale. We propose Hawk, an RNN with gated linear recurrences, and Griffin, a hybrid model that mixes gated linear recurrences with local attention. Hawk exceeds the reported performance of Mamba on downstream tasks, while Griffin matches the performance of Llama-2 despite being trained on over 6 times fewer tokens. We also show that Griffin can extrapolate on sequences significantly longer than those seen during training. Our models match the hardware efficiency of Transformers during training, and during inference they have lower latency and significantly higher throughput. We scale Griffin up to 14B parameters, and explain how to shard our models for efficient distributed training.
△ Less
Submitted 29 February, 2024;
originally announced February 2024.
-
Anomaly Detection in Offshore Wind Turbine Structures using Hierarchical Bayesian Modelling
Authors:
S. M. Smith,
A. J. Hughes,
T. A. Dardeno,
L. A. Bull,
N. Dervilis,
K. Worden
Abstract:
Population-based structural health monitoring (PBSHM), aims to share information between members of a population. An offshore wind (OW) farm could be considered as a population of nominally-identical wind-turbine structures. However, benign variations exist among members, such as geometry, sea-bed conditions and temperature differences. These factors could influence structural properties and there…
▽ More
Population-based structural health monitoring (PBSHM), aims to share information between members of a population. An offshore wind (OW) farm could be considered as a population of nominally-identical wind-turbine structures. However, benign variations exist among members, such as geometry, sea-bed conditions and temperature differences. These factors could influence structural properties and therefore the dynamic response, making it more difficult to detect structural problems via traditional SHM techniques. This paper explores the use of a hierarchical Bayesian model to infer expected soil stiffness distributions at both population and local levels, as a basis to perform anomaly detection, in the form of scour, for new and existing turbines. To do this, observations of natural frequency will be generated as though they are from a small population of wind turbines. Differences between individual observations will be introduced by postulating distributions over the soil stiffness and measurement noise, as well as reducing soil depth (to represent scour), in the case of anomaly detection.
△ Less
Submitted 29 February, 2024;
originally announced February 2024.
-
Evidence of apsidal motion and a possible co-moving companion star detected in the WASP-19 system
Authors:
L. M. Bernabò,
Sz. Csizmadia,
A. M. S. Smith,
H. Rauer,
A. Hatzes,
M. Esposito,
D. Gandolfi,
J. Cabrera
Abstract:
Love numbers measure the reaction of a celestial body to perturbing forces, such as the centrifugal force caused by rotation, or tidal forces resulting from the interaction with a companion body. These parameters are related to the interior density profile. The non-point mass nature of the host star and a planet orbiting around each other contributes to the periastron precession. The rate of this…
▽ More
Love numbers measure the reaction of a celestial body to perturbing forces, such as the centrifugal force caused by rotation, or tidal forces resulting from the interaction with a companion body. These parameters are related to the interior density profile. The non-point mass nature of the host star and a planet orbiting around each other contributes to the periastron precession. The rate of this precession is characterized mainly by the second-order Love number, which offers an opportunity to determine its value. We collected all available radial velocity (RV) data, along with the transit and occultation times from the previous investigations of the system. We supplemented the data set with 19 new RV data points of the host star WASP-19A obtained by HARPS. Here, we summarize the technique for modeling the RV observations and the photometric transit timing variations (TTVs) to determine the rate of periastron precession in this system for the first time. We excluded the presence of a second possible planet up to a period of ~4200 d and with a radial velocity amplitude bigger than ~1 m/s. We show that a constant period is not able to reproduce the observed radial velocities. We also investigated and excluded the possibility of tidal decay and long-term acceleration in the system. However, the inclusion of a small periastron precession term did indeed improve the quality of the fit. We measured the periastron precession rate to be 233 $^{+25}_{-35}$''/. By assuming synchronous rotation for the planet, it indicates a k2 Love number of 0.20 $^{+0.02}_{-0.03}$ for WASP-19Ab. The derived k2 value of the planet has the same order of magnitude as the estimated fluid Love number of other Jupiter-sized exoplanets (WASP-18Ab, WASP-103b, and WASP-121b). A low value of k2 indicates a higher concentration of mass toward the planetary nucleus.
△ Less
Submitted 20 February, 2024;
originally announced February 2024.