title: Advanced Millimeter-Wave Radar System for Real-Time Multiple-Human Tracking and Fall Detection

abstract: This study explored an indoor system for tracking multiple humans and detecting falls, employing three Millimeter-Wave radars from Texas Instruments. Compared to wearables and camera methods, Millimeter-Wave radar is not plagued by mobility inconveniences, lighting conditions, or privacy issues. We conducted an initial evaluation of radar characteristics, covering aspects such as interference between radars and coverage area. Then, we established a real-time framework to integrate signals received from these radars, allowing us to track the position and body status of human targets non-intrusively. Additionally, we introduced innovative strategies, including dynamic Density-Based Spatial Clustering of Applications with Noise (DBSCAN) clustering based on signal SNR levels, a probability matrix for enhanced target tracking, target status prediction for fall detection, and a feedback loop for noise reduction. We conducted an extensive evaluation using over 300 min of data, which equated to approximately 360,000 frames. Our prototype system exhibited a remarkable performance, achieving a precision of 98.9% for tracking a single target and 96.5% and 94.0% for tracking two and three targets in human-tracking scenarios, respectively. Moreover, in the field of human fall detection, the system demonstrates a high accuracy rate of 96.3%, underscoring its effectiveness in distinguishing falls from other statuses.


title: On certain properties of the $p$-unitary Cayley graph over a finite ring

abstract: In recent work, we study certain Cayley graphs associated with a finite commutative ring and their multiplicative subgroups. Among various results that we prove, we provide the necessary and sufficient conditions for such a Cayley graph to be prime. In this paper, we continue this line of research. Specifically, we investigate some basic properties of certain $p$-unitary Cayeley graphs associated with a finite commutative ring. In particular, under some mild conditions, we provide the necessary and sufficient conditions for this graph to be prime.


title: Tuning-Free Accountable Intervention for LLM Deployment -- A Metacognitive Approach

abstract: Large Language Models (LLMs) have catalyzed transformative advances across a spectrum of natural language processing tasks through few-shot or zero-shot prompting, bypassing the need for parameter tuning. While convenient, this modus operandi aggravates ``hallucination'' concerns, particularly given the enigmatic ``black-box'' nature behind their gigantic model sizes. Such concerns are exacerbated in high-stakes applications (e.g., healthcare), where unaccountable decision errors can lead to devastating consequences. In contrast, human decision-making relies on nuanced cognitive processes, such as the ability to sense and adaptively correct misjudgments through conceptual understanding. Drawing inspiration from human cognition, we propose an innovative \textit{metacognitive} approach, dubbed \textbf{CLEAR}, to equip LLMs with capabilities for self-aware error identification and correction. Our framework facilitates the construction of concept-specific sparse subnetworks that illuminate transparent decision pathways. This provides a novel interface for model \textit{intervention} after deployment. Our intervention offers compelling advantages: (\textit{i})~at deployment or inference time, our metacognitive LLMs can self-consciously identify potential mispredictions with minimum human involvement, (\textit{ii})~the model has the capability to self-correct its errors efficiently, obviating the need for additional tuning, and (\textit{iii})~the rectification procedure is not only self-explanatory but also user-friendly, enhancing the interpretability and accessibility of the model. By integrating these metacognitive features, our approach pioneers a new path toward engendering greater trustworthiness and accountability in the deployment of LLMs.


title: Models of radiative linear seesaw with electrically charged mediators

abstract: We propose two versions of radiative linear seesaw models, where electrically charged scalars and vector-like leptons generate the Dirac neutrino mass submatrix at one and two loop levels. In these models, the SM charged lepton masses are generated from a one loop level radiative seesaw mechanism mediated by charged exotic vector-like leptons and electrically neutral scalars running in the loops. These models can successfully accommodate the current amount of dark matter and baryon asymmetries observed in the Universe, as well as the muon anomalous magnetic moment.


title: Internet Sanctions on Russian Media: Actions and Effects

abstract: As a response to the Russian aggression against Ukraine, the European Union (EU), through the notion of "digital sovereignty", imposed sanctions on organizations and individuals affiliated with the Russian Federation that prohibit broadcasting content, including online distribution. In this paper, we interrogate the implementation of these sanctions and interpret them as a means to translate the union of states' governmental edicts into effective technical countermeasures. Through longitudinal traffic analysis, we construct an understanding of how ISPs in different EU countries attempted to enforce these sanctions, and compare these implementations to similar measures in other western countries. We find a wide variation of blocking coverage, both internationally and within individual member states. We draw the conclusion that digital sovereignty through sanctions in the EU has a concrete but distinctly limited impact on information flows.


title: A New Homogenization-Free Boundary Condition Towards Aperiodic Metasurface Design Using Full-Wave Surrogate Models of Printed Circuits

abstract: A new homogenization-free boundary condition is introduced for the design of metasurfaces. The boundary condition, linking the tangential electric field to the induced surface current density within a unit cell, is described as a matrix equation containing a surrogate model of a printed circuit. Full-wave simulations are performed to construct the data needed to capture the physics of a printed circuits response to exciting fields in terms of its induced current density. The matrix equation takes the form of a boundary condition which can be included in design and optimization algorithms incorporating mutual coupling in the form of an impedance matrix. Modelling the metasurface in this manner allows for direct design of the realizable model avoiding any homogenization or locally periodic approximations leading to a paradigm shift in metasurface design approaches. The surrogate models construction is described and its use in a 50 printed circuit example is provided.


title: Generating Hard-Negative Out-of-Scope Data with ChatGPT for Intent Classification

abstract: Intent classifiers must be able to distinguish when a user's utterance does not belong to any supported intent to avoid producing incorrect and unrelated system responses. Although out-of-scope (OOS) detection for intent classifiers has been studied, previous work has not yet studied changes in classifier performance against hard-negative out-of-scope utterances (i.e., inputs that share common features with in-scope data, but are actually out-of-scope). We present an automated technique to generate hard-negative OOS data using ChatGPT. We use our technique to build five new hard-negative OOS datasets, and evaluate each against three benchmark intent classifiers. We show that classifiers struggle to correctly identify hard-negative OOS utterances more than general OOS utterances. Finally, we show that incorporating hard-negative OOS data for training improves model robustness when detecting hard-negative OOS data and general OOS data. Our technique, datasets, and evaluation address an important void in the field, offering a straightforward and inexpensive way to collect hard-negative OOS data and improve intent classifiers' robustness.


title: A Feature-based Generalizable Prediction Model for Both Perceptual and Abstract Reasoning

abstract: A hallmark of human intelligence is the ability to infer abstract rules from limited experience and apply these rules to unfamiliar situations. This capacity is widely studied in the visual domain using the Raven's Progressive Matrices. Recent advances in deep learning have led to multiple artificial neural network models matching or even surpassing human performance. However, while humans can identify and express the rule underlying these tasks with little to no exposure, contemporary neural networks often rely on massive pattern-based training and cannot express or extrapolate the rule inferred from the task. Furthermore, most Raven's Progressive Matrices or Raven-like tasks used for neural network training used symbolic representations, whereas humans can flexibly switch between symbolic and continuous perceptual representations. In this work, we present an algorithmic approach to rule detection and application using feature detection, affine transformation estimation and search. We applied our model to a simplified Raven's Progressive Matrices task, previously designed for behavioral testing and neuroimaging in humans. The model exhibited one-shot learning and achieved near human-level performance in the symbolic reasoning condition of the simplified task. Furthermore, the model can express the relationships discovered and generate multi-step predictions in accordance with the underlying rule. Finally, the model can reason using continuous patterns. We discuss our results and their relevance to studying abstract reasoning in humans, as well as their implications for improving intelligent machines.


title: Stability of hypermassive neutron stars with realistic rotation and entropy profiles

abstract: Binary neutron star mergers produce massive, hot, rapidly differentially rotating neutron star remnants; electromagnetic and gravitational wave signals associated with the subsequent evolution depend on the stability of these remnants. Stability of relativistic stars has previously been studied for uniform rotation and for a class of differential rotation with monotonic angular velocity profiles. Stability of those equilibria to axisymmetric perturbations was found to respect a turning point criterion: along a constant angular momentum sequence, the onset of unstable stars is found at maximum density less than but close to the density of maximum mass. In this paper, we test this turning point criterion for non-monotonic angular velocity profiles and non-isentropic entropy profiles, both chosen to more realistically model post-merger equilibria. Stability is assessed by evolving perturbed equilibria in 2D using the Spectral Einstein Code. We present tests of the code's new capability for axisymmetric metric evolution. We confirm the turning point theorem and determine the region of our rotation law parameter space that provides highest maximum mass for a given angular momentum.


title: An alternate form of Merino-Mi\v{c}ka-M\"utze's approach to a combinatorial generation problem of Knuth

abstract: A modification of Merino, Mi\v{c}ka and M\"utze solution of a combinatorial generation problem of Knuth is presented compatible with the reinterpretation of the middle-levels theorem given by the present author in a previous work.


title: TSSS: A Novel Triangulated Spherical Spline Smoothing for Surface-based Data

abstract: Surface-based data is commonly observed in diverse practical applications spanning various fields. In this paper, we introduce a novel nonparametric method to discover the underlying signals from data distributed on complex surface-based domains. Our approach involves a penalized spline estimator defined on a triangulation of surface patches, which enables effective signal extraction and recovery. The proposed method offers several advantages over existing methods, including superior handling of "leakage" or "boundary effects" over complex domains, enhanced computational efficiency, and potential applications in analyzing sparse and irregularly distributed data on complex objects. We provide rigorous theoretical guarantees for the proposed method, including convergence rates of the estimator in both the $L_2$ and supremum norms, as well as the asymptotic normality of the estimator. We also demonstrate that the convergence rates achieved by our estimation method are optimal within the framework of nonparametric estimation. Furthermore, we introduce a bootstrap method to quantify the uncertainty associated with the proposed estimators accurately. The superior performance of the proposed method is demonstrated through simulation experiments and data applications on cortical surface functional magnetic resonance imaging data and oceanic near-surface atmospheric data.


title: Geometric Neural Network based on Phase Space for BCI-EEG decoding

abstract: The integration of Deep Learning (DL) algorithms on brain signal analysis is still in its nascent stages compared to their success in fields like Computer Vision, especially in Brain-Computer Interface (BCI), where the brain activity is decoded to control external devices without requiring muscle control. Electroencephalography (EEG) is a widely adopted choice for designing BCI systems due to its non-invasive and cost-effective nature and excellent temporal resolution. Still, it comes at the expense of limited training data, poor signal-to-noise, and a large variability across and within-subject recordings. Finally, setting up a BCI system with many electrodes takes a long time, hindering the widespread adoption of reliable DL architectures in BCIs outside research laboratories. To improve adoption, we need to improve user comfort using, for instance, reliable algorithms that operate with few electrodes. Approach: Our research aims to develop a DL algorithm that delivers effective results with a limited number of electrodes. Taking advantage of the Augmented Covariance Method with SPDNet, we propose the SPDNet$_{\psi}$ architecture and analyze its performance and computational impact, as well as the interpretability of the results. The evaluation is conducted on 5-fold cross-validation, using only three electrodes positioned above the Motor Cortex. The methodology was tested on nearly 100 subjects from several open-source datasets using the Mother Of All BCI Benchmark (MOABB) framework. Main results: The results of our SPDNet$_{\psi}$ demonstrate that the augmented approach combined with the SPDNet significantly outperforms all the current state-of-the-art DL architecture in MI decoding. Significance: This new architecture is explainable, with a low number of trainable parameters and a reduced carbon footprint.


title: A delay nonlocal quasilinear Chafee-Infante problem: An approach via semigroup theory

abstract: In this work we study a dissipative one dimensional scalar parabolic problem with non-local nonlinear diffusion with delay. We consider the general situation in which the functions involved are only continuous and solutions may not be unique. We establish conditions for global existence and prove the existence of global attractors. All results are presented only in the autonomous since the non-autonomous case follows in the same way, including the existence of pullback attractors. A particularly interesting feature is that there is a semilinear problem (nonlocal in space and in time) from which one can obtain all solutions of the associated quasilinear problem and that for this semilinear problem the delay depends on the initial function making its study more involved.


title: Minor Issues Escalated to Critical Levels in Large Samples: A Permutation-Based Fix

abstract: In the big data era, the need to reevaluate traditional statistical methods is paramount due to the challenges posed by vast datasets. While larger samples theoretically enhance accuracy and hypothesis testing power without increasing false positives, practical concerns about inflated Type-I errors persist. The prevalent belief is that larger samples can uncover subtle effects, necessitating dual consideration of p-value and effect size. Yet, the reliability of p-values from large samples remains debated. This paper warns that larger samples can exacerbate minor issues into significant errors, leading to false conclusions. Through our simulation study, we demonstrate how growing sample sizes amplify issues arising from two commonly encountered violations of model assumptions in real-world data and lead to incorrect decisions. This underscores the need for vigilant analytical approaches in the era of big data. In response, we introduce a permutation-based test to counterbalance the effects of sample size and assumption discrepancies by neutralizing them between actual and permuted data. We demonstrate that this approach effectively stabilizes nominal Type I error rates across various sample sizes, thereby ensuring robust statistical inferences even amidst breached conventional assumptions in big data. For reproducibility, our R codes are publicly available at: \url{https://github.com/ubcxzhang/bigDataIssue}.


title: Discovery of a Rare Eclipsing Be/X-ray Binary System, Swift J010902.6-723710 = SXP 182

abstract: We report on the discovery of Swift J010902.6-723710, a rare eclipsing Be/X-ray Binary system by the Swift SMC Survey (S-CUBED). Swift J010902.6-723710 was discovered via weekly S-CUBED monitoring observations when it was observed to enter a state of X-ray outburst on 10 October 2023. X-ray emission was found to be modulated by a 182s period. Optical spectroscopy is used to confirm the presence of a highly-inclined circumstellar disk surrounding a B0-0.5Ve optical companion. Historical UV and IR photometry are then used to identify strong eclipse-like features re-occurring in both light curves with a 60.623 day period, which is adopted as the orbital period of the system. Eclipsing behavior is found to be the result of a large accretion disk surrounding the neutron star. Eclipses are produced when the disk passes in front of the OBe companion, blocking light from both the stellar surface and circumstellar disk. This is only the third Be/X-ray Binary to have confirmed eclipses. We note that this rare behavior provides an important opportunity to constrain the physical parameters of a Be/X-ray Binary with greater accuracy than is possible in non-eclipsing systems.


title: Reconfigurable inverse designed phase-change photonics

abstract: Integrated photonic network-on-chip (NoC) fabrics can provide multiple terabits per second (Tbps) bandwidth for high-performance computing servers supporting the latest artificial intelligence. To maximize the utility of the photonic hardware, these optical networks can multiplex data streams in multi-dimensional channels encoded in optical wavelengths, modes, and polarization states. A generic photonic platform that can be reconfigured to implement functionalities in those dimensions is highly desirable to streamline the design and manufacturing of integrated photonic networks. Here, we demonstrate a multi-functional photonic device using phase-change material Sb2Se3 that can be reconfigured from a wavelength-division demultiplexer to a mode-division demultiplexer. The reconfiguration is achieved by direct laser writing of phase patterns optimized with the inverse design technique. The demonstrated programmable phase-change photonic devices hold immense promise for a wide range of photonic applications requiring adaptable functionalities, including on-chip and in-package optical interconnects, optical signal processing, photonic tensor cores, and future optical computing for artificial intelligence.


title: Exact moduli spaces for $\mathcal{N}=2, D=5$ freely acting orbifolds

abstract: We use freely acting asymmetric orbifolds of type IIB string theory to construct a class of theories in five dimensions with eight supercharges whose moduli spaces for vector multiplets and hypermultiplets can be determined exactly. We argue that no quantum corrections to these moduli spaces arise. We focus on examples in which all moduli are in the NS-NS sector, while all fields from the R-R sector become massive. The full symmetry group of the moduli space is then determined by the subgroup of the T-duality group that survives the orbifold action. We illustrate this for freely acting orbifolds of type IIB string theory on $T^5$ with $0,1$ or $2$ hypermultiplets.


title: High-energy polarized electron beams from the ionization of isolated spin polarized hydrogen atoms

abstract: We propose a laser-based method for the preparation of high-energy, highly-polarized electrons, from the ionization of isolated spin-polarized hydrogen (SPH) atoms. The SPH atoms are prepared from the photodissociation of HBr, using two consecutive shaped UV pulses of ps duration. By appropriately timing and focusing the pulses, we can spatially separate the highly polarized SPH from other unwanted photoproducts, which then act as the target for the ion-acceleration lasers. The density of SPH can surpass $\approx$10$^{18}$ cm$^{-3}$, allowing the production of GeV electrons with polarization larger than 90%.

categories: physics.atom-ph physics.acc-ph physics.chem-ph physics.plasm-ph


title: What is different between these datasets?

abstract: The performance of machine learning models heavily depends on the quality of input data, yet real-world applications often encounter various data-related challenges. One such challenge could arise when curating training data or deploying the model in the real world - two comparable datasets in the same domain may have different distributions. While numerous techniques exist for detecting distribution shifts, the literature lacks comprehensive approaches for explaining dataset differences in a human-understandable manner. To address this gap, we propose a suite of interpretable methods (toolbox) for comparing two datasets. We demonstrate the versatility of our approach across diverse data modalities, including tabular data, language, images, and signals in both low and high-dimensional settings. Our methods not only outperform comparable and related approaches in terms of explanation quality and correctness, but also provide actionable, complementary insights to understand and mitigate dataset differences effectively.


title: Q-CHOP: Quantum constrained Hamiltonian optimization

abstract: Combinatorial optimization problems that arise in science and industry typically have constraints. Yet the presence of constraints makes them challenging to tackle using both classical and quantum optimization algorithms. We propose a new quantum algorithm for constrained optimization, which we call quantum constrained Hamiltonian optimization (Q-CHOP). Our algorithm leverages the observation that for many problems, while the best solution is difficult to find, the worst feasible (constraint-satisfying) solution is known. The basic idea is to to enforce a Hamiltonian constraint at all times, thereby restricting evolution to the subspace of feasible states, and slowly "rotate" an objective Hamiltonian to trace an adiabatic path from the worst feasible state to the best feasible state. We additionally propose a version of Q-CHOP that can start in any feasible state. Finally, we benchmark Q-CHOP against the commonly-used adiabatic algorithm with constraints enforced using a penalty term and find that Q-CHOP performs consistently better on a wide range of problems, including textbook problems on graphs, knapsack, combinatorial auction, as well as a real-world financial use case, namely bond exchange-traded fund basket optimization.


title: Dynamic clustering for heterophilic stochastic block models with time-varying node memberships

abstract: We consider a time-ordered sequence of networks stemming from stochastic block models where nodes gradually change memberships over time and no network at any single time point contains sufficient signal strength to recover its community structure. To estimate the time-varying community structure, we develop KD-SoS (kernel debiased sum-of-square), a method performing spectral clustering after a debiased sum-of-squared aggregation of adjacency matrices. Our theory demonstrates via a novel bias-variance decomposition that KD-SoS achieves consistent community detection of each network even when heterophilic networks do not require smoothness in the time-varying dynamics of between-community connectivities. We also prove the identifiability of aligning community structures across time based on how rapidly nodes change communities, and develop a data-adaptive bandwidth tuning procedure for KD-SoS. We demonstrate the utility and advantages of KD-SoS through simulations and a novel analysis of the time-varying dynamics in gene coordination in the human developing brain system.


title: PROTEST: Nonparametric Testing of Hypotheses Enhanced by Experts' Utility Judgements

abstract: Instead of testing solely a precise hypothesis, it is often useful to enlarge it with alternatives that are deemed to differ from it negligibly. For instance, in a bioequivalence study one might consider the hypothesis that the concentration of an ingredient is exactly the same in two drugs. In such a context, it might be more relevant to test the enlarged hypothesis that the difference in concentration between the drugs is of no practical significance. While this concept is not alien to Bayesian statistics, applications remain confined to parametric settings and strategies on how to effectively harness experts' intuitions are often scarce or nonexistent. To resolve both issues, we introduce PROTEST, an accessible nonparametric testing framework that seamlessly integrates with Markov Chain Monte Carlo (MCMC) methods. We develop expanded versions of the model adherence, goodness-of-fit, quantile and two-sample tests. To demonstrate how PROTEST operates, we make use of examples, simulated studies - such as testing link functions in a binary regression setting, as well as a comparison between the performance of PROTEST and the PTtest (Holmes et al., 2015) - and an application with data on neuron spikes. Furthermore, we address the crucial issue of selecting the threshold - which controls how much a hypothesis is to be expanded - even when intuitions are limited or challenging to quantify.


title: M\"obius function for modules and thin representations

abstract: This paper studies the M\"obius function and related questions about the finiteness of the poset of submodules of semisimple and general modules. We show how to calculate the M\"obius function for semisimple modules based on endomorphism rings of simple submodules. We discuss the M\"obius function for representations of bounded path algebras in detail.


title: Genealogies of records of stochastic processes with stationary increments as unimodular trees

abstract: Consider a stationary sequence $X=(X_n)$ of integer-valued random variables with mean $m \in [-\infty, \infty]$. Let $S=(S_n)$ be the stochastic process with increments $X$ and such that $S_0=0$. For each time $i$, draw an edge from $(i,S_i)$ to $(j,S_j)$, where $j>i$ is the smallest integer such that $S_j \geq S_i$, if such a $j$ exists. This defines the record graph of $X$. It is shown that if $X$ is ergodic, then its record graph exhibits the following phase transitions when $m$ ranges from $-\infty$ to $\infty$. For $m<0$, the record graph has infinitely many connected components which are all finite trees. At $m=0$, it is either a one-ended tree or a two-ended tree. For $m>0$, it is a two-ended tree. The distribution of the component of $0$ in the record graph is analyzed when $X$ is an i.i.d. sequence of random variables whose common distribution is supported on $\{-1,0,1,\ldots\}$, making $S$ a skip-free to the left random walk. For this random walk, if $m<0$, then the component of $0$ is a unimodular typically re-rooted Galton-Watson Tree. If $m=0$, then the record graph rooted at $0$ is a one-ended unimodular random tree, specifically, it is a unimodular Eternal Galton-Watson Tree. If $m>0$, then the record graph rooted at $0$ is a unimodularised bi-variate Eternal Kesten Tree. A unimodular random directed tree is said to be record representable if it is the component of $0$ in the record graph of some stationary sequence. It is shown that every infinite unimodular ordered directed tree with a unique succession line is record representable. In particular, every one-ended unimodular ordered directed tree has a unique succession line and is thus record representable.


title: Feature CAM: Interpretable AI in Image Classification

abstract: Deep Neural Networks have often been called the black box because of the complex, deep architecture and non-transparency presented by the inner layers. There is a lack of trust to use Artificial Intelligence in critical and high-precision fields such as security, finance, health, and manufacturing industries. A lot of focused work has been done to provide interpretable models, intending to deliver meaningful insights into the thoughts and behavior of neural networks. In our research, we compare the state-of-the-art methods in the Activation-based methods (ABM) for interpreting predictions of CNN models, specifically in the application of Image Classification. We then extend the same for eight CNN-based architectures to compare the differences in visualization and thus interpretability. We introduced a novel technique Feature CAM, which falls in the perturbation-activation combination, to create fine-grained, class-discriminative visualizations. The resulting saliency maps from our experiments proved to be 3-4 times better human interpretable than the state-of-the-art in ABM. At the same time it reserves machine interpretability, which is the average confidence scores in classification.


title: Audio-Synchronized Visual Animation

abstract: Current visual generation methods can produce high quality videos guided by texts. However, effectively controlling object dynamics remains a challenge. This work explores audio as a cue to generate temporally synchronized image animations. We introduce Audio Synchronized Visual Animation (ASVA), a task animating a static image to demonstrate motion dynamics, temporally guided by audio clips across multiple classes. To this end, we present AVSync15, a dataset curated from VGGSound with videos featuring synchronized audio visual events across 15 categories. We also present a diffusion model, AVSyncD, capable of generating dynamic animations guided by audios. Extensive evaluations validate AVSync15 as a reliable benchmark for synchronized generation and demonstrate our models superior performance. We further explore AVSyncDs potential in a variety of audio synchronized generation tasks, from generating full videos without a base image to controlling object motions with various sounds. We hope our established benchmark can open new avenues for controllable visual generation. More videos on project webpage https://lzhangbj.github.io/projects/asva/asva.html.


title: Decoupling Degradations with Recurrent Network for Video Restoration in Under-Display Camera

abstract: Under-display camera (UDC) systems are the foundation of full-screen display devices in which the lens mounts under the display. The pixel array of light-emitting diodes used for display diffracts and attenuates incident light, causing various degradations as the light intensity changes. Unlike general video restoration which recovers video by treating different degradation factors equally, video restoration for UDC systems is more challenging that concerns removing diverse degradation over time while preserving temporal consistency. In this paper, we introduce a novel video restoration network, called D$^2$RNet, specifically designed for UDC systems. It employs a set of Decoupling Attention Modules (DAM) that effectively separate the various video degradation factors. More specifically, a soft mask generation function is proposed to formulate each frame into flare and haze based on the diffraction arising from incident light of different intensities, followed by the proposed flare and haze removal components that leverage long- and short-term feature learning to handle the respective degradations. Such a design offers an targeted and effective solution to eliminating various types of degradation in UDC systems. We further extend our design into multi-scale to overcome the scale-changing of degradation that often occur in long-range videos. To demonstrate the superiority of D$^2$RNet, we propose a large-scale UDC video benchmark by gathering HDR videos and generating realistically degraded videos using the point spread function measured by a commercial UDC system. Extensive quantitative and qualitative evaluations demonstrate the superiority of D$^2$RNet compared to other state-of-the-art video restoration and UDC image restoration methods. Code is available at https://github.com/ChengxuLiu/DDRNet.git


title: Development of novel ionization chambers for reference dosimetry in electron FLASH radiotherapy

abstract: The aim of this study was to optimize the design and performance of parallel plate ion chambers for use in ultra-high dose rate (UHDR) dosimetry applications, and evaluate their potential as reference class chambers for calibration purposes. Three chambers were designed and produced: the A11-VAR (0.2-1.0 mm electrode gap, 20 mm diameter collector), the A11-TPP (0.3 mm electrode gap, 20 mm diameter collector), and the A30 (0.3 mm electrode gap, 5.4 mm diameter collector).The chambers underwent full characterization using an UHDR 9 MeV electron beam with individually varied beam parameters of pulse repetition frequency (PRF, 10-120Hz), pulse width (PW, 0.5-4us), and pulse amplitude (0.01-9 Gy/pulse). The response of the ion chambers was evaluated as a function of the dose per pulse (DPP), PRF, PW, dose rate, electric field strength, and electrode gap. The chamber response was found to be dependent on DPP and PW, whose dependencies were mitigated with larger electric field strengths and smaller electrode spacing. At a constant electric field strength, we measured a larger charge collection efficiency (CCE) as a function of DPP for ion chambers with a smaller electrode gap in the A11-VAR. For ion chambers with identical electrode gap (A11-TPP and A30), higher electric field strengths were found to yield better CCE at higher DPP. A PW dependence was observed at low electric field strengths (500 V/mm) for DPP values ranging from 1-5 Gy at PWs ranging from 0.5-4 {\mu}s, but at electric field strengths of 1000 V/mm and higher, these effects become negligible. This study confirmed that the charge collection efficiency of ion chambers depends strongly on the electrode spacing and the electric field strength, and also on the DPP and the PW of the UHDR beam. The new finding of this study is that the PW dependence becomes negligible with reduced electrode spacing and increased electric field.


title: Formation and Structure of Circumplanetary Disks and Envelopes during the Late Stages of Giant Planet Formation

abstract: Giant planets are expected to form within circumstellar disks, which shape their formation history and the local environment. Here, we consider the formation and structure of circumplanetary disks that arise during the late stages of giant planet formation. During this phase, when most of the final mass is accumulated, incoming material enters the Hill sphere and falls toward the planet. In the absence of torques, the falling parcels of gas conserve their specific angular momentum and collect into a circumplanetary disk. Generalizing previous work, we consider a range of possible geometries for the flow entering the sphere of influence of the planet. Specifically, we consider five geometric patterns for the inward flow, ranging from concentration toward the rotational poles of the system to isotropic flow to concentration along the equatorial plane. For each case, we derive analytic descriptions for the density field of the infall region, the disk surface density in the absence of viscosity, and steady-state solutions for viscous disks. These results, in turn, specify the luminosity contributions of the planet, the circumplanetary disk, and the envelope. These power sources, in conjunction with the surrounding material, collectively determine the observational appearance of the forming planet. We conclude with an approximate determination of these radiative signatures.


title: A Formal Analysis of SCTP: Attack Synthesis and Patch Verification

abstract: SCTP is a transport protocol offering features such as multi-homing, multi-streaming, and message-oriented delivery. Its two main implementations were subjected to conformance tests using the PacketDrill tool. Conformance testing is not exhaustive and a recent vulnerability (CVE-2021-3772) showed SCTP is not immune to attacks. Changes addressing the vulnerability were implemented, but the question remains whether other flaws might persist in the protocol design. We study the security of the SCTP design, taking a rigorous approach rooted in formal methods. We create a formal Promela model of SCTP, and define 10 properties capturing the essential protocol functionality based on its RFC specification and consultation with the lead RFC author. Then we show using the Spin model checker that our model satisfies these properties. We define 4 attacker models - Off-Path, where the attacker is an outsider that can spoof the port and IP of a peer; Evil-Server, where the attacker is a malicious peer; Replay, where an attacker can capture and replay, but not modify, packets; and On-Path, where the attacker controls the channel between peers. We modify an attack synthesis tool designed for transport protocols, Korg, to support our SCTP model and four attacker models. We synthesize 14 unique attacks using the attacker models - including the CVE vulnerability in the Off-Path attacker model, 4 attacks in the Evil-Server attacker model, an opportunistic ABORT attack in the Replay attacker model, and eight connection manipulation attacks in the On-Path attacker model. We show that the proposed patch eliminates the vulnerability and does not introduce new ones according to our model and protocol properties. Finally, we identify and analyze an ambiguity in the RFC, which we show can be interpreted insecurely. We propose an erratum and show that it eliminates the ambiguity.


title: The XMM-Newton Line Emission Analysis Program (X-LEAP) II: The Multi-scale Temperature Structures in the Milky Way Hot Gas

abstract: This paper presents the multi-scale temperature structures in the Milky Way (MW) hot gas, as part of the XMM-Newton Line Emission Analysis Program (X-LEAP), surveying the O VII, O VIII, and Fe-L band emission features in the XMM-Newton archive. In particular, we define two temperature tracers, $I_{\rm OVIII}/I_{\rm OVII}$ (O87) and $I_{\rm FeL}/(I_{\rm OVII}+I_{\rm OVIII})$ (FeO). These two ratios cannot be explained simultaneously using single-temperature collisional ionization models, which indicates the need for multi-temperature structures in hot gas. In addition, we show three large-scale features in the hot gas: the eROSITA bubbles around the Galactic center (GC); the disk; and the halo. In the eROSITA bubbles, the observed line ratios can be explained by a log-normal temperature distribution with a median of $\log T/{\rm K} \approx 6.4$ and a scatter of $\sigma_T \approx 0.2$ dex. Beyond the bubbles, the line ratio dependence on the Galactic latitude suggests higher temperatures around the midplane of the MW disk. The scale height of the temperature variation is estimated to be $\approx$2 kpc assuming an average distance of $5$ kpc for the hot gas. The halo component is characterized by the dependence on the distance to the GC, showing a temperature decline from $\log\,T/{\rm K}\,\approx\, 6.3$ to $5.8$. Furthermore, we extract the auto-correlation and cross-correlation functions to investigate the small-scale structures. O87 and FeO ratios show a consistent auto-correlation scale of $\approx$$ 5^\circ$ (i.e., $\approx$$ 400$ pc at 5 kpc), which is consistent with expected physical sizes of X-ray bubbles associated with star-forming regions or supernova remnants. Finally, we examine the cross-correlation between the hot and UV-detected warm gas, and show an intriguing anti-correlation.


title: Non Equilibrium Transitions in a Polymer Replication Ensemble

abstract: The fuel-driven process of replication in living systems generates distributions of copied entities with varying degrees of copying accuracy. Here we introduce a thermodynamically consistent ensemble for investigating universal population features of replicating systems. In the context of copolymer copying, coarse-graining over molecular details, we establish a phase diagram of copying accuracy. We discover sharp non-equilibrium transitions between populations of random and accurate copies. Maintaining a population of accurate copies requires a minimum energy expenditure that depends on the configurational entropy of copolymer sequences.


title: Prepared for the Worst: A Learning-Based Adversarial Attack for Resilience Analysis of the ICP Algorithm

abstract: This paper presents a novel method to assess the resilience of the Iterative Closest Point (ICP) algorithm via deep-learning-based attacks on lidar point clouds. For safety-critical applications such as autonomous navigation, ensuring the resilience of algorithms prior to deployments is of utmost importance. The ICP algorithm has become the standard for lidar-based localization. However, the pose estimate it produces can be greatly affected by corruption in the measurements. Corruption can arise from a variety of scenarios such as occlusions, adverse weather, or mechanical issues in the sensor. Unfortunately, the complex and iterative nature of ICP makes assessing its resilience to corruption challenging. While there have been efforts to create challenging datasets and develop simulations to evaluate the resilience of ICP empirically, our method focuses on finding the maximum possible ICP pose error using perturbation-based adversarial attacks. The proposed attack induces significant pose errors on ICP and outperforms baselines more than 88% of the time across a wide range of scenarios. As an example application, we demonstrate that our attack can be used to identify areas on a map where ICP is particularly vulnerable to corruption in the measurements.


title: Primordial dust universe in the Ho\v{r}ava-Lifshitz theory

abstract: We apply quantum cosmology to investigate the early moments of a Friedmann-Lema\^itre-Robertson-Walker (FLRW) cosmological model, using Ho\v{r}ava-Lifshitz (HL) as the gravitational theory. The matter content of the model is a dust perfect fluid. We start studying the classical model. Then, we write the total Hamiltonian of the model, quantize it and find the appropriate Wheeler-DeWitt equation. In order to avoid factor ordering ambiguities, in the Wheeler-DeWitt equation, we introduce a canonical transformation. We solve that equation using the Wentzel-Kramers-Brillouin (WKB) approximation and compute the tunneling probabilities for the birth of that universe ($TP_{WKB}$). Since the WKB wavefunction depends on the dust energy and the free coupling constants coming from the HL theory, we compute the behavior of $TP_{WKB}$ as a function of all these quantities.


title: CFaiRLLM: Consumer Fairness Evaluation in Large-Language Model Recommender System

abstract: In the evolving landscape of recommender systems, the integration of Large Language Models (LLMs) such as ChatGPT marks a new era, introducing the concept of Recommendation via LLM (RecLLM). While these advancements promise unprecedented personalization and efficiency, they also bring to the fore critical concerns regarding fairness, particularly in how recommendations might inadvertently perpetuate or amplify biases associated with sensitive user attributes. In order to address these concerns, our study introduces a comprehensive evaluation framework, CFaiRLLM, aimed at evaluating (and thereby mitigating) biases on the consumer side within RecLLMs. Our research methodically assesses the fairness of RecLLMs by examining how recommendations might vary with the inclusion of sensitive attributes such as gender, age, and their intersections, through both similarity alignment and true preference alignment. By analyzing recommendations generated under different conditions-including the use of sensitive attributes in user prompts-our framework identifies potential biases in the recommendations provided. A key part of our study involves exploring how different detailed strategies for constructing user profiles (random, top-rated, recent) impact the alignment between recommendations made without consideration of sensitive attributes and those that are sensitive-attribute-aware, highlighting the bias mechanisms within RecLLMs. The findings in our study highlight notable disparities in the fairness of recommendations, particularly when sensitive attributes are integrated into the recommendation process, either individually or in combination. The analysis demonstrates that the choice of user profile sampling strategy plays a significant role in affecting fairness outcomes, highlighting the complexity of achieving fair recommendations in the era of LLMs.


title: Spectral Clustering of Categorical and Mixed-type Data via Extra Graph Nodes

abstract: Clustering data objects into homogeneous groups is one of the most important tasks in data mining. Spectral clustering is arguably one of the most important algorithms for clustering, as it is appealing for its theoretical soundness and is adaptable to many real-world data settings. For example, mixed data, where the data is composed of numerical and categorical features, is typically handled via numerical discretization, dummy coding, or similarity computation that takes into account both data types. This paper explores a more natural way to incorporate both numerical and categorical information into the spectral clustering algorithm, avoiding the need for data preprocessing or the use of sophisticated similarity functions. We propose adding extra nodes corresponding to the different categories the data may belong to and show that it leads to an interpretable clustering objective function. Furthermore, we demonstrate that this simple framework leads to a linear-time spectral clustering algorithm for categorical-only data. Finally, we compare the performance of our algorithms against other related methods and show that it provides a competitive alternative to them in terms of performance and runtime.


title: A Spectral Element Enrichment Wall-Model

abstract: We develop an enrichment wall-model within the spectral element method (SEM) framework for large-eddy simulations of wall-bounded flows. The method augments the polynomial solution in the wall-adjacent elements with an analytical law-of-the-wall enrichment function representing the mean velocity near the wall. In the solution representation, this enrichment function captures the large gradients in the boundary layer, which allows the polynomial modes to represent the turbulent fluctuations. The enriched solution is able to resolve the shear stress at the wall without any modification to the no-slip wall boundary conditions. The performance of the SEM enrichment wall-modeling approach is assessed in turbulent channel flow LES for a range of Reynolds numbers. The results show that the proposed method improves solution accuracy on under-resolved near-wall grids as compared to the traditional shear stress wall-models.


title: Investigating Changes of Water Quality in Reservoirs based on Flood and Inflow Fluctuations

abstract: Water temperature and dissolved oxygen are essential indicators of water quality and ecosystem sustainability. Lately, heavy rainfalls are happening frequently and forcefully affecting the thermal structure and mixing layers in depth by sharply increasing the volume of inflow entitled flash flood. It can occur by sudden intense precipitation and develop within minutes or hours. Because of heavy debris load and speedy water, this phenomenon has remarkable effects on water quality. A higher flow during floods may worsens water quality at lakes and reservoirs that are thermally stratified (with separate density layers) and decrease dissolved oxygen content. However, it is unclear how well these parameters represent the response of lakes to changes in volume discharge. To address this question, researchers simulate the thermal structure in two stratified reservoirs, considering the Rajae reservoir as a representative reservoir in the north of Iran and Minab reservoir in the south. In this study, the model realistically represented variations of dissolved oxygen and temperature of dams Lake response to flash floods. The model performance was evaluated using observed data from stations on the dams lake. In this case, the inflow charge considered in a 10-day flash flood from April 6th to April 16th during the yearly normal flow. The complete mixture in a part of the thermal structure has been proved in Rajaee reservoir. The nonpermanent impact of the massive inflow of storm runoff caused an increase in oxygen-consuming, leading to a severe decrease in dissolved oxygen on epilimnion and metalimnion. The situation in Minab reservoir was relatively different from Rajae reservoir. The inflow changes not only cause mixture but also help expanding stratification.


title: Dwarf galaxies as a probe of a primordially magnetized Universe

abstract: The true nature of primordial magnetic fields (PMFs) and their role in the formation of galaxies still remains elusive. To shed light on these unknowns, we investigate their impact by varying two sets of properties: (i) accounting for the effect of PMFs on the initial matter power spectrum, and (ii) accounting for their magneto-hydrodynamical effects on the formation of galaxies. By comparing both we can determine the dominant agent in shaping galaxy evolution. We use the magneto-hydrodynamics code RAMSES, to generate multiple zoom-in simulations for eight different host halos of dwarf galaxies across a wide luminosity range of $10^3-10^6\,L_{\odot}$. We explore a variety of primordial magnetic field (comoving) strengths ranging from $0.05$ to $0.50\,\mathrm{nG}$. We find magnetic fields in the interstellar medium not only modify star formation in dwarf spheroidal galaxies but also completely prevent the formation of stars in less compact ultra-faints with halo mass and stellar mass below $\sim 2.5\cdot10^9$ and $3\cdot10^6\,M_{\odot}$, respectively. At high redshifts, the impact of PMFs on host halos of dwarf galaxies through the modification of the matter power spectrum is more dominant than the influence of magneto-hydrodynamics in shaping their gaseous structure. Through the amplification of small perturbations ranging in mass from $10^7$ to $10^9\,M_{\odot}$ in the $\Lambda$CDM$+$PMFs matter power spectrum, primordial fields expedite the formation of the first dark matter halos, leading to an earlier onset and a higher star formation rate at redshifts $z>12$.


title: Analysis of Hybrid MC/Deterministic Methods for Transport Problems Based on Low-Order Equations Discretized by Finite Volume Schemes

abstract: This paper presents hybrid numerical techniques for solving the Boltzmann transport equation formulated by means of low-order equations for angular moments of the angular flux. The moment equations are derived by the projection operator approach. The projected equations are closed exactly using a high-order transport solution. The low-order equations of the hybrid methods are approximated with a finite volume scheme of the second-order accuracy. Functionals defining the closures in the discretized low-order equations are calculated by Monte Carlo techniques. In this study, we analyze effects of statistical noise and discretization error on the accuracy of the hybrid transport solution.


title: Improved Lower Bounds for Property B

abstract: If an $n$-uniform hypergraph can be 2-colored, then it is said to have property B. Erd\H{o}s (1963) was the first to give lower and upper bounds for the minimal size $m(n)$ of an $n$-uniform hypergraph without property B. His asymptotic upper bound $O(n^22^n)$ still is the best we know, his lower bound $2^{n-1}$ has seen a number of improvements, with the current best $\Omega$ $(2^n\sqrt{n/\log(n)})$ established by Radhakrishnan and Srinivasan (2000). Cherkashin and Kozik (2014) provided a simplified proof of this result, using Pluh\'ar's (2009) idea of a random greedy coloring. In the present paper, we use a refined version of this argument to obtain improved lower bounds on $m(n)$ for small values of $n$. We also study $m(n,v)$, the size of the smallest $n$-hypergraph without property B having $v$ vertices.


title: Beam-driven Electron Cyclotron Harmonic and Electron Acoustic Waves as Seen in Particle-In-Cell Simulations

abstract: Recent study has demonstrated that electron cyclotron harmonic (ECH) waves can be excited by a low energy electron beam. Such waves propagate at moderately oblique wave normal angles (~70). The potential effects of beam-driven ECH waves on electron dynamics in Earth's plasma sheet is not known. Using two-dimensional Darwin particle-in-cell simulations with initial electron distributions that represent typical plasma conditions in the plasma sheet, we explore the excitation and saturation of such beam-driven ECH waves. Both ECH and electron acoustic waves are excited in the simulation and propagate at oblique wave normal angles. Compared with the electron acoustic waves, ECH waves grow much faster and have more intense saturation amplitudes. Cold, stationary electrons are first accelerated by ECH waves through cyclotron resonance and then accelerated in the parallel direction by both the ECH and electron acoustic waves through Landau resonance. Beam electrons, on the other hand, are decelerated in the parallel direction and scattered to larger pitch angles. The relaxation of the electron beam and the continuous heating of the cold electrons contribute to ECH wave saturation and suppress the excitation of electron acoustic waves. When the ratio of plasma to electron cyclotron frequency wpe/wce increases, the ECH wave amplitude increases while the electron acoustic wave amplitude decreases. Our work reveals the importance of ECH and electron acoustic waves in reshaping sub-thermal electron distributions and improves our understanding on the potential effects of wave-particle interactions in trapping ionospheric electron outflows and forming anisotropic (field-aligned) electron distributions in the plasma sheet.


title: PipeRAG: Fast Retrieval-Augmented Generation via Algorithm-System Co-design

abstract: Retrieval-augmented generation (RAG) can enhance the generation quality of large language models (LLMs) by incorporating external token databases. However, retrievals from large databases can constitute a substantial portion of the overall generation time, particularly when retrievals are periodically performed to align the retrieved content with the latest states of generation. In this paper, we introduce PipeRAG, a novel algorithm-system co-design approach to reduce generation latency and enhance generation quality. PipeRAG integrates (1) pipeline parallelism to enable concurrent retrieval and generation processes, (2) flexible retrieval intervals to maximize the efficiency of pipeline parallelism, and (3) a performance model to automatically balance retrieval quality and latency based on the generation states and underlying hardware. Our evaluation shows that, by combining the three aforementioned methods, PipeRAG achieves up to 2.6$\times$ speedup in end-to-end generation latency while improving generation quality. These promising results showcase the effectiveness of co-designing algorithms with underlying systems, paving the way for the adoption of PipeRAG in future RAG systems.


title: On the multicolor Ramsey numbers of balanced double stars

abstract: The balanced double star on $2n+2$ vertices, denoted $S_{n,n}$, is the tree obtained by joining the centers of two disjoint stars each having $n$ leaves. Let $R_r(G)$ be the smallest integer $N$ such that in every $r$-coloring of the edges of $K_N$ there is a monochromatic copy of $G$, and let $R_r^{\mathrm{bip}}(G)$ be the smallest integer $N$ such that in every $r$-coloring of the edges of $K_{N,N}$ there is a monochromatic copy of $G$. It is known that $R_2(S_{n,n})=3n+2$ and $R_2^{\mathrm{bip}}(S_{n,n})=2n+1$ \cite{HJ}, but very little is known about $R_r(S_{n,n})$ and $R^{\mathrm{bip}}_r(S_{n,n})$ when $r\geq 3$ (other than the bounds which follow from considerations on the number of edges in the majority color class). In this paper we prove the following for all $n\geq 1$ (where the lower bounds are adapted from existing examples): \[(r-1)2n+1\leq R_r(S_{n,n})\leq (r-\frac{1}{2})(2n+2)-1,\]and \[(2r-4)n+1\leq R^{\mathrm{bip}}_r(S_{n,n})\leq (2r-3+\frac{2}{r}+O(\frac{1}{r^2}))n.\] These bounds are similar to the best known bounds on $R_r(P_{2n+2})$ and $R_r^{\mathrm{bip}}(P_{2n+2})$, where $P_{2n+2}$ is a path on $2n+2$ vertices (which is also a balanced tree). We also give an example which improves the lower bound on $R^{\mathrm{bip}}_r(S_{n,n})$ when $r=3$ and $r=5$.


title: Ellipsephic harmonic series revisited

abstract: Ellipsephic or Kempner-like harmonic series are series of inverses of integers whose expansion in base $B$, for some $B \geq 2$, contains no occurrence of some fixed digit or some fixed block of digits. A prototypical example was proposed by Kempner in 1914, namely the sum inverses of integers whose expansion in base $10$ contains no occurrence of a nonzero given digit. Results about such series address their convergence as well as closed expressions for their sums (or approximations thereof). Another direction of research is the study of sums of inverses of integers that contain only a given finite number, say $k$, of some digit or some block of digits, and the limits of such sums when $k$ goes to infinity. Generalizing partial results in the literature, we give a complete result for any digit or block of digits in any base.


title: Debiased Projected Two-Sample Comparisonscfor Single-Cell Expression Data

abstract: We study several variants of the high-dimensional mean inference problem motivated by modern single-cell genomics data. By taking advantage of low-dimensional and localized signal structures commonly seen in such data, our proposed methods not only have the usual frequentist validity but also provide useful information on the potential locations of the signal if the null hypothesis is rejected. Our method adaptively projects the high-dimensional vector onto a low-dimensional space, followed by a debiasing step using the semiparametric double-machine learning framework. Our analysis shows that debiasing is unnecessary under the global null, but necessary under a ``projected null'' that is of scientific interest. We also propose an ``anchored projection'' to maximize the power while avoiding the degeneracy issue under the null. Experiments on synthetic data and a real single-cell sequencing dataset demonstrate the effectiveness and interpretability of our methods.


title: How Well Do Multi-modal LLMs Interpret CT Scans? An Auto-Evaluation Framework for Analyses

abstract: Automatically interpreting CT scans can ease the workload of radiologists. However, this is challenging mainly due to the scarcity of adequate datasets and reference standards for evaluation. This study aims to bridge this gap by introducing a novel evaluation framework, named ``GPTRadScore''. This framework assesses the capabilities of multi-modal LLMs, such as GPT-4 with Vision (GPT-4V), Gemini Pro Vision, LLaVA-Med, and RadFM, in generating descriptions for prospectively-identified findings. By employing a decomposition technique based on GPT-4, GPTRadScore compares these generated descriptions with gold-standard report sentences, analyzing their accuracy in terms of body part, location, and type of finding. Evaluations demonstrated a high correlation with clinician assessments and highlighted its potential over traditional metrics, such as BLEU, METEOR, and ROUGE. Furthermore, to contribute to future studies, we plan to release a benchmark dataset annotated by clinicians. Using GPTRadScore, we found that while GPT-4V and Gemini Pro Vision fare better, their performance revealed significant areas for improvement, primarily due to limitations in the dataset used for training these models. To demonstrate this potential, RadFM was fine-tuned and it resulted in significant accuracy improvements: location accuracy rose from 3.41\% to 12.8\%, body part accuracy from 29.12\% to 53\%, and type accuracy from 9.24\% to 30\%, thereby validating our hypothesis.


title: DP-TabICL: In-Context Learning with Differentially Private Tabular Data

abstract: In-context learning (ICL) enables large language models (LLMs) to adapt to new tasks by conditioning on demonstrations of question-answer pairs and it has been shown to have comparable performance to costly model retraining and fine-tuning. Recently, ICL has been extended to allow tabular data to be used as demonstration examples by serializing individual records into natural language formats. However, it has been shown that LLMs can leak information contained in prompts, and since tabular data often contain sensitive information, understanding how to protect the underlying tabular data used in ICL is a critical area of research. This work serves as an initial investigation into how to use differential privacy (DP) -- the long-established gold standard for data privacy and anonymization -- to protect tabular data used in ICL. Specifically, we investigate the application of DP mechanisms for private tabular ICL via data privatization prior to serialization and prompting. We formulate two private ICL frameworks with provable privacy guarantees in both the local (LDP-TabICL) and global (GDP-TabICL) DP scenarios via injecting noise into individual records or group statistics, respectively. We evaluate our DP-based frameworks on eight real-world tabular datasets and across multiple ICL and DP settings. Our evaluations show that DP-based ICL can protect the privacy of the underlying tabular data while achieving comparable performance to non-LLM baselines, especially under high privacy regimes.


title: Time Delay of Light in the Gravitational lensing of Supermassive Black Holes in Dark Matter Halos

abstract: The dark matter halo has non-negligible effects on the gravitational lensing of supermassive black hole in the galaxy center. Our work presents a study on the time-delay of light in gravitational lensing of black holes enclosed by dark matter halos. To provide a precise description on the distribution of dark matter in galaxies, we choose several famous phenomenological dark matter halo models in astrophysics, including the NFW, Beta, Burkert and Moore models, to carry out the present study. Through numerically calculating the time-delay of light in gravitational lensing, a comparative analysis of the dark matter effects within different halo models has been performed. Assuming typical length scales associated with the galactic gravitational lensing, numerical results indicate that the NFW, Beta, Burkert and Moore dark matter halos can significantly enhance the time delay of light in gravitational lenisng of central supermassive black holes. The enhancing effect becomes more pronounced with a small dark matter halo scale and an increasing dark matter halo mass. Keywords: Black Hole; Gravitational Lensing; Time Delay; Dark Matter Halo


title: Efficient Public Health Intervention Planning Using Decomposition-Based Decision-Focused Learning

abstract: The declining participation of beneficiaries over time is a key concern in public health programs. A popular strategy for improving retention is to have health workers `intervene' on beneficiaries at risk of dropping out. However, the availability and time of these health workers are limited resources. As a result, there has been a line of research on optimizing these limited intervention resources using Restless Multi-Armed Bandits (RMABs). The key technical barrier to using this framework in practice lies in the need to estimate the beneficiaries' RMAB parameters from historical data. Recent research has shown that Decision-Focused Learning (DFL), which focuses on maximizing the beneficiaries' adherence rather than predictive accuracy, improves the performance of intervention targeting using RMABs. Unfortunately, these gains come at a high computational cost because of the need to solve and evaluate the RMAB in each DFL training step. In this paper, we provide a principled way to exploit the structure of RMABs to speed up intervention planning by cleverly decoupling the planning for different beneficiaries. We use real-world data from an Indian NGO, ARMMAN, to show that our approach is up to two orders of magnitude faster than the state-of-the-art approach while also yielding superior model performance. This would enable the NGO to scale up deployments using DFL to potentially millions of mothers, ultimately advancing progress toward UNSDG 3.1.


title: Simulation of diffraction and scattering using the Wigner Distribution Function

abstract: X-ray phase-contrast imaging enhances soft tissue visualization by leveraging the phase shift of X-rays passing through materials. It permits to minimize radiation exposure due to high contrast, as well as high resolution imaging limited by the wavelength of the X-rays. Phase retrieval extracts the phase shift computationally, but simulated images fail to recreate low-frequency noise observed in experimental images. To this end, we propose a new method to simulate phase contrast images using the Wigner Distribution Function. This permits the simulation of wave and particle effects simultaneously and simulates images photon by photon. Here, we give a first demonstration of the method by simulating the Gaussian double-slit experiment. It has the potential for realistic simulation of low-dose imaging.


title: A Microwave Imaging System for Soil Moisture Estimation in Subsurface Drip Irrigation

abstract: The microwave imaging system(MIS) stands out among prominent imaging tools for capturing images of concealed obstacles. Leveraging its capability to penetrate through heterogeneous environments MIS has been widely used for subsurface imaging. Monitoring subsurface drip irrigation(SDI) as an efficient procedure in agricultural irrigation is essential to maintain the required moisture percentage for plant growth which is a novel MIS application. In this research, we implement a laboratory-scale MIS for SDI reflecting real-world conditions to evaluate leakage localization and quantification in a heterogeneous area. We extract a model to quantify the moisture content by exploiting an imaging approach that could be used in a scheduled SDI. We employ the subspace information of images formed by back projection and Born approximation algorithms for model parametrization and estimate the model parameters using a statistical curve fitting technique. We then compare the performance of these imaging techniques in the presence of environmental clutter such as plant roots and pebbles. The proposed approach can well contribute to efficient mechanistic subsurface irrigation for which the local moisture around the root is obtained noninvasively and remotely with less than 20% estimation error.


title: Enabling 5G QoS configuration capabilities for IoT applications on container orchestration platform

abstract: Container orchestration platform is the foundation of modern cloud infrastructure. In recent years, container orchestration platform has been evolving to cross the boundary of device, edge, and cloud. More and more IoT applications such as robotics and XR have been deployed across the device-cloud continuum through the container orchestration platform, e.g., the Kubernetes (K8s) framework. Meanwhile, the rapid expansion of advanced communication technologies like 5G has endorsed the revolution in IoT applications as more network resource is available for critical IoT use cases. This paper aims to integrate network configuration capabilities provided by a 5G Network Exposure Function (NEF) into the K8s framework which is used to simplify application deployment in an orchestration in the device-cloud continuum. Specifically, a Linux fwmark-based network Quality of Service (QoS) configuration method is proposed to expose the QoS information from an overlay network that is used by the container orchestration platform to the underlay network. A Container Network Interface (CNI) plugin-based implementation is demonstrated to perform QoS configuration for the 5G network. The proposed solution is validated with an existing localization and mapping application to verify the feasibility. The proposed solution has the following benefits: (1) The solution is a Kubernetes-native approach which adopts the CNI plugin mechanism. (2) The solution can expose the QoS information from an overlay network to an underlay network in a non-intrusive manner. (3) No packet manipulation is required to greatly reduce the overhead for packet processing. (4) It extends the K8s bandwidth limit feature from on-node to the access network. (5) It is compatible with the 5G infrastructure without any alteration or adding extra complexity.


title: Scene Graph Aided Radiology Report Generation

abstract: Radiology report generation (RRG) methods often lack sufficient medical knowledge to produce clinically accurate reports. The scene graph contains rich information to describe the objects in an image. We explore enriching the medical knowledge for RRG via a scene graph, which has not been done in the current RRG literature. To this end, we propose the Scene Graph aided RRG (SGRRG) network, a framework that generates region-level visual features, predicts anatomical attributes, and leverages an automatically generated scene graph, thus achieving medical knowledge distillation in an end-to-end manner. SGRRG is composed of a dedicated scene graph encoder responsible for translating the scene graph, and a scene graph-aided decoder that takes advantage of both patch-level and region-level visual information. A fine-grained, sentence-level attention method is designed to better dis-till the scene graph information. Extensive experiments demonstrate that SGRRG outperforms previous state-of-the-art methods in report generation and can better capture abnormal findings.


title: Measuring Fiber Positioning Accuracy and Throughput with Fiber Dithering for the Dark Energy Spectroscopic Instrument

abstract: Highly multiplexed, fiber-fed spectroscopy is enabling surveys of millions of stars and galaxies. The performance of these surveys depends on accurately positioning fibers in the focal plane to capture target light. We describe a technique to measure the positioning accuracy of fibers by dithering fibers slightly around their ideal locations. This approach also enables measurement of the total system throughput and point spread function delivered to the focal plane. We then apply this technique to observations from the Dark Energy Survey Instrument (DESI), and demonstrate that DESI positions fibers to within 0.08" of their targets (5% of a fiber diameter) and achieves a system throughput within about 5% of expectations.


title: Simulating Charged Defects at Database Scale

abstract: Point defects have a strong influence on the physical properties of materials, often dominating the electronic and optical behavior in semiconductors and insulators. The simulation and analysis of point defects is therefore crucial for understanding the growth and operation of materials especially for optoelectronics applications. In this work, we present a general-purpose Python framework for the analysis of point defects in crystalline materials, as well as a generalized workflow for their treatment with high-throughput simulations. The distinguishing feature of our approach is an emphasis on a unique, unitcell, structure-only, definition of point defects which decouples the defect definition and the specific supercell representation used to simulate the defect. This allows the results of first-principles calculations to be aggregated into a database without extensive provenance information and is a crucial step in building a persistent database of point defects that can grow over time, a key component towards realizing the idea of a ``defect genome' that can yield more complex relationships governing the behavior of defects in materials. We demonstrate several examples of the approach for three technologically relevant materials and highlight current pitfalls that must be considered when employing these methodologies, as well as their potential solutions.


title: Semantic Feature Learning for Universal Unsupervised Cross-Domain Retrieval

abstract: Cross-domain retrieval (CDR), as a crucial tool for numerous technologies, is finding increasingly broad applications. However, existing efforts face several major issues, with the most critical being the need for accurate supervision, which often demands costly resources and efforts. Cutting-edge studies focus on achieving unsupervised CDR but typically assume that the category spaces across domains are identical, an assumption that is often unrealistic in real-world scenarios. This is because only through dedicated and comprehensive analysis can the category spaces of different domains be confirmed as identical, which contradicts the premise of unsupervised scenarios. Therefore, in this work, we introduce the problem of Universal Unsupervised Cross-Domain Retrieval (U^2CDR) for the first time and design a two-stage semantic feature learning framework to address it. In the first stage, a cross-domain unified prototypical structure is established under the guidance of an instance-prototype-mixed contrastive loss and a semantic-enhanced loss, to counteract category space differences. In the second stage, through a modified adversarial training mechanism, we ensure minimal changes for the established prototypical structure during domain alignment, enabling more accurate nearest-neighbor searching. Extensive experiments across multiple datasets and scenarios, including closet, partial, and open-set CDR, demonstrate that our approach significantly outperforms existing state-of-the-art CDR works and some potentially effective studies from other topics in solving U^2CDR challenges.


title: Kinetic theories of state- and generation-dependent cell populations

abstract: We formulate a general, high-dimensional kinetic theory describing the internal state (such as gene expression or protein levels) of cells in a stochastically evolving population. The resolution of our kinetic theory also allows one to track subpopulations associated with each generation. Both intrinsic noise of the cell's internal attribute and randomness in a cell's division times (demographic stochasticity) are fundamental to the development of our model. Based on this general framework, we are able to marginalize the high-dimensional kinetic PDEs in a number of different ways to derive equations that describe the dynamics of marginalized or "macroscopic" quantities such as structured population densities, moments of generation-dependent cellular states, and moments of the total population. We also show how nonlinear "interaction" terms in lower-dimensional integrodifferential equations can arise from high-dimensional linear kinetic models that contain rate parameters of a cell (birth and death rates) that depend on variables associated with other cells, generating couplings in the dynamics. Our analysis provides a general, more complete mathematical framework that resolves the coevolution of cell populations and cell states. The approach may be tailored for studying, e.g., gene expression in developing tissues, or other more general particle systems which exhibit Brownian noise in individual attributes and population-level demographic noise.


title: Privacy-Preserving Sharing of Data Analytics Runtime Metrics for Performance Modeling

abstract: Performance modeling for large-scale data analytics workloads can improve the efficiency of cluster resource allocations and job scheduling. However, the performance of these workloads is influenced by numerous factors, such as job inputs and the assigned cluster resources. As a result, performance models require significant amounts of training data. This data can be obtained by exchanging runtime metrics between collaborating organizations. Yet, not all organizations may be inclined to publicly disclose such metadata. We present a privacy-preserving approach for sharing runtime metrics based on differential privacy and data synthesis. Our evaluation on performance data from 736 Spark job executions indicates that fully anonymized training data largely maintains performance prediction accuracy, particularly when there is minimal original data available. With 30 or fewer available original data samples, the use of synthetic training data resulted only in a one percent reduction in performance model accuracy on average.


title: Shielded Deep Reinforcement Learning for Complex Spacecraft Tasking

abstract: Autonomous spacecraft control via Shielded Deep Reinforcement Learning (SDRL) has become a rapidly growing research area. However, the construction of shields and the definition of tasking remains informal, resulting in policies with no guarantees on safety and ambiguous goals for the RL agent. In this paper, we first explore the use of formal languages, namely Linear Temporal Logic (LTL), to formalize spacecraft tasks and safety requirements. We then define a manner in which to construct a reward function from a co-safe LTL specification automatically for effective training in SDRL framework. We also investigate methods for constructing a shield from a safe LTL specification for spacecraft applications and propose three designs that provide probabilistic guarantees. We show how these shields interact with different policies and the flexibility of the reward structure through several experiments.


title: Micro-Fracture Detection in Photovoltaic Cells with Hardware-Constrained Devices and Computer Vision

abstract: Solar energy is rapidly becoming a robust renewable energy source to conventional finite resources such as fossil fuels. It is harvested using interconnected photovoltaic panels, typically built with crystalline silicon cells, i.e. semiconducting materials that convert effectively the solar radiation into electricity. However, crystalline silicon is fragile and vulnerable to cracking over time or in predictive maintenance tasks, which can lead to electric isolation of parts of the solar cell and even failure, thus affecting the panel performance and reducing electricity generation. This work aims to developing a system for detecting cell cracks in solar panels to anticipate and alaert of a potential failure of the photovoltaic system by using computer vision techniques. Three scenarios are defined where these techniques will bring value. In scenario A, images are taken manually and the system detecting failures in the solar cells is not subject to any computationa constraints. In scenario B, an Edge device is placed near the solar farm, able to make inferences. Finally, in scenario C, a small microcontroller is placed in a drone flying over the solar farm and making inferences about the solar cells' states. Three different architectures are found the most suitable solutions, one for each scenario, namely the InceptionV3 model, an EfficientNetB0 model shrunk into full integer quantization, and a customized CNN architechture built with VGG16 blocks.


title: Propagation speeds of relativistic conformal fluids from a generalized relaxation time approximation

abstract: We compute the propagation speeds for a conformal real relativistic fluid. We begin from a kinetic equation in the relaxation time approximation, where the relaxation time is an arbitrary function of the particle energy in the Landau frame. We propose a parameterization of the one particle distribution function designed to contain a second order Chapman-Enskog solution as a particular case. We derive the hydrodynamic equations applying the moments method to this parameterized one particle distribution function, and solve for the propagation speeds of linearized scalar, vector and tensor perturbations. For relaxation times of the form $\tau=\tau_0(-\beta_{\mu}p^{\mu})^{-a}$, with $-\infty< a<2$, where $\beta_{\mu}=u_{\mu}/T$ is the temperature vector in the Landau frame, we show that the Anderson-Witting prescription $a=1$ yields the fastest speeds.


title: SeeGULL Multilingual: a Dataset of Geo-Culturally Situated Stereotypes

abstract: While generative multilingual models are rapidly being deployed, their safety and fairness evaluations are largely limited to resources collected in English. This is especially problematic for evaluations targeting inherently socio-cultural phenomena such as stereotyping, where it is important to build multi-lingual resources that reflect the stereotypes prevalent in respective language communities. However, gathering these resources, at scale, in varied languages and regions pose a significant challenge as it requires broad socio-cultural knowledge and can also be prohibitively expensive. To overcome this critical gap, we employ a recently introduced approach that couples LLM generations for scale with culturally situated validations for reliability, and build SeeGULL Multilingual, a global-scale multilingual dataset of social stereotypes, containing over 25K stereotypes, spanning 20 languages, with human annotations across 23 regions, and demonstrate its utility in identifying gaps in model evaluations. Content warning: Stereotypes shared in this paper can be offensive.


title: Dynamic Convex Hulls for Simple Paths

abstract: We consider the planar dynamic convex hull problem. In the literature, solutions exist supporting the insertion and deletion of points in poly-logarithmic time and various queries on the convex hull of the current set of points in logarithmic time. If arbitrary insertion and deletion of points are allowed, constant time updates and fast queries are known to be impossible. This paper considers two restricted cases where worst-case constant time updates and logarithmic time queries are possible. We assume all updates are performed on a deque (double-ended queue) of points. The first case considers the monotonic path case, where all points are sorted in a given direction, say horizontally left-to-right, and only the leftmost and rightmost points can be inserted and deleted. The second case assumes that the points in the deque constitute a simple path. Note that the monotone case is a special case of the simple path case. For both cases, we present solutions supporting deque insertions and deletions in worst-case constant time and standard queries on the convex hull of the points in $O(\log n)$ time, where $n$ is the number of points in the current point set. The convex hull of the current point set can be reported in $O(h+\log n)$ time, where $h$ is the number of edges of the convex hull. For the 1-sided monotone path case, where updates are only allowed on one side, the reporting time can be reduced to $O(h)$, and queries on the convex hull are supported in $O(\log h)$ time. All our time bounds are worst case. In addition, we prove lower bounds that match these time bounds, and thus our results are optimal. For a quick comparison, the previous best update bounds for the simple path problem were amortized $O(\log n)$ time by Friedman, Hershberger, and Snoeyink [SoCG 1989].


title: SimEngine: A Modular Framework for Statistical Simulations in R

abstract: This article describes SimEngine, an open-source R package for structuring, maintaining, running, and debugging statistical simulations on both local and cluster-based computing environments. Several R packages exist for structuring simulations, but SimEngine is the only package specifically designed for running simulations in parallel via job schedulers on high-performance cluster computing systems. The package provides structure and functionality for common simulation tasks, such as setting simulation levels, managing seeds for random number generation, and calculating summary metrics (such as bias and confidence interval coverage). SimEngine also brings several unique features, such as automatic calculation of Monte Carlo error and information-sharing across simulation replicates. We provide an overview of the package and demonstrate some of its advanced functionality.


title: The Hertzsprung progression of Classical Cepheids in the Gaia era

abstract: A new fine grid of nonlinear convective pulsation models for the so-called "bump Cepheids" is presented to investigate the Hertzprung progression (HP) phenomenon shown by their light and radial pulsation velocity curves. The period corresponding to the center of the HP is investigated as a function of various model assumptions, such as the efficiency of super-adiabatic convection, the mass-luminosity relation, and the metal and helium abundances. The assumed mass-luminosity relation is found to significantly affect the phenomenon but variations in the chemical composition as well as in the stellar mass (at fixed mass-luminosity relation) also play a key role in determining the value of the HP center period. Finally, the predictive capability of the presented theoretical scenario is tested against observed light curves of bump Cepheids in the ESA Gaia database, also considering the variation of the pulsation amplitudes and of the Fourier parameters $R_{21}$ and $\Phi_{21}$ with the pulsation period. A qualitative agreement between theory and observations is found for what concerns the evolution of the light curve morphology as the period moves across the HP center, as well for the pattern in period-amplitude, period-$R21$ and period-$\Phi_{21}$ planes. A larger sample of observed Cepheids with accurate light curves and metallicities is required in order to derive more quantitative conclusions.


title: DADIT: A Dataset for Demographic Classification of Italian Twitter Users and a Comparison of Prediction Methods

abstract: Social scientists increasingly use demographically stratified social media data to study the attitudes, beliefs, and behavior of the general public. To facilitate such analyses, we construct, validate, and release publicly the representative DADIT dataset of 30M tweets of 20k Italian Twitter users, along with their bios and profile pictures. We enrich the user data with high-quality labels for gender, age, and location. DADIT enables us to train and compare the performance of various state-of-the-art models for the prediction of the gender and age of social media users. In particular, we investigate if tweets contain valuable information for the task, since popular classifiers like M3 don't leverage them. Our best XLM-based classifier improves upon the commonly used competitor M3 by up to 53% F1. Especially for age prediction, classifiers profit from including tweets as features. We also confirm these findings on a German test set.


title: Are Large Language Models Aligned with People's Social Intuitions for Human-Robot Interactions?

abstract: Large language models (LLMs) are increasingly used in robotics, especially for high-level action planning. Meanwhile, many robotics applications involve human supervisors or collaborators. Hence, it is crucial for LLMs to generate socially acceptable actions that align with people's preferences and values. In this work, we test whether LLMs capture people's intuitions about behavior judgments and communication preferences in human-robot interaction (HRI) scenarios. For evaluation, we reproduce three HRI user studies, comparing the output of LLMs with that of real participants. We find that GPT-4 strongly outperforms other models, generating answers that correlate strongly with users' answers in two studies $\unicode{x2014}$ the first study dealing with selecting the most appropriate communicative act for a robot in various situations ($r_s$ = 0.82), and the second with judging the desirability, intentionality, and surprisingness of behavior ($r_s$ = 0.83). However, for the last study, testing whether people judge the behavior of robots and humans differently, no model achieves strong correlations. Moreover, we show that vision models fail to capture the essence of video stimuli and that LLMs tend to rate different communicative acts and behavior desirability higher than people.


title: Spatial-aware Transformer-GRU Framework for Enhanced Glaucoma Diagnosis from 3D OCT Imaging

abstract: Glaucoma, a leading cause of irreversible blindness, necessitates early detection for accurate and timely intervention to prevent irreversible vision loss. In this study, we present a novel deep learning framework that leverages the diagnostic value of 3D Optical Coherence Tomography (OCT) imaging for automated glaucoma detection. In this framework, we integrate a pre-trained Vision Transformer on retinal data for rich slice-wise feature extraction and a bidirectional Gated Recurrent Unit for capturing inter-slice spatial dependencies. This dual-component approach enables comprehensive analysis of local nuances and global structural integrity, crucial for accurate glaucoma diagnosis. Experimental results on a large dataset demonstrate the superior performance of the proposed method over state-of-the-art ones, achieving an F1-score of 93.58%, Matthews Correlation Coefficient (MCC) of 73.54%, and AUC of 95.24%. The framework's ability to leverage the valuable information in 3D OCT data holds significant potential for enhancing clinical decision support systems and improving patient outcomes in glaucoma management.


title: Not just Birds and Cars: Generic, Scalable and Explainable Models for Professional Visual Recognition

abstract: Some visual recognition tasks are more challenging then the general ones as they require professional categories of images. The previous efforts, like fine-grained vision classification, primarily introduced models tailored to specific tasks, like identifying bird species or car brands with limited scalability and generalizability. This paper aims to design a scalable and explainable model to solve Professional Visual Recognition tasks from a generic standpoint. We introduce a biologically-inspired structure named Pro-NeXt and reveal that Pro-NeXt exhibits substantial generalizability across diverse professional fields such as fashion, medicine, and art-areas previously considered disparate. Our basic-sized Pro-NeXt-B surpasses all preceding task-specific models across 12 distinct datasets within 5 diverse domains. Furthermore, we find its good scaling property that scaling up Pro-NeXt in depth and width with increasing GFlops can consistently enhances its accuracy. Beyond scalability and adaptability, the intermediate features of Pro-NeXt achieve reliable object detection and segmentation performance without extra training, highlighting its solid explainability. We will release the code to foster further research in this area.


title: Non-robustness of diffusion estimates on networks with measurement error

abstract: Network diffusion models are used to study things like disease transmission, information spread, and technology adoption. However, small amounts of mismeasurement are extremely likely in the networks constructed to operationalize these models. We show that estimates of diffusions are highly non-robust to this measurement error. First, we show that even when measurement error is vanishingly small, such that the share of missed links is close to zero, forecasts about the extent of diffusion will greatly underestimate the truth. Second, a small mismeasurement in the identity of the initial seed generates a large shift in the locations of expected diffusion path. We show that both of these results still hold when the vanishing measurement error is only local in nature. Such non-robustness in forecasting exists even under conditions where the basic reproductive number is consistently estimable. Possible solutions, such as estimating the measurement error or implementing widespread detection efforts, still face difficulties because the number of missed links are so small. Finally, we conduct Monte Carlo simulations on simulated networks, and real networks from three settings: travel data from the COVID-19 pandemic in the western US, a mobile phone marketing campaign in rural India, and in an insurance experiment in China.


title: Economic Capacity Withholding Bounds of Competitive Energy Storage Bidders

abstract: Economic withholding in electricity markets refers to generators bidding higher than their true marginal fuel cost, and is a typical approach to exercising market power. However, existing market designs require storage to design bids strategically based on their own future price predictions, motivating storage to conduct economic withholding without assuming market power. As energy storage takes up more significant roles in wholesale electricity markets, understanding its motivations for economic withholding and the consequent effects on social welfare becomes increasingly vital. This paper derives a theoretical framework to study the economic capacity withholding behavior of storage participating in competitive electricity markets and validate our results in simulations based on the ISO New England system. We demonstrate that storage bids can reach unbounded high levels under conditions where future price predictions show bounded expectations but unbounded deviations. Conversely, in scenarios with peak price limitations, we show the upper bounds of storage bids are grounded in bounded price expectations. Most importantly, we show that storage capacity withholding can potentially lower the overall system cost when price models account for system uncertainties. Our paper reveals energy storage is not a market manipulator but an honest player contributing to the social welfare. It helps electricity market researchers and operators better understand the economic withholding behavior of storage and reform market policies to maximize storage contributing to a cost-efficient decolonization.


title: Applications of model-aware reinforcement learning in Bayesian quantum metrology

abstract: An important practical problem in the field of quantum metrology and sensors is to find the optimal sequences of controls for the quantum probe that realize optimal adaptive estimation. In Belliardo et al., arXiv:2312.16985 (2023), we solved this problem in general, by introducing a procedure capable of optimizing a wide range of tasks in quantum metrology and estimation by combining model-aware reinforcement learning with Bayesian inference. We take a model-based approach to the optimisation where the physics describing the system is explicitly taken into account in the training through automatic differentiation. In this follow-up paper we present some applications of the framework. The first family of examples concerns the estimation of magnetic fields, hyperfine interactions, and decoherence times for electronic spins in diamond. For these examples, we perform multiple Ramsey measurements on the spin. The second family of applications concerns the estimation of phases and coherent states on photonic circuits, without squeezing elements, where the bosonic lines are measured by photon counters. This exposition showcases the broad applicability of the method, which has been implemented in the qsensoropt library released on PyPI, which can be installed with pip.


title: Towards a geometric theory of integration

abstract: Integration is the final key step when turning an infinitesimal argument into a result applicable to quantities of finite size. Conceptually, it is about combining infinitesimal contributions to a finite whole. We make a first step towards a geometric theory of integration in the context of Synthetic Differential Geometry (SDG) by analysing the differential aspect of the integration process. Starting from two heuristic principles that combine the idea of differential forms as infinitesimal measures while formalising the process of taking infinitesimal differences at the same time we derive a general notion of differential form as an equivariant map from infinitesimal $n$-cuboids to the base ring coordinatising a line. Besides the familiar differential forms introduced by Cartan we discover two new types. We also discover a new differential operator besides the exterior derivative. Analogous to the relationship between the exterior derivative and the Stokes-Cartan integral theorem, this new operator is linked to the generalised Fundamental Theorem of Calculus in higher dimensions, as discussed in prior research. This shows that the Fundamental Theorem is an integral theorem like Stokes-Cartan, but for one of the new types of differential forms.


title: Extending the Meijer $G$-function

abstract: By replacing the Euler gamma function by the Barnes double gamma function in the definition of the Meijer $G$-function, we introduce a new family of special functions, which we call $K$-functions. This is a very general class of functions, which includes as special cases Meijer $G$-functions (thus also all hypergeometric functions ${}_p F_q$) as well as several new functions that appeared recently in the literature. Our goal is to define the $K$-function, study its analytic and transformation properties and relate it to several functions that appeared recently in the study of random processes and the fractional Laplacian. We further introduce a generalization of the Kilbas-Saigo function and show that it is a special case of $K$-function.