abstract: Neural Radiance Fields (NeRFs) have shown great potential in modelling 3D scenes. Dynamic NeRFs extend this model by capturing time-varying elements, typically using deformation fields. The existing dynamic NeRFs employ a similar Eulerian representation for both light radiance and deformation fields. This leads to a close coupling of appearance and motion and lacks a physical interpretation. In this work, we propose Dynamic Appearance Particle Neural Radiance Field (DAP-NeRF), which introduces particle-based representation to model the motions of visual elements in a dynamic 3D scene. DAP-NeRF consists of superposition of a static field and a dynamic field. The dynamic field is quantised as a collection of {\em appearance particles}, which carries the visual information of a small dynamic element in the scene and is equipped with a motion model. All components, including the static field, the visual features and motion models of the particles, are learned from monocular videos without any prior geometric knowledge of the scene. We develop an efficient computational framework for the particle-based model. We also construct a new dataset to evaluate motion modelling. Experimental results show that DAP-NeRF is an effective technique to capture not only the appearance but also the physically meaningful motions in a 3D dynamic scene.


title: A Review of Machine Learning Techniques in Imbalanced Data and Future Trends

abstract: For over two decades, detecting rare events has been a challenging task among researchers in the data mining and machine learning domain. Real-life problems inspire researchers to navigate and further improve data processing and algorithmic approaches to achieve effective and computationally efficient methods for imbalanced learning. In this paper, we have collected and reviewed 258 peer-reviewed papers from archival journals and conference papers in an attempt to provide an in-depth review of various approaches in imbalanced learning from technical and application perspectives. This work aims to provide a structured review of methods used to address the problem of imbalanced data in various domains and create a general guideline for researchers in academia or industry who want to dive into the broad field of machine learning using large-scale imbalanced data.


title: Contextualized Policy Recovery: Modeling and Interpreting Medical Decisions with Adaptive Imitation Learning

abstract: Interpretable policy learning seeks to estimate intelligible decision policies from observed actions; however, existing models force a tradeoff between accuracy and interpretability, limiting data-driven interpretations of human decision-making processes. Fundamentally, existing approaches are burdened by this tradeoff because they represent the underlying decision process as a universal policy, when in fact human decisions are dynamic and can change drastically under different contexts. Thus, we develop Contextualized Policy Recovery (CPR), which re-frames the problem of modeling complex decision processes as a multi-task learning problem, where each context poses a unique task and complex decision policies can be constructed piece-wise from many simple context-specific policies. CPR models each context-specific policy as a linear map, and generates new policy models $\textit{on-demand}$ as contexts are updated with new observations. We provide two flavors of the CPR framework: one focusing on exact local interpretability, and one retaining full global interpretability. We assess CPR through studies on simulated and real data, achieving state-of-the-art performance on predicting antibiotic prescription in intensive care units ($+22\%$ AUROC vs. previous SOTA) and predicting MRI prescription for Alzheimer's patients ($+7.7\%$ AUROC vs. previous SOTA). With this improvement, CPR closes the accuracy gap between interpretable and black-box methods, allowing high-resolution exploration and analysis of context-specific decision models.


title: Representing and extending ensembles of parsimonious evolutionary histories with a directed acyclic graph

abstract: In many situations, it would be useful to know not just the best phylogenetic tree for a given data set, but the collection of high-quality trees. This goal is typically addressed using Bayesian techniques, however, current Bayesian methods do not scale to large data sets. Furthermore, for large data sets with relatively low signal one cannot even store every good tree individually, especially when the trees are required to be bifurcating. In this paper, we develop a novel object called the "history subpartition directed acyclic graph" (or "history sDAG" for short) that compactly represents an ensemble of trees with labels (e.g. ancestral sequences) mapped onto the internal nodes. The history sDAG can be built efficiently and can also be efficiently trimmed to only represent maximally parsimonious trees. We show that the history sDAG allows us to find many additional equally parsimonious trees, extending combinatorially beyond the ensemble used to construct it. We argue that this object could be useful as the "skeleton" of a more complete uncertainty quantification.


title: The emergence of the de Haas van Alphen Effect on the deformed Graphene

abstract: A study of strongly curved graphene magnetization and magnetic susceptibility is carried out. Through a Dirac model complemented with a tight-binding model analysis, we are able to show that mechanical deformations solve the long-standing problem of graphene's theoretically calculated diamagnetic divergence at low temperatures. This suggests that corrugations and mechanical defects in graphene are the cause of finite experimentally measurable magnetic susceptibility. Furthermore, a mechanical effect is also found due to an electronic contribution, which produces a pseudo-de Haas van Alphen (dHvA) effect. This effect is related to oscillating (electronic) forces that oppose deformations; these forces are divergent in flat graphene, indicating that graphene (without substrate) achieves mechanical equilibrium by corrugations. In addition, paramagnetism is predicted for graphene with negative curvature under strong magnetic fields.

categories: cond-mat.mes-hall cond-mat.mtrl-sci gr-qc hep-th


title: A Large-Scale Exploratory Study of Android Sports Apps in the Google Play Store

abstract: Prior studies on mobile app analysis often analyze apps across different categories or focus on a small set of apps within a category. These studies either provide general insights for an entire app store which consists of millions of apps, or provide specific insights for a small set of apps. However, a single app category can often contain tens of thousands to hundreds of thousands of apps. For example, according to AppBrain, there are 46,625 apps in the "Sports" category of Google Play apps. Analyzing such a targeted category of apps can provide more specific insights than analyzing apps across categories while still benefiting many app developers interested in the category. This work aims to study a large number of apps from a single category (i.e., the sports category). We performed an empirical study on over two thousand sports apps in the Google Play Store. We study the characteristics of these apps (e.g., their targeted sports types and main functionalities) through manual analysis, the topics in the user review through topic modeling, as well as the aspects that contribute to the negative opinions of users through analysis of user ratings and sentiment. It is concluded that analyzing a targeted category of apps (e.g., sports apps) can provide more specific insights than analyzing apps across different categories while still being relevant for a large number (e.g., tens of thousands) of apps. Besides, as a rapid-growing and competitive market, sports apps provide rich opportunities for future research, for example, to study the integration of data science or machine learning techniques in software applications or to study the factors that influence the competitiveness of the apps.


title: Polyak Minorant Method for Convex Optimization

abstract: In 1963 Boris Polyak suggested a particular step size for gradient descent methods, now known as the Polyak step size, that he later adapted to subgradient methods. The Polyak step size requires knowledge of the optimal value of the minimization problem, which is a strong assumption but one that holds for several important problems. In this paper we extend Polyak's method to handle constraints and, as a generalization of subgradients, general minorants, which are convex functions that tightly lower bound the objective and constraint functions. We refer to this algorithm as the Polyak Minorant Method (PMM). It is closely related to cutting-plane and bundle methods.


title: The Expressive Power of Transformers with Chain of Thought

abstract: Recent theoretical work has identified surprisingly simple reasoning problems, such as checking if two nodes in a graph are connected or simulating finite-state machines, that are provably unsolvable by standard transformers that answer immediately after reading their input. However, in practice, transformers' reasoning can be improved by allowing them to use a "chain of thought" or "scratchpad", i.e., generate and condition on a sequence of intermediate tokens before answering. Motivated by this, we ask: Does such intermediate generation fundamentally extend the computational power of a decoder-only transformer? We show that the answer is yes, but the amount of increase depends crucially on the amount of intermediate generation. For instance, we find that transformer decoders with a logarithmic number of decoding steps (w.r.t. the input length) push the limits of standard transformers only slightly, while a linear number of decoding steps, assuming projected pre-norm (a slight generalization of standard pre-norm), adds a clear new ability (under standard complexity conjectures): recognizing all regular languages. Our results also imply that linear steps keep transformer decoders within context-sensitive languages, and polynomial steps with generalized pre-norm make them recognize exactly the class of polynomial-time solvable problems -- the first exact characterization of a type of transformers in terms of standard complexity classes. Together, this provides a nuanced framework for understanding how the length of a transformer's chain of thought or scratchpad impacts its reasoning power.


title: Atomic density of arithmetical congruence monoids

abstract: Consider the set $M_{a,b} = \{n \in \mathbb Z_{\ge 1} : n \equiv a \bmod b\} \cup \{1\}$ for $a, b \in \mathbb Z_{\ge 1}$. If $a^2 \equiv a \bmod b$, then $M_{a,b}$ is closed under multiplication and known as an arithmetic congruence monoid (ACM). A non-unit $n \in M_{a,b}$ is an atom if it cannot be expressed as a product of non-units, and the atomic density of $M_{a,b}$ is the limiting proportion of elements that are atoms. In this paper, we characterize the atomic density of $M_{a,b}$ in terms of $a$ and $b$.


title: First-Order Dynamic Optimization for Streaming Convex Costs

abstract: This paper proposes a set of novel optimization algorithms for solving a class of convex optimization problems with time-varying streaming cost function. We develop an approach to track the optimal solution with a bounded error. Unlike the existing results, our algorithm is executed only by using the first-order derivatives of the cost function which makes it computationally efficient for optimization with time-varying cost function. We compare our algorithms to the gradient descent algorithm and show why gradient descent is not an effective solution for optimization problems with time-varying cost. Several examples including solving a model predictive control problem cast as a convex optimization problem with a streaming time-varying cost function demonstrate our results.


title: Dimension-free Remez Inequalities and norm designs

