title: Optimizing Electric Vehicle Efficiency with Real-Time Telemetry using Machine Learning

abstract: In the contemporary world with degrading natural resources, the urgency of energy efficiency has become imperative due to the conservation and environmental safeguarding. Therefore, it's crucial to look for advanced technology to minimize energy consumption. This research focuses on the optimization of battery-electric city style vehicles through the use of a real-time in-car telemetry system that communicates between components through the robust Controller Area Network (CAN) protocol. By harnessing real-time data from various sensors embedded within vehicles, our driving assistance system provides the driver with visual and haptic actionable feedback that guides the driver on using the optimum driving style to minimize power consumed by the vehicle. To develop the pace feedback mechanism for the driver, real-time data is collected through a Shell Eco Marathon Urban Concept vehicle platform and after pre-processing, it is analyzed using the novel machine learning algorithm TEMSL, that outperforms the existing baseline approaches across various performance metrics. This innovative method after numerous experimentation has proven effective in enhancing energy efficiency, guiding the driver along the track, and reducing human errors. The driving-assistance system offers a range of utilities, from cost savings and extended vehicle lifespan to significant contributions to environmental conservation and sustainable driving practices.


title: CPSOR-GCN: A Vehicle Trajectory Prediction Method Powered by Emotion and Cognitive Theory

abstract: Active safety systems on vehicles often face problems with false alarms. Most active safety systems predict the driver's trajectory with the assumption that the driver is always in a normal emotion, and then infer risks. However, the driver's trajectory uncertainty increases under abnormal emotions. This paper proposes a new trajectory prediction model: CPSOR-GCN, which predicts vehicle trajectories under abnormal emotions. At the physical level, the interaction features between vehicles are extracted by the physical GCN module. At the cognitive level, SOR cognitive theory is used as prior knowledge to build a Dynamic Bayesian Network (DBN) structure. The conditional probability and state transition probability of nodes from the calibrated SOR-DBN quantify the causal relationship between cognitive factors, which is embedded into the cognitive GCN module to extract the characteristics of the influence mechanism of emotions on driving behavior. The CARLA-SUMO joint driving simulation platform was built to develop dangerous pre-crash scenarios. Methods of recreating traffic scenes were used to naturally induce abnormal emotions. The experiment collected data from 26 participants to verify the proposed model. Compared with the model that only considers physical motion features, the prediction accuracy of the proposed model is increased by 68.70%. Furthermore,considering the SOR-DBN reduces the prediction error of the trajectory by 15.93%. Compared with other advanced trajectory prediction models, the results of CPSOR-GCN also have lower errors. This model can be integrated into active safety systems to better adapt to the driver's emotions, which could effectively reduce false alarms.


title: A structural determinant of the behavior of water at hydration and nanoconfinement conditions

abstract: Liquid water is reluctant to lose hydrogen-bond coordination. Here we reveal that it also demands contraction and reorientation of the second molecular shell to compensate for coordination defects. Such molecular principle will be shown to lie at the heart of the two-liquids scenario and to determine the behavior of water in hydration and nanoconfinement. Furthermore, it allows to define conditions for wettability (quantifying hydrophobicity and predicting drying transitions), thus opening the possibility to elucidate the active role of water in central fields of research.


title: Interconnection of (Q,S,R)-Dissipative Systems in Discrete Time

abstract: Discrete-time systems cannot be passive unless there is a direct feedthrough from the input to the output. For passivity-based control to be exploited nevertheless, some authors introduce virtual outputs, while others rely on continuous-time passivity and then apply discretization techniques that preserve passivity in discrete time. Here we argue that quadratic supply rates incorporate and extend the effect of virtual outputs, allowing one to exploit dissipativity properties directly in discrete time. We derive decentralized (Q,S,R)-dissipativity conditions for a set of nonlinear systems interconnected with arbitrary topology, so that the overall network is guaranteed to be stable. For linear systems, we develop dissipative control conditions that are linear in the supply rate matrices. To demonstrate the validity of our methods, we provide numerical examples in the context of islanded microgrids.


title: Improving In-context Learning of Multilingual Generative Language Models with Cross-lingual Alignment

abstract: Multilingual generative models obtain remarkable cross-lingual in-context learning capabilities through pre-training on large-scale corpora. However, they still exhibit a performance bias toward high-resource languages and learn isolated distributions of multilingual sentence representations, which may hinder knowledge transfer across languages. To bridge this gap, we propose a simple yet effective cross-lingual alignment framework exploiting pairs of translation sentences. It aligns the internal sentence representations across different languages via multilingual contrastive learning and aligns outputs by following cross-lingual instructions in the target language. Experimental results show that even with less than 0.1 {\textperthousand} of pre-training tokens, our alignment framework significantly boosts the cross-lingual abilities of generative language models and mitigates the performance gap. Further analyses reveal that it results in a better internal multilingual representation distribution of multilingual models.


title: DFT+DMFT study of exchange interactions in cobalt and their implications for the competition of hcp and fcc phases

abstract: We reconsider magnetic properties of fcc and hcp cobalt within the density functional theory plus dynamical mean-field theory (DFT+DMFT) approach in the paramagnetic phase. Using recently proposed approach of calculation of exchange interactions in paramagnetic phase, we extract exchange interaction parameters of fcc and hcp cobalt and show that the hcp phase possesses larger spin stiffness, in agreement with the experimental data, showing stronger tendency to ferromagnetism. Accordingly, the DMFT Curie temperature of the hcp phase appears to be higher, than that of the fcc phase. The disappearance of magnetic order in the fcc phase well below the cobalt Curie temperature is expected to affect its structural stability and make this phase energetically unfavourable near the experimental Curie temperature. This may explain the "revival" of the hcp phase near the Curie temperature of cobalt, observed in the recent experimental results of perturbed angular correlation study [Sci. Rep. {\bf 12}, 10054 (2022)].


title: Lumiere: Making Optimal BFT for Partial Synchrony Practical

abstract: The view synchronization problem lies at the heart of many Byzantine Fault Tolerant (BFT) State Machine Replication (SMR) protocols in the partial synchrony model, since these protocols are usually based on views. Liveness is guaranteed if honest processors spend a sufficiently long time in the same view during periods of synchrony, and if the leader of the view is honest. Ensuring that these conditions occur, known as Byzantine View Synchronization (BVS), has turned out to be the performance bottleneck of many BFT SMR protocols. A recent line of work has shown that, by using an appropriate view synchronization protocol, BFT SMR protocols can achieve $O(n^2)$ communication complexity in the worst case after GST, thereby finally matching the lower bound established by Dolev and Reischuk in 1985. However, these protocols suffer from two major issues: (1) When implemented so as to be optimistically responsive, even a single Byzantine processor may infinitely often cause $\Omega(n\Delta)$ latency between consecutive consensus decisions. (2) Even in the absence of Byzantine action, infinitely many views require honest processors to send $\Omega(n^2)$ messages. Here, we present Lumiere, an optimistically responsive BVS protocol which maintains optimal worst-case communication complexity while simultaneously addressing the two issues above: for the first time, Lumiere enables BFT consensus solutions in the partial synchrony setting that have $O(n^2)$ worst-case communication complexity, and that eventually always (i.e., except for a small constant number of "warmup" decisions) have communication complexity and latency which is linear in the number of actual faults in the execution.


title: Light Nuclei Production in Au+Au Collisions at $\sqrt{s_{NN}}=$ 3 GeV within Thermodynamical Approach: Bulk Properties and Collective Flow

abstract: We present results of simulations of light-nuclei production in Au+Au collisions at collision energy of $\sqrt{s_{NN}}=$ 3 GeV within updated Three-fluid Hydrodynamics-based Event Simulator Extended by UrQMD (Ultra-relativistic Quantum Molecular Dynamics) final State interactions (THESEUS). The results are compared with recent STAR data. The light-nuclei production is treated within the thermodynamical approach on equal basis with hadrons. The only additional parameter related to the light nuclei is the energy density of late freeze-out that imitates afterburner stage of the collision because the light nuclei do not participate in the UrQMD evolution. It is found that the late freeze-out is preferable for deuterons, tritons, and $^3$He. Remarkably, the $^4$He observables are better reproduced with the standard freeze-out. This suggests that the $^4$He nuclei better survive in the afterburner stage because they are more spatially compact and tightly bound objects. This is an argument in favor of dynamical treatment of light nuclei. The simulations indicate that the collision dynamics is determined by the hadronic phase. The calculated results reveal not perfect but a good reproduction of the data on bulk observables and directed flow. The elliptic flow turns out to be more intricate.


title: Spot: A Natural Language Interface for Geospatial Searches in OSM

abstract: Investigative journalists and fact-checkers have found OpenStreetMap (OSM) to be an invaluable resource for their work due to its extensive coverage and intricate details of various locations, which play a crucial role in investigating news scenes. Despite its value, OSM's complexity presents considerable accessibility and usability challenges, especially for those without a technical background. To address this, we introduce 'Spot', a user-friendly natural language interface for querying OSM data. Spot utilizes a semantic mapping from natural language to OSM tags, leveraging artificially generated sentence queries and a T5 transformer. This approach enables Spot to extract relevant information from user-input sentences and display candidate locations matching the descriptions on a map. To foster collaboration and future advancement, all code and generated data is available as an open-source repository.


title: SkelVIT: Consensus of Vision Transformers for a Lightweight Skeleton-Based Action Recognition System

