Search

Soft pneumatic actuators have a wide range of applications, including providing haptic feedback embedded in smart garments. Here we investigate actuators fabricated from thermoplastic coated textiles. We measure the effects of fabrication parameters on the robustness and airtightness of small, round pneumatic pouch actuators made from heat-sealed thermoplastic polyurethane-coated nylon, which we call PneuDots. We determine the optimal temperature, time, and pressure for heat-pressing of the textile to create strong bonds and identify the most effective glue to create an airtight seal at the inlet. Compared to elastomeric pneumatic actuators, PneuDots reduce the thickness of the actuator by 96.4% and the mass by 57.2%, increasing their wearability while maintaining a strong force output. We evaluated the force output of the actuators, along with their performance over time. In a blocked force test, PneuDot maximum force transmission was 36.1N, which is 95.3% of the peak force output of an elastomeric pneumatic actuator with the same diameter and pressure. Cyclical testing showed that PneuDots had more stable behavior over time. These results provide best practices for fabrication and indicate the feasibility of textile pneumatic actuators for future wearable applications.

In this study, we propose a novel approach to uncover subgroup-specific and subgroup-common latent factors addressing the challenges posed by the heterogeneity of neurological and mental disorders, which hinder disease understanding, treatment development, and outcome prediction. The proposed approach, sparse Group Factor Analysis (GFA) with regularised horseshoe priors, was implemented with probabilistic programming and can uncover associations (or latent factors) among multiple data modalities differentially expressed in sample subgroups. Synthetic data experiments showed the robustness of our sparse GFA by correctly inferring latent factors and model parameters. When applied to the Genetic Frontotemporal Dementia Initiative (GENFI) dataset, which comprises patients with frontotemporal dementia (FTD) with genetically defined subgroups, the sparse GFA identified latent disease factors differentially expressed across the subgroups, distinguishing between "subgroup-specific" latent factors within homogeneous groups and "subgroup common" latent factors shared across subgroups. The latent disease factors captured associations between brain structure and non-imaging variables (i.e., questionnaires assessing behaviour and disease severity) across the different genetic subgroups, offering insights into disease profiles. Importantly, two latent factors were more pronounced in the two more homogeneous FTD patient subgroups (progranulin (GRN) and microtubule-associated protein tau (MAPT) mutation), showcasing the method's ability to reveal subgroup-specific characteristics. These findings underscore the potential of sparse GFA for integrating multiple data modalities and identifying interpretable latent disease factors that can improve the characterization and stratification of patients with neurological and mental health disorders., Comment: 38 pages, 14 figures

Given a family of rotationally symmetric compact manifolds indexed by the dimension and a weight function, the goal of this paper is to investigate the cut-off phenomenon for the Brownian motions on this family. We provide a class of compact manifolds with non-negative Ricci curvatures for which the cut-off in separation with windows occurs, in high dimension, with different explicit mixing times. We also produce counter-examples, still with non-negative Ricci curvatures, where there are no cut-off in separation. In fact we show a phase transition for the cut-off phenomenon concerning the Brownian motions on a rotationally symmetric compact manifolds. Our proof is based on a previous construction of a sharp strong stationary times by the authors, and some quantitative estimates on the two first moments of the covering time of the dual process. The concentration of measure phenomenon for the above family of manifolds appears to be relevant for the study of the corresponding cut-off.

The eBPF framework enables execution of user-provided code in the Linux kernel. In the last few years, a large ecosystem of cloud services has leveraged eBPF to enhance container security, system observability, and network management. Meanwhile, incessant discoveries of memory safety vulnerabilities have left the systems community with no choice but to disallow unprivileged eBPF programs, which unfortunately limits eBPF use to only privileged users. To improve run-time safety of the framework, we introduce SafeBPF, a general design that isolates eBPF programs from the rest of the kernel to prevent memory safety vulnerabilities from being exploited. We present a pure software implementation using a Software-based Fault Isolation (SFI) approach and a hardware-assisted implementation that leverages ARM's Memory Tagging Extension (MTE). We show that SafeBPF incurs up to 4% overhead on macrobenchmarks while achieving desired security properties., Comment: 15 pages, 9 figures

Malaria remains a significant global health challenge, necessitating rapid and accurate diagnostic methods. While computer-aided diagnosis (CAD) tools utilizing deep learning have shown promise, their generalization to diverse clinical settings remains poorly assessed. This study evaluates the generalization capabilities of a CAD model for malaria diagnosis from thin blood smear images across four sites. We explore strategies to enhance generalization, including fine-tuning and incremental learning. Our results demonstrate that incorporating site-specific data significantly improves model performance, paving the way for broader clinical application., Comment: MICCAI 2024 AMAI Workshop, Accepted for presentation, Submitted Manuscript Version, 10 pages

High-dimensional quantum computing has generated significant interest due to its potential to address scalability and error correction challenges faced by traditional qubit-based systems. This paper investigates the Average Gate Fidelity (AGF) of single qudit systems under Markovian noise in the Lindblad formalism, extending previous work by developing a comprehensive theoretical framework for the calculation of higher-order correction terms. We derive general expressions for the perturbative expansion of the Average Gate Infidelity (AGI) in terms of the environmental coupling coefficient and validate these with extensive numerical simulations, emphasizing the transition from linear to nonlinear behaviour in the strong coupling regime. Our findings highlight the dependence of AGI on qudit dimensionality, quantum gate choice, and noise strength, providing critical insights for optimising quantum gate design and error correction protocols. Additionally, we utilise our framework to identify universal bounds for the AGI in the strong coupling regime and explore the practical implications for enhancing the performance of near-term qudit architectures. This study offers a robust foundation for future research and development in high-dimensional quantum computing, contributing to the advancement of robust, high-fidelity quantum operations.

Scanning Tunneling Spectroscopy (STS) is a unique technique to probe the local density of states (LDOS) at the atomic scale by measuring the tunneling conductance between a sharp tip and a sample surface. However, the technique suffers of well-known limitations, the so-called set-point effect, which can potentially introduce artifacts in the measurements. We compare several STS imaging schemes applied to the LDOS modulations of the charge density wave state on atomically flat surfaces, and demonstrate that only constant-height STS is capable of mapping the intrinsic LDOS. In the constant-current STS, commonly used and easier-to-implement, the tip-sample distance variations imposed by the feedback loop result in set-point-dependent STS images and possibly mislead the identification of the CDW gap edges., Comment: 7 pages, 6 figures

In this paper, we map out the landscape of options available to visual artists for creating personal artworks, including crafting, adapting and navigating deep generative models. Following that, we argue for revisiting model crafting, defined as the design and manipulation of generative models for creative goals, and motivate studying and designing for model crafting as a creative activity in its own right., Comment: Accepted to CHI 2024 workshop on Generative AI and HCI

