title: Multiphase Flow Simulation of Blow-by and Fuel-in-Oil Dilution via the Piston Ring Pack Using the CFD Level-Set Method

abstract: Modern diesel engines temporarily use a very late post-injection in the combustion cycle to either generate heat for a diesel particulate filter regeneration or purge a lean NOx trap. In some configurations, unburned fuel is left at the cylinder walls and is transported via the piston rings toward the lower crankcase region, where fuel may dilute the oil. Reduced oil lubrication shortens the oil service intervals and increases friction. Beside diesel fuel, this problem may also occur for other types of liquid fuels such as alcohols and e-fuels. The exact transport mechanism of the unburned fuel via the piston ring pack grooves and cylinder wall is hard to measure experimentally, motivating numerical flow simulation in early design stages for an in-depth understanding of the involved processes. A new CFD simulation methodology has been developed to investigate the transient, compressible, multiphase flow around the piston ring pack, through the gap between piston and liner, and its impact on fuel or oil transport. The modern level-set approach is used for the multiphase physics, which directly captures the sharp interface between blow-by gas and fuel or oil. Transient blow-by and two-phase flow simulations have been extensively applied to a Ford 2.0L I4 diesel test engine. The results confirm the validity of the flow compressibility assumption and highlight the sensitivity of the fuel leakage regarding piston sealing ring movement and highly resolved meshes for the multiphase flow. Based on the simulation results, design recommendations for piston and piston ring geometry are provided to reduce the fuel transport toward the crankcase.


title: The persistence of spin coherence in a crystalline environment

abstract: We analyze quantum interference in the triplet-exciton pair generated by singlet exciton fission in a molecular crystal, and introduce transport-induced dephasing (TID) as a key effect that can suppress the expected fluorescence quantum beats when the triplet-exciton wavefunction can localize on inequivalent sites. TID depends on the triplet-exciton hopping rate between inequivalent sites and on the energy-shifts among the stationary states of the entangled triplet pair in different spatial configurations. The theoretical model is confirmed by experiments in rubrene single crystals, where triplet pairs remain entangled for more than 50 ns but quantum beats are suppressed by TID within a few nanoseconds when the magnetic field is misaligned by just a few degrees from specific symmetric directions. Our experiments deliver the zero-field parameters for the rubrene molecule in its orthorhombic lattice and information on triplet-exciton transport, in particular the triplet-exciton hopping rate between inequivalent sites, which we evaluate to be of the order of 150 ps in rubrene.


title: Quantum-enabled continuous microwave-to-optics frequency conversion

abstract: A quantum interface between microwave and optical photons is essential for entangling remote superconducting quantum processors. To preserve fragile quantum states, a transducer must operate efficiently while generating less than one photon of noise referred to its input. Here, we present a platform that meets these criteria, utilizing a combination of electrostatic and optomechanical interactions in devices made entirely from crystalline silicon. This platform's small mechanical dissipation and low optical absorption enable ground-state radiative cooling, resulting in quantum-enabled operation with a continuous laser drive. Under the optimal settings for high efficiency (low noise), we measure an external efficiency of $2.2\%$ ($0.47\%$) and an input-referred added noise of $0.94$ ($0.58$) in microwave-to-optics conversion. We quantify the transducer throughput using the efficiency-bandwidth product, finding it exceeds previous demonstrations with similar noise performance by approximately two orders of magnitude, thereby paving a practical path to interconnecting remote superconducting qubits.


title: Lorentz Herz-type Besov-Triebel-Lizorkin spaces

abstract: In this paper, we introduce a family of function spaces of Besov and Triebel-Lizorkin type. We present the $\varphi $-transform characterization of these spaces in the sense of Frazier and Jawerth and we prove their Sobolev and Franke-Jewarth embeddings. Also, we establish the smooth atomic, molecular and wavelet decomposition of these function spaces. Characterizations by ball means of differences are given. Finally, we investigate a series of examples which play an important role in the study of function spaces of Besov-Triebel-Lizorkin type.


title: Window to Wall Ratio Detection using SegFormer

abstract: Window to Wall Ratios (WWR) are key to assessing the energy, daylight and ventilation performance of buildings. Studies have shown that window area has a large impact on building performance and simulation. However, data to set up these environmental models and simulations is typically not available. Instead, a standard 40% WWR is typically assumed for all buildings. This paper leverages existing computer vision window detection methods to predict WWR of buildings from external street view images using semantic segmentation, demonstrating the potential for adapting established computer vision technique in architectural applications


title: Coupled transport equations with freezing

abstract: We study a system of two coupled transport equations with freezing. The solutions freeze in time when they are equal. We prove existence and uniqueness of continuous solutions if the initial conditions are continuous. We discuss several qualitative and quantitative properties of the solutions. The equations arise in a model for collisions of a large number of tightly spaced balls.


title: Nature of long-lived moir\'e interlayer excitons in electrically tunable MoS$_{2}$/MoSe$_{2}$ heterobilayers

abstract: Interlayer excitons in transition-metal dichalcogenide heterobilayers combine high binding energy and valley-contrasting physics with long optical lifetime and strong dipolar character. Their permanent electric dipole enables electric-field control of emission energy, lifetime, and location. Device material and geometry impacts the nature of the interlayer excitons via their real- and momentum-space configurations. Here, we show that interlayer excitons in MoS$_{2}$/MoSe$_{2}$ heterobilayers are formed by charge carriers residing at the Brillouin zone edges, with negligible interlayer hybridization. We find that the moir\'e superlattice leads to the reversal of the valley-dependent optical selection rules, yielding a positively valued g-factor and cross-polarized photoluminescence. Time-resolved photoluminescence measurements reveal that the interlayer exciton population retains the optically induced valley polarization throughout its microsecond-long lifetime. The combination of long optical lifetime and valley polarization retention makes MoS$_{2}$/MoSe$_{2}$ heterobilayers a promising platform for studying fundamental bosonic interactions and developing excitonic circuits for optical information processing.


title: Constructive Safety-Critical Control: Synthesizing Control Barrier Functions for Partially Feedback Linearizable Systems

abstract: Certifying the safety of nonlinear systems, through the lens of set invariance and control barrier functions (CBFs), offers a powerful method for controller synthesis, provided a CBF can be constructed. This paper draws connections between partial feedback linearization and CBF synthesis. We illustrate that when a control affine system is input-output linearizable with respect to a smooth output function, then, under mild regularity conditions, one may extend any safety constraint defined on the output to a CBF for the full-order dynamics. These more general results are specialized to robotic systems where the conditions required to synthesize CBFs simplify. The CBFs constructed from our approach are applied and verified in simulation and hardware experiments on a quadrotor.


title: Eccentricity evolution of PTA sources from cosmological initial conditions

abstract: Recent results from pulsar timing arrays (PTAs) show evidence for a gravitational wave background (GWB) consistent with a population of unresolved supermassive black hole (SMBH) binaries (BHBs). While the data do not yet constrain the slope of the spectrum, this appears to flatten at the lowest frequencies, deviating from the power-law shape expected for circular binaries evolving solely due to gravitational wave (GW) emission. Interestingly, such flattening can be explained with a population of eccentric rather than circular binaries. The eccentricity of BHBs is notoriously difficult to predict based simply on the parameters of the host galaxies and the initial galactic orbit, as it is subject to stochastic effects. We study the evolution of the eccentricity of BHBs formed in galactic mergers with cosmological initial conditions from pairing to coalescence, with a focus on potential PTA sources. We select galactic mergers from the IllustrisTNG100-1 simulation and re-simulate them at high resolution with the N-body code Griffin down to binary separations of the order of a parsec. We then estimate coalescence timescales with a semi-analytical model of the evolution under the effects of GW emission and stellar hardening. We find that most mergers in IllustrisTNG100-1 occur on highly eccentric orbits, and that the eccentricity of BHBs at binary formation correlates with the initial eccentricity of the merger, if this is no larger than approximately 0.9. For extremely eccentric mergers, the binaries tend to form with modest eccentricities. We discuss the implications of these results on the interpretation of the observed GWB.


title: Self-Trained Model for ECG Complex Delineation

abstract: Electrocardiogram (ECG) delineation plays a crucial role in assisting cardiologists with accurate diagnoses. Prior research studies have explored various methods, including the application of deep learning techniques, to achieve precise delineation. However, existing approaches face limitations primarily related to dataset size and robustness. In this paper, we introduce a dataset for ECG delineation and propose a novel self-trained method aimed at leveraging a vast amount of unlabeled ECG data. Our approach involves the pseudolabeling of unlabeled data using a neural network trained on our dataset. Subsequently, we train the model on the newly labeled samples to enhance the quality of delineation. We conduct experiments demonstrating that our dataset is a valuable resource for training robust models and that our proposed self-trained method improves the prediction quality of ECG delineation.


title: Efficiency in Pure-Exchange Economies with Risk-Averse Monetary Utilities

abstract: We study Pareto efficiency in a pure-exchange economy where agents' preferences are represented by risk-averse monetary utilities. These coincide with law-invariant monetary utilities, and they can be shown to correspond to the class of monotone, (quasi-)concave, Schur concave, and translation-invariant utility functionals. This covers a large class of utility functionals, including a variety of law-invariant robust utilities. We show that Pareto optima exist and are comonotone, and we provide a crisp characterization thereof in the case of law-invariant positively homogeneous monetary utilities. This characterization provides an easily implementable algorithm that fully determines the shape of Pareto-optimal allocations. In the special case of law-invariant comonotone-additive monetary utility functionals (concave Yaari-Dual utilities), we provide a closed-form characterization of Pareto optima. As an application, we examine risk-sharing markets where all agents evaluate risk through law-invariant coherent risk measures, a widely popular class of risk measures. In a numerical illustration, we characterize Pareto-optimal risk-sharing for some special types of coherent risk measures.


