title: Automated Root Causing of Cloud Incidents using In-Context Learning with GPT-4

abstract: Root Cause Analysis (RCA) plays a pivotal role in the incident diagnosis process for cloud services, requiring on-call engineers to identify the primary issues and implement corrective actions to prevent future recurrences. Improving the incident RCA process is vital for minimizing service downtime, customer impact and manual toil. Recent advances in artificial intelligence have introduced state-of-the-art Large Language Models (LLMs) like GPT-4, which have proven effective in tackling various AIOps problems, ranging from code authoring to incident management. Nonetheless, the GPT-4 model's immense size presents challenges when trying to fine-tune it on user data because of the significant GPU resource demand and the necessity for continuous model fine-tuning with the emergence of new data. To address the high cost of fine-tuning LLM, we propose an in-context learning approach for automated root causing, which eliminates the need for fine-tuning. We conduct extensive study over 100,000 production incidents, comparing several large language models using multiple metrics. The results reveal that our in-context learning approach outperforms the previous fine-tuned large language models such as GPT-3 by an average of 24.8\% across all metrics, with an impressive 49.7\% improvement over the zero-shot model. Moreover, human evaluation involving actual incident owners demonstrates its superiority over the fine-tuned model, achieving a 43.5\% improvement in correctness and an 8.7\% enhancement in readability. The impressive results demonstrate the viability of utilizing a vanilla GPT model for the RCA task, thereby avoiding the high computational and maintenance costs associated with a fine-tuned model.


title: Value sharing and Stirling numbers

abstract: Let $f$ be an entire function and $L(f)$ a linear differential polynomial in $f$ with constant coefficients. Suppose that $f$, $f'$, and $L(f)$ share a meromorphic function $\alpha(z)$ that is a small function with respect to $f$. A characterization of the possibilities that may arise was recently obtained by Lahiri. However, one case leaves open many possibilities. We show that this case has more structure than might have been expected, and that a more detailed study of this case involves, among other things, Stirling numbers of the first and second kinds. We prove that the function $\alpha$ must satisfy a linear homogeneous differential equation with specific coefficients involving only three free parameters, and then $f$ can be obtained from each solution. Examples suggest that only rarely do single-valued solutions $\alpha(z)$ exist, and even then they are not always small functions for $f$.


title: Optimal Queueing Regimes

abstract: We consider an M/M/1 queueing model where customers can strategically decide whether to join the queue or balk and when to renege. We characterize the class of queueing regimes such that, for any parameters of the model, the socially efficient behavior is an equilibrium outcome.


title: Necessary first and second order optimality conditions for a fractional order differential equation with state delay

abstract: In this research paper, we examine an optimal control problem involving a dynamical system governed by a nonlinear Caputo fractional time-delay state equation. The primary objective of this study is to obtain the necessary conditions for optimality, both the first and second order, for the Caputo fractional time-delay optimal control problem. We derive the first-order necessary condition for optimality for the given fractional time-delay optimal control problem. Moreover, we focus on a case where the Pontryagin maximum principle degenerates, meaning that it is satisfied in a tivial manner. Consequently, we proceed to derive the second order optimality conditions specific to the problem under investigation. At the end illustrative examples are provided.


title: Illuminating the Dark Sector: Searching for new interactions between dark matter and dark energy

abstract: The current standard model of cosmology - the {\ensuremath{\Lambda}}CDM model - is appropriately named after its controversial foreign ingredients: a cosmological constant ({\ensuremath{\Lambda}}) that accounts for the recent accelerated expansion of the Universe and cold dark matter needed to explain the formation and dynamics of large scale structures. Together, these form the dark sector, whose nature remains a mystery. After 25 years of withstanding confirmation and support for the {\ensuremath{\Lambda}}CDM model, enough to bypass some of its unclear theoretical issues, this paradigm is facing its biggest crisis yet. The rapid advent of technology has brought cosmology to an unprecedented observational era, with increased technical precision and the emergence of independent measures, including probes of phenomena that were thought impossible to detect or even exist, such as the gravitational ripples that propagate in the spacetime. However, such precision has unveiled cracks in the porcelain of {\ensuremath{\Lambda}}CDM, with pieces that seem glued together and difficult to reconcile. Particularly worrying is the apparent lack of compatibility between measurements of the Universe's present expansion rate based on local measurements and those based on phenomena that occurred far in the early Universe and that can only be translated into present quantities through physical propagation under a cosmological model. In this dissertation, we delve into extensions to the standard model that consider alternatives to the mysterious nature of the dark sector and any possible new interactions therein. We analyse these alternative models, hoping to identify measurable observational signatures of extra degrees of freedom in the dark sector.


title: SoK: Game-Theoretic Cybersecurity: Assumptions, Models, Gaps, and Bridges

abstract: The discipline of game theory was introduced in the context of economics, and has been applied to study cyber attacker and defender behaviors. While adaptions have been made to accommodate features in the cyber domain, these studies are inherently limited by the root of game theory in economic systems where players (i.e., agents) may be selfish but not malicious. In this SoK, we systematize the major cybersecurity problems that have been studied with the game-theoretic approach, the assumptions that have been made, the models and solution concepts that have been proposed. The systematization leads to a characterization of the technical gaps that must be addressed in order to make game-theoretic cybersecurity models truly useful. We explore bridges to address them.


title: Multiwavelength exploration of Extreme Emission Line Galaxies detected in miniJPAS survey

abstract: Extreme Emission Line Galaxies (EELGs) stand as remarkable objects due to their extremely metal poor environment and intense star formation. Considered as local analogues of high-redshift galaxies in the peak of their star-forming activity, they offer insights into conditions prevalent during the early Universe. Assessment of their stellar and gas properties is, therefore, of critical importance, which requires the assembly of a considerable sample, comprehending a broad redshift range. The Javalambre-Physics of the Accelerating Universe Astrophysical Survey (JPAS) plays a significant role in assembling such a sample, encompassing approximately 8000 deg2 and employing 54 narrow-band optical filters. The present work describes the development and subsequent application of the tools that will be employed in the forthcoming JPAS spectrophotometric data, allowing for the massive and automated characterization of EELGs that are expected to be identified. This fully automated pipeline (requiring only the object coordinates from users) constructs Spectral Energy Distributions (SEDs) by retrieving virtually all the available multi-wavelength photometric data archives, employs SED fitting tools and identifies optical emission lines. It was applied to the sample of extreme line emitters identified in the miniJPAS Survey, and its derived physical properties such as stellar mass and age, coupled with fundamental relations, mirror results obtained through spectral modeling of SDSS spectra. Thorough testing using galaxies with documented photometric measurements across different wavelengths confirmed the pipeline's accuracy, demonstrating its capability for automated analysis of sources with varying characteristics, spanning brightness, morphology, and redshifts. The modular nature of this pipeline facilitates any addition from the user.


title: Interplay Between Neutrino Kicks and Hydrodynamic Kicks of Neutron Stars and Black Holes

abstract: Neutron stars (NSs) are observed with high space velocities and elliptical orbits in binaries. The magnitude of these effects points to natal kicks that originate from asymmetries during the supernova (SN) explosions. Using a growing set of long-time 3D SN simulations with the Prometheus-Vertex code, we explore the interplay of NS kicks that are induced by asymmetric neutrino emission and by asymmetric mass ejection. Anisotropic neutrino emission can arise from a large-amplitude dipolar convection asymmetry inside the proto-NS (PNS) termed LESA (Lepton-number Emission Self-sustained Asymmetry) and from aspherical accretion downflows around the PNS, which can lead to anisotropic neutrino emission (absorption) with a neutrino-induced NS kick roughly opposite to (aligned with) the kick by asymmetric mass ejection. In massive progenitors hydrodynamic kicks can reach up to more than 1300 km/s, whereas our calculated neutrino kicks reach (55-140) km/s (estimated upper bounds of (170-265) km/s) and only about (10-50) km/s, if LESA is the main cause of asymmetric neutrino emission. Therefore hydrodynamic NS kicks dominate in explosions of high-mass progenitors, whereas LESA-induced neutrino kicks dominate for NSs born in low-energy SNe of the lowest-mass progenitors, when these explode nearly spherically. Our models suggest that the Crab pulsar with its velocity of about 160 km/s, if born in the low-energy explosion of a low-mass, single-star progenitor, should have received a hydrodynamic kick in a considerably asymmetric explosion. Black holes, if formed by the collapse of short-lived PNSs and solely kicked by anisotropic neutrino emission, obtain velocities of only some km/s.


title: Experimental and theoretical confirmation of an orthorhombic phase transition in niobium at high pressure and temperature

abstract: Compared to other body-centered cubic (bcc) transition metals Nb has been the subject of fewer compression studies and there are still aspects of its phase diagram which are unclear. Here, we report a combined theoretical and experimental study of Nb under high pressure and temperature. We present the results of static laser-heated diamond anvil cell experiments up to 120 GPa using synchrotron-based fast x-ray diffraction combined with ab initio quantum molecular dynamics simulations. The melting curve of Nb is determined, and evidence for a solid-solid phase transformation in Nb with increasing temperature is found. The high-temperature phase of Nb is orthorhombic Pnma. The bcc-Pnma transition is clearly seen in the experimental data on the Nb principal Hugoniot. The bcc-Pnma coexistence observed in our experiments is explained. Agreement between the measured and calculated melting curves is very good except at 40-60 GPa where three experimental points lie below the theoretical melting curve by 250 K (or 7%); a possible explanation is given.


title: Separating $k$-Median from the Supplier Version

