title: Experimental and numerical investigation of inertial particles in underexpanded jets

abstract: Experiments and numerical simulations of inertial particles in underexpanded jets are performed. The structure of the jet is controlled by varying the nozzle pressure ratio, while the influence of particles on emerging shocks and rarefaction patterns is controlled by varying the particle size and mass loading. Ultra-high-speed schlieren and Lagrangian particle tracking are used to experimentally determine the two-phase flow quantities. Three-dimensional simulations are performed using a high-order, low dissipative discretization of the gas phase while particles are tracked individually in a Lagrangian manner. A simple two-way coupling strategy is proposed to handle interphase exchange in the vicinity of shocks. Velocity statistics of each phase are reported for a wide range of pressure ratios, particle sizes, and volume fractions. The extent to which particles affect the location of the Mach disk are quantified and compared to previous work from the literature. Furthermore, a semi-analytic model is presented based on a one-dimensional Fanno flow that takes into account volume displacement by particles and interphase exchange due to drag and heat transfer. The percent shift in Mach disk is found to scale with the mass loading, nozzle pressure ratio, interphase slip velocity, and inversely with the particle diameter.


title: A Modified Depolarization Approach for Efficient Quantum Machine Learning

abstract: Quantum Computing in the Noisy Intermediate-Scale Quantum (NISQ) era has shown promising applications in machine learning, optimization, and cryptography. Despite the progress, challenges persist due to system noise, errors, and decoherence that complicate the simulation of quantum systems. The depolarization channel is a standard tool for simulating a quantum system's noise. However, modeling such noise for practical applications is computationally expensive when we have limited hardware resources, as is the case in the NISQ era. We propose a modified representation for a single-qubit depolarization channel with two Kraus operators based only on X and Z Pauli matrices. Our approach reduces the computational complexity from six to four matrix multiplications per execution of a channel. Experiments on a Quantum Machine Learning (QML) model on the Iris dataset across various circuit depths and depolarization rates validate that our approach maintains the model's accuracy while improving efficiency. This simplified noise model enables more scalable simulations of quantum circuits under depolarization, advancing capabilities in the NISQ era.


title: Financial climate risk: a review of recent advances and key challenges

abstract: The document provides an overview of financial climate risks. It delves into how climate change impacts the global financial system, distinguishing between physical risks (such as extreme weather events) and transition risks (stemming from policy changes and economic transitions towards low carbon technologies). The paper underlines the complexity of accurately defining financial climate risk, citing the integration of climate science with financial risk analysis as a significant challenge. The paper highlights the pivotal role of microfinance institutions (MFIs) in addressing financial climate risk, especially for populations vulnerable to climate change. The document emphasizes the importance of updating risk management practices within MFIs to explicitly include climate risk assessments and suggests leveraging technology to improve these practices.


title: Primordial Intermediate and Supermassive Black Hole formation during the electron-positron annihilation epoch

abstract: Some of the Intermediate Mass Black Hole (IMBH) candidates observed at the center of galaxies or in globular clusters and some of the Supermassive Black Holes (SMBHs) seen at the center of many galaxies might be of primordial origin. Indeed, Primordial Black Holes (PBHs) of such mass could have formed when the Universe was $\sim$1-10$^3$ s old, due to the collapse of density fluctuations. In particular, when the Universe was $\sim 1$ s in age, Electron-Positron Annihilation (EPA) took place. We explore the formation of intermediate mass and supermassive PBHs, taking into account the effect of the EPA when the fluctuations have a running-tilt power-law spectrum: when these cross the $10^{-0.5}$-$10^{3.0}$ s Universe horizon they could produce $5\times 10^{3}$ - $5\times 10^{8}M_{\odot}$ PBHs with a density as high as $\sim 10^{10}$/Gpc$^3$. On average, this implies a population of about one thousand PBHs in the Local Group of Galaxies, with the nearest one at about 250 kpc, just under half the distance to the Andromeda galaxy (M31).


title: Proper motion study of the 6.7 GHz methanol maser rings. I. A sample of sources with little variation

abstract: Methanol masers at 6.7~GHz are well-known signposts of high-mass star-forming regions. [...] We aim to understand the origin of the ring-like structures outlined by methanol maser emission in a number of sources. This emission could be, a priori, spatially associated with an outflow and/or disc around a high-mass protostar. [...] Using sensitive, three-epoch observations spanning over eight years with the European VLBI Network, we have started the most direct investigations of maser rings using very accurate proper motion measurements with uncertainties below 1\,km~s$^{-1}$. We present full results for the five targets of our sample, G23.207-00.377, G23.389+00.185, G28.817+00.365, G31.047+00.356, and G31.581+00.077, where proper motions show similar characteristics; maser cloudlets do not move inwards towards the centre of the rings but rather outwards. We also include the most circular source, G23.657-00.127, in the discussion as a reference. The magnitude of maser proper motions ranges from a maximum of about 13\,km~s$^{-1}$ to 0.5~km~s$^{-1}$. In two of the five sources with a high number of maser spots (>100), namely G23.207-00.377 and G23.389+00.185, we show that the size of the best elliptical model, fitted to the distribution of persistent masers, increases in time in a manner similar to the case of G23.657-00.127. Moreover, we checked the separations between the pairs of spots from distinct regions, and we were able to assess that G28.817+00.365 and G31.047+00.356 can be interpreted as showing expanding motions. We analysed the profiles of single maser cloudlets and studied their variability. Contrary to single-dish studies, the interferometric data indicate variability of the emission of single-masing cloudlets. In five of the six targets expansion motions prevail. Only in the case of G31.581+00.077 can a scenario of disc-like rotation not be excluded. [...]


title: Determination of $K^0_S$ Fragmentation Functions including BESIII Measurements and using Neural Networks

abstract: In this study, we revisit the extraction of parton-to-$K^0_S$ hadron fragmentation functions, named FF24-$K^0_S$, focusing on both next-to-leading-order and next-to-next-to-leading-order accuracy in perturbative QCD. Our approach involves the analysis of single inclusive electron-positron annihilation (SIA) data. The two key improvements are, on the one hand, the incorporation of the latest experimental data from the BESIII experiment and, on the other hand, the adoption of Neural Networks in the fitting procedure. To address experimental uncertainties, the Monte Carlo method is employed. Our investigation also explores the impact of hadron mass corrections on the description of SIA data, spanning a broad kinematic regime with a particular emphasis on the range of small $z$ values. The theory prediction for $K^0_S$ production at both NLO and NNLO accuracy exhibits good agreement with experimental data within their respective uncertainties.


title: Finite-temperature renormalization of Standard Model coupled with gravity, and its implications for cosmology

abstract: Finite-temperature one-loop renormalization of the Standard Model, coupled with dynamic metrics, is conducted in this study. The entire analysis is coherently carried out by using the refined background field method, applied in the spirit of the Coleman-Weinberg technique. The general form of the propagator, introduced in our previous work to facilitate Feynman diagram computation in a general curved background, proves useful in the presence of time-dependent temperature. Its utilization allows for the analysis of a FLRW background to essentially reduce to that of a constant finite-T flat spacetime. Notably, this method also provides an effective tool for addressing one of the longstanding problems in QCD, the Linde problem. The implications of our findings for cosmology, particularly the cosmological constant problem and Hubble tension, are discussed.


title: PEAVS: Perceptual Evaluation of Audio-Visual Synchrony Grounded in Viewers' Opinion Scores

abstract: Recent advancements in audio-visual generative modeling have been propelled by progress in deep learning and the availability of data-rich benchmarks. However, the growth is not attributed solely to models and benchmarks. Universally accepted evaluation metrics also play an important role in advancing the field. While there are many metrics available to evaluate audio and visual content separately, there is a lack of metrics that offer a quantitative and interpretable measure of audio-visual synchronization for videos "in the wild". To address this gap, we first created a large scale human annotated dataset (100+ hrs) representing nine types of synchronization errors in audio-visual content and how human perceive them. We then developed a PEAVS (Perceptual Evaluation of Audio-Visual Synchrony) score, a novel automatic metric with a 5-point scale that evaluates the quality of audio-visual synchronization. We validate PEAVS using a newly generated dataset, achieving a Pearson correlation of 0.79 at the set level and 0.54 at the clip level when compared to human labels. In our experiments, we observe a relative gain 50% over a natural extension of Fr\'echet based metrics for Audio-Visual synchrony, confirming PEAVS efficacy in objectively modeling subjective perceptions of audio-visual synchronization for videos "in the wild".


title: Probabilistic estimates of the diameters of the Rubik's Cube groups

abstract: The diameter of the Cayley graph of the Rubik's Cube group is the fewest number of turns needed to solve the Cube from any initial configurations. For the 2$\times$2$\times$2 Cube, the diameter is 11 in the half-turn metric, 14 in the quarter-turn metric, 19 in the semi-quarter-turn metric, and 10 in the bi-quarter-turn metric. For the 3$\times$3$\times$3 Cube, the diameter was determined by Rokicki et al. to be 20 in the half-turn metric and 26 in the quarter-turn metric. This study shows that a modified version of the coupon collector's problem in probabilistic theory can predict the diameters correctly for both 2$\times$2$\times$2 and 3$\times$3$\times$3 Cubes insofar as the quarter-turn metric is adopted. In the half-turn metric, the diameters are overestimated by one and two, respectively, for the 2$\times$2$\times$2 and 3$\times$3$\times$3 Cubes, whereas for the 2$\times$2$\times$2 Cube in the semi-quarter-turn and bi-quarter-turn metrics, they are overestimated by two and underestimated by one, respectively. Invoking the same probabilistic logic, the diameters of the 4$\times$4$\times$4 and 5$\times$5$\times$5 Cubes are predicted to be 48 (41) and 68 (58) in the quarter-turn (half-turn) metric, whose precise determinations are far beyond reach of classical supercomputing. It is shown that the probabilistically estimated diameter is approximated by $\ln N / \ln r + \ln N / r$, where $N$ is the number of configurations and $r$ is the branching ratio.


title: Classifying Density Matrices of 2 and 3 Qubit States Up To LU Equivalence