title: On rectangular Toda brackets and Oda's extension problems

abstract: This paper tackles \textit{N. Oda}'s extension problems for the homotopy groups $\pi_{39}(S^{6})$, $\pi_{40}(S^{7})$, and $\pi_{41}(S^{8})$ localized at 2, the issues having eluded resolution for more than four decades. We introduce a tool for the theory of determinations of unstable homotopy groups, namely, the rectangular Toda bracket, by which we are able to solve the extension problems with respect to these three homotopy groups.


title: $DW$-compact operators on Banach lattices

abstract: This paper is devoted to the study of $DW$-compact operators, that is, those operators which map disjointly weakly compact sets in a Banach lattice onto relatively compact sets. We show that $DW$-compact operators are precisely the operators which are both Dunford-Pettis and $AM$-compact. As an application, Banach lattices with the property that every disjointly weakly compact set is a limited (resp. Dunford-Pettis) set, are characterized by using $DW$-compact operators.


title: Gravitational-wave data analysis with high-precision numerical relativity simulations of boson star mergers

abstract: Gravitational-wave signals detected to date are commonly interpreted under the paradigm that they originate from pairs of black holes or neutron stars. Here, we explore the alternative scenario of boson-star signals being present in the data stream. We perform accurate and long ($\sim 20$ orbits) numerical simulations of boson-star binaries and inject the resulting strain into LIGO noise. Our Bayesian inference reveals that some boson-star signals. are degenerate with current approximants, albeit with biased parameters, while others exhibit smoking-gun signatures leaving behind conspicuous residuals.


title: Optimal Rates for DP-SCO with a Single Epoch and Large Batches

abstract: The most common algorithms for differentially private (DP) machine learning (ML) are all based on stochastic gradient descent, for example, DP-SGD. These algorithms achieve DP by treating each gradient as an independent private query. However, this independence can cause us to overpay in privacy loss because we don't analyze the entire gradient trajectory. In this work, we propose a new DP algorithm, which we call Accelerated-DP-SRGD (DP stochastic recursive gradient descent), that enables us to break this independence and only pay for privacy in the gradient difference, i.e., in the new information at the current step. Our algorithm achieves the optimal DP-stochastic convex optimization (DP-SCO) error (up to polylog factors) using only a single epoch over the dataset, and converges at the Nesterov's accelerated rate. Our algorithm can be run in at most $\sqrt{n}$ batch gradient steps with batch size at least $\sqrt{n}$, unlike prior work which required $O(n)$ queries with mostly constant batch sizes. To achieve this, our algorithm combines three key ingredients, a variant of stochastic recursive gradients (SRG), accelerated gradient descent, and correlated noise generation from DP continual counting. Finally, we also show that our algorithm improves over existing SoTA on multi-class logistic regression on MNIST and CIFAR-10.


title: Reinforcement learning-based architecture search for quantum machine learning

abstract: Quantum machine learning (QML) leverages the large Hilbert space provided by quantum computing for data encoding, typically realized by parameterized quantum circuits (PQCs). While classical machine learning deals extensively with problem-specific model design, QML models mainly use hardwareefficient and heuristic circuit designs for PQCs. This work presents a novel approach employing the reinforcement learning algorithm MuZero to generate problem-specific PQCs to improve the QML performance. Diverging from previous search algorithms, we adopt a layered circuit design to significantly reduce the search space. Furthermore, we utilize cross-validation scoring to train the reinforcement learning algorithm, rewarding the discovery of high-performing circuits. In benchmarks we compare our tailored circuits with reference circuits from the literature, randomly generated circuits, and circuits generated by genetic algorithms. Our findings underscore the efficacy of problem-tailored encoding circuits in enhancing QML model performance.


title: Using Modularized Pin Ridge Filter in Proton FLASH Planning for Liver Stereotactic Ablative Body Radiotherapy

abstract: We previously developed a FLASH planning framework for streamlined pin-ridge-filter (pin-RF) design, demonstrating its feasibility for single-energy proton FLASH planning. In this study, we refined the pin-RF design for easy assembly using reusable modules, focusing on its application in liver SABR. This framework generates an intermediate IMPT plan and translates it into step widths and thicknesses of pin-RFs for a single-energy FLASH plan. Parameters like energy spacing, monitor unit limit, and spot quantity were adjusted during IMPT planning, resulting in pin-RFs assembled using predefined modules with widths from 1 to 6 mm, each with a WET of 5 mm. This approach was validated on three liver SABR cases. FLASH doses, quantified using the FLASH effectiveness model at 1 to 5 Gy thresholds, were compared to conventional IMPT (IMPT-CONV) doses to assess clinical benefits. The highest demand for 6 mm width modules, moderate for 2-4 mm, and minimal for 1- and 5-mm modules were shown across all cases. At lower dose thresholds, the two-beam case showed significant dose reductions (>23%), while the other two three-beam cases showed moderate reductions (up to 14.7%), indicating the need for higher fractional beam doses for an enhanced FLASH effect. Positive clinical benefits were seen only in the two-beam case at the 5 Gy threshold. At the 1 Gy threshold, the FLASH plan of the two-beam case outperformed its IMPT-CONV plan, reducing dose indicators by up to 28.3%. However, the three-beam cases showed negative clinical benefits at the 1 Gy threshold, with some dose indicators increasing by up to 16% due to lower fractional beam doses and closer beam arrangements. This study evaluated the feasibility of modularizing streamlined pin-RFs in single-energy proton FLASH planning for liver SABR, offering guidance on optimal module composition and strategies to enhance FLASH planning.


title: Analysis of the blowout plasma wakefields produced by drive beams with elliptical symmetry

abstract: In the underdense (blowout) regime of plasma wakefield acceleration (PWFA), the particle beam is denser than the plasma. Under these conditions, the plasma electrons are nearly completely rarefacted from the beam channel, resulting in a nominally uniform ion column. Extensive investigations of this interaction assuming axisymmetry have been undertaken. However, the plasma blowout produced by a transversely asymmetric driver possesses quite different characteristics. They create an asymmetric plasma rarefaction region (bubble) which leads to asymmetric focusing in the two transverse planes. This is also accompanied by an undesired non-uniform accelerating gradient. The asymmetric blowout cross-section is found through simulation to be elliptical, and treating it as such permits a simple extension of the symmetric theory. In particular, focusing fields linear in both transverse directions exist in the bubble. The form of the wake potential and the concomitant matching conditions in this elliptical cavity are discussed in this paper. We also discuss bubble boundary estimation in the long driver limit and applications of the asymmetric features of the wakefield.


title: 3D-HGS: 3D Half-Gaussian Splatting

abstract: Photo-realistic 3D Reconstruction is a fundamental problem in 3D computer vision. This domain has seen considerable advancements owing to the advent of recent neural rendering techniques. These techniques predominantly aim to focus on learning volumetric representations of 3D scenes and refining these representations via loss functions derived from rendering. Among these, 3D Gaussian Splatting (3D-GS) has emerged as a significant method, surpassing Neural Radiance Fields (NeRFs). 3D-GS uses parameterized 3D Gaussians for modeling both spatial locations and color information, combined with a tile-based fast rendering technique. Despite its superior rendering performance and speed, the use of 3D Gaussian kernels has inherent limitations in accurately representing discontinuous functions, notably at edges and corners for shape discontinuities, and across varying textures for color discontinuities. To address this problem, we propose to employ 3D Half-Gaussian (3D-HGS) kernels, which can be used as a plug-and-play kernel. Our experiments demonstrate their capability to improve the performance of current 3D-GS related methods and achieve state-of-the-art rendering performance on various datasets without compromising rendering speed.


title: Self-Control of LLM Behaviors by Compressing Suffix Gradient into Prefix Controller

abstract: We propose Self-Control, a novel method utilizing suffix gradients to control the behavior of large language models (LLMs) without explicit human annotations. Given a guideline expressed in suffix string and the model's self-assessment of adherence, Self-Control computes the gradient of this self-judgment concerning the model's hidden states, directly influencing the auto-regressive generation process towards desired behaviors. To enhance efficiency, we introduce Self-Control_{prefix}, a compact module that encapsulates the learned representations from suffix gradients into a Prefix Controller, facilitating inference-time control for various LLM behaviors. Our experiments demonstrate Self-Control's efficacy across multiple domains, including emotional modulation, ensuring harmlessness, and enhancing complex reasoning. Especially, Self-Control_{prefix} enables a plug-and-play control and jointly controls multiple attributes, improving model outputs without altering model parameters or increasing inference-time costs.


title: Control of Microrobots Using Model Predictive Control and Gaussian Processes for Disturbance Estimation

abstract: This paper presents a control framework for magnetically actuated micron-scale robots ($\mu$bots) designed to mitigate disturbances and improve trajectory tracking. To address the challenges posed by unmodeled dynamics and environmental variability, we combine data-driven modeling with model-based control to accurately track desired trajectories using a relatively small amount of data. The system is represented with a simple linear model, and Gaussian Processes (GP) are employed to capture and estimate disturbances. This disturbance-enhanced model is then integrated into a Model Predictive Controller (MPC). Our approach demonstrates promising performance in both simulation and experimental setups, showcasing its potential for precise and reliable microrobot control in complex environments.


title: Predicting AI Agent Behavior through Approximation of the Perron-Frobenius Operator

abstract: Predicting the behavior of AI-driven agents is particularly challenging without a preexisting model. In our paper, we address this by treating AI agents as nonlinear dynamical systems and adopting a probabilistic perspective to predict their statistical behavior using the Perron-Frobenius (PF) operator. We formulate the approximation of the PF operator as an entropy minimization problem, which can be solved by leveraging the Markovian property of the operator and decomposing its spectrum. Our data-driven methodology simultaneously approximates the PF operator to perform prediction of the evolution of the agents and also predicts the terminal probability density of AI agents, such as robotic systems and generative models. We demonstrate the effectiveness of our prediction model through extensive experiments on practical systems driven by AI algorithms.