abstract: Given a metric space $(V, d)$ along with an integer $k$, the $k$-Median problem asks to open $k$ centers $C \subseteq V$ to minimize $\sum_{v \in V} d(v, C)$, where $d(v, C) := \min_{c \in C} d(v, c)$. While the best-known approximation ratio of $2.613$ holds for the more general supplier version where an additional set $F \subseteq V$ is given with the restriction $C \subseteq F$, the best known hardness for these two versions are $1+1/e \approx 1.36$ and $1+2/e \approx 1.73$ respectively, using the same reduction from Max $k$-Coverage. We prove the following two results separating them. First, we show a $1.546$-parameterized approximation algorithm that runs in time $f(k) n^{O(1)}$. Since $1+2/e$ is proved to be the optimal approximation ratio for the supplier version in the parameterized setting, this result separates the original $k$-Median from the supplier version. Next, we prove a $1.416$-hardness for polynomial-time algorithms assuming the Unique Games Conjecture. This is achieved via a new fine-grained hardness of Max-$k$-Coverage for small set sizes. Our upper bound and lower bound are derived from almost the same expression, with the only difference coming from the well-known separation between the powers of LP and SDP on (hypergraph) vertex cover.


title: A Bayesian hierarchical mixture cure modelling framework to utilize multiple survival datasets for long-term survivorship estimates: A case study from previously untreated metastatic melanoma

abstract: Time to an event of interest over a lifetime is a central measure of the clinical benefit of an intervention used in a health technology assessment (HTA). Within the same trial multiple end-points may also be considered. For example, overall and progression-free survival time for different drugs in oncology studies. A common challenge is when an intervention is only effective for some proportion of the population who are not clinically identifiable. Therefore, latent group membership as well as separate survival models for groups identified need to be estimated. However, follow-up in trials may be relatively short leading to substantial censoring. We present a general Bayesian hierarchical framework that can handle this complexity by exploiting the similarity of cure fractions between end-points; accounting for the correlation between them and improving the extrapolation beyond the observed data. Assuming exchangeability between cure fractions facilitates the borrowing of information between end-points. We show the benefits of using our approach with a motivating example, the CheckMate 067 phase 3 trial consisting of patients with metastatic melanoma treated with first line therapy.


title: Homology Generators and Relations for the Ordered Configuration Space of a Star Graph

abstract: We study the ordered configuration space of star graphs. Inspired by the representation stability results of Church--Ellenberg--Farb for the ordered configuration space of a manifold and the edge stability results of An-Drummond-Cole-Knudsen for the unordered configuration space of a graph, we determine how the ordered configuration space of a star graph with $k$ leaves behaves as we add particles at the leaves. We show that as an FI$_{k, o}$-module the first homology of this ordered configuration space is finitely generated by $4$ particles for $k=3$, by $3$ particles for $k=4$, and by $2$ particles for $k\ge 5$. Additionally, we prove that every relation among homology classes can be described by relations on $5$ particles for $k=4,5$ and by $3$ particles for $k\ge 6$, while proving that adding particles always introduces new relations when $k=3$.


title: Navigating Dataset Documentations in AI: A Large-Scale Analysis of Dataset Cards on Hugging Face

abstract: Advances in machine learning are closely tied to the creation of datasets. While data documentation is widely recognized as essential to the reliability, reproducibility, and transparency of ML, we lack a systematic empirical understanding of current dataset documentation practices. To shed light on this question, here we take Hugging Face -- one of the largest platforms for sharing and collaborating on ML models and datasets -- as a prominent case study. By analyzing all 7,433 dataset documentation on Hugging Face, our investigation provides an overview of the Hugging Face dataset ecosystem and insights into dataset documentation practices, yielding 5 main findings: (1) The dataset card completion rate shows marked heterogeneity correlated with dataset popularity. (2) A granular examination of each section within the dataset card reveals that the practitioners seem to prioritize Dataset Description and Dataset Structure sections, while the Considerations for Using the Data section receives the lowest proportion of content. (3) By analyzing the subsections within each section and utilizing topic modeling to identify key topics, we uncover what is discussed in each section, and underscore significant themes encompassing both technical and social impacts, as well as limitations within the Considerations for Using the Data section. (4) Our findings also highlight the need for improved accessibility and reproducibility of datasets in the Usage sections. (5) In addition, our human annotation evaluation emphasizes the pivotal role of comprehensive dataset content in shaping individuals' perceptions of a dataset card's overall quality. Overall, our study offers a unique perspective on analyzing dataset documentation through large-scale data science analysis and underlines the need for more thorough dataset documentation in machine learning research.


title: Robustness in Fairness against Edge-level Perturbations in GNN-based Recommendation

abstract: Efforts in the recommendation community are shifting from the sole emphasis on utility to considering beyond-utility factors, such as fairness and robustness. Robustness of recommendation models is typically linked to their ability to maintain the original utility when subjected to attacks. Limited research has explored the robustness of a recommendation model in terms of fairness, e.g., the parity in performance across groups, under attack scenarios. In this paper, we aim to assess the robustness of graph-based recommender systems concerning fairness, when exposed to attacks based on edge-level perturbations. To this end, we considered four different fairness operationalizations, including both consumer and provider perspectives. Experiments on three datasets shed light on the impact of perturbations on the targeted fairness notion, uncovering key shortcomings in existing evaluation protocols for robustness. As an example, we observed perturbations affect consumer fairness on a higher extent than provider fairness, with alarming unfairness for the former. Source code: https://github.com/jackmedda/CPFairRobust


title: Inflow and outflow properties, not total gas fractions, drive the evolution of the mass-metallicity relation

abstract: Observations show a tight correlation between the stellar mass of galaxies and their gas-phase metallicity (MZR). This relation evolves with redshift, with higher-redshift galaxies being characterized by lower metallicities. Understanding the physical origin of the slope and redshift evolution of the MZR may provide important insight into the physical processes underpinning it: star formation, feedback, and cosmological inflows. While theoretical models ascribe the shape of the MZR to the lower efficiency of galactic outflows in more massive galaxies, what drives its evolution remains an open question. In this letter, we analyze how the MZR evolves over $z=0-3$, combining results from the FIREbox cosmological volume simulation with analytical models. Contrary to a frequent assertion in the literature, we find that the evolution of the gas fraction does not contribute significantly to the redshift evolution of the MZR. Instead, we show that the latter is driven by the redshift-dependence of the inflow metallicity, outflow metallicity, and mass loading factor, whose relative importance depends on stellar mass. These findings also suggest that the evolution of the MZR is not explained by galaxies moving along a fixed surface in the space spanned by stellar mass, gas phase metallicity, and star formation rate.


title: RR Lyrae Stars Belonging to the Candidate Globular Cluster Patchick 99

abstract: Patchick 99 is a candidate globular cluster located in the direction of the Galactic bulge, with a proper motion almost identical to the field and extreme field star contamination. A recent analysis suggests it is a low-luminosity globular cluster with a population of RR Lyrae stars. We present new spectra of stars in and around Patchick 99, targeting specifically the 3 RR Lyrae stars associated with the cluster as well as the other RR Lyrae stars in the field. A sample of 53 giant stars selected from proper motions and a position on CMD are also observed. The three RR Lyrae stars associated with the cluster have similar radial velocities and distances, and two of the targeted giants also have radial velocities in this velocity regime and [Fe/H] metallicities that are slightly more metal-poor than the field. Therefore, if Patchick 99 is a bonafide globular cluster, it would have a radial velocity of -92+/-10 km s-1, a distance of 6.7+/-0.4 kpc (as determined from the RR Lyrae stars), and an orbit that confines it to the inner bulge.


title: The Spatial Distribution of Type Ia Supernovae within Host Galaxies

abstract: We study how type Ia supernovae (SNe Ia) are spatially distributed within their host galaxies, using data taken from the Sloan Digital Sky Survey (SDSS). This paper specifically tests the hypothesis that the SNe Ia rate traces the r-band light of the morphological component to which supernovae belong. A sample of supernovae is taken from the SDSS SN Survey, and host galaxies are identified. Each host galaxy is decomposed into a bulge and disk, and the distribution of supernovae is compared to the distribution of disk and bulge light. Our methodology is relatively unaffected by seeing. We find that in disk light dominated galaxies, SNe Ia trace light closely. The situation is less clear for bulges and ellipticals because of resolution effects, but the available evidence is also consistent with the hypothesis that bulge/elliptical SNe Ia follow light.


title: Traffic Learning and Proactive UAV Trajectory Planning for Data Uplink in Markovian IoT Models

abstract: The age of information (AoI) is used to measure the freshness of the data. In IoT networks, the traditional resource management schemes rely on a message exchange between the devices and the base station (BS) before communication which causes high AoI, high energy consumption, and low reliability. Unmanned aerial vehicles (UAVs) as flying BSs have many advantages in minimizing the AoI, energy-saving, and throughput improvement. In this paper, we present a novel learning-based framework that estimates the traffic arrival of IoT devices based on Markovian events. The learning proceeds to optimize the trajectory of multiple UAVs and their scheduling policy. First, the BS predicts the future traffic of the devices. We compare two traffic predictors: the forward algorithm (FA) and the long short-term memory (LSTM). Afterward, we propose a deep reinforcement learning (DRL) approach to optimize the optimal policy of each UAV. Finally, we manipulate the optimum reward function for the proposed DRL approach. Simulation results show that the proposed algorithm outperforms the random-walk (RW) baseline model regarding the AoI, scheduling accuracy, and transmission power.


title: Asymptotic solutions for self-similar fault slip induced by fluid injection at constant rate

abstract: We examine the circular, self-similar expansion of frictional rupture due to fluid injected at a constant rate. In a prior problem [Viesca, 2021], the author examined rupture of a planar frictional fault driven by line source of fluid injected at constant pressure. Here, fluid injection occurs at constant volumetric rate at a point on the fault and fluid migration occurs within a thin, relatively permeable layer containing and parallel to the fault plane. For the particular case when the Poisson ratio $\nu=0$, self-similarity of the fluid pressure profile implies that fault slip will also evolve in an axisymmetric, self-similar manner, reducing the three-dimensional problem for the spatiotemporal evolution of fault slip to a single self-similar dimension. The rupture radius grows as $\lambda \sqrt{4\alpha_{hy} t}$ , where $t$ is time since the start of injection, $\alpha_{hy}$ is the hydraulic diffusivity of the pore fluid pressure, and $\lambda$ is a prefactor determined by a single parameter, $T$, which depends on the pre-injection stress state and injection conditions. The prefactor has the range $0<\lambda<\infty$, where the lower and upper limits of $\lambda$ correspond to, respectively marginal pressurization of the fault and critically stressed conditions, in which the fault-resolved shear stress is close to the pre-injection fault strength. In both limits of $\lambda$, we derive asymptotic solutions for the slip by perturbation expansion, to arbitrary order. For the critically stressed limit, the solution for slip contains an interior boundary layer and an outer solution. We perform a matched asymptotic expansion to provide a composite solution with uniform convergence over the entire rupture. The leading order of these solutions was recently used by Saez et al. [2022] to verify three-dimensional boundary-element solutions in the limit $\nu=0$.