abstract: In this paper we present a modified version of the proof given Jing-Yang-Zhao's paper titled "Local Unitary Equivalence of Quantum States and Simultaneous Orthogonal Equivalence," which established the correspondance between local unitary equivalence and simultaneous orthogonal equivalence of $2$-qubits. Our modified proof utilizes a hypermatrix algebra framework, and through this framework we are able to generalize this correspondence to $3$-qubits. Finally, we apply a generalization of Specht's criterion (first proved in "Specht's Criterion for Systems of Linear Mappings" by V. Futorney, R. A. Horn, and V. V. Sergeichuk) to reduce the problem of local unitary equivalence of $3$-qubits to checking trace identities and a few other easy-to-check properties. We also note that all of these results can be extended to $2$ and $3$ qudits if we relax the notion of LU equivalence to quasi-LU equivalence, as defined in the aforementioned paper by Jing et. al.


title: Doomed Worlds I: No new evidence for orbital decay in a long-term survey of 43 ultra-hot Jupiters

abstract: Ultra-hot Jupiters are likely doomed by tidal forces to undergo orbital decay and eventual disruption by their stars, but the timescale over which this process unfolds is unknown. We present results from a long-term project to monitor ultra-hot Jupiters transits. We recovered WASP-12 b's orbital decay rate of dP/dt = -29.8 +/- 1.6 ms yr-1, in agreement with prior work. Five other systems initially had promising non-linear transit ephemerides. However, a closer examination of two -- WASP-19 b and CoRoT-2 b, both with prior tentative detections -- revealed several independent errors with the literature timing data; after correction neither planet shows signs of orbital decay. Meanwhile, a potential decreasing period for TrES-1 b, dP/dt = -16 +/- 5 ms yr-1, corresponds to a tidal quality factor Q*' = 160 and likely does not result from orbital decay, if driven by dissipation within the host star. Nominal period increases in two systems, WASP-121 b and WASP-46 b, rest on a small handful of points. Only 1/43 planets (WASP-12 b) in our sample is experiencing detectable orbital decay. For nearly half (20/42) we can rule out dP/dt as high as observed for WASP-12 b. Thus while many ultra-hot Jupiters could still be experiencing rapid decay that we cannot yet detect, a sizeable sub-population of UHJs are decaying at least an order of magnitude more slowly than WASP-12 b. Our reanalysis of Kepler-1658 b with no new data finds that it remains a promising orbital decay candidate. Finally, we recommend that the scientific community take steps to avoid spurious detections through better management of the multi-decade-spanning datasets needed to search for and study planetary orbital decay.


title: RIP Twitter API: A eulogy to its vast research contributions

abstract: Since 2006, Twitter's Application Programming Interface (API) has been a treasure trove of high-quality data for researchers studying everything from the spread of misinformation, to social psychology and emergency management. However, in the spring of 2023, Twitter (now called X) began changing $42,000/month for its Enterprise access level, an essential death knell for researcher use. Lacking sufficient funds to pay this monthly fee, academics are now scrambling to continue their research without this important data source. This study collects and tabulates the number of studies, number of citations, dates, major disciplines, and major topic areas of studies that used Twitter data between 2006 and 2023. While we cannot know for certain what will be lost now that Twitter data is cost prohibitive, we can illustrate its research value during the time it was available. A search of 8 databases and 3 related APIs found that since 2006, a total of 27,453 studies have been published in 7,432 publication venues, with 1,303,142 citations, across 14 disciplines. Major disciplines include: computational social science, engineering, data science, social media studies, public health, and medicine. Major topics include: information dissemination, assessing the credibility of tweets, strategies for conducting data research, detecting and analyzing major events, and studying human behavior. Twitter data studies have increased every year since 2006, but following Twitter's decision to begin charging for data in the spring of 2023, the number of studies published in 2023 decreased by 13% compared to 2022. We assume that much of the data used for studies published in 2023 were collected prior to Twitter's shutdown, and thus the number of new studies are likely to decline further in subsequent years.


title: Conformer-1: Robust ASR via Large-Scale Semisupervised Bootstrapping

abstract: This paper presents Conformer-1, an end-to-end Automatic Speech Recognition (ASR) model trained on an extensive dataset of 570k hours of speech audio data, 91% of which was acquired from publicly available sources. To achieve this, we perform Noisy Student Training after generating pseudo-labels for the unlabeled public data using a strong Conformer RNN-T baseline model. The addition of these pseudo-labeled data results in remarkable improvements in relative Word Error Rate (WER) by 11.5% and 24.3% for our asynchronous and realtime models, respectively. Additionally, the model is more robust to background noise owing to the addition of these data. The results obtained in this study demonstrate that the incorporation of pseudo-labeled publicly available data is a highly effective strategy for improving ASR accuracy and noise robustness.


title: The global Gan-Gross-Prasad conjecture for Fourier-Jacobi periods on unitary groups

abstract: We prove the Gan-Gross-Prasad conjecture for Fourier-Jacobi periods on unitary groups and an Ichino-Ikeda type refinement. Our strategy is based on the comparison of relative trace formulae formulated by Liu. We develop the full coarse spectral and geometric expansions of the relative trace formulae, and compute relevant spectral terms via zeta integrals and truncated periods. We compare all geometric terms and characterize the local geometric comparison in terms of spectral data.


title: Monitoring AGNs with H$\beta$ Asymmetry. IV. First Reverberation Mapping Results of 14 AGNs

abstract: We report first-time reverberation mapping results for 14 AGNs from the ongoing Monitoring AGNs with H$\beta$ Asymmetry campaign (MAHA). These results utilize optical spectra obtained with the Long Slit Spectrograph on the Wyoming Infrared 2.3m Telescope between 2017 November-2023 May. MAHA combines long-duration monitoring with high cadence. We report results from multiple observing seasons for 9 of the 14 objects. These results include H$\beta$ time lags, supermassive black hole masses, and velocity-resolved time lags. The velocity-resolved lags allow us to investigate the kinematics of the broad-line region.


title: Interactive Learning of Physical Object Properties Through Robot Manipulation and Database of Object Measurements

abstract: This work presents a framework for automatically extracting physical object properties, such as material composition, mass, volume, and stiffness, through robot manipulation and a database of object measurements. The framework involves exploratory action selection to maximize learning about objects on a table. A Bayesian network models conditional dependencies between object properties, incorporating prior probability distributions and uncertainty associated with measurement actions. The algorithm selects optimal exploratory actions based on expected information gain and updates object properties through Bayesian inference. Experimental evaluation demonstrates effective action selection compared to a baseline and correct termination of the experiments if there is nothing more to be learned. The algorithm proved to behave intelligently when presented with trick objects with material properties in conflict with their appearance. The robot pipeline integrates with a logging module and an online database of objects, containing over 24,000 measurements of 63 objects with different grippers. All code and data are publicly available, facilitating automatic digitization of objects and their physical properties through exploratory manipulations.


title: Indoor Location Fingerprinting Privacy: A Comprehensive Survey

abstract: The pervasive integration of Indoor Positioning Systems (IPS) arises from the limitations of Global Navigation Satellite Systems (GNSS) in indoor environments, leading to the widespread adoption of Location-Based Services (LBS). Specifically, indoor location fingerprinting employs diverse signal fingerprints from user devices, enabling precise location identification by Location Service Providers (LSP). Despite its broad applications across various domains, indoor location fingerprinting introduces a notable privacy risk, as both LSP and potential adversaries inherently have access to this sensitive information, compromising users' privacy. Consequently, concerns regarding privacy vulnerabilities in this context necessitate a focused exploration of privacy-preserving mechanisms. In response to these concerns, this survey presents a comprehensive review of Privacy-Preserving Mechanisms in Indoor Location Fingerprinting (ILFPPM) based on cryptographic, anonymization, differential privacy (DP), and federated learning (FL) techniques. We also propose a distinctive and novel grouping of privacy vulnerabilities, adversary and attack models, and available evaluation metrics specific to indoor location fingerprinting systems. Given the identified limitations and research gaps in this survey, we highlight numerous prospective opportunities for future investigation, aiming to motivate researchers interested in advancing this field. This survey serves as a valuable reference for researchers and provides a clear overview for those beyond this specific research domain.


title: Phase-Field Modeling of Fracture for Ferromagnetic Materials through Maxwell's Equation

abstract: Electro-active materials are classified as electrostrictive and piezoelectric materials. They deform under the action of an external electric field. Piezoelectric material, as a special class of active materials, can produce an internal electric field when subjected to mechanical stress or strain. In return, there is the converse piezoelectric response, which expresses the induction of the mechanical deformation in the material when it is subjected to the application of the electric field. This work presents a variational-based computational modeling approach for failure prediction of ferromagnetic materials. In order to solve this problem, a coupling between magnetostriction and mechanics is modeled, then the fracture mechanism in ferromagnetic materials is investigated. Furthermore, the failure mechanics of ferromagnetic materials under the magnetostrictive effects is studied based on a variational phase-field model of fracture. Phase-field fracture is numerically challenging since the energy functional may admit several local minima, imposing the global irreversibility of the fracture field and dependency of regularization parameters related discretization size. Here, the failure behavior of a magnetoelastic solid body is formulated based on the Helmholtz free energy function, in which the strain tensor, the magnetic induction vector, and the crack phase-field are introduced as state variables. This coupled formulation leads to a continuity equation for the magnetic vector potential through well-known Maxwell's equations. Hence, the energetic crack driving force is governed by the coupled magneto-mechanical effects under the magneto-static state. Several numerical results substantiate our developments.


title: Gaze-Guided Graph Neural Network for Action Anticipation Conditioned on Intention

abstract: Humans utilize their gaze to concentrate on essential information while perceiving and interpreting intentions in videos. Incorporating human gaze into computational algorithms can significantly enhance model performance in video understanding tasks. In this work, we address a challenging and innovative task in video understanding: predicting the actions of an agent in a video based on a partial video. We introduce the Gaze-guided Action Anticipation algorithm, which establishes a visual-semantic graph from the video input. Our method utilizes a Graph Neural Network to recognize the agent's intention and predict the action sequence to fulfill this intention. To assess the efficiency of our approach, we collect a dataset containing household activities generated in the VirtualHome environment, accompanied by human gaze data of viewing videos. Our method outperforms state-of-the-art techniques, achieving a 7\% improvement in accuracy for 18-class intention recognition. This highlights the efficiency of our method in learning important features from human gaze data.