title: The LiteBIRD mission to explore cosmic inflation

abstract: LiteBIRD, the next-generation cosmic microwave background (CMB) experiment, aims for a launch in Japan's fiscal year 2032, marking a major advancement in the exploration of primordial cosmology and fundamental physics. Orbiting the Sun-Earth Lagrangian point L2, this JAXA-led strategic L-class mission will conduct a comprehensive mapping of the CMB polarization across the entire sky. During its 3-year mission, LiteBIRD will employ three telescopes within 15 unique frequency bands (ranging from 34 through 448 GHz), targeting a sensitivity of 2.2\,$\mu$K-arcmin and a resolution of 0.5$^\circ$ at 100\,GHz. Its primary goal is to measure the tensor-to-scalar ratio $r$ with an uncertainty $\delta r = 0.001$, including systematic errors and margin. If $r \geq 0.01$, LiteBIRD expects to achieve a $>5\sigma$ detection in the $\ell=$2-10 and $\ell=$11-200 ranges separately, providing crucial insight into the early Universe. We describe LiteBIRD's scientific objectives, the application of systems engineering to mission requirements, the anticipated scientific impact, and the operations and scanning strategies vital to minimizing systematic effects. We will also highlight LiteBIRD's synergies with concurrent CMB projects.


title: Non-linear microlocal cut-off functors

abstract: To any conic closed set of a cotangent bundle, one can associate 4 functors on the category of sheaves, which are called non-linear microlocal cut-off functors. Here we explain their relation with the microlocal cut-off functor defined by Kashiwara and Schapira, and prove a microlocal cut-off lemma for non-linear microlocal cut-off functors, adapting inputs from symplectic geometry. We also prove two K\"unneth formulas and a functor classification result for categories of sheaves with microsupport conditions.


title: Temporal Graph Learning Recurrent Neural Network for Traffic Forecasting

abstract: Accurate traffic flow forecasting is a crucial research topic in transportation management. However, it is a challenging problem due to rapidly changing traffic conditions, high nonlinearity of traffic flow, and complex spatial and temporal correlations of road networks. Most existing studies either try to capture the spatial dependencies between roads using the same semantic graph over different time steps, or assume all sensors on the roads are equally likely to be connected regardless of the distance between them. However, we observe that the spatial dependencies between roads indeed change over time, and two distant roads are not likely to be helpful to each other when predicting the traffic flow, both of which limit the performance of existing studies. In this paper, we propose Temporal Graph Learning Recurrent Neural Network (TGLRN) to address these problems. More precisely, to effectively model the nature of time series, we leverage Recurrent Neural Networks (RNNs) to dynamically construct a graph at each time step, thereby capturing the time-evolving spatial dependencies between roads (i.e., microscopic view). Simultaneously, we provide the Adaptive Structure Information to the model, ensuring that close and consecutive sensors are considered to be more important for predicting the traffic flow (i.e., macroscopic view). Furthermore, to endow TGLRN with robustness, we introduce an edge sampling strategy when constructing the graph at each time step, which eventually leads to further improvements on the model performance. Experimental results on four commonly used real-world benchmark datasets show the effectiveness of TGLRN.


title: Stationary tower free homogeneously Suslin scales

abstract: Let $\lambda$ be a limit of Woodin cardinals. It was shown by the second author that the pointclass of ${<\lambda}$-homogeneously Suslin sets has the scale property. We give a new proof of this fact, which avoids the use of stationary tower forcing.


title: Impacts of Illuminance and Correlated Color Temperature on Cognitive Performance: A VR-Lighting Study

abstract: This study contributes to the ongoing exploration of methods to enhance the environmental design, cognitive function, and overall wellbeing, primarily focusing on understanding the modulation of human cognitive performance by artificial lighting conditions. In this investigation, participants (N=35) engaged with two distinct architectural contexts, each featuring five different lighting conditions within a virtual environment during specific daytime scenarios. Responding to a series of cognitive memory tests, we measured participant test scores and the corresponding reaction time. The study's findings, particularly in Backward Digit Span Tasks (BDST) and Visual Memory Tasks (VMT), indicate that diverse lighting conditions significantly impacted cognitive performance at different times of the day. Notably, the BDST scores were mainly affected by lighting conditions in the afternoon session, whereas the VMT scores were primarily influenced in the morning sessions. This research offers support for architects and engineers as they develop lighting designs that are sensitive to the cognitive performance of occupants. It highlights the advantages of utilizing VR simulations in the AEC industry to assess the impact of lighting designs on users. Further research can lead to the development of lighting systems that can promote better cognitive function and overall wellbeing.


title: Vagus nerve stimulation: Laying the groundwork for predictive network-based computer models

abstract: Vagus Nerve Stimulation (VNS) is an established palliative treatment for drug resistant epilepsy. While effective for many patients, its mechanism of action is incompletely understood. Predicting individuals' response, or optimum stimulation parameters, is challenging. Computational modelling has informed other problems in epilepsy but, to our knowledge, has not been applied to VNS. We started with an established, four-population neural mass model (NMM), capable of reproducing the seizure-like dynamics of a thalamocortical circuit. We extended this to include 18 further neural populations, representing nine other brain regions relevant to VNS, with connectivity based on existing literature. We modelled stimulated afferent vagal fibres as projecting to the nucleus tractus solitarius (NTS), which receives input from the vagus nerve in vivo. Bifurcation analysis of a deterministic version of the model showed higher background NTS input made the model monostable at a fixed point (FP), representing normal activity, while lower inputs produce bistability between the FP and a limit cycle (LC), representing the seizure state. Adding noise produced transitions between seizure and normal states. This stochastic model spent decreasing time in the seizure state with increasing background NTS input, until seizures were abolished, consistent with the deterministic model. Simulated VNS stimulation, modelled as a 30 Hz square wave, was summed with the background input to the NTS and was found to reduce total seizure duration in a dose-dependent manner, similar to expectations in vivo. We have successfully produced an in silico model of VNS in epilepsy, capturing behaviour seen in vivo. This may aid understanding therapeutic mechanisms of VNS in epilepsy and provides a starting point to (i) determine which patients might respond best to VNS, and (ii) optimise individuals' treatments.


title: Splitting of Girvin-MacDonald-Platzman density wave and the nature of chiral gravitons in fractional quantum Hall effect

abstract: A fundamental manifestation of the nontrivial correlations of an incompressible fractional quantum Hall (FQH) state is that an electron added to it disintegrates into more elementary particles, namely fractionally-charged composite fermions (CFs). We show here that the Girvin-MacDonald-Platzman (GMP) density-wave excitation of the $\nu{=}n/(2pn{\pm }1)$ FQH states also splits into more elementary single CF excitons. In particular, the GMP graviton, which refers to the recently observed spin-2 neutral excitation in the vanishing wave vector limit [Liang et al., Nature 628, 78 (2024)], remains undivided for $\nu{=}n/(2n{\pm} 1)$ but splits into two gravitons at $\nu{=}n/(4n{\pm} 1)$ with $n{>}1$. A detailed experimental confirmation of the many observable consequences of the splitting of the GMP mode should provide a unique window into the correlations underlying the FQH effect.


title: TD-MQTT: Transparent Distributed MQTT Brokers for Horizontal IoT Applications

abstract: MQTT (Message Queuing Telemetry Transport) has become the perfect messaging protocol for IoT (Internet of Things) systems since it is the lightest protocol designed for low bandwidth, high-latency, unreliable networks. Today, the strategy of distributing several MQTT brokers on the networks is widely used because the strategy of using a single broker is no longer efficient. However, in the distributing architectures of MQTT brokers, a subscriber should have prior knowledge about the address of the broker that publishes the data on the topics of interest. In this paper, we tackle this challenge by proposing a mechanism that connects the subscribers to the brokers in a transparent way. The proposed approach, known as TD-MQTT (Transparent Distributed MQTT brokers), requires no prior knowledge of the brokers by the subscribers. The data will be carried automatically from brokers that can change their configuration and location. The transparency will help to use IoT data without worrying about their location and dynamic configuration changes. To evaluate our approach, we compared it with the basic distributed MQTT and the EMMA (MQTT Middle-ware for Edge Computing Applications) approach. The results of the evaluation show that TD-MQTT is much better than the standard MQTT, especially in terms of response time.


title: GEFL: Extended Filtration Learning for Graph Classification

abstract: Extended persistence is a technique from topological data analysis to obtain global multiscale topological information from a graph. This includes information about connected components and cycles that are captured by the so-called persistence barcodes. We introduce extended persistence into a supervised learning framework for graph classification. Global topological information, in the form of a barcode with four different types of bars and their explicit cycle representatives, is combined into the model by the readout function which is computed by extended persistence. The entire model is end-to-end differentiable. We use a link-cut tree data structure and parallelism to lower the complexity of computing extended persistence, obtaining a speedup of more than 60x over the state-of-the-art for extended persistence computation. This makes extended persistence feasible for machine learning. We show that, under certain conditions, extended persistence surpasses both the WL[1] graph isomorphism test and 0-dimensional barcodes in terms of expressivity because it adds more global (topological) information. In particular, arbitrarily long cycles can be represented, which is difficult for finite receptive field message passing graph neural networks. Furthermore, we show the effectiveness of our method on real world datasets compared to many existing recent graph representation learning methods.


title: Textless Acoustic Model with Self-Supervised Distillation for Noise-Robust Expressive Speech-to-Speech Translation

