title: Robust Confidence Intervals in Stereo Matching using Possibility Theory

abstract: We propose a method for estimating disparity confidence intervals in stereo matching problems. Confidence intervals provide complementary information to usual confidence measures. To the best of our knowledge, this is the first method creating disparity confidence intervals based on the cost volume. This method relies on possibility distributions to interpret the epistemic uncertainty of the cost volume. Our method has the benefit of having a white-box nature, differing in this respect from current state-of-the-art deep neural networks approaches. The accuracy and size of confidence intervals are validated using the Middlebury stereo datasets as well as a dataset of satellite images. This contribution is freely available on GitHub.


title: Blow-up of classical solutions of quasilinear wave equations in one space dimension

abstract: This paper studies the upper bound of the lifespan of classical solutions of the initial value problems for one dimensional wave equations with quasilinear terms of space-, or time-derivatives of the unknown function. The results are same as those of the semilinear case. But it is quite meaningful to consider this kind of problems for the purpose to cover the optimality of the general theory for nonlinear wave equations by many model equations as far as possible.


title: XFLEX HYDRO demonstrators grid services assessment and Ancillary Services Matrix elaboration

abstract: This paper presents the methodology and key results which enabled to establish the so-called Ancillary Service Matrix (ASM) presenting the ability to deliver the different ancillary services of each of the 6 demonstrators of the XFLEX HYDRO research project combined with the applicable technologies studied in this analysis. These technologies include i) the variable speed technology with Doubly Fed Induction Machine (DFIM) or Full Size Frequency Converters (FSFC), ii) the Smart Power Plant Supervisor (SPPS) enabling to extend the operating range of the hydraulic units in turbine mode based on a better knowledge of the hydro unit wear and tear and associated costs over the full unit operating range, iii) the hydraulic short circuit (HSC) operation leading to simultaneous operation of pump and turbines of Pumped Storage Power Plants (PSPP) and iv) the Hydro-Battery-Hybrid (HBH) applied at Run-of-River demonstrator. The demonstrators considered for this study includes 4 pumped storage power plants, 1 conventional hydro storage plant and 1 run-of-the-river plant. For each demonstrator a 1D simulation model was developed and validated and was further enhanced to include the model of control system enabling to address the various ancillary services. The systematic 1D numerical simulation of ancillary service contribution of each demonstrator and related technologies enabled to quantify the magnitude of active power response to contribute to the different grid services. The results have been scored between 0 and 5 for each ancillary service, allowing to populate the Ancillary Service Matrix which is summarizing the results in a graphical and synthetic way. The analysis of the score of the Ancillary Services Matrix enables the reader to draw several key conclusions about the benefits unlocked by the implementation of these technologies which are summarized in the paper.


title: Extending the Defect Tolerance of Halide Perovskite Nanocrystals to Hot Carrier Cooling Dynamics

abstract: Defect tolerance is a critical enabling factor for efficient lead-halide perovskite materials, but the current understanding is primarily on band-edge (cold) carriers, with significant debate over whether hot carriers (HCs) can also exhibit defect tolerance. Here, this important gap in the field is addressed by investigating how internationally-introduced traps affect HC relaxation in CsPbX3 nanocrystals (X = Br, I, or mixture). Using femtosecond interband and intraband spectroscopy, along with energy-dependent photoluminescence measurements and kinetic modelling, it is found that HCs are not universally defect tolerant in CsPbX3, but are strongly correlated to the defect tolerance of cold carriers, requiring shallow traps to be present (as in CsPbI3). It is found that HCs are directly captured by traps, instead of going through an intermediate cold carrier, and deeper traps cause faster HC cooling, reducing the effects of the hot phonon bottleneck and Auger reheating. This work provides important insights into how defects influence HCs, which will be important for designing materials for hot carrier solar cells, multiexciton generation, and optical gain media.


title: Learning Embeddings with Centroid Triplet Loss for Object Identification in Robotic Grasping

abstract: Foundation models are a strong trend in deep learning and computer vision. These models serve as a base for applications as they require minor or no further fine-tuning by developers to integrate into their applications. Foundation models for zero-shot object segmentation such as Segment Anything (SAM) output segmentation masks from images without any further object information. When they are followed in a pipeline by an object identification model, they can perform object detection without training. Here, we focus on training such an object identification model. A crucial practical aspect for an object identification model is to be flexible in input size. As object identification is an image retrieval problem, a suitable method should handle multi-query multi-gallery situations without constraining the number of input images (e.g. by having fixed-size aggregation layers). The key solution to train such a model is the centroid triplet loss (CTL), which aggregates image features to their centroids. CTL yields high accuracy, avoids misleading training signals and keeps the model input size flexible. In our experiments, we establish a new state of the art on the ArmBench object identification task, which shows general applicability of our model. We furthermore demonstrate an integrated unseen object detection pipeline on the challenging HOPE dataset, which requires fine-grained detection. There, our pipeline matches and surpasses related methods which have been trained on dataset-specific data.


title: Dimensionality Reduction in Sentence Transformer Vector Databases with Fast Fourier Transform

abstract: Dimensionality reduction in vector databases is pivotal for streamlining AI data management, enabling efficient storage, faster computation, and improved model performance. This paper explores the benefits of reducing vector database dimensions, with a focus on computational efficiency and overcoming the curse of dimensionality. We introduce a novel application of Fast Fourier Transform (FFT) to dimensionality reduction, a method previously underexploited in this context. By demonstrating its utility across various AI domains, including Retrieval-Augmented Generation (RAG) models and image processing, this FFT-based approach promises to improve data retrieval processes and enhance the efficiency and scalability of AI solutions. The incorporation of FFT may not only optimize operations in real-time processing and recommendation systems but also extend to advanced image processing techniques, where dimensionality reduction can significantly improve performance and analysis efficiency. This paper advocates for the broader adoption of FFT in vector database management, marking a significant stride towards addressing the challenges of data volume and complexity in AI research and applications. Unlike many existing approaches, we directly handle the embedding vectors produced by the model after processing a test input.


title: NoiseNCA: Noisy Seed Improves Spatio-Temporal Continuity of Neural Cellular Automata

abstract: Neural Cellular Automata (NCA) is a class of Cellular Automata where the update rule is parameterized by a neural network that can be trained using gradient descent. In this paper, we focus on NCA models used for texture synthesis, where the update rule is inspired by partial differential equations (PDEs) describing reaction-diffusion systems. To train the NCA model, the spatio-temporal domain is discretized, and Euler integration is used to numerically simulate the PDE. However, whether a trained NCA truly learns the continuous dynamic described by the corresponding PDE or merely overfits the discretization used in training remains an open question. We study NCA models at the limit where space-time discretization approaches continuity. We find that existing NCA models tend to overfit the training discretization, especially in the proximity of the initial condition, also called "seed". To address this, we propose a solution that utilizes uniform noise as the initial condition. We demonstrate the effectiveness of our approach in preserving the consistency of NCA dynamics across a wide range of spatio-temporal granularities. Our improved NCA model enables two new test-time interactions by allowing continuous control over the speed of pattern formation and the scale of the synthesized patterns. We demonstrate this new NCA feature in our interactive online demo. Our work reveals that NCA models can learn continuous dynamics and opens new venues for NCA research from a dynamical system's perspective.


title: Algorithms for Caching and MTS with reduced number of predictions

abstract: ML-augmented algorithms utilize predictions to achieve performance beyond their worst-case bounds. Producing these predictions might be a costly operation -- this motivated Im et al. '22 to introduce the study of algorithms which use predictions parsimoniously. We design parsimonious algorithms for caching and MTS with action predictions, proposed by Antoniadis et al. '20, focusing on the parameters of consistency (performance with perfect predictions) and smoothness (dependence of their performance on the prediction error). Our algorithm for caching is 1-consistent, robust, and its smoothness deteriorates with the decreasing number of available predictions. We propose an algorithm for general MTS whose consistency and smoothness both scale linearly with the decreasing number of predictions. Without the restriction on the number of available predictions, both algorithms match the earlier guarantees achieved by Antoniadis et al. '20.


title: IsoDAR@Yemilab: Preliminary Design Report -- Volume I: Cyclotron Driver

abstract: This Preliminary Design Report (PDR) describes the IsoDAR electron-antineutrino source. Volumes I and II are site-independent and describe the cyclotron driver providing a 10~mA proton beam, and the medium energy beam transport line and target, respectively. Volume III describes the installation at the Yemilab underground laboratory in South Korea. The IsoDAR driver and target will produce a mole of electron-antineutrinos over the course of five years. Paired with a kton-scale liquid scintillator detector, it will enable an impressive particle physics program including searches for new symmetries, new interactions and new particles. Here in Volume I, we describe the driver, which includes the ion source, low energy beam transport, and cyclotron. The latter features radiofrequency quadrupole (RFQ) direct axial injection and represents the first accelerator purpose-built to make use of vortex motion.


title: Simple algorithms to test and learn local Hamiltonians

abstract: We consider the problems of testing and learning an $n$-qubit $k$-local Hamiltonian from queries to its evolution operator with respect the 2-norm of the Pauli spectrum, or equivalently, the normalized Frobenius norm. For testing whether a Hamiltonian is $\epsilon_1$-close to $k$-local or $\epsilon_2$-far from $k$-local, we show that $O(1/(\epsilon_2-\epsilon_1)^{8})$ queries suffice. This solves two questions posed in a recent work by Bluhm, Caro and Oufkir. For learning up to error $\epsilon$, we show that $\exp(O(k^2+k\log(1/\epsilon)))$ queries suffice. Our proofs are simple, concise and based on Pauli-analytic techniques.

categories: quant-ph cs.CC cs.DS cs.IT cs.LG math.IT


title: LLMs' Reading Comprehension Is Affected by Parametric Knowledge and Struggles with Hypothetical Statements

