title: Optimal Control Synthesis of Markov Decision Processes for Efficiency with Surveillance Tasks

abstract: We investigate the problem of optimal control synthesis for Markov Decision Processes (MDPs), addressing both qualitative and quantitative objectives. Specifically, we require the system to fulfill a qualitative surveillance task in the sense that a specific region of interest can be visited infinitely often with probability one. Furthermore, to quantify the performance of the system, we consider the concept of efficiency, which is defined as the ratio between rewards and costs. This measure is more general than the standard long-run average reward metric as it aims to maximize the reward obtained per unit cost. Our objective is to synthesize a control policy that ensures the surveillance task while maximizes the efficiency. We provide an effective approach to synthesize a stationary control policy achieving $\epsilon$-optimality by integrating state classifications of MDPs and perturbation analysis in a novel manner. Our results generalize existing works on efficiency-optimal control synthesis for MDP by incorporating qualitative surveillance tasks. A robot motion planning case study is provided to illustrate the proposed algorithm.


title: The effect of cutoff dependence on heavy quark spin symmetry partners

abstract: Hadron spectroscopy is revealed by observing heavy resonances. Among various explanations of the internal structure of these hadronic states, hadronic molecules play a unique role. For hadronic molecules, which are associated with meson-meson or meson-baryon interactions, the $\Lambda$ cutoff is a significant factor in determining the composite states' binding energies and overall properties. The cutoff becomes important when it comes to the location of hadronic molecules' masses because it influences the predictions. From this perspective, in the light of cutoff dependency, heavy quark spin partners of near-threshold the $\chi_{c0}(3915)$, $\chi_{c1}(3872)$, $P_c(4440)$, and $P_c(4457)$ resonances, which are considered as hadronic molecules, are examined.


title: A Hilbert metric for bounded symmetric domains

abstract: Bounded symmetric domains carry several natural invariant metrics, for example the Carath\'eodory, Kobayashi or the Bergman metric. We define another natural metric, from generalized Hilbert metric defined in [FGW20], by considering the Borel embedding of the domain as an open subset of its dual compact Hermitian symmetric space and then its Harish-Chandra realization in projective spaces. We describe this construction on the four classical families of bounded symmetric domains and compute both this metric and its associated Finsler metric. We compare it to Carath\'eodory and Bergman metrics and show that, except for the complex hyperbolic space, those metrics differ.


title: Fusion approaches for emotion recognition from speech using acoustic and text-based features

abstract: In this paper, we study different approaches for classifying emotions from speech using acoustic and text-based features. We propose to obtain contextualized word embeddings with BERT to represent the information contained in speech transcriptions and show that this results in better performance than using Glove embeddings. We also propose and compare different strategies to combine the audio and text modalities, evaluating them on IEMOCAP and MSP-PODCAST datasets. We find that fusing acoustic and text-based systems is beneficial on both datasets, though only subtle differences are observed across the evaluated fusion approaches. Finally, for IEMOCAP, we show the large effect that the criteria used to define the cross-validation folds have on results. In particular, the standard way of creating folds for this dataset results in a highly optimistic estimation of performance for the text-based system, suggesting that some previous works may overestimate the advantage of incorporating transcriptions.


title: A Diffusion-Based Generative Equalizer for Music Restoration

abstract: This paper presents a novel approach to audio restoration, focusing on the enhancement of low-quality music recordings, and in particular historical ones. Building upon a previous algorithm called BABE, or Blind Audio Bandwidth Extension, we introduce BABE-2, which presents a series of significant improvements. This research broadens the concept of bandwidth extension to \emph{generative equalization}, a novel task that, to the best of our knowledge, has not been explicitly addressed in previous studies. BABE-2 is built around an optimization algorithm utilizing priors from diffusion models, which are trained or fine-tuned using a curated set of high-quality music tracks. The algorithm simultaneously performs two critical tasks: estimation of the filter degradation magnitude response and hallucination of the restored audio. The proposed method is objectively evaluated on historical piano recordings, showing a marked enhancement over the prior version. The method yields similarly impressive results in rejuvenating the works of renowned vocalists Enrico Caruso and Nellie Melba. This research represents an advancement in the practical restoration of historical music.


title: Transformers-based architectures for stroke segmentation: A review

abstract: Stroke remains a significant global health concern, necessitating precise and efficient diagnostic tools for timely intervention and improved patient outcomes. The emergence of deep learning methodologies has transformed the landscape of medical image analysis. Recently, Transformers, initially designed for natural language processing, have exhibited remarkable capabilities in various computer vision applications, including medical image analysis. This comprehensive review aims to provide an in-depth exploration of the cutting-edge Transformer-based architectures applied in the context of stroke segmentation. It commences with an exploration of stroke pathology, imaging modalities, and the challenges associated with accurate diagnosis and segmentation. Subsequently, the review delves into the fundamental ideas of Transformers, offering detailed insights into their architectural intricacies and the underlying mechanisms that empower them to effectively capture complex spatial information within medical images. The existing literature is systematically categorized and analyzed, discussing various approaches that leverage Transformers for stroke segmentation. A critical assessment is provided, highlighting the strengths and limitations of these methods, including considerations of performance and computational efficiency. Additionally, this review explores potential avenues for future research and development


title: Mind the Domain Gap: a Systematic Analysis on Bioacoustic Sound Event Detection

abstract: Detecting the presence of animal vocalisations in nature is essential to study animal populations and their behaviors. A recent development in the field is the introduction of the task known as few-shot bioacoustic sound event detection, which aims to train a versatile animal sound detector using only a small set of audio samples. Previous efforts in this area have utilized different architectures and data augmentation techniques to enhance model performance. However, these approaches have not fully bridged the domain gap between source and target distributions, limiting their applicability in real-world scenarios. In this work, we introduce an new dataset designed to augment the diversity and breadth of classes available for few-shot bioacoustic event detection, building on the foundations of our previous datasets. To establish a robust baseline system tailored for the DCASE 2024 Task 5 challenge, we delve into an array of acoustic features and adopt negative hard sampling as our primary domain adaptation strategy. This approach, chosen in alignment with the challenge's guidelines that necessitate the independent treatment of each audio file, sidesteps the use of transductive learning to ensure compliance while aiming to enhance the system's adaptability to domain shifts. Our experiments show that the proposed baseline system achieves a better performance compared with the vanilla prototypical network. The findings also confirm the effectiveness of each domain adaptation method by ablating different components within the networks. This highlights the potential to improve few-shot bioacoustic sound event detection by further reducing the impact of domain shift.


title: Dependency Aware Incident Linking in Large Cloud Systems

abstract: Despite significant reliability efforts, large-scale cloud services inevitably experience production incidents that can significantly impact service availability and customer's satisfaction. Worse, in many cases one incident can lead to multiple downstream failures due to cascading effects that creates several related incidents across different dependent services. Often time On-call Engineers (OCEs) examine these incidents in silos that lead to significant amount of manual toil and increase the overall time-to-mitigate incidents. Therefore, developing efficient incident linking models is of paramount importance for grouping related incidents into clusters so as to quickly resolve major outages and reduce on-call fatigue. Existing incident linking methods mostly leverages textual and contextual information of incidents (e.g., title, description, severity, impacted components), thus failing to leverage the inter-dependencies between services. In this paper, we propose the dependency-aware incident linking (DiLink) framework which leverages both textual and service dependency graph information to improve the accuracy and coverage of incident links not only coming from same service, but also from different services and workloads. Furthermore, we propose a novel method to align the embeddings of multi-modal (i.e., textual and graphical) data using Orthogonal Procrustes. Extensive experimental results on real-world incidents from 5 workloads of Microsoft demonstrate that our alignment method has an F1-score of 0.96 (14% gain over current state-of-the-art methods). We are also in the process of deploying this solution across 610 services from these 5 workloads for continuously supporting OCEs improving incident management and reducing manual toil.


title: Lattice study of disordering of inhomogeneous condensates and the Quantum Pion Liquid in effective $O(N)$ model

abstract: In this talk, we study a scalar $O(N)$ model with a so-called moat regime -- a regime with negative bosonic wave function renormalization -- using lattice field theory. For negative bare wave function renormalization, inhomogeneous condensates are solutions of the classical equations of motions. Using hybrid Monte Carlo simulations we demonstrate how bosonic quantum fluctuations disorder the inhomogeneous condensate. Instead, one finds a so-called Quantum Pion Liquid, where bosonic correlation functions are spatially oscillating, but also exponentially decaying.


title: Improving Efficiency of Parallel Across the Method Spectral Deferred Corrections

abstract: Parallel-across-the method time integration can provide small scale parallelism when solving initial value problems. Spectral deferred corrections (SDC) with a diagonal sweeper, which is closely related to iterated Runge-Kutta methods proposed by Van der Houwen and Sommeijer, can use a number of threads equal to the number of quadrature nodes in the underlying collocation method. However, convergence speed, efficiency and stability depends critically on the used coefficients. Previous approaches have used numerical optimization to find good parameters. Instead, we propose an ansatz that allows to find optimal parameters analytically. We show that the resulting parallel SDC methods provide stability domains and convergence order very similar to those of well established serial SDC variants. Using a model for computational cost that assumes 80% efficiency of an implementation of parallel SDC we show that our variants are competitive with serial SDC, previously published parallel SDC coefficients as well as Picard iteration, explicit RKM-4 and an implicit fourth-order diagonally implicit Runge-Kutta method.


title: Collective schedules: axioms and algorithms

abstract: The collective schedules problem consists in computing a schedule of tasks shared between individuals. Tasks may have different duration, and individuals have preferences over the order of the shared tasks. This problem has numerous applications since tasks may model public infrastructure projects, events taking place in a shared room, or work done by co-workers. Our aim is, given the preferred schedules of individuals (voters), to return a consensus schedule. We propose an axiomatic study of the collective schedule problem, by using classic axioms in computational social choice and new axioms that take into account the duration of the tasks. We show that some axioms are incompatible, and we study the axioms fulfilled by three rules: one which has been studied in the seminal paper on collective schedules (Pascual et al. 2018), one which generalizes the Kemeny rule, and one which generalizes Spearman's footrule. From an algorithmic point of view, we show that these rules solve NP-hard problems, but that it is possible to solve optimally these problems for small but realistic size instances, and we give an efficient heuristic for large instances. We conclude this paper with experiments.