abstract: In this paper, we propose a textless acoustic model with a self-supervised distillation strategy for noise-robust expressive speech-to-speech translation (S2ST). Recently proposed expressive S2ST systems have achieved impressive expressivity preservation performances by cascading unit-to-speech (U2S) generator to the speech-to-unit translation model. However, these systems are vulnerable to the presence of noise in input speech, which is an assumption in real-world translation scenarios. To address this limitation, we propose a U2S generator that incorporates a distillation with no label (DINO) self-supervised training strategy into it's pretraining process. Because the proposed method captures noise-agnostic expressivity representation, it can generate qualified speech even in noisy environment. Objective and subjective evaluation results verified that the proposed method significantly improved the performance of the expressive S2ST system in noisy environments while maintaining competitive performance in clean environments.


title: Mukai lifting of self-dual points in $\mathbb{P}^6$

abstract: A set of $2n$ points in $\mathbb{P}^{n-1}$ is self-dual if it is invariant under the Gale transform. Motivated by Mukai's work on canonical curves, Petrakiev showed that a general self-dual set of $14$ points in $\mathbb{P}^6$ arises as the intersection of the Grassmannian ${\rm Gr}(2,6)$ in its Pl\"ucker embedding in $\mathbb{P}^{14}$ with a linear space of dimension $6$. In this paper we focus on the inverse problem of recovering such a linear space associated to a general self-dual set of points. We use numerical homotopy continuation to approach the problem and implement an algorithm in Julia to solve it. Along the way we also implement the forward problem of slicing Grassmannians and use it to experimentally study the real solutions to this problem.


title: Existence and nonexistence of minimizers for classical capillarity problems in presence of nonlocal repulsion and gravity

abstract: We investigate, under a volume constraint and among sets contained in a Euclidean half-space, the minimization problem of an energy functional given by the sum of a capillarity perimeter, a nonlocal repulsive term and a gravitational potential energy. The capillarity perimeter assigns a constant weight to the portion of the boundary touching the boundary of the half-space. The nonlocal term is represented by a double integral of a positive kernel $g$, while the gravitational term is represented by the integral of a positive potential $G$. We first establish existence of volume-constrained minimizers in the small mass regime, together with several qualitative properties of minimizers. The existence result holds even for rather general choices of kernels in the nonlocal term, including attractive-repulsive ones. When the nonlocal kernel $g(x)=1/|x|^\beta$ with $\beta \in (0,2]$, we also obtain nonexistence of volume constrained minimizers in the large mass regime. Finally, we prove a generalized existence result of minimizers holding for all masses, meaning that the infimum of the problem is realized by a finite disjoint union of sets thought located at "infinite distance" one from the other. These results stem from an application of quantitative isoperimetric inequalities for the capillarity problem in a half-space.


title: Synthetic Data Outliers: Navigating Identity Disclosure

abstract: Multiple synthetic data generation models have emerged, among which deep learning models have become the vanguard due to their ability to capture the underlying characteristics of the original data. However, the resemblance of the synthetic to the original data raises important questions on the protection of individuals' privacy. As synthetic data is perceived as a means to fully protect personal information, most current related work disregards the impact of re-identification risk. In particular, limited attention has been given to exploring outliers, despite their privacy relevance. In this work, we analyze the privacy of synthetic data w.r.t the outliers. Our main findings suggest that outliers re-identification via linkage attack is feasible and easily achieved. Furthermore, additional safeguards such as differential privacy can prevent re-identification, albeit at the expense of the data utility.


title: CAMP: Compiler and Allocator-based Heap Memory Protection

abstract: The heap is a critical and widely used component of many applications. Due to its dynamic nature, combined with the complexity of heap management algorithms, it is also a frequent target for security exploits. To enhance the heap's security, various heap protection techniques have been introduced, but they either introduce significant runtime overhead or have limited protection. We present CAMP, a new sanitizer for detecting and capturing heap memory corruption. CAMP leverages a compiler and a customized memory allocator. The compiler adds boundary-checking and escape-tracking instructions to the target program, while the memory allocator tracks memory ranges, coordinates with the instrumentation, and neutralizes dangling pointers. With the novel error detection scheme, CAMP enables various compiler optimization strategies and thus eliminates redundant and unnecessary check instrumentation. This design minimizes runtime overhead without sacrificing security guarantees. Our evaluation and comparison of CAMP with existing tools, using both real-world applications and SPEC CPU benchmarks, show that it provides even better heap corruption detection capability with lower runtime overhead.


title: Electrical control of intrinsic nonlinear Hall effect in antiferromagnetic topological insulator sandwiches

abstract: Nonlinear Hall effect (NHE) can originate from the quantum metric mechanism in antiferromagnetic topological materials with PT symmetry, which has been experimentally observed in MnBi2Te4. In this work, we propose that breaking PT symmetry via external electric fields can lead to a dramatic enhancement of NHE, thus allowing for an electric control of NHE. Microscopically, this is because breaking PT symmetry can lift spin degeneracy of a Kramers' pair, giving rise to additional contributions within one Kramers' pair of bands. We demonstrate this enhancement through a model Hamiltonian that describes an antiferromagnetic topological insulator sandwich structure.


title: Local Search k-means++ with Foresight

abstract: Since its introduction in 1957, Lloyd's algorithm for $k$-means clustering has been extensively studied and has undergone several improvements. While in its original form it does not guarantee any approximation factor at all, Arthur and Vassilvitskii (SODA 2007) proposed $k$-means++ which enhances Lloyd's algorithm by a seeding method which guarantees a $\mathcal{O}(\log k)$-approximation in expectation. More recently, Lattanzi and Sohler (ICML 2019) proposed LS++ which further improves the solution quality of $k$-means++ by local search techniques to obtain a $\mathcal{O}(1)$-approximation. On the practical side, the greedy variant of $k$-means++ is often used although its worst-case behaviour is provably worse than for the standard $k$-means++ variant. We investigate how to improve LS++ further in practice. We study two options for improving the practical performance: (a) Combining LS++ with greedy $k$-means++ instead of $k$-means++, and (b) Improving LS++ by better entangling it with Lloyd's algorithm. Option (a) worsens the theoretical guarantees of $k$-means++ but improves the practical quality also in combination with LS++ as we confirm in our experiments. Option (b) is our new algorithm, Foresight LS++. We experimentally show that FLS++ improves upon the solution quality of LS++. It retains its asymptotic runtime and its worst-case approximation bounds.


title: Long Range Propagation on Continuous-Time Dynamic Graphs

abstract: Learning Continuous-Time Dynamic Graphs (C-TDGs) requires accurately modeling spatio-temporal information on streams of irregularly sampled events. While many methods have been proposed recently, we find that most message passing-, recurrent- or self-attention-based methods perform poorly on long-range tasks. These tasks require correlating information that occurred "far" away from the current event, either spatially (higher-order node information) or along the time dimension (events occurred in the past). To address long-range dependencies, we introduce Continuous-Time Graph Anti-Symmetric Network (CTAN). Grounded within the ordinary differential equations framework, our method is designed for efficient propagation of information. In this paper, we show how CTAN's (i) long-range modeling capabilities are substantiated by theoretical findings and how (ii) its empirical performance on synthetic long-range benchmarks and real-world benchmarks is superior to other methods. Our results motivate CTAN's ability to propagate long-range information in C-TDGs as well as the inclusion of long-range tasks as part of temporal graph models evaluation.


title: Sampling From Multiscale Densities With Delayed Rejection Generalized Hamiltonian Monte Carlo

abstract: With the increasing prevalence of probabilistic programming languages, Hamiltonian Monte Carlo (HMC) has become the mainstay of applied Bayesian inference. However HMC still struggles to sample from densities with multiscale geometry: a large step size is needed to efficiently explore low curvature regions while a small step size is needed to accurately explore high curvature regions. We introduce the delayed rejection generalized HMC (DR-G-HMC) sampler that overcomes this challenge by employing dynamic step size selection, inspired by differential equation solvers. In a single sampling iteration, DR-G-HMC sequentially makes proposals with geometrically decreasing step sizes if necessary. This simulates Hamiltonian dynamics with increasing fidelity that, in high curvature regions, generates proposals with a higher chance of acceptance. DR-G-HMC also makes generalized HMC competitive by decreasing the number of rejections which otherwise cause inefficient backtracking and prevents directed movement. We present experiments to demonstrate that DR-G-HMC (1) correctly samples from multiscale densities, (2) makes generalized HMC methods competitive with the state of the art No-U-Turn sampler, and (3) is robust to tuning parameters.


title: Tolerant Algorithms for Learning with Arbitrary Covariate Shift

abstract: We study the problem of learning under arbitrary distribution shift, where the learner is trained on a labeled set from one distribution but evaluated on a different, potentially adversarially generated test distribution. We focus on two frameworks: PQ learning [Goldwasser, A. Kalai, Y. Kalai, Montasser NeurIPS 2020], allowing abstention on adversarially generated parts of the test distribution, and TDS learning [Klivans, Stavropoulos, Vasilyan COLT 2024], permitting abstention on the entire test distribution if distribution shift is detected. All prior known algorithms either rely on learning primitives that are computationally hard even for simple function classes, or end up abstaining entirely even in the presence of a tiny amount of distribution shift. We address both these challenges for natural function classes, including intersections of halfspaces and decision trees, and standard training distributions, including Gaussians. For PQ learning, we give efficient learning algorithms, while for TDS learning, our algorithms can tolerate moderate amounts of distribution shift. At the core of our approach is an improved analysis of spectral outlier-removal techniques from learning with nasty noise. Our analysis can (1) handle arbitrarily large fraction of outliers, which is crucial for handling arbitrary distribution shifts, and (2) obtain stronger bounds on polynomial moments of the distribution after outlier removal, yielding new insights into polynomial regression under distribution shifts. Lastly, our techniques lead to novel results for tolerant testable learning [Rubinfeld and Vasilyan STOC 2023], and learning with nasty noise.


title: Democratizing Propensity Score Matching Using Web Application