abstract: Skeleton-based action recognition receives the attention of many researchers as it is robust to viewpoint and illumination changes, and its processing is much more efficient than the processing of video frames. With the emergence of deep learning models, it has become very popular to represent the skeleton data in pseudo-image form and apply CNN for action recognition. Thereafter, studies concentrated on finding effective methods for forming pseudo-images. Recently, attention networks, more specifically transformers have provided promising results in various vision problems. In this study, the effectiveness of VIT for skeleton-based action recognition is examined and its robustness on the pseudo-image representation scheme is investigated. To this end, a three-level architecture, SkelVit is proposed, which forms a set of pseudo images, applies a classifier on each of the representations, and combines their results to find the final action class. The performance of SkelVit is examined thoroughly via a set of experiments. First, the sensitivity of the system to representation is investigated by comparing it with two of the state-of-the-art pseudo-image representation methods. Then, the classifiers of SkelVit are realized in two experimental setups by CNNs and VITs, and their performances are compared. In the final experimental setup, the contribution of combining classifiers is examined by applying the model with a different number of classifiers. Experimental studies reveal that the proposed system with its lightweight representation scheme achieves better results than the state-of-the-art methods. It is also observed that the vision transformer is less sensitive to the initial pseudo-image representation compared to CNN. Nevertheless, even with the vision transformer, the recognition performance can be further improved by the consensus of classifiers.


title: Coherence memory and amnesia in a mode-locked laser

abstract: Self-organization of temporal modes in mode-locked lasers usually starts from quantum noise. In this process, incoherent spontaneous emission is steered into coherent ultrashort pulses by dissipation and nonlinearity. In this work, we investigated self-organization dynamics in a mode-locked Mamyshev oscillator starting from coherent pulse seeds as opposed to quantum noise. We observed that the coherence of the seed can be remembered or forgotten depending on the initial inverse population. The excessive nonlinearity in the coherence amnesia regime can devastate the seed coherence, causing the oscillator to undergo a chaotic transition lasting hundreds of round trips before regaining coherence. Conversely, the oscillator converges in only a few round trips for the coherence memory regime. A heterodyne technique was developed to record the fast varying optical phase and characterize these two regimes. Dissipative soliton molecules were synthesized from external pulse pair seeds via the coherence memory pathway. In this case, a plateau of the generated pulse spacing independent from seed pulse spacing, i.e., amnesia of the seed spacing, was observed for close spaced seed pulse pairs. Moreover, we show that pulse seeds can be used for laser reconfiguration and pulse pattern control. Our work paves a way to control transient pulse dynamics and steady pulse forms on demand in mode-locked lasers.


title: Leveraging Static Analysis: An IDE for RTLola

abstract: Runtime monitoring is an essential part of guaranteeing the safety of cyber-physical systems. Recently, runtime monitoring frameworks based on formal specification languages gained momentum. These languages provide valuable abstractions for specifying the behavior of a system. Yet, writing specifications remains challenging as, among other things, the specifier has to keep track of the timing behavior of streams. This paper presents the RTLola Playground, a browser-based development environment for the stream-based runtime monitoring framework RTLola. It features new methods to explore the static analysis results of RTLola, leveraging the advantages of such a formal language to support the developer in writing and understanding specifications. Specifications are executed locally in the browser, plotting the resulting stream values, allowing for intuitive testing. Step-wise execution based on user-provided system traces enables the debugging of identified errors.


title: Empowering Multi-step Reasoning across Languages via Tree-of-Thoughts

abstract: Reasoning methods, best exemplified by the well-known Chain-of-Thought (CoT), empower the reasoning abilities of Large Language Models (LLMs) by eliciting them to solve complex tasks in a step-by-step manner. Although they are achieving significant success, the ability to deliver multi-step reasoning remains limited to English because of the imbalance in the distribution of pre-training data, which makes other languages a barrier. In this paper, we propose Cross-lingual Tree-of-Thoughts (Cross-ToT), a method for aligning Cross-lingual CoT reasoning across languages. The proposed method, through a self-consistent cross-lingual prompting mechanism inspired by the Tree-of-Thoughts approach, provides multi-step reasoning paths in different languages that, during the steps, lead to the final solution. Experimental evaluations show that our method significantly outperforms existing prompting methods by reducing the number of interactions and achieving state-of-the-art performance.


title: Ab initio path integral Monte Carlo simulations of the uniform electron gas on large length scales

abstract: The accurate description of non-ideal quantum many-body systems is of prime importance for a host of applications within physics, quantum chemistry, material science, and related disciplines. At finite temperatures, the gold standard is given by \textit{ab initio} path integral Monte Carlo (PIMC) simulations, which do not require any empirical input, but exhibit an exponential increase in the required compute time for fermionic systems with increasing the system size $N$. Very recently, it has been suggested to compute fermionic properties without this bottleneck based on PIMC simulations of fictitious identical particles. In the present work, we use this technique to carry out very large ($N\leq1000$) PIMC simulations of the warm dense electron gas and demonstrate that it is capable of providing a highly accurate description of investigated properties, i.e., the static structure factor, the static density response function, and local field correction, over the entire range of length scales.

categories: physics.chem-ph cond-mat.str-el physics.comp-ph physics.plasm-ph


title: Nonuniform quadrupolar orders in the spin-3/2 generalized Heisenberg chain

abstract: The generation of nonuniform quadrupole states plays a crucial role in understanding various fascinating phenomena observed in the advancement of several research areas, e.g., multiferroic compounds, nonmagnetic superconductors, etc. In this work, we investigate the ground-state phase diagram of a generalized spin-3/2 bilinear-biquadratic-bicubic Heisenberg chain in the representation of multipolar operators. By numerical simulations with the large-scale density-matrix renormalization group (DMRG) method, we successfully identify a tetramerization phase and a stripe-Q phase. These phases are characterized by the emergence of nonuniform quadrupole orders resulting from the spontaneous breaking of translation symmetry. In particular, tetramerization phase refers to the quadrupole operators take a four-cycle, while the stripe-Q phase represents a striped pattern in quadrupole operators. Additionally, we demonstrate the presence of a Wess-Zumino-Witten (WZW) model with level k = 1 at the transition point between the dimerized (DM) phase and the Luttinger liquid (LL) phase, based on strong numerical findings.


title: PPAD: Iterative Interactions of Prediction and Planning for End-to-end Autonomous Driving

abstract: We present a new interaction mechanism of prediction and planning for end-to-end autonomous driving, called PPAD (Iterative Interaction of Prediction and Planning Autonomous Driving), which considers the timestep-wise interaction to better integrate prediction and planning. An ego vehicle performs motion planning at each timestep based on the trajectory prediction of surrounding agents (e.g., vehicles and pedestrians) and its local road conditions. Unlike existing end-to-end autonomous driving frameworks, PPAD models the interactions among ego, agents, and the dynamic environment in an autoregressive manner by interleaving the Prediction and Planning processes at every timestep, instead of a single sequential process of prediction followed by planning. Specifically, we design ego-to-agent, ego-to-map, and ego-to-BEV interaction mechanisms with hierarchical dynamic key objects attention to better model the interactions. The experiments on the nuScenes benchmark show that our approach outperforms state-of-the-art methods.


title: Non-monotonic emergence of order from chaos in turbulent thermo-acoustic fluid systems

abstract: Self-sustained order can emerge in complex systems due to internal feedback between coupled subsystems. Although the general mechanisms are known, the specific paths of transition to order can be different in distinct systems. Here, we present our discovery of a surprisingly non-monotonic emergence of order amidst chaos in a turbulent thermo-acoustic fluid system. Fluctuations play a vital role in determining the dynamical state and transitions in a system, as theorized by Prigogine. In this work, we use the framework of complex networks and encode the amplitude scales of fluctuations in the topology of a network. Using network entropy, we identify the amount of uncertainty in fluctuations and use it as a measure of chaotic intensity. Further, we show that network centrality measures capture the magnitude of jumps in amplitude scales due to fluctuations. We find that the competition between turbulence and nonlinear interactions leads to the non-monotonic emergence of order amidst chaos in turbulent thermo-acoustic fluid systems.


title: Series representations for the characteristic function of the multidimensional Markov random flight

abstract: Two series representations of the characteristic function of the multidimensional symmetric Markov random flight with respect to Bessel functions and with respect to time variable, are given. Asymptotic formula for the second mixed moment function of the three-dimensional random flight is presented.


title: Exploring Semi-supervised Hierarchical Stacked Encoder for Legal Judgement Prediction

abstract: Predicting the judgment of a legal case from its unannotated case facts is a challenging task. The lengthy and non-uniform document structure poses an even greater challenge in extracting information for decision prediction. In this work, we explore and propose a two-level classification mechanism; both supervised and unsupervised; by using domain-specific pre-trained BERT to extract information from long documents in terms of sentence embeddings further processing with transformer encoder layer and use unsupervised clustering to extract hidden labels from these embeddings to better predict a judgment of a legal case. We conduct several experiments with this mechanism and see higher performance gains than the previously proposed methods on the ILDC dataset. Our experimental results also show the importance of domain-specific pre-training of Transformer Encoders in legal information processing.


title: Reimagining Speech: A Scoping Review of Deep Learning-Powered Voice Conversion

abstract: Research on deep learning-powered voice conversion (VC) in speech-to-speech scenarios is getting increasingly popular. Although many of the works in the field of voice conversion share a common global pipeline, there is a considerable diversity in the underlying structures, methods, and neural sub-blocks used across research efforts. Thus, obtaining a comprehensive understanding of the reasons behind the choice of the different methods in the voice conversion pipeline can be challenging, and the actual hurdles in the proposed solutions are often unclear. To shed light on these aspects, this paper presents a scoping review that explores the use of deep learning in speech analysis, synthesis, and disentangled speech representation learning within modern voice conversion systems. We screened 621 publications from more than 38 different venues between the years 2017 and 2023, followed by an in-depth review of a final database consisting of 123 eligible studies. Based on the review, we summarise the most frequently used approaches to voice conversion based on deep learning and highlight common pitfalls within the community. Lastly, we condense the knowledge gathered, identify main challenges and provide recommendations for future research directions.