Monolithic operating systems, where all kernel functionality resides in a single, shared address space, are the foundation of most mainstream computer systems. However, a single flaw, even in a non-essential part of the kernel (e.g., device drivers), can cause the entire operating system to fall under an attacker's control. Kernel hardening techniques might prevent certain types of vulnerabilities, but they fail to address a fundamental weakness: the lack of intra-kernel security that safely isolates different parts of the kernel. We survey kernel compartmentalization techniques that define and enforce intra-kernel boundaries and propose a taxonomy that allows the community to compare and discuss future work. We also identify factors that complicate comparisons among compartmentalized systems, suggest new ways to compare future approaches with existing work meaningfully, and discuss emerging research directions., Comment: 24 pages, 7 figures

This chapter investigates the complexities surrounding the iron biogeochemical cycle from the Archean to present, with a focus on assessing the balance between iron sources and sinks during long periods of Earth's history with relatively invariable redox conditions, when steady state can be safely assumed. Currently, the residence time of iron in the ocean may be as short as approximately 5 years. The input flux of iron is highly sensitive to redox cycling in sediments, while its removal primarily occurs through dispersed processes of oxidation and precipitation. In the Archean, we find a significant imbalance between continental and hydrothermal inputs, which collectively contribute between 61,500 to 263,000 Gg/yr of dissolved iron to the oceans, and the most obvious sinks such as iron formations (IFs), which sequester up to ~43,000 Gg/yr of iron. A possible solution to this imbalance involves the dispersed abiotic precipitation and removal of iron as silicates, sulfides, and carbonates in marine basins. Additionally, we calculate the residence time of dissolved iron in the Archean oceans to be between 6 kyr and 3 Myr, which is significantly longer than the ocean mixing timescale. Our estimates indicate that under the anoxic Archean atmosphere, the iron cycle was more protracted than today, and the isotopic compositions and concentrations of dissolved iron were likely more uniform. Distinct water bodies were likely confined to limited areas or specific, dynamic systems with intense iron turnover, such as regions where deep-sea upwelling currents brought hydrothermal iron to photic zones rich in biotic or abiotic oxidants., Comment: In press, Treatise on Geochemistry, 3rd Edition. 23954 words, 18 figures, 3 tables

The evolution of the cosmic dust content and the cycle between metals and dust in the interstellar medium (ISM) play a fundamental role in galaxy evolution. The chemical enrichment of the Universe can be traced through the evolution of the dust-to-metals ratio (DTM) and the dust-to-gas ratio (DTG) with metallicity. We use a novel method to determine mass estimates of the DTM, DTG and dust composition based on our previous measurements of the depletion of metals in different environments (the Milky Way, the Magellanic Clouds, and damped Lyman-$\alpha$ absorbers, DLAs, toward quasars and towards gamma-ray bursts, GRBs), which were calculated from the relative abundances of metals in the ISM through absorption-line spectroscopy column densities observed mainly from VLT/UVES and X-shooter, and HST/STIS. We derive the dust extinction from the estimated dust depletion ($A_{V, \rm depl}$) and compare with the $A_{V}$ from extinction. We find that the DTM and DTG ratios increase with metallicity and with the dust tracer [Zn/Fe]. This suggests that grain growth in the ISM is a dominant process of dust production. The increasing trend of the DTM and DTG with metallicity is in good agreement with a dust production and evolution model. Our data suggest that the stellar dust yield is much lower than the metal yield and thus that the overall amount of dust in the warm neutral medium that is produced by stars is much lower. We find that $A_{V,\rm depl}$ is overall lower than $A_{V, \rm ext}$ for the Milky Way and a few Magellanic Clouds lines of sight, a discrepancy that is likely related to the presence of carbonaceous dust. We show that the main elements that contribute to the dust composition are, O, Fe, Si, Mg, C, S, Ni and Al for all the environments. Abundances at low dust regimes suggest the presence of pyroxene and metallic iron in dust., Comment: Accepted for publication in A&A. Abstract abridged

The PAW method has been used to compute the iron L$_{2,3}$ edges of x-ray absorption spectra (XAS) and x-ray magnetic circular dichroism (XMCD) of the spin-crossover Fe(phen)$_{2}$(NCS)$_{2}$ molecule when adsorbed on Cu(001) surface and in the gas phase, for both the high spin (HS) and low spin (LS) states. It is found that the calculated XAS and XMCD with the static core hole or the Slater transition state half hole are in less good agreement with experiment than those using the so called initial state. This disagreement is due to the reduction of the iron spin magnetic moment caused by the static screening of the core hole by the photo-electron. The L$_{2,3}$ XAS formula is found to be directly related to the unoccupied $3d$ density of states (DOS), and hence the symmetry broken $e_g$ and the $t_{2g}$ iron DOS are used to explain the XAS and XMCD results. It is demonstrated that the dependence of the HS XMCD on the direction of incident x-ray circularly polarized light with respect to the magnetization direction can be used to determine the iron octahedron deformation, while the XMCD for various magnetization directions is directly related to the anisotropy of the orbital magnetic moment and the magneto-crystalline energy. It is also shown that the magnetic dipole moment $T_z$ is very large due to the strong distortion of the iron octahedron and is necessary for an accurate determination of the sum rule computed spin magnetic moment., Comment: 39 pages, 5 figures

The applicability of DFT+$U$ to the star-of-David phase of $1T$-TaS$_2$ is examined. The viability of a Mott phase as a ground state for the bulk of this material is briefly discussed in light of the available experimental evidence.

