Search

An increasingly important class of estimators has members whose asymptotic distribution is non-Gaussian, yet characterizable as the argmax of a Gaussian process. This paper presents high-level sufficient conditions under which such asymptotic distributions admit a continuous distribution function. The plausibility of the sufficient conditions is demonstrated by verifying them in three prominent examples, namely maximum score estimation, empirical risk minimization, and threshold regression estimation. In turn, the continuity result buttresses several recently proposed inference procedures whose validity seems to require a result of the kind established herein. A notable feature of the high-level assumptions is that one of them is designed to enable us to employ the celebrated Cameron-Martin theorem. In a leading special case, the assumption in question is demonstrably weak and appears to be close to minimal.

As quantum key distribution (QKD) emerges as a robust defense against quantum computer threats, significant advancements have been realized by researchers. A pivotal focus has been the development of protocols that not only simplify hardware implementation like the use of continuous-variable (CV) systems, but also negate the necessity for trusted nodes, as seen with the measurement-device independent (MDI) approach. This paper delves into the integration of these methodologies in the CV-MDI-QKD protocol, offering an in-depth exploration of its evolution, primary characteristics, and the latest advancements in both theory and experiment., Comment: Short review paper. Comments are welcome

While ballistic electrons are a key tool for applications in sensing and flying qubits, sub-nanosecond propagation times and complicated interactions make control of ballistic single electrons challenging. Recent experiments have revealed Coulomb collisions of counterpropagating electrons in a beam splitter, giving time resolved control of interactions between single electrons. Here we use remote Coulomb interactions to demonstrate a scheme for sensing single ballistic electrons. We show that interactions are highly controllable via electron energy and emission timing. We use a weakly-coupled `sensing' regime to characterise the nanoscale potential landscape of the beam splitter and the strength of the Coulomb interaction, and show multi-electron sensing with picosecond resolution., Comment: 6 pages, 5 figures (main) + 11 pages, 10 figures (supplementary)

Context. Since the mechanism of energy release from solar flares is still not fully understood, the study of fine-scale features developing during flares becomes important for progressing towards a consistent picture of the essential physical mechanisms. Aims. We aim to probe the fine structures in flare ribbons at the chromospheric level using high-resolution observations with imaging and spectral techniques. Methods. We present a GOES C2.4 class solar flare observed with the Swedish 1-m Solar Telescope (SST), the Interface Region Imaging Spectrograph (IRIS), and the Atmospheric Imaging Assembly (AIA). The high-resolution SST observations offer spectroscopic data in the H-alpha, Ca II 8542 {\AA}, and H-beta lines, which we use to analyse the flare ribbon. Results. Within the eastern flare ribbon, chromospheric bright blobs were detected and analysed in Ca II 8542 {\AA}, H-alpha, and H-beta wavelengths. A comparison of blobs in H-beta observations and Si IV 1400 {\AA} has also been performed. These blobs are observed as almost circular structures having widths from 140 km-200 km. The intensity profiles of the blobs show a red wing asymmetry. Conclusions. From the high spatial and temporal resolution H-beta observations, we conclude that the periodicity of the blobs in the flare ribbon, which are near-equally spaced in the range 330-550 km, is likely due to fragmented reconnection processes within a flare current sheet. This supports the theory of a direct link between fine-structure flare ribbons and current sheet tearing. We believe our observations represent the highest resolution evidence of fine-structure flare ribbons to date., Comment: 12 pages, 9 figures, accepted for publication in A&A

A pulsar's scintillation bandwidth is inversely proportional to the scattering delay, making accurate measurements of scintillation bandwidth critical to characterize unmitigated delays in efforts to measure low-frequency gravitational waves with pulsar timing arrays. In this pilot work, we searched for a subset of known pulsars within $\sim$97% of the data taken with the PUPPI instrument for the AO327 survey with the Arecibo telescope, attempting to measure the scintillation bandwidths in the dataset by fitting to the 2D autocorrelation function of their dynamic spectra. We successfully measured 38 bandwidths from 23 pulsars (six without prior literature values), finding that: almost all of the measurements are larger than the predictions from NE2001 and YMW16 (two popular galactic models); NE2001 is more consistent with our measurements than YMW16; Gaussian fits to the bandwidth are more consistent with both electron density models than Lorentzian ones; and for the 17 pulsars with prior literature values, the measurements between various sources often vary by factors of a few. The success of Gaussian fits may be due to the use of Gaussian fits to train models in previous work. The variance of literature values over time could relate to the scaling factor used to compare measurements, but also seems consistent with time-varying interstellar medium parameters. This work can be extended to the rest of AO327 to further investigate these trends, highlighting the continuing importance of large archival datasets for projects beyond their initial conception., Comment: 21 pages, 8 figures, 2 tables

In this paper, we construct a quasiregular mapping $f$ in $\mathbb{R}^3$ that is the first to illustrate several important properties: the quasi-Fatou set contains bounded, hollow components, the Julia set contains bounded components and, moreover, some of these components are genuine round spheres. The key tool to this construction is a new quasiregular interpolation in round rings in $\mathbb{R}^3$ between power mappings of differing degrees on the boundary components. We also exhibit the flexibility of constructions based on these interpolations by showing that we may obtain quasiregular mappings which grow as quickly, or as slowly, as desired.

We demonstrate atom-resolved detection of itinerant bosonic $^{23}$Na and fermionic $^6$Li quantum gases, enabling the direct in situ measurement of interparticle correlations. In contrast to prior work on lattice-trapped gases, here we realize microscopy of quantum gases in the continuum. We reveal Bose-Einstein condensation with single-atom resolution, measure the enhancement of two-particle $g^{(2)}$ correlations of thermal bosons, and observe the suppression of $g^{(2)}$ for fermions; the Fermi or exchange hole. For strongly interacting Fermi gases confined to two dimensions, we directly observe non-local fermion pairs in the BEC-BCS crossover. We obtain the pairing gap, the pair size, and the short-range contact directly from the pair correlations. In situ thermometry is enabled via the fluctuation-dissipation theorem. Our technique opens the door to the atom-resolved study of strongly correlated quantum gases of bosons, fermions, and their mixtures., Comment: 7 pages, 6 figures

Warm dense matter (WDM) plays an important role in astrophysical objects and technological applications, but the rigorous diagnostics of corresponding experiments is notoriously difficult. In this work, we present a model-free analysis of x-ray Thomson scattering (XRTS) measurements at multiple scattering angles. Specifically, we analyze scattering data that have been collected for isochorically heated graphite at the Linac Coherent Light Source (LCLS). Overall, we find good consistency in the extracted temperature between small and large scattering angles, whereas possible signatures of non-equilibrium may be hidden by the source function, and by the available dynamic spectral range. The present proof-of-principle study directly points to improved experimental set-ups for equation-of-state measurements and for the model-free study of relaxation times.

We present NodeOP, a novel framework designed to optimize the management of General Node Operators in decentralized networks. By integrating Agent-Based Modeling (ABM) with a Tendermint Byzantine Fault Tolerance (BFT)-based consensus mechanism, NodeOP addresses key challenges in task allocation, consensus formation, and system stability. Through rigorous mathematical modeling and formal optimization, NodeOP ensures stable equilibrium in node task distribution. We validate the framework via convergence analysis and performance metrics such as transaction throughput, system latency, and fault tolerance. We further demonstrate NodeOP's practical utility through two use cases: decentralized sequencer management in Layer 2 networks and off-chain payment validation. These examples underscore how NodeOP enhances validation efficiency and unlocks new revenue opportunities in large-scale decentralized environments. Our results position NodeOP as a scalable and flexible solution, significantly improving operational efficiency and economic sustainability in decentralized systems.

The growing reproducibility crisis in machine learning has brought forward a need for careful examination of research findings. This paper investigates the claims made by Lei et al. (2023) regarding their proposed method, LICO, for enhancing post-hoc interpretability techniques and improving image classification performance. LICO leverages natural language supervision from a vision-language model to enrich feature representations and guide the learning process. We conduct a comprehensive reproducibility study, employing (Wide) ResNets and established interpretability methods like Grad-CAM and RISE. We were mostly unable to reproduce the authors' results. In particular, we did not find that LICO consistently led to improved classification performance or improvements in quantitative and qualitative measures of interpretability. Thus, our findings highlight the importance of rigorous evaluation and transparent reporting in interpretability research., Comment: 15 pages, 2 figures, Machine Learning Reproducibility Challenge 2024

The ISO standard Property Graph model has become increasingly popular for representing complex, interconnected data. However, it lacks native support for querying metadata and reification, which limits its abilities to deal with the demands of modern applications. We introduce the vision of Meta-Property Graphs, a backwards compatible extension of the property graph model addressing these limitations. Our approach enables first-class treatment of labels and properties as queryable objects and supports reification of substructures in a graph. We propose MetaGPML, a backwards compatible extension of the Graph Pattern Matching Language forming the core of the ISO standard GQL, to query these enhanced graphs. We demonstrate how these foundations pave the way for advanced data analytics and governance tasks that are challenging or impossible with current property graph systems.

We investigated two consecutive solar eruption events in the solar active region (AR) 12994 at the solar eastern limb on 2022 April 15. We found that the flare loops formed by the first eruption were involved in the second eruption. During the initial stage of the second flare, the middle part of these flare loops (E-loops) erupted outward along with the flux ropes below, while the parts of the flare loops (I-loops1 and I-loops2) on either side of the E-loops first rose and then contracted. Approximately 1 hour after the eruption, the heights of I-loops1 and I-loops2 decreased by 9 Mm and 45 Mm, respectively, compared to before the eruption. Their maximum descent velocities were 30 km/s and 130 km/s, respectively. The differential emission measure (DEM) results indicate that the plasma above I-loops1 and I-loops2 began to be heated about 23 minutes and 44 minutes after the start of the second flare, respectively. Within 20 minutes, the plasma temperature in these regions increased from ~3 MK to 6 MK. We proposed an adiabatic heating mechanism that magnetic energy would be converted into thermal and kinetic energy when the pre-stretched loops contract. Our calculations show that the magnetic energy required to heat the two high-temperature regions are 10^29-10^30 erg, which correspond to a loss of field strength of 2-3 G., Comment: The paper has been accepted for publication in the ApJ

Empowering resource-limited robots to execute computationally intensive tasks such as locomotion and manipulation is challenging. This project provides a comprehensive design space exploration to determine optimal hardware computation architectures suitable for model-based control algorithms. We profile and optimize representative architectural designs across general-purpose scalar, vector processors, and specialized accelerators. Specifically, we compare CPUs, vector machines, and domain-specialized accelerators with kernel-level benchmarks and end-to-end representative robotic workloads. Our exploration provides a quantitative performance, area, and utilization comparison and analyzes the trade-offs between these representative distinct architectural designs. We demonstrate that architectural modifications, software, and system optimization can alleviate bottlenecks and enhance utilization. Finally, we propose a code generation flow to simplify the engineering work for mapping robotic workloads to specialized architectures., Comment: This submission has been withdrawn following further internal review and discussions with collaborators, as it was determined that the current version does not meet our intended standards, and will not be updated further. This decision aligns with internal changes and agreements that were finalized post-submission

Jupiter's Great Red Spot (GRS) was mapped by the James Webb Space Telescope (JWST)/Mid-Infrared Instrument (4.9-27.9 micron) in July and August 2022. These observations took place alongside a suite of visual and infrared observations from; Hubble, JWST/NIRCam, Very Large Telescope/VISIR and amateur observers which provided both spatial and temporal context across the jovian disc. The stratospheric temperature structure retrieved using the NEMESIS software revealed a series of hot-spots above the GRS. These could be the consequence of GRS-induced wave activity. In the troposphere, the temperature structure was used to derive the thermal wind structure of the GRS vortex. These winds were only consistent with the independently determined wind field by JWST/NIRCam at 240 mbar if the altitude of the Hubble-derived winds were located around 1,200 mbar, considerably deeper than previously assumed. No enhancement in ammonia was found within the GRS but a link between elevated aerosol and phosphine abundances was observed within this region. North-south asymmetries were observed in the retrieved temperature, ammonia, phosphine and aerosol structure, consistent with the GRS tilting in the north-south direction. Finally, a small storm was captured north-west of the GRS that displayed a considerable excess in retrieved phosphine abundance, suggestive of vigorous convection. Despite this, no ammonia ice was detected in this region. The novelty of JWST required us to develop custom-made software to resolve challenges in calibration of the data. This involved the derivation of the "FLT-5" wavelength calibration solution that has subsequently been integrated into the standard calibration pipeline., Comment: 53 pages, 19 figures, 4 tables

The Check tools automate formal memory consistency model and security verification of processors by analyzing abstract models of microarchitectures, called $\mu$SPEC models. Despite the efficacy of this approach, a verification gap between $\mu$SPEC models, which must be manually written, and RTL limits the Check tools' broad adoption. Our prior work, called RTL2$\mu$SPEC, narrows this gap by automatically synthesizing formally verified $\mu$SPEC models from SystemVerilog implementations of simple processors. But, RTL2$\mu$SPEC assumes input designs where an instruction (e.g., a load) cannot exhibit more than one microarchitectural execution path ($\mu$PATH, e.g., a cache hit or miss path) -- its single-execution-path assumption. In this paper, we first propose an automated approach and tool, called RTL2M$\mu$PATH, that resolves RTL2$\mu$SPEC's single-execution-path assumption. Given a SystemVerilog processor design, instruction encodings, and modest design metadata, RTL2M$\mu$PATH finds a complete set of formally verified $\mu$PATHs for each instruction. Next, we make an important observation: an instruction that can exhibit more than one $\mu$PATH strongly indicates the presence of a microarchitectural side channel in the input design. Based on this observation, we then propose an automated approach and tool, called SynthLC, that extends RTL2M$\mu$PATH with a symbolic information flow analysis to support synthesizing a variety of formally verified leakage contracts from SystemVerilog processor designs. Leakage contracts are foundational to state-of-the-art defenses against hardware side-channel attacks. SynthLC is the first automated methodology for formally verifying hardware adherence to them., Comment: Authors' version; to appear in the Proceedings of the 57th Annual IEEE/ACM International Symposium on Microarchitecture 57th (MICRO 2024)

We describe the spectrophotometric calibration of the Mid-Infrared Instrument's (MIRI) Medium Resolution Spectrometer (MRS) aboard the James Webb Space Telescope (JWST). This calibration is complicated by a time-dependent evolution in the effective throughput of the MRS; this evolution is strongest at long wavelengths, approximately a factor of 2 at 25um over the first two years of the mission. We model and correct for this evolution through regular observations of internal calibration lamps. Pixel flatfields are constructed from observations of the infrared-bright planetary nebula NGC 7027, and photometric aperture corrections from a combination of theoretical models and observations of bright standard stars. We tie the 5--18um flux calibration to high signal/noise (S/N; ~ 600-1000) observations of the O9 V star 10 Lacertae, scaled to the average calibration factor of nine other spectrophotometric standards. We calibrate the 18--28um spectral range using a combination of observations of main belt asteroid 515 Athalia and the circumstellar disk around young stellar object SAO 206462. The photometric repeatability is stable to better than 1% in the wavelength range 5--18um, and the S/N ratio of the delivered spectra is consistent between bootstrapped measurements, pipeline estimates, and theoretical predictions. The MRS point-source calibration agrees with that of the MIRI imager to within 1% from 7 to 21um and is approximately 1% fainter than prior Spitzer observations, while the extended source calibration agrees well with prior Cassini/CIRS and Voyager/IRIS observations., Comment: 26 pages, 28 figures. Revised version accepted for publication by AJ

Jupiter's icy moon Ganymede has a tenuous exosphere produced by sputtering and possibly sublimation of water ice. To date, only atomic hydrogen and oxygen have been directly detected in this exosphere. Here, we present observations of Ganymede's CO$_2$ exosphere obtained with the James Webb Space Telescope. CO$_2$ gas is observed over different terrain types, mainly over those exposed to intense Jovian plasma irradiation, as well as over some bright or dark terrains. Despite warm surface temperatures, the CO$_2$ abundance over equatorial subsolar regions is low. CO$_2$ vapor has the highest abundance over the north polar cap of the leading hemisphere, reaching a surface pressure of 1 pbar. From modeling we show that the local enhancement observed near 12 h local time in this region can be explained by the presence of cold traps enabling CO$_2$ adsorption. However, whether the release mechanism in this high-latitude region is sputtering or sublimation remains unclear. The north polar cap of the leading hemisphere also has unique surface-ice properties, probably linked to the presence of the large atmospheric CO2 excess over this region. These CO2 molecules might have been initially released in the atmosphere after the radiolysis of CO$_2$ precursors, or from the sputtering of CO$_2$ embedded in the H$_2$O ice bedrock. Dark terrains (regiones), more widespread on the north versus south polar regions, possibly harbor CO$_2$ precursors. CO$_2$ molecules would then be redistributed via cold trapping on ice-rich terrains of the polar cap and be diurnally released and redeposited on these terrains. Ganymede's CO$_2$ exosphere highlights the complexity of surface-atmosphere interactions on Jupiter's icy Galilean moons., Comment: 21 pages, 21 figures, Accepted as a Letter in Astronomy and Astrophysics

Inequalities may appear in many models. They can be as simple as assuming a parameter is nonnegative, possibly a regression coefficient or a treatment effect. This paper focuses on the case that there is only one inequality and proposes a confidence interval that is particularly attractive, called the inequality-imposed confidence interval (IICI). The IICI is simple. It does not require simulations or tuning parameters. The IICI is adaptive. It reduces to the usual confidence interval (calculated by adding and subtracting the standard error times the $1 - \alpha/2$ standard normal quantile) when the inequality is sufficiently slack. When the inequality is sufficiently violated, the IICI reduces to an equality-imposed confidence interval (the usual confidence interval for the submodel where the inequality holds with equality). Also, the IICI is uniformly valid and has (weakly) shorter length than the usual confidence interval; it is never longer. The first empirical application considers a linear regression when a coefficient is known to be nonpositive. A second empirical application considers an instrumental variables regression when the endogeneity of a regressor is known to be nonnegative.

X-ray Thomson scattering (XRTS) has emerged as a powerful tool for the diagnostics of matter under extreme conditions. In principle, it gives one access to important system parameters such as the temperature, density, and ionization state, but the interpretation of the measured XRTS intensity usually relies on theoretical models and approximations. In this work, we show that it is possible to extract the Rayleigh weight -- a key property that describes the electronic localization around the ions -- directly from the experimental data without the need for any model calculations or simulations. As a practical application, we consider an experimental measurement of strongly compressed Be at the National Ignition Facility (NIF) [D\"oppner \emph{et al.}, \textit{Nature} \textbf{618}, 270-275 (2023)]. In addition to being interesting in their own right, our results will open up new avenues for diagnostics from \emph{ab initio} simulations, help to further constrain existing chemical models, and constitute a rigorous benchmark for theory and simulations.

The tuning of the Fermi level in tin telluride, a topological crystalline insulator, is essential for accessing its unique surface states and optimizing its electronic properties for applications such as spintronics and quantum computing. In this study, we demonstrate that the Fermi level in tin telluride can be effectively modulated by controlling the tin concentration during chemical vapor deposition synthesis. By introducing tin-rich conditions, we observed a blue shift in the X-ray photoelectron spectroscopy core-level peaks of both tin and tellurium, indicating an upward shift in the Fermi level. This shift is corroborated by a decrease in work function values measured via ultraviolet photoelectron spectroscopy, confirming the suppression of Sn vacancies. Our findings provide a low-cost, scalable method to achieve tunable Fermi levels in tin telluride, offering a significant advancement in the development of materials with tailored electronic properties for next-generation technological applications.

Coronal mass ejections (CMEs) are solar eruptions that involve large-scale changes to the magnetic topology of an active region. There exists a range of models for CME onset which are based on twisted or sheared magnetic field above a polarity inversion line (PIL). We present observational evidence that topological changes at PILs, in the photosphere, form a key part of CME onset, as implied by many models. In particular, we study the onset of 30 CMEs and investigate topological changes in the photosphere by calculating the magnetic winding flux, using the \texttt{ARTop} code. By matching the times and locations of winding signatures with CME observations produced by the \texttt{ALMANAC} code, we confirm that these signatures are indeed associated with CMEs. Therefore, as well as presenting evidence that changes in magnetic topology at the photosphere are a common signature of CME onset, our approach also allows for the finding of the source location of a CME within an active region., Comment: Accepted by MNRAS

In this paper, we give for the first time a systematic study of the variance of the distance to the boundary for arbitrary bounded convex domains in $\mathbb{R}^2$ and $\mathbb{R}^3$. In dimension two, we show that this function is strictly convex, which leads to a new notion of the centre of such a domain, called the variocentre. In dimension three, we investigate the relationship between the variance and the distance to the boundary, which mathematically justifies claims made for a recently developed algorithm for classifying interior and exterior points with applications in biology., Comment: 26 pages, 6 figures

Curbs -- the edge of a raised sidewalk at the point where it meets a street -- crucial in urban environments where they help delineate safe pedestrian zones, from dangerous vehicular lanes. However, curbs themselves are significant navigation hazards, particularly for people who are blind or have low vision (pBLV). The challenges faced by pBLV in detecting and properly orientating themselves for these abrupt elevation changes can lead to falls and serious injuries. Despite recent advancements in assistive technologies, the detection and early warning of curbs remains a largely unsolved challenge. This paper aims to tackle this gap by introducing a novel, multi-faceted sensory substitution approach hosted on a smart wearable; the platform leverages an RGB camera and an embedded system to capture and segment curbs in real time and provide early warning and orientation information. The system utilizes YOLO (You Only Look Once) v8 segmentation model, trained on our custom curb dataset for the camera input. The output of the system consists of adaptive auditory beeps, abstract sonification, and speech, conveying information about the relative distance and orientation of curbs. Through human-subjects experimentation, we demonstrate the effectiveness of the system as compared to the white cane. Results show that our system can provide advanced warning through a larger safety window than the cane, while offering nearly identical curb orientation information.

People with blindness and low vision (pBLV) face challenges in navigating. Mobility aids are crucial for enhancing independence and safety. This paper presents an electronic travel aid that leverages a haptic-based, higher-order sensory substitution approach called Virtual Whiskers, designed to help pBLV negotiate obstacles effectively, efficiently, and safely. Virtual Whiskers is equipped with a plurality of modular vibration units that operate independently to deliver haptic feedback to users. Virtual Whiskers features two navigation modes: open path mode and depth mode, each addressing obstacle negotiation from different perspectives. The open path mode detects and delineate a traversable area within an analyzed field of view. Then, it guides the user through to the traversable direction adaptive vibratory feedback. The depth mode assists users in negotiating obstacles by highlighting spatial areas with prominent obstacles via haptic feedback. We recruited 10 participants with blindness or low vision to participate in user testing for Virtual Whiskers. Results show that the device significantly reduces idle periods and decreases the number of cane contacts. Virtual Whiskers is a promising obstacle negotiation strategy that demonstrating great potential to assist with pBLV navigation.

Green's functions are highly useful in analyzing the dynamical behavior of polynomials in their escaping set. The aim of this paper is to construct an analogue of Green's functions for planar quasiregular mappings of degree two and constant complex dilatation. These Green's functions are dynamically natural, in that they semi-conjugate our quasiregular mappings to the real squaring map. However, they do not share the same regularity properties as Green's functions of polynomials. We use these Green's functions to investigate properties of the boundary of the escaping set and give several examples to illustrate behavior that does not occur for the dynamics of quadratic polynomials., Comment: 23 pages, 6 figures

This paper presents a study on the growing threat of "sleeper social bots," AI-driven social bots in the political landscape, created to spread disinformation and manipulate public opinion. We based the name sleeper social bots on their ability to pass as humans on social platforms, where they're embedded like political "sleeper" agents, making them harder to detect and more disruptive. To illustrate the threat these bots pose, our research team at the University of Southern California constructed a demonstration using a private Mastodon server, where ChatGPT-driven bots, programmed with distinct personalities and political viewpoints, engaged in discussions with human participants about a fictional electoral proposition. Our preliminary findings suggest these bots can convincingly pass as human users, actively participate in conversations, and effectively disseminate disinformation. Moreover, they can adapt their arguments based on the responses of human interlocutors, showcasing their dynamic and persuasive capabilities. College students participating in initial experiments failed to identify our bots, underscoring the urgent need for increased awareness and education about the dangers of AI-driven disinformation, and in particular, disinformation spread by bots. The implications of our research point to the significant challenges posed by social bots in the upcoming 2024 U.S. presidential election and beyond.

The number of citations received by papers often exhibits imbalances in terms of author attributes such as country of affiliation and gender. While recent studies have quantified citation imbalance in terms of the authors' gender in journal papers, the computer science discipline, where researchers frequently present their work at conferences, may exhibit unique patterns in gendered citation imbalance. Additionally, understanding how network properties in citations influence citation imbalances remains challenging due to a lack of suitable reference models. In this paper, we develop a family of reference models for citation networks and investigate gender imbalance in citations between papers published in computer science conferences. By deploying these reference models, we found that homophily in citations is strongly associated with gendered citation imbalance in computer science, whereas heterogeneity in the number of citations received per paper has a relatively minor association with it. Furthermore, we found that the gendered citation imbalance is most pronounced in papers published in the highest-ranked conferences, is present across different subfields, and extends to citation-based rankings of papers. Our study provides a framework for investigating associations between network properties and citation imbalances, aiming to enhance our understanding of the structure and dynamics of citations between research publications., Comment: 14 pages, 6 figures, and 7 tables. This work has been accepted as a full paper in the AAAI/ACM conference on Artificial Intelligence, Ethics and Society (AIES) 2024

We present the preliminary design of GMagAO-X, the first-light high-contrast imager planned for the Giant Magellan Telescope. GMagAO-X will realize the revolutionary increase in spatial resolution and sensitivity provided by the 25 m GMT. It will enable, for the first time, the spectroscopic characterization of nearby potentially habitable terrestrial exoplanets orbiting late-type stars. Additional science cases include: reflected light characterization of mature giant planets; measurement of young extrasolar giant planet variability; characterization of circumstellar disks at unprecedented spatial resolution; characterization of benchmark stellar atmospheres at high spectral resolution; and mapping of resolved objects such as giant stars and asteroids. These, and many more, science cases will be enabled by a 21,000 actuator extreme adaptive optics system, a coronagraphic wavefront control system, and a suite of imagers and spectrographs. We will review the science-driven performance requirements for GMagAO-X, which include achieving a Strehl ratio of 70% at 800 nm on 8th mag and brighter stars, and post-processed characterization at astrophysical flux-ratios of 1e-7 at 4 lambda/D (26 mas at 800 nm) separation. We will provide an overview of the resulting mechanical, optical, and software designs optimized to deliver this performance. We will also discuss the interfaces to the GMT itself, and the concept of operations. We will present an overview of our end-to-end performance modeling and simulations, including the control of segment phasing, as well as an overview of prototype lab demonstrations. Finally, we will review the results of Preliminary Design Review held in February, 2024., Comment: Presented at SPIE Astronomical Telescopes

With high equilibrium temperatures and tidally locked rotation, ultra-hot Jupiters (UHJs) are unique laboratories within which to probe extreme atmospheric physics and chemistry. In this paper, we present high-resolution dayside spectroscopy of the UHJ WASP-189b obtained with the new Gemini High-resolution Optical SpecTrograph (GHOST) at the Gemini South Observatory. The observations, which cover three hours of post-eclipse orbital phases, were obtained during the instrument's System Verification run. We detect the planet's atmosphere via the Doppler cross-correlation technique, and recover a detection of neutral iron in the planet's dayside atmosphere at a significance of 7.5$\sigma$ in the red-arm of the data, verifying the presence of a thermal inversion. We also investigate the presence of other species in the atmosphere and discuss the implications of model injection/recovery tests. These results represent the first atmospheric characterization of an exoplanet with GHOST's high-resolution mode, and demonstrate the potential of this new instrument in detecting and studying ultra-hot exoplanet atmospheres., Comment: 21 pages, 12 figures, 3 tables. Accepted for publication in The Astronomical Journal

The geomagnetic "solar flare effect" (SFE) results from excess ionization in the Earth's ionosphere, famously first detected at the time of the Carrington flare in 1859. This indirect detection of a flare constituted one of the first cases of "multimessenger astronomy," whereby solar ionizing radiation stimulates ionospheric currents. Well-observed SFEs have few-minute time scales and perturbations of >10 nT, with the greatest events reaching above 100 nT. In previously reported cases the SFE time profiles tend to resemble those of solar soft X-ray emission, which ionizes the D-region; there is also a less-well-studied contribution from Lyman-alpha. We report here a specific case, from flare SOL2024-03-10 (M7.4), in which an impulsive SFE deviated from this pattern. This flare contained an "early impulsive" component of exceptionally hard radiation, extending up to gamma-ray energies above 1 MeV, distinctly before the bulk of the flare soft X-ray emission. We can characterize the spectral distribution of this early-impulsive component in detail, thanks to the modern extensive wavelength coverage. A more typical gradual SFE occurred during the flare's main phase. We suggest that events of this type warrant exploration of the solar physics in the "impulse response" limit of very short time scales., Comment: MNRAS to be published

In recent years, deep reinforcement learning (DRL) approaches have generated highly successful controllers for a myriad of complex domains. However, the opaque nature of these models limits their applicability in aerospace systems and safety-critical domains, in which a single mistake can have dire consequences. In this paper, we present novel advancements in both the training and verification of DRL controllers, which can help ensure their safe behavior. We showcase a design-for-verification approach utilizing k-induction and demonstrate its use in verifying liveness properties. In addition, we also give a brief overview of neural Lyapunov Barrier certificates and summarize their capabilities on a case study. Finally, we describe several other novel reachability-based approaches which, despite failing to provide guarantees of interest, could be effective for verification of other DRL systems, and could be of further interest to the community., Comment: 10 pages, 3 figures

Explosive transient events occur throughout the solar atmosphere. The differing manifestations range from coronal mass ejections to Ellerman bombs. The former may have negligible signatures in the lower atmosphere, and the latter may have negligible nonthermal emissions such as hard X-radiation. A solar flare generally involves a broad range of emission signatures. Using a suite of four space-borne telescopes, we report a solar event that combines aspects of simple UV bursts and hard X-ray emitting flares at the same time. The event is a compact C-class flare in active region AR11861, SOL2013-10-12T00:30. By fitting a combined isothermal and nonthermal model to the hard X-ray spectrum, we inferred plasma temperatures in excess of 15\,MK and a nonthermal power of about $3\times10^{27}$\,erg\,s$^{-1}$ in this event. Despite these high temperatures and evidence for nonthermal particles, the flare was mostly confined to the chromosphere. However, the event lacked clear signatures of UV spectral lines, such as the Fe\,{\sc xii} 1349\,\AA\ and Fe\,{\sc xxi} 1354\,\AA\ emission lines, which are characteristic of emission from hotter plasma with a temperature over 1\,MK. Moreover, the event exhibited very limited signatures in the extreme-UV wavelengths. Our study indicates that a UV burst -- hard X-ray flare hybrid phenomenon exists in the low solar atmosphere. Plasma that heats to high temperatures coupled with particle acceleration by magnetic energy that is released directly in the lower atmosphere sheds light on the nature of active region core heating and on inferences of flare signatures., Comment: Publication in the Astronomy & Astrophysics Letters

Submillimeter and millimeter wavelengths provide a unique view of the Universe, from the gas and dust that fills and surrounds galaxies to the chromosphere of our own Sun. Current single-dish facilities have presented a tantalising view of the brightest (sub-)mm sources, and interferometers have provided the exquisite resolution necessary to analyse the details in small fields, but there are still many open questions that cannot be answered with current facilities. In this report we summarise the science that is guiding the design of the Atacama Large Aperture Submillimeter Telescope (AtLAST). We demonstrate how tranformational advances in topics including star formation in high redshift galaxies, the diffuse circumgalactic medium, Galactic ecology, cometary compositions and solar flares motivate the need for a 50m, single-dish telescope with a 1-2 degree field of view and a new generation of highly multiplexed continuum and spectral cameras. AtLAST will have the resolution to drastically lower the confusion limit compared to current single-dish facilities, whilst also being able to rapidly map large areas of the sky and detect extended, diffuse structures. Its high sensitivity and large field of view will open up the field of submillimeter transient science by increasing the probability of serendipitous detections. Finally, the science cases listed here motivate the need for a highly flexible operations model capable of short observations of individual targets, large surveys, monitoring programmes, target of opportunity observations and coordinated observations with other observatories. AtLAST aims to be a sustainable, upgradeable, multipurpose facility that will deliver orders of magnitude increases in sensitivity and mapping speeds over current and planned submillimeter observatories., Comment: 47 pages, 12 figures. For further details on AtLAST see https://atlast.uio.no

In Explainable AI, rule extraction translates model knowledge into logical rules, such as IF-THEN statements, crucial for understanding patterns learned by black-box models. This could significantly aid in fields like disease diagnosis, disease progression estimation, or drug discovery. However, such application domains often contain imbalanced data, with the class of interest underrepresented. Existing methods inevitably compromise the performance of rules for the minor class to maximise the overall performance. As the first attempt in this field, we propose a model-agnostic approach for extracting rules from specific subgroups of data, featuring automatic rule generation for numerical features. This method enhances the regional explainability of machine learning models and offers wider applicability compared to existing methods. We additionally introduce a new method for selecting features to compose rules, reducing computational costs in high-dimensional spaces. Experiments across various datasets and models demonstrate the effectiveness of our methods.