title: DiLoCo: Distributed Low-Communication Training of Language Models

abstract: Large language models (LLM) have become a critical component in many applications of machine learning. However, standard approaches to training LLM require a large number of tightly interconnected accelerators, with devices exchanging gradients and other intermediate states at each optimization step. While it is difficult to build and maintain a single computing cluster hosting many accelerators, it might be easier to find several computing clusters each hosting a smaller number of devices. In this work, we propose a distributed optimization algorithm, Distributed Low-Communication (DiLoCo), that enables training of language models on islands of devices that are poorly connected. The approach is a variant of federated averaging, where the number of inner steps is large, the inner optimizer is AdamW, and the outer optimizer is Nesterov momentum. On the widely used C4 dataset, we show that DiLoCo on 8 workers performs as well as fully synchronous optimization while communicating 500 times less. DiLoCo exhibits great robustness to the data distribution of each worker. It is also robust to resources becoming unavailable over time, and vice versa, it can seamlessly leverage resources that become available during training.


title: Carpe Diem: On the Evaluation of World Knowledge in Lifelong Language Models

abstract: The dynamic nature of knowledge in an ever-changing world presents challenges for language models trained on static data; the model in the real world often requires not only acquiring new knowledge but also overwriting outdated information into updated ones. To study the ability of language models for these time-dependent dynamics in human language, we introduce a novel task, EvolvingQA, a temporally evolving question-answering benchmark designed for training and evaluating LMs on an evolving Wikipedia database. The construction of EvolvingQA is automated with our pipeline using large language models. We uncover that existing continual learning baselines suffer from updating and removing outdated knowledge. Our analysis suggests that models fail to rectify knowledge due to small weight gradients. In addition, we elucidate that language models particularly struggle to reflect the change of numerical or temporal information. Our work aims to model the dynamic nature of real-world information, suggesting faithful evaluations of the evolution-adaptability of language models.


title: SAIE Framework: Support Alone Isn't Enough -- Advancing LLM Training with Adversarial Remarks

abstract: Large Language Models (LLMs) can justify or critique their predictions through discussions with other models or humans, thereby enriching their intrinsic understanding of instances. While proactive discussions in the inference phase have been shown to boost performance, such interactions have not been extensively explored during the training phase. We hypothesize that incorporating interactive discussions into the training process can enhance the models' understanding and improve their reasoning and verbal expression abilities during inference. This work introduces the SAIE framework, which facilitates supportive and adversarial discussions between learner and partner models. The learner model receives responses from the partner, and its parameters are then updated based on this discussion. This dynamic adjustment process continues throughout the training phase, responding to the evolving outputs of the learner model. Our empirical evaluation across various tasks, including math problems, commonsense reasoning, and multi-domain knowledge, demonstrates that models fine-tuned with the SAIE framework outperform those trained with conventional fine-tuning approaches. Furthermore, our method enhances the models' reasoning capabilities, improving both individual and multi-agent inference performance.


title: Many-body entropies and entanglement from polynomially-many local measurements

abstract: Randomized measurements (RMs) provide a practical scheme to probe complex many-body quantum systems. While they are a very powerful tool to extract local information, global properties such as entropy or bipartite entanglement remain hard to probe, requiring a number of measurements or classical post-processing resources growing exponentially in the system size. In this work, we address the problem of estimating global entropies and mixed-state entanglement via partial-transposed (PT) moments, and show that efficient estimation strategies exist under the assumption that all the spatial correlation lengths are finite. Focusing on one-dimensional systems, we identify a set of approximate factorization conditions (AFCs) on the system density matrix which allow us to reconstruct entropies and PT moments from information on local subsystems. Combined with the RM toolbox, this yields a simple strategy for entropy and entanglement estimation which is provably accurate assuming that the state to be measured satisfies the AFCs, and which only requires polynomially-many measurements and post-processing operations. We prove that the AFCs hold for finite-depth quantum-circuit states and translation-invariant matrix-product density operators, and provide numerical evidence that they are satisfied in more general, physically-interesting cases, including thermal states of local Hamiltonians. We argue that our method could be practically useful to detect bipartite mixed-state entanglement for large numbers of qubits available in today's quantum platforms.


title: Improvements to steepest descent method for multi-objective optimization

abstract: In this paper, we propose a simple yet efficient strategy for improving the multi-objective steepest descent method proposed by Fliege and Svaiter (Math Methods Oper Res, 2000, 3: 479--494). The core idea behind this strategy involves incorporating a positive modification parameter into the iterative formulation of the multi-objective steepest descent algorithm in a multiplicative manner. This modification parameter captures certain second-order information associated with the objective functions. We provide two distinct methods for calculating this modification parameter, leading to the development of two improved multi-objective steepest descent algorithms tailored for solving multi-objective optimization problems. Under reasonable assumptions, we demonstrate the convergence of sequences generated by the first algorithm toward a critical point. Moreover, for strongly convex multi-objective optimization problems, we establish the linear convergence to Pareto optimality of the sequence of generated points. The performance of the new algorithms is empirically evaluated through a computational comparison on a set of multi-objective test instances. The numerical results underscore that the proposed algorithms consistently outperform the original multi-objective steepest descent algorithm.


title: Improving Hateful Meme Detection through Retrieval-Guided Contrastive Learning

abstract: Hateful memes have emerged as a significant concern on the Internet. Detecting hateful memes requires the system to jointly understand the visual and textual modalities. Our investigation reveals that the embedding space of existing CLIP-based systems lacks sensitivity to subtle differences in memes that are vital for correct hatefulness classification. We propose constructing a hatefulness-aware embedding space through retrieval-guided contrastive training. Our approach achieves state-of-the-art performance on the HatefulMemes dataset with an AUROC of 87.0, outperforming much larger fine-tuned large multimodal models. We demonstrate a retrieval-based hateful memes detection system, which is capable of identifying hatefulness based on data unseen in training. This allows developers to update the hateful memes detection system by simply adding new examples without retraining, a desirable feature for real services in the constantly evolving landscape of hateful memes on the Internet.


title: Solving Time-Dependent Traveling Salesman Problem with Time Windows under Generic Time-Dependent Travel Cost

abstract: In this paper, we present formulations and an exact method to solve the Time Dependent Traveling Salesman Problem with Time Window (TD-TSPTW) under a generic travel cost function where waiting is allowed. A particular case in which the travel cost is a non-decreasing function has been addressed recently. With that assumption, because of both the First-In-First-Out property of the travel time function and the non-decreasing property of the travel cost function, we can ignore the possibility of waiting. However, for generic travel cost functions, waiting after visiting some locations can be part of optimal solutions. To handle the general case, we introduce new lower-bound formulations that allow us to ensure the existence of optimal solutions. We adapt the existing algorithm for TD-TSPTW with non-decreasing travel costs to solve the TD-TSPTW with generic travel costs. In the experiment, we evaluate the strength of the proposed lower bound formulations and algorithm by applying them to solve the TD-TSPTW with the total travel time objective. The results indicate that the proposed algorithm is competitive with and even outperforms the state-of-art solver in various benchmark instances.


title: Reconfigurable Intelligent Surface for Physical Layer Security in 6G-IoT: Designs, Issues, and Advances

abstract: Sixth-generation (6G) networks pose substantial security risks because confidential information is transmitted over wireless channels with a broadcast nature, and various attack vectors emerge. Physical layer security (PLS) exploits the dynamic characteristics of wireless environments to provide secure communications, while reconfigurable intelligent surfaces (RISs) can facilitate PLS by controlling wireless transmissions. With RIS-aided PLS, a lightweight security solution can be designed for low-end Internet of Things (IoT) devices, depending on the design scenario and communication objective. This article discusses RIS-aided PLS designs for 6G-IoT networks against eavesdropping and jamming attacks. The theoretical background and literature review of RIS-aided PLS are discussed, and design solutions related to resource allocation, beamforming, artificial noise, and cooperative communication are presented. We provide simulation results to show the effectiveness of RIS in terms of PLS. In addition, we examine the research issues and possible solutions for RIS modeling, channel modeling and estimation, optimization, and machine learning. Finally, we discuss recent advances, including STAR-RIS and malicious RIS.


title: Understanding learning from EEG data: Combining machine learning and feature engineering based on hidden Markov models and mixed models

abstract: Theta oscillations, ranging from 4-8 Hz, play a significant role in spatial learning and memory functions during navigation tasks. Frontal theta oscillations are thought to play an important role in spatial navigation and memory. Electroencephalography (EEG) datasets are very complex, making any changes in the neural signal related to behaviour difficult to interpret. However, multiple analytical methods are available to examine complex data structure, especially machine learning based techniques. These methods have shown high classification performance and the combination with feature engineering enhances the capability of these methods. This paper proposes using hidden Markov and linear mixed effects models to extract features from EEG data. Based on the engineered features obtained from frontal theta EEG data during a spatial navigation task in two key trials (first, last) and between two conditions (learner and non-learner), we analysed the performance of six machine learning methods (Polynomial Support Vector Machines, Non-linear Support Vector Machines, Random Forests, K-Nearest Neighbours, Ridge, and Deep Neural Networks) on classifying learner and non-learner participants. We also analysed how different standardisation methods used to pre-process the EEG data contribute to classification performance. We compared the classification performance of each trial with data gathered from the same subjects, including solely coordinate-based features, such as idle time and average speed. We found that more machine learning methods perform better classification using coordinate-based data. However, only deep neural networks achieved an area under the ROC curve higher than 80% using the theta EEG data alone. Our findings suggest that standardising the theta EEG data and using deep neural networks enhances the classification of learner and non-learner subjects in a spatial learning task.


title: Minnaert Frequency and Simultaneous Reconstruction of the Density, Bulk and Source in the Time-Domain Wave Equation