title: Generalized Free Cumulants for Quantum Chaotic Systems

abstract: The eigenstate thermalization hypothesis (ETH) is the leading conjecture for the emergence of statistical mechanics in generic isolated quantum systems and is formulated in terms of the matrix elements of operators. An analog known as the ergodic bipartition (EB) describes entanglement and locality and is formulated in terms of the components of eigenstates. In this paper, we significantly generalize the EB and unify it with the ETH, extending the EB to study higher correlations and systems out of equilibrium. Our main result is a diagrammatic formalism that computes arbitrary correlations between eigenstates and operators based on a recently uncovered connection between the ETH and free probability theory. We refer to the connected components of our diagrams as generalized free cumulants. We apply our formalism in several ways. First, we focus on chaotic eigenstates and establish the so-called subsystem ETH and the Page curve as consequences of our construction. We also improve known calculations for thermal reduced density matrices and comment on an inherently free probabilistic aspect of the replica approach to entanglement entropy previously noticed in a calculation for the Page curve of an evaporating black hole. Next, we turn to chaotic quantum dynamics and demonstrate the ETH as a sufficient mechanism for thermalization, in general. In particular, we show that reduced density matrices relax to their equilibrium form and that systems obey the Page curve at late times. We also demonstrate that entanglement velocities, which govern the spreading of entanglement, are encoded in higher correlations of the EB. Lastly, we examine the chaotic structure of eigenstates and operators together and reveal previously overlooked correlations between them. Crucially, these correlations encode butterfly velocities, a well-known dynamical property of interacting quantum systems.


title: A family of systems including the Herschel-Bulkley fluid equations

abstract: We analyze the Navier-Stokes equations for incompressible fluids with the {\lq\lq}viscous stress tensor{\rq\rq} $\mathbb{S}$ in a family which includes the Bingham model for viscoplastic fluids (more generally, the Herschel-Bulkley model). $\mathbb{S}$ is the subgradient of a convex potential $V=V(x,t,X)$, allowing that $V$ can depend on the space-time variables $(x,t)$. The potential has its one-sided directional derivatives $V'(X,X)$ uniformly bounded from below and above by a $p$-power function of the matrices $X$. For $p\geqslant 2.2$ we solve an initial boundary value problem for those fluid systems, in a bounded region in $\mathbb{R}^3$. We take a nonlinear boundary condition, which encompasses the Navier friction/slip boundary condition.


title: Scalarization via utility functions in multi-objective optimization

abstract: We study a general scalarization approach via utility functions in multi-objective optimization. It consists of maximizing utility which is obtained from the objectives' bargaining with regard to a disagreement reference point. The theoretical framework for a broad class of utility functions from microeconomics is developed. For that, we associate a utility-dependent single-objective optimization problem with the given multi-objective optimization problem. We show that Pareto optimal points of the latter can be recovered by solving the former. In particular, Cobb-Douglas, Leontief, and CES utility functions are considered. We prove that any Pareto optimal point can be obtained as a solution of scalarization via one of the mentioned utility functions. Further, we propose a numerical scheme to solve utility-dependent single-objective optimization problems. Here, the main difficulty comes from the necessity to address constraints which are associated with a disagreement reference point. Our crucial observation is that the explicit treatment of these additional constraints may be avoided. This is the case if the Slater condition is satisfied and the utility function under consideration has the so-called barrier property. Under these assumptions, we prove the convergence of our scheme to Pareto optimal points. Numerical experiments on real-world financial datasets in a portfolio selection context confirm the efficiency of our scalarization approach via utility functions.


title: Algorithmically Curated Lies: How Search Engines Handle Misinformation about US Biolabs in Ukraine

abstract: The growing volume of online content prompts the need for adopting algorithmic systems of information curation. These systems range from web search engines to recommender systems and are integral for helping users stay informed about important societal developments. However, unlike journalistic editing the algorithmic information curation systems (AICSs) are known to be subject to different forms of malperformance which make them vulnerable to possible manipulation. The risk of manipulation is particularly prominent in the case when AICSs have to deal with information about false claims that underpin propaganda campaigns of authoritarian regimes. Using as a case study of the Russian disinformation campaign concerning the US biolabs in Ukraine, we investigate how one of the most commonly used forms of AICSs - i.e. web search engines - curate misinformation-related content. For this aim, we conduct virtual agent-based algorithm audits of Google, Bing, and Yandex search outputs in June 2022. Our findings highlight the troubling performance of search engines. Even though some search engines, like Google, were less likely to return misinformation results, across all languages and locations, the three search engines still mentioned or promoted a considerable share of false content (33% on Google; 44% on Bing, and 70% on Yandex). We also find significant disparities in misinformation exposure based on the language of search, with all search engines presenting a higher number of false stories in Russian. Location matters as well with users from Germany being more likely to be exposed to search results promoting false information. These observations stress the possibility of AICSs being vulnerable to manipulation, in particular in the case of the unfolding propaganda campaigns, and underline the importance of monitoring performance of these systems to prevent it.


title: The Gross-Pitaevskii equation for a infinite square-well with a delta-function barrier

abstract: The Gross-Pitaevskii equation is solved by analytic methods for an external double-well potential that is an infinite square well plus a $\delta$-function central barrier. We find solutions that have the symmetry of the non-interacting Hamiltonian as well as asymmetric solutions that bifurcate from the symmetric solutions for attractive interactions and from the antisymmetric solutions for repulsive interactions. We present a variational approximation to the asymmetric state as well as an approximate numerical approach. Stability of the states is briefly considered.


title: TransientX: A high performance single pulse search package

abstract: Radio interferometers composed of a large array of small antennas posses large fields of view, coupled with high sensitivities. For example, the Karoo Array Telescope (MeerKAT), achieves a gain of up to 2.8 K/Jy across its $>1\,\mathrm{deg}^2$ field of view. This capability significantly enhances the survey speed for pulsars and fast transients. Nevertheless, this also introduces challenges related to the high data rate, reaching a few Tb/s for MeerKAT, and substantial computing power requirements. To handle the large data rate of surveys, we have developed a high-performance single-pulse search software called "TransientX". This software integrates multiple processes into one pipeline, which includes radio frequency interference mitigation, de-dispersion, matched filtering, clustering, and candidate plotting. In TransientX, we have developed an efficient CPU-based de-dispersion implementation using the sub-band de-dispersion algorithm. Additionally, TransientX employs the density-based spatial clustering of applications with noise (DBSCAN) algorithm to eliminate duplicate candidates, utilizing an efficient implementation based on the kd-tree data structure. We also calculate the signal-to-noise ratio loss resulting from dispersion measure, boxcar width, spectral index and pulse shape mismatches. Remarkably, we find that the signal-to-noise ratio loss resulting from the mismatch between a boxcar-shaped template and a Gaussian-shaped pulse with scattering remains relatively small, at approximately 9%, even when the scattering timescale is 10 times that of the pulse width. Additionally, the S/N decrease resulting from the spectra index mismatch becomes significant with multi-octave receivers. We have benchmarked the individual processes, including de-dispersion, matched filtering, and clustering. TransientX offers the capability for efficient CPU-only real-time single pulse searching.


title: The Calibration Gap between Model and Human Confidence in Large Language Models

abstract: For large language models (LLMs) to be trusted by humans they need to be well-calibrated in the sense that they can accurately assess and communicate how likely it is that their predictions are correct. Recent work has focused on the quality of internal LLM confidence assessments, but the question remains of how well LLMs can communicate this internal model confidence to human users. This paper explores the disparity between external human confidence in an LLM's responses and the internal confidence of the model. Through experiments involving multiple-choice questions, we systematically examine human users' ability to discern the reliability of LLM outputs. Our study focuses on two key areas: (1) assessing users' perception of true LLM confidence and (2) investigating the impact of tailored explanations on this perception. The research highlights that default explanations from LLMs often lead to user overestimation of both the model's confidence and its' accuracy. By modifying the explanations to more accurately reflect the LLM's internal confidence, we observe a significant shift in user perception, aligning it more closely with the model's actual confidence levels. This adjustment in explanatory approach demonstrates potential for enhancing user trust and accuracy in assessing LLM outputs. The findings underscore the importance of transparent communication of confidence levels in LLMs, particularly in high-stakes applications where understanding the reliability of AI-generated information is essential.


title: Machine learning for industrial sensing and control: A survey and practical perspective

abstract: With the rise of deep learning, there has been renewed interest within the process industries to utilize data on large-scale nonlinear sensing and control problems. We identify key statistical and machine learning techniques that have seen practical success in the process industries. To do so, we start with hybrid modeling to provide a methodological framework underlying core application areas: soft sensing, process optimization, and control. Soft sensing contains a wealth of industrial applications of statistical and machine learning methods. We quantitatively identify research trends, allowing insight into the most successful techniques in practice. We consider two distinct flavors for data-driven optimization and control: hybrid modeling in conjunction with mathematical programming techniques and reinforcement learning. Throughout these application areas, we discuss their respective industrial requirements and challenges. A common challenge is the interpretability and efficiency of purely data-driven methods. This suggests a need to carefully balance deep learning techniques with domain knowledge. As a result, we highlight ways prior knowledge may be integrated into industrial machine learning applications. The treatment of methods, problems, and applications presented here is poised to inform and inspire practitioners and researchers to develop impactful data-driven sensing, optimization, and control solutions in the process industries.


title: Democratizing Fine-grained Visual Recognition with Large Language Models

