title: SSLG4: A Novel Scintillator Simulation Library for Geant4

abstract: This study introduces a new Scintillator Simulation Library called SSLG4 for the Geant4 Monte Carlo simulation package. With SSLG4, we aim to enhance efficiency and accelerate progress in optical simulations within the Geant4 framework by simplifying scintillator handling and providing a rich repository of scintillators. The SSLG4 enables users to quickly include predefined scintillator materials in their simulations without requiring manual definition. The library initially contains 68 scintillators, consisting of 58 organic and 10 inorganic types. Most of these scintillators are selected from the catalogs of several scintillator manufacturers, notably Eljen and Luxium. Other scintillators are included based on their widespread use across various physics domains. The library stores optical data of scintillators in ASCII files with .mac and .txt extensions, enabling users to add, remove, or modify properties of scintillators at runtime of their applications. In addition, we made all the scintillator data available in the library on a dedicated page of our website to ensure convenient access for all users.


title: PICLe: Eliciting Diverse Behaviors from Large Language Models with Persona In-Context Learning

abstract: Large Language Models (LLMs) are trained on massive text corpora, which are encoded with diverse personality traits. This triggers an interesting goal of eliciting a desired personality trait from the LLM, and probing its behavioral preferences. Accordingly, we formalize the persona elicitation task, aiming to customize LLM behaviors to align with a target persona. We present Persona In-Context Learning (PICLe), a novel persona elicitation framework grounded in Bayesian inference. At the core, PICLe introduces a new ICL example selection criterion based on likelihood ratio, which is designed to optimally guide the model in eliciting a specific target persona. We demonstrate the effectiveness of PICLe through extensive comparisons against baseline methods across three contemporary LLMs. Code is available at https://github.com/deeplearning-wisc/picle.


title: Brownian Motion in a Vector Space over a Local Field is a Scaling Limit

abstract: For any natural number $d$, the Vladimirov-Taibleson operator is a natural analogue of the Laplace operator for complex-valued functions on a $d$-dimensional vector space $V$ over a local field $K$. Just as the Laplace operator on $L^2(\mathbb R^d)$ is the infinitesimal generator of Brownian motion with state space $\mathbb R^d$, the Vladimirov-Taibleson operator on $L^2(V)$ is the infinitesimal generator of real-time Brownian motion with state space $V$. This study deepens the formal analogy between the two types of diffusion processes by demonstrating that both are scaling limits of discrete-time random walks on a discrete group. It generalizes the earlier works, which restricted $V$ to be the $p$-adic numbers.


title: Axiomatic Causal Interventions for Reverse Engineering Relevance Computation in Neural Retrieval Models

abstract: Neural models have demonstrated remarkable performance across diverse ranking tasks. However, the processes and internal mechanisms along which they determine relevance are still largely unknown. Existing approaches for analyzing neural ranker behavior with respect to IR properties rely either on assessing overall model behavior or employing probing methods that may offer an incomplete understanding of causal mechanisms. To provide a more granular understanding of internal model decision-making processes, we propose the use of causal interventions to reverse engineer neural rankers, and demonstrate how mechanistic interpretability methods can be used to isolate components satisfying term-frequency axioms within a ranking model. We identify a group of attention heads that detect duplicate tokens in earlier layers of the model, then communicate with downstream heads to compute overall document relevance. More generally, we propose that this style of mechanistic analysis opens up avenues for reverse engineering the processes neural retrieval models use to compute relevance. This work aims to initiate granular interpretability efforts that will not only benefit retrieval model development and training, but ultimately ensure safer deployment of these models.


title: Functional Imaging Constrained Diffusion for Brain PET Synthesis from Structural MRI

abstract: Magnetic resonance imaging (MRI) and positron emission tomography (PET) are increasingly used in multimodal analysis of neurodegenerative disorders. While MRI is broadly utilized in clinical settings, PET is less accessible. Many studies have attempted to use deep generative models to synthesize PET from MRI scans. However, they often suffer from unstable training and inadequately preserve brain functional information conveyed by PET. To this end, we propose a functional imaging constrained diffusion (FICD) framework for 3D brain PET image synthesis with paired structural MRI as input condition, through a new constrained diffusion model (CDM). The FICD introduces noise to PET and then progressively removes it with CDM, ensuring high output fidelity throughout a stable training phase. The CDM learns to predict denoised PET with a functional imaging constraint introduced to ensure voxel-wise alignment between each denoised PET and its ground truth. Quantitative and qualitative analyses conducted on 293 subjects with paired T1-weighted MRI and 18F-fluorodeoxyglucose (FDG)-PET scans suggest that FICD achieves superior performance in generating FDG-PET data compared to state-of-the-art methods. We further validate the effectiveness of the proposed FICD on data from a total of 1,262 subjects through three downstream tasks, with experimental results suggesting its utility and generalizability.


title: Role of the constriction angle on the clogging by bridging of suspensions of particles

abstract: Confined flows of particles can lead to clogging, and therefore failure, of various fluidic systems across many applications. As a result, design guidelines need to be developed to ensure that clogging is prevented or at least delayed. In this Letter, we investigate the influence of the angle of reduction in the cross-section of the channel on the bridging of semi-dilute and dense non-Brownian suspensions of spherical particles. We observe a decrease of the clogging probability with the reduction of the constriction angle. This effect is more pronounced for dense suspensions close to the maximum packing fraction where particles are in contact in contrast to semi-dilute suspensions. We rationalize this difference in terms of arch selection. We describe the role of the constriction angle and the flow profile, providing insights into the distinct behavior of semi-dilute and dense suspensions.


title: Big Data, Big Decisions Choosing the Right Database

abstract: In the burgeoning era of big data, selecting the optimal database solution has become a critical decision for organizations across every industry. Big data demands a powerful database solution. Traditionally, SQL Database, Database ruled, offering a structured approach familiar to many organizations. However, big data's complexity and unstructured nature challenge SQL Database's limitations. Enter NoSQL Database: flexible and scalable, making them ideal for big data's ever-changing nature. We'll explore the key differences between SQL and NoSQL Database. Performance-wise, SQL Database shines for structured queries. Its standardized language (SQL) ensures data consistency and complex analysis. But for big data's unstructured formats, this rigidity becomes a hurdle. NoSQL offers a welcome contrast. Its flexible schema allows for diverse data formats and evolving structures, perfect for undefined or frequently changing data models. Additionally, NoSQL boasts superior horizontal scalability, distributing data across multiple servers for cost-effective growth. Understanding these key differentiators empowers organizations to choose the optimal database for their big data needs.


title: Prospects for the Observation of Continuous Gravitational Waves from Deformed Fast-spinning White Dwarfs

abstract: There has been a growing interest within the astrophysics community in highly magnetized and fast-spinning white dwarfs (WDs), commonly referred to as HMWDs. WDs with these characteristics are quite uncommon and possess magnetic fields $\geqslant 10^6$ G, along with short rotation periods ranging from seconds to just a few minutes. Based on our previous work, we analyze the emission of Gravitational Waves (GWs) in HMWDs through two mechanisms: matter accretion and magnetic deformation, which arise due to the asymmetry surrounding the star's rotational axis. Here, we perform a thorough self-consistent analysis, accounting for rotation and employing a realistic equation of state to investigate the stability of stars. Our investigation focuses on the emission of gravitational radiation from six rapidly spinning WDs: five of them are situated within binary systems, while one is an AXP, proposed as a magnetic accreting WD. Furthermore, we apply the matter accretion mechanism alongside the magnetic deformation mechanism to assess the influence of one process on the other. Our discoveries indicate that these WDs could potentially act as GW sources for BBO and DECIGO, depending on specific parameters, such as their mass, the angle ($\alpha$) between the magnetic and rotational axes, and the accumulated mass ($\delta m$) at their magnetic poles, which is influenced by the effect of matter accretion. However, detecting this particular class of stars using the LISA and TianQin space detectors seems unlikely due to the challenging combination of parameters such as a large $\delta m$, a large $\alpha$ angle and a small WD mass value.


title: Rasterized Edge Gradients: Handling Discontinuities Differentiably

abstract: Computing the gradients of a rendering process is paramount for diverse applications in computer vision and graphics. However, accurate computation of these gradients is challenging due to discontinuities and rendering approximations, particularly for surface-based representations and rasterization-based rendering. We present a novel method for computing gradients at visibility discontinuities for rasterization-based differentiable renderers. Our method elegantly simplifies the traditionally complex problem through a carefully designed approximation strategy, allowing for a straightforward, effective, and performant solution. We introduce a novel concept of micro-edges, which allows us to treat the rasterized images as outcomes of a differentiable, continuous process aligned with the inherently non-differentiable, discrete-pixel rasterization. This technique eliminates the necessity for rendering approximations or other modifications to the forward pass, preserving the integrity of the rendered image, which makes it applicable to rasterized masks, depth, and normals images where filtering is prohibitive. Utilizing micro-edges simplifies gradient interpretation at discontinuities and enables handling of geometry intersections, offering an advantage over the prior art. We showcase our method in dynamic human head scene reconstruction, demonstrating effective handling of camera images and segmentation masks.


title: Implicit Neural Representations for Robust Joint Sparse-View CT Reconstruction

abstract: Computed Tomography (CT) is pivotal in industrial quality control and medical diagnostics. Sparse-view CT, offering reduced ionizing radiation, faces challenges due to its under-sampled nature, leading to ill-posed reconstruction problems. Recent advancements in Implicit Neural Representations (INRs) have shown promise in addressing sparse-view CT reconstruction. Recognizing that CT often involves scanning similar subjects, we propose a novel approach to improve reconstruction quality through joint reconstruction of multiple objects using INRs. This approach can potentially leverage both the strengths of INRs and the statistical regularities across multiple objects. While current INR joint reconstruction techniques primarily focus on accelerating convergence via meta-initialization, they are not specifically tailored to enhance reconstruction quality. To address this gap, we introduce a novel INR-based Bayesian framework integrating latent variables to capture the inter-object relationships. These variables serve as a dynamic reference throughout the optimization, thereby enhancing individual reconstruction fidelity. Our extensive experiments, which assess various key factors such as reconstruction quality, resistance to overfitting, and generalizability, demonstrate significant improvements over baselines in common numerical metrics. This underscores a notable advancement in CT reconstruction methods.