abstract: The task of reading comprehension (RC), often implemented as context-based question answering (QA), provides a primary means to assess language models' natural language understanding (NLU) capabilities. Yet, when applied to large language models (LLMs) with extensive built-in world knowledge, this method can be deceptive. If the context aligns with the LLMs' internal knowledge, it is hard to discern whether the models' answers stem from context comprehension or from LLMs' internal information. Conversely, using data that conflicts with the models' knowledge creates erroneous trends which distort the results. To address this issue, we suggest to use RC on imaginary data, based on fictitious facts and entities. This task is entirely independent of the models' world knowledge, enabling us to evaluate LLMs' linguistic abilities without the interference of parametric knowledge. Testing ChatGPT, GPT-4, LLaMA 2 and Mixtral on such imaginary data, we uncover a class of linguistic phenomena posing a challenge to current LLMs, involving thinking in terms of alternative, hypothetical scenarios. While all the models handle simple affirmative and negative contexts with high accuracy, they are much more prone to error when dealing with modal and conditional contexts. Crucially, these phenomena also trigger the LLMs' vulnerability to knowledge-conflicts again. In particular, while some models prove virtually unaffected by knowledge conflicts in affirmative and negative contexts, when faced with more semantically involved modal and conditional environments, they often fail to separate the text from their internal knowledge.


title: Facilities and practices for linear response Hubbard parameters U and J in Abinit

abstract: Members of the DFT+U family of functionals are increasingly prevalent methods of addressing errors intrinsic to (semi-) local exchange-correlation functionals at minimum computational cost, but require their parameters U and J to be calculated in situ for a given system of interest, simulation scheme, and runtime parameters. The SCF linear response approach offers ab initio acquisition of the U and has recently been extended to compute the J analogously, which measures localized errors related to exchange-like effects. We introduce a renovated post-processor, the lrUJ utility, together with this detailed best-practices guide, to enable users of the popular, open-source Abinit first-principles simulation suite to engage easily with in situ Hubbard parameters and streamline their incorporation into material simulations of interest. Features of this utility, which may also interest users and developers of other DFT codes, include $n$-degree polynomial regression, error analysis, Python plotting facilities, didactic documentation, and avenues for further developments. In this technical introduction and guide, we place particular emphasis on the intricacies and potential pitfalls introduced by the projector augmented wave (PAW) method, SCF mixing schemes, and non-linear response, several of which are translatable to DFT+U(+J) implementations in other packages.

categories: physics.comp-ph cond-mat.mtrl-sci cond-mat.str-el physics.chem-ph quant-ph


title: Coarse-grained quantum state tomography with optimal POVM construction

abstract: Constructing an integrated large-scale qubit system of realistic size requires addressing the challenge of physical crowding among qubits. This constraint poses an issue of coarse-grained (CG) measurement, wherein information from the multi-qubit system is collectively gathered. In this work, we introduce a novel approach to reconstruct the target density matrix from a comprehensive set of Positive Operator-Valued Measures (POVM) using a Parameterized Quantum Circuit (PQC) under the constraint of CG measurement. We improve the robustness and stability of CG quantum state tomography (QST) by optimizing the POVM set to achieve a generalized symmetric informationally complete (GSIC) POVM through maximization of the von Neumann entropy. This optimized construction of CG-POVMs is scalable to an N-qubit system. We further discuss a more efficient construction of N-qubit CG-QST without exponential increases in two-qubit gates or circuit depth per measurement. Our scheme offers a viable pathway towards a detector-efficient large-scale solid-state embedded qubit platform by reconstructing crucial quantum information from collective measurements.


title: NR-V2X Quality of Service Prediction Through Machine Learning with Nested Cross-Validation Scheme

abstract: The proliferation of connected vehicles and the advent of New Radio (NR) technologies have ushered in a new era of intelligent transportation systems. Ensuring reliable and lowlatency communication between vehicles and their surrounding environment is of utmost importance for the success of these systems. This paper presents a novel approach to predict Quality of Service (QoS) in Vehicle-to-Everything (V2X) communications through nested cross-validation. Our methodology employs several machine learning (ML) methods to predict some QoS metrics, such as packet delivery ratio (PDR), and throughput, in NR-based V2X scenarios. In ML employment, nested cross-validation approach, unlike conventional cross-validation approach, prevents information leakage from parameter selection into hyperparameter selection, and this results in getting more robust results in terms of overfitting. The study utilizes real-world NR-V2X datasets to train and validate the proposed ML methods. Through extensive experiments, we demonstrate the efficacy of our approach in accurately predicting QoS parameters, even in dynamic and challenging vehicular environments. In summary, our research contributes to the advancement of NR-based V2X communication systems by introducing employment of ML methods with a novel approach for QoS prediction. The combination of accurate predictions through nested cross-validation not only enhances the reliability of communication in connected vehicles' landscape but also has a supportive role for stakeholders to make informed decisions for the optimization and management of vehicular networks.


title: Counterfactual Reasoning for Multi-Label Image Classification via Patching-Based Training

abstract: The key to multi-label image classification (MLC) is to improve model performance by leveraging label correlations. Unfortunately, it has been shown that overemphasizing co-occurrence relationships can cause the overfitting issue of the model, ultimately leading to performance degradation. In this paper, we provide a causal inference framework to show that the correlative features caused by the target object and its co-occurring objects can be regarded as a mediator, which has both positive and negative impacts on model predictions. On the positive side, the mediator enhances the recognition performance of the model by capturing co-occurrence relationships; on the negative side, it has the harmful causal effect that causes the model to make an incorrect prediction for the target object, even when only co-occurring objects are present in an image. To address this problem, we propose a counterfactual reasoning method to measure the total direct effect, achieved by enhancing the direct effect caused only by the target object. Due to the unknown location of the target object, we propose patching-based training and inference to accomplish this goal, which divides an image into multiple patches and identifies the pivot patch that contains the target object. Experimental results on multiple benchmark datasets with diverse configurations validate that the proposed method can achieve state-of-the-art performance.


title: Statistical Modelling of Driving Scenarios in Road Traffic using Fleet Data of Production Vehicles

abstract: Ensuring the safety of road vehicles at an acceptable level requires the absence of any unreasonable risk arising from all potential hazards linked to the intended au-tomated driving function and its implementation. The assurance that there are no unreasonable risks stemming from hazardous behaviours associated to functional insufficiencies is denoted as safety of intended functionality (SOTIF), a concept outlined in the ISO 21448 standard. In this context, the acquisition of real driving data is considered essential for the verification and validation. For this purpose, we are currently developing a method with which data collect-ed representatively from production vehicles can be modelled into a knowledge-based system in the future. A system that represents the probabilities of occur-rence of concrete driving scenarios over the statistical population of road traffic and makes them usable. The method includes the qualitative and quantitative ab-straction of the drives recorded by the sensors in the vehicles, the possibility of subsequent wireless transmission of the abstracted data from the vehicles and the derivation of the distributions and correlations of scenario parameters. This paper provides a summary of the research project and outlines its central idea. To this end, among other things, the needs for statistical information and da-ta from road traffic are elaborated from ISO 21448, the current state of research is addressed, and methodical aspects are discussed.


title: Size selection of crack front defects: Multiple fracture-plane interactions and intrinsic lengthscales

abstract: Material failure is mediated by the propagation of cracks, which in realistic 3D materials typically involve multiple coexisting fracture planes. Multiple fracture-plane interactions create poorly understood out-of-plane crack structures, such as step defects on tensile fracture surfaces. Steps form once a slowly moving, distorted crack front segments into disconnected overlapping fracture planes separated by a stabilizing distance $h_{\rm max}$. Our experiments on numerous brittle hydrogels reveal that $h_{\rm max}$ varies linearly with both a nonlinear elastic length $\Gamma(v)/\mu$ and a dissipation length $\xi$. Here, $\Gamma(v)$ is the measured crack velocity $v$-dependent fracture energy and $\mu$ is the shear modulus. These intrinsic lengthscales point the way to a fundamental understanding of multiple-crack interactions in 3D that lead to the formation of stable out-of-plane fracture structures.

categories: cond-mat.mtrl-sci cond-mat.soft nlin.PS physics.class-ph


title: Exploring the True Potential: Evaluating the Black-box Optimization Capability of Large Language Models

abstract: Large language models (LLMs) have gained widespread popularity and demonstrated exceptional performance not only in natural language processing (NLP) tasks but also in non-linguistic domains. Their potential as artificial general intelligence extends beyond NLP, showcasing promising capabilities in diverse optimization scenarios. Despite this rising trend, whether the integration of LLMs into these black-box optimization problems is genuinely beneficial remains unexplored. This paper endeavors to tackle this issue by offering deeper insights into the potential of LLMs in optimization tasks through a comprehensive investigation. Our approach involves a comprehensive evaluation, covering both discrete and continuous optimization problems, aiming to assess the efficacy and distinctive characteristics that LLMs bring to the realm of optimization. Our findings reveal both the limitations and advantages of LLMs in optimization. On one hand, despite consuming the significant power required to run the model, LLMs exhibit subpar performance and lack desirable properties in pure numerical tasks, primarily due to a mismatch between the problem domain and their processing capabilities. On the other hand, although LLMs may not be ideal for traditional numerical optimization, their potential in broader optimization contexts remains promising. LLMs exhibit the ability to solve problems in non-numerical domains and can leverage heuristics from the prompt to enhance their performance. To the best of our knowledge, this work presents the first systematic evaluation of LLMs for numerical optimization, offering a progressive, wide-coverage, and behavioral analysis. Our findings pave the way for a deeper understanding of LLMs' role in optimization and guide future application in diverse scenarios for LLMs.


title: Computer-Assisted Global Analysis for Vibro-Impact Dynamics: A Reduced Smooth Maps Approach