abstract: Identifying subordinate-level categories from images is a longstanding task in computer vision and is referred to as fine-grained visual recognition (FGVR). It has tremendous significance in real-world applications since an average layperson does not excel at differentiating species of birds or mushrooms due to subtle differences among the species. A major bottleneck in developing FGVR systems is caused by the need of high-quality paired expert annotations. To circumvent the need of expert knowledge we propose Fine-grained Semantic Category Reasoning (FineR) that internally leverages the world knowledge of large language models (LLMs) as a proxy in order to reason about fine-grained category names. In detail, to bridge the modality gap between images and LLM, we extract part-level visual attributes from images as text and feed that information to a LLM. Based on the visual attributes and its internal world knowledge the LLM reasons about the subordinate-level category names. Our training-free FineR outperforms several state-of-the-art FGVR and language and vision assistant models and shows promise in working in the wild and in new domains where gathering expert annotation is arduous.


title: Levin-Wen is a gauge theory: entanglement from topology

abstract: We show that the Levin-Wen model of a unitary fusion category $\mathcal{C}$ is a gauge theory with gauge symmetry given by the tube algebra $\operatorname{Tube}(\mathcal{C})$. In particular, we define a model corresponding to a $\operatorname{Tube}(\mathcal{C})$ symmetry protected topological phase, and we provide a gauging procedure which results in the corresponding Levin-Wen model. In the case $\mathcal{C}=\mathsf{Hilb}(G,\omega)$, we show how our procedure reduces to the twisted gauging of a trivial $G$-SPT to produce the Twisted Quantum Double. We further provide an example which is outside the bounds of the current literature, the trivial Fibonacci SPT, whose gauge theory results in the doubled Fibonacci string-net. Our formalism has a natural topological interpretation with string diagrams living on a punctured sphere. We provide diagrams to supplement our mathematical proofs and to give the reader an intuitive understanding of the subject matter.

categories: cond-mat.str-el math-ph math.CT math.MP math.OA math.QA


title: Edge-coloring sparse graphs with $\Delta$ colors in quasilinear time

abstract: In this paper we show that every graph $G$ of bounded maximum average degree ${\rm mad}(G)$ and with maximum degree $\Delta$ can be edge-colored using the optimal number of $\Delta$ colors in quasilinear time, whenever $\Delta\ge 2{\rm mad}(G)$. The maximum average degree is within a multiplicative constant of other popular graph sparsity parameters like arboricity, degeneracy or maximum density. Our algorithm extends previous results of Chrobak and Nishizeki [J. Algorithms, 1990] and Bhattacharya, Costa, Panski and Solomon [arXiv, 2023].


title: An Almost Feasible Sequential Linear Programming Algorithm

abstract: This paper proposes an almost feasible Sequential Linear Programming (afSLP) algorithm. In the first part, the practical limitations of previously proposed Feasible Sequential Linear Programming (FSLP) methods are discussed along with illustrative examples. Then, we present a generalization of FSLP based on a tolerance-tube method that addresses the shortcomings of FSLP. The proposed algorithm afSLP consists of two phases. Phase I starts from random infeasible points and iterates towards a relaxation of the feasible set. Once the tolerance-tube around the feasible set is reached, phase II is started and all future iterates are kept within the tolerance-tube. The novel method includes enhancements to the originally proposed tolerance-tube method that are necessary for global convergence. afSLP is shown to outperform FSLP and the state-of-the-art solver IPOPT on a SCARA robot optimization problem.


title: Sliding Dynamics for Bubble Phases on Periodic Modulated Substrates

abstract: We analyze a bubble forming system composed of particles with competing long range repulsive and short range attractive interactions driven over a quasi-one-dimensional periodic substrate. We find various pinned and sliding phases as a function of substrate strength and drive amplitude. When the substrate is weak, a pinned bubble phase appears that depins elastically into a sliding bubble lattice. For stronger substrates, we find anisotropic bubbles, disordered bubbles, and stripe phases. Plastic depinning occurs via the hopping of individual particles from one bubble to the next in a pinned bubble lattice, and as the drive increases, there is a transition to a state where all of the bubbles are moving but are continuously shedding and absorbing individual particles. This is followed at high drives by a moving bubble lattice in which the particles can no longer escape their individual bubbles. The transition between the plastic and elastic sliding phases can be detected via signatures in the velocity-force curves, differential conductivity, and noise. When the bubbles shrink due to an increase in the attractive interaction term, they fit better inside the pinning troughs and become more strongly pinned, leading to a reentrant pinning phase. For weaker attractive terms, the size of the bubbles becomes greater than the width of the pinning troughs and the depinning becomes elastic with a reduced depinning threshold.


title: Tight Competitive and Variance Analyses of Matching Policies in Gig Platforms

abstract: In this paper, we propose an online-matching-based model to tackle the two fundamental issues, matching and pricing, existing in a wide range of real-world gig platforms, including ride-hailing (matching riders and drivers), crowdsourcing markets (pairing workers and tasks), and online recommendations (offering items to customers). Our model assumes the arriving distributions of dynamic agents (e.g., riders, workers, and buyers) are accessible in advance, and they can change over time, which is referred to as \emph{Known Heterogeneous Distributions} (KHD). In this paper, we initiate variance analysis for online matching algorithms under KHD. Unlike the popular competitive-ratio (CR) metric, the variance of online algorithms' performance is rarely studied due to inherent technical challenges, though it is well linked to robustness. We focus on two natural parameterized sampling policies, denoted by $\mathsf{ATT}(\gamma)$ and $\mathsf{SAMP}(\gamma)$, which appear as foundational bedrock in online algorithm design. We offer rigorous competitive ratio (CR) and variance analyses for both policies. Specifically, we show that $\mathsf{ATT}(\gamma)$ with $\gamma \in [0,1/2]$ achieves a CR of $\gamma$ and a variance of $\gamma \cdot (1-\gamma) \cdot B$ on the total number of matches with $B$ being the total matching capacity. In contrast, $\mathsf{SAMP}(\gamma)$ with $\gamma \in [0,1]$ accomplishes a CR of $\gamma (1-\gamma)$ and a variance of $\bar{\gamma} (1-\bar{\gamma})\cdot B$ with $\bar{\gamma}=\min(\gamma,1/2)$. All CR and variance analyses are tight and unconditional of any benchmark. As a byproduct, we prove that $\mathsf{ATT}(\gamma=1/2)$ achieves an optimal CR of $1/2$.


title: Enumerating the k-fold configurations in multi-class classification problems

abstract: K-fold cross-validation is a widely used tool for assessing classifier performance. The reproducibility crisis faced by artificial intelligence partly results from the irreproducibility of reported k-fold cross-validation-based performance scores. Recently, we introduced numerical techniques to test the consistency of claimed performance scores and experimental setups. In a crucial use case, the method relies on the combinatorial enumeration of all k-fold configurations, for which we proposed an algorithm in the binary classification case.


title: Intrinsic regularization by noise for $1d$ mean field games

abstract: The purpose of this article is to show that an intrinsic noise with values in the space ${\mathcal P}({\mathbb R})$ of $1d$ probability measures may force uniqueness to first order mean field games. The structure of the noise is inspired from an earlier work [arXiv:2210.01239]. It reads as a coloured Ornstein-Uhlenbeck process with reflection on the boundary of quantile functions on the $1d$ torus, with the elements of the latter playing the role of indices for the continuum of players underpinning the game. In [arXiv:2210.01239], the semi-group generated by the noise is shown to enjoy smoothing properties that become key in the study carried out here. Although the analysis is limited to the 1d setting, this is the first example of uniqueness forcing for generic mean field games set over an infinite dimensional set of probability measures and this may be one step forward towards a more systematic regularization by noise theory for mean field games.


title: Thermal transport and thermoelectric properties of transition metal dichalcogenides Mo$X_2$ from first-principles calculation

abstract: The properties of two-dimensional (2D) materials have been extensively studied and applied in various applications. Our interest is to theoretically investigate the thermal transport and thermoelectric properties of the 2D transition metal dichalcogenides Mo$X_2$ ($X$ = S, Se, Te). We employ density functional theory and Boltzmann transport theory with relaxation-time approximation to calculate the electronic and transport properties. We also implemented the kinetic-collective model to improve the calculation of lattice thermal conductivity. Our calculations indicate that MoTe$_2$ has the highest ZT of 2.77 among the other Mo$X_2$ at 550 K due to its low thermal conductivity and high electrical conductivity. Consequently, we suggest that Mo$X_2$ monolayers hold promise as materials for energy conversion devices due to their relatively high ZT. Moreover, these results could be beneficial to design 2D material based high performance thermoelectric devices.


title: Bifurcation Results for Traveling Waves in Nonlinear Magnetic Metamaterials

abstract: In this work, we study a model of a one-dimensional magnetic metamaterial formed by a discrete array of nonlinear resonators. We focus on periodic and localized traveling waves of the model, in the presence of loss and an external drive. Employing a Melnikov analysis we study the existence and persistence of such traveling waves, and study their linear stability. We show that, under certain conditions, the presence of dissipation and/or driving may stabilize or destabilize the solutions. Our analytical results are found to be in good agreement with direct numerical computations.


title: Quantum weight

abstract: We introduce the concept of quantum weight as a fundamental property of insulating states of matter that is encoded in the ground-state static structure and measures quantum fluctuation in electrons' center of mass. We find a sum rule that directly relates quantum weight -- a ground state property -- with the negative-first moment of the optical conductivity above the gap frequency. Building on this connection to optical absorption, we derive both an upper bound and a lower bound on quantum weight in terms of electron density, dielectric constant, and energy gap. Therefore, quantum weight constitutes a key material parameter that can be experimentally determined from X-ray scattering.


title: A V2X-based Privacy Preserving Federated Measuring and Learning System