title: Low-cost sensors and circuits for plasma education: characterizing power and illuminance

abstract: Industrial applications of plasma have significantly increased beyond semiconductor manufacturing in recent years. This necessitates training a skilled workforce in plasma science and technology. However, an essential challenge to this end stems from the high cost of plasma devices and diagnostics. The limited access to plasma devices has hindered plasma education, particularly in the least developed countries. To this end, this paper demonstrates how low-cost sensors and circuits can be developed to enable inexpensive plasma experiments in laboratory environments. In particular, we show how to measure high voltage, current, and power from a cold-atmospheric plasma discharge. Additionally, we develop a low-cost illuminance sensor and demonstrate how it can be used to estimate the corresponding plasma power. The low-cost sensors and electronics presented in this paper can aid educators in characterizing plasma power versus plasma illuminance.


title: Incremental Volt/Var Control for Distribution Networks via Chance-Constrained Optimization

abstract: This paper considers an incremental Volt/Var control scheme for distribution systems with high integration of inverter-interfaced distributed generation (such as photovoltaic systems). The incremental Volt/Var controller is implemented with the objective of minimizing reactive power usage while maintaining voltages within safe limits sufficiently often. To this end, the parameters of the incremental Volt/Var controller are obtained by solving a chance-constrained optimization problem, where constraints are designed to ensure that voltage violations do not occur more often than a pre-specified probability. This approach leads to cost savings in a controlled, predictable way, while still avoiding significant over- or under-voltage issues. The proposed chance-constrained problem is solved using a successive convex approximation method. Once the gains are broadcast to the inverters, no additional communication is required since the controller is implemented locally at the inverters. The proposed method is successfully tested on a low-voltage 42-nodes network.


title: Spatio-Temporal SwinMAE: A Swin Transformer based Multiscale Representation Learner for Temporal Satellite Imagery

abstract: Currently, the foundation models represented by large language models have made dramatic progress and are used in a very wide range of domains including 2D and 3D vision. As one of the important application domains of foundation models, earth observation has attracted attention and various approaches have been developed. When considering earth observation as a single image capture, earth observation imagery can be processed as an image with three or more channels, and when it comes with multiple image captures of different timestamps at one location, the temporal observation can be considered as a set of continuous image resembling video frames or medical SCAN slices. This paper presents Spatio-Temporal SwinMAE (ST-SwinMAE), an architecture which particularly focuses on representation learning for spatio-temporal image processing. Specifically, it uses a hierarchical Masked Auto-encoder (MAE) with Video Swin Transformer blocks. With the architecture, we present a pretrained model named Degas 100M as a geospatial foundation model. Also, we propose an approach for transfer learning with Degas 100M, which both pretrained encoder and decoder of MAE are utilized with skip connections added between them to achieve multi-scale information communication, forms an architecture named Spatio-Temporal SwinUNet (ST-SwinUNet). Our approach shows significant improvements of performance over existing state-of-the-art of foundation models. Specifically, for transfer learning of the land cover downstream task on the PhilEO Bench dataset, it shows 10.4\% higher accuracy compared with other geospatial foundation models on average.


title: Immersions of 3-manifolds into the 5-space, almost contact structures, and complex tangents

abstract: The Wu invariant is a regular homotopy invariant for immersions of oriented 3-manifolds into the 5-space. In this paper, we present new expressions and vanishing theorems for the invariant, from the viewpoint of almost contact structures and complex tangents. As an application, we determine the regular homotopy classes of inclusion maps of the surface singularity links of type ADE into the 5-sphere.


title: Helical close-packing of anisotropic tubes

abstract: Helically close-packed states of filaments are common in natural and engineered material systems, ranging from nanoscopic biomolecules to macroscopic structural components. While the simplest models of helical close-packing, described by the ideal rope model, neglect anisotropy perpendicular to the backbone, physical filaments are often quite far from circular in their cross-section. Here, we consider an anisotropic generalization of the ideal rope model and show that cross-section anisotropy has a strongly non-linear impact on the helical close-packing configurations of helical filaments. We show that the topology and composition of the close-packing landscape depends on the cross-sectional aspect ratio and is characterized by several distinct states of self-contact. We characterize the local density of these distinct states based on the notion of confinement within a 'virtual' cylindrical capillary, and show that states of optimal density vary strongly with the degree of anisotropy. While isotropic filaments are densest in a straight configuration, any measure of anisotropy leads to helicity of the maximal density state. We show the maximally dense states exhibit a sequence of transitions in helical geometry and cross-sectional tilt with increasing anisotropy, from spiral tape to spiral screw packings. Furthermore, we show that maximal capillary density saturates in a lower bound for volume fraction of $\pi/4$ in the large-anisotropy, spiral-screw limit. While cross-sectional anisotropy is well-known to impact the mechanical properties of filaments, our study shows its strong effects to shape the configuration space and packing efficiency of this elementary material motif.


title: SR4ZCT: Self-supervised Through-plane Resolution Enhancement for CT Images with Arbitrary Resolution and Overlap

abstract: Computed tomography (CT) is a widely used non-invasive medical imaging technique for disease diagnosis. The diagnostic accuracy is often affected by image resolution, which can be insufficient in practice. For medical CT images, the through-plane resolution is often worse than the in-plane resolution and there can be overlap between slices, causing difficulties in diagnoses. Self-supervised methods for through-plane resolution enhancement, which train on in-plane images and infer on through-plane images, have shown promise for both CT and MRI imaging. However, existing self-supervised methods either neglect overlap or can only handle specific cases with fixed combinations of resolution and overlap. To address these limitations, we propose a self-supervised method called SR4ZCT. It employs the same off-axis training approach while being capable of handling arbitrary combinations of resolution and overlap. Our method explicitly models the relationship between resolutions and voxel spacings of different planes to accurately simulate training images that match the original through-plane images. We highlight the significance of accurate modeling in self-supervised off-axis training and demonstrate the effectiveness of SR4ZCT using a real-world dataset.


title: Site-Controlled Purcell-Induced Bright Single Photon Emitters in Hexagonal Boron Nitride

abstract: Single photon emitters (SPEs) hosted in hexagonal boron nitride (hBN) are essential elementary building blocks for enabling future on-chip quantum photonic technologies that operate at room temperature. However, fundamental challenges, such as managing non-radiative decay, competing incoherent processes, as well as engineering difficulties in achieving deterministic placement and scaling of the emitters, limit their full potential. In this work, we experimentally demonstrate large-area arrays of plasmonic nanoresonators for Purcell-induced site-controlled SPEs by engineering emitter-cavity coupling and enhancing radiative emission at room temperature. The plasmonic nanoresonator architecture consists of gold-coated silicon pillars capped with an alumina spacer layer, enabling a 10-fold local field enhancement in the emission band of native hBN defects. Confocal photoluminescence and second-order autocorrelation measurements show bright SPEs with sub-30 meV bandwidth and a saturated emission rate of more than 3.8 million counts per second. We measure a Purcell factor of 4.9, enabling average SPE lifetimes of 480 ps, a five-fold reduction as compared to emission from gold-free devices, along with an overall SPE yield of 21%. Density functional theory calculations further reveal the beneficial role of an alumina spacer between defected hBN and gold, as an insulating layer can mitigate the electronic broadening of emission from defects proximal to gold. Our results offer arrays of bright, heterogeneously integrated quantum light sources, paving the way for robust and scalable quantum information systems.

categories: physics.optics cond-mat.mes-hall cond-mat.mtrl-sci quant-ph


title: Mothman at SemEval-2024 Task 9: An Iterative System for Chain-of-Thought Prompt Optimization

abstract: Extensive research exists on the performance of large language models on logic-based tasks, whereas relatively little has been done on their ability to generate creative solutions on lateral thinking tasks. The BrainTeaser shared task tests lateral thinking and uses adversarial datasets to prevent memorization, resulting in poor performance for out-of-the-box models. We propose a system for iterative, chain-of-thought prompt engineering which optimizes prompts using human evaluation. Using this shared task, we demonstrate our system's ability to significantly improve model performance by optimizing prompts and evaluate the input dataset.


title: High-power femtosecond molecular broadening and the effects of ro-vibrational coupling

abstract: Scaling spectral broadening to higher pulse energies and average powers, respectively, is a critical step in ultrafast science, especially for narrowband Yb based solid state lasers which become the new state of the art. Despite their high nonlinearity, molecular gases as the broadening medium inside hollow core fibers have been limited to 25 W, at best. We demonstrate spectral broadening in nitrogen at ten-fold average powers up to 250W with repetition rates from 25 to 200kHz. The observed ten-fold spectral broadening is stronger compared to the more expensive krypton gas and enables pulse compression from 1.3ps to 120fs. We identified an intuitive explanation for the observed average power scaling based on the density of molecular ro vibrational states of Raman active molecules. To verify this ansatz, spectral broadening limitations in O2 and N2O are experimentally measured and agree well. On these grounds we propose a new perspective on the role, suitability, and limits of stimulated Raman scattering at high average and peak powers. Finally, high harmonic generation is demonstrated at 200 kHz.


title: Computationally efficient method for calculating electron-phonon coupling for high-throughput superconductivity search

abstract: Using a computationally inexpensive frozen phonon approach we have developed a technique which can be used to screen large unit cell materials and systems for enhanced superconducting critical temperatures. The method requires only density functional theory (DFT) calculated electronic band structures of phonon modes corresponding to atomic displacements for various materials. We have applied this method to well known conventional superconductors including MgB$_2$, H$_{3}$S and other hydrides as examples.