abstract: The classical Remez inequality bounds the supremum of a bounded-degree polynomial on an interval $X$ by its supremum on any subset $Y\subset X$ of positive Lebesgue measure. There are many multivariate generalizations of the Remez inequality, but most have constants that depend strongly on dimension. Here we show that a broad class of domains $X$ and test sets $Y$ -- termed \emph{norm designs} -- enjoy dimension-free Remez-type estimates. Instantiations of this theorem allow us for example \emph{a}) to bound the supremum of an $n$-variate degree-$d$ polynomial on the solid cube $[0,1]^n$ by its supremum on the regular grid $\{0,1/d,2/d,\ldots, 1\}^n$ independent of dimension; and \emph{b}) in the case of a degree-$d$ polynomial $f:\mathbf{Z}_K^n\to\mathbf{C}$ on the $n$-fold product of cyclic groups of order $K$, to show the supremum of $f$ does not increase by more than $\mathcal{O}(\log K)^{2d}$ when $f$ is extended to the polytorus as $f:\mathbf{T}^n\to\mathbf{C}$.

categories: math.FA math.AP math.CA math.PR quant-ph


title: Enhanced sampling of Crystal Nucleation with Graph Representation Learnt Variables

abstract: In this study, we present a graph neural network-based learning approach using an autoencoder setup to derive low-dimensional variables from features observed in experimental crystal structures. These variables are then biased in enhanced sampling to observe state-to-state transitions and reliable thermodynamic weights. Our approach uses simple convolution and pooling methods. To verify the effectiveness of our protocol, we examined the nucleation of various allotropes and polymorphs of iron and glycine from their molten states. Our graph latent variables when biased in well-tempered metadynamics consistently show transitions between states and achieve accurate free energy calculations in agreement with experiments, both of which are indicators of dependable sampling. This underscores the strength and promise of our graph neural net variables for improved sampling. The protocol shown here should be applicable for other systems and with other sampling methods.


title: Towards a lattice-Fokker-Planck-Boltzmann method for simulating thermal noise in compressible phase-changing fluids

abstract: Molecular fluctuations are known to affect the macroscopic and spatio-temporal evolution of a host of physical phenomena central to the study of biological systems, turbulence, and reactive mixtures, among others. In phase-changing fluids metastability and nucleation rates of embryos are known to be non-trivially affected by thermal noise stemming from molecules random velocity fluctuations, which ultimately determine the long-term growth, morphology, and decay of macroscopic bubbles in cavitation and boiling. We herein present the mathematical groundwork for a lattice-based solution of the combined stochastic Fokker-Planck and Boltzmann equations that by proxy solve the compressible fluctuating Navier-Stokes-Fourier equations. We present the derivation of the kinetic lattice-Fokker-Planck-Boltzmann equations facilitated by means of Gauss-Hermite quadrature, and show by multi-scale asymptotic analysis that the non-equilibrium dynamics in velocity space inherent to the Fokker-Planck equation manifest as fluctuating stresses analogous to the conventional viscous stress tensor. The key implication of this analysis is a direct correlation between the thermal white noise of the Fokker-Planck equation and the effective viscosities $\mu, \zeta$ that in concert with a cubic equation of state enable simulations of phase-changing fluids perturbed by stochastic thermal fluctuations.


title: Crosslingual Structural Priming and the Pre-Training Dynamics of Bilingual Language Models

abstract: Do multilingual language models share abstract grammatical representations across languages, and if so, when do these develop? Following Sinclair et al. (2022), we use structural priming to test for abstract grammatical representations with causal effects on model outputs. We extend the approach to a Dutch-English bilingual setting, and we evaluate a Dutch-English language model during pre-training. We find that crosslingual structural priming effects emerge early after exposure to the second language, with less than 1M tokens of data in that language. We discuss implications for data contamination, low-resource transfer, and how abstract grammatical representations emerge in multilingual models.


title: CUTE: A Cryogenic Underground TEst Facility at SNOLAB

abstract: Low-temperature cryogenics open the door for a range of interesting technologies based on features like superconductivity and superfluidity, low-temperature phase transitions or the low heat capacity of non-metals in the milli-Kelvin range. Devices based on these technologies are often sensitive to small energy depositions as can be caused by environmental radiation. The Cryogenic Underground TEst facility (CUTE) at SNOLAB is a platform for testing and operating cryogenic devices in an environment with low levels of background. The large experimental chamber ($\mathcal{O}$(10) L) reaches a base temperature of $\sim$12 mK; it can hold a payload of up to $\sim$20 kg and provides a radiogenic background event rate as low as a few events/kg/keV/day in the energy range below about 100 keV, as well as a negligible muon rate ($\mathcal{O}$(1)/month). CUTE was designed and built in the context of the Super Cryogenic Dark Matter Search experiment (SuperCDMS) which uses cryogenic detectors to search for interactions of dark matter particles with ordinary matter. The facility has been used to test SuperCDMS detectors since its commissioning in 2019. In 2021, it was handed over to SNOLAB to become a SNOLAB user facility after the completion of the testing of detectors for SuperCDMS. The facility will be available for projects that benefit from these special conditions, based on proposals assessed for their scientific and technological merits. This article describes the main design features and operating parameters of CUTE.


title: D2 Pruning: Message Passing for Balancing Diversity and Difficulty in Data Pruning

abstract: Analytical theories suggest that higher-quality data can lead to lower test errors in models trained on a fixed data budget. Moreover, a model can be trained on a lower compute budget without compromising performance if a dataset can be stripped of its redundancies. Coreset selection (or data pruning) seeks to select a subset of the training data so as to maximize the performance of models trained on this subset, also referred to as coreset. There are two dominant approaches: (1) geometry-based data selection for maximizing data diversity in the coreset, and (2) functions that assign difficulty scores to samples based on training dynamics. Optimizing for data diversity leads to a coreset that is biased towards easier samples, whereas, selection by difficulty ranking omits easy samples that are necessary for the training of deep learning models. This demonstrates that data diversity and importance scores are two complementary factors that need to be jointly considered during coreset selection. We represent a dataset as an undirected graph and propose a novel pruning algorithm, D2 Pruning, that uses forward and reverse message passing over this dataset graph for coreset selection. D2 Pruning updates the difficulty scores of each example by incorporating the difficulty of its neighboring examples in the dataset graph. Then, these updated difficulty scores direct a graph-based sampling method to select a coreset that encapsulates both diverse and difficult regions of the dataset space. We evaluate supervised and self-supervised versions of our method on various vision and language datasets. Results show that D2 Pruning improves coreset selection over previous state-of-the-art methods for up to 70% pruning rates. Additionally, we find that using D2 Pruning for filtering large multimodal datasets leads to increased diversity in the dataset and improved generalization of pretrained models.


title: What Matters to You? Towards Visual Representation Alignment for Robot Learning

abstract: When operating in service of people, robots need to optimize rewards aligned with end-user preferences. Since robots will rely on raw perceptual inputs like RGB images, their rewards will inevitably use visual representations. Recently there has been excitement in using representations from pre-trained visual models, but key to making these work in robotics is fine-tuning, which is typically done via proxy tasks like dynamics prediction or enforcing temporal cycle-consistency. However, all these proxy tasks bypass the human's input on what matters to them, exacerbating spurious correlations and ultimately leading to robot behaviors that are misaligned with user preferences. In this work, we propose that robots should leverage human feedback to align their visual representations with the end-user and disentangle what matters for the task. We propose Representation-Aligned Preference-based Learning (RAPL), a method for solving the visual representation alignment problem and visual reward learning problem through the lens of preference-based learning and optimal transport. Across experiments in X-MAGICAL and in robotic manipulation, we find that RAPL's reward consistently generates preferred robot behaviors with high sample efficiency, and shows strong zero-shot generalization when the visual representation is learned from a different embodiment than the robot's.


title: Modeling Neutrino-Induced Scale-Dependent Galaxy Clustering for Photometric Galaxy Surveys

abstract: The increasing statistical precision of photometric redshift surveys requires improved accuracy of theoretical predictions for large-scale structure observables to obtain unbiased cosmological constraints. In $\Lambda$CDM cosmologies, massive neutrinos stream freely at small cosmological scales, suppressing the small-scale power spectrum. In massive neutrino cosmologies, galaxy bias modeling needs to accurately relate the scale-dependent growth of the underlying matter field to observed galaxy clustering statistics. In this work, we implement a computationally efficient approximation of the neutrino-induced scale-dependent bias (NISDB). Through simulated likelihood analyses of Dark Energy Survey Year 3 (DESY3) and Legacy Survey of Space and Time Year 1 (LSSTY1) synthetic data that contain an appreciable NISDB, we examine the impact of linear galaxy bias and neutrino mass modeling choices on cosmological parameter inference. We find model misspecification of the NISDB approximation and neutrino mass models to decrease the constraining power of photometric galaxy surveys and cause parameter biases in the cosmological interpretation of future surveys. We quantify these biases and devise mitigation strategies.


title: N$^3$LO Antenna Functions for Final-State Radiation

abstract: We discuss recent progress in the calculation of integrated antenna functions for final-state radiation at N$^3$LO in QCD. Antenna functions are directly extracted from physical matrix elements for the decay of a colour-singlet state into partons. In order to compute their integrated counterparts, which are necessary ingredients for fixed-order calculations in QCD, each allowed final state has to be individually integrated over the inclusive phase space of the unresolved radiation. We analytically integrated two-, three-, four- and five-particle final-state matrix elements for the decay of a virtual photon and a Higgs boson into partons, considering up to third-order corrections in the strong coupling constant $\alpha_s$. The integration over the inclusive phase space is performed relying on well-established reverse unitarity and IBP reduction techniques. We conclude with preliminary comments about the structure of N$^3$LO subtraction terms in the context of the antenna subtraction method.


title: Estimating the Likelihood of Arrest from Police Records in Presence of Unreported Crimes