abstract: Future autonomous vehicles (AVs) will use a variety of sensors that generate a vast amount of data. Naturally, this data not only serves self-driving algorithms; but can also assist other vehicles or the infrastructure in real-time decision-making. Consequently, vehicles shall exchange their measurement data over Vehicle-to-Everything (V2X) technologies. Moreover, predicting the state of the road network might be beneficial too. With such a prediction, we might mitigate road congestion, balance parking lot usage, or optimize the traffic flow. That would decrease transportation costs as well as reduce its environmental impact. In this paper, we propose a federated measurement and learning system that provides real-time data to fellow vehicles over Vehicle-to-Vehicle (V2V) communication while also operating a federated learning (FL) scheme over the Vehicle-to-Network (V2N) link to create a predictive model of the transportation network. As we are yet to have real-world AV data, we model it with a non-IID (independent and identically distributed) dataset to evaluate the capabilities of the proposed system in terms of performance and privacy. Results indicate that the proposed FL scheme improves learning performance and prevents eavesdropping at the aggregator server side.


title: TPD: Enhancing Student Language Model Reasoning via Principle Discovery and Guidance

abstract: Large Language Models (LLMs) have recently showcased remarkable reasoning abilities. However, larger models often surpass their smaller counterparts in reasoning tasks, posing the challenge of effectively transferring these capabilities from larger models. Existing approaches heavily rely on extensive fine-tuning data or continuous interactions with a superior teacher LLM during inference. We introduce a principle-based teacher-student framework called ``Teaching via Principle Discovery'' (TPD) to address these limitations. Inspired by human learning mechanisms, TPD mimics the interaction between a teacher and a student using a principle-based approach. The teacher LLM generates problem-solving instructions and corrective principles based on the student LLM's errors. These principles guide the refinement of instructions and the selection of instructive examples from a validation set. This enables the student model to learn from both the teacher's guidance and its own mistakes. Once the student model begins making inferences, TPD requires no further intervention from the teacher LLM or humans. Through extensive experiments across eight reasoning tasks, we demonstrate the effectiveness of TPD. Compared to standard chain-of-thought prompting, TPD significantly improves the student model's performance, achieving $6.2\%$ improvement on average.


title: PADTHAI-MM: A Principled Approach for Designing Trustable, Human-centered AI systems using the MAST Methodology

abstract: Designing for AI trustworthiness is challenging, with a lack of practical guidance despite extensive literature on trust. The Multisource AI Scorecard Table (MAST), a checklist rating system, addresses this gap in designing and evaluating AI-enabled decision support systems. We propose the Principled Approach for Designing Trustable Human-centered AI systems using MAST Methodology (PADTHAI-MM), a nine-step framework what we demonstrate through the iterative design of a text analysis platform called the REporting Assistant for Defense and Intelligence Tasks (READIT). We designed two versions of READIT, high-MAST including AI context and explanations, and low-MAST resembling a "black box" type system. Participant feedback and state-of-the-art AI knowledge was integrated in the design process, leading to a redesigned prototype tested by participants in an intelligence reporting task. Results show that MAST-guided design can improve trust perceptions, and that MAST criteria can be linked to performance, process, and purpose information, providing a practical and theory-informed basis for AI system design.


title: Scaling NVIDIA's Multi-speaker Multi-lingual TTS Systems with Zero-Shot TTS to Indic Languages

abstract: In this paper, we describe the TTS models developed by NVIDIA for the MMITS-VC (Multi-speaker, Multi-lingual Indic TTS with Voice Cloning) 2024 Challenge. In Tracks 1 and 2, we utilize RAD-MMM to perform few-shot TTS by training additionally on 5 minutes of target speaker data. In Track 3, we utilize P-Flow to perform zero-shot TTS by training on the challenge dataset as well as external datasets. We use HiFi-GAN vocoders for all submissions. RAD-MMM performs competitively on Tracks 1 and 2, while P-Flow ranks first on Track 3, with mean opinion score (MOS) 4.4 and speaker similarity score (SMOS) of 3.62.


title: First-order relativistic hydrodynamics with an information current

abstract: We show that it is possible to define a timelike future-directed information current within relativistic first-order hydrodynamics. This constitutes the first step toward a covariantly stable and causal formulation of first-order fluctuating hydrodynamics based on thermodynamic principles. We provide several explicit examples of first-order theories with an information current, covering many physical phenomena, ranging from electric conduction to viscosity and elasticity. We use these information currents to compute the corresponding equal-time correlation functions, and we find that the physically relevant (equal-time) correlators do not depend on the choice of the hydrodynamic frame as long as the frame leads to causal and stable dynamics. In the example of chiral hydrodynamics, we find that circularly polarized shear waves have different probabilities of being excited depending on their handedness, generating net helicity in chiral fluids.


title: Dataset and Benchmark: Novel Sensors for Autonomous Vehicle Perception

abstract: Conventional cameras employed in autonomous vehicle (AV) systems support many perception tasks, but are challenged by low-light or high dynamic range scenes, adverse weather, and fast motion. Novel sensors, such as event and thermal cameras, offer capabilities with the potential to address these scenarios, but they remain to be fully exploited. This paper introduces the Novel Sensors for Autonomous Vehicle Perception (NSAVP) dataset to facilitate future research on this topic. The dataset was captured with a platform including stereo event, thermal, monochrome, and RGB cameras as well as a high precision navigation system providing ground truth poses. The data was collected by repeatedly driving two ~8 km routes and includes varied lighting conditions and opposing viewpoint perspectives. We provide benchmarking experiments on the task of place recognition to demonstrate challenges and opportunities for novel sensors to enhance critical AV perception tasks. To our knowledge, the NSAVP dataset is the first to include stereo thermal cameras together with stereo event and monochrome cameras. The dataset and supporting software suite is available at: https://umautobots.github.io/nsavp


title: Embedding Attack Project (Work Report)

abstract: This report summarizes all the MIA experiments (Membership Inference Attacks) of the Embedding Attack Project, including threat models, experimental setup, experimental results, findings and discussion. Current results cover the evaluation of two main MIA strategies (loss-based and embedding-based MIAs) on 6 AI models ranging from Computer Vision to Language Modelling. There are two ongoing experiments on MIA defense and neighborhood-comparison embedding attacks. These are ongoing projects. The current work on MIA and PIA can be summarized into six conclusions: (1) Amount of overfitting is directly proportional to model's vulnerability; (2) early embedding layers in the model are less susceptible to privacy leaks; (3) Deeper model layers contain more membership information; (4) Models are more vulnerable to MIA if both embeddings and corresponding training labels are compromised; (5) it is possible to use pseudo-labels to increase the MIA success; and (6) although MIA and PIA success rates are proportional, reducing the MIA does not necessarily reduce the PIA.


title: Effect of trivial bands on chiral anomaly-induced longitudinal magnetoconductivity in Weyl semimetals

abstract: Including the effect of the trivial band near Weyl nodes, we evaluate the longitudinal magnetoconductivity (LMC) of Weyl semimetals along the magnetic field direction using the Boltzmann magnetotransport theory, and study its dependence on the magnetic field, Fermi energy, and temperature. We find that for weak internode and node-trivial band scatterings, the LMC is quadratic in the magnetic field and is inversely proportional to the fourth power of the Fermi energy at high densities due to internode scatterings, and to the square of the Fermi energy at low densities due to scatterings between a Weyl node and the trivial band. In the case of strong internode and nodetrivial band scatterings, the magnetic field-driven anisotropy induced by the phase-space volume element and the orbital magnetic moment cannot be neglected. As a result, the LMC exhibits a significantly different trend compared to that in the weak internode and node-trivial band scattering limit. Finally, we calculate the temperature dependence of the LMC in the strong inelastic scattering limit and obtain its asymptotic behaviors at low and high temperatures, respectively, demonstrating that the temperature dependence is strongly affected by the existence of the trivial band.


title: LAA-Net: Localized Artifact Attention Network for Quality-Agnostic and Generalizable Deepfake Detection

abstract: This paper introduces a novel approach for high-quality deepfake detection called Localized Artifact Attention Network (LAA-Net). Existing methods for high-quality deepfake detection are mainly based on a supervised binary classifier coupled with an implicit attention mechanism. As a result, they do not generalize well to unseen manipulations. To handle this issue, two main contributions are made. First, an explicit attention mechanism within a multi-task learning framework is proposed. By combining heatmap-based and self-consistency attention strategies, LAA-Net is forced to focus on a few small artifact-prone vulnerable regions. Second, an Enhanced Feature Pyramid Network (E-FPN) is proposed as a simple and effective mechanism for spreading discriminative low-level features into the final feature output, with the advantage of limiting redundancy. Experiments performed on several benchmarks show the superiority of our approach in terms of Area Under the Curve (AUC) and Average Precision (AP). The code is available at https://github.com/10Ring/LAA-Net.


title: Comparison of Magnetized Thick Disks around Black Holes and Boson Stars

abstract: Boson stars are considered as promising candidates for black hole mimickers. Similar to other compact objects they can form accretion disks around them. The properties of these disks could possibly distinguish them from other compact objects like black holes in future observations. Retrograde thick disks around boson stars and the influence of strong magnetic fields on them were already studied and it was shown that they can harbor very distinct features compared to black hole disks. However, the case of prograde thick disks is mostly unexplored, since they may appear much more similar to black hole disks. In this work we will investigate similarities and differences regarding prograde thick disks around non-selfinteracting rotating boson stars and rotating black holes. We assume thereby a polytropic equation of state and a constant specific angular momentum distribution of the disks. We classify the various conceivable boson star and black hole solutions by a dimensionless spin parameter $a$ and compare their corresponding disk solutions. The influence of toroidal magnetic fields on the disks is analyzed by selected disk properties, as the rest-mass density distribution and the Bernoulli parameter. Disk solutions are characterized by their degree of magnetization represented by the magnetization parameter $\beta_{mc}$. We found that strong magnetic fields can strengthen the differences of disk solutions or oppositely even lead to a correlation in disk properties, depending on the spin parameter of the boson star and black hole solutions. We identify the vertical thickness of the boson star disks as the main differentiating factor, since for most solutions the vertical density distribution is far more outreaching for boson star disks compared to black hole disks.


title: Graph Diffusion Transformer for Multi-Conditional Molecular Generation