abstract: We deal with the inverse problem of reconstructing acoustic material properties or/and external sources for the time-domain acoustic wave model. The traditional measurements consist of repeated active (or passive) interrogations, as the Dirichlet-Neumann map, or point sources with source points varying outside of the domain of interest. It is reported in the existing literature, that based on such measurements, one can recover one of the three parameters: mass density, bulk modulus or the external source term. In this work, we first inject isolated small-scales bubbles into the region of interest and then measure the generated pressure field at a {\it{single point}} outside, or at the boundary, of this region. Then we repeat such measurements by moving the bubble to scan the region of interest. Using such measurements, we show that 1. If either the mass density or the bulk modulus is known then we can simultaneously reconstruct the other one and the source term. 2. If the source term is known at the initial time, precisely we assume to know its first non vanishing time-derivative, at the initial time, then we reconstruct simultaneously the three parameters, namely the mass density, the bulk modulus and the source function. Here, the source term is space-time dependent. It is worth mentioning that in terms of dimentionality, the induced inverse problem is not overdetermined since we use $4=3+1$ dimensions ($3$ in space and $1$ in time) to recover $2$ coefficients of $3$ spatial dimensions, i.e. the mass density and the bulk modulus, and the $4=3+1$ dimensional source function. In addition, the result is local, meaning that we do reconstruction in any subpart, of the domain of interest, we want.


title: Stochastic Optimization of Large-Scale Parametrized Dynamical Systems

abstract: Many relevant problems in the area of systems and control, such as controller synthesis, observer design and model reduction, can be viewed as optimization problems involving dynamical systems: for instance, maximizing performance in the synthesis setting or minimizing error in the reduction setting. When the involved dynamics are large-scale (e.g., high-dimensional semi-discretizations of partial differential equations), the optimization becomes computationally infeasible. Existing methods in literature lack computational scalability or solve an approximation of the problem (thereby losing guarantees with respect to the original problem). In this paper, we propose a novel method that circumvents these issues. The method is an extension of Stochastic Gradient Descent (SGD) which is widely used in the context of large-scale machine learning problems. The proposed SGD scheme minimizes the $\mathcal{H}_2$ norm of a (differentiable) parametrized dynamical system, and we prove that the scheme is guaranteed to preserve stability with high probability under boundedness conditions on the step size. Conditioned on the stability preservation, we also obtain probabilistic convergence guarantees to local minimizers. The method is also applicable to problems involving non-realizable dynamics as it only requires frequency-domain input-output samples. We demonstrate the potential of the approach on two numerical examples: fixed-order observer design for a large-scale thermal model and controller tuning for an infinite-dimensional system.


title: Smart Skin separation control using distributed-input distributed-output, multi-modal actuators, and machine learning

abstract: Efficient flow separation control represents significant economic benefit. This study applies a machine learning algorithm to minimize flow separation in Smart Skin, a flow control device that features distributed-input and distributed-output (DIDO). Smart Skin comprises 30 hybrid actuator units, each integrating a height-adjustable vortex generator and a mini-jet actuator. These units are deployed on a backward-facing ramp to reduce flow separation in a distributed manner. To monitor the flow state, distributed pressure taps are deployed around the multi-modal actuators. Parametric studies indicate that the mapping between control parameters and separation control performance is complex. To optimize separation control, a cutting-edge variant of the particle swarm optimization (PSO-TPME) is used for the control parameters in the Smart Skin. This algorithm is capable of achieving fast optimization in high-dimensional parameter spaces. The results demonstrate the efficiency of PSO-TPME, and the optimized solution significantly outperforms the best result from the parametric study. These findings represent a promising future of machine learning-based flow control using distributed actuators and sensors.


title: Insights into Classifying and Mitigating LLMs' Hallucinations

abstract: The widespread adoption of large language models (LLMs) across diverse AI applications is proof of the outstanding achievements obtained in several tasks, such as text mining, text generation, and question answering. However, LLMs are not exempt from drawbacks. One of the most concerning aspects regards the emerging problematic phenomena known as "Hallucinations". They manifest in text generation systems, particularly in question-answering systems reliant on LLMs, potentially resulting in false or misleading information propagation. This paper delves into the underlying causes of AI hallucination and elucidates its significance in artificial intelligence. In particular, Hallucination classification is tackled over several tasks (Machine Translation, Question and Answer, Dialog Systems, Summarisation Systems, Knowledge Graph with LLMs, and Visual Question Answer). Additionally, we explore potential strategies to mitigate hallucinations, aiming to enhance the overall reliability of LLMs. Our research addresses this critical issue within the HeReFaNMi (Health-Related Fake News Mitigation) project, generously supported by NGI Search, dedicated to combating Health-Related Fake News dissemination on the Internet. This endeavour represents a concerted effort to safeguard the integrity of information dissemination in an age of evolving AI technologies.


title: Evaluating Neighbor Explainability for Graph Neural Networks

abstract: Explainability in Graph Neural Networks (GNNs) is a new field growing in the last few years. In this publication we address the problem of determining how important is each neighbor for the GNN when classifying a node and how to measure the performance for this specific task. To do this, various known explainability methods are reformulated to get the neighbor importance and four new metrics are presented. Our results show that there is almost no difference between the explanations provided by gradient-based techniques in the GNN domain. In addition, many explainability techniques failed to identify important neighbors when GNNs without self-loops are used.


title: Hamming distance as a measure of spatial chaos in evolutionary games

abstract: From a context of evolutionary dynamics, social games can be studied as complex systems that may converge to a Nash equilibrium. Nonetheless, they can behave in an unpredictable manner when looking at the spatial patterns formed by the agents' strategies. This is known in the literature as spatial chaos. In this paper we analyze the problem for a deterministic prisoner's dilemma and a public goods game and calculate the Hamming distance that separates two solutions that start at very similar initial conditions for both cases. The rapid growth of this distance indicates the high sensitivity to initial conditions, which is a well-known indicator of chaotic dynamics.


title: Caring Trouble and Musical AI: Considerations towards a Feminist Musical AI

abstract: The ethics of AI as both material and medium for interaction remains in murky waters within the context of musical and artistic practice. The interdisciplinarity of the field is revealing matters of concern and care, which necessitate interdisciplinary methodologies for evaluation to trouble and critique the inheritance of "residue-laden" AI-tools in musical applications. Seeking to unsettle these murky waters, this paper critically examines the example of Holly+, a deep neural network that generates raw audio in the likeness of its creator Holly Herndon. Drawing from theoretical concerns and considerations from speculative feminism and care ethics, we care-fully trouble the structures, frameworks and assumptions that oscillate within and around Holly+. We contribute with several considerations and contemplate future directions for integrating speculative feminism and care into musical-AI agent and system design, derived from our critical feminist examination.


title: Enhanced classical radiation damping of electronic cyclotron motion in the vicinity of the Van Hove singularity in a waveguide

abstract: We study the damping process of electron cyclotron motion and the resulting emission in a waveguide using the classical Friedrichs model without relying on perturbation analysis such as Fermi's golden rule. A classical Van Hove singularity appears at the lower bound (or cut-off frequency) of the dispersion associated with each of the electromagnetic field modes in the waveguide. In the vicinity of the Van Hove singularity, we found that not only is the decay process associated with the resonance pole enhanced (amplification factor ~ $10^4$) but the branch-point effect is also comparably enhanced. As a result, the timescale on which most of the decay occurs is dramatically shortened. Further, this suggests that the non-Markovian branch point effect should be experimentally observable in the vicinity of the Van Hove singularity. Our treatment yields a physically-acceptable solution without the problematic runaway solution that is well known to appear in the traditional treatment of classical radiation damping based on the Abraham-Lorentz equation.


title: About the quantum-kinetic derivation of boundary conditions for quasiparticle Boltzmann equations at interfaces

abstract: Quite a many electron transport problems in condensed matter physics are analyzed with a quasiparticle Boltzmann equation. For sufficiently slowly varying weak external potentials it can be derived from the basic equations of quantum kinetics, provided quasiparticles can be defined and lead to a pole in the quantum-mechanical propagators. The derivation breaks down, however, in the vicinity of an interface which constitutes an abrupt strong perturbation of the system. In this contribution we discuss in a tutorial manner a particular technique to systematically derive, for a planar, nonideal interface, matching conditions for the quasi-particle Boltzmann equation. The technique is based on pseudizing the transport problem by two auxiliary interface-free systems and matching Green functions at the interface. Provided quasiparticles exist in the auxiliary systems, the framework can be put onto the semiclassical level and the desired boundary conditions result. For ideal interfaces, the conditions can be guessed from flux conservation, but for complex interfaces this is no longer the case. The technique presented in this work is geared towards such interfaces.


title: Memory-efficient Stochastic methods for Memory-based Transformers

abstract: Training Memory-based transformers can require a large amount of memory and can be quite inefficient. We propose a novel two-phase training mechanism and a novel regularization technique to improve the training efficiency of memory-based transformers, which are often used for long-range context problems. For our experiments, we consider transformer-XL as our baseline model which is one of memorybased transformer models. We show that our resultant model, Skip Cross-head TransformerXL, outperforms the baseline on character level language modeling task with similar parameters and outperforms the baseline on word level language modelling task with almost 20% fewer parameters. Our proposed methods do not require any additional memory. We also demonstrate the effectiveness of our regularization mechanism on BERT which shows similar performance with reduction in standard deviation of scores of around 30% on multiple GLUE tasks.


title: High-order accurate well-balanced energy stable finite difference schemes for multi-layer shallow water equations on fixed and adaptive moving meshes

