title: Vesicoureteral Reflux Detection with Reliable Probabilistic Outputs

abstract: Vesicoureteral Reflux (VUR) is a pediatric disorder in which urine flows backwards from the bladder to the upper urinary tract. Its detection is of great importance as it increases the risk of a Urinary Tract Infection, which can then lead to a kidney infection since bacteria may have direct access to the kidneys. Unfortunately the detection of VUR requires a rather painful medical examination, called voiding cysteourethrogram (VCUG), that exposes the child to radiation. In an effort to avoid the exposure to radiation required by VCUG some recent studies examined the use of machine learning techniques for the detection of VUR based on data that can be obtained without exposing the child to radiation. This work takes one step further by proposing an approach that provides lower and upper bounds for the conditional probability of a given child having VUR. The important property of these bounds is that they are guaranteed (up to statistical fluctuations) to contain well-calibrated probabilities with the only requirement that observations are independent and identically distributed (i.i.d.). Therefore they are much more informative and reliable than the plain yes/no answers provided by other techniques.


title: The Problem of Coherence in Natural Language Explanations of Recommendations

abstract: Providing natural language explanations for recommendations is particularly useful from the perspective of a non-expert user. Although several methods for providing such explanations have recently been proposed, we argue that an important aspect of explanation quality has been overlooked in their experimental evaluation. Specifically, the coherence between generated text and predicted rating, which is a necessary condition for an explanation to be useful, is not properly captured by currently used evaluation measures. In this paper, we highlight the issue of explanation and prediction coherence by 1) presenting results from a manual verification of explanations generated by one of the state-of-the-art approaches 2) proposing a method of automatic coherence evaluation 3) introducing a new transformer-based method that aims to produce more coherent explanations than the state-of-the-art approaches 4) performing an experimental evaluation which demonstrates that this method significantly improves the explanation coherence without affecting the other aspects of recommendation performance.


title: Agent Assessment of Others Through the Lens of Self

abstract: The maturation of cognition, from introspection to understanding others, has long been a hallmark of human development. This position paper posits that for AI systems to truly emulate or approach human-like interactions, especially within multifaceted environments populated with diverse agents, they must first achieve an in-depth and nuanced understanding of self. Drawing parallels with the human developmental trajectory from self-awareness to mentalizing (also called theory of mind), the paper argues that the quality of an autonomous agent's introspective capabilities of self are crucial in mirroring quality human-like understandings of other agents. While counterarguments emphasize practicality, computational efficiency, and ethical concerns, this position proposes a development approach, blending algorithmic considerations of self-referential processing. Ultimately, the vision set forth is not merely of machines that compute but of entities that introspect, empathize, and understand, harmonizing with the complex compositions of human cognition.


title: A hybrid approach to long-term binary neutron-star simulations

abstract: One of the main challenges in the numerical modeling of binary neutron-star (BNS) mergers is long-term simulations of the post-merger remnant over timescales of the order of seconds. When this modeling includes all the aspects of complex physics, the computational costs can easily become enormous. To address this challenge in part, we have developed a novel hybrid approach in which the solution from a general-relativistic magnetohydrodynamics (GRMHD) code solving the full set of the Einstein equations in Cartesian coordinates is coupled with another GRMHD code in which the Einstein equations are solved under the Conformally Flat Condition (CFC). The latter approximation has a long history and has been shown to provide an accurate description of compact objects in non-vacuum spacetimes. An important aspect of the CFC is that the elliptic equations need to be solved only for a fraction of the steps needed for the underlying HD/MHD evolution, thus allowing for a gain in computational efficiency that can be up to a factor of $\sim 6~(230)$ in three-dimensional (two-dimensional) simulations. We present the basic features of the new code, the strategies necessary to interface it when importing both two- and three-dimensional data, and a novel and robust approach to the recovery of the primitive variables. To validate our new framework, we have carried out code tests with various coordinate systems and different numbers of spatial dimensions, involving a variety of astrophysical scenarios, including the evolution of the post-merger remnant of a BNS merger over a timescale of one second. \texttt{BHAC+}, can accurately reproduce the evolution of compact objects in non-vacuum spacetimes and that, when compared with the evolution in full general relativity, the CFC reproduces accurately both the gravitational fields and the matter variables at a fraction of the computational costs.


title: Combining Game Design and Data Visualization to Inform Plastics Policy: Fostering Collaboration between Science, Decision-Makers, and Artificial Intelligence

abstract: This multi-disciplinary case study details how a public web application combines information and game design to visualize effects of user-defined policies intended to reduce plastic waste. Contextualizing this open source software within a broader lineage of digital media research, this user experience exploration outlines potential directions for facilitating conversation between artificial intelligence, scientists, and decision makers during an iterative policy building process. Furthermore, this system dissection reveals how this interactive science effort considers the practicalities of a treaty's shifting priorities and proposals in its designs. Specifically, this historically situated investigation of the tool's approach highlights options for centering human decision making where artificial intelligence helps reason about interventions but does not prescribe them. Finally, analysis summarizes this application's specific game design-inspired mechanics and their efforts to: enable users' agency to explore solution possibilities freely, invite deep engagement with scientific findings, and simultaneously serve multiple audiences with divergent objectives and expertise.


title: Paint-it: Text-to-Texture Synthesis via Deep Convolutional Texture Map Optimization and Physically-Based Rendering

abstract: We present Paint-it, a text-driven high-fidelity texture map synthesis method for 3D meshes via neural re-parameterized texture optimization. Paint-it synthesizes texture maps from a text description by synthesis-through-optimization, exploiting the Score-Distillation Sampling (SDS). We observe that directly applying SDS yields undesirable texture quality due to its noisy gradients. We reveal the importance of texture parameterization when using SDS. Specifically, we propose Deep Convolutional Physically-Based Rendering (DC-PBR) parameterization, which re-parameterizes the physically-based rendering (PBR) texture maps with randomly initialized convolution-based neural kernels, instead of a standard pixel-based parameterization. We show that DC-PBR inherently schedules the optimization curriculum according to texture frequency and naturally filters out the noisy signals from SDS. In experiments, Paint-it obtains remarkable quality PBR texture maps within 15 min., given only a text description. We demonstrate the generalizability and practicality of Paint-it by synthesizing high-quality texture maps for large-scale mesh datasets and showing test-time applications such as relighting and material control using a popular graphics engine. Project page: https://kim-youwang.github.io/paint-it


title: NoMIRACL: Knowing When You Don't Know for Robust Multilingual Retrieval-Augmented Generation

abstract: Retrieval-augmented generation (RAG) grounds large language model (LLM) output by leveraging external knowledge sources to reduce factual hallucinations. However, prior works lack a comprehensive evaluation of different language families, making it challenging to evaluate LLM robustness against errors in external retrieved knowledge. To overcome this, we establish NoMIRACL, a human-annotated dataset for evaluating LLM robustness in RAG across 18 typologically diverse languages. NoMIRACL includes both a non-relevant and a relevant subset. Queries in the non-relevant subset contain passages judged as non-relevant, whereas queries in the relevant subset include at least a single judged relevant passage. We measure LLM robustness using two metrics: (i) hallucination rate, measuring model tendency to hallucinate an answer, when the answer is not present in passages in the non-relevant subset, and (ii) error rate, measuring model inaccuracy to recognize relevant passages in the relevant subset. In our work, we measure robustness for a wide variety of multilingual-focused LLMs and observe that most of the models struggle to balance the two capacities. Models such as LLAMA-2, Orca-2, and FLAN-T5 observe more than an 88% hallucination rate on the non-relevant subset, whereas, Mistral overall hallucinates less, but can achieve up to a 74.9% error rate on the relevant subset. Overall, GPT-4 is observed to provide the best tradeoff on both subsets, highlighting future work necessary to improve LLM robustness.


title: Baryon-to-Meson Ratios in Jets from Au+Au and p+p Collisions at \sqrt{s_{NN}} = 200 GeV

abstract: Measurements at RHIC and the LHC show strongly enhanced baryon-to-meson yield ratios at intermediate transverse momenta ($p_{\rm{T}}$) in high-energy nuclear collisions compared to $p$+$p$ baseline. This enhancement is attributed to the following QGP effects: strong hydrodynamic flow and parton recombination. Jet probes have been used extensively to gain insights into QGP properties, with substantial modifications to jet yields and internal structures seen across multiple measurements. Despite apparent medium-induced changes to jet fragmentation patterns, the LHC results indicate that in-jet baryon-to-meson ratios remain similar to that of $p$+$p$ measurements and are significantly different from that of the QGP bulk. To explore this behavior at RHIC, we employ particle identification through time-of-flight and TPC $dE/dx$ information alongside jet-track correlations to measure in-jet particle ratios for $p_{\rm{T}} < 5.0$ GeV/$c$. We present the first in-cone baryon-to-meson yield ratios associated with fully reconstructed jets from Au+Au and $p$+$p$ collisions at $\sqrt{s_{\mathrm{NN}}} = 200$ GeV using the STAR detector at RHIC.


title: Online Vertical Federated Learning for Cooperative Spectrum Sensing

abstract: The increasing demand for wireless communication underscores the need to optimize radio frequency spectrum utilization. An effective strategy for leveraging underutilized licensed frequency bands is cooperative spectrum sensing (CSS), which enable multiple secondary users (SUs) to collaboratively detect the spectrum usage of primary users (PUs) prior to accessing the licensed spectrum. The increasing popularity of machine learning has led to a shift from traditional CSS methods to those based on deep learning. However, deep learning-based CSS methods often rely on centralized learning, posing challenges like communication overhead and data privacy risks. Recent research suggests vertical federated learning (VFL) as a potential solution, with its core concept centered on partitioning the deep neural network into distinct segments, with each segment is trained separately. However, existing VFL-based CSS works do not fully address the practical challenges arising from streaming data and the objective shift. In this work, we introduce online vertical federated learning (OVFL), a robust framework designed to address the challenges of ongoing data stream and shifting learning goals. Our theoretical analysis reveals that OVFL achieves a sublinear regret bound, thereby evidencing its efficiency. Empirical results from our experiments show that OVFL outperforms benchmarks in CSS tasks. We also explore the impact of various parameters on the learning performance.