title: Sampling-Based Motion Planning with Online Racing Line Generation for Autonomous Driving on Three-Dimensional Race Tracks

abstract: Existing approaches to trajectory planning for autonomous racing employ sampling-based methods, generating numerous jerk-optimal trajectories and selecting the most favorable feasible trajectory based on a cost function penalizing deviations from an offline-calculated racing line. While successful on oval tracks, these methods face limitations on complex circuits due to the simplistic geometry of jerk-optimal edges failing to capture the complexity of the racing line. Additionally, they only consider two-dimensional tracks, potentially neglecting or surpassing the actual dynamic potential. In this paper, we present a sampling-based local trajectory planning approach for autonomous racing that can maintain the lap time of the racing line even on complex race tracks and consider the race track's three-dimensional effects. In simulative experiments, we demonstrate that our approach achieves lower lap times and improved utilization of dynamic limits compared to existing approaches. We also investigate the impact of online racing line generation, in which the time-optimal solution is planned from the current vehicle state for a limited spatial horizon, in contrast to a closed racing line calculated offline. We show that combining the sampling-based planner with the online racing line generation can significantly reduce lap times in multi-vehicle scenarios.


title: Analysis of the monotonicity method for an anisotropic scatterer with a conductive boundary

abstract: In this paper, we consider the inverse scattering problem associated with an anisotropic medium with a conductive boundary. We will assume that the corresponding far-field pattern is known/measured and we consider two inverse problems. First, we show that the far-field data uniquely determines the boundary coefficient. Next, since it is known that anisotropic coefficients are not uniquely determined by this data we will develop a qualitative method to recover the scatterer. To this end, we study the so-called monotonicity method applied to this inverse shape problem. This method has recently been applied to some inverse scattering problems but this is the first time it has been applied to an anisotropic scatterer. This method allows one to recover the scatterer but considering the eigenvalues of an operator associated with the far--field operator. We present some simple numerical reconstructions to illustrate our theory in two dimensions. For our reconstructions, we need to compute the adjoint of the Herglotz wave function as an operator mapping into $H^1$ of a small ball.


title: Some remarks regarding special elements in algebras obtained by the Cayley-Dickson process over Zp

abstract: In this paper we provide some properties of k-potent elements in algebras obtained by the Cayley-Dickson process over Zp. Moreover, we find a structure of nonunitary ring over Fibonacci quaternions over Z3 and we present a method to encrypt plain texts, by using invertible elements in such algebras.


title: Synergistic Knowledge

abstract: In formal epistemology, group knowledge is often modelled as the knowledge that the group would have, if the agents shared all their individual knowledge. However, this interpretation does not account for relations between agents. In this work, we propose the notion of synergistic knowledge which makes it possible to model those relationships.


title: SDSAT: Accelerating LLM Inference through Speculative Decoding with Semantic Adaptive Tokens

abstract: We propose an acceleration scheme for large language models (LLMs) through Speculative Decoding with Semantic Adaptive Tokens (SDSAT). The primary objective of this design is to enhance the LLM model's ability to generate draft tokens more accurately without compromising the model's accuracy. The core strategies involve: 1) Fine-tune the model by incorporating semantic adaptive tokens that possess flexible decoding capabilities without changing its structure, allowing them to generate high-quality draft tokens. 2) By employing a training method that does not affect the standard tokens, the model can acquire parallel decoding abilities atop its original framework with minimal training overhead. 3) We have designed the "two-step-draft-then-verify" generation strategies using both greedy search and nucleus sampling. Experiments conducted on the CodeLlama-13B and 7B models have yielded speed increases of over 3.5X and 3.0X, respectively. Please refer to https://github.com/hasuoshenyun/SDSAT.


title: Can the splashback radius be an observable boundary of galaxy clusters?

abstract: The splashback radius was proposed as a physically motivated boundary of clusters as it sets the limit between the infalling and the orbitally dominated regions. However, galaxy clusters are complex objects connected to filaments of the cosmic web from which they accrete matter that disturbs them and modifies their morphology. In this context, estimating the splashback radius and the cluster boundary becomes challenging. In this work, we use a constrained hydrodynamical simulation of the Virgo cluster's replica embedded in its large-scale structure to investigate the impact of its local environment on the splashback radius estimate. We identify the splashback radius from 3D radial profiles of dark matter density, baryons density, and pressure in three regions representative of different dynamical states: accretion from spherical collapse, filaments, and matter outflow. We also identify the splashback radius from 2D-projected radial profiles of observation-like quantities: mass surface density, emission measure, and Compton-y. We show that the splashback radius mainly depends on the dynamics in each region and the physical processes traced by the different probes. We find multiple values for the splashback radius ranging from 3.3$\pm$0.2 to 5.5$\pm$0.3 Mpc. Particularly, in the regions of collapsing and outflowing material, the splashback radii estimated from baryon density and pressure radial profiles overestimate that of the dark matter density profiles, which is considered the reference value originally defined from dark matter simulations. Consequently, caution is required when using the splashback radius as a boundary of clusters, particularly in the case of highly disturbed clusters like Virgo. We also discuss the detection of the splashback radius from pressure radial profiles, which could be more related to an accretion shock, and its detection from stacked radial profiles.


title: Addressing Data Annotation Challenges in Multiple Sensors: A Solution for Scania Collected Datasets

abstract: Data annotation in autonomous vehicles is a critical step in the development of Deep Neural Network (DNN) based models or the performance evaluation of the perception system. This often takes the form of adding 3D bounding boxes on time-sequential and registered series of point-sets captured from active sensors like Light Detection and Ranging (LiDAR) and Radio Detection and Ranging (RADAR). When annotating multiple active sensors, there is a need to motion compensate and translate the points to a consistent coordinate frame and timestamp respectively. However, highly dynamic objects pose a unique challenge, as they can appear at different timestamps in each sensor's data. Without knowing the speed of the objects, their position appears to be different in different sensor outputs. Thus, even after motion compensation, highly dynamic objects are not matched from multiple sensors in the same frame, and human annotators struggle to add unique bounding boxes that capture all objects. This article focuses on addressing this challenge, primarily within the context of Scania collected datasets. The proposed solution takes a track of an annotated object as input and uses the Moving Horizon Estimation (MHE) to robustly estimate its speed. The estimated speed profile is utilized to correct the position of the annotated box and add boxes to object clusters missed by the original annotation.


title: MPC-CBF with Adaptive Safety Margins for Safety-critical Teleoperation over Imperfect Network Connections

abstract: The paper focuses on the design of a control strategy for safety-critical remote teleoperation. The main goal is to make the controlled system track the desired velocity specified by an operator while avoiding obstacles despite communication delays. Control Barrier Functions (CBFs) are used to define the safety constraints that the system has to respect to avoid obstacles, while Model Predictive Control (MPC) provides the framework for adjusting the desired input, taking the constraints into account. The resulting input is sent to the remote system, where appropriate low-level velocity controllers translate it into system-specific commands. The main novelty of the paper is a method to make the CBFs robust against the uncertainties caused by the network delays affecting the system's state and do so in a less conservative manner. The results show how the proposed method successfully solves the safety-critical teleoperation problem, making the controlled systems avoid obstacles with different types of network delay. The controller has also been tested in simulation and on a real manipulator, demonstrating its general applicability when reliable low-level velocity controllers are available.


title: Do High-Performance Image-to-Image Translation Networks Enable the Discovery of Radiomic Features? Application to MRI Synthesis from Ultrasound in Prostate Cancer

abstract: This study investigates the foundational characteristics of image-to-image translation networks, specifically examining their suitability and transferability within the context of routine clinical environments, despite achieving high levels of performance, as indicated by a Structural Similarity Index (SSIM) exceeding 0.95. The evaluation study was conducted using data from 794 patients diagnosed with Prostate cancer. To synthesize MRI from Ultrasound images, we employed five widely recognized image to image translation networks in medical imaging: 2DPix2Pix, 2DCycleGAN, 3DCycleGAN, 3DUNET, and 3DAutoEncoder. For quantitative assessment, we report four prevalent evaluation metrics Mean Absolute Error, Mean Square Error, Structural Similarity Index (SSIM), and Peak Signal to Noise Ratio. Moreover, a complementary analysis employing Radiomic features (RF) via Spearman correlation coefficient was conducted to investigate, for the first time, whether networks achieving high performance, SSIM greater than 0.85, could identify low-level RFs. The RF analysis showed 75 features out of 186 RFs were discovered via just 2DPix2Pix algorithm while half of RFs were lost in the translation process. Finally, a detailed qualitative assessment by five medical doctors indicated a lack of low level feature discovery in image to image translation tasks.


title: The Tolman-Ehrenfest effect for an ideal gas in a background of time-independent electric, magnetic, and gravitational fields

abstract: The statistical mechanics of an ideal gas of point particles moving in a time independent background metric with $g_{0j}\neq 0$ is investigated. An explicit calculation shows that when there is no background electrostatic or magnetostatic field the thermodynamic pressure, energy density, and thermally averaged energy-momentum tensor depend on temperature and chemical potential only through the ratios $T_{0}/\sqrt{g_{00}}$ and $\mu_{0}/\sqrt{g_{00}}$. A background magnetostatic field does not change this, however with a background electrostatic field the previous results are multiplied by a factor $\exp(-eA_{0}/T_{0})$, which is an exception to the strict Tolman-Ehrenfest rule because the system is open.


title: Indecomposable involutive set-theoretical solutions to the Yang-Baxter equation of size $p^2$