abstract: We present a novel approach for studying the global dynamics of a vibro-impact pair, that is, a ball moving in a harmonically forced capsule. Motivated by a specific context of vibro-impact energy harvesting, we develop the method with broader non-smooth systems in mind. The seeming complications of the impacts of the ball with the capsule are exploited as useful non-smooth features in selecting appropriate return maps. This choice yields a computationally efficient framework for constructing return maps on short-time realizations from the state space of possible initial conditions rather than via long-time simulations often used to generate more traditional maps. The different dynamics in sub-regions in the state space yield a small collection of reduced polynomial approximations. Combined into a piecewise composite map, these capture transient and attracting behaviors and reproduce bifurcation sequences of the full system. Further ``separable'' reductions of the composite map provide insight into both transient and global dynamics. This composite map is valuable for cobweb analysis, which opens the door to computer-assisted global analysis and is realized via conservative auxiliary maps based on the extreme bounds of the maps in each subregion. We study the global dynamics of energetically favorable states and illustrate the potential of this approach in broader classes of dynamics.


title: nEMO: Dataset of Emotional Speech in Polish

abstract: Speech emotion recognition has become increasingly important in recent years due to its potential applications in healthcare, customer service, and personalization of dialogue systems. However, a major issue in this field is the lack of datasets that adequately represent basic emotional states across various language families. As datasets covering Slavic languages are rare, there is a need to address this research gap. This paper presents the development of nEMO, a novel corpus of emotional speech in Polish. The dataset comprises over 3 hours of samples recorded with the participation of nine actors portraying six emotional states: anger, fear, happiness, sadness, surprise, and a neutral state. The text material used was carefully selected to represent the phonetics of the Polish language adequately. The corpus is freely available under the terms of a Creative Commons license (CC BY-NC-SA 4.0).


title: Optimal Stopping with Interdependent Values

abstract: We study online selection problems in both the prophet and secretary settings, when arriving agents have interdependent values. In the interdependent values model, introduced in the seminal work of Milgrom and Weber [1982], each agent has a private signal and the value of an agent is a function of the signals held by all agents. Results in online selection crucially rely on some degree of independence of values, which is conceptually at odds with the interdependent values model. For prophet and secretary models under the standard independent values assumption, prior works provide constant factor approximations to the welfare. On the other hand, when agents have interdependent values, prior works in Economics and Computer Science provide truthful mechanisms that obtain optimal and approximately optimal welfare under certain assumptions on the valuation functions. We bring together these two important lines of work and provide the first constant factor approximations for prophet and secretary problems with interdependent values. We consider both the algorithmic setting, where agents are non-strategic (but have interdependent values), and the mechanism design setting with strategic agents. All our results are constructive and use simple stopping rules.


title: Fortifying Fully Convolutional Generative Adversarial Networks for Image Super-Resolution Using Divergence Measures

abstract: Super-Resolution (SR) is a time-hallowed image processing problem that aims to improve the quality of a Low-Resolution (LR) sample up to the standard of its High-Resolution (HR) counterpart. We aim to address this by introducing Super-Resolution Generator (SuRGe), a fully-convolutional Generative Adversarial Network (GAN)-based architecture for SR. We show that distinct convolutional features obtained at increasing depths of a GAN generator can be optimally combined by a set of learnable convex weights to improve the quality of generated SR samples. In the process, we employ the Jensen-Shannon and the Gromov-Wasserstein losses respectively between the SR-HR and LR-SR pairs of distributions to further aid the generator of SuRGe to better exploit the available information in an attempt to improve SR. Moreover, we train the discriminator of SuRGe with the Wasserstein loss with gradient penalty, to primarily prevent mode collapse. The proposed SuRGe, as an end-to-end GAN workflow tailor-made for super-resolution, offers improved performance while maintaining low inference time. The efficacy of SuRGe is substantiated by its superior performance compared to 18 state-of-the-art contenders on 10 benchmark datasets.


title: New variances for various kappa coefficients based on the unbiased estimator of the expected index of agreements

abstract: Recently Mart\'in Andr\'es and \'Alvarez Hern\'andez (2024) have proposed new estimators of various kappa coefficients. These estimators are based on the unbiased estimator of the expected index of agreement of each population coefficient. In their article, these authors propose variance formulas based on the univariate delta method. Here new formulas are proposed that are based on the multivariate delta method.


title: Calculation of toroidal Alfv\'en eigenmode mode structure in general axisymmetric toroidal geometry

abstract: A workflow is developed based on the ideal MHD model to investigate the linear physics of various Alfv\'en eigenmodes in general axisymmetric toroidal geometry, by solving the coupled shear Alfv\'en wave (SAW) and ion sound wave (ISW) equations in ballooning space. The model equations are solved by the FALCON code in the singular layer, and the corresponding solutions are then taken as the boundary conditions for calculating parallel mode structures in the whole ballooning space. As an application of the code, the frequencies and mode structures of toroidal Alfv\'en eigenmode (TAE) are calculated in the reference equilibria of the Divertor Tokamak Test facility (DTT) with positive and negative triangularities, respectively. By properly handling the boundary conditions, we demonstrate finite TAE damping due to coupling with the local acoustic continuum, and find that the damping rate is small for typical plasma parameters.


title: Complete stability for spherically symmetric backgrounds in beyond Horndeski theory

abstract: We consider a general static, spherically symmetric background in the quadratic beyond Horndeski theory and analyse the behaviour of linear perturbations in both parity odd and parity even sectors. We derive a full set of stability conditions for an arbitrary static, spherically symmetric solution which guarantees absence of ghosts, gradient instabilities, tachyons and superluminal modes in both sectors.


title: Quantum Simulating Nature's Fundamental Fields

abstract: Simulating key static and dynamic properties of matter -- from creation in the Big Bang to evolution into sub-atomic and astrophysical environments -- arising from the underlying fundamental quantum fields of the Standard Model and their effective descriptions, lies beyond the capabilities of classical computation alone. Advances in quantum technologies have improved control over quantum entanglement and coherence to the point where robust simulations are anticipated to be possible in the foreseeable future. We discuss the emerging area of quantum simulations of Standard-Model physics, challenges that lie ahead, and opportunities for progress in the context of nuclear and high-energy physics.


title: Inertia emulation contribution of Frades 2 variable speed pump-turbine to power network stability

abstract: This paper is addressing the quantification and the comparison of pumped storage power plants, PSPP, contribution to synchronous inertia and synthetic inertia when fixed speed and variable speed motor-generators technologies are considered, respectively. Therefore, a grid stability study was conducted by means of 1D SIMSEN simulation for the 2 x 395 MW PSPP Frades 2 in Portugal with both fixed speed and variable speed technologies in case of operation connected to an infinite power network or to an islanded 4.4 GW synchronous power network.


title: Continuous Floquet Theory in Solid-State NMR

abstract: This article presents the application of continuous Floquet theory in solid-state NMR. Continuous Floquet theory extends traditional Floquet theory to non-continuous Hamiltonians, enabling the description of observable effects not fully captured by traditional Floquet theory due to its requirement for a periodic Hamiltonian. We present closed-form expressions for computing first and second-order effective Hamiltonians, streamlining integration with traditional Floquet theory and facilitating application in NMR experiments featuring multiple modulation frequencies. Subsequently, we show examples of the practical application of Continuous Floquet theory by investigating several solid-state NMR experiments. These examples illustrate the importance of the duration of the pulse scheme regarding the width of the resonance conditions and the near-resonance behavior.


title: Bordered invariants from Khovanov homology

abstract: To every compact oriented surface that is composed entirely out of 2-dimensional 0- and 1-handles, we construct a dg category using structures arising in Khovanov homology. These dg categories form part of the 2-dimensional layer (a.k.a. modular functor) of a categorified version of the sl(2) Turaev--Viro topological field theory. As a byproduct, we obtain a unified perspective on several hitherto disparate constructions in categorified quantum topology, including the Rozansky--Willis invariants, Asaeda--Przytycki--Sikora homologies for links in thickened surfaces, categorified Jones--Wenzl projectors and associated spin networks, and dg horizontal traces.


title: Recovering a Magnitude-Symmetric Matrix from its Principal Minors

abstract: We consider the inverse problem of finding a magnitude-symmetric matrix (matrix with opposing off-diagonal entries equal in magnitude) with a prescribed set of principal minors. This problem is closely related to the theory of recognizing and learning signed determinantal point processes in machine learning, as kernels of these point processes are magnitude-symmetric matrices. In this work, we prove a number of properties regarding sparse and generic magnitude-symmetric matrices. We show that principal minors of order at most $\ell$, for some invariant $\ell$ depending only on principal minors of order at most two, uniquely determines principal minors of all orders. In addition, we produce a polynomial-time algorithm that, given access to principal minors, recovers a matrix with those principal minors using only a quadratic number of queries. Furthermore, when principal minors are known only approximately, we present an algorithm that approximately recovers a matrix, and show that the approximation guarantee of this algorithm cannot be improved in general.


title: Dynamical dark energy in light of cosmic distance measurements I: a demonstration using simulated datasets

abstract: We develop methods to extract key dark energy information from cosmic distance measurements including the BAO scales and supernovae luminosity distances. Demonstrated using simulated datasets of the complete DESI, LSST and Roman surveys designed for BAO and SNe distance measurements, we show that using our method, the dynamical behaviour of the energy, pressure, equation of state (with its time derivative) of dark energy and the cosmic deceleration function can all be accurately recovered from high-quality data, which allows for robust diagnostic tests for dark energy models.


title: Constraining the Coronal Properties of AB Dor in the Radio Regime

abstract: We present a multiwavelength study of AB Doradus, combining modelling that incorporates a spectropolarimetric magnetic field map with 8.4 GHz radio interferometry to measure the coronal extent and density of this young star. We use the surface magnetic field map to produce a 3D extrapolation of AB Dor's coronal magnetic field. From this model we create synthetic radio images throughout the stellar rotation period which we can compare with the interferometric radio observations. Our models reproduce the two-lobe structure seen in the radio observations. We successfully fit the observed flux magnitude and lobe separation with our model. We conclude that that the features seen in the radio images are a result of centrifugal containment of hot gas at the peak of closed magnetic loops, and that the corona of AB Dor extends to about 8-10 stellar radii, making it much more extended than the present-day solar corona.