title: Mixed Reality Heritage Performance As a Decolonising Tool for Heritage Sites

abstract: In this paper we introduce two world-first Mixed Reality (MR) experiences that fuse smart AR glasses and live theatre and take place in a heritage site with the purpose to reveal the site's hidden and difficult histories about slavery. We term these unique general audience experiences Mixed Reality Heritage Performances (MRHP). Along with the development of our initial two performances we designed and developed a tool and guidelines that can help heritage organisations with their decolonising process by critically engaging the public with under-represented voices and viewpoints of troubled European and colonial narratives. The evaluations showed the embodied and affective potential of MRHP to attract and educate heritage audiences visitors. Insights of the design process are being formulated into an extensive design toolkit that aims to support experience design, theatre and heritage professionals to collaboratively carry out similar projects.


title: Recovering the gas properties of protoplanetary disks through parametric visibility modeling: MHO 6

abstract: The composition and distribution of the gas in a protoplanetary disk plays a key role in shaping the outcome of the planet formation process. Observationally, the recovery of information such as the emission height and brightness temperature from interferometric data is often limited by the imaging processes. To overcome the limitations of image-reconstruction when analyzing gas emission from interferometric observations, we have introduced a parametric model to fit the main observable properties of the gaseous disk component in the visibility plane. This approach is also known as parametric visibility modeling. We applied our parametric visibility modeling to the gas brightness distribution of the molecular line emission from 12CO J=3-2 and 13CO J=3-2 in the disk around MHO 6, a very-low-mass star in the Taurus star-forming Region. To improve the flux fidelity of our parametric models, we combined models with different pixel resolution before the computation of their visibilities, referred to as ``nesting images.'' When we apply our parametric visibility modeling to MHO 6, with independent fits to the emission from its CO isopotologues, the models return the same consistent results for the stellar mass, disk geometry, and central velocity. The surface height and brightness temperature distribution are also recovered. When compared to other disks, MHO 6 surface height is among the most elevated surfaces, consistent with the predictions for disks around very-low-mass stars. This work demonstrates the feasibility of running rapidly iterable parametric visibility models in moderate resolution and sensitivity interferometric observations. More importantly, this methodology opens the analysis of disk's gas morphology to observations where image-based techniques are unable to robustly operate, as in the case of the compact disk around MHO 6.


title: Random permutation matrix models for graph products

abstract: Graph independence (also known as $\epsilon$-independence or $\lambda$-independence) is a mixture of classical independence and free independence corresponding to graph products or groups and operator algebras. Using conjugation by certain random permutation matrices, we construct random matrix models for graph independence with amalgamation over the diagonal matrices. This yields a new probabilist,ic proof that graph products of sofic groups are sofic.


title: A Transformer-Based Model for the Prediction of Human Gaze Behavior on Videos

abstract: Eye-tracking applications that utilize the human gaze in video understanding tasks have become increasingly important. To effectively automate the process of video analysis based on eye-tracking data, it is important to accurately replicate human gaze behavior. However, this task presents significant challenges due to the inherent complexity and ambiguity of human gaze patterns. In this work, we introduce a novel method for simulating human gaze behavior. Our approach uses a transformer-based reinforcement learning algorithm to train an agent that acts as a human observer, with the primary role of watching videos and simulating human gaze behavior. We employed an eye-tracking dataset gathered from videos generated by the VirtualHome simulator, with a primary focus on activity recognition. Our experimental results demonstrate the effectiveness of our gaze prediction method by highlighting its capability to replicate human gaze behavior and its applicability for downstream tasks where real human-gaze is used as input.


title: Nonlinear Hall effect in isotropic k-cubed Rashba model: Berry-curvature-dipole engineering by in-plane magnetic field

abstract: The linear and nonlinear Hall effects in 2D systems are considered theoretically within the isotropic k-cubed Rashba model. We show that the presence of an out-of-plane external magnetic field or net magnetization is a necessary condition to induce a nonzero Berry curvature in the system, whereas an in-plane magnetic field tunes the Berry curvature leading to the Berry curvature dipole. Interestingly, in the linear response regime, the conductivity is dominated by the intrinsic component (Berry curvature component), whereas the second-order correction to the Hall current (i.e., the conductivity proportional to the external electric field) is dominated by the component independent of the Berry curvature dipole.


title: Addressing the Abstraction and Reasoning Corpus via Procedural Example Generation

abstract: This work presents code to procedurally generate examples for the ARC training tasks. For each of the 400 tasks, an example generator following the transformation logic of the original examples was created. In effect, the assumed underlying distribution of examples for any given task was reverse engineered by implementing a means to sample from it. An attempt was made to cover an as large as reasonable space of possible examples for each task. That is, whenever the original examples of a given task may be limited in their diversity e.g. by having the dimensions of the grids, the set of symbols or number of objects constant or within tight bounds, even though the transformation does not require it, such constraints were lifted. Having access to not just a few examples per task, as the case for ARC, but instead very many, should enable a wide range of experiments that may be important stepping stones towards making leaps on the benchmark.


title: FairEM360: A Suite for Responsible Entity Matching

abstract: Entity matching is one the earliest tasks that occur in the big data pipeline and is alarmingly exposed to unintentional biases that affect the quality of data. Identifying and mitigating the biases that exist in the data or are introduced by the matcher at this stage can contribute to promoting fairness in downstream tasks. This demonstration showcases FairEM360, a framework for 1) auditing the output of entity matchers across a wide range of fairness measures and paradigms, 2) providing potential explanations for the underlying reasons for unfairness, and 3) providing resolutions for the unfairness issues through an exploratory process with human-in-the-loop feedback, utilizing an ensemble of matchers. We aspire for FairEM360 to contribute to the prioritization of fairness as a key consideration in the evaluation of EM pipelines.


title: Resolved UV and optical color gradients reveal environmental influence on galaxy evolution at redshift z$\sim$1.6

abstract: The changes in colors across a galaxy are intimately connected to the galaxy's formation, growth, quenching history, and dust content. A particularly important epoch in the growth of galaxies is near $z \sim 2$ often referred to as 'cosmic noon', where galaxies on average reach the peak of their star formation. We study a population of 125 cluster galaxies at $z \sim 1.6$ in three Hubble Space Telescope (HST) filters, F475W, F625W, and F160W, roughly corresponding to the rest-frame FUV, NUV, and r band, respectively. By comparing to a control sample of 200 field galaxies at similar redshift, we reveal clear, statistically significant differences in the overall spatially resolved colors and color gradients in galaxies across these two different environments. On average, cluster galaxies have redder UV colors in both the inner and outer regions bounded by $r_{\mathrm{50}}$, as well as an overall wider dispersion of outside-in color gradients. The presence of these observed differences, along with evidence from ancillary data from previous studies, strongly suggests that the environment drives these population-level color differences, by affecting the stellar populations and/or dust content.


title: GANsemble for Small and Imbalanced Data Sets: A Baseline for Synthetic Microplastics Data

abstract: Microplastic particle ingestion or inhalation by humans is a problem of growing concern. Unfortunately, current research methods that use machine learning to understand their potential harms are obstructed by a lack of available data. Deep learning techniques in particular are challenged by such domains where only small or imbalanced data sets are available. Overcoming this challenge often involves oversampling underrepresented classes or augmenting the existing data to improve model performance. This paper proposes GANsemble: a two-module framework connecting data augmentation with conditional generative adversarial networks (cGANs) to generate class-conditioned synthetic data. First, the data chooser module automates augmentation strategy selection by searching for the best data augmentation strategy. Next, the cGAN module uses this strategy to train a cGAN for generating enhanced synthetic data. We experiment with the GANsemble framework on a small and imbalanced microplastics data set. A Microplastic-cGAN (MPcGAN) algorithm is introduced, and baselines for synthetic microplastics (SYMP) data are established in terms of Frechet Inception Distance (FID) and Inception Scores (IS). We also provide a synthetic microplastics filter (SYMP-Filter) algorithm to increase the quality of generated SYMP. Additionally, we show the best amount of oversampling with augmentation to fix class imbalance in small microplastics data sets. To our knowledge, this study is the first application of generative AI to synthetically create microplastics data.


title: On the nature of inner light-rings

abstract: Non-singular horizonless ultracompact objects provide a simple resolution to the black holes singularity problem. It has been shown that, if these objects are compact enough to exhibit the presence of the light-ring required to mimic the phenomenology of general relativity black holes, they must have at least one additional light-ring. The stability of the inner light ring has been proven under the assumption of Einstein equations and the validity of the null energy condition. Since this can have important repercussions on the instability of a horizonless ultracompact object and the existence of the latter requires some modified gravitational dynamics and/or exotic matter, it is desirable to obtain a model-independent proof of the stability of the additional light-ring. In this paper, we prove the stability of the inner light-ring without any assumption on the dynamics of the theory, while assuming that the outer light-ring has the same properties as the Kerr light-ring. Given the stringent observational constraints on the geometry at the outer light-ring scale, our result now rests solely on geometric considerations and applies to any theory of gravity with any matter content that cannot be ruled out by observations.


title: A solution for the mean parametrization of the von Mises-Fisher distribution

abstract: The von Mises-Fisher distribution as an exponential family can be expressed in terms of either its natural or its mean parameters. Unfortunately, however, the normalization function for the distribution in terms of its mean parameters is not available in closed form, limiting the practicality of the mean parametrization and complicating maximum-likelihood estimation more generally. We derive a second-order ordinary differential equation, the solution to which yields the mean-parameter normalizer along with its first two derivatives, as well as the variance function of the family. We also provide closed-form approximations to the solution of the differential equation. This allows rapid evaluation of both densities and natural parameters in terms of mean parameters. We show applications to topic modeling with mixtures of von Mises-Fisher distributions using Bregman Clustering.


title: Relativistic and quantum electrodynamics effects on NMR shielding tensors of Tl$X$ ($X$ = H, F, Cl, Br, I, At) molecules