abstract: The quantum Yang-Baxter equation is a braiding condition on vector spaces which is of high relevance in several fields of mathematics, such as knot theory and quantum group theory. Their combinatorial counterpart are set-theoretic solutions to the Yang--Baxter equation, whose investigation is strongly driven by the study of algebraic objects called (skew) braces. In this article, we focus on indecomposable involutive non-degenerate set-theoretic solutions to the Yang-Baxter equation. More specifically, through a thorough analysis of their associated braces, we give a full classification of those which are of size $p^2$, for $p$ a prime.


title: A Dimca-Greuel type inequality for foliations

abstract: Let $\mathcal{F}$ be a holomorphic foliation at $p\in \mathbb{C}^2$, and $B$ be a separatrix of $\mathcal{F}$. We prove the following Dimca-Greuel type inequality $\frac{\mu_p(\mathcal{F},B)}{\tau_p(\mathcal{F},B)}<4/3$, where $\mu_p(\mathcal{F},B)$ is the multiplicity of $\mathcal{F}$ along $B$ and $\tau_p(\mathcal{F},B)$ is the dimension of the quotient of $\mathbb{C}[[x,y]]$ by the ideal generated by the components of any $1$-form defining $\mathcal{F}$ and any equation of $B$. As a consequence, we provide a new proof of the $\frac{4}{3}$-Dimca-Greuel's conjecture for singularities of irreducible plane curve germs, with foliations ingredients, that differs from those given by Alberich-Carrami\~nana, Almir\'on, Blanco, Melle-Hern\'andez and Genzmer-Hernandes but it is in line with the idea developed by Wang.


title: Full quantitative near-field characterization of strongly coupled exciton-plasmon polaritons in thin-layered WSe2 on a monocrystalline gold platelet

abstract: Exciton-plasmon polaritons (EPPs) are attractive both for the exploration of fundamental phenomena and applications in nanophotonics. Previous studies of EPPs mainly relied on far-field characterization. Here, using near-field optical microscopy, we quantitatively characterize the dispersion of EPPs existing in 13-nm-thick tungsten diselenide (WSe$_2$) deposited on a monocrystalline gold platelet. We extract from our experimental data a Rabi splitting of 81 meV, and an experimental effective polariton loss of 55 meV, demonstrating that our system is in the strong-coupling regime. Furthermore, we measure for the first time at visible wavelengths the propagation length of these EPPs for each excitation energy of the dispersion relation. To demonstrate the quantitative nature of our near-field method to obtain the full complex-valued wavevector of EPPs, we use our near-field measurements to predict, via the transfer matrix method, the far-field reflectivities across the exciton resonance. These predictions are in excellent agreement with our experimental far-field measurements. Our findings open the door towards the full near-field study of light-manipulating devices at the nanoscale.


title: Late-forming black holes and the antiproton, gamma-ray, and anti-helium excesses

abstract: Black holes long-lived enough to be the dark matter have temperatures below the MeV. Since Hawking evaporation is a quasi-thermal process, no GeV emission is predicted to be produced by black holes if they are part, or all, of the cosmological dark matter. However, black holes could be ``spawned'' at late times with masses that correspond to short lifetimes, and as such be significantly hotter and produce particles well in excess of the GeV. Here, we show that such late-forming black holes could, at once, explain the tantalizing excesses found in the gamma radiation from the Galactic center, in the flux of cosmic-ray antiproton, and in the few tentative antihelium events reported by the anti-matter spectrometer AMS-02. We compute accurate predictions for the anti-deuteron, high-energy neutrino, and positron fluxes if this scenario is realized in nature. We find that while the neutrino and positron fluxes are too small compared to the expected background, a significant number of anti-deuteron events is expected both at AMS-02 and at the future General AntiParticle Spectrometer (GAPS).


title: Unidirectional Ray Polaritons in Twisted Asymmetric Stacks

abstract: The emergence of a vast repository of van der Waals (vdW) materials supporting polaritons - light coupled to matter excitations - offers a plethora of different possibilities to tailor electromagnetic waves at the subwavelength-scale. In particular, the development of twistoptics - the study of the optical properties of twisted stacks of vdW materials - allows the directional propagation of phonon polaritons (PhPs) along a single spatial direction, which has been coined as canalization. Here we demonstrate a complementary type of nanoscale unidirectional propagation that naturally emerges thanks to twistoptics: unidirectional ray polaritons (URPs). This natural phenomenon arises in two types of twisted hyperbolic stacks: homostructures of $\alpha$-MoO$_3$ and heterostructures of $\alpha$-MoO$_3$ and $\beta$-Ga$_2$O$_3$, each with very different thicknesses of its constituents. URPs are characterized by the absence of diffraction and the presence of a single phase of the propagating field. Importantly, we demonstrate that this ray behavior can be tuned by means of both relative twist angle and illumination frequency variations. Additionally, an unprecedented "pinwheel-like" propagation emerges at specific twist angles of the homostructure. We show that URPs emerge due to the twist between asymmetrically stacked biaxial slabs, while the shear effect in monoclinic $\beta$-Ga$_2$O$_3$ is of minor importance. Our findings demonstrate a natural way to excite unidirectional ray-like PhPs and offer a unique platform for controlling the propagation of PhPs at the nanoscale with many potential applications like nanoimaging, (bio)-sensing or polaritonic thermal management.


title: Theoretical Guarantees for the Subspace-Constrained Tyler's Estimator

abstract: This work analyzes the subspace-constrained Tyler's estimator (STE) designed for recovering a low-dimensional subspace within a dataset that may be highly corrupted with outliers. It assumes a weak inlier-outlier model and allows the fraction of inliers to be smaller than a fraction that leads to computational hardness of the robust subspace recovery problem. It shows that in this setting, if the initialization of STE, which is an iterative algorithm, satisfies a certain condition, then STE can effectively recover the underlying subspace. It further shows that under the generalized haystack model, STE initialized by the Tyler's M-estimator (TME), can recover the subspace when the fraction of iniliers is too small for TME to handle.


title: INEXA: Interactive and Explainable Process Model Abstraction Through Object-Centric Process Mining

abstract: Process events are recorded by multiple information systems at different granularity levels. Based on the resulting event logs, process models are discovered at different granularity levels, as well. Events stored at a fine-grained granularity level, for example, may hinder the discovered process model to be displayed due the high number of resulting model elements. The discovered process model of a real-world manufacturing process, for example, consists of 1,489 model elements and over 2,000 arcs. Existing process model abstraction techniques could help reducing the size of the model, but would disconnect it from the underlying event log. Existing event abstraction techniques do neither support the analysis of mixed granularity levels, nor interactive exploration of a suitable granularity level. To enable the exploration of discovered process models at different granularity levels, we propose INEXA, an interactive, explainable process model abstraction method that keeps the link to the event log. As a starting point, INEXA aggregates large process models to a "displayable" size, e.g., for the manufacturing use case to a process model with 58 model elements. Then, the process analyst can explore granularity levels interactively, while applied abstractions are automatically traced in the event log for explainability.


title: InstructBrush: Learning Attention-based Instruction Optimization for Image Editing

abstract: In recent years, instruction-based image editing methods have garnered significant attention in image editing. However, despite encompassing a wide range of editing priors, these methods are helpless when handling editing tasks that are challenging to accurately describe through language. We propose InstructBrush, an inversion method for instruction-based image editing methods to bridge this gap. It extracts editing effects from exemplar image pairs as editing instructions, which are further applied for image editing. Two key techniques are introduced into InstructBrush, Attention-based Instruction Optimization and Transformation-oriented Instruction Initialization, to address the limitations of the previous method in terms of inversion effects and instruction generalization. To explore the ability of instruction inversion methods to guide image editing in open scenarios, we establish a TransformationOriented Paired Benchmark (TOP-Bench), which contains a rich set of scenes and editing types. The creation of this benchmark paves the way for further exploration of instruction inversion. Quantitatively and qualitatively, our approach achieves superior performance in editing and is more semantically consistent with the target editing effects.


title: A machine-learning pipeline for real-time detection of gravitational waves from compact binary coalescences

abstract: The promise of multi-messenger astronomy relies on the rapid detection of gravitational waves at very low latencies ($\mathcal{O}$(1\,s)) in order to maximize the amount of time available for follow-up observations. In recent years, neural-networks have demonstrated robust non-linear modeling capabilities and millisecond-scale inference at a comparatively small computational footprint, making them an attractive family of algorithms in this context. However, integration of these algorithms into the gravitational-wave astrophysics research ecosystem has proven non-trivial. Here, we present the first fully machine learning-based pipeline for the detection of gravitational waves from compact binary coalescences (CBCs) running in low-latency. We demonstrate this pipeline to have a fraction of the latency of traditional matched filtering search pipelines while achieving state-of-the-art sensitivity to higher-mass stellar binary black holes.


title: Benchmarking Quantum Generative Learning: A Study on Scalability and Noise Resilience using QUARK

abstract: Quantum computing promises a disruptive impact on machine learning algorithms, taking advantage of the exponentially large Hilbert space available. However, it is not clear how to scale quantum machine learning (QML) to industrial-level applications. This paper investigates the scalability and noise resilience of quantum generative learning applications. We consider the training performance in the presence of statistical noise due to finite-shot noise statistics and quantum noise due to decoherence to analyze the scalability of QML methods. We employ rigorous benchmarking techniques to track progress and identify challenges in scaling QML algorithms, and show how characterization of QML systems can be accelerated, simplified, and made reproducible when the QUARK framework is used. We show that QGANs are not as affected by the curse of dimensionality as QCBMs and to which extent QCBMs are resilient to noise.


title: On the concentration of the Fourier coefficients for products of Laplace-Beltrami eigenfunctions on real-analytic manifolds