Provenance graphs are structured audit logs that describe the history of a system's execution. Recent studies have explored a variety of techniques to analyze provenance graphs for automated host intrusion detection, focusing particularly on advanced persistent threats. Sifting through their design documents, we identify four common dimensions that drive the development of provenance-based intrusion detection systems (PIDSes): scope (can PIDSes detect modern attacks that infiltrate across application boundaries?), attack agnosticity (can PIDSes detect novel attacks without a priori knowledge of attack characteristics?), timeliness (can PIDSes efficiently monitor host systems as they run?), and attack reconstruction (can PIDSes distill attack activity from large provenance graphs so that sysadmins can easily understand and quickly respond to system intrusion?). We present KAIROS, the first PIDS that simultaneously satisfies the desiderata in all four dimensions, whereas existing approaches sacrifice at least one and struggle to achieve comparable detection performance. Kairos leverages a novel graph neural network-based encoder-decoder architecture that learns the temporal evolution of a provenance graph's structural changes to quantify the degree of anomalousness for each system event. Then, based on this fine-grained information, Kairos reconstructs attack footprints, generating compact summary graphs that accurately describe malicious activity over a stream of system audit logs. Using state-of-the-art benchmark datasets, we demonstrate that Kairos outperforms previous approaches., Comment: 24 pages, 16 figures, to appear in the 45th IEEE Symposium on Security and Privacy (S&P'24)

For safety reasons, unprivileged users today have only limited ways to customize the kernel through the extended Berkeley Packet Filter (eBPF). This is unfortunate, especially since the eBPF framework itself has seen an increase in scope over the years. We propose SandBPF, a software-based kernel isolation technique that dynamically sandboxes eBPF programs to allow unprivileged users to safely extend the kernel, unleashing eBPF's full potential. Our early proof-of-concept shows that SandBPF can effectively prevent exploits missed by eBPF's native safety mechanism (i.e., static verification) while incurring 0%-10% overhead on web server benchmarks., Comment: 8 pages, 5 figures, to appear in the 1st SIGCOMM Workshop on eBPF and Kernel Extensions

Inflated-beam soft robots, such as tip-everting vine robots, can control curvature by contracting one beam side via pneumatic actuation. This work develops a general finite element modeling approach to characterize their bending. The model is validated across four pneumatic actuator types (series, compression, embedded, and fabric pneumatic artificial muscles), and can be extended to other designs. These actuators employ two bending mechanisms: geometry-based contraction and material-based contraction. The model accounts for intricate nonlinear effects of buckling and anisotropy. Experimental validation includes three working pressures (10, 20, and 30 kPa) for each actuator type. Geometry-based contraction yields significant deformation (92.1% accuracy) once the buckling pattern forms, reducing slightly to 80.7% accuracy at lower pressures due to stress singularities during buckling. Material-based contraction achieves smaller bending angles but remains at least 96.7% accurate. The open source models available at http://www.vinerobots.org support designing inflated-beam robots like tip-everting vine robots, contributing to waste reduction by optimizing designs based on material properties and stress distribution for effective bending and stress management.

Soft pneumatic actuators are used to steer soft growing "vine" robots while being flexible enough to undergo the tip eversion required for growth. In this study, we compared the performance of three types of pneumatic actuators in terms of their ability to perform eversion, quasi-static bending, dynamic motion, and force output: the pouch motor, the cylindrical pneumatic artificial muscle (cPAM), and the fabric pneumatic artificial muscle (fPAM). The pouch motor is advantageous for prototyping due to its simple manufacturing process. The cPAM exhibits superior bending behavior and produces the highest forces, while the fPAM actuates fastest and everts at the lowest pressure. We evaluated a range of dimensions for each actuator type. Larger actuators can produce more significant deformations and forces, but smaller actuators inflate faster and can evert at a lower pressure. Because vine robots are lightweight, the effect of gravity on the functionality of different actuators is minimal. We developed a new analytical model that predicts the pressure-to-bending behavior of vine robot actuators. Using the actuator results, we designed and demonstrated a 4.8 m long vine robot equipped with highly maneuverable 60x60 mm cPAMs in a three-dimensional obstacle course. The vine robot was able to move around sharp turns, travel through a passage smaller than its diameter, and lift itself against gravity., Comment: 13 pages, 8 figures, 3 tables

We investigate renormalized curvature flow (RCF) and stochastic renormalized curvature flow (SRCF) for convex sets in the plane.RCF is the gradient descent flow for logarithm of $\sigma/\lambda^2$ where $\sigma$ is the perimeter and $\lambda$ is the volume. SRCF is RCF perturbated by a Brownian noise and has the remarkable property that it can be intertwined with the Brownian motion, yielding a generalization of Pitman "2M-X" theorem. We prove that along RCF, entropy $\mathcal{E}_t$ for curvature as well as $h_t:=\sigma_t/\lambda_t$ are non-increasing. We deduce infinite lifetime and convergence to a disk after normalization.For SRCF the situation is more complicated. The process $(h_t)_t$ is always a supermartingale. For $(\mathcal{E}_t)_t$ to be a supermartingale, we need that the starting set is invariant by the isometry group $G_n$ generated by the reflection with respect to the vertical line and the rotation of angle $2\pi/n$ with $n\ge 3$. But for proving infinite lifetime, we need invariance of the starting set by $G_n$ with $n\ge 7$. We provide the first SRCF with infinite lifetime which cannot be reduced to a finite dimensional flow. Gage inequality plays a major role in our study of the regularity of flows, as well as a careful investigation of morphological skeletons. We characterize symmetric convex sets with star shaped skeletons in terms of properties of their Gauss map. Finally, we establish a new isoperimetric estimate for these sets, of order $1/n^4$ where $n$ is the number of branches of the skeleton.

Non-technical end-users are silent and invisible users of the state-of-the-art explainable artificial intelligence (XAI) technologies. Their demands and requirements for AI explainability are not incorporated into the design and evaluation of XAI techniques, which are developed to explain the rationales of AI decisions to end-users and assist their critical decisions. This makes XAI techniques ineffective or even harmful in high-stakes applications, such as healthcare, criminal justice, finance, and autonomous driving systems. To systematically understand end-users' requirements to support the technical development of XAI, we conducted the EUCA user study with 32 layperson participants in four AI-assisted critical tasks. The study identified comprehensive user requirements for feature-, example-, and rule-based XAI techniques (manifested by the end-user-friendly explanation forms) and XAI evaluation objectives (manifested by the explanation goals), which were shown to be helpful to directly inspire the proposal of new XAI algorithms and evaluation metrics. The EUCA study findings, the identified explanation forms and goals for technical specification, and the EUCA study dataset support the design and evaluation of end-user-centered XAI techniques for accessible, safe, and accountable AI., Comment: EUCA dataset, code, and appendix are at: https://weinajin.github.io/euca. An earlier longer version of the EUCA study (with EUCA prototyping framework) is at: arXiv:2102.02437. The followup paper applying the EUCA study findings is at: arXiv:2208.08739

We report the detection of stimulated hydrogen radio recombination line (RRL) emission from ionized gas in a $z=0.89$ galaxy using 580--1670 MHz observations from the MeerKAT Absorption Line Survey (MALS). The RRL emission originates in a galaxy that intercepts and strongly lenses the radio blazar PKS 1830-211 ($z=2.5$). This is the second detection of RRLs outside of the local universe and the first clearly associated with hydrogen. We detect effective H144$\alpha$ (and H163$\alpha$) transitions at observed frequencies of 1156 (798) MHz by stacking 17 (27) RRLs with 21$\sigma$ (14$\sigma$) significance. The RRL emission contains two main velocity components and is coincident in velocity with HI 21 cm and OH 18 cm absorption. We use the RRL spectral line energy distribution and a Bayesian analysis to constrain the density ($n_e$) and the volume-averaged pathlength ($\ell$) of the ionized gas. We determine $\log( n_e ) = 2.0_{-0.7}^{+1.0}$ cm$^{-3}$ and $\log( \ell ) = -0.7_{-1.1}^{+1.1}$ pc towards the north east (NE) lensed image, likely tracing the diffuse thermal phase of the ionized ISM in a thin disk. Towards the south west (SW) lensed image, we determine $\log( n_e ) = 3.2_{-1.0}^{+0.4}$ cm$^{-3}$ and $\log( \ell ) = -2.7_{-0.2}^{+1.8}$ pc, tracing gas that is more reminiscent of H II regions. We estimate a star formation (surface density) rate of $\Sigma_{\mathrm{SFR}} \sim 0.6$ M$_{\odot}$ yr$^{-1}$ kpc$^{-2}$ or SFR $\sim 50$ M$_{\odot}$ yr$^{-1}$, consistent with a star-forming main sequence galaxy of $M_{\star} \sim 10^{11}$ M$_{\odot}$. The discovery presented here opens up the possibility of studying ionized gas at high redshifts using RRL observations from current and future (e.g., SKA and ngVLA) radio facilities., Comment: 17 pages, 10 figures, 2 tables, accepted in ApJ

Let X and Y be horospherical Mori fibre spaces which are birational equivariantly with respect to the group action. Then, there is a horospherical Sarkisov program from X/S to Y /T .

Security research has concentrated on converting operating system audit logs into suitable graphs, such as provenance graphs, for analysis. However, provenance graphs can grow very large requiring significant computational resources beyond what is necessary for many security tasks and are not feasible for resource constrained environments, such as edge devices. To address this problem, we present the \textit{resource-interaction graph} that is built directly from the audit log. We show that the resource-interaction graph's storage requirements are significantly lower than provenance graphs using an open-source data set with two container escape attacks captured from an edge device. We use a graph autoencoder and graph clustering technique to evaluate the representation for an anomaly detection task. Both approaches are unsupervised and are thus suitable for detecting zero-day attacks. The approaches can achieve f1 scores typically over 80\% and in some cases over 90\% for the selected data set and attacks., Comment: 15 pages, 11 figures, 6 tables, for dataset see https://github.com/jpope8/container-escape-dataset, for code see https://github.com/jpope8/container-escape-analysis

The boundaries of existing explainable artificial intelligence (XAI) algorithms are confined to problems grounded in technical users' demand for explainability. This research paradigm disproportionately ignores the larger group of non-technical end users, who have a much higher demand for AI explanations in diverse explanation goals, such as making safer and better decisions and improving users' predicted outcomes. Lacking explainability-focused functional support for end users may hinder the safe and accountable use of AI in high-stakes domains, such as healthcare, criminal justice, finance, and autonomous driving systems. Built upon prior human factor analysis on end users' requirements for XAI, we identify and model four novel XAI technical problems covering the full spectrum from design to the evaluation of XAI algorithms, including edge-case-based reasoning, customizable counterfactual explanation, collapsible decision tree, and the verifiability metric to evaluate XAI utility. Based on these newly-identified research problems, we also discuss open problems in the technical development of user-centered XAI to inspire future research. Our work bridges human-centered XAI with the technical XAI community, and calls for a new research paradigm on the technical development of user-centered XAI for the responsible use of AI in critical tasks.

We introduce the scientific motivations for the development of the Cassegrain U-Band Efficient Spectrograph (CUBES) that is now in construction for the Very Large Telescope. The assembled cases span a broad range of contemporary topics across Solar System, Galactic and extragalactic astronomy, where observations are limited by the performance of current ground-based spectrographs shortwards of 400nm. A brief background to each case is presented and specific technical requirements on the instrument design that flow-down from each case are identified. These were used as inputs to the CUBES design, that will provide a factor of ten gain in efficiency for astronomical spectroscopy over 300-405nm, at resolving powers of R~24,000 and ~7,000. We include performance estimates that demonstrate the ability of CUBES to observe sources that are up to three magnitudes fainter than currently possible at ground-ultraviolet wavelengths, and we place its predicted performance in the context of existing facillities., Comment: Accepted for publication in Experimental Astronomy

Introducing a general class of one-dimensional single-file systems (meaning that particle crossings are prohibited) of interacting hardcore particles with internal degrees of freedom (called charge), we exhibit a novel type of dynamical universality reflected in anomalous statistical properties of macroscopic fluctuating observables such as charge transfer. We find that stringent dynamical constraints lead to universal anomalous statistics of cumulative charge currents manifested both on the timescale characteristic of typical fluctuations and also in the rate function describing rare events. By computing the full counting statistics of net transferred charge between two extended subsystems, we establish a number of unorthodox dynamical properties in an analytic fashion. Most prominently, typical fluctuations in equilibrium are governed by a universal distribution that markedly deviates from the expected Gaussian statistics, whereas large fluctuations are described by an exotic large-deviation rate function featuring an exceptional triple critical point. Far from equilibrium, competition between dynamical phases leads to dynamical phase transitions of first and second order and spontaneous breaking of fluctuation symmetry of the univariate charge large-deviation function. The rich phenomenology of the outlined dynamical universality is exemplified on an exactly solvable classical cellular automaton of charged hardcore particles. We determine the dynamical phase diagram in the framework of Lee-Yang's theory of phase transitions and exhibit a hyper-dimensional diagram of distinct dynamical regimes. Our findings lead us to conclude that the conventional classification of dynamical universality classes based on the algebraic dynamical exponents and asymptotic scaling functions that characterize hydrodynamic relaxation of the dynamical structure factor is incomplete and calls for refinement., Comment: 30+15 pages, v2: new introduction, fixed typos, v3: corrected factors of 2 in Eqs. 62 and 63, v4: presentation redone, technical details moved to appendices, added references, v5: fixed typo in Eq. 58, up-to-date references

Large fractions of metals are missing from the observable gas-phase in the interstellar medium (ISM) because they are incorporated into dust grains, a phenomenon called dust depletion. The study of dust depletion in the ISM is important to investigate the origin and evolution of metals and cosmic dust. Here we aim at characterizing the dust depletion of several metals from the Milky Way to distant galaxies. We collect ISM metal column densities from absorption-line spectroscopy in the literature, and in addition, we determine Ti and Ni column densities from a sample of 70 damped Lyman-$\alpha$ absorbers (DLAs) towards quasars, observed with UVES/VLT. We use ISM relative abundances to estimate the dust depletion of 18 metals (C, P, O, Cl, Kr, S, Ge, Mg, Si, Cu, Co, Mn, Cr, Ni, Al, Ti, Zn and Fe) for different environments (the Milky Way, the Magellanic Clouds (MCs), DLAs towards quasars and towards gamma-ray bursts). We observe linear relations between the depletion of each metal and the strength of dust depletion, which we trace with the observed [Zn/Fe]. In the neutral ISM of the MCs we find small deviations from linearity observed as an overabundance of the $\alpha$-elements Ti, Mg, S and an underabundance of Mn. The deviations disappear if we assume that all OB stars observed towards the MCs in our sample have an $\alpha$-element enhancement and Mn underabundance. This may imply that the MCs have been recently enriched in $\alpha$-elements, potentially due to recent bursts of star formation. The observed strong correlations of the depletion sequences of the metals all the way from low metallicity QSO-DLAs to the Milky Way suggest that cosmic dust has a common origin, independently of the star formation history, which varies significantly between these different galaxies. This supports the importance of grain growth in the ISM as a significant process of dust production., Comment: 30 pages, 35 figures, 12 tables, Accepted for publication in A&A, Abstract abridged for arXiv

This note proves that the separation convergence towards the uniform distribution abruptly occurs at times around ln(n)/n for the (time-accelerated by 2) Brownian motion on the sphere with a high dimension n. The arguments are based on a new and elementary perturbative approach for estimating hitting times in a small noise context. The quantitative estimates thus obtained are applied to the strong stationary times constructed in a privious article by the authors to deduce the wanted cut-off phenomenon.

We report the emergence of a new HI 21-cm absorption at z_abs = 1.172635 in the damped Lyman-alpha absorber (DLA) towards the gamma-ray blazar PKS 2355-106 (z_em~1.639) using science verification observations (June 2020) from the MeerKAT Absorption Line Survey (MALS). Since 2006, this DLA is known to show a narrow HI 21-cm absorption at z_abs = 1.173019 coinciding with a distinct metal absorption line component. We do not detect significant HI 21-cm optical depth variations from this known HI component. A high resolution optical spectrum (August 2010) shows a distinct Mg I absorption at the redshift of the new HI 21-cm absorber. However, this component is not evident in the profiles of singly ionized species. We measure the metallicity ([Zn/H] = -(0.77\pm0.11) and [Si/H]= -(0.96\pm0.11)) and depletion ([Fe/Zn] = -(0.63\pm0.16)) for the full system. Using the apparent column density profiles of Si II, Fe II and Mg I we show that the depletion and the N(Mg I)/N(Si II) column density ratio systematically vary across the velocity range. The region with high depletion tends to have slightly larger N(Mg I)/N(Si II) ratio. The two HI 21-cm absorbers belong to this velocity range. The emergence of z_abs = 1.172635 can be understood if there is a large optical depth gradient over a length scale of ~0.35 pc. However, the gas producing the z_abs = 1.173019 component must be nearly uniform over the same scale. Systematic uncertainties introduced by the absorption line variability has to be accounted for in experiments measuring the variations of fundamental constants and cosmic acceleration even when the radio emission is apparently compact as in PKS 2355-106., Comment: 8 pages, 7 figures and accepted for publication in MNRAS

In recent years, multifunctional materials have attracted increasing interest for magnetic memories and energy harvesting applications. Magnetic insulating materials are of special interest for this purpose, since they allow the design of more efficient devices due to the lower Joule heat losses. In this context, Ga$_{0.6}$Fe$_{1.4}$O$_3$ (GFO) is a good candidate for spintronics applications, since it can exhibit multiferroicity and presents a spin Hall magnetoresistance similar to the one observed in a yttrium iron garnet (YIG)/Pt bilayer. Here, we explore GFO utilizing thermo-spin measurements in an on-chip approach. By carefully considering the geometry of our thermo-spin devices we are able to quantify the spin Seebeck effect and the spin current generation in a GFO/Pt bilayer, obtaining a value comparable to that of YIG/Pt. This further confirms the promises of an efficient spin current generation with the possibility of an electric-field manipulation of the magnetic properties of the system in an insulating ferrimagnetic material.

Strain is attracting much interest as a mean to tune the properties of thin exfoliated two-dimensional materials and their heterostructures. Numerous devices to apply tunable uniaxial strain are proposed in the literature, but only few for biaxial strain where there is often a trade-off between maximum strain and uniformity, reversibility and device size. We present a compact device that allows the controlled application of uniform in-plane biaxial strain, with maximum deformation and uniformity comparable to those found in much larger devices. Its performance and strain uniformity over the sample area are modeled using finite element analysis and demonstrated by measuring the response of exfoliated 2H-MoS$_2$ to strain by Raman spectroscopy., Comment: 10 pages, 4 figures

Purpose. Ability to locate and track ultrasound images in the 3D operating space is of great benefit for multiple clinical applications. This is often accomplished by tracking the probe using a precise but expensive optical or electromagnetic tracking system. Our goal is to develop a simple and low cost augmented reality echography framework using a standard RGB-D Camera. Methods. A prototype system consisting of an Occipital Structure Core RGB-D camera, a specifically-designed 3D marker, and a fast point cloud registration algorithm FaVoR was developed and evaluated on an Ultrasonix ultrasound system. The probe was calibrated on a 3D-printed N-wire phantom using the software PLUS toolkit. The proposed calibration method is simplified, requiring no additional markers or sensors attached to the phantom. Also, a visualization software based on OpenGL was developed for the augmented reality application. Results. The calibrated probe was used to augment a real-world video in a simulated needle insertion scenario. The ultrasound images were rendered on the video, and visually-coherent results were observed. We evaluated the end-to-end accuracy of our AR US framework on localizing a cube of 5 cm size. From our two experiments, the target pose localization error ranges from 5.6 to 5.9 mm and from -3.9 to 4.2 degrees. Conclusion. We believe that with the potential democratization of RGB-D cameras integrated in mobile devices and AR glasses in the future, our prototype solution may facilitate the use of 3D freehand ultrasound in clinical routine. Future work should include a more rigorous and thorough evaluation, by comparing the calibration accuracy with those obtained by commercial tracking solutions in both simulated and real medical scenarios., Comment: 9 pages, 8 figures

From a sample of 109 candidate Ultra-Strong Mg II (USMgII; having rest equivalent width of Mg II absorption, $W_{2796}>3.0$ Angstrom) systems at z=0.4-0.6, we confirm 27 and identify host galaxies of 20 systems based on associated nebular line emission from our SALT observations or from SDSS fiber spectra. The measured impact parameter, [O II] luminosity, star formation rate, B-band luminosity and stellar mass are in the ranges $7.3\le D[kpc]\le79$, $0.2\le L_{[O II]}[ 10^{41}~erg s^{-1}]$ $\le 4.5$, $2.59\le SFR[M_\odot yr^{-1} ]\le 33.51$, $0.15L_B^*\le L_B\le1.63L_B^*$ and $10.21\le log[M_*/M_\odot]\le11.62$ respectively. The impact parameters found are larger than that predicted by the $W_{2796}$ vs D relationship of the general population of Mg II absorbers. At a given D, USMgII host galaxies are more luminous and massive compared to typical Mg II absorbers. However, the measured SFRs are slightly lower than that of main-sequence galaxies with the same M$_\star$ at $z\sim0.5$. We report a correlation between $L_{[O II]}$ and W$_{2796}$ for the full population of Mg II absorbers, driven mainly by the host galaxies of weak Mg II absorbers that tend to have low $L_{[O II]}$ and large impact parameters. We find at least $\sim$33% of the USMgII host galaxies (with a limiting magnitude of $m_r<23.6$) are isolated and the large $W_{2796}$ in these cases may originate from gas flows (infall/outflow) in single halos of massive but not starburst galaxies. We also find galaxy interactions could be responsible for large velocity widths in at least $\sim$17% cases., Comment: Accepted for publication in MNRAS

Groundwater flow can have a significant impact on the thermal response of ground heat exchangers. The moving infinite line source model is thus widely used in practice as it considers both conductive and advective heat transfert processes. Solution of this model involves a relatively heavy numerical quadrature. Contrarily to the infinite line source model, there is currently no known first-order approximation that could be useful for many practical applications. In this paper, known analytical expressions of the Hantush well function and generalized incomplete gamma function are first revisited. A clear link between these functions and the moving infinite line source model is then established. Then, two new exact and integral-free analytical expressions are proposed, along with two new first-order approximations. The new analytical expressions proposed take the form of convergent power series involving no recursive evaluations. It is shown that relative errors less than 1% can be obtained with only a few summands. The convergence properties of the series, their accuracy and the validity domain of the first-order approximations are also presented and discussed., Comment: 11 pages, 6 figures, 1 code. Accepted for publication by Geothermics

Absorption lines from molecular hydrogen ($\rm H_2$) in the spectra of background sources are a powerful probe of the physical conditions in intervening cold neutral medium. At high redshift, $z>2$, $\rm H_2$ lines are conveniently shifted in the optical domain, allowing the use of ground-based telescopes to perform high-resolution spectroscopy, which is essential for a proper analysis of the cold gas. We describe recent observational progress, based on the development of efficient pre-selection techniques in low-resolution spectroscopic surveys such as the Sloan Digital Sky Survey (SDSS). The next generation of spectrographs with high blue-throughput, such as CUBES, will certainly significantly boost the efficiency and outcome of follow-up observations. In this paper, we discuss high priority science cases for CUBES, building on recent $\rm H_2$ observations at high-z: probing the physical conditions in the cold phase of regular galaxies and outflowing gas from active galactic nucleus., Comment: 16 pages, 5 figures, accepted for publication in Experimental Astronomy, CUBES Special Issue

We report the first direct measurement of the helium isotope ratio, 3He/4He, outside of the Local Interstellar Cloud, as part of science verification observations with the upgraded CRyogenic InfraRed Echelle Spectrograph (CRIRES). Our determination of 3He/4He is based on metastable HeI* absorption along the line-of-sight towards Tet02 Ori A in the Orion Nebula. We measure a value 3He/4He=(1.77+/-0.13)x10^{-4}, which is just ~40 per cent above the primordial relative abundance of these isotopes, assuming the Standard Model of particle physics and cosmology, (3He/4He)_p = (1.257+/-0.017)x10^-4. We calculate a suite of galactic chemical evolution simulations to study the Galactic build up of these isotopes, using the yields from Limongi & Chieffi (2018) for stars in the mass range M=8-100 M_sun and Lagarde (2011,2012) for M=0.8-8 M_sun. We find that these simulations simultaneously reproduce the Orion and protosolar 3He/4He values if the calculations are initialized with a primordial ratio (3He/4He)_p=(1.043+/-0.089)x10^-4. Even though the quoted error does not include the model uncertainty, this determination agrees with the Standard Model value to within ~2sigma. We also use the present-day Galactic abundance of deuterium (D/H), helium (He/H), and 3He/4He to infer an empirical limit on the primordial 3He abundance, (3He/H)_p < (1.09+/-0.18)x10^-5, which also agrees with the Standard Model value. We point out that it is becoming increasingly difficult to explain the discrepant primordial 7Li/H abundance with non-standard physics, without breaking the remarkable simultaneous agreement of three primordial element ratios (D/H, 4He/H, and 3He/4He) with the Standard Model values., Comment: 23 pages, 9 figures, Resubmitted to the Astrophysical Journal after addressing referee comments

Density functional theory (DFT) including van der Waals weak interaction in conjunction with the so called rotational invariant DFT+U, where $U$ is the Hubbard interaction of the iron site, is used to show that the fluorinated spin crossover Fe(phen$)_{2}$(NCS$)_{2}$ molecule whether in the gas phase or adsorbed on Cu(001) surface switches from the original low spin state to the high spin state. Using Bader electron density analysis, this inversion of the spin-crossover is explained in terms of electron doping of the Fe-octahedron cage which led to an increase of the Fe-N bond lengths. Consequently, the ligand-field splitting is drastically reduced, making the high-spin ground state more stable than the low-spin state. The calculated scanning tunneling microscopy (STM) images in the Tersoff-Hamann approximation show a clear distinction between the fluorinated and the unfluorinated molecule. This theoretical prediction is awaiting future STM experimental confirmation., Comment: 20 pages, 7 figures

We present the discovery of neutral gas detected in both damped Ly$\alpha$ absorption (DLA) and HI 21-cm emission outside of the stellar body of a galaxy, the first such detection in the literature. A joint analysis between the Cosmic Ultraviolet Baryon Survey and the MeerKAT Absorption Line Survey reveals an HI bridge connecting two interacting dwarf galaxies (log$(M_{\text{star}}/\text{M}_{\odot}) = 8.5 \pm 0.2$) that host a $z = 0.026$ DLA with log[$N$(HI)/cm$^{-2}$]$ = 20.60 \pm 0.05$ toward the QSO J2339-5523 ($z_{\text{QSO}} = 1.35$). At impact parameters of $d = 6$ and $33$ kpc, the dwarf galaxies have no companions more luminous than $\approx 0.05L_{*}$ within at least $\Delta v = \pm 300$ km s$^{-1}$ and $d \approx 350$ kpc. HI 21-cm emission is spatially coincident with the DLA at the 2-3$\sigma$ level per spectral channel over several adjacent beams. However, HI 21-cm absorption is not detected against the radio-bright QSO; if the background UV and radio sources are spatially aligned, the gas is either warm or clumpy (with spin temperature to covering factor ratio $T_{s}/f_{c} > 1880$ K). VLT-MUSE observations demonstrate that the $\alpha$-element abundance of the ionized ISM is consistent with the DLA ($\approx 10$% solar), suggesting that the neutral gas envelope is perturbed ISM gas. This study showcases the impact of dwarf-dwarf interactions on the physical and chemical state of neutral gas outside of star-forming regions. In the SKA era, joint UV and HI 21-cm analyses will be critical for connecting the cosmic neutral gas content to galaxy environments., Comment: Accepted for publication in ApJL. 16 pages, 4 figures, 2 tables

We compute the correlated electronic structure of stacked $1T$-TaS$_2$ bilayers using the $GW$ + EDMFT method. Depending on the surface termination, the semi-infinite uncorrelated system is either band-insulating or exhibits a metallic surface state. For realistic values of the onsite and intersite interactions, a Mott gap opens in the surface state, but this gap is smaller than the gap originating from the bilayer structure. Our results are consistent with recent scanning tunneling spectroscopy measurements for different terminating layers, and with our own photoemission measurements, which indicate the coexistence of spatial regions with different gaps in the electronic spectrum.

We explore several aspects of the current fluctuations and correlations in the box-ball system (BBS), an integrable cellular automaton in one space dimension. The state we consider is an ensemble of microscopic configurations where the box occupancies are independent random variables (i.i.d. state), with a given mean ball density. We compute several quantities exactly in such homogeneous stationary state: the mean value and the variance of the number of balls $N_t$ crossing the origin during time $t$, and the scaled cumulants generating function associated to $N_t$. We also compute two spatially integrated current-current correlations. The first one, involving the long-time limit of the current-current correlations, is the so-called Drude weight and is obtained with thermodynamic Bethe Ansatz (TBA). The second one, involving equal time current-current correlations is calculated using a transfer matrix approach. A family of generalized currents, associated to the conserved charges and to the different time evolutions of the models are constructed. The long-time limits of their correlations generalize the Drude weight and the second cumulant of $N_t$ and are found to obey nontrivial symmetry relations. They are computed using TBA and the results are found to be in good agreement with microscopic simulations of the model. TBA is also used to compute explicitly the whole family of flux Jacobian matrices. Finally, some of these results are extended to a (non-i.i.d.) two-temperatures generalized Gibbs state (with one parameter coupled to the total number of balls, and another one coupled to the total number of solitons)., Comment: v2: minor changes. 41 pages, 9 figures. To a appear in J. Phys. A

We propose difference-in-differences estimators in designs where the treatment is continuously distributed at every period, as is often the case when one studies the effects of taxes, tariffs, or prices. We assume that between consecutive periods, the treatment of some units, the switchers, changes, while the treatment of other units remains constant. We show that under a placebo-testable parallel-trends assumption, averages of the slopes of switchers' potential outcomes can be nonparametrically estimated. We generalize our estimators to the instrumental-variable case. We use our estimators to estimate the price-elasticity of gasoline consumption., Comment: 50 pages

We analytically compute the full counting statistics of charge transfer in a classical automaton of interacting charged particles. Deriving a closed-form expression for the moment generating function with respect to a stationary equilibrium state, we employ asymptotic analysis to infer the structure of charge current fluctuations for a continuous range of timescales. The solution exhibits several unorthodox features. Most prominently, on the timescale of typical fluctuations the probability distribution of the integrated charge current in a stationary ensemble without bias is distinctly non-Gaussian despite diffusive behavior of dynamical charge susceptibility. While inducing a charge imbalance is enough to recover Gaussian fluctuations, we find that higher cumulants grow indefinitely in time with different exponents, implying singular scaled cumulants. We associate this phenomenon with the lack of a regularity condition on moment generating functions and the onset of a dynamical critical point. In effect, the scaled cumulant generating function does not, irrespectively of charge bias, represent a faithful generating function of the scaled cumulants, yet the associated Legendre dual yields the correct large-deviation rate function. Our findings hint at novel types of dynamical universality classes in deterministic many-body systems., Comment: v2: 4.5 + 22 pages, minor corrections and fixed typos, new section on phase transition in SM; v3: slightly updated notation

We report {\it HST} COS spectroscopy of 10 quasars with foreground star-forming galaxies at 0.02$<$$z$$<$ 0.14 within impact parameters of $\sim$1-7 kpc. We detect damped/sub-damped Ly$\alpha$ absorption in 100$\%$ of cases where no higher-redshift Lyman-limit systems extinguish the flux at the expected wavelength of Ly$\alpha$ absorption, obtaining the largest targeted sample of DLA/sub-DLAs in low-redshift galaxies. We present absorption measurements of neutral hydrogen and metals. Additionally, we present GBT 21-cm emission measurements for 5 of the galaxies (including 2 detections). Combining our sample with the literature, we construct a sample of 115 galaxies associated with DLA/sub-DLAs spanning 0$<$$z$$<$4.4, and examine trends between gas and stellar properties, and with redshift. The H~I column density is anti-correlated with impact parameter and stellar mass. More massive galaxies appear to have gas-rich regions out to larger distances. The specific SFR (sSFR) of absorbing galaxies increases with redshift and decreases with $M^{\ast}$, consistent with evolution of the star-formation main sequence (SFMS). However, $\sim$20$\%$ of absorbing galaxies lie below the SFMS, indicating that some DLA/sub-DLAs trace galaxies with longer-than-typical gas-depletion time-scales. Most DLA/sub-DLA galaxies with 21-cm emission have higher H I masses than typical galaxies with comparable $M^{\ast}$. High $M_{\rm H I}/M^{\ast}$ ratios and high sSFRs in DLA/sub-DLA galaxies with $M^{\ast}$$<$$10^{9}$$M_{\odot}$ suggest these galaxies may be gas-rich because of recent gas accretion rather than inefficient star formation. Our study demonstrates the power of absorption and emission studies of DLA/sub-DLA galaxies for extending galaxy-evolution studies to previously under-explored regimes of low $M^{\ast}$ and low SFR., Comment: 51 pages, 12 figures. Submitted to the Astrophysical Journal

Despite the wide usage of container-based cloud computing, container auditing for security analysis relies mostly on built-in host audit systems, which often lack the ability to capture high-fidelity container logs. State-of-the-art reference-monitor-based audit techniques greatly improve the quality of audit logs, but their system-wide architecture is too costly to be adapted for individual containers. Moreover, these techniques typically require extensive kernel modifications, making them difficult to deploy in practical settings. In this paper, we present saBPF (secure audit BPF), an extension of the eBPF framework capable of deploying secure system-level audit mechanisms at the container granularity. We demonstrate the practicality of saBPF in Kubernetes by designing an audit framework, an intrusion detection system, and a lightweight access control mechanism. We evaluate saBPF and show that it is comparable in performance and security guarantees to audit systems from the literature that are implemented directly in the kernel., Comment: 15 pages, 7 figures

We use Southern African Large Telescope (SALT) to perform long-slit spectroscopic observations of 23 newly discovered radio-loud quasars (RLQs) at $2.7$1000 km/s in all, except one). Using the samples of high-$z$ radio-loud quasars and galaxies from literature, we confirm the correlation between the Ly$\alpha$ halo luminosity and its size with radio power ($L_{\rm 420MHz}$). The same quantities are found to be correlating weakly with the projected linear size of the radio emission. Our sample is the second largest sample of RLQs being studied for the presence of diffuse Ly$\alpha$ emission and fills in a redshift gap between previous such studies. Integral Field Spectroscopy is required to fully understand the relationship between the large scale radio emission and the overall distribution, kinematics and over density of Ly$\alpha$ emission in the field of these RLQs., Comment: 21 pages + Appendix, 18 figures, Accepted for publication in MNRAS

