title: How well can large language models explain business processes?

abstract: Large Language Models (LLMs) are likely to play a prominent role in future AI-augmented business process management systems (ABPMSs) catering functionalities across all system lifecycle stages. One such system's functionality is Situation-Aware eXplainability (SAX), which relates to generating causally sound and yet human-interpretable explanations that take into account the process context in which the explained condition occurred. In this paper, we present the SAX4BPM framework developed to generate SAX explanations. The SAX4BPM suite consists of a set of services and a central knowledge repository. The functionality of these services is to elicit the various knowledge ingredients that underlie SAX explanations. A key innovative component among these ingredients is the causal process execution view. In this work, we integrate the framework with an LLM to leverage its power to synthesize the various input ingredients for the sake of improved SAX explanations. Since the use of LLMs for SAX is also accompanied by a certain degree of doubt related to its capacity to adequately fulfill SAX along with its tendency for hallucination and lack of inherent capacity to reason, we pursued a methodological evaluation of the quality of the generated explanations. To this aim, we developed a designated scale and conducted a rigorous user study. Our findings show that the input presented to the LLMs aided with the guard-railing of its performance, yielding SAX explanations having better-perceived fidelity. This improvement is moderated by the perception of trust and curiosity. More so, this improvement comes at the cost of the perceived interpretability of the explanation.


title: A new binning method to choose a standard set of Quasars