abstract: Inverse molecular design with diffusion models holds great potential for advancements in material and drug discovery. Despite success in unconditional molecule generation, integrating multiple properties such as synthetic score and gas permeability as condition constraints into diffusion models remains unexplored. We present the Graph Diffusion Transformer (Graph DiT) for multi-conditional molecular generation. Graph DiT has a condition encoder to learn the representation of numerical and categorical properties and utilizes a Transformer-based graph denoiser to achieve molecular graph denoising under conditions. Unlike previous graph diffusion models that add noise separately on the atoms and bonds in the forward diffusion process, we propose a graph-dependent noise model for training Graph DiT, designed to accurately estimate graph-related noise in molecules. We extensively validate the Graph DiT for multi-conditional polymer and small molecule generation. Results demonstrate our superiority across metrics from distribution learning to condition control for molecular properties. A polymer inverse design task for gas separation with feedback from domain experts further demonstrates its practical utility.


title: Proving the 5-Engel identity in the 2-generator group of exponent four

abstract: It is known that the fifth Engel word $E_5$ is trivial in the 2-generator group of exponent four $B(2,4)$, and so can be written as a product of fourth powers. Explicit products of 250 and 28 powers are known, using fourth powers of words up to lengths four and ten respectively. Using a reduction technique based on the recursive enumerability of the set of trivial words in a finite presentation we were able to rewrite $E_5$ as a product of 26 fourth powers of words up to length five.


title: Performance-based ice engineering: a data-driven multi-scale approach

abstract: Ice storms are one of the most devastating natural hazards which have the potential to inflict significant damage to the built environment. The multi-hazard nature of ice events complicates the analysis of their induced risk due to their inherent nonlinear interactions. In addition, the concurrent and interacting hazards are often responsible for several aerodynamical/dynamical instabilities such as the galloping mechanism. Moreover, the existing risk approaches are usually not suited for large-scale risk evaluation over extended geographical regions due to the involved high-computational costs. Therefore, in this study, a novel data-driven multi-scale performance-based ice engineering (PBIE) framework is developed to support the design of new structures subjected to ice storms or the rehabilitation of existing ones. In addition, the proposed PBIE is capable of rapidly estimating the real-time risk over an extended region due to an ice event. Specifically, it leverages the superior capabilities of state-of-the-art data-driven techniques (e.g., machine learning) to efficiently generate the corresponding risk maps and identify the high-risk areas. The proposed PBIE framework is applied to a simplified example in which the galloping-induced risk on iced conductors, in terms of the galloping amplitude, is evaluated for both local and regional scales. The resulting PBIE framework can be readily applied for design or retrofitting purposes or integrated within an emergency response management system to inform preventive actions that can mitigate the ice storm-induced damages and save lives.


title: Topological characterization of the continuum of allosteric response

abstract: Allosteric regulation in proteins is often accompanied by conformational changes that facilitate transmission of mechanical signals between distant ligand binding sites. Typically, these deformations are classified in terms of specific archetypes, including various types of hinge mechanisms or allosteric pathways localized to sequences of amino acids.However, many allosteric deformations resist such strict categorization. Here, we introduce a quantitative topological description of allosteric deformation, unifying all archetypal mechanisms into a single framework. The topological description aligns with two key structural features often associated with allosteric deformations, namely hinge domains and allosteric pathways, enabling us to quantify the significance of each of these features. To develop the analysis, we tune computer-generated mechanical networks to perform allostery-like functions, obtaining an ensemble of networks that establish a range of possible allosteric deformations. The analysis shows that these networks' allosteric mechanisms cannot be described in terms of discrete archetypes - they fall on a continuum. We then apply the same analysis to a collection of allosteric proteins with similar results, showing that our framework encompasses these proteins as well as designed allosteric networks. Our results provide a new picture for allostery, demonstrating not only how it can be described quantitatively, but also giving insight into how it emerges as a collective property.


title: Second Laplacian eigenvalue on real projective space

abstract: In this paper, we prove an upper bound on the second non-zero Laplacian eigenvalue on $n$-dimensional real projective space. The sharp result for 2-dimensions was shown by Nadirashvili and Penskoi and later by Karpukhin when the metric degenerates to that of the disjoint union of a round projective space and a sphere. That conjecture is open in higher dimensions, but this paper proves it up to a constant factor that tends to 1 as the dimension tends to infinity. Also, we introduce a topological argument that deals with the orthogonality conditions in a single step proof.


title: Note on "Vacuum stability of a general scalar potential of a few fields"

abstract: The purpose of this letter is to point out that some conclusions in the paper (Eur. Phys. J. C {\bf 76}, 324(2016)) are incomplete, and to give complete and improved conclusions. The analytic necessary and sufficient conditions are given for the boundedness-from-below conditions of general scalar potentials of two real scalar fields $\phi_1$ and $\phi_2$ and the Higgs bonson $\mathbf{H}$.


title: Lorentzian quantum wells in graphene: the role of shape invariance in zero-energy states trapping

abstract: Confining Dirac fermions in graphene by electrostatic fields is a challenging task. Electric quantum dots created by a scanning tunneling microscope (STM) tip can trap zero-energy quasi-particles. The Lorentzian quantum well provides a faithful, exactly solvable, approximation to such a potential, hosting zero-energy bound states for certain values of the coupling constant. We show that in this critical configuration, the system can be related to the free particle model by means of a supersymmetric transformation. The revealed shape invariance of the model greatly simplifies the calculation of the zero modes and naturally explains the degeneracy of the zero energy.

categories: cond-mat.mes-hall hep-th math-ph math.MP nlin.SI


title: Appearance Debiased Gaze Estimation via Stochastic Subject-Wise Adversarial Learning

abstract: Recently, appearance-based gaze estimation has been attracting attention in computer vision, and remarkable improvements have been achieved using various deep learning techniques. Despite such progress, most methods aim to infer gaze vectors from images directly, which causes overfitting to person-specific appearance factors. In this paper, we address these challenges and propose a novel framework: Stochastic subject-wise Adversarial gaZE learning (SAZE), which trains a network to generalize the appearance of subjects. We design a Face generalization Network (Fgen-Net) using a face-to-gaze encoder and face identity classifier and a proposed adversarial loss. The proposed loss generalizes face appearance factors so that the identity classifier inferences a uniform probability distribution. In addition, the Fgen-Net is trained by a learning mechanism that optimizes the network by reselecting a subset of subjects at every training step to avoid overfitting. Our experimental results verify the robustness of the method in that it yields state-of-the-art performance, achieving 3.89 and 4.42 on the MPIIGaze and EyeDiap datasets, respectively. Furthermore, we demonstrate the positive generalization effect by conducting further experiments using face images involving different styles generated from the generative model.


title: Borel Combinatorics of Abelian Group Actions

abstract: We study the free part of the Bernoulli action of $\mathbb{Z}^n$ for $n\geq 2$ and the Borel combinatorics of the associated Schreier graphs. We construct orthogonal decompositions of the spaces into marker sets with various additional properties. In general, for Borel graphs $\Gamma$ admitting weakly orthogonal decompositions, we show that $\chi_B(\Gamma)\leq 2\chi(\Gamma)-1$ under some mild assumptions. As a consequence, we deduce that the Borel chromatic number for $F(2^{\mathbb{Z}^n})$ is $3$ for all $n\geq 2$. Weakly orthogonal decompositions also give rise to Borel unlayered toast structures. We also construct orthogonal decompositions of $F(2^{\mathbb{Z}^2})$ with strong topological regularity, in particular with all atoms homeomorphic to a disk. This allows us to show that there is a Borel perfect matching for $F(2^{\mathbb{Z}^n})$ for all $n\geq 2$ and that there is a Borel lining of $F(2^{\mathbb{Z}^2})$.


title: Unmasking and Quantifying Racial Bias of Large Language Models in Medical Report Generation

abstract: Large language models like GPT-3.5-turbo and GPT-4 hold promise for healthcare professionals, but they may inadvertently inherit biases during their training, potentially affecting their utility in medical applications. Despite few attempts in the past, the precise impact and extent of these biases remain uncertain. Through both qualitative and quantitative analyses, we find that these models tend to project higher costs and longer hospitalizations for White populations and exhibit optimistic views in challenging medical scenarios with much higher survival rates. These biases, which mirror real-world healthcare disparities, are evident in the generation of patient backgrounds, the association of specific diseases with certain races, and disparities in treatment recommendations, etc. Our findings underscore the critical need for future research to address and mitigate biases in language models, especially in critical healthcare applications, to ensure fair and accurate outcomes for all patients.


title: Shell topology optimization based on level set method

abstract: This paper proposes a level set-based method for optimizing shell structures with large design changes in shape and topology. Conventional shell optimization methods, whether parametric or nonparametric, often only allow limited design changes in shape. In the proposed method, the shell structure is defined as the isosurface of a level set function. The level set function is iteratively updated based on the shape sensitivity on the surface mesh. Therefore, the proposed method can represent an arbitrary manifold surface while dealing with topological changes, for example, from a spherical surface to a toroidal surface. We applied the proposed method to the mean compliance minimization problems of 3D shell structural designs for dome, bending plate and cantilever beam examples to demonstrate its efficacy of the proposed method.


title: Prym Representations and Twisted Cohomology of the Mapping Class Group with Level Structures

abstract: We compute the twisted cohomology of the mapping class group with level structures, coefficients being $r$-tensor power of the Prym representations for any positive integer $r$. When $r\ge 2$, the cohomology is not stable when the genus is large, unlike the rational cohomology of the mapping class group with level structures. As a corollary to our computations, we prove that the Prym representation of any finite abelian cover of a non-closed finite-type surface is locally rigid.


title: Integrating Large Language Models into Recommendation via Mutual Augmentation and Adaptive Aggregation