abstract: Results of relativistic calculations of nuclear magnetic resonance shielding tensors ($\sigma$) for the thallium monocation (Tl$^+$), thallium hydride (TlH) and thallium halides (TlF, TlCl, TlBr, TlI, and TlAt) are presented as obtained within a four-component polarization propagator formalism and a two-component linear response approach within the zeroth-order regular approximation. Additionally, some quantum electrodynamical (QED) effects on those NMR shieldings are estimated. A strong dependence of $\sigma$(Tl) on the bonding partner is found, together with a very weak dependence of QED effects with them. In order to explain the trends observed, the excitation patterns associated with relativistic $ee$ (or paramagnetic-like) and $pp$ (or diamagnetic-like) contributions to $\sigma$ are analyzed. For this purpose, also the electronic spin-free and spin-dependent contributions are separated within the two-component zeroth-order regular approximation, and the influence of spin-orbit coupling on involved molecular orbitals is studied, which allows for a thorough understanding of the underlying mechanisms.


title: Enhancing Accessibility in Soft Robotics: Exploring Magnet-Embedded Paper-Based Interactions

abstract: This paper explores the implementation of embedded magnets to enhance paper-based interactions. The integration of magnets in paper-based interactions simplifies the fabrication process, making it more accessible for building soft robotics systems. We discuss various interaction patterns achievable through this approach and highlight their potential applications.


title: Gradient Networks

abstract: Directly parameterizing and learning gradients of functions has widespread significance, with specific applications in optimization, generative modeling, and optimal transport. This paper introduces gradient networks (GradNets): novel neural network architectures that parameterize gradients of various function classes. GradNets exhibit specialized architectural constraints that ensure correspondence to gradient functions. We provide a comprehensive GradNet design framework that includes methods for transforming GradNets into monotone gradient networks (mGradNets), which are guaranteed to represent gradients of convex functions. We establish the approximation capabilities of the proposed GradNet and mGradNet. Our results demonstrate that these networks universally approximate the gradients of (convex) functions. Furthermore, these networks can be customized to correspond to specific spaces of (monotone) gradient functions, including gradients of transformed sums of (convex) ridge functions. Our analysis leads to two distinct GradNet architectures, GradNet-C and GradNet-M, and we describe the corresponding monotone versions, mGradNet-C and mGradNet-M. Our empirical results show that these architectures offer efficient parameterizations and outperform popular methods in gradient field learning tasks.


title: "We Need Structured Output": Towards User-centered Constraints on Large Language Model Output

abstract: Large language models can produce creative and diverse responses. However, to integrate them into current developer workflows, it is essential to constrain their outputs to follow specific formats or standards. In this work, we surveyed 51 experienced industry professionals to understand the range of scenarios and motivations driving the need for output constraints from a user-centered perspective. We identified 134 concrete use cases for constraints at two levels: low-level, which ensures the output adhere to a structured format and an appropriate length, and high-level, which requires the output to follow semantic and stylistic guidelines without hallucination. Critically, applying output constraints could not only streamline the currently repetitive process of developing, testing, and integrating LLM prompts for developers, but also enhance the user experience of LLM-powered features and applications. We conclude with a discussion on user preferences and needs towards articulating intended constraints for LLMs, alongside an initial design for a constraint prototyping tool.


title: ALMA-IMF XIII: N$_2$H$^+$ kinematic analysis on the intermediate protocluster G353.41

abstract: The ALMA-IMF Large Program provides multi-tracer observations of 15 Galactic massive protoclusters at matched sensitivity and spatial resolution. We focus on the dense gas kinematics of the G353.41 protocluster traced by N$_2$H$^+$ (1$-$0), with an spatial resolution $\sim$0.02 pc. G353.41, at a distance of $\sim$2 kpc, has a mass of $\sim$2500 M$_{\odot}$ within $1.3\times1.3$ pc$^2$. We extract the N$_2$H$^+$ isolated line component and we decompose it by fitting up to 3 Gaussian velocity components. This allows us to identify velocity structures that are impossible to identify in the traditional position-velocity diagram. We identify multiple velocity gradients on large ($\sim$1 pc) and small scales ($\sim$0.2 pc). We find good agreement between the N$_2$H$^+$ velocities and the previously reported DCN core velocities, suggesting that cores are kinematically coupled to the dense gas in which they form. We measure 9 converging ``V-shaped'' velocity gradients ($\sim20$ km/s/pc), located in filaments, which are sometimes associated with cores near their point of convergence. The average inflow timescale is $\sim67$ kyr, or about twice the free-fall time of cores in the same area ($\sim33$ kyr) but substantially shorter than protostar lifetime estimates ($\sim$0.5 Myr). We derive mass accretion rates in the range of $(0.35-8.77)\,\times\,10^{-4}$ M$_{\odot}$/yr. This feeding might lead to further filament collapse and formation of new cores. We suggest that the protocluster is collapsing on large scales, but the velocity signature of collapse is slow compared to pure free-fall. These data are consistent with a comparatively slow global protocluster contraction under gravity, and faster core formation within, suggesting the formation of multiple generations of stars over the protocluster lifetime.


title: Fabricating Paper Circuits with Subtractive Processing

abstract: This paper introduces a new method of paper circuit fabrication that overcomes design barriers and increases flexibility in circuit design. Conventional circuit boards rely on thin traces, which limits the complexity and accuracy when applied to paper circuits. To address this issue, we propose a method that uses large conductive zones in paper circuits and performs subtractive processing during their fabrication. This approach eliminates design barriers and allows for more flexibility in circuit design. We introduce PaperCAD, a software tool that simplifies the design process by converting traditional circuit design to paper circuit design. We demonstrate our technique by creating two paper circuit boards. Our approach has the potential to promote the development of new applications for paper circuits.


title: First Eigenvalue Estimates for Asymptotically Hyperbolic Manifolds and their Submanifolds

abstract: We derive a sharp upper bound for the first eigenvalue $\lambda_{1,p}$ of the $p$-Laplacian on asymptotically hyperbolic manifolds for $1<p<\infty$. We then prove that a particular class of conformally compact submanifolds within asymptotically hyperbolic manifolds are themselves asymptotically hyperbolic. As a corollary, we show that for any minimal conformally compact submanifold $Y^{k+1}$ within $\mathbb{H}^{n+1}(-1)$, $\lambda_{1,p}(Y)=\left(\frac{k}{p}\right)^{p}$. We then obtain lower bounds on $\lambda_{1,2}(Y)$ in the case where minimality is replaced with a bounded mean curvature assumption and where the ambient space is a general Poincar\'e-Einstein space whose conformal infinity is of non-negative Yamabe type. In the process, we introduce an invariant $\hat \beta^Y$ for each such submanifold, enabling us to generalize a result due to Cheung-Leung.


title: Differentially Private GANs for Generating Synthetic Indoor Location Data

abstract: The advent of location-based services has led to the widespread adoption of indoor localization systems, which enable location tracking of individuals within enclosed spaces such as buildings. While these systems provide numerous benefits such as improved security and personalized services, they also raise concerns regarding privacy violations. As such, there is a growing need for privacy-preserving solutions that can protect users' sensitive location information while still enabling the functionality of indoor localization systems. In recent years, Differentially Private Generative Adversarial Networks (DPGANs) have emerged as a powerful methodology that aims to protect the privacy of individual data points while generating realistic synthetic data similar to original data. DPGANs combine the power of generative adversarial networks (GANs) with the privacy-preserving technique of differential privacy (DP). In this paper, we introduce an indoor localization framework employing DPGANs in order to generate privacy-preserving indoor location data. We evaluate the performance of our framework on a real-world indoor localization dataset and demonstrate its effectiveness in preserving privacy while maintaining the accuracy of the localization system.


title: Lock-Key Microfluidics: Simulating Nematic Colloid Advection along Wavy-Walled Channels

abstract: Liquid crystalline media mediate interactions between suspended particles and confining geometries, which not only has potential to guide patterning and bottom-up colloidal assembly, but can also control colloidal migration in microfluidic devices. However, simulating such dynamics is challenging because nemato-elasticity, diffusivity and hydrodynamic interactions must all be accounted for within complex boundaries. We model the advection of colloids dispersed in flowing and fluctuating nematic fluids confined within 2D wavy channels. A lock-key mechanism between colloids and troughs is found to be stronger for planar anchoring compared to homeotropic anchoring due to the relative location of the colloid-associated defects. Sufficiently large amplitudes result in stick-slip trajectories and even permanent locking of colloids in place. These results demonstrate that wavy walls not only have potential to direct colloids to specific docking sites but also to control site-specific resting duration and intermittent elution.


title: On K\"othe duals of Orlicz-Lorentz spaces

abstract: In this article, we study a number of properties of the K\"othe duals $\mathcal{M}_{\varphi,w}$ of Orlicz-Lorentz spaces. An explicit description of the order-continuous subspace of $\mathcal{M}_{\varphi,w}$ is provided. Moreover, the separability of these spaces is characterized by the growth condition $\Delta_2$. Consequently, the K\"othe dual space $\mathcal{M}_{\varphi,w}$ has the Radon-Nikod\'ym property if and only if the N-function at infinity $\varphi$ satisfies the appropriate $\Delta_2$-condition. The comparison between $\mathcal{M}_{\varphi,w}$ spaces is characterized via standard orders between Orlicz functions. As applications of these results, we provide sufficient conditions for M-embedded order-continuous subspaces of Orlicz-Lorentz spaces equipped with the Luxemburg norm and prove the existence of a unique norm-preserving extension on Orlicz-Lorentz spaces equipped with the Orlicz norm.


title: Origin of pinning disorder in magnetic-field-induced Wigner solids

abstract: At low Landau level filling factors ($\nu$), Wigner solid phases of two-dimensional electron systems in GaAs are pinned by disorder, and exhibit a pinning mode, whose frequency is a measure of the disorder that pins the Wigner solid. Despite numerous studies spanning the last three decades, the origin of the disorder that causes the pinning and determines the pinning mode frequency remains unknown. Here we present a study of the pinning mode resonance in the low-$\nu$ Wigner solid phases of a series of ultralow-disorder GaAs quantum wells which are similar except for their varying well widths, $d$. The pinning mode frequencies,$f_p$, decrease strongly as $d$ increases, with the widest well exhibiting $f_p$ as low as $\simeq$35 MHz. The amount of reduction of \fp\ with increasing $d$ can be explained remarkably well by tails of the wave function impinging into the alloy-disordered Al$_x$Ga$_{1-x}$As barriers that contain the electrons. However, it is imperative that the model for the confinement and wave function includes the Coulomb repulsion in the growth direction between the electrons as they occupy the quantum well.


title: A complete characterization of a correlated Bernoulli process

abstract: We present a complete characterization of the asymptotic behaviour of a correlated Bernoulli sequence { which depends on the parameter $\theta \in [0,1]$. A martingale theory based approach will allow} us to prove versions of the law of large numbers, quadratic strong law, law of iterated logarithm, almost sure central limit theorem and functional central limit theorem, in the case $\theta \le 1/2$. For $\theta > 1/2$, we will obtain a strong convergence to a non-degenerated random variable, including a central limit theorem and a law of iterated logarithm for the fluctuations.


title: Gate-tunable phase transition in a bosonic Su-Schrieffer-Heeger chain

abstract: Metamaterials engineered to host topological states of matter in controllable quantum systems hold promise for the advancement of quantum simulations and quantum computing technologies. In this context, the Su-Schrieffer-Heeger (SSH) model has gained prominence due to its simplicity and practical applications. Here, we present the implementation of a gate-tunable, five-unit-cell bosonic SSH chain on a one-dimensional lattice of superconducting resonators. We achieve electrostatic control over the inductive intra-cell coupling using semiconductor nanowire junctions, which enables the spectroscopic observation of a transition from a trivial to a topological phase in the engineered metamaterial. In contrast to prior work, our approach offers precise and independent in-situ tuning of the coupling parameters. Finally, we discuss the robustness of the topological edge state against various disorder realizations. Our results supplement efforts towards gate-controlled superconducting electronics and large controllable bosonic lattices to enable quantum simulations.


title: Cyclic wide subalgebras of semisimple Lie algebras

abstract: Let $\mathfrak{s}$ $\ltimes$ $\mathfrak{r}$ be a Levi decomposable Lie algebra, with Levi factor $\mathfrak{s}$, and radical $\mathfrak{r}$. A module $V$ of $\mathfrak{s}$ $\ltimes$ $\mathfrak{r}$ is cyclic indecomposable if it is indecomposable and the quotient module $V /\mathfrak{r}\cdot V$ is a simple $\mathfrak{s}$-module. A Levi decomposable subalgebra of a semisimple Lie algebra is cyclic wide if the restriction of every simple module of the semisimple Lie algebra to the subalgebra is cyclic indecomposable. We establish a condition for a regular Levi decomposable subalgebra of a semisimple Lie algebra to be cyclic wide. Then, in the case of a regular Levi decomposable subalgebra whose radical is an ad-nilpotent subalgebra, we show that the condition is necessary and sufficient for the subalgebra to be cyclic wide. All Lie algebras, and modules in this article are finite-dimensional, and over the complex numbers.


title: Synthesizing Neural Network Controllers with Closed-Loop Dissipativity Guarantees

abstract: In this paper, a method is presented to synthesize neural network controllers such that the feedback system of plant and controller is dissipative, certifying performance requirements such as L2 gain bounds. The class of plants considered is that of linear time-invariant (LTI) systems interconnected with an uncertainty, including nonlinearities treated as an uncertainty for convenience of analysis. The uncertainty of the plant and the nonlinearities of the neural network are both described using integral quadratic constraints (IQCs). First, a dissipativity condition is derived for uncertain LTI systems. Second, this condition is used to construct a linear matrix inequality (LMI) which can be used to synthesize neural network controllers. Finally, this convex condition is used in a projection-based training method to synthesize neural network controllers with dissipativity guarantees. Numerical examples on an inverted pendulum and a flexible rod on a cart are provided to demonstrate the effectiveness of this approach.


title: Improving Multi-Center Generalizability of GAN-Based Fat Suppression using Federated Learning

abstract: Generative Adversarial Network (GAN)-based synthesis of fat suppressed (FS) MRIs from non-FS proton density sequences has the potential to accelerate acquisition of knee MRIs. However, GANs trained on single-site data have poor generalizability to external data. We show that federated learning can improve multi-center generalizability of GANs for synthesizing FS MRIs, while facilitating privacy-preserving multi-institutional collaborations.


title: Subcritical Fourier uncertainty principles

abstract: It is well known that if a function $f$ satisfies $$ \norm{f(x) e^{\pi \alpha |x|^2}}_p + \norm{\widehat{f}(\xi) e^{\pi \alpha |\xi|^2}}_q<\infty \eqno{(*)}$$ with $\alpha=1$ and $1\le p,q<\infty$, then $f\equiv 0.$ We prove that if $f$ satisfies $(*)$ with some $0<\alpha<1$ and $1\le p,q\leq \infty$, then $$ |f(y)|\le C (1+|y|)^{\frac{d}{p}} e^{- \pi \alpha |y|^2}, \quad y\in \mathbb{R}^d, $$ with $ C=C(\alpha,d,p,q)$ and this bound is sharp for $p\neq 1$. We also study a related uncertainty principle for functions satisfying $\;\;\displaystyle\norm{f(x)|x|^m}_p+ \norm{\widehat{f}(\xi)|\xi|^n}_q <\infty.$


title: LLMs in Biomedicine: A study on clinical Named Entity Recognition

abstract: Large Language Models (LLMs) demonstrate remarkable versatility in various NLP tasks but encounter distinct challenges in biomedicine due to medical language complexities and data scarcity. This paper investigates the application of LLMs in the medical domain by exploring strategies to enhance their performance for the Named-Entity Recognition (NER) task. Specifically, our study reveals the importance of meticulously designed prompts in biomedicine. Strategic selection of in-context examples yields a notable improvement, showcasing ~15-20\% increase in F1 score across all benchmark datasets for few-shot clinical NER. Additionally, our findings suggest that integrating external resources through prompting strategies can bridge the gap between general-purpose LLM proficiency and the specialized demands of medical NER. Leveraging a medical knowledge base, our proposed method inspired by Retrieval-Augmented Generation (RAG) can boost the F1 score of LLMs for zero-shot clinical NER. We will release the code upon publication.


title: Deep Generative Sampling in the Dual Divergence Space: A Data-efficient & Interpretative Approach for Generative AI

abstract: Building on the remarkable achievements in generative sampling of natural images, we propose an innovative challenge, potentially overly ambitious, which involves generating samples of entire multivariate time series that resemble images. However, the statistical challenge lies in the small sample size, sometimes consisting of a few hundred subjects. This issue is especially problematic for deep generative models that follow the conventional approach of generating samples from a canonical distribution and then decoding or denoising them to match the true data distribution. In contrast, our method is grounded in information theory and aims to implicitly characterize the distribution of images, particularly the (global and local) dependency structure between pixels. We achieve this by empirically estimating its KL-divergence in the dual form with respect to the respective marginal distribution. This enables us to perform generative sampling directly in the optimized 1-D dual divergence space. Specifically, in the dual space, training samples representing the data distribution are embedded in the form of various clusters between two end points. In theory, any sample embedded between those two end points is in-distribution w.r.t. the data distribution. Our key idea for generating novel samples of images is to interpolate between the clusters via a walk as per gradients of the dual function w.r.t. the data dimensions. In addition to the data efficiency gained from direct sampling, we propose an algorithm that offers a significant reduction in sample complexity for estimating the divergence of the data distribution with respect to the marginal distribution. We provide strong theoretical guarantees along with an extensive empirical evaluation using many real-world datasets from diverse domains, establishing the superiority of our approach w.r.t. state-of-the-art deep learning methods.


title: BeyonCE -- Light Curve Modelling Beyond Circular Eclipsers I. Shallot Explorer

abstract: Context. Time-series photometry has given astronomers the tools to study time-dependent astrophysical phenomena, from stellar activity to fast radio bursts and exoplanet transits. Transit events in particular are focused primarily on planetary transits, and eclipsing binaries with eclipse geometries that are parameterised with a few variables, while more complex light curves caused by substructure within the transiting object require customized analysis code. Aims. We present Beyond Circular Eclipsers (BeyonCE), which reduces the parameter space encompassed by the transit of circum-secondary disc (CSD) systems with azimuthally symmetric non-uniform optical depth profiles. By rejecting disc geometries that cannot reproduce the measured gradients within their light curves, we can constrain the size and orientation of discs with complex sub-structure. Methods. We map out all the possible geometries of a disc, calculate the gradients for rings crossing the star, then reject those configurations where the measured gradient of the light curve is greater than the theoretical gradient from the given disc orientation. Results. We present the fitting code BeyonCE and demonstrate its effectiveness in considerably reducing the parameter space of discs that contain azimuthally symmetric structure by analyzing the light curves seen towards J1407 and PDS 110 which are attributed to CSD transits.


title: Schur rings over ${\bf {\rm Sp}(n,2)}$ and multiplicity one subgroups

abstract: We study commutative Schur rings over the symplectic groups Sp$(n,2)$ containing the class $\mathcal C$ of symplectic transvections. We find the possible partitions of $\mathcal C$ determined by the Schur ring. We show how this restricts the possibilities for multiplicity one subgroups of Sp$(n,2)$.


title: Strong bounds for skew corner-free sets

abstract: Motivated by applications to matrix multiplication algorithms, Pratt asked (ITCS'24) how large a subset of $[n] \times [n]$ could be without containing a skew-corner: three points $(x,y), (x,y+h),(x+h,y')$ with $h \ne 0$. We prove any skew corner-free set has size at most $\exp(-\Omega(\log^{1/12} n))\cdot n^2$, nearly matching the best known lower bound of $\exp(-O(\sqrt{\log n}))\cdot n^2$ by Beker (arXiv'24). Our techniques generalize those of Kelley and Meka's recent breakthrough on three-term arithmetic progression (FOCS'23), answering a question of Beker (arXiv'24). We note that a similar bound was obtained concurrently and independently by Mili\'cevi\'c (arXiv'24).


title: Building Workflows for Interactive Human in the Loop Automated Experiment (hAE) in STEM-EELS

abstract: Exploring the structural, chemical, and physical properties of matter on the nano- and atomic scales has become possible with the recent advances in aberration-corrected electron energy-loss spectroscopy (EELS) in scanning transmission electron microscopy (STEM). However, the current paradigm of STEM-EELS relies on the classical rectangular grid sampling, in which all surface regions are assumed to be of equal a priori interest. This is typically not the case for real-world scenarios, where phenomena of interest are concentrated in a small number of spatial locations. One of foundational problems is the discovery of nanometer- or atomic scale structures having specific signatures in EELS spectra. Here we systematically explore the hyperparameters controlling deep kernel learning (DKL) discovery workflows for STEM-EELS and identify the role of the local structural descriptors and acquisition functions on the experiment progression. In agreement with actual experiment, we observe that for certain parameter combinations the experiment path can be trapped in the local minima. We demonstrate the approaches for monitoring automated experiment in the real and feature space of the system and monitor knowledge acquisition of the DKL model. Based on these, we construct intervention strategies, thus defining human-in the loop automated experiment (hAE). This approach can be further extended to other techniques including 4D STEM and other forms of spectroscopic imaging.


title: Learn from Failure: Fine-Tuning LLMs with Trial-and-Error Data for Intuitionistic Propositional Logic Proving

abstract: Recent advances in Automated Theorem Proving have shown the effectiveness of leveraging a (large) language model that generates tactics (i.e. proof steps) to search through proof states. The current model, while trained solely on successful proof paths, faces a discrepancy at the inference stage, as it must sample and try various tactics at each proof state until finding success, unlike its training which does not incorporate learning from failed attempts. Intuitively, a tactic that leads to a failed search path would indicate that similar tactics should receive less attention during the following trials. In this paper, we demonstrate the benefit of training models that additionally learn from failed search paths. Facing the lack of such trial-and-error data in existing open-source theorem-proving datasets, we curate a dataset on intuitionistic propositional logic theorems and formalize it in Lean, such that we can reliably check the correctness of proofs. We compare our model trained on relatively short trial-and-error information (TrialMaster) with models trained only on the correct paths and discover that the former solves more unseen theorems with lower trial searches.


title: Incorporating Explanations into Human-Machine Interfaces for Trust and Situation Awareness in Autonomous Vehicles

abstract: Autonomous vehicles often make complex decisions via machine learning-based predictive models applied to collected sensor data. While this combination of methods provides a foundation for real-time actions, self-driving behavior primarily remains opaque to end users. In this sense, explainability of real-time decisions is a crucial and natural requirement for building trust in autonomous vehicles. Moreover, as autonomous vehicles still cause serious traffic accidents for various reasons, timely conveyance of upcoming hazards to road users can help improve scene understanding and prevent potential risks. Hence, there is also a need to supply autonomous vehicles with user-friendly interfaces for effective human-machine teaming. Motivated by this problem, we study the role of explainable AI and human-machine interface jointly in building trust in vehicle autonomy. We first present a broad context of the explanatory human-machine systems with the "3W1H" (what, whom, when, how) approach. Based on these findings, we present a situation awareness framework for calibrating users' trust in self-driving behavior. Finally, we perform an experiment on our framework, conduct a user study on it, and validate the empirical findings with hypothesis testing.


title: A~Moebius invariant space of $H$-harmonic functions on the ball

abstract: We~describe a Dirichlet-type space of $H$-harmonic functions, i.e. functions annihilated by the hyperbolic Laplacian on~the unit ball of the real $n$-space, as~the analytic continuation (in~the spirit of Rossi and Vergne) of the corresponding weighted Bergman spaces. Characterizations in terms of derivatives are given, and the associated semi-inner product is shown to be Moebius invariant. We~also give a formula for the corresponding reproducing kernel. Our~results solve an open problem addressed by M.~Stoll in his book ``Harmonic and subharmonic function theory on the hyperbolic ball'' (Cambridge University Press, 2016).


title: Lyapunov-Based Deep Residual Neural Network (ResNet) Adaptive Control

abstract: Deep Neural Network (DNN)-based controllers have emerged as a tool to compensate for unstructured uncertainties in nonlinear dynamical systems. A recent breakthrough in the adaptive control literature provides a Lyapunov-based approach to derive weight adaptation laws for each layer of a fully-connected feedforward DNN-based adaptive controller. However, deriving weight adaptation laws from a Lyapunov-based analysis remains an open problem for deep residual neural networks (ResNets). This paper provides the first result on Lyapunov-derived weight adaptation for a ResNet-based adaptive controller. A nonsmooth Lyapunov-based analysis is provided to guarantee asymptotic tracking error convergence. Comparative Monte Carlo simulations are provided to demonstrate the performance of the developed ResNet-based adaptive controller. The ResNet-based adaptive controller shows a 64% improvement in the tracking and function approximation performance, in comparison to a fully-connected DNN-based adaptive controller.


title: DimBridge: Interactive Explanation of Visual Patterns in Dimensionality Reductions with Predicate Logic

abstract: Dimensionality reduction techniques are widely used for visualizing high-dimensional data. However, support for interpreting patterns of dimension reduction results in the context of the original data space is often insufficient. Consequently, users may struggle to extract insights from the projections. In this paper, we introduce DimBridge, a visual analytics tool that allows users to interact with visual patterns in a projection and retrieve corresponding data patterns. DimBridge supports several interactions, allowing users to perform various analyses, from contrasting multiple clusters to explaining complex latent structures. Leveraging first-order predicate logic, DimBridge identifies subspaces in the original dimensions relevant to a queried pattern and provides an interface for users to visualize and interact with them. We demonstrate how DimBridge can help users overcome the challenges associated with interpreting visual patterns in projections.


title: BISCUIT: Scaffolding LLM-Generated Code with Ephemeral UIs in Computational Notebooks

abstract: Novices frequently engage with machine learning tutorials in computational notebooks and have been adopting code generation technologies based on large language models (LLMs). However, they encounter difficulties in understanding and working with code produced by LLMs. To mitigate these challenges, we introduce a novel workflow into computational notebooks that augments LLM-based code generation with an additional ephemeral UI step, offering users UI-based scaffolds as an intermediate stage between user prompts and code generation. We present this workflow in BISCUIT, an extension for JupyterLab that provides users with ephemeral UIs generated by LLMs based on the context of their code and intentions, scaffolding users to understand, guide, and explore with LLM-generated code. Through a user study where 10 novices used BISCUIT for machine learning tutorials, we discover that BISCUIT offers user semantic representation of code to aid their understanding, reduces the complexity of prompt engineering, and creates a playground for users to explore different variables and iterate on their ideas. We discuss the implications of our findings for UI-centric interactive paradigm in code generation LLMs.


title: The GALEX-Gaia-EDR3 Catalogue of Single and Binary White Dwarfs

abstract: We present a catalogue of white dwarf candidates constructed from the GALEX and Gaia EDR3 catalogues. The catalogue contains 332,111 candidate binary white dwarf systems and 111,996 candidate single white dwarfs. Where available, the catalogue is augmented with photometry from Pan-STARRS DR1, SDSS DR12 and classifications from StarHorse. We fit photometric data with modeled white dwarf cooling sequences to derive mass, age and effective temperature of the white dwarf as well as mass estimates for the companion. We test our classifications against StarHorse, the Gentile-Fusillo Gaia EDR3 catalogue, and white-dwarf-main-sequence binaries identified in SDSS DR12. This catalogue provides a unique probe of the binarity of white dwarfs as well as the abundance of white-dwarf giant binaries and large mass-ratio stellar binaries which are difficult to probe otherwise.


title: Object-Conditioned Energy-Based Attention Map Alignment in Text-to-Image Diffusion Models

abstract: Text-to-image diffusion models have shown great success in generating high-quality text-guided images. Yet, these models may still fail to semantically align generated images with the provided text prompts, leading to problems like incorrect attribute binding and/or catastrophic object neglect. Given the pervasive object-oriented structure underlying text prompts, we introduce a novel object-conditioned Energy-Based Attention Map Alignment (EBAMA) method to address the aforementioned problems. We show that an object-centric attribute binding loss naturally emerges by approximately maximizing the log-likelihood of a $z$-parameterized energy-based model with the help of the negative sampling technique. We further propose an object-centric intensity regularizer to prevent excessive shifts of objects attention towards their attributes. Extensive qualitative and quantitative experiments, including human evaluation, on several challenging benchmarks demonstrate the superior performance of our method over previous strong counterparts. With better aligned attention maps, our approach shows great promise in further enhancing the text-controlled image editing ability of diffusion models.


title: Nonlinear dynamics of confined cell migration -- modeling and inference

abstract: The motility of eukaryotic cells is strongly influenced by their environment, with confined cells often developing qualitatively different motility patterns from those migrating on simple two-dimensional substrates. Recent experiments, coupled with data-driven methods to extract a cell's equation of motion, showed that cancerous MDA-MB-231 cells persistently hop in a limit cycle when placed on two-state adhesive micropatterns (two large squares connected by a narrow bridge), while they remain stationary on average in rectangular confinements. In contrast, healthy MCF10A cells migrating on the two-state micropattern are bistable, i.e., they settle into either basin on average with only noise-induced hops between the two states. We can capture all these behaviors with a single computational phase field model of a crawling cell, under the assumption that contact with non-adhesive substrate inhibits the cell front. Our model predicts that larger and softer cells are more likely to persistently hop, while smaller and stiffer cells are more likely to be bistable. Other key factors controlling cell migration are the frequency of protrusions and their magnitude of noise. Our results show that relatively simple assumptions about how cells sense their geometry can explain a wide variety of different cell behaviors, and show the power of data-driven approaches to characterize both experiment and simulation.


title: Kinematic age of the $\beta$-Pictoris moving group

abstract: Accurate age estimation of nearby young moving groups (NYMGs) is important as they serve as crucial testbeds in various fields of astrophysics, including formation and evolution of stars, planets, as well as loose stellar associations. The $\beta$-Pictoris moving group (BPMG), being one of the closest and youngest NYMGs, has been extensively investigated, and its estimated ages have a wide range from $\sim$10 to 25 Myr, depending on the age estimation methods and data used. Unlike other age dating methods, kinematic traceback analysis offers a model-independent age assessment hence the merit in comparing many seemingly discordant age estimates. In this study, we determine the kinematic ages of the BPMG using three methods: probabilistic volume calculation, mean pairwise distance calculation, and covariance matrix analysis. These methods yield consistent results, with estimated ages in the range of 14 to 20 Myr. Implementing corrections to radial velocities due to gravitational redshift and convectional blueshift increases the ages by $\sim2-4$ Myr. Conversely, considering data uncertainties decreases the estimated ages by 1 to 2 Myr. Taken together, our analysis determined the kinematic age of BPMG to be 16.3$^{+3.4}_{-2.1}$ Myr. This age is significantly younger than the commonly accepted age of the BPMG ($\sim$24 Myr) determined primarily from the lithium depletion boundary analysis. This younger kinematic age may point to the discrepancy between the luminosity evolution and lithium depletion models or the presence of unaccounted systematic error in the method. This result underscores the necessity for systematic reevaluations of age-dating methods for nearby, young moving groups.


title: Synthetic Spectra from Particle-in-cell Simulations of Relativistic Jets containing an initial Toroidal Magnetic Field

abstract: The properties of relativistic jets, their interaction with the environment, and their emission of radiation can be self-consistently studied by using particle-in-cell (PIC) numerical simulations. Using three-dimensional (3D), relativistic PIC simulations, we present the first self-consistently calculated synthetic spectra of head-on and off-axis emission from electrons accelerated in cylindrical, relativistic plasma jets containing an initial toroidal magnetic field. The jet particles are initially accelerated during the linear stage of growing plasma instabilities, which are the Weibel instability (WI), kinetic Kelvin-Helmholtz instability (kKHI), and mushroom instability (MI). In the nonlinear stage, these instabilities are dissipated and generate turbulent magnetic fields which accelerate particles further. We calculate the synthetic spectra by tracing a large number of jet electrons in the nonlinear stage, near the jet head where the magnetic fields are turbulent. Our results show the basic properties of jitter-like radiation emitted by relativistic electrons when they travel through a magnetized plasma with the plasma waves driven by kinetic instabilities (WI, kKHI, and MI) growing into the nonlinear regime. At low frequencies, the slope of the spectrum is ~ 0.94, which is similar to that of the jitter radiation. The results are relevant to active galactic nuclei/blazars and gamma-ray burst jet emission and set the ground for future studies on synthetic spectra from relativistic jets.


title: The immersion poset on partitions

abstract: We introduce the immersion poset $(\mathcal{P}(n), \leqslant_I)$ on partitions, defined by $\lambda \leqslant_I \mu$ if and only if $s_\mu(x_1, \ldots, x_N) - s_\lambda(x_1, \ldots, x_N)$ is monomial-positive. Relations in the immersion poset determine when irreducible polynomial representations of $GL_N(\mathbb{C})$ form an immersion pair, as defined by Prasad and Raghunathan (2022). We develop injections $\mathsf{SSYT}(\lambda, \nu) \hookrightarrow \mathsf{SSYT}(\mu, \nu)$ on semistandard Young tableaux given constraints on the shape of $\lambda$, and present results on immersion relations among hook and two column partitions. The standard immersion poset $(\mathcal{P}(n), \leqslant_{std})$ is a refinement of the immersion poset, defined by $\lambda \leqslant_{std} \mu$ if and only if $\lambda \leqslant_D \mu$ in dominance order and $f^\lambda \leqslant f^\mu$, where $f^\nu$ is the number of standard Young tableaux of shape $\nu$. We classify maximal elements of certain shapes in the standard immersion poset using the hook length formula. Finally, we prove Schur-positivity of power sum symmetric functions $p_{A_\mu}$ on conjectured lower intervals in the immersion poset, addressing questions posed by Sundaram (2018).


title: High-power even- and odd mode emission from linear arrays of resonant-tunneling-diode (RTD) oscillators in the 0.4- to 0.8-THz frequency range

abstract: Resonant tunneling diode (RTD) oscillators possess the highest oscillation frequency among all electronic THz emitters. However, the emitted power from RTDs remains limited. Here, we propose linear RTD-oscillator arrays capable of supporting coherent emission from both odd and even coupled modes. Both modes exhibit constructive interference in the far field, enabling high power emission. Experimental demonstrations of coherent emission from 11-RTD-oscillator linear arrays are presented. The odd mode oscillates at approximately 450 GHz, emitting about 0.5 mW, while the even mode oscillates at around 750 GHz, emitting about 1 mW. Moreover, certain RTD-oscillator arrays demonstrate dual-band oscillation under different biases, allowing for controllable switching between two coupled modes. In addition, during bias sweeping in both directions, a notable hysteresis feature is observed in the switching bias for the odd and even modes. Our linear RTD-oscillator array represents a significant step forward in the realization of high-power large RTD-oscillator arrays and enables large-scale applications of RTD devices.


title: Global versus Local: Evaluating AlexNet Architectures for Tropical Cyclone Intensity Estimation

abstract: Given the destructive impacts of tropical cyclones, it is critical to have a reliable system for cyclone intensity detection. Various techniques are available for this purpose, each with differing levels of accuracy. In this paper, we introduce two ensemble-based models based on AlexNet architecture to estimate tropical cyclone intensity using visible satellite images. The first model, trained on the entire dataset, is called the global AlexNet model. The second model is a distributed version of AlexNet in which multiple AlexNets are trained separately on subsets of the training data categorized according to the Saffir-Simpson wind speed scale prescribed by the meterologists. We evaluated the performance of both models against a deep learning benchmark model called \textit{Deepti} using a publicly available cyclone image dataset. Results indicate that both the global model (with a root mean square error (RMSE) of 9.03 knots) and the distributed model (with a RMSE of 9.3 knots) outperform the benchmark model (with a RMSE of 13.62 knots). We provide a thorough discussion of our solution approach, including an explanantion of the AlexNet's performance using gradient class activation maps (grad-CAM). Our proposed solution strategy allows future experimentation with various deep learning models in both single and multi-channel settings.


title: ChatGPT Can Predict the Future when it Tells Stories Set in the Future About the Past

abstract: This study investigates whether OpenAI's ChatGPT-3.5 and ChatGPT-4 can accurately forecast future events using two distinct prompting strategies. To evaluate the accuracy of the predictions, we take advantage of the fact that the training data at the time of experiment stopped at September 2021, and ask about events that happened in 2022 using ChatGPT-3.5 and ChatGPT-4. We employed two prompting strategies: direct prediction and what we call future narratives which ask ChatGPT to tell fictional stories set in the future with characters that share events that have happened to them, but after ChatGPT's training data had been collected. Concentrating on events in 2022, we prompted ChatGPT to engage in storytelling, particularly within economic contexts. After analyzing 100 prompts, we discovered that future narrative prompts significantly enhanced ChatGPT-4's forecasting accuracy. This was especially evident in its predictions of major Academy Award winners as well as economic trends, the latter inferred from scenarios where the model impersonated public figures like the Federal Reserve Chair, Jerome Powell. These findings indicate that narrative prompts leverage the models' capacity for hallucinatory narrative construction, facilitating more effective data synthesis and extrapolation than straightforward predictions. Our research reveals new aspects of LLMs' predictive capabilities and suggests potential future applications in analytical contexts.


title: Mediated probabilities of causation

abstract: We propose a set of causal estimands that we call ``the mediated probabilities of causation.'' These estimands quantify the probabilities that an observed negative outcome was induced via a mediating pathway versus a direct pathway in a stylized setting involving a binary exposure or intervention, a single binary mediator, and a binary outcome. We outline a set of conditions sufficient to identify these effects given observed data, and propose a doubly-robust projection based estimation strategy that allows for the use of flexible non-parametric and machine learning methods for estimation. We argue that these effects may be more relevant than the probability of causation, particularly in settings where we observe both some negative outcome and negative mediating event, and we wish to distinguish between settings where the outcome was induced via the exposure inducing the mediator versus the exposure inducing the outcome directly. We motivate our quantities of interest by discussing applications to legal and medical questions of causal attribution.


title: Implementation of implicit filter for spatial spectra extraction

abstract: Scale analysis based on coarse-graining has been proposed recently as an alternative to Fourier analysis. It is now broadly used to analyze energy spectra and energy transfers in eddy-resolving ocean simulations. However, for data from unstructured-mesh models it requires interpolation to a regular grid. We present a high-performance Python implementation of an alternative coarse-graining method which relies on implicit filters using discrete Laplacians. This method can work on arbitrary (structured or unstructured) meshes and is applicable to the direct output of unstructured-mesh ocean circulation atmosphere models. The computation is split into two phases: preparation and solving. The first one is specific only to the mesh. This allows for auxiliary arrays that are then computed to be reused, significantly reducing the computation time. The second part consists of sparse matrix algebra and solving linear system. Our implementation is accelerated by GPUs to achieve unmatched performance and scalability. This results in processing data based on meshes with more than 10M surface vertices in a matter of seconds. As an illustration, the method is applied to compute spatial spectra of ocean currents from high-resolution FESOM2 simulations.


title: Post-hurricane building damage assessment using street-view imagery and structured data: A multi-modal deep learning approach

abstract: Accurately assessing building damage is critical for disaster response and recovery. However, many existing models for detecting building damage have poor prediction accuracy due to their limited capabilities of identifying detailed, comprehensive structural and/or non-structural damage from the street-view image. Additionally, these models mainly rely on the imagery data for damage classification, failing to account for other critical information, such as wind speed, building characteristics, evacuation zones, and distance of the building to the hurricane track. To address these limitations, in this study, we propose a novel multi-modal (i.e., imagery and structured data) approach for post-hurricane building damage classification, named the Multi-Modal Swin Transformer (MMST). We empirically train and evaluate the proposed MMST using data collected from the 2022 Hurricane Ian in Florida, USA. Results show that MMST outperforms all selected state-of-the-art benchmark models and can achieve an accuracy of 92.67%, which are 7.71% improvement in accuracy compared to Visual Geometry Group 16 (VGG-16). In addition to the street-view imagery data, building value, building age, and wind speed are the most important predictors for damage level classification. The proposed MMST can be deployed to assist in rapid damage assessment and guide reconnaissance efforts in future hurricanes.


title: A fine-tuning workflow for automatic first-break picking with deep learning

abstract: First-break picking is an essential step in seismic data processing. First arrivals should be picked by an expert. This is a time-consuming procedure and subjective to a certain degree, leading to different results for different operators. In this study, we used a U-Net architecture with residual blocks to perform automatic first-break picking based on deep learning. Focusing on the effects of weight initialization on this process, we conduct this research by using the weights of a pretrained network that is used for object detection on the ImageNet dataset. The efficiency of the proposed method is tested on two real datasets. For both datasets, we pick manually the first breaks for less than 10% of the seismic shots. The pretrained network is fine-tuned on the picked shots and the rest of the shots are automatically picked by the neural network. It is shown that this strategy allows to reduce the size of the training set, requiring fine tuning with only a few picked shots per survey. Using random weights and more training epochs can lead to a lower training loss, but such a strategy leads to overfitting as the test error is higher than the one of the pretrained network. We also assess the possibility of using a general dataset by training a network with data from three different projects that are acquired with different equipment and at different locations. This study shows that if the general dataset is created carefully it can lead to more accurate first-break picking, otherwise the general dataset can decrease the accuracy. Focusing on near-surface geophysics, we perform traveltime tomography and compare the inverted velocity models based on different first-break picking methodologies. The results of the inversion show that the first breaks obtained by the pretrained network lead to a velocity model that is closer to the one obtained from the inversion of expert-picked first breaks.


title: On twisted Kawamata's semi-positivity and finite generation of generalized canonical rings

abstract: We give a twisted version of the Kawamata semi-positivity theorem by the $\mathbb{Q}$-line bundle with a vanishing Lelong number at every point. Moreover, we apply the result for the finite generation problem of canonical rings for Birkar's generalized pairs.


title: An excursion onto Schr\"odinger's bridges: Stochastic flows with spatio-temporal marginals

abstract: The purpose of the present work is to expand substantially the type of control and estimation problems that can be addressed following the paradigm of Schr\"odinger bridges, by incorporating termination (killing) of stochastic flows. Specifically, in the context of estimation, we seek the most likely evolution realizing measured spatio-temporal marginals of killed particles. In the context of control, we seek a suitable control action directing the killed process toward spatio-temporal probabilistic constraints. To this end, we derive a new Schr\"odinger system of coupled, in space and time, partial differential equations to construct the solution of the proposed problem. Further, we show that a Fortet-Sinkhorn type of algorithm is available to attain the associated bridge. A key feature of our framework is that the obtained bridge retains the Markovian structure in the prior process, and thereby, the corresponding controller takes the form of state feedback.


title: SealMates: Supporting Communication in Video Conferencing using a Collective Behavior-Driven Avatar

abstract: The limited nonverbal cues and spatially distributed nature of remote communication make it challenging for unacquainted members to be expressive during social interactions over video conferencing. Though it enables seeing others' facial expressions, the visual feedback can instead lead to unexpected self-focus, resulting in users missing cues for others to engage in the conversation equally. To support expressive communication and equal participation among unacquainted counterparts, we propose SealMates, a behavior-driven avatar in which the avatar infers the engagement level of the group based on collective gaze and speech patterns and then moves across interlocutors' windows in the video conferencing. By conducting a controlled experiment with 15 groups of triads, we found the avatar's movement encouraged people to experience more self-disclosure and made them perceive everyone was equally engaged in the conversation than when there was no behavior-driven avatar. We discuss how a behavior-driven avatar influences distributed members' perceptions and the implications of avatar-mediated communication for future platforms.


title: Statistical Analysis of High-frequency Whistler Waves at Earth's Bow Shock: Further Support for Stochastic Shock Drift Acceleration

abstract: We statistically investigate high-frequency whistler waves (with frequencies higher than $\sim 10$ % of the local elect ron cyclotron frequency) at Earth's bow shock using Magnetospheric Multi-Scale (MMS) spacecraft observations. We focus specifically on the wave power within the shock transition layer, where we expect electron acceleration via stochastic sh ock drift acceleration (SSDA) to occur associated with efficient pitch-angle scattering by whistler waves. We find that the wave power is positively correlated with both the Alfv\'en Mach number in the normal incidence frame $M_{\rm A}$ and in the de Hoffmann-Teller frame $M_{\rm A}/\cos \theta_{Bn}$. The empirical relation with $M_{\rm A}/\cos \theta_{Bn}$ is compared with the theory of SSDA that predicts a threshold wave power proportional to $(M_{\rm A}/\cos \theta_{Bn})^{-2}$. The result suggests that the wave power exceeds the theoretical threshold for $M_{\rm A} / \cos \theta_{Bn} \gtrsim 30-60$, beyond which efficient electron acceleration is expected. This aligns very well with previous statistical analysis of electron acceleration at Earth's bow shock (M. Oka, G eophys.~Res.~Lett., 33, 5, 2006). Therefore, we consider that this study provides further support for SSDA as the mechanism of electron acceleration at Earth's bow shock. At higher-Mach-number astrophysical shocks, SSDA will be able to inject electrons into the diffusive shock acceleration process for subsequent acceleration to cosmic-ray energies.


title: Simplifying Two-Stage Detectors for On-Device Inference in Remote Sensing

abstract: Deep learning has been successfully applied to object detection from remotely sensed images. Images are typically processed on the ground rather than on-board due to the computation power of the ground system. Such offloaded processing causes delays in acquiring target mission information, which hinders its application to real-time use cases. For on-device object detection, researches have been conducted on designing efficient detectors or model compression to reduce inference latency. However, highly accurate two-stage detectors still need further exploitation for acceleration. In this paper, we propose a model simplification method for two-stage object detectors. Instead of constructing a general feature pyramid, we utilize only one feature extraction in the two-stage detector. To compensate for the accuracy drop, we apply a high pass filter to the RPN's score map. Our approach is applicable to any two-stage detector using a feature pyramid network. In the experiments with state-of-the-art two-stage detectors such as ReDet, Oriented-RCNN, and LSKNet, our method reduced computation costs upto 61.2% with the accuracy loss within 2.1% on the DOTAv1.5 dataset. Source code will be released.


title: New SiS destruction and formation routes via neutral-neutral reactions and their fundamental role in interstellar clouds at low and high metallicity values

abstract: Among the silicon bearing species discovered in the interstellar medium, SiS and SiO stand out as key tracers due to their distinct chemistry and abundances in interstellar and circumstellar environments. Our objective is to enhance the network of Si- and S-bearing chemical reactions for a gas-grain model in molecular clouds, encompassing both low and high metallicities. We have calculated the energies and rate coefficients for 6 neutral atom-diatom reactions involved in the SiCS triatomic system, with a special focus on the C+SiS and S+SiC collisions. We employ the coupled cluster method with single and double substitutions and a perturbative treatment of triple substitutions (CCSD(T)) refined at the explicitly correlated CCSD(T)-F12 level. With these computational results in conjunction with data from the literature, we construct an extended network of neutral-neutral chemical reactions. We performed time-dependent models employing the Nautilus gas-grain code, setting the gas temperature to 10 K and the density to 2x10$^4$ cm$^{-3}$. The temperature dependence for the reactions involving SiS were modelled using $k(T)=\alpha \left( T/300 \right)^{\beta} \exp{(-\gamma/T)}$. The high-metallicity models significantly boost the SiS production. Higher initial abundances of C, S, and Si, roughly $\sim$2, 190, and 210 times higher, respectively, contribute to this. Around 10$^3$ yr, destruction mechanisms become relevant. The proposed production reaction S + SiC $\rightarrow$ C + SiS, mitigates these effects. By expanding the gas reaction network using a high metallicity model, we derived estimates for the abundances of interstellar molecules. The inclusion of neutral-neutral mechanisms, particularly via Si+HS and S+SiC channels, played a pivotal role in determining SiS abundance. These mechanisms carry a significance on a par with the well-known and fast ion-neutral reactions.


title: Stellar black holes can "stretch'' supermassive black hole accretion disks

abstract: Stellar black holes (sBHs) are widely believed to exist in the accretion disks of active galactic nuclei (AGNs). Previous studies often focus on the transient emission produced by embedded sBHs. Here, we explore the possible observational consequences of an AGN accretion disk that contains a population of accreting sBHs. Embedded accreting sBHs change the effective temperature distribution of the AGN accretion disk by heating gas in the outer regions. Two possible observational consequences are presented. First, the spectral energy distribution has a turnover feature at $\sim 4700\ \textrm{\AA}$ when the supermassive black hole (SMBH) mass is $\sim 10^8\ M_{\odot}$, which can help explain the observed shallow spectral shape at wavelengths $>5000\ \textrm{\AA}$ for the Sloan Digital Sky Survey quasar composite spectrum. Second, the half-light radius of a given relatively long wavelength is significantly larger than for an AGN disk without sBHs, which can be tested by microlensing observations. With appropriate sBH distributions, the model can be reconciled with quasar microlensing disk sizes. We propose that the half-light radius-wavelength relation can be utilized to investigate the distributions of embedded sBHs in AGN accretion disks.


title: Unveiling Behavioral Transparency of Protocols Communicated by IoT Networked Assets (Full Version)

abstract: Behavioral transparency for Internet-of-Things (IoT) networked assets involves two distinct yet interconnected tasks: (a) characterizing device types by discerning the patterns exhibited in their network traffic, and (b) assessing vulnerabilities they introduce to the network. While identifying communication protocols, particularly at the application layer, plays a vital role in effective network management, current methods are, at best, ad-hoc. Accurate protocol identification and attribute extraction from packet payloads are crucial for distinguishing devices and discovering vulnerabilities. This paper makes three contributions: (1) We process a public dataset to construct specific packet traces pertinent to six standard protocols (TLS, HTTP, DNS, NTP, DHCP, and SSDP) of ten commercial IoT devices. We manually analyze TLS and HTTP flows, highlighting their characteristics, parameters, and adherence to best practices-we make our data publicly available; (2) We develop a common model to describe protocol signatures that help with the systematic analysis of protocols even when communicated through non-standard port numbers; and, (3) We evaluate the efficacy of our data models for the six protocols, which constitute approximately 97% of our dataset. Our data models, except for SSDP in 0.3% of Amazon Echo's flows, produce no false positives for protocol detection. We draw insights into how various IoT devices behave across those protocols by applying these models to our IoT traces.