abstract: Traditionally, data scientists use exploratory data analysis techniques such as correlation analysis, summary statistics, and regression analysis for identifying the most product enhancements and roadmap planning. However, these conventional approaches often yield biased conclusions and suboptimal solutions, leading to a waste of valuable time and missed opportunities for higher-value outcomes. In contrast, there are alternative techniques that involve the use of causal inference methods. However, these methods suffer from issues of limited accessibility, as they are not easily understandable or effectively utilized by inexperienced practitioners. Additionally, their implementation necessitates a substantial investment of time and effort. To this end, this paper tackles these challenges by democratizing one of the causal inference methods called Propensity Score Matching (PSM) and enhancing its accessibility for less technically inclined users through the automation of the entire workflow using a web application. Our approach not only fills this accessibility gap but also contributes to the existing literature by introducing a more rigorous model selection process and an enhanced sensitivity analysis. By overcoming the limitations of traditional exploratory data analysis methods, our web application has empowered data scientists at Booking.com to make better use of PSM, thereby improving the overall efficacy of their analyses.


title: DPDR: Gradient Decomposition and Reconstruction for Differentially Private Deep Learning

abstract: Differentially Private Stochastic Gradients Descent (DP-SGD) is a prominent paradigm for preserving privacy in deep learning. It ensures privacy by perturbing gradients with random noise calibrated to their entire norm at each training step. However, this perturbation suffers from a sub-optimal performance: it repeatedly wastes privacy budget on the general converging direction shared among gradients from different batches, which we refer as common knowledge, yet yields little information gain. Motivated by this, we propose a differentially private training framework with early gradient decomposition and reconstruction (DPDR), which enables more efficient use of the privacy budget. In essence, it boosts model utility by focusing on incremental information protection and recycling the privatized common knowledge learned from previous gradients at early training steps. Concretely, DPDR incorporates three steps. First, it disentangles common knowledge and incremental information in current gradients by decomposing them based on previous noisy gradients. Second, most privacy budget is spent on protecting incremental information for higher information gain. Third, the model is updated with the gradient reconstructed from recycled common knowledge and noisy incremental information. Theoretical analysis and extensive experiments show that DPDR outperforms state-of-the-art baselines on both convergence rate and accuracy.


title: Measuring Stochastic Data Complexity with Boltzmann Influence Functions

abstract: Estimating the uncertainty of a model's prediction on a test point is a crucial part of ensuring reliability and calibration under distribution shifts. A minimum description length approach to this problem uses the predictive normalized maximum likelihood (pNML) distribution, which considers every possible label for a data point, and decreases confidence in a prediction if other labels are also consistent with the model and training data. In this work we propose IF-COMP, a scalable and efficient approximation of the pNML distribution that linearizes the model with a temperature-scaled Boltzmann influence function. IF-COMP can be used to produce well-calibrated predictions on test points as well as measure complexity in both labelled and unlabelled settings. We experimentally validate IF-COMP on uncertainty calibration, mislabel detection, and OOD detection tasks, where it consistently matches or beats strong baseline methods.


title: RATT: A Thought Structure for Coherent and Correct LLM Reasoning

abstract: Large Language Models (LLMs) gain substantial reasoning and decision-making capabilities from thought structures. However, existing methods such as Tree of Thought and Retrieval Augmented Thoughts often fall short in complex tasks due to the limitations of insufficient local retrieval of factual knowledge and inadequate global selection of strategies. These limitations make it challenging for these methods to balance factual accuracy and comprehensive logical optimization effectively. To address these limitations, we introduce the Retrieval Augmented Thought Tree (RATT), a novel thought structure that considers both overall logical soundness and factual correctness at each step of the thinking process. Specifically, at every point of a thought branch, RATT performs planning and lookahead to explore and evaluate multiple potential reasoning steps, and integrate the fact-checking ability of Retrieval-Augmented Generation (RAG) with LLM's ability to assess overall strategy. Through this combination of factual knowledge and strategic feasibility, the RATT adjusts and integrates the thought tree structure to search for the most promising branches within the search space. This thought structure significantly enhances the model's coherence in logical inference and efficiency in decision-making, and thus increases the limit of the capacity of LLM to generate reliable inferences and decisions based on thought structures. A broad range of experiments on different types of tasks showcases that the RATT structure significantly outperforms existing methods in factual correctness and logical coherence.


title: On the hypergeometric function and families of holomorphic functions

abstract: In this work, we examine one two-parameter family of sets consisting of functions holomorphic in the unit disk, previously investigated by several mathematicians. We focus on the set-theoretic properties of this family, identify the general form of filtrations within it, and discover that it is not a lattice. This insight motivates us to introduce a refined concept of quasi-infima and quasi-suprema, and to establish their complete description. Unexpectedly, some new properties of the Gau\ss\ hypergeometric function play a crucial role in our investigation.


title: Story Generation from Visual Inputs: Techniques, Related Tasks, and Challenges

abstract: Creating engaging narratives from visual data is crucial for automated digital media consumption, assistive technologies, and interactive entertainment. This survey covers methodologies used in the generation of these narratives, focusing on their principles, strengths, and limitations. The survey also covers tasks related to automatic story generation, such as image and video captioning, and visual question answering, as well as story generation without visual inputs. These tasks share common challenges with visual story generation and have served as inspiration for the techniques used in the field. We analyze the main datasets and evaluation metrics, providing a critical perspective on their limitations.


title: Efficient Leverage Score Sampling for Tensor Train Decomposition

abstract: Tensor Train~(TT) decomposition is widely used in the machine learning and quantum physics communities as a popular tool to efficiently compress high-dimensional tensor data. In this paper, we propose an efficient algorithm to accelerate computing the TT decomposition with the Alternating Least Squares (ALS) algorithm relying on exact leverage scores sampling. For this purpose, we propose a data structure that allows us to efficiently sample from the tensor with time complexity logarithmic in the tensor size. Our contribution specifically leverages the canonical form of the TT decomposition. By maintaining the canonical form through each iteration of ALS, we can efficiently compute (and sample from) the leverage scores, thus achieving significant speed-up in solving each sketched least-square problem. Experiments on synthetic and real data on dense and sparse tensors demonstrate that our method outperforms SVD-based and ALS-based algorithms.


title: A Fast Compensated Algorithm for Computing Givens Rotations

abstract: We develop a very simple compensated scheme for computing very accurate Givens rotations. The approach is significantly more straightforward than the one in \cite{borges2021fast}, and the derivation leads to a very satisfying algorithm whereby a naively computed Givens rotation can be used to construct a correction to itself. It is also seen that this scheme continues to provide high accuracy even when built on a hypoteneuse calculation that is of lesser accuracy.


title: Bayesian Statistics: A Review and a Reminder for the Practicing Reliability Engineer

abstract: This paper introduces and reviews some of the principles and methods used in Bayesian reliability. It specifically discusses methods used in the analysis of success/no-success data and then reminds the reader of a simple Monte Carlo algorithm that can be used to calculate the posterior distribution of a system's reliability. This algorithm is especially useful when a system's reliability is modeled through the reliability of its subcomponents, yet only system-level data is available.


title: Multidimensional analogs of the Fekete--Szeg\"{o} functional

abstract: In this paper we introduce the Fekete--Szeg\"{o} type mapping in the open unit ball of a complex Banach space. % and study its geometric and analytical properties. All previously studied modifications of the Fekete--Szeg\"{o} functional are either special cases or `components' of the mapping we introduce. The study involves the examination of transforms of the Fekete--Szeg\"o mapping under specific transformations applied to given holomorphic mappings. We show that for a mapping $f$, the third order Fr\'eshet derivative of the inverse mapping $f^{-1}$ and of elements of the semigroup generated by $f$ can be expressed in terms of the Fekete--Szeg\"{o} mapping. Estimates of the Fekete--Szeg\"o mapping over some subclasses of semigroup generators and of starlike mappings are also presented.


title: Towards improved property prediction of two-dimensional (2D) materials using many-body Quantum Monte Carlo methods

abstract: The field of two-dimensional (2D) materials has grown dramatically in the last two decades. 2D materials can be utilized for a variety of next-generation optoelectronic, spintronic, clean energy, and quantum computation applications. These 2D structures, which are often exfoliated from layered van der Waals (vdW) materials, possess highly inhomogeneous electron densities and can possess short- and long-range electron correlations. The complexities of 2D materials make them challenging to study with standard mean-field electronic structure methods such as density functional theory (DFT), which relies on approximations for the unknown exchange-correlation functional. In order to overcome the limitations of DFT, highly accurate many-body electronic structure approaches such as Diffusion Monte Carlo (DMC) can be utilized. In the past decade, DMC has been used to calculate accurate magnetic, electronic, excitonic, and topological properties in addition to accurately capturing interlayer interactions and cohesion and adsorption energetics of 2D materials. This approach has been applied to 2D systems of wide interest including graphene, phosphorene, MoS$_2$, CrI$_3$, VSe$_2$, GaSe, GeSe, borophene, and several others. In this review article, we highlight some successful recent applications of DMC to 2D systems for improved property predictions beyond standard DFT.


title: Warped Disk Evolution in Grid-Based Simulations

abstract: Observations show evidence that a significant fraction of protoplanetary disks contain warps. A warp in a disk evolves in time affecting the appearance of shadows and greatly influencing kinematic signatures. So far, many theoretical studies of warped disks have been conducted using Smoothed Particle Hydrodynamics (SPH) methods. In our approach, we use a grid-based method in spherical coordinates which has notable advantages: the method allows for accurate modelling of low viscosity values and the resolution does not depend on density or mass of the disk, which allows surface structures to be resolved. We perform 3D simulations using FARGO3D to simulate the evolution of a warped disk and compare the results to one-dimensional models using a ring code. Additionally, we extensively investigate the applicability of grid-based methods to misaligned disks and test their dependency on grid resolution as well as disk viscosity. We find that grid-based simulations are capable of simulating disks not aligned to the grid geometry. Our three-dimensional simulation of a warped disk compares well to one-dimensional models in evolution of inclination. However, we find a twist which is not captured in 1D models. After thorough analysis we suspect this to be a physical effect possibly caused by non-linear effects neglected in the one-dimensional equations. Evaluating the internal dynamics, we find sloshing and breathing motions as predicted in local shearing box analysis. They can become supersonic, which may have consequences on kinematic observations of warped disks. Warped disks can be accurately modelled in 3D grid-based simulations when using reasonably good resolution, especially in the $\theta$-direction. We find good agreement with the linear approximation of the sloshing motion which highlights the reliability of 1D models.