abstract: On a closed analytic manifold $(M,g)$, let $\phi_i$ be the eigenfunctions of $\Delta_g$ with eigenvalues $\lambda_i^2$ and let $f:=\prod \phi_{k_j}$ be a finite product of Laplace-Beltrami eigenfunctions. We show that $\left\langle f, \phi_i \right\rangle_{L^2(M)}$ decays exponentially as soon as $\lambda_i > C \sum \lambda_{k_j}$ for some constant $C$ depending only on $M$. Moreover, by using a lower bound on $\| f \|_{L^2(M)} $, we show that $99\%$ of the $L^2$-mass of $f$ can be recovered using only finitely many Fourier coefficients.


title: Neural Network-Based Piecewise Survival Models

abstract: In this paper, a family of neural network-based survival models is presented. The models are specified based on piecewise definitions of the hazard function and the density function on a partitioning of the time; both constant and linear piecewise definitions are presented, resulting in a family of four models. The models can be seen as an extension of the commonly used discrete-time and piecewise exponential models and thereby add flexibility to this set of standard models. Using a simulated dataset the models are shown to perform well compared to the highly expressive, state-of-the-art energy-based model, while only requiring a fraction of the computation time.


title: Lipschitz-type estimate for the frog model with Bernoulli initial configuration

abstract: We consider the frog model with Bernoulli initial configuration, which is an interacting particle system on the multidimensional lattice consisting of two states of particles: active and sleeping. Active particles perform independent simple random walks. On the other hand, although sleeping particles do not move at first, they become active and can move around when touched by active particles. Initially, only the origin has one active particle, and the other sites have sleeping particles according to a Bernoulli distribution. Then, starting from the original active particle, active ones are gradually generated and propagate across the lattice, with time. It is of interest to know how the propagation of active particles behaves as the parameter of the Bernoulli distribution varies. In this paper, we treat the so-called time constant describing the speed of propagation, and prove that the absolute difference between the time constants for parameters $p,q \in (0,1]$ is bounded from above and below by multiples of $|p-q|$.


title: FluxGAT: Integrating Flux Sampling with Graph Neural Networks for Unbiased Gene Essentiality Classification

abstract: Gene essentiality, the necessity of a specific gene for the survival of an organism, is crucial to our understanding of cellular processes and identifying drug targets. Experimental determination of gene essentiality requires large growth screens that are time-consuming and expensive, motivating the development of in-silico approaches. Existing methods predominantly utilise flux balance analysis (FBA), a constraint-based optimisation algorithm; however, they are fundamentally limited by the necessity of a predefined cellular objective function. This requirement introduces an element of observer bias, as the objective function often reflects the researcher's assumptions rather than the cell's biological goals. Here, we present FluxGAT, a graph neural network (GNN) model capable of predicting gene essentiality directly from graphical representations of flux sampling data. Flux sampling removes the need for objective functions, thereby eliminating observer bias. FluxGAT leverages the unique strengths of GNNs in learning representations of complex relationships within metabolic reaction networks. The success of our approach in predicting experimentally determined gene essentiality, with almost double the sensitivity of FBA, explores the possibility of predicting cellular phenotypes in cases when objectives are less understood. Thus, we demonstrate a method for more general gene essentiality predictions across a broader spectrum of biological systems and environments.


title: Improving Content Recommendation: Knowledge Graph-Based Semantic Contrastive Learning for Diversity and Cold-Start Users

abstract: Addressing the challenges related to data sparsity, cold-start problems, and diversity in recommendation systems is both crucial and demanding. Many current solutions leverage knowledge graphs to tackle these issues by combining both item-based and user-item collaborative signals. A common trend in these approaches focuses on improving ranking performance at the cost of escalating model complexity, reducing diversity, and complicating the task. It is essential to provide recommendations that are both personalized and diverse, rather than solely relying on achieving high rank-based performance, such as Click-through Rate, Recall, etc. In this paper, we propose a hybrid multi-task learning approach, training on user-item and item-item interactions. We apply item-based contrastive learning on descriptive text, sampling positive and negative pairs based on item metadata. Our approach allows the model to better understand the relationships between entities within the knowledge graph by utilizing semantic information from text. It leads to more accurate, relevant, and diverse user recommendations and a benefit that extends even to cold-start users who have few interactions with items. We perform extensive experiments on two widely used datasets to validate the effectiveness of our approach. Our findings demonstrate that jointly training user-item interactions and item-based signals using synopsis text is highly effective. Furthermore, our results provide evidence that item-based contrastive learning enhances the quality of entity embeddings, as indicated by metrics such as uniformity and alignment.


title: Aiming for Relevance

abstract: Vital signs are crucial in intensive care units (ICUs). They are used to track the patient's state and to identify clinically significant changes. Predicting vital sign trajectories is valuable for early detection of adverse events. However, conventional machine learning metrics like RMSE often fail to capture the true clinical relevance of such predictions. We introduce novel vital sign prediction performance metrics that align with clinical contexts, focusing on deviations from clinical norms, overall trends, and trend deviations. These metrics are derived from empirical utility curves obtained in a previous study through interviews with ICU clinicians. We validate the metrics' usefulness using simulated and real clinical datasets (MIMIC and eICU). Furthermore, we employ these metrics as loss functions for neural networks, resulting in models that excel in predicting clinically significant events. This research paves the way for clinically relevant machine learning model evaluation and optimization, promising to improve ICU patient care. 10 pages, 9 figures.


title: Orthogonal Polynomials with a Singularly Perturbed Airy Weight

abstract: We study the monic orthogonal polynomials with respect to a singularly perturbed Airy weight. By using Chen and Ismail's ladder operator approach, we derive a discrete system satisfied by the recurrence coefficients for the orthogonal polynomials. We find that the orthogonal polynomials satisfy a second-order linear ordinary differential equation, whose coefficients are all expressed in terms of the recurrence coefficients. By considering the time evolution, we obtain a system of differential-difference equations satisfied by the recurrence coefficients. Finally, we study the asymptotics of the recurrence coefficients when the degrees of the orthogonal polynomials tend to infinity.


title: Globally integrable quantum systems and their perturbations

abstract: In this paper we present the notion of globally integrable quantum system that we introduced in [BL22]: we motivate it using the spectral theory of pseudodifferential operators and then we give some results on linear and nonlinear perturbations of a globally integrable quantum system. In particular, we give a spectral result ensuring stability of most of its eigenvalues under relatively bounded perturbations, and two results controlling the growth of Sobolev norms when it is subject either to linear unbounded time dependent perturbations or a small nonlinear Hamiltonian nonlinear perturbation.


title: Fact Checking Beyond Training Set

abstract: Evaluating the veracity of everyday claims is time consuming and in some cases requires domain expertise. We empirically demonstrate that the commonly used fact checking pipeline, known as the retriever-reader, suffers from performance deterioration when it is trained on the labeled data from one domain and used in another domain. Afterwards, we delve into each component of the pipeline and propose novel algorithms to address this problem. We propose an adversarial algorithm to make the retriever component robust against distribution shift. Our core idea is to initially train a bi-encoder on the labeled source data, and then, to adversarially train two separate document and claim encoders using unlabeled target data. We then focus on the reader component and propose to train it such that it is insensitive towards the order of claims and evidence documents. Our empirical evaluations support the hypothesis that such a reader shows a higher robustness against distribution shift. To our knowledge, there is no publicly available multi-topic fact checking dataset. Thus, we propose a simple automatic method to re-purpose two well-known fact checking datasets. We then construct eight fact checking scenarios from these datasets, and compare our model to a set of strong baseline models, including recent domain adaptation models that use GPT4 for generating synthetic data.


title: Aftershocks as a time independant phenomenon

abstract: Sequences of aftershocks following Omori's empirical law are observed after most major earthquakes, as well as in laboratory-scale fault-mimicking experiments. Nevertheless, the origin of this memory effect is still unclear. In this letter, we present an analytical framework for treating labquake and earthquake catalogs on an equal footing. Using this analysis method, we show that when memory is considered to be in deformation and not in time, all data collapse onto a single master curve, showing that the timescale is entirely fixed by the inverse of the strain rate.


title: Unveiling the inconsistency of the Proca theory with non-minimal coupling to gravity

abstract: We study the degrees of freedom of the Proca theory, non-minimally coupled to gravity. In the Minkowski background, this theory propagates five degrees of freedom - a massive longitudinal mode, two massive vector ones, and two massless tensor modes. At first sight, the non-linear coupling between the metric perturbations and the vector field indicates that both longitudinal and tensor modes become strongly coupled, at the same scale. This would imply that no matter how small the photon mass is if non-minimal coupling is taken into account, gravitational waves would necessarily be strongly coupled. We show that the way out of this inconsistency is through the introduction of the disformal coupling to the metric perturbations that resemble the vector-type disformal transformations. This way, the unphysical coupling between the two types of modes can be avoided, rendering the model consistent. As a result, we show that only the longitudinal modes enter a strong coupling regime, while both tensor and transverse modes remain weakly coupled at all scales up to the Planck length. Finally, we show how this cures recently reported runaway modes in curved spacetime.


title: Deep Learning for Robust and Explainable Models in Computer Vision