abstract: Many important policy decisions concerning policing hinge on our understanding of how likely various criminal offenses are to result in arrests. Since many crimes are never reported to law enforcement, estimates based on police records alone must be adjusted to account for the likelihood that each crime would have been reported to the police. In this paper, we present a methodological framework for estimating the likelihood of arrest from police data that incorporates estimates of crime reporting rates computed from a victimization survey. We propose a parametric regression-based two-step estimator that (i) estimates the likelihood of crime reporting using logistic regression with survey weights; and then (ii) applies a second regression step to model the likelihood of arrest. Our empirical analysis focuses on racial disparities in arrests for violent crimes (sex offenses, robbery, aggravated and simple assaults) from 2006--2015 police records from the National Incident Based Reporting System (NIBRS), with estimates of crime reporting obtained using 2003--2020 data from the National Crime Victimization Survey (NCVS). We find that, after adjusting for unreported crimes, the likelihood of arrest computed from police records decreases significantly. We also find that, while incidents with white offenders on average result in arrests more often than those with black offenders, the disparities tend to be small after accounting for crime characteristics and unreported crimes.


title: Verification of Gaia DR3 Single-lined Spectroscopic Binary Solutions With Three Transiting Low-mass Secondaries

abstract: While secondary mass inferences based on single-lined spectroscopic binary (SB1) solutions are subject to $\sin{i}$ degeneracies, this degeneracy can be lifted through the observations of eclipses. We combine the subset of Gaia Data Release (DR) 3 SB1 solutions consistent with brown dwarf-mass secondaries with the Transiting Exoplanet Survey Satellite (TESS) Object of Interest (TOI) list to identify three candidate transiting brown dwarf systems. Ground-based precision radial velocity follow-up observations confirm that TOI-2533.01 is a transiting brown dwarf with $M=72^{+3}_{-3}~M_{\text{Jup}}= 0.069^{+0.003}_{-0.003}~M_\odot$ orbiting TYC 2010-124-1 and that TOI-5427.01 is a transiting very low-mass star with $M=93^{+2}_{-2}~M_{\text{Jup}}=0.088^{+0.002}_{-0.002}~M_\odot$ orbiting UCAC4 515-012898. We validate TOI-1712.01 as a very low-mass star with $M=82^{+7}_{-7}~M_{\text{Jup}}=0.079^{+0.007}_{-0.007}~M_\odot$ transiting the primary in the hierarchical triple system BD+45 1593. Even after accounting for third light, TOI-1712.01 has radius nearly a factor of two larger than predicted for isolated stars with similar properties. We propose that the intense instellation experienced by TOI-1712.01 diminishes the temperature gradient near its surface, suppresses convection, and leads to its inflated radius. Our analyses verify Gaia DR3 SB1 solutions in the low Doppler semiamplitude limit, thereby providing the foundation for future joint analyses of Gaia radial velocities and Kepler, K2, TESS, and PLAnetary Transits and Oscillations (PLATO) light curves for the characterization of transiting massive brown dwarfs and very low-mass stars.


title: Co-NavGPT: Multi-Robot Cooperative Visual Semantic Navigation using Large Language Models

abstract: In advanced human-robot interaction tasks, visual target navigation is crucial for autonomous robots navigating unknown environments. While numerous approaches have been developed in the past, most are designed for single-robot operations, which often suffer from reduced efficiency and robustness due to environmental complexities. Furthermore, learning policies for multi-robot collaboration are resource-intensive. To address these challenges, we propose Co-NavGPT, an innovative framework that integrates Large Language Models (LLMs) as a global planner for multi-robot cooperative visual target navigation. Co-NavGPT encodes the explored environment data into prompts, enhancing LLMs' scene comprehension. It then assigns exploration frontiers to each robot for efficient target search. Experimental results on Habitat-Matterport 3D (HM3D) demonstrate that Co-NavGPT surpasses existing models in success rates and efficiency without any learning process, demonstrating the vast potential of LLMs in multi-robot collaboration domains. The supplementary video, prompts, and code can be accessed via the following link: https://sites.google.com/view/co-navgpt


title: Discrete and continuous mathematical models of sharp-fronted collective cell migration and invasion

abstract: Mathematical models describing the spatial spreading and invasion of populations of biological cells are often developed in a continuum modelling framework using reaction-diffusion equations. While continuum models based on linear diffusion are routinely employed and known to capture key experimental observations, linear diffusion fails to predict well-defined sharp fronts that are often observed experimentally. This observation has motivated the use of nonlinear degenerate diffusion, however these nonlinear models and the associated parameters lack a clear biological motivation and interpretation. Here we take a different approach by developing a stochastic discrete lattice-based model incorporating biologically-inspired mechanisms and then deriving the reaction-diffusion continuum limit. Inspired by experimental observations, agents in the simulation deposit extracellular material, that we call a substrate, locally onto the lattice, and the motility of agents is taken to be proportional to the substrate density. Discrete simulations that mimic a two--dimensional circular barrier assay illustrate how the discrete model supports both smooth and sharp-fronted density profiles depending on the rate of substrate deposition. Coarse-graining the discrete model leads to a novel partial differential equation (PDE) model whose solution accurately approximates averaged data from the discrete model. The new discrete model and PDE approximation provides a simple, biologically motivated framework for modelling the spreading, growth and invasion of cell populations with well-defined sharp fronts


title: Energy-conserving finite difference scheme based on velocity interpolation applicable to unsteady flows using collocated grids

abstract: The collocation method uses the Rhie-Chow scheme to find the cell interface velocity by pressure-weighted interpolation. The accuracy of this interpolation method in unsteady flows has not been fully clarified. This study constructs a finite difference scheme for incompressible fluids using a collocated grid in a general curvilinear coordinate system. The velocity at the cell interface is determined by weighted interpolation based on the pressure difference to prevent pressure oscillations. The Poisson equation for the pressure correction value is solved with the cross-derivative term omitted to improve calculation efficiency. In addition, simultaneous relaxation of velocity and pressure is applied to improve convergence. Even without the cross-derivative term, calculations can be stably performed, and convergent solutions are obtained. In unsteady inviscid flow, the conservation of kinetic energy is excellent even in a non-orthogonal grid, and the calculation result has second-order accuracy to time. In viscous analysis at a high Reynolds number, the error decreases compared with that of the Rhie-Chow interpolation method. The present numerical scheme improves calculation accuracy in unsteady flows. The possibility of applying this computational method to high Reynolds number flows is demonstrated through several analyses.


title: Cost-Driven Hardware-Software Co-Optimization of Machine Learning Pipelines

abstract: Researchers have long touted a vision of the future enabled by a proliferation of internet-of-things devices, including smart sensors, homes, and cities. Increasingly, embedding intelligence in such devices involves the use of deep neural networks. However, their storage and processing requirements make them prohibitive for cheap, off-the-shelf platforms. Overcoming those requirements is necessary for enabling widely-applicable smart devices. While many ways of making models smaller and more efficient have been developed, there is a lack of understanding of which ones are best suited for particular scenarios. More importantly for edge platforms, those choices cannot be analyzed in isolation from cost and user experience. In this work, we holistically explore how quantization, model scaling, and multi-modality interact with system components such as memory, sensors, and processors. We perform this hardware/software co-design from the cost, latency, and user-experience perspective, and develop a set of guidelines for optimal system design and model deployment for the most cost-constrained platforms. We demonstrate our approach using an end-to-end, on-device, biometric user authentication system using a $20 ESP-EYE board.


title: A Convolutional Network Adaptation for Cortical Classification During Mobile Brain Imaging

abstract: Deep neural networks (DNN) have become increasingly utilized in brain-computer interface (BCI) technologies with the outset goal of classifying human physiological signals in computer-readable format. While our present understanding of DNN usage for BCI is promising, we have little experience in deciphering neural events from dynamic freely-mobile situations. Using an improved version of EEGNet, our goal was to classify cognitive events from electroencephalography (EEG) signals while subjects simultaneously walked on a treadmill, sometimes while carrying a rucksack equivalent to 40% of their body weight. Walking subjects simultaneously performed a visual oddball target detection task, eliciting the P300 event-related potential (ERP), which then served as the DNN classification target. We found the base EEGNet to reach classification levels well above chance, with similar performance to previously reported P300 results. We found performance to be robust to noise, with classification similar for walking and loaded walking, with respect to standard seated condition with minimal movement. With additional architectural search and tuning to the EEGNet model (termed Cog-Neuro, herein; CN-EEGNet), we reached classification accuracy of greater than 95%, similar to previously reported state of the art levels in seated P300 tasks. To our knowledge, these results are the first documented implementation of a DNN for the classification of cognitive neural state during dual-task walking. The classification of one's ongoing cognitive state during a demanding physical task establishes the utility for BCI in complex environments.


title: The spark of synchronization in heterogeneous networks of chaotic maps

abstract: We investigate the emergence of synchronization in heterogeneous networks of chaotic maps. Our findings reveal that a small cluster of highly connected maps is responsible for triggering the spark of synchronization. After the spark, the synchronized cluster grows in size and progressively moves to less connected maps, eventually reaching a cluster that may remain synchronized over time. We explore how the shape of the network's degree distribution affects the onset of synchronization and derive an expression based on the network's construction that determines the expected time for a network to synchronize. Understanding how the network structure affects the spark of synchronization is particularly important for the control and design of more robust systems that require some level of coherence between a subset of units for better functioning. Numerical simulations in finite-sized networks are consistent with this analysis.


title: A new proof of Perelman's scalar curvature and diameter estimates for the K\"ahler-Ricci flow on Fano manifolds

abstract: In this note, we give a new proof for Perelman's scalar curvature and diameter estimates for the K\"ahler-Ricci flow on Fano manifolds. The proof relies on a new Harnack estimate for a special family of functions in space-time. Our new approach initiates the work in \cite{JST23a} for general finite time solutions of the K\"ahler-Ricci flow.


title: AutoRepo: A general framework for multi-modal LLM-based automated construction reporting

