title: Estimating the Distribution of Parameters in Differential Equations with Repeated Cross-Sectional Data

abstract: Differential equations are pivotal in modeling and understanding the dynamics of various systems, offering insights into their future states through parameter estimation fitted to time series data. In fields such as economy, politics, and biology, the observation data points in the time series are often independently obtained (i.e., Repeated Cross-Sectional (RCS) data). With RCS data, we found that traditional methods for parameter estimation in differential equations, such as using mean values of time trajectories or Gaussian Process-based trajectory generation, have limitations in estimating the shape of parameter distributions, often leading to a significant loss of data information. To address this issue, we introduce a novel method, Estimation of Parameter Distribution (EPD), providing accurate distribution of parameters without loss of data information. EPD operates in three main steps: generating synthetic time trajectories by randomly selecting observed values at each time point, estimating parameters of a differential equation that minimize the discrepancy between these trajectories and the true solution of the equation, and selecting the parameters depending on the scale of discrepancy. We then evaluated the performance of EPD across several models, including exponential growth, logistic population models, and target cell-limited models with delayed virus production, demonstrating its superiority in capturing the shape of parameter distributions. Furthermore, we applied EPD to real-world datasets, capturing various shapes of parameter distributions rather than a normal distribution. These results effectively address the heterogeneity within systems, marking a substantial progression in accurately modeling systems using RCS data.


title: Scalability and Implementation Aspects of Cell-Free Massive MIMO for ISAC

abstract: This paper addresses the problem of scalability for a cell-free massive MIMO (CF-mMIMO) system that performs integrated sensing and communications (ISAC). Specifically, the case where a large number of access points (APs) are deployed to perform simultaneous communication with mobile users and monitoring of the surrounding environment in the same time-frequency slot is considered, and a target-centric approach on top of the user-centric architecture used for communication services is introduced. In the paper, other practical aspects such as the fronthaul load and scanning protocol are also considered. The proposed scalable ISAC-enabled CF-mMIMO network has lower levels of system complexity, permits managing the scenario in which multiple targets are to be tracked/sensed by the APs, and achieves performance levels superior or, in some cases, close to those of the non-scalable solutions.


title: Regularized Gauss-Newton for Optimizing Overparameterized Neural Networks

abstract: The generalized Gauss-Newton (GGN) optimization method incorporates curvature estimates into its solution steps, and provides a good approximation to the Newton method for large-scale optimization problems. GGN has been found particularly interesting for practical training of deep neural networks, not only for its impressive convergence speed, but also for its close relation with neural tangent kernel regression, which is central to recent studies that aim to understand the optimization and generalization properties of neural networks. This work studies a GGN method for optimizing a two-layer neural network with explicit regularization. In particular, we consider a class of generalized self-concordant (GSC) functions that provide smooth approximations to commonly-used penalty terms in the objective function of the optimization problem. This approach provides an adaptive learning rate selection technique that requires little to no tuning for optimal performance. We study the convergence of the two-layer neural network, considered to be overparameterized, in the optimization loop of the resulting GGN method for a given scaling of the network parameters. Our numerical experiments highlight specific aspects of GSC regularization that help to improve generalization of the optimized neural network. The code to reproduce the experimental results is available at https://github.com/adeyemiadeoye/ggn-score-nn.


title: Canalization-based super-resolution imaging using a single van der Waals layer

abstract: Canalization is an optical phenomenon that enables unidirectional propagation of light in a natural way, i.e., without the need for predefined waveguiding designs. Predicted years ago, it was recently demonstrated using highly confined phonon polaritons (PhPs) in twisted layers of the van der Waals (vdW) crystal alpha-MoO3, offering unprecedented possibilities for controlling light-matter interactions at the nanoscale. However, despite this finding, applications based on polariton canalization have remained elusive so far, which can be explained by the complex sample fabrication of twisted stacks. In this work, we introduce a novel canalization phenomenon, arising in a single vdW thin layer (alpha-MoO3) when it is interfaced with a substrate exhibiting a given negative permittivity, that allows us to demonstrate a proof-of-concept application based on polariton canalization: super-resolution (up to ~{\lambda}0/220) nanoimaging. Importantly, we find that canalization-based imaging transcends conventional projection constraints, allowing the super-resolution images to be obtained at any desired location in the image plane. This versatility stems from the synergetic manipulation of three distinct parameters: incident frequency, rotation angle of the thin vdW layer, and thickness. These results provide valuable insights into the fundamental properties of canalization and constitute a seminal step towards multifaceted photonic applications, encompassing imaging, data transmission, and ultra-compact photonic integration.


title: Combining Retrieval and Classification: Balancing Efficiency and Accuracy in Duplicate Bug Report Detection

abstract: In the realm of Duplicate Bug Report Detection (DBRD), conventional methods primarily focus on statically analyzing bug databases, often disregarding the running time of the model. In this context, complex models, despite their high accuracy potential, can be time-consuming, while more efficient models may compromise on accuracy. To address this issue, we propose a transformer-based system designed to strike a balance between time efficiency and accuracy performance. The existing methods primarily address it as either a retrieval or classification task. However, our hybrid approach leverages the strengths of both models. By utilizing the retrieval model, we can perform initial sorting to reduce the candidate set, while the classification model allows for more precise and accurate classification. In our assessment of commonly used models for retrieval and classification tasks, sentence BERT and RoBERTa outperform other baseline models in retrieval and classification, respectively. To provide a comprehensive evaluation of performance and efficiency, we conduct rigorous experimentation on five public datasets. The results reveal that our system maintains accuracy comparable to a classification model, significantly outperforming it in time efficiency and only slightly behind a retrieval model in time, thereby achieving an effective trade-off between accuracy and efficiency.


title: Polyhedral CAT(0) metrics on locally finite complexes

abstract: We prove the arborescence of any locally finite complex that is $CAT(0)$ with a polyhedral metric for which all vertex stars are convex. In particular locally finite $CAT(0)$ cube complexes or equilateral simplicial complexes are arborescent. Moreover, a triangulated manifold admits a $CAT(0)$ polyhedral metric if and only if it admits arborescent triangulations. We prove eventually that every locally finite complex which is $CAT(0)$ with a polyhedral metric has a barycentric subdivision which is arborescent.


title: Device-Free 3D Drone Localization in RIS-Assisted mmWave MIMO Networks

abstract: In this paper, we investigate the potential of reconfigurable intelligent surfaces (RISs) in facilitating passive/device-free three-dimensional (3D) drone localization within existing cellular infrastructure operating at millimeter-wave (mmWave) frequencies and employing multiple antennas at the transceivers. The developed localization system operates in the bi-static mode without requiring direct communication between the drone and the base station. We analyze the theoretical performance limits via Fisher information analysis and Cram\'er Rao lower bounds (CRLBs). Furthermore, we develop a low-complexity yet effective drone localization algorithm based on coordinate gradient descent and examine the impact of factors such as radar cross section (RCS) of the drone and training overhead on system performance. It is demonstrated that integrating RIS yields significant benefits over its RIS-free counterpart, as evidenced by both theoretical analyses and numerical simulations.


title: Numerical demonstration of Abelian fractional statistics of composite fermions in the spherical geometry

abstract: Fractional quantum Hall (FQH) fluids host quasiparticle excitations that carry a fraction of the electronic charge. Moreover, in contrast to bosons and fermions that carry exchange statistics of $0$ and $\pi$ respectively, these quasiparticles of FQH fluids, when braided around one another, can accumulate a Berry phase, which is a fractional multiple of $\pi$. Deploying the spherical geometry, we numerically demonstrate that composite fermion particle (CFP) excitations in the Jain FQH states carry Abelian fractional statistics. Previously, the exchange statistics of CFPs were studied in the disk geometry, where the statistics get obscured due to a shift in the phase arising from the addition of another CFP, making its determination cumbersome without prior knowledge of the shift. We show that on the sphere this technical issue can be circumvented and the statistics of CFPs can be obtained more transparently. The ideas we present can be extended to determine the statistics of quasiparticles arising in certain non-Abelian partonic FQH states.


title: Nonsingular, lump-like, scalar compact objects in $(2+1)$-dimensional Einstein gravity

abstract: We study the space-time geometry generated by coupling a free scalar field with a non-canonical kinetic term to General Relativity in $(2+1)$ dimensions. After identifying a family of scalar Lagrangians that yield exact analytical solutions in static and circularly symmetric scenarios, we classify the various types of solutions and focus on a branch that yields asymptotically flat geometries. We show that the solutions within such a branch can be divided in two types, namely, naked singularities and nonsingular objects without a center. In the latter, the energy density is localized around a maximum and vanishes only at infinity and at an inner boundary. This boundary has vanishing curvatures and cannot be reached by any time-like or null geodesic in finite affine time. This allows us to consistently interpret such solutions as nonsingular, lump-like, static compact scalar objects, whose eventual extension to the $(3+1)$-dimensional context could provide structures of astrophysical interest.


title: A sensitivity analysis to quantify the impact of neuroimaging preprocessing strategies on subsequent statistical analyses

abstract: Even though novel imaging techniques have been successful in studying brain structure and function, the measured biological signals are often contaminated by multiple sources of noise, arising due to e.g. head movements of the individual being scanned, limited spatial/temporal resolution, or other issues specific to each imaging technology. Data preprocessing (e.g. denoising) is therefore critical. Preprocessing pipelines have become increasingly complex over the years, but also more flexible, and this flexibility can have a significant impact on the final results and conclusions of a given study. This large parameter space is often referred to as multiverse analyses. Here, we provide conceptual and practical tools for statistical analyses that can aggregate multiple pipeline results along with a new sensitivity analysis testing for hypotheses across pipelines such as "no effect across all pipelines" or "at least one pipeline with no effect". The proposed framework is generic and can be applied to any multiverse scenario, but we illustrate its use based on positron emission tomography data.


title: Language in Vivo vs. in Silico: Size Matters but Larger Language Models Still Do Not Comprehend Language on a Par with Humans