title: Counting Reward Automata: Sample Efficient Reinforcement Learning Through the Exploitation of Reward Function Structure

abstract: We present counting reward automata-a finite state machine variant capable of modelling any reward function expressible as a formal language. Unlike previous approaches, which are limited to the expression of tasks as regular languages, our framework allows for tasks described by unrestricted grammars. We prove that an agent equipped with such an abstract machine is able to solve a larger set of tasks than those utilising current approaches. We show that this increase in expressive power does not come at the cost of increased automaton complexity. A selection of learning algorithms are presented which exploit automaton structure to improve sample efficiency. We show that the state machines required in our formulation can be specified from natural language task descriptions using large language models. Empirical results demonstrate that our method outperforms competing approaches in terms of sample efficiency, automaton complexity, and task completion.


title: Opening windows with Isospin-Violating Dark Matter

abstract: We consider the effect of isospin-violating dark matter-nucleon interactions on direct detection constraints in the regime of small dark matter mass and large scattering cross section. Isospin-violation can lead to both reductions in sensitivity (due to a reduced cross section for scattering with nuclei in the detector) and enhancements in sensitivity (due to a reduced cross section for scattering in the overburden). Isospin-violating effects can thus open up some closed regions of parameter space, while closing off other regions.


title: Precision Mass Measurement of Proton-Dripline Halo Candidate $^{22}$Al

abstract: We report the first mass measurement of the proton-halo candidate $^{22}$Al performed with the LEBIT facility's 9.4~T Penning trap mass spectrometer at FRIB. This measurement completes the mass information for the lightest remaining proton-dripline nucleus achievable with Penning traps. $^{22}$Al has been the subject of recent interest regarding a possible halo structure from the observation of an exceptionally large isospin asymmetry [Phys. Rev. Lett. \textbf{125} 192503 (2020)]. The measured mass excess value of $\text{ME}=18\;093.6(7)$~keV, corresponding to an exceptionally small proton separation energy of $S_p = 99.2(1.0)$~keV, is compatible with the suggested halo structure. Our result agrees well with predictions from \textit{sd}-shell USD Hamiltonians. While USD Hamiltonians predict deformation in $^{22}$Al ground-state with minimal $1s_{1/2}$ occupation in the proton shell, a particle-plus-rotor model in the continuum suggests that a proton halo could form at large quadrupole deformation. These results emphasize the need for a charge radius measurement to conclusively determine the halo nature.


title: Secure Full Duplex Integrated Sensing and Communications

abstract: The following paper models a secure full duplex (FD) integrated sensing and communication (ISAC) scenario, where malicious eavesdroppers aim at intercepting the downlink (DL) as well as the uplink (UL) information exchanged between the dual functional radar and communication (DFRC) base station (BS) and a set of communication users. The DFRC BS, on the other hand, aims at illuminating radar beams at the eavesdroppers in order to sense their physical parameters, while maintaining high UL/DL secrecy rates. Based on the proposed model, we formulate a power efficient secure ISAC optimization framework design, which is intended to guarantee both UL and DL secrecy rates requirements, while illuminating radar beams towards eavesdroppers. The framework exploits artificial noise (AN) generation at the DFRC BS, along with UL/DL beamforming design and UL power allocation. We propose a beamforming design solution to the secure ISAC optimization problem. Finally, we corroborate our findings via simulation results and demonstrate the feasibility, as well as the superiority of the proposed algorithm, under different situations. We also reveal insightful trade-offs achieved by our approach.


title: ExteriorExtensions: A package for Macaulay2

abstract: We explain a Macaulay2 implementation of a construction, which appeared in [Holweck-Oeding arXiv:2206.13662], of a graded algebra structure on the direct sum of a Lie algebra $\mathfrak{g}$ (typically $\mathfrak{sl}_n$) and a $\mathfrak{g}$-module (typically a subspace of an exterior algebra $\bigwedge^{\bullet}\mathbb{C}^n$). We implement brackets, a Killing form, matrix representations of adjoint operators and ranks of blocks of their powers.


title: Asymptotic products of binomial and multinomial coefficients revisited

abstract: In this note, we consider asymptotic products of binomial and multinomial coefficients and determine their asymptotic constants and formulas. Among them, special cases are the central binomial coefficients, the related Catalan numbers, and binomial coefficients in a row of Pascal's triangle. For the latter case, we show that it can also be derived from a limiting case of products of binomial coefficients over the rows. The asymptotic constants are expressed by known constants, for example, the Glaisher-Kinkelin constant. In addition, the constants lie in certain intervals that we determine precisely. Subsequently, we revisit a related result of Hirschhorn and clarify the given numerical constant by showing the exact expression.


title: G-LLaVA: Solving Geometric Problem with Multi-Modal Large Language Model

abstract: Large language models (LLMs) have shown remarkable proficiency in human-level reasoning and generation capabilities, which encourages extensive research on their application in mathematical problem solving. However, current work has been largely focused on text-based mathematical problems, with limited investigation in problems involving geometric information. Addressing this gap, we aim to enable LLMs to solve geometric problems by understanding image input. We first analyze the limitations of current Multimodal Large Language Models (MLLMs) in this area: they struggle to accurately comprehending basic geometric elements and their relationships. To overcome these challenges, we take advantage of the unique characteristics of geometric problems (such as unique geometric logical form, and geometric scalability) and the capacity of the textual LLMs to build an enriched multimodal geometry dataset based on existing data. The augmented dataset, Geo170K, contains more than 170K geometric image-caption and question-answer pairs. Utilizing our constructed Geo170K dataset, we develop G-LLaVA, which demonstrates exceptional performance in solving geometric problems, significantly outperforming GPT-4-V on the MathVista benchmark with only 7B parameters.


title: Calabi-Yau meets Gravity: A Calabi-Yau three-fold at fifth post-Minkowskian order

abstract: We study geometries occurring in Feynman integrals that contribute to the scattering of black holes in the post-Minkowskian expansion. These geometries become relevant to gravitational-wave production during the inspiralling phase of binary black hole mergers through the classical conservative potential. At fourth post-Minkowskian order, a K3 surface is known to occur in a three-loop integral, leading to elliptic integrals in the result. In this letter, we identify a Calabi-Yau three-fold in a four-loop integral, contributing at fifth post-Minkowskian order. The presence of this Calabi-Yau geometry indicates that completely new functions occur in the full analytical results at this order.


title: Performance of two-level sampling for the glueball spectrum in pure gauge theory

abstract: The computation of the glueball spectrum is particularly challenging due to the rapid decay of the signal-to-noise ratio of the correlation functions. To address this issue, advanced techniques such as gauge link smearing and the variational method are commonly employed to identify the spectrum before the signal diminishes significantly. However, a significant improvement in the signal-to-noise ratio can be achieved by utilising multilevel sampling techniques. In this talk, we present a study of the glueball spectrum in pure gauge theory with a two-level algorithm. Specifically, we explore the relation between noise reduction and the various multilevel parameters, such as the width of the dynamical regions and the number of submeasurements.


title: Sharp convergence rates for mean field control in the region of strong regularity

abstract: We study the convergence problem for mean field control, also known as optimal control of McKean-Vlasov dynamics. We assume that the data is smooth but not convex, and thus the limiting value function $\mathcal{U} :[0,T] \times \mathcal{P}_2(\mathbb{R}^d) \to \mathbb{R}$ is Lipschitz, but may not be differentiable. In this setting, the first and last named authors recently identified an open and dense subset $\mathcal{O}$ of $[0,T] \times \mathcal{P}_2(\mathbb{R}^d)$ on which $\mathcal{U}$ is $\mathcal{C}^1$ and solves the relevant infinite-dimensional Hamilton-Jacobi equation in a classical sense. In the present paper, we use these regularity results, and some non-trivial extensions of them, to derive sharp rates of convergence. In particular, we show that the value functions for the $N$-particle control problems converge towards $\mathcal{U}$ with a rate of $1/N$, uniformly on subsets of $\mathcal{O}$ which are compact in the $p$-Wasserstein space for some $p > 2$. A similar result is also established at the level of the optimal feedback controls. The rate $1/N$ is the optimal rate in this setting even if $\mathcal{U}$ is smooth, while, in general, the optimal global rate of convergence is known to be slower than $1/N$. Thus our results show that the rate of convergence is faster inside of $\mathcal{O}$ than it is outside. As a consequence of the convergence of the optimal feedbacks, we obtain a concentration inequality for optimal trajectories of the $N$-particle problem started from i.i.d. initial conditions.


title: Mastering Stacking of Diverse Shapes with Large-Scale Iterative Reinforcement Learning on Real Robots

abstract: Reinforcement learning solely from an agent's self-generated data is often believed to be infeasible for learning on real robots, due to the amount of data needed. However, if done right, agents learning from real data can be surprisingly efficient through re-using previously collected sub-optimal data. In this paper we demonstrate how the increased understanding of off-policy learning methods and their embedding in an iterative online/offline scheme (``collect and infer'') can drastically improve data-efficiency by using all the collected experience, which empowers learning from real robot experience only. Moreover, the resulting policy improves significantly over the state of the art on a recently proposed real robot manipulation benchmark. Our approach learns end-to-end, directly from pixels, and does not rely on additional human domain knowledge such as a simulator or demonstrations.


title: Use of BIM Data as Input and Output for Improved Detection of Lighting Elements in Buildings

