title: On a compressible fluid-structure interaction problem with slip boundary conditions

abstract: We study a system describing the compressible barotropic fluids interacting with (visco) elastic solid shell/plate. In particular, the elastic structure is part of the moving boundary of the fluid, and the Navier-slip type boundary condition is taken into account. Depending on the reference geometry (flat or not), we show the existence of weak solutions to the coupled system provided the adiabatic exponent satisfies $\gamma > \frac{12}{7}$ without damping and $\gamma > \frac{3}{2}$ with structure damping, utilizing the domain extension and regularization approximation. Moreover, via a modified relative entropy method in time-dependent domains, we prove the weak-strong uniqueness property of weak solutions. Finally, we give a rigorous justification of the incompressible inviscid limit of the compressible fluid-structure interaction problem with a flat reference geometry, in the regime of low Mach number, high Reynolds number, and well-prepared initial data. As a byproduct, by low Mach number we also derive the incompressible limit with reduced assumptions on the regularity of the structure but with a stronger assumption on the exponent of $\gamma$.


title: A Machine Learning Approach for Simultaneous Demapping of QAM and APSK Constellations

abstract: As telecommunication systems evolve to meet increasing demands, integrating deep neural networks (DNNs) has shown promise in enhancing performance. However, the trade-off between accuracy and flexibility remains challenging when replacing traditional receivers with DNNs. This paper introduces a novel probabilistic framework that allows a single DNN demapper to demap multiple QAM and APSK constellations simultaneously. We also demonstrate that our framework allows exploiting hierarchical relationships in families of constellations. The consequence is that we need fewer neural network outputs to encode the same function without an increase in Bit Error Rate (BER). Our simulation results confirm that our approach approaches the optimal demodulation error bound under an Additive White Gaussian Noise (AWGN) channel for multiple constellations. Thereby, we address multiple important issues in making DNNs flexible enough for practical use as receivers.


title: Performance testing of a novel short axis photomultiplier tube for the HUNT project

abstract: Photomultiplier tubes (PMTs) with large-area cathodes are increasingly being used in cosmic-ray experiments to enhance detection efficiency. The optical modules (OMs) of the High-Energy Underwater Neutrino Telescope (HUNT) have employed a brand new N6205 20-inch microchannel plate photomultiplier tube (MCP-PMT) developed by the North Night Vision Science & Technology (Nanjing) Research Institute Co. Ltd. (NNVT). In order to make the 20-inch PMT fit into the 23-inch diameter pressure-resistant glass sphere, NNVT improved the internal structure of PMT and shortened the height of PMT by more than 10~cm. The first batch of these PMTs has been delivered for preliminary research work. This paper describes a specific PMT testing platform built for the first batch of 15 MCP-PMTs, and some performance parameters of PMT, such as P/V ratio, TTS and nonliniearity, are measured.The measurement results show that the new PMT still has good performance and can meet the requirements of HUNT project.


title: Scaling convolutional neural networks achieves expert-level seizure detection in neonatal EEG

abstract: Background: Neonatal seizures are a neurological emergency that require urgent treatment. They are hard to diagnose clinically and can go undetected if EEG monitoring is unavailable. EEG interpretation requires specialised expertise which is not widely available. Algorithms to detect EEG seizures can address this limitation but have yet to reach widespread clinical adoption. Methods: Retrospective EEG data from 332 neonates was used to develop and validate a seizure-detection model. The model was trained and tested with a development dataset ($n=202$) that was annotated with over 12k seizure events on a per-channel basis. This dataset was used to develop a convolutional neural network (CNN) using a modern architecture and training methods. The final model was then validated on two independent multi-reviewer datasets ($n=51$ and $n=79$). Results: Increasing dataset and model size improved model performance: Matthews correlation coefficient (MCC) and Pearson's correlation ($r$) increased by up to 50% with data scaling and up to 15% with model scaling. Over 50k hours of annotated single-channel EEG was used for training a model with 21 million parameters. State-of-the-art was achieved on an open-access dataset (MCC=0.764, $r=0.824$, and AUC=0.982). The CNN attains expert-level performance on both held-out validation sets, with no significant difference in inter-rater agreement among the experts and among experts and algorithm ($\Delta \kappa < -0.095$, $p>0.05$). Conclusion: With orders of magnitude increases in data and model scale we have produced a new state-of-the-art model for neonatal seizure detection. Expert-level equivalence on completely unseen data, a first in this field, provides a strong indication that the model is ready for further clinical validation.


title: Driver at 10 MJ and 1 shot/30min for inertial confinement fusion at high gain: efficient, compact, low-cost, low laser-plasma instabilities, beam-color selectable from 2 omega/3 omega/4 omega, applicable to multiple laser fusion schemes

abstract: The ignition at the National Ignition Facility (NIF) set off a global wave of research on the inertial fusion energy (IFE). However, IFE requires a necessary target gain G of 30-100, while it is hard to achieve the fusions at such high gain with the energy, configuration, and technical route of the NIF. We will present a conceptual design for the next generation laser driver of 10 MJ, 2~3 PW at the laser wavelength of 0.353 micrometer (or 0.353 micrometer, then the energy and power can be higher), and 1 shot per 30 minutes, which is efficient, compact, low-cost, low laser-plasma instabilities, applicable to multiple laser fusion schemes, and aiming for G > 30.


title: TransMI: A Framework to Create Strong Baselines from Multilingual Pretrained Language Models for Transliterated Data