abstract: Ensuring the safety, quality, and timely completion of construction projects is paramount, with construction inspections serving as a vital instrument towards these goals. Nevertheless, the predominantly manual approach of present-day inspections frequently results in inefficiencies and inadequate information management. Such methods often fall short of providing holistic, exhaustive assessments, consequently engendering regulatory oversights and potential safety hazards. To address this issue, this paper presents a novel framework named AutoRepo for automated generation of construction inspection reports. The unmanned vehicles efficiently perform construction inspections and collect scene information, while the multimodal large language models (LLMs) are leveraged to automatically generate the inspection reports. The framework was applied and tested on a real-world construction site, demonstrating its potential to expedite the inspection process, significantly reduce resource allocation, and produce high-quality, regulatory standard-compliant inspection reports. This research thus underscores the immense potential of multimodal large language models in revolutionizing construction inspection practices, signaling a significant leap forward towards a more efficient and safer construction management paradigm.


title: Finite time singularities of the K\"ahler-Ricci flow

abstract: We establish the scalar curvature and distance bounds, extending Perelman's work on the Fano K\"ahler-Ricci flow to general finite time solutions of the K\"ahler-Ricci flow. These bounds are achieved by our Li-Yau type and Harnack estimates for weighted Ricci potential functions of the K\"ahler-Ricci flow. We further prove that the Type I blow-ups of the finite time solution always sub-converge in Gromov-Hausdorff sense to an ancient solution on a family of analytic normal varieties with suitable choices of base points. As a consequence, the Type I diameter bound is proved for almost every fibre of collapsing solutions of the K\"ahler-Ricci flow on a Fano fibre bundle. We also apply our estimates to show that every solution of the K\"ahler-Ricci flow with Calabi symmetry must develop Type I singularities, including both cases of high codimensional contractions and fibre collapsing.