title: Dynamical structures in phase-separating non-reciprocal polar active mixtures

abstract: Non-reciprocal systems exhibit diverse dynamical phases whose character depends on the type and degree of non-reciprocity. In this study, we theoretically investigate dynamical structures in a mixture of non-reciprocally aligning polar active particles with repulsion, focusing on the performance on (and connection between) different levels of description. Linear stability analyses of the associated continuum model predict a profound influence of non-reciprocity, leading to phase separation, (anti-)flocking and asymmetric clustering behavior. On the microscopic level, particle simulations confirm the emergence of these dynamical phases and allow for a more in-depth investigation of (microscopic) properties, including orientational correlations and susceptibilities. In particular, our findings demonstrate that certain dynamical properties, like a chase-and-run behavior in the asymmetrical clustering phase, are overlooked in mean-field continuum theory, making microscopic simulations an indispensable tool for studying the effects of non-reciprocal alignment couplings.


title: Disproof of the Riemann Hypothesis

abstract: The Riemann Hypothesis is a conjecture that all non-trivial zeros of Riemann Zeta function are located on the critical line in the complex plane. Hundreds of propositions in function theory and analytic number theory rely on this hypothesis. However, the problem has been unresolved for over a century. Here we show that at least one set of quadruplet-zeros exists outside the critical line through expanding the infinite product of the Riemann Xi zero function. We found that assuming there are no zeros outside the critical line will result in a contradiction with the known result that the reciprocal sum of all zeros of the xi-function is a constant, thereby refuting the Riemann Hypothesis.


title: Extremely closed subgroups and a variant on Glauberman's $Z^*$-theorem