abstract: Transliterating related languages that use different scripts into a common script shows effectiveness in improving crosslingual transfer in downstream tasks. However, this methodology often makes pretraining a model from scratch unavoidable, as transliteration brings about new subwords not covered in existing multilingual pretrained language models (mPLMs). This is not desired because it takes a lot of computation budget for pretraining. A more promising way is to make full use of available mPLMs. To this end, this paper proposes a simple but effective framework: Transliterate-Merge-Initialize (TransMI), which can create a strong baseline well-suited for data that is transliterated into a common script by exploiting an mPLM and its accompanied tokenizer. TransMI has three stages: (a) transliterate the vocabulary of an mPLM into a common script; (b) merge the new vocabulary with the original vocabulary; and (c) initialize the embeddings of the new subwords. We applied TransMI to three recent strong mPLMs, and our experiments demonstrate that TransMI not only preserves their ability to handle non-transliterated data, but also enables the models to effectively process transliterated data: the results show a consistent improvement of 3% to 34%, varying across different models and tasks. We make our code and models publicly available at \url{https://github.com/cisnlp/TransMI}.


title: Distributed Joint User Activity Detection, Channel Estimation, and Data Detection via Expectation Propagation in Cell-Free Massive MIMO

abstract: We consider the uplink of a grant-free cell-free massive multiple-input multiple-output (GF-CF-MaMIMO) system. We propose an algorithm for distributed joint activity detection, channel estimation, and data detection (JACD) based on expectation propagation (EP) called JACD-EP. We develop the algorithm by factorizing the a posteriori probability (APP) of activities, channels, and transmitted data, then, mapping functions and variables onto a factor graph, and finally, performing a message passing on the resulting factor graph. If users with the same pilot sequence are sufficiently distant from each other, the JACD-EP algorithm is able to mitigate the effects of pilot contamination which naturally occurs in grant-free systems due to the large number of potential users and limited signaling resources. Furthermore, it outperforms state-of-the-art algorithms for JACD in GF-CF-MaMIMO systems.


title: Sparse Regression Codes for Non-Coherent SIMO channels

abstract: We study the sparse regression codes over flat-fading channels with multiple receive antennas. We consider a practical scenario where the channel state information is not available at the transmitter and the receiver. In this setting, we study the maximum likelihood (ML) detector for SPARC, which has a prohibitively high search complexity. We propose a novel practical decoder, named maximum likelihood matching pursuit (MLMP), which incorporates a greedy search mechanism along with the ML metric. We also introduce a parallel search mechanism for MLMP. Comparing with the existing block-orthogonal matching pursuit based decoders, we show that MLMP has significant gains in the block error rate (BLER) performance. We also show that the proposed approach has significant gains over polar codes employing pilot-aided channel estimation.


title: DIMSIM -- Device Integrity Monitoring through iSIM Applets and Distributed Ledger Technology

abstract: In the context of industrial environment, devices, such as robots and drones, are vulnerable to malicious activities such device tampering (e.g., hardware and software changes). The problem becomes even worse in a multi-stakeholder environment where multiple players contribute to an ecosystem. In such scenarios, particularly, when devices are deployed in remote settings, ensuring device integrity so that all stakeholders can trust them is challenging. Existing methods, often depend on additional hardware like the Trusted Platform Module (TPM) which may not be universally provided by all vendors. In this study, we introduce a distributed ledger technology-oriented architecture to monitor the remote devices' integrity using eUICC technology, a feature commonly found in industrial devices for cellular connectivity. We propose that using secure applets in eUICC, devices' integrity can be monitored and managed without installing any additional hardware. To this end, we present an end-to-end architecture to monitor device integrity thereby enabling all the stakeholders in the system to trust the devices. Additionally, we leverage the properties of immutable databases to provide robustness and efficiently to our model. In our primary evaluations, we measure the overhead caused by hashing our proposed data packets and performance of integrating an immutable database into our system. Our results show that performing hashing on our data packets takes order of microseconds, while reading and writing to an immutable database also requires only milliseconds.


title: Conundrums for continuous Lebesgue measure-preserving interval maps

abstract: We consider continuous maps of the interval which preserve the Lebesgue measure. Except for the identity map or $1 - \id$ all such maps have topological entropy at least $\log2/2$ and generically they have infinite topological entropy. In this article we show that thegeneric map has zero measure-theoretic entropy. This implies that there are dramatic differences in the topological versus metric behavior both for injectivity as well as for the structure of thelevel sets of generic maps.


title: CCD $UBV(RI)_{KC}$ photometry and dynamics of the open cluster NGC 1513

abstract: We derive astrophysical parameters of the open cluster NGC 1513 by means of colour indices built with new $CCD\,UBV(RI)_{KC}$ photometry. Based on early-type members, the mean foreground reddening and total to selective extinction ratio are E(B-V)=0.79$\pm$0.09 mag and $R_{V}$=2.85$\pm$0.05. Through the differential grid method, we derive the metal abundance [Fe/H]=-0.06 dex (Z=+0.013), which is consistent with the value [Fe/H]=-0.088 of the bright giant member-LAMOST-695710060. The Z=+0.013 isochrone fit to the V x (B-V) colour-magnitude diagram leads to a turn-off age of 224$\pm$27 Myr (thus an intermediate-age cluster), and a distance modulus of ($V_{0}$ - $M_{\rm V}$)=10.90$\pm$0.15 mag, thus implying a distance from the Sun d=1514$\pm$105 pc. Within the uncertainties, our photometric distance is consistent with the value d=1435$\pm$14 pc from the Gaia DR3 parallax. We find signs of small mass segregation through a minimum spanning tree analysis for the 190 most massive stars, together with the rather steep mass function ($\chi$=+2.39) slope. The high core to half-light radius ratio $R_{core}$/$R_{h}$=0.82, together with the compact half-light to tidal radius ratio $R_{h}$/$R_{t}$=0.22, suggest that it is probably related to cluster-formation effects, due to little dynamical evolution, instead of driving its dynamical evolution by internal relaxation. Indeed, NGC 1513 is located in the second quadrant ($\ell$=152.59$^{\circ}$ and Galactocentric distance $R_{GC}$=9.57 kpc), which tends to minimize tidal effects by external processes and tidal disruption. Therefore, internal mass segregation effects in NGC 1513 seem to be more efficient than cluster evaporation processes. We find that NGC 1513 migrated about 0.50 kpc from its birth place.


title: Measuring cluster masses with Planck and SPT-SZ CMB lensing

abstract: Galaxy cluster masses help to constrain cosmological parameters through the halo mass function. To get rid of major biases in the mass measurement, we directly probe the cluster gravitational potentials by observing their gravitational lensing on the Cosmic Microwave Background (CMB). We measured the average mass of a 468-cluster sample using SPT-SZ and Planck/HFI PR2 sky maps and compared it with the masses provided in the SPT-SZ data set. We found an average mass ratio of $M_{\rm CMBlens}/M_{\rm SZ} = 0.98 \pm 0.19$ (stat.) $\pm 0.03$ (syst.) [arxiv:2402.18346], in agreement with SPT-SZ masses. We also showed that the CMB large scales are important for the reconstruction of the lensing potential of a cluster with a quadratic estimator.


title: Dynamic online matching with budget refills

abstract: Inspired by sequential budgeted allocation problems, we study the online matching problem with budget refills. In this context, we consider an online bipartite graph G=(U,V,E), where the nodes in $V$ are discovered sequentially and nodes in $U$ are known beforehand. Each $u\in U$ is endowed with a budget $b_{u,t}\in \mathbb{N}$ that dynamically evolves over time. Unlike the canonical setting, in many applications, the budget can be refilled from time to time, which leads to a much richer dynamic that we consider here. Intuitively, adding extra budgets in $U$ seems to ease the matching task, and our results support this intuition. In fact, for the stochastic framework considered where we studied the matching size built by Greedy algorithm on an Erd\H{o}s-R\'eyni random graph, we showed that the matching size generated by Greedy converges with high probability to a solution of an explicit system of ODE. Moreover, under specific conditions, the competitive ratio (performance measure of the algorithm) can even tend to 1. For the adversarial part, where the graph considered is deterministic and the algorithm used is Balance, the $b$-matching bound holds when the refills are scarce. However, when refills are regular, our results suggest a potential improvement in algorithm performance. In both cases, Balance algorithm manages to reach the performance of the upper bound on the adversarial graphs considered.


title: Cyclicity in Besov-Dirichlet spaces from the Corona Theorem

abstract: Tolokonnikov's Corona Theorem is used to obtain two results on cyclicity in Besov-Dirichlet spaces.


title: Cross-sensor self-supervised training and alignment for remote sensing

abstract: Large-scale "foundation models" have gained traction as a way to leverage the vast amounts of unlabeled remote sensing data collected every day. However, due to the multiplicity of Earth Observation satellites, these models should learn "sensor agnostic" representations, that generalize across sensor characteristics with minimal fine-tuning. This is complicated by data availability, as low-resolution imagery, such as Sentinel-2 and Landsat-8 data, are available in large amounts, while very high-resolution aerial or satellite data is less common. To tackle these challenges, we introduce cross-sensor self-supervised training and alignment for remote sensing (X-STARS). We design a self-supervised training loss, the Multi-Sensor Alignment Dense loss (MSAD), to align representations across sensors, even with vastly different resolutions. Our X-STARS can be applied to train models from scratch, or to adapt large models pretrained on e.g low-resolution EO data to new high-resolution sensors, in a continual pretraining framework. We collect and release MSC-France, a new multi-sensor dataset, on which we train our X-STARS models, then evaluated on seven downstream classification and segmentation tasks. We demonstrate that X-STARS outperforms the state-of-the-art by a significant margin with less data across various conditions of data availability and resolutions.


title: NTIRE 2024 Restore Any Image Model (RAIM) in the Wild Challenge

abstract: In this paper, we review the NTIRE 2024 challenge on Restore Any Image Model (RAIM) in the Wild. The RAIM challenge constructed a benchmark for image restoration in the wild, including real-world images with/without reference ground truth in various scenarios from real applications. The participants were required to restore the real-captured images from complex and unknown degradation, where generative perceptual quality and fidelity are desired in the restoration result. The challenge consisted of two tasks. Task one employed real referenced data pairs, where quantitative evaluation is available. Task two used unpaired images, and a comprehensive user study was conducted. The challenge attracted more than 200 registrations, where 39 of them submitted results with more than 400 submissions. Top-ranked methods improved the state-of-the-art restoration performance and obtained unanimous recognition from all 18 judges. The proposed datasets are available at https://drive.google.com/file/d/1DqbxUoiUqkAIkExu3jZAqoElr_nu1IXb/view?usp=sharing and the homepage of this challenge is at https://codalab.lisn.upsaclay.fr/competitions/17632.


title: Infrared Adversarial Car Stickers

abstract: Infrared physical adversarial examples are of great significance for studying the security of infrared AI systems that are widely used in our lives such as autonomous driving. Previous infrared physical attacks mainly focused on 2D infrared pedestrian detection which may not fully manifest its destructiveness to AI systems. In this work, we propose a physical attack method against infrared detectors based on 3D modeling, which is applied to a real car. The goal is to design a set of infrared adversarial stickers to make cars invisible to infrared detectors at various viewing angles, distances, and scenes. We build a 3D infrared car model with real infrared characteristics and propose an infrared adversarial pattern generation method based on 3D mesh shadow. We propose a 3D control points-based mesh smoothing algorithm and use a set of smoothness loss functions to enhance the smoothness of adversarial meshes and facilitate the sticker implementation. Besides, We designed the aluminum stickers and conducted physical experiments on two real Mercedes-Benz A200L cars. Our adversarial stickers hid the cars from Faster RCNN, an object detector, at various viewing angles, distances, and scenes. The attack success rate (ASR) was 91.49% for real cars. In comparison, the ASRs of random stickers and no sticker were only 6.21% and 0.66%, respectively. In addition, the ASRs of the designed stickers against six unseen object detectors such as YOLOv3 and Deformable DETR were between 73.35%-95.80%, showing good transferability of the attack performance across detectors.


title: ACES: A Teleoperated Robotic Solution to Pipe Inspection from the Inside

abstract: This paper presents the definition of a teleoperated robotic system for non-destructive corrosion inspection of Steel Cylinder Concrete Pipes (SCCP) from the inside. A general description of in-pipe environment and a state of the art of in-pipe navigation solutions are exposed, with a zoom on the characteristics of the SCCP case of interest (pipe dimensions, curves, slopes, humidity, payload, etc.). Then, two specific steel corrosion measurement techniques are described. In order to operate them, several possible architectures of inspection system (mobile platform combined with a robotic inspection manipulator) are presented, depending if the mobile platform is self-centred or not and regarding the robotic manipulator type, namely a basic cylindrical manipulator, a self centred one, or a force-controlled 6 degrees of freedom (DoF) robotic arm. A suitable mechanical architecture is then selected according to SCCP inspection needs. This includes relevant interfaces between the robot, the corrosion measurement Non Destructive Testing (NDT) device and the pipe. Finally, possible future adaptation of the chosen solution are exposed.


title: Twenty years of $\Theta^+$

abstract: Twenty years ago, in 2003, two experimental groups, LEPS and DIANA, announced the discovery of a light, narrow, exotic baryon with mass within the range of 1540 MeV, which was later dubbed as $\Theta^+$. In this talk we recall the history of this discovery and its theoretical foundations. We also discuss possible future experiments that could determine the existence of $\Theta^+$.


title: Moreau Envelope for Nonconvex Bi-Level Optimization: A Single-loop and Hessian-free Solution Strategy

abstract: This work focuses on addressing two major challenges in the context of large-scale nonconvex Bi-Level Optimization (BLO) problems, which are increasingly applied in machine learning due to their ability to model nested structures. These challenges involve ensuring computational efficiency and providing theoretical guarantees. While recent advances in scalable BLO algorithms have primarily relied on lower-level convexity simplification, our work specifically tackles large-scale BLO problems involving nonconvexity in both the upper and lower levels. We simultaneously address computational and theoretical challenges by introducing an innovative single-loop gradient-based algorithm, utilizing the Moreau envelope-based reformulation, and providing non-asymptotic convergence analysis for general nonconvex BLO problems. Notably, our algorithm relies solely on first-order gradient information, enhancing its practicality and efficiency, especially for large-scale BLO learning tasks. We validate our approach's effectiveness through experiments on various synthetic problems, two typical hyper-parameter learning tasks, and a real-world neural architecture search application, collectively demonstrating its superior performance.


title: Unified Modeling and Performance Comparison for Cellular and Cell-Free Massive MIMO

abstract: Cell-free massive multi-input multi-output (MIMO) has recently gained a lot of attention due to its high potential in sixth-generation (6G) wireless systems. The goal of this paper is to first present a unified modeling for massive MIMO, encompassing both cellular and cell-free architectures with a variable number of antennas per access point. We derive signal transmission models and achievable spectral efficiency in both the downlink and uplink using zero-forcing and maximal-ratio schemes. We also provide performance comparisons in terms of per-user and sum spectral efficiency.


title: The $\kappa$-generalised Distribution for Stock Returns

abstract: Empirical evidence shows stock returns are often heavy-tailed rather than normally distributed. The $\kappa$-generalised distribution, originated in the context of statistical physics by Kaniadakis, is characterised by the $\kappa$-exponential function that is asymptotically exponential for small values and asymptotically power law for large values. This proves to be a useful property and makes it a good candidate distribution for many types of quantities. In this paper we focus on fitting historic daily stock returns for the FTSE 100 and the top 100 Nasdaq stocks. Using a Monte-Carlo goodness of fit test there is evidence that the $\kappa$-generalised distribution is a good fit for a significant proportion of the 200 stock returns analysed.


title: Continuous operators from spaces of Lipschitz functions

abstract: We study the existence of continuous (linear) operators from the Banach spaces $\mbox{Lip}_0(M)$ of Lipschitz functions on infinite metric spaces $M$ vanishing at a distinguished point and from their predual spaces $\mathcal{F}(M)$ onto certain Banach spaces, including $C(K)$-spaces and the spaces $c_0$ and $\ell_1$. For pairs of spaces $\mbox{Lip}_0(M)$ and $C(K)$ we prove that if they are endowed with topologies weaker than the norm topology, then usually no continuous (linear or not) surjection exists between those spaces. It is also showed that if a metric space $M$ contains a bilipschitz copy of the unit sphere $S_{c_0}$ of the space $c_0$, then $\mbox{Lip}_0(M)$ admits a continuous operator onto $\ell_1$ and hence onto $c_0$. Using this, we provide several conditions for a space $M$ implying that $\mbox{Lip}_0(M)$ is not a Grothendieck space. Finally, we obtain a new characterization of the Schur property for Lipschitz-free spaces: a space $\mathcal{F}(M)$ has the Schur property if and only if for every discrete metric space $N$ with cardinality $d(M)$ the spaces $\mathcal{F}(M)$ and $\mathcal{F}(N)$ are weakly sequentially homeomorphic.


title: Learning from Observer Gaze:Zero-Shot Attention Prediction Oriented by Human-Object Interaction Recognition

abstract: Most existing attention prediction research focuses on salient instances like humans and objects. However, the more complex interaction-oriented attention, arising from the comprehension of interactions between instances by human observers, remains largely unexplored. This is equally crucial for advancing human-machine interaction and human-centered artificial intelligence. To bridge this gap, we first collect a novel gaze fixation dataset named IG, comprising 530,000 fixation points across 740 diverse interaction categories, capturing visual attention during human observers cognitive processes of interactions. Subsequently, we introduce the zero-shot interaction-oriented attention prediction task ZeroIA, which challenges models to predict visual cues for interactions not encountered during training. Thirdly, we present the Interactive Attention model IA, designed to emulate human observers cognitive processes to tackle the ZeroIA problem. Extensive experiments demonstrate that the proposed IA outperforms other state-of-the-art approaches in both ZeroIA and fully supervised settings. Lastly, we endeavor to apply interaction-oriented attention to the interaction recognition task itself. Further experimental results demonstrate the promising potential to enhance the performance and interpretability of existing state-of-the-art HOI models by incorporating real human attention data from IG and attention labels generated by IA.


title: Stock Market Dynamics Through Deep Learning Context

abstract: Studies conducted on financial market prediction lack a comprehensive feature set that can carry a broad range of contributing factors; therefore, leading to imprecise results. Furthermore, while cooperating with the most recent innovations in explainable AI, studies have not provided an illustrative summary of market-driving factors using this powerful tool. Therefore, in this study, we propose a novel feature matrix that holds a broad range of features including Twitter content and market historical data to perform a binary classification task of one step ahead prediction. The utilization of our proposed feature matrix not only leads to improved prediction accuracy when compared to existing feature representations, but also its combination with explainable AI allows us to introduce a fresh analysis approach regarding the importance of the market-driving factors included. Thanks to the Lime interpretation technique, our interpretation study shows that the volume of tweets is the most important factor included in our feature matrix that drives the market's movements.


title: MiniMaxAD: A Lightweight Autoencoder for Feature-Rich Anomaly Detection

abstract: Previous unsupervised anomaly detection (UAD) methods often struggle with significant intra-class diversity; i.e., a class in a dataset contains multiple subclasses, which we categorize as Feature-Rich Anomaly Detection Datasets (FRADs). This challenge is evident in applications such as unified setting and unmanned supermarket scenarios. To address this challenge, we developed MiniMaxAD, a lightweight autoencoder designed to efficiently compress and memorize extensive information from normal images. Our model employs a technique that enhances feature diversity, thereby increasing the effective capacity limit of the network. It also utilizes large kernel convolution to extract highly abstract patterns, which contribute to efficient and compact feature embedding. Moreover, we introduce an Adaptive Contraction Loss (ADCLoss), specifically tailored to FRADs, to address the limitations of the global cosine distance loss. In our methodology, any dataset can be unified under the framework of feature-rich anomaly detection, in a way that the benefits far outweigh the drawbacks. MiniMaxAD underwent comprehensive testing across six challenging UAD benchmarks, achieving state-of-the-art results in four and highly competitive outcomes in the remaining two. Notably, our model not only achieved state-of-the-art performance in unmanned supermarket tasks but also exhibited an inference speed 37 times faster than the previous best method, demonstrating its effectiveness in complex UAD tasks.


title: Detecting Domain Shift in Multiple Instance Learning for Digital Pathology Using Fr\'echet Domain Distance

abstract: Multiple-instance learning (MIL) is an attractive approach for digital pathology applications as it reduces the costs related to data collection and labelling. However, it is not clear how sensitive MIL is to clinically realistic domain shifts, i.e., differences in data distribution that could negatively affect performance, and if already existing metrics for detecting domain shifts work well with these algorithms. We trained an attention-based MIL algorithm to classify whether a whole-slide image of a lymph node contains breast tumour metastases. The algorithm was evaluated on data from a hospital in a different country and various subsets of this data that correspond to different levels of domain shift. Our contributions include showing that MIL for digital pathology is affected by clinically realistic differences in data, evaluating which features from a MIL model are most suitable for detecting changes in performance, and proposing an unsupervised metric named Fr\'echet Domain Distance (FDD) for quantification of domain shifts. Shift measure performance was evaluated through the mean Pearson correlation to change in classification performance, where FDD achieved 0.70 on 10-fold cross-validation models. The baselines included Deep ensemble, Difference of Confidence, and Representation shift which resulted in 0.45, -0.29, and 0.56 mean Pearson correlation, respectively. FDD could be a valuable tool for care providers and vendors who need to verify if a MIL system is likely to perform reliably when implemented at a new site, without requiring any additional annotations from pathologists.


title: DEBATE: Devil's Advocate-Based Assessment and Text Evaluation

abstract: As natural language generation (NLG) models have become prevalent, systematically assessing the quality of machine-generated texts has become increasingly important. Recent studies introduce LLM-based evaluators that operate as reference-free metrics, demonstrating their capability to adeptly handle novel tasks. However, these models generally rely on a single-agent approach, which, we argue, introduces an inherent limit to their performance. This is because there exist biases in LLM agent's responses, including preferences for certain text structure or content. In this work, we propose DEBATE, an NLG evaluation framework based on multi-agent scoring system augmented with a concept of Devil's Advocate. Within the framework, one agent is instructed to criticize other agents' arguments, potentially resolving the bias in LLM agent's answers. DEBATE substantially outperforms the previous state-of-the-art methods in two meta-evaluation benchmarks in NLG evaluation, SummEval and TopicalChat. We also show that the extensiveness of debates among agents and the persona of an agent can influence the performance of evaluators.


title: Collaborative planning of integrated hydrogen energy chain multi-energy systems: A review

abstract: Most planning of the traditional hydrogen energy supply chain (HSC) focuses on the storage and transportation links between production and consumption ends. It ignores the energy flows and interactions between each link, making it unsuitable for energy system planning analysis. Therefore, we propose the concept of a hydrogen energy chain (HEC) based on the HSC, which emphasizes the interactions between different types of energy flows in the production, compression, storage, transportation, and application links of hydrogen. The HEC plays a crucial role in mitigating fluctuations of renewable energy and facilitating the optimal allocation of heterogeneous energy sources across time and space. Effective collaborative planning models that consider HEC are essential for the optimal configuration of multi-energy systems (MESs), which guarantees high-efficiency operation and the economic and environmental friendliness of the system. This paper presents a systematic review of recent articles on collaborative planning of integrated hydrogen energy chain multi-energy systems (HEC-MESs). First, we introduce the basic framework of HEC-MES, focusing on the current research status of the production, compression, storage, transportation, and application links in HEC. Furthermore, we review technology types of hydrogen energy for planning and summarize the typical forms of HEC in MESs. Then, the following sections outline the models and methods for collaborative planning of HEC-MES. They include detailed analyses of covered sector types, spatial and temporal scopes of planning, uncertainties, model formulations, and solution methods. Finally, the paper concludes by summarizing the research gaps identified in current articles and outlining directions for future research.


title: Fujita-Kato solutions and optimal time decay for the Vlasov-Navier-Stokes system in the whole space

abstract: We are concerned with the construction of global-in-time strong solutions for the incompressible Vlasov-Navier-Stokes systemin the whole three-dimensional space. One of our goals is to establish that small initial velocities with critical Sobolev regularity and sufficiently well localized initial kinetic distribution functions give rise to global and unique solutions. This constitutes an extension of the celebrated result for the incompressibleNavier-Stokes equations (NS) that has been established in 1964 by Fujita and Kato. If in addition the initial velocity is integrable, we establish that the total energy of the system decays to 0 with the optimal rate t^{-3/2}, like for the weak solutions of (NS). Our results partly rely on the use of a higher order energy functional that controls the regularity $H^1$ of the velocityand seems to have been first introduced by Li, Shou and Zhang in the contextof nonhomogeneous Vlasov-Navier-Stokes system. In the small data case, we show that this energy functional decays with the rate t^{-5/2}.


title: Synthetic RAW data generator for ESA HARMONY mission

abstract: In this paper, we introduce HEEPS/MARE, the end-to-end simulator developed for the SAR oceanographic products of ESA Earth Explorer 10 mission, Harmony, expected to launch in Decembre 2029. Harmony is primarily dedicated to the observation of small-scale motion and deformation fields of the Earth surface (oceans, glaciers and ice sheets, solid Earth), thanks to passive SAR/ATI receivers carried by two companion satellites for Sentinel-1. The paper focuses on the raw data generator designed to efficiently simulate large, heterogeneous, moving oceanic areas and produce the acquired SAR/ATI bistatic IQ signals. The heterogeneous sea-surface model, bistatic scattering model, multi-GPU implementation and achieved performance are emphasized. Finally, sample results are presented, to illustrate the ability of Harmony to map wind and surface current vectors at kilometric scale.


title: SciQAG: A Framework for Auto-Generated Scientific Question Answering Dataset with Fine-grained Evaluation

abstract: The use of question-answer (QA) pairs for training and evaluating large language models (LLMs) has attracted considerable attention. Yet few available QA datasets are based on knowledge from the scientific literature. Here we bridge this gap by presenting Automatic Generation of Scientific Question Answers (SciQAG), a framework for automatic generation and evaluation of scientific QA pairs sourced from published scientific literature. We fine-tune an open-source LLM to generate \num{960000} scientific QA pairs from full-text scientific papers and propose a five-dimensional metric to evaluate the quality of the generated QA pairs. We show via LLM-based evaluation that the generated QA pairs consistently achieve an average score of 2.5 out of 3 across five dimensions, indicating that our framework can distill key knowledge from papers into high-quality QA pairs at scale. We make the dataset, models, and evaluation codes publicly available.


title: Robust Singing Voice Transcription Serves Synthesis

abstract: Note-level Automatic Singing Voice Transcription (AST) converts singing recordings into note sequences, facilitating the automatic annotation of singing datasets for Singing Voice Synthesis (SVS) applications. Current AST methods, however, struggle with accuracy and robustness when used for practical annotation. This paper presents ROSVOT, the first robust AST model that serves SVS, incorporating a multi-scale framework that effectively captures coarse-grained note information and ensures fine-grained frame-level segmentation, coupled with an attention-based pitch decoder for reliable pitch prediction. We also established a comprehensive annotation-and-training pipeline for SVS to test the model in real-world settings. Experimental findings reveal that ROSVOT achieves state-of-the-art transcription accuracy with either clean or noisy inputs. Moreover, when trained on enlarged, automatically annotated datasets, the SVS model outperforms its baseline, affirming the capability for practical application. Audio samples are available at https://rosvot.github.io.


title: Machine-Learning Enhanced Predictors for Accelerated Convergence of Partitioned Fluid-Structure Interaction Simulations

abstract: Stable partitioned techniques for simulating unsteady fluid-structure interaction (FSI) are known to be computationally expensive when high added-mass is involved. Multiple coupling strategies have been developed to accelerate these simulations, but often use predictors in the form of simple finite-difference extrapolations. In this work, we propose a non-intrusive data-driven predictor that couples reduced-order models of both the solid and fluid subproblems, providing an initial guess for the nonlinear problem of the next time step calculation. Each reduced order model is composed of a nonlinear encoder-regressor-decoder architecture and is equipped with an adaptive update strategy that adds robustness for extrapolation. In doing so, the proposed methodology leverages physics-based insights from high-fidelity solvers, thus establishing a physics-aware machine learning predictor. Using three strongly coupled FSI examples, this study demonstrates the improved convergence obtained with the new predictor and the overall computational speedup realized compared to classical approaches.


title: FPDIoU Loss: A Loss Function for Efficient Bounding Box Regression of Rotated Object Detection

abstract: Bounding box regression is one of the important steps of object detection. However, rotation detectors often involve a more complicated loss based on SkewIoU which is unfriendly to gradient-based training. Most of the existing loss functions for rotated object detection calculate the difference between two bounding boxes only focus on the deviation of area or each points distance (e.g., $\mathcal{L}_{Smooth-\ell 1}$, $\mathcal{L}_{RotatedIoU}$ and $\mathcal{L}_{PIoU}$). The calculation process of some loss functions is extremely complex (e.g. $\mathcal{L}_{KFIoU}$). In order to improve the efficiency and accuracy of bounding box regression for rotated object detection, we proposed a novel metric for arbitrary shapes comparison based on minimum points distance, which takes most of the factors from existing loss functions for rotated object detection into account, i.e., the overlap or nonoverlapping area, the central points distance and the rotation angle. We also proposed a loss function called $\mathcal{L}_{FPDIoU}$ based on four points distance for accurate bounding box regression focusing on faster and high quality anchor boxes. In the experiments, $FPDIoU$ loss has been applied to state-of-the-art rotated object detection (e.g., RTMDET, H2RBox) models training with three popular benchmarks of rotated object detection including DOTA, DIOR, HRSC2016 and two benchmarks of arbitrary orientation scene text detection including ICDAR 2017 RRC-MLT and ICDAR 2019 RRC-MLT, which achieves better performance than existing loss functions.


title: Robust Statistics meets elicitability: When fair model validation breaks down

abstract: A crucial part of data analysis is the validation of the resulting estimators, in particular, if several competing estimators need to be compared. Whether an estimator can be objectively validated is not a trivial property. If there exists a loss function such that the theoretical risk is minimized by the quantity of interest, this quantity is called elicitable, allowing estimators for this quantity to be objectively validated and compared by evaluating such a loss function. Elicitability requires assumptions on the underlying distributions, often in the form of regularity conditions. Robust Statistics is a discipline that provides estimators in the presence of contaminated data. In this paper, we, introducing the elicitability breakdown point, formally pin down why the problems that contaminated data cause for estimation spill over to validation, letting elicitability fail. Furthermore, as the goal is usually to estimate the quantity of interest w.r.t. the non-contaminated distribution, even modified notions of elicitability may be doomed to fail. The performance of a trimming procedure that filters out instances from non-ideal distributions, which would be theoretically sound, is illustrated in several numerical experiments. Even in simple settings, elicitability however often fails, indicating the necessity to find validation procedures with non-zero elicitability breakdown point.


title: Reed-Muller codes in the sum-rank metric

abstract: We introduce the sum-rank metric analogue of Reed-Muller codes, which we called linearized Reed-Muller codes, using multivariate Ore polynomials. We study the parameters of these codes, compute their dimension and give a lower bound for their minimum distance. Our codes exhibit quite good parameters, respecting a similar bound to Reed-Muller codes in the Hamming metric. Finally, we also show that many of the newly introduced linearized Reed--Muller codes can be embedded in some linearized Algebraic Geometry codes, a property which could turn out to be useful in light of decoding.


title: Near-horizon chaos beyond Einstein gravity

abstract: We investigate chaos in the dynamics of outgoing massless particles near the horizon of static spherically symmetric (SSS) black holes in two well-motivated models of $f(R)$ gravity. In both these models, we probe chaos in the particle trajectories (under suitable harmonic confinement) in the vicinity of the black hole horizons, for a set of initial conditions. The particle trajectories, associated Poincar$\acute{e}$ sections, and Lyapunov exponents clearly illustrate the role played by the black hole horizon in the growth of chaos. We find that with increasing energy, the particle trajectories explore regions closer to the black hole horizon, with reduced overlap between two initially close trajectories. We demonstrate how this energy range is controlled by the parameters of the modified gravity theory under consideration. The growth of chaos in such a classical setting is known to respect a surface gravity bound arising from universal aspects of particle dynamics close to the black hole horizon [K. Hashimoto and N. Tanahashi, Phys. Rev. D 95, 024007 (2017)], analogous to the quantum MSS bound [J. Maldacena, S.H. Shenker and D. Stanford, JHEP 08 (2016) 106]. Interestingly, both models studied in our work respect the bound, in contrast to some of the other models of $f(R)$ gravity in the existing literature. The work serves as a motivation to use chaos as an additional tool to probe Einstein gravity in the strong gravity regime in the vicinity of black hole horizons.


title: On the logical structure of some maximality and well-foundedness principles equivalent to choice principles

abstract: We study the logical structure of Teichm{\"u}ller-Tukey lemma, a maximality principle equivalent to the axiom of choice and show that it corresponds to the generalisation to arbitrary cardinals of update induction, a well-foundedness principle from constructive mathematics classically equivalent to the axiom of dependent choice.From there, we state general forms of maximality and well-foundedness principles equivalent to the axiom of choice, including a variant of Zorn's lemma. A comparison with the general class of choice and bar induction principles given by Brede and the first author is initiated.


title: A Nonabelian Hodge Correspondence for Principal Bundles in Positive Characteristic

abstract: In this paper, we prove a nonabelian Hodge correspondence for principal bundles on a smooth variety $X$ in positive characteristic, which generalizes the Ogus-Vologodsky correspondence for vector bundles. Then we extend the correspondence to logahoric torsors over a log pair $(X,D)$, where $D$ a reduced normal crossing divisor in $X$. As an intermediate step, we prove a correspondence between principal bundles on root stacks $\mathscr{X}$ and parahoric torsors on $(X,D)$, which generalizes the correspondence on curves given by Balaji--Seshadri to higher dimensional case.


title: Mitigating Text Toxicity with Counterfactual Generation

abstract: Toxicity mitigation consists in rephrasing text in order to remove offensive or harmful meaning. Neural natural language processing (NLP) models have been widely used to target and mitigate textual toxicity. However, existing methods fail to detoxify text while preserving the initial non-toxic meaning at the same time. In this work, we propose to apply counterfactual generation methods from the eXplainable AI (XAI) field to target and mitigate textual toxicity. In particular, we perform text detoxification by applying local feature importance and counterfactual generation methods to a toxicity classifier distinguishing between toxic and non-toxic texts. We carry out text detoxification through counterfactual generation on three datasets and compare our approach to three competitors. Automatic and human evaluations show that recently developed NLP counterfactual generators can mitigate toxicity accurately while better preserving the meaning of the initial text as compared to classical detoxification methods. Finally, we take a step back from using automated detoxification tools, and discuss how to manage the polysemous nature of toxicity and the risk of malicious use of detoxification tools. This work is the first to bridge the gap between counterfactual generation and text detoxification and paves the way towards more practical application of XAI methods.


title: Homogenization of the Dirac operator with position-dependent mass

abstract: We address the homogenization of the two-dimensional Dirac operator with position-dependent mass. The mass is piecewise constant and supported on small pairwise disjoint inclusions evenly distributed along an $\varepsilon$-periodic square lattice. Under rather general assumptions on geometry of these inclusions we prove that the corresponding family of Dirac operators converges as $\varepsilon\to 0$ in the norm resolvent sense to the Dirac operator with a constant effective mass provided the masses in the inclusions are adjusted to the scaling of the geometry. We also estimate the speed of this convergence in terms of the scaling rates.


title: Ergodicity of some stochastic Fokker-Planck equations with additive common noise

abstract: In this paper we consider stochastic Fokker-Planck Partial Differential Equations (PDEs), obtained as the mean-field limit of weakly interacting particle systems subjected to both independent (or idiosyncratic) and common Brownian noises. We provide sufficient conditions under which the deterministic counterpart of the Fokker-Planck equation, which corresponds to particle systems that are just subjected to independent noises, has several invariant measures, but for which the stochastic version admits a unique invariant measure under the presence of the additive common noise. The very difficulty comes from the fact that the common noise is just of finite dimension while the state variable, which should be seen as the conditional marginal law of the system given the common noise, lives in a space of infinite dimension. In this context, our result holds true if, in addition to standard confining properties, the mean field interaction term forces the system to be attracted by its conditional mean given the common noise and the intensity of the idiosyncratic noise is small.


title: A Review of Multiple Access Techniques for Intelligent Reflecting Surface-Assisted Systems

abstract: Intelligent Reflecting Surface (IRS) is envisioned to be a technical enabler for the sixth-generation (6G) wireless system. Its potential lies in delivering high performance while maintaining both power efficiency and cost-effectiveness. Previous studies have primarily focused on point-to-point IRS communications involving a single user. Nevertheless, a practical system must serve multiple users simultaneously. The unique characteristics of IRS, such as non-frequency-selective reflection and the necessity for joint active/passive beamforming, create obstacles to the use of conventional multiple access (MA) techniques. This motivates us to review various MA techniques to make clear their functionalities in the presence of IRS. Through this paper, our aim is to provide researchers with a comprehensive understanding of challenges and available solutions, offering insights to foster their design of efficient multiple access for IRS-aided systems.


title: Low-rank Tree Tensor Network Operators for Long-Range Pairwise Interactions

abstract: Compactly representing and efficently applying linear operators are fundamental ingredients in tensor network methods for simulating quantum many-body problems and solving high-dimensional problems in scientific computing. In this work, we study such representations for tree tensor networks, the so called tree tensor network operators (TTNOs), paying particular attention to Hamiltonian operators that involve long-range pairwise interactions between particles. Generalizing the work by Lin, Tong, and others on matrix product operators, we establish a direct connection between the hierarchical low-rank structure of the interaction matrix and the TTNO property. This connection allows us to arrive at very compact TTNO representations by compressing the interaction matrix into a hierarchically semi-separable matrix. Numerical experiments for different quantum spin systems validate our results and highlight the potential advantages of TTNOs over matrix product operators.


title: Zero-shot counting with a dual-stream neural network model

abstract: Deep neural networks have provided a computational framework for understanding object recognition, grounded in the neurophysiology of the primate ventral stream, but fail to account for how we process relational aspects of a scene. For example, deep neural networks fail at problems that involve enumerating the number of elements in an array, a problem that in humans relies on parietal cortex. Here, we build a 'dual-stream' neural network model which, equipped with both dorsal and ventral streams, can generalise its counting ability to wholly novel items ('zero-shot' counting). In doing so, it forms spatial response fields and lognormal number codes that resemble those observed in macaque posterior parietal cortex. We use the dual-stream network to make successful predictions about behavioural studies of the human gaze during similar counting tasks.


title: Quantization of Cantor-Like Set on the Real Projective Line

abstract: In this article, an iterated function system (IFS) is considered on the real projective line $\mathbb{RP}^1$ so that the attractor is a Cantor-like set. Hausdorff dimension of this attractor is estimated. The existence of a probability measure associated with this IFS on $\mathbb{RP}^1$ is also demonstrated. It is shown that the $n$-th quantization error of order $r$ for the push-forward measure is a constant multiple of the $n$-th quantization error of order $r$ of the original measure. Finally, an upper bound for the $n$-th quantization error of order $2$ for this measure is provided.


title: Dual-band feature selection for maturity classification of specialty crops by hyperspectral imaging

abstract: The maturity classification of specialty crops such as strawberries and tomatoes is an essential agricultural downstream activity for selective harvesting and quality control (QC) at production and packaging sites. Recent advancements in Deep Learning (DL) have produced encouraging results in color images for maturity classification applications. However, hyperspectral imaging (HSI) outperforms methods based on color vision. Multivariate analysis methods and Convolutional Neural Networks (CNN) deliver promising results; however, a large amount of input data and the associated preprocessing requirements cause hindrances in practical application. Conventionally, the reflectance intensity in a given electromagnetic spectrum is employed in estimating fruit maturity. We present a feature extraction method to empirically demonstrate that the peak reflectance in subbands such as 500-670 nm (pigment band) and the wavelength of the peak position, and contrarily, the trough reflectance and its corresponding wavelength within 671-790 nm (chlorophyll band) are convenient to compute yet distinctive features for the maturity classification. The proposed feature selection method is beneficial because preprocessing, such as dimensionality reduction, is avoided before every prediction. The feature set is designed to capture these traits. The best SOTA methods, among 3D-CNN, 1D-CNN, and SVM, achieve at most 90.0 % accuracy for strawberries and 92.0 % for tomatoes on our dataset. Results show that the proposed method outperforms the SOTA as it yields an accuracy above 98.0 % in strawberry and 96.0 % in tomato classification. A comparative analysis of the time efficiency of these methods is also conducted, which shows the proposed method performs prediction at 13 Frames Per Second (FPS) compared to the maximum 1.16 FPS attained by the full-spectrum SVM classifier.


title: Data-Assimilated Crystal Growth Simulation for Multiple Crystalline Phases

abstract: To determine crystal structures from an X-ray diffraction (XRD) pattern containing multiple unknown phases, a data-assimilated crystal growth (DACG) simulation method has been developed. The XRD penalty function selectively stabilizes the structures in the experimental data, promoting their grain growth during simulated annealing. Since the XRD pattern is calculated as the Fourier transform of the pair distribution function, the DACG simulation can be performed without prior determination of the lattice parameters. We applied it to C (graphite and diamond) and SiO$_2$ (low-quartz and low-cristobalite) systems, demonstrating that the DACG simulation successfully reproduced multiple crystal structures.


title: Resolvent estimates in Schatten spaces for Laplace-Beltrami operators on compact manifolds

abstract: We prove resolvent estimates in Schatten spaces for Laplace-Beltrami operators on compact manifolds at the critical exponent. Our proof only uses known bounds for the Hadamard parametrix.


title: Igusa-Todorov distances under singular equivalences and recollements

abstract: The Igusa-Todorov distances of an Artin algebra give a reasonable way of measuring how far an algebra is from being Igusa-Todorov algebras. We show that the Igusa-Todorov distance is an invariant under the singular equivalence of Morita type with level, and establish a series of bounds for the Igusa-Todorov distances of the algebras involved in a recollement of derived module categories.


title: Patient-Specific Real-Time Segmentation in Trackerless Brain Ultrasound

abstract: Intraoperative ultrasound (iUS) imaging has the potential to improve surgical outcomes in brain surgery. However, its interpretation is challenging, even for expert neurosurgeons. In this work, we designed the first patient-specific framework that performs brain tumor segmentation in trackerless iUS. To disambiguate ultrasound imaging and adapt to the neurosurgeon's surgical objective, a patient-specific real-time network is trained using synthetic ultrasound data generated by simulating virtual iUS sweep acquisitions in pre-operative MR data. Extensive experiments performed in real ultrasound data demonstrate the effectiveness of the proposed approach, allowing for adapting to the surgeon's definition of surgical targets and outperforming non-patient-specific models, neurosurgeon experts, and high-end tracking systems. Our code is available at: \url{https://github.com/ReubenDo/MHVAE-Seg}.


title: A Unified Deep Transfer Learning Model for Accurate IoT Localization in Diverse Environments

abstract: Internet of Things (IoT) is an ever-evolving technological paradigm that is reshaping industries and societies globally. Real-time data collection, analysis, and decision-making facilitated by localization solutions form the foundation for location-based services, enabling them to support critical functions within diverse IoT ecosystems. However, most existing works on localization focus on single environment, resulting in the development of multiple models to support multiple environments. In the context of smart cities, these raise costs and complexity due to the dynamicity of such environments. To address these challenges, this paper presents a unified indoor-outdoor localization solution that leverages transfer learning (TL) schemes to build a single deep learning model. The model accurately predicts the localization of IoT devices in diverse environments. The performance evaluation shows that by adopting an encoder-based TL scheme, we can improve the baseline model by about 17.18% in indoor environments and 9.79% in outdoor environments.


title: Rings Whose Non-Invertible Elements Are Nil-Clean

abstract: We systematically study those rings whose non-units are a sum of an idempotent and a nilpotent. Some crucial characteristic properties are completely described as well as some structural results for this class of rings are obtained. This work somewhat continues two publications on the subject due to Diesl (J. Algebra, 2013) and Karimi-Mansoub et al. (Contemp. Math., 2018).


title: CatCMA : Stochastic Optimization for Mixed-Category Problems

abstract: Black-box optimization problems often require simultaneously optimizing different types of variables, such as continuous, integer, and categorical variables. Unlike integer variables, categorical variables do not necessarily have a meaningful order, and the discretization approach of continuous variables does not work well. Although several Bayesian optimization methods can deal with mixed-category black-box optimization (MC-BBO), they suffer from a lack of scalability to high-dimensional problems and internal computational cost. This paper proposes CatCMA, a stochastic optimization method for MC-BBO problems, which employs the joint probability distribution of multivariate Gaussian and categorical distributions as the search distribution. CatCMA updates the parameters of the joint probability distribution in the natural gradient direction. CatCMA also incorporates the acceleration techniques used in the covariance matrix adaptation evolution strategy (CMA-ES) and the stochastic natural gradient method, such as step-size adaptation and learning rate adaptation. In addition, we restrict the ranges of the categorical distribution parameters by margin to prevent premature convergence and analytically derive a promising margin setting. Numerical experiments show that the performance of CatCMA is superior and more robust to problem dimensions compared to state-of-the-art Bayesian optimization algorithms.


title: Economics of Integrated Sensing and Communication service provision in 6G networks

abstract: In Beyond5G and 6G networks, a common theme is that sensing will play a more significant role than ever before. Over this trend, Integrated Sensing and Communications (ISAC) is focused on unifying the sensing functionalities and the communications ones and to pursue direct tradeoffs between them as well as mutual performance gains. We frame the resource tradeoff between the SAC functionalities within an economic setting. We model a service provision by one operator to the users, the utility of which is derived from both SAC functionalities. The tradeoff between the resources that the operator assigns to the SAC functionalities is analyzed from the point of view of the service prices, quantities and profits. We demonstrate that equilibrium quantities and prices exist. And we provide relevant recommendations for enforcing regulatory limits of both power and bandwidth.


title: KPNDepth: Depth Estimation of Lane Images under Complex Rainy Environment

abstract: With the development of deep neural network generative models in recent years, significant progress has been made in the research of depth estimation in lane scenes. However, current research achievements are mainly focused on clear daytime scenarios. In complex rainy environments, the influence of rain streaks and local fog effects often leads to erroneous increases in the overall depth estimation values in images. Moreover, these natural factors can introduce disturbances to the accurate prediction of depth boundaries in images. In this paper, we investigate lane depth estimation in complex rainy environments. Based on the concept of convolutional kernel prediction, we propose a dual-layer pixel-wise convolutional kernel prediction network trained on offline data. By predicting two sets of independent convolutional kernels for the target image, we restore the depth information loss caused by complex environmental factors and address the issue of rain streak artifacts generated by a single convolutional kernel set. Furthermore, considering the lack of real rainy lane data currently available, we introduce an image synthesis algorithm, RCFLane, which comprehensively considers the darkening of the environment due to rainfall and local fog effects. We create a synthetic dataset containing 820 experimental images, which we refer to as RainKITTI, on the commonly used depth estimation dataset KITTI. Extensive experiments demonstrate that our proposed depth estimation framework achieves favorable results in highly complex lane rainy environments.


title: Leveraging Large Language Models for Automated Web-Form-Test Generation: An Empirical Study

abstract: The testing of web forms is an essential activity for ensuring the quality of web applications, which mainly involves evaluating the interactions between users and forms. Automated test-case generation remains a challenge for web-form testing: Due to the complex, multi-level structure of web pages, it can be difficult to automatically capture their inherent contextual information for inclusion in the tests. Large Language Models (LLMs) have great potential for contextual text generation. OpenAI's GPT LLMs have been receiving a lot of attention in software testing, however, they may fail to be applied in practice because of information security concerns. To the best of our knowledge, no comparative study examining different LLMs has yet been reported for web-form-test generation. To address this gap in the literature, we conducted a comprehensive empirical study investigating the effectiveness of 11 LLMs on 146 web forms from 30 open-source Java web applications. According to the experimental results, different LLMs can achieve different testing effectiveness. Notably, the GPT-4, GLM-4, and Baichuan2 LLMs can generate better web-form tests than the others. Compared with GPT-4, other LLMs find it difficult to generate appropriate tests for web forms, resulting in decreased successfully-submitted rates (SSRs, measured by the proportions of the LLMs-generated web-form tests that can be successfully inserted into the web forms and submitted) ranging from 9.10% to 74.15%. Nevertheless, some LLMs achieve higher SSRs than GPT-3.5, indicating a better ability to generate appropriate tests for web forms. Our findings also show that, for all LLMs, when the designed prompts include complete and clear contextual information about the web forms, more effective web-form tests were generated. Finally, we offer some insights for using LLMs to guide automated web-form testing.


title: Tempered Fractional Hawkes Process and Its Generalization

abstract: Hawkes process (HP) is a point process with a conditionally dependent intensity function. This paper defines the tempered fractional Hawkes process (TFHP) by time-changing the HP with an inverse tempered stable subordinator. We obtained results that generalize the fractional Hawkes process defined in Hainaut (2020) to a tempered version which has \textit{semi-heavy tailed} decay. We derive the mean, the variance, covariance and the governing fractional difference-differential equations of the TFHP. Additionally, we introduce the generalized fractional Hawkes process (GFHP) by time-changing the HP with the inverse L\'evy subordinator. This definition encompasses all potential (inverse L\'evy) time changes as specific instances. We also explore the distributional characteristics and the governing difference-differential equation of the one-dimensional distribution for the GFHP.


title: Unveiling stellar aurorae: Simulating auroral emission lines in hot stars induced by high-energy irradiation

abstract: Auroral emission lines result from the interaction between magnetic field and stellar wind, offering valuable insights into physical properties and processes occurring within magnetospheres of celestial bodies. While extensively studied in planetary and exoplanetary atmospheres, in ultra-cool dwarfs, and as radio emission from early-type stars, the presence of specific auroral emission lines in hot star spectra remains unexplored. In this study, we utilized TLUSTY code to simulate the auroral lines, while modelling the effect of the interaction between stellar wind and magnetosphere through X-ray irradiation. Utilizing high-resolution synthetic spectra generated from model atmospheres, we identified potential candidate lines indicative of auroral emission, which were absent in non-irradiated spectra. Emission lines in synthetic spectra were present primarily in the infrared domain. The most prominent line generated by irradiation was He ii 69458 A, which appeared in all our model atmospheres with effective temperatures ranging from 15 kK to 30 kK. We also calculated the minimum irradiation required to detect emission in this most prominent line. The presence of emission lines was interpreted by considering changes in the population of different excited states of given atoms. Besides the appearance of infrared emission lines, high-energy irradiation causes infrared excess. To complement our simulations, we also searched for auroral lines in Far Ultraviolet Spectroscopic Explorer (FUSE) observations, which are deposited in the Multimission Archive at Space Telescope (MAST) catalogue. The comparison of observed spectra with synthetic spectra did not identify any possible candidate emission lines in FUSE spectra.


title: New insights on null and timelike warped symmetric spacetime splittings

abstract: We explore in detail the 2+2 and 1+1+2 formalism in spherically symmetric spacetimes, spanning from deducing the dynamical equations to relating them to the well-known generalised Painlev\'e-Gullstrand (GPG) coordinate system. The evolution equations are the Raychaudhuri equations for null rays, including those also known as cross-focusing equations whose derivation, to the best of our knowledge, we present for the first time. We physically interpret the scalars that arise in this scenario, namely the flow 2-expansion $\Theta_{n}$, the flow acceleration $\mathcal{A}$, and the radial extrinsic curvature $\mathcal{B}$. We derive a coordinate independent formula for the redshift which shows that $\mathcal{B}$ is the sole source for the redshift in spherically symmetric spacetimes. We also establish the correspondence between the 1+1+2 scalars and the 1+3 splitting scalars, expansion and shear. We further make a comparison with the Newman-Penrose formalism, in order to clarify the context where each formalism is more useful, and finally, we extend our results to planar and hyperbolic symmetric warped spacetimes as well, in particular, the relationship between $\mathcal{B}$ and the redshift.


title: The van Est homomorphism for strict Lie 2-groups

abstract: We construct a van Est map for strict Lie 2-groups from the Bott-Shulman-Stasheff double complex of the strict Lie 2-group to the Weil algebra of its associated strict Lie 2-algebra. We show that, under appropriate connectedness assumptions, this map induces isomorphisms in cohomology. As an application, we differentiate the Segal 2-form on the loop group.


title: On the Cut Elimination of Weak Intuitionistic Tense Logic

abstract: In this paper, we use a new method to prove cut-elimination of weak intuitionistic tense logic. This method focuses on splitting the contraction rule and cut rules. Further general theories and applications of this method shall be developed in the future.


title: A study of the fine-structure constant dependence of radiative capture in Halo-EFT

abstract: We study the fine-structure constant dependence of the rates of some selected radiative capture reactions within the framework of so-called Halo Effective Field Theory in order to assess the adequacy of some assumptions made on the Coulomb penetrability. We find that this dependence deviates from that implied by a parameterization of the cross sections of this effect via a simple penetration factor. Some features of this fine-structure dependence are discussed, in particular its potential impact on the abundances of the light elements in primordial nucleosynthesis.

categories: nucl-th astro-ph.CO hep-ph hep-th nucl-ex


title: Predicting Solar Heat Production to Optimize Renewable Energy Usage

abstract: Utilizing solar energy to meet space heating and domestic hot water demand is very efficient (in terms of environmental footprint as well as cost), but in order to ensure that user demand is entirely covered throughout the year needs to be complemented with auxiliary heating systems, typically boilers and heat pumps. Naturally, the optimal control of such a system depends on an accurate prediction of solar thermal production. Experimental testing and physics-based numerical models are used to find a collector's performance curve - the mapping from solar radiation and other external conditions to heat production - but this curve changes over time once the collector is exposed to outdoor conditions. In order to deploy advanced control strategies in small domestic installations, we present an approach that uses machine learning to automatically construct and continuously adapt a model that predicts heat production. Our design is driven by the need to (a) construct and adapt models using supervision that can be extracted from low-cost instrumentation, avoiding extreme accuracy and reliability requirements; and (b) at inference time, use inputs that are typically provided in publicly available weather forecasts. Recent developments in attention-based machine learning, as well as careful adaptation of the training setup to the specifics of the task, have allowed us to design a machine learning-based solution that covers our requirements. We present positive empirical results for the predictive accuracy of our solution, and discuss the impact of these results on the end-to-end system.


title: Adaptive Ensemble Control for Stochastic Systems with Mixed Asymmetric Laplace Noises

abstract: This paper presents an adaptive ensemble control for stochastic systems subject to asymmetric noises and outliers. Asymmetric noises skew system observations, and outliers with large amplitude deteriorate the observations even further. Such disturbances induce poor system estimation and degraded stochastic system control. In this work, we model the asymmetric noises and outliers by mixed asymmetric Laplace distributions (ALDs), and propose an optimal control for stochastic systems with mixed ALD noises. Particularly, we segregate the system disturbed by mixed ALD noises into subsystems, each of which is subject to a specific ALD noise. For each subsystem, we design an iterative quantile filter (IQF) to estimate the system parameters using system observations. With the estimated parameters by IQF, we derive the certainty equivalence (CE) control law for each subsystem. Then we use the Bayesian approach to ensemble the subsystem CE controllers, with each of the controllers weighted by their posterior probability. We finalize our control law as the weighted sum of the control signals by the sub-system CE controllers. To demonstrate our approach, we conduct numerical simulations and Monte Carlo analyses. The results show improved tracking performance by our approach for skew noises and its robustness to outliers, compared with single ALD based and RLS-based control policy.


title: Tau and low multiplicity physics at Belle and Belle II

abstract: The Belle and Belle II experiments have collected a 1.4 ab$^{-1}$ sample of $e^+e^-$ collision data at centre-of-mass energies near the $\Upsilon (nS)$ resonances, of which 424 fb$^{-1}$ were collected at Belle II in Run1 (2019--2022). We present a measurement of the lepton-flavour universality between electrons and muons, the search for the lepton-flavour violation decay $\tau^{-} \to \mu^{-}\mu^{+}\mu^{-}$, and a measurement of the $e^+e^- \to \pi^+\pi^-\pi^0$ cross section in the energy range from 0.62--3.5 GeV using an initial-state radiation technique, all performed with Belle II data.


title: Distributed Delta-Coloring under Bandwidth Limitations

abstract: We consider the problem of coloring graphs of maximum degree $\Delta$ with $\Delta$ colors in the distributed setting with limited bandwidth. Specifically, we give a $\mathsf{poly}\log\log n$-round randomized algorithm in the CONGEST model. This is close to the lower bound of $\Omega(\log \log n)$ rounds from [Brandt et al., STOC '16], which holds also in the more powerful LOCAL model. The core of our algorithm is a reduction to several special instances of the constructive Lov\'asz local lemma (LLL) and the $deg+1$-list coloring problem.


title: Language-Oriented Semantic Latent Representation for Image Transmission

abstract: In the new paradigm of semantic communication (SC), the focus is on delivering meanings behind bits by extracting semantic information from raw data. Recent advances in data-to-text models facilitate language-oriented SC, particularly for text-transformed image communication via image-to-text (I2T) encoding and text-to-image (T2I) decoding. However, although semantically aligned, the text is too coarse to precisely capture sophisticated visual features such as spatial locations, color, and texture, incurring a significant perceptual difference between intended and reconstructed images. To address this limitation, in this paper, we propose a novel language-oriented SC framework that communicates both text and a compressed image embedding and combines them using a latent diffusion model to reconstruct the intended image. Experimental results validate the potential of our approach, which transmits only 2.09\% of the original image size while achieving higher perceptual similarities in noisy communication channels compared to a baseline SC method that communicates only through text.The code is available at https://github.com/ispamm/Img2Img-SC/ .


title: Generalized Conditional Displacement

abstract: Conditional displacement with a qubit ancilla is a critical component in continuous-variable error correction protocols. We present the generalized conditional displacement operator, conditioned on a qudit ancilla, showing how it enhances error-correction with Gottesman-Kitaev-Preskill (GKP) codes and exploring potential implementations.


title: Pedestrian evacuations with imitation of cooperative behavior

abstract: We analyze the dynamics of room evacuation for mixed populations that include both competitive and cooperative individuals through numerical simulations using the social force model. Cooperative agents represent well-trained individuals who know how to behave in order to reduce risks within high-density crowds. We consider that competitive agents can imitate cooperative behavior when they are in close proximity to cooperators. We study the effects of the imitation of cooperative behavior on the duration and safety of evacuations, analyzing evacuation time and other quantities of interest for varying parameters such as the proportions of mixing, the aspect ratio of the room, and the parameters characterizing individual behaviors. Our main findings reveal that the addition of a relatively small number of cooperative agents into a crowd can reduce evacuation time and the density near the exit door, making the evacuation faster and safer despite an increase in the total number of agents. In particular, for long spaces such as corridors, a small number of added cooperative agents can significantly facilitate the evacuation process. We compare our results with those of systems without imitation and also study the general role of cooperation, providing further analysis for homogeneous populations. Our main conclusions emphasize the potential relevance of training people how to behave in high-density crowds


title: Harmonic and Interharmonic Detection in Power Systems Based on Fractal-Optimized Variational Mode Decomposition

abstract: The proposed method introduces a parameter determination approach based on the minimum Fractal box dimension (FBD) of Variational Mode Decomposition (VMD) components, aiming to address the issue of manual determination of VMD decomposition layers in advance. Initially, VMD is applied to the original power signal, and the layer number for VMD decomposition is determined by selecting the K value associated with the smallest fractal box dimension among its components. Subsequently, several Intrinsic Mode Functions (IMFs) are obtained as fundamental, harmonic, and interharmonic signals representing different aspects of the power system. Furthermore, Hilbert transform(HT) is employed to extract instantaneous amplitude and frequency information from these harmonic signals. Experimental evaluation using simulation data and real-world power system data demonstrates that compared to Empirical Mode Decomposition (EMD) and Ensemble Empirical Mode Decomposition (EEMD), our proposed method achieves more accurate identification and effective extraction of harmonic signals.


title: FinTextQA: A Dataset for Long-form Financial Question Answering

abstract: Accurate evaluation of financial question answering (QA) systems necessitates a comprehensive dataset encompassing diverse question types and contexts. However, current financial QA datasets lack scope diversity and question complexity. This work introduces FinTextQA, a novel dataset for long-form question answering (LFQA) in finance. FinTextQA comprises 1,262 high-quality, source-attributed QA pairs extracted and selected from finance textbooks and government agency websites.Moreover, we developed a Retrieval-Augmented Generation (RAG)-based LFQA system, comprising an embedder, retriever, reranker, and generator. A multi-faceted evaluation approach, including human ranking, automatic metrics, and GPT-4 scoring, was employed to benchmark the performance of different LFQA system configurations under heightened noisy conditions. The results indicate that: (1) Among all compared generators, Baichuan2-7B competes closely with GPT-3.5-turbo in accuracy score; (2) The most effective system configuration on our dataset involved setting the embedder, retriever, reranker, and generator as Ada2, Automated Merged Retrieval, Bge-Reranker-Base, and Baichuan2-7B, respectively; (3) models are less susceptible to noise after the length of contexts reaching a specific threshold.


title: Adversarial Robustness for Visual Grounding of Multimodal Large Language Models

abstract: Multi-modal Large Language Models (MLLMs) have recently achieved enhanced performance across various vision-language tasks including visual grounding capabilities. However, the adversarial robustness of visual grounding remains unexplored in MLLMs. To fill this gap, we use referring expression comprehension (REC) as an example task in visual grounding and propose three adversarial attack paradigms as follows. Firstly, untargeted adversarial attacks induce MLLMs to generate incorrect bounding boxes for each object. Besides, exclusive targeted adversarial attacks cause all generated outputs to the same target bounding box. In addition, permuted targeted adversarial attacks aim to permute all bounding boxes among different objects within a single image. Extensive experiments demonstrate that the proposed methods can successfully attack visual grounding capabilities of MLLMs. Our methods not only provide a new perspective for designing novel attacks but also serve as a strong baseline for improving the adversarial robustness for visual grounding of MLLMs.


title: Dynamical behavior and optimal control of a stochastic SAIRS epidemic model with two saturated incidences

abstract: Stochastic models are widely used to investigate the spread of epidemics in a complex environment. This paper extends a deterministic SAIRS epidemic model to a stochastic case with limited patient capacity and exposure. We first study the dynamical properties of the model under certain conditions, including persistence, extinction, and ergodic. Then, we introduce vaccination and isolation into the model as control variables. The optimal control strategies are obtained based on the Pontryagin minimum principle. Finally, numerical simulations are given to illustrate our theoretical results.


title: Zero-Shot Hierarchical Classification on the Common Procurement Vocabulary Taxonomy

abstract: Classifying public tenders is a useful task for both companies that are invited to participate and for inspecting fraudulent activities. To facilitate the task for both participants and public administrations, the European Union presented a common taxonomy (Common Procurement Vocabulary, CPV) which is mandatory for tenders of certain importance; however, the contracts in which a CPV label is mandatory are the minority compared to all the Public Administrations activities. Classifying over a real-world taxonomy introduces some difficulties that can not be ignored. First of all, some fine-grained classes have an insufficient (if any) number of observations in the training set, while other classes are far more frequent (even thousands of times) than the average. To overcome those difficulties, we present a zero-shot approach, based on a pre-trained language model that relies only on label description and respects the label taxonomy. To train our proposed model, we used industrial data, which comes from contrattipubblici.org, a service by SpazioDati s.r.l. that collects public contracts stipulated in Italy in the last 25 years. Results show that the proposed model achieves better performance in classifying low-frequent classes compared to three different baselines, and is also able to predict never-seen classes.


title: Mode of sustainable economic development

abstract: To implement the previously formulated principles of sustainable economic development, all non-negative solutions of the linear system of equations and inequalities, which are satisfied by the vector of real consumption, are completely described. It is established that the vector of real consumption with the minimum level of excess supply is determined by the solution of some quadratic programming problem. The necessary and sufficient conditions are established under which the economic system, described by the "input-output" production model, functions in the mode of sustainable development. A complete description of the equilibrium states for which markets are partially cleared in the economy model of production "input-output" is given, on the basis that all solutions of system of linear equations and inequalities are completely described. The existence of a family of taxation vectors in the "input-output" model of production, under which the economic system is able to function in the mode of sustainable development, is proved. Restrictions were found for the vector of taxation in the economic system, under which the economic system is able to function in the mode of sustainable development. The axioms of the aggregated description of the economy is proposed.


title: VirtualModel: Generating Object-ID-retentive Human-object Interaction Image by Diffusion Model for E-commerce Marketing

abstract: Due to the significant advances in large-scale text-to-image generation by diffusion model (DM), controllable human image generation has been attracting much attention recently. Existing works, such as Controlnet [36], T2I-adapter [20] and HumanSD [10] have demonstrated good abilities in generating human images based on pose conditions, they still fail to meet the requirements of real e-commerce scenarios. These include (1) the interaction between the shown product and human should be considered, (2) human parts like face/hand/arm/foot and the interaction between human model and product should be hyper-realistic, and (3) the identity of the product shown in advertising should be exactly consistent with the product itself. To this end, in this paper, we first define a new human image generation task for e-commerce marketing, i.e., Object-ID-retentive Human-object Interaction image Generation (OHG), and then propose a VirtualModel framework to generate human images for product shown, which supports displays of any categories of products and any types of human-object interaction. As shown in Figure 1, VirtualModel not only outperforms other methods in terms of accurate pose control and image quality but also allows for the display of user-specified product objects by maintaining the product-ID consistency and enhancing the plausibility of human-object interaction. Codes and data will be released.


title: Integral action feedback design for conservative abstract systems in the presence of input nonlinearities

abstract: In this article, we present a stabilization feedback law with integral action for conservative abstract linear systems subjected to actuator nonlinearity. Based on the designed control law, we first prove the well-posedness and global asymptotic stability of the origin of the closed-loop system by constructing a weak Lyapunov functional. Secondly, as an illustration, we apply the results to a wave equation coupled with an ordinary differential equation (ODE) at the boundary. Finally, we give the simulation results to illustrate the effectiveness of our method.


title: The bosonic string spectrum and the explicit states up to level $10$ from the lightcone and the chaotic behavior of certain string amplitudes

abstract: We compute the irreps and their multiplicities of bosonic string spectrum up to level 10 and we give explicitly the on shell lightcone states which make the irreps. For scalars and vectors we compute the multiplicity up to level 22 and 19 respectively. The first scalar at odd level appears at level 11. For the bosonic string in non critical dimensions we argue that at level $N$ there are always states transforming as tensors with $ s\ge N/2$ indices. Only in critical dimensions there are states with $s\le N/2$. Looking at the explicit coefficients of the combinations needed to make the irreps from the lightcone states we trace the origin of the chaotic behavior of certain cubic amplitudes considered in literature to the extremely precise and sensitive mixtures of states. For example the vectors at level $N=19$ are a linear combinations of states and when the coefficients are normalized to be integer some of them have more than 1200 figures.


title: Blueprint for all-to-all connected superconducting spin qubits

abstract: Andreev (or superconducting) spin qubits (ASQs) have recently emerged as a promising qubit platform that combines superconducting circuits with semiconductor spin degrees of freedom. While recent experiments have successfully coupled two ASQs, how to realize a scalable architecture for extending this coupling to multiple distant qubits remains an open question. In this work, we resolve this challenge by introducing an architecture that achieves all-to-all connectivity between multiple remote ASQs. Our approach enables selective connectivity between any qubit pair while maintaining all other qubit pairs uncoupled. Furthermore, we demonstrate the feasibility of efficient readout using circuit quantum electrodynamics techniques and compare different readout configurations. Our architecture shows promise both for gate-based quantum computing and for analog quantum simulation applications by offering higher qubit connectivity than alternative solid-state platforms.


title: A Gaussian Process Model for Ordinal Data with Applications to Chemoinformatics

abstract: With the proliferation of screening tools for chemical testing, it is now possible to create vast databases of chemicals easily. However, rigorous statistical methodologies employed to analyse these databases are in their infancy, and further development to facilitate chemical discovery is imperative. In this paper, we present conditional Gaussian process models to predict ordinal outcomes from chemical experiments, where the inputs are chemical compounds. We implement the Tanimoto distance, a metric on the chemical space, within the covariance of the Gaussian processes to capture correlated effects in the chemical space. A novel aspect of our model is that the kernel contains a scaling parameter, a feature not previously examined in the literature, that controls the strength of the correlation between elements of the chemical space. Using molecular fingerprints, a numerical representation of a compound's location within the chemical space, we show that accounting for correlation amongst chemical compounds improves predictive performance over the uncorrelated model, where effects are assumed to be independent. Moreover, we present a genetic algorithm for the facilitation of chemical discovery and identification of important features to the compound's efficacy. A simulation study is conducted to demonstrate the suitability of the proposed methods. Our proposed methods are demonstrated on a hazard classification problem of organic solvents.


title: Histopathology Foundation Models Enable Accurate Ovarian Cancer Subtype Classification

abstract: Large pretrained transformers are increasingly being developed as generalised foundation models which can underpin powerful task-specific artificial intelligence models. Histopathology foundation models show promise across many tasks, but analyses have been limited by arbitrary hyperparameters that were not tuned to the specific task/dataset. We report the most rigorous single-task validation conducted to date of a histopathology foundation model, and the first performed in ovarian cancer subtyping. Attention-based multiple instance learning classifiers were compared using vision transformer and ResNet features generated through varied preprocessing and pretraining procedures. The training set consisted of 1864 whole slide images from 434 ovarian carcinoma cases at Leeds Hospitals. Five-class classification performance was evaluated through five-fold cross-validation, and these cross-validation models were ensembled for evaluation on a hold-out test set and an external set from the Transcanadian study. Reporting followed the TRIPOD+AI checklist. The vision transformer-based histopathology foundation model, UNI, performed best in every evaluation, with five-class balanced accuracies of 88% and 93% in hold-out internal and external testing, compared to the best ResNet model scores of 68% and 81%, respectively. Normalisations and augmentations aided the generalisability of ResNet-based models, but these still did not match the performance of UNI, which gave the best external performance in any ovarian cancer subtyping study to date. Histopathology foundation models offer a clear benefit to subtyping, improving classification performance to a degree where clinical utility is tangible, albeit with an increased computational burden. Such models could provide a second opinion in challenging cases and may improve the accuracy, objectivity, and efficiency of pathological diagnoses overall.


title: A characterization of complex Hadamard matrices appearing in families of MUB triplets

abstract: It is shown that a normalized complex Hadamard matrix of order $6$ having three distinct columns, each containing at least one $-1$ entry necessarily belongs to the transposed Fourier family, or to the family of $2$-circulant complex Hadamard matrices. The proofs rely on solving polynomial system of equations by Gr\"obner basis techniques, and make use of a structure theorem concerning regular Hadamard matrices. As a consequence, members of these two families can be easily recognized in practice. In particular, one can identify complex Hadamard matrices appearing in known triplets of pairwise mutually unbiased bases in dimension $6$.


title: Convergence of kinetic Langevin samplers for non-convex potentials

abstract: We study three kinetic Langevin samplers including the Euler discretization, the BU and the UBU splitting scheme. We provide contraction results in $L^1$-Wasserstein distance for non-convex potentials. These results are based on a carefully tailored distance function and an appropriate coupling construction. Additionally, the error in the $L^1$-Wasserstein distance between the true target measure and the invariant measure of the discretization scheme is bounded. To get an $\varepsilon$-accuracy in $L^1$-Wasserstein distance, we show complexity guarantees of order $\mathcal{O}(\sqrt{d}/\varepsilon)$ for the Euler scheme and $\mathcal{O}(d^{1/4}/\sqrt{\varepsilon})$ for the UBU scheme under appropriate regularity assumptions on the target measure. The results are applicable to interacting particle systems and provide bounds for sampling probability measures of mean-field type.


title: Learning BPS Spectra and the Gap Conjecture

abstract: We explore statistical properties of BPS q-series for 3d N=2 strongly coupled supersymmetric theories that correspond to a particular family of 3-manifolds Y. We discover that gaps between exponents in the q-series are statistically more significant at the beginning of the q-series compared to gaps that appear in higher powers of q. Our observations are obtained by calculating saliencies of q-series features used as input data for principal component analysis, which is a standard example of an explainable machine learning technique that allows for a direct calculation and a better analysis of feature saliencies.


title: Probing neutrino-nucleus interaction in DUNE and MicroBooNE

abstract: The neutrino experiments utilize heavy nuclear targets to achieve high statistics neutrino-nucleus interaction event rate, which leads to systematic uncertainties in the oscillation parameters due to the nuclear effects and uncertainties in the cross-section. Understanding the interaction of neutrinos with the nucleus becomes crucial in determining the oscillation parameters with high precision. We investigate the uncertainty in quasi-elastic interaction due to nuclear effects by selecting exactly 1 proton, 0 pions, and any number of neutrons in the final state using DUNE and MicroBooNE detectors, and the effects on oscillation parameters in the DUNE detector. The kinematic method along with this selection can be used for accurate neutrino energy reconstruction in the quasi-elastic channel where the nuclear effects are inevitable.