title: Overview of Sensing Attacks on Autonomous Vehicle Technologies and Impact on Traffic Flow

abstract: While perception systems in Connected and Autonomous Vehicles (CAVs), which encompass both communication technologies and advanced sensors, promise to significantly reduce human driving errors, they also expose CAVs to various cyberattacks. These include both communication and sensing attacks, which potentially jeopardize not only individual vehicles but also overall traffic safety and efficiency. While much research has focused on communication attacks, sensing attacks, which are equally critical, have garnered less attention. To address this gap, this study offers a comprehensive review of potential sensing attacks and their impact on target vehicles, focusing on commonly deployed sensors in CAVs such as cameras, LiDAR, Radar, ultrasonic sensors, and GPS. Based on this review, we discuss the feasibility of integrating hardware-in-the-loop experiments with microscopic traffic simulations. We also design baseline scenarios to analyze the macro-level impact of sensing attacks on traffic flow. This study aims to bridge the research gap between individual vehicle sensing attacks and broader macroscopic impacts, thereby laying the foundation for future systemic understanding and mitigation.


title: Multimodality in Group Communication Research

abstract: Team interactions are often multisensory, requiring members to pick up on verbal, visual, spatial and body language cues. Multimodal research, research that captures multiple modes of communication such as audio and visual signals, is therefore integral to understanding these multisensory group communication processes. This type of research has gained traction in biomedical engineering and neuroscience, but it is unclear the extent to which communication and management researchers conduct multimodal research. Our study finds that despite its' utility, multimodal research is underutilized in the communication and management literature's. This paper then covers introductory guidelines for creating new multimodal research including considerations for sensors, data integration and ethical considerations.


title: Bounded-degree Low Rank Parity Check Codes

abstract: Low rank parity check (LRPC) codes are the rank-metric analogue of low density parity check codes. In this paper we investigate a sub-family of LRPC codes, which have a parity check matrix defined over a subspace $V_{\alpha,d}=\langle 1,\alpha, \ldots, \alpha^{d-1}\rangle_{\mathbb{F}_q}\subsetneq \mathbb{F}_{q^m}$, where $\mathbb{F}_{q^m}$ is the finite field of $q^m$ elements and $d$ is significantly smaller than $m $. These codes are named bounded-degree LRPC (BD-LRPC) codes and are the same as the standard LRPC codes of density $2$ when the degree $d=2$, while BD-LRPC codes of degree $d>2$ constitute a proper subset of LRPC codes of density $d$. Exploiting the particular structure of their parity check matrix, we show that the BD-LRPC codes of degree $d$ can uniquely correct errors of rank weight $r$ when $n-k \geq r + u$ for certain $u \geq 1$, in contrast to the condition $n-k\geq dr$ required for the standard LRPC codes, where $d\geq n/(n-k)$. This underscores the superior decoding capability of the proposed BD-LRPC codes. As the code length $n$ approaches infinity, when $n/m\rightarrow 0$, it is shown that $u$ can be chosen as a certain constant, which indicates that the BD-LRPC codes with a code rate of $R$ can be, with a high probability, uniquely decodable with the decoding radius $\rho=r/n$ approaching the Singleton bound $1-R$ for $n \to \infty$; and when $b= n/m$ is a constant, the BD-LRPC codes can have unique decoding radius $\rho = 1-R-\epsilon $ for a small $\epsilon$, which can easily lead to $\rho>(1-R)/2$ with properly chosen parameters.


title: Regularized Q-Learning with Linear Function Approximation

abstract: Several successful reinforcement learning algorithms make use of regularization to promote multi-modal policies that exhibit enhanced exploration and robustness. With functional approximation, the convergence properties of some of these algorithms (e.g. soft Q-learning) are not well understood. In this paper, we consider a single-loop algorithm for minimizing the projected Bellman error with finite time convergence guarantees in the case of linear function approximation. The algorithm operates on two scales: a slower scale for updating the target network of the state-action values, and a faster scale for approximating the Bellman backups in the subspace of the span of basis vectors. We show that, under certain assumptions, the proposed algorithm converges to a stationary point in the presence of Markovian noise. In addition, we provide a performance guarantee for the policies derived from the proposed algorithm.


title: Accelerated intermetallic phase amorphization in a Mg-based high-entropy alloy powder

abstract: We describe a novel mechanism for the synthesis of a stable high-entropy alloy powder from an otherwise immiscible Mg-Ti rich metallic mixture by employing high-energy mechanical milling. The presented methodology expedites the synthesis of amorphous alloy powder by strategically injecting entropic disorder through the inclusion of multi-principal elements in the alloy composition. Predictions from first principles and materials theory corroborate the results from microscopic characterizations that reveal a transition of the amorphous phase from a precursor intermetallic structure. This transformation, characterized by the emergence of antisite disorder, lattice expansion, and the presence of nanograin boundaries, signifies a departure from the precursor intermetallic structure. Additionally, this phase transformation is accelerated by the presence of multiple principal elements that induce severe lattice distortion and a higher configurational entropy. The atomic size mismatch of the dissimilar elements present in the alloy produces a stable amorphous phase that resists reverting to an ordered lattice even on annealing.


title: $s$-Stable Kneser Graph are Hamiltonian

abstract: The Kneser Graph $K(n,k)$ has as vertices all $k$-subsets of $\{1,\ldots,n\}$ and edges connecting two vertices if they are disjoint. The $s$-stable Kneser Graph $K_{s-stab}(n, k)$ is obtained from the Kneser graph by deleting vertices with elements at cyclic distance less than $s$. In this article we show that connected $s$-Stable Kneser graph are Hamiltonian.


title: SCANIA Component X Dataset: A Real-World Multivariate Time Series Dataset for Predictive Maintenance

abstract: This paper presents a description of a real-world, multivariate time series dataset collected from an anonymized engine component (called Component X) of a fleet of trucks from SCANIA, Sweden. This dataset includes diverse variables capturing detailed operational data, repair records, and specifications of trucks while maintaining confidentiality by anonymization. It is well-suited for a range of machine learning applications, such as classification, regression, survival analysis, and anomaly detection, particularly when applied to predictive maintenance scenarios. The large population size and variety of features in the format of histograms and numerical counters, along with the inclusion of temporal information, make this real-world dataset unique in the field. The objective of releasing this dataset is to give a broad range of researchers the possibility of working with real-world data from an internationally well-known company and introduce a standard benchmark to the predictive maintenance field, fostering reproducible research.


title: Relative profinite rigidity of Baumslag-Solitar groups

abstract: We prove that each residually finite Baumslag-Solitar group can be distinguished by its finite quotients from all other residually finite Baumslag-Solitar groups.


title: Automatically Detecting Confusion and Conflict During Collaborative Learning Using Linguistic, Prosodic, and Facial Cues

abstract: During collaborative learning, confusion and conflict emerge naturally. However, persistent confusion or conflict have the potential to generate frustration and significantly impede learners' performance. Early automatic detection of confusion and conflict would allow us to support early interventions which can in turn improve students' experience with and outcomes from collaborative learning. Despite the extensive studies modeling confusion during solo learning, there is a need for further work in collaborative learning. This paper presents a multimodal machine-learning framework that automatically detects confusion and conflict during collaborative learning. We used data from 38 elementary school learners who collaborated on a series of programming tasks in classrooms. We trained deep multimodal learning models to detect confusion and conflict using features that were automatically extracted from learners' collaborative dialogues, including (1) language-derived features including TF-IDF, lexical semantics, and sentiment, (2) audio-derived features including acoustic-prosodic features, and (3) video-derived features including eye gaze, head pose, and facial expressions. Our results show that multimodal models that combine semantics, pitch, and facial expressions detected confusion and conflict with the highest accuracy, outperforming all unimodal models. We also found that prosodic cues are more predictive of conflict, and facial cues are more predictive of confusion. This study contributes to the automated modeling of collaborative learning processes and the development of real-time adaptive support to enhance learners' collaborative learning experience in classroom contexts.