abstract: This paper introduces a complete method for the automatic detection, identification and localization of lighting elements in buildings, leveraging the available building information modeling (BIM) data of a building and feeding the BIM model with the new collected information, which is key for energy-saving strategies. The detection system is heavily improved from our previous work, with the following two main contributions: (i) a new refinement algorithm to provide a better detection rate and identification performance with comparable computational resources and (ii) a new plane estimation, filtering and projection step to leverage the BIM information earlier for lamps that are both hanging and embedded. The two modifications are thoroughly tested in five different case studies, yielding better results in terms of detection, identification and localization.


title: CLIM: Contrastive Language-Image Mosaic for Region Representation

abstract: Detecting objects accurately from a large or open vocabulary necessitates the vision-language alignment on region representations. However, learning such a region-text alignment by obtaining high-quality box annotations with text labels or descriptions is expensive and infeasible. In contrast, collecting image-text pairs is simpler but lacks precise object location information to associate regions with texts. In this paper, we propose a novel approach called Contrastive Language-Image Mosaic (CLIM), which leverages large-scale image-text pairs effectively for aligning region and text representations. CLIM combines multiple images into a mosaicked image and treats each image as a `pseudo region'. The feature of each pseudo region is extracted and trained to be similar to the corresponding text embedding while dissimilar from others by a contrastive loss, enabling the model to learn the region-text alignment without costly box annotations. As a generally applicable approach, CLIM consistently improves different open-vocabulary object detection methods that use caption supervision. Furthermore, CLIM can effectively enhance the region representation of vision-language models, thus providing stronger backbones for open-vocabulary object detectors. Our experimental results demonstrate that CLIM improves different baseline open-vocabulary object detectors by a large margin on both OV-COCO and OV-LVIS benchmarks. The code is available at https://github.com/wusize/CLIM.


title: Four state deterministic cellular automaton rule emulating random diffusion

abstract: We show how to construct a deterministic nearest-neighbour cellular automaton (CA) with four states which emulates diffusion on a one-dimensional lattice. The pseudo-random numbers needed for directing random walkers in the diffusion process are generated with the help of rule 30. This CA produces density profiles which agree very well with solutions of the diffusion equation, and we discuss this agreement for two different boundary and initial conditions. We also show how our construction can be generalized to higher dimensions.


title: Measure of shape for object data

abstract: Object data analysis is concerned with statistical methodology for datasets whose elements reside in an arbitrary, unspecified metric space. In this work we propose the object shape, a novel measure of shape/symmetry for object data. The object shape is easy to compute and interpret, owing to its intuitive interpretation as interpolation between two extreme forms of symmetry. As one major part of this work, we apply object shape in various metric spaces and show that it manages to unify several pre-existing, classical forms of symmetry. We also propose a new visualization tool called the peeling plot, which allows using the object shape for outlier detection and principal component analysis of object data.


title: On locally finite ordered rooted trees and their rooted subtrees

abstract: In this article we compare the known dynamical polynomial time algorithm for the game-over attack strategy, to that of the brute force approach; of checking all the ordered rooted subtrees of a given tree that represents a given computer network. Our approach is purely enumerative and combinatorial in nature. We first revisit known results about a doubly exponential sequence and generalize them. We then consider both finite and locally finite ordered rooted trees (LFOR-trees), and the class of their finite ordered rooted subtrees of bounded height, describing completely the LFOR-trees with no leaves where the number of ordered rooted subtrees of height at most $h$ are bounded by a polynomial in $h$. We finally consider general LFOR-trees where each level can have leaves and determine conditions for the number of ordered rooted subtrees of height at most $h$ to be bounded by a polynomial in $h$.


title: Orientation-Constrained System for Lamp Detection in Buildings Based on Computer Vision

abstract: Computer vision is used in this work to detect lighting elements in buildings with the goal of improving the accuracy of previous methods to provide a precise inventory of the location and state of lamps. Using the framework developed in our previous works, we introduce two new modifications to enhance the system: first, a constraint on the orientation of the detected poses in the optimization methods for both the initial and the refined estimates based on the geometric information of the building information modelling (BIM) model; second, an additional reprojection error filtering step to discard the erroneous poses introduced with the orientation restrictions, keeping the identification and localization errors low while greatly increasing the number of detections. These~enhancements are tested in five different case studies with more than 30,000 images, with results showing improvements in the number of detections, the percentage of correct model and state identifications, and the distance between detections and reference positions


title: Scheduling a Multi-Product Pipeline: A Discretized MILP Formulation

abstract: Multi-product pipelines are a highly efficient means of transporting liquids. Traditionally used to transport petroleum, its products and derivatives, they are now being repurposed to transport liquified natural gas admixed with hydrogen of various colors. We propose a novel mixed-integer linear programming (MILP) formulation, which optimizes efficiency while satisfying a wide range of real-world constraints developed to meet the needs of the Czech national pipeline operator CEPRO. We provide tests on well-known synthetic (path-graph) networks and demonstrate the formulation's scaling properties using open-source and commercial MILP solvers.


title: Anomaly non-renormalization, lattice QFT and universality of transport coefficients

abstract: Recently new methods have been introduced to investigate the non-renormalization properties of the anomalies at a non perturbative level and in presence of a lattice. The issue is relevant in a number of problems ranging from the anomaly-free construction of chiral lattice gauge theory with large cut-off to the universality properties observed in transport coefficients in condensed matter systems. A review of main results and future perspectives is presented.


title: Path-aware optimistic optimization for a mobile robot

abstract: We consider problems in which a mobile robot samples an unknown function defined over its operating space, so as to find a global optimum of this function. The path traveled by the robot matters, since it influences energy and time requirements. We consider a branch-and-bound algorithm called deterministic optimistic optimization, and extend it to the path-aware setting, obtaining path-aware optimistic optimization (OOPA). In this new algorithm, the robot decides how to move next via an optimal control problem that maximizes the long-term impact of the robot trajectory on lowering the upper bound, weighted by bound and function values to focus the search on the optima. An online version of value iteration is used to solve an approximate version of this optimal control problem. OOPA is evaluated in extensive experiments in two dimensions, where it does better than path-unaware and local-optimization baselines.


title: DiffTune-MPC: Closed-Loop Learning for Model Predictive Control

abstract: Model predictive control (MPC) has been applied to many platforms in robotics and autonomous systems for its capability to predict a system's future behavior while incorporating constraints that a system may have. To enhance the performance of a system with an MPC controller, one can manually tune the MPC's cost function. However, it can be challenging due to the possibly high dimension of the parameter space as well as the potential difference between the open-loop cost function in MPC and the overall closed-loop performance metric function. This paper presents DiffTune-MPC, a novel learning method, to learn the cost function of an MPC in a closed-loop manner. The proposed framework is compatible with the scenario where the time interval for performance evaluation and MPC's planning horizon have different lengths. We show the auxiliary problem whose solution admits the analytical gradients of MPC and discuss its variations in different MPC settings, including nonlinear MPCs that are solved using sequential quadratic programming. Simulation results demonstrate the learning capability of DiffTune-MPC and the generalization capability of the learned MPC parameters.


title: Hypergraph Transformer for Semi-Supervised Classification

abstract: Hypergraphs play a pivotal role in the modelling of data featuring higher-order relations involving more than two entities. Hypergraph neural networks emerge as a powerful tool for processing hypergraph-structured data, delivering remarkable performance across various tasks, e.g., hypergraph node classification. However, these models struggle to capture global structural information due to their reliance on local message passing. To address this challenge, we propose a novel hypergraph learning framework, HyperGraph Transformer (HyperGT). HyperGT uses a Transformer-based neural network architecture to effectively consider global correlations among all nodes and hyperedges. To incorporate local structural information, HyperGT has two distinct designs: i) a positional encoding based on the hypergraph incidence matrix, offering valuable insights into node-node and hyperedge-hyperedge interactions; and ii) a hypergraph structure regularization in the loss function, capturing connectivities between nodes and hyperedges. Through these designs, HyperGT achieves comprehensive hypergraph representation learning by effectively incorporating global interactions while preserving local connectivity patterns. Extensive experiments conducted on real-world hypergraph node classification tasks showcase that HyperGT consistently outperforms existing methods, establishing new state-of-the-art benchmarks. Ablation studies affirm the effectiveness of the individual designs of our model.


title: Soft-photon spectra and the LBK theorem

abstract: The study of next-to-leading-power (NLP) corrections in soft emissions continues to attract interest both in QCD and in QED. Soft-photon spectra in particular provide a clean case-study for the experimental verification of the Low-Burnett-Kroll (LBK) theorem. In this paper we study the consistency of the LBK theorem in the context of an ambiguity arising from momentum-conservation constraints in the computation of non-radiative amplitudes. We clarify that this ambiguity leads to various possible formulations of the LBK theorem, which are all equivalent up to power-suppressed effects (i.e. beyond the formal accuracy of the LBK theorem). We also propose a new formulation of the LBK theorem with a modified shifted kinematics which facilitates the numerical computation of non-radiative amplitudes with publicly available tools. Furthermore, we present numerical results for soft-photon spectra in the associated production of a muon pair with a photon, both in $e^+e^-$ annihilation and proton-proton collisions.


title: Data-Driven Continuous-Time Framework for Frequency-Constrained Unit Commitment

abstract: The conventional approach to solving the unit commitment problem involves discrete intervals at an hourly scale, particularly when integrating frequency dynamics to formulate a frequency-constrained unit commitment. To overcome this limitation, a novel continuous-time frequency-constrained unit commitment framework is proposed in this paper. In this approach, Bernstein polynomials represent continuous variables in the unit commitment problem and enable the calculation of frequency response-related metrics such as the rate of change of frequency, quasi-steady-state frequency, and frequency nadir. Notably, startup and shut-down trajectories are meticulously considered, transforming the formulation into a fully continuous-time model and simplifying constraints related to variable continuity. To address the complexities associated with integrating the obtained non-linear frequency nadir constraint into a mixed-integer linear problem, an alternative data-driven frequency nadir constraint is proposed, which accurately constrains frequency nadir deviations throughout the time interval. To validate the proposed model, it is applied to the real-life network of the Spanish Island of La Palma. The results demonstrate the effectiveness of the proposed formulation, indicating that the model is solved timely while mitigating the impact of intra-hour real-time power fluctuations on system frequency.


title: BioSpark: An End-to-End Generative System for Biological-Analogical Inspirations and Ideation

abstract: Nature is often used to inspire solutions for complex engineering problems, but achieving its full potential is challenging due to difficulties in discovering relevant analogies and synthesizing from them. Here, we present an end-to-end system, BioSpark, that generates biological-analogical mechanisms and provides an interactive interface to comprehend and synthesize from them. BioSpark pipeline starts with a small seed set of mechanisms and expands it using an iteratively constructed taxonomic hierarchies, overcoming data sparsity in manual expert curation and limited conceptual diversity in automated analogy generation via LLMs. The interface helps designers with recognizing and understanding relevant analogs to design problems using four main interaction features. We evaluate the biological-analogical mechanism generation pipeline and showcase the value of BioSpark through case studies. We end with discussion and implications for future work in this area.


title: Data-driven Estimation of Under Frequency Load Shedding after Outages in Small Power Systems

abstract: This paper presents a data-driven methodology for estimating Under Frequency Load Shedding (UFLS) in small power systems. UFLS plays a vital role in maintaining system stability by shedding load when the frequency drops below a specified threshold following loss of generation. Using a dynamic System Frequency Response (SFR) model we generate different values of UFLS (i.e., labels) predicated on a set of carefully selected operating conditions (i.e., features). Machine Learning (ML) algorithms are then applied to learn the relationship between chosen features and the UFLS labels. A novel regression tree and the Tobit model are suggested for this purpose and we show how the resulting non-linear model can be directly incorporated into a Mixed Integer Linear Programming (MILP) problem. The trained model can be used to estimate UFLS in security-constrained operational planning problems, improving frequency response, optimizing reserve allocation, and reducing costs. The methodology is applied to the La Palma island power system, demonstrating its accuracy and effectiveness. The results confirm that the amount of UFLS can be estimated with the Mean Absolute Error (MAE) as small as 0.213 MW for the whole process, with a model that is representable as a MILP for use in scheduling problems such as unit commitment among others.


title: On Computing Optimal Temporal Branchings and Spanning Subgraphs

abstract: In this work we extend the concept of out/in-branchings spanning the vertices of a digraph (also called directed spanning trees) to temporal graphs, which are digraphs where arcs are available only at prescribed times. While the literature has focused on minimum weight/earliest arrival time Temporal Out-Branchings (TOB), we solve the problem for other optimization criteria. In particular, we define five different types of TOBs based on the optimization of the travel duration (FT-TOB), of the departure time (LD-TOB), of the number of transfers (MT-TOB), of the total waiting time (MW-TOB), and of the travelling time (ST-TOB). For D$\in \{$LD,MT,ST$\}$, we provide necessary and sufficient conditions for the existence of a spanning D-TOB; when it does not exist, we characterize the maximum vertex set that a D-TOB can span. Moreover, we provide a log linear algorithm for computing such branchings. For D$\in \{$FT,MW$\}$, we prove that deciding the existence of a spanning D-TOB is NP-complete; we also show that the same results hold for optimal temporal in-branchings. Finally, we investigate the related problem of computing a spanning temporal subgraph with the minimum number of arcs and optimizing a chosen criterion D. This problem turns out to be NP-hard for any D. The hardness results are quite surprising, as computing optimal paths between nodes can always be done in polynomial time.


title: FedCompetitors: Harmonious Collaboration in Federated Learning with Competing Participants

abstract: Federated learning (FL) provides a privacy-preserving approach for collaborative training of machine learning models. Given the potential data heterogeneity, it is crucial to select appropriate collaborators for each FL participant (FL-PT) based on data complementarity. Recent studies have addressed this challenge. Similarly, it is imperative to consider the inter-individual relationships among FL-PTs where some FL-PTs engage in competition. Although FL literature has acknowledged the significance of this scenario, practical methods for establishing FL ecosystems remain largely unexplored. In this paper, we extend a principle from the balance theory, namely ``the friend of my enemy is my enemy'', to ensure the absence of conflicting interests within an FL ecosystem. The extended principle and the resulting problem are formulated via graph theory and integer linear programming. A polynomial-time algorithm is proposed to determine the collaborators of each FL-PT. The solution guarantees high scalability, allowing even competing FL-PTs to smoothly join the ecosystem without conflict of interest. The proposed framework jointly considers competition and data heterogeneity. Extensive experiments on real-world and synthetic data demonstrate its efficacy compared to five alternative approaches, and its ability to establish efficient collaboration networks among FL-PTs.


title: SCEdit: Efficient and Controllable Image Diffusion Generation via Skip Connection Editing

abstract: Image diffusion models have been utilized in various tasks, such as text-to-image generation and controllable image synthesis. Recent research has introduced tuning methods that make subtle adjustments to the original models, yielding promising results in specific adaptations of foundational generative diffusion models. Rather than modifying the main backbone of the diffusion model, we delve into the role of skip connection in U-Net and reveal that hierarchical features aggregating long-distance information across encoder and decoder make a significant impact on the content and quality of image generation. Based on the observation, we propose an efficient generative tuning framework, dubbed SCEdit, which integrates and edits Skip Connection using a lightweight tuning module named SC-Tuner. Furthermore, the proposed framework allows for straightforward extension to controllable image synthesis by injecting different conditions with Controllable SC-Tuner, simplifying and unifying the network design for multi-condition inputs. Our SCEdit substantially reduces training parameters, memory usage, and computational expense due to its lightweight tuners, with backward propagation only passing to the decoder blocks. Extensive experiments conducted on text-to-image generation and controllable image synthesis tasks demonstrate the superiority of our method in terms of efficiency and performance. Project page: \url{https://scedit.github.io/}


title: Assessing Estimation Uncertainty under Model Misspecification

abstract: Model misspecification is ubiquitous in data analysis because the data-generating process is often complex and mathematically intractable. Therefore, assessing estimation uncertainty and conducting statistical inference under a possibly misspecified working model is unavoidable. In such a case, classical methods such as bootstrap and asymptotic theory-based inference frequently fail since they rely heavily on the model assumptions. In this article, we provide a new bootstrap procedure, termed local residual bootstrap, to assess estimation uncertainty under model misspecification for generalized linear models. By resampling the residuals from the neighboring observations, we can approximate the sampling distribution of the statistic of interest accurately. Instead of relying on the score equations, the proposed method directly recreates the response variables so that we can easily conduct standard error estimation, confidence interval construction, hypothesis testing, and model evaluation and selection. It performs similarly to classical bootstrap when the model is correctly specified and provides a more accurate assessment of uncertainty under model misspecification, offering data analysts an easy way to guard against the impact of misspecified models. We establish desirable theoretical properties, such as the bootstrap validity, for the proposed method using the surrogate residuals. Numerical results and real data analysis further demonstrate the superiority of the proposed method.


title: A short proof of the finiteness of Dynkin friezes

abstract: We give a short and elementary proof that every Dynkin diagram admits finitely many (positive integral) friezes. This was originally proven by Gunawan-Muller using the geometry of cluster algebras. The proof here provides an explicit (albeit inefficient) bound on values.


title: Verb Categorisation for Hindi Word Problem Solving

abstract: Word problem Solving is a challenging NLP task that deals with solving mathematical problems described in natural language. Recently, there has been renewed interest in developing word problem solvers for Indian languages. As part of this paper, we have built a Hindi arithmetic word problem solver which makes use of verbs. Additionally, we have created verb categorization data for Hindi. Verbs are very important for solving word problems with addition/subtraction operations as they help us identify the set of operations required to solve the word problems. We propose a rule-based solver that uses verb categorisation to identify operations in a word problem and generate answers for it. To perform verb categorisation, we explore several approaches and present a comparative study.


title: MAG-Edit: Localized Image Editing in Complex Scenarios via Mask-Based Attention-Adjusted Guidance

abstract: Recent diffusion-based image editing approaches have exhibited impressive editing capabilities in images with simple compositions. However, localized editing in complex scenarios has not been well-studied in the literature, despite its growing real-world demands. Existing mask-based inpainting methods fall short of retaining the underlying structure within the edit region. Meanwhile, mask-free attention-based methods often exhibit editing leakage and misalignment in more complex compositions. In this work, we develop MAG-Edit, a training-free, inference-stage optimization method, which enables localized image editing in complex scenarios. In particular, MAG-Edit optimizes the noise latent feature in diffusion models by maximizing two mask-based cross-attention constraints of the edit token, which in turn gradually enhances the local alignment with the desired prompt. Extensive quantitative and qualitative experiments demonstrate the effectiveness of our method in achieving both text alignment and structure preservation for localized editing within complex scenarios.


title: On the origin of the spectral features observed in the cosmic ray spectrum

abstract: Recent measurements revealed the presence of several features in the cosmic ray spectrum. In particular, the proton and helium spectra exhibit a spectral hardening at $\approx$ 300 GV and a spectral steeping at $\approx$ 15 TV, followed by the well known knee-likefeature at $\approx$ 3 TV. The spectra of heavier nuclei also harden at $\approx$ 300 GV, while no claim can be currently done about the presence of the $\approx$ 15 TV softening, due to low statistics. In addition, the B/C ratio flattens at $\approx$ 1 TeV/n. We present a novel scenario for cosmic ray sources and transport in the Galaxy that may explain all of the observed spectral features. The proposed scenario is based mainly on two assumptions. First, in the Galactic disk, where magnetic field lines are mainly oriented along the Galactic plane, particle scattering is assumed to be very inefficient. Therefore, the transport of cosmic rays from the disk to the halo is set by the magnetic field line random walk induced by large scale turbulence. Second, we propose that the spectral steepening at $\approx$ 15 TV is related to the typical maximum rigidity reached in the acceleration of cosmic rays by the majority of supernova remnants, while we assume that only a fraction of sources, contributing to $\approx$ 10-20% of the cosmic ray population, can accelerate particles up to $\sim$ PV. We show that, within this framework, it is possible to reproduce the proton and helium spectra from GV to multi-PV, and the p/He ratio, the spectra of cosmic ray from lithium to iron, the $\bar{p}$ flux and the $\bar{p}$/p ratio and the abundance ratios B/C, B/O, C/O, Be/C, Be/O, Be/B. We also discuss the $^{10}$Be/ $ ^9$Be ratio in view of the recent AMS02 preliminary measurements.


title: Branching random walks on $\mathbb{Z}$ with one particle generation center and symmetrically located absorbing sources

abstract: We consider a time-continuous branching random walk on a one-dimensional lattice on which there is one center (lattice point) of particle generation, called branching source. The generation of particles in the branching source is described by a Markov branching process. Some number (finite or infinite, depending on the problem formulation) of absorbing sources is located symmetrically around the branching source. For such configurations of sources we obtain necessary and sufficient conditions for the existence of an isolated positive eigenvalue of the evolution operator. It is shown that, under some additional assumptions, the existence of such an eigenvalue leads to an exponential growth of the number of particles in each point of the lattice.


title: News Signals: An NLP Library for Text and Time Series

abstract: We present an open-source Python library for building and using datasets where inputs are clusters of textual data, and outputs are sequences of real values representing one or more time series signals. The news-signals library supports diverse data science and NLP problem settings related to the prediction of time series behaviour using textual data feeds. For example, in the news domain, inputs are document clusters corresponding to daily news articles about a particular entity, and targets are explicitly associated real-valued time series: the volume of news about a particular person or company, or the number of pageviews of specific Wikimedia pages. Despite many industry and research use cases for this class of problem settings, to the best of our knowledge, News Signals is the only open-source library designed specifically to facilitate data science and research settings with natural language inputs and time series targets. In addition to the core codebase for building and interacting with datasets, we also conduct a suite of experiments using several popular Machine Learning libraries, which are used to establish baselines for time series anomaly prediction using textual inputs.


title: Renormalization: general theory

abstract: We review the theory of renormalization, including perturbative renormalization, regularized functional integrals, Renormalization Group and rigorous renormalization.


title: Underwater Robot Pose Estimation Using Acoustic Methods and Intermittent Position Measurements at the Surface

abstract: Global positioning systems can provide sufficient positioning accuracy for large scale robotic tasks in open environments. However, in underwater environments, these systems cannot be directly used, and measuring the position of underwater robots becomes more difficult. In this paper we first evaluate the performance of existing pose estimation techniques for an underwater robot equipped with commonly used sensors for underwater control and pose estimation, in a simulated environment. In our case these sensors are inertial measurement units, Doppler velocity log sensors, and ultra-short baseline sensors. Secondly, for situations in which underwater estimation suffers from drift, we investigate the benefit of intermittently correcting the position using a high-precision surface-based sensor, such as regular GPS or an assisting unmanned aerial vehicle that tracks the underwater robot from above using a camera.


title: Relativistic Jet Motion in the Radio-quiet LINER Galaxy KISSR872

abstract: We report superluminal jet motion with an apparent speed of $\beta_\mathrm{app}=1.65\pm0.57$ in the radio-quiet (RQ) low ionisation nuclear emission line region (LINER) galaxy, KISSR872. This result comes from two epoch phase-referenced very long baseline interferometry (VLBI) observations at 5 GHz. The detection of bulk relativistic motion in the jet of this extremely radio faint AGN, with a total 1.4 GHz flux density of 5 mJy in the 5.4 arcsec resolution Very Large Array (VLA) FIRST survey image and 1.5 mJy in the $\sim5$ milli-arcsec resolution Very Long Baseline Array (VLBA) image, is the first of its kind in a RQ LINER galaxy. The presence of relativistic jets in lower accretion rate objects like KISSR872, with an Eddington ratio of 0.04, reveals that even RQ AGN can harbor relativistic jets, and evidentiates their universality over a wide range of accretion powers.


title: Learning Temporal Properties is NP-hard

abstract: We investigate the complexity of LTL learning, which consists in deciding given a finite set of positive ultimately periodic words, a finite set of negative ultimately periodic words, and a bound B given in unary, if there is an LTL-formula of size less than or equal to B that all positive words satisfy and that all negative violate. We prove that this decision problem is NP-hard. We then use this result to show that CTL learning is also NP-hard. CTL learning is similar to LTL learning except that words are replaced by finite Kripke structures and we look for the existence of CTL formulae.


title: An information-theoretic proof of the Shannon-Hagelbarger theorem

abstract: The Shannon-Hagelbarger theorem states that the effective resistance across any pair of nodes in a resistive network is a concave function of the edge resistances. We give an information-theoretic proof of this result, building on the theory of the Gaussian free field. This also allows us to prove an extension of the result to determinants of matrices of cross effective resistances.


title: Unsupervised Learning for Fault Detection of HVAC Systems: An OPTICS -based Approach for Terminal Air Handling Units

abstract: The rise of AI-powered classification techniques has ushered in a new era for data-driven Fault Detection and Diagnosis in smart building systems. While extensive research has championed supervised FDD approaches, the real-world application of unsupervised methods remains limited. Among these, cluster analysis stands out for its potential with Building Management System data. This study introduces an unsupervised learning strategy to detect faults in terminal air handling units and their associated systems. The methodology involves pre-processing historical sensor data using Principal Component Analysis to streamline dimensions. This is then followed by OPTICS clustering, juxtaposed against k-means for comparison. The effectiveness of the proposed strategy was gauged using several labeled datasets depicting various fault scenarios and real-world building BMS data. Results showed that OPTICS consistently surpassed k-means in accuracy across seasons. Notably, OPTICS offers a unique visualization feature for users called reachability distance, allowing a preview of detected clusters before setting thresholds. Moreover, according to the results, while PCA is beneficial for reducing computational costs and enhancing noise reduction, thereby generally improving the clarity of cluster differentiation in reachability distance. It also has its limitations, particularly in complex fault scenarios. In such cases, PCA's dimensionality reduction may result in the loss of critical information, leading to some clusters being less discernible or entirely undetected. These overlooked clusters could be indicative of underlying faults, and their obscurity represents a significant limitation of PCA when identifying potential fault lines in intricate datasets.


title: Irreducible representation of Plesken Lie algebras

abstract: Cohen and Taylor introduced Plesken Lie algebra as certain Lie algebra constructed using finite groups. Arjun and Romeo described the linear representation of these Lie algebras induced from group representation in [1]. Hence the authors posed the question as to what are the irreducible representations of Plesken Lie algebras and describes the irreducible representations of cover of Plesken Lie algebras.


title: Precise Fourier parameters of Cepheid Radial Velocity Curves

abstract: The primary goal of this paper is to derive precise Fourier parameters of the radial velocity (RV) curves for fundamental and first-overtone Galactic Cepheids. For each star, we carefully selected RV measurements available in the literature which yield the highest precision of Fourier parameters. We performed a Fourier decomposition of the RV curves. We subtracted RV modulations caused by binary motion and have removed other residual trends. Finally, we have displayed and analyzed qualitatively the progressions found for Fourier parameters. We applied a standard identification of their pulsation mode based on their Fourier phase $\phi_{21}$. Our final sample includes 178 fundamental-mode and 33 first overtone pulsators, as well as 7 additional Cepheids whose pulsation mode is uncertain or undetermined according to our criteria. For the fundamental-mode Cepheids, we improved the precision of Fourier parameters in comparison of previous results from the literature. We are able to firmly identify V495 Cyg as a new first-overtone Cepheid. We confirm first-overtone nature of several other stars. We also show that $\alpha$ UMi should be definitely classified as a first-overtone pulsator. In 3 objects (VY Per, AQ Pup and QZ Nor) we found significant $\gamma$-velocity variations that we attribute to spectroscopic binarity. Finally, the analysis of the F-mode Fourier parameters up to 7th order reveals tight progression of Fourier phases. For $P<10\,$day we find a well defined upper limit for the Fourier amplitude $A_1$. The pulsation period coverage and the precision obtained, in particular for Fourier phase $\phi_{21}$, will be useful for studying the dynamics of Cepheid pulsations with the help of hydrodynamical models. Further radial velocity measurements from modern high-resolution spectroscopic instruments will be important to improve these results.


title: Approval-Based Committee Voting in Practice: A Case Study of (Over-)Representation in the Polkadot Blockchain

abstract: We provide the first large-scale data collection of real-world approval-based committee elections. These elections have been conducted on the Polkadot blockchain as part of their Nominated Proof-of-Stake mechanism and contain around one thousand candidates and tens of thousands of (weighted) voters each. We conduct an in-depth study of application-relevant questions, including a quantitative and qualitative analysis of the outcomes returned by different voting rules. Besides considering proportionality measures that are standard in the multiwinner voting literature, we pay particular attention to less-studied measures of overrepresentation, as these are closely related to the security of the Polkadot network. We also analyze how different design decisions such as the committee size affect the examined measures.


title: Learning disturbance models for offset-free reference tracking

abstract: This work presents a nonlinear MPC framework that guarantees asymptotic offset-free tracking of generic reference trajectories by learning a nonlinear disturbance model, which compensates for input disturbances and model-plant mismatch. Our approach generalizes the well-established method of using an observer to estimate a constant disturbance to allow tracking constant setpoints with zero steady-state error. In this paper, the disturbance model is generalized to a nonlinear static function of the plant's state and command input, learned online, so as to perfectly track time-varying reference trajectories under certain assumptions on the model and provided that future reference samples are available. We compare our approach with the classical constant disturbance model in numerical simulations, showing its superiority.


title: Active search and coverage using point-cloud reinforcement learning

abstract: We consider a problem in which the trajectory of a mobile 3D sensor must be optimized so that certain objects are both found in the overall scene and covered by the point cloud, as fast as possible. This problem is called target search and coverage, and the paper provides an end-to-end deep reinforcement learning (RL) solution to solve it. The deep neural network combines four components: deep hierarchical feature learning occurs in the first stage, followed by multi-head transformers in the second, max-pooling and merging with bypassed information to preserve spatial relationships in the third, and a distributional dueling network in the last stage. To evaluate the method, a simulator is developed where cylinders must be found by a Kinect sensor. A network architecture study shows that deep hierarchical feature learning works for RL and that by using farthest point sampling (FPS) we can reduce the amount of points and achieve not only a reduction of the network size but also better results. We also show that multi-head attention for point-clouds helps to learn the agent faster but converges to the same outcome. Finally, we compare RL using the best network with a greedy baseline that maximizes immediate rewards and requires for that purpose an oracle that predicts the next observation. We decided RL achieves significantly better and more robust results than the greedy strategy.


title: Foliated structure of weak nearly Sasakian manifolds

abstract: Weak contact metric manifolds, i.e., the linear complex structure on the contact distribution is replaced by a nonsingular skew-symmetric tensor, defined by the author and R. Wolak, allowed a new look at the theory of contact manifolds. In this paper we study the new structure of this type, called the weak nearly Sasakian structure. We find conditions that are automatically satisfied by almost contact manifolds and under which the contact distribution is curvature invariant and the weak nearly Sasakian structure foliates into two types of totally geodesic foliations. Our main result generalizes the theorem by B. Cappelletti-Montano and G. Dileo (2016) about the foliated structure of nearly Sasakian manifolds.


title: Large-$n$ asymptotics for Weil-Petersson volumes of moduli spaces of bordered hyperbolic surfaces

abstract: We prove a large-$n$ asymptotic formula for the Weil-Petersson volume $V_{g,n}\left(\ell_{1},\dots,\ell_{k}\right)$ of the moduli space $\mathcal{M}_{g,n}\left(\ell_{1},\dots,\ell_{k}\right)$ of genus-$g$ hyperbolic surfaces with $k$ geodesic boundary components and $n-k$ cusps with $k$ fixed, building on work of Manin and Zograf [MZ00]. As a first application we show that for a random hyperbolic surface in $\mathcal{M}_{g,n}$ with $n$ large, the number of small Laplacian eigenvalues is linear in $n$ with high probability. By work of Ballmann, Mathiesen and Mondal [BMM17], this result is optimal up to a multiplicative constant. As a second application, we gain insight into the relative frequency of simple and non-simple closed geodesics, showing that on random surfaces with many cusps, most closed geodesics with lengths up to $\log(n)$ scales are non-simple.


title: DeRDaVa: Deletion-Robust Data Valuation for Machine Learning

abstract: Data valuation is concerned with determining a fair valuation of data from data sources to compensate them or to identify training examples that are the most or least useful for predictions. With the rising interest in personal data ownership and data protection regulations, model owners will likely have to fulfil more data deletion requests. This raises issues that have not been addressed by existing works: Are the data valuation scores still fair with deletions? Must the scores be expensively recomputed? The answer is no. To avoid recomputations, we propose using our data valuation framework DeRDaVa upfront for valuing each data source's contribution to preserving robust model performance after anticipated data deletions. DeRDaVa can be efficiently approximated and will assign higher values to data that are more useful or less likely to be deleted. We further generalize DeRDaVa to Risk-DeRDaVa to cater to risk-averse/seeking model owners who are concerned with the worst/best-cases model utility. We also empirically demonstrate the practicality of our solutions.


title: Animal-AI 3: What's New & Why You Should Care

abstract: The Animal-AI Environment is a unique game-based research platform designed to serve both the artificial intelligence and cognitive science research communities. In this paper, we present Animal-AI 3, the latest version of the environment, outlining several major new features that make the game more engaging for humans and more complex for AI systems. New features include interactive buttons, reward dispensers, and player notifications, as well as an overhaul of the environment's graphics and processing for significant increases in agent training time and quality of the human player experience. We provide detailed guidance on how to build computational and behavioural experiments with Animal-AI 3. We present results from a series of agents, including the state-of-the-art Deep Reinforcement Learning agent (dreamer-v3), on newly designed tests and the Animal-AI Testbed of 900 tasks inspired by research in comparative psychology. Animal-AI 3 is designed to facilitate collaboration between the cognitive sciences and artificial intelligence. This paper serves as a stand-alone document that motivates, describes, and demonstrates Animal-AI 3 for the end user.


title: Mend the gap: A smart repair algorithm for noisy polygonal tilings

abstract: Let $T^* = \{P^*_1, \ldots, P^*_N\}$ be a polygonal tiling of a simply connected region in the plane, and let $T = \{P_1, \ldots, P_N\}$ be a noisy version of $T^*$ obtained by making small perturbations to the coordinates of the vertices of the polygons in $T^*$. In general, $T$ will only be an approximate tiling, due to the presence of gaps and overlaps between the perturbed polygons in $T$. The areas of these gaps and overlaps are typically small relative to the areas of the polygons themselves. Suppose that we are given the approximate tiling $T$ and we wish to recover the tiling $T^*$. To address this problem, we introduce a new algorithm, called {\tt smart\_repair}, to modify the polygons in $T$ to produce a tiling $\widetilde{T} = \{\widetilde{P}_1, \ldots, \widetilde{P}_N\}$ that closely approximates $T^*$, with special attention given to reproducing the {\em adjacency relations} between the polygons in $T^*$ as closely as possible. The motivation for this algorithm comes from computational redistricting, where algorithms are used to build districts from smaller geographic units. Because districts in most U.S. states are required to be contiguous, these algorithms are fundamentally based on adjacency relations between units. Unfortunately, the best available map data for unit boundaries is often noisy, containing gaps and overlaps between units that can lead to substantial inaccuracies in the adjacency relations. Simple repair algorithms can exacerbate these inaccuracies, with the result that algorithmically drawn districts based on the ``repaired" units may be discontiguous, and hence not legally compliant. The algorithm presented here is specifically designed to avoid such problems. A Python implementation is publicly available as part of the MGGG Redistricting Lab's {\tt Maup} package, available at \url{https://github.com/mggg/maup}.


title: Bifurcation tracking on moving meshes and with consideration of azimuthal symmetry breaking instabilities

abstract: We present a black-box method to numerically investigate the linear stability of arbitrary multi-physics problems. While the user just has to enter the system's residual in weak formulation, i.e. by a finite element method, all required discretized matrices are automatically assembled based on just-in-time generated and compiled highly performant C code. Based on this method, entire phase diagrams in the parameter space can be obtained by bifurcation tracking and continuation within minutes. Particular focus is put on problems with moving domains, e.g. free surface problems in fluid dynamics, since a moving mesh introduces a plethora of complicated nonlinearities to the system. By symbolic differentiation before the code generation, however, these moving mesh problems are made accessible to bifurcation tracking methods. In a second step, our method is generalized to investigate symmetry-breaking instabilities of axisymmetric stationary solutions by effectively utilizing the symmetry of the base state. Each bifurcation type is validated on the basis of results reported in the literature on versatile fluid dynamics problems.


title: PolyDiff: Generating 3D Polygonal Meshes with Diffusion Models

abstract: We introduce PolyDiff, the first diffusion-based approach capable of directly generating realistic and diverse 3D polygonal meshes. In contrast to methods that use alternate 3D shape representations (e.g. implicit representations), our approach is a discrete denoising diffusion probabilistic model that operates natively on the polygonal mesh data structure. This enables learning of both the geometric properties of vertices and the topological characteristics of faces. Specifically, we treat meshes as quantized triangle soups, progressively corrupted with categorical noise in the forward diffusion phase. In the reverse diffusion phase, a transformer-based denoising network is trained to revert the noising process, restoring the original mesh structure. At inference, new meshes can be generated by applying this denoising network iteratively, starting with a completely noisy triangle soup. Consequently, our model is capable of producing high-quality 3D polygonal meshes, ready for integration into downstream 3D workflows. Our extensive experimental analysis shows that PolyDiff achieves a significant advantage (avg. FID and JSD improvement of 18.2 and 5.8 respectively) over current state-of-the-art methods.


title: Towards Cognitive Load Assessment Using Electrooculography Measures

abstract: Cognitive load assessment is crucial for understanding human performance in various domains. This study investigates the impact of different task conditions and time constraints on cognitive load using multiple measures, including subjective evaluations, performance metrics, and physiological eye-tracking data. Fifteen participants completed a series of primary and secondary tasks with different time limits. The NASA-TLX questionnaire, reaction time, inverse efficiency score, and eye-related features (blink, saccade, and fixation frequency) were utilized to assess cognitive load. The study results show significant differences in the level of cognitive load required for different tasks and when under time constraints. The study also found that there was a positive correlation (r = 0.331, p = 0.014) between how often participants blinked their eyes and the level of cognitive load required but a negative correlation (r = -0.290, p = 0.032) between how often participants made quick eye movements (saccades) and the level of cognitive load required. Additionally, the analysis revealed a significant negative correlation (r = -0.347, p = 0.009) and (r = -0.370, p = 0.005) between fixation and saccade frequencies under time constraints.


title: Superhorizon entanglement from inflationary particle production

abstract: We investigate entanglement generation between the sub- and super-Hubble modes of inflaton fluctuations, in the context of particle production from perturbations during inflation. We consider a large-field inflationary scenario where inflation is driven by a vacuum energy symmetry breaking potential and the scalar inflaton field is nonminimally coupled to spacetime curvature. In particular, we focus on the slow-roll phase, adopting a quasi-de Sitter scale factor to properly account for the presence of perturbations and computing the pair production probability associated to the coupling between the inflaton and spacetime inhomogeneities. The interaction Lagrangian at first order is constructed from inhomogeneities induced by the inflaton dynamics, and the initial Bunch-Davies vacuum state of the field evolves under the action of such Lagrangian. In this framework, we quantify the total amount of entanglement via the von Neumann entropy of the reduced density operator for superhorizon modes, tracing out sub-Hubble degrees of freedom. We then compare these outcomes with entanglement production for quadratic chaotic inflation and for a small-field quadratic hilltop scenario, preserving field-curvature coupling in both cases and pointing out the main differences between large and small-field approaches. We show that the amount of entanglement entropy arising from such geometric production grows rapidly in slow-roll regime and that it is typically higher in large-field scenarios. We also discuss our outcomes in light of recent findings for the squeezing entropy of cosmological perturbations and cubic nonlinearities in de Sitter space.


title: Tuning LayerNorm in Attention: Towards Efficient Multi-Modal LLM Finetuning

abstract: This paper introduces an efficient strategy to transform Large Language Models (LLMs) into Multi-Modal Large Language Models (MLLMs). By conceptualizing this transformation as a domain adaptation process, i.e., transitioning from text understanding to embracing multiple modalities, we intriguingly note that, within each attention block, tuning LayerNorm suffices to yield strong performance. Moreover, when benchmarked against other tuning approaches like full parameter finetuning or LoRA, its benefits on efficiency are substantial. For example, when compared to LoRA on a 13B model scale, performance can be enhanced by an average of over 20% across five multi-modal tasks, and meanwhile, results in a significant reduction of trainable parameters by 41.9% and a decrease in GPU memory usage by 17.6%. On top of this LayerNorm strategy, we showcase that selectively tuning only with conversational data can improve efficiency further. Beyond these empirical outcomes, we provide a comprehensive analysis to explore the role of LayerNorm in adapting LLMs to the multi-modal domain and improving the expressive power of the model.


title: Frequency analysis and filter design for directed graphs with polar decomposition

abstract: In this study, we challenge the traditional approach of frequency analysis on directed graphs, which typically relies on a single measure of signal variation such as total variation. We argue that the inherent directionality in directed graphs necessitates a multifaceted analytical approach that incorporates multiple signal variations definitions. Our methodology leverages the polar decomposition to define two distinct variations, each associated with different matrices derived from this decomposition. This approach provides a novel interpretation in the node domain and reveals aspects of graph signals that may be overlooked with a singular measure of variation. Additionally, we develop graph filters specifically designed to smooth graph signals in accordance with our proposed variations. These filters allow for bypassing costly filtering operations associated with the original graph through effective cascading. We demonstrate the efficacy of our methodology using an M-block cyclic graph example, validating our claims and showcasing the advantages of our multifaceted approach in analyzing signals on directed graphs.


title: Warping the Residuals for Image Editing with StyleGAN

abstract: StyleGAN models show editing capabilities via their semantically interpretable latent organizations which require successful GAN inversion methods to edit real images. Many works have been proposed for inverting images into StyleGAN's latent space. However, their results either suffer from low fidelity to the input image or poor editing qualities, especially for edits that require large transformations. That is because low-rate latent spaces lose many image details due to the information bottleneck even though it provides an editable space. On the other hand, higher-rate latent spaces can pass all the image details to StyleGAN for perfect reconstruction of images but suffer from low editing qualities. In this work, we present a novel image inversion architecture that extracts high-rate latent features and includes a flow estimation module to warp these features to adapt them to edits. The flows are estimated from StyleGAN features of edited and unedited latent codes. By estimating the high-rate features and warping them for edits, we achieve both high-fidelity to the input image and high-quality edits. We run extensive experiments and compare our method with state-of-the-art inversion methods. Qualitative metrics and visual comparisons show significant improvements.


title: Computation of the Kugo-Ojima function from lattice simulations

abstract: In addition to its connection with a standard confinement criterion, the Kugo-Ojima function constitutes an indispensable component in a multitude of applications in the gauge sector of QCD. In the present work we report on preliminary results of an ongoing large-volume lattice simulation of this special function. In particular, the volume-dependence of the data is studied in detail, and a comparison with results obtained from Schwinger-Dyson equations is carried out.


title: 3D exploration-based search for multiple targets using a UAV

abstract: Consider an unmanned aerial vehicle (UAV) that searches for an unknown number of targets at unknown positions in 3D space. A particle filter uses imperfect measurements about the targets to update an intensity function that represents the expected number of targets. We propose a receding-horizon planner that selects the next UAV position by maximizing a joint, exploration and target-refinement objective. Confidently localized targets are saved and removed from consideration. A nonlinear controller with an obstacle-avoidance component is used to reach the desired waypoints. We demonstrate the performance of our approach through a series of simulations, as well as in real-robot experiments with a Parrot Mambo drone that searches for targets from a constant altitude. The proposed planner works better than a lawnmower and a target-refinement-only method.


title: When can you trust feature selection? -- I: A condition-based analysis of LASSO and generalised hardness of approximation

abstract: The arrival of AI techniques in computations, with the potential for hallucinations and non-robustness, has made trustworthiness of algorithms a focal point. However, trustworthiness of the many classical approaches are not well understood. This is the case for feature selection, a classical problem in the sciences, statistics, machine learning etc. Here, the LASSO optimisation problem is standard. Despite its widespread use, it has not been established when the output of algorithms attempting to compute support sets of minimisers of LASSO in order to do feature selection can be trusted. In this paper we establish how no (randomised) algorithm that works on all inputs can determine the correct support sets (with probability $> 1/2$) of minimisers of LASSO when reading approximate input, regardless of precision and computing power. However, we define a LASSO condition number and design an efficient algorithm for computing these support sets provided the input data is well-posed (has finite condition number) in time polynomial in the dimensions and logarithm of the condition number. For ill-posed inputs the algorithm runs forever, hence, it will never produce a wrong answer. Furthermore, the algorithm computes an upper bound for the condition number when this is finite. Finally, for any algorithm defined on an open set containing a point with infinite condition number, there is an input for which the algorithm will either run forever or produce a wrong answer. Our impossibility results stem from generalised hardness of approximation -- within the Solvability Complexity Index (SCI) hierarchy framework -- that generalises the classical phenomenon of hardness of approximation.


title: Rheological Analysis and Evaluation of Measurement Techniques for the Curing Polymethylmethacrylate Bone Cement in Vertebroplasty

abstract: Vertebroplasty is a minimally invasive surgical procedure used to treat vertebral fractures, which conventionally involves injecting polymethylmethacrylate (PMMA) bone cement into the fractured vertebra. A common risk associated with vertebroplasty is cement leaking out of the vertebra during the injection, which may occur due to a lack of understanding of the bone cement's complex flow behavior. Therefore, experiments to quantify the cement's flow properties are necessary for understanding and proper handling of the bone cement. In this study, we aimed to characterize the behavior of the PMMA bone cement in its curing stages to obtain parameters that govern the flow behavior during the injection. We used rotational and oscillatory rheometry for our measurements, as well as a custom-made injector setup that replicated a typical vertebroplasty setting. Our results showed that the complex viscoelastic behavior of the bone cement is significantly affected by deformations and temperature. We found that the results from rotational tests, often used for characterizing the bone cement, are susceptible to measurement artifacts caused by wall slip and "ridge"-like formations in the test sample. We also found the Cox-Merz rule to be conditionally valid, which affects the use of oscillatory tests to obtain shear-thinning characteristics for the bone cement. Our findings identify important differences in the measured flow behavior of PMMA bone cement when assessed by different rheological methods, understanding which is crucial for its risk-free usage in downstream medical applications.


title: $(g-2)_{e,\mu}$ anomalies and decays $h\to e_a e_b$, $Z\to e_ae_b$, and $e_b\to e_a \gamma$ in a two Higgs doublet model with inverse seesaw neutrinos

abstract: The lepton flavor violating decays $h\to e_b^\pm e_a^\mp $, $Z\to e_b^\pm e_a^\mp$, and $e_b\to e_a \gamma$ will be discussed in the framework of the Two Higgs doublet model with presence of new inverse seesaw neutrinos and a singly charged Higgs boson that accommodate both $1\sigma$ experimental data of $(g-2)$ anomalies of the muon and electron. Numerical results indicate that there exist regions of the parameter space supporting all experimental data of $(g-2)_{e,\mu}$ as well as the promising LFV signals corresponding to the future experimental sensitivities.


title: Random surfaces with large systoles

abstract: We present two constructions, both inspired by ideas from graph theory, of sequences random surfaces of growing area, whose systoles grow logarithmically as a function of their area. This also allows us to prove a new lower bound on the maximal systole of a closed orientable hyperbolic surface of a given genus.


title: When can you trust feature selection? -- II: On the effects of random data on condition in statistics and optimisation

abstract: In Part I, we defined a LASSO condition number and developed an algorithm -- for computing support sets (feature selection) of the LASSO minimisation problem -- that runs in polynomial time in the number of variables and the logarithm of the condition number. The algorithm is trustworthy in the sense that if the condition number is infinite, the algorithm will run forever and never produce an incorrect output. In this Part II article, we demonstrate how finite precision algorithms (for example algorithms running floating point arithmetic) will fail on open sets when the condition number is large -- but still finite. This augments Part I's result: If an algorithm takes inputs from an open set that includes at least one point with an infinite condition number, it fails to compute the correct support set for all inputs within that set. Hence, for any finite precision algorithm working on open sets for the LASSO problem with random inputs, our LASSO condition number -- as a random variable -- will estimate the probability of success/failure of the algorithm. We show that a finite precision version of our algorithm works on traditional Gaussian data for LASSO with high probability. The algorithm is trustworthy, specifically, in the random cases where the algorithm fails, it will not produce an output. Finally, we demonstrate classical random ensembles for which the condition number will be large with high probability, and hence where any finite precision algorithm on open sets will fail. We show numerically how commercial software fails on these cases.


title: Breaking black-hole uniqueness at supermassive scales

abstract: In general relativity, all vacuum black holes are described by the Kerr solution. Beyond general relativity, there is a prevailing expectation that deviations from the Kerr solution increase with the horizon curvature. We challenge this expectation by showing that, in a scalar-Gauss-Bonnet theory, black holes scalarize in a finite, adjustable window of black-hole masses, bounded from above and below. In this theory, there is an interplay between curvature scales and compactness, which we expect to protect neutron stars and other less compact objects from scalarization. In particular, black-hole uniqueness can be broken at supermassive black-hole scales, while solar-mass black holes remain well-described by the Kerr solution. To probe this scenario, observations targeting supermassive black holes are necessary.


title: Make It Make Sense! Understanding and Facilitating Sensemaking in Computational Notebooks

abstract: Reusing and making sense of other scientists' computational notebooks. However, making sense of existing notebooks is a struggle, as these reference notebooks are often exploratory, have messy structures, include multiple alternatives, and have little explanation. To help mitigate these issues, we developed a catalog of cognitive tasks associated with the sensemaking process. Utilizing this catalog, we introduce Porpoise: an interactive overlay on computational notebooks. Porpoise integrates computational notebook features with digital design, grouping cells into labeled sections that can be expanded, collapsed, or annotated for improved sensemaking. We investigated data scientists' needs with unfamiliar computational notebooks and investigated the impact of Porpoise adaptations on their comprehension process. Our counterbalanced study with 24 data scientists found Porpoise enhanced code comprehension, making the experience more akin to reading a book, with one participant describing it as It's really like reading a book.


title: Fast generation of multi-component cat states under the Strong Rydberg Dressing Regime

abstract: The study explores cat state formation in the strong Rydberg dressing regime, uncovering the emergence of cat states despite the presence of all orders of nonlinearities. This unexplored regime demonstrates potential for rapid cat state formation, particularly beneficial for operation in 2D lattices in Rydberg labs. Additionally, the paper discusses the potential for creating a superposition of m coherent spin states (m-SCSS), where the maximum m is determined by the number of atoms within the blockade radius $m=\sqrt{N}$.


title: Killing Invariants: An approach to the sub-classification of geometries with symmetry

abstract: In principle, the local classification of spacetimes is always possible using the Cartan-Karlhede algorithm. However, in practice, the process of determining equivalence of two spacetimes is potentially computationally difficult or not at all possible. This difficulty will arise whenever the classifying invariants are either high-degree rational functions or depend on transcendental functions without standard inverses. In the case that spacetimes admit Killing vectors with non-trivial orbits, we propose a new set of invariant quantities, called Killing invariants. These invariants will allow for the sub-classification of spacetimes admitting the same group of symmetries and will, in principle, be substantially less complicated than any other known set. We apply this approach to the class of static spherically symmetric geometries as an illustrative example.


title: Factored Online Planning in Many-Agent POMDPs

abstract: In centralized multi-agent systems, often modeled as multi-agent partially observable Markov decision processes (MPOMDPs), the action and observation spaces grow exponentially with the number of agents, making the value and belief estimation of single-agent online planning ineffective. Prior work partially tackles value estimation by exploiting the inherent structure of multi-agent settings via so-called coordination graphs. Additionally, belief estimation methods have been improved by incorporating the likelihood of observations into the approximation. However, the challenges of value estimation and belief estimation have only been tackled individually, which prevents existing methods from scaling to settings with many agents. Therefore, we address these challenges simultaneously. First, we introduce weighted particle filtering to a sample-based online planner for MPOMDPs. Second, we present a scalable approximation of the belief. Third, we bring an approach that exploits the typical locality of agent interactions to novel online planning algorithms for MPOMDPs operating on a so-called sparse particle filter tree. Our experimental evaluation against several state-of-the-art baselines shows that our methods (1) are competitive in settings with only a few agents and (2) improve over the baselines in the presence of many agents.


title: Fractional Topological Charges in 2D Magnets

abstract: Magnetic skyrmions and antiskyrmions are characterised by an integer topological charge $\mathcal Q =\mp 1$, describing the winding of the magnetic orientation. Half-integer winding numbers, $\mathcal Q=\pm \frac{1}{2}$, can be obtained for magnetic vortices (merons). Here, we discuss the physics of magnets with fractional topological charge which is neither integer nor half-integer. We argue that in ferromagnetic films with cubic anisotropy, textures with $\mathcal Q=\pm\frac{1}{6} $ or $\pm\frac{1}{8}$ arise naturally when three or more magnetic domains meet. We also show that a single magnetic skyrmion with $\mathcal Q =-1$ can explode into four fractional defects, each carrying charge $\mathcal Q=-\frac{1}{4}$. Additionally, we investigate a point defect with a non-quantised fractional charge ($\mathcal Q\neq \frac{n}{m}, n,m\in\mathbb{Z}$) which can move parallel to a magnetic domain wall. Only defects with fractional charge lead to an Aharonov-Bohm effect for magnons. We investigate the resulting forces on a fractional defect due to magnon currents.


title: Layerwise complexity-matched learning yields an improved model of cortical area V2

abstract: Human ability to recognize complex visual patterns arises through transformations performed by successive areas in the ventral visual cortex. Deep neural networks trained end-to-end for object recognition approach human capabilities, and offer the best descriptions to date of neural responses in the late stages of the hierarchy. But these networks provide a poor account of the early stages, compared to traditional hand-engineered models, or models optimized for coding efficiency or prediction. Moreover, the gradient backpropagation used in end-to-end learning is generally considered to be biologically implausible. Here, we overcome both of these limitations by developing a bottom-up self-supervised training methodology that operates independently on successive layers. Specifically, we maximize feature similarity between pairs of locally-deformed natural image patches, while decorrelating features across patches sampled from other images. Crucially, the deformation amplitudes are adjusted proportionally to receptive field sizes in each layer, thus matching the task complexity to the capacity at each stage of processing. In comparison with architecture-matched versions of previous models, we demonstrate that our layerwise complexity-matched learning (LCL) formulation produces a two-stage model (LCL-V2) that is better aligned with selectivity properties and neural activity in primate area V2. We demonstrate that the complexity-matched learning paradigm is critical for the emergence of the improved biological alignment. Finally, when the two-stage model is used as a fixed front-end for a deep network trained to perform object recognition, the resultant model (LCL-V2Net) is significantly better than standard end-to-end self-supervised, supervised, and adversarially-trained models in terms of generalization to out-of-distribution tasks and alignment with human behavior.


title: Clustering Consistency of General Nonparametric Classification Methods in Cognitive Diagnosis

abstract: Cognitive diagnosis models have been popularly used in fields such as education, psychology, and social sciences. While parametric likelihood estimation is a prevailing method for fitting cognitive diagnosis models, nonparametric methodologies are attracting increasing attention due to their ease of implementation and robustness, particularly when sample sizes are relatively small. However, existing clustering consistency results of the nonparametric estimation methods often rely on certain restrictive conditions, which may not be easily satisfied in practice. In this article, the clustering consistency of the general nonparametric classification method is reestablished under weaker and more practical conditions.


title: Nonlocal Approximation of Slow and Fast Diffusion

abstract: Motivated by recent work on approximation of diffusion equations by deterministic interacting particle systems, we develop a nonlocal approximation for a range of linear and nonlinear diffusion equations and prove convergence of the method in the slow, linear, and fast diffusion regimes. A key ingredient of our approach is a novel technique for using the 2-Wasserstein and dual Sobolev gradient flow structures of the diffusion equations to recover the duality relation characterizing the pressure in the nonlocal-to-local limit. Due to the general class of internal energy densities that our method is able to handle, a byproduct of our result is a novel particle method for sampling a wide range of probability measures, which extends classical approaches based on the Fokker-Planck equation beyond the log-concave setting.


title: Pinning, diffusive fluctuations, and Gaussian limits for half-space directed polymer models

abstract: Half-space directed polymers in random environments are models of interface growth in the presence of an attractive hard wall. They arise naturally in the study of wetting and entropic repulsion phenomena. In 1985, Kardar predicted a "depinning" phase transition as the attractive force of the wall is weakened. This phase transition has been rigorously established for integrable models of half-space last passage percolation, i.e. half-space directed polymers at zero temperature, in a line of study tracing back to work of Baik--Rains. On the other hand, for integrable positive temperature models, the first rigorous proof of this phase transition has only been obtained very recently through a series of works of Barraquand--Wang, Imamura--Mucciconi--Sasamoto [IMS], Barraquand--Corwin--Das, and Das--Zhu [DZ] on the half-space log-Gamma polymer. In this paper we study a broad class of half-space directed polymer models with minimal assumptions on the random environment. We prove that an attractive force on the wall strong enough to macroscopically increase the free energy induces phenomena characteristic of the subcritical "bound phase," namely the pinning of the polymer to the wall and the diffusive fluctuations and limiting Gaussianity of the free energy. Our arguments are geometric in nature and allow us to analyze the positive temperature and zero temperature models simultaneously. Moreover, given the macroscopic free energy increase proven in [IMS] for the half-space log-Gamma polymer, our arguments can be used to reprove the results of [IMS, DZ] on polymer geometry and free energy fluctuations in the bound phase.