abstract: This paper develops high-order well-balanced (WB) energy stable (ES) finite difference schemes for multi-layer (the number of layers $M\geqslant 2$) shallow water equations (SWEs) on both fixed and adaptive moving meshes, extending our previous works [20,51]. To obtain an energy inequality, the convexity of an energy function for an arbitrary $M$ is proved by finding recurrence relations of the leading principal minors or the quadratic forms of the Hessian matrix of the energy function with respect to the conservative variables, which is more involved than the single-layer case due to the coupling between the layers in the energy function. An important ingredient in developing high-order semi-discrete ES schemes is the construction of a two-point energy conservative (EC) numerical flux. In pursuit of the WB property, a sufficient condition for such EC fluxes is given with compatible discretizations of the source terms similar to the single-layer case. It can be decoupled into $M$ identities individually for each layer, making it convenient to construct a two-point EC flux for the multi-layer system. To suppress possible oscillations near discontinuities, WENO-based dissipation terms are added to the high-order WB EC fluxes, which gives semi-discrete high-order WB ES schemes. Fully-discrete schemes are obtained by employing high-order explicit SSP-RK methods and proved to preserve the lake at rest. The schemes are further extended to moving meshes based on a modified energy function for a reformulated system, relying on the techniques proposed in [51]. Numerical experiments are conducted for some two- and three-layer cases to validate the high-order accuracy, WB and ES properties, and high efficiency of the schemes, with a suitable amount of dissipation chosen by estimating the maximal wave speed due to the lack of an analytical expression for the eigenstructure of the multi-layer system.


title: Lite it fly: An All-Deformable-Butterfly Network

abstract: Most deep neural networks (DNNs) consist fundamentally of convolutional and/or fully connected layers, wherein the linear transform can be cast as the product between a filter matrix and a data matrix obtained by arranging feature tensors into columns. The lately proposed deformable butterfly (DeBut) decomposes the filter matrix into generalized, butterflylike factors, thus achieving network compression orthogonal to the traditional ways of pruning or low-rank decomposition. This work reveals an intimate link between DeBut and a systematic hierarchy of depthwise and pointwise convolutions, which explains the empirically good performance of DeBut layers. By developing an automated DeBut chain generator, we show for the first time the viability of homogenizing a DNN into all DeBut layers, thus achieving an extreme sparsity and compression. Various examples and hardware benchmarks verify the advantages of All-DeBut networks. In particular, we show it is possible to compress a PointNet to < 5% parameters with < 5% accuracy drop, a record not achievable by other compression schemes.


title: Twisted magnetar magnetospheres

abstract: Magnetar magnetospheres are strongly twisted, and are able to power sudden energetic events through the rapid release of stored electromagnetic energy. In this paper, we investigate twisted relativistic force-free axisymmetric magnetospheres of rotating neutron stars. We obtain numerical solutions of such configurations using the method of simultaneous relaxation for the magnetic field inside and outside the light-cylinder. We introduce a toroidal magnetic field in the region of closed field-lines that is associated with a poloidal electric current distribution in that region, and explore various mathematical expressions for that distribution. We find that, by increasing the twist, a larger fraction of magnetic field-lines crosses the light-cylinder and opens up to infinity, thus increasing the size of the polar caps and enhancing the spin-down rate. We also find that, for moderately to strongly twisted magnetospheres, the region of closed field-lines ends at some distance inside the light-cylinder. We discuss the implications of these solutions on the variation of magnetar spin-down rates, moding and nulling of pulsars, the relation between the angular shear and the twist and the overall shape of the magnetosphere.


title: Diamagnetic Susceptibility of Interacting Electrons System

abstract: Paramagnetism or diamagnetism of a material are shown by parallel or antiparallel directions, respectively, of the induced magnetization under the influence of external magnetic field. Theoretical study of paramagnetic susceptibility and diamagnetic susceptibility of non-interacting electrons system are well described by Pauli's spin susceptibility and Landau-Peierls' orbital susceptibility, respectively. For interacting electron systems, the paramagnetic susceptibility has been widely studied by using Hubbard's electron - electron interaction. However, due to its smaller value, the diamagnetic susceptibility has not been studied. To investigate the enhancement of an interacting electrons system, we study a generalized space and time-dependent orbital susceptibility of conduction electron with a repulsive Hubbard's electron - electron interaction. By using the retarded Green function expression of the space and time-dependent orbital susceptibility, we found that the orbital susceptibility is enhanced when Hubbard's electron - electron interaction is negative.


title: Distance-regular Cayley graphs over (pseudo-) semi-dihedral groups

abstract: Distance-regular graphs are a class of regualr graphs with pretty combinatorial symmetry. In 2007, Miklavi\v{c} and Poto\v{c}nik proposed the problem of charaterizing distance-regular Cayley graphs, which can be viewed as a natural extension of the problem of characterizing strongly-regular Cayley graphs (or equivalently, regular partial difference sets). In this paper, we provide a partial characterization for distance-regular Cayley graphs over semi-dihedral groups and pseudo-semi-dihedral groups, both of which are $2$-groups with a cyclic subgroup of index $2$.


title: Learning based Deep Disentangling Light Field Reconstruction and Disparity Estimation Application

abstract: Light field cameras have a wide range of uses due to their ability to simultaneously record light intensity and direction. The angular resolution of light fields is important for downstream tasks such as depth estimation, yet is often difficult to improve due to hardware limitations. Conventional methods tend to perform poorly against the challenge of large disparity in sparse light fields, while general CNNs have difficulty extracting spatial and angular features coupled together in 4D light fields. The light field disentangling mechanism transforms the 4D light field into 2D image format, which is more favorable for CNN for feature extraction. In this paper, we propose a Deep Disentangling Mechanism, which inherits the principle of the light field disentangling mechanism and further develops the design of the feature extractor and adds advanced network structure. We design a light-field reconstruction network (i.e., DDASR) on the basis of the Deep Disentangling Mechanism, and achieve SOTA performance in the experiments. In addition, we design a Block Traversal Angular Super-Resolution Strategy for the practical application of depth estimation enhancement where the input views is often higher than 2x2 in the experiments resulting in a high memory usage, which can reduce the memory usage while having a better reconstruction performance.


title: Modal Analysis of the Wake Shed Behind a Horizontal Axis Wind Turbine with Flexible Blades

abstract: The proper orthogonal decomposition has been applied on a full-scale horizontal-axis wind turbine to shed light on the wake characteristics behind the wind turbine. In reality, the blade tip experiences high deflections even at the rated conditions which definitely alter the wake flow field, and in the case of a wind farm, may complicate the inlet conditions of the downstream wind turbine. The turbine under consideration is the full-scale model of the National Renewable Energy Laboratory 5MW onshore wind turbine which is accompanied by several simulation complexities including turbulence, mesh motion and fluid-structure interaction. Results indicated an almost similar modal behaviour for the rigid and flexible turbines at the wake region. In addition, more flow structures in terms of local vortices and fluctuating velocity fields take place at the far wake region. The flow structures due to the wake shed from the tower tend to move towards the center and merge with that of the nacelle leading to an integral vortical structure 2.5 diameter away from the rotor. Also, it is concluded that the exclusion of the tower leads to missing a major part of the wake structures, especially at far-wake positions.


title: Ultrafast Hot-Carrier Dynamics in Ultrathin Monocrystalline Gold

abstract: Applications in photodetection, photochemistry, and active metamaterials and metasurfaces require fundamental understanding of ultrafast nonthermal and thermal electron processes in metallic nanosystems. Significant progress has been recently achieved in synthesis and investigation of low-loss monocrystalline gold, opening up opportunities for its use in ultrathin nanophotonic architectures. Here, we reveal fundamental differences in hot-electron thermalisation dynamics between monocrystalline and polycrystalline ultrathin (down to 10 nm thickness) gold films. Comparison of weak and strong excitation regimes showcases a counterintuitive unique interplay between thermalised and non-thermalised electron dynamics in mesoscopic gold with the important influence of the X-point interband transitions on the intraband electron relaxation. We also experimentally demonstrate the effect of hot-electron transfer into a substrate and the substrate thermal properties on electron-electron and electron-phonon scattering in ultrathin films. The hot-electron injection efficiency from monocrystalline gold into TiO2, approaching 9% is measured, close to the theoretical limit. These experimental and modelling results reveal the important role of crystallinity and interfaces on the microscopic electronic processes important in numerous applications.


title: A principle of maximum ignorance for semiclassical gravity

abstract: The principle of maximum ignorance posits that the coarse-grained description of a system is maximally agnostic about its underlying microscopic structure. We briefly review this principle for random matrix theory and for the eigenstate thermalization hypothesis. We then apply this principle in holography to construct ensembles of random mixed states. This leads to an ensemble of microstates which models our microscopic ignorance, and which on average reproduces the effective semiclassical physics of a given bulk state. We call this ensemble the state-averaging ansatz. The output of our model is a prediction for semiclassical contributions to variances and higher statistical moments over the ensemble of microstates. The statistical moments provide coarse-grained -- yet gravitationally non-perturbative -- information about the microstructure of the individual states of the ensemble. We show that these contributions exactly match the on-shell action of known wormhole configurations of the gravitational path integral. These results strengthen the view that wormholes simply parametrize the ignorance of the microstructure of a fundamental state, given a fixed semiclassical bulk description.


title: Exogenous-endogenous surfactant interaction yields heterogeneous spreading in complex branching networks

abstract: Experiments have shown that surfactant introduced to a liquid-filled maze can find the solution path. We reveal how the maze-solving dynamics arise from interactions between the added surfactant and endogenous surfactant present at the liquid surface. We simulate the dynamics using a nonlinear model solved with a discrete mimetic scheme on a graph. Endogenous surfactant transforms local spreading into a non-local problem with an omniscient view of the maze geometry, key to the maze-solving dynamics. Our results offer insight into surfactant-driven transport in complex networks such as lung airways.


title: Applying hybrid clustering in pulsar candidate sifting with multi-modality for FAST survey