title: Spectro-Photometry and Radial Distribution of Multiple Stellar Populations in Globular Clusters from Gaia XP Spectra

abstract: Understanding the formation of multiple populations in globular clusters (GCs) represents a challenge for stellar population studies. Nevertheless, the outermost GC regions, which may retain information of the initial configuration of the multiple populations, are poorly studied. We use synthetic spectra that account for the chemical compositions of first- and second-population (1P, 2P) stars of 47 Tucanae to identify the spectral regions that are sensitive to its multiple populations. Hence, we defined new photometric bands that are efficient to disentangle 1P and 2P giant stars from Gaia XP spectra. To test these new filters, we constructed the pseudo two-color diagrams dubbed chromosome maps (ChMs) and identified for the first time, 1P and 2P stars in the outermost cluster regions of 47 Tucanae and outside the tidal radius. We constructed similar diagrams for NGC3201, NGC6121, NGC6752, and NGC6397, thus exploring GCs with different metallicities. The ChMs allowed us to clearly disentangle 1P and 2P stars in the external regions of all clusters, with the exception of the metal-poor NGC6397. Our findings, together with literature results from more-internal regions, show that the 2P stars of 47 Tucanae and NGC 3201 are more-centrally concentrated than the 1P, whereas the multiple populations of NGC 6121, and NGC 6752 share the same radial distributions. These radial behaviors are consistent with the GC formation scenarios where 2P stars originate in the central regions. Noticeably, results on NGC 3201 are in tension with the conclusion from recent work that its 1P is more centrally concentrated than the 2P and might form with more central concentration.


title: Aligning Large Language Models via Fine-grained Supervision

abstract: Pre-trained large-scale language models (LLMs) excel at producing coherent articles, yet their outputs may be untruthful, toxic, or fail to align with user expectations. Current approaches focus on using reinforcement learning with human feedback (RLHF) to improve model alignment, which works by transforming coarse human preferences of LLM outputs into a feedback signal that guides the model learning process. However, because this approach operates on sequence-level feedback, it lacks the precision to identify the exact parts of the output affecting user preferences. To address this gap, we propose a method to enhance LLM alignment through fine-grained token-level supervision. Specifically, we ask annotators to minimally edit less preferred responses within the standard reward modeling dataset to make them more favorable, ensuring changes are made only where necessary while retaining most of the original content. The refined dataset is used to train a token-level reward model, which is then used for training our fine-grained Proximal Policy Optimization (PPO) model. Our experiment results demonstrate that this approach can achieve up to an absolute improvement of $5.1\%$ in LLM performance, in terms of win rate against the reference model, compared with the traditional PPO model.


title: Minimal dispersion on the cube and the torus

abstract: We improve some upper bounds for minimal dispersion on the cube and torus. /Our new ingredient is an improvement of a probabilistic lemma used to obtain upper bounds for dispersion in several previous works. Our new lemma combines a random and non-random choice of points in the cube. This leads to better upper bounds for the minimal dispersion.


title: Non-linear resolvents of holomorphically accretive mappings

abstract: In this paper, we present new results on holomorphically accretive mappings and their resolvents defined on the open unit ball of a complex Banach space. We employ a unified approach to examine various properties of non-linear resolvents by applying a distortion theorem we have established. This method enables us to prove a covering result and to establish the accretivity of resolvents along with estimates of the squeezing ratio. Furthermore, we prove that under certain mild conditions, a non-linear resolvent is a starlike mapping of a specified order. As a key tool, we first introduce a refined version of the inverse function theorem for mappings satisfying so-called one-sided estimates.


title: Multi-wavelength Emission from Jets and Magnetically Arrested Disks in Nearby Radio Galaxies: Application to M87

abstract: Radio galaxies are a subclass of active galactic nuclei that drive relativistic jets from their center and are observed in radio to very-high-energy gamma rays. The emission mechanisms and regions are still unknown. High-energy gamma rays can be explained by the emission from the magnetically arrested disks (MADs) around the central supermassive black hole, for which the magnetic flux threading the black hole is in a saturation level, although the emission from the MADs does not explain the optical and X-ray data. We construct a multi-wavelength emission model in which the optical and X-ray emission is emitted by jets and the gamma rays by MADs. Our model takes into account the particle injection by the magnetic reconnection at the jet base close to the black hole and particle entrainment from the ambient gas at the jet emission zone. We apply our model to M87 and find that our model can explain the simultaneous multi-wavelength data. In our model, the emission from the jets is the synchrotron radiation of the nonthermal electrons accelerated by magnetic reconnection, and the emission from the MADs is the synchrotron radiation mainly of the nonthermal protons accelerated by turbulence. We also find that the strong plasma entrainment is necessary to explain the multi-wavelength data. Our model will be tested by variability analysis among the multi-wavelength data.


title: Stable MPC with maximal terminal sets and quadratic terminal costs

abstract: This paper develops a technique for computing a quadratic terminal cost for linear model predictive controllers that is valid for all states in the maximal control invariant set. This maximizes the set of recursively feasible states for the controller, ensures asymptotic stability using standard proofs, and allows for easy tuning of the controller in linear operation.


title: Multi-layer Learnable Attention Mask for Multimodal Tasks

abstract: While the Self-Attention mechanism in the Transformer model has proven to be effective in many domains, we observe that it is less effective in more diverse settings (e.g. multimodality) due to the varying granularity of each token and the high computational demands of lengthy sequences. To address the challenges, we introduce the Learnable Attention Mask (LAM), strategically designed to globally regulate attention maps and prioritize critical tokens within the sequence. Leveraging the Self-Attention module in a BERT-like transformer network, our approach adeptly captures associations between tokens. The extension of the LAM to a multi-layer version accommodates the varied information aspects embedded at each layer of the Transformer network. Comprehensive experimental validation on various datasets, such as MADv2, QVHighlights, ImageNet 1K, and MSRVTT, demonstrates the efficacy of the LAM, exemplifying its ability to enhance model performance while mitigating redundant computations. This pioneering approach presents a significant advancement in enhancing the understanding of complex scenarios, such as in movie understanding.


title: Skeletal Density Measurements for Adsorbent Nanomaterials

abstract: Due to their tunable material properties, sorptive materials have a wide range of applications in energy storage, water treatment, carbon capture, analytical chemistry, and more. One crucial factor in determining the effectiveness of such materials is their skeletal density, or "true density" because it is often used to calculate key metrics, such as storage capacities. In this paper, we present skeletal density measurements through helium pycnometry for several types of adsorbent carbon materials derived from either corncob, sawdust, coffee grounds, polyvinylidene chloride (PVDC), graphitic carbon nitride (GCN), or metal organic frameworks (MOFs). The measured skeletal density of sawdust-based activated carbon was 2.02 +/- 0.05 g/$cm^{ 3}$. The measured skeletal density of coffee-based activated carbon was 2.23 +/- 0.06 $cm^{ 3}$. We also expound upon the impact that skeletal density has upon hydrogen excess adsorption measurements and other calculated engineering quantities. If a skeletal density is underestimated by 10%, it can affect the room temperature excess adsorption by at least 5% at 100 bar and by 7% at 200 bar, depending on the material type.


title: Indexing Finite-State Automata Using Forward-Stable Partitions