abstract: Recent breakthroughs in machine and deep learning (ML and DL) research have provided excellent tools for leveraging enormous amounts of data and optimizing huge models with millions of parameters to obtain accurate networks for image processing. These developments open up tremendous opportunities for using artificial intelligence (AI) in the automation and human assisted AI industry. However, as more and more models are deployed and used in practice, many challenges have emerged. This thesis presents various approaches that address robustness and explainability challenges for using ML and DL in practice. Robustness and reliability are the critical components of any model before certification and deployment in practice. Deep convolutional neural networks (CNNs) exhibit vulnerability to transformations of their inputs, such as rotation and scaling, or intentional manipulations as described in the adversarial attack literature. In addition, building trust in AI-based models requires a better understanding of current models and developing methods that are more explainable and interpretable a priori. This thesis presents developments in computer vision models' robustness and explainability. Furthermore, this thesis offers an example of using vision models' feature response visualization (models' interpretations) to improve robustness despite interpretability and robustness being seemingly unrelated in the related research. Besides methodological developments for robust and explainable vision models, a key message of this thesis is introducing model interpretation techniques as a tool for understanding vision models and improving their design and robustness. In addition to the theoretical developments, this thesis demonstrates several applications of ML and DL in different contexts, such as medical imaging and affective computing.


title: Submanifolds with boundary and Stokes' Theorem in Heisenberg groups

abstract: We introduce and study the notion of $C^1_\mathbb{H}$-regular submanifold with boundary in sub-Riemannian Heisenberg groups. As an application, we prove a version of Stokes' Theorem for $C^1_\mathbb{H}$-regular submanifolds with boundary that takes into account Rumin's complex of differential forms in Heisenberg groups.


title: Mollow-like triplets in ultra-fast resonant absorption

abstract: We show that resonant absorption of smooth laser fields can yield Mollow-like triplet patterns. General conditions for such triplets are derived and illustrated with a super-Gaussian pulse sequence. Gaussian pulses can not exhibit triplets, super-Gaussian pulses can form triplets depending on the pulse area and flat-top pulses can produce absorption triplets after one Rabi cycle. Our results are compared side-by-side with resonance fluorescence to emphasize similarities and differences between these unlike observables. In the high-intensity limit, we show that the central absorption peak is asymmetric, which we attribute to non-linear photoionization, beyond two-level atomic physics.


title: A blue repulsive potential for dysprosium Bose-Einstein condensates

abstract: Short-wavelength repulsive potentials for quantum gases allow to realize new systems and to study new phenomena. Here we report the realization of repulsive optical potentials for dysprosium atoms in the blue region of the spectrum, at wavelengths close to 400 nm. We employ a spectrallyfiltered diode laser system to measure both scalar and tensorial components of the polarizability of dysprosium, which we find in good agreement with the theoretical predictions. We demonstrate the implementation of potential strengths appropriate to manipulate Bose-Einstein condensates, with scattering-limited lifetimes exceeding one second. This type of optical potentials opens interesting directions for the study of dipolar superfluids and supersolids.


title: On the set of supercyclic operators

abstract: In this article, we address a problem posed by F. Bayart regarding the existence of an infinite-dimensional closed vector subspace (excluding the null operator) within the set of supercyclic operators on Banach spaces. We resolve this problem by establishing the existence of the closed subspace. Furthermore, we prove that the set of supercyclic operators on $\ell_1$ contains, up to the null operator, an isometric copy of $\ell_1$.


title: An Exploratory Study on Upper-Level Computing Students' Use of Large Language Models as Tools in a Semester-Long Project

abstract: Background: Large Language Models (LLMs) such as ChatGPT and CoPilot are influencing software engineering practice. Software engineering educators must teach future software engineers how to use such tools well. As of yet, there have been few studies that report on the use of LLMs in the classroom. It is, therefore, important to evaluate students' perception of LLMs and possible ways of adapting the computing curriculum to these shifting paradigms. Purpose: The purpose of this study is to explore computing students' experiences and approaches to using LLMs during a semester-long software engineering project. Design/Method: We collected data from a senior-level software engineering course at Purdue University. This course uses a project-based learning (PBL) design. The students used LLMs such as ChatGPT and Copilot in their projects. A sample of these student teams were interviewed to understand (1) how they used LLMs in their projects; and (2) whether and how their perspectives on LLMs changed over the course of the semester. We analyzed the data to identify themes related to students' usage patterns and learning outcomes. Results/Discussion: When computing students utilize LLMs within a project, their use cases cover both technical and professional applications. In addition, these students perceive LLMs to be efficient tools in obtaining information and completion of tasks. However, there were concerns about the responsible use of LLMs without being detrimental to their own learning outcomes. Based on our findings, we recommend future research to investigate the usage of LLM's in lower-level computer engineering courses to understand whether and how LLMs can be integrated as a learning aid without hurting the learning outcomes.


title: Non-Linear Inference Time Intervention: Improving LLM Truthfulness

abstract: In this work, we explore LLM's internal representation space to identify attention heads that contain the most truthful and accurate information. We further developed the Inference Time Intervention (ITI) framework, which lets bias LLM without the need for fine-tuning. The improvement manifests in introducing a non-linear multi-token probing and multi-token intervention: Non-Linear ITI (NL-ITI), which significantly enhances performance on evaluation benchmarks. NL-ITI is tested on diverse multiple-choice datasets, including TruthfulQA, on which we report over 16% relative MC1 (accuracy of model pointing to the correct answer) improvement with respect to the baseline ITI results. Moreover, we achieved a 10% relative improvement over the recently released Truth Forest (TrFf) method that also focused on ITI improvement.


title: TransFusion: Contrastive Learning with Transformers

abstract: This paper proposes a novel framework, TransFusion, designed to make the process of contrastive learning more analytical and explainable. TransFusion consists of attention blocks whose softmax being replaced by ReLU, and its final block's weighted-sum operation is truncated to leave the adjacency matrix as the output. The model is trained by minimizing the Jensen-Shannon Divergence between its output and the target affinity matrix, which indicates whether each pair of samples belongs to the same or different classes. The main contribution of TransFusion lies in defining a theoretical limit for answering two fundamental questions in the field: the maximum level of data augmentation and the minimum batch size required for effective contrastive learning. Furthermore, experimental results indicate that TransFusion successfully extracts features that isolate clusters from complex real-world data, leading to improved classification accuracy in downstream tasks.


title: JumpBackHash: Say Goodbye to the Modulo Operation to Distribute Keys Uniformly to Buckets

abstract: The distribution of keys to a given number of buckets is a fundamental task in distributed data processing and storage. A simple, fast, and therefore popular approach is to map the hash values of keys to buckets based on the remainder after dividing by the number of buckets. Unfortunately, these mappings are not stable when the number of buckets changes, which can lead to severe spikes in system resource utilization, such as network or database requests. Consistent hash algorithms can minimize remappings, but are either significantly slower than the modulo-based approach, require floating-point arithmetic, or are based on a family of hash functions rarely available in standard libraries. This paper introduces JumpBackHash, which uses only integer arithmetic and a standard pseudorandom generator. Due to its speed and simple implementation, it can safely replace the modulo-based approach to improve assignment and system stability. A production-ready Java implementation of JumpBackHash has been released as part of the Hash4j open source library.


title: Exploring the Berezinskii-Kosterlitz-Thouless Transition in a Two-dimensional Dipolar Bose Gas

abstract: Long-range and anisotropic dipolar interactions induce complex order in quantum systems. It becomes particularly interesting in two-dimension (2D), where the superfluidity with quasi-long-range order emerges via Berezinskii-Kosterlitz-Thouless (BKT) mechanism, which still remains elusive with dipolar interactions. Here, we observe the BKT transition from a normal gas to the superfluid phase in a quasi-2D dipolar Bose gas of erbium atoms. Controlling the orientation of dipoles, we characterize the transition point by monitoring extended coherence and measuring the equation of state. This allows us to gain a systematic understanding of the BKT transition based on an effective short-range description of dipolar interaction in 2D. Additionally, we observe anisotropic density fluctuations and non-local effects in the superfluid regime, which establishes the dipolar nature of the 2D superfluid. Our results lay the ground for understanding the behavior of dipolar bosons in 2D and open up opportunities for examining complex orders in a dipolar superfluid.


title: Scaling Laws For Dense Retrieval

abstract: Scaling up neural models has yielded significant advancements in a wide array of tasks, particularly in language generation. Previous studies have found that the performance of neural models frequently adheres to predictable scaling laws, correlated with factors such as training set size and model size. This insight is invaluable, especially as large-scale experiments grow increasingly resource-intensive. Yet, such scaling law has not been fully explored in dense retrieval due to the discrete nature of retrieval metrics and complex relationships between training data and model sizes in retrieval tasks. In this study, we investigate whether the performance of dense retrieval models follows the scaling law as other neural models. We propose to use contrastive log-likelihood as the evaluation metric and conduct extensive experiments with dense retrieval models implemented with different numbers of parameters and trained with different amounts of annotated data. Results indicate that, under our settings, the performance of dense retrieval models follows a precise power-law scaling related to the model size and the number of annotations. Additionally, we examine scaling with prevalent data augmentation methods to assess the impact of annotation quality, and apply the scaling law to find the best resource allocation strategy under a budget constraint. We believe that these insights will significantly contribute to understanding the scaling effect of dense retrieval models and offer meaningful guidance for future research endeavors.


title: Representatividad Muestral en la Incertidumbre Sim\'etrica Multivariada para la Selecci\'on de Atributos

abstract: In this work, we analyze the behavior of the multivariate symmetric uncertainty (MSU) measure through the use of statistical simulation techniques under various mixes of informative and non-informative randomly generated features. Experiments show how the number of attributes, their cardinalities, and the sample size affect the MSU. In this thesis, through observation of results, it is proposed an heuristic condition that preserves good quality in the MSU under different combinations of these three factors, providing a new useful criterion to help drive the process of dimension reduction. -- En el presente trabajo hemos analizado el comportamiento de una versi\'on multivariada de la incertidumbre sim\'etrica a trav\'es de t\'ecnicas de simulaci\'on estad\'isticas sobre varias combinaciones de atributos informativos y no-informativos generados de forma aleatoria. Los experimentos muestran como el n\'umero de atributos, sus cardinalidades y el tama\~no muestral afectan al MSU como medida. En esta tesis, mediante la observaci\'on de resultados hemos propuesto una condici\'on que preserva una buena calidad en el MSU bajo diferentes combinaciones de los tres factores mencionados, lo cual provee un nuevo y valioso criterio para llevar a cabo el proceso de reducci\'on de dimensionalidad.


title: Decision-Epoch Matters: Unveiling its Impact on the Stability of Scheduling with Randomly Varying Connectivity

abstract: A classical queuing theory result states that in a parallel-queue single-server model, the maximum stability region does not depend on the scheduling decision epochs, and in particular is the same for preemptive and non-preemptive systems. We consider here the case in which each of the queues may be connected to the server or not, depending on an exogenous process. In our main result, we show that the maximum stability region now does strongly depend on how the decision epochs are defined. We compare the setting where decisions can be made at any moment in time (the unconstrained setting), to two other settings: decisions are taken either (i) at moments of a departure (non-preemptive scheduling), or (ii) when an exponentially clock rings with rate $\gamma$. We characterise the maximum stability region for the two constrained configurations, allowing us to observe a reduction compared to the unconstrained configuration. In the non-preemptive setting, the maximum stability region is drastically reduced compared to the unconstrained setting and we conclude that a non-preemptive scheduler cannot take opportunistically advantage (in terms of stability) of the random varying connectivity. Instead, for the $\gamma$ decision epochs, we observe that the maximum stability region is monotone in the rate of the decision moments $\gamma$, and that one can be arbitrarily close to the maximum stability region in the unconstrained setting if we choose $\gamma$ large enough. We further show that Serve Longest Connected (SLC) queue is maximum stable in both constrained settings, within the set of policies that select a queue among the connected ones. From a methodological viewpoint, we introduce a novel theoretical tool termed a ``test for fluid limits'' (TFL) that might be of independent interest. TFL is a simple test that, if satisfied by the fluid limit, allows us to conclude for stability.


title: InceptionTime vs. Wavelet -- A comparison for time series classification

abstract: Neural networks were used to classify infrasound data. Two different approaches were compared. One based on the direct classification of time series data, using a custom implementation of the InceptionTime network. For the other approach, we generated 2D images of the wavelet transformation of the signals, which were subsequently classified using a ResNet implementation. Choosing appropriate hyperparameter settings, both achieve a classification accuracy of above 90 %, with the direct approach reaching 95.2 %.


title: The Gross--Kohnen--Zagier theorem via $p$-adic uniformization

abstract: This article gives a new proof of the Gross--Kohnen--Zagier theorem for Shimura curves which exploits the $p$-adic uniformization of Cerednik--Drinfeld. The explicit description of CM points via this uniformization leads to an expression relating the Gross--Kohnen--Zagier generating series to the ordinary projection of the first derivative, with respect to a weight variable, of a $p$-adic family of positive definite ternary theta series.


title: Supernova Archaeology with X-Ray Binary Winds -- The Case of GRO J1655-40

abstract: Supernovae are responsible for the elemental enrichment of the galaxy and some are postulated to leave behind a black hole. In a stellar binary system the supernova pollutes its companion, and the black hole can accrete back its own debris and emit X-rays. In this sequence of events, which is only poorly understood, winds are ejected, and observed through X-ray absorption lines. Measuring abundances of elements in the wind can lead to inferences about the historical explosion and possibly identify the long-gone progenitor of the compact object. Here, we re-analyze the uniquely rich X-ray spectrum of the 2005 outburst of GRO J1655-40. We reconstruct the absorption measure distribution (AMD) of the wind, and find that it increases sharply with ionization from H-like O up to H-like Ca, and then flattens out. The AMD is then used to measure relative abundances of 18 different elements. The present abundances are in partial agreement with a previous work with discrepancies mostly for low-Z elements. The overabundance of odd-Z elements hints at a high-metallicity, high-mass ($\simeq25\,M_\odot$) progenitor. Interestingly, the abundances are different from those measured in the companion atmosphere, indicating that the wind entrains lingering ambient supernova debris. This can be expected since the current total stellar mass of the binary ($<10\,M_\odot$) is much less than the progenitor mass.


title: Annolid: Annotate, Segment, and Track Anything You Need

abstract: Annolid is a deep learning-based software package designed for the segmentation, labeling, and tracking of research targets within video files, focusing primarily on animal behavior analysis. Based on state-of-the-art instance segmentation methods, Annolid now harnesses the Cutie video object segmentation model to achieve resilient, markerless tracking of multiple animals from single annotated frames, even in environments in which they may be partially or entirely concealed by environmental features or by one another. Our integration of Segment Anything and Grounding-DINO strategies additionally enables the automatic masking and segmentation of recognizable animals and objects by text command, removing the need for manual annotation. Annolid's comprehensive approach to object segmentation flexibly accommodates a broad spectrum of behavior analysis applications, enabling the classification of diverse behavioral states such as freezing, digging, pup huddling, and social interactions in addition to the tracking of animals and their body parts.


title: Building defect conformal field theory from the Sachdev-Ye-Kitaev interactions

abstract: The coupling between defects and extended critical degrees of freedom gives rise to the intriguing theory known as defect conformal field theory (CFT). In this work, we introduce a novel family of boundary and interface CFTs by coupling $N$ Majorana chains with SYK$_q$ interactions at the defect. Our analysis reveals that the interaction with $q=2$ constitutes a new marginal defect. Employing a versatile saddle point method, we compute unique entanglement characterizations, including the $g$-function and effective central charge, of the defect CFT. Furthermore, we analytically evaluate the transmission coefficient using CFT techniques. Surprisingly, the transmission coefficient deviates from the universal relation with the effective central charge across the defect at the large $N$ limit, suggesting that our defect CFT extends beyond all known examples of Gaussian defect CFT.

categories: cond-mat.stat-mech cond-mat.str-el hep-th quant-ph


title: Teaching Introductory HRI: UChicago Course "Human-Robot Interaction: Research and Practice"

abstract: In 2020, I designed the course CMSC 20630/30630 Human-Robot Interaction: Research and Practice as a hands-on introduction to human-robot interaction (HRI) research for both undergraduate and graduate students at the University of Chicago. Since 2020, I have taught and refined this course each academic year. Human-Robot Interaction: Research and Practice focuses on the core concepts and cutting-edge research in the field of human-robot interaction (HRI), covering topics that include: nonverbal robot behavior, verbal robot behavior, social dynamics, norms & ethics, collaboration & learning, group interactions, applications, and future challenges of HRI. Course meetings involve students in the class leading discussions about cutting-edge peer-reviewed research HRI publications. Students also participate in a quarter-long collaborative research project, where they pursue an HRI research question that often involves conducing their own human-subjects research study where they recruit human subjects to interact with a robot. In this paper, I detail the structure of the course and its learning goals as well as my reflections and student feedback on the course.


title: Anomalous friction of supercooled glycerol on mica

abstract: The fundamental understanding of friction of liquids on solid surfaces remains one of the key knowledge gaps in the transport of fluids. While the standard perspective emphasizes the role of wettability and commensurability, recent works have unveiled the crucial role of the solid's internal excitations, whether electronic or phononic, on liquid-solid dissipation. In this work, we take advantage of the considerable variation of the molecular timescales of supercooled glycerol under mild change of temperature, in order to explore how friction depends on the liquid's molecular dynamics. Using a dedicated tuning-fork-based AFM to measure the hydrodynamic slippage of glycerol on mica, we report a 2-order of magnitude increase of the slip length with decreasing temperature by only 30{\deg}C. However the solid-liquid friction coefficient is found to be a non monotonous function of the fluid molecular relaxation rate, f{\alpha}, at odd with an expected Arrhenius behavior. In particular, the linear increase of friction with the liquid molecular rate measured at high temperature cannot be accounted for by existing modelling. We show that this unconventional and non-arrhenian friction is consistent with a contribution of the solid's phonons to the liquid-solid friction. This dynamical friction opens new perspectives to control hydrodynamic flows by properly engineering phononic and electronic excitation spectra in channel walls.


title: Designing Simple Mechanisms

abstract: Which mechanisms are simple to play? When is it easy for participants to see that a mechanism is incentive-compatible? I will start by explaining how and why economists came to ask these questions. Then I will discuss three recent answers, that capture different aspects of what makes a mechanism simple.


title: An Efficient Risk-aware Branch MPC for Automated Driving that is Robust to Uncertain Vehicle Behaviors

abstract: One of the critical challenges in automated driving is ensuring safety of automated vehicles despite the unknown behavior of the other vehicles. Although motion prediction modules are able to generate a probability distribution associated with various behavior modes, their probabilistic estimates are often inaccurate, thus leading to a possibly unsafe trajectory. To overcome this challenge, we propose a risk-aware motion planning framework that appropriately accounts for the ambiguity in the estimated probability distribution. We formulate the risk-aware motion planning problem as a min-max optimization problem and develop an efficient iterative method by incorporating a regularization term in the probability update step. Via extensive numerical studies, we validate the convergence of our method and demonstrate its advantages compared to the state-of-the-art approaches.


title: Revisit the heavy quarkonium double-gluon hybrid mesons with exotic quantum numbers

abstract: We revisit the masses of heavy quarkonium double-gluon hybrid mesons with exotic quantum numbers $J^{PC}=1^{-+}$ and $2^{+-}$ in the framework of the QCD sum rules. Considering the double-gluon hybrid meson operators in the octet-octet color structure, we have constructed two independent interpolating currents with $J^{PC}=1^{-+}$ and five independent currents with $J^{PC}=2^{+-}$. For the interpolating currents with antisymmetric glueball operator, there exist non-local divergences in one kind of additional Feynman diagrams of tri-gluon condensate, which will give important contributions to the sum rule stabilities and mass predictions. We use the diagrammatic operator renormalization to cancel out such divergences. At the leading order of $\alpha_s$, the two-point correlation functions and spectral densities can be expressed in the analytic form of the generalized hypergeometric functions and Meijer's G-functions. After performing the numerical analysis, we predict the masses of the $1^{-+}$ and $2^{+-}$ charmonium double-gluon hybrid mesons to be around $6.1-7.2$ GeV and $6.3-6.4$ GeV, respectively. For the bottomonium systems, their masses are predicted to be $13.7-14.3$ GeV and $12.6-13.3$ GeV for the $1^{-+}$ and $2^{+-}$ channels, respectively. Besides, it is possible to hunt for these charmonium hybrids in the radiative decays of bottomonium mesons in BelleII experiment. Further investigations on these hybrid states in various theoretical and phenomenological methods are also anticipated in the future.


title: The Invalsi Benchmarks: measuring Linguistic and Mathematical understanding of Large Language Models in Italian

abstract: While Italian is a high resource language, there are few Italian-native benchmarks to evaluate Large Language Models (LLMs) generative abilities in this language. This work presents two new benchmarks: Invalsi MATE to evaluate models performance on mathematical understanding in Italian and Invalsi ITA to evaluate language understanding in Italian. These benchmarks are based on the Invalsi tests, which are administered to students of age between 6 and 18 within the Italian school system and have been validated by several experts in teaching and pedagogy. We use these benchmarks to evaluate 9 powerful language models showing that current language models are bound by 70% accuracy in mathematical understanding, achieved by Llama 3 70b and by 85% in language understanding. We also compare LLMs with the average performance of Italian students to show that Llama 3 is the only one to perform better than students on Invalsi MATE while most models outperform students on Invalsi ITA. We will make data and evaluation code openly available to pave the way for the future development of larger and harder benchmarks to evaluate LLMs' mathematical and linguistic understanding in Italian.


title: Submanifold projections and hyperbolicity in ${\rm Out}(F_n)$

abstract: The free splitting graph of a free group $F_n$ with $n\geq 2$ generators is a hyperbolic ${\rm Out}(F_n)$-graph which has a geometric realization as a sphere graph in the connected sum of $n$ copies of $S^1\times S^2$. We use this realization to construct submanifold projections of the free splitting graph into the free splitting graphs of proper free factors. This is used to construct for $n\geq 3$ a new hyperbolic ${\rm Out}(F_n)$-graph. If $n=3$, then every exponentially growing element acts on this graph with positive translation length.


title: Contrastive Learning with Orthonormal Anchors (CLOA)

abstract: This study focuses on addressing the instability issues prevalent in contrastive learning, specifically examining the InfoNCE loss function and its derivatives. We reveal a critical observation that these loss functions exhibit a restrictive behavior, leading to a convergence phenomenon where embeddings tend to merge into a singular point. This "over-fusion" effect detrimentally affects classification accuracy in subsequent supervised-learning tasks. Through theoretical analysis, we demonstrate that embeddings, when equalized or confined to a rank-1 linear subspace, represent a local minimum for InfoNCE. In response to this challenge, our research introduces an innovative strategy that leverages the same or fewer labeled data than typically used in the fine-tuning phase. The loss we proposed, Orthonormal Anchor Regression Loss, is designed to disentangle embedding clusters, significantly enhancing the distinctiveness of each embedding while simultaneously ensuring their aggregation into dense, well-defined clusters. Our method demonstrates remarkable improvements with just a fraction of the conventional label requirements, as evidenced by our results on CIFAR10 and CIFAR100 datasets.


title: Bridging hadronic and vacuum structure by heavy quarkonia

abstract: We discuss the central and, mostly, spin-dependent potentials in heavy quarkonia $\bar b b, \bar c c$, with two goals in mind. The first is phenomenological: using the splitting between the 1S and 2S pairs, as well as the 1P and 2P quartet masses, we obtain very accurate values of all matrix elements of the spin-depepdent potentials. The second is theoretical: using standard wave functions, we compute these matrix elements, from perturbative, nonperturbative and ``string" contributions. The model for nonperturbative effects is a ``dense instanton liquid model", in which the QCD vacuum is made of (strongly color correlated) instanton-antiinstanton pairs or "molecules". We calcuate their effect via standard Wilson lines, with or without extra powers of gauge fields. We find that this model provides a reasonable description of all central, spin-spin and spin-orbit forces at distances $r= 0-0.7 \, fm $, relevant for $\bar b b $ and $\bar c c$ quarkonia.


title: Collective excitations in competing phases in two and three dimensions

abstract: We investigate the superconducting (SC), charge-density wave (CDW), and antiferromagnetic (AFM) phases in the extended Hubbard model at zero temperature and half-filling. We employ the iterated equations of motion approach to compute the two-particle Green's functions and their spectral densities. This renders a comprehensive analysis of the behavior of collective excitations possible as the model's parameters are tuned across phase transitions. We identify the well-known amplitude (Higgs) and phase (Anderson-Bogoliubov) modes within the superconducting phase and observe a similar excitation (cooperon) in the CDW phase which shifts towards zero energy as the system approaches the phase transition to the SC phase. In the CDW phase, close to the phase transition to the AFM phase, we find a collective mode, an exciton, that does not change significantly and another mode, a longitudinal magnon, that emerges from the two-particle continuum as the system approaches the phase transition to the AFM phase. It becomes identical with the former at the transition. In the AFM phase, their roles are reversed. Additionally, we find a transversal Goldstone magnon located at zero energy.


title: Toward CXL-Native Memory Tiering via Device-Side Profiling

abstract: The Compute Express Link (CXL) interconnect has provided the ability to integrate diverse memory types into servers via byte-addressable SerDes links. Harnessing the full potential of such heterogeneous memory systems requires efficient memory tiering. However, existing research in this domain has been constrained by low-resolution and high-overhead memory access profiling techniques. To address this critical challenge, we propose to enhance existing memory tiering systems with a novel NeoMem solution. NeoMem offloads memory profiling functions to device-side controllers, integrating a dedicated hardware unit called NeoProf. NeoProf readily tracks memory access and provides the operating system with crucial page hotness statistics and other useful system state information. On the OS kernel side, we introduce a revamped memory-tiering strategy, enabling accurate and timely hot page promotion based on NeoProf statistics. We implement NeoMem on a real CXL-enabled FPGA platform and Linux kernel v6.3. Comprehensive evaluations demonstrate that NeoMem achieves 32% to 67% geomean speedup over several existing memory tiering solutions.


title: FPGA-Based Neural Thrust Controller for UAVs

abstract: The advent of unmanned aerial vehicles (UAVs) has improved a variety of fields by providing a versatile, cost-effective and accessible platform for implementing state-of-the-art algorithms. To accomplish a broader range of tasks, there is a growing need for enhanced on-board computing to cope with increasing complexity and dynamic environmental conditions. Recent advances have seen the application of Deep Neural Networks (DNNs), particularly in combination with Reinforcement Learning (RL), to improve the adaptability and performance of UAVs, especially in unknown environments. However, the computational requirements of DNNs pose a challenge to the limited computing resources available on many UAVs. This work explores the use of Field Programmable Gate Arrays (FPGAs) as a viable solution to this challenge, offering flexibility, high performance, energy and time efficiency. We propose a novel hardware board equipped with an Artix-7 FPGA for a popular open-source micro-UAV platform. We successfully validate its functionality by implementing an RL-based low-level controller using real-world experiments.


title: Convergence rates under a range invariance condition with application to electrical impedance tomography

abstract: This paper is devoted to proving convergence rates of variational and iterative regularization methods under variational source conditions VSCs for inverse problems whose linearization satisfies a range invariance condition. In order to achieve this, often an appropriate relaxation of the problem needs to be found that is usually based on an augmentation of the set of unknowns and leads to a particularly structured reformulation of the inverse problem. We analyze three approaches that make use of this structure, namely a variational and a Newton type scheme, whose convergence without rates has already been established in \cite{rangeinvar}; additionally we propose a split minimization approach that can be show to satisfy the same rates results. \\ The range invariance condition has been verified for several coefficient identification problems for partial differential equations from boundary observations as relevant in a variety of tomographic imaging modalities. Our motivation particularly comes from the by now classical inverse problem of electrical impedance tomography EIT and we study both the original formulation by a diffusion type equation and its reformulation as a Schr\"odinger equation. For both of them we find relaxations that can be proven to satisfy the range invariance condition. Combining results on VSCs from \cite{Diss-Weidling} with the abstract framework for the three approaches mentioned above, we arrive at convergence rates results for the variational, split minimization and Newton type method in EIT.


title: Conditional Wasserstein Distances with Applications in Bayesian OT Flow Matching

abstract: In inverse problems, many conditional generative models approximate the posterior measure by minimizing a distance between the joint measure and its learned approximation. While this approach also controls the distance between the posterior measures in the case of the Kullback--Leibler divergence, this is in general not hold true for the Wasserstein distance. In this paper, we introduce a conditional Wasserstein distance via a set of restricted couplings that equals the expected Wasserstein distance of the posteriors. Interestingly, the dual formulation of the conditional Wasserstein-1 flow resembles losses in the conditional Wasserstein GAN literature in a quite natural way. We derive theoretical properties of the conditional Wasserstein distance, characterize the corresponding geodesics and velocity fields as well as the flow ODEs. Subsequently, we propose to approximate the velocity fields by relaxing the conditional Wasserstein distance. Based on this, we propose an extension of OT Flow Matching for solving Bayesian inverse problems and demonstrate its numerical advantages on an inverse problem and class-conditional image generation.


title: $p\bar\Lambda$ final-state interaction in the reactions $e^+e^- \to K^- p \bar \Lambda$ and $J/\psi \to K^- p \bar \Lambda$

abstract: Near-threshold $p\bar\Lambda$ mass spectra for the reactions $e^+e^- \to K^- p\bar\Lambda$ and $J/\psi \to K^- p\bar\Lambda$ are investigated with an emphasis on the role played by the interaction in the $p\bar\Lambda$ system. As guideline for the $p\bar\Lambda$ interaction a variety of $\Lambda\bar\Lambda$ potential models is considered that have been established in the analysis of data on $p\bar p\to \Lambda\bar\Lambda$ in the past. Arguments why the properties of the $p\bar\Lambda$ and $\Lambda\bar\Lambda$ interactions can be expected to be very similar are provided. It is shown that the near-threshold enhancement in the invariant mass observed for the $e^+e^-$ reaction can be reproduced quantitatively by the assumed $p\bar\Lambda$ final-state interaction in the partial wave suggested by an amplitude analysis of the experiment. The effect of the $p\bar\Lambda$ final-state interaction in other decays is explored, including the recently measured reactions $B^- \to J/\psi\, \bar p \Lambda$ and $B^+ \to J/\psi\, p \bar\Lambda$. It is found that the final-state interaction improves the description of the measured invariant mass near threshold in most cases.


title: Connections between Reachability and Time Optimality

abstract: This paper presents the concept of an equivalence relation between the set of optimal control problems. By leveraging this concept, we show that the boundary of the reachability set can be constructed by the solutions of time optimal problems. Alongside, a more generalized equivalence theorem is presented together. The findings facilitate the use of solution structures from a certain class of optimal control problems to address problems in corresponding equivalent classes. As a byproduct, we state and prove the construction methods of the reachability sets of three-dimensional curves with prescribed curvature bound. The findings are twofold: Firstly, we prove that any boundary point of the reachability set, with the terminal direction taken into account, can be accessed via curves of H, CSC, CCC, or their respective subsegments, where H denotes a helicoidal arc, C a circular arc with maximum curvature, and S a straight segment. Secondly, we show that any boundary point of the reachability set, without considering the terminal direction, can be accessed by curves of CC, CS, or their respective subsegments. These findings extend the developments presented in literature regarding planar curves, or Dubins car dynamics, into spatial curves in $\mathbb{R}^3$. For higher dimensions, we confirm that the problem of identifying the reachability set of curvature bounded paths subsumes the well-known Markov-Dubins problem. These advancements in understanding the reachability of curvature bounded paths in $\mathbb{R}^3$ hold significant practical implications, particularly in the contexts of mission planning problems and time optimal guidance.


title: Dense Vision Transformer Compression with Few Samples

abstract: Few-shot model compression aims to compress a large model into a more compact one with only a tiny training set (even without labels). Block-level pruning has recently emerged as a leading technique in achieving high accuracy and low latency in few-shot CNN compression. But, few-shot compression for Vision Transformers (ViT) remains largely unexplored, which presents a new challenge. In particular, the issue of sparse compression exists in traditional CNN few-shot methods, which can only produce very few compressed models of different model sizes. This paper proposes a novel framework for few-shot ViT compression named DC-ViT. Instead of dropping the entire block, DC-ViT selectively eliminates the attention module while retaining and reusing portions of the MLP module. DC-ViT enables dense compression, which outputs numerous compressed models that densely populate the range of model complexity. DC-ViT outperforms state-of-the-art few-shot compression methods by a significant margin of 10 percentage points, along with lower latency in the compression of ViT and its variants.


title: Revisiting Stochastic Gravitational-wave Background in the Strong Signal Case

abstract: Weak-signal limit is often used in estimating stochastic gravitational-wave background (SGWB) intensities. This approximation fails and the signal-to-noise ratio (SNR) can be much weaker when background signals are loud compared to the detector noise. In this work, we highlight this limitation for the SGWB detection using space-borne detector networks. For the TianQin + LISA network, the SNR estimated under the weak-signal limit might be off by as large as an order of magnitude. Contour plots of SNR over the parameter spaces are also presented to indicate regions susceptible to this discrepancy. Our results suggest that DA and DB type extragalactic double white dwarfs may yield an SGWB with SNR surpassing 100 after 1 year of operation in the weak-signal-limit scenario, with a redshift-independent merger rate of about $500\,\,{\rm Mpc^{-3}\,Myr^{-1}}$. In fact, this value falls significantly below the necessary threshold. Similar influences arise for first-order phase transitions, yet pinning down parameter regions remains formidable due to model uncertainties.


title: Energy-Guided Data Sampling for Traffic Prediction with Mini Training Datasets

abstract: Recent endeavors aimed at forecasting future traffic flow states through deep learning encounter various challenges and yield diverse outcomes. A notable obstacle arises from the substantial data requirements of deep learning models, a resource often scarce in traffic flow systems. Despite the abundance of domain knowledge concerning traffic flow dynamics, prevailing deep learning methodologies frequently fail to fully exploit it. To address these issues, we propose an innovative solution that merges Convolutional Neural Networks (CNNs) with Long Short-Term Memory (LSTM) architecture to enhance the prediction of traffic flow dynamics. A key revelation of our research is the feasibility of sampling training data for large traffic systems from simulations conducted on smaller traffic systems. This insight suggests the potential for referencing a macroscopic-level distribution to inform the sampling of microscopic data. Such sampling is facilitated by the observed scale invariance in the normalized energy distribution of the statistical mechanics model, thereby streamlining the data generation process for large-scale traffic systems. Our simulations demonstrate promising agreement between predicted and actual traffic flow dynamics, underscoring the efficacy of our proposed approach.


title: SAT-NGP : Unleashing Neural Graphics Primitives for Fast Relightable Transient-Free 3D reconstruction from Satellite Imagery

abstract: Current stereo-vision pipelines produce high accuracy 3D reconstruction when using multiple pairs or triplets of satellite images. However, these pipelines are sensitive to the changes between images that can occur as a result of multi-date acquisitions. Such variations are mainly due to variable shadows, reflexions and transient objects (cars, vegetation). To take such changes into account, Neural Radiance Fields (NeRF) have recently been applied to multi-date satellite imagery. However, Neural methods are very compute-intensive, taking dozens of hours to learn, compared with minutes for standard stereo-vision pipelines. Following the ideas of Instant Neural Graphics Primitives we propose to use an efficient sampling strategy and multi-resolution hash encoding to accelerate the learning. Our model, Satellite Neural Graphics Primitives (SAT-NGP) decreases the learning time to 15 minutes while maintaining the quality of the 3D reconstruction.


title: Phasing segmented telescopes via deep learning methods: application to a deployable CubeSat

abstract: Capturing high resolution imagery of the Earth's surface often calls for a telescope of considerable size, even from Low Earth Orbits (LEO). A large aperture often requires large and expensive platforms. For instance, achieving a resolution of 1m at visible wavelengths from LEO typically requires an aperture diameter of at least 30cm. Additionally, ensuring high revisit times often prompts the use of multiple satellites. In light of these challenges, a small, segmented, deployable CubeSat telescope was recently proposed creating the additional need of phasing the telescope's mirrors. Phasing methods on compact platforms are constrained by the limited volume and power available, excluding solutions that rely on dedicated hardware or demand substantial computational resources. Neural Network (NN) are known for their computationally efficient inference and reduced on board requirements. Therefore we developed a NN based method to measure co phasing errors inherent to a deployable telescope. The proposed technique demonstrates its ability to detect phasing error at the targeted performance level (typically a wavefront error (WFE) below 15 nm RMS for a visible imager operating at the diffraction limit) using a point source. The robustness of the NN method is verified in presence of high order aberrations or noise and the results are compared against existing state of the art techniques. The developed NN model ensures its feasibility and provides a realistic pathway towards achieving diffraction limited images.


title: Characterization of Spatial-Temporal Channel Statistics from Indoor Measurement Data at D Band

abstract: Millimeter-wave (mmWave) and D Band (110--170~GHz) frequencies are poised to play a pivotal role in the advancement of sixth-generation (6G) systems and beyond, owing to their ability to enhance performance metrics such as capacity, ultra-low latency, and spectral efficiency. This paper concentrates on deriving statistical insights into power, delay, and the number of paths based on measurements conducted across four distinct locations at a center frequency of 143.1 GHz. The findings underscore the suitability of various distributions in characterizing power behavior in line-of-sight (LOS) scenarios, including lognormal, Nakagami, gamma, and beta distributions, whereas the loglogistic distribution gives the optimal fit for power distribution in non-line-of-sight (NLOS) scenarios. Moreover, the exponential distribution shows to be the most appropriate model for the delay distribution in both LOS and NLOS scenarios. In terms of the number of paths, observations indicate a tendency for the highest concentration within the 10 m to 30 m distance range between the transmitter (Tx) and receiver (Rx). These insights shed light on the statistical nature of D band propagation characteristics, which are vital for informing the design and optimization of future 6G communication systems


title: Bringing Textual Prompt to AI-Generated Image Quality Assessment

abstract: AI-Generated Images (AGIs) have inherent multimodal nature. Unlike traditional image quality assessment (IQA) on natural scenarios, AGIs quality assessment (AGIQA) takes the correspondence of image and its textual prompt into consideration. This is coupled in the ground truth score, which confuses the unimodal IQA methods. To solve this problem, we introduce IP-IQA (AGIs Quality Assessment via Image and Prompt), a multimodal framework for AGIQA via corresponding image and prompt incorporation. Specifically, we propose a novel incremental pretraining task named Image2Prompt for better understanding of AGIs and their corresponding textual prompts. An effective and efficient image-prompt fusion module, along with a novel special [QA] token, are also applied. Both are plug-and-play and beneficial for the cooperation of image and its corresponding prompt. Experiments demonstrate that our IP-IQA achieves the state-of-the-art on AGIQA-1k and AGIQA-3k datasets. Code will be available at https://github.com/Coobiw/IP-IQA.


title: Mitigating Hallucinations in Large Vision-Language Models with Instruction Contrastive Decoding

abstract: Large Vision-Language Models (LVLMs) are increasingly adept at generating contextually detailed and coherent responses from visual inputs. However, their application in multimodal decision-making and open-ended generation is hindered by a notable rate of hallucinations, where generated text inaccurately represents the visual contents. To address this issue, this paper introduces the Instruction Contrastive Decoding (ICD) method, a novel approach designed to reduce hallucinations during LVLM inference. Our method is inspired by our observation that what we call disturbance instructions significantly exacerbate hallucinations in multimodal fusion modules. ICD contrasts distributions from standard and instruction disturbance, thereby increasing alignment uncertainty and effectively subtracting hallucinated concepts from the original distribution. Through comprehensive experiments on discriminative benchmarks (POPE and MME) and a generative benchmark (LLaVa-Bench), we demonstrate that ICD significantly mitigates both object-level and attribute-level hallucinations. Moreover, our method not only addresses hallucinations but also significantly enhances the general perception and recognition capabilities of LVLMs.