title: A Cross Entropy Interpretation of R{\'{e}}nyi Entropy for $\alpha$-leakage

abstract: This paper proposes an $\alpha$-leakage measure for $\alpha\in[0,\infty)$ by a cross entropy interpretation of R{\'{e}}nyi entropy. While R\'{e}nyi entropy was originally defined as an $f$-mean for $f(t) = \exp((1-\alpha)t)$, we reveal that it is also a $\tilde{f}$-mean cross entropy measure for $\tilde{f}(t) = \exp(\frac{1-\alpha}{\alpha}t)$. Minimizing this R\'{e}nyi cross-entropy gives R\'{e}nyi entropy, by which the prior and posterior uncertainty measures are defined corresponding to the adversary's knowledge gain on sensitive attribute before and after data release, respectively. The $\alpha$-leakage is proposed as the difference between $\tilde{f}$-mean prior and posterior uncertainty measures, which is exactly the Arimoto mutual information. This not only extends the existing $\alpha$-leakage from $\alpha \in [1,\infty)$ to the overall R{\'{e}}nyi order range $\alpha \in [0,\infty)$ in a well-founded way with $\alpha=0$ referring to nonstochastic leakage, but also reveals that the existing maximal leakage is a $\tilde{f}$-mean of an elementary $\alpha$-leakage for all $\alpha \in [0,\infty)$, which generalizes the existing pointwise maximal leakage.


title: FedGT: Federated Node Classification with Scalable Graph Transformer

abstract: Graphs are widely used to model relational data. As graphs are getting larger and larger in real-world scenarios, there is a trend to store and compute subgraphs in multiple local systems. For example, recently proposed \emph{subgraph federated learning} methods train Graph Neural Networks (GNNs) distributively on local subgraphs and aggregate GNN parameters with a central server. However, existing methods have the following limitations: (1) The links between local subgraphs are missing in subgraph federated learning. This could severely damage the performance of GNNs that follow message-passing paradigms to update node/edge features. (2) Most existing methods overlook the subgraph heterogeneity issue, brought by subgraphs being from different parts of the whole graph. To address the aforementioned challenges, we propose a scalable \textbf{Fed}erated \textbf{G}raph \textbf{T}ransformer (\textbf{FedGT}) in the paper. Firstly, we design a hybrid attention scheme to reduce the complexity of the Graph Transformer to linear while ensuring a global receptive field with theoretical bounds. Specifically, each node attends to the sampled local neighbors and a set of curated global nodes to learn both local and global information and be robust to missing links. The global nodes are dynamically updated during training with an online clustering algorithm to capture the data distribution of the corresponding local subgraph. Secondly, FedGT computes clients' similarity based on the aligned global nodes with optimal transport. The similarity is then used to perform weighted averaging for personalized aggregation, which well addresses the data heterogeneity problem. Moreover, local differential privacy is applied to further protect the privacy of clients. Finally, extensive experimental results on 6 datasets and 2 subgraph settings demonstrate the superiority of FedGT.


title: LYT-Net: Lightweight YUV Transformer-based Network for Low-Light Image Enhancement

abstract: In recent years, deep learning-based solutions have proven successful in the domains of image enhancement. This paper introduces LYT-Net, or Lightweight YUV Transformer-based Network, as a novel approach for low-light image enhancement. The proposed architecture, distinct from conventional Retinex-based models, leverages the YUV color space's natural separation of luminance (Y) and chrominance (U and V) to simplify the intricate task of disentangling light and color information in images. By utilizing the strengths of transformers, known for their capability to capture long-range dependencies, LYT-Net ensures a comprehensive contextual understanding of the image while maintaining reduced model complexity. By employing a novel hybrid loss function, our proposed method achieves state-of-the-art results on low-light image enhancement datasets, all while being considerably more compact than its counterparts. The source code and pre-trained models are available at https://github.com/albrateanu/LYT-Net


title: csranks: An R Package for Estimation and Inference Involving Ranks

abstract: This article introduces the R package csranks for estimation and inference involving ranks. First, we review methods for the construction of confidence sets for ranks, namely marginal and simultaneous confidence sets as well as confidence sets for the identities of the tau-best. Second, we review methods for estimation and inference in regressions involving ranks. Third, we describe the implementation of these methods in csranks and illustrate their usefulness in two examples: one about the quantification of uncertainty in the PISA ranking of countries and one about the measurement of intergenerational mobility using rank-rank regressions.


title: Backscatter Measurements and Models for RF Sensing Applications in Cluttered Environments

abstract: A statistical backscatter channel model for indoor clutter is developed for indoor RF sensing applications based on measurements. A narrowband 28 GHz sounder used a quazi-monostatic radar arrangement with an omnidirectional transmit antenna illuminating an indoor scene and a spinning horn receive antenna less than 1 m away collecting backscattered power as a function of azimuth. Median average backscatter power was found to vary over a 12 dB range, with average power generally decreasing with increasing room size. A deterministic model of average backscattered power dependent on distance to nearest wall and wall reflection coefficient reproduces observations with 4.0 dB RMS error. Distribution of power variation in azimuth around this average is reproduced within 1 dB by a random azimuth spectrum with a lognormal amplitude distribution and uniformly random phase. The model is extended to provide power distribution over both azimuth and delay (conveying range to scatterer) by combining azimuthal distribution with published results on power delay profiles in reverberant environments. The statistical model does not require a detailed room layout description, aiming to reproduce backscatter clutter statistics, as opposed to a deterministic response.


title: HiFT: A Hierarchical Full Parameter Fine-Tuning Strategy

abstract: Full-parameter fine-tuning has become the go-to choice for adapting language models (LMs) to downstream tasks due to its excellent performance. As LMs grow in size, fine-tuning the full parameters of LMs requires a prohibitively large amount of GPU memory. Existing approaches utilize zeroth-order optimizer to conserve GPU memory, which can potentially compromise the performance of LMs as non-zero order optimizers tend to converge more readily on most downstream tasks. In this paper, we propose a novel optimizer-independent end-to-end hierarchical fine-tuning strategy, HiFT, which only updates a subset of parameters at each training step. HiFT can significantly reduce the amount of gradients and optimizer state parameters residing in GPU memory at the same time, thereby reducing GPU memory usage. Our results demonstrate that: (1) HiFT achieves comparable performance to parameter-efficient fine-tuning and standard full parameter fine-tuning. (2) HiFT supports various optimizers including AdamW, AdaGrad, SGD, etc. (3) HiFT can save more than 60\% GPU memory compared with standard full-parameter fine-tuning for 7B model. (4) HiFT enables full-parameter fine-tuning of a 7B model on single 48G A6000 with a precision of 32 using the AdamW optimizer, without using any memory saving techniques.


title: Covering Distributions

abstract: In this article, we study a covering process of the discrete one-dimensional torus that uses connected arcs of random sizes in the covering. More precisely, fix a distribution \mu on \mathbb{N}, and for every n\geq 1 we will cover the torus \mathbb{Z}/n\mathbb{Z} as follows: at each time step, we place an arc with a length distributed as \mu and a uniform starting point. Eventually, the space will be covered entirely by these arcs. Changing the arc length distribution \mu can potentially change the limiting behavior of the covering time. Here, we expose four distinct phases for the fluctuations of the cover time in the limit. These phases can be informally described as the Gumbel phase, the compactly support phase, the pre-exponential phase, and the exponential phase. Furthermore, we expose a continuous-time cover process that works as a limit distribution within the compactly support phase.


title: Multiplicity results for elliptic problems with critical exponential growth

abstract: We prove new multiplicity results for some elliptic problems with critical exponential growth. More specifically, we show that the problems considered here have arbitrarily many solutions for all sufficiently large values of a certain parameter $\mu > 0$. In particular, the number of solutions goes to infinity as $\mu \to \infty$. The proof is based on an abstract critical point theorem.


title: Roq: Robust Query Optimization Based on a Risk-aware Learned Cost Model

abstract: Query optimizers in relational database management systems (RDBMSs) search for execution plans expected to be optimal for a given queries. They use parameter estimates, often inaccurate, and make assumptions that may not hold in practice. Consequently, they may select execution plans that are suboptimal at runtime, when these estimates and assumptions are not valid, which may result in poor query performance. Therefore, query optimizers do not sufficiently support robust query optimization. Recent years have seen a surge of interest in using machine learning (ML) to improve efficiency of data systems and reduce their maintenance overheads, with promising results obtained in the area of query optimization in particular. In this paper, inspired by these advancements, and based on several years of experience of IBM Db2 in this journey, we propose Robust Optimization of Queries, (Roq), a holistic framework that enables robust query optimization based on a risk-aware learning approach. Roq includes a novel formalization of the notion of robustness in the context of query optimization and a principled approach for its quantification and measurement based on approximate probabilistic ML. It also includes novel strategies and algorithms for query plan evaluation and selection. Roq also includes a novel learned cost model that is designed to predict query execution cost and the associated risks and performs query optimization accordingly. We demonstrate experimentally that Roq provides significant improvements to robust query optimization compared to the state-of-the-art.


title: Charged Black Holes with Yukawa Potential

abstract: This study derives a novel family of charged black hole solutions featuring short- and long-range modifications. These ones are achieved through a Yukawa-like gravitational potential modification and a nonsingular electric potential incorporation. The short-range corrections encode quantum gravity effects, while the long-range adjustments simulate gravitational effects akin to those attributed to dark matter. Our investigation reveals that the total mass of the black hole undergoes corrections owing to the apparent presence of dark matter mass and the self-adjusted electric charge mass. Two distinct solutions are discussed: a regular black hole solution characterizing small black holes, where quantum effects play a crucial role, and a second solution portraying large black holes at considerable distances, where the significance of Yukawa corrections comes into play. Notably, these long-range corrections contribute to an increase in the total mass and hold particular interest as they can emulate the role of dark matter. Finally, we explore the phenomenological aspects of the black hole. Specifically, we examine the influence of electric charge and Yukawa parameters on thermodynamic quantities, the quasinormal modes for the charged scalar perturbations as well as for the vector perturbations, analysis of the geodesics of light/massive particles, and the accretion of matter onto the charged black hole solution.


title: Speed-based Filtration and DBSCAN of Event-based Camera Data with Neuromorphic Computing

abstract: Spiking neural networks are powerful computational elements that pair well with event-based cameras (EBCs). In this work, we present two spiking neural network architectures that process events from EBCs: one that isolates and filters out events based on their speeds, and another that clusters events based on the DBSCAN algorithm.


title: On inertial iterated Tikhonov methods for solving ill-posed problems

abstract: In this manuscript we propose and analyze an implicit two-point type method (or inertial method) for obtaining stable approximate solutions to linear ill-posed operator equations. The method is based on the iterated Tikhonov (iT) scheme. We establish convergence for exact data, and stability and semi-convergence for noisy data. Regarding numerical experiments we consider: i) a 2D Inverse Potential Problem, ii) an Image Deblurring Problem; the computational efficiency of the method is compared with standard implementations of the iT method.


title: A quantitative analysis of the effect of box size in N-body simulations of the matter power spectrum

abstract: We study the effect of box size on the matter power spectrum obtained via cosmological N-body simulations. Within the framework of the cosmic screening approach, we show that the relative deviation between the spectra for our largest comoving box with L = 5632 Mpc/h and those for L = 280, 560, 1680, 4480, 5120 Mpc/h boxes consistently increases with decreasing box size in the latter set in the redshift range $0\leq z\leq 80$ for the considered values. As an additional demonstrative example, at redshift zero, we determine the values $k_{1\%}$ corresponding to the modes at which relative deviations reach 1\%.


title: The rise and fall of bars in disc galaxies from $z=1$ to $z=0$. The role of the environment

abstract: We investigate the influence of the environment on the evolution of barred and unbarred disc galaxies with a mass $>10^{10}\Msun$ from z=1 down to z=0, employing the TNG50 magnetic-hydrodynamical simulation. We find that 49% of z=1 disc galaxies undergoes a morphological transformation, transitioning into either a lenticular or spheroidal, while the other 51% retains the massive disc. The morphological alteration is mostly influenced by the environment. Lenticular and spheroidal galaxies tend to exist in denser environments and have more frequent mergers compared to disc galaxies. We find that over half of the barred galaxies (60.2%) retain the bar structure and have experienced fewer mergers compared to those galaxies that lose their bars (5.6%). These latter ones start with weaker and shorter bars at z=1 influenced by tidal interactions and are frequently observed in more populated areas. Additionally, our study reveals that less than 20% of unbarred galaxies will never develop a bar and exhibit the quietest merger history. Unbarred galaxies that experience bar formation after z=1 exhibit more frequent instances of merging events. Furthermore, tidal interactions with a close companion may account for bar formation in at least one-third of the cases. Our findings highlight that stable bars are prevalent in disc galaxies. Bar evolution may nonetheless be affected by the environment. Interactions with nearby companions or tidal forces caused by mergers have the capacity to disrupt the disc. This perturbance may materialise as the dissolution of the bar, the formation of a bar, or, in its most severe form, the complete destruction of the disc, resulting in morphological transformation. Bars that are weak and short at z=1 and undergo major or minor mergers may eventually dissolve, whereas unbarred galaxies that enter crowded environments or experience a merger may develop a bar.


title: Quantum-Assisted Adaptive Beamforming in UASs Network: Enhancing Airborne Communication via Collaborative UASs for NextG IoT

abstract: This paper introduces a novel quantum-based method for dynamic beamforming and re-forming in Unmanned Aircraft Systems (UASs), specifically addressing the critical challenges posed by the unavoidable hovering characteristics of UAVs. Hovering creates significant beam path distortions, impacting the reliability and quality of distributed beamforming in airborne networks. To overcome these challenges, our Quantum Search for UAS Beamforming (QSUB) employs quantum superposition, entanglement, and amplitude amplification. It adaptively reconfigures beams, enhancing beam quality and maintaining robust communication links in the face of rapid UAS state changes due to hovering. Furthermore, we propose an optimized framework, Quantum-Position-Locked Loop (Q-P-LL), that is based on the principle of the Nelder-Mead optimization method for adaptive search to reduce prediction error and improve resilience against angle-of-arrival estimation errors, crucial under dynamic hovering conditions. We also demonstrate the scalability of the system performance and computation complexity by comparing various numbers of active UASs. Importantly, QSUB and Q-P-LL can be applied to both classical and quantum computing architectures. Comparative analyses with conventional Maximum Ratio Transmission (MRT) schemes demonstrate the superior performance and scalability of our quantum approaches, marking significant advancements in the next-generation Internet of Things (IoT) applications requiring reliable airborne communication networks.


title: Assessment of vertical stability for negative triangularity pilot plants

abstract: Negative triangularity (NT) tokamak configurations may be more susceptible to magneto-hydrodynamic instability, posing challenges for recent reactor designs centered around their favorable properties, such as improved confinement and operation free of edge-localized modes. In this work, we assess the vertical stability of plasmas with NT shaping and develop potential reactor solutions. When coupled with a conformal wall, NT equilibria are confirmed to be less vertically stable than equivalent positive triangularity (PT) configurations. Unlike PT, their vertical stability is degraded at higher poloidal beta. Furthermore, improvements in vertical stability at low aspect ratio do not translate to the NT geometry. NT equilibria are stabilized in PT vacuum vessels due to the increased proximity of the plasma and the wall on the outboard side, but this scenario is found to be undesirable due to reduced vertical gaps which give less spatial margin for control recovery. Instead, we demonstrate that informed positioning of passively conducting plates can lead to improved vertical stability in NT configurations on par with stability metrics expected in PT scenarios. An optimal setup for passive plates in highly elongated NT devices is presented, where plates on the outboard side of the device reduce vertical instability growth rates to 16% of their baseline value. For lower target elongations, integration of passive stabilizers with divertor concepts can lead to significant improvements in vertical stability. Plates on the inboard side of the device are also uniquely enabled in NT geometries, providing opportunity for spatial separation of vertical stability coils and passive stabilizers.


title: A Tunable Terahertz Metamaterial Perfect Absorber Based on Vanadium Dioxide

abstract: In this paper, a tunable metamaterial perfect absorber based on vanadium dioxide (VO2) is designed in the terahertz frequency range. The proposed structure is simulated by the numerical method of three-dimensional Finite Difference Time Domain (FDTD). Simulation results show that the absorption spectrum of the device in the normal incidence of a plane wave light in the range of 1 THz to 12 THz, has three polarization-insensitive resonance peaks whose amplitude changes for the different conductivities of VO2 and shifts in a certain frequency range. This device also having a tolerance of 6 degrees of incidence angle can provide a relatively stable absorption spectrum.


title: Harnessing Deep Learning of Point Clouds for Inverse Control of 3D Shape Morphing

abstract: Shape-morphing devices, a crucial branch in soft robotics, hold significant application value in areas like human-machine interfaces, biomimetic robotics, and tools for interacting with biological systems. To achieve three-dimensional (3D) programmable shape morphing (PSM), the deployment of array-based actuators is essential. However, a critical knowledge gap impeding the development of 3D PSM is the challenge of controlling the complex systems formed by these soft actuator arrays. This study introduces a novel approach, for the first time, representing the configuration of shape morphing devices using point cloud data and employing deep learning to map these configurations to control inputs. We propose Shape Morphing Net (SMNet), a method that realizes the regression from point cloud data to high-dimensional continuous vectors. Applied to previous 2D PSM actuator arrays, SMNet significantly enhances control precision from 82.23% to 97.68%. Further, we extend its application to 3D PSM devices with three different actuator mechanisms, demonstrating the universal applicability of SMNet to the control of 3D shape morphing technologies. In our demonstrations, we confirm the efficacy of inverse control, where 3D PSM devices successfully replicate target shapes. These shapes are obtained either through 3D scanning of physical objects or via 3D modeling software. The results show that within the deformable range of 3D PSM devices, accurate reproduction of the desired shapes is achievable. The findings of this research represent a substantial advancement in soft robotics, particularly for applications demanding intricate 3D shape transformations, and establish a foundational framework for future developments in the field.


title: From equilibrium to non-equilibrium statistical mechanics of liquids

abstract: Relevant and fundamental concepts of the statistical mechanical theory of classical liquids are ordinarily introduced in the context of the description of thermodynamic equilibrium states. This makes explicit reference to probability distribution functions of \emph{equilibrium} statistical ensembles (canonical, microcanonical, ...) in the derivation of general and fundamental relations between inter-particle interactions and measurable macroscopic properties of a given system. This includes, for instance, expressing the internal energy and the pressure as functionals of the radial distribution function, or writing transport coefficients (diffusion constant, linear viscosity, ...) in terms of integral relations involving both, static and dynamic auto-correlation functions (density-density, stress-stress, ...). Most commonly, however, matter is not in thermodynamic equilibrium, and this calls for the extension of these relations to out-of-equilibrium conditions with the aim of understanding, for example, the time-dependent transient states during the process of equilibration, or the aging of glass- and gel-forming liquids during the formation of non-equilibrium amorphous solid states. In this work we address this issue from both, a general perspective and an illustrative concrete application focused on the first principles description of rheological and viscoelastic properties of glass- and gel-forming liquids.


title: Designing and Testing a Mobile Application for Collecting WhatsApp Chat Data While Preserving Privacy

abstract: It is common practice for researchers to join public WhatsApp chats and scrape their contents for analysis. However, research shows collecting data this way contradicts user expectations and preferences, even if the data is effectively public. To overcome these issues, we outline design considerations for collecting WhatsApp chat data with improved user privacy by heightening user control and oversight of data collection and taking care to minimize the data researchers collect and process off a user's device. We refer to these design principles as User-Centered Data Sharing (UCDS). To evaluate our UCDS principles, we implemented a mobile application representing one possible instance of these improved data collection techniques and evaluated the viability of using the app to collect WhatsApp chat data. Second, we surveyed WhatsApp users to gather user perceptions on common existing WhatsApp data collection methods as well as UCDS methods. Our results show that we were able to glean similar informative insights into WhatsApp chats using UCDS principles in our prototype app to common, less privacy-preserving methods. Our survey showed that methods following the UCDS principles are preferred by users because they offered users more control over the data collection process. Future user studies could further expand upon UCDS principles to overcome complications of researcher-to-group communication in research on WhatsApp chats and evaluate these principles in other data sharing contexts.


title: Transfer Learning for the Prediction of Entity Modifiers in Clinical Text: Application to Opioid Use Disorder Case Detection

abstract: Background: The semantics of entities extracted from a clinical text can be dramatically altered by modifiers, including entity negation, uncertainty, conditionality, severity, and subject. Existing models for determining modifiers of clinical entities involve regular expression or features weights that are trained independently for each modifier. Methods: We develop and evaluate a multi-task transformer architecture design where modifiers are learned and predicted jointly using the publicly available SemEval 2015 Task 14 corpus and a new Opioid Use Disorder (OUD) data set that contains modifiers shared with SemEval as well as novel modifiers specific for OUD. We evaluate the effectiveness of our multi-task learning approach versus previously published systems and assess the feasibility of transfer learning for clinical entity modifiers when only a portion of clinical modifiers are shared. Results: Our approach achieved state-of-the-art results on the ShARe corpus from SemEval 2015 Task 14, showing an increase of 1.1% on weighted accuracy, 1.7% on unweighted accuracy, and 10% on micro F1 scores. Conclusions: We show that learned weights from our shared model can be effectively transferred to a new partially matched data set, validating the use of transfer learning for clinical text modifiers


title: Biological Valuation Map of Flanders: A Sentinel-2 Imagery Analysis

abstract: In recent years, machine learning has become crucial in remote sensing analysis, particularly in the domain of Land-use/Land-cover (LULC). The synergy of machine learning and satellite imagery analysis has demonstrated significant productivity in this field, as evidenced by several studies. A notable challenge within this area is the semantic segmentation mapping of land usage over extensive territories, where the accessibility of accurate land-use data and the reliability of ground truth land-use labels pose significant difficulties. For example, providing a detailed and accurate pixel-wise labeled dataset of the Flanders region, a first-level administrative division of Belgium, can be particularly insightful. Yet there is a notable lack of regulated, formalized datasets and workflows for such studies in many regions globally. This paper introduces a comprehensive approach to addressing these gaps. We present a densely labeled ground truth map of Flanders paired with Sentinel-2 satellite imagery. Our methodology includes a formalized dataset division and sampling method, utilizing the topographic map layout 'Kaartbladversnijdingen,' and a detailed semantic segmentation model training pipeline. Preliminary benchmarking results are also provided to demonstrate the efficacy of our approach.


title: Charge order near the antiferromagnetic quantum critical point in the trilayer high $T_c$ cuprate HgBa$_2$Ca$_2$Cu$_3$O$_{8+ \delta}$

abstract: We study the transport properties of underdoped trilayer cuprate HgBa$_2$Ca$_2$Cu$_3$O$_{8+ \delta}$ with doping level $p$ = 0.1 - 0.12 in magnetic field up to 88 T. We report for the first time in a cuprate superconductor a dramatic change of the quantum oscillation spectrum versus temperature, which is accompanied by a sign change of the Hall effect below $T \approx$ 10 K. Based on numerical simulations, we infer a Fermi surface reconstruction in the inner plane from an antiferromagnetic state (hole pockets) to a biaxial charge density wave state (electron pockets). We show that both orders compete and share the same hotspots of the Fermi surface and we discuss our result in the context of spin-fermion models.


title: A bivariate two-state Markov modulated Poisson process for failure modelling

abstract: Motivated by a real failure dataset in a two-dimensional context, this paper presents an extension of the Markov modulated Poisson process (MMPP) to two dimensions. The one-dimensional MMPP has been proposed for the modeling of dependent and non-exponential inter-failure times (in contexts as queuing, risk or reliability, among others). The novel two-dimensional MMPP allows for dependence between the two sequences of inter-failure times, while at the same time preserves the MMPP properties, marginally. The generalization is based on the Marshall-Olkin exponential distribution. Inference is undertaken for the new model through a method combining a matching moments approach with an Approximate Bayesian Computation (ABC) algorithm. The performance of the method is shown on simulated and real datasets representing times and distances covered between consecutive failures in a public transport company. For the real dataset, some quantities of importance associated with the reliability of the system are estimated as the probabilities and expected number of failures at different times and distances covered by trains until the occurrence of a failure.


title: Existence of spiral waves in oscillatory media with nonlocal coupling

abstract: We prove existence of spiral waves in oscillatory media with nonlocal coupling. Our starting point is a nonlocal complex Ginzburg-Landau (cGL) equation, rigorously derived as an amplitude equation for integro-differential equations undergoing a Hopf bifurcation. Because this reduced equation includes higher order terms that are usually ignored in a formal derivation of the cGL, the solutions we find also correspond to solutions of the original nonlocal system. To prove existence of these patterns we use perturbation methods together with the implicit function theorem. Within appropriate parameter regions, we find that spiral wave patterns have wavenumbers, $\kappa$, with expansion $\kappa \sim C e^{-a/\varepsilon}$, where $a$ is a positive constant, $\varepsilon$ is the small bifurcation parameter, and the positive constant $C$ depends on the strength and spread of the nonlocal coupling. The main difficulty we face comes from the linear operators appearing in our system of equations. Due to the symmetries present in the system, and because the equations are posed on the plane, these maps have a zero eigenvalue embedded in their essential spectrum. Therefore, they are not invertible when defined between standard Sobolev spaces and a straightforward application of the implicit function theorem is not possible. We surpass this difficulty by redefining the domain of these operators using doubly weighted Sobolev spaces. These spaces encode algebraic decay/growth properties of functions, near the origin and in the far field, and allow us to recover Fredholm properties for these maps.


title: Experimental evidence on tonal noise generation and its control in tip-leakage flows

abstract: The present study is first to provide experimental evidence of tonal noise and acoustic feedback by a stationary airfoil with a tip-gap placed between two side plates. Tones are linked to an aero-acoustic coupling using synchronized measurements between Particle Image Velocimetry and far-field microphone probes. To aid in the correlation analysis, the wall boundary condition on the pressure side of the airfoil was modified by introducing surface roughness. For tip leakage flows without roughness elements, the far-field acoustic spectra show peaks in the acoustic autospectra. These peaks are present regardless of the flow speed studied. The findings reveal that tones associated with tip-gap extend till 16.5 kHz in a low-noise facility. Roughness alters cross-flow velocity along the airfoil chord, influencing acoustics at matched Reynolds and Mach numbers. Roughness induces cancellation of spectral peaks and changes in the velocity and acoustic pressure correlation pattern between airfoil pressure and suction side. Modal shapes confirm the presence of coherent structures in the tip-gap region, with smooth surfaces exhibiting confined flow instabilities and non-dipolar noise sources around and beyond 10 kHz. At these high frequencies, the sound radiation mechanism can be uniquely attributed to neither a jet-like noise source nor these acoustic peaks can be uniquely attributed to coherent structures in the tip-gap region. On the contrary, coherence between airfoil sides is required for noise peaks, which stresses the importance of diffraction on the airfoil pressure side and acoustic feedback.


title: Character Varieties of Generalized Torus Knot Groups

abstract: Given $\mathbf{n}=(n_{1},\ldots,n_{r})\in\mathbb{N}^r$, let $\Gamma_{\mathbf{n}}$ be a group presentable as $\left\langle \gamma_{1},\ldots,\gamma_{k}\:|\:\gamma_{1}^{n_{1}}=\gamma_{2}^{n_{2}}=\cdots=\gamma_{r}^{n_{r}}\right\rangle. $ If $\gcd(n_i,n_j)=1$ for all $i\not=j$, we say $\Gamma_{\mathbf{n}}$ is a "generalized torus knot group" and otherwise say it is a "generalized torus link group." This definition includes torus knot and link groups ($r=2$), that is, fundamental groups of the complement of a torus knot or link in $S^{3}$. Let $G$ be a connected complex reductive affine algebraic group. We show that the $G$-character varieties of generalized torus knot groups are path-connected. We then count the number of irreducible components of the $\mathrm{SL}(2,\mathbb{C})$-character varieties of $\Gamma_{\mathbf{n}}$ when $n_i$ is odd for all $i$.


title: Evolving AI Risk Management: A Maturity Model based on the NIST AI Risk Management Framework

abstract: Researchers, government bodies, and organizations have been repeatedly calling for a shift in the responsible AI community from general principles to tangible and operationalizable practices in mitigating the potential sociotechnical harms of AI. Frameworks like the NIST AI RMF embody an emerging consensus on recommended practices in operationalizing sociotechnical harm mitigation. However, private sector organizations currently lag far behind this emerging consensus. Implementation is sporadic and selective at best. At worst, it is ineffective and can risk serving as a misleading veneer of trustworthy processes, providing an appearance of legitimacy to substantively harmful practices. In this paper, we provide a foundation for a framework for evaluating where organizations sit relative to the emerging consensus on sociotechnical harm mitigation best practices: a flexible maturity model based on the NIST AI RMF.


title: Coloured invariants of torus knots, $\mathcal{W}$ algebras, and relative asymptotic weight multiplicities

abstract: We study coloured invariants of torus knots $T(p,p')$ (where $p,p'$ are coprime positive integers). When the colouring Lie algebra is simply-laced, and when $p,p'\geq h^\vee$, we use the representation theory of the corresponding principal affine $\mathcal{W}$ algebras to understand the trailing monomials of the coloured invariants. In these cases, we show that the appropriate limits of the renormalized invariants are equal to the characters of certain $\mathcal{W}$ algebra modules (up to some factors). This result on limits rests on a purely Lie-algebraic conjecture on asymptotic weight multiplicities which we verify in some examples.


title: Band Gap Engineering and Controlling Transport Properties of Single Photons in Periodic and Disordered Jaynes-Cummings Arrays

abstract: We theoretically study the single photon transport properties in periodic and position-disordered Jaynes-Cummings (or JC) arrays of waveguide-coupled microtoroidal ring resonators, each interacting with a single two-level quantum emitter. Employing the real-space formalism of quantum optics, we focus on various parameter regimes of cavity quantum electrodynamics (cQED) to gain better control of single photon propagation in such a many-body quantum optical setting. As for some of the key findings, we observe that the periodic setting leads to the formation of the band structure in the photon transmission spectra, which is most evident in the strong coupling regime of cQCD. However, under the resonant conditions with no losses, the application of Bloch's theorem indicates that the width of forbidden gaps can be altered by tuning the emitter-cavity coupling to small values. Moreover, in the disordered case, we find that the single photon transmission curves show the disappearance of band formation. However, spectral features originating from cQED interactions observed for single atom-cavity problem remain robust against weak-disordered conditions. The results of this work may find application in the study of quantum many-body effects in the optical domain as well as in different areas of quantum computation and quantum networking.


title: How Beginning Programmers and Code LLMs (Mis)read Each Other

abstract: Generative AI models, specifically large language models (LLMs), have made strides towards the long-standing goal of text-to-code generation. This progress has invited numerous studies of user interaction. However, less is known about the struggles and strategies of non-experts, for whom each step of the text-to-code problem presents challenges: describing their intent in natural language, evaluating the correctness of generated code, and editing prompts when the generated code is incorrect. This paper presents a large-scale controlled study of how 120 beginning coders across three academic institutions approach writing and editing prompts. A novel experimental design allows us to target specific steps in the text-to-code process and reveals that beginners struggle with writing and editing prompts, even for problems at their skill level and when correctness is automatically determined. Our mixed-methods evaluation provides insight into student processes and perceptions with key implications for non-expert Code LLM use within and outside of education.


title: Numerical simulation of rarefied supersonic flows using a fourth-order maximum-entropy moment method with interpolative closure

abstract: Maximum-entropy moment methods allow for the modelling of gases from the continuum regime to strongly rarefied conditions. The development of approximated solutions to the entropy maximization problem has made these methods computationally affordable. In this work, we apply a fourth-order maximum-entropy moment method to the study of supersonic rarefied flows. For such conditions, we compare the maximum-entropy solutions to results obtained from the kinetic theory of gases at different Knudsen numbers. The analysis is performed for both a simplified model of a gas with a single translational degree of freedom (5-moment system) and for a typical gas with three degrees of freedom (14-moment system). The maximum-entropy method is applied to the study of the Sod shock-tube problem at various rarefaction levels, and to the simulation of two-dimensional low-collisional crossed supersonic jets. We show that, in rarefied supersonic conditions, it is important to employ accurate estimates of the wave speeds. Since analytical expressions are not presently available, we propose an approximation, valid for the 14-moment system. In these conditions, the solution of the maximum-entropy system is shown to realize large degrees of non-equilibrium and to approach the Junk subspace, yet provides a good overall accuracy and agreement with the kinetic theory. Numerical procedures for reaching second-order accurate discretizations are discussed, as well as the implementation of the 14-moment solver on Graphics Processing Units (GPUs).


title: Moving beyond Deletions: Program Simplification via Diverse Program Transformations

abstract: To reduce the complexity of software, Developers manually simplify program (known as developer-induced program simplification in this paper) to reduce its code size yet preserving its functionality but manual simplification is time-consuming and error-prone. To reduce manual effort, rule-based approaches (e.g., refactoring) and deletion-based approaches (e.g., delta debugging) can be potentially applied to automate developer-induced program simplification. However, as there is little study on how developers simplify programs in Open-source Software (OSS) projects, it is unclear whether these approaches can be effectively used for developer-induced program simplification. Hence, we present the first study of developer-induced program simplification in OSS projects, focusing on the types of program transformations used, the motivations behind simplifications, and the set of program transformations covered by existing refactoring types. Our study of 382 pull requests from 296 projects reveals that there exist gaps in applying existing approaches for automating developer-induced program simplification. and outlines the criteria for designing automatic program simplification techniques. Inspired by our study and to reduce the manual effort in developer-induced program simplification, we propose SimpT5, a tool that can automatically produce simplified programs (semantically-equivalent programs with reduced source lines of code). SimpT5 is trained based on our collected dataset of 92,485 simplified programs with two heuristics: (1) simplified line localization that encodes lines changed in simplified programs, and (2)checkers that measure the quality of generated programs. Our evaluation shows that SimpT5 are more effective than prior approaches in automating developer-induced program simplification.


title: CascadedGaze: Efficiency in Global Context Extraction for Image Restoration

abstract: Image restoration tasks traditionally rely on convolutional neural networks. However, given the local nature of the convolutional operator, they struggle to capture global information. The promise of attention mechanisms in Transformers is to circumvent this problem, but it comes at the cost of intensive computational overhead. Many recent studies in image restoration have focused on solving the challenge of balancing performance and computational cost via Transformer variants. In this paper, we present CascadedGaze Network (CGNet), an encoder-decoder architecture that employs Global Context Extractor (GCE), a novel and efficient way to capture global information for image restoration. The GCE module leverages small kernels across convolutional layers to learn global dependencies, without requiring self-attention. Extensive experimental results show that our computationally efficient approach performs competitively to a range of state-of-the-art methods on synthetic image denoising and single image deblurring tasks, and pushes the performance boundary further on the real image denoising task.


title: Adaptive Deep Learning for Efficient Visual Pose Estimation aboard Ultra-low-power Nano-drones

abstract: Sub-10cm diameter nano-drones are gaining momentum thanks to their applicability in scenarios prevented to bigger flying drones, such as in narrow environments and close to humans. However, their tiny form factor also brings their major drawback: ultra-constrained memory and processors for the onboard execution of their perception pipelines. Therefore, lightweight deep learning-based approaches are becoming increasingly popular, stressing how computational efficiency and energy-saving are paramount as they can make the difference between a fully working closed-loop system and a failing one. In this work, to maximize the exploitation of the ultra-limited resources aboard nano-drones, we present a novel adaptive deep learning-based mechanism for the efficient execution of a vision-based human pose estimation task. We leverage two State-of-the-Art (SoA) convolutional neural networks (CNNs) with different regression performance vs. computational costs trade-offs. By combining these CNNs with three novel adaptation strategies based on the output's temporal consistency and on auxiliary tasks to swap the CNN being executed proactively, we present six different systems. On a real-world dataset and the actual nano-drone hardware, our best-performing system, compared to executing only the bigger and most accurate SoA model, shows 28% latency reduction while keeping the same mean absolute error (MAE), 3% MAE reduction while being iso-latency, and the absolute peak performance, i.e., 6% better than SoA model.


title: Glitch veto based on unphysical gravitational wave binary inspiral templates

abstract: Transient signals arising from instrumental or environmental factors, commonly referred to as glitches, constitute the predominant background of false alarms in gravitational wave searches with ground-based detectors. Therefore, effective data analysis methods for vetoing glitch-induced false alarms are crucial to enhancing the sensitivity of a search. We present a veto method for glitches that impact matched filtering-based searches for binary inspiral signals. The veto uses unphysical sectors in the space of chirp time parameters as well as an unphysical extension including negative chirp times to efficiently segregate glitches from gravitational wave signals in data from a single detector. Inhabited predominantly by glitches but nearly depopulated of genuine gravitational wave signals, these unphysical sectors can be efficiently explored using Particle Swarm Optimization. In a test carried out on data taken from both LIGO detectors spanning multiple observation runs, the veto was able to reject $99.9\%$ of glitches with no loss of signals detected with signal-to-noise ratio $\geq 9.0$ and total detector frame mass $\leq 80$ $M_\odot$. Our results show that extending a matched filter search to unphysical parts of a signal parameter space promises to be an effective strategy for mitigating glitches.


title: Deep Learning with Tabular Data: A Self-supervised Approach

abstract: We have described a novel approach for training tabular data using the TabTransformer model with self-supervised learning. Traditional machine learning models for tabular data, such as GBDT are being widely used though our paper examines the effectiveness of the TabTransformer which is a Transformer based model optimised specifically for tabular data. The TabTransformer captures intricate relationships and dependencies among features in tabular data by leveraging the self-attention mechanism of Transformers. We have used a self-supervised learning approach in this study, where the TabTransformer learns from unlabelled data by creating surrogate supervised tasks, eliminating the need for the labelled data. The aim is to find the most effective TabTransformer model representation of categorical and numerical features. To address the challenges faced during the construction of various input settings into the Transformers. Furthermore, a comparative analysis is also been conducted to examine performance of the TabTransformer model against baseline models such as MLP and supervised TabTransformer. The research has presented with a novel approach by creating various variants of TabTransformer model namely, Binned-TT, Vanilla-MLP-TT, MLP- based-TT which has helped to increase the effective capturing of the underlying relationship between various features of the tabular dataset by constructing optimal inputs. And further we have employed a self-supervised learning approach in the form of a masking-based unsupervised setting for tabular data. The findings shed light on the best way to represent categorical and numerical features, emphasizing the TabTransormer performance when compared to established machine learning models and other self-supervised learning methods.


title: MEA-Defender: A Robust Watermark against Model Extraction Attack

abstract: Recently, numerous highly-valuable Deep Neural Networks (DNNs) have been trained using deep learning algorithms. To protect the Intellectual Property (IP) of the original owners over such DNN models, backdoor-based watermarks have been extensively studied. However, most of such watermarks fail upon model extraction attack, which utilizes input samples to query the target model and obtains the corresponding outputs, thus training a substitute model using such input-output pairs. In this paper, we propose a novel watermark to protect IP of DNN models against model extraction, named MEA-Defender. In particular, we obtain the watermark by combining two samples from two source classes in the input domain and design a watermark loss function that makes the output domain of the watermark within that of the main task samples. Since both the input domain and the output domain of our watermark are indispensable parts of those of the main task samples, the watermark will be extracted into the stolen model along with the main task during model extraction. We conduct extensive experiments on four model extraction attacks, using five datasets and six models trained based on supervised learning and self-supervised learning algorithms. The experimental results demonstrate that MEA-Defender is highly robust against different model extraction attacks, and various watermark removal/detection approaches.


title: Near-Optimal Policy Optimization for Correlated Equilibrium in General-Sum Markov Games

abstract: We study policy optimization algorithms for computing correlated equilibria in multi-player general-sum Markov Games. Previous results achieve $O(T^{-1/2})$ convergence rate to a correlated equilibrium and an accelerated $O(T^{-3/4})$ convergence rate to the weaker notion of coarse correlated equilibrium. In this paper, we improve both results significantly by providing an uncoupled policy optimization algorithm that attains a near-optimal $\tilde{O}(T^{-1})$ convergence rate for computing a correlated equilibrium. Our algorithm is constructed by combining two main elements (i) smooth value updates and (ii) the optimistic-follow-the-regularized-leader algorithm with the log barrier regularizer.


title: Unlearning Traces the Influential Training Data of Language Models

abstract: Identifying the training datasets that influence a language model's outputs is essential for minimizing the generation of harmful content and enhancing its performance. Ideally, we can measure the influence of each dataset by removing it from training; however, it is prohibitively expensive to retrain a model multiple times. This paper presents UnTrac: unlearning traces the influence of a training dataset on the model's performance. UnTrac is extremely simple; each training dataset is unlearned by gradient ascent, and we evaluate how much the model's predictions change after unlearning. Furthermore, we propose a more scalable approach, UnTrac-Inv, which unlearns a test dataset and evaluates the unlearned model on training datasets. UnTrac-Inv resembles UnTrac, while being efficient for massive training datasets. In the experiments, we examine if our methods can assess the influence of pretraining datasets on generating toxic, biased, and untruthful content. Our methods estimate their influence much more accurately than existing methods while requiring neither excessive memory space nor multiple checkpoints.


title: Direct high-precision measurement of the mass difference of $^{77}$As-$^{77}$Se related to neutrino mass determination

abstract: The first direct determination of the ground-state-to-ground-state ${\beta^{-}}$-decay $Q$-value of $^{77}$As to $^{77}$Se was performed by measuring their atomic mass difference utilizing the double Penning trap mass spectrometer, JYFLTRAP. The resulting $Q$-value is 684.463(70) keV, representing a remarkable 24-fold improvement in precision compared to the value reported in the most recent Atomic Mass Evaluation (AME2020). With the significant reduction of the uncertainty of the ground-state-to-ground-state $Q$-value and knowledge of the excitation energies in $^{77}$Se from $\gamma$-ray spectroscopy, the ground-state-to-excited-state $Q$-value of the transition $^{77}$As (3/2$^{-}$, ground state) $\rightarrow$ $^{77}$Se$^{*}$ (5/2$^{+}$, 680.1035(17) keV) was refined to be 4.360(70) keV. We confirm that this potential low $Q$-value ${\beta^{-}}$-decay transition for neutrino mass determination is energetically allowed at a confidence level of about 60$\sigma$. Nuclear shell-model calculations with two well-established effective Hamiltonians were used to estimate the partial half-life for the low $Q$-value transition. The half-life was found to be of the order of 10$^{9}$ years for this first-forbidden non-unique transition, which rules out this candidate a potential source for rare-event experiments searching for the electron antineutrino mass.


title: A New Braneworld with Conformal Symmetry Breaking

abstract: We explore the conformal 5D braneworld, where warping emerges through conformal symmetry breaking. Our scenario seamlessly aligns with conventional brane approaches if conformal symmetry remains unbroken. It is shown that a model with a single conformal breaking parameter effectively localizes gravity on the brane, but it falls short in trapping gauge bosons. However, in scenarios with two parameters, gravity is localized, and the model also achieves the localization of zero modes for both gauge and Dirac fields.


title: Localization landscape of optical waves in multifractal photonic membranes

abstract: In this paper, we investigate the localization properties of optical waves in disordered systems with multifractal scattering potentials. In particular, we apply the localization landscape theory to the classical Helmholtz operator and, without solving the associated eigenproblem, show accurate predictions of localized eigenmodes for one- and two-dimensional multifractal structures. Finally, we design and fabricate nanoperforated photonic membranes in silicon nitride (SiN) and image directly their multifractal modes using leaky-mode spectroscopy in the visible spectral range. The measured data demonstrate optical resonances with multiscale intensity fluctuations in good qualitative agreement with numerical simulations. The proposed approach provides a convenient strategy to design multifractal photonic membranes, enabling rapid exploration of extended scattering structures with tailored disorder for enhanced light-matter interactions.


title: GenPluSSS: A Genetic Algorithm Based Plugin for Measured Subsurface Scattering Representation

abstract: This paper presents a plugin that adds a representation of homogeneous and heterogeneous, optically thick, translucent materials on the Blender 3D modeling tool. The working principle of this plugin is based on a combination of Genetic Algorithm (GA) and Singular Value Decomposition (SVD)-based subsurface scattering method (GenSSS). The proposed plugin has been implemented using Mitsuba renderer, which is an open source rendering software. The proposed plugin has been validated on measured subsurface scattering data. It's shown that the proposed plugin visualizes homogeneous and heterogeneous subsurface scattering effects, accurately, compactly and computationally efficiently.


title: Training Differentially Private Ad Prediction Models with Semi-Sensitive Features

abstract: Motivated by problems arising in digital advertising, we introduce the task of training differentially private (DP) machine learning models with semi-sensitive features. In this setting, a subset of the features is known to the attacker (and thus need not be protected) while the remaining features as well as the label are unknown to the attacker and should be protected by the DP guarantee. This task interpolates between training the model with full DP (where the label and all features should be protected) or with label DP (where all the features are considered known, and only the label should be protected). We present a new algorithm for training DP models with semi-sensitive features. Through an empirical evaluation on real ads datasets, we demonstrate that our algorithm surpasses in utility the baselines of (i) DP stochastic gradient descent (DP-SGD) run on all features (known and unknown), and (ii) a label DP algorithm run only on the known features (while discarding the unknown ones).


title: Subgrid modeling of neutrino oscillations in astrophysics

abstract: Approximating neutrino oscillations as subgrid physics is an appealing prospect for simulators of core-collapse supernovae and neutron-star mergers. Because flavor instabilities quickly lead to quasisteady states in oscillation calculations, it is widely believed that flavor mixing can be approximated in astrophysical simulations by mapping unstable states onto the appropriate asymptotic ones. Subgrid models of this kind, however, are not self-consistent. The miscidynamic theory of quantum-coherent gases furnishes a subgrid model that is.


title: Better Representations via Adversarial Training in Pre-Training: A Theoretical Perspective

abstract: Pre-training is known to generate universal representations for downstream tasks in large-scale deep learning such as large language models. Existing literature, e.g., \cite{kim2020adversarial}, empirically observe that the downstream tasks can inherit the adversarial robustness of the pre-trained model. We provide theoretical justifications for this robustness inheritance phenomenon. Our theoretical results reveal that feature purification plays an important role in connecting the adversarial robustness of the pre-trained model and the downstream tasks in two-layer neural networks. Specifically, we show that (i) with adversarial training, each hidden node tends to pick only one (or a few) feature; (ii) without adversarial training, the hidden nodes can be vulnerable to attacks. This observation is valid for both supervised pre-training and contrastive learning. With purified nodes, it turns out that clean training is enough to achieve adversarial robustness in downstream tasks.


title: Shadow images of compact objects in beyond Horndeski theory

abstract: A beyond Horndeski theory is considered that admits wormholes, black holes and naked singularities. In this theory the shadow images of the black holes and the exotic compact objects (ECOs), illuminated by an optically and geometrically thin disk, are investigated. The results show that the three kinds of objects cast unlike shadow images, in particular, because the different objects possess a different number of light rings. The different boundaries of the accretion disk also affect the images. This may provide further insight into the nature of the shadow images of massive compact objects.


title: Experimental Demonstration of Attosecond Pump-Probe Spectroscopy with an X-ray Free-Electron Laser

abstract: Pump-probe experiments with sub-femtosecond resolution are the key to understanding electronic dynamics in quantum systems. Here we demonstrate the generation and control of sub-femtosecond pulse pairs from a two-colour X-ray free-electron laser (XFEL). By measuring the delay between the two pulses with an angular streaking diagnostic, we characterise the group velocity of the XFEL and demonstrate control of the pulse delay down to 270 as. We demonstrate the application of this technique to a pump-probe measurement in core-excited para-aminophenol. These results demonstrate the ability to perform pump-probe experiments with sub-femtosecond resolution and atomic site specificity.


title: EM and XRM Connectomics Imaging and Experimental Metadata Standards

abstract: High resolution volumetric neuroimaging datasets from electron microscopy (EM) and x-ray micro and holographic-nano tomography (XRM/XHN) are being generated at an increasing rate and by a growing number of research teams. These datasets are derived from an increasing number of species, in an increasing number of brain regions, and with an increasing number of techniques. Each of these large-scale datasets, often surpassing petascale levels, is typically accompanied by a unique and varied set of metadata. These datasets can be used to derive connectomes, or neuron-synapse level connectivity diagrams, to investigate the fundamental organization of neural circuitry, neuronal development, and neurodegenerative disease. Standardization is essential to facilitate comparative connectomics analysis and enhance data utilization. Although the neuroinformatics community has successfully established and adopted data standards for many modalities, this effort has not yet encompassed EM and XRM/ XHN connectomics data. This lack of standardization isolates these datasets, hindering their integration and comparison with other research performed in the field. Towards this end, our team formed a working group consisting of community stakeholders to develop Image and Experimental Metadata Standards for EM and XRM/XHN data to ensure the scientific impact and further motivate the generation and sharing of these data. This document addresses version 1.1 of these standards, aiming to support metadata services and future software designs for community collaboration. Standards for derived annotations are described in a companion document. Standards definitions are available on a community github page. We hope these standards will enable comparative analysis, improve interoperability between connectomics software tools, and continue to be refined and improved by the neuroinformatics community.


title: On Time-Varying Delayed Stochastic Differential Systems with Non-Markovian Switching Parameters

abstract: This paper focuses on time-varying delayed stochastic differential systems with stochastically switching parameters formulated by a unified switching behavior combining a discrete adapted process and a Cox process. Unlike prior studies limited to stationary and ergodic switching scenarios, our research emphasizes non-Markovian, non-stationary, and non-ergodic cases. It arrives at more general results regarding stability analysis with a more rigorous methodology. The theoretical results are validated through numerical examples.


title: Testing the Exogeneity of Instrumental Variables and Regressors in Linear Regression Models Using Copulas

abstract: We provide a Copula-based approach to test the exogeneity of instrumental variables in linear regression models. We show that the exogeneity of instrumental variables is equivalent to the exogeneity of their standard normal transformations with the same CDF value. Then, we establish a Wald test for the exogeneity of the instrumental variables. We demonstrate the performance of our test using simulation studies. Our simulations show that if the instruments are actually endogenous, our test rejects the exogeneity hypothesis approximately 93% of the time at the 5% significance level. Conversely, when instruments are truly exogenous, it dismisses the exogeneity assumption less than 30% of the time on average for data with 200 observations and less than 2% of the time for data with 1,000 observations. Our results demonstrate our test's effectiveness, offering significant value to applied econometricians.


title: Finite Sample Confidence Regions for Linear Regression Parameters Using Arbitrary Predictors

abstract: We explore a novel methodology for constructing confidence regions for parameters of linear models, using predictions from any arbitrary predictor. Our framework requires minimal assumptions on the noise and can be extended to functions deviating from strict linearity up to some adjustable threshold, thereby accommodating a comprehensive and pragmatically relevant set of functions. The derived confidence regions can be cast as constraints within a Mixed Integer Linear Programming framework, enabling optimisation of linear objectives. This representation enables robust optimization and the extraction of confidence intervals for specific parameter coordinates. Unlike previous methods, the confidence region can be empty, which can be used for hypothesis testing. Finally, we validate the empirical applicability of our method on synthetic data.


title: Enumerating hyperelliptic curves over finite fields in quasilinear time

abstract: We present an algorithm that, for every fixed genus $g$, will enumerate all hyperelliptic curves of genus $g$ over a finite field $k$ of odd characteristic in quasilinear time; that is, the time required for the algorithm is $\widetilde{O}(q^{2g-1})$, where $q=\#k$. Such an algorithm already exists in the case $g=2$, thanks to work of Mestre and Cardona and Quer, and in the case $g=3$, thanks to work of Lercier and Ritzenthaler. Experimentally, it appears that our new algorithm is about two orders of magnitude faster in practice than ones based on their work.


title: Standard automorphisms of semisimple Lie algebras and their relations

abstract: Let $\mathfrak{g}$ be the simple Lie algebra of square matrices $(n+1)\times (n+1)$ with zero trace. There are certain relations concerning standard automorphisms that are considered ``folklore". One can find a complete proof of these in Millson and Toledano Laredo's work [Transformation Groups, Vol. 10, No. 2, 2005, pp. 217-254], but said proof is based on topological arguments which are non-trivial. The aim of this work is to verify these relations in an elementary way.


title: An Overview of Modern Machine Learning Methods for Effect Measure Modification Analyses in High-Dimensional Settings

abstract: A primary concern of public health researchers involves identifying and quantifying heterogeneous exposure effects across population subgroups. Understanding the magnitude and direction of these effects on a given scale provides researchers the ability to recommend policy prescriptions and assess the external validity of findings. Furthermore, increasing popularity in fields such as precision medicine that rely on accurate estimation of high-dimensional interaction effects has highlighted the importance of understanding effect modification. Traditional methods for effect measure modification analyses include parametric regression modeling with either stratified analyses and corresponding heterogeneity tests or including an interaction term in a multivariable model. However, these methods require manual model specification and are often impractical or not feasible to conduct by hand in high-dimensional settings. Recent developments in machine learning aim to solve this issue by automating heterogeneous subgroup identification and effect estimation. In this paper, we summarize and provide the intuition behind modern machine learning methods for effect measure modification analyses to serve as a reference for public health researchers. We discuss their implementation in R, provide annotated syntax and review available supplemental analysis tools by assessing the heterogeneous effects of drought on stunting among children in the Demographic and Health Survey data set as a case study.


title: Foundations of Substructural Dependent Type Theory

abstract: This paper presents preliminary work on a general system for integrating dependent types into substructural type systems such as linear logic and linear type theory. Prior work on this front has generally managed to deliver type systems possessing either syntax or semantics inclusive of certain practical applications, but has struggled to combine these all in one and the same system. Toward resolving this difficulty, I propose a novel categorical interpretation of substructural dependent types, analogous to the use of monoidal categories as models of linear and ordered logic, that encompasses a wide class of mathematical and computational examples. On this basis, I develop a general framework for substructural dependent type theories, and proceed to prove some essential metatheoretic properties thereof. As an application of this framework, I show how it can be used to construct a type theory that satisfactorily addresses the problem of effectively representing cut admissibility for linear sequent calculus in a logical framework.


title: Estimating lengths-of-stay of hospitalised COVID-19 patients using a non-parametric model: a case study in Galicia (Spain)

abstract: Estimating the lengths-of-stay (LoS) of hospitalised COVID-19 patients is key for predicting the hospital beds' demand and planning mitigation strategies, as overwhelming the healthcare systems has critical consequences for disease mortality. However, accurately mapping the time-to-event of hospital outcomes, such as the LoS in the intensive care unit (ICU), requires understanding patient trajectories while adjusting for covariates and observation bias, such as incomplete data. Standard methods, such as the Kaplan-Meier estimator, require prior assumptions that are untenable given current knowledge. Using real-time surveillance data from the first weeks of the COVID-19 epidemic in Galicia (Spain), we aimed to model the time-to-event and event probabilities of patients' hospitalised, without parametric priors and adjusting for individual covariates. We applied a non-parametric mixture cure model and compared its performance in estimating hospital ward (HW)/ICU LoS to the performances of commonly used methods to estimate survival. We showed that the proposed model outperformed standard approaches, providing more accurate ICU and HW LoS estimates. Finally, we applied our model estimates to simulate COVID-19 hospital demand using a Monte Carlo algorithm. We provided evidence that adjusting for sex, generally overlooked in prediction models, together with age is key for accurately forecasting HW and ICU occupancy, as well as discharge or death outcomes.


title: Stability of fronts in the diffusive Rosenzweig-MacArthur model

abstract: We consider a diffusive Rosenzweig-MacArthur predator-prey model in the situation when the prey diffuses at the rate much smaller than that of the predator. In a certain parameter regime, the existence of fronts in the system is known: the underlying dynamical system in a singular limit is reduced to a scalar Fisher-KPP equation and the fronts supported by the full system are small perturbations of the Fisher-KPP fronts. The existence proof is based on application of the Geometric Singular Perturbation Theory with respect to two small parameters. This paper is focused on the stability of the fronts. We analyze the stability by means of energy estimates, exponential dichotomies, the Evans function calculation, and a technique that involves constructing the unstable augmented bundles. The energy estimates provide bounds on the unstable spectrum which depend on the small parameters of the system; the bounds are inversely proportional to these parameters. We further improve these estimates by showing that the eigenvalue problem is a small perturbation of some limiting (as the modulus of the eigenvalue parameter goes to infinity) system, and that the limiting system has exponential dichotomies. Persistence of the exponential dichotomies then leads to bounds uniform in the small parameters. The main novelty of this approach is related to the fact that the limit of the eigenvalue problem is not autonomous. We then use the concept of the unstable augmented bundles and by treating these as multiscale topological structures with respect to the same two small parameters consequently as in the existence proof, we show that the stability of the fronts is also governed by the scalar Fisher-KPP equation.


title: Vanishing-Point-Guided Video Semantic Segmentation of Driving Scenes

abstract: The estimation of implicit cross-frame correspondences and the high computational cost have long been major challenges in video semantic segmentation (VSS) for driving scenes. Prior works utilize keyframes, feature propagation, or cross-frame attention to address these issues. By contrast, we are the first to harness vanishing point (VP) priors for more effective segmentation. Intuitively, objects near VPs (i.e., away from the vehicle) are less discernible. Moreover, they tend to move radially away from the VP over time in the usual case of a forward-facing camera, a straight road, and linear forward motion of the vehicle. Our novel, efficient network for VSS, named VPSeg, incorporates two modules that utilize exactly this pair of static and dynamic VP priors: sparse-to-dense feature mining (DenseVP) and VP-guided motion fusion (MotionVP). MotionVP employs VP-guided motion estimation to establish explicit correspondences across frames and help attend to the most relevant features from neighboring frames, while DenseVP enhances weak dynamic features in distant regions around VPs. These modules operate within a context-detail framework, which separates contextual features from high-resolution local features at different input resolutions to reduce computational costs. Contextual and local features are integrated through contextualized motion attention (CMA) for the final prediction. Extensive experiments on two popular driving segmentation benchmarks, Cityscapes and ACDC, demonstrate that VPSeg outperforms previous SOTA methods, with only modest computational overhead.


title: Asymptotic Behavior of Adversarial Training Estimator under $\ell_\infty$-Perturbation

abstract: Adversarial training has been proposed to hedge against adversarial attacks in machine learning and statistical models. This paper focuses on adversarial training under $\ell_\infty$-perturbation, which has recently attracted much research attention. The asymptotic behavior of the adversarial training estimator is investigated in the generalized linear model. The results imply that the limiting distribution of the adversarial training estimator under $\ell_\infty$-perturbation could put a positive probability mass at $0$ when the true parameter is $0$, providing a theoretical guarantee of the associated sparsity-recovery ability. Alternatively, a two-step procedure is proposed -- adaptive adversarial training, which could further improve the performance of adversarial training under $\ell_\infty$-perturbation. Specifically, the proposed procedure could achieve asymptotic unbiasedness and variable-selection consistency. Numerical experiments are conducted to show the sparsity-recovery ability of adversarial training under $\ell_\infty$-perturbation and to compare the empirical performance between classic adversarial training and adaptive adversarial training.


title: Macroscopic Irreversibility in Quantum Systems: ETH and Equilibration in a Free Fermion Chain

abstract: We consider a free fermion chain with uniform nearest-neighbor hopping and let it evolve from an arbitrary initial state with a fixed macroscopic number of particles. We then prove that, at a sufficiently large and typical time, the measured coarse-grained density distribution is almost uniform with (quantum mechanical) probability extremely close to one. This establishes the emergence of irreversible behavior, i.e., a ballistic diffusion, in a system governed by quantum mechanical unitary time evolution. It is conceptually important that irreversibility is proved here without introducing any randomness to the initial state or the Hamiltonian, while the derivation of irreversibility in classical systems mostly relies on certain randomness. The essential new ingredient in the proof is the justification of the strong ETH (energy eigenstate thermalization hypothesis) in the large-deviation form.

categories: cond-mat.stat-mech math-ph math.MP quant-ph


title: Magnetism-Inspired Quantum-Mechanical Model of Gender Fluidity

abstract: Quantum-mechanical models of human cognition, opinion formation and decision-making have changed the way we understand and predict human behaviour in many practical situations, including political elections, financial decisions and international affairs. Yet, at present, such models overlook certain essential social aspects of human behaviour and self-identification. In this paper, we introduce a magnetism-inspired quantum-mechanical model of gender fluidity, a concept that challenges social norms across the globe. Addressing a number of independent suggestions made by members of the general public concerning a potential analogy between quantum superposition and non-binary self-identification, we explore new territories, demonstrating that physic of magnetism can help explain gender fluidity and similar social phenomena better than the traditional quantum-mechanical models of human cognition and perception. We anticipate that the proposed model can be used to analyse experimental datasets aimed to develop sexual orientation and gender identity legal definitions as well as to create artificial intelligence systems that can sensibly identify both binary and non-binary genders.


title: A method for constructing quaternary Hermitian self-dual codes and an application to quantum codes

abstract: We introduce quaternary modified four $\mu$-circulant codes as a modification of four circulant codes. We give basic properties of quaternary modified four $\mu$-circulant Hermitian self-dual codes. We also construct quaternary modified four $\mu$-circulant Hermitian self-dual codes having large minimum weights. Two quaternary Hermitian self-dual $[56,28,16]$ codes are constructed for the first time. These codes improve the previously known lower bound on the largest minimum weight among all quaternary (linear) $[56,28]$ codes. In addition, these codes imply the existence of a quantum $[[56,0,16]]$ code.


title: SAM-based instance segmentation models for the automation of structural damage detection

abstract: Automating visual inspection for capturing defects based on civil structures appearance is crucial due to its currently labour-intensive and time-consuming nature. An important aspect of automated inspection is image acquisition, which is rapid and cost-effective considering the pervasive developments in both software and hardware computing in recent years. Previous studies largely focused on concrete and asphalt, with less attention to masonry cracks. The latter also lacks publicly available datasets. In this paper, we first present a corresponding data set for instance segmentation with 1,300 annotated images (640 pixels x 640 pixels), named as MCrack1300, covering bricks, broken bricks, and cracks. We then test several leading algorithms for benchmarking, including the latest large-scale model, the prompt-based Segment Anything Model (SAM). We fine-tune the encoder using Low-Rank Adaptation (LoRA) and proposed two novel methods for automation of SAM execution. The first method involves abandoning the prompt encoder and connecting the SAM encoder to other decoders, while the second method introduces a learnable self-generating prompter. In order to ensure the seamless integration of the two proposed methods with SAM encoder section, we redesign the feature extractor. Both proposed methods exceed state-of-the-art performance, surpassing the best benchmark by approximately 3% for all classes and around 6% for cracks specifically. Based on successful detection, we propose a method based on a monocular camera and the Hough Line Transform to automatically transform images into orthographic projection maps. By incorporating known real sizes of brick units, we accurately estimate crack dimensions, with the results differing by less than 10% from those obtained by laser scanning. Overall, we address important research gaps in automated masonry crack detection and size estimation.


title: Wireless Power Transfer in Space using Flexible, Lightweight, Coherent Arrays

abstract: Space solar power (SSP), envisioned for decades as a solution for continuous, stable, and dynamically dispatchable clean energy, has seen tremendous interest and a number of experimental demonstrations in the last few years. A practical implementation has been elusive to date, owing to the high launch costs associated with heavy, rigid photovoltaic (PV) and wireless power transfer (WPT) arrays. Lightweight and flexible solutions for WPT have been demonstrated terrestrially but, to date, have not been deployed and tested in space. In this paper, we present an experimental space demonstration of a lightweight, flexible WPT array powered by custom radio frequency integrated circuits (RFICs). The transmit arrays, receive arrays, and the rest of the system were operated and tested for eight months in Low Earth Orbit (LEO). Results from these experiments, including pointing of the array's beam to Earth and its detection by a ground station, are presented and discussed in detail. Observations and results from this mission uncover existing strengths and weaknesses that inform future steps toward realizing SSP.


title: Towards Stable Preferences for Stakeholder-aligned Machine Learning

abstract: In response to the pressing challenge of kidney allocation, characterized by growing demands for organs, this research sets out to develop a data-driven solution to this problem, which also incorporates stakeholder values. The primary objective of this study is to create a method for learning both individual and group-level preferences pertaining to kidney allocations. Drawing upon data from the 'Pairwise Kidney Patient Online Survey.' Leveraging two distinct datasets and evaluating across three levels - Individual, Group and Stability - we employ machine learning classifiers assessed through several metrics. The Individual level model predicts individual participant preferences, the Group level model aggregates preferences across participants, and the Stability level model, an extension of the Group level, evaluates the stability of these preferences over time. By incorporating stakeholder preferences into the kidney allocation process, we aspire to advance the ethical dimensions of organ transplantation, contributing to more transparent and equitable practices while promoting the integration of moral values into algorithmic decision-making.


title: Improving Medical Reasoning through Retrieval and Self-Reflection with Retrieval-Augmented Large Language Models

abstract: Recent proprietary large language models (LLMs), such as GPT-4, have achieved a milestone in tackling diverse challenges in the biomedical domain, ranging from multiple-choice questions to long-form generations. To address challenges that still cannot be handled with the encoded knowledge of LLMs, various retrieval-augmented generation (RAG) methods have been developed by searching documents from the knowledge corpus and appending them unconditionally or selectively to the input of LLMs for generation. However, when applying existing methods to different domain-specific problems, poor generalization becomes apparent, leading to fetching incorrect documents or making inaccurate judgments. In this paper, we introduce Self-BioRAG, a framework reliable for biomedical text that specializes in generating explanations, retrieving domain-specific documents, and self-reflecting generated responses. We utilize 84k filtered biomedical instruction sets to train Self-BioRAG that can assess its generated explanations with customized reflective tokens. Our work proves that domain-specific components, such as a retriever, domain-related document corpus, and instruction sets are necessary for adhering to domain-related instructions. Using three major medical question-answering benchmark datasets, experimental results of Self-BioRAG demonstrate significant performance gains by achieving a 7.2% absolute improvement on average over the state-of-the-art open-foundation model with a parameter size of 7B or less. Overall, we analyze that Self-BioRAG finds the clues in the question, retrieves relevant documents if needed, and understands how to answer with information from retrieved documents and encoded knowledge as a medical expert does. We release our data and code for training our framework components and model weights (7B and 13B) to enhance capabilities in biomedical and clinical domains.


title: SimFair: Physics-Guided Fairness-Aware Learning with Simulation Models

abstract: Fairness-awareness has emerged as an essential building block for the responsible use of artificial intelligence in real applications. In many cases, inequity in performance is due to the change in distribution over different regions. While techniques have been developed to improve the transferability of fairness, a solution to the problem is not always feasible with no samples from the new regions, which is a bottleneck for pure data-driven attempts. Fortunately, physics-based mechanistic models have been studied for many problems with major social impacts. We propose SimFair, a physics-guided fairness-aware learning framework, which bridges the data limitation by integrating physical-rule-based simulation and inverse modeling into the training design. Using temperature prediction as an example, we demonstrate the effectiveness of the proposed SimFair in fairness preservation.


title: Arithmetic Fujita approximation over adelic curves

abstract: In this paper, we will prove an analogue of Fujita's approximation theorem under the framework of Arakelov theory over adelic curves, which proves a conjecture of Huayi Chen and Atsushi Moriwaki.


title: Population Level Activity in Large Random Neural Networks

abstract: We determine limiting equations for large asymmetric `spin glass' networks. The initial conditions are not assumed to be independent of the disordered connectivity: one of the main motivations for this is that allows one to understand how the structure of the limiting equations depends on the energy landscape of the random connectivity. The method is to determine the convergence of the double empirical measure (this yields population density equations for the joint distribution of the spins and fields). The limiting dynamics is expressed in terms of a fixed point operator. It is proved that repeated applications of this operator must converge to the limiting dynamics (thus yielding a relatively efficient means of numerically simulating the limiting equations,


title: Finite-Time Analysis of On-Policy Heterogeneous Federated Reinforcement Learning

abstract: Federated reinforcement learning (FRL) has emerged as a promising paradigm for reducing the sample complexity of reinforcement learning tasks by exploiting information from different agents. However, when each agent interacts with a potentially different environment, little to nothing is known theoretically about the non-asymptotic performance of FRL algorithms. The lack of such results can be attributed to various technical challenges and their intricate interplay: Markovian sampling, linear function approximation, multiple local updates to save communication, heterogeneity in the reward functions and transition kernels of the agents' MDPs, and continuous state-action spaces. Moreover, in the on-policy setting, the behavior policies vary with time, further complicating the analysis. In response, we introduce FedSARSA, a novel federated on-policy reinforcement learning scheme, equipped with linear function approximation, to address these challenges and provide a comprehensive finite-time error analysis. Notably, we establish that FedSARSA converges to a policy that is near-optimal for all agents, with the extent of near-optimality proportional to the level of heterogeneity. Furthermore, we prove that FedSARSA leverages agent collaboration to enable linear speedups as the number of agents increases, which holds for both fixed and adaptive step-size configurations.


title: Weighted Trudinger-Moser inequalities in the subcritical Sobolev spaces and their applications

abstract: We study boundedness, optimality and attainability of Trudinger-Moser type maximization problems in the radial and the subcritical homogeneous Sobolev spaces. In special cases, our inequalities are equivalent to the original Trudinger-Moser inequalities via a harmonic transplantation. Also, our inequality converges to the original Trudinger-Moser inequality as taking a limit including optimal exponent and concentration limit. Finally, we consider applications of our inequality to elliptic and parabolic problems with exponential nonlinearity.