abstract: An index on a finite-state automaton is a data structure able to locate specific patterns on the automaton's paths and consequently on the regular language accepted by the automaton itself. Cotumaccio and Prezza [SODA '21], introduced a data structure able to solve pattern matching queries on automata, generalizing the famous FM-index for strings of Ferragina and Manzini [FOCS '00]. The efficiency of their index depends on the width of a particular partial order of the automaton's states, the smaller the width of the partial order, the faster is the index. However, computing the partial order of minimal width is NP-hard. This problem was mitigated by Cotumaccio [DCC '22], who relaxed the conditions on the partial order, allowing it to be a partial preorder. This relaxation yields the existence of a unique partial preorder of minimal width that can be computed in polynomial time. In the paper at hand, we present a new class of partial preorders and show that they have the following useful properties: (i) they can be computed in polynomial time, (ii) their width is never larger than the width of Cotumaccio's preorders, and (iii) there exist infinite classes of automata on which the width of Cotumaccio's pre-order is linearly larger than the width of our preorder.


title: Adaptive Preference Scaling for Reinforcement Learning with Human Feedback

abstract: Reinforcement learning from human feedback (RLHF) is a prevalent approach to align AI systems with human values by learning rewards from human preference data. Due to various reasons, however, such data typically takes the form of rankings over pairs of trajectory segments, which fails to capture the varying strengths of preferences across different pairs. In this paper, we propose a novel adaptive preference loss, underpinned by distributionally robust optimization (DRO), designed to address this uncertainty in preference strength. By incorporating an adaptive scaling parameter into the loss for each pair, our method increases the flexibility of the reward function. Specifically, it assigns small scaling parameters to pairs with ambiguous preferences, leading to more comparable rewards, and large scaling parameters to those with clear preferences for more distinct rewards. Computationally, our proposed loss function is strictly convex and univariate with respect to each scaling parameter, enabling its efficient optimization through a simple second-order algorithm. Our method is versatile and can be readily adapted to various preference optimization frameworks, including direct preference optimization (DPO). Our experiments with robotic control and natural language generation with large language models (LLMs) show that our method not only improves policy performance but also aligns reward function selection more closely with policy optimization, simplifying the hyperparameter tuning process.


title: Discovering Dynamic Symbolic Policies with Genetic Programming

abstract: Artificial intelligence (AI) techniques are increasingly being applied to solve control problems. However, control systems developed in AI are often black-box methods, in that it is not clear how and why they generate their outputs. A lack of transparency can be problematic for control tasks in particular, because it complicates the identification of biases or errors, which in turn negatively influences the user's confidence in the system. To improve the interpretability and transparency in control systems, the black-box structure can be replaced with white-box symbolic policies described by mathematical expressions. Genetic programming offers a gradient-free method to optimise the structure of non-differentiable mathematical expressions. In this paper, we show that genetic programming can be used to discover symbolic control systems. This is achieved by learning a symbolic representation of a function that transforms observations into control signals. We consider both systems that implement static control policies without memory and systems that implement dynamic memory-based control policies. In case of the latter, the discovered function becomes the state equation of a differential equation, which allows for evidence integration. Our results show that symbolic policies are discovered that perform comparably with black-box policies on a variety of control tasks. Furthermore, the additional value of the memory capacity in the dynamic policies is demonstrated on experiments where static policies fall short. Overall, we demonstrate that white-box symbolic policies can be optimised with genetic programming, while offering interpretability and transparency that lacks in black-box models.


title: Nonlinear resolvents in the unit disk: geometry and dynamics

abstract: In this paper we present a unified approach to the study of geometric and dynamic properties of nonlinear resolvents of holomorphic generators. The idea is to apply the distortion theorem we have established. This method allows us to find order of spirallikeness and of strong starlikeness of resolvents and remove all the restrictions for resolvents to admit quasiconformal extension to the complex plane $\C$. In addition, we use this method to establish the uniform convergence of the resolvent family on the whole unit disk and obtain some characteristics of semigroups generated by these resolvents.


title: Spatial and social situation-aware transformer-based trajectory prediction of autonomous systems

abstract: Autonomous transportation systems such as road vehicles or vessels require the consideration of the static and dynamic environment to dislocate without collision. Anticipating the behavior of an agent in a given situation is required to adequately react to it in time. Developing deep learning-based models has become the dominant approach to motion prediction recently. The social environment is often considered through a CNN-LSTM-based sub-module processing a $\textit{social tensor}$ that includes information of the past trajectory of surrounding agents. For the proposed transformer-based trajectory prediction model, an alternative, computationally more efficient social tensor definition and processing is suggested. It considers the interdependencies between target and surrounding agents at each time step directly instead of relying on information of last hidden LSTM states of individually processed agents. A transformer-based sub-module, the Social Tensor Transformer, is integrated into the overall prediction model. It is responsible for enriching the target agent's dislocation features with social interaction information obtained from the social tensor. For the awareness of spatial limitations, dislocation features are defined in relation to the navigable area. This replaces additional, computationally expensive map processing sub-modules. An ablation study shows, that for longer prediction horizons, the deviation of the predicted trajectory from the ground truth is lower compared to a spatially and socially agnostic model. Even if the performance gain from a spatial-only to a spatial and social context-sensitive model is small in terms of common error measures, by visualizing the results it can be shown that the proposed model in fact is able to predict reactions to surrounding agents and explicitely allows an interpretable behavior.


title: Lightweight CNN-BiLSTM based Intrusion Detection Systems for Resource-Constrained IoT Devices

abstract: Intrusion Detection Systems (IDSs) have played a significant role in detecting and preventing cyber-attacks within traditional computing systems. It is not surprising that the same technology is being applied to secure Internet of Things (IoT) networks from cyber threats. The limited computational resources available on IoT devices make it challenging to deploy conventional computing-based IDSs. The IDSs designed for IoT environments must also demonstrate high classification performance, utilize low-complexity models, and be of a small size. Despite significant progress in IoT-based intrusion detection, developing models that both achieve high classification performance and maintain reduced complexity remains challenging. In this study, we propose a hybrid CNN architecture composed of a lightweight CNN and bidirectional LSTM (BiLSTM) to enhance the performance of IDS on the UNSW-NB15 dataset. The proposed model is specifically designed to run onboard resource-constrained IoT devices and meet their computation capability requirements. Despite the complexity of designing a model that fits the requirements of IoT devices and achieves higher accuracy, our proposed model outperforms the existing research efforts in the literature by achieving an accuracy of 97.28\% for binary classification and 96.91\% for multiclassification.


title: Precise asymptotics of reweighted least-squares algorithms for linear diagonal networks

abstract: The classical iteratively reweighted least-squares (IRLS) algorithm aims to recover an unknown signal from linear measurements by performing a sequence of weighted least squares problems, where the weights are recursively updated at each step. Varieties of this algorithm have been shown to achieve favorable empirical performance and theoretical guarantees for sparse recovery and $\ell_p$-norm minimization. Recently, some preliminary connections have also been made between IRLS and certain types of non-convex linear neural network architectures that are observed to exploit low-dimensional structure in high-dimensional linear models. In this work, we provide a unified asymptotic analysis for a family of algorithms that encompasses IRLS, the recently proposed lin-RFM algorithm (which was motivated by feature learning in neural networks), and the alternating minimization algorithm on linear diagonal neural networks. Our analysis operates in a "batched" setting with i.i.d. Gaussian covariates and shows that, with appropriately chosen reweighting policy, the algorithm can achieve favorable performance in only a handful of iterations. We also extend our results to the case of group-sparse recovery and show that leveraging this structure in the reweighting scheme provably improves test error compared to coordinate-wise reweighting.


title: Short-term Inland Vessel Trajectory Prediction with Encoder-Decoder Models

abstract: Accurate vessel trajectory prediction is necessary for save and efficient navigation. Deep learning-based prediction models, esp. encoder-decoders, are rarely applied to inland navigation specifically. Approaches from the maritime domain cannot directly be transferred to river navigation due to specific driving behavior influencing factors. Different encoder-decoder architectures, including a transformer encoder-decoder, are compared herein for predicting the next positions of inland vessels, given not only spatio-temporal information from AIS, but also river specific features. The results show that the reformulation of the regression task as classification problem and the inclusion of river specific features yield the lowest displacement errors. The standard LSTM encoder-decoder outperforms the transformer encoder-decoder for the data considered, but is computationally more expensive. In this study for the first time a transformer-based encoder-decoder model is applied to the problem of predicting the ship trajectory. Here, a feature vector using the river-specific context of navigation input parameters is established. Future studies can built on the proposed models, investigate the improvement of the computationally more efficient transformer, e.g. through further hyper-parameter optimization, and use additional river-specific information in the context representation to further increase prediction accuracy.


title: Improved context-sensitive transformer model for inland vessel trajectory prediction

abstract: Physics-related and model-based vessel trajectory prediction is highly accurate but requires specific knowledge of the vessel under consideration which is not always practical. Machine learning-based trajectory prediction models do not require expert knowledge, but rely on the implicit knowledge extracted from massive amounts of data. Several deep learning (DL) methods for vessel trajectory prediction have recently been suggested. The DL models developed typically only process information about the (dis)location of vessels defined with respect to a global reference system. In the context of inland navigation, this can be problematic, since without knowledge of the limited navigable space, irrealistic trajectories are likely to be determined. If spatial constraintes are introduced, e.g., by implementing an additional submodule to process map data, however, overall complexity increases. Instead of processing the vessel displacement information on the one hand and the spatial information on the other hand, the paper proposes the merging of both information. Here, fairway-related and navigation-related displacement information are used directly. In this way, the previously proposed context-sensitive Classification Transformer (CSCT) shows an improved spatial awareness. Additionally, the CSCT is adapted to assess the model uncertainty by enabling dropout during inference. This approach is trained on different inland waterways to analyze its generalizability. As the improved CSCT obtains lower prediction errors and enables to estimate the trustworthiness of each prediction, it is more suitable for safety-critical applications in inland navigation than previously developed models.


title: Hyperbolic Benchmarking Unveils Network Topology-Feature Relationship in GNN Performance

abstract: Graph Neural Networks (GNNs) have excelled in predicting graph properties in various applications ranging from identifying trends in social networks to drug discovery and malware detection. With the abundance of new architectures and increased complexity, GNNs are becoming highly specialized when tested on a few well-known datasets. However, how the performance of GNNs depends on the topological and features properties of graphs is still an open question. In this work, we introduce a comprehensive benchmarking framework for graph machine learning, focusing on the performance of GNNs across varied network structures. Utilizing the geometric soft configuration model in hyperbolic space, we generate synthetic networks with realistic topological properties and node feature vectors. This approach enables us to assess the impact of network properties, such as topology-feature correlation, degree distributions, local density of triangles (or clustering), and homophily, on the effectiveness of different GNN architectures. Our results highlight the dependency of model performance on the interplay between network structure and node features, providing insights for model selection in various scenarios. This study contributes to the field by offering a versatile tool for evaluating GNNs, thereby assisting in developing and selecting suitable models based on specific data characteristics.


title: Cyclic Sparse Training: Is it Enough?

abstract: The success of iterative pruning methods in achieving state-of-the-art sparse networks has largely been attributed to improved mask identification and an implicit regularization induced by pruning. We challenge this hypothesis and instead posit that their repeated cyclic training schedules enable improved optimization. To verify this, we show that pruning at initialization is significantly boosted by repeated cyclic training, even outperforming standard iterative pruning methods. The dominant mechanism how this is achieved, as we conjecture, can be attributed to a better exploration of the loss landscape leading to a lower training loss. However, at high sparsity, repeated cyclic training alone is not enough for competitive performance. A strong coupling between learnt parameter initialization and mask seems to be required. Standard methods obtain this coupling via expensive pruning-training iterations, starting from a dense network. To achieve this with sparse training instead, we propose SCULPT-ing, i.e., repeated cyclic training of any sparse mask followed by a single pruning step to couple the parameters and the mask, which is able to match the performance of state-of-the-art iterative pruning methods in the high sparsity regime at reduced computational cost.


title: Diffusion-Refined VQA Annotations for Semi-Supervised Gaze Following

abstract: Training gaze following models requires a large number of images with gaze target coordinates annotated by human annotators, which is a laborious and inherently ambiguous process. We propose the first semi-supervised method for gaze following by introducing two novel priors to the task. We obtain the first prior using a large pretrained Visual Question Answering (VQA) model, where we compute Grad-CAM heatmaps by `prompting' the VQA model with a gaze following question. These heatmaps can be noisy and not suited for use in training. The need to refine these noisy annotations leads us to incorporate a second prior. We utilize a diffusion model trained on limited human annotations and modify the reverse sampling process to refine the Grad-CAM heatmaps. By tuning the diffusion process we achieve a trade-off between the human annotation prior and the VQA heatmap prior, which retains the useful VQA prior information while exhibiting similar properties to the training data distribution. Our method outperforms simple pseudo-annotation generation baselines on the GazeFollow image dataset. More importantly, our pseudo-annotation strategy, applied to a widely used supervised gaze following model (VAT), reduces the annotation need by 50%. Our method also performs the best on the VideoAttentionTarget dataset.


title: Diagnostic Digital Twin for Anomaly Detection in Floating Offshore Wind Energy

abstract: The demand for condition-based and predictive maintenance is rising across industries, especially for remote, high-value, and high-risk assets. In this article, the diagnostic digital twin concept is introduced, discussed, and implemented for a floating offshore turbine. A diagnostic digital twin is a virtual representation of an asset that combines real-time data and models to monitor damage, detect anomalies, and diagnose failures, thereby enabling condition-based and predictive maintenance. By applying diagnostic digital twins to offshore assets, unexpected failures can be alleviated, but the implementation can prove challenging. Here, a diagnostic digital twin is implemented for an operational floating offshore wind turbine. The asset is monitored through measurements. Unsupervised learning methods are employed to build a normal operation model, detect anomalies, and provide a fault diagnosis. Warnings and diagnoses are sent through text messages, and a more detailed diagnosis can be accessed in a virtual reality interface. The diagnostic digital twin successfully detected an anomaly with high confidence hours before a failure occurred. The paper concludes by discussing diagnostic digital twins in the broader context of offshore engineering. The presented approach can be generalized to other offshore assets to improve maintenance and increase the lifetime, efficiency, and sustainability of offshore assets.


title: MeshVPR: Citywide Visual Place Recognition Using 3D Meshes

abstract: Mesh-based scene representation offers a promising direction for simplifying large-scale hierarchical visual localization pipelines, combining a visual place recognition step based on global features (retrieval) and a visual localization step based on local features. While existing work demonstrates the viability of meshes for visual localization, the impact of using synthetic databases rendered from them in visual place recognition remains largely unexplored. In this work we investigate using dense 3D textured meshes for large-scale Visual Place Recognition (VPR) and identify a significant performance drop when using synthetic mesh-based databases compared to real-world images for retrieval. To address this, we propose MeshVPR, a novel VPR pipeline that utilizes a lightweight features alignment framework to bridge the gap between real-world and synthetic domains. MeshVPR leverages pre-trained VPR models and it is efficient and scalable for city-wide deployments. We introduce novel datasets with freely available 3D meshes and manually collected queries from Berlin, Paris, and Melbourne. Extensive evaluations demonstrate that MeshVPR achieves competitive performance with standard VPR pipelines, paving the way for mesh-based localization systems. Our contributions include the new task of citywide mesh-based VPR, the new benchmark datasets, MeshVPR, and a thorough analysis of open challenges. Data, code, and interactive visualizations are available at https://mesh-vpr.github.io


title: Spectral sequences via linear presheaves

abstract: We study homotopy theory of the category of spectral sequences with respect to the class of weak equivalences given by maps which are quasi-isomorphisms on a fixed page. We introduce the category of extended spectral sequences and show that this is bicomplete by analysis of a certain linear presheaf category modelled on discs. We endow the category of extended spectral sequences with various model category structures, restricting to give the almost Brown category structures on spectral sequences of our earlier work. One of these has the property that spectral sequences is a homotopically full subcategory. By results of Meier, this exhibits the category of spectral sequences as a fibrant object in the Barwick-Kan model structure on relative categories, that is, it gives a model for an infinity category of spectral sequences. We also use the presheaf approach to define two d\'ecalage functors on spectral sequences, left and right adjoint to a shift functor, thereby clarifying prior use of the term d\'ecalage in connection with spectral sequences.


title: MS-IMAP -- A Multi-Scale Graph Embedding Approach for Interpretable Manifold Learning

abstract: Deriving meaningful representations from complex, high-dimensional data in unsupervised settings is crucial across diverse machine learning applications. This paper introduces a framework for multi-scale graph network embedding based on spectral graph wavelets that employs a contrastive learning approach. A significant feature of the proposed embedding is its capacity to establish a correspondence between the embedding space and the input feature space which aids in deriving feature importance of the original features. We theoretically justify our approach and demonstrate that, in Paley-Wiener spaces on combinatorial graphs, the spectral graph wavelets operator offers greater flexibility and better control over smoothness properties compared to the Laplacian operator. We validate the effectiveness of our proposed graph embedding on a variety of public datasets through a range of downstream tasks, including clustering and unsupervised feature importance.


title: No Significant Redshift Evolution in the Intrinsic Scatter of the $M_\bullet$-$M_\star$ Relation for Overmassive Black Holes

abstract: In the local Universe, the ratio between the mass of a central black hole and the stellar mass of its host galaxy is $\sim 0.1 \%$. Recently, JWST discovered numerous galaxies at $z>4$ that seem to deviate from the local relation, with black holes overmassive by $10-100$ times. Similar galaxies were also discovered at cosmic noon. The intrinsic scatter in the relation describes how much the evolutionary histories of the single galaxies deviate from the mean evolutionary pattern of their parent dataset. This Research Note examines whether a cosmic evolution of the intrinsic scatter can be detected by assessing its value for datasets in various redshift ranges. Using data from the local Universe ($z < 0.055$), low ($ 0.4 \leq z \leq 0.9$), intermediate ($ 0.9 \leq z \leq 4$), and high ($z > 4$) redshift, we conclude that there is no statistically significant redshift evolution of the intrinsic scatter.


title: LADI v2: Multi-label Dataset and Classifiers for Low-Altitude Disaster Imagery

abstract: ML-based computer vision models are promising tools for supporting emergency management operations following natural disasters. Arial photographs taken from small manned and unmanned aircraft can be available soon after a disaster and provide valuable information from multiple perspectives for situational awareness and damage assessment applications. However, emergency managers often face challenges finding the most relevant photos among the tens of thousands that may be taken after an incident. While ML-based solutions could enable more effective use of aerial photographs, there is still a lack of training data for imagery of this type from multiple perspectives and for multiple hazard types. To address this, we present the LADI v2 (Low Altitude Disaster Imagery version 2) dataset, a curated set of about 10,000 disaster images captured in the United States by the Civil Air Patrol (CAP) in response to federally-declared emergencies (2015-2023) and annotated for multi-label classification by trained CAP volunteers. We also provide two pretrained baseline classifiers and compare their performance to state-of-the-art vision-language models in multi-label classification. The data and code are released publicly to support the development of computer vision models for emergency management research and applications.


title: Bounding Shortest Closed Geodesics with Diameter on compact 2-dimensional Orbifolds Homeomorphic to $S^2$

abstract: Length bounded sweepouts give a way to bound the length of the shortest closed geodesic of a closed manifold. In this paper, we generalized to the case of compact 2-dimensional orbifolds homeomorphic to $S^2$ as well as compact 2-dimensional orbifolds with finite orbifold fundamental groups. We proved an inequality for the length of the shortest closed orbifold geodesic in terms of the diameter.


title: KPZ scaling from the Krylov space

abstract: Recently, a superdiffusion exhibiting the Kardar-Parisi-Zhang (KPZ) scaling in late-time correlators and autocorrelators of certain interacting many-body systems has been reported. Inspired by these results, we explore the KPZ scaling in correlation functions using their realization in the Krylov operator basis. We focus on the Heisenberg time scale, which approximately corresponds to the ramp--plateau transition for the Krylov complexity in systems with a large but finite number degrees of freedom. Two frameworks are under consideration: i) the system with growing Lanczos coefficients and an artificial cut-off, and ii) the system with the finite Hilbert space. In both cases via numerical analysis, we observe the transition from Gaussian to KPZ-like scaling at the critical Euclidean time $t_{E}^*=c_{cr}K$, for the Krylov chain of finite length $K$, and $c_{cr}=O(1)$. In particular, we find a scaling $\sim K^{1/3}$ for fluctuations in the one-point correlation function and a dynamical scaling $\sim K^{-2/3}$ associated with the return probability (Loschmidt echo) corresponding to autocorrelators in physical space. In the first case, the transition is of the 3rd order and can be considered as an example of dynamical quantum phase transition (DQPT), while in the second, it is a crossover. For case ii), utilizing the relationship between the spectrum of tridiagonal matrices at the spectral edge and the spectrum of the stochastic Airy operator, we demonstrate analytically the origin of the KPZ scaling for the particular Krylov chain using the results of the probability theory. We argue that there is some outcome of our study for the double scaling limit of matrix models. For the case of topological gravity, the white noise $O(\frac{1}{N})$ term is identified, which should be taken into account in the controversial issue of ensemble averaging in 2D/1D holography.