abstract: Pulsar search is always the basis of pulsar navigation, gravitational wave detection and other research topics. Currently, the volume of pulsar candidates collected by Five-hundred-meter Aperture Spherical radio Telescope (FAST) shows an explosive growth rate that has brought challenges for its pulsar candidate filtering System. Particularly, the multi-view heterogeneous data and class imbalance between true pulsars and non-pulsar candidates have negative effects on traditional single-modal supervised classification methods. In this study, a multi-modal and semi-supervised learning based pulsar candidate sifting algorithm is presented, which adopts a hybrid ensemble clustering scheme of density-based and partition-based methods combined with a feature-level fusion strategy for input data and a data partition strategy for parallelization. Experiments on both HTRU (The High Time Resolution Universe Survey) 2 and FAST actual observation data demonstrate that the proposed algorithm could excellently identify the pulsars: On HTRU2, the precision and recall rates of its parallel mode reach 0.981 and 0.988. On FAST data, those of its parallel mode reach 0.891 and 0.961, meanwhile, the running time also significantly decrease with the increment of parallel nodes within limits. So, we can get the conclusion that our algorithm could be a feasible idea for large scale pulsar candidate sifting of FAST drift scan observation.


title: Neuron-Astrocyte Associative Memory

abstract: Astrocytes, a unique type of glial cell, are thought to play a significant role in memory due to their involvement in modulating synaptic plasticity. Nonetheless, no existing theories explain how neurons, synapses, and astrocytes could collectively contribute to memory function. To address this, we propose a biophysical model of neuron-astrocyte interactions that unifies various viewpoints on astrocyte function in a principled, biologically-grounded framework. A key aspect of the model is that astrocytes mediate long-range interactions between distant tripartite synapses. This effectively creates ``multi-neuron synapses" where more than two neurons interact at the same synapse. Such multi-neuron synapses are ubiquitous in models of Dense Associative Memory (also known as Modern Hopfield Networks) and are known to lead to superlinear memory storage capacity, which is a desirable computational feature. We establish a theoretical relationship between neuron-astrocyte networks and Dense Associative Memories and demonstrate that neuron-astrocyte networks have a larger memory storage capacity per compute unit compared to previously published biological implementations of Dense Associative Memories. This theoretical correspondence suggests the exciting hypothesis that memories could be stored, at least partially, within astrocytes instead of in the synaptic weights between neurons. Importantly, the many-neuron synapses can be influenced by feedforward signals into the astrocytes, such as neuromodulators, potentially originating from distant neurons.


title: The Body Electric: A NIME designed through and with the somatic experience of singing

abstract: This paper presents the soma design process of creating Body Electric: a novel interface for the capture and use of biofeedback signals and physiological changes generated in the body by breathing, during singing. This NIME design is grounded in the performer's experience of, and relationship to, their body and their voice. We show that NIME design using principles from soma design can offer creative opportunities in developing novel sensing mechanisms, which can in turn inform composition and further elicit curious engagements between performer and artefact, disrupting notions of performer-led control. As contributions, this work 1) offers an example of NIME design for situated living, feeling, performing bodies, and 2) presents the rich potential of soma design as a path for designing in this context.


title: Ultra-large polymer-free suspended graphene films

abstract: Due to its extraordinary properties, suspended graphene is a critical element in a wide range of applications. Preparation methods that preserve the unique properties of graphene are therefore in high demand. To date, all protocols for the production of large graphene films have relied on the application of a polymer film to stabilize graphene during the transfer process. However, this inevitably introduces contaminations that have proven to be extremely difficult, if not impossible, to remove entirely. Here we report the polymer-free fabrication of suspended films consisting of three graphene layers spanning circular holes of 150 $\mu$m diameter. We find a high fabrication yield, very uniform properties of the freestanding graphene across all holes as well across individual holes. A detailed analysis by confocal Raman and THz spectroscopy reveals that the triple-layer samples exhibit structural and electronic properties similar to those of monolayer graphene. We demonstrate their usability as ion-electron converters in time-of-flight mass spectrometry and related applications. They are two orders of magnitude thinner than previous carbon foils typically used in these types of experiments, while still being robust and exhibiting a sufficiently high electron yield. These results are an important step towards replacing free-standing ultra-thin carbon films or graphene from polymer-based transfers with much better defined and clean graphene.


title: Entanglement and correlations in an exactly-solvable model of a Bose-Einstein condensate in a cavity

abstract: An exactly solvable model of a trapped interacting Bose-Einstein condensate (BEC) coupled in the dipole approximation to a quantized light mode in a cavity is presented. The model can be seen as a generalization of the harmonic-interaction model for a trapped BEC coupled to a bosonic bath. After obtaining the ground-state energy and wavefunction in closed form, we focus on computing the correlations in the system. The reduced one-particle density matrices of the bosons and the cavity are constructed and diagonalized analytically, and the von Neumann entanglement entropy of the BEC and the cavity is also expressed explicitly as a function of the number and mass of the bosons, frequencies of the trap and cavity, and the cavity-boson coupling strength. The results allow one to study the impact of the cavity on the bosons and vice versa on an equal footing. As an application we investigate a specific case of basic interest for itself, namely, non-interacting bosons in a cavity. We find that both the bosons and the cavity develop correlations in a complementary manner while increasing the coupling between them. Whereas the cavity wavepacket broadens in Fock space, the BEC density saturates in real space. On the other hand, while the cavity depletion saturates, and hence does the BEC-cavity entanglement entropy, the BEC becomes strongly correlated and eventually increasingly fragmented. The latter phenomenon implies single-trap fragmentation of otherwise ideal bosons, where their induced long-range interaction is mediated by the cavity. Finally, as a complimentary investigation, the mean-field equations for the BEC-cavity system are solved analytically as well, and the breakdown of mean-field theory for the cavity and the bosons with increasing coupling is discussed. Further applications are envisaged.


title: Feedforward neural networks as statistical models: Improving interpretability through uncertainty quantification

abstract: Feedforward neural networks (FNNs) are typically viewed as pure prediction algorithms, and their strong predictive performance has led to their use in many machine-learning applications. However, their flexibility comes with an interpretability trade-off; thus, FNNs have been historically less popular among statisticians. Nevertheless, classical statistical theory, such as significance testing and uncertainty quantification, is still relevant. Supplementing FNNs with methods of statistical inference, and covariate-effect visualisations, can shift the focus away from black-box prediction and make FNNs more akin to traditional statistical models. This can allow for more inferential analysis, and, hence, make FNNs more accessible within the statistical-modelling context.


title: On the existence of extreme coherent distributions with no atoms

abstract: The paper is devoted to the study of extremal points of $\mathcal{C}$, the family of all two-variate coherent distributions on $[0,1]^2$. It is well-known that the set $\mathcal{C}$ is convex and weak$^*$ compact, and all extreme points of $\mathcal{C}$ must be supported on sets of Lebesgue measure zero. Conversely, examples of extreme coherent measures, with a finite or countable infinite number of atoms, have been successfully constructed in the literature. The main purpose of this article is to bridge the natural gap between those two results: we provide an example of extreme coherent distribution with an uncountable support and with no atoms. Our argument is based on classical tools and ideas from the dynamical systems theory. This unexpected connection can be regarded as an independent contribution of the paper.


title: GMTR: Graph Matching Transformers

abstract: Vision transformers (ViTs) have recently been used for visual matching beyond object detection and segmentation. However, the original grid dividing strategy of ViTs neglects the spatial information of the keypoints, limiting the sensitivity to local information. Therefore, we propose QueryTrans (Query Transformer), which adopts a cross-attention module and keypoints-based center crop strategy for better spatial information extraction. We further integrate the graph attention module and devise a transformer-based graph matching approach GMTR (Graph Matching TRansformers) whereby the combinatorial nature of GM is addressed by a graph transformer neural GM solver. On standard GM benchmarks, GMTR shows competitive performance against the SOTA frameworks. Specifically, on Pascal VOC, GMTR achieves $\mathbf{83.6\%}$ accuracy, $\mathbf{0.9\%}$ higher than the SOTA framework. On Spair-71k, GMTR shows great potential and outperforms most of the previous works. Meanwhile, on Pascal VOC, QueryTrans improves the accuracy of NGMv2 from $80.1\%$ to $\mathbf{83.3\%}$, and BBGM from $79.0\%$ to $\mathbf{84.5\%}$. On Spair-71k, QueryTrans improves NGMv2 from $80.6\%$ to $\mathbf{82.5\%}$, and BBGM from $82.1\%$ to $\mathbf{83.9\%}$. Source code will be made publicly available.


title: Intermediate long wave equation in negative Sobolev spaces

abstract: We study the intermediate long wave equation (ILW) in negative Sobolev spaces. In particular, despite the lack of scaling invariance, we identify the regularity $s = -\frac 12$ as the critical regularity for ILW with any depth parameter, by establishing the following two results. (i) By viewing ILW as a perturbation of the Benjamin-Ono equation (BO) and exploiting the complete integrability of BO, we establish a global-in-time a priori bound on the $H^s$-norm of a solution to ILW for $ - \frac 12 < s < 0$. (ii) By making use of explicit solutions, we prove that ILW is ill-posed in $H^s$ for $s < - \frac 12$. Our results apply to both the real line case and the periodic case.


title: Sinkhorn Transformations for Single-Query Postprocessing in Text-Video Retrieval

abstract: A recent trend in multimodal retrieval is related to postprocessing test set results via the dual-softmax loss (DSL). While this approach can bring significant improvements, it usually presumes that an entire matrix of test samples is available as DSL input. This work introduces a new postprocessing approach based on Sinkhorn transformations that outperforms DSL. Further, we propose a new postprocessing setting that does not require access to multiple test queries. We show that our approach can significantly improve the results of state of the art models such as CLIP4Clip, BLIP, X-CLIP, and DRL, thus achieving a new state-of-the-art on several standard text-video retrieval datasets both with access to the entire test set and in the single-query setting.