abstract: Understanding the limits of language is a prerequisite for Large Language Models (LLMs) to act as theories of natural language. LLM performance in some language tasks presents both quantitative and qualitative differences from that of humans, however it remains to be determined whether such differences are amenable to model size. This work investigates the critical role of model scaling, determining whether increases in size make up for such differences between humans and models. We test three LLMs from different families (Bard, 137 billion parameters; ChatGPT-3.5, 175 billion; ChatGPT-4, 1.5 trillion) on a grammaticality judgment task featuring anaphora, center embedding, comparatives, and negative polarity. N=1,200 judgments are collected and scored for accuracy, stability, and improvements in accuracy upon repeated presentation of a prompt. Results of the best performing LLM, ChatGPT-4, are compared to results of n=80 humans on the same stimuli. We find that increased model size may lead to better performance, but LLMs are still not sensitive to (un)grammaticality as humans are. It seems possible but unlikely that scaling alone can fix this issue. We interpret these results by comparing language learning in vivo and in silico, identifying three critical differences concerning (i) the type of evidence, (ii) the poverty of the stimulus, and (iii) the occurrence of semantic hallucinations due to impenetrable linguistic reference.


title: A Central Limit Theorem and Exponential Correlation Decay for the Coulomb Chain

abstract: We study the Coulomb chain where particles are restricted to one dimension and experience three-dimensional Coulomb interactions with their nearest and next-to-nearest neighbours. The distances between consecutive particles are treated as random variables. It is shown that the correlation between clusters of consecutive variables decay exponentially with the number of variables separating them. This result is then used to prove a central limit theorem.


title: Domain adaptive pose estimation via multi-level alignment

abstract: Domain adaptive pose estimation aims to enable deep models trained on source domain (synthesized) datasets produce similar results on the target domain (real-world) datasets. The existing methods have made significant progress by conducting image-level or feature-level alignment. However, only aligning at a single level is not sufficient to fully bridge the domain gap and achieve excellent domain adaptive results. In this paper, we propose a multi-level domain adaptation aproach, which aligns different domains at the image, feature, and pose levels. Specifically, we first utilize image style transer to ensure that images from the source and target domains have a similar distribution. Subsequently, at the feature level, we employ adversarial training to make the features from the source and target domains preserve domain-invariant characeristics as much as possible. Finally, at the pose level, a self-supervised approach is utilized to enable the model to learn diverse knowledge, implicitly addressing the domain gap. Experimental results demonstrate that significant imrovement can be achieved by the proposed multi-level alignment method in pose estimation, which outperforms previous state-of-the-art in human pose by up to 2.4% and animal pose estimation by up to 3.1% for dogs and 1.4% for sheep.


title: GCEPNet: Graph Convolution-Enhanced Expectation Propagation for Massive MIMO Detection

abstract: Massive MIMO (multiple-input multiple-output) detection is an important topic in wireless communication and various machine learning based methods have been developed recently for this task. Expectation propagation (EP) and its variants are widely used for MIMO detection and have achieved the best performance. However, EP-based solvers fail to capture the correlation between unknown variables, leading to loss of information, and in addition, they are computationally expensive. In this paper, we show that the real-valued system can be modeled as spectral signal convolution on graph, through which the correlation between unknown variables can be captured. Based on this analysis, we propose graph convolution-enhanced expectation propagation (GCEPNet), a graph convolution-enhanced EP detector. GCEPNet incorporates data-dependent attention scores into Chebyshev polynomial for powerful graph convolution with better generalization capacity. It enables a better estimation of the cavity distribution for EP and empirically achieves the state-of-the-art (SOTA) MIMO detection performance with much faster inference speed. To our knowledge, we are the first to shed light on the connection between the system model and graph convolution, and the first to design the data-dependent attention scores for graph convolution.


title: Automated Discovery of Coupled Mode Setups

abstract: In optics and photonics, a small number of building blocks, like resonators, waveguides, arbitrary couplings, and parametric interactions, allow the design of a broad variety of devices and functionalities, distinguished by their scattering properties. These include transducers, amplifiers, and nonreciprocal devices, like isolators or circulators. Usually, the design of such a system is handcrafted by an experienced scientist in a time-consuming process where it remains uncertain whether the simplest possibility has indeed been found. In our work, we develop a discovery algorithm that automates this challenge. By optimizing the continuous and discrete system properties our automated search identifies the minimal resources required to realize the requested scattering behavior. In the spirit of artificial scientific discovery, it produces a complete list of interpretable solutions and leads to generalizable insights, as we illustrate in several examples. This now opens the door to rapid design in areas like photonic and microwave architectures or optomechanics.


title: Hoeffding's inequality for continuous-time Markov chains

abstract: Hoeffding's inequality is a fundamental tool widely applied in probability theory, statistics, and machine learning. In this paper, we establish Hoeffding's inequalities specifically tailored for an irreducible and positive recurrent continuous-time Markov chain (CTMC) on a countable state space with the invariant probability distribution ${\pi}$ and an $\mathcal{L}^{2}(\pi)$-spectral gap ${\lambda}(Q)$. More precisely, for a function $g:E\to [a,b]$ with a mean $\pi(g)$, and given $t,\varepsilon>0$, we derive the inequality \[ \mathbb{P}_{\pi}\left(\frac{1}{t} \int_{0}^{t} g\left(X_{s}\right)\mathrm{d}s-\pi (g) \geq \varepsilon \right) \leq \exp\left\{-\frac{{\lambda}(Q)t\varepsilon^2}{(b-a)^2} \right\}, \] which can be viewed as a generalization of Hoeffding's inequality for discrete-time Markov chains (DTMCs) presented in [J. Fan et al., J. Mach. Learn. Res., 22(2022), pp. 6185-6219] to the realm of CTMCs. The key analysis enabling the attainment of this inequality lies in the utilization of the techniques of skeleton chains and augmented truncation approximations. Furthermore, we also discuss Hoeffding's inequality for a jump process on a general state space.


title: An averaging formula for Nielsen numbers of affine n-valued maps on infra-nilmanifolds

abstract: In [8,9], the authors developed a nice formula to compute the Nielsen number of a self-map on an infra-nilmanifold. For the case of nilmanifolds this formula was extended to $n$-valued maps in [4]. In this paper, we extend these results further and establish the averaging formula to compute the Nielsen number of any $n$-valued affine map on an infra-nilmanifold.


title: DENOISER: Rethinking the Robustness for Open-Vocabulary Action Recognition

abstract: As one of the fundamental video tasks in computer vision, Open-Vocabulary Action Recognition (OVAR) recently gains increasing attention, with the development of vision-language pre-trainings. To enable generalization of arbitrary classes, existing methods treat class labels as text descriptions, then formulate OVAR as evaluating embedding similarity between visual samples and textual classes. However, one crucial issue is completely ignored: the class descriptions given by users may be noisy, e.g., misspellings and typos, limiting the real-world practicality of vanilla OVAR. To fill the research gap, this paper pioneers to evaluate existing methods by simulating multi-level noises of various types, and reveals their poor robustness. To tackle the noisy OVAR task, we further propose one novel DENOISER framework, covering two parts: generation and discrimination. Concretely, the generative part denoises noisy class-text names via one decoding process, i.e., propose text candidates, then utilize inter-modal and intra-modal information to vote for the best. At the discriminative part, we use vanilla OVAR models to assign visual samples to class-text names, thus obtaining more semantics. For optimization, we alternately iterate between generative and discriminative parts for progressive refinements. The denoised text classes help OVAR models classify visual samples more accurately; in return, classified visual samples help better denoising. On three datasets, we carry out extensive experiments to show our superior robustness, and thorough ablations to dissect the effectiveness of each component.


title: Equivalence Relations in Quantum Theory: An Objective Account of Bases and Factorizations

abstract: In orthodox Standard Quantum Mechanics (SQM) bases and factorizations are considered to define quantum states and entanglement in relativistic terms. While the choice of a basis (interpreted as a measurement context) defines a state incompatible to that same state in a different basis, the choice of a factorization (interpreted as the separability of systems into sub-systems) determines wether the same state is entangled or non-entangled. Of course, this perspectival relativism with respect to reference frames and factorizations precludes not only the widespread reference to quantum particles but more generally the possibility of any rational objective account of a state of affairs in general. In turn, this impossibility ends up justifying the instrumentalist (anti-realist) approach that contemporary quantum physics has followed since the establishment of SQM during the 1930s. In contraposition, in this work, taking as a standpoint the logos categorical approach to QM -- basically, Heisenberg's matrix formulation without Dirac's projection postulate -- we provide an invariant account of bases and factorizations which allows us to to build a conceptual-operational bridge between the mathematical formalism and quantum phenomena. In this context we are able to address the set of equivalence relations which allows us to determine what is actually the same in different bases and factorizations.


title: Some integral inequalities via Caputo and Liouville fractional integral operators for m-convex functions

abstract: This short study consists of two parts, firstly we obtain some inequalities on Caputo Fractional derivatives using the elementary inequalities. Secondly we establish several new inequalities including Caputo fractional derivatives for m-convex functions. In general, in this work we obtain upper bounds for the left sides of Lemma 1[10] and lemma 2[20].


title: Average energy dissipation rates of explicit exponential Runge-Kutta methods for gradient flow problems

abstract: We propose a unified theoretical framework to examine the energy dissipation properties at all stages of explicit exponential Runge-Kutta (EERK) methods for gradient flow problems. The main part of the novel framework is to construct the differential form of EERK method by using the difference coefficients of method and the so-called discrete orthogonal convolution kernels. As the main result, we prove that an EERK method can preserve the original energy dissipation law unconditionally if the associated differentiation matrix is positive semi-definite. A simple indicator, namely average dissipation rate, is also introduced for these multi-stage methods to evaluate the overall energy dissipation rate of an EERK method such that one can choose proper parameters in some parameterized EERK methods or compare different kinds of EERK methods. Some existing EERK methods in the literature are evaluated from the perspective of preserving the original energy dissipation law and the energy dissipation rate. Some numerical examples are also included to support our theory.


title: A Spatiotemporal Hand-Eye Calibration for Trajectory Alignment in Visual(-Inertial) Odometry Evaluation