abstract: Let $G$ be a finite group and let $H$ be a subgroup of $G$. We say that $H$ is extremely closed in $G$ if $\langle H,H^g\rangle\cap N_G(H)=H$ for all $g\in G.$ In this paper, we determine the structure of finite groups with an extremely closed abelian $p$-subgroup for some prime $p$. In particular, we show that if $G$ contains such a subgroup $H$, then $G=N_G(H)O_{p'}(G).$ This is a variant on the celebrated Glauberman's $Z^*$-Theorem.


title: A generalization of concise words

abstract: The study of verbal subgroups within a group is well-known for being an effective tool to obtain structural information about a group. Therefore, conditions that allow the classification of words in a free group are of paramount importance. One of the most studied problems is to establish which words are concise, where a word $w$ is said to be concise if the verbal subgroup $w(G)$ is finite in each group $G$ in which $w$ takes only a finite number of values. The purpose of this article is to present some results, in which a hierarchy among words is introduced, generalizing the concept of concise word.


title: Audio-Visual Generalized Zero-Shot Learning using Pre-Trained Large Multi-Modal Models

abstract: Audio-visual zero-shot learning methods commonly build on features extracted from pre-trained models, e.g. video or audio classification models. However, existing benchmarks predate the popularization of large multi-modal models, such as CLIP and CLAP. In this work, we explore such large pre-trained models to obtain features, i.e. CLIP for visual features, and CLAP for audio features. Furthermore, the CLIP and CLAP text encoders provide class label embeddings which are combined to boost the performance of the system. We propose a simple yet effective model that only relies on feed-forward neural networks, exploiting the strong generalization capabilities of the new audio, visual and textual features. Our framework achieves state-of-the-art performance on VGGSound-GZSL, UCF-GZSL, and ActivityNet-GZSL with our new features. Code and data available at: https://github.com/dkurzend/ClipClap-GZSL.


title: Dynamical dark energy in light of cosmic distance measurements II: a study using current observations

abstract: We extract key information of dark energy from current observations of BAO, OHD and $H_0$, and find hints of dynamical behaviour of dark energy. In particular, a dynamical dark energy model whose equation of state crosses $-1$ is favoured by observations. We also find that the Universe has started accelerating at a lower redshift than expected.


title: DRE: Generating Recommendation Explanations by Aligning Large Language Models at Data-level

abstract: Recommendation systems play a crucial role in various domains, suggesting items based on user behavior.However, the lack of transparency in presenting recommendations can lead to user confusion. In this paper, we introduce Data-level Recommendation Explanation (DRE), a non-intrusive explanation framework for black-box recommendation models.Different from existing methods, DRE does not require any intermediary representations of the recommendation model or latent alignment training, mitigating potential performance issues.We propose a data-level alignment method, leveraging large language models to reason relationships between user data and recommended items.Additionally, we address the challenge of enriching the details of the explanation by introducing target-aware user preference distillation, utilizing item reviews. Experimental results on benchmark datasets demonstrate the effectiveness of the DRE in providing accurate and user-centric explanations, enhancing user engagement with recommended item.


title: Compensating slice emittance growth in high brightness photoinjectors using sacrificial charge

abstract: Achieving maximum electron beam brightness in photoinjectors requires detailed control of the 3D bunch shape and precise tuning of the beam focusing. Even in state-of-the-art designs, slice emittance growth due to nonlinear space charge forces and partial nonlaminarity often remains non-negligible. In this work we introduce a new means to linearize the transverse slice phase space: a sacrificial portion of the bunch's own charge distribution, formed into a wavebroken shock front by highly nonlinear space charge forces within the gun, whose downstream purpose is to dynamically linearize the desired bunch core. We show that linearization of an appropriately prepared bunch can be achieved via strongly nonlaminar focusing of the sacrificial shock front, while the inner core focuses laminarly. This leads to a natural spatial separation of the two distributions: a dense core surrounded by a diffuse halo of sacrificial charge that can be collimated. Multi-objective genetic algorithm optimizations of the ultra-compact x-ray free electron laser (UCXFEL) injector employ this concept, and we interpret it with an analytic model that agrees well with the simulations. In simulation we demonstrate a final bunch charge of 100 pC, peak current $\sim 30$ A, and a sacrificial charge of 150 pC (250 pC total emitted from cathode) with normalized emittance growth of $<20$ nm-rad due to space charge. This implies a maximum achievable brightness approximately an order of magnitude greater than existing FEL injector designs.


title: On adversarial training and the 1 Nearest Neighbor classifier

abstract: The ability to fool deep learning classifiers with tiny perturbations of the input has lead to the development of adversarial training in which the loss with respect to adversarial examples is minimized in addition to the training examples. While adversarial training improves the robustness of the learned classifiers, the procedure is computationally expensive, sensitive to hyperparameters and may still leave the classifier vulnerable to other types of small perturbations. In this paper we analyze the adversarial robustness of the 1 Nearest Neighbor (1NN) classifier and compare its performance to adversarial training. We prove that under reasonable assumptions, the 1 NN classifier will be robust to {\em any} small image perturbation of the training images and will give high adversarial accuracy on test images as the number of training examples goes to infinity. In experiments with 45 different binary image classification problems taken from CIFAR10, we find that 1NN outperform TRADES (a powerful adversarial training algorithm) in terms of average adversarial accuracy. In additional experiments with 69 pretrained robust models for CIFAR10, we find that 1NN outperforms almost all of them in terms of robustness to perturbations that are only slightly different from those seen during training. Taken together, our results suggest that modern adversarial training methods still fall short of the robustness of the simple 1NN classifier. our code can be found at https://github.com/amirhagai/On-Adversarial-Training-And-The-1-Nearest-Neighbor-Classifier


title: Qiskit-Torch-Module: Fast Prototyping of Quantum Neural Networks

abstract: Quantum computer simulation software is an integral tool for the research efforts in the quantum computing community. An important aspect is the efficiency of respective frameworks, especially for training variational quantum algorithms. Focusing on the widely used Qiskit software environment, we develop the qiskit-torch-module. It improves runtime performance by two orders of magnitude over comparable libraries, while facilitating low-overhead integration with existing codebases. Moreover, the framework provides advanced tools for integrating quantum neural networks with PyTorch. The pipeline is tailored for single-machine compute systems, which constitute a widely employed setup in day-to-day research efforts.


title: Towards the wall-crossing of locally $\mathbb{Q}_p$-analytic representations of $\mathrm{GL}_n(K)$ for a $p$-adic field $K$

abstract: Let $K$ be a finite extension of $\mathbb{Q}_p$. We study the locally $\mathbb{Q}_p$-analytic representations $\pi$ of $\mathrm{GL}_n(K)$ of integral weights that appear in spaces of $p$-adic automorphic representations. We conjecture that the translation of $\pi$ to the singular block has an internal structure which is compatible with certain algebraic representations of $\mathrm{GL}_n$, analogously to the mod $p$ local-global compatibility conjecture of Breuil-Herzig-Hu-Morra-Schraen. We next make some conjectures and speculations on the wall-crossings of $\pi$. In particular, when $\pi$ is associated to a two dimensional de Rham Galois representation, we make conjectures and speculations on the relation between the Hodge filtrations of $\rho$ and the wall-crossings of $\pi$, which have a flavour of the Breuil-Strauch conjecture. We collect some results towards the conjectures and speculations.


title: The AstraLux-TESS high-spatial resolution imaging survey. Search for stellar companions of 215 planet candidates from TESS

abstract: Chance-aligned sources or blended companions can cause false positives in planetary transit detections or simply bias the determination of the candidate properties. In the era of high-precision space-based photometers, the need for high-spatial resolution images has demonstrated to be critical for validating and confirming transit signals. This already applied to the Kepler mission, it is now applicable to the TESS survey and will be critical for PLATO. We present the results of the AstraLux-TESS survey, a catalog of high-spatial resolution images obtained with the AstraLux instrument (Calar Alto) in the context of the TESS Follow-up Observing Program. We use the lucky-imaging technique to obtain high-spatial resolution images from planet candidate hosts included mostly in two relevant regimes: exoplanet candidates belonging to the level-one requirement of the TESS mission (planets with radii $R<4~R_{\oplus}$), and candidates around intermediate-mass stars. Among the 185 planet host candidate stars observed, we found 13 (7%) to be accompanied by additional sources within 2.2 arcsec separation. Among them, six are not associated to sources in the Gaia DR3 catalog, thus contaminating the TESS light curve. We provide upper limits and probabilities to the possible existence of field contaminants through the sensitivity limits of our images. Among the isolated hosts, we can discard hazardous companions (bright enough to mimic a planetary transit signals) for all their planets. The results from this catalog are key for the statistical validation of small planets (prime targets of the TESS mission) and planets around intermediate-mass stars in the main-sequence. These two populations of planets are hard to confirm with the radial velocity technique. Our results also demonstrate the importance of this type of follow-up observations for future transit missions like PLATO, even in the Gaia era.


title: Resistance distance and Kirchhoff index in central vertex join and central edge join of two graphs

abstract: The central graph $C(G)$ of a graph $G$ is the graph obtained by inserting a new vertex into each edge of $G$ exactly once and joining all the non-adjacent vertices in $G$. Let $G_1$ and $G_2$ be two vertex disjoint graphs. The central vertex join of $G_1$ and $G_2$ is the graph $ G_1\dot{\vee} G_2$, is obtained from $C(G_1)$ and $G_2$ by joining each vertex of $G_1$ with every vertex of $G_2$. The central edge join of $G_1$ and $G_2$ is the graph $ G_1\veebar G_2$, is obtained from $C(G_1)$ and $G_2$ by joining each vertex corresponding to the edges of $G_1$ with every vertex of $G_2$. In this article, we obtain formulae for the resistance distance and Kirchhoff index of $G_1\dot{\vee} G_2$ and $ G_1\veebar G_2$. In addition, we provide the resistance distance, Kirchhoff index, and Kemeny's constant of the central graph of a graph.


title: Variational Optimization for Constructing Inverse Potentials of Proton-Proton Scattering: A Phase Function Method Study

abstract: Background: The phase-shift analysis for proton-proton scattering has been studied by various research groups using the realistic potentials to be comprised of various internal interactions based on an exchange of pions and mesons, involving a large number of parameters. Purpose: The goal of the research is to construct inverse potentials for various l-channels of proton-proton (pp) elastic scattering using the 3-parameter Morse function in combination with atomic Hulthen by utilizing the phase function method and variational optimization technique. Methodology: The implementation of variational optimization begins with randomly assigning initial values to the Morse model parameters. Utilizing the Morse + Hulthen potential as input, the phase equations for various l-channels are numerically solved using the RK-5 method for obtaining the simulated Scattering Phase Shift (SPS). Mean Squared error between simulated and expected SPS has been chosen as the cost function. Variational optimization proceeds iteratively by adjusting potential parameters and re-evaluating the cost function until convergence is achieved. Results: All the obtained scattering phase shifts for various l-channels have been found to converge to a mean squared error <= 0.3. The computed cross-sections matched the experimental ones to less than 1% for energies up to 25 MeV. The scattering parameters are also found to closely match the experimental data. Conclusion: The inverse potentials constructed for various l-channels using Morse + atomic Hulthen are on par with the currently available high-precision realistic potentials.


title: An Overview of Absolute Value Equations: From Theory to Solution Methods and Challenges

abstract: This paper provides a thorough exploration of the absolute value equations $Ax-|x|=b$, a seemingly straightforward concept that has gained heightened attention in recent years. It is an NP-hard and nondifferentiable problem and equivalent with the standard linear complementarity problem. Offering a comprehensive review of existing literature, the study delves into theorems concerning the existence and nonexistence of solutions to the absolute value equations, along with numerical methods for effectively addressing this complex equation. Going beyond conventional approaches, the paper investigates strategies for obtaining solutions with minimal norms, techniques for correcting infeasible systems, and other pertinent topics. By pinpointing challenging issues and emphasizing open problems, this paper serves as a valuable guide for shaping the future research trajectory in this dynamic and multifaceted field.


title: Commutative Properties of Schubert Puzzles with Convex Polygonal Boundary Shapes

abstract: We generalize classical triangular Schubert puzzles to puzzles with convex polygonal boundary. We give these puzzles a geometric Schubert calculus interpretation and derive novel combinatorial commutativity statements, using purely geometric arguments, for puzzles with four, five, and six sides, having various types of symmetry in their boundary conditions. We also present formulas for the associated structure constants in terms of Littlewood-Richardson numbers, and we prove an analogue of commutativity for parallelogram-shaped equivariant puzzles.


title: On $C_n^{(1)}$-Geometric Crystal and its Ultradiscretization

abstract: Let $\mathfrak{g}$ be an affine Lie algebra with index set $I = \{0, 1, 2, \cdots , n\}$ and $\mathfrak{g}^L$ be its Langlands dual. It is conjectured that for each Dynkin node $i \in I \setminus \{0\}$ the affine Lie algebra $\mathfrak{g}$ has a positive geometric crystal whose ultra-discretization is isomorphic to the limit of a certain coherent family of perfect crystals for the Langland dual $\mathfrak{g}^L$. In this paper we construct positive geometric crystals for $\mathcal{V}(C_n^{(1)})$ in the level zero fundamental spin $C_n^{(1)}$- module $W(\varpi_n)$ for $n = 2, 3,4$ and show that its ultra-discretization is isomorphic to the limit $B^{n, \infty}$ of a coherent family $\{B^{n, l}\}_{l \geq 1}$ of perfect crystals for the Langland dual $D_n^{(2)}$ which proves the conjecture in these cases.


title: Elastic ribbons in bubble columns: when elasticity, capillarity and gravity govern equilibrium configurations

abstract: Taking advantage of the competition between elasticity and capillarity has proven to be an efficient way to design structures by folding, bending, or assembling elastic objects in contact with liquid interfaces. Elastocapillary effects often occur at scales where gravity does not play an important role, such as in microfabrication processes. However, the influence of gravity can become significant at the desktop scale, which is relevant for numerous situations including model experiments used to provide a fundamental physics understanding, working at easily accessible scales. We focus here on the case of elastic ribbons placed in two-dimensional bubble columns: by introducing an elastic ribbon inside the central soap films of a staircase bubble structure in a square cross-section column, the deviation from Plateau's laws (capillarity-dominated case dictating the shape of usual foams) can be quantified as a function of the rigidity of the ribbon. For long ribbons, gravity cannot be neglected. We provide a detailed theoretical analysis of the ribbon profile, taking into account capillarity, elasticity and gravity. We compute the total energy of the system and perform energy minimization under constraints, using Lagrangian mechanics. The model is then validated via a comparison with experiments with three different ribbon thicknesses.


title: From chiral EFT to perturbative QCD: a Bayesian model mixing approach to symmetric nuclear matter

abstract: Constraining the equation of state (EOS) of strongly interacting, dense matter is the focus of intense experimental, observational, and theoretical effort. Chiral effective field theory ($\chi$EFT) can describe the EOS between the typical densities of nuclei and those in the outer cores of neutron stars while perturbative QCD (pQCD) can be applied to properties of deconfined quark matter, both with quantified theoretical uncertainties. However, describing the complete range of densities between nuclear saturation and an almost-free quark gas with a single EOS that has well-quantified uncertainties is a challenging problem. In this work, we argue that Bayesian multi-model inference from $\chi$EFT and pQCD can help bridge the gap between the two theories: we combine the Gaussian random variables that constitute the theories' predictions for the pressure as a function of the density in symmetric nuclear matter. We do this using two Bayesian model mixing procedures: a pointwise approach, and a correlated approach implemented via a Gaussian process (GP), and present results for the pressure and speed of sound in each. The second method produces a smooth $\chi$EFT-to-pQCD EOS. Without input data in the intermediate region, the choice of prior on the EOS, encoded through the GP kernel, as the prior on the EOS function space significantly affects the result in that region. We also discuss future extensions and applications to neutron star matter guided by recent EOS constraints from nuclear theory, nuclear experiment, and multi-messenger astronomy.


title: Dynamic D2D-Assisted Federated Learning over O-RAN: Performance Analysis, MAC Scheduler, and Asymmetric User Selection

abstract: Existing studies on federated learning (FL) are mostly focused on system orchestration for static snapshots of the network and making static control decisions (e.g., spectrum allocation). However, real-world wireless networks are susceptible to temporal variations of wireless channel capacity and users' datasets. In this paper, we incorporate multi-granular system dynamics (MSDs) into FL, including (M1) dynamic wireless channel capacity, captured by a set of discrete-time events, called $\mathscr{D}$-Events, and (M2) dynamic datasets of users. The latter is characterized by (M2-a) modeling the dynamics of user's dataset size via an ordinary differential equation and (M2-b) introducing dynamic model drift}, formulated via a partial differential inequality} drawing concrete analytical connections between the dynamics of users' datasets and FL accuracy. We then conduct FL orchestration under MSDs by introducing dynamic cooperative FL with dedicated MAC schedulers (DCLM), exploiting the unique features of open radio access network (O-RAN). DCLM proposes (i) a hierarchical device-to-device (D2D)-assisted model training, (ii) dynamic control decisions through dedicated O-RAN MAC schedulers, and (iii) asymmetric user selection. We provide extensive theoretical analysis to study the convergence of DCLM. We then optimize the degrees of freedom (e.g., user selection and spectrum allocation) in DCLM through a highly non-convex optimization problem. We develop a systematic approach to obtain the solution for this problem, opening the door to solving a broad variety of network-aware FL optimization problems. We show the efficiency of DCLM via numerical simulations and provide a series of future directions.


title: Automatically Learning HTN Methods from Landmarks