title: Salt effects on the mechanical properties of ionic conductive polymer: a molecular dynamics study

abstract: Functoinal polymers can be used as electrolyte and binder materials in solid-state batteries. This often requires performance targets in terms of both transport and mechanical properties. In this work, a model ionic conductive polymer system, i.e., poly(ethylene oxide)-LiTFSI, was used to study the impact of salt concentrations on mechanical properties, including different types of elastic moduli and the visoelasticity with both non-equilibrium and equilibrium molecular dynamics simulations. We found an encouragingly good agreement between experiments and simulations regarding the Young's modulus, bulk modulus and viscosity. In addition, we identified an intermediate salt concentration at which the system shows high ionic conductivity, high Young's modulus and short elastic restoration time. Therefore, this study laid down the groundwork for investigating ionic conductive polymer binders with self-healing functionality from molecular dynamics simulations.


title: Ultra-low-current-density single-layer magnetic Weyl semimetal spin Hall nano-oscillators

abstract: Topological quantum materials can exhibit unconventional surface states and anomalous transport properties. Still, their applications in spintronic devices are restricted as they require the growth of high-quality thin films with bulk-like properties. Here, we study 10--30 nm thick epitaxial ferromagnetic Co$_{\rm 2}$MnGa films with high structural order and very high values of the anomalous Hall conductivity, $\sigma_{\rm xy}=1.35\times10^{5}$ $\Omega^{-1} m^{-1}$ and the anomalous Hall angle, $\theta_{\rm H}=15.8\%$, both comparable to bulk values. We observe a dramatic crystalline orientation dependence of the Gilbert damping constant of a factor of two and a giant intrinsic spin Hall conductivity, $\mathit{\sigma_{\rm SHC}}=(6.08\pm 0.02)\times 10^{5}$ ($\hbar/2e$) $\Omega^{-1} m^{-1}$, an order of magnitude higher than literature values of multilayer Co$_{\rm 2}$MnGa stacks [1-3] and single-layer Ni, Co, Fe [4], and Ni$_{\rm 80}$Fe$_{\rm 20}$~[4,5]. As a consequence, spin-orbit-torque driven auto-oscillations of a 30 nm thick magnetic film are observed for the first time, at an ultralow threshold current density of $J_{th}=6.2\times10^{11}$ $Am^{-2}$. Theoretical calculations of the intrinsic spin Hall conductivity, originating from a strong Berry curvature, corroborate the results and yield values comparable to the experiment. Our results open up for the design of spintronic devices based on single layers of magnetic topological quantum materials.

categories: cond-mat.mes-hall cond-mat.mtrl-sci cond-mat.other physics.app-ph


title: Joint Source-Channel Coding for Channel-Adaptive Digital Semantic Communications

abstract: In this paper, we propose a novel joint source-channel coding (JSCC) approach for channel-adaptive digital semantic communications. In semantic communication systems with digital modulation and demodulation, robust design of JSCC encoder and decoder becomes challenging not only due to the unpredictable dynamics of channel conditions but also due to diverse modulation orders. To address this challenge, we first develop a new demodulation method which assesses the uncertainty of the demodulation output to improve the robustness of the digital semantic communication system. We then devise a robust training strategy which enhances the robustness and flexibility of the JSCC encoder and decoder against diverse channel conditions and modulation orders. To this end, we model the relationship between the encoder's output and decoder's input using binary symmetric erasure channels and then sample the parameters of these channels from diverse distributions. We also develop a channel-adaptive modulation technique for an inference phase, in order to reduce the communication latency while maintaining task performance. In this technique, we adaptively determine modulation orders for the latent variables based on channel conditions. Using simulations, we demonstrate the superior performance of the proposed JSCC approach for image classification, reconstruction, and retrieval tasks compared to existing JSCC approaches.


title: RECALL: A Benchmark for LLMs Robustness against External Counterfactual Knowledge

abstract: LLMs and AI chatbots have improved people's efficiency in various fields. However, the necessary knowledge for answering the question may be beyond the models' knowledge boundaries. To mitigate this issue, many researchers try to introduce external knowledge, such as knowledge graphs and Internet contents, into LLMs for up-to-date information. However, the external information from the Internet may include counterfactual information that will confuse the model and lead to an incorrect response. Thus there is a pressing need for LLMs to possess the ability to distinguish reliable information from external knowledge. Therefore, to evaluate the ability of LLMs to discern the reliability of external knowledge, we create a benchmark from existing knowledge bases. Our benchmark consists of two tasks, Question Answering and Text Generation, and for each task, we provide models with a context containing counterfactual information. Evaluation results show that existing LLMs are susceptible to interference from unreliable external knowledge with counterfactual information, and simple intervention methods make limited contributions to the alleviation of this issue.


title: Cattle Identification Using Muzzle Images and Deep Learning Techniques

abstract: Traditional animal identification methods such as ear-tagging, ear notching, and branding have been effective but pose risks to the animal and have scalability issues. Electrical methods offer better tracking and monitoring but require specialized equipment and are susceptible to attacks. Biometric identification using time-immutable dermatoglyphic features such as muzzle prints and iris patterns is a promising solution. This project explores cattle identification using 4923 muzzle images collected from 268 beef cattle. Two deep learning classification models are implemented - wide ResNet50 and VGG16\_BN and image compression is done to lower the image quality and adapt the models to work for the African context. From the experiments run, a maximum accuracy of 99.5\% is achieved while using the wide ResNet50 model with a compression retaining 25\% of the original image. From the study, it is noted that the time required by the models to train and converge as well as recognition time are dependent on the machine used to run the model.


title: Modeling Complex Disease Trajectories using Deep Generative Models with Semi-Supervised Latent Processes

abstract: In this paper, we propose a deep generative time series approach using latent temporal processes for modeling and holistically analyzing complex disease trajectories. We aim to find meaningful temporal latent representations of an underlying generative process that explain the observed disease trajectories in an interpretable and comprehensive way. To enhance the interpretability of these latent temporal processes, we develop a semi-supervised approach for disentangling the latent space using established medical concepts. By combining the generative approach with medical knowledge, we leverage the ability to discover novel aspects of the disease while integrating medical concepts into the model. We show that the learned temporal latent processes can be utilized for further data analysis and clinical hypothesis testing, including finding similar patients and clustering the disease into new sub-types. Moreover, our method enables personalized online monitoring and prediction of multivariate time series including uncertainty quantification. We demonstrate the effectiveness of our approach in modeling systemic sclerosis, showcasing the potential of our machine learning model to capture complex disease trajectories and acquire new medical knowledge.


title: The Hyperdimensional Transform for Distributional Modelling, Regression and Classification

abstract: Hyperdimensional computing (HDC) is an increasingly popular computing paradigm with immense potential for future intelligent applications. Although the main ideas already took form in the 1990s, HDC recently gained significant attention, especially in the field of machine learning and data science. Next to efficiency, interoperability and explainability, HDC offers attractive properties for generalization as it can be seen as an attempt to combine connectionist ideas from neural networks with symbolic aspects. In recent work, we introduced the hyperdimensional transform, revealing deep theoretical foundations for representing functions and distributions as high-dimensional holographic vectors. Here, we present the power of the hyperdimensional transform to a broad data science audience. We use the hyperdimensional transform as a theoretical basis and provide insight into state-of-the-art HDC approaches for machine learning. We show how existing algorithms can be modified and how this transform can lead to a novel, well-founded toolbox. Next to the standard regression and classification tasks of machine learning, our discussion includes various aspects of statistical modelling, such as representation, learning and deconvolving distributions, sampling, Bayesian inference, and uncertainty estimation.


title: Rethink Cross-Modal Fusion in Weakly-Supervised Audio-Visual Video Parsing

abstract: Existing works on weakly-supervised audio-visual video parsing adopt hybrid attention network (HAN) as the multi-modal embedding to capture the cross-modal context. It embeds the audio and visual modalities with a shared network, where the cross-attention is performed at the input. However, such an early fusion method highly entangles the two non-fully correlated modalities and leads to sub-optimal performance in detecting single-modality events. To deal with this problem, we propose the messenger-guided mid-fusion transformer to reduce the uncorrelated cross-modal context in the fusion. The messengers condense the full cross-modal context into a compact representation to only preserve useful cross-modal information. Furthermore, due to the fact that microphones capture audio events from all directions, while cameras only record visual events within a restricted field of view, there is a more frequent occurrence of unaligned cross-modal context from audio for visual event predictions. We thus propose cross-audio prediction consistency to suppress the impact of irrelevant audio information on visual event prediction. Experiments consistently illustrate the superior performance of our framework compared to existing state-of-the-art methods.


title: Towards Reasoning in Large Language Models via Multi-Agent Peer Review Collaboration

abstract: Large Language Models (LLMs) have shown remarkable capabilities in general natural language processing tasks but often fall short in complex reasoning tasks. Recent studies have explored human-like problem-solving strategies, such as self-correct, to push further the boundary of single-model reasoning ability. In this work, we let a single model "step outside the box" by engaging multiple models to correct each other. We introduce a multi-agent collaboration strategy that emulates the academic peer review process. Each agent independently constructs its own solution, provides reviews on the solutions of others, and assigns confidence levels to its reviews. Upon receiving peer reviews, agents revise their initial solutions. Extensive experiments on three different types of reasoning tasks show that our collaboration approach delivers superior accuracy across all ten datasets compared to existing methods. Further study underscores the effectiveness of integrating confidence in reviews, demonstrates the superiority of feedback exchange over mere solution sharing, and highlights the role of capability and diversity in fostering successful collaboration.


title: When Mining Electric Locomotives Meet Reinforcement Learning