abstract: A common prerequisite for evaluating a visual(-inertial) odometry (VO/VIO) algorithm is to align the timestamps and the reference frame of its estimated trajectory with a reference ground-truth derived from a system of superior precision, such as a motion capture system. The trajectory-based alignment, typically modeled as a classic hand-eye calibration, significantly influences the accuracy of evaluation metrics. However, traditional calibration methods are susceptible to the quality of the input poses. Few studies have taken this into account when evaluating VO/VIO trajectories that usually suffer from noise and drift. To fill this gap, we propose a novel spatiotemporal hand-eye calibration algorithm that fully leverages multiple constraints from screw theory for enhanced accuracy and robustness. Experimental results show that our algorithm has better performance and is less noise-prone than state-of-the-art methods.


title: Bayesian Approaches to Collaborative Data Analysis with Strict Privacy Restrictions

abstract: Collaborative data analysis between countries is crucial for enabling fast responses to increasingly multi-country disease outbreaks. Often, data early in outbreaks are of sensitive nature and subject to strict privacy restrictions. Thus, federated analysis, which implies decentralised collaborative analysis where no raw data sharing is required, emerged as a novel approach solving issues around data privacy and confidentiality. In the present study, we propose two approaches to federated analysis, based on simple Bayesian statistics and exploit this simplicity to make them feasible for rapid collaboration without the risks of data leaks and data reidentification, as they require neither data sharing nor direct communication between devices. The first approach uses summaries from parameters' posteriors previously obtained at a different location to update truncated normal distributions approximating priors of a new model. The second approach uses the entire previously sampled posterior, approximating via a multivariate normal distribution. We test these models on simulated and on real outbreak data to estimate the incubation period of infectious diseases. Results indicate that both approaches can recover incubation period parameters accurately, but they differ in terms of inferential capacity. The posterior summary approach shows higher stability and precision, but it cannot capture posterior correlations, meaning it is inferentially limited. The whole posterior approach can capture correlations, but it shows less stability, and its applicability is limited to fewer prior distributions. We discuss results in terms of the advantages of their simplicity and privacy-preserving properties, and in terms of their limited generalisability to more complex analytical models.


title: Observation of Hilbert-space fragmentation and fractonic excitations in two-dimensional Hubbard systems

abstract: The relaxation behaviour of isolated quantum systems taken out of equilibrium is among the most intriguing questions in many-body physics. Quantum systems out of equilibrium typically relax to thermal equilibrium states by scrambling local information and building up entanglement entropy. However, kinetic constraints in the Hamiltonian can lead to a breakdown of this fundamental paradigm due to a fragmentation of the underlying Hilbert space into dynamically decoupled subsectors in which thermalisation can be strongly suppressed. Here, we experimentally observe Hilbert space fragmentation (HSF) in a two-dimensional tilted Bose-Hubbard model. Using quantum gas microscopy, we engineer a wide variety of initial states and find a rich set of manifestations of HSF involving bulk states, interfaces and defects, i.e., d = 2, 1 and 0 dimensional objects. Specifically, uniform initial states with equal particle number and energy differ strikingly in their relaxation dynamics. Inserting controlled defects on top of a global, non-thermalising chequerboard state, we observe highly anisotropic, sub-dimensional dynamics, an immediate signature of their fractonic nature. An interface between localized and thermalising states in turn displays dynamics depending on its orientation. Our results mark the first observation of HSF beyond one dimension, as well as the concomitant direct observation of fractons, and pave the way for in-depth studies of microscopic transport phenomena in constrained systems


title: Beyond the Speculative Game: A Survey of Speculative Execution in Large Language Models

abstract: With the increasingly giant scales of (causal) large language models (LLMs), the inference efficiency comes as one of the core concerns along the improved performance. In contrast to the memory footprint, the latency bottleneck seems to be of greater importance as there can be billions of requests to a LLM (e.g., GPT-4) per day. The bottleneck is mainly due to the autoregressive innateness of LLMs, where tokens can only be generated sequentially during decoding. To alleviate the bottleneck, the idea of speculative execution, which originates from the field of computer architecture, is introduced to LLM decoding in a \textit{draft-then-verify} style. Under this regime, a sequence of tokens will be drafted in a fast pace by utilizing some heuristics, and then the tokens shall be verified in parallel by the LLM. As the costly sequential inference is parallelized, LLM decoding speed can be significantly boosted. Driven by the success of LLMs in recent couple of years, a growing literature in this direction has emerged. Yet, there lacks a position survey to summarize the current landscape and draw a roadmap for future development of this promising area. To meet this demand, we present the very first survey paper that reviews and unifies literature of speculative execution in LLMs (e.g., blockwise parallel decoding, speculative decoding, etc.) in a comprehensive framework and a systematic taxonomy. Based on the taxonomy, we present a critical review and comparative analysis of the current arts. Finally we highlight various key challenges and future directions to further develop the area.


title: Chiral-vacuum excited replicae in QCD modeling

abstract: We present a detailed study of the Bardeen-Cooper-Schrieffer (BCS) gap equation ``replicae'' or excited vacuum states, orthogonal to the ground-state one, in the chiral-quark sector of the Hamiltonian Coulomb-gauge model of chromodynamics. Analyzing the number of negative eigenmodes of the energy density's Hessian we believe that we have identified all of the (negative energy-density) vacua of this nonlinear system, namely the ground BCS state and two (or one) replicae for slightly massive (or massless) quarks, given the interaction strength typical of the strong interactions. The meson spectrum over each of the replicae looks similar, so the differences are not significant enough given model uncertainties, but matrix elements are more sensitive and allow to distinguish them. We propose to look for such excited vacua in lattice gauge theory by trying to identify excitations with scalar quantum numbers which have energies proportional to the lattice volume (unlike conventional mesons for which the mass stabilizes to a constant upon taking the infinite volume limit).


title: Initialization of Majorana qubits by parity-to-magnetism conversion

abstract: Initializing the ground state of a quantum bit (qubit) based on Majorana zero modes is one of the most pressing issues for future topological quantum computers. We explore a parity-to-magnetism protocol for initializing such topological qubits based on magnet-superconductor hybrid networks by coupling magnetic chains to a single molecule magnet. The coupling can be activated by switching the spin state of the molecule, allowing the ground state parity of the chain to be controlled. We demonstrate that initialization with either parity for a Majorana qubit can be achieved. We then introduce the dressed Majorana qubit, which includes the state of the molecule in the definition of the logical qubit. Using this definition we can initialize a qubit without high-precision timing.


title: Entanglement measures of Majorana bound states

abstract: Majorana bound states emerge in topological superconductors as zero-energy edge states exhibiting spatial nonlocality. Despite the enormous advances, the detection of Majorana bound states is still challenging mainly because topologically trivial Andreev bound states produce similar signatures. In this work we consider a topological superconductor with Majorana bound states coupled to quantum dots and investigate the dynamics of their quantum correlations with the aim to explore their entanglement properties. In particular, we characterize entanglement by using concurrence and discord, which are also complemented by the entanglement dynamics and return probability. We find that Majorana bound states at truly zero energy can transform an initially entangled system into its classical state, while they can create maximally entangled states at a finite energy overlap. Interestingly, we show that the system can generate a maximally entangled state between MBSs and a quantum dot by simply controlling the Majorana nonlocality. We demonstrate that these results hold in the scenarios when the initial state is either maximally entangled or separable, albeit in the latter maximally entangled states are achieved in the long time dynamics. Furthermore, we contrast our findings with those produced by a regular fermion and obtain very distinct entanglement signatures. Our work offers an alternative approach to characterize Majorana bound states, which can be also useful towards their utilization for quantum information tasks.


title: Beyond Code Generation: An Observational Study of ChatGPT Usage in Software Engineering Practice