title: TurboFFT: A High-Performance Fast Fourier Transform with Fault Tolerance on GPU

abstract: The Fast Fourier Transform (FFT), as a core computation in a wide range of scientific applications, is increasingly threatened by reliability issues. In this paper, we introduce TurboFFT, a high-performance FFT implementation equipped with a two-sided checksum scheme that detects and corrects silent data corruptions at computing units efficiently. The proposed two-sided checksum addresses the error propagation issue by encoding a batch of input signals with different linear combinations, which not only allows fast batched error detection but also enables error correction on-the-fly instead of recomputing. We explore two-sided checksum designs at the kernel, thread, and threadblock levels, and provide a baseline FFT implementation competitive to the state-of-the-art, closed-source cuFFT. We demonstrate a kernel fusion strategy to mitigate and overlap the computation/memory overhead introduced by fault tolerance with underlying FFT computation. We present a template-based code generation strategy to reduce development costs and support a wide range of input sizes and data types. Experimental results on an NVIDIA A100 server GPU and a Tesla Turing T4 GPU demonstrate TurboFFT offers a competitive or superior performance compared to the closed-source library cuFFT. TurboFFT only incurs a minimum overhead (7\% to 15\% on average) compared to cuFFT, even under hundreds of error injections per minute for both single and double precision. TurboFFT achieves a 23\% improvement compared to existing fault tolerance FFT schemes.


title: The hyperbolic X-ray transform: new range characterizations, mapping properties and functional relations

abstract: We derive new singular value decompositions and range characterizations for the X-ray transform on the Poincar\'e disk, a surjectivity result for the backprojection operator, as well as new functional settings and intertwining relations with appropriately defined differential operators. The approach mainly exploits analogous results recently obtained for the Euclidean disk, together with the projective equivalence between the two models.


title: New contexts, old heuristics: How young people in India and the US trust online content in the age of generative AI

abstract: We conducted an in-person ethnography in India and the US to investigate how young people (18-24) trusted online content, with a focus on generative AI (GenAI). We had four key findings about how young people use GenAI and determine what to trust online. First, when online, we found participants fluidly shifted between mindsets and emotional states, which we term "information modes." Second, these information modes shaped how and why participants trust GenAI and how they applied literacy skills. In the modes where they spent most of their time, they eschewed literacy skills. Third, with the advent of GenAI, participants imported existing trust heuristics from familiar online contexts into their interactions with GenAI. Fourth, although study participants had reservations about GenAI, they saw it as a requisite tool to adopt to keep up with the times. Participants valued efficiency above all else, and used GenAI to further their goals quickly at the expense of accuracy. Our findings suggest that young people spend the majority of their time online not concerned with truth because they are seeking only to pass the time. As a result, literacy interventions should be designed to intervene at the right time, to match users' distinct information modes, and to work with their existing fact-checking practices.


title: Optimal Toffoli-Depth Quantum Adder

abstract: Efficient quantum arithmetic circuits are commonly found in numerous quantum algorithms of practical significance. Till date, the logarithmic-depth quantum adders includes a constant coefficient k >= 2 while achieving the Toffoli-Depth of klog n + O(1). In this work, 160 alternative compositions of the carry-propagation structure are comprehensively explored to determine the optimal depth structure for a quantum adder. By extensively studying these structures, it is shown that an exact Toffoli-Depth of log n + O(1) is achievable. This presents a reduction of Toffoli-Depth by almost 50% compared to the best known quantum adder circuits presented till date. We demonstrate a further possible design by incorporating a different expansion of propagate and generate forms, as well as an extension of the modular framework. Our paper elaborates on these designs, supported by detailed theoretical analyses and simulation-based studies, firmly substantiating our claims of optimality. The results also mirror similar improvements, recently reported in classical adder circuit complexity.


title: Simulation-based Inference of Developmental EEG Maturation with the Spectral Graph Model

abstract: The spectral content of macroscopic neural activity evolves throughout development, yet how this maturation relates to underlying brain network formation and dynamics remains unknown. To gain mechanistic insights into this process, we evaluate developmental EEG spectral changes via Bayesian model inversion of the spectral graph model (SGM), a parsimonious model of whole-brain spatiospectral activity derived from linearized neural field models coupled by the structural connectome. Simulation-based inference was used to estimate age-varying SGM parameter posterior distributions from EEG spectra spanning the developmental period. We found this model-fitting approach accurately captures the developmental maturation of EEG spectra via a neurobiologically consistent progression of key neural parameters: long-range coupling, axonal conductance speed, and excitatory:inhibitory balance. These results suggest that spectral maturation of brain activity observed during normal development is supported by functional adaptations, specifically age-dependent tuning of localized neural dynamics and their long-range coupling within the macroscopic, structural network.


title: RLStop: A Reinforcement Learning Stopping Method for TAR

abstract: We present RLStop, a novel Technology Assisted Review (TAR) stopping rule based on reinforcement learning that helps minimise the number of documents that need to be manually reviewed within TAR applications. RLStop is trained on example rankings using a reward function to identify the optimal point to stop examining documents. Experiments at a range of target recall levels on multiple benchmark datasets (CLEF e-Health, TREC Total Recall, and Reuters RCV1) demonstrated that RLStop substantially reduces the workload required to screen a document collection for relevance. RLStop outperforms a wide range of alternative approaches, achieving performance close to the maximum possible for the task under some circumstances.


title: A LWR model with constraints at moving interfaces

abstract: We propose a mathematical framework to the study of scalar conservation laws with moving interfaces. This framework is developed on a LWR model with constraint on the flux along these moving interfaces. Existence is proved by means of a finite volume scheme. The originality lies in the local modification of the mesh and in the treatment of the crossing points of the trajectories.


title: On homogeneous holomorphic conformal structures

abstract: We study compact complex manifolds $M$ admitting a conformal holomorphic Riemannian structure invariant under the action of a complex semi-simple Lie group $G$. We prove that if the group $G$ acts transitively and essentially, then $M$ is conformally flat.


title: GigSense: An LLM-Infused Tool forWorkers' Collective Intelligence

abstract: Collective intelligence among gig workers yields considerable advantages, including improved information exchange, deeper social bonds, and stronger advocacy for better labor conditions. Especially as it enables workers to collaboratively pinpoint shared challenges and devise optimal strategies for addressing these issues. However, enabling collective intelligence remains challenging, as existing tools often overestimate gig workers' available time and uniformity in analytical reasoning. To overcome this, we introduce GigSense, a tool that leverages large language models alongside theories of collective intelligence and sensemaking. GigSense enables gig workers to rapidly understand and address shared challenges effectively, irrespective of their diverse backgrounds. Our user study showed that GigSense users outperformed those using a control interface in problem identification and generated solutions more quickly and of higher quality, with better usability experiences reported. GigSense not only empowers gig workers but also opens up new possibilities for supporting workers more broadly, demonstrating the potential of large language model interfaces to enhance collective intelligence efforts in the evolving workplace.


title: Chauhan Weighted Trajectory Analysis reduces sample size requirements and expedites time-to-efficacy signals in advanced cancer clinical trials

abstract: As Kaplan-Meier (KM) analysis is limited to single unidirectional endpoints, most advanced cancer randomized clinical trials (RCTs) are powered for either progression free survival (PFS) or overall survival (OS). This discards efficacy information carried by partial responses, complete responses, and stable disease that frequently precede progressive disease and death. Chauhan Weighted Trajectory Analysis (CWTA) is a generalization of KM that simultaneously assesses multiple rank-ordered endpoints. We hypothesized that CWTA could use this efficacy information to reduce sample size requirements and expedite efficacy signals in advanced cancer trials. We performed 100-fold and 1000-fold simulations of solid tumour systemic therapy RCTs with health statuses rank ordered from complete response (Stage 0) to death (Stage 4). At increments of sample size and hazard ratio, we compared KM PFS and OS with CWTA for (i) sample size requirements to achieve a power of 0.8 and (ii) time-to-first significant efficacy signal. CWTA consistently demonstrated greater power, and reduced sample size requirements by 18% to 35% compared to KM PFS and 14% to 20% compared to KM OS. CWTA also expedited time-to-efficacy signals 2- to 6-fold. CWTA, by incorporating all efficacy signals in the cancer treatment trajectory, provides clinically relevant reduction in required sample size and meaningfully expedites the efficacy signals of cancer treatments compared to KM PFS and KM OS. Using CWTA rather than KM as the primary trial outcome has the potential to meaningfully reduce the numbers of patients, trial duration, and costs to evaluate therapies in advanced cancer.


title: A catalog of newly discovered close binary open clusters in the Milky Way from Gaia DR3

abstract: The unprecedented precision in Gaia measurements of parallax allows us to capture a larger number of binary clusters. With the releases of Gaia data, the number of Galactic open clusters (OCs) increases with great rapidity, providing an excellent opportunity to confirm more binary clusters in the Milky Way. Using a recently released OC catalog, we employed the photometric and astrometric data of and OCs and their member stars to find close binary open clusters (CBOCs). The 3-dimensional spatial coordinates, proper motions, and color-magnitude diagrams (CMDs), and a new CBOC identification technique are used for identifying CBOCs. We finally found 13 new pairs of CBOCs. The fundamental parameters of these CBOCs are determined by fitting the CMDs to the isochrones of stellar populations. When we check the similarity of reddenings, ages and metallicities of the sub-clusters of CBOCs, eight CBOCs are shown to be primordial binary open clusters (PBOCs). This paper reports the detailed data of the 13 newly found CBOCs, which will help us to do many further researches on binary star clusters.


title: Bochner-Riesz means for critical magnetic Schr\"odinger operators in ${\mathbb R^2}$