abstract: As the most important auxiliary transportation equipment in coal mines, mining electric locomotives are mostly operated manually at present. However, due to the complex and ever-changing coal mine environment, electric locomotive safety accidents occur frequently these years. A mining electric locomotive control method that can adapt to different complex mining environments is needed. Reinforcement Learning (RL) is concerned with how artificial agents ought to take actions in an environment so as to maximize reward, which can help achieve automatic control of mining electric locomotive. In this paper, we present how to apply RL to the autonomous control of mining electric locomotives. To achieve more precise control, we further propose an improved epsilon-greedy (IEG) algorithm which can better balance the exploration and exploitation. To verify the effectiveness of this method, a co-simulation platform for autonomous control of mining electric locomotives is built which can complete closed-loop simulation of the vehicles. The simulation results show that this method ensures the locomotives following the front vehicle safely and responding promptly in the event of sudden obstacles on the road when the vehicle in complex and uncertain coal mine environments.


title: Just Ask One More Time! Self-Agreement Improves Reasoning of Language Models in (Almost) All Scenarios

abstract: Although chain-of-thought (CoT) prompting combined with language models has achieved encouraging results on complex reasoning tasks, the naive greedy decoding used in CoT prompting usually causes the repetitiveness and local optimality. To address this shortcoming, ensemble-optimization tries to obtain multiple reasoning paths to get the final answer assembly. However, current ensemble-optimization methods either simply employ rule-based post-processing such as \textit{self-consistency}, or train an additional model based on several task-related human annotations to select the best one among multiple reasoning paths, yet fail to generalize to realistic settings where the type of input questions is unknown or the answer format of reasoning paths is unknown. To avoid their limitations, we propose \textbf{Self-Agreement}, a generalizable ensemble-optimization method applying in almost all scenarios where the type of input questions and the answer format of reasoning paths may be known or unknown. Self-agreement firstly samples from language model's decoder to generate a \textit{diverse} set of reasoning paths, and subsequently prompts the language model \textit{one more time} to determine the optimal answer by selecting the most \textit{agreed} answer among the sampled reasoning paths. Self-agreement simultaneously achieves remarkable performance on six public reasoning benchmarks and superior generalization capabilities.


title: Displacement sensing using bi-modal resonance in over-coupled inductors

abstract: This paper presents the theory and key experimental findings for an investigation into the generation of bimodal resonance (frequency splitting) phenomena in mutually over-coupled inductive sensors, and its exploitation to evaluate relative separation and angular displacement between coils. This innovative measurement technique explores the bimodal resonant phenomena observed between two coil designs - solenoid and planar coil geometries. The proposed sensors are evaluated against first-order analytical functions and finite element models, before experimentally validating the predicted phenomenon for the different sensor configurations. The simulated and experimental results show excellent agreement and first-order best-fit functions are employed to predict displacement variables experimentally. Co-planar separation and angular displacement are shown to be experimentally predictable to within $\pm1mm$ and $\pm1^o$ using this approach. This study validates the first-order physics-based models employed, and demonstrates the first proof-of-principle for using resonant phenomena in inductive array sensors for evaluating relative displacement between array elements.


title: Improved Spectral Bound for Quasi-Cyclic Codes

abstract: Spectral bounds form a powerful tool to estimate the minimum distances of quasi-cyclic codes. They generalize the defining set bounds of cyclic codes to those of quasi-cyclic codes. Based on the eigenvalues of quasi-cyclic codes and the corresponding eigenspaces, we provide an improved spectral bound for quasi-cyclic codes. Numerical results verify that the improved bound outperforms the Jensen bound in almost all cases. Based on the improved bound, we propose a general construction of quasi-cyclic codes with excellent designed minimum distances. For the quasi-cyclic codes produced by this general construction, the improved spectral bound is always sharper than the Jensen bound.


title: TransformCode: A Contrastive Learning Framework for Code Embedding via Subtree Transformation

abstract: Artificial intelligence (AI) has revolutionized software engineering (SE) by enhancing software development efficiency. The advent of pre-trained models (PTMs) leveraging transfer learning has significantly advanced AI for SE. However, existing PTMs that operate on individual code tokens suffer from several limitations: They are costly to train and fine-tune; and they rely heavily on labeled data for fine-tuning on task-specific datasets. In this paper, we present TransformCode, a novel framework that learns code embeddings in a contrastive learning manner. Our framework is encoder-agnostic and language-agnostic, which means that it can leverage any encoder model and handle any programming language. We also propose a novel data-augmentation technique called abstract syntax tree (AST) transformation, which applies syntactic and semantic transformations to the original code snippets, to generate more diverse and robust samples for contrastive learning. Our framework has several advantages over existing methods: (1) It is flexible and adaptable, because it can easily be extended to other downstream tasks that require code representation (such as code-clone detection and classification); (2) it is efficient and scalable, because it does not require a large model or a large amount of training data, and it can support any programming language; (3) it is not limited to unsupervised learning, but can also be applied to some supervised learning tasks by incorporating task-specific labels or objectives; and (4) it can also adjust the number of encoder parameters based on computing resources. We evaluate our framework on several code-related tasks, and demonstrate its effectiveness and superiority over the state-of-the-art methods such as SourcererCC, Code2vec, and InferCode.


title: Channel Estimation with Dynamic Metasurface Antennas via Model-Based Learning

abstract: Dynamic Metasurface Antenna (DMA) is a cutting-edge antenna technology offering scalable and sustainable solutions for large antenna arrays. The effectiveness of DMAs stems from their inherent configurable analog signal processing capabilities, which facilitate cost-limited implementations. However, when DMAs are used in multiple input multiple output (MIMO) communication systems, they pose challenges in channel estimation due to their analog compression. In this paper, we propose two model-based learning methods to overcome this challenge. Our approach starts by casting channel estimation as a compressed sensing problem. Here, the sensing matrix is formed using a random DMA weighting matrix combined with a spatial gridding dictionary. We then employ the learned iterative shrinkage and thresholding algorithm (LISTA) to recover the sparse channel parameters. LISTA unfolds the iterative shrinkage and thresholding algorithm into a neural network and trains the neural network into a highly efficient channel estimator fitting with the previous channel. As the sensing matrix is crucial to the accuracy of LISTA recovery, we introduce another data-aided method, LISTA-sensing matrix optimization (LISTA-SMO), to jointly optimize the sensing matrix. LISTA-SMO takes LISTA as a backbone and embeds the sensing matrix optimization layers in LISTA's neural network, allowing for the optimization of the sensing matrix along with the training of LISTA. Furthermore, we propose a self-supervised learning technique to tackle the difficulty of acquiring noise-free data. Our numerical results demonstrate that LISTA outperforms traditional sparse recovery methods regarding channel estimation accuracy and efficiency. Besides, LISTA-SMO achieves better channel accuracy than LISTA, demonstrating the effectiveness in optimizing the sensing matrix.


title: DynamicSurf: Dynamic Neural RGB-D Surface Reconstruction with an Optimizable Feature Grid

abstract: We propose DynamicSurf, a model-free neural implicit surface reconstruction method for high-fidelity 3D modelling of non-rigid surfaces from monocular RGB-D video. To cope with the lack of multi-view cues in monocular sequences of deforming surfaces, one of the most challenging settings for 3D reconstruction, DynamicSurf exploits depth, surface normals, and RGB losses to improve reconstruction fidelity and optimisation time. DynamicSurf learns a neural deformation field that maps a canonical representation of the surface geometry to the current frame. We depart from current neural non-rigid surface reconstruction models by designing the canonical representation as a learned feature grid which leads to faster and more accurate surface reconstruction than competing approaches that use a single MLP. We demonstrate DynamicSurf on public datasets and show that it can optimize sequences of varying frames with $6\times$ speedup over pure MLP-based approaches while achieving comparable results to the state-of-the-art methods. Project is available at https://mirgahney.github.io//DynamicSurf.io/.


title: The spatially resolved star formation history of the dwarf spiral galaxy NGC 5474

abstract: We study the resolved stellar populations and derive the star formation history of NGC 5474, a peculiar star-forming dwarf galaxy at a distance of $\sim 7$ Mpc, using Hubble Space Telescope Advanced Camera for Surveys data from the Legacy Extragalactic UV Survey (LEGUS) program. We apply an improved colour-magnitude diagram fitting technique based on the code SFERA and use the latest PARSEC-COLIBRI stellar models. Our results are the following. The off-centre bulge-like structure, suggested to constitute the bulge of the galaxy, is dominated by star formation (SF) activity initiated $14$ Gyr ago and lasted at least up to $1$ Gyr ago. Nevertheless, this component shows clear evidence of prolonged SF activity (lasting until $\sim 10$ Myr ago). We estimate the total stellar mass of the bulge-like structure to be $(5.0 \pm 0.3) \times 10^{8}$ \MSUN. Such a mass is consistent with published suggestions that this structure is in fact an independent system orbiting around and not within NGC 5474's disc. The stellar over-density located to the South-West of the bulge-like structure shows a significant SF event older than $1$ Gyr, while it is characterised by two recent peaks of SF, around $\sim10$ and $\sim100$ Myr ago. In the last Gyr, the behavior of the stellar disc is consistent with what is known in the literature as `gasping'. The synchronised burst at $10-35$ Myr in all components might hint to the recent gravitational interaction between the stellar bulge-like structure and the disc of NGC 5474.


title: Intersection formulas on moduli spaces of unitary shtukas

abstract: Feng-Yun-Zhang have proved a function field analogue of the arithmetic Siegel-Weil formula, relating special cycles on moduli spaces of unitary shtukas to higher derivatives of Eisenstein series. We prove an extension of this formula in a low-dimensional case, and deduce from it a Gross-Zagier style formula expressing intersection multiplicities of cycles in terms of higher derivatives of base-change $L$-functions.