-
More Bang For Your Buck(et): Fast and Space-efficient Hardware-accelerated Coarse-granular Indexing on GPUs
Authors:
Justus Henneberg,
Felix Schuhknecht,
Rosina Kharal,
Trevor Brown
Abstract:
In recent work, we have shown that NVIDIA's raytracing cores on RTX video cards can be exploited to realize hardware-accelerated lookups for GPU-resident database indexes. On a high level, the concept materializes all keys as triangles in a 3D scene and indexes them. Lookups are performed by firing rays into the scene and utilizing the index structure to detect hits in a hardware-accelerated fashi…
▽ More
In recent work, we have shown that NVIDIA's raytracing cores on RTX video cards can be exploited to realize hardware-accelerated lookups for GPU-resident database indexes. On a high level, the concept materializes all keys as triangles in a 3D scene and indexes them. Lookups are performed by firing rays into the scene and utilizing the index structure to detect hits in a hardware-accelerated fashion. While this approach called RTIndeX (or short RX) is indeed promising, it currently suffers from three limitations: (1) significant memory overhead per key, (2) slow range-lookups, and (3) poor updateability. In this work, we show that all three problems can be tackled by a single design change: Generalizing RX to become a coarse-granular index cgRX. Instead of indexing individual keys, cgRX indexes buckets of keys which are post-filtered after retrieval. This drastically reduces the memory overhead, leads to the generation of a smaller and more efficient index structure, and enables fast range-lookups as well as updates. We will see that representing the buckets in the 3D space such that the lookup of a key is performed both correctly and efficiently requires the careful orchestration of firing rays in a specific sequence. Our experimental evaluation shows that cgRX offers the most bang for the buck(et) by providing a throughput in relation to the memory footprint that is 1.5-3x higher than for the comparable range-lookup supporting baselines. At the same time, cgRX improves the range-lookup performance over RX by up to 2x and offers practical updateability that is up to 5.5x faster than rebuilding from scratch.
△ Less
Submitted 6 June, 2024;
originally announced June 2024.
-
The impact of temporal hydrogen regulation on hydrogen exporters and their domestic energy transition
Authors:
Leon Schumm,
Hazem Abdel-Khalek,
Tom Brown,
Falko Ueckerdt,
Michael Sterner,
Davide Fioriti,
Max Parzen
Abstract:
As global demand for green hydrogen rises, potential hydrogen exporters move into the spotlight. However, the large-scale installation of on-grid hydrogen electrolysis for export can have profound impacts on domestic energy prices and energy-related emissions. Our investigation explores the interplay of hydrogen exports, domestic energy transition and temporal hydrogen regulation, employing a sect…
▽ More
As global demand for green hydrogen rises, potential hydrogen exporters move into the spotlight. However, the large-scale installation of on-grid hydrogen electrolysis for export can have profound impacts on domestic energy prices and energy-related emissions. Our investigation explores the interplay of hydrogen exports, domestic energy transition and temporal hydrogen regulation, employing a sector-coupled energy model in Morocco. We find substantial co-benets of domestic climate change mitigation and hydrogen exports, whereby exports can reduce domestic electricity prices while mitigation reduces hydrogen export prices. However, increasing hydrogen exports quickly in a system that is still dominated by fossil fuels can substantially raise domestic electricity prices, if green hydrogen production is not regulated. Surprisingly, temporal matching of hydrogen production lowers domestic electricity cost by up to 31% while the effect on exporters is minimal. This policy instrument can steer the welfare (re-)distribution between hydrogen exporting firms, hydrogen importers, and domestic electricity consumers and hereby increases acceptance among actors.
△ Less
Submitted 23 May, 2024;
originally announced May 2024.
-
Spatio-temporal load shifting for truly clean computing
Authors:
Iegor Riepin,
Tom Brown,
Victor Zavala
Abstract:
Companies with datacenters are procuring significant amounts of renewable energy to reduce their carbon footprint. There is increasing interest in achieving 24/7 Carbon-Free Energy (CFE) matching in electricity usage, aiming to eliminate all carbon footprints associated with electricity consumption on an hourly basis. However, the variability of renewable energy resources poses significant challen…
▽ More
Companies with datacenters are procuring significant amounts of renewable energy to reduce their carbon footprint. There is increasing interest in achieving 24/7 Carbon-Free Energy (CFE) matching in electricity usage, aiming to eliminate all carbon footprints associated with electricity consumption on an hourly basis. However, the variability of renewable energy resources poses significant challenges for achieving this goal. We explore the impact of shifting computing jobs and associated power loads both in time and between datacenter locations. We develop an optimization model to simulate a network of geographically distributed datacenters managed by a company leveraging spatio-temporal load flexibility to achieve 24/7 CFE matching. We isolate three signals relevant for informed use of load flexiblity: varying average quality of renewable energy resources, low correlation between wind power generation over long distances due to different weather conditions, and lags in solar radiation peak due to Earth's rotation. We illustrate that the location of datacenters and the time of year affect which signal drives an effective load-shaping strategy. The energy procurement and load-shifting decisions based on informed use of these signals facilitate the resource-efficiency and cost-effectiveness of clean computing -- the costs of 24/7 CFE are reduced by 1.29$\pm$0.07 EUR/MWh for every additional percentage of flexible load. We provide practical guidelines on how companies with datacenters can leverage spatio-temporal load flexibility for truly clean computing. Our results and the open-source optimization model can also be useful for a broader variety of companies with flexible loads and an interest in eliminating their carbon footprint.
△ Less
Submitted 26 March, 2024;
originally announced May 2024.
-
Quantum-Enhanced Neural Exchange-Correlation Functionals
Authors:
Igor O. Sokolov,
Gert-Jan Both,
Art D. Bochevarov,
Pavel A. Dub,
Daniel S. Levine,
Christopher T. Brown,
Shaheen Acheche,
Panagiotis Kl. Barkoutsos,
Vincent E. Elfving
Abstract:
Kohn-Sham Density Functional Theory (KS-DFT) provides the exact ground state energy and electron density of a molecule, contingent on the as-yet-unknown universal exchange-correlation (XC) functional. Recent research has demonstrated that neural networks can efficiently learn to represent approximations to that functional, offering accurate generalizations to molecules not present during the train…
▽ More
Kohn-Sham Density Functional Theory (KS-DFT) provides the exact ground state energy and electron density of a molecule, contingent on the as-yet-unknown universal exchange-correlation (XC) functional. Recent research has demonstrated that neural networks can efficiently learn to represent approximations to that functional, offering accurate generalizations to molecules not present during the training process. With the latest advancements in quantum-enhanced machine learning (ML), evidence is growing that Quantum Neural Network (QNN) models may offer advantages in ML applications. In this work, we explore the use of QNNs for representing XC functionals, enhancing and comparing them to classical ML techniques. We present QNNs based on differentiable quantum circuits (DQCs) as quantum (hybrid) models for XC in KS-DFT, implemented across various architectures. We assess their performance on 1D and 3D systems. To that end, we expand existing differentiable KS-DFT frameworks and propose strategies for efficient training of such functionals, highlighting the importance of fractional orbital occupation for accurate results. Our best QNN-based XC functional yields energy profiles of the H$_2$ and planar H$_4$ molecules that deviate by no more than 1 mHa from the reference DMRG and FCI/6-31G results, respectively. Moreover, they reach chemical precision on a system, H$_2$H$_2$, not present in the training dataset, using only a few variational parameters. This work lays the foundation for the integration of quantum models in KS-DFT, thereby opening new avenues for expressing XC functionals in a differentiable way and facilitating computations of various properties.
△ Less
Submitted 22 April, 2024;
originally announced April 2024.
-
MAUVE: A 6 kpc bipolar outflow launched from NGC 4383, one of the most HI-rich galaxies in the Virgo cluster
Authors:
Adam B. Watts,
Luca Cortese,
Barbara Catinella,
Amelia Fraser-McKelvie,
Eric Emsellem,
Lodovico Coccato,
Jesse van de Sande,
Toby H. Brown,
Yago Ascasibar,
Andrew Battisti,
Alessandro Boselli,
Timothy A. Davis,
Brent Groves,
Sabine Thater
Abstract:
Stellar feedback-driven outflows are important regulators of the gas-star formation cycle. However, resolving outflow physics requires high resolution observations that can only be achieved in very nearby galaxies, making suitable targets rare. We present the first results from the new VLT/MUSE large program MAUVE (MUSE and ALMA Unveiling the Virgo Environment), which aims to understand the gas-st…
▽ More
Stellar feedback-driven outflows are important regulators of the gas-star formation cycle. However, resolving outflow physics requires high resolution observations that can only be achieved in very nearby galaxies, making suitable targets rare. We present the first results from the new VLT/MUSE large program MAUVE (MUSE and ALMA Unveiling the Virgo Environment), which aims to understand the gas-star formation cycle within the context of the Virgo cluster environment. Outflows are a key part of this cycle, and we focus on the peculiar galaxy NGC 4383, which hosts a $\sim6\,$kpc bipolar outflow fuelled by one of Virgo's most HI-rich discs. The spectacular MUSE data reveal the clumpy structure and complex kinematics of the ionised gas in this M82-like outflow at 100 pc resolution. Using the ionised gas geometry and kinematics we constrain the opening half-angle to $θ=25-35^\circ$, while the average outflow velocity is $\sim210$ kms$^{-1}$. The emission line ratios reveal an ionisation structure where photoionisation is the dominant excitation process. The outflowing gas shows a marginally elevated gas-phase oxygen abundance compared to the disc but is lower than the central starburst, highlighting the contribution of mixing between the ejected and entrained gas. Making some assumptions about the outflow geometry, we estimate an integrated mass outflow-rate of $\sim1.8~$M$_\odot$yr$^{-1}$ and a corresponding mass-loading factor in the range 1.7-2.3. NGC 4383 is a useful addition to the few nearby examples of well-resolved outflows, and will provide a useful baseline for quantifying the role of outflows within the Virgo cluster.
△ Less
Submitted 18 April, 2024;
originally announced April 2024.
-
Offshore power and hydrogen networks for Europe's North Sea
Authors:
Philipp Glaum,
Fabian Neumann,
Tom Brown
Abstract:
The European North Sea has a vast renewable energy potential and can be a powerhouse for Europe's energy transition. However, currently there is uncertainty about how much offshore wind energy can be integrated, whether offshore grids should be meshed and to what extent offshore hydrogen should play a role. To address these questions, we use the open-source energy system optimization model PyPSA-E…
▽ More
The European North Sea has a vast renewable energy potential and can be a powerhouse for Europe's energy transition. However, currently there is uncertainty about how much offshore wind energy can be integrated, whether offshore grids should be meshed and to what extent offshore hydrogen should play a role. To address these questions, we use the open-source energy system optimization model PyPSA-Eur to model a European carbon-neutral sector-coupled energy system in high spatial and temporal resolution. We let the model endogenously decide how much offshore wind is deployed and which infrastructure is used to integrate the offshore wind. We find that with point-to-point connections like we have today, 310 GW offshore wind can be integrated in the North Sea. However, if we allow meshed networks and hydrogen, we find that this can be raised to 420 GW with cost savings up to 15 billion euros per year. Furthermore, we only observe significant amounts of up to 75 GW of floating wind turbines in the North Sea if we have offshore hydrogen production. Generally, the model opts for offshore wind integration through a mix of both electricity and hydrogen infrastructure. However, the bulk of the offshore energy is transported as hydrogen, which is twice as much as the amount transported as electricity. Moreover, we find that the offshore power network is mainly used for offshore wind integration, with only a small portion used for inter-country transmission.
△ Less
Submitted 15 April, 2024;
originally announced April 2024.
-
Energy Imports and Infrastructure in a Carbon-Neutral European Energy System
Authors:
Fabian Neumann,
Johannes Hampp,
Tom Brown
Abstract:
Importing renewable energy to Europe offers many potential benefits, including reduced energy costs, lower pressure on infrastructure development, and less land-use within Europe. However, there remain many open questions: on the achievable cost reductions, how much should be imported, whether the energy vector should be electricity, hydrogen or hydrogen derivatives like ammonia or steel, and thei…
▽ More
Importing renewable energy to Europe offers many potential benefits, including reduced energy costs, lower pressure on infrastructure development, and less land-use within Europe. However, there remain many open questions: on the achievable cost reductions, how much should be imported, whether the energy vector should be electricity, hydrogen or hydrogen derivatives like ammonia or steel, and their impact on Europe's domestic energy infrastructure needs. This study integrates the TRACE global energy supply chain model with the sector-coupled energy system model for Europe PyPSA-Eur to explore scenarios with varying import volumes, costs, and vectors. We find system cost reductions of 1-14%, depending on assumed import costs, with diminishing returns for larger import volumes and a preference for methanol, steel and hydrogen imports. Keeping some domestic power-to-X production is beneficial for integrating variable renewables, utilising waste heat from fuel synthesis and leveraging local sustainable carbon sources. Our findings highlight the need for coordinating import strategies with infrastructure policy and reveal maneuvering space for incorporating non-cost decision factors.
△ Less
Submitted 5 April, 2024;
originally announced April 2024.
-
On the Superiority of the University of Arizona's Physics Club
Authors:
E. Jesina,
M. Harrison,
H. Andras-Letanovszky,
D. Krug,
A. Golinkin,
B. Kohn,
T. Brown,
A. Rose,
P. Chiploonkar
Abstract:
We present an analysis on Physics Club's supremacy over the Astronomy Club at the University of Arizona. Through a thorough investigation of each club's history and content, and subsequent diligent calculations, we have proven without a doubt that the Physics Club is superior to Astronomy Club.
We present an analysis on Physics Club's supremacy over the Astronomy Club at the University of Arizona. Through a thorough investigation of each club's history and content, and subsequent diligent calculations, we have proven without a doubt that the Physics Club is superior to Astronomy Club.
△ Less
Submitted 1 April, 2024;
originally announced April 2024.
-
ARTEMIS emulator: exploring the effect of cosmology and galaxy formation physics on Milky Way-mass haloes and their satellites
Authors:
Shaun T. Brown,
Azadeh Fattahi,
Ian G. McCarthy,
Andreea S. Font,
Kyle A. Oman,
Alexander H. Riley
Abstract:
We present the new ARTEMIS emulator suite of high resolution (baryon mass of $2.23 \times 10^{4}$ $h^{-1}$M$_{\odot}$) zoom-in simulations of Milky Way mass systems. Here, three haloes from the original ARTEMIS sample have been rerun multiple times, systematically varying parameters for the stellar feedback model, the density threshold for star formation, the reionisation redshift and the assumed…
▽ More
We present the new ARTEMIS emulator suite of high resolution (baryon mass of $2.23 \times 10^{4}$ $h^{-1}$M$_{\odot}$) zoom-in simulations of Milky Way mass systems. Here, three haloes from the original ARTEMIS sample have been rerun multiple times, systematically varying parameters for the stellar feedback model, the density threshold for star formation, the reionisation redshift and the assumed warm dark matter (WDM) particle mass (assuming a thermal relic). From these simulations emulators are trained for a wide range of statistics that allow for fast predictions at combinations of parameters not originally sampled, running in $\sim 1$ms (a factor of $\sim 10^{11}$ faster than the simulations). In this paper we explore the dependence of the central haloes' stellar mass on the varied parameters, finding the stellar feedback parameters to be the most important. When constraining the parameters to match the present-day stellar mass halo mass relation inferred from abundance matching we find that there is a strong degeneracy in the stellar feedback parameters, corresponding to a freedom in formation time of the stellar component for a fixed halo assembly history. We additionally explore the dependence of the satellite stellar mass function, where it is found that variations in stellar feedback, the reionisation redshift and the WDM mass all have a significant effect. The presented emulators are a powerful tool which allows for fundamentally new ways of analysing and interpreting cosmological hydrodynamic simulations. Crucially, allowing their free (subgrid) parameters to be varied and marginalised, leading to more robust constraints and predictions.
△ Less
Submitted 18 March, 2024;
originally announced March 2024.
-
Hidden Amplitude Zeros From Double Copy
Authors:
Christoph Bartsch,
Taro V. Brown,
Karol Kampf,
Umut Oktem,
Shruti Paranjape,
Jaroslav Trnka
Abstract:
Recently, Arkani-Hamed et al. proposed the existence of zeros in scattering amplitudes in certain quantum field theories including the cubic adjoint scalar theory Tr($φ^3$), the $SU(N)$ non-linear sigma model (NLSM) and Yang-Mills (YM) theory. These hidden zeros are special kinematic points where the amplitude vanishes and factorizes into a product of lower-point amplitudes, similar to factorizati…
▽ More
Recently, Arkani-Hamed et al. proposed the existence of zeros in scattering amplitudes in certain quantum field theories including the cubic adjoint scalar theory Tr($φ^3$), the $SU(N)$ non-linear sigma model (NLSM) and Yang-Mills (YM) theory. These hidden zeros are special kinematic points where the amplitude vanishes and factorizes into a product of lower-point amplitudes, similar to factorization near poles. In this letter, we show a close connection between the existence of such zeros and color-kinematics duality. In fact, all zeros can be derived from the Bern-Carrasco-Johansson (BCJ) relations. We also show that these zeros extend via the Kawai-Lewellen-Tye (KLT) relations to special Galileon amplitudes and their corrections, evincing that these hidden zeros are also present in permutation-invariant amplitudes.
△ Less
Submitted 15 March, 2024;
originally announced March 2024.
-
On the means, costs, and system-level impacts of 24/7 carbon-free energy procurement
Authors:
Iegor Riepin,
Tom Brown
Abstract:
A growing number of public and private energy buyers are interested in 24/7 carbon-free energy (CFE) procurement, which means that every kilowatt-hour of electricity consumption is met by carbon-free sources at all times. It has the potential to overcome the limitations of established procurement schemes, such as the temporal mismatch between clean electricity supply and buyers' demand that is inh…
▽ More
A growing number of public and private energy buyers are interested in 24/7 carbon-free energy (CFE) procurement, which means that every kilowatt-hour of electricity consumption is met by carbon-free sources at all times. It has the potential to overcome the limitations of established procurement schemes, such as the temporal mismatch between clean electricity supply and buyers' demand that is inherent to "volumetric" matching. Yet it is unclear how 24/7 CFE procurement affects the rest of the power system, and whether this effect is consistent across regional contexts and different levels of system cleanness. We use a mathematical model to systematically examine different designs, optimal procurement strategies, costs, and impacts of the 24/7 CFE matching, both for participating buyers and for regions where voluntary procurement occurs. We examine mechanisms driving system-level missions reduction and how they vary across regions and over time. Our results indicate that clean energy procurement commitments have consistent beneficial effects on participants and the electricity system. Even as grids become cleaner over time, the hourly matching strategy contributes significantly to system-level emissions reduction. In addition, voluntary commitments to 24/7 CFE have a further transformative effect on electricity systems through accelerated innovation and early deployment of advanced energy technologies.
△ Less
Submitted 6 December, 2023;
originally announced March 2024.
-
H$_2$ and CO$_2$ Network Strategies for the European Energy System
Authors:
Fabian Hofmann,
Christoph Tries,
Fabian Neumann,
Elisabeth Zeyen,
Tom Brown
Abstract:
Hydrogen and carbon dioxide transport can both play an essential role in climate-neutral energy systems. Hydrogen networks help serve regions with high energy demand, while excess emissions are transported away in carbon dioxide networks. For the synthesis of carbonaceous fuels, it is less clear which input should be transported: hydrogen to carbon point sources or carbon to low-cost hydrogen. We…
▽ More
Hydrogen and carbon dioxide transport can both play an essential role in climate-neutral energy systems. Hydrogen networks help serve regions with high energy demand, while excess emissions are transported away in carbon dioxide networks. For the synthesis of carbonaceous fuels, it is less clear which input should be transported: hydrogen to carbon point sources or carbon to low-cost hydrogen. We explore both networks' potential synergies and competition in a cost-optimal carbon-neutral European energy system. In direct comparison, a hydrogen network is more cost-effective than a carbon network, since it serves to transport hydrogen to demand and to point source of carbon for utilization. However, in a hybrid scenario where both networks are present, the carbon network effectively complements the hydrogen network, promoting carbon capture from biomass and reducing reliance on direct air capture. Our analysis suggests integrating hydrogen and carbon dioxide networks into European energy policy for a robust, carbon-neutral or carbon-negative future energy system.
△ Less
Submitted 29 February, 2024;
originally announced February 2024.
-
Data-driven study of composition-dependent phase compatibility in NiTi shape memory alloys
Authors:
Sina Hossein Zadeh,
Cem Cakirhan,
Danial Khatamsaz,
John Broucek,
Timothy D. Brown,
Xiaoning Qian,
Ibrahim Karaman,
Raymundo Arroyave
Abstract:
The martensitic transformation in NiTi-based Shape Memory Alloys (SMAs) provides a basis for shape memory effect and superelasticity, thereby enabling applications requiring solid-state actuation and large recoverable shape changes upon mechanical load cycling. In order to tailor the transformation to a particular application, the compositional dependence of properties in NiTi-based SMAs, such as…
▽ More
The martensitic transformation in NiTi-based Shape Memory Alloys (SMAs) provides a basis for shape memory effect and superelasticity, thereby enabling applications requiring solid-state actuation and large recoverable shape changes upon mechanical load cycling. In order to tailor the transformation to a particular application, the compositional dependence of properties in NiTi-based SMAs, such as martensitic transformation temperatures and hysteresis, has been exploited. However, the compositional design space is large and complex, and experimental studies are expensive. In this work, we develop an interpretable piecewise linear regression model that predicts the $λ_2$ parameter, a measure of compatibility between austenite and martensite phases, and an (indirect) factor that is well-correlated with martensitic transformation hysteresis, based on the chemical features derived from the alloy composition. The model is capable of predicting, for the first time, the type of martensitic transformation for a given alloy chemistry. The proposed model is validated by experimental data from the literature as well as in-house measurements. The results show that the model can effectively distinguish between $B19$ and $B19^{\prime}$ regions for any given composition in NiTi-based SMAs and accurately estimate the $λ_2$ parameter. Our analysis also reveals that the weighted average of the quotient of the first ionization energy and the Voronoi coordination number is a key compositional characteristic that correlates with the $λ_2$ parameter and thermodynamic responses, including the transformation hysteresis, martensite start temperature, and critical temperature. The work herein demonstrates the potential of data-driven methodologies for understanding and designing NiTi-based SMAs with desired transformation characteristics.
△ Less
Submitted 19 February, 2024;
originally announced February 2024.
-
PHANGS-ML: dissecting multiphase gas and dust in nearby galaxies using machine learning
Authors:
Dalya Baron,
Karin M. Sandstrom,
Erik Rosolowsky,
Oleg V. Egorov,
Ralf S. Klessen,
Adam K. Leroy,
Médéric Boquien,
Eva Schinnerer,
Francesco Belfiore,
Brent Groves,
Jérémy Chastenet,
Daniel A. Dale,
Guillermo A. Blanc,
José E. Méndez-Delgado,
Eric W. Koch,
Kathryn Grasha,
Mélanie Chevance,
David A. Thilker,
Dario Colombo,
Thomas G. Williams,
Debosmita Pathak,
Jessica Sutter,
Toby Brown,
John F. Wu,
J. E. G. Peek
, et al. (3 additional authors not shown)
Abstract:
The PHANGS survey uses ALMA, HST, VLT, and JWST to obtain an unprecedented high-resolution view of nearby galaxies, covering millions of spatially independent regions. The high dimensionality of such a diverse multi-wavelength dataset makes it challenging to identify new trends, particularly when they connect observables from different wavelengths. Here we use unsupervised machine learning algorit…
▽ More
The PHANGS survey uses ALMA, HST, VLT, and JWST to obtain an unprecedented high-resolution view of nearby galaxies, covering millions of spatially independent regions. The high dimensionality of such a diverse multi-wavelength dataset makes it challenging to identify new trends, particularly when they connect observables from different wavelengths. Here we use unsupervised machine learning algorithms to mine this information-rich dataset to identify novel patterns. We focus on three of the PHANGS-JWST galaxies, for which we extract properties pertaining to their stellar populations; warm ionized and cold molecular gas; and Polycyclic Aromatic Hydrocarbons (PAHs), as measured over 150 pc-scale regions. We show that we can divide the regions into groups with distinct multiphase gas and PAH properties. In the process, we identify previously-unknown galaxy-wide correlations between PAH band and optical line ratios and use our identified groups to interpret them. The correlations we measure can be naturally explained in a scenario where the PAHs and the ionized gas are exposed to different parts of the same radiation field that varies spatially across the galaxies. This scenario has several implications for nearby galaxies: (i) The uniform PAH ionized fraction on 150 pc scales suggests significant self-regulation in the ISM, (ii) the PAH 11.3/7.7 \mic~ band ratio may be used to constrain the shape of the non-ionizing far-ultraviolet to optical part of the radiation field, and (iii) the varying radiation field affects line ratios that are commonly used as PAH size diagnostics. Neglecting this effect leads to incorrect or biased PAH sizes.
△ Less
Submitted 6 February, 2024;
originally announced February 2024.
-
Variation in Patterns of Metal Accumulation in Thallus Parts of Lessonia trabeculata (Laminariales; Phaeophyceae): Implications for Biomonitoring
Authors:
C. A. Saez,
M. G. Lobos,
E. C. Macaya,
D. Oliva,
W. Quiroz,
M. T. Brown
Abstract:
Seaweeds are well known to concentrate metals from seawater and have been employed as monitors of metal pollution in coastal waters and estuaries. However, research showing that various intrinsic and extrinsic factors can influence metal accumulation, raises doubts about the basis for using seaweeds in biomonitoring programmes. The thallus of brown seaweeds of the order Laminariales (kelps) is mor…
▽ More
Seaweeds are well known to concentrate metals from seawater and have been employed as monitors of metal pollution in coastal waters and estuaries. However, research showing that various intrinsic and extrinsic factors can influence metal accumulation, raises doubts about the basis for using seaweeds in biomonitoring programmes. The thallus of brown seaweeds of the order Laminariales (kelps) is morphologically complex but there is limited information about the variation in metal accumulation between the different parts, which might result in erroneous conclusions being drawn if not accounted for in the biomonitoring protocol. To assess patterns of individual metals in the differentiated parts of the thallus (blade, stipe, holdfast), concentrations of a wide range of essential and non-essential metals (Fe, Cr, Cu, Zn, Mn, Pb, Cd, Ni and Al) were measured in the kelp Lessonia trabeculata. Seaweeds were collected from three sampling stations located at 5, 30 and 60 m from an illegal sewage outfall close to Ventanas, Chile and from a pristine location at Faro Curaumilla. For the majority of metals the highest concentrations in bottom sediment and seaweed samples were found at the site closest to the outfall, with concentrations decreasing with distance from the outfall and at control stations; the exception was Cd, concentrations of which were higher at control stations. The patterns of metal concentrations in different thallus parts were metal specific and independent of sampling station. These results and the available literature suggest that biomonitoring of metals using seaweeds must take account of differences in the accumulation of metals in thallus parts of complex seaweeds
△ Less
Submitted 24 January, 2024;
originally announced January 2024.
-
Are Your Epochs Too Epic? Batch Free Can Be Harmful
Authors:
Daewoo Kim,
Trevor Brown,
Ajay Singh
Abstract:
Epoch based memory reclamation (EBR) is one of the most popular techniques for reclaiming memory in lock-free and optimistic locking data structures, due to its ease of use and good performance in practice. However, EBR is known to be sensitive to thread delays, which can result in performance degradation. Moreover, the exact mechanism for this performance degradation is not well understood. This…
▽ More
Epoch based memory reclamation (EBR) is one of the most popular techniques for reclaiming memory in lock-free and optimistic locking data structures, due to its ease of use and good performance in practice. However, EBR is known to be sensitive to thread delays, which can result in performance degradation. Moreover, the exact mechanism for this performance degradation is not well understood. This paper illustrates this performance degradation in a popular data structure benchmark, and does a deep dive to uncover its root cause-a subtle interaction between EBR and state of the art memory allocators. In essence, modern allocators attempt to reduce the overhead of freeing by maintaining bounded thread caches of objects for local reuse, actually freeing them (a very high latency operation) only when thread caches become too large. EBR immediately bypasses these mechanisms whenever a particularly large batch of objects is freed, substantially increasing overheads and latencies. Beyond EBR, many memory reclamation algorithms, and data structures, that reclaim objects in large batches suffer similar deleterious interactions with popular allocators. We propose a simple algorithmic fix for such algorithms to amortize the freeing of large object batches over time, and apply this technique to ten existing memory reclamation algorithms, observing performance improvements for nine out of ten, and over 50% improvement for six out of ten in experiments on a high performance lock-free ABtree. We also present an extremely simple token passing variant of EBR and show that, with our fix, it performs 1.5-2.6x faster than the fastest known memory reclamation algorithm, and 1.2-1.5x faster than not reclaiming at all, on a 192 thread four socket Intel system.
△ Less
Submitted 20 January, 2024;
originally announced January 2024.
-
XTable in Action: Seamless Interoperability in Data Lakes
Authors:
Ashvin Agrawal,
Tim Brown,
Anoop Johnson,
Jesús Camacho-Rodríguez,
Kyle Weller,
Carlo Curino,
Raghu Ramakrishnan
Abstract:
Contemporary approaches to data management are increasingly relying on unified analytics and AI platforms to foster collaboration, interoperability, seamless access to reliable data, and high performance. Data Lakes featuring open standard table formats such as Delta Lake, Apache Hudi, and Apache Iceberg are central components of these data architectures. Choosing the right format for managing a t…
▽ More
Contemporary approaches to data management are increasingly relying on unified analytics and AI platforms to foster collaboration, interoperability, seamless access to reliable data, and high performance. Data Lakes featuring open standard table formats such as Delta Lake, Apache Hudi, and Apache Iceberg are central components of these data architectures. Choosing the right format for managing a table is crucial for achieving the objectives mentioned above. The challenge lies in selecting the best format, a task that is onerous and can yield temporary results, as the ideal choice may shift over time with data growth, evolving workloads, and the competitive development of table formats and processing engines. Moreover, restricting data access to a single format can hinder data sharing resulting in diminished business value over the long term. The ability to seamlessly interoperate between formats and with negligible overhead can effectively address these challenges. Our solution in this direction is an innovative omni-directional translator, XTable, that facilitates writing data in one format and reading it in any format, thus achieving the desired format interoperability. In this work, we demonstrate the effectiveness of XTable through application scenarios inspired by real-world use cases.
△ Less
Submitted 17 January, 2024;
originally announced January 2024.
-
Dynamic Models Augmented by Hierarchical Data: An Application Of Estimating HIV Epidemics At Sub-National And Sub-Population Level
Authors:
Le Bao,
Xiaoyue Niu,
Tim Brown,
Jeffrey W. Imai-Eaton
Abstract:
Dynamic models have been successfully used in producing estimates of HIV epidemics at the national level due to their epidemiological nature and their ability to estimate prevalence, incidence, and mortality rates simultaneously. Recently, HIV interventions and policies have required more information at sub-national levels to support local planning, decision making and resource allocation. Unfortu…
▽ More
Dynamic models have been successfully used in producing estimates of HIV epidemics at the national level due to their epidemiological nature and their ability to estimate prevalence, incidence, and mortality rates simultaneously. Recently, HIV interventions and policies have required more information at sub-national levels to support local planning, decision making and resource allocation. Unfortunately, many areas lack sufficient data for deriving stable and reliable results, and this is a critical technical barrier to more stratified estimates. One solution is to borrow information from other areas within the same country. However, directly assuming hierarchical structures within the HIV dynamic models is complicated and computationally time-consuming. In this paper, we propose a simple and innovative way to incorporate hierarchical information into the dynamical systems by using auxiliary data. The proposed method efficiently uses information from multiple areas within each country without increasing the computational burden. As a result, the new model improves predictive ability and uncertainty assessment.
△ Less
Submitted 9 January, 2024;
originally announced January 2024.
-
Loops of Loops Expansion in the Amplituhedron
Authors:
Taro V. Brown,
Umut Oktem,
Shruti Paranjape,
Jaroslav Trnka
Abstract:
We study a novel geometric expansion for scattering amplitudes in the planar sector of N=4 super Yang-Mills theory, in the context of the Amplituhedron which reproduces the all-loop integrand as a canonical differential form on the positive geometry. In a paper by Arkani-Hamed, Henn and one of the authors, it was shown that this result can be recast in terms of negative geometries with a certain h…
▽ More
We study a novel geometric expansion for scattering amplitudes in the planar sector of N=4 super Yang-Mills theory, in the context of the Amplituhedron which reproduces the all-loop integrand as a canonical differential form on the positive geometry. In a paper by Arkani-Hamed, Henn and one of the authors, it was shown that this result can be recast in terms of negative geometries with a certain hierarchy of loops (closed cycles) in the space of loop momenta, represented by lines in momentum twistor space. One can then calculate an all-loop order result in the approximation where only tree graphs in the space of all loops are considered. Furthermore, using differential equation methods, it is possible to calculate and resum integrated expressions and obtain strong coupling results. In this paper, we provide a more general framework for the loops of loops expansion and outline a powerful method for the determination of differential forms for higher-order geometries. We solve the problem completely for graphs with one internal cycle, but the method can be used more generally for other geometries.
△ Less
Submitted 29 December, 2023;
originally announced December 2023.
-
Māori algorithmic sovereignty: idea, principles, and use
Authors:
Paul T. Brown,
Daniel Wilson,
Kiri West,
Kirita-Rose Escott,
Kiya Basabas,
Ben Ritchie,
Danielle Lucas,
Ivy Taia,
Natalie Kusabs,
Te Taka Keegan
Abstract:
Due to the emergence of data-driven technologies in Aotearoa New Zealand that use Māori data, there is a need for values-based frameworks to guide thinking around balancing the tension between the opportunities these create, and the inherent risks that these technologies can impose. Algorithms can be framed as a particular use of data, therefore data frameworks that currently exist can be extended…
▽ More
Due to the emergence of data-driven technologies in Aotearoa New Zealand that use Māori data, there is a need for values-based frameworks to guide thinking around balancing the tension between the opportunities these create, and the inherent risks that these technologies can impose. Algorithms can be framed as a particular use of data, therefore data frameworks that currently exist can be extended to include algorithms. Māori data sovereignty principles are well-known and are used by researchers and government agencies to guide the culturally appropriate use of Māori data. Extending these principles to fit the context of algorithms, and re-working the underlying sub-principles to address issues related to responsible algorithms from a Māori perspective leads to the Māori algorithmic sovereignty principles. We define this idea, present the updated principles and subprinciples, and highlight how these can be used to decolonise algorithms currently in use, and argue that these ideas could potentially be used to developed Indigenised algorithms.
△ Less
Submitted 26 November, 2023;
originally announced November 2023.
-
Creating a Discipline-specific Commons for Infectious Disease Epidemiology
Authors:
Michael M. Wagner,
William Hogan,
John Levander,
Adam Darr,
Matt Diller,
Max Sibilla,
Alexander T. Loiacono. Terence Sperringer, Jr.,
Shawn T. Brown
Abstract:
Objective: To create a commons for infectious disease (ID) epidemiology in which epidemiologists, public health officers, data producers, and software developers can not only share data and software, but receive assistance in improving their interoperability. Materials and Methods: We represented 586 datasets, 54 software, and 24 data formats in OWL 2 and then used logical queries to infer potenti…
▽ More
Objective: To create a commons for infectious disease (ID) epidemiology in which epidemiologists, public health officers, data producers, and software developers can not only share data and software, but receive assistance in improving their interoperability. Materials and Methods: We represented 586 datasets, 54 software, and 24 data formats in OWL 2 and then used logical queries to infer potentially interoperable combinations of software and datasets, as well as statistics about the FAIRness of the collection. We represented the objects in DATS 2.2 and a software metadata schema of our own design. We used these representations as the basis for the Content, Search, FAIR-o-meter, and Workflow pages that constitute the MIDAS Digital Commons. Results: Interoperability was limited by lack of standardization of input and output formats of software. When formats existed, they were human-readable specifications (22/24; 92%); only 3 formats (13%) had machine-readable specifications. Nevertheless, logical search of a triple store based on named data formats was able to identify scores of potentially interoperable combinations of software and datasets. Discussion: We improved the findability and availability of a sample of software and datasets and developed metrics for assessing interoperability. The barriers to interoperability included poor documentation of software input/output formats and little attention to standardization of most types of data in this field. Conclusion: Centralizing and formalizing the representation of digital objects within a commons promotes FAIRness, enables its measurement over time and the identification of potentially interoperable combinations of data and software.
△ Less
Submitted 12 November, 2023;
originally announced November 2023.
-
Quantum Task Offloading with the OpenMP API
Authors:
Joseph K. L. Lee,
Oliver T. Brown,
Mark Bull,
Martin Ruefenacht,
Johannes Doerfert,
Michael Klemm,
Martin Schulz
Abstract:
Most of the widely used quantum programming languages and libraries are not designed for the tightly coupled nature of hybrid quantum-classical algorithms, which run on quantum resources that are integrated on-premise with classical HPC infrastructure. We propose a programming model using the API provided by OpenMP to target quantum devices, which provides an easy-to-use and efficient interface fo…
▽ More
Most of the widely used quantum programming languages and libraries are not designed for the tightly coupled nature of hybrid quantum-classical algorithms, which run on quantum resources that are integrated on-premise with classical HPC infrastructure. We propose a programming model using the API provided by OpenMP to target quantum devices, which provides an easy-to-use and efficient interface for HPC applications to utilize quantum compute resources. We have implemented a variational quantum eigensolver using the programming model, which has been tested using a classical simulator. We are in the process of testing on the quantum resources hosted at the Leibniz Supercomputing Centre (LRZ).
△ Less
Submitted 6 November, 2023;
originally announced November 2023.
-
Benefits from Islanding Green Hydrogen Production
Authors:
Christoph Tries,
Fabian Hofmann,
Tom Brown
Abstract:
In wind- and solar-dominated energy systems it has been assumed that there are synergies between producing electricity and electrolytic hydrogen since electrolysis can use excess electricity that would otherwise be curtailed. However, it remains unclear whether these synergies hold true at higher levels of hydrogen demand and how they compare with benefits of off-grid, islanded hydrogen production…
▽ More
In wind- and solar-dominated energy systems it has been assumed that there are synergies between producing electricity and electrolytic hydrogen since electrolysis can use excess electricity that would otherwise be curtailed. However, it remains unclear whether these synergies hold true at higher levels of hydrogen demand and how they compare with benefits of off-grid, islanded hydrogen production, such as better renewable resources and cost savings on electronics due to relaxed power quality standards. Using a mathematical model across two geographical locations for Germany, Spain, Australia, and Great Britain, we explore trade-offs and synergies between integrated and islanded electrolysers. Below a certain threshold, between 5% and 40% hydrogen share depending on the country, integrated electrolysers offer synergies in flexibility and reduced curtailment. Above these thresholds, islanded electrolysers become more favourable. Without cost advantages, systems including islanded electrolysers in Germany achieve up to 21% lower hydrogen costs than systems with only integrated electrolysers. With 25% island cost advantage, this benefit rises to 40% lower hydrogen costs. Our study identifies three investment regimes with country-specific transition points that vary based on island cost advantages and each country's renewable resources. Based on our results we provide guidelines for countries considering how to deploy electrolysers.
△ Less
Submitted 19 October, 2023;
originally announced October 2023.
-
Ejecta Evolution Following a Planned Impact into an Asteroid: The First Five Weeks
Authors:
Theodore Kareta,
Cristina Thomas,
Jian-Yang Li,
Matthew M. Knight,
Nicholas Moskovitz,
Agata Rozek,
Michele T. Bannister,
Simone Ieva,
Colin Snodgrass,
Petr Pravec,
Eileen V. Ryan,
William H. Ryan,
Eugene G. Fahnestock,
Andrew S. Rivkin,
Nancy Chabot,
Alan Fitzsimmons,
David Osip,
Tim Lister,
Gal Sarid,
Masatoshi Hirabayashi,
Tony Farnham,
Gonzalo Tancredi,
Patrick Michel,
Richard Wainscoat,
Rob Weryk
, et al. (63 additional authors not shown)
Abstract:
The impact of the DART spacecraft into Dimorphos, moon of the asteroid Didymos, changed Dimorphos' orbit substantially, largely from the ejection of material. We present results from twelve Earth-based facilities involved in a world-wide campaign to monitor the brightness and morphology of the ejecta in the first 35 days after impact. After an initial brightening of ~1.4 magnitudes, we find consis…
▽ More
The impact of the DART spacecraft into Dimorphos, moon of the asteroid Didymos, changed Dimorphos' orbit substantially, largely from the ejection of material. We present results from twelve Earth-based facilities involved in a world-wide campaign to monitor the brightness and morphology of the ejecta in the first 35 days after impact. After an initial brightening of ~1.4 magnitudes, we find consistent dimming rates of 0.11-0.12 magnitudes/day in the first week, and 0.08-0.09 magnitudes/day over the entire study period. The system returned to its pre-impact brightness 24.3-25.3 days after impact through the primary ejecta tail remained. The dimming paused briefly eight days after impact, near in time to the appearance of the second tail. This was likely due to a secondary release of material after re-impact of a boulder released in the initial impact, through movement of the primary ejecta through the aperture likely played a role.
△ Less
Submitted 18 October, 2023;
originally announced October 2023.
-
VERTICO and IllustrisTNG: The spatially resolved effects of environment on galactic gas
Authors:
Adam R. H. Stevens,
Toby Brown,
Benedikt Diemer,
Annalisa Pillepich,
Lars Hernquist,
Dylan Nelson,
Yannick M. Bahé,
Alessandro Boselli,
Timothy A. Davis,
Pascal J. Elahi,
Sara L. Ellison,
María J. Jiménez-Donaire,
Ian D. Roberts,
Kristine Spekkens,
Vicente Villanueva,
Adam B. Watts,
Christine D. Wilson,
Nikki Zabel
Abstract:
It has been shown in previous publications that the TNG100 simulation quantitatively reproduces the observed reduction in each of the total atomic and total molecular hydrogen gas for galaxies within massive halos, i.e.~dense environments. In this Letter, we study how well TNG50 reproduces the resolved effects of a Virgo-like cluster environment on the gas surface densities of satellite galaxies w…
▽ More
It has been shown in previous publications that the TNG100 simulation quantitatively reproduces the observed reduction in each of the total atomic and total molecular hydrogen gas for galaxies within massive halos, i.e.~dense environments. In this Letter, we study how well TNG50 reproduces the resolved effects of a Virgo-like cluster environment on the gas surface densities of satellite galaxies with $m_* > \! 10^9\,{\rm M}_\odot$ and ${\rm SFR} \! > 0.05\,{\rm M}_\odot\,{\rm yr}^{-1}$. We select galaxies in the simulation that are analogous to those in the HERACLES and VERTICO surveys, and mock-observe them to the common specifications of the data. Although TNG50 does not quantitatively match the observed gas surface densities in the centers of galaxies, the simulation does qualitatively reproduce the trends of gas truncation and central density suppression seen in VERTICO in both HI and H$_2$. This result promises that modern cosmological hydrodynamic simulations can be used to reliably model the post-infall histories of cluster satellite galaxies.
△ Less
Submitted 11 October, 2023;
originally announced October 2023.
-
Multi-objective Bayesian optimization for design of Pareto-optimal current drive profiles in STEP
Authors:
Theodore Brown,
Stephen Marsden,
Vignesh Gopakumar,
Alexander Terenin,
Hong Ge,
Francis Casson
Abstract:
The safety factor profile is a key property in determining the stability of tokamak plasmas. To design the safety factor profile in the United Kingdom's proposed Spherical Tokamak for Energy Production (STEP), we apply multi-objective Bayesian optimisation to design electron-cyclotron heating profiles. Bayesian optimisation is an iterative machine learning technique that uses an uncertainty-aware…
▽ More
The safety factor profile is a key property in determining the stability of tokamak plasmas. To design the safety factor profile in the United Kingdom's proposed Spherical Tokamak for Energy Production (STEP), we apply multi-objective Bayesian optimisation to design electron-cyclotron heating profiles. Bayesian optimisation is an iterative machine learning technique that uses an uncertainty-aware predictive model to choose the next designs to evaluate based on the data gathered during optimisation. By taking a multi-objective approach, the optimiser generates sets of solutions that represent optimal tradeoffs between objectives, enabling decision makers to understand the compromises made in each design. The solutions from our method score higher than those generated in previous work by a genetic algorithm; however, the key result is that our method returns a purposefully diverse range of optimal solutions, providing more information to tokamak designers without incurring additional computational cost.
△ Less
Submitted 3 May, 2024; v1 submitted 4 October, 2023;
originally announced October 2023.
-
Localising two sub-diffraction emitters in 3D using quantum correlation microscopy
Authors:
Shuo Li,
Wenchao Li,
Qiang Sun,
Bill Moran,
Timothy C. Brown,
Brant C. Gibson,
Andrew D. Greentree
Abstract:
The localisation of fluorophores is an important aspect of the determination of the biological function of cellular systems. Quantum correlation microscopy (QCM) is a promising technique for providing diffraction unlimited emitter localisation that can be used with either confocal or widefield modalities. However, so far, QCM has not been applied to three dimensional localisation problems. Here we…
▽ More
The localisation of fluorophores is an important aspect of the determination of the biological function of cellular systems. Quantum correlation microscopy (QCM) is a promising technique for providing diffraction unlimited emitter localisation that can be used with either confocal or widefield modalities. However, so far, QCM has not been applied to three dimensional localisation problems. Here we show that quantum correlation microscopy provides diffraction-unlimited three-dimensional localisation for two emitters within a single diffraction-limited spot. By introducing a two-stage maximum likelihood estimator, our modelling shows that localisation precision scales as $1/\sqrt{t}$ where $t$ is the total detection time. Diffraction unlimited localisation is achieved using both intensity and photon correlation from Hanbury Brown and Twiss measurements at as few as four measurement locations.
△ Less
Submitted 4 October, 2023;
originally announced October 2023.
-
Fourier synthesis optical diffraction tomography for kilohertz rate volumetric imaging
Authors:
Peter T. Brown,
Nikta Jabbarzadeh,
Aidan Pintuff,
Luis Meneses,
Ekaterina Monakhova,
Rory Kruithoff,
Navish Wadhwa,
Domenico F. Galati,
Douglas P. Shepherd
Abstract:
Many biological and soft matter processes occur at high speeds in complex 3D environments, and developing imaging techniques capable of elucidating their dynamics is an outstanding experimental challenge. Here, we introduce Fourier Synthesis Optical Diffraction Tomography (FS-ODT), a novel approach for high-speed quantitative phase imaging capable of recording the 3D refractive index at kilohertz…
▽ More
Many biological and soft matter processes occur at high speeds in complex 3D environments, and developing imaging techniques capable of elucidating their dynamics is an outstanding experimental challenge. Here, we introduce Fourier Synthesis Optical Diffraction Tomography (FS-ODT), a novel approach for high-speed quantitative phase imaging capable of recording the 3D refractive index at kilohertz rates. FS-ODT introduces new pattern generation and inverse computational strategies that multiplex tens of illumination angles in a single tomogram, dramatically increasing the volumetric imaging rate. We validate FS-ODT performance by imaging samples of known composition and accurately recovering the refractive index for increasing pattern complexity. We further demonstrate the capabilities of FS-ODT for probing complex systems by studying the hindered diffusion of colloids in solution and the motility of single-cellular bacterial swimmers. We believe that FS-ODT is a promising approach for unlocking challenging imaging regimes in biophysics and soft matter that have been little explored, including understanding the physical interactions of colloids and microswimmers with their viscous 3D environment and the interplay between these stimuli and the molecular response of biological systems.
△ Less
Submitted 8 May, 2024; v1 submitted 28 September, 2023;
originally announced September 2023.
-
Spatial wavefront shaping with a multipolar-resonant metasurface for structured illumination microscopy
Authors:
Tamal Roy,
Peter T. Brown,
Douglas P. Shepherd,
Lisa V. Poulikakos
Abstract:
Structured illumination microscopy (SIM) achieves superresolution in fluorescence imaging through patterned illumination and computational image reconstruction, yet current methods require bulky, costly modulation optics and high-precision optical alignment. This work demonstrates how nano-optical metasurfaces, rationally designed to tailor the optical wavefront at sub-wavelength dimensions, hold…
▽ More
Structured illumination microscopy (SIM) achieves superresolution in fluorescence imaging through patterned illumination and computational image reconstruction, yet current methods require bulky, costly modulation optics and high-precision optical alignment. This work demonstrates how nano-optical metasurfaces, rationally designed to tailor the optical wavefront at sub-wavelength dimensions, hold great potential as ultrathin, single-surface, all-optical wavefront modulators for SIM. We computationally demonstrate this principle with a multipolar-resonant metasurface composed of silicon nanostructures which generate versatile optical wavefronts in the far field upon variation of the polarization or angle of incident light. Algorithmic optimization is performed to identify the seven most suitable illumination patterns for SIM generated by the metasurface based on three key criteria. We find that multipolar-resonant metasurface SIM (mrm-SIM) achieves resolution comparable to conventional methods by applying the seven optimal metasurface-generated wavefronts to simulated fluorescent objects and reconstructing the objects using proximal gradient descent. The work presented here paves the way for a metasurface-enabled experimental simplification of structured illumination microscopy.
△ Less
Submitted 25 September, 2023;
originally announced September 2023.
-
The Fence Complexity of Persistent Sets
Authors:
Gaetano Coccimiglio,
Trevor Brown,
Srivatsan Ravi
Abstract:
We study the psync complexity of concurrent sets in the non-volatile shared memory model. Flush instructions are used in non-volatile memory to force shared state to be written back to non-volatile memory and must typically be accompanied by the use of expensive fence instructions to enforce ordering among such flushes. Collectively we refer to a flush and a fence as a psync. The safety property o…
▽ More
We study the psync complexity of concurrent sets in the non-volatile shared memory model. Flush instructions are used in non-volatile memory to force shared state to be written back to non-volatile memory and must typically be accompanied by the use of expensive fence instructions to enforce ordering among such flushes. Collectively we refer to a flush and a fence as a psync. The safety property of strict linearizability forces crashed operations to take effect before the crash or not take effect at all; the weaker property of durable linearizability enforces this requirement only for operations that have completed prior to the crash event. We consider lock-free implementations of list-based sets and prove two lower bounds. We prove that for any durable linearizable lock-free set there must exist an execution where some process must perform at least one redundant psync as part of an update operation. We introduce an extension to strict linearizability specialized for persistent sets that we call strict limited effect (SLE) linearizability. SLE linearizability explicitly ensures that operations do not take effect after a crash which better reflects the original intentions of strict linearizability. We show that it is impossible to implement SLE linearizable lock-free sets in which read-only (or search) operations do not flush or fence. We undertake an empirical study of persistent sets that examines various algorithmic design techniques and the impact of flush instructions in practice. We present concurrent set algorithms that provide matching upper bounds and rigorously evaluate them against existing persistent sets to expose the impact of algorithmic design and safety properties on psync complexity in practice as well as the cost of recovering the data structure following a system crash.
△ Less
Submitted 11 September, 2023;
originally announced September 2023.
-
VERTICO VII: Environmental quenching caused by suppression of molecular gas content and star formation efficiency in Virgo Cluster galaxies
Authors:
Toby Brown,
Ian D. Roberts,
Mallory Thorp,
Sara L. Ellison,
Nikki Zabel,
Christine D. Wilson,
Yannick M. Bahé,
Dhruv Bisaria,
Alberto D. Bolatto,
Alessandro Boselli,
Aeree Chung,
Luca Cortese,
Barbara Catinella,
Timothy A. Davis,
María J. Jiménez-Donaire,
Claudia D. P. Lagos,
Bumhyun Lee,
Laura C. Parker,
Rory Smith,
Kristine Spekkens,
Adam R. H. Stevens,
Vicente Villanueva,
Adam B. Watts
Abstract:
We study how environment regulates the star formation cycle of 33 Virgo Cluster satellite galaxies on 720 parsec scales. We present the first resolved star-forming main sequence for cluster galaxies, dividing the sample based on their global HI properties and comparing to a control sample of field galaxies. HI-poor cluster galaxies have reduced star formation rate (SFR) surface densities with resp…
▽ More
We study how environment regulates the star formation cycle of 33 Virgo Cluster satellite galaxies on 720 parsec scales. We present the first resolved star-forming main sequence for cluster galaxies, dividing the sample based on their global HI properties and comparing to a control sample of field galaxies. HI-poor cluster galaxies have reduced star formation rate (SFR) surface densities with respect to both HI-normal cluster and field galaxies (0.5 dex), suggesting that mechanisms regulating the global HI content are responsible for quenching local star formation. We demonstrate that the observed quenching in HI-poor galaxies is caused by environmental processes such as ram pressure stripping (RPS) simultaneously reducing molecular gas surface density and star formation efficiency (SFE), compared to regions in HI-normal systems (by 0.38 and 0.22 dex, respectively). We observe systematically elevated SFRs that are driven by increased molecular gas surface densities at fixed stellar mass surface density in the outskirts of early-stage RPS galaxies, while SFE remains unchanged with respect to the field sample. We quantify how RPS and starvation affect the star formation cycle of inner and outer galaxy discs as they are processed by the cluster. We show both are effective quenching mechanisms with the key difference being that RPS acts upon the galaxy outskirts while starvation regulates the star formation cycle throughout disc, including within the truncation radius. For both processes, the quenching is caused by a simultaneous reduction in molecular gas surface densities and SFE at fixed stellar mass surface density.
△ Less
Submitted 21 August, 2023;
originally announced August 2023.
-
Energy Efficiency of Quantum Statevector Simulation at Scale
Authors:
Jakub Adamski,
James Peter Richings,
Oliver Thomson Brown
Abstract:
Classical simulations are essential for the development of quantum computing, and their exponential scaling can easily fill any modern supercomputer. In this paper we consider the performance and energy consumption of large Quantum Fourier Transform (QFT) simulations run on ARCHER2, the UK's National Supercomputing Service, with QuEST toolkit. We take into account CPU clock frequency and node memo…
▽ More
Classical simulations are essential for the development of quantum computing, and their exponential scaling can easily fill any modern supercomputer. In this paper we consider the performance and energy consumption of large Quantum Fourier Transform (QFT) simulations run on ARCHER2, the UK's National Supercomputing Service, with QuEST toolkit. We take into account CPU clock frequency and node memory size, and use cache-blocking to rearrange the circuit, which minimises communications. We find that using 2.00GHz instead of 2.25GHz can save as much as 25% of energy at 5% increase in runtime. Higher node memory also has the potential to be more efficient, and cost the user fewer CUs, but at higher runtime penalty. Finally, we present a cache-blocking QFT circuit, which halves the required communication. All our optimisations combined result in 40% faster simulations and 35% energy savings in 44 qubit simulations on 4,096 ARCHER2 nodes.
△ Less
Submitted 18 September, 2023; v1 submitted 14 August, 2023;
originally announced August 2023.
-
Population-average mediation analysis for zero-inflated count outcomes
Authors:
Andrew Sims,
D. Leann Long,
Hemant K. Tiwari,
Jinhong Cui,
Dustin M. Long,
Todd M. Brown,
Melissa J. Smith,
Emily B. Levitan
Abstract:
Mediation analysis is an increasingly popular statistical method for explaining causal pathways to inform intervention. While methods have increased, there is still a dearth of robust mediation methods for count outcomes with excess zeroes. Current mediation methods addressing this issue are computationally intensive, biased, or challenging to interpret. To overcome these limitations, we propose a…
▽ More
Mediation analysis is an increasingly popular statistical method for explaining causal pathways to inform intervention. While methods have increased, there is still a dearth of robust mediation methods for count outcomes with excess zeroes. Current mediation methods addressing this issue are computationally intensive, biased, or challenging to interpret. To overcome these limitations, we propose a new mediation methodology for zero-inflated count outcomes using the marginalized zero-inflated Poisson (MZIP) model and the counterfactual approach to mediation. This novel work gives population-average mediation effects whose variance can be estimated rapidly via delta method. This methodology is extended to cases with exposure-mediator interactions. We apply this novel methodology to explore if diabetes diagnosis can explain BMI differences in healthcare utilization and test model performance via simulations comparing the proposed MZIP method to existing zero-inflated and Poisson methods. We find that our proposed method minimizes bias and computation time compared to alternative approaches while allowing for straight-forward interpretations.
△ Less
Submitted 13 August, 2023;
originally announced August 2023.
-
Optimisation and artifacts of photothermal excitation of microresonators
Authors:
Liping Kevin Ge,
Alessandro Tuniz,
Martijn de Sterke,
James M. Zavislan,
Thomas G. Brown,
Sascha Martin,
David Martinez-Martin
Abstract:
The excitation of microresonators using focused intensity modulated light, known as photothermal excitation, is gaining significant attention due to its capacity to accurately excite microresonators without distortions, even in liquid environments, which is driving key advancements in atomic force microscopy and related technologies. Despite progress in the development of coatings, the conversion…
▽ More
The excitation of microresonators using focused intensity modulated light, known as photothermal excitation, is gaining significant attention due to its capacity to accurately excite microresonators without distortions, even in liquid environments, which is driving key advancements in atomic force microscopy and related technologies. Despite progress in the development of coatings, the conversion of light into mechanical movement remains largely inefficient, limiting resonator movements to tens of nanometres even when milliwatts of optical power are used. Moreover, how photothermal efficiency depends on the relative position of a microresonator along the propagation axis of the photothermal beam remains poorly studied, hampering our understanding of the conversion of light into mechanical motion. Here, we perform photothermal measurements in air and water using cantilever microresonators and a custom-built picobalance, and determine how photothermal efficiency changes along the propagation beam axis. We identify that far out-of-band laser emission can lead to visual misidentification of the beam waist, resulting in a drop of photothermal efficiency of up to one order of magnitude. Our measurements also unveil that the beam waist is not always the position of highest photothermal efficiency, and can reduce the efficiency up to 20% for silicon cantilevers with trapezoidal cross section.
△ Less
Submitted 31 July, 2023;
originally announced July 2023.
-
Towards Establishing Systematic Classification Requirements for Automated Driving
Authors:
Ken T. Mori,
Trent Brown,
Steven Peters
Abstract:
Despite the presence of the classification task in many different benchmark datasets for perception in the automotive domain, few efforts have been undertaken to define consistent classification requirements. This work addresses the topic by proposing a structured method to generate a classification structure. First, legal categories are identified based on behavioral requirements for the vehicle.…
▽ More
Despite the presence of the classification task in many different benchmark datasets for perception in the automotive domain, few efforts have been undertaken to define consistent classification requirements. This work addresses the topic by proposing a structured method to generate a classification structure. First, legal categories are identified based on behavioral requirements for the vehicle. This structure is further substantiated by considering the two aspects of collision safety for objects as well as perceptual categories. A classification hierarchy is obtained by applying the method to an exemplary legal text. A comparison of the results with benchmark dataset categories shows limited agreement. This indicates the necessity for explicit consideration of legal requirements regarding perception.
△ Less
Submitted 26 July, 2023;
originally announced July 2023.
-
Estimation of the number of single-photon emitters for multiple fluorophores with the same spectral signature
Authors:
Wenchao Li,
Shuo Li,
Timothy C. Brown,
Qiang Sun,
Xuezhi Wang,
Vladislav V. Yakovlev,
Allison Kealy,
Bill Moran,
Andrew D. Greentree
Abstract:
Fluorescence microscopy is of vital importance for understanding biological function. However most fluorescence experiments are only qualitative inasmuch as the absolute number of fluorescent particles can often not be determined. Additionally, conventional approaches to measuring fluorescence intensity cannot distinguish between two or more fluorophores that are excited and emit in the same spect…
▽ More
Fluorescence microscopy is of vital importance for understanding biological function. However most fluorescence experiments are only qualitative inasmuch as the absolute number of fluorescent particles can often not be determined. Additionally, conventional approaches to measuring fluorescence intensity cannot distinguish between two or more fluorophores that are excited and emit in the same spectral window, as only the total intensity in a spectral window can be obtained. Here we show that, by using photon number resolving experiments, we are able to determine the number of emitters and their probability of emission for a number of different species, all with the same measured spectral signature. We illustrate our ideas by showing the determination of the number of emitters per species and the probability of photon collection from that species, for one, two, and three otherwise unresolvable fluorophores. The convolution Binomial model is presented to model the counted photons emitted by multiple species. And then the Expectation-Maximization (EM) algorithm is used to match the measured photon counts to the expected convolution Binomial distribution function. In applying the EM algorithm, to leverage the problem of being trapped in a sub-optimal solution, the moment method is introduced in finding the initial guess of the EM algorithm. Additionally, the associated Cramér-Rao lower bound is derived and compared with the simulation results.
△ Less
Submitted 12 February, 2024; v1 submitted 8 June, 2023;
originally announced June 2023.
-
brainlife.io: A decentralized and open source cloud platform to support neuroscience research
Authors:
Soichi Hayashi,
Bradley A. Caron,
Anibal Sólon Heinsfeld,
Sophia Vinci-Booher,
Brent McPherson,
Daniel N. Bullock,
Giulia Bertò,
Guiomar Niso,
Sandra Hanekamp,
Daniel Levitas,
Kimberly Ray,
Anne MacKenzie,
Lindsey Kitchell,
Josiah K. Leong,
Filipi Nascimento-Silva,
Serge Koudoro,
Hanna Willis,
Jasleen K. Jolly,
Derek Pisner,
Taylor R. Zuidema,
Jan W. Kurzawski,
Kyriaki Mikellidou,
Aurore Bussalb,
Christopher Rorden,
Conner Victory
, et al. (39 additional authors not shown)
Abstract:
Neuroscience research has expanded dramatically over the past 30 years by advancing standardization and tool development to support rigor and transparency. Consequently, the complexity of the data pipeline has also increased, hindering access to FAIR (Findable, Accessible, Interoperabile, and Reusable) data analysis to portions of the worldwide research community. brainlife.io was developed to red…
▽ More
Neuroscience research has expanded dramatically over the past 30 years by advancing standardization and tool development to support rigor and transparency. Consequently, the complexity of the data pipeline has also increased, hindering access to FAIR (Findable, Accessible, Interoperabile, and Reusable) data analysis to portions of the worldwide research community. brainlife.io was developed to reduce these burdens and democratize modern neuroscience research across institutions and career levels. Using community software and hardware infrastructure, the platform provides open-source data standardization, management, visualization, and processing and simplifies the data pipeline. brainlife.io automatically tracks the provenance history of thousands of data objects, supporting simplicity, efficiency, and transparency in neuroscience research. Here brainlife.io's technology and data services are described and evaluated for validity, reliability, reproducibility, replicability, and scientific utility. Using data from 4 modalities and 3,200 participants, we demonstrate that brainlife.io's services produce outputs that adhere to best practices in modern neuroscience research.
△ Less
Submitted 11 August, 2023; v1 submitted 3 June, 2023;
originally announced June 2023.
-
VERTICO VI: Cold-gas asymmetries in Virgo cluster galaxies
Authors:
Ian D. Roberts,
Toby Brown,
Nikki Zabel,
Christine D. Wilson,
Aeree Chung,
Laura C. Parker,
Dhruv Bisaria,
Alessandro Boselli,
Barbara Catinella,
Ryan Chown,
Luca Cortese,
Timothy A. Davis,
Sara Ellison,
Maria Jesus Jimenez-Donaire,
Bumhyun Lee,
Rory Smith,
Kristine Spekkens,
Adam R. H. Stevens,
Mallory Thorp,
Vincente Villanueva,
Adam B. Watts,
Charlotte Welker,
Hyein Yoon
Abstract:
We analyze cold-gas distributions in Virgo cluster galaxies using resolved CO(2-1) (tracing molecular hydrogen, H2) and HI observations from the Virgo Environment Traced In CO (VERTICO) and the VLA Imaging of Virgo in Atomic Gas (VIVA) surveys. From a theoretical perspective, it is expected that environmental processes in clusters will have a stronger influence on diffuse atomic gas compared to th…
▽ More
We analyze cold-gas distributions in Virgo cluster galaxies using resolved CO(2-1) (tracing molecular hydrogen, H2) and HI observations from the Virgo Environment Traced In CO (VERTICO) and the VLA Imaging of Virgo in Atomic Gas (VIVA) surveys. From a theoretical perspective, it is expected that environmental processes in clusters will have a stronger influence on diffuse atomic gas compared to the relatively dense molecular gas component, and that these environmental perturbations can compress the cold interstellar medium in cluster galaxies leading to elevated star formation. In this work we observationally test these predictions for star-forming satellite galaxies within the Virgo cluster. We divide our Virgo galaxy sample into HI-normal, HI-tailed, and HI-truncated classes and show, unsurprisingly, that the HI-tailed galaxies have the largest quantitative HI asymmetries. We also compare to a control sample of non-cluster galaxies and find that Virgo galaxies, on average, have HI asymmetries that are 40 +/- 10 per cent larger than the control. There is less separation between control, HI-normal, HI-tailed, and HI-truncated galaxies in terms of H2 asymmetries, and on average, Virgo galaxies have H2 asymmetries that are only marginally (20 +/- 10 per cent) larger than the control sample. We find a weak correlation between HI and H2 asymmetries over our entire sample, but a stronger correlation for those specific galaxies being strongly impacted by environmental perturbations. Finally, we divide the discs of the HI-tailed Virgo galaxies into a leading half and trailing half according to the observed tail direction. We find evidence for excess molecular gas mass on the leading halves of the disc. This excess molecular gas on the leading half is accompanied by an excess in star formation rate such that the depletion time is, on average, unchanged.
△ Less
Submitted 24 May, 2023;
originally announced May 2023.
-
The Hubble Space Telescope Survey of M31 Satellite Galaxies II. The Star Formation Histories of Ultra-Faint Dwarf Galaxies
Authors:
A. Savino,
D. R. Weisz,
E. D. Skillman,
A. Dolphin,
A. A. Cole,
N. Kallivayalil,
A. Wetzel,
J. Anderson,
G. Besla,
M. Boylan-Kolchin,
T. M. Brown,
J. S. Bullock,
M. L. M. Collins,
M. C. Cooper,
A. J. Deason,
A. L. Dotter,
M. Fardal,
A. M. N. Ferguson,
T. K. Fritz,
M. C. Geha,
K. M. Gilbert,
P. Guhathakurta,
R. Ibata,
M. J. Irwin,
M. Jeon
, et al. (12 additional authors not shown)
Abstract:
We present the lifetime star formation histories (SFHs) for six ultra-faint dwarf (UFD; $M_V>-7.0$, $ 4.9<\log_{10}({M_*(z=0)}/{M_{\odot}})<5.5$) satellite galaxies of M31 based on deep color-magnitude diagrams constructed from \textit{Hubble Space Telescope} imaging. These are the first SFHs obtained from the oldest main sequence turn-off of UFDs outside the halo of the Milky Way (MW). We find th…
▽ More
We present the lifetime star formation histories (SFHs) for six ultra-faint dwarf (UFD; $M_V>-7.0$, $ 4.9<\log_{10}({M_*(z=0)}/{M_{\odot}})<5.5$) satellite galaxies of M31 based on deep color-magnitude diagrams constructed from \textit{Hubble Space Telescope} imaging. These are the first SFHs obtained from the oldest main sequence turn-off of UFDs outside the halo of the Milky Way (MW). We find that five UFDs formed at least 50\% of their stellar mass by $z=5$ (12.6~Gyr ago), similar to known UFDs around the MW, but that 10-40\% of their stellar mass formed at later times. We uncover one remarkable UFD, \A{XIII}, which formed only 10\% of its stellar mass by $z=5$, and 75\% in a rapid burst at $z\sim2-3$, a result that is robust to choices of underlying stellar model and is consistent with its predominantly red horizontal branch. This "young" UFD is the first of its kind and indicates that not all UFDs are necessarily quenched by reionization, which is consistent with predictions from several cosmological simulations of faint dwarf galaxies. SFHs of the combined MW and M31 samples suggest reionization did not homogeneously quench UFDs. We find that the least massive MW UFDs ($M_*(z=5) \lesssim 5\times10^4 M_{\odot}$) are likely quenched by reionization, whereas more massive M31 UFDs ($M_*(z=5) \gtrsim 10^5 M_{\odot}$) may only have their star formation suppressed by reionization and quench at a later time. We discuss these findings in the context of the evolution and quenching of UFDs.
△ Less
Submitted 13 September, 2023; v1 submitted 22 May, 2023;
originally announced May 2023.
-
Scalar BCJ Bootstrap
Authors:
Taro V. Brown,
Karol Kampf,
Umut Oktem,
Shruti Paranjape,
Jaroslav Trnka
Abstract:
In this letter, we study tree-level scattering amplitudes of scalar particles in the context of effective field theories. We use tools similar to the soft bootstrap to build an ansatz for cyclically ordered amplitudes and impose the Bern-Carrasco-Johansson (BCJ) relations as a constraint. We obtain a set of BCJ-satisfying amplitudes as solutions to our procedure, which can be thought of as special…
▽ More
In this letter, we study tree-level scattering amplitudes of scalar particles in the context of effective field theories. We use tools similar to the soft bootstrap to build an ansatz for cyclically ordered amplitudes and impose the Bern-Carrasco-Johansson (BCJ) relations as a constraint. We obtain a set of BCJ-satisfying amplitudes as solutions to our procedure, which can be thought of as special higher-derivative corrections to SU(N) non-linear sigma model amplitudes satisfying BCJ relations to arbitrary multiplicity at leading order. The surprising outcome of our analysis is that BCJ conditions on higher-point amplitudes impose constraints on lower-point amplitudes, and they relate coefficients at different orders in the derivative expansion. This shows that BCJ conditions are much more restrictive than soft limit behavior, allowing only for a very small set of solutions.
△ Less
Submitted 9 May, 2023;
originally announced May 2023.
-
Coronal Heating as Determined by the Solar Flare Frequency Distribution Obtained by Aggregating Case Studies
Authors:
James Paul Mason,
Alexandra Werth,
Colin G. West,
Allison A. Youngblood,
Donald L. Woodraska,
Courtney Peck,
Kevin Lacjak,
Florian G. Frick,
Moutamen Gabir,
Reema A. Alsinan,
Thomas Jacobsen,
Mohammad Alrubaie,
Kayla M. Chizmar,
Benjamin P. Lau,
Lizbeth Montoya Dominguez,
David Price,
Dylan R. Butler,
Connor J. Biron,
Nikita Feoktistov,
Kai Dewey,
N. E. Loomis,
Michal Bodzianowski,
Connor Kuybus,
Henry Dietrick,
Aubrey M. Wolfe
, et al. (977 additional authors not shown)
Abstract:
Flare frequency distributions represent a key approach to addressing one of the largest problems in solar and stellar physics: determining the mechanism that counter-intuitively heats coronae to temperatures that are orders of magnitude hotter than the corresponding photospheres. It is widely accepted that the magnetic field is responsible for the heating, but there are two competing mechanisms th…
▽ More
Flare frequency distributions represent a key approach to addressing one of the largest problems in solar and stellar physics: determining the mechanism that counter-intuitively heats coronae to temperatures that are orders of magnitude hotter than the corresponding photospheres. It is widely accepted that the magnetic field is responsible for the heating, but there are two competing mechanisms that could explain it: nanoflares or Alfvén waves. To date, neither can be directly observed. Nanoflares are, by definition, extremely small, but their aggregate energy release could represent a substantial heating mechanism, presuming they are sufficiently abundant. One way to test this presumption is via the flare frequency distribution, which describes how often flares of various energies occur. If the slope of the power law fitting the flare frequency distribution is above a critical threshold, $α=2$ as established in prior literature, then there should be a sufficient abundance of nanoflares to explain coronal heating. We performed $>$600 case studies of solar flares, made possible by an unprecedented number of data analysts via three semesters of an undergraduate physics laboratory course. This allowed us to include two crucial, but nontrivial, analysis methods: pre-flare baseline subtraction and computation of the flare energy, which requires determining flare start and stop times. We aggregated the results of these analyses into a statistical study to determine that $α= 1.63 \pm 0.03$. This is below the critical threshold, suggesting that Alfvén waves are an important driver of coronal heating.
△ Less
Submitted 9 May, 2023;
originally announced May 2023.
-
Offshore Wind Integration in the North Sea: The Benefits of an Offshore Grid and Floating Wind
Authors:
Philipp Glaum,
Fabian Neumann,
Tom Brown
Abstract:
Wind energy has become increasingly important for meeting Europe's energy needs. While onshore wind expansion faces public acceptance problems, for offshore wind the European Commission has introduced ambitious goals to increase capacity from 15GW to 300GW in 2050. Incorporating more offshore wind electricity into the power grid may offer a more widely accepted way to satisfy Europe's energy deman…
▽ More
Wind energy has become increasingly important for meeting Europe's energy needs. While onshore wind expansion faces public acceptance problems, for offshore wind the European Commission has introduced ambitious goals to increase capacity from 15GW to 300GW in 2050. Incorporating more offshore wind electricity into the power grid may offer a more widely accepted way to satisfy Europe's energy demand. In particular, the North Sea region has large potential for offshore wind generation. However, to fully exploit the wind potential in the North Sea, the grid integration of offshore wind and floating wind turbines are vital, especially when onshore wind capacity and onshore grid expansion are constrained. For the grid integration, a meshed offshore grid can offer a viable alternative to the standard direct connection of offshore wind parks to the nearest point on land combined with point-to-point HVDC connections. In this paper, we investigate the benefits of having a meshed offshore grid in the North Sea and considering floating wind besides fixed-bottom wind installations. In our analysis, we look at eight different scenarios, where onshore wind potentials and onshore line expansion are limited, to explore the effects of low public acceptance. Our results demonstrate that the presence of an offshore grid can reduce total system costs by up to 2.6 bn Euro/a. In the scenarios with an offshore meshed grid, ~8% more offshore wind capacities are built compared to the scenarios without a meshed grid. Furthermore, the analysis shows that if onshore wind potentials are restricted, floating wind turbines play a key role and compensate for lacking onshore wind capacities.
△ Less
Submitted 8 June, 2023; v1 submitted 3 May, 2023;
originally announced May 2023.
-
The James Webb Space Telescope Mission
Authors:
Jonathan P. Gardner,
John C. Mather,
Randy Abbott,
James S. Abell,
Mark Abernathy,
Faith E. Abney,
John G. Abraham,
Roberto Abraham,
Yasin M. Abul-Huda,
Scott Acton,
Cynthia K. Adams,
Evan Adams,
David S. Adler,
Maarten Adriaensen,
Jonathan Albert Aguilar,
Mansoor Ahmed,
Nasif S. Ahmed,
Tanjira Ahmed,
Rüdeger Albat,
Loïc Albert,
Stacey Alberts,
David Aldridge,
Mary Marsha Allen,
Shaune S. Allen,
Martin Altenburg
, et al. (983 additional authors not shown)
Abstract:
Twenty-six years ago a small committee report, building on earlier studies, expounded a compelling and poetic vision for the future of astronomy, calling for an infrared-optimized space telescope with an aperture of at least $4m$. With the support of their governments in the US, Europe, and Canada, 20,000 people realized that vision as the $6.5m$ James Webb Space Telescope. A generation of astrono…
▽ More
Twenty-six years ago a small committee report, building on earlier studies, expounded a compelling and poetic vision for the future of astronomy, calling for an infrared-optimized space telescope with an aperture of at least $4m$. With the support of their governments in the US, Europe, and Canada, 20,000 people realized that vision as the $6.5m$ James Webb Space Telescope. A generation of astronomers will celebrate their accomplishments for the life of the mission, potentially as long as 20 years, and beyond. This report and the scientific discoveries that follow are extended thank-you notes to the 20,000 team members. The telescope is working perfectly, with much better image quality than expected. In this and accompanying papers, we give a brief history, describe the observatory, outline its objectives and current observing program, and discuss the inventions and people who made it possible. We cite detailed reports on the design and the measured performance on orbit.
△ Less
Submitted 10 April, 2023;
originally announced April 2023.
-
VERTICO V: The environmentally driven evolution of the inner cold gas discs of Virgo cluster galaxies
Authors:
Adam B. Watts,
Luca Cortese,
Barbara Catinella,
Toby Brown,
Christine D. Wilson,
Nikki Zabel,
Ian D. Roberts,
Timothy A. Davis,
Mallory Thorp,
Aeree Chung,
Adam R. H. Stevens,
Sara L. Ellison,
Kristine Spekkens,
Laura C. Parker,
Yannick M. Bahé,
Vicente Villanueva,
María Jiménez-Donaire,
Dhruv Bisaria,
Alessandro Boselli,
Alberto D. Bolatto,
Bumhyun Lee
Abstract:
The quenching of cluster satellite galaxies is inextricably linked to the suppression of their cold interstellar medium (ISM) by environmental mechanisms. While the removal of neutral atomic hydrogen (HI) at large radii is well studied, how the environment impacts the remaining gas in the centres of galaxies, which are dominated by molecular gas, is less clear. Using new observations from the Virg…
▽ More
The quenching of cluster satellite galaxies is inextricably linked to the suppression of their cold interstellar medium (ISM) by environmental mechanisms. While the removal of neutral atomic hydrogen (HI) at large radii is well studied, how the environment impacts the remaining gas in the centres of galaxies, which are dominated by molecular gas, is less clear. Using new observations from the Virgo Environment traced in CO survey (VERTICO) and archival HI data, we study the HI and molecular gas within the optical discs of Virgo cluster galaxies on 1.2-kpc scales with spatially resolved scaling relations between stellar ($Σ_{\star}$), HI ($Σ_\mathrm{HI}$), and molecular gas ($Σ_\mathrm{mol}$) surface densities. Adopting HI deficiency as a measure of environmental impact, we find evidence that, in addition to removing the HI at large radii, the cluster processes also lower the average $Σ_\mathrm{HI}$ of the remaining gas even in the central 1.2 kpc. The impact on molecular gas is comparatively weaker than on the HI, and we show that the lower $Σ_\mathrm{mol}$ gas is removed first. In the most HI-deficient galaxies, however, we find evidence that environmental processes reduce the typical $Σ_\mathrm{mol}$ of the remaining gas by nearly a factor of 3. We find no evidence for environment-driven elevation of $Σ_\mathrm{HI}$ or $Σ_\mathrm{mol}$ in HI-deficient galaxies. Using the ratio of $Σ_\mathrm{mol}$-to-$Σ_\mathrm{HI}$ in individual regions, we show that changes in the ISM physical conditions, estimated using the total gas surface density and midplane hydrostatic pressure, cannot explain the observed reduction in molecular gas content. Instead, we suggest that direct stripping of the molecular gas is required to explain our results.
△ Less
Submitted 13 March, 2023;
originally announced March 2023.
-
Efficient Hardware Primitives for Immediate Memory Reclamation in Optimistic Data Structures
Authors:
Ajay Singh,
Trevor Brown,
Michael Spear
Abstract:
Safe memory reclamation (SMR) algorithms are crucial for preventing use-after-free errors in optimistic data structures. SMR algorithms typically delay reclamation for safety and reclaim objects in batches for efficiency. It is difficult to strike a balance between performance and space efficiency. Small batch sizes and frequent reclamation attempts lead to high overhead, while freeing large batch…
▽ More
Safe memory reclamation (SMR) algorithms are crucial for preventing use-after-free errors in optimistic data structures. SMR algorithms typically delay reclamation for safety and reclaim objects in batches for efficiency. It is difficult to strike a balance between performance and space efficiency. Small batch sizes and frequent reclamation attempts lead to high overhead, while freeing large batches can lead to long program interruptions and high memory footprints. An ideal SMR algorithm would forgo batching, and reclaim memory immediately, without suffering high reclamation overheads. To this end, we propose Conditional Access: a set of hardware instructions that offer immediate reclamation and low overhead in optimistic data structures. Conditional Access harnesses cache coherence to enable threads to efficiently detect potential use-after-free errors without explicit shared memory communication, and without introducing additional coherence traffic. We implement and evaluate Conditional Access in Graphite, a multicore simulator. Our experiments show that Conditional Access can rival the performance of highly optimized and carefully tuned SMR algorithms while simultaneously allowing immediate reclamation. This results in concurrent data structures with similar memory footprints to their sequential counterparts.
△ Less
Submitted 24 February, 2023;
originally announced February 2023.
-
The Capacity for Moral Self-Correction in Large Language Models
Authors:
Deep Ganguli,
Amanda Askell,
Nicholas Schiefer,
Thomas I. Liao,
Kamilė Lukošiūtė,
Anna Chen,
Anna Goldie,
Azalia Mirhoseini,
Catherine Olsson,
Danny Hernandez,
Dawn Drain,
Dustin Li,
Eli Tran-Johnson,
Ethan Perez,
Jackson Kernion,
Jamie Kerr,
Jared Mueller,
Joshua Landau,
Kamal Ndousse,
Karina Nguyen,
Liane Lovitt,
Michael Sellitto,
Nelson Elhage,
Noemi Mercado,
Nova DasSarma
, et al. (24 additional authors not shown)
Abstract:
We test the hypothesis that language models trained with reinforcement learning from human feedback (RLHF) have the capability to "morally self-correct" -- to avoid producing harmful outputs -- if instructed to do so. We find strong evidence in support of this hypothesis across three different experiments, each of which reveal different facets of moral self-correction. We find that the capability…
▽ More
We test the hypothesis that language models trained with reinforcement learning from human feedback (RLHF) have the capability to "morally self-correct" -- to avoid producing harmful outputs -- if instructed to do so. We find strong evidence in support of this hypothesis across three different experiments, each of which reveal different facets of moral self-correction. We find that the capability for moral self-correction emerges at 22B model parameters, and typically improves with increasing model size and RLHF training. We believe that at this level of scale, language models obtain two capabilities that they can use for moral self-correction: (1) they can follow instructions and (2) they can learn complex normative concepts of harm like stereotyping, bias, and discrimination. As such, they can follow instructions to avoid certain kinds of morally harmful outputs. We believe our results are cause for cautious optimism regarding the ability to train language models to abide by ethical principles.
△ Less
Submitted 18 February, 2023; v1 submitted 14 February, 2023;
originally announced February 2023.
-
The Hubble Space Telescope UV Legacy Survey of Galactic Globular Clusters. XXIV. Differences in internal kinematics of multiple stellar populations
Authors:
M. Libralato,
E. Vesperini,
A. Bellini,
A. P. Milone,
R. P. van der Marel,
G. Piotto,
J. Anderson,
A. Aparicio,
B. Barbuy,
L. R. Bedin,
T. M. Brown,
S. Cassisi,
D. Nardiello,
A. Sarajedini,
M. Scalco
Abstract:
Our understanding of the kinematic properties of multiple stellar populations (mPOPs) in Galactic globular clusters (GCs) is still limited compared to what we know about their chemical and photometric characteristics. Such limitation arises from the lack of a comprehensive observational investigation of this topic. Here we present the first homogeneous kinematic analysis of mPOPs in 56 GCs based o…
▽ More
Our understanding of the kinematic properties of multiple stellar populations (mPOPs) in Galactic globular clusters (GCs) is still limited compared to what we know about their chemical and photometric characteristics. Such limitation arises from the lack of a comprehensive observational investigation of this topic. Here we present the first homogeneous kinematic analysis of mPOPs in 56 GCs based on high-precision proper motions computed with Hubble Space Telescope data. We focused on red-giant-branch stars, for which the mPOP tagging is clearer, and measured the velocity dispersion of stars belonging to first (1G) and second generations (2G). We find that 1G stars are generally kinematically isotropic even at the half-light radius, whereas 2G stars are isotropic at the center and become radially anisotropic before the half-light radius. The radial anisotropy is induced by a lower tangential velocity dispersion of 2G stars with respect to the 1G population, while the radial component of the motion is comparable. We also show possible evidence that the kinematic properties of mPOPs are affected by the Galactic tidal field, corroborating previous observational and theoretical results suggesting a relation between the strength of the external tidal field and some properties of mPOPs. Although limited to the GCs' central regions, our analysis leads to new insights into the mPOP phenomenon, and provides the motivation for future observational studies of the internal kinematics of mPOPs.
△ Less
Submitted 12 January, 2023; v1 submitted 10 January, 2023;
originally announced January 2023.
-
PathCAS: An Efficient Middle Ground for Concurrent Search Data Structures
Authors:
Trevor Brown,
William Sigouin,
Dan Alistarh
Abstract:
To maximize the performance of concurrent data structures, researchers have often turned to highly complex fine-grained techniques, resulting in efficient and elegant algorithms, which can however be often difficult to understand and prove correct. While simpler techniques exist, such as transactional memory, they can have limited performance or portability relative to their fine-grained counterpa…
▽ More
To maximize the performance of concurrent data structures, researchers have often turned to highly complex fine-grained techniques, resulting in efficient and elegant algorithms, which can however be often difficult to understand and prove correct. While simpler techniques exist, such as transactional memory, they can have limited performance or portability relative to their fine-grained counterparts. Approaches at both ends of this complexity-performance spectrum have been extensively explored, but relatively less is known about the middle ground: approaches that are willing to sacrifice some performance for simplicity, while remaining competitive with state-of-the-art handcrafted designs.
In this paper, we explore this middle ground, and present PathCAS, a primitive that combines ideas from multi-word CAS (KCAS) and transactional memory approaches, while carefully avoiding overhead. We show how PathCAS can be used to implement efficient search data structures relatively simply, using an internal binary search tree as an example, then extending this to an AVL tree. Our best implementations outperform many handcrafted search trees: in search-heavy workloads, it rivals the BCCO tree [5], the fastest known concurrent binary tree in terms of search performance [3]. Our results suggest that PathCAS can yield concurrent data structures that are relatively easy to build and prove correct, while offering surprisingly high performance.
△ Less
Submitted 19 December, 2022;
originally announced December 2022.
-
Discovering Language Model Behaviors with Model-Written Evaluations
Authors:
Ethan Perez,
Sam Ringer,
Kamilė Lukošiūtė,
Karina Nguyen,
Edwin Chen,
Scott Heiner,
Craig Pettit,
Catherine Olsson,
Sandipan Kundu,
Saurav Kadavath,
Andy Jones,
Anna Chen,
Ben Mann,
Brian Israel,
Bryan Seethor,
Cameron McKinnon,
Christopher Olah,
Da Yan,
Daniela Amodei,
Dario Amodei,
Dawn Drain,
Dustin Li,
Eli Tran-Johnson,
Guro Khundadze,
Jackson Kernion
, et al. (38 additional authors not shown)
Abstract:
As language models (LMs) scale, they develop many novel behaviors, good and bad, exacerbating the need to evaluate how they behave. Prior work creates evaluations with crowdwork (which is time-consuming and expensive) or existing data sources (which are not always available). Here, we automatically generate evaluations with LMs. We explore approaches with varying amounts of human effort, from inst…
▽ More
As language models (LMs) scale, they develop many novel behaviors, good and bad, exacerbating the need to evaluate how they behave. Prior work creates evaluations with crowdwork (which is time-consuming and expensive) or existing data sources (which are not always available). Here, we automatically generate evaluations with LMs. We explore approaches with varying amounts of human effort, from instructing LMs to write yes/no questions to making complex Winogender schemas with multiple stages of LM-based generation and filtering. Crowdworkers rate the examples as highly relevant and agree with 90-100% of labels, sometimes more so than corresponding human-written datasets. We generate 154 datasets and discover new cases of inverse scaling where LMs get worse with size. Larger LMs repeat back a dialog user's preferred answer ("sycophancy") and express greater desire to pursue concerning goals like resource acquisition and goal preservation. We also find some of the first examples of inverse scaling in RL from Human Feedback (RLHF), where more RLHF makes LMs worse. For example, RLHF makes LMs express stronger political views (on gun rights and immigration) and a greater desire to avoid shut down. Overall, LM-written evaluations are high-quality and let us quickly discover many novel LM behaviors.
△ Less
Submitted 19 December, 2022;
originally announced December 2022.
-
Constitutional AI: Harmlessness from AI Feedback
Authors:
Yuntao Bai,
Saurav Kadavath,
Sandipan Kundu,
Amanda Askell,
Jackson Kernion,
Andy Jones,
Anna Chen,
Anna Goldie,
Azalia Mirhoseini,
Cameron McKinnon,
Carol Chen,
Catherine Olsson,
Christopher Olah,
Danny Hernandez,
Dawn Drain,
Deep Ganguli,
Dustin Li,
Eli Tran-Johnson,
Ethan Perez,
Jamie Kerr,
Jared Mueller,
Jeffrey Ladish,
Joshua Landau,
Kamal Ndousse,
Kamile Lukosuite
, et al. (26 additional authors not shown)
Abstract:
As AI systems become more capable, we would like to enlist their help to supervise other AIs. We experiment with methods for training a harmless AI assistant through self-improvement, without any human labels identifying harmful outputs. The only human oversight is provided through a list of rules or principles, and so we refer to the method as 'Constitutional AI'. The process involves both a supe…
▽ More
As AI systems become more capable, we would like to enlist their help to supervise other AIs. We experiment with methods for training a harmless AI assistant through self-improvement, without any human labels identifying harmful outputs. The only human oversight is provided through a list of rules or principles, and so we refer to the method as 'Constitutional AI'. The process involves both a supervised learning and a reinforcement learning phase. In the supervised phase we sample from an initial model, then generate self-critiques and revisions, and then finetune the original model on revised responses. In the RL phase, we sample from the finetuned model, use a model to evaluate which of the two samples is better, and then train a preference model from this dataset of AI preferences. We then train with RL using the preference model as the reward signal, i.e. we use 'RL from AI Feedback' (RLAIF). As a result we are able to train a harmless but non-evasive AI assistant that engages with harmful queries by explaining its objections to them. Both the SL and RL methods can leverage chain-of-thought style reasoning to improve the human-judged performance and transparency of AI decision making. These methods make it possible to control AI behavior more precisely and with far fewer human labels.
△ Less
Submitted 15 December, 2022;
originally announced December 2022.