abstract: We study $L^p$-boundedness of the Bochner-Riesz means for critical magnetic Schr\"odinger operators $\mathcal{L}_{\bf A}$ in ${\mathbb{R}^2}$, which involve the physcial Aharonov-Bohm potential. We show that for $1\leq p\leq +\infty$ and $p\neq 2$, the Bochner-Riesz operator $S_{\lambda}^\delta(\mathcal{L}_{\bf A})$ of order $\delta$ is bounded on $L^p(\mathbb{R}^2)$ if and only if $\delta>\max\big\{0, 2\big|1/2-1/p\big|-1/2\big\}$. The new ingredient of the proof is to obtain the localized $L^4(\mathbb R^2)$ estimate of $S_{\lambda}^\delta(\mathcal{L}_{\bf A})$, whose kernel is heavily affected by the physical magnetic diffraction, and more singular than the classical Bochner-Riesz means $S_{\lambda}^\delta(\Delta)$ for the Laplacian $\Delta$ in $\mathbb{R}^2$.


title: Deformation maps of quasi-twilled Lie algebras

abstract: In this paper, we provide a unified approach to study the cohomology theories and deformation theories of various types of operators in the category of Lie algebras, including modified $r$-matrices, crossed homomorphisms, derivations, homomorphisms, relative Rota-Baxter operators, twisted Rota-Baxter operators, Reynolds operators and deformation maps of matched pairs of Lie algebras. The main ingredients are quasi-twilled Lie algebras. We introduce two types of deformation maps of a quasi-twilled Lie algebra. Deformation maps of type I unify modified $r$-matrices, crossed homomorphisms, derivations and homomorphisms between Lie algebras, while deformation maps of type II unify relative Rota-Baxter operators, twisted Rota-Baxter operators, Reynolds operators and deformation maps of matched pairs of Lie algebras. We further give the controlling algebras and cohomologies of these two types of deformation maps, which not only recover the existing results for crossed homomorphisms, derivations, homomorphisms, relative Rota-Baxter operators, twisted Rota-Baxter operators and Reynolds operators, but also leads to some new results which are unable to solve before, e.g. the controlling algebras and cohomologies of modified $r$-matrices and deformation maps of matched pairs of Lie algebras.


title: A computational study of cutting-plane methods for multi-stage stochastic integer programs

abstract: We report a computational study of cutting plane algorithms for multi-stage stochastic mixed-integer programming models with the following cuts: (i) Benders', (ii) Integer L-shaped, and (iii) Lagrangian cuts. We first show that Integer L-shaped cuts correspond to one of the optimal solutions of the Lagrangian dual problem, and, therefore, belong to the class of Lagrangian cuts. To efficiently generate these cuts, we present an enhancement strategy to reduce time-consuming exact evaluations of integer subproblems by alternating between cuts derived from the relaxed and exact computation. Exact evaluations are only employed when Benders' cut from the relaxation fails to cut off the incumbent solution. Our preliminary computational results show the merit of this approach on multiple classes of real-world problems.


title: A Multi-Domain Multi-Task Approach for Feature Selection from Bulk RNA Datasets

abstract: In this paper a multi-domain multi-task algorithm for feature selection in bulk RNAseq data is proposed. Two datasets are investigated arising from mouse host immune response to Salmonella infection. Data is collected from several strains of collaborative cross mice. Samples from the spleen and liver serve as the two domains. Several machine learning experiments are conducted and the small subset of discriminative across domains features have been extracted in each case. The algorithm proves viable and underlines the benefits of across domain feature selection by extracting new subset of discriminative features which couldn't be extracted only by one-domain approach.


title: Observations of Titan's Stratosphere During Northern Summer: Temperatures, CH3CN and CH3D Abundances

abstract: Titan's atmospheric composition and dynamical state have previously been studied over numerous epochs by both ground- and space-based facilities. However, stratospheric measurements remain sparse during Titan's northern summer and fall. The lack of seasonal symmetry in observations of Titan's temperature field and chemical abundances raises questions about the nature of the middle atmosphere's meridional circulation and evolution over Titan's 29-yr seasonal cycle that can only be answered through long-term monitoring campaigns. Here, we present maps of Titan's stratospheric temperature, acetonitrile (or methyl cyanide; CH$_3$CN), and monodeuterated methane (CH$_3$D) abundances following Titan's northern summer solstice obtained with Band 9 ($\sim0.43$ mm) ALMA observations. We find that increasing temperatures towards high-southern latitudes, currently in winter, resemble those observed during Titan's northern winter by the Cassini mission. Acetonitrile abundances have changed significantly since previous (sub)millimeter observations, and we find that the species is now highly concentrated at high-southern latitudes. The stratospheric CH$_3$D content is found to range between 4-8 ppm in these observations, and we infer the CH$_4$ abundance to vary between $\sim0.9-1.6\%$ through conversion with previously measured D/H values. A global value of CH$_4=1.15\%$ was retrieved, lending further evidence to the temporal and spatial variability of Titan's stratospheric methane when compared with previous measurements. Additional observations are required to determine the cause and magnitude of stratospheric enhancements in methane during these poorly understood seasons on Titan.


title: Forecasting causal dynamics with universal reservoirs

abstract: An iterated multistep forecasting scheme based on recurrent neural networks (RNN) is proposed for the time series generated by causal chains with infinite memory. This forecasting strategy contains, as a particular case, the iterative prediction strategies for dynamical systems that are customary in reservoir computing. Readily computable error bounds are obtained as a function of the forecasting horizon, functional and dynamical features of the specific RNN used, and the approximation error committed by it. The framework in the paper circumvents difficult-to-verify embedding hypotheses that appear in previous references in the literature and applies to new situations like the finite-dimensional observations of functional differential equations or the deterministic parts of stochastic processes to which standard embedding techniques do not necessarily apply.


title: A Robust Data-Driven Iterative Control Method for Linear Systems with Bounded Disturbances

abstract: This paper proposes a new robust data-driven control method for linear systems with bounded disturbances, where the system model and disturbances are unknown. Due to disturbances, accurately determining the true system becomes challenging using the collected dataset. Therefore, instead of designing controllers directly for the unknown true system, an available approach is to design controllers for all systems compatible with the dataset. To overcome the limitations of using a single dataset and benefit from collecting more data, multiple datasets are employed in this paper. Furthermore, a new iterative method is developed to address the challenges of using multiple datasets. Based on this method, this paper develops an offline and online robust data-driven iterative control method, respectively. Compared to the existing robust data-driven controller method, both proposed control methods iteratively utilize multiple datasets in the controller design process. This allows for the incorporation of numerous datasets, potentially reducing the conservativeness of the designed controller. Particularly, the online controller is iteratively designed by continuously incorporating online collected data into the historical data to construct new datasets. Lastly, the effectiveness of the proposed methods is demonstrated using a batch reactor.


title: AdaFPP: Adapt-Focused Bi-Propagating Prototype Learning for Panoramic Activity Recognition

abstract: Panoramic Activity Recognition (PAR) aims to identify multi-granularity behaviors performed by multiple persons in panoramic scenes, including individual activities, group activities, and global activities. Previous methods 1) heavily rely on manually annotated detection boxes in training and inference, hindering further practical deployment; or 2) directly employ normal detectors to detect multiple persons with varying size and spatial occlusion in panoramic scenes, blocking the performance gain of PAR. To this end, we consider learning a detector adapting varying-size occluded persons, which is optimized along with the recognition module in the all-in-one framework. Therefore, we propose a novel Adapt-Focused bi-Propagating Prototype learning (AdaFPP) framework to jointly recognize individual, group, and global activities in panoramic activity scenes by learning an adapt-focused detector and multi-granularity prototypes as the pretext tasks in an end-to-end way. Specifically, to accommodate the varying sizes and spatial occlusion of multiple persons in crowed panoramic scenes, we introduce a panoramic adapt-focuser, achieving the size-adapting detection of individuals by comprehensively selecting and performing fine-grained detections on object-dense sub-regions identified through original detections. In addition, to mitigate information loss due to inaccurate individual localizations, we introduce a bi-propagation prototyper that promotes closed-loop interaction and informative consistency across different granularities by facilitating bidirectional information propagation among the individual, group, and global levels. Extensive experiments demonstrate the significant performance of AdaFPP and emphasize its powerful applicability for PAR.


title: Distributed Iterative Hard Thresholding for Variable Selection in Tobit Models

abstract: While extensive research has been conducted on high-dimensional data and on regression with left-censored responses, simultaneously addressing these complexities remains challenging, with only a few proposed methods available. In this paper, we utilize the Iterative Hard Thresholding (IHT) algorithm on the Tobit model in such a setting. Theoretical analysis demonstrates that our estimator converges with a near-optimal minimax rate. Additionally, we extend the method to a distributed setting, requiring only a few rounds of communication while retaining the estimation rate of the centralized version. Simulation results show that the IHT algorithm for the Tobit model achieves superior accuracy in predictions and subset selection, with the distributed estimator closely matching that of the centralized estimator. When applied to high-dimensional left-censored HIV viral load data, our method also exhibits similar superiority.


title: Several results on exact sequences in categories of modules over trusses

abstract: Categorical aspects of the theory of modules over trusses were studied in recent years. The snake lemma and the nine lemma in categories of modules over trusses are formulated in this paper.


title: Bootstrapping cascaded random matrix models: correlations in permutations of matrix products

abstract: Random matrix theory is a useful tool in the study of the physics of multiple scattering systems, often striking a balance between computation speed and physical rigour. Propagation of waves through thick disordered media, as arises in for example optical scattering or electron transport, typically necessitates cascading of multiple random matrices drawn from an underlying ensemble for thin media, greatly increasing computational burden. Here we propose a dual pool based bootstrapping approach to speed up statistical studies of scattering in thick random media. We examine how potential matrix reuse in a pool based approach can impact statistical estimates of population averages. Specifically, we discuss how both bias and additional variance in the sample mean estimator are introduced through bootstrapping. In the diffusive scattering regime, the extra estimator variance is shown to originate from samples in which cascaded transfer matrices are permuted matrix products. Through analysis of the combinatorics and cycle structure of permutations we quantify the resulting correlations. Proofs of several analytic formulae enumerating the frequency with which correlations of different strengths occur are derived. Extension to the ballistic regime is briefly considered.