abstract: Conventional recommendation methods have achieved notable advancements by harnessing collaborative or sequential information from user behavior. Recently, large language models (LLMs) have gained prominence for their capabilities in understanding and reasoning over textual semantics, and have found utility in various domains, including recommendation. Conventional recommendation methods and LLMs each have their strengths and weaknesses. While conventional methods excel at mining collaborative information and modeling sequential behavior, they struggle with data sparsity and the long-tail problem. LLMs, on the other hand, are proficient at utilizing rich textual contexts but face challenges in mining collaborative or sequential information. Despite their individual successes, there is a significant gap in leveraging their combined potential to enhance recommendation performance. In this paper, we introduce a general and model-agnostic framework known as \textbf{L}arge \textbf{la}nguage model with \textbf{m}utual augmentation and \textbf{a}daptive aggregation for \textbf{Rec}ommendation (\textbf{Llama4Rec}). Llama4Rec synergistically combines conventional and LLM-based recommendation models. Llama4Rec proposes data augmentation and prompt augmentation strategies tailored to enhance the conventional model and LLM respectively. An adaptive aggregation module is adopted to combine the predictions of both kinds of models to refine the final recommendation results. Empirical studies on three real-world datasets validate the superiority of Llama4Rec, demonstrating its consistent outperformance of baseline methods and significant improvements in recommendation performance.


title: Momentum power spectrum of SDSS galaxies by massE cosmic ruler: 2.1x improvement in measure of growth rate

abstract: Peculiar motion of galaxies probes the structure growth in the Universe. In this study we employ the galaxy stellar mass-binding energy (massE) relation with only two nuisance parameters to build the largest peculiar-velocity (PV) catalog to date, consisting of 229,890 ellipticals from the main galaxy sample (MGS) of the Sloan Digital Sky Survey (SDSS). We quantify the distribution of the massE-based distances in individual narrow redshift bins (dz=0.005), and then estimate the PV of each galaxy based on its offset from the Gaussian mean of the distribution. As demonstrated with the Uchuu-SDSS mock data, the derived PV and momentum power spectra are insensitive to accurate calibration of the massE relation itself, enabling measurements out to a redshift of 0.2, well beyond the current limit of z=0.1 using other galaxy scaling laws. We then measure the momentum power spectrum and demonstrate that it remains almost unchanged if varying significantly the redshift bin size within which the distance is measured, as well as the intercept and slope of the massE relation, respectively. By fitting the spectra using the perturbation theory model with four free parameters, f{\sigma}8 is constrained to f{\sigma}8 =0.459+0.068-0.069 over {\Delta}z=0.02-0.2, 0.416+0.074-0.076 over {\Delta}z=0.02-0.1 and 0.526+0.133-0.143 over {\Delta}z=0.1-0.2. The error of f{\sigma}8 is 2.1 times smaller than that by the redshift space distortion (RSD) of the same sample. A Fisher-matrix forecast illustrates that the constraint on f{\sigma}8 from the massE-based PV can potentially exceed that from the stage-IV RSD in late universe (z<0.5).


title: Edge Conditional Node Update Graph Neural Network for Multi-variate Time Series Anomaly Detection

abstract: With the rapid advancement in cyber-physical systems, the increasing number of sensors has significantly complicated manual monitoring of system states. Consequently, graph-based time-series anomaly detection methods have gained attention due to their ability to explicitly represent relationships between sensors. However, these methods often apply a uniform source node representation across all connected target nodes, even when updating different target node representations. Moreover, the graph attention mechanism, commonly used to infer unknown graph structures, could constrain the diversity of source node representations. In this paper, we introduce the Edge Conditional Node-update Graph Neural Network (ECNU-GNN). Our model, equipped with an edge conditional node update module, dynamically transforms source node representations based on connected edges to represent target nodes aptly. We validate performance on three real-world datasets: SWaT, WADI, and PSM. Our model demonstrates 5.4%, 12.4%, and 6.0% higher performance, respectively, compared to best F1 baseline models.


title: Heat kernel estimates for kinetic SDEs with drifts being unbounded and in Kato's class

abstract: In this paper we investigate the existence and uniqueness of weak solutions for kinetic stochastic differential equations with H\"older diffusion and unbounded singular drifts in Kato's class. Moreover, we also establish sharp two-sided estimates for the density of the solution. In particular, the drift $b$ can be in the mixed $L^q_tL^{p_1}_{x_1}L^{p_2}_{x_2}$ space with $\frac2q+\frac{d}{p_1}+\frac{3d}{p_2}<1$. As an application, we show the existence and uniqueness of weak solution to a second order singular interacting particle system in ${\mathbb R}^{d N}$.


title: Inelastic Neutron Scattering of Hydrogen in Palladium Studied by Semiclassical Dynamics

abstract: Inelastic neutron scattering (INS) spectra of hydrogen in face-centered cubic palladium have been calculated considering nuclear quantum effects (NQE) at finite temperatures. The calculations were performed using semiclassical Brownian chain molecular dynamics (MD) [Shiga, J. Comput. Chem. 43, 1864 (2022)] and artificial neural network potentials with an accuracy of generalized gradient approximation of density functional theory. The calculated spectra are in good agreement with experimental spectra with respect to the peak positions and intensities corresponding to the fundamental tone and the first overtone of the vibrational excitation of hydrogen atoms. These results differ significantly from those of classical MD, indicating that NQE plays an essential role in the correct estimation of the INS spectrum. Importantly, the NQE acts as a blue-shift of the INS spectrum for hydrogen in the octahedral site, due to strong anharmonic vibrations of hydrogen on the potential surface with even symmetry. The calculated peak shifts associated with Pd lattice distortion were also in agreement with experimental results.


title: Is Temperature Sample Efficient for Softmax Gaussian Mixture of Experts?

abstract: Dense-to-sparse gating mixture of experts (MoE) has recently become an effective alternative to a well-known sparse MoE. Rather than fixing the number of activated experts as in the latter model, which could limit the investigation of potential experts, the former model utilizes the temperature to control the softmax weight distribution and the sparsity of the MoE during training in order to stabilize the expert specialization. Nevertheless, while there are previous attempts to theoretically comprehend the sparse MoE, a comprehensive analysis of the dense-to-sparse gating MoE has remained elusive. Therefore, we aim to explore the impacts of the dense-to-sparse gate on the maximum likelihood estimation under the Gaussian MoE in this paper. We demonstrate that due to interactions between the temperature and other model parameters via some partial differential equations, the convergence rates of parameter estimations are slower than any polynomial rates, and could be as slow as $\mathcal{O}(1/\log(n))$, where $n$ denotes the sample size. To address this issue, we propose using a novel activation dense-to-sparse gate, which routes the output of a linear layer to an activation function before delivering them to the softmax function. By imposing linearly independence conditions on the activation function and its derivatives, we show that the parameter estimation rates are significantly improved to polynomial rates. Finally, we conduct a simulation study to empirically validate our theoretical results.


title: GammaBayes: a Bayesian pipeline for dark matter detection with CTA

abstract: We present GammaBayes, a Bayesian Python package for dark matter detection with the Cherenkov Telescope Array (CTA). GammaBayes takes as input the CTA measurements of gamma rays and a user-specified dark-matter particle model. It outputs the posterior distribution for parameters of the dark-matter model including the velocity-averaged cross section for dark-matter self interactions $\langle\sigma v\rangle$ and the dark-matter mass $m_\chi$. It also outputs the Bayesian evidence, which can be used for model selection. We demonstrate GammaBayes using 525 hours of simulated data, corresponding to $10^8$ observed gamma-ray events. The vast majority of this simulated data consists of noise, but $100000$ events arise from the annihilation of scalar singlet dark matter with $m_\chi= 1$ TeV. We recover the dark matter mass within a 95% credible interval of $m_\chi \sim 0.96-1.07$ TeV. Meanwhile, the velocity averaged cross section is constrained to $\langle\sigma v\rangle \sim 1.4-2.1\times10^{-25}$ cm$^3$ s$^{-1}$ (95% credibility). This is equivalent to measuring the number of dark-matter annihilation events to be $N_S \sim 1.1_{-0.2}^{+0.2} \times 10^5$. The no-signal hypothesis $\langle \sigma v \rangle=0$ is ruled out with about $5\sigma$ credibility. We discuss how GammaBayes can be extended to include more sophisticated signal and background models and the computational challenges that must be addressed to facilitate these upgrades. The source code is publicly available at https://github.com/lpin0002/GammaBayes.


title: AscDAMs: Advanced SLAM-based channel detection and mapping system

abstract: Obtaining high-resolution, accurate channel topography and deposit conditions is the prior challenge for the study of channelized debris flow. Currently, wide-used mapping technologies including satellite imaging and drone photogrammetry struggle to precisely observe channel interior conditions of mountainous long-deep gullies, particularly those in the Wenchuan Earthquake region. SLAM is an emerging tech for 3D mapping; however, extremely rugged environment in long-deep gullies poses two major challenges even for the state-of-art SLAM: (1) Atypical features; (2) Violent swaying and oscillation of sensors. These issues result in large deviation and lots of noise for SLAM results. To improve SLAM mapping in such environments, we propose an advanced SLAM-based channel detection and mapping system, namely AscDAMs. It features three main enhancements to post-process SLAM results: (1) The digital orthophoto map aided deviation correction algorithm greatly eliminates the systematic error; (2) The point cloud smoothing algorithm substantially diminishes noises; (3) The cross section extraction algorithm enables the quantitative assessment of channel deposits and their changes. Two field experiments were conducted in Chutou Gully, Wenchuan County in China in February and November 2023, representing observations before and after the rainy season. We demonstrate the capability of AscDAMs to greatly improve SLAM results, promoting SLAM for mapping the specially challenging environment. The proposed method compensates for the insufficiencies of existing technologies in detecting debris flow channel interiors including detailed channel morphology, erosion patterns, deposit distinction, volume estimation and change detection. It serves to enhance the study of full-scale debris flow mechanisms, long-term post-seismic evolution, and hazard assessment.


title: Bounds for Equilibrium States on Amenable Group Subshifts

abstract: We prove a result on equilibrium measures for potentials with summable variation on arbitrary subshifts over a countable amenable group. For finite configurations $v$ and $w$, if $v$ is always replaceable by $w$, we obtain a bound on the measure of $v$ depending on the measure of $w$ and a cocycle induced by the potential. We then use this result to show that under this replaceability condition, we can obtain bounds on the Lebesgue-Radon-Nikodym derivative $d (\mu_\phi \circ \xi ) / d\mu $ for certain holonomies $\xi$ that generate the homoclinic (Gibbs) relation. As corollaries, we obtain extensions of results by Meyerovitch and Garcia-Ramos and Pavlov to the countable amenable group subshift setting. Our methods rely on the exact tiling result for countable amenable groups by Downarowicz, Huczek, and Zhang and an adapted proof technique from Garcia-Ramos and Pavlov.