abstract: Hierarchical Task Network (HTN) planning usually requires a domain engineer to provide manual input about how to decompose a planning problem. Even HTN-MAKER, a well-known method-learning algorithm, requires a domain engineer to annotate the tasks with information about what to learn. We introduce CURRICULAMA, an HTN method learning algorithm that completely automates the learning process. It uses landmark analysis to compose annotated tasks and leverages curriculum learning to order the learning of methods from simpler to more complex. This eliminates the need for manual input, resolving a core issue with HTN-MAKER. We prove CURRICULAMA's soundness, and show experimentally that it has a substantially similar convergence rate in learning a complete set of methods to HTN-MAKER.


title: What is the $\textit{intrinsic}$ dimension of your binary data? -- and how to compute it quickly

abstract: Dimensionality is an important aspect for analyzing and understanding (high-dimensional) data. In their 2006 ICDM paper Tatti et al. answered the question for a (interpretable) dimension of binary data tables by introducing a normalized correlation dimension. In the present work we revisit their results and contrast them with a concept based notion of intrinsic dimension (ID) recently introduced for geometric data sets. To do this, we present a novel approximation for this ID that is based on computing concepts only up to a certain support value. We demonstrate and evaluate our approximation using all available datasets from Tatti et al., which have between 469 and 41271 extrinsic dimensions.


title: Characterizations of Sparsifiability for Affine CSPs and Symmetric CSPs

abstract: CSP sparsification, introduced by Kogan and Krauthgamer (ITCS 2015), considers the following question: when can an instance of a constraint satisfaction problem be sparsified (by retaining a weighted subset of the constraints) while still roughly capturing the weight of constraints satisfied by {\em every} assignment. CSP sparsification generalizes and abstracts other commonly studied problems including graph cut-sparsification, hypergraph cut-sparsification and hypergraph XOR-sparsification. A central question here is to understand what properties of a constraint predicate $P:\Sigma^r \to \{0,1\}$ (where variables are assigned values in $\Sigma$) allow for nearly linear-size sparsifiers (in the number of variables). In this work (1) we significantly extend the class of CSPs for which nearly linear-size, and other non-trivial, sparsifications exist and give classifications in some broad settings and (2) give a polynomial-time algorithm to extract this sparsification. Our results captured in item (1) completely classify all symmetric Boolean predicates $P$ (i.e., on the Boolean domain $\Sigma = \{0,1\}$) that allow nearly-linear-size sparsifications. Symmetric Boolean CSPs already capture all the special classes of sparisifcation listed above including hypergraph cut-sparsification and variants. Our study of symmetric CSPs reveals an inherent, previously undetected, number-theoretic phenomenon that determines near-linear size sparsifiability. We also completely classify the set of Boolean predicates $P$ that allow non-trivial ($o(n^r)$-size) sparsifications, thus answering an open question from the work of Kogan and Krauthgamer.


title: Flow Fusion, Exploiting Measurement Redundancy for Smarter Allocation

abstract: In petroleum production systems, continuous multiphase flow rates are essential for efficient operation. They provide situational awareness, enable production optimization, improve reservoir management and planning, and form the basis for allocation. Furthermore, they can be crucial to ensure a fair revenue split between stakeholders for complex production systems where operators share the facilities. Yet, due to complex multiphase flow dynamics and uncertain subsurface fluid properties, the flow rates are challenging to obtain with high accuracy. Consequently, flow rate measurement and estimation solutions, such as multiphase flow meters and virtual flow meters, have different degrees of accuracy and suitability, and impact production decisions and production allocation accordingly. We propose a field-proven, data-driven framework for reconciliation and allocation. With data validation and reconciliation as the theoretical backbone, the solution exploits measurement redundancy to fuse together relevant flow rate information to infer the most likely flow rates in the production system based on quantifiable uncertainties. The framework consists of four modules: data-processing, uncertainty estimation, reconciliation, and gross error detection. The latter, being the focus of this paper, is a means to identify and mitigate the effect of measurements subject to systematic error, which can invalidate the reconciliation. In this paper, we highlight that a combination of statistical tests and supporting logic for gross error detection and elimination can be beneficial in obtaining a more justifiable production allocation. Using the maximum power measurement test, the module can be limited in its ability to pinpoint the erroneous measurement. Yet, it is demonstrated that the detections can be convenient indications of gross errors and where these might reside in the production system.


title: Description of the processes $e^+e^- \to K^+K^-\pi^0$ and $e^+e^- \to K^+K^-\eta$ within the extended NJL model

abstract: In the framework of the $U(3) \times U(3)$ extended Nambu-Jona-Lasinio model, the processes $e^+e^- \to K^+K^-\pi^0$ and $e^+e^- \to K^+K^-\eta$ are described taking into account both ground and first radially excited intermediate meson states. It is shown that channels with radially excited $\phi(1680)$ meson are dominant in both processes. The influence on the results of the appearance of phase factors of radially excited intermediate states, the existence of which is indicated by experimental data, is discussed.


title: Generative Pre-Trained Transformer for Symbolic Regression Base In-Context Reinforcement Learning

abstract: The mathematical formula is the human language to describe nature and is the essence of scientific research. Finding mathematical formulas from observational data is a major demand of scientific research and a major challenge of artificial intelligence. This area is called symbolic regression. Originally symbolic regression was often formulated as a combinatorial optimization problem and solved using GP or reinforcement learning algorithms. These two kinds of algorithms have strong noise robustness ability and good Versatility. However, inference time usually takes a long time, so the search efficiency is relatively low. Later, based on large-scale pre-training data proposed, such methods use a large number of synthetic data points and expression pairs to train a Generative Pre-Trained Transformer(GPT). Then this GPT can only need to perform one forward propagation to obtain the results, the advantage is that the inference speed is very fast. However, its performance is very dependent on the training data and performs poorly on data outside the training set, which leads to poor noise robustness and Versatility of such methods. So, can we combine the advantages of the above two categories of SR algorithms? In this paper, we propose \textbf{FormulaGPT}, which trains a GPT using massive sparse reward learning histories of reinforcement learning-based SR algorithms as training data. After training, the SR algorithm based on reinforcement learning is distilled into a Transformer. When new test data comes, FormulaGPT can directly generate a "reinforcement learning process" and automatically update the learning policy in context. Tested on more than ten datasets including SRBench, formulaGPT achieves the state-of-the-art performance in fitting ability compared with four baselines. In addition, it achieves satisfactory results in noise robustness, versatility, and inference efficiency.


title: Sparse space-time resolvent analysis for statistically-stationary and time-varying flows

abstract: Resolvent analysis provides a framework to predict coherent spatio-temporal structures of largest linear energy amplification, through a singular value decomposition (SVD) of the resolvent operator, obtained by linearizing the Navier--Stokes equations about a known turbulent mean velocity profile. Resolvent analysis utilizes a Fourier decomposition in time, which has thus-far limited its application to statistically-stationary or time-periodic flows. This work develops a variant of resolvent analysis applicable to time-evolving flows, and proposes a variant that identifies spatio-temporally sparse structures, applicable to either stationary or time-varying mean velocity profiles. Spatio-temporal resolvent analysis is formulated through the incorporation of the temporal dimension to the numerical domain via a discrete time-differentiation operator. Sparsity (which manifests in localisation) is achieved through the addition of an L1-norm penalisation term to the optimisation associated with the SVD. This modified optimization problem can be formulated as a nonlinear eigenproblem, and solved via an inverse power method. We first demonstrate the implementation of the sparse analysis on statistically-stationary turbulent channel flow, and demonstrate that the sparse variant can identify aspects of the physics not directly evident from standard resolvent analysis. This is followed by applying the sparse space-time formulation on systems that are time-varying: a time-periodic turbulent Stokes boundary layer, and then a turbulent channel flow with a sudden change in pressure gradient. We present results demonstrating how the sparsity-promoting variant can either change the quantitative structure of the leading space-time modes to increase their sparsity, or identify entirely different linear amplification mechanisms compared to non-sparse resolvent analysis.


title: X-VARS: Introducing Explainability in Football Refereeing with Multi-Modal Large Language Model

abstract: The rapid advancement of artificial intelligence has led to significant improvements in automated decision-making. However, the increased performance of models often comes at the cost of explainability and transparency of their decision-making processes. In this paper, we investigate the capabilities of large language models to explain decisions, using football refereeing as a testing ground, given its decision complexity and subjectivity. We introduce the Explainable Video Assistant Referee System, X-VARS, a multi-modal large language model designed for understanding football videos from the point of view of a referee. X-VARS can perform a multitude of tasks, including video description, question answering, action recognition, and conducting meaningful conversations based on video content and in accordance with the Laws of the Game for football referees. We validate X-VARS on our novel dataset, SoccerNet-XFoul, which consists of more than 22k video-question-answer triplets annotated by over 70 experienced football referees. Our experiments and human study illustrate the impressive capabilities of X-VARS in interpreting complex football clips. Furthermore, we highlight the potential of X-VARS to reach human performance and support football referees in the future.


title: On the 576-fold periodicity of the spectrum SQFT: The proof of the lower bound via the Anderson duality pairing

abstract: We are aimed at giving a differential geometric, and accordingly physical, explanation of the 576-periodicity of TMF. In this paper, we settle the problem of giving the lower bound 576. We formulate the problem as follows: we assume a spectrum $\mathrm{SQFT}$ with some conditions, suggest from physical considerations about the classifying spectrum for two-dimensional $\mathcal{N}=(0,1)$-supersymmetric quantum field theories, and show that the periodicity of $\mathrm{SQFT}$ is no less than 576. The main tool for the proof is the analogue of the Anderson duality pairing introduced by the second-named author and Tachikawa. We do not rely on the Segal-Stolz-Teichner conjecture, so in particular we do not use any comparison map with TMF.


title: Calibration of luminosity correlations of gamma-ray bursts using quasars