abstract: Although the Lambda Cold Dark Matter model is the most accredited cosmological model, information at intermediate redshifts (z) between type Ia Supernovae (z = 2.26) and the Cosmic Microwave Background (z = 1100) is crucial to validate this model further. Here, we present a detailed and reliable methodology for binning the quasars (QSO) data that allows the identification of a golden sample of QSOs to be used as standard candles. This procedure has the advantage of being very general. Thus, it can be applied to any astrophysical sources at cosmological distances. This methodology allows us to avoid the circularity problem since it involves a flux-flux relation and includes the analysis of removing selection biases and the redshift evolution. With this method, we have discovered a sample of 1253 quasars up to z = 7.54 with reduced intrinsic dispersion of the relation between Ultraviolet and X-ray fluxes, with $\delta_{int} = 0.096\pm 0.003$ (56\% less than the original sample where $\delta_{int} =0.22$). Once the luminosities are corrected for selection biases and redshift evolution, this `gold' sample allows us to determine the matter density parameter to be $\Omega_M=0.240 \pm 0.064$. This value is aligned with the results of the $\Lambda CDM$ model obtained with SNe Ia.


title: Optimal Evasion from a Sensing-Limited Pursuer

abstract: This paper investigates a partial-information pursuit evasion game in which the Pursuer has a limited-range sensor to detect the Evader. Given a fixed final time, we derive the optimal evasion strategy for the Evader to maximize its distance from the pursuer at the end. Our analysis reveals that in certain parametric regimes, the optimal Evasion strategy involves a 'risky' maneuver, where the Evader's trajectory comes extremely close to the pursuer's sensing boundary before moving behind the Pursuer. Additionally, we explore a special case in which the Pursuer can choose the final time. In this scenario, we determine a (Nash) equilibrium pair for both the final time and the evasion strategy.


title: Learning safety critics via a non-contractive binary bellman operator

abstract: The inability to naturally enforce safety in Reinforcement Learning (RL), with limited failures, is a core challenge impeding its use in real-world applications. One notion of safety of vast practical relevance is the ability to avoid (unsafe) regions of the state space. Though such a safety goal can be captured by an action-value-like function, a.k.a. safety critics, the associated operator lacks the desired contraction and uniqueness properties that the classical Bellman operator enjoys. In this work, we overcome the non-contractiveness of safety critic operators by leveraging that safety is a binary property. To that end, we study the properties of the binary safety critic associated with a deterministic dynamical system that seeks to avoid reaching an unsafe region. We formulate the corresponding binary Bellman equation (B2E) for safety and study its properties. While the resulting operator is still non-contractive, we fully characterize its fixed points representing--except for a spurious solution--maximal persistently safe regions of the state space that can always avoid failure. We provide an algorithm that, by design, leverages axiomatic knowledge of safe data to avoid spurious fixed points.


title: Overlap-aware End-to-End Supervised Hierarchical Graph Clustering for Speaker Diarization

abstract: Speaker diarization, the task of segmenting an audio recording based on speaker identity, constitutes an important speech pre-processing step for several downstream applications. The conventional approach to diarization involves multiple steps of embedding extraction and clustering, which are often optimized in an isolated fashion. While end-to-end diarization systems attempt to learn a single model for the task, they are often cumbersome to train and require large supervised datasets. In this paper, we propose an end-to-end supervised hierarchical clustering algorithm based on graph neural networks (GNN), called End-to-end Supervised HierARchical Clustering (E-SHARC). The E-SHARC approach uses front-end mel-filterbank features as input and jointly learns an embedding extractor and the GNN clustering module, performing representation learning, metric learning, and clustering with end-to-end optimization. Further, with additional inputs from an external overlap detector, the E-SHARC approach is capable of predicting the speakers in the overlapping speech regions. The experimental evaluation on several benchmark datasets like AMI, VoxConverse and DISPLACE, illustrates that the proposed E-SHARC framework improves significantly over the state-of-art diarization systems.


title: Classification of grapevine varieties using UAV hyperspectral imaging

abstract: The classification of different grapevine varieties is a relevant phenotyping task in Precision Viticulture since it enables estimating the growth of vineyard rows dedicated to different varieties, among other applications concerning the wine industry. This task can be performed with destructive methods that require time-consuming tasks, including data collection and analysis in the laboratory. However, Unmanned Aerial Vehicles (UAV) provide a more efficient and less prohibitive approach to collecting hyperspectral data, despite acquiring noisier data. Therefore, the first task is the processing of these data to correct and downsample large amounts of data. In addition, the hyperspectral signatures of grape varieties are very similar. In this work, a Convolutional Neural Network (CNN) is proposed for classifying seventeen varieties of red and white grape variants. Rather than classifying single samples, these are processed together with their neighbourhood. Hence, the extraction of spatial and spectral features is addressed with 1) a spatial attention layer and 2) Inception blocks. The pipeline goes from processing to dataset elaboration, finishing with the training phase. The fitted model is evaluated in terms of response time, accuracy and data separability, and compared with other state-of-the-art CNNs for classifying hyperspectral data. Our network was proven to be much more lightweight with a reduced number of input bands, a lower number of trainable weights and therefore, reduced training time. Despite this, the evaluated metrics showed much better results for our network (~99% overall accuracy), in comparison with previous works barely achieving 81% OA.


title: Control-Aware Trajectory Predictions for Communication-Efficient Drone Swarm Coordination in Cluttered Environments

abstract: Swarms of Unmanned Aerial Vehicles (UAV) have demonstrated enormous potential in many industrial and commercial applications. However, before deploying UAVs in the real world, it is essential to ensure they can operate safely in complex environments, especially with limited communication capabilities. To address this challenge, we propose a control-aware learning-based trajectory prediction algorithm that can enable communication-efficient UAV swarm control in a cluttered environment. Specifically, our proposed algorithm can enable each UAV to predict the planned trajectories of its neighbors in scenarios with various levels of communication capabilities. The predicted planned trajectories will serve as input to a distributed model predictive control (DMPC) approach. The proposed algorithm combines (1) a trajectory compression and reconstruction model based on Variational Auto-Encoder, (2) a trajectory prediction model based on EvolveGCN, a graph convolutional network (GCN) that can handle dynamic graphs, and (3) a KKT-informed training approach that applies the Karush-Kuhn-Tucker (KKT) conditions in the training process to encode DMPC information into the trained neural network. We evaluate our proposed algorithm in a funnel-like environment. Results show that the proposed algorithm outperforms state-of-the-art benchmarks, providing close-to-optimal control performance and robustness to limited communication capabilities and measurement noises.


title: Hyper-Realist Rendering: A Theoretical Framework

abstract: This is the first paper in a series on hyper-realist rendering. In this paper, we introduce the concept of hyper-realist rendering and present a theoretical framework to obtain hyper-realist images. We are using the term Hyper-realism as an umbrella word that captures all types of visual artifacts that can evoke an impression of reality. The hyper-realist artifacts are visual representations that are not necessarily created by following logical and physical principles and can still be perceived as representations of reality. This idea stems from the principles of representational arts, which attain visually acceptable renderings of scenes without implementing strict physical laws of optics and materials. The objective of this work is to demonstrate that it is possible to obtain visually acceptable illusions of reality by employing such artistic approaches. With representational art methods, we can even obtain an alternate illusion of reality that looks more real even when it is not real. This paper demonstrates that it is common to create illusions of reality in visual arts with examples of paintings by representational artists. We propose an approach to obtain expressive local and global illuminations to obtain these stylistic illusions with a set of well-defined and formal methods.


title: Optimization and Stabilization of Functional Renormalization Group Flows

abstract: We revisit optimization of functional renormalization group flows by analyzing regularized loop integrals. This leads us to a principle, the Principle of Strongest Singularity, and a corresponding order relation which allows to order existing regularization schemes with respect to the stability of renormalization group flows. Moreover, the order relation can be used to construct new regulators in a systematic fashion. For studies of critical behavior, which require to follow renormalization group flows down to the deep infrared regime, such new regulators may turn out to be particularly useful. The general application of this principle is demonstrated with the aid of a scalar field theory which is solved over a wide range of scales with novel methods borrowed from numerical fluid dynamics.


title: On the relevance of quantum corrections to the matter stress-energy tensor in eternally expanding universes

abstract: We study a toy-model of continuous infinite expansion of space-time with the flat start. We use as the gravitational background a conformaly flat metric with an exponentially growing factor in conformal time. We aim to clarify some properties of quantum fields in such a gravitational background. In particular, we calculate one-loop corrections to the Keldysh propagator to verify the fact of secular growth of the occupation number and anomalous quantum average in the massless scalar field theory with selfinteractions. We perform the calculation in arbitrary dimensions with the use of the Schwinger-Keldysh technique. We get a secular growth which is not of a kinetic type. We provide some results for the case of generic interaction $\frac{\lambda}{b!}\phi^b$.


title: Reference-dependent asset pricing with a stochastic consumption-dividend ratio

abstract: We study a discrete-time consumption-based capital asset pricing model under expectations-based reference-dependent preferences. More precisely, we consider an endowment economy populated by a representative agent who derives utility from current consumption and from gains and losses in consumption with respect to a forward-looking, stochastic reference point. First, we consider a general model in which the agent's preferences include both contemporaneous gain-loss utility, that is, utility from the difference between current consumption and previously held expectations about current consumption, and prospective gain-loss utility, that is, utility from the difference between intertemporal beliefs about future consumption. A semi-closed form solution for equilibrium asset prices is derived for this case. We then specialize to a model in which the agent derives contemporaneous gain-loss utility only, obtaining equilibrium asset prices in closed form. Extensive numerical experiments show that, with plausible values of risk aversion and loss aversion, our models can generate equity premia that match empirical estimates. Interestingly, the models turn out to be consistent with some well-known empirical facts, namely procyclical variation in the price-dividend ratio and countercyclical variation in the conditional expected equity premium and in the conditional volatility of the equity premium. Furthermore, we find that prospective gain-loss utility is necessary for the model to predict reasonable values of the price-dividend ratio.


title: Simultaneous exercise recognition and evaluation in prescribed routines: Approach to virtual coaches

abstract: Home-based physical therapies are effective if the prescribed exercises are correctly executed and patients adhere to these routines. This is specially important for older adults who can easily forget the guidelines from therapists. Inertial Measurement Units (IMUs) are commonly used for tracking exercise execution giving information of patients' motion data. In this work, we propose the use of Machine Learning techniques to recognize which exercise is being carried out and to assess if the recognized exercise is properly executed by using data from four IMUs placed on the person limbs. To the best of our knowledge, both tasks have never been addressed together as a unique complex task before. However, their combination is needed for the complete characterization of the performance of physical therapies. We evaluate the performance of six machine learning classifiers in three contexts: recognition and evaluation in a single classifier, recognition of correct exercises, excluding the wrongly performed exercises, and a two-stage approach that first recognizes the exercise and then evaluates it. We apply our proposal to a set of 8 exercises of the upper-and lower-limbs designed for maintaining elderly people health status. To do so, the motion of volunteers were monitored with 4 IMUs. We obtain accuracies of 88.4 \% and the 91.4 \% in the two initial scenarios. In the third one, the recognition provides an accuracy of 96.2 \%, whereas the exercise evaluation varies between 93.6 \% and 100.0 \%. This work proves the feasibility of IMUs for a complete monitoring of physical therapies in which we can get information of which exercise is being performed and its quality, as a basis for designing virtual coaches.


title: 28 THz soliton frequency comb in a continuous-wave pumped fiber Fabry-Perot resonator

abstract: We report the generation of an optical frequency comb featuring 28 THz bandwidth, sustained by a single 80 fs cavity soliton recirculating in a fiber Fabry-Perot resonator. This large spectrum is comparable to frequency combs obtained with microresonators operating in the anomalous dispersion regime. Thanks to the compact design and the easy coupling of the resonator, cavity solitons can be generated in an all-fiber experimental setup with a continuous wave pumping scheme. We also observe the generation of a dispersive wave at higher frequencies which is supported by higher-order dispersion. These observations align remarkably well with both numerical simulations and the established theory of cavity solitons.


title: Some Aspects of Higher Continued Fractions

abstract: We investigate some properties of the higher continued fractions defined recently by Musiker, Ovenhouse, Schiffler, and Zhang. We prove that the maps defining the higher continued fractions are increasing continuous functions on the positive real numbers. We also investigate some asymptotics of these maps.


title: X-Ray Variability of SDSS Quasars Based on the SRG/eROSITA All-Sky Survey

abstract: We examine the long-term (rest-frame time scales from a few months to $\sim 20$ years) X-ray variability of a sample of 2344 X-ray bright quasars from the SDSS DR14Q Catalogue, based on the data of the SRG/eROSITA All-Sky Survey complemented for $\sim 7$% of the sample by archival data from the XMM-Newton Serendipitous Source Catalogue. We characterise variability by a structure function, $SF^2(\Delta t)$. We confirm the previously known anti-correlation of the X-ray variability amplitude with luminosity. We also study the dependence of X-ray variability on black hole mass, $M_{\rm BH}$, and on an X-ray based proxy of the Eddington ratio, $\lambda_{\rm X}$. Less massive black holes prove to be more variable for given Eddington ratio and time scale. X-ray variability also grows with decreasing Eddington ratio and becomes particularly strong at $\lambda_{\rm X}$ of less than a few per cent. We confirm that the X-ray variability amplitude increases with increasing time scale. The $SF^2(\Delta t)$ dependence can be satisfactorily described by a power law, with the slope ranging from $\sim 0$ to $\sim 0.4$ for different ($M_{\rm BH}$, $\lambda_{\rm X}$) subsamples (except for the subsample with the lowest black hole mass and lowest Eddington ratio, where it is equal to $1.1\pm 0.4$)


title: Secure Communication with Unreliable Entanglement Assistance

abstract: Secure communication is considered with unreliable entanglement assistance, where the adversary may intercept the legitimate receiver's entanglement resource before communication takes place. The communication setting of unreliable assistance, without security aspects, was originally motivated by the extreme photon loss in practical communication systems. The operational principle is to adapt the transmission rate to the availability of entanglement assistance, without resorting to feedback and repetition. Here, we require secrecy as well. An achievable secrecy rate region is derived for general quantum wiretap channels, and a multi-letter secrecy capacity formula for the special class of degraded channels.


title: FedRSU: Federated Learning for Scene Flow Estimation on Roadside Units

abstract: Roadside unit (RSU) can significantly improve the safety and robustness of autonomous vehicles through Vehicle-to-Everything (V2X) communication. Currently, the usage of a single RSU mainly focuses on real-time inference and V2X collaboration, while neglecting the potential value of the high-quality data collected by RSU sensors. Integrating the vast amounts of data from numerous RSUs can provide a rich source of data for model training. However, the absence of ground truth annotations and the difficulty of transmitting enormous volumes of data are two inevitable barriers to fully exploiting this hidden value. In this paper, we introduce FedRSU, an innovative federated learning framework for self-supervised scene flow estimation. In FedRSU, we present a recurrent self-supervision training paradigm, where for each RSU, the scene flow prediction of points at every timestamp can be supervised by its subsequent future multi-modality observation. Another key component of FedRSU is federated learning, where multiple devices collaboratively train an ML model while keeping the training data local and private. With the power of the recurrent self-supervised learning paradigm, FL is able to leverage innumerable underutilized data from RSU. To verify the FedRSU framework, we construct a large-scale multi-modality dataset RSU-SF. The dataset consists of 17 RSU clients, covering various scenarios, modalities, and sensor settings. Based on RSU-SF, we show that FedRSU can greatly improve model performance in ITS and provide a comprehensive benchmark under diverse FL scenarios. To the best of our knowledge, we provide the first real-world LiDAR-camera multi-modal dataset and benchmark for the FL community.


title: KAM-CoT: Knowledge Augmented Multimodal Chain-of-Thoughts Reasoning

abstract: Large Language Models (LLMs) have demonstrated impressive performance in natural language processing tasks by leveraging chain of thought (CoT) that enables step-by-step thinking. Extending LLMs with multimodal capabilities is the recent interest, but incurs computational cost and requires substantial hardware resources. To address these challenges, we propose KAM-CoT a framework that integrates CoT reasoning, Knowledge Graphs (KGs), and multiple modalities for a comprehensive understanding of multimodal tasks. KAM-CoT adopts a two-stage training process with KG grounding to generate effective rationales and answers. By incorporating external knowledge from KGs during reasoning, the model gains a deeper contextual understanding reducing hallucinations and enhancing the quality of answers. This knowledge-augmented CoT reasoning empowers the model to handle questions requiring external context, providing more informed answers. Experimental findings show KAM-CoT outperforms the state-of-the-art methods. On the ScienceQA dataset, we achieve an average accuracy of 93.87%, surpassing GPT-3.5 (75.17%) by 18% and GPT-4 (83.99%) by 10%. Remarkably, KAM-CoT achieves these results with only 280M trainable parameters at a time, demonstrating its cost-efficiency and effectiveness.


title: A Tailor-made Quantum State Tomography Approach

abstract: Quantum state tomography (QST) aims at reconstructing the state of a quantum system. However in conventional QST the number of measurements scales exponentially with the number of qubits. Here we propose a QST protocol, in which the introduction of a threshold allows one to drastically reduce the number of measurements required for the reconstruction of the state density matrix without compromising the result accuracy. In addition, one can also use the same approach to reconstruct an approximated density matrix depending on the available resources. We experimentally demonstrate this protocol by performing the tomography of states up to 7 qubits. We show that our approach can lead to the same accuracy of QST even when the number of measurements is reduced by more than two orders of magnitudes.


title: Gridsemble: Selective Ensembling for False Discovery Rates

abstract: In this paper, we introduce Gridsemble, a data-driven selective ensembling algorithm for estimating local false discovery rates (fdr) in large-scale multiple hypothesis testing. Existing methods for estimating fdr often yield different conclusions, yet the unobservable nature of fdr values prevents the use of traditional model selection. There is limited guidance on choosing a method for a given dataset, making this an arbitrary decision in practice. Gridsemble circumvents this challenge by ensembling a subset of methods with weights based on their estimated performances, which are computed on synthetic datasets generated to mimic the observed data while including ground truth. We demonstrate through simulation studies and an experimental application that this method outperforms three popular R software packages with their default parameter values$\unicode{x2014}$common choices given the current landscape. While our applications are in the context of high throughput transcriptomics, we emphasize that Gridsemble is applicable to any use of large-scale multiple hypothesis testing, an approach that is utilized in many fields. We believe that Gridsemble will be a useful tool for computing reliable estimates of fdr and for improving replicability in the presence of multiple hypotheses by eliminating the need for an arbitrary choice of method. Gridsemble is implemented in an open-source R software package available on GitHub at jennalandy/gridsemblefdr.


title: Evaluating Collaborative and Autonomous Agents in Data-Stream-Supported Coordination of Mobile Crowdsourcing

abstract: Mobile crowdsourcing refers to systems where the completion of tasks necessarily requires physical movement of crowdworkers in an on-demand workforce. Evidence suggests that in such systems, tasks often get assigned to crowdworkers who struggle to complete those tasks successfully, resulting in high failure rates and low service quality. A promising solution to ensure higher quality of service is to continuously adapt the assignment and respond to failure-causing events by transferring tasks to better-suited workers who use different routes or vehicles. However, implementing task transfers in mobile crowdsourcing is difficult because workers are autonomous and may reject transfer requests. Moreover, task outcomes are uncertain and need to be predicted. In this paper, we propose different mechanisms to achieve outcome prediction and task coordination in mobile crowdsourcing. First, we analyze different data stream learning approaches for the prediction of task outcomes. Second, based on the suggested prediction model, we propose and evaluate two different approaches for task coordination with different degrees of autonomy: an opportunistic approach for crowdshipping with collaborative, but non-autonomous workers, and a market-based model with autonomous workers for crowdsensing.


title: Self-induced light emission in solid-state memristors replicates neuronal biophotons

abstract: Key pre-synaptic and post-synaptic biological functions have been successfully implemented in various hardware systems. A noticeable example are neuronal networks constructed from memristors, which are emulating complex electro-chemical biological dynamics such a neuron's efficacy and plasticity. Neurons are highly active cells, communicating with chemical and electrical stimuli, but also emit light. These photons are suspected to be a complementary vehicle to transport information across the brain. Here, we show that a memristor also releases photons akin to the production of neuronal light. Critical attributes of so-called biophotons such as self-generation, origin, stochasticity, spectral coverage, sparsity and correlation with the neuron's activity are replicated by our solid-state approach. Our findings further extend the emulating capability of a memristor to encompass neuronal biophoton emission and open the possibility to construct a bimodal electro-optical platform with the assistance of atomic-scale devices capable of handling electrons and photons as information carriers.


title: A database of physical therapy exercises with variability of execution collected by wearable sensors

abstract: This document introduces the PHYTMO database, which contains data from physical therapies recorded with inertial sensors, including information from an optical reference system. PHYTMO includes the recording of 30 volunteers, aged between 20 and 70 years old. A total amount of 6 exercises and 3 gait variations were recorded. The volunteers performed two series with a minimum of 8 repetitions in each one. PHYTMO includes magneto-inertial data, together with a highly accurate location and orientation in the 3D space provided by the optical system. The files were stored in CSV format to ensure its usability. The aim of this dataset is the availability of data for two main purposes: the analysis of techniques for the identification and evaluation of exercises using inertial sensors and the validation of inertial sensor-based algorithms for human motion monitoring. Furthermore, the database stores enough data to apply Machine Learning-based algorithms. The participants' age range is large enough to establish age-based metrics for the exercises evaluation or the study of differences in motions between different groups.


title: TroVE: Inducing Verifiable and Efficient Toolboxes for Solving Programmatic Tasks

abstract: Language models (LMs) can solve tasks such as answering questions about tables or images by writing programs. However, using primitive functions often leads to verbose and error-prone programs, and higher-level functions require expert design. To enable better solutions without human labor, we ask code LMs to curate reusable high-level functions, and use them to write solutions. We present TROVE, a training-free method of inducing a verifiable and efficient toolbox of functions, by generating via using, growing, and periodically trimming the toolbox. On 11 datasets from math, table question answering, and image reasoning tasks, TROVE consistently yields simpler solutions with higher accuracy than baselines using CODELLAMA and previous methods using GPT, while using 79-98% smaller toolboxes. TROVE further enables 31% faster and 13% more accurate human verification than baselines. With the same pipeline, it creates diverse functions for varied tasks and datasets, providing insights into their individual characteristics.


title: Unlocking the Potential: Multi-task Deep Learning for Spaceborne Quantitative Monitoring of Fugitive Methane Plumes

abstract: With the intensification of global warming, the monitoring of methane emission and detection of gas plumes from landfills have increasingly received attention. We decompose methane emission monitoring into three sub-tasks: methane concentration inversion, plume segmentation, and emission rate estimation. Conventional algorithms have limitations: methane concentration inversion usually uses the matched filter, which is sensitive to global spectrum distribution and contains a large amount of noises. There is limited research on plume segmentation, with many studies resorting to manual segmentation that is likely to be subjective. The estimation of methane emission rate often utilizes IME algorithm, which relies on obtaining meteorological measurement data. Using the WENT landfill site in Hong Kong and PRISMA hyperspectral satellite imagery, we propose a new deep learning-based framework for quantitative monitoring of methane emissions from remote sensing images based on physical simulation. We generate simulated methane plumes using large eddy simulation (LES) and different concentration maps of fugitive emission using the radiative transfer equation (RTE), while combining augmentation techniques to create a simulated PRISMA dataset. We train a U-Net network for methane concentration inversion, a Mask R-CNN network for methane plume segmentation, and a ResNet-50 network for methane emission rate estimation. All three deep networks achieve higher validation accuracy compared to conventional algorithms. We further respectively combine the first two sub-tasks and the last two sub-tasks to design the multi-task learning models - MTL-01 and MTL-02, both of which achieve higher accuracy than single-task models. Our research serves as a demonstration of applying multi-task deep learning to quantitative methane monitoring and can be extended to a broad range of methane monitoring tasks.


title: Dehydration drives damage in the freezing of brittle hydrogels

abstract: It is widely known that freezing breaks soft, wet materials. However, the mechanism underlying this damage is still not clear. To understand this process, we freeze model, brittle hydrogel samples, while observing the growth of ice-filled cracks that break these apart. We show that damage is not caused by the expansion of water upon freezing, or the growth of ice-filled cavities in the hydrogel. Instead, local ice growth dehydrates the surrounding hydrogel, leading to drying-induced fracture. This dehydration is driven by the process of cryosuction, whereby undercooled ice sucks nearby water towards itself, feeding its growth. Our results highlight the strong analogy between freezing damage and desiccation cracking, which we anticipate being useful for developing an understanding of both topics. Our results should also give useful insights into a wide range of freezing processes, including cryopreservation, food science and frost heave.


title: FocusFlow: 3D Gaze-Depth Interaction in Virtual Reality Leveraging Active Visual Depth Manipulation

abstract: Gaze interaction presents a promising avenue in Virtual Reality (VR) due to its intuitive and efficient user experience. Yet, the depth control inherent in our visual system remains underutilized in current methods. In this study, we introduce FocusFlow, a hands-free interaction method that capitalizes on human visual depth perception within the 3D scenes of Virtual Reality. We first develop a binocular visual depth detection algorithm to understand eye input characteristics. We then propose a layer-based user interface and introduce the concept of 'Virtual Window' that offers an intuitive and robust gaze-depth VR interaction, despite the constraints of visual depth accuracy and precision spatially at further distances. Finally, to help novice users actively manipulate their visual depth, we propose two learning strategies that use different visual cues to help users master visual depth control. Our user studies on 24 participants demonstrate the usability of our proposed virtual window concept as a gaze-depth interaction method. In addition, our findings reveal that the user experience can be enhanced through an effective learning process with adaptive visual cues, helping users to develop muscle memory for this brand-new input mechanism. We conclude the paper by discussing strategies to optimize learning and potential research topics of gaze-depth interaction.


title: Improving Machine Translation with Human Feedback: An Exploration of Quality Estimation as a Reward Model

abstract: Insufficient modeling of human preferences within the reward model is a major obstacle for leveraging human feedback to improve translation quality. Fortunately, quality estimation (QE), which predicts the quality of a given translation without reference, has achieved impressive alignment with human evaluations in the last two years. In this work, we investigate the potential of employing the QE model as the reward model to predict human preferences for feedback training. We first identify the overoptimization problem during QE-based feedback training, manifested as an increase in reward while translation quality declines. We examine the problem and argue that the vulnerability of the QE model might lead to high rewards for incorrect translations, resulting in overoptimization and error propagation. To address the problem, we adopt a simple yet effective method that uses heuristic rules to detect the incorrect translations and assigns a penalty term to the reward scores of them. Experimental results show that the proposed QE-based feedback training achieves consistent and significant improvements across various settings, further verified through human preference studies. Our subsequent analysis demonstrates the high data efficiency of the proposed QE-based feedback training: it outperforms systems using larger parallel corpora by a small amount of monolingual data. Our code is available at: https://github.com/zwhe99/FeedbackMT


title: From Understanding to Utilization: A Survey on Explainability for Large Language Models

abstract: Explainability for Large Language Models (LLMs) is a critical yet challenging aspect of natural language processing. As LLMs are increasingly integral to diverse applications, their "black-box" nature sparks significant concerns regarding transparency and ethical use. This survey underscores the imperative for increased explainability in LLMs, delving into both the research on explainability and the various methodologies and tasks that utilize an understanding of these models. Our focus is primarily on pre-trained Transformer-based LLMs, such as LLaMA family, which pose distinctive interpretability challenges due to their scale and complexity. In terms of existing methods, we classify them into local and global analyses, based on their explanatory objectives. When considering the utilization of explainability, we explore several compelling methods that concentrate on model editing, control generation, and model enhancement. Additionally, we examine representative evaluation metrics and datasets, elucidating their advantages and limitations. Our goal is to reconcile theoretical and empirical understanding with practical implementation, proposing exciting avenues for explanatory techniques and their applications in the LLMs era.


title: Di-electron production at the LHC: Unravelling virtual-photon and heavy-flavour contributions

abstract: The production of virtual photons is a very sensitive probe of the properties of the quark-gluon plasma. As they are experimentally detected by lepton pairs, they suffer from a large background arising from hadron decays. Light-flavour hadrons dominate at low invariant masses below $m_{ee}\sim0.5$ GeV and heavy flavours above. These contributions must therefore also be taken into account in experimental analyses at the LHC. In this paper, we calculate the direct contribution from virtual photons produced in the Drell-Yan process with an additional jet in POWHEG and find that it is significant at low invariant masses. We also simulate the background contributions from $c\bar c$ and $b \bar b$ production with POWHEG and quantify the theoretical uncertainties due to variations of the perturbative scales and parton distribution functions. We find larger relative and absolute uncertainties for the lighter $c$ quarks than for heavier $b$ quarks.


title: An extension of the Liouville theorem for Fourier multipliers to sub-exponentially growing solutions

abstract: We study the equation $m(D)f = 0$ in a large class of sub-exponentially growing functions. Under appropriate restrictions on $m \in C(\mathbb{R}^n)$, we show that every such solution can be analytically continued to a sub-exponentially growing entire function on $\mathbb{C}^n$ if and only if $m(\xi) \not= 0$ for $\xi \not= 0$.


title: Optimal compilation of parametrised quantum circuits

abstract: Parametrised quantum circuits contain phase gates whose phase is determined by a classical algorithm prior to running the circuit on a quantum device. Such circuits are used in variational algorithms like QAOA and VQE. In order for these algorithms to be as efficient as possible it is important that we use the fewest number of parameters. We show that, while the general problem of minimising the number of parameters is NP-hard, when we restrict to circuits that are Clifford apart from parametrised phase gates and where each parameter is used just once, we can efficiently find the optimal parameter count. We show that when parameter transformations are required to be sufficiently well-behaved that the only rewrites that reduce parameters correspond to simple 'fusions'. Using this we find that a previous circuit optimisation strategy by some of the authors [Kissinger, van de Wetering. PRA (2019)] finds the optimal number of parameters. Our proof uses the ZX-calculus. We also prove that the standard rewrite rules of the ZX-calculus suffice to prove any equality between parametrised Clifford circuits.


title: A Unified Generation-Registration Framework for Improved MR-based CT Synthesis in Proton Therapy

abstract: Background: In MR-guided proton therapy planning, aligning MR and CT images is key for MR-based CT synthesis, especially in mobile regions like the head-and-neck. Misalignments here can lead to less accurate synthetic CT (sCT) images, impacting treatment precision. Purpose: This study introduces a novel network that cohesively unifies image generation and registration processes to enhance the quality and anatomical fidelity of sCTs derived from better-aligned MR images. Methods: The approach synergizes a generation network (G) with a deformable registration network (R), optimizing them jointly in MR-to-CT synthesis. This goal is achieved by alternately minimizing the discrepancies between the generated/registered CT images and their corresponding reference CT counterparts. The generation network employs a UNet architecture, while the registration network leverages an implicit neural representation of the Deformable Vector Fields (DVFs). We validated this method on a dataset comprising 60 Head-and-Neck patients, reserving 12 cases for holdout testing. Results: Compared to the baseline Pix2Pix method with MAE 124.95\pm 30.74 HU, the proposed technique demonstrated 80.98\pm 7.55 HU. The unified translation-registration network produced sharper and more anatomically congruent outputs, showing superior efficacy in converting MR images to sCTs. Additionally, from a dosimetric perspective, the plan recalculated on the resulting sCTs resulted in a remarkably reduced discrepancy to the reference proton plans. Conclusions: This study conclusively demonstrates that a holistic MR-based CT synthesis approach, integrating both image-to-image translation and deformable registration, significantly improves the precision and quality of sCT generation, particularly for the challenging body area with varied anatomic changes between corresponding MR and CT.


title: Detection and chemical modelling of complex prebiotic molecule cyanamide in the hot molecular core G31.41+0.31

abstract: In the interstellar medium (ISM), the complex prebiotic molecule cyanamide (NH$_{2}$CN) plays a key role in producing adenine (C$_{5}$H$_{5}$N$_{5}$), purines (C$_{5}$H$_{4}$N$_{4}$), pyrimidines (C$_{4}$H$_{4}$N$_{2}$), and other biomolecules via a series of reactions. Therefore, studying the emission lines of NH$_{2}$CN is important for understanding the hypothesis of the pre-solar origin of life in the universe. We present the detection of the rotational emission lines of NH$_{2}$CN with vibrational states $v$ = 0 and 1 towards the hot molecular core G31.41+0.31 using the high-resolution twelve-meter array of Atacama Large Millimeter/Submillimeter Array (ALMA) band 3. The estimated column density of NH$_{2}$CN towards G31.41+0.31 using the local thermodynamic equilibrium (LTE) model is (7.21$\pm$0.25)$\times$10$^{15}$ cm$^{-2}$ with an excitation temperature of 250$\pm$25 K. The abundance of NH$_{2}$CN with respect to H$_{2}$ towards G31.41+0.31 is (7.21$\pm$1.46)$\times$10$^{-10}$. The NH$_{2}$CN and NH$_{2}$CHO column density ratio towards G31.41+0.31 is 0.13$\pm$0.02. We compare the estimated abundance of NH$_{2}$CN with that of other hot cores and corinos and observed that the abundance of NH$_{2}$CN towards G31.41+0.31 is nearly similar to that of the hot molecular core G358.93$-$0.03 MM1, the hot corinos IRAS 16293-2422 B, and NGC 1333 IRAS4A2. We compute the two-phase warm-up chemical model of NH$_{2}$CN using the gas-grain chemical code UCLCHEM, and after chemical modelling, we notice that the observed and modelled abundances are nearly similar. After chemical modelling, we conclude that the neutral-neutral reaction between NH$_{2}$ and CN is responsible for the production of NH$_{2}$CN on the grain surface of G31.41+0.31.


title: Adaptive Uncertainty Quantification for Stochastic Hyperbolic Conservation Laws

abstract: We propose a predictor-corrector adaptive method for the study of hyperbolic partial differential equations (PDEs) under uncertainty. Constructed around the framework of stochastic finite volume (SFV) methods, our approach circumvents sampling schemes or simulation ensembles while also preserving fundamental properties, in particular hyperbolicity of the resulting systems and conservation of the discrete solutions. Furthermore, we augment the existing SFV theory with a priori convergence results for statistical quantities, in particular push-forward densities, which we demonstrate through numerical experiments. By linking refinement indicators to regions of the physical and stochastic spaces, we drive anisotropic refinements of the discretizations, introducing new degrees of freedom (DoFs) where deemed profitable. To illustrate our proposed method, we consider a series of numerical examples for non-linear hyperbolic PDEs based on Burgers' and Euler's equations.


title: Computing Diameter+2 in Truly Subquadratic Time for Unit-Disk Graphs

abstract: Finding the diameter of a graph in general cannot be done in truly subquadratic assuming the Strong Exponential Time Hypothesis (SETH), even when the underlying graph is unweighted and sparse. When restricting to concrete classes of graphs and assuming SETH, planar graphs and minor-free graphs admit truly subquadratic algorithms, while geometric intersection graphs of unit balls, congruent equilateral triangles, and unit segments do not. Unit-disk graphs are one of the major open cases where the complexity of diameter computation remains unknown. More generally, it is conjectured that a truly subquadratic time algorithm exists for pseudo-disk graphs. In this paper, we show a truly subquadratic algorithm of running time $\tilde{O}(n^{2-1/18})$, for finding the diameter in a unit-disk graph, whose output differs from the optimal solution by at most 2. This is the first algorithm that provides an additive guarantee in distortion, independent of the size or the diameter of the graph. Our algorithm requires two important technical elements. First, we show that for the intersection graph of pseudo-disks, the graph VC-dimension, either of $k$-hop balls or the distance encoding vectors, is 4. This contracts to the VC dimension of the pseudo-disks themselves as geometric ranges (which is known to be 3). Second, we introduce a clique-based $r$-clustering for geometric intersection graphs, which is an analog of the $r$-division construction for planar graphs. We also showcase the new techniques by establishing new results for distance oracles for unit-disk graphs with subquadratic storage and $O(1)$ query time. The results naturally extend to unit $L_1$ or $L_\infty$-disks and fat pseudo-disks of similar size. Last, if the pseudo-disks additionally have bounded ply, we have a truly subquadratic algorithm to find the exact diameter.


title: Model-Free $\delta$-Policy Iteration Based on Damped Newton Method for Nonlinear Continuous-Time H$\infty$ Tracking Control

abstract: This paper presents a {\delta}-PI algorithm which is based on damped Newton method for the H{\infty} tracking control problem of unknown continuous-time nonlinear system. A discounted performance function and an augmented system are used to get the tracking Hamilton-Jacobi-Isaac (HJI) equation. Tracking HJI equation is a nonlinear partial differential equation, traditional reinforcement learning methods for solving the tracking HJI equation are mostly based on the Newton method, which usually only satisfies local convergence and needs a good initial guess. Based upon the damped Newton iteration operator equation, a generalized tracking Bellman equation is derived firstly. The {\delta}-PI algorithm can seek the optimal solution of the tracking HJI equation by iteratively solving the generalized tracking Bellman equation. On-policy learning and off-policy learning {\delta}-PI reinforcement learning methods are provided, respectively. Off-policy version {\delta}-PI algorithm is a model-free algorithm which can be performed without making use of a priori knowledge of the system dynamics. NN-based implementation scheme for the off-policy {\delta}-PI algorithms is shown. The suitability of the model-free {\delta}-PI algorithm is illustrated with a nonlinear system simulation.


title: Counting subgraphs of coloring graphs

abstract: The chromatic polynomial $\pi_{G}(k)$ of a graph $G$ can be viewed as counting the number of vertices in a family of coloring graphs $\mathcal C_k(G)$ associated with (proper) $k$-colorings of $G$ as a function of the number of colors $k$. These coloring graphs can be understood as a reconfiguration system. We generalize the chromatic polynomial to $\pi_G^{(H)}(k)$, counting occurrences of arbitrary induced subgraphs $H$ in these coloring graphs, and we prove that these functions are polynomial in $k$. In particular, we study the chromatic pairs polynomial $\pi_{G}^{(P_2)}(k)$, which counts the number of edges in coloring graphs, corresponding to the number of pairs of colorings that differ on a single vertex. We show two trees share a chromatic pairs polynomial if and only if they have the same degree sequence, and we conjecture that the chromatic pairs polynomial refines the chromatic polynomial in general. We also instantiate our polynomials with other choices of $H$ to generate new graph invariants.


title: Pirashvili--Richter-type theorems for the reflexive and dihedral homology theories

abstract: Reflexive homology and dihedral homology are the homology theories associated to the reflexive and dihedral crossed simplicial groups respectively. The former has recently been shown to capture interesting information about $C_2$-equivariant homotopy theory and its structure is related to the study of "real" objects in algebraic topology. The latter has long been of interest for its applications in $O(2)$-equivariant homotopy theory and connections to Hermitian algebraic $K$-theory. In this paper, we show that the reflexive and dihedral homology theories can be interpreted as functor homology over categories of non-commutative sets, after the fashion of Pirashvili and Richter's result for the Hochschild and cyclic homology theories.


title: Damped kink motions in a system of two solar coronal tubes with elliptic cross-sections

abstract: This study is motivated by observations of coordinated transverse displacements in neighboring solar active region loops, addressing specifically how the behavior of kink motions in straight two-tube equilibria is impacted by tube interactions and tube cross-sectional shapes.We work with linear, ideal, pressureless magnetohydrodynamics. Axially standing kink motions are examined as an initial value problem for transversely structured equilibria involving two identical, field-aligned, density-enhanced tubes with elliptic cross-sections (elliptic tubes). Continuously nonuniform layers are implemented around both tube boundaries. We numerically follow the system response to external velocity drivers, largely focusing on the quasi-mode stage of internal flows to derive the pertinent periods and damping times. The periods and damping times we derive for two-circular-tube setups justify available modal results found with the T-matrix approach. Regardless of cross-sectional shapes, our nonuniform layers feature the development of small-scale shears and energy accumulation around Alf\'ven resonances, indicative of resonant absorption and phase-mixing. As with two-circular-tube systems, our configurational symmetries make it still possible to classify lower-order kink motions by the polarization and symmetric properties of the internal flows; hence such mode labels as $S_x$ and $A_x$. However, the periods and damping times for two-elliptic-tube setups further depend on cross-sectional aspect ratios, with $A_x$ motions occasionally damped less rapidly than $S_x$ motions. We find uncertainties up to $\sim 20\%$ ($\sim 50\%$) for the axial Alfven time (the inhomogeneity lengthscale) if the periods (damping times) computed for two-elliptic-tube setups are seismologically inverted with canonical theories for isolated circular tubes.


title: On split Leibniz superalgebras

abstract: We study the structure of arbitrary split Leibniz superalgebras. We show that any of such superalgebras ${\frak L}$ is of the form ${\frak L} = {\mathcal U} + \sum_jI_j$ with ${\mathcal U}$ a subspace of an abelian (graded) subalgebra $H$ and any $I_j$ a well described (graded) ideal of ${\frak L}$ satisfying $[I_j,I_k] = 0$ if $j \neq k$. In the case of ${\frak L}$ being of maximal length, the simplicity of ${\frak L}$ is also characterized in terms of connections of roots.


title: Finitely many implies infinitely many

abstract: Many mathematical statements have the following form. If something is true for all finite subsets of an infinite set $I$, then it is true for all of $I$. This paper describes some old and new results on infinite sets of linear and polynomial equations with the property that solutions for all finite subsets of the set of equations implies the existence of a solution for the infinite set of equations.


title: Data-Centric Evolution in Autonomous Driving: A Comprehensive Survey of Big Data System, Data Mining, and Closed-Loop Technologies

abstract: The aspiration of the next generation's autonomous driving (AD) technology relies on the dedicated integration and interaction among intelligent perception, prediction, planning, and low-level control. There has been a huge bottleneck regarding the upper bound of autonomous driving algorithm performance, a consensus from academia and industry believes that the key to surmount the bottleneck lies in data-centric autonomous driving technology. Recent advancement in AD simulation, closed-loop model training, and AD big data engine have gained some valuable experience. However, there is a lack of systematic knowledge and deep understanding regarding how to build efficient data-centric AD technology for AD algorithm self-evolution and better AD big data accumulation. To fill in the identified research gaps, this article will closely focus on reviewing the state-of-the-art data-driven autonomous driving technologies, with an emphasis on the comprehensive taxonomy of autonomous driving datasets characterized by milestone generations, key features, data acquisition settings, etc. Furthermore, we provide a systematic review of the existing benchmark closed-loop AD big data pipelines from the industrial frontier, including the procedure of closed-loop frameworks, key technologies, and empirical studies. Finally, the future directions, potential applications, limitations and concerns are discussed to arouse efforts from both academia and industry for promoting the further development of autonomous driving. The project repository is available at: https://github.com/LincanLi98/Awesome-Data-Centric-Autonomous-Driving.


title: Is PSR J0514$-$4002E in a PBH-NS binary?

abstract: Recent pulsar timing observations using MeerKAT of the eccentric binary millisecond pulsar, PSR J0514$-$4002E, have unveiled a companion with a mass in the mass gap, ranging from $2.09\, M_\odot$ to $2.71\, M_\odot$. This challenges conventional astrophysical scenarios for black hole formation. In this letter, we present an alternative explanation: PSR J0514$-$4002E could be in a PBH-NS binary, with the companion potentially being a primordial black hole formed during the early Universe's first-order phase transition. The associated stochastic gravitational-wave background generated during this phase transition can account for the observed signal from the pulsar timing array, and the abundance of primordial black holes is consistent with constraints from LIGO-Virgo-KAGRA.


title: An Efficient Algorithm for Spatial-Spectral Partial Volume Compartment Mapping with Applications to Multicomponent Diffusion and Relaxation MRI

abstract: Previous work has shown that high-quality partial volume tissue compartment maps can be obtained by applying spatially-regularized spectroscopic image estimation techniques to high-dimensional multicontrast MRI data (e.g., diffusion-relaxation data). However, this generally requires substantial computational complexity. In this work, we propose a more efficient algorithm to estimate spectroscopic images using spatial regularization. Our algorithm is based on the linearized alternating directions method of multipliers (LADMM), and relies on the introduction of novel quadratic penalty terms to substantially simplify the subproblems that appear within each iteration. We evaluate this algorithm in a variety of different scenarios (diffusion-relaxation, relaxation-relaxation, relaxometry, and magnetic resonance fingerprinting), where we consistently observe substantial ($\sim$3$\times$-50$\times$) speed improvements. We expect that this new algorithm will reduce barriers to using spatial regularization and multiparametric contrast-encoded MRI data acquisition methods for partial volume compartment mapping.


title: Determination of a pair of newforms from the product of their twisted central values

abstract: We show that a pair of newforms $(f,g)$ can be uniquely determined by the product of the central $L$-values of their twists. To achieve our goal, we prove an asymptotic formula for the average of the product of the central values of two twisted $L$-functions- $L(1/2, f \times \chi)L(1/2, g \times \chi \psi)$, where $(f,g)$ is a pair of newforms. The average is taken over the primitive Dirichlet characters $\chi$ and $\psi$ of distinct prime moduli.


title: Fully dynamic G3W2 self-energy for finite systems: Formulas and benchmark

abstract: Over the years, Hedin's $GW$ self-energy has been proven to be a rather accurate and simple approximation to evaluate electronic quasiparticle energies in solids and in molecules. Attempts to improve over the simple $GW$ approximation, the so-called vertex corrections, have been constantly proposed in the literature. Here, we derive, analyze, and benchmark the complete second-order term in the screened Coulomb interaction $W$ for finite systems. This self-energy named $G3W2$ contains all the possible time orderings that combine 3 Green's functions $G$ and 2 dynamic $W$. We present the analytic formula and its imaginary frequency counterpart, the latter allowing us to treat larger molecules. The accuracy of the $G3W2$ self-energy is evaluated on well-established benchmarks (GW100, Acceptor 24 and Core 65) for valence and core quasiparticle energies. Its link with the simpler static approximation, named SOSEX for static screened second-order exchange, is analyzed, which leads us to propose a more consistent approximation named 2SOSEX. In the end, we find that neither the $G3W2$ self-energy nor any of the investigated approximations to it improve over one-shot $G_0W_0$ with a good starting point. Only quasi-particle self-consistent $GW$ HOMO energies are slightly improved by addition of the $G3W2$ self-energy correction. We show that this is due to the self-consistent update of the screened Coulomb interaction leading to an overall sign change of the vertex correction to the frontier quasiparticle energies.


title: NICA prospects in searches for light exotics from hidden sectors: the cases of hidden photons and axion-like particles

abstract: We present first estimates of NICA sensitivity to Standard Model extensions with light hypothetical particles singlet under the known gauge transformations. Our analysis reveals that NICA can explore new regions in the parameter spaces of models with a hidden vector and models with an axion-like particle of masses about 30-500\,MeV. Some of these regions seem unreachable by other ongoing and approved future projects. NICA has good prospects in discovery ($5\sigma$) of the new physics after 1 year of data taking.


title: Ab initio thermodynamic properties of Iridium: A high-pressure and high-temperature study

abstract: The high-pressure and high-temperature thermodynamic properties of iridium are studied using density functional theory in combination with the quasi-harmonic approximation, where both the contributions to the free energy of phonons and of electronic excitations are considered. The reliability of different exchange and correlational functionals [Perdew-Burke-Ernzerhof generalized gradient approximation (PBE) (Perdew et al. Phys. Rev. Lett. 77, 3865 (1996)), PBE modified for dense solids (PBEsol) (Perdew et al. Phys. Rev. B 100, 136406 (2008)) and local density approximation (LDA) (Perdew et al. Phys. Rev. B 23, 5048 (1981))], for studying the equation of state (EOS), the phonon dispersions, the mode-Gr\"uneisen parameter, and different thermodynamic properties like thermal pressure, volume thermal expansivity, isobaric heat capacity, bulk modulus, and the average Gr\"uneisen parameter are tested. Elastic constants are studied at T=0 K as a function of pressure. The predicted results are compared with the available experiments and previous theoretical data. We find generally a good agreement with experiments with at least one functional, but none of the three outperforms the others in all the investigated thermodynamic properties. The electronic excitations contribution is minimal in bulk modulus, but it is significant for other thermodynamic properties.


title: ESC: Edge-attributed Skyline Community Search in Large-scale Bipartite Graphs

abstract: Due to the ability of modeling relationships between two different types of entities, bipartite graphs are naturally employed in many real-world applications. Community Search in bipartite graphs is a fundamental problem and has gained much attention. However, existing studies focus on measuring the structural cohesiveness between two sets of vertices, while either completely ignoring the edge attributes or only considering one-dimensional importance in forming communities. In this paper, we introduce a novel community model, named edge-attributed skyline community (ESC), which not only preserves the structural cohesiveness but unravels the inherent dominance brought about by multi-dimensional attributes on the edges of bipartite graphs. To search the ESCs, we develop an elegant peeling algorithm by iteratively deleting edges with the minimum attribute in each dimension. In addition, we also devise a more efficient expanding algorithm to further reduce the search space and speed up the filtering of unpromising vertices, where a upper bound is proposed and proven. Extensive experiments on real-world large-scale datasets demonstrate the efficiency, effectiveness, and scalability of the proposed ESC search algorithms. A case study was conducted to compare with existing community models, substantiating that our approach facilitates the precision and diversity of results.


title: Anomalous Behavior in the Nucleation of Ice at Negative Pressures

abstract: Ice nucleation is a phenomenon that, despite the relevant implications for life, atmospheric sciences, and technological applications, is far from being completely understood, especially under extreme thermodynamic conditions. In this work we present a computational investigation of the homogeneous ice nucleation at negative pressures. By means of the seeding technique we estimate the size of the ice critical nucleus Nc for the TIP4P/Ice water model. This is done along the isotherms 230, 240, and 250 K, from positive to negative pressures until reaching the liquid-gas kinetic stability limit (where cavitation cannot be avoided). We find that Nc is nonmonotonic upon depressurization, reaching a minimum at negative pressures in the doubly metastable region of water. According to classical nucleation theory we establish the nucleation rate J and the surface tension gamma, revealing a retracing behavior of both when the liquid-gas kinetic stability limit is approached. We also predict a reentrant behavior of the homogeneous nucleation line. The reentrance of these properties is related to the reentrance of the coexistence line at negative pressure, revealing new anomalies of water. The results of this work suggest the possibility of having metastable samples of liquid water for long times at negative pressure provided that heterogeneous nucleation is suppressed.


title: Graded pseudo-H-rings

abstract: Consider a pseudo-$H$-space $E$ endowed with a separately continuous biadditive associative multiplication which induces a grading on $E$ with respect to an abelian group $G$. We call such a space a graded pseudo-$H$-ring and we show that it has the form $E = cl(U + \sum_j I_j)$ with $U$ a closed subspace of $E_1$ (the summand associated to the unit element in $G$), and any $I_j$ runs over a well described closed graded ideal of $E$, satisfying $I_jI_k = 0$ if $j \neq k$. We also give a context in which graded simplicity of $E$ is characterized. Moreover, the second Wedderburn-type theorem is given for certain graded pseudo-$H$-rings.


title: Information scrambling and chaos induced by a Hermitian Matrix

abstract: Given an arbitrary \(V \times V\) Hermitian matrix, considered as a finite discrete quantum Hamiltonian, we use methods from graph and ergodic theories to construct a \textit{quantum Poincar\'e map} at energy \(E\) and a corresponding stochastic \textit{classical Poincar\'e-Markov map} at the same energy on an appropriate discrete \textit{phase space}. This phase space consists of the directed edges of a graph with \(V\) vertices that are in one-to-one correspondence with the non-vanishing off-diagonal elements of \(H\). The correspondence between quantum Poincar\'e map and classical Poincar\'e-Markov map is an alternative to the standard quantum-classical correspondence based on a classical limit \(\hbar \to 0\). Most importantly it can be constructed where no such limit exists. Using standard methods from ergodic theory we then proceed to define an expression for the \textit{Lyapunov exponent} \(\Lambda(E)\) of the classical map. It measures the rate of loss of classical information in the dynamics and relates it to the separation of stochastic \textit{classical trajectories} in the phase space. We suggest that loss of information in the underlying classical dynamics is an indicator for quantum information scrambling.


title: Propagation reversal on trees in the large diffusion regime

abstract: In this work we study travelling wave solutions to bistable reaction diffusion equations on bi-infinite $k$-ary trees in the continuum regime where the diffusion parameter is large. Adapting the spectral convergence method developed by Bates and his coworkers, we find an asymptotic prediction for the speed of travelling front solutions. In addition, we prove that the associated profiles converge to the solutions of a suitable limiting reaction-diffusion PDE. Finally, for the standard cubic nonlinearity we provide explicit formula's to bound the thin region in parameter space where the propagation direction undergoes a reversal.


title: PSAvatar: A Point-based Shape Model for Real-Time Head Avatar Animation with 3D Gaussian Splatting

abstract: Despite much progress, achieving real-time high-fidelity head avatar animation is still difficult and existing methods have to trade-off between speed and quality. 3DMM based methods often fail to model non-facial structures such as eyeglasses and hairstyles, while neural implicit models suffer from deformation inflexibility and rendering inefficiency. Although 3D Gaussian has been demonstrated to possess promising capability for geometry representation and radiance field reconstruction, applying 3D Gaussian in head avatar creation remains a major challenge since it is difficult for 3D Gaussian to model the head shape variations caused by changing poses and expressions. In this paper, we introduce PSAvatar, a novel framework for animatable head avatar creation that utilizes discrete geometric primitive to create a parametric morphable shape model and employs 3D Gaussian for fine detail representation and high fidelity rendering. The parametric morphable shape model is a Point-based Morphable Shape Model (PMSM) which uses points instead of meshes for 3D representation to achieve enhanced representation flexibility. The PMSM first converts the FLAME mesh to points by sampling on the surfaces as well as off the meshes to enable the reconstruction of not only surface-like structures but also complex geometries such as eyeglasses and hairstyles. By aligning these points with the head shape in an analysis-by-synthesis manner, the PMSM makes it possible to utilize 3D Gaussian for fine detail representation and appearance modeling, thus enabling the creation of high-fidelity avatars. We show that PSAvatar can reconstruct high-fidelity head avatars of a variety of subjects and the avatars can be animated in real-time ($\ge$ 25 fps at a resolution of 512 $\times$ 512 ).


title: Secure Spatial Signal Design for ISAC in a Cell-Free MIMO Network

abstract: In this paper, we study a cell-free multiple-input multiple-output network equipped with integrated sensing and communication (ISAC) access points (APs). The distributed APs are used to jointly serve the communication needs of user equipments (UEs) while sensing a target, assumed to be an eavesdropper (Eve). To increase the system's robustness towards said Eve, we develop an ISAC waveform model that includes artificial noise (AN) aimed at degrading the Eve channel quality. The central processing unit receives the observations from each AP and calculates the optimal precoding and AN covariance matrices by solving a semi-definite relaxation of a constrained Cramer-Rao bound (CRB) minimization problem. Simulation results highlight an underlying trade-off between sensing and communication performances: in particular, the UEs signal-to-noise and interference ratio and the maximum Eve's signal to noise ratio are directly proportional to the CRB. Furthermore, the optimal AN covariance matrix is rank-1 and has a peak in the eve's direction, leading to a surprising inverse-proportionality between the UEs-Eve distance and optimal-CRB magnitude.


title: Facing the Elephant in the Room: Visual Prompt Tuning or Full Finetuning?

abstract: As the scale of vision models continues to grow, the emergence of Visual Prompt Tuning (VPT) as a parameter-efficient transfer learning technique has gained attention due to its superior performance compared to traditional full-finetuning. However, the conditions favoring VPT (the ``when") and the underlying rationale (the ``why") remain unclear. In this paper, we conduct a comprehensive analysis across 19 distinct datasets and tasks. To understand the ``when" aspect, we identify the scenarios where VPT proves favorable by two dimensions: task objectives and data distributions. We find that VPT is preferrable when there is 1) a substantial disparity between the original and the downstream task objectives (e.g., transitioning from classification to counting), or 2) a similarity in data distributions between the two tasks (e.g., both involve natural images). In exploring the ``why" dimension, our results indicate VPT's success cannot be attributed solely to overfitting and optimization considerations. The unique way VPT preserves original features and adds parameters appears to be a pivotal factor. Our study provides insights into VPT's mechanisms, and offers guidance for its optimal utilization.


title: Unbounded quantum advantage in communication complexity measured by distinguishability

abstract: Communication complexity is a pivotal element in information science, with quantum theory presenting a significant edge over classical approaches. The standard quantification of one-way communication complexity relies on the minimal dimension of the systems that the sender communicates to accomplish the designated task. In this study, we adopt a novel perspective, measuring the complexity of the communication by the distinguishability of the sender's input without constraining the dimension of the communicated systems. This measure becomes especially pertinent when maintaining the confidentiality of the sender's input is essential. After establishing the generic framework, we focus on two important categories of communication complexity tasks - the general version of random access codes and equality problems defined by graphs. We derive lower bounds on the distinguishability of the sender's input as a function of the success metric of these tasks in classical communication. Notably, we show that the ratio between the distinguishability in classical and quantum communication to achieve the same success metric escalates with the complexity of these tasks, reaching arbitrarily large values. Besides, we demonstrate the quantum advantage by employing qubits in solving equality problems associated with odd-cycle graphs. Furthermore, we derive lower bounds on distinguishability for another class of communication tasks, namely, pair-distinguishability tasks, and present several instances of the quantum advantage.


title: New simple solutions of the Yang--Baxter equation and their permutation groups

abstract: A new class of indecomposable, irretractable, involutive, non-degenerate set-theoretic solutions of the Yang--Baxter equation is constructed. This class complements the class of such solutions constructed in \cite{CO22} and together they generalize the class of solutions described in \cite[Theorem 4.7{CO21}. Necessary and sufficient conditions are found in order that these new solutions are simple. For a rich subclass of these solutions the structure of their permutation groups, considered as left braces, is determined. In particular, these results answer a question stated in \cite{CO21}. In the finite case, all these solutions have square cardinality. A new class of finite simple solutions of non-square cardinality such that their permutation groups are simple left braces is also constructed.


title: Estimating the construct validity of Principal Components Analysis

abstract: In many scientific disciplines, the features of interest cannot be observed directly, so must instead be inferred from observed behaviour. Latent variable analyses are increasingly employed to systematise these inferences, and Principal Components Analysis (PCA) is perhaps the simplest and most popular of these methods. Here, we examine how the assumptions that we are prepared to entertain, about the latent variable system, mediate the likelihood that PCA-derived components will capture the true sources of variance underlying data. As expected, we find that this likelihood is excellent in the best case, and robust to empirically reasonable levels of measurement noise, but best-case performance is also: (a) not robust to violations of the method's more prominent assumptions, of linearity and orthogonality; and also (b) requires that other subtler assumptions be made, such as that the latent variables should have varying importance, and that weights relating latent variables to observed data have zero mean. Neither variance explained, nor replication in independent samples, could reliably predict which (if any) PCA-derived components will capture true sources of variance in data. We conclude by describing a procedure to fit these inferences more directly to empirical data, and use it to find that components derived via PCA from two different empirical neuropsychological datasets, are less likely to have meaningful referents in the brain than we hoped.


title: Weight modules over split Lie algebras

abstract: We study the structure of weight modules $V$ with restrictions neither on the dimension nor on the base field, over split Lie algebras $L$. We show that if $L$ is perfect and $V$ satisfies $LV=V$ and ${\mathcal Z}(V)=0$, then $$\hbox{$L =\bigoplus\limits_{i\in I} I_{i}$ and $V = \bigoplus\limits_{j \in J} V_{j}$}$$ with any $I_{i}$ an ideal of $L$ satisfying $[I_{i},I_{k}]=0$ if $i \neq k$, and any $V_{j}$ a (weight) submodule of $V$ in such a way that for any $j \in J$ there exists a unique $i \in I$ such that $I_iV_j \neq 0,$ being $V_j$ a weight module over $I_i$. Under certain conditions, it is shown that the above decomposition of $V$ is by means of the family of its minimal submodules, each one being a simple (weight) submodule.


title: Viability and control of a delayed SIR epidemic with an ICU state constraint

abstract: This paper studies viability and control synthesis for a delayed SIR epidemic. The model integrates a constant delay representing an incubation/latency time. The control inputs model non-pharmaceutical interventions, while an intensive care unit (ICU) state-constraint is introduced to reflect the healthcare system's capacity. The arising delayed control system is analyzed via functional viability tools, providing insights into fulfilling the ICU constraint through feedback control maps. In particular, we consider two scenarios: first, we consider the case of general continuous initial conditions. Then, as a further refinement of our analysis, we assume that the initial conditions satisfy a Lipschitz continuity property, consistent with the considered model. The study compares the (in general, sub-optimal) obtained control policies with the optimal ones for the delay-free case, emphasizing the impact of the delay parameter. The obtained results are supported and illustrated, in a concluding section, by numerical examples.


title: Episodic X-ray Outflows from the Tidal Disruption Event ASASSN-14li

abstract: ASASSN-14li is a low-redshift ($z= 0.0206$) tidal disruption event (TDE) that has been studied extensively across the entire electromagnetic spectrum, and has provided one of the most sensitive measurements of a TDE to-date. Its X-ray spectrum is soft and thermal (kT$\sim$ 0.05 keV) and shows a residual broad absorption-like feature between 0.6-0.8 keV, which can be associated with a blue-shifted O VII (rest-frame energy 0.57 keV) resulting from an ultrafast outflow (UFO) at early times (within 40 days of optical discovery). By carefully accounting for pile-up and using precise XSTAR photo-ionization table models, we analyze the entire archival X-ray data from XMM-Newton and track the evolution of this absorption feature for $\sim$4.5 years post disruption. Our main finding is that, contrary to the previous literature, the absorption feature is transient and intermittent. Assuming the same underlying physical basis (i.e. outflows) for the recurring absorption feature in ASASSN-14li, the outflow is seen to disappear and reappear multiple times during the first $\sim$2 years of its evolution. No observable spectral imprint is detected thereafter. While theoretical studies suggest the launch of outflows in the early phases of the outburst during the super-Eddington regime, the outflow's intermittent behavior for multiple years after disruption is unusual. We discuss this peculiar behavior within the context of varying inner disk truncation, radiation pressure, and magnetically-driven outflow scenarios.


title: Radio Pulse Profile Evolution of Magnetar Swift J1818.0-1607

abstract: The shape and polarisation properties of the radio pulse profiles of radio-loud magnetars provide a unique opportunity to investigate their magnetospheric properties. Gaussian Process Regression analysis was used to investigate the variation in the total intensity shape of the radio pulse profiles of the magnetar Swift J1818.0-1607. The observed profile shape was found to evolve through three modes between MJDs 59104 and 59365. The times at which these transitions occurred coincided with changes in the amplitude of modulations in the spin-down rate. The amount of linear and circular polarisation was also found to vary significantly with time. Lomb-Scargle periodogram analysis of the spin-down rate revealed three possibly harmonically related frequencies. This could point to the magnetar experiencing seismic activity. However, no profile features exhibited significant periodicity, suggesting no simple correlations between the profile variability and fluctuations of the spin-down on shorter timescales within the modes. Overall, this implies the mode changes seen are a result of local magnetospheric changes, with other theories, such as precession, less able to explain these observations.


title: Ruddlesden-Popper and perovskite phases as a material platform for altermagnetism

abstract: The subclass of collinear antiferromagnets where spin Kramers degeneracy is broken -- so that they can display ferromagnetic-like properties -- stimulates a new perspective in magnetism. However, the material base for these so-called altermagnets is still relatively limited. We show that Ruddlesden-Popper and perovskite phases generically host altermagnetic materials. In particular, we analyze prototypical nickel-based systems via first-principles calculations and identify additional materials from their crystal structure and magnetic orders. These materials span both insulating/semiconducting and metallic conduction types and the computed values of the nonrelativistic spin splittings reach 250~meV. Our analysis also indicates some formal inconsistencies that may appear within the traditional classification of magnetically ordered materials, which can easily be resolved from the altermagnetic perspective. In addition, we indicate the possibility of having altermagnetic behavior in systems beyond collinear antiferromagnets with perfectly compensated magnetization.


title: Pretraining and the Lasso

abstract: Pretraining is a popular and powerful paradigm in machine learning. As an example, suppose one has a modest-sized dataset of images of cats and dogs, and plans to fit a deep neural network to classify them from the pixel features. With pretraining, we start with a neural network trained on a large corpus of images, consisting of not just cats and dogs but hundreds of other image types. Then we fix all of the network weights except for the top layer (which makes the final classification) and train (or "fine tune") those weights on our dataset. This often results in dramatically better performance than the network trained solely on our smaller dataset. In this paper, we ask the question "Can pretraining help the lasso?". We develop a framework for the lasso in which an overall model is fit to a large set of data, and then fine-tuned to a specific task on a smaller dataset. This latter dataset can be a subset of the original dataset, but does not need to be. We find that this framework has a wide variety of applications, including stratified models, multinomial targets, multi-response models, conditional average treatment estimation and even gradient boosting. In the stratified model setting, the pretrained lasso pipeline estimates the coefficients common to all groups at the first stage, and then group specific coefficients at the second "fine-tuning" stage. We show that under appropriate assumptions, the support recovery rate of the common coefficients is superior to that of the usual lasso trained only on individual groups. This separate identification of common and individual coefficients can also be useful for scientific understanding.


title: Searches for Compact Binary Coalescence Events Using Neural Networks in LIGO/Virgo Third Observation Period

abstract: We present the results on the search for the coalescence of compact binary mergers using convolutional neural networks and the LIGO/Virgo data for the O3 observation period. Two-dimensional images in time and frequency are used as input. The analysis is performed in three separate mass regions covering the range for the masses in the binary system from 0.2 to 100 solar masses, excluding very asymmetric mass configurations. We explore neural networks trained with input information from pairs of interferometers or all three interferometers together, concluding that the use of the maximum information available leads to an improved performance. A scan over the O3 data set, using the convolutional neural networks, is performed with different fake rate thresholds for claiming detection of at most one event per year or at most one event per week. The latter would correspond to a loose online selection still leading to affordable fake alarm rates. The efficiency of the neutral networks to detect the O3 catalog events is discussed. In the case of a fake rate threshold of at most one event per week, the scan leads to the detection of about 50% of the O3 catalog events. Once the search is limited to the catalog events within the mass range used for neural networks training, the detection efficiency increases up to 70%. A further improvement in the search efficiency, using the same kind of algorithms, will require the implementation of new criteria for the suppression of detector glitches.


title: Advancing Glitch Classification in Gravity Spy: Multi-view Fusion with Attention-based Machine Learning for Advanced LIGO's Fourth Observing Run

abstract: The first successful detection of gravitational waves by ground-based observatories, such as the Laser Interferometer Gravitational-Wave Observatory (LIGO), marked a revolutionary breakthrough in our comprehension of the Universe. However, due to the unprecedented sensitivity required to make such observations, gravitational-wave detectors also capture disruptive noise sources called glitches, potentially masking or appearing as gravitational-wave signals themselves. To address this problem, a community-science project, Gravity Spy, incorporates human insight and machine learning to classify glitches in LIGO data. The machine learning classifier, integrated into the project since 2017, has evolved over time to accommodate increasing numbers of glitch classes. Despite its success, limitations have arisen in the ongoing LIGO fourth observing run (O4) due to its architecture's simplicity, which led to poor generalization and inability to handle multi-time window inputs effectively. We propose an advanced classifier for O4 glitches. Our contributions include evaluating fusion strategies for multi-time window inputs, using label smoothing to counter noisy labels, and enhancing interpretability through attention module-generated weights. This development seeks to enhance glitch classification, aiding in the ongoing exploration of gravitational-wave phenomena.


title: Emergent Communication Protocol Learning for Task Offloading in Industrial Internet of Things

abstract: In this paper, we leverage a multi-agent reinforcement learning (MARL) framework to jointly learn a computation offloading decision and multichannel access policy with corresponding signaling. Specifically, the base station and industrial Internet of Things mobile devices are reinforcement learning agents that need to cooperate to execute their computation tasks within a deadline constraint. We adopt an emergent communication protocol learning framework to solve this problem. The numerical results illustrate the effectiveness of emergent communication in improving the channel access success rate and the number of successfully computed tasks compared to contention-based, contention-free, and no-communication approaches. Moreover, the proposed task offloading policy outperforms remote and local computation baselines.


title: Red Teaming Visual Language Models

abstract: VLMs (Vision-Language Models) extend the capabilities of LLMs (Large Language Models) to accept multimodal inputs. Since it has been verified that LLMs can be induced to generate harmful or inaccurate content through specific test cases (termed as Red Teaming), how VLMs perform in similar scenarios, especially with their combination of textual and visual inputs, remains a question. To explore this problem, we present a novel red teaming dataset RTVLM, which encompasses 10 subtasks (e.g., image misleading, multi-modal jail-breaking, face fairness, etc) under 4 primary aspects (faithfulness, privacy, safety, fairness). Our RTVLM is the first red-teaming dataset to benchmark current VLMs in terms of these 4 different aspects. Detailed analysis shows that 10 prominent open-sourced VLMs struggle with the red teaming in different degrees and have up to 31% performance gap with GPT-4V. Additionally, we simply apply red teaming alignment to LLaVA-v1.5 with Supervised Fine-tuning (SFT) using RTVLM, and this bolsters the models' performance with 10% in RTVLM test set, 13% in MM-Hal, and without noticeable decline in MM-Bench, overpassing other LLaVA-based models with regular alignment data. This reveals that current open-sourced VLMs still lack red teaming alignment. Our code and datasets will be open-source.


title: Decompositions of linear operators on pre-euclidean spaces by means of graphs

abstract: In this work we study a linear operator $f$ on a pre-euclidean space $\mathcal{V}$ by using properties of a corresponding graph. Given a basis $\B$ of $\mathcal{V}$, we present a decomposition of $\mathcal{V}$ as an orthogonal direct sum of certain linear subspaces $\{U_i\}_{i \in I}$, each one admitting a basis inherited from $\B$, in such way that $f = \sum_{i \in I}f_i$, being each $f_i$ a linear operator satisfying certain conditions respect with $U_i$. Considering new hypothesis, we assure the existence of an isomorphism between the graphs associated to $f$ relative to two different bases. We also study the minimality of $\mathcal{V}$ by using the graph associated to $f$ relative to $\B$.


title: Active Inference as a Model of Agency

abstract: Is there a canonical way to think of agency beyond reward maximisation? In this paper, we show that any type of behaviour complying with physically sound assumptions about how macroscopic biological agents interact with the world canonically integrates exploration and exploitation in the sense of minimising risk and ambiguity about states of the world. This description, known as active inference, refines the free energy principle, a popular descriptive framework for action and perception originating in neuroscience. Active inference provides a normative Bayesian framework to simulate and model agency that is widely used in behavioural neuroscience, reinforcement learning (RL) and robotics. The usefulness of active inference for RL is three-fold. \emph{a}) Active inference provides a principled solution to the exploration-exploitation dilemma that usefully simulates biological agency. \emph{b}) It provides an explainable recipe to simulate behaviour, whence behaviour follows as an explainable mixture of exploration and exploitation under a generative world model, and all differences in behaviour are explicit in differences in world model. \emph{c}) This framework is universal in the sense that it is theoretically possible to rewrite any RL algorithm conforming to the descriptive assumptions of active inference as an active inference algorithm. Thus, active inference can be used as a tool to uncover and compare the commitments and assumptions of more specific models of agency.


title: Boron Abundances in Early B Dwarfs of the Galactic Open Cluster NGC 3293

abstract: New boron abundances or upper limits have been determined for 8 early-B stars in the young Galactic open cluster NGC 3293, using ultraviolet spectra obtained by the Hubble Space Telescope Cosmic Origins Spectrograph. With previous observations, there are now 18 early-B stars in this cluster with boron measurements. Six of the newly observed stars have projected rotational velocities greater than 200 km/s, allowing new constraints on rotationally driven mixing in main-sequence stars. When comparing to synthetic model populations, we find that the majority of our sample stars agree well with the predicted trends of stronger boron depletion for larger rotation and for larger mass or luminosity. Based on those, a smaller than the canonical rotational mixing efficiency,(fc = 0.0165 vs the more standard value of 0.033), appears to be required. However, our five most slowly rotating stars are not well explained by rotational mixing, and we speculate that they originate from binary mergers.


title: Inertial Sensors for Human Motion Analysis: A Comprehensive Review

abstract: Inertial motion analysis is having a growing interest during the last decades due to its advantages over classical optical systems. The technological solution based on inertial measurement units allows the measurement of movements in daily living environments, such as in everyday life, which is key for a realistic assessment and understanding of movements. This is why research in this field is still developing and different approaches are proposed. This presents a systematic review of the different proposals for inertial motion analysis found in the literature. The search strategy has been carried out on eight different platforms, including journal articles and conference proceedings, which are written in English and published until August 2022. The results are analyzed in terms of the publishers, the sensors used, the applications, the monitored units, the algorithms of use, the participants of the studies, and the validation systems employed. In addition, we delve deeply into the machine learning techniques proposed in recent years and in the approaches to reduce the estimation error. In this way, we show an overview of the research carried out in this field, going into more detail in recent years, and providing some research directions for future work


title: Truck Parking Usage Prediction with Decomposed Graph Neural Networks

abstract: Truck parking on freight corridors faces various challenges, such as insufficient parking spaces and compliance with Hour-of-Service (HOS) regulations. These constraints often result in unauthorized parking practices, causing safety concerns. To enhance the safety of freight operations, providing accurate parking usage prediction proves to be a cost-effective solution. Despite the existing research demonstrating satisfactory accuracy for predicting individual truck parking site usage, few approaches have been proposed for predicting usage with spatial dependencies of multiple truck parking sites. We present the Regional Temporal Graph Neural Network (RegT-GCN) as a predictive framework for assessing parking usage across the entire state to provide better truck parking information and mitigate unauthorized parking. The framework leverages the topological structures of truck parking site distributions and historical parking data to predict occupancy rates across a state. To achieve this, we introduce a Regional Decomposition approach, which effectively captures the geographical characteristics. We also introduce the spatial module working efficiently with the temporal module. Evaluation results demonstrate that the proposed model surpasses other baseline models, improving the performance by more than $20\%$ compared with the original model. The proposed model allows truck parking sites' percipience of the topological structures and provides higher performance.


title: A hypocoercivity-exploiting stabilised finite element method for Kolmogorov equation

abstract: We propose a new stabilised finite element method for the classical Kolmogorov equation. The latter serves as a basic model problem for large classes of kinetic-type equations and, crucially, is characterised by degenerate diffusion. The stabilisation is constructed so that the resulting method admits a \emph{numerical hypocoercivity} property, analogous to the corresponding property of the PDE problem. More specifically, the stabilisation is constructed so that spectral gap is possible in the resulting ``stronger-than-energy'' stabilisation norm, despite the degenerate nature of the diffusion in Kolmogorov, thereby the method has a provably robust behaviour as the ``time'' variable goes to infinity. We consider both a spatially discrete version of the stabilised finite element method and a fully discrete version, with the time discretisation realised by discontinuous Galerkin timestepping. Both stability and a priori error bounds are proven in all cases. Numerical experiments verify the theoretical findings.


title: Flow structure beneath periodic waves with constant vorticity under strong horizontal electric Fields

abstract: While several articles have been written on Electrohydrodynamics (EHD) flows or flows with constant vorticity separately, little is known about the extent to which the combined effects of EHD and constant vorticity affect the flow. This study aims to fill this gap by investigating how a horizontal electric field and constant vorticity jointly influence the free surface and the emergence of stagnation points. Using the Euler equations framework, we employ conformal mapping and pseudo-spectral numerical methods. Our findings reveal that increasing the electric field intensity eliminates stagnation points and smoothen the wave profile. This implies that a horizontal electric field acts as a mechanism for the elimination of stagnation points within the fluid body.


title: Deep multitask neural networks for solving some stochastic optimal control problems

abstract: Most existing neural network-based approaches for solving stochastic optimal control problems using the associated backward dynamic programming principle rely on the ability to simulate the underlying state variables. However, in some problems, this simulation is infeasible, leading to the discretization of state variable space and the need to train one neural network for each data point. This approach becomes computationally inefficient when dealing with large state variable spaces. In this paper, we consider a class of this type of stochastic optimal control problems and introduce an effective solution employing multitask neural networks. To train our multitask neural network, we introduce a novel scheme that dynamically balances the learning across tasks. Through numerical experiments on real-world derivatives pricing problems, we prove that our method outperforms state-of-the-art approaches.