title: Enhancing Weak magnetic field sensing of cavity-magnon system with dual frequency modulation

abstract: The crucial limitation of improving the sensitivity of the detection of weak magnetic fields is the unavoidable measurement noise. In this paper, we propose a scheme to achieve precise sensing robust against additional noise by employing a dual-frequency bias field modulation within a cavity magnon system. We find that the anti-rotating wave term can amplify the signal of the detected magnetic field, but this amplification effect must coexist with the rotating wave term. In particular, by the bias field modulation, we find the robustness against cavity field thermal noise is substantially enhanced, quantum noise and cavity field thermal noise is greatly reduced, and the external magnetic field signal is amplified, thereby improving the weak magnetic field sensing system's sensitivity. Compared with the previous scheme, our scheme requires neither an ultra- or deep-strong coupling mechanism nor the suppression of the additional noise by increasing the electromagnetic cooperativity. Our scheme could provide a valuable candidate for weak magnetic field sensing.


title: Principal Component Regression to Study the Impact of Economic Factors on Disadvantaged Communities

abstract: The Council on Environmental Quality's Climate and Economic Justice Screening Tool defines "disadvantaged communities" (DAC) in the USA, highlighting census tracts where benefits of climate and energy investments are not accruing. We use a principal component generalized linear model, which addresses the intertwined nature of economic factors, income and employment and model their relationship to DAC status. Our study 1) identifies the most significant income groups and employment industries that impact DAC status, 2) provides the probability of DAC status across census tracts and compares the predictive accuracy with widely used machine learning approaches, 3) obtains historical predictions of the probability of DAC status, 4) obtains spatial downscaling of DAC status across block groups. Our study provides valuable insights for policymakers and stakeholders to develop strategies that promote sustainable development and address inequities in climate and energy investments in the USA.


title: Spontaneous stochasticity amplifies even thermal noise to the largest scales of turbulence in a few eddy turnover times

abstract: How predictable are turbulent flows? Here we use theoretical estimates and shell model simulations to argue that Eulerian spontaneous stochasticity, a manifestation of the non-uniqueness of the solutions to the Euler equation that is conjectured to occur in Navier-Stokes turbulence at high Reynolds numbers, leads to universal statistics at finite times, not just at infinite time as for standard chaos. These universal statistics are predictable, even though individual flow realizations are not. Any small-scale noise vanishing slowly enough with increasing Reynolds number can trigger spontaneous stochasticity and here we show that thermal noise alone, in the absence of any larger disturbances, would suffice. If confirmed for Navier-Stokes turbulence, our findings would imply that intrinsic stochasticity of turbulent fluid motions at all scales can be triggered even by unavoidable molecular noise, with implications for modeling in engineering, climate, astrophysics and cosmology.


title: Robust Transmission Design for RIS-Assisted Integrated Sensing and Communication Systems

abstract: As a critical technology for next-generation communication networks, integrated sensing and communication (ISAC) aims to achieve the harmonious coexistence of communication and sensing. The degrees-of-freedom (DoF) of ISAC is limited due to multiple performance metrics used for communication and sensing. Reconfigurable Intelligent Surfaces (RIS) composed of metamaterials can enhance the DoF in the spatial domain of ISAC systems. However, the availability of perfect Channel State Information (CSI) is a prerequisite for the gain brought by RIS, which is not realistic in practical environments. Therefore, under the imperfect CSI condition, we propose a decomposition-based large deviation inequality approach to eliminate the impact of CSI error on communication rate and sensing Cram\'er-Rao bound (CRB). Then, an alternating optimization (AO) algorithm based on semi-definite relaxation (SDR) and gradient extrapolated majorization-maximization (GEMM) is proposed to solve the transmit beamforming and discrete RIS beamforming problems. We also analyze the complexity and convergence of the proposed algorithm. Simulation results show that the proposed algorithms can effectively eliminate the influence of CSI error and have good convergence performance. Notably, when CSI error exists, the gain brought by RIS will decrease with the increase of the number of RIS elements. Finally, we summarize and outline future research directions.


title: Domain-Independent Dynamic Programming

abstract: For combinatorial optimization problems, model-based paradigms such as mixed-integer programming (MIP) and constraint programming (CP) aim to decouple modeling and solving a problem: the `holy grail' of declarative problem solving. We propose domain-independent dynamic programming (DIDP), a new model-based paradigm based on dynamic programming (DP). While DP is not new, it has typically been implemented as a problem-specific method. We introduce Dynamic Programming Description Language (DyPDL), a formalism to define DP models based on a state transition system, inspired by AI planning. We show that heuristic search algorithms can be used to solve DyPDL models and propose seven DIDP solvers. We experimentally compare our DIDP solvers with commercial MIP and CP solvers (solving MIP and CP models, respectively) on common benchmark instances of eleven combinatorial optimization problem classes. We show that DIDP outperforms MIP in nine problem classes, CP also in nine problem classes, and both MIP and CP in seven.


title: Constant Stepsize Q-learning: Distributional Convergence, Bias and Extrapolation

abstract: Stochastic Approximation (SA) is a widely used algorithmic approach in various fields, including optimization and reinforcement learning (RL). Among RL algorithms, Q-learning is particularly popular due to its empirical success. In this paper, we study asynchronous Q-learning with constant stepsize, which is commonly used in practice for its fast convergence. By connecting the constant stepsize Q-learning to a time-homogeneous Markov chain, we show the distributional convergence of the iterates in Wasserstein distance and establish its exponential convergence rate. We also establish a Central Limit Theory for Q-learning iterates, demonstrating the asymptotic normality of the averaged iterates. Moreover, we provide an explicit expansion of the asymptotic bias of the averaged iterate in stepsize. Specifically, the bias is proportional to the stepsize up to higher-order terms and we provide an explicit expression for the linear coefficient. This precise characterization of the bias allows the application of Richardson-Romberg (RR) extrapolation technique to construct a new estimate that is provably closer to the optimal Q function. Numerical results corroborate our theoretical finding on the improvement of the RR extrapolation method.


title: Chain-imprimitive, flag-transitive 2-designs

abstract: We consider $2$-designs which admit a group of automorphisms that is flag-transitive and leaves invariant a chain of nontrivial point-partitions. We build on our recent work on $2$-designs which are block-transitive but not necessarily flag-transitive. In particular we use the concept of the ``array'' of a point subset with respect to the chain of point-partitions; the array describes the distribution of the points in the subset among the classes of each partition. We obtain necessary and sufficient conditions on the array in order for the subset to be a block of such a design. By explicit construction we show that for any $s \geq 2$, there are infinitely many $2$-designs admitting a flag-transitive group that preserves an invariant chain of point-partitions of length $s$. Moreover an exhaustive computer search, using {\sc Magma}, seeking designs with $e_1e_2e_3$ points (where each $e_i\leq 50$) and a partition chain of length $s=3$, produced $57$ such flag-transitive designs, among which only three designs arise from our construction -- so there is still much to learn.


title: Observation of possible excitonic charge density waves and metal-insulator transitions in atomically thin semimetals

abstract: Charge density wave (CDW) is a collective quantum phenomenon with a charge modulation in solids1-2. Condensation of electron and hole pairs with finite momentum will lead to such an ordered state3-7. However, lattice symmetry breaking manifested as the softening of phonon modes can occur simultaneously, which makes it difficult to disentangle the origin of the transition8-14. Here, we report a condensed phase in low dimensional HfTe2, whereas angle-resolved photoemission spectroscopy (ARPES) measurements show a metal-insulator transition by lowering the temperature in single triatomic layer (TL) HfTe2. A full gap opening, renormalization of the bands, and emergence of replica bands at the M point are observed in the low temperatures, indicating formation of a CDW in the ground state.Raman spectroscopy shows no sign of lattice distortion within the detection limit. The results are corroborated by first-principles calculations, demonstrating the electronic origin of the CDW. By adding more layers, the phase transition is suppressed and completely destroyed at 3 TL because of the increased screening around the Fermi surface. Interestingly, a small amount of electron doping in 1 TL film during the growth significantly raises the transition temperature (TC), which is attributed to a reduced screening effect and a more balanced electron and hole carrier density. Our results indicate a CDW formation mechanism consistent with the excitonic insulator phase in low dimensional HfTe2 and open up opportunity for realization of novel quantum states based on exciton condensation.


title: A comparative study of zero-shot inference with large language models and supervised modeling in breast cancer pathology classification

abstract: Although supervised machine learning is popular for information extraction from clinical notes, creating large annotated datasets requires extensive domain expertise and is time-consuming. Meanwhile, large language models (LLMs) have demonstrated promising transfer learning capability. In this study, we explored whether recent LLMs can reduce the need for large-scale data annotations. We curated a manually-labeled dataset of 769 breast cancer pathology reports, labeled with 13 categories, to compare zero-shot classification capability of the GPT-4 model and the GPT-3.5 model with supervised classification performance of three model architectures: random forests classifier, long short-term memory networks with attention (LSTM-Att), and the UCSF-BERT model. Across all 13 tasks, the GPT-4 model performed either significantly better than or as well as the best supervised model, the LSTM-Att model (average macro F1 score of 0.83 vs. 0.75). On tasks with high imbalance between labels, the differences were more prominent. Frequent sources of GPT-4 errors included inferences from multiple samples and complex task design. On complex tasks where large annotated datasets cannot be easily collected, LLMs can reduce the burden of large-scale data labeling. However, if the use of LLMs is prohibitive, the use of simpler supervised models with large annotated datasets can provide comparable results. LLMs demonstrated the potential to speed up the execution of clinical NLP studies by reducing the need for curating large annotated datasets. This may result in an increase in the utilization of NLP-based variables and outcomes in observational clinical studies.