abstract: In order to test the efficacy of Gamma-ray Bursts (GRBs) as cosmological probes, we the characterize the scatter in the correlations between six pairs of GRB related observables, which have previously also been studied in arXiv:2011.14040. However, some of these observables depend on the luminosity distance, for which one needs to assume an underlying cosmological model. In order to circumvent this circularity problem, we use X-ray and UV fluxes of quasars as distance anchors to calculate the luminosity distance in a model-independent manner, which in turn gets used to calculate the GRB-related quantities. We find that all the six pairs of regression relations show a high intrinsic scatter for both the low and high redshift sample. This implies that these GRB observables cannot be used as model-independent cosmological probes.


title: Software and computing for Run 3 of the ATLAS experiment at the LHC

abstract: The ATLAS experiment has developed extensive software and distributed computing systems for Run 3 of the LHC. These systems are described in detail, including software infrastructure and workflows, distributed data and workload management, database infrastructure, and validation. The use of these systems to prepare the data for physics analysis and assess its quality are described, along with the software tools used for data analysis itself. An outlook for the development of these projects towards Run 4 is also provided.


title: Quantum State Generation with Structure-Preserving Diffusion Model

abstract: This article considers the generative modeling of the (mixed) states of quantum systems, and an approach based on denoising diffusion model is proposed. The key contribution is an algorithmic innovation that respects the physical nature of quantum states. More precisely, the commonly used density matrix representation of mixed-state has to be complex-valued Hermitian, positive semi-definite, and trace one. Generic diffusion models, or other generative methods, may not be able to generate data that strictly satisfy these structural constraints, even if all training data do. To develop a machine learning algorithm that has physics hard-wired in, we leverage mirror diffusion and borrow the physical notion of von Neumann entropy to design a new map, for enabling strict structure-preserving generation. Both unconditional generation and conditional generation via classifier-free guidance are experimentally demonstrated efficacious, the latter enabling the design of new quantum states when generated on unseen labels.


title: Matching 2D Images in 3D: Metric Relative Pose from Metric Correspondences

abstract: Given two images, we can estimate the relative camera pose between them by establishing image-to-image correspondences. Usually, correspondences are 2D-to-2D and the pose we estimate is defined only up to scale. Some applications, aiming at instant augmented reality anywhere, require scale-metric pose estimates, and hence, they rely on external depth estimators to recover the scale. We present MicKey, a keypoint matching pipeline that is able to predict metric correspondences in 3D camera space. By learning to match 3D coordinates across images, we are able to infer the metric relative pose without depth measurements. Depth measurements are also not required for training, nor are scene reconstructions or image overlap information. MicKey is supervised only by pairs of images and their relative poses. MicKey achieves state-of-the-art performance on the Map-Free Relocalisation benchmark while requiring less supervision than competing approaches.


title: Statistical Estimation of Mean Lorentzian Line Width in Spectra by Gaussian Processes

abstract: We propose a statistical approach for estimating the mean line width in spectra comprising Lorentzian, Gaussian, or Voigt line shapes. Our approach uses Gaussian processes in two stages to jointly model a spectrum and its Fourier transform. We generate statistical samples for the mean line width by drawing realizations for the Fourier transform and its derivative using Markov chain Monte Carlo methods. In addition to being fully automated, our method enables well-calibrated uncertainty quantification of the mean line width estimate through Bayesian inference. We validate our method using a simulation study and apply it to an experimental Raman spectrum of $\beta$-carotene.


title: Finding fake reviews in e-commerce platforms by using hybrid algorithms

abstract: Sentiment analysis, a vital component in natural language processing, plays a crucial role in understanding the underlying emotions and opinions expressed in textual data. In this paper, we propose an innovative ensemble approach for sentiment analysis for finding fake reviews that amalgamate the predictive capabilities of Support Vector Machine (SVM), K-Nearest Neighbors (KNN), and Decision Tree classifiers. Our ensemble architecture strategically combines these diverse models to capitalize on their strengths while mitigating inherent weaknesses, thereby achieving superior accuracy and robustness in fake review prediction. By combining all the models of our classifiers, the predictive performance is boosted and it also fosters adaptability to varied linguistic patterns and nuances present in real-world datasets. The metrics accounted for on fake reviews demonstrate the efficacy and competitiveness of the proposed ensemble method against traditional single-model approaches. Our findings underscore the potential of ensemble techniques in advancing the state-of-the-art in finding fake reviews using hybrid algorithms, with implications for various applications in different social media and e-platforms to find the best reviews and neglect the fake ones, eliminating puffery and bluffs.


title: Experimental System Design of an Active Fault-Tolerant Quadrotor

abstract: Quadrotors have gained popularity over the last decade, aiding humans in complex tasks such as search and rescue, mapping and exploration. Despite their mechanical simplicity and versatility compared to other types of aerial vehicles, they remain vulnerable to rotor failures. In this paper, we propose an algorithmic and mechanical approach to addressing the quadrotor fault-tolerant problem in case of rotor failures. First, we present a fault-tolerant detection and control scheme that includes various attitude error metrics. The scheme transitions to a fault-tolerant control mode by surrendering the yaw control. Subsequently, to ensure compatibility with platform sensing constraints, we investigate the relationship between variations in robot rotational drag, achieved through a modular mechanical design appendage, resulting in yaw rates within sensor limits. This analysis offers a platform-agnostic framework for designing more reliable and robust quadrotors in the event of rotor failures. Extensive experimental results validate the proposed approach providing insights into successfully designing a cost-effective quadrotor capable of fault-tolerant control. The overall design enhances safety in scenarios of faulty rotors, without the need for additional sensors or computational resources.


title: Sustainable and Precision Agriculture with the Internet of Everything (IoE)

abstract: The accelerated pace of global population growth underscores the crucial role of the agricultural sector in mitigating food scarcity, as well as in supporting livelihoods through employment opportunities and bolstering national economies. This sector faces several critical challenges, including resource depletion, socioeconomic issues, gaps in technology and innovation, and the impact of climate change. The introduction of mechanization has significantly transformed agriculture by enhancing sustainability and increasing the productivity of crops. Recently, traditional farming methods have been supplemented with advanced technologies steering the industry towards precision agriculture. The convergence of these advanced technologies has facilitated the automation of various tasks such as water management, crop monitoring, disease management, and harvesting. The concept of Internet of Everything (IoE) has gained traction due to its holistic approach towards integrating various IoT specializations, called IoXs where X referring to a specific domain. This includes areas like the Internet of Sensors (IoS), Internet of Vehicles (IoV), Internet of Energy (IoEn), Internet of Space Things (IoST), Industrial Internet of Things (IIoT), and Internet of Drones (IoD). This paper explores the potential of the Internet of Everything (IoE) in revolutionizing agricultural systems. The focus is on assessing the impact of cutting-edge and novel technologies, such as 6G, molecular communication (MC), Internet of Nano Things (IoNT), Internet of Bio-Nano Things (IoBNT), Internet of Fungus, and designer phages, in significantly improving agricultural yield, efficiency, and productivity. Additionally, the potential of these technologies is evaluated in terms of their applicability, associated challenges, and future research directions within the realm of precision agriculture.


title: Oracle-Net for nonlinear compressed sensing in Electrical Impedance Tomography reconstruction problems

abstract: Sparse recovery principles play an important role in solving many nonlinear ill-posed inverse problems. We investigate a variational framework with support Oracle for compressed sensing sparse reconstructions, where the available measurements are nonlinear and possibly corrupted by noise. A graph neural network, named Oracle-Net, is proposed to predict the support from the nonlinear measurements and is integrated into a regularized recovery model to enforce sparsity. The derived nonsmooth optimization problem is then efficiently solved through a constrained proximal gradient method. Error bounds on the approximate solution of the proposed Oracle-based optimization are provided in the context of the ill-posed Electrical Impedance Tomography problem. Numerical solutions of the EIT nonlinear inverse reconstruction problem confirm the potential of the proposed method which improves the reconstruction quality from undersampled measurements, under sparsity assumptions.


title: Does the Earth's rotation speed really tend to accelerate for a long time?

abstract: Recently published studies suggested that the difference between Universal and Coordinated Time UT1-UTC could reach a large positive value in a few years, making it necessary to introduce a negative leap second into the UTC scale for the first time in its history. Based on the latest UT1 series provided by the International Earth Rotation and Reference Systems Service (IERS) and its prediction, it was shown that the tendency to acceleration of the Earth's rotation observed over past four years most likely will return to the deceleration, which is the usual behavior of the Earth rotational dynamics during past decades.


title: Synaptogen: A cross-domain generative device model for large-scale neuromorphic circuit design

abstract: We present a fast generative modeling approach for resistive memories that reproduces the complex statistical properties of real-world devices. To enable efficient modeling of analog circuits, the model is implemented in Verilog-A. By training on extensive measurement data of integrated 1T1R arrays (6,000 cycles of 512 devices), an autoregressive stochastic process accurately accounts for the cross-correlations between the switching parameters, while non-linear transformations ensure agreement with both cycle-to-cycle (C2C) and device-to-device (D2D) variability. Benchmarks show that this statistically comprehensive model achieves read/write throughputs exceeding those of even highly simplified and deterministic compact models.


title: AgentsCoDriver: Large Language Model Empowered Collaborative Driving with Lifelong Learning

abstract: Connected and autonomous driving is developing rapidly in recent years. However, current autonomous driving systems, which are primarily based on data-driven approaches, exhibit deficiencies in interpretability, generalization, and continuing learning capabilities. In addition, the single-vehicle autonomous driving systems lack of the ability of collaboration and negotiation with other vehicles, which is crucial for the safety and efficiency of autonomous driving systems. In order to address these issues, we leverage large language models (LLMs) to develop a novel framework, AgentsCoDriver, to enable multiple vehicles to conduct collaborative driving. AgentsCoDriver consists of five modules: observation module, reasoning engine, cognitive memory module, reinforcement reflection module, and communication module. It can accumulate knowledge, lessons, and experiences over time by continuously interacting with the environment, thereby making itself capable of lifelong learning. In addition, by leveraging the communication module, different agents can exchange information and realize negotiation and collaboration in complex traffic environments. Extensive experiments are conducted and show the superiority of AgentsCoDriver.