abstract: Large Language Models (LLMs) are frequently discussed in academia and the general public as support tools for virtually any use case that relies on the production of text, including software engineering. Currently there is much debate, but little empirical evidence, regarding the practical usefulness of LLM-based tools such as ChatGPT for engineers in industry. We conduct an observational study of 24 professional software engineers who have been using ChatGPT over a period of one week in their jobs, and qualitatively analyse their dialogues with the chatbot as well as their overall experience (as captured by an exit survey). We find that, rather than expecting ChatGPT to generate ready-to-use software artifacts (e.g., code), practitioners more often use ChatGPT to receive guidance on how to solve their tasks or learn about a topic in more abstract terms. We also propose a theoretical framework for how (i) purpose of the interaction, (ii) internal factors (e.g., the user's personality), and (iii) external factors (e.g., company policy) together shape the experience (in terms of perceived usefulness and trust). We envision that our framework can be used by future research to further the academic discussion on LLM usage by software engineering practitioners, and to serve as a reference point for the design of future empirical LLM research in this domain.


title: Uniqueness in law for singular degenerate SDEs with respect to a (sub-)invariant measure

abstract: We show weak existence and uniqueness in law for a general class of stochastic differential equations in $\mathbb{R}^d$, $d\ge 1$, with prescribed sub-invariant measure $\widehat{\mu}$. The dispersion and drift coefficients of the stochastic differential equation are allowed to be degenerate and discontinuous, and locally unbounded, respectively. Uniqueness in law is obtained via $L^1(\mathbb{R}^d,\widehat{\mu})$-uniqueness in a subclass of continuous Markov processes, namely right processes that have $\widehat{\mu}$ as sub-invariant measure and have continuous paths for $\widehat{\mu}$-almost every starting point. Weak existence is obtained for a broader class via the martingale problem.


title: Multi-Sample Dynamic Time Warping for Few-Shot Keyword Spotting

abstract: In multi-sample keyword spotting, each keyword class is represented by multiple spoken instances, called samples. A na\"ive approach to detect keywords in a target sequence consists of querying all samples of all classes using sub-sequence dynamic time warping. However, the resulting processing time increases linearly with respect to the number of samples belonging to each class. Alternatively, only a single Fr\'echet mean can be queried for each class, resulting in reduced processing time but usually also in worse detection performance as the variability of the query samples is not captured sufficiently well. In this work, multi-sample dynamic time warping is proposed to compute class-specific cost-tensors that include the variability of all query samples. To significantly reduce the computational complexity during inference, these cost tensors are converted to cost matrices before applying dynamic time warping. In experimental evaluations for few-shot keyword spotting, it is shown that this method yields a very similar performance as using all individual query samples as templates while having a runtime that is only slightly slower than when using Fr\'echet means.


title: Non-trivial fixed point of a $\psi^4_d$ fermionic theory, II. Anomalous exponent and scaling operators

abstract: We consider the Renormalization Group (RG) fixed-point theory associated with a fermionic $\psi^4_d$ model in $d=1,2,3$ with fractional kinetic term, whose scaling dimension is fixed so that the quartic interaction is weakly relevant in the RG sense. The model is defined in terms of a Grassmann functional integral with interaction $V^*$, solving a fixed-point RG equation in the presence of external fields, and a fixed ultraviolet cutoff. We define and construct the field and density scale-invariant response functions, and prove that the critical exponent of the former is the naive one, while that of the latter is anomalous and analytic. We construct the corresponding (almost-)scaling operators, whose two point correlations are scale-invariant up to a remainder term, which decays like a stretched exponential at distances larger than the inverse of the ultraviolet cutoff. Our proof is based on constructive RG methods and, specifically, on a convergent tree expansion for the generating function of correlations, which generalizes the approach developed by three of the authors in a previous publication [A. Giuliani, V. Mastropietro, S. Rychkov, JHEP 01 (2021) 026].


title: Tensor network analysis of the maple-leaf antiferromagnet spangolite

abstract: Spangolite (Cu$_6$Al(SO$_4$)(OH)$_{12}$Cl$\cdot$3H$_2$O) is a hydrated layered copper sulfate mineral whose crystal structure is well described by a depleted triangular lattice of Cu$^{2+}$ ions in each layer. Experimental measurements reveal a non-magnetic ground state at $T \sim 8\, \text{K}$ with magnetization properties dominated by dimerisation. We propose a concrete model of Cu$^{2+}$ spin-$1/2$ degrees of freedom on this geometrically frustrated and effectively two-dimensional maple-leaf lattice. The distorted geometry of the depleted triangular lattice layers results in a spatially anisotropic Heisenberg model featuring five symmetry inequivalent couplings with ferromagnetic bonds on hexagons and antiferromagnetic triangular bonds. The validity of the proposed Hamiltonian is demonstrated by state-of-the-art tensor network calculations which can assess both the nature of the ground state as well as low-temperature thermodynamics, including effects of a magnetic field. We provide theoretical support for a dimerized ground state by calculating the static spin structure factor as well as the magnetic susceptibility, the latter is shown to be in good agreement with experiment. We further predict the emergence of magnetisation plateaus at high values of an external magnetic field and study their melting with increasing temperature.


title: Driver Activity Classification Using Generalizable Representations from Vision-Language Models

abstract: Driver activity classification is crucial for ensuring road safety, with applications ranging from driver assistance systems to autonomous vehicle control transitions. In this paper, we present a novel approach leveraging generalizable representations from vision-language models for driver activity classification. Our method employs a Semantic Representation Late Fusion Neural Network (SRLF-Net) to process synchronized video frames from multiple perspectives. Each frame is encoded using a pretrained vision-language encoder, and the resulting embeddings are fused to generate class probability predictions. By leveraging contrastively-learned vision-language representations, our approach achieves robust performance across diverse driver activities. We evaluate our method on the Naturalistic Driving Action Recognition Dataset, demonstrating strong accuracy across many classes. Our results suggest that vision-language representations offer a promising avenue for driver monitoring systems, providing both accuracy and interpretability through natural language descriptors.


title: Inputs for the $\gamma$ measurements from BESIII

abstract: The CKM angle $\gamma$ is important for testing the unitarity of the CKM matrix and searching for new physics. $\gamma$ can be extracted by the interference between $b\to u$ and $b\to c$ in the B factory such as LHCb and Belle-II. Determining $\gamma$ also needs strong parameter information from the charm factory, such as the BESIII experiment. With quantum-correlated data samples collected at BESIII, the $\gamma$ uncertainties from the charm sector can be highly suppressed.


title: Mining Supervision for Dynamic Regions in Self-Supervised Monocular Depth Estimation

abstract: This paper focuses on self-supervised monocular depth estimation in dynamic scenes trained on monocular videos. Existing methods jointly estimate pixel-wise depth and motion, relying mainly on an image reconstruction loss. Dynamic regions1 remain a critical challenge for these methods due to the inherent ambiguity in depth and motion estimation, resulting in inaccurate depth estimation. This paper proposes a self-supervised training framework exploiting pseudo depth labels for dynamic regions from training data. The key contribution of our framework is to decouple depth estimation for static and dynamic regions of images in the training data. We start with an unsupervised depth estimation approach, which provides reliable depth estimates for static regions and motion cues for dynamic regions and allows us to extract moving object information at the instance level. In the next stage, we use an object network to estimate the depth of those moving objects assuming rigid motions. Then, we propose a new scale alignment module to address the scale ambiguity between estimated depths for static and dynamic regions. We can then use the depth labels generated to train an end-to-end depth estimation network and improve its performance. Extensive experiments on the Cityscapes and KITTI datasets show that our self-training strategy consistently outperforms existing self/unsupervised depth estimation methods.


title: MultiSTOP: Solving Functional Equations with Reinforcement Learning

abstract: We develop MultiSTOP, a Reinforcement Learning framework for solving functional equations in physics. This new methodology produces actual numerical solutions instead of bounds on them. We extend the original BootSTOP algorithm by adding multiple constraints derived from domain-specific knowledge, even in integral form, to improve the accuracy of the solution. We investigate a particular equation in a one-dimensional Conformal Field Theory.


title: Stable vortex solitons sustained by a localized gain in the cubic medium

abstract: We propose a simple dissipative system with purely cubic defocusing nonlinearity and nonuniform linear gain that can support stable localized dissipative vortex solitons with high topological charges without the utilization of competing nonlinearities and nonlinear gain or losses. Localization of such solitons is achieved due to an intriguing mechanism when defocusing nonlinearity stimulates energy flow from the ring-like region with linear gain to the periphery of the medium where energy is absorbed due to linear background losses. Vortex solitons bifurcate from linear gain-guided vortical modes with eigenvalues depending on topological charges that become purely real only at specific gain amplitudes. Increasing gain amplitude leads to transverse expansion of vortex solitons, but simultaneously it usually also leads to stability enhancement. Increasing background losses allows creation of stable vortex solitons with high topological charges that are usually prone to instabilities in conservative and dissipative systems. Propagation of the perturbed unstable vortex solitons in this system reveals unusual dynamical regimes, when instead of decay or breakup, the initial state transforms into stable vortex soliton with lower or sometimes even with higher topological charge. Our results suggest an efficient mechanism for the formation of nonlinear excited vortex-carrying states with suppressed destructive azimuthal modulational instabilities in a simple setting relevant to a wide class of systems, including polaritonic systems, structured microcavities, and lasers.


title: Photoinduced Spin Centers in Photocatalytic Metal-Organic Framework UiO-66

abstract: Metal-organic frameworks (MOFs) are promising candidates for the advanced photocatalytic active materials. These porous crystalline compounds have large active surface area and structural tunability, highly competitive with oxides, the well-established material class for the photocatalysis. However, due to their complex organic and coordination chemistry composition, photophysical mechanisms involved in the photocatalytic process in MOFs are still not well understood. Employing electron paramagnetic resonance (EPR) spectroscopy, we investigate the fundamental processes of electron and hole generation, as well as capture events that lead to the formation of various radical species in UiO-66, an archetypical MOF photocatalyst. As a result, we detected a manifold of photoinduced electron spin centers, which we subsequently analyzed and identified with the help of density-functional theory (DFT) calculations. Our findings provide new insights into the photo-induced charge transfer processes, which are the basis of photocatalytic activity in UiO-66. This sets the stage for further studies on photogenerated spin centers in this and similar MOF materials.


title: Asymmetric self-interacting dark matter with canonical seesaw

abstract: We study the possibility of generating dark matter (DM) and baryon asymmetry of the universe (BAU) simultaneously in an asymmetric DM framework which also alleviates the small-scale structure issues of cold DM (CDM). While thermal relic of such self-interacting DM (SIDM) remains under-abundant due to efficient annihilation into light mediators, a non-zero asymmetry in dark sector can lead to survival of the required DM in the universe. The existence of a light mediator leads to the required self-interactions of DM at small scales while keeping DM properties similar to CDM at large scales. It also ensures that the symmetric DM component annihilates away, leaving the asymmetric part, in the spirit of cogenesis. The particle physics implementation is done in canonical seesaw models of light neutrino mass, connecting it to the origin of DM and BAU. In particular, we consider type-I and type-III seesaw origin of neutrino mass for simplicity and minimality of the field content. We show that the desired self-interactions and relic of DM together with BAU while satisfying relevant constraints lead to strict limits on DM mass $\mathcal{O}(\rm GeV) \lesssim M_{\rm DM} \lesssim460 $ GeV. In spite of being high scale seesaw, the models remain verifiable at different experiments including direct, indirect DM search as well as colliders.


title: Additive Margin in Contrastive Self-Supervised Frameworks to Learn Discriminative Speaker Representations

abstract: Self-Supervised Learning (SSL) frameworks became the standard for learning robust class representations by benefiting from large unlabeled datasets. For Speaker Verification (SV), most SSL systems rely on contrastive-based loss functions. We explore different ways to improve the performance of these techniques by revisiting the NT-Xent contrastive loss. Our main contribution is the definition of the NT-Xent-AM loss and the study of the importance of Additive Margin (AM) in SimCLR and MoCo SSL methods to further separate positive from negative pairs. Despite class collisions, we show that AM enhances the compactness of same-speaker embeddings and reduces the number of false negatives and false positives on SV. Additionally, we demonstrate the effectiveness of the symmetric contrastive loss, which provides more supervision for the SSL task. Implementing these two modifications to SimCLR improves performance and results in 7.85% EER on VoxCeleb1-O, outperforming other equivalent methods.


title: Pillars of Grammatical Error Correction: Comprehensive Inspection Of Contemporary Approaches In The Era of Large Language Models

abstract: In this paper, we carry out experimental research on Grammatical Error Correction, delving into the nuances of single-model systems, comparing the efficiency of ensembling and ranking methods, and exploring the application of large language models to GEC as single-model systems, as parts of ensembles, and as ranking methods. We set new state-of-the-art performance with F_0.5 scores of 72.8 on CoNLL-2014-test and 81.4 on BEA-test, respectively. To support further advancements in GEC and ensure the reproducibility of our research, we make our code, trained models, and systems' outputs publicly available.


title: A novel mathematical model for predicting the benefits of physical activity on type 2 diabetes progression

abstract: Despite the well-acknowledged benefits of physical activity for type 2 diabetes (T2D) prevention, the literature surprisingly lacks validated models able to predict the long-term benefits of exercise on T2D progression and support personalized risk prediction and prevention. To bridge this gap, we developed a novel mathematical model that formalizes the link between exercise and short- and long-term glucose-insulin dynamics to predict the benefits of regular exercise on T2D progression. The model quantitatively captured the dose-response relationship (larger benefits with increasing intensity and/or duration of exercise), it consistently reproduced the benefits of clinical guidelines for diabetes prevention, and it accurately predicted persistent benefits following interruption of physical activity, in line with real-world evidence from the literature. These results are encouraging and can be the basis for future development of decision support tools able to assist patients and clinicians in tailoring preventive lifestyle interventions.


title: Anomalous Polarization in One-dimensional Aperiodic Insulators

abstract: By implementing a charge pumping scheme for one-dimensional aperiodic chains, we confirm the existence of topological phases in these systems whenever their finite-size realizations admit inversion symmetry. These phases are usually characterized by an anomalous edge response as a result of the bulk-boundary correspondence. We show that these signatures are all present in various chains, each representing a different class of structural aperiodicity: the Fibonacci quasicrystal, the Tribonacci quasicrystal, and the Thue-Morse chain. More specifically, we calculate three quantities: the Berry phase of the crystalline approximation of the finite-size systems, the polarization response to an inifintesimal static and constant electric field in systems with open boundary conditions, and the degeneracy of the entanglement spectrum. We find that all of them provide signatures of a topologically nontrivial phase.


title: Particle Swarm Optimization Based Analysis to Unlocking the Neutrino Mass Puzzle using $A_{4}\times Z_{3}\times Z_{10}$ Flavor Symmetry

abstract: New research has highlighted a shortfall in the Standard Model (SM) because it predicts neutrinos to have zero mass. However, recent experiments on neutrino oscillation have revealed that the majority of neutrino parameters indeed indicate their significant mass. In response, scientists are increasingly incorporating discrete symmetries alongside continuous ones for better justification of observed patterns of neutrino mixing. In this study, we have examined a model within $A_4\times Z_3\times Z_{10}$ symmetry to estimate the neutrino masses using particle swarm optimization technique for both mass hierarchy of neutrino. This model employed a hybrid seesaw mechanism, a combination of seesaw mechanism of type-I and type-II, to establish the effective Majorana neutrino mass matrix. After calculating the mass eigenvalues and lepton mixing matrix upto second order perturbation theory in this framework, this study seeks to investigate the scalar potential for vacuum expectation values (VEVs), optimize the parameters, $U_{PMNS}$ matrix, neutrino masses: $|{m_{1}^{\prime}}^N|=0.0292794-0.0435082\ eV$, $|{m_{2}^{\prime}}^N|=1.78893\times 10^{-18}-0.0293509\ eV$, $|{m_{3}^{\prime}}^N|=0.0307414-0.0471467\ eV$, $|{m_{1}^{\prime}}^I|=0.00982013-0.0453623\ eV$, $|{m_{2}^{\prime}}^I_|=0.0379702-0.0471197\ eV$, and $|{m_{3}^{\prime}}^I|=0.0122063-0.027544\ eV$, effective neutrino mass parameters: $\langle {m_{ee}} \rangle^N=(0.170-3.93)\times10^{-2}\ eV$, $\langle {m_{\beta}} \rangle^N=(0.471-1.39)\times10^{-2}\ eV$, $\langle {m_{ee}} \rangle^I=(1.85-4.55)\times10^{-2}\ eV$ and $\langle {m_{\beta}} \rangle^I=(2.26-4.56)\times10^{-2}\ eV$, are predicted for both mass hierarchy through particle swarm optimization (PSO), showing strong agreement with recent experimental findings.


title: Existence of weak solutions for a class of non-divergent parabolic equations with variable exponent

abstract: A doubly degenerate parabolic equation in non-divergent form with variable growth is investigated in this paper. In suitable spaces, we prove the existence of weak solutions of the equation for cases $1\leq m < 2$ and $m\geq 2$ in different ways. And we establish the non-expansion of support of the solution for the problem.


title: Stalnaker's Epistemic Logic in Isabelle/HOL

abstract: The foundations of formal models for epistemic and doxastic logics often rely on certain logical aspects of modal logics such as S4 and S4.2 and their semantics; however, the corresponding mathematical results are often stated in papers or books without including a detailed proof, or a reference to it, that allows the reader to convince themselves about them. We reinforce the foundations of the epistemic logic S4.2 for countably many agents by formalizing its soundness and completeness results for the class of all weakly-directed pre-orders in the proof assistant Isabelle/HOL. This logic corresponds to the knowledge fragment, i.e., the logic for formulas that may only include knowledge modalities in Stalnaker's system for knowledge and belief. Additionally, we formalize the equivalence between two axiomatizations for S4, which are used depending on the type of semantics given to the modal operators, as one is commonly used for the relational semantics, and the other one arises naturally from the topological semantics.


title: Formalizing Factorization on Euclidean Domains and Abstract Euclidean Algorithms

abstract: This paper discusses the extension of the Prototype Verification System (PVS) sub-theory for rings, part of the PVS algebra theory, with theorems related to the division algorithm for Euclidean rings and Unique Factorization Domains that are general structures where an analog of the Fundamental Theorem of Arithmetic holds. First, we formalize the general abstract notions of divisibility, prime, and irreducible elements in commutative rings, essential to deal with unique factorization domains. Then, we formalize the landmark theorem, establishing that every principal ideal domain is a unique factorization domain. Finally, we specify the theory of Euclidean domains and formally verify that the rings of integers, the Gaussian integers, and arbitrary fields are Euclidean domains. To highlight the benefits of such a general abstract discipline of formalization, we specify a Euclidean gcd algorithm for Euclidean domains and formalize its correctness. Also, we show how this correctness is inherited under adequate parameterizations for the structures of integers and Gaussian integers.


title: More Church-Rosser Proofs in BELUGA

abstract: We report on yet another formalization of the Church-Rosser property in lambda-calculi, carried out with the proof environment Beluga. After the well-known proofs of confluence for beta-reduction in the untyped settings, with and without Takahashi's complete developments method, we concentrate on eta-reduction and obtain the result for beta-eta modularly. We further extend the analysis to typed-calculi, in particular System F. Finally, we investigate the idea of pursuing the encoding directly in Beluga's meta-logic, as well as the use of Beluga's logic programming engine to search for counterexamples.


title: Semi-Substructural Logics with Additives

abstract: This work concerns the proof theory of (left) skew monoidal categories and their variants (e.g. closed monoidal, symmetric monoidal), continuing the line of work initiated in recent years by Uustalu et al. Skew monoidal categories are a weak version of Mac Lane's monoidal categories, where the structural laws are not required to be invertible, they are merely natural transformations with a specific orientation. Sequent calculi which can be modelled in such categories can be identified as deductive systems for restricted substructural fragments of intuitionistic linear logic. These calculi enjoy cut elimination and admit a focusing strategy, sharing resemblance with Andreoli's normalization technique for linear logic. The focusing procedure is useful for solving the coherence problem of the considered categories with skew structure. Here we investigate possible extensions of the sequent calculi of Uustalu et al. with additive connectives. As a first step, we extend the sequent calculus with additive conjunction and disjunction, corresponding to studying the proof theory of skew monoidal categories with binary products and coproducts satisfying a left-distributivity condition. We introduce a new focused sequent calculus of derivations in normal form, which employs tag annotations to reduce non-deterministic choices in bottom-up proof search. The focused sequent calculus and the proof of its correctness have been formalized in the Agda proof assistant. We also discuss extensions of the logic with additive units, a form of skew exchange and linear implication.


title: CHC-COMP 2023: Competition Report

abstract: CHC-COMP 2023 is the sixth edition of the Competition of Solvers for Constrained Horn Clauses. The competition was run in April 2023 and the results were presented at the 10th Workshop on Horn Clauses for Verification and Synthesis held in Paris, France, on April 23, 2023. This edition featured seven solvers (six competing and one hors concours) and six tracks, each of which dealing with a class of clauses. This report describes the organization of CHC-COMP 2023 and presents its results.


title: An Encoding for CLP Problems in SMT-LIB

abstract: The input language for today's CHC solvers are commonly the standard SMT-LIB format, borrowed from SMT solvers, and the Prolog format that stems from Constraint-Logic Programming (CLP). This paper presents a new front-end of the Eldarica CHC solver that allows inputs in the Prolog language. We give a formal translation of a subset of Prolog into the SMT-LIB commands. Our initial experiments show the effectiveness of the approach and the potential benefits to both the CHC solving and CLP communities.


title: Vulnerable Road User Clustering for Collective Perception Messages: Efficient Representation Through Geometric Shapes

abstract: Ensuring the safety of Vulnerable Road Users (VRUs) is a critical concern in transportation, demanding significant attention from researchers and engineers. Recent advancements in Vehicle-to-Everything (V2X) technology offer promising solutions to enhance VRU safety. Notably, VRUs often travel in groups, exhibiting similar movement patterns that facilitate the formation of clusters. The standardized Collective Perception Message (CPM) and VRU Awareness Message in ETSI's Release 2 consider this clustering behavior, allowing for the description of VRU clusters. Given the constraints of narrow channel bandwidth, the selection of an appropriate geometric shape for representing a VRU cluster becomes crucial for efficient data transmission. In our study we conduct a comprehensive evaluation of different geometric shapes used to describe VRU clusters. We introduce two metrics: Cluster Accuracy (CA) and Comprehensive Area Density Information (CADI), to assess the precision and efficiency of each shape. Beyond comparing predefined shapes, we propose an adaptive algorithm that selects the preferred shape for cluster description, prioritizing accuracy while maintaining a high level of efficiency. The study culminates by demonstrating the benefits of clustering on data transmission rates. We simulate VRU movement using real-world data and the transmission of CPMs by a roadside unit. The results reveal that broadcasting cluster information, as opposed to individual object data, can reduce the data transmission volume by two-thirds on average. This finding underscores the potential of clustering in V2X communications to enhance VRU safety while optimizing network resources.


title: Towards self-optimization of publish/subscribe IoT systems using continuous performance monitoring

abstract: Today, more and more embedded devices are being connected through a network, generally Internet, offering users different services. This concept refers to Internet of Things (IoT), bringing information and control capabilities in many fields like medicine, smart homes, home security, etc. Main drawbacks of IoT environment are its dependency on Internet connectivity and need continuous devices power. These dependencies may affect system performances, namely request processing response times. In this context, we propose in this paper a continuous performance monitoring methodology, applied on IoT systems based on Publish/subscribe communication model. Our approach assesses performances using Stochastic Petri net modeling, and self-optimizes whenever poor performances are detected. Our approach relies on a Stochastic Petri nets modelling and analysis to assess performances. We target improving performances, in particular response times, by online modification of influencing factors.


title: Optimal Refund Mechanism with Consumer Learning

abstract: This paper studies the optimal refund mechanism when an uninformed buyer can privately acquire information about his valuation of a product over time. We consider a class of refund mechanisms based on stochastic return policies: if the buyer requests a return, the seller will issue a (partial) refund while allowing the buyer to keep the product with some probability. Such return policies can affect the buyer's learning process and thereby influence the return rate. Nevertheless, we show that the optimal refund mechanism is deterministic and takes a simple form: either the seller offers a sufficiently low price and disallows returns to deter buyer learning, or she offers a sufficiently high price with free returns to implement maximal buyer learning. The form of the optimal refund mechanism is non-monotone in the buyer's prior belief regarding his valuation.


title: Graph Machine Learning in the Era of Large Language Models (LLMs)

abstract: Graphs play an important role in representing complex relationships in various domains like social networks, knowledge graphs, and molecular discovery. With the advent of deep learning, Graph Neural Networks (GNNs) have emerged as a cornerstone in Graph Machine Learning (Graph ML), facilitating the representation and processing of graph structures. Recently, LLMs have demonstrated unprecedented capabilities in language tasks and are widely adopted in a variety of applications such as computer vision and recommender systems. This remarkable success has also attracted interest in applying LLMs to the graph domain. Increasing efforts have been made to explore the potential of LLMs in advancing Graph ML's generalization, transferability, and few-shot learning ability. Meanwhile, graphs, especially knowledge graphs, are rich in reliable factual knowledge, which can be utilized to enhance the reasoning capabilities of LLMs and potentially alleviate their limitations such as hallucinations and the lack of explainability. Given the rapid progress of this research direction, a systematic review summarizing the latest advancements for Graph ML in the era of LLMs is necessary to provide an in-depth understanding to researchers and practitioners. Therefore, in this survey, we first review the recent developments in Graph ML. We then explore how LLMs can be utilized to enhance the quality of graph features, alleviate the reliance on labeled data, and address challenges such as graph heterogeneity and out-of-distribution (OOD) generalization. Afterward, we delve into how graphs can enhance LLMs, highlighting their abilities to enhance LLM pre-training and inference. Furthermore, we investigate various applications and discuss the potential future directions in this promising field.


title: Polyepitaxial grain matching to study the oxidation of uranium dioxide

abstract: Although the principal physical behaviour of a material is inherently connected to its fundamental crystal structure, the behaviours observed in the real-world are often driven by the microstructure, which for many polycrystalline materials, equates to the size and shape of the constituent crystal grains. Here we highlight a cutting edge synthesis route to the controlled engineering of grain structures in thin films and the simplification of associated 3-dimensional problems to less complex 2D ones. This has been applied to the actinide ceramic, uranium dioxide, to replicate structures typical in nuclear fission fuel pellets, in order to investigate the oxidation and subsequent transformation of cubic UO$_{2}$ to orthorhombic U$_{3}$O$_{8}$. This article shows how this synthesis approach could be utilised to investigate a range of phenomena, affected by grain morphology, and highlights some unusual results in the oxidation behaviour of UO$_{2}$, regarding the phase transition to U$_{3}$O$_{8}$.


title: Exploring the Theoretical Limits of Efficiency in Multilayer Solar Cells

abstract: Photovoltaic materials are recognized for their potential as sustainable energy sources that enable the conversion between light and electrical energy. However, solar cells have been unable to surpass the theoretical limit of 32%, known as the Shockley-Queisser limit, and face challenges in effectively utilizing the broad spectrum of sunlight. To address this issue, extensive research is being conducted on multi-junction solar cells, which employ a layered structure comprising materials with varying bandgaps to more effectively harness the wide spectrum of sunlight. This study calculates the theoretical limit of these multi-junction solar cells and identifies optimal bandgap combinations, exploring new possibilities for photovoltaic devices and suggesting directions for technological advancement. The performance saw a 31% improvement when moving from a single layer to two layers, and a 12% improvement from two layers to three, with the average wavelength situated in the late 800nm range. The wavelength of the bottom layer increased by about 200nm, and that of the second layer by about 150nm. Our findings present new opportunities to surpass the current limitations of solar cell technology, potentially enhancing the economic feasibility and utility of solar energy as a sustainable source.


title: Large Angular Momentum

abstract: Quantum states of a spin $1/2$ (a qubit) are parametrized by the space $CP^1 \sim S^2$, the Bloch sphere. A spin j (a 2j+1 -state system) for generic j is represented instead by a point of a larger space, $CP^{2j}$. Here we study the angular momentum/spin in the limit, $j \to \infty$. The state, $(J \cdot n) | j, n\rangle = j |j, n \rangle $, where $J$ is the angular momentum operator and $n$ stands for a generic unit vector in $R^3$, is found to behave as a classical angular momentum, $ j n $. We discuss this phenomenon, by analysing the Stern-Gerlach experiments, the angular-momentum composition rule, and the rotation matrix. This problem arose from the consideration of a macroscopic body under an inhomogeneous magnetic field. Our observations help to explain how classical mechanics (with unique particle trajectories) emerges naturally from quantum mechanics in this context, and at the same time, make the widespread idea that large spins somehow become classical, a more precise one.


title: Reconstructed Electronic Structure in 2D vdW 1T-Ta$S_2$ for Quantum Sensing and Information Science

abstract: Transition metal dichalcogenides (TMDs) are a class of two-dimensional (2D) layered materials that exhibit a diverse range of electronic structures, including charge density waves (CDWs) that can lead to insulating, semiconducting, metallic, and even superconducting phases. While the formation of CDWs in these systems has been recognized in early research [Phys. Rev. Lett. 129, 156401 (2022); Nat. Phys. 11, 328 (2015)], the underlying mechanisms driving the commensurate CDW (CCDW) phase remain largely unexplored. CCDWs typically originate from factors such as perfect Fermi surface nesting and/or electron-phonon coupling, causing the divergence of the chiral electronic structure. However, in the case of layered 2D TMD materials with CCDW phases, the significance of reconstructed electronic structures resulting from periodic lattice distortions (PLD) and photoemission matrix element effects in the CCDW instability needs to be visualized. This study focuses on computationally accessible CCDW phases in 1T-Ta$S_2$, a prototypical TMD with a rich CDW phase diagram, aiming to understand the origins of CCDW phases. The insights gained from this investigation have the potential to advance the application of 2D materials in next-generation electronics, quantum sensing and information science.


title: Fin-Fed-OD: Federated Outlier Detection on Financial Tabular Data

abstract: Anomaly detection in real-world scenarios poses challenges due to dynamic and often unknown anomaly distributions, requiring robust methods that operate under an open-world assumption. This challenge is exacerbated in practical settings, where models are employed by private organizations, precluding data sharing due to privacy and competitive concerns. Despite potential benefits, the sharing of anomaly information across organizations is restricted. This paper addresses the question of enhancing outlier detection within individual organizations without compromising data confidentiality. We propose a novel method leveraging representation learning and federated learning techniques to improve the detection of unknown anomalies. Specifically, our approach utilizes latent representations obtained from client-owned autoencoders to refine the decision boundary of inliers. Notably, only model parameters are shared between organizations, preserving data privacy. The efficacy of our proposed method is evaluated on two standard financial tabular datasets and an image dataset for anomaly detection in a distributed setting. The results demonstrate a strong improvement in the classification of unknown outliers during the inference phase for each organization's model.


title: G3R: Generating Rich and Fine-grained mmWave Radar Data from 2D Videos for Generalized Gesture Recognition

abstract: Millimeter wave radar is gaining traction recently as a promising modality for enabling pervasive and privacy-preserving gesture recognition. However, the lack of rich and fine-grained radar datasets hinders progress in developing generalized deep learning models for gesture recognition across various user postures (e.g., standing, sitting), positions, and scenes. To remedy this, we resort to designing a software pipeline that exploits wealthy 2D videos to generate realistic radar data, but it needs to address the challenge of simulating diversified and fine-grained reflection properties of user gestures. To this end, we design G3R with three key components: (i) a gesture reflection point generator expands the arm's skeleton points to form human reflection points; (ii) a signal simulation model simulates the multipath reflection and attenuation of radar signals to output the human intensity map; (iii) an encoder-decoder model combines a sampling module and a fitting module to address the differences in number and distribution of points between generated and real-world radar data for generating realistic radar data. We implement and evaluate G3R using 2D videos from public data sources and self-collected real-world radar data, demonstrating its superiority over other state-of-the-art approaches for gesture recognition.


title: A Data-Driven Analysis of Vulnerable Road User Safety in Interaction with Connected Automated Vehicles

abstract: According to the World Health Organization, the involvement of Vulnerable Road Users (VRUs) in traffic accidents remains a significant concern, with VRUs accounting for over half of traffic fatalities. The increase of automation and connectivity levels of vehicles has still an uncertain impact on VRU safety. By deploying the Collective Perception Service (CPS), vehicles can include information about VRUs in Vehicle-to-Everything (V2X) messages, thus raising the general perception of the environment. Although an increased awareness is considered positive, one could argue that the awareness ratio, the metric used to measure perception, is only implicitly connected to the VRUs' safety. This paper introduces a tailored metric, the Risk Factor (RF), to measure the risk level for the interactions between Connected Automated Vehicles (CAVs) and VRUs. By evaluating the RF, we assess the impact of V2X communication on VRU risk mitigation. Our results show that high V2X penetration rates can reduce mean risk, quantified by our proposed metric, by up to 44%. Although the median risk value shows a significant decrease, suggesting a reduction in overall risk, the distribution of risk values reveals that CPS's mitigation effectiveness is overestimated, which is indicated by the divergence between RF and awareness ratio. Additionally, by analyzing a real-world traffic dataset, we pinpoint high-risk locations within a scenario, identifying areas near intersections and behind parked cars as especially dangerous. Our methodology can be ported and applied to other scenarios in order to identify high-risk areas. We value the proposed RF as an insightful metric for quantifying VRU safety in a highly automated and connected environment.


title: Scaling laws for Rayleigh-B\'enard convection between Navier-slip boundaries

abstract: We consider the two-dimensional Rayeigh-B\'enard convection problem between Navier-slip fixed-temperature boundary conditions and present a new upper bound for the Nusselt number. The result, based on a localization principle for the Nusselt number and an interpolation bound, exploits the regularity of the flow. On one hand our method yields a shorter proof of the celebrated result in Whitehead & Doering (2011) in the case of free-slip boundary conditions. On the other hand, its combination with a new, refined estimate for the pressure gives a substantial improvement of the interpolation bounds in Drivas et al. (2022) for slippery boundaries. A rich description of the scaling behaviour arises from our result: depending on the magnitude of the Prandtl number and slip-length, our upper bounds indicate five possible scaling laws: $\textit{Nu} \sim (L_s^{-1}\textit{Ra})^{\frac{1}{3}}$, $\textit{Nu} \sim (L_s^{-\frac{2}{5}}\textit{Ra})^{\frac{5}{13}}$, $\textit{Nu} \sim \textit{Ra}^{\frac{5}{12}}$, $\textit{Nu} \sim \textit{Pr}^{-\frac{1}{6}} (L_s^{-\frac{4}{3}}\textit{Ra})^{\frac{1}{2}}$ and $\textit{Nu} \sim \textit{Pr}^{-\frac{1}{6}} (L_s^{-\frac{1}{3}}\textit{Ra})^{\frac{1}{2}}$


title: The inversion number of dijoins and blow-up digraphs

abstract: For an oriented graph $D$, the $inversion$ of $X \subseteq V(D)$ in $D$ is the digraph obtained from $D$ by reversing the direction of all arcs with both ends in $X$. The inversion number of $D$, denoted by $inv(D)$, is the minimum number of inversions needed to transform $D$ into an acyclic digraph. In this paper, we first show that $inv (\overrightarrow{C_3} \Rightarrow D)= inv(D) +1$ for any oriented graph $\textit{D}$ with even inversion number $inv(D)$, where the dijoin $\overrightarrow{C_3} \Rightarrow D$ is the oriented graph obtained from the disjoint union of $\overrightarrow{C_3}$ and $D$ by adding all arcs from $\overrightarrow{C_3}$ to $D$. Thus we disprove the conjecture of Aubian el at. \cite{2212.09188} and the conjecture of Alon el at. \cite{2212.11969}. We also study the blow-up graph which is an oriented graph obtained from a tournament by replacing all vertices into oriented graphs. We construct a tournament $T$ with order $n$ and $inv(T)=\frac{n}{3}+1$ using blow-up graphs.


title: Derived functors and Hilbert polynomials over hypersurface rings

abstract: Let $(A,\mathfrak{m})$ be a hypersurface local ring of dimension $d \geq 1$ and let $I$ be an $\mathfrak{m}$-primary ideal. We show that there is a non-negative integer $r_I$ (depending only on $I$) such that if $M$ is any non-free maximal Cohen-Macaulay $A$-module the function $n \rightarrow \ell(Tor^A_1(M, A/I^{n+1}))$ (which is of polynomial type) has degree $r_I$. Analogous results hold for Hilbert polynomials associated to Ext-functors. Surprisingly a key ingredient is the classification of thick subcategories of the stable category of MCM $A$-modules (obtained by Takahashi).


title: Approximative compactness in B\"ochner spaces

abstract: For any $p\in[1,\infty)$, we prove that the set of simple functions taking at most $k$ different values is proximinal in B\"ochner spaces $L^p(X)$ whenever $X$ is a dual Banach space with $w^*$-sequentially compact unit ball. With additional properties on $X$ and its norm, we show these sets are approximatively $w^*$-compact for $p\in(1,\infty)$ and even approximatively norm-compact under stronger hypothesis.


title: Defective and Clustered Colouring of Graphs with Given Girth

abstract: The defective chromatic number of a graph class $\mathcal{G}$ is the minimum integer $k$ such that for some integer $d$, every graph in $\mathcal{G}$ is $k$-colourable such that each monochromatic component has maximum degree at most $d$. Similarly, the clustered chromatic number of a graph class $\mathcal{G}$ is the minimum integer $k$ such that for some integer $c$, every graph in $\mathcal{G}$ is $k$-colourable such that each monochromatic component has at most $c$ vertices. This paper determines or establishes bounds on the defective and clustered chromatic numbers of graphs with given girth in minor-closed classes defined by the following parameters: Hadwiger number, treewidth, pathwidth, treedepth, circumference, and feedback vertex number. One striking result is that for any integer $k$, for the class of triangle-free graphs with treewidth $k$, the defective chromatic number, clustered chromatic number and chromatic number are all equal. The same result holds for graphs with treedepth $k$, and generalises for graphs with no $K_p$ subgraph. We also show, via a result of K\"{u}hn and Osthus~[2003], that $K_t$-minor-free graphs with girth $g\geq 5$ are properly $O(t^{c_g})$ colourable, where $c_g\in(0,1)$ with $c_g\to 0$, thus asymptotically improving on Hadwiger's Conjecture.


title: Delayed Bottlenecking: Alleviating Forgetting in Pre-trained Graph Neural Networks

abstract: Pre-training GNNs to extract transferable knowledge and apply it to downstream tasks has become the de facto standard of graph representation learning. Recent works focused on designing self-supervised pre-training tasks to extract useful and universal transferable knowledge from large-scale unlabeled data. However, they have to face an inevitable question: traditional pre-training strategies that aim at extracting useful information about pre-training tasks, may not extract all useful information about the downstream task. In this paper, we reexamine the pre-training process within traditional pre-training and fine-tuning frameworks from the perspective of Information Bottleneck (IB) and confirm that the forgetting phenomenon in pre-training phase may cause detrimental effects on downstream tasks. Therefore, we propose a novel \underline{D}elayed \underline{B}ottlenecking \underline{P}re-training (DBP) framework which maintains as much as possible mutual information between latent representations and training data during pre-training phase by suppressing the compression operation and delays the compression operation to fine-tuning phase to make sure the compression can be guided with labeled fine-tuning data and downstream tasks. To achieve this, we design two information control objectives that can be directly optimized and further integrate them into the actual model design. Extensive experiments on both chemistry and biology domains demonstrate the effectiveness of DBP.


title: Manipulating Recommender Systems: A Survey of Poisoning Attacks and Countermeasures

abstract: Recommender systems have become an integral part of online services to help users locate specific information in a sea of data. However, existing studies show that some recommender systems are vulnerable to poisoning attacks, particularly those that involve learning schemes. A poisoning attack is where an adversary injects carefully crafted data into the process of training a model, with the goal of manipulating the system's final recommendations. Based on recent advancements in artificial intelligence, such attacks have gained importance recently. While numerous countermeasures to poisoning attacks have been developed, they have not yet been systematically linked to the properties of the attacks. Consequently, assessing the respective risks and potential success of mitigation strategies is difficult, if not impossible. This survey aims to fill this gap by primarily focusing on poisoning attacks and their countermeasures. This is in contrast to prior surveys that mainly focus on attacks and their detection methods. Through an exhaustive literature review, we provide a novel taxonomy for poisoning attacks, formalise its dimensions, and accordingly organise 30+ attacks described in the literature. Further, we review 40+ countermeasures to detect and/or prevent poisoning attacks, evaluating their effectiveness against specific types of attacks. This comprehensive survey should serve as a point of reference for protecting recommender systems against poisoning attacks. The article concludes with a discussion on open issues in the field and impactful directions for future research. A rich repository of resources associated with poisoning attacks is available at https://github.com/tamlhp/awesome-recsys-poisoning.


title: Does It Make Sense to Explain a Black Box With Another Black Box?

abstract: Although counterfactual explanations are a popular approach to explain ML black-box classifiers, they are less widespread in NLP. Most methods find those explanations by iteratively perturbing the target document until it is classified differently by the black box. We identify two main families of counterfactual explanation methods in the literature, namely, (a) \emph{transparent} methods that perturb the target by adding, removing, or replacing words, and (b) \emph{opaque} approaches that project the target document into a latent, non-interpretable space where the perturbation is carried out subsequently. This article offers a comparative study of the performance of these two families of methods on three classical NLP tasks. Our empirical evidence shows that opaque approaches can be an overkill for downstream applications such as fake news detection or sentiment analysis since they add an additional level of complexity with no significant performance gain. These observations motivate our discussion, which raises the question of whether it makes sense to explain a black box using another black box.


title: Importance of Disjoint Sampling in Conventional and Transformer Models for Hyperspectral Image Classification

abstract: Disjoint sampling is critical for rigorous and unbiased evaluation of state-of-the-art (SOTA) models. When training, validation, and test sets overlap or share data, it introduces a bias that inflates performance metrics and prevents accurate assessment of a model's true ability to generalize to new examples. This paper presents an innovative disjoint sampling approach for training SOTA models on Hyperspectral image classification (HSIC) tasks. By separating training, validation, and test data without overlap, the proposed method facilitates a fairer evaluation of how well a model can classify pixels it was not exposed to during training or validation. Experiments demonstrate the approach significantly improves a model's generalization compared to alternatives that include training and validation data in test data. By eliminating data leakage between sets, disjoint sampling provides reliable metrics for benchmarking progress in HSIC. Researchers can have confidence that reported performance truly reflects a model's capabilities for classifying new scenes, not just memorized pixels. This rigorous methodology is critical for advancing SOTA models and their real-world application to large-scale land mapping with Hyperspectral sensors. The source code is available at https://github.com/mahmad00/Disjoint-Sampling-for-Hyperspectral-Image-Classification.


title: Pyramid Hierarchical Transformer for Hyperspectral Image Classification

abstract: The traditional Transformer model encounters challenges with variable-length input sequences, particularly in Hyperspectral Image Classification (HSIC), leading to efficiency and scalability concerns. To overcome this, we propose a pyramid-based hierarchical transformer (PyFormer). This innovative approach organizes input data hierarchically into segments, each representing distinct abstraction levels, thereby enhancing processing efficiency for lengthy sequences. At each level, a dedicated transformer module is applied, effectively capturing both local and global context. Spatial and spectral information flow within the hierarchy facilitates communication and abstraction propagation. Integration of outputs from different levels culminates in the final input representation. Experimental results underscore the superiority of the proposed method over traditional approaches. Additionally, the incorporation of disjoint samples augments robustness and reliability, thereby highlighting the potential of our approach in advancing HSIC. The source code is available at https://github.com/mahmad00/PyFormer.


title: StoryTTS: A Highly Expressive Text-to-Speech Dataset with Rich Textual Expressiveness Annotations

abstract: While acoustic expressiveness has long been studied in expressive text-to-speech (ETTS), the inherent expressiveness in text lacks sufficient attention, especially for ETTS of artistic works. In this paper, we introduce StoryTTS, a highly ETTS dataset that contains rich expressiveness both in acoustic and textual perspective, from the recording of a Mandarin storytelling show. A systematic and comprehensive labeling framework is proposed for textual expressiveness. We analyze and define speech-related textual expressiveness in StoryTTS to include five distinct dimensions through linguistics, rhetoric, etc. Then we employ large language models and prompt them with a few manual annotation examples for batch annotation. The resulting corpus contains 61 hours of consecutive and highly prosodic speech equipped with accurate text transcriptions and rich textual expressiveness annotations. Therefore, StoryTTS can aid future ETTS research to fully mine the abundant intrinsic textual and acoustic features. Experiments are conducted to validate that TTS models can generate speech with improved expressiveness when integrating with the annotated textual labels in StoryTTS.


title: Compact linear combinations of composition operators on Hardy spaces

abstract: Let $\varphi_j$, $j=1,2, \dots, N$, be holomorphic self-maps of the unit disk $\mathbb{D}$ of $\mathbb{C}$. We prove that the compactness of a linear combination of the composition operators $C_{\varphi_j}: f\mapsto f\circ\varphi_j$ on the Hardy space $H^p(\mathbb{D})$ does not depend on $p$ for $0<p<\infty$. This answers a conjecture of Choe et al. about the compact differences $C_{\varphi_1} - C_{\varphi_2}$ on $H^p(\mathbb{D})$, $0<p<\infty$.


title: Nuclear mass predictions based on convolutional neural network

abstract: A convolutional neural network (CNN) is employed to investigate nuclear mass. By introducing the masses of neighboring nuclei and the paring effects at the input layer of the network, local features of the target nucleus are extracted to predict its mass. Then, through learning the differences between the predicted nuclear masses by the WS4 model and the experimental nuclear masses, a new global-local model (CNN-WS4) is developed, which incorporates both the global nuclear mass model and local features. This model achieves an accuracy of 0.070 MeV for the nuclei with $Z\geqslant8$ and $N\geqslant8$ in AME2016, significantly enhancing the accuracy of nuclear mass prediction. When extrapolating for newly emerged nuclei in AME2020, the CNN-WS4 also exhibits appreciable stability, thereby demonstrating its robustness.


title: Multi-Modal Prompt Learning on Blind Image Quality Assessment

abstract: Image Quality Assessment (IQA) models benefit significantly from semantic information, which allows them to treat different types of objects distinctly. Currently, leveraging semantic information to enhance IQA is a crucial research direction. Traditional methods, hindered by a lack of sufficiently annotated data, have employed the CLIP image-text pretraining model as their backbone to gain semantic awareness. However, the generalist nature of these pre-trained Vision-Language (VL) models often renders them suboptimal for IQA-specific tasks. Recent approaches have attempted to address this mismatch using prompt technology, but these solutions have shortcomings. Existing prompt-based VL models overly focus on incremental semantic information from text, neglecting the rich insights available from visual data analysis. This imbalance limits their performance improvements in IQA tasks. This paper introduces an innovative multi-modal prompt-based methodology for IQA. Our approach employs carefully crafted prompts that synergistically mine incremental semantic information from both visual and linguistic data. Specifically, in the visual branch, we introduce a multi-layer prompt structure to enhance the VL model's adaptability. In the text branch, we deploy a dual-prompt scheme that steers the model to recognize and differentiate between scene category and distortion type, thereby refining the model's capacity to assess image quality. Our experimental findings underscore the effectiveness of our method over existing Blind Image Quality Assessment (BIQA) approaches. Notably, it demonstrates competitive performance across various datasets. Our method achieves Spearman Rank Correlation Coefficient (SRCC) values of 0.961(surpassing 0.946 in CSIQ) and 0.941 (exceeding 0.930 in KADID), illustrating its robustness and accuracy in diverse contexts.


title: Sharp quasi-invariance threshold for the cubic Szeg\H{o} equation

abstract: We consider the 1-dimensional cubic Szeg\H{o} equation with data distributed according to the Gaussian measure with inverse covariance operator $(1-\partial_x^2)^\frac s2$, where $s>\frac12$. We show that, for $s>1$, this measure is quasi-invariant under the flow of the equation, while for $s<1$, $s\neq \frac34$, the transported measure and the initial Gaussian measure are mutually singular for almost every time. This is the first observation of a transition from quasi-invariance to singularity in the context of the transport of Gaussian measures under the flow of Hamiltonian PDEs.


title: Reconstructing the Image Stitching Pipeline: Integrating Fusion and Rectangling into a Unified Inpainting Model

abstract: Deep learning-based image stitching pipelines are typically divided into three cascading stages: registration, fusion, and rectangling. Each stage requires its own network training and is tightly coupled to the others, leading to error propagation and posing significant challenges to parameter tuning and system stability. This paper proposes the Simple and Robust Stitcher (SRStitcher), which revolutionizes the image stitching pipeline by simplifying the fusion and rectangling stages into a unified inpainting model, requiring no model training or fine-tuning. We reformulate the problem definitions of the fusion and rectangling stages and demonstrate that they can be effectively integrated into an inpainting task. Furthermore, we design the weighted masks to guide the reverse process in a pre-trained largescale diffusion model, implementing this integrated inpainting task in a single inference. Through extensive experimentation, we verify the interpretability and generalization capabilities of this unified model, demonstrating that SRStitcher outperforms state-of-the-art methods in both performance and stability. Code: https://github.com/yayoyo66/SRStitcher


title: Leveraging Speech for Gesture Detection in Multimodal Communication

abstract: Gestures are inherent to human interaction and often complement speech in face-to-face communication, forming a multimodal communication system. An important task in gesture analysis is detecting a gesture's beginning and end. Research on automatic gesture detection has primarily focused on visual and kinematic information to detect a limited set of isolated or silent gestures with low variability, neglecting the integration of speech and vision signals to detect gestures that co-occur with speech. This work addresses this gap by focusing on co-speech gesture detection, emphasising the synchrony between speech and co-speech hand gestures. We address three main challenges: the variability of gesture forms, the temporal misalignment between gesture and speech onsets, and differences in sampling rate between modalities. We investigate extended speech time windows and employ separate backbone models for each modality to address the temporal misalignment and sampling rate differences. We utilize Transformer encoders in cross-modal and early fusion techniques to effectively align and integrate speech and skeletal sequences. The study results show that combining visual and speech information significantly enhances gesture detection performance. Our findings indicate that expanding the speech buffer beyond visual time segments improves performance and that multimodal integration using cross-modal and early fusion techniques outperforms baseline methods using unimodal and late fusion methods. Additionally, we find a correlation between the models' gesture prediction confidence and low-level speech frequency features potentially associated with gestures. Overall, the study provides a better understanding and detection methods for co-speech gestures, facilitating the analysis of multimodal communication.


title: Dynamic pricing with Bayesian updates from online reviews

abstract: When launching new products, firms face uncertainty about market reception. Online reviews provide valuable information not only to consumers but also to firms, allowing firms to adjust the product characteristics, including its selling price. In this paper, we consider a pricing model with online reviews in which the quality of the product is uncertain, and both the seller and the buyers Bayesianly update their beliefs to make purchasing & pricing decisions. We model the seller's pricing problem as a basic bandits' problem and show a close connection with the celebrated Catalan numbers, allowing us to efficiently compute the overall future discounted reward of the seller. With this tool, we analyze and compare the optimal static and dynamic pricing strategies in terms of the probability of effectively learning the quality of the product.