We investigate, using a first-principles density-functional methodology, the nature of magnetism in monolayer $1T$-phase of tantalum disulfide ($1T$-TaS$_2$ ). Magnetism in the insulating phase of TaS$_2$ is a longstanding puzzle and has led to a variety of theoretical proposals including notably the realization of a two-dimensional quantum-spin-liquid phase. By means of non-collinear spin calculations, we derive $\textit{ab initio}$ spin Hamiltonians including two-spin bilinear Heisenberg exchange, as well as biquadratic and four-spin ring-exchange couplings. We find that both quadratic and quartic interactions are consistently ferromagnetic, for all the functionals considered. Relativistic calculations predict substantial magnetocrystalline anisotropy. Altogether, our results suggest that this material may realize an easy-plane XXZ quantum ferromagnet with large anisotropy., Comment: 6 pages, 4 figures

Relative weight analysis is a classic tool for detecting whether one variable or interaction in a model is relevant. In this study, we focus on the construction of relative weights for non-linear interactions using restricted cubic splines. Our aim is to provide an accessible method to analyze a multivariate model and identify one subset with the most representative set of variables. Furthermore, we developed a procedure for treating control, fixed, free and interaction terms simultaneously in the residual weight analysis. The interactions are residualized properly against their main effects to maintain their true effects in the model. We tested this method using two simulated examples.