title: Multidimensional Contours \`a la Fr\"{o}hlich-Spencer and Boundary Conditions for Quantum Spin Systems

abstract: In this thesis, we present results from the investigation of two problems, one related to the phase transition of long-range Ising models and the other one associated with the characterization of equilibrium states in quantum spin systems. Due to the long-range nature of the interactions, $J|x-y|^{-\alpha}$, estimates using contours usually found in the literature have restrictions on the range of interactions ($\alpha>d+1$ in Ginibre, Grossmann, and Ruelle in 1966 and Park in 1988 for discrete spin systems and possibly non-symmetric situations but with the restrictions $\alpha>3d+1 $). We were able to extend the phase transition argument for long-range Ising-type models to the entire region $\alpha>d$ using the multi-scale arguments presented in the articles by Fr\"ohlich and Spencer. In quantum statistical mechanics, the KMS condition is used as a characterization for the equilibrium states of the system. Widely studied today, it is known to be equivalent to other equilibrium notions such as the variational principle. We present another possible characterization of equilibrium states in quantum spin systems by generalizing the DLR equations to the quantum context using Poisson point process representations. We also discuss the relationship of these quantum DLR equations with the KMS states of a subclass of interactions that contains the Ising model with a transverse field.


title: Boundary effect under 2D Newtonian gravity potential in the phase space

abstract: We study linear two-half dimensional Vlasov equations under the logarithmic gravity potential in the half space of diffuse reflection boundary. We prove decay-in-time of the exponential moments with a polynomial rate, which depends on the base logarithm.


title: 3D Heisenberg universality in the Van der Waals antiferromagnet NiPS$_3$

abstract: Van der Waals (vdW) magnetic materials are comprised of layers of atomically thin sheets, making them ideal platforms for studying magnetism at the two-dimensional (2D) limit. These materials are at the center of a host of novel types of experiments, however, there are notably few pathways to directly probe their magnetic structure. We report the magnetic order within a single crystal of NiPS$_3$ and show it can be accessed with resonant elastic X-ray diffraction along the edge of the vdW planes in a carefully grown crystal by detecting structurally forbidden resonant magnetic X-ray scattering. We find the magnetic order parameter has a critical exponent of $\beta\sim0.36$, indicating that the magnetism of these vdW crystals is more adequately characterized by the three-dimensional (3D) Heisenberg universality class. We verify these findings with first-principle density functional theory, Monte-Carlo simulations, and density matrix renormalization group calculations.


title: Global logarithmic deformation theory

abstract: A classical problem in algebraic geometry is to construct smooth algebraic varieties with prescribed properties. In the approach via smoothings, one first constructs a degenerate scheme with the prescribed properties, and then shows the existence of a smooth variety degenerating to this scheme. Logarithmic geometry has given important new impulses to the second step of this approach, which we explore in this book. Degenerations, in particular in the context of mirror symmetry, often enjoy similar formal properties as smooth morphisms once considered from the logarithmic perspective. Logarithmic deformation theory has therefore become an effective tool for the construction of smoothings and the transfer of properties between smooth nearby fibers and the singular special fiber. The strongest existence result for deformations in classical algebraic geometry is the Bogomolov--Tian--Todorov theorem for Calabi--Yau varieties. A logarithmic variant, once established, constructs log smooth deformations. However, the logarithmic Bogomolov--Tian--Todorov theorem has resisted efforts to its proof for a while. Finally, a method to prove it was discovered in 2019 by Chan, Leung, and Ma. In this book, we explore this new approach to the logarithmic Bogomolov--Tian--Todorov theorem. We prove several variants of the abstract unobstructedness theorem, some of which are new and stronger than previously known results. We investigate its application to the global deformation theory of log smooth and mildly log singular spaces, obtaining unobstructedness results for log Calabi--Yau spaces, some log Fano spaces, and line bundles. Special care is taken to allow sufficiently mild log singularities, including all log singularities that appear in the Gross--Siebert construction of toric log Calabi--Yau mirror pairs.


title: Preparing Pre-College Students for the Second Quantum Revolution with Core Concepts in Quantum Information Science

abstract: After the passage of the US National Quantum Initiative Act in December 2018, the National Science Foundation and the Office of Science and Technology Policy assembled an interagency working group and conducted a workshop titled "Key Concepts for Future Quantum Information Science Learners" that focused on identifying core concepts for future curricular and educator activities to help pre-college students engage with quantum information science (QIS). Helping pre-college students learn these key concepts in QIS is an effective approach to introducing them to the Second Quantum Revolution and inspiring them to become future contributors in the growing field of quantum information science and technology as leaders in areas related to quantum computing, communication and sensing. This paper is a call to pre-college educators to contemplate including QIS concepts into their existing courses at appropriate levels and get involved in the development of curricular materials suitable for their students. Also, research shows that compare and contrast activities can provide an effective approach to helping students learn. Therefore, we illustrate a pedagogical approach that contrasts the classical and quantum concepts so that educators could adapt them for their students in their lesson plans to help them learn the differences between key concepts in quantum and classical contexts.


title: Adaptive model reduction of high-order solutions of compressible flows via optimal transport

abstract: The solution of conservation laws with parametrized shock waves presents challenges for both high-order numerical methods and model reduction techniques. We introduce an r-adaptivity scheme based on optimal transport and apply it to develop reduced order models for compressible flows. The optimal transport theory allows us to compute high-order r-adaptive meshes from a starting reference mesh by solving the Monge-Ampere equation. A high-order discretization of the conservation laws enables high-order solutions to be computed on the resulting r-adaptive meshes. Furthermore, the Monge-Ampere solutions contain mappings that are used to reduce the spatial locality of the resulting solutions and make them more amenable to model reduction. We use a non-intrusive model reduction method to construct reduced order models of both the mesh and the solution. The procedure is demonstrated on three supersonic and hypersonic test cases, with the hybridizable discontinuous Galerkin method being used as the full order model.


title: Modeling novel physics in virtual reality labs: An affective analysis of student learning

abstract: We report on a study of the effects of laboratory activities that model fictitious laws of physics in a virtual reality environment on (1) students' epistemology about the role of experimental physics in class and in the world; (2) students' self-efficacy; and (3) the quality of student engagement with the lab activities. We create opportunities for students to practice physics as a means of creating and validating new knowledge by simulating real and fictitious physics in virtual reality (VR). This approach seeks to steer students away from a confirmation mindset in labs by eliminating any form of prior or outside models to confirm. We refer to the activities using this approach as Novel Observations in Mixed Reality (NOMR) labs. We examined NOMR's effects in 100-level and 200-level undergraduate courses. Using pre-post measurements we find that after NOMR labs, students in both populations were more expertlike in their epistemology about experimental physics and held stronger self-efficacy about their abilities to do the kinds of things experimental physicists do. Through the lens of the psychological theory of flow, we found that students engage as productively with NOMR labs as with traditional hands-on labs. This engagement persisted after the novelty of VR in the classroom wore off, suggesting that these effects are due to the pedagogical design rather than the medium of the intervention. We conclude that these NOMR labs offer an approach to physics laboratory instruction that centers the development of students' understanding of and comfort with the authentic practice of science.


title: Enhancing Sample Quality through Minimum Energy Importance Weights

abstract: Importance sampling is a powerful tool for correcting the distributional mismatch in many statistical and machine learning problems, but in practice its performance is limited by the usage of simple proposals whose importance weights can be computed analytically. To address this limitation, Liu and Lee (2017) proposed a Black-Box Importance Sampling (BBIS) algorithm that computes the importance weights for arbitrary simulated samples by minimizing the kernelized Stein discrepancy. However, this requires knowing the score function of the target distribution, which is not easy to compute for many Bayesian problems. Hence, in this paper we propose another novel BBIS algorithm using minimum energy design, BBIS-MED, that requires only the unnormalized density function, which can be utilized as a post-processing step to improve the quality of Markov Chain Monte Carlo samples. We demonstrate the effectiveness and wide applicability of our proposed BBIS-MED algorithm on extensive simulations and a real-world Bayesian model calibration problem where the score function cannot be derived analytically.


title: The global stability of the Minkowski space-time solution to the Einstein-Yang-Mills equations in higher dimensions

abstract: This is a first in a series of papers in which we study the stability of the $(1+n)$-Minkowski space-time, for $n \geq 3$, solution to the Einstein-Yang-Mills equations, in both the Lorenz and harmonic gauges, associated to any arbitrary compact Lie group $G$, and for arbitrary small perturbations. In this first, we prove global stability of the Minkowski space-time, $\mathbb{R}^{1+n}$, in higher dimensions $n \geq 5$ (both in the interior and in the exterior); in the paper that follows, we prove exterior stability for $n=4$; and its sequel, we prove exterior stability for $n=3$, and in all these cases, stability is studied as a solution to the fully coupled Einstein-Yang-Mills system in the Lorenz and harmonic gauges. We show here that for $n \geq 5$, the $\mathbb{R}^{1+n}$ Minkowski space-time in wave coordinates is stable as solution to the Einstein-Yang-Mills system in the Lorenz gauge on the Yang-Mills potential, for sufficiently small perturbations of the Einstein-Yang-Mills potential and metric, and leads to a global Cauchy development. We also obtain dispersive estimates in wave coordinates on the gauge invariant norm of the Yang-Mills curvature, on the Yang-Mills potential in the Lorenz gauge, and on the perturbations of the metric. In this manuscript, we detail all the material of our proof so as to provide lecture notes for Ph.D. students wanting to learn the Cauchy problem for the Einstein-Yang-Mills system.


title: VEM allowing small edges for the acoustic problem

abstract: In this paper we propose and analyze a virtual element method to approximate the natural frequencies of the acoustic eigenvalue problem with polygonal meshes that allow the presence of small edges. With the aid of a suitable seminorm that depends on the stabilization of the small edges method, we prove convergence and error estimates for the eigenfrequencies and eigenfunctions of the problem, supporting our analysis on the compact operators theory. We report some numerical tests that allows us to assess the performance of the method and the accuracy on the approximation.


title: Design of railway transition zones: a novel energy-based criterion

abstract: Railway transition zones (RTZs) experience higher rates of degradation compared to open tracks, which leads to increased maintenance costs and reduced vailability. Despite existing literature on railway track assessment and maintenance, effective design solutions for RTZs are still limited. Therefore, a robust design criterion is required to develop effective solutions. This paper presents a two-step approach for formulation of a design criterion to delay the onset of processes leading to uneven track geometry due to operation driven permanent deformations in RTZs. Firstly, a systematic analysis of each track component in a RTZ is performed by examining spatial and temporal variations in kinematic responses, stresses and energies. Secondly, the study proposes an energy-based criterion to be assessed using a model with linear elastic material behavior, and states that an amplification in the total strain energy in the proximity of the transition interface is an indicator of increased (and thus non-uniform) degradation in RTZs compared to the open tracks. The correlation between the total strain energy (assessed in the model with linear material behaviour) and the permanent irreversible deformations is demonstrated using a model with non-linear elastoplastic material behavior of the ballast layer. In the end, it is claimed that minimising the magnitude of total strain energy will lead to reduced degradation and a uniform distribution of total strain energy in each trackbed layer along the longitudinal direction of the track will ensure uniformity in the track geometry.


title: A New Approach Towards Autoformalization

abstract: Verifying mathematical proofs is difficult, but can be automated with the assistance of a computer. Autoformalization is the task of automatically translating natural language mathematics into a formal language that can be verified by a program. This is a challenging task, and especially for higher-level mathematics found in research papers. Research paper mathematics requires large amounts of background and context. In this paper, we propose an avenue towards tackling autoformalization for research-level mathematics, by breaking the task into easier and more approachable subtasks: unlinked formalization (formalization with unlinked definitions and theorems), entity linking (linking to the proper theorems and definitions), and finally adjusting types so it passes the type checker. In addition, we present arXiv2Formal, a benchmark dataset for unlinked formalization consisting of 50 theorems formalized for the Lean theorem prover sampled from papers on arXiv.org. We welcome any contributions from the community to future versions of this dataset.


title: Towards Causal Deep Learning for Vulnerability Detection

abstract: Deep learning vulnerability detection has shown promising results in recent years. However, an important challenge that still blocks it from being very useful in practice is that the model is not robust under perturbation and it cannot generalize well over the out-of-distribution (OOD) data, e.g., applying a trained model to unseen projects in real world. We hypothesize that this is because the model learned non-robust features, e.g., variable names, that have spurious correlations with labels. When the perturbed and OOD datasets no longer have the same spurious features, the model prediction fails. To address the challenge, in this paper, we introduced causality into deep learning vulnerability detection. Our approach CausalVul consists of two phases. First, we designed novel perturbations to discover spurious features that the model may use to make predictions. Second, we applied the causal learning algorithms, specifically, do-calculus, on top of existing deep learning models to systematically remove the use of spurious features and thus promote causal based prediction. Our results show that CausalVul consistently improved the model accuracy, robustness and OOD performance for all the state-of-the-art models and datasets we experimented. To the best of our knowledge, this is the first work that introduces do calculus based causal learning to software engineering models and shows it's indeed useful for improving the model accuracy, robustness and generalization. Our replication package is located at https://figshare.com/s/0ffda320dcb96c249ef2.


title: Charge-Driven Liquid-Crystalline Behavior of Ligand-Functionalized Nanorods in Apolar Solvent

abstract: Concentrated colloidal suspensions of nanorods often exhibit liquid-crystalline (LC) behavior. The transition to a nematic LC phase, with long-range orientational order of the particles, is usually well captured by Onsager's theory for hard rods, at least qualitatively. The theory shows how the volume fraction at the transition decreases with increasing aspect ratio of the rods. It also explains that the long-range electrostatic repulsive interaction occurring between rods stabilized by their surface charge can significantly increase their effective diameter, resulting in a decrease of the volume fraction at the transition, as compared to sterically stabilized rods. Here, we report on a system of ligand-stabilized LaPO4 nanorods, of aspect ratio around 11, dispersed in apolar medium exhibiting the counter-intuitive observation that the onset of nematic self-assembly occurs at an extremely low volume fraction of around 0.25%, which is lower than observed (around 3%) with the same particles when charge-stabilized in polar solvent. Furthermore, the nanorod volume fraction at the transition increases with increasing concentration of ligands, in a similar way as in polar media where increasing the ionic strength leads to surface-charge screening. This peculiar system was investigated by dynamic light scattering, Fourier-Transform Infra-Red spectroscopy, zetametry, electron microscopy, polarized-light microscopy, photoluminescence measurements, and X-ray scattering. Based on these experimental data, we formulate several tentative scenarios that might explain this unexpected phase behavior. However, at this stage, its full understanding remains a pending theoretical challenge. Nevertheless, this study shows that dispersing anisotropic nanoparticles in an apolar solvent may sometimes lead to spontaneous ordering events that defy our intuitive ideas about colloidal systems.


title: The open string pair production, its enhancement and the physics behind

abstract: Why adding a collinear magnetic field to the electric one on a D3 brane in a system of two parallel separated D3 branes can enhance the open string pair production? How is the open string pair production rate related to the QED ones in the weak field limit? We answer these questions and report the somehow expected but still remarkable relation between the weak field non-perturbative stringy rate and the corresponding QED ones in this letter.


title: Three-dimensional solitons in Rydberg-Dressed cold atomic gases with spin-orbit coupling

abstract: We present numerical results for three-dimensional (3D) solitons with symmetries of the semi-vortex (SV) and mixed-mode (MM) types, which can be created in spinor Bose-Einstein condensates of Rydberg atoms under the action of the spin-orbit coupling (SOC). By means of systematic numerical computations, we demonstrate that the interplay of SOC and long-range spherically symmetric Rydberg interactions stabilize the 3D solitons, improving their resistance to collapse. We find how the stability range depends on the strengths of the SOC and Rydberg interactions and the soft-core atomic radius.


title: Clustering of Spell Variations for Proper Nouns Transliterated from the other languages

abstract: One of the prominent problems with processing and operating on text data is the non uniformity of it. Due to the change in the dialects and languages, the caliber of translation is low. This creates a unique problem while using NLP in text data; which is the spell variation arising from the inconsistent translations and transliterations. This problem can also be further aggravated by the human error arising from the various ways to write a Proper Noun from an Indian language into its English equivalent. Translating proper nouns originating from Indian languages can be complicated as some proper nouns are also used as common nouns which might be taken literally. Applications of NLP that require addresses, names and other proper nouns face this problem frequently. We propose a method to cluster these spell variations for proper nouns using ML techniques and mathematical similarity equations. We aimed to use Affinity Propagation to determine relative similarity between the tokens. The results are augmented by filtering the token-variation pair by a similarity threshold. We were able to reduce the spell variations by a considerable amount. This application can significantly reduce the amount of human annotation efforts needed for data cleansing and formatting.


title: Observing Cosmic-Ray Extensive Air Showers with a Silicon Imaging Detector

abstract: Extensive air showers induced from high-energy cosmic rays provide a window into understanding the most energetic phenomena in the universe. We present a new method for observing these showers using the silicon imaging detector Subaru Hyper Suprime-Cam (HSC). This method has the advantage of being able to measure individual secondary particles. When paired with a surface detector array, silicon imaging detectors like Subaru HSC will be useful for studying the properties of extensive air showers in detail. The following report outlines the first results of observing extensive air showers with Subaru HSC. The potential for reconstructing the incident direction of primary cosmic rays is demonstrated and possible interdisciplinary applications are discussed.


title: Exploration on Incidence Geometry and Sum-Product Phenomena

abstract: In additive combinatorics, Erd\"{o}s-Szemer\'{e}di Conjecture is an important conjecture. It can be applied to many fields, such as number theory, harmonic analysis, incidence geometry, and so on. Additionally, its statement is quite easy to understand, while it is still an open problem. In this dissertation, we investigate the Erd\"{o}s-Szemer\'{e}di Conjecture and its relationship with several well-known results in incidence geometry, such as the Szemer\'{e}di-Trotter Incidence Theorem. We first study these problems in the setting of real numbers and focus on the proofs by Elekes and Solymosi on sum-product estimates. After introducing these theorems, our main focus is the Erd\"{o}s-Szemer\'{e}di Conjecture in the setting of $\mathbb{F}_p$. We aim to adapt several ingenious techniques developed for real numbers to the case of finite fields. Finally, we obtain a result in estimating the number of bisectors over the ring $\mathbb{Z}/p^3\mathbb{Z}$ with $p$ a $4n+3$ prime.


title: Class $\mathcal{S}$ on $S^2$

abstract: We study 2d $\mathcal{N}=(0,2)$ and $\mathcal{N}=(0,4)$ theories derived from compactifying class $\mathcal{S}$ theories on $S^2$ with a topological twist. We present concise expressions for the elliptic genera of both classes of theories, revealing the TQFT structure on Riemann surfaces $C_{g,n}$. Furthermore, our study highlights the relationship between the left-moving sector of the (0,2) theory and the chiral algebra of the 4d $\mathcal{N}=2$ theory. Notably, we propose that the (0,2) elliptic genus of a theory of this class can be expressed as a linear combination of characters of the corresponding chiral algebra.


title: Singular Perturbation via Contraction Theory

abstract: In this paper, we provide a novel contraction-theoretic approach to analyze two-time scale systems. In our proposed framework, systems enjoy several robustness properties, which can lead to a more complete characterization of their behaviors. Key assumptions are the contractivity of the fast sub-system and of the reduced model, combined with an explicit upper bound on the time-scale parameter. For two-time scale systems subject to disturbances, we show that the distance between solutions of the nominal system and solutions of its reduced model is uniformly upper bounded by a function of contraction rates, Lipschitz constants, the time-scale parameter, and the time variability of the disturbances. We also show local contractivity of the two-time scale system and give sufficient conditions for global contractivity. We then consider two special cases: for autonomous nonlinear systems we obtain sharper bounds than our general results and for linear time-invariant systems we present novel bounds based upon log norms and induced norms. Finally, we apply our theory to two application areas -- online feedback optimization and Stackelberg games -- and obtain new individual tracking error bounds showing that solutions converge to their (time-varying) optimizer and computing overall contraction rates.


title: Analytical estimation of the signal to noise ratio efficiency in axion dark matter searches using a Savitzky-Golay filter

abstract: The signal to noise ratio efficiency $\epsilon_{\rm SNR}$ in axion dark matter searches has been estimated using large-statistic simulation data reflecting the background information and the expected axion signal power obtained from a real experiment. This usually requires a lot of computing time even with the assistance of powerful computing resources. Employing a Savitzky-Golay filter for background subtraction, in this work, we estimated a fully analytical $\epsilon_{\rm SNR}$ without relying on large-statistic simulation data, but only with an arbitrary axion mass and the relevant signal shape information. Hence, our work can provide $\epsilon_{\rm SNR}$ using minimal computing time and resources prior to the acquisition of experimental data, without the detailed information that has to be obtained from real experiments. Axion haloscope searches have been observing the coincidence that the frequency independent scale factor $\xi$ is approximately consistent with the $\epsilon_{\rm SNR}$. This was confirmed analytically in this work, when the window length of the Savitzky-Golay filter is reasonably wide enough, i.e., at least 5 times the signal window.


title: Think, Act, and Ask: Open-World Interactive Personalized Robot Navigation

abstract: Zero-Shot Object Navigation (ZSON) enables agents to navigate towards open-vocabulary objects in unknown environments. The existing works of ZSON mainly focus on following individual instructions to find generic object classes, neglecting the utilization of natural language interaction and the complexities of identifying user-specific objects. To address these limitations, we introduce Zero-shot Interactive Personalized Object Navigation (ZIPON), where robots need to navigate to personalized goal objects while engaging in conversations with users. To solve ZIPON, we propose a new framework termed Open-woRld Interactive persOnalized Navigation (ORION), which uses Large Language Models (LLMs) to make sequential decisions to manipulate different modules for perception, navigation and communication. Experimental results show that the performance of interactive agents that can leverage user feedback exhibits significant improvement. However, obtaining a good balance between task completion and the efficiency of navigation and interaction remains challenging for all methods. We further provide more findings on the impact of diverse user feedback forms on the agents' performance. Code is available at https://github.com/sled-group/navchat.


title: CleftGAN: Adapting A Style-Based Generative Adversarial Network To Create Images Depicting Cleft Lip Deformity

abstract: A major obstacle when attempting to train a machine learning system to evaluate facial clefts is the scarcity of large datasets of high-quality, ethics board-approved patient images. In response, we have built a deep learning-based cleft lip generator designed to produce an almost unlimited number of artificial images exhibiting high-fidelity facsimiles of cleft lip with wide variation. We undertook a transfer learning protocol testing different versions of StyleGAN-ADA (a generative adversarial network image generator incorporating adaptive data augmentation (ADA)) as the base model. Training images depicting a variety of cleft deformities were pre-processed to adjust for rotation, scaling, color adjustment and background blurring. The ADA modification of the primary algorithm permitted construction of our new generative model while requiring input of a relatively small number of training images. Adversarial training was carried out using 514 unique frontal photographs of cleft-affected faces to adapt a pre-trained model based on 70,000 normal faces. The Frechet Inception Distance (FID) was used to measure the similarity of the newly generated facial images to the cleft training dataset, while Perceptual Path Length (PPL) and the novel Divergence Index of Severity Histograms (DISH) measures were also used to assess the performance of the image generator that we dub CleftGAN. We found that StyleGAN3 with translation invariance (StyleGAN3-t) performed optimally as a base model. Generated images achieved a low FID reflecting a close similarity to our training input dataset of genuine cleft images. Low PPL and DISH measures reflected a smooth and semantically valid interpolation of images through the transfer learning process and a similar distribution of severity in the training and generated images, respectively.


title: Hyperparameter Adaptive Search for Surrogate Optimization: A Self-Adjusting Approach

abstract: Surrogate Optimization (SO) algorithms have shown promise for optimizing expensive black-box functions. However, their performance is heavily influenced by hyperparameters related to sampling and surrogate fitting, which poses a challenge to their widespread adoption. We investigate the impact of hyperparameters on various SO algorithms and propose a Hyperparameter Adaptive Search for SO (HASSO) approach. HASSO is not a hyperparameter tuning algorithm, but a generic self-adjusting SO algorithm that dynamically tunes its own hyperparameters while concurrently optimizing the primary objective function, without requiring additional evaluations. The aim is to improve the accessibility, effectiveness, and convergence speed of SO algorithms for practitioners. Our approach identifies and modifies the most influential hyperparameters specific to each problem and SO approach, reducing the need for manual tuning without significantly increasing the computational burden. Experimental results demonstrate the effectiveness of HASSO in enhancing the performance of various SO algorithms across different global optimization test problems.


title: Interval Decomposition of Persistence Modules over a Principal Ideal Domain

abstract: The study of persistent homology has contributed new insights and perspectives into a variety of interesting problems in science and engineering. Work in this domain relies on the result that any finitely-indexed persistence module of finite-dimensional vector spaces admits an interval decomposition -- that is, a decomposition as a direct sum of simpler components called interval modules. This result fails if we replace vector spaces with modules over more general coefficient rings. We introduce an algorithm to determine whether a persistence module of pointwise free and finitely-generated modules over a principal ideal domain (PID) splits as a direct sum of interval submodules. If one exists, our algorithm outputs an interval decomposition. Our algorithm is finite (respectively, polynomial) time if the problem of computing Smith normal form over the chosen PID is finite (respectively, polynomial) time. This is the first algorithm with these properties of which we are aware. We also show that a persistence module of pointwise free and finitely-generated modules over a PID splits as a direct sum of interval submodules if and only if the cokernel of every structure map is free. This result underpins the formulation our algorithm. It also complements prior findings by Obayashi and Yoshiwaki regarding persistent homology, including a criterion for field independence and an algorithm to decompose persistence homology modules of simplex-wise filtrations.


title: Interpretable Diffusion via Information Decomposition

abstract: Denoising diffusion models enable conditional generation and density modeling of complex relationships like images and text. However, the nature of the learned relationships is opaque making it difficult to understand precisely what relationships between words and parts of an image are captured, or to predict the effect of an intervention. We illuminate the fine-grained relationships learned by diffusion models by noticing a precise relationship between diffusion and information decomposition. Exact expressions for mutual information and conditional mutual information can be written in terms of the denoising model. Furthermore, pointwise estimates can be easily estimated as well, allowing us to ask questions about the relationships between specific images and captions. Decomposing information even further to understand which variables in a high-dimensional space carry information is a long-standing problem. For diffusion models, we show that a natural non-negative decomposition of mutual information emerges, allowing us to quantify informative relationships between words and pixels in an image. We exploit these new relations to measure the compositional understanding of diffusion models, to do unsupervised localization of objects in images, and to measure effects when selectively editing images through prompt interventions.


title: Statistical Performance Guarantee for Subgroup Identification with Generic Machine Learning

abstract: Across a wide array of disciplines, many researchers use machine learning (ML) algorithms to identify a subgroup of individuals who are likely to benefit from a treatment the most (``exceptional responders'') or those who are harmed by it. A common approach to this subgroup identification problem consists of two steps. First, researchers estimate the conditional average treatment effect (CATE) using an ML algorithm. Next, they use the estimated CATE to select those individuals who are predicted to be most affected by the treatment, either positively or negatively. Unfortunately, CATE estimates are often biased and noisy. In addition, utilizing the same data to both identify a subgroup and estimate its group average treatment effect results in a multiple testing problem. To address these challenges, we develop uniform confidence bands for estimation of the group average treatment effect sorted by generic ML algorithm (GATES). Using these uniform confidence bands, researchers can identify, with a statistical guarantee, a subgroup whose GATES exceeds a certain effect size, regardless of how this effect size is chosen. The validity of the proposed methodology depends solely on randomization of treatment and random sampling of units. Importantly, our method does not require modeling assumptions and avoids a computationally intensive resampling procedure. A simulation study shows that the proposed uniform confidence bands are reasonably informative and have an appropriate empirical coverage even when the sample size is as small as 100. We analyze a clinical trial of late-stage prostate cancer and find a relatively large proportion of exceptional responders.


title: Causality-based Cost Allocation for Peer-to-Peer Energy Trading in Distribution System

abstract: While peer-to-peer energy trading has the potential to harness the capabilities of small-scale energy resources, a peer-matching process often overlooks power grid conditions, yielding increased losses, line congestion, and voltage problems. This imposes a great challenge on the distribution system operator (DSO), which can eventually limit peer-to-peer energy trading. To align the peer-matching process with the physical grid conditions, this paper proposes a cost causality-based network cost allocation method and the grid-aware peer-matching process. Building on the cost causality principle, the proposed model utilizes the network cost (loss, congestion, and voltage) as a signal to encourage peers to adjust their preferences ensuring that matches are more in line with grid conditions, leading to enhanced social welfare. Additionally, this paper presents mathematical proof showing the superiority of the causality-based cost allocation over existing methods.


title: Self-supervised visual learning for analyzing firearms trafficking activities on the Web

abstract: Automated visual firearms classification from RGB images is an important real-world task with applications in public space security, intelligence gathering and law enforcement investigations. When applied to images massively crawled from the World Wide Web (including social media and dark Web sites), it can serve as an important component of systems that attempt to identify criminal firearms trafficking networks, by analyzing Big Data from open-source intelligence. Deep Neural Networks (DNN) are the state-of-the-art methodology for achieving this, with Convolutional Neural Networks (CNN) being typically employed. The common transfer learning approach consists of pretraining on a large-scale, generic annotated dataset for whole-image classification, such as ImageNet-1k, and then finetuning the DNN on a smaller, annotated, task-specific, downstream dataset for visual firearms classification. Neither Visual Transformer (ViT) neural architectures nor Self-Supervised Learning (SSL) approaches have been so far evaluated on this critical task..


title: Higher Jacobian ideals, contact equivalence and motivic zeta functions

abstract: We show basic properties of higher Jacobian matrices and higher Jacobian ideals for functions and apply it to obtain two results concerning singularities of functions. Firstly, we prove that a higher Nash blowup algebra is invariant under contact equivalences, which was recently conjectured by Hussain, Ma, Yau and Zuo. Secondly, we obtain an analogue of a result on motivic nearby cycles by Bussi, Joyce and Meinhardt.


title: Simultaneous Auctions are Approximately Revenue-Optimal for Subadditive Bidders

abstract: We study revenue maximization in multi-item auctions, where bidders have subadditive valuations over independent items. Providing a simple mechanism that is approximately revenue-optimal in this setting is a major open problem in mechanism design. In this paper, we present the first \emph{simple mechanism} whose revenue is at least a \emph{constant fraction} of the optimal revenue in multi-item auctions with subadditive bidders. Our mechanism is a simultaneous auction that incorporates either a personalized entry fee or a personalized reserve price per item. We prove that for any simultaneous auction that satisfies c-efficiency -- a new property we propose, its revenue is at least an $O(c)$-approximation to the optimal revenue. We further show that both the \emph{simultaneous first-price} and the \emph{simultaneous all-pay auction} are $1\over 2$-efficient. Providing revenue guarantees for non-truthful simple mechanisms, e.g., simultaneous auctions, in multi-dimensional environments has been recognized by Roughgarden et al. as an important open question. Prior to our result, the only such revenue guarantees are due to Daskalakis et al. for bidders who have additive valuations over independent items. Our result significantly extends the revenue guarantees of these non-truthful simple auctions to settings where bidders have combinatorial valuations.


title: Anderson localization transition in disordered hyperbolic lattices

abstract: We study Anderson localization in disordered tight-binding models on hyperbolic lattices. Such lattices are geometries intermediate between ordinary two-dimensional crystalline lattices, which localize at infinitesimal disorder, and Bethe lattices, which localize at strong disorder. Using state-of-the-art computational group theory methods to create large systems, we approximate the thermodynamic limit through appropriate periodic boundary conditions and numerically demonstrate the existence of an Anderson localization transition on the $\{8,3\}$ and $\{8,8\}$ lattices. We find unusually large critical disorder strengths, determine critical exponents, and observe a strong finite-size effect in the level statistics.

categories: cond-mat.dis-nn cond-mat.mes-hall cond-mat.stat-mech cond-mat.str-el math-ph math.MP


title: Graph-SCP: Accelerating Set Cover Problems with Graph Neural Networks

abstract: Machine learning (ML) approaches are increasingly being used to accelerate combinatorial optimization (CO) problems. We look specifically at the Set Cover Problem (SCP) and propose Graph-SCP, a graph neural network method that can augment existing optimization solvers by learning to identify a much smaller sub-problem that contains the solution space. We evaluate the performance of Graph-SCP on synthetic weighted and unweighted SCP instances with diverse problem characteristics and complexities, and on instances from the OR Library, a canonical benchmark for SCP. We show that Graph-SCP reduces the problem size by 30-70% and achieves run time speedups up to~25x when compared to commercial solvers (Gurobi). Given a desired optimality threshold, Graph-SCP will improve upon it or even achieve 100% optimality. This is in contrast to fast greedy solutions that significantly compromise solution quality to achieve guaranteed polynomial run time. Graph-SCP can generalize to larger problem sizes and can be used with other conventional or ML-augmented CO solvers to lead to potential additional run time improvement.


title: GRASP: Accelerating Shortest Path Attacks via Graph Attention

abstract: Recent advances in machine learning (ML) have shown promise in aiding and accelerating classical combinatorial optimization algorithms. ML-based speed ups that aim to learn in an end to end manner (i.e., directly output the solution) tend to trade off run time with solution quality. Therefore, solutions that are able to accelerate existing solvers while maintaining their performance guarantees, are of great interest. We consider an APX-hard problem, where an adversary aims to attack shortest paths in a graph by removing the minimum number of edges. We propose the GRASP algorithm: Graph Attention Accelerated Shortest Path Attack, an ML aided optimization algorithm that achieves run times up to 10x faster, while maintaining the quality of solution generated. GRASP uses a graph attention network to identify a smaller subgraph containing the combinatorial solution, thus effectively reducing the input problem size. Additionally, we demonstrate how careful representation of the input graph, including node features that correlate well with the optimization task, can highlight important structure in the optimization solution.


title: Reinforcement Learning of Display Transfer Robots in Glass Flow Control Systems: A Physical Simulation-Based Approach

abstract: A flow control system is a critical concept for increasing the production capacity of manufacturing systems. To solve the scheduling optimization problem related to the flow control with the aim of improving productivity, existing methods depend on a heuristic design by domain human experts. Therefore, the methods require correction, monitoring, and verification by using real equipment. As system designs increase in complexity, the monitoring time increases, which decreases the probability of arriving at the optimal design. As an alternative approach to the heuristic design of flow control systems, the use of deep reinforcement learning to solve the scheduling optimization problem has been considered. Although the existing research on reinforcement learning has yielded excellent performance in some areas, the applicability of the results to actual FAB such as display and semiconductor manufacturing processes is not evident so far. To this end, we propose a method to implement a physical simulation environment and devise a feasible flow control system design using a transfer robot in display manufacturing through reinforcement learning. We present a model and parameter setting to build a virtual environment for different display transfer robots, and training methods of reinforcement learning on the environment to obtain an optimal scheduling of glass flow control systems. Its feasibility was verified by using different types of robots used in the actual process.


title: Multistability for Nematic Liquid Crystals in Cuboids with Degenerate Planar Boundary Conditions

abstract: We study nematic configurations within three-dimensional (3D) cuboids, with planar degenerate boundary conditions on the cuboid faces, in the Landau-de Gennes framework. There are two geometry-dependent variables: the edge length of the square cross-section, $\lambda$, and the parameter $h$, which is a measure of the cuboid height. Theoretically, we prove the existence and uniqueness of the global minimiser with a small enough cuboid size. We develop a new numerical scheme for the high-index saddle dynamics to deal with the surface energies. We report on a plethora of (meta)stable states, and their dependence on $h$ and $\lambda$, and in particular, how the 3D states are connected with their two-dimensional counterparts on squares and rectangles. Notably, we find families of almost uniaxial stable states constructed from the topological classification of tangent unit-vector fields and study transition pathways between them. We also provide a phase diagram of competing (meta)stable states, as a function of $\lambda$ and $h$.


title: Revisiting Decentralized ProxSkip: Achieving Linear Speedup

abstract: The ProxSkip algorithm for decentralized and federated learning is gaining increasing attention due to its proven benefits in accelerating communication complexity while maintaining robustness against data heterogeneity. However, existing analyses of ProxSkip are limited to the strongly convex setting and do not achieve linear speedup, where convergence performance increases linearly with respect to the number of nodes. So far, questions remain open about how ProxSkip behaves in the non-convex setting and whether linear speedup is achievable. In this paper, we revisit decentralized ProxSkip and address both questions. We demonstrate that the leading communication complexity of ProxSkip is $\mathcal{O}\left(\frac{p\sigma^2}{n\epsilon^2}\right)$ for non-convex and convex settings, and $\mathcal{O}\left(\frac{p\sigma^2}{n\epsilon}\right)$ for the strongly convex setting, where $n$ represents the number of nodes, $p$ denotes the probability of communication, $\sigma^2$ signifies the level of stochastic noise, and $\epsilon$ denotes the desired accuracy level. This result illustrates that ProxSkip achieves linear speedup and can asymptotically reduce communication overhead proportional to the probability of communication. Additionally, for the strongly convex setting, we further prove that ProxSkip can achieve linear speedup with network-independent stepsizes.


title: Large Language Models for Scientific Synthesis, Inference and Explanation

abstract: Large language models are a form of artificial intelligence systems whose primary knowledge consists of the statistical patterns, semantic relationships, and syntactical structures of language1. Despite their limited forms of "knowledge", these systems are adept at numerous complex tasks including creative writing, storytelling, translation, question-answering, summarization, and computer code generation. However, they have yet to demonstrate advanced applications in natural science. Here we show how large language models can perform scientific synthesis, inference, and explanation. We present a method for using general-purpose large language models to make inferences from scientific datasets of the form usually associated with special-purpose machine learning algorithms. We show that the large language model can augment this "knowledge" by synthesizing from the scientific literature. When a conventional machine learning system is augmented with this synthesized and inferred knowledge it can outperform the current state of the art across a range of benchmark tasks for predicting molecular properties. This approach has the further advantage that the large language model can explain the machine learning system's predictions. We anticipate that our framework will open new avenues for AI to accelerate the pace of scientific discovery.


title: Neural Combinatorial Optimization with Heavy Decoder: Toward Large Scale Generalization

abstract: Neural combinatorial optimization (NCO) is a promising learning-based approach for solving challenging combinatorial optimization problems without specialized algorithm design by experts. However, most constructive NCO methods cannot solve problems with large-scale instance sizes, which significantly diminishes their usefulness for real-world applications. In this work, we propose a novel Light Encoder and Heavy Decoder (LEHD) model with a strong generalization ability to address this critical issue. The LEHD model can learn to dynamically capture the relationships between all available nodes of varying sizes, which is beneficial for model generalization to problems of various scales. Moreover, we develop a data-efficient training scheme and a flexible solution construction mechanism for the proposed LEHD model. By training on small-scale problem instances, the LEHD model can generate nearly optimal solutions for the Travelling Salesman Problem (TSP) and the Capacitated Vehicle Routing Problem (CVRP) with up to 1000 nodes, and also generalizes well to solve real-world TSPLib and CVRPLib problems. These results confirm our proposed LEHD model can significantly improve the state-of-the-art performance for constructive NCO. The code is available at https://github.com/CIAM-Group/NCO_code/tree/main/single_objective/LEHD.


title: Spheres and fibres in turbulent flows at various Reynolds numbers

abstract: We perform fully coupled numerical simulations using immersed boundary methods of finite-size spheres and fibres suspended in a turbulent flow for a range of Taylor Reynolds numbers $12.8<Re_\lambda<442$ and solid mass fractions $0\leq M\leq1$. Both spheres and fibres reduce the turbulence intensity with respect to the single-phase flow at all Reynolds numbers, with fibres causing a more significant reduction than the spheres. The particles' effect on the anomalous dissipation tends to vanish as $Re \to \infty$. A scale-by-scale analysis shows that both particle shapes provide a "spectral shortcut" to the flow, but the shortcut extends further into the dissipative range in the case of fibres. Multifractal spectra of the near-particle dissipation show that spheres enhance dissipation in two-dimensional sheets, and fibres enhance the dissipation in structures with a dimension greater than one and less than two. In addition, we show that spheres suppress vortical flow structures, whereas fibres produce structures which completely overcome the turbulent vortex stretching behaviour in their vicinity.


title: Semantic-Forward Relaying: A Novel Framework Towards 6G Cooperative Communications

abstract: This letter proposes a novel relaying framework, semantic-forward (SF), for cooperative communications towards the sixth-generation (6G) wireless networks. The SF relay extracts and transmits the semantic features, which reduces forwarding payload, and also improves the network robustness against intra-link errors. Based on the theoretical basis for cooperative communications with side information and the turbo principle, we design a joint source-channel coding algorithm to iteratively exchange the extrinsic information for enhancing the decoding gains at the destination. Surprisingly, simulation results indicate that even in bad channel conditions, SF relaying can still effectively improve the recovered information quality.


title: Recovery of phase constant from two-photon interference pattern by phase retrieval algorithm

abstract: For a HOM interferometer with two independent incident pulses, the interference pattern can be affected by adding a dispersion medium on one of the incident directions, but there hasn't been a method to reconstruct the phase constant of the medium from the interference pattern. To solve it, we adapted two phase retrieval algorithms and used them to recover the phase difference function between the two incident fields, from which the phase constant can be derived. Through simulations, we verified the convergence, accuracy, and robustness of the algorithms, indicating that this phase recovery process can be completed well with negligible error. Our research finds a new application direction for the phase recovery algorithm, provides an algorithmic tool for high-order dispersion measurement using two-photon interference, and paves the way for a higher resolution and phase-sensitive quantum tomography.


title: Unconventional Magnetic Oscillations in Kagome Mott Insulators

abstract: We apply a strong magnetic field to a kagome Mott insulator with antiferromagnetic interactions which does not show magnetic ordering down to low temperatures. We observe a plateau at magnetization 1/9 Bohr magneton per magnetic ion (Cu). Furthermore, in the vicinity of this plateau we observe sets of strong oscillations in the magnetic torque, reminiscent of quantum oscillations in metals. Such oscillations have never been seen in a wide gap insulator and point to an exotic origin. While the temperature dependence of these oscillations follows Fermi-liquid-theory predictions, they are approximately periodic in the magnetic field $H$, as opposed to $1/H$ in conventional metals. Furthermore, a strong angular dependence is observed for the period, which indicates an orbital origin for this effect. We show that the 1/9 plateau and the associated oscillations are consistent with the appearance of a quantum-spin-liquid state whose excitations are fermionic spinons that obey a Dirac spectrum. The oscillations are in response to an emergent gauge field. Our results provide strong evidence that fractionalized particles coupled to the elusive emergent gauge field have been observed.


title: Multi-View Variational Autoencoder for Missing Value Imputation in Untargeted Metabolomics

abstract: Background: Missing data is a common challenge in mass spectrometry-based metabolomics, which can lead to biased and incomplete analyses. The integration of whole-genome sequencing (WGS) data with metabolomics data has emerged as a promising approach to enhance the accuracy of data imputation in metabolomics studies. Method: In this study, we propose a novel method that leverages the information from WGS data and reference metabolites to impute unknown metabolites. Our approach utilizes a multi-view variational autoencoder to jointly model the burden score, polygenetic risk score (PGS), and linkage disequilibrium (LD) pruned single nucleotide polymorphisms (SNPs) for feature extraction and missing metabolomics data imputation. By learning the latent representations of both omics data, our method can effectively impute missing metabolomics values based on genomic information. Results: We evaluate the performance of our method on empirical metabolomics datasets with missing values and demonstrate its superiority compared to conventional imputation techniques. Using 35 template metabolites derived burden scores, PGS and LD-pruned SNPs, the proposed methods achieved R^2-scores > 0.01 for 71.55% of metabolites. Conclusion: The integration of WGS data in metabolomics imputation not only improves data completeness but also enhances downstream analyses, paving the way for more comprehensive and accurate investigations of metabolic pathways and disease associations. Our findings offer valuable insights into the potential benefits of utilizing WGS data for metabolomics data imputation and underscore the importance of leveraging multi-modal data integration in precision medicine research.


title: Detecting and Fixing Violations of Modification Terms in Open Source Licenses during Forking

abstract: Open source software brings benefit to software community, but also introduces legal risks caused by license violations, which result in serious consequences such as lawsuits and financial losses. To mitigate legal risks, some approaches have been proposed to identify licenses, detect license incompatibilities and inconsistencies, and recommend licenses. As far as we know, however, there is no prior work to understand modification terms in open source licenses or to detect and fix violations of modification terms. To bridge this gap, we first empirically characterize modification terms in 47 open source licenses. These licenses all require certain forms of "notice" to describe the modifications made to the original work. Inspired by our study, we then design LiVo to automatically detect and fix violations of modification terms in open source licenses during forking. Our evaluation has shown the effectiveness and efficiency of LiVo. 18 pull requests of fixing modification term violations have received positive responses. 8 have been merged.


title: Spin and Valley Polarized Multiple Fermi Surfaces of {\alpha}-RuCl$_3$/Bilayer Graphene Heterostructure

abstract: We report the transport properties of ${\alpha}$-RuCl$_3$/bilayer graphene heterostructures, where carrier doping is induced by a work function difference, resulting in distinct electron and hole populations in ${\alpha}$-RuCl3 and bilayer graphene, respectively. Through a comprehensive analysis of multi-channel transport signatures, including Hall measurements and quantum oscillation, we unveil significant band modifications within the system. In particular, we observe the emergence of spin and valley polarized multiple hole-type Fermi pockets, originating from the spin-selective band hybridization between ${\alpha}$-RuCl$_3$ and bilayer graphene, breaking the spin degree of freedom. Unlike ${\alpha}$-RuCl$_3$ /monolayer graphene system, the presence of different hybridization strengths between ${\alpha}$-RuCl$_3$ and the top and bottom graphene layers leads to an asymmetric behavior of the two layers, confirmed by effective mass experiments, resulting in the manifestation of valley-polarized Fermi pockets. These compelling findings establish ${\alpha}$-RuCl$_3$ proximitized to bilayer graphene as an outstanding platform for engineering its unique low-energy band structure.