title: Hierarchy of Exchange-Correlation Functionals in Computing Lattice Thermal Conductivities of Rocksalt and Zincblende Semiconductors

abstract: Lattice thermal conductivity ($\kappa_{\rm L}$) is a crucial characteristic of crystalline solids with significant implications for practical applications. While the higher order of anharmonicity of phonon gas model is commonly used for explaining extraordinary heat transfer behaviors in crystals, the impact of exchange-correlation (XC) functionals in DFT on describing anharmonicity has been largely overlooked. Most XC functionals in solids focus on ground state properties that mainly involve the harmonic approximation, neglecting temperature effects, and their reliability in studying anharmonic properties remains insufficiently explored. In this study, we systematically investigate the room-temperature $\kappa_{\rm L}$ of 16 binary compounds with rocksalt and zincblende structures using 8 XC functionals such as LDA, PBE, PBEsol, optB86b, revTPSS, SCAN, rSCAN, r$^2$SCAN in combination with three perturbation orders, including phonon within harmonic approximation (HA) plus three-phonon scattering (HA+3ph), phonon calculated using self-consistent phonon theory (SCPH) plus three-phonon scattering (SCPH+3ph), and SCPH phonon plus three- and four-phonon scattering (SCPH+3,4ph). Our results show that the XC functional exhibits strong entanglement with perturbation order and the mean relative absolute error (MRAE) of the computed $\kappa_{\rm L}$ is strongly influenced by both the XC functional and perturbation order, leading to error cancellation or amplification. The minimal (maximal) MRAE is achieved with revTPSS (rSCAN) at the HA+3ph level, SCAN (r$^2$SCAN) at the SCPH+3ph level, and PBEsol (rSCAN) at the SCPH+3,4ph level. Among these functionals, PBEsol exhibits the highest accuracy at the highest perturbation order. The SCAN-related functionals demonstrate moderate accuracy but are suffer from numerical instability and high computational costs.


title: RAR-b: Reasoning as Retrieval Benchmark

abstract: Semantic textual similartiy (STS) and information retrieval tasks (IR) tasks have been the two major avenues to record the progress of embedding models in the past few years. Under the emerging Retrieval-augmented Generation (RAG) paradigm, we envision the need to evaluate next-level language understanding abilities of embedding models, and take a conscious look at the reasoning abilities stored in them. Addressing this, we pose the question: Can retrievers solve reasoning problems? By transforming reasoning tasks into retrieval tasks, we find that without specifically trained for reasoning-level language understanding, current state-of-the-art retriever models may still be far from being competent for playing the role of assisting LLMs, especially in reasoning-intensive tasks. Moreover, albeit trained to be aware of instructions, instruction-aware IR models are often better off without instructions in inference time for reasoning tasks, posing an overlooked retriever-LLM behavioral gap for the research community to align. However, recent decoder-based embedding models show great promise in narrowing the gap, highlighting the pathway for embedding models to achieve reasoning-level language understanding. We also show that, although current off-the-shelf re-ranker models fail on these tasks, injecting reasoning abilities into them through fine-tuning still appears easier than doing so to bi-encoders, and we are able to achieve state-of-the-art performance across all tasks by fine-tuning a reranking model. We release Reasoning as Retrieval Benchmark (RAR-b), a holistic suite of tasks and settings to evaluate the reasoning abilities stored in retriever models. RAR-b is available at https://github.com/gowitheflow-1998/RAR-b.


title: Dynamics of Star Cluster Formation: Mergers in Gas Rich Environments

abstract: We perform high resolution simulations of forming star clusters as they merge inside giant molecular clouds (GMCs) using hydrodynamics coupled to N-body dynamics to simultaneously model both the gas and stars. We zoom in to previously run GMC simulations and resolve clusters into their stellar and gas components while including the surrounding GMC environment. We find that GMC gas is important in facilitating the growth of clusters in their embedded phase by promoting cluster mergers. Mergers induce asymmetric expansion of the stellar component of the clusters in our simulations. As well, mergers induce angular momentum in the clusters' stellar and gas components. We find that mergers can lead to an increase in the amount of dense gas present in clusters if a background gas distribution is present. We predict that this can lead to new star formation that can change the overall distribution of cluster stars in velocity space. Our results suggest that subcluster mergers in the presence of background gas can imprint dynamical signatures that can be used to constrain cluster formation histories.


title: CausalBench: A Comprehensive Benchmark for Causal Learning Capability of Large Language Models

abstract: Causality reveals fundamental principles behind data distributions in real-world scenarios, and the capability of large language models (LLMs) to understand causality directly impacts their efficacy across explaining outputs, adapting to new evidence, and generating counterfactuals. With the proliferation of LLMs, the evaluation of this capacity is increasingly garnering attention. However, the absence of a comprehensive benchmark has rendered existing evaluation studies being straightforward, undiversified, and homogeneous. To address these challenges, this paper proposes a comprehensive benchmark, namely CausalBench, to evaluate the causality understanding capabilities of LLMs. Originating from the causal research community, CausalBench encompasses three causal learning-related tasks, which facilitate a convenient comparison of LLMs' performance with classic causal learning algorithms. Meanwhile, causal networks of varying scales and densities are integrated in CausalBench, to explore the upper limits of LLMs' capabilities across task scenarios of varying difficulty. Notably, background knowledge and structured data are also incorporated into CausalBench to thoroughly unlock the underlying potential of LLMs for long-text comprehension and prior information utilization. Based on CausalBench, this paper evaluates nineteen leading LLMs and unveils insightful conclusions in diverse aspects. Firstly, we present the strengths and weaknesses of LLMs and quantitatively explore the upper limits of their capabilities across various scenarios. Meanwhile, we further discern the adaptability and abilities of LLMs to specific structural networks and complex chain of thought structures. Moreover, this paper quantitatively presents the differences across diverse information sources and uncovers the gap between LLMs' capabilities in causal understanding within textual contexts and numerical domains.


title: Rolling Shutter Correction with Intermediate Distortion Flow Estimation

abstract: This paper proposes to correct the rolling shutter (RS) distorted images by estimating the distortion flow from the global shutter (GS) to RS directly. Existing methods usually perform correction using the undistortion flow from the RS to GS. They initially predict the flow from consecutive RS frames, subsequently rescaling it as the displacement fields from the RS frame to the underlying GS image using time-dependent scaling factors. Following this, RS-aware forward warping is employed to convert the RS image into its GS counterpart. Nevertheless, this strategy is prone to two shortcomings. First, the undistortion flow estimation is rendered inaccurate by merely linear scaling the flow, due to the complex non-linear motion nature. Second, RS-aware forward warping often results in unavoidable artifacts. To address these limitations, we introduce a new framework that directly estimates the distortion flow and rectifies the RS image with the backward warping operation. More specifically, we first propose a global correlation-based flow attention mechanism to estimate the initial distortion flow and GS feature jointly, which are then refined by the following coarse-to-fine decoder layers. Additionally, a multi-distortion flow prediction strategy is integrated to mitigate the issue of inaccurate flow estimation further. Experimental results validate the effectiveness of the proposed method, which outperforms state-of-the-art approaches on various benchmarks while maintaining high efficiency. The project is available at \url{https://github.com/ljzycmd/DFRSC}.


title: HPNet: Dynamic Trajectory Forecasting with Historical Prediction Attention

abstract: Predicting the trajectories of road agents is essential for autonomous driving systems. The recent mainstream methods follow a static paradigm, which predicts the future trajectory by using a fixed duration of historical frames. These methods make the predictions independently even at adjacent time steps, which leads to potential instability and temporal inconsistency. As successive time steps have largely overlapping historical frames, their forecasting should have intrinsic correlation, such as overlapping predicted trajectories should be consistent, or be different but share the same motion goal depending on the road situation. Motivated by this, in this work, we introduce HPNet, a novel dynamic trajectory forecasting method. Aiming for stable and accurate trajectory forecasting, our method leverages not only historical frames including maps and agent states, but also historical predictions. Specifically, we newly design a Historical Prediction Attention module to automatically encode the dynamic relationship between successive predictions. Besides, it also extends the attention range beyond the currently visible window benefitting from the use of historical predictions. The proposed Historical Prediction Attention together with the Agent Attention and Mode Attention is further formulated as the Triple Factorized Attention module, serving as the core design of HPNet.Experiments on the Argoverse and INTERACTION datasets show that HPNet achieves state-of-the-art performance, and generates accurate and stable future trajectories. Our code are available at https://github.com/XiaolongTang23/HPNet.


title: DaF-BEVSeg: Distortion-aware Fisheye Camera based Bird's Eye View Segmentation with Occlusion Reasoning

abstract: Semantic segmentation is an effective way to perform scene understanding. Recently, segmentation in 3D Bird's Eye View (BEV) space has become popular as its directly used by drive policy. However, there is limited work on BEV segmentation for surround-view fisheye cameras, commonly used in commercial vehicles. As this task has no real-world public dataset and existing synthetic datasets do not handle amodal regions due to occlusion, we create a synthetic dataset using the Cognata simulator comprising diverse road types, weather, and lighting conditions. We generalize the BEV segmentation to work with any camera model; this is useful for mixing diverse cameras. We implement a baseline by applying cylindrical rectification on the fisheye images and using a standard LSS-based BEV segmentation model. We demonstrate that we can achieve better performance without undistortion, which has the adverse effects of increased runtime due to pre-processing, reduced field-of-view, and resampling artifacts. Further, we introduce a distortion-aware learnable BEV pooling strategy that is more effective for the fisheye cameras. We extend the model with an occlusion reasoning module, which is critical for estimating in BEV space. Qualitative performance of DaF-BEVSeg is showcased in the video at https://streamable.com/ge4v51.