We construct an integrable lattice model of classical interacting spins in discrete space-time, representing a discrete-time analogue of the lattice Landau-Lifshitz ferromagnet with uniaxial anisotropy. As an application we use this explicit discrete symplectic integration scheme to compute the spin Drude weight and diffusion constant as functions of anisotropy and chemical potential. We demonstrate qualitatively different behavior in the easy-axis and the easy-plane regimes in the non-magnetized sector. Upon approaching the isotropic point we also find an algebraic divergence of the diffusion constant, signaling a crossover to spin superdiffusion., Comment: 20 pages, 9 figures; V2: typos corrected, a few DOIs added; V3: mistake in Eq. (2.20) corrected

This article presents a study on the quality and execution of research code from publicly-available replication datasets at the Harvard Dataverse repository. Research code is typically created by a group of scientists and published together with academic papers to facilitate research transparency and reproducibility. For this study, we define ten questions to address aspects impacting research reproducibility and reuse. First, we retrieve and analyze more than 2000 replication datasets with over 9000 unique R files published from 2010 to 2020. Second, we execute the code in a clean runtime environment to assess its ease of reuse. Common coding errors were identified, and some of them were solved with automatic code cleaning to aid code execution. We find that 74\% of R files crashed in the initial execution, while 56\% crashed when code cleaning was applied, showing that many errors can be prevented with good coding practices. We also analyze the replication datasets from journals' collections and discuss the impact of the journal policy strictness on the code re-execution rate. Finally, based on our results, we propose a set of recommendations for code dissemination aimed at researchers, journals, and repositories., Comment: 30 pages

The ability to explain decisions to end-users is a necessity to deploy AI as critical decision support. Yet making AI explainable to non-technical end-users is a relatively ignored and challenging problem. To bridge the gap, we first identify twelve end-user-friendly explanatory forms that do not require technical knowledge to comprehend, including feature-, example-, and rule-based explanations. We then instantiate the explanatory forms as prototyping cards in four AI-assisted critical decision-making tasks, and conduct a user study to co-design low-fidelity prototypes with 32 layperson participants. The results confirm the relevance of using explanatory forms as building blocks of explanations, and identify their proprieties - pros, cons, applicable explanation goals, and design implications. The explanatory forms, their proprieties, and prototyping supports (including a suggested prototyping process, design templates and exemplars, and associated algorithms to actualize explanatory forms) constitute the End-User-Centered explainable AI framework EUCA, and is available at http://weinajin.github.io/end-user-xai . It serves as a practical prototyping toolkit for HCI/AI practitioners and researchers to understand user requirements and build end-user-centered explainable AI., Comment: EUCA Framework, EUCA dataset (and accompanying code), and Supplementary Materials are available at: https://github.com/weinajin/end-user-xai

We report the detection of a large ($\sim90$ kpc) and luminous $\mathrm{Ly\alpha}$ nebula [$L\mathrm{_{Ly\alpha}}$ = $(6.80\pm0.08)\times 10^{44}$] $\rm{\,erg\,s^{-1}}$ around an optically faint (r$>23$ mag) radio galaxy M1513-2524 at $z\mathrm{_{em}}$=3.132. The double-lobed radio emission has an extent of 184 kpc, but the radio core, i.e., emission associated with the active galactic nucleus (AGN) itself, is barely detected. This object was found as part of our survey to identify high-$z$ quasars based on Wide-field Infrared Survey Explorer (WISE) colors. The optical spectrum has revealed $\mathrm{Ly\alpha}$, NV, CIV and HeII emission lines with a very weak continuum. Based on long-slit spectroscopy and narrow band imaging centered on the $\mathrm{Ly\alpha}$ emission, we identify two spatial components: a "compact component" with high velocity dispersion ($\sim 1500$$\rm{\,km\,s^{-1}}$) seen in all three lines, and an "extended component", having low velocity dispersion (i.e., 700-1000$\rm{\,km\,s^{-1}}$). The emission line ratios are consistent with the compact component being in photoionization equilibrium with an AGN. We also detect spatially extended associated $\mathrm{Ly\alpha}$ absorption, which is blue-shifted within 250-400$\rm{\,km\,s^{-1}}$ of the $\mathrm{Ly\alpha}$ peak. The probability of $\mathrm{Ly\alpha}$ absorption detection in such large radio sources is found to be low ($\sim$10%) in the literature. M1513-2524 belongs to the top few percent of the population in terms of $\mathrm{Ly\alpha}$ and radio luminosities. Deep integral field spectroscopy is essential for probing this interesting source and its surroundings in more detail., Comment: 19 pages, 15 figures, Accepted for publication in MNRAS