categories: math-ph math.MP physics.comp-ph physics.data-an physics.optics


title: The Dual $F$-Signature of Veronese Rings

abstract: In this paper we adress the question of I. Smirnov and K. Tucker on the dual $F$-signature of the Veronese subrings of polynomial rings in $n$ variables using methods of commutative algebra.


title: Exploring Extreme Quantization in Spiking Language Models

abstract: Despite the growing prevalence of large language model (LLM) architectures, a crucial concern persists regarding their energy and power consumption, which still lags far behind the remarkable energy efficiency of the human brain. Recent strides in spiking language models (LM) and transformer architectures aim to address this concern by harnessing the spiking activity of biological neurons to enhance energy/power efficiency. Doubling down on the principles of model quantization and energy efficiency, this paper proposes the development of a novel binary/ternary (1/1.58-bit) spiking LM architecture. Achieving scalability comparable to a deep spiking LM architecture is facilitated by an efficient knowledge distillation technique, wherein knowledge from a non-spiking full-precision "teacher" model is transferred to an extremely weight quantized spiking "student" LM. Our proposed model represents a significant advancement as the first-of-its-kind 1/1.58-bit spiking LM, and its performance is rigorously evaluated on multiple text classification tasks of the GLUE benchmark.


title: A Novel Endorsement Protocol to Secure BFT-Based Consensus in Permissionless Blockchain

abstract: Permissionless blockchain technology offers numerous potential benefits for decentralised applications, such as security, transparency, and openness. BFT-based consensus mechanisms are widely adopted in the permissioned blockchain to meet the high scalability requirements of the network. Sybil attacks are one of the most potential threats when applying BFT-based consensus mechanisms in permissionless blockchain due to the lack of effective verification mechanisms for participants' identities. This paper presents a novel endorsement-based bootstrapping protocol with a signature algorithm that offers a streamlined, scalable identity endorsement and verification process. This approach effectively safeguards the BFT-based consensus mechanism against Sybil attacks. Using our proposed method, we have conducted thorough security analyses and simulation experiments to assess security, robustness, and scalability advantages in large-scale networks. Our results demonstrate that the scheme can effectively address the identity verification challenges when applying BFT-based consensus in a permissionless blockchain.


title: Prediction of Space Weather Events through Analysis of Active Region Magnetograms using Convolutional Neural Network

abstract: Although space weather events may not directly affect human life, they have the potential to inflict significant harm upon our communities. Harmful space weather events can trigger atmospheric changes that result in physical and economic damages on a global scale. In 1989, Earth experienced the effects of a powerful geomagnetic storm that caused satellites to malfunction, while triggering power blackouts in Canada, along with electricity disturbances in the United States and Europe. With the solar cycle peak rapidly approaching, there is an ever-increasing need to prepare and prevent the damages that can occur, especially to modern-day technology, calling for the need of a comprehensive prediction system. This study aims to leverage machine learning techniques to predict instances of space weather (solar flares, coronal mass ejections, geomagnetic storms), based on active region magnetograms of the Sun. This was done through the use of the NASA DONKI service to determine when these solar events occur, then using data from the NASA Solar Dynamics Observatory to compile a dataset that includes magnetograms of active regions of the Sun 24 hours before the events. By inputting the magnetograms into a convolutional neural network (CNN) trained from this dataset, it can serve to predict whether a space weather event will occur, and what type of event it will be. The model was designed using a custom architecture CNN, and returned an accuracy of 90.27%, a precision of 85.83%, a recall of 91.78%, and an average F1 score of 92.14% across each class (Solar flare [Flare], geomagnetic storm [GMS], coronal mass ejection [CME]). Our results show that using magnetogram data as an input for a CNN is a viable method to space weather prediction. Future work can involve prediction of the magnitude of solar events.


title: Scaling SNNs Trained Using Equilibrium Propagation to Convolutional Architectures

abstract: Equilibrium Propagation (EP) is a biologically plausible local learning algorithm initially developed for convergent recurrent neural networks (RNNs), where weight updates rely solely on the connecting neuron states across two phases. The gradient calculations in EP have been shown to approximate the gradients computed by Backpropagation Through Time (BPTT) when an infinitesimally small nudge factor is used. This property makes EP a powerful candidate for training Spiking Neural Networks (SNNs), which are commonly trained by BPTT. However, in the spiking domain, previous studies on EP have been limited to architectures involving few linear layers. In this work, for the first time we provide a formulation for training convolutional spiking convergent RNNs using EP, bridging the gap between spiking and non-spiking convergent RNNs. We demonstrate that for spiking convergent RNNs, there is a mismatch in the maximum pooling and its inverse operation, leading to inaccurate gradient estimation in EP. Substituting this with average pooling resolves this issue and enables accurate gradient estimation for spiking convergent RNNs. We also highlight the memory efficiency of EP compared to BPTT. In the regime of SNNs trained by EP, our experimental results indicate state-of-the-art performance on the MNIST and FashionMNIST datasets, with test errors of 0.97% and 8.89%, respectively. These results are comparable to those of convergent RNNs and SNNs trained by BPTT. These findings underscore EP as an optimal choice for on-chip training and a biologically-plausible method for computing error gradients.


title: Crypto Market Analysis & Real-Estate Business Protocol Proposal | Application of Ethereum Blockchain

abstract: This paper examines the dynamics of the cryptocurrency market and proposes a novel blockchain-based protocol for real estate transactions. Our analysis includes a detailed review of price trends, volatility, and correlations within the cryptocurrency market, focusing on major assets like Bitcoin, Ethereum, and Tether. We provide a critical assessment of the impact of significant market events, such as the FTX bankruptcy, highlighting the vulnerabilities and resilience of the crypto market. The study also explores the potential of blockchain technology to innovate real estate transactions by enabling the secure and transparent handling of property deeds without traditional intermediaries. We introduce a blockchain protocol that reduces transaction costs, enhances security, and increases transparency, making real estate transactions more accessible and efficient. Our proposal aims to leverage the inherent benefits of blockchain to address real-world challenges in real estate transactions, providing a scalable and secure platform for property sales in a global market.


title: CNN-LSTM and Transfer Learning Models for Malware Classification based on Opcodes and API Calls

abstract: In this paper, we propose a novel model for a malware classification system based on Application Programming Interface (API) calls and opcodes, to improve classification accuracy. This system uses a novel design of combined Convolutional Neural Network and Long Short-Term Memory. We extract opcode sequences and API Calls from Windows malware samples for classification. We transform these features into N-grams (N = 2, 3, and 10)-gram sequences. Our experiments on a dataset of 9,749,57 samples produce high accuracy of 99.91% using the 8-gram sequences. Our method significantly improves the malware classification performance when using a wide range of recent deep learning architectures, leading to state-of-the-art performance. In particular, we experiment with ConvNeXt-T, ConvNeXt-S, RegNetY-4GF, RegNetY-8GF, RegNetY-12GF, EfficientNetV2, Sequencer2D-L, Swin-T, ViT-G/14, ViT-Ti, ViT-S, VIT-B, VIT-L, and MaxViT-B. Among these architectures, Swin-T and Sequencer2D-L architectures achieved high accuracies of 99.82% and 99.70%, respectively, comparable to our CNN-LSTM architecture although not surpassing it.


title: Defect-Assisted Domain Nucleation Drives Unique Exchange Bias Phenomena in $\bf{MnBi_2Te_4}$

abstract: The study of the mechanism of exchange bias phenomena and the achievement of its efficient control are of great importance, as it promotes the revelation of unique exchange interactions and the development of exotic applications. However, it is challenging due to the elusive interface between magnetic phases. In this study, we report an unprecedented exchange bias phenomenon observed in ultrathin uncompensated antiferromagnetic MnBi$_2$Te$_4$. The magnitude and direction of the exchange field can be intentionally controlled by designing a magnetic field sweep protocol without a field cooling process. The combined experimental and theoretical simulation results indicate that the spin-flip process assisted by the ubiquitous defect-induced pinning domain sites with varying inner exchange interactions might give rise to the emergence and robustness of this peculiar exchange bias. The temperature and thickness dependence of the exchange bias phenomena are systematically investigated for further study and exploitation of its unique properties. This mechanism hold promise for highly tunable exchange bias in prevalent magnetic systems by engineering the properties of domain structures, and also offers promising avenues for the design of spintronic devices combing its topology based on MnBi$_2$Te$_4$.


title: Gain suppression study on LGADs at the CENPA tandem accelerator

abstract: Low-Gain Avalanche Detectors (LGADs) are a type of thin silicon detector with a highly doped gain layer that provides moderate internal signal amplification. One recent challenge in the use of LGADs, studied by several research groups, is the gain suppression mechanism for large localized charge deposits. Using the CENPA Tandem accelerator at the University of Washington, the response of the LGADs to MeV-range energy deposits from a proton beam was studied. Two LGAD prototypes and a PIN diode were characterized, and the gain of the devices was determined as a function of bias voltage, incidence beam angle and proton energy. This study was conducted in the scope of the PIONEER experiment, an experiment proposed at the Paul Scherrer Institute to perform high-precision measurements of rare pion decays. %At the center of the experiment, a high-granularity active target (ATAR) will stop the pion and characterize its decay. A range of deposited charge from Minimum Ionizing Particle (MIP, few 10s of KeV) from positrons to several MeV from the stopping pions/muons is expected in PIONEER; the detection and separation of close-by hits in such a wide dynamic range will be a main challenge of the experiment. To achieve this goal, the gain suppression mechanism has to be understood fully.


title: Power-Enhanced Two-Sample Mean Tests for High-Dimensional Compositional Data with Application to Microbiome Data Analysis

abstract: Testing differences in mean vectors is a fundamental task in the analysis of high-dimensional compositional data. Existing methods may suffer from low power if the underlying signal pattern is in a situation that does not favor the deployed test. In this work, we develop two-sample power-enhanced mean tests for high-dimensional compositional data based on the combination of $p$-values, which integrates strengths from two popular types of tests: the maximum-type test and the quadratic-type test. We provide rigorous theoretical guarantees on the proposed tests, showing accurate Type-I error rate control and enhanced testing power. Our method boosts the testing power towards a broader alternative space, which yields robust performance across a wide range of signal pattern settings. Our theory also contributes to the literature on power enhancement and Gaussian approximation for high-dimensional hypothesis testing. We demonstrate the performance of our method on both simulated data and real-world microbiome data, showing that our proposed approach improves the testing power substantially compared to existing methods.


title: Fock Space and Field Theoretic Description of Nonequilibrium Work Relations

abstract: We consider classical, interacting particles coupled to a thermal reservoir and subject to a local, time-varying potential while undergoing hops on a lattice. We impose detailed balance on the hopping rates and map the dynamics to the Fock space Doi representation, from which we derive the Jarzynski and Crooks relations. Here the local potential serves to drive the system far from equilibrium and to provide the work. Next, we utilize the coherent state representation to map the system to a Doi-Peliti field theory and take the continuum limit. We demonstrate that time reversal in this field theory takes the form of a gauge-like transformation which leaves the action invariant up to a generated work term. The time-reversal symmetry leads to a fundamental identity, from which we are able to derive the Jarzynski and Crooks relations, as well as a far-from-equilibrium generalization of the fluctuation-dissipation relation.


title: An integer programming approach for quick-commerce assortment planning

abstract: In this paper, we explore the challenge of assortment planning in the context of quick-commerce, a rapidly-growing business model that aims to deliver time-sensitive products. In order to achieve quick delivery to satisfy the immediate demands of online customers in close proximity, personalized online assortments need to be included in brick-and-mortar store offerings. With the presence of this physical linkage requirement and distinct multinomial logit (MNL) choice models for online consumer segments, the firm seeks to maximize overall revenue by selecting an optimal assortment of products for local stores and by tailoring a personalized assortment for each online consumer segment. We refer to this problem as quick-commerce assortment planning (QAP). We employ an integer programming approach to solve this NP-hard problem to global optimality. Specifically, we propose convexification techniques to handle its combinatorial and nonconvex nature. We capture the consumer choice of each online segment using a convex hull representation. By exploiting the geometry behind Luce's choice axiom, we provide a compact polyhedral characterization of the convex hull under various operational constraints that are not totally-unimodular. Furthermore, we conduct a polyhedral study on the relation between assortment decisions for products to offer and choice probabilities of products under the MNL model.Our methodology, coupled with a modified choice probability ordered separation algorithm, yields formulations that provide a significant computational advantage over existing methods. Through comprehensive numerical studies, we emphasize the significance of aligning offline and online assortment decisions and underscore the perils associated with inaccurately specifying customer behavior models.


title: Kinetic energy and streamline properties for irrotational equatorial wind waves

abstract: In this paper, we investigate kinetic energy and streamline properties for an irrotational periodic geophysical traveling surface water waves propagating in equatorial oceanic regions. Relying on the methods from complex analysis, we prove the logarithmic convexity and monotonicity of specific flow variables. By means of conformal mappings, we derive some qualitative results for kinetic energy and streamline, such as streamline time-period being independent of any moment and any point on the streamline in steady flow, the concavity and monotonicity of total kinetic energy within the region between two streamlines and the convexity and monotonicity of total kinetic energy over a streamline time-period. Moreover, we present several results about irrotational equatorial wind waves, such as an upper bound of the minimum of streamline time-period, an upper bound of the maximum of area within the region between two streamlines. Taking advantage of the Bernoulli's law and the Schwarz reflection principle, we show that the extremum of the kinetic energy is attained on the free surface for irrotational equatorial wind waves.


title: Design of an entanglement purification protocol selection module

abstract: Entanglement purification protocols, designed to improve the fidelity of Bell states over quantum networks for inter-node communications, have attracted significant attention over the last few decades. These protocols have great potential to resolve a core challenge in quantum networking of generating high-fidelity Bell states. However, previous studies focused on the theoretical discussion with limited consideration of realistic errors. Studies of dynamically selecting the right purification protocol under various realistic errors that populate in practice have yet to be performed. In this work, we study the performance of various purification protocols under realistic errors by conducting density matrix simulations over a large suite of error models. Based on our findings of how specific error channels affect the performance of purification protocols, we propose a module that can be embedded in the quantum network. This module determines and selects the appropriate purification protocol, considering not only expected specifications from the network layer but also the capabilities of the physical layer. Finally, the performance of our proposed module is verified using two benchmark categories. Compared with the default approach and exhaustive search approach, we show a success rate approaching 90% in identifying the optimal purification protocol for our target applications.


title: Few-Shot Fruit Segmentation via Transfer Learning

abstract: Advancements in machine learning, computer vision, and robotics have paved the way for transformative solutions in various domains, particularly in agriculture. For example, accurate identification and segmentation of fruits from field images plays a crucial role in automating jobs such as harvesting, disease detection, and yield estimation. However, achieving robust and precise infield fruit segmentation remains a challenging task since large amounts of labeled data are required to handle variations in fruit size, shape, color, and occlusion. In this paper, we develop a few-shot semantic segmentation framework for infield fruits using transfer learning. Concretely, our work is aimed at addressing agricultural domains that lack publicly available labeled data. Motivated by similar success in urban scene parsing, we propose specialized pre-training using a public benchmark dataset for fruit transfer learning. By leveraging pre-trained neural networks, accurate semantic segmentation of fruit in the field is achieved with only a few labeled images. Furthermore, we show that models with pre-training learn to distinguish between fruit still on the trees and fruit that have fallen on the ground, and they can effectively transfer the knowledge to the target fruit dataset.


title: Structure of singularities for the Euler-Poisson system of ion dynamics

abstract: We study the formation of singularity for the isothermal Euler-Poisson system arising from plasma physics. Contrast to the previous studies yielding only limited information on the blow-up solutions, for instance, sufficient conditions for the blow-up and the temporal blow-up rate along the characteristic curve, we rather give a constructive proof of singularity formation from smooth initial data. More specifically, employing the stable blow-up profile of the Burgers equation in the self-similar variables, we establish the global stability estimate in the self-similar time, which yields the asymptotic behavior of blow-up solutions near the singularity point. Our analysis indicates that the smooth solution to the Euler-Poisson system can develop a cusp-type singularity; it exhibits $C^1$ blow-up in a finite time, while it belongs to $C^{1/3}$ at the blow-up time, provided that smooth initial data are sufficiently close to the blow-up profile in some weighted $C^4$-topology. We also present a similar result for the isentropic case, and discuss noteworthy differences in the analysis.


title: The open string pair production revisited

abstract: The null detection of the QED Schwinger pair production so far could imply a possibility regarding if the usual QED vacuum picture is a complete one. In this paper, we address this possibility by taking our own (1 + 3)-dimensional world as a D3 brane in Type IIB superstring theory and by considering an analogous open string pair production process. There is a sharp distinction between this stringy pair production and the Schwinger pair production from the braneworld view and as such the future positive or negative detection of either can falsify if our own world can be indeed taken as a D3 brane. The implications of this are also discussed.


title: A Literature Review and Framework for Human Evaluation of Generative Large Language Models in Healthcare

abstract: As generative artificial intelligence (AI), particularly Large Language Models (LLMs), continues to permeate healthcare, it remains crucial to supplement traditional automated evaluations with human expert evaluation. Understanding and evaluating the generated texts is vital for ensuring safety, reliability, and effectiveness. However, the cumbersome, time-consuming, and non-standardized nature of human evaluation presents significant obstacles to the widespread adoption of LLMs in practice. This study reviews existing literature on human evaluation methodologies for LLMs within healthcare. We highlight a notable need for a standardized and consistent human evaluation approach. Our extensive literature search, adhering to the Preferred Reporting Items for Systematic Reviews and Meta-Analyses (PRISMA) guidelines, spans publications from January 2018 to February 2024. This review provides a comprehensive overview of the human evaluation approaches used in diverse healthcare applications.This analysis examines the human evaluation of LLMs across various medical specialties, addressing factors such as evaluation dimensions, sample types, and sizes, the selection and recruitment of evaluators, frameworks and metrics, the evaluation process, and statistical analysis of the results. Drawing from diverse evaluation strategies highlighted in these studies, we propose a comprehensive and practical framework for human evaluation of generative LLMs, named QUEST: Quality of Information, Understanding and Reasoning, Expression Style and Persona, Safety and Harm, and Trust and Confidence. This framework aims to improve the reliability, generalizability, and applicability of human evaluation of generative LLMs in different healthcare applications by defining clear evaluation dimensions and offering detailed guidelines.


title: A Pilot Study on the Comparison of Prefrontal Cortex Activities of Robotic Therapies on Elderly with Mild Cognitive Impairment

abstract: Demographic shifts have led to an increase in mild cognitive impairment (MCI), and this study investigates the effects of cognitive training (CT) and reminiscence therapy (RT) conducted by humans or socially assistive robots (SARs) on prefrontal cortex activation in elderly individuals with MCI, aiming to determine the most effective therapy-modality combination for promoting cognitive function. This pilot study employs a randomized control trial (RCT) design. Additionally, the study explores the efficacy of Reminiscence Therapy (RT) in comparison to Cognitive Training (CT). Eight MCI subjects, with a mean age of 70.125 years, were randomly assigned to ``human-led'' or ``SAR-led'' groups. Utilizing Functional Near-infrared Spectroscopy (fNIRS) to measure oxy-hemoglobin concentration changes in the dorsolateral prefrontal cortex (DLPFC), the study found no significant differences in the effects of human-led and SAR-led cognitive training on DLPFC activation. However, distinct patterns emerged in memory encoding and retrieval phases between RT and CT, shedding light on the impacts of these interventions on brain activation in the context of MCI.


title: Understanding the Difficulty of Solving Cauchy Problems with PINNs

abstract: Physics-Informed Neural Networks (PINNs) have gained popularity in scientific computing in recent years. However, they often fail to achieve the same level of accuracy as classical methods in solving differential equations. In this paper, we identify two sources of this issue in the case of Cauchy problems: the use of $L^2$ residuals as objective functions and the approximation gap of neural networks. We show that minimizing the sum of $L^2$ residual and initial condition error is not sufficient to guarantee the true solution, as this loss function does not capture the underlying dynamics. Additionally, neural networks are not capable of capturing singularities in the solutions due to the non-compactness of their image sets. This, in turn, influences the existence of global minima and the regularity of the network. We demonstrate that when the global minimum does not exist, machine precision becomes the predominant source of achievable error in practice. We also present numerical experiments in support of our theoretical claims.


title: Time-dependent Flows and Their Applications in Parabolic-parabolic Patlak-Keller-Segel Systems Part I: Alternating Flows

abstract: We consider the three-dimensional parabolic-parabolic Patlak-Keller-Segel equations (PKS) subject to ambient flows. Without the ambient fluid flow, the equation is super-critical in three-dimension and has finite-time blow-up solutions with arbitrarily small $L^1$-mass. In this study, we show that a family of time-dependent alternating shear flows, inspired by the clever ideas of Tarek Elgindi, can suppress the chemotactic blow-up in these systems.


title: Deep Representation Learning-Based Dynamic Trajectory Phenotyping for Acute Respiratory Failure in Medical Intensive Care Units

abstract: Sepsis-induced acute respiratory failure (ARF) is a serious complication with a poor prognosis. This paper presents a deep representation learningbased phenotyping method to identify distinct groups of clinical trajectories of septic patients with ARF. For this retrospective study, we created a dataset from electronic medical records (EMR) consisting of data from sepsis patients admitted to medical intensive care units who required at least 24 hours of invasive mechanical ventilation at a quarternary care academic hospital in southeast USA for the years 2016-2021. A total of N=3349 patient encounters were included in this study. Clustering Representation Learning on Incomplete Time Series Data (CRLI) algorithm was applied to a parsimonious set of EMR variables in this data set. To validate the optimal number of clusters, the K-means algorithm was used in conjunction with dynamic time warping. Our model yielded four distinct patient phenotypes that were characterized as liver dysfunction/heterogeneous, hypercapnia, hypoxemia, and multiple organ dysfunction syndrome by a critical care expert. A Kaplan-Meier analysis to compare the 28-day mortality trends exhibited significant differences (p < 0.005) between the four phenotypes. The study demonstrates the utility of our deep representation learning-based approach in unraveling phenotypes that reflect the heterogeneity in sepsis-induced ARF in terms of different mortality outcomes and severity. These phenotypes might reveal important clinical insights into an effective prognosis and tailored treatment strategies.


title: Leveraging the Human Ventral Visual Stream to Improve Neural Network Robustness

abstract: Human object recognition exhibits remarkable resilience in cluttered and dynamic visual environments. In contrast, despite their unparalleled performance across numerous visual tasks, Deep Neural Networks (DNNs) remain far less robust than humans, showing, for example, a surprising susceptibility to adversarial attacks involving image perturbations that are (almost) imperceptible to humans. Human object recognition likely owes its robustness, in part, to the increasingly resilient representations that emerge along the hierarchy of the ventral visual cortex. Here we show that DNNs, when guided by neural representations from a hierarchical sequence of regions in the human ventral visual stream, display increasing robustness to adversarial attacks. These neural-guided models also exhibit a gradual shift towards more human-like decision-making patterns and develop hierarchically smoother decision surfaces. Importantly, the resulting representational spaces differ in important ways from those produced by conventional smoothing methods, suggesting that such neural-guidance may provide previously unexplored robustness solutions. Our findings support the gradual emergence of human robustness along the ventral visual hierarchy and suggest that the key to DNN robustness may lie in increasing emulation of the human brain.


title: On the Theoretical Analysis of Parametric Amplification of Femtosecond Laser Pulses in Crystals with a Regular Domain Structure

abstract: The parametric amplification of ultrashort (femtosecond) laser pulses in crystals with a regular domain structure (RDS) of the 5%Mg : PPLN type has been investigated theoretically. The focus was on the formation of a signal pulse in dependence of the dispersion of the medium and cubic nonlinearity. It is shown that a small deviation of the size of domains from their exact value, determined by the coherent length of nonlinear interaction of optical waves, may increase to a great extent the efficiency of signal-wave generation. The reason is that the phase shifts due to the third-order nonlinearity and dispersion of the medium (as a rule, they affect only the generalized phases of nonlinear wave interaction) may be partially compensated by the influence of the "excess" wave number of nonlinear lattice. The optimal domain sizes, at which the efficiency of signal-wave generation under conditions of self-action and nonstationarity becomes maximum, have been analyzed based on the results obtained.


title: Dirac Brackets $\leftrightarrow$ Lindblad Equation: A Correspondence

abstract: The time evolution of an open quantum system is governed by the Gorini-Kossakowski-Sudarshan-Lindlad equation for the reduced density operator of the system. This operator is obtained from the full density operator of the composite system involving the system itself, the bath, and the interactions between them, by performing a partial trace over the bath degrees of freedom. The entanglement between the system and the bath leads to a generalized Liouville evolution that involves, amongst other things, dissipation and decoherence of the system. In a similar fashion, the time evolution of a physical observable in a classically constrained dynamical system is governed by a generalization of the Liouville equation, in which the usual Poisson bracket is replaced by the so-called Dirac bracket. The generalization takes into account the reduction in the phase space of the system because of constraints, which arise either because they are introduced by hand, or because of some underlying gauge invariance. We derive an intriguing, but precise classical-quantum correspondence between the aforementioned situations which connects the Lindblad operators to the constraints. The correspondence is illustrated in a system of coupled simple harmonic oscillators studied earlier in the context of the area law of black holes by Bombelli, Koul, Lee, and Sorkin, and independently by Srednicki.


title: TiRE-GAN: Task-Incentivized Generative Learning Models for Radiomap Estimation with Radio Propagation Model

abstract: Enriching geometric information on radio frequency (RF) signal power distribution in wireless communication systems, the radiomap has become an essential tool for resource allocation and network management. Usually, a dense radiomap is reconstructed from sparse observations collected by deployed sensors or mobile devices, which makes the radiomap estimation an urgent challenge. To leverage both physical principles of radio propagation models and data statistics from sparse observations, this work introduces a novel task-incentivized generative learning model, namely TiRE-GAN, for radiomap estimation. Specifically, we first introduce a radio depth map as input to capture the overall pattern of radio propagation and shadowing effects, following which a task-driven incentive network is proposed to provide feedback for radiomap compensation depending on downstream tasks. Our experimental results demonstrate the power of the radio depth map to capture radio propagation information, together with the efficiency of the proposed TiRE-GAN for radiomap estimation.


title: Active Neural 3D Reconstruction with Colorized Surface Voxel-based View Selection

abstract: Active view selection in 3D scene reconstruction has been widely studied since training on informative views is critical for reconstruction. Recently, Neural Radiance Fields (NeRF) variants have shown promising results in active 3D reconstruction using uncertainty-guided view selection. They utilize uncertainties estimated with neural networks that encode scene geometry and appearance. However, the choice of uncertainty integration methods, either voxel-based or neural rendering, has conventionally depended on the types of scene uncertainty being estimated, whether geometric or appearance-related. In this paper, we introduce Colorized Surface Voxel (CSV)-based view selection, a new next-best view (NBV) selection method exploiting surface voxel-based measurement of uncertainty in scene appearance. CSV encapsulates the uncertainty of estimated scene appearance (e.g., color uncertainty) and estimated geometric information (e.g., surface). Using the geometry information, we interpret the uncertainty of scene appearance 3D-wise during the aggregation of the per-voxel uncertainty. Consequently, the uncertainty from occluded and complex regions is recognized under challenging scenarios with limited input data. Our method outperforms previous works on popular datasets, DTU and Blender, and our new dataset with imbalanced viewpoints, showing that the CSV-based view selection significantly improves performance by up to 30%.


title: Decoupling Exploration and Exploitation for Unsupervised Pre-training with Successor Features

abstract: Unsupervised pre-training has been on the lookout for the virtue of a value function representation referred to as successor features (SFs), which decouples the dynamics of the environment from the rewards. It has a significant impact on the process of task-specific fine-tuning due to the decomposition. However, existing approaches struggle with local optima due to the unified intrinsic reward of exploration and exploitation without considering the linear regression problem and the discriminator supporting a small skill sapce. We propose a novel unsupervised pre-training model with SFs based on a non-monolithic exploration methodology. Our approach pursues the decomposition of exploitation and exploration of an agent built on SFs, which requires separate agents for the respective purpose. The idea will leverage not only the inherent characteristics of SFs such as a quick adaptation to new tasks but also the exploratory and task-agnostic capabilities. Our suggested model is termed Non-Monolithic unsupervised Pre-training with Successor features (NMPS), which improves the performance of the original monolithic exploration method of pre-training with SFs. NMPS outperforms Active Pre-training with Successor Features (APS) in a comparative experiment.


title: Gradient-enhanced sparse Hermite polynomial expansions for pricing and hedging high-dimensional American options

abstract: We propose an efficient and easy-to-implement gradient-enhanced least squares Monte Carlo method for computing price and Greeks (i.e., derivatives of the price function) of high-dimensional American options. It employs the sparse Hermite polynomial expansion as a surrogate model for the continuation value function, and essentially exploits the fast evaluation of gradients. The expansion coefficients are computed by solving a linear least squares problem that is enhanced by gradient information of simulated paths. We analyze the convergence of the proposed method, and establish an error estimate in terms of the best approximation error in the weighted $H^1$ space, the statistical error of solving discrete least squares problems, and the time step size. We present comprehensive numerical experiments to illustrate the performance of the proposed method. The results show that it outperforms the state-of-the-art least squares Monte Carlo method with more accurate price, Greeks, and optimal exercise strategies in high dimensions but with nearly identical computational cost, and it can deliver comparable results with recent neural network-based methods up to dimension 100.


title: ViTALS: Vision Transformer for Action Localization in Surgical Nephrectomy

abstract: Surgical action localization is a challenging computer vision problem. While it has promising applications including automated training of surgery procedures, surgical workflow optimization, etc., appropriate model design is pivotal to accomplishing this task. Moreover, the lack of suitable medical datasets adds an additional layer of complexity. To that effect, we introduce a new complex dataset of nephrectomy surgeries called UroSlice. To perform the action localization from these videos, we propose a novel model termed as `ViTALS' (Vision Transformer for Action Localization in Surgical Nephrectomy). Our model incorporates hierarchical dilated temporal convolution layers and inter-layer residual connections to capture the temporal correlations at finer as well as coarser granularities. The proposed approach achieves state-of-the-art performance on Cholec80 and UroSlice datasets (89.8% and 66.1% accuracy, respectively), validating its effectiveness.


title: Off-OAB: Off-Policy Policy Gradient Method with Optimal Action-Dependent Baseline

abstract: Policy-based methods have achieved remarkable success in solving challenging reinforcement learning problems. Among these methods, off-policy policy gradient methods are particularly important due to that they can benefit from off-policy data. However, these methods suffer from the high variance of the off-policy policy gradient (OPPG) estimator, which results in poor sample efficiency during training. In this paper, we propose an off-policy policy gradient method with the optimal action-dependent baseline (Off-OAB) to mitigate this variance issue. Specifically, this baseline maintains the OPPG estimator's unbiasedness while theoretically minimizing its variance. To enhance practical computational efficiency, we design an approximated version of this optimal baseline. Utilizing this approximation, our method (Off-OAB) aims to decrease the OPPG estimator's variance during policy optimization. We evaluate the proposed Off-OAB method on six representative tasks from OpenAI Gym and MuJoCo, where it demonstrably surpasses state-of-the-art methods on the majority of these tasks.


title: A Combination of BERT and Transformer for Vietnamese Spelling Correction

abstract: Recently, many studies have shown the efficiency of using Bidirectional Encoder Representations from Transformers (BERT) in various Natural Language Processing (NLP) tasks. Specifically, English spelling correction task that uses Encoder-Decoder architecture and takes advantage of BERT has achieved state-of-the-art result. However, to our knowledge, there is no implementation in Vietnamese yet. Therefore, in this study, a combination of Transformer architecture (state-of-the-art for Encoder-Decoder model) and BERT was proposed to deal with Vietnamese spelling correction. The experiment results have shown that our model outperforms other approaches as well as the Google Docs Spell Checking tool, achieves an 86.24 BLEU score on this task.


title: A Data Mining-Based Dynamical Anomaly Detection Method for Integrating with an Advance Metering System

abstract: Building operations consume 30% of total power consumption and contribute 26% of global power-related emissions. Therefore, monitoring, and early detection of anomalies at the meter level are essential for residential and commercial buildings. This work investigates both supervised and unsupervised approaches and introduces a dynamic anomaly detection system. The system introduces a supervised Light Gradient Boosting machine and an unsupervised autoencoder with a dynamic threshold. This system is designed to provide real-time detection of anomalies at the meter level. The proposed dynamical system comes with a dynamic threshold based on the Mahalanobis distance and moving averages. This approach allows the system to adapt to changes in the data distribution over time. The effectiveness of the proposed system is evaluated using real-life power consumption data collected from smart metering systems. This empirical testing ensures that the system's performance is validated under real-world conditions. By detecting unusual data movements and providing early warnings, the proposed system contributes significantly to visual analytics and decision science. Early detection of anomalies enables timely troubleshooting, preventing financial losses and potential disasters such as fire incidents.


title: Monetary Policies on Green Financial Markets: Evidence from a Multi-Moment Connectedness Network

abstract: This paper introduces a novel multi-moment connectedness network approach for analyzing the interconnectedness of green financial market. Focusing on the impact of monetary policy shocks, our study reveals that connectedness within the green bond and equity markets varies with different moments (returns, volatility, skewness, and kurtosis) and changes significantly around Federal Open Market Committee (FOMC) events. Static analysis shows a decrease in connectedness with higher moments, while dynamic analysis highlights increased sensitivity to event-driven shocks. We find that both tight and loose monetary policy shocks initially elevate connectedness within the first six months. However, the effects of tight shocks gradually fade, whereas loose shocks may reduce connectedness after one year. These results offer insight to policymakers in regulating sustainable economies and investment managers in strategizing asset allocation and risk management, especially in environmentally focused markets. Our study contributes to understanding the complex dynamics of the green financial market in response to monetary policies, helping in decision-making for sustainable economic development and financial stability.


title: CTD4 -- A Deep Continuous Distributional Actor-Critic Agent with a Kalman Fusion of Multiple Critics

abstract: Categorical Distributional Reinforcement Learning (CDRL) has demonstrated superior sample efficiency in learning complex tasks compared to conventional Reinforcement Learning (RL) approaches. However, the practical application of CDRL is encumbered by challenging projection steps, detailed parameter tuning, and domain knowledge. This paper addresses these challenges by introducing a pioneering Continuous Distributional Model-Free RL algorithm tailored for continuous action spaces. The proposed algorithm simplifies the implementation of distributional RL, adopting an actor-critic architecture wherein the critic outputs a continuous probability distribution. Additionally, we propose an ensemble of multiple critics fused through a Kalman fusion mechanism to mitigate overestimation bias. Through a series of experiments, we validate that our proposed method is easy to train and serves as a sample-efficient solution for executing complex continuous-control tasks.


title: A combinatorial problem related to the classical probability

abstract: In the classical probability model, let $f(n)$ be the maximum number of pairwise independent events for the sample space with $n$ sample points. The determination of $f(n)$ is equivalent to the problem of determining the maximum cardinality of specific intersecting families on the set $\{1,2,\ldots,n\}$ . We show that $f(n)\leq n+1$, and $f(n)=n+1$ if there exists a Hadamard matrix of order $n$.


title: Mixat: A Data Set of Bilingual Emirati-English Speech

abstract: This paper introduces Mixat: a dataset of Emirati speech code-mixed with English. Mixat was developed to address the shortcomings of current speech recognition resources when applied to Emirati speech, and in particular, to bilignual Emirati speakers who often mix and switch between their local dialect and English. The data set consists of 15 hours of speech derived from two public podcasts featuring native Emirati speakers, one of which is in the form of conversations between the host and a guest. Therefore, the collection contains examples of Emirati-English code-switching in both formal and natural conversational contexts. In this paper, we describe the process of data collection and annotation, and describe some of the features and statistics of the resulting data set. In addition, we evaluate the performance of pre-trained Arabic and multi-lingual ASR systems on our dataset, demonstrating the shortcomings of existing models on this low-resource dialectal Arabic, and the additional challenge of recognizing code-switching in ASR. The dataset will be made publicly available for research use.


title: Innate Motivation for Robot Swarms by Minimizing Surprise: From Simple Simulations to Real-World Experiments

abstract: Applications of large-scale mobile multi-robot systems can be beneficial over monolithic robots because of higher potential for robustness and scalability. Developing controllers for multi-robot systems is challenging because the multitude of interactions is hard to anticipate and difficult to model. Automatic design using machine learning or evolutionary robotics seem to be options to avoid that challenge, but bring the challenge of designing reward or fitness functions. Generic reward and fitness functions seem unlikely to exist and task-specific rewards often have undesired side effects. Approaches of so-called innate motivation try to avoid the specific formulation of rewards and work instead with different drivers, such as curiosity. Our approach to innate motivation is to minimize surprise, which we implement by maximizing the accuracy of the swarm robot's sensor predictions using neuroevolution. A unique advantage of the swarm robot case is that swarm members populate the robot's environment and can trigger more active behaviors in a self-referential loop. We summarize our previous simulation-based results concerning behavioral diversity, robustness, scalability, and engineered self-organization, and put them into context. In several new studies, we analyze the influence of the optimizer's hyperparameters, the scalability of evolved behaviors, and the impact of realistic robot simulations. Finally, we present results using real robots that show how the reality gap can be bridged.


title: PropertyGPT: LLM-driven Formal Verification of Smart Contracts through Retrieval-Augmented Property Generation

abstract: With recent advances in large language models (LLMs), this paper explores the potential of leveraging state-of-the-art LLMs, such as GPT-4, to transfer existing human-written properties (e.g., those from Certora auditing reports) and automatically generate customized properties for unknown code. To this end, we embed existing properties into a vector database and retrieve a reference property for LLM-based in-context learning to generate a new prop- erty for a given code. While this basic process is relatively straight- forward, ensuring that the generated properties are (i) compilable, (ii) appropriate, and (iii) runtime-verifiable presents challenges. To address (i), we use the compilation and static analysis feedback as an external oracle to guide LLMs in iteratively revising the generated properties. For (ii), we consider multiple dimensions of similarity to rank the properties and employ a weighted algorithm to identify the top-K properties as the final result. For (iii), we design a dedicated prover to formally verify the correctness of the generated prop- erties. We have implemented these strategies into a novel system called PropertyGPT, with 623 human-written properties collected from 23 Certora projects. Our experiments show that PropertyGPT can generate comprehensive and high-quality properties, achieving an 80% recall compared to the ground truth. It successfully detected 26 CVEs/attack incidents out of 37 tested and also uncovered 12 zero-day vulnerabilities, resulting in $8,256 bug bounty rewards.