title: A Platform for All-optical Thomson/ Compton Scattering with Versatile Parameters

abstract: A dual-beam platform for all-optical electron-photon scattering, or Thomson/Compton scattering, with adjustable collision-angle and parameter tuning ability has been developed, which, in principle, can be used for the verification of strong-field quantum electrodynamics effects. Combining this platform with a 200 TW Ti:Sapphire laser system, we demonstrated the generation of inverse Compton scattering X/gamma-rays with tunable energies from tens of keV to MeV. The polarization of X/gamma radiation was manipulated by controlling the polarization of scattering laser. In the near future, by combining this experimental platform with multi-PW laser facilities, it is proposed to experimentally generate X/gamma radiation with orbital angular momentum for the nuclear isomer excitation, and more importantly, to explore the regime transition from nonlinear Thomson scattering to nonlinear Compton scattering, eventually to demonstrate the verification of theories on extremely strong field quantum electrodynamics effects.


title: MaterialSeg3D: Segmenting Dense Materials from 2D Priors for 3D Assets

abstract: Driven by powerful image diffusion models, recent research has achieved the automatic creation of 3D objects from textual or visual guidance. By performing score distillation sampling (SDS) iteratively across different views, these methods succeed in lifting 2D generative prior to the 3D space. However, such a 2D generative image prior bakes the effect of illumination and shadow into the texture. As a result, material maps optimized by SDS inevitably involve spurious correlated components. The absence of precise material definition makes it infeasible to relight the generated assets reasonably in novel scenes, which limits their application in downstream scenarios. In contrast, humans can effortlessly circumvent this ambiguity by deducing the material of the object from its appearance and semantics. Motivated by this insight, we propose MaterialSeg3D, a 3D asset material generation framework to infer underlying material from the 2D semantic prior. Based on such a prior model, we devise a mechanism to parse material in 3D space. We maintain a UV stack, each map of which is unprojected from a specific viewpoint. After traversing all viewpoints, we fuse the stack through a weighted voting scheme and then employ region unification to ensure the coherence of the object parts. To fuel the learning of semantics prior, we collect a material dataset, named Materialized Individual Objects (MIO), which features abundant images, diverse categories, and accurate annotations. Extensive quantitative and qualitative experiments demonstrate the effectiveness of our method.


title: ActSonic: Recognizing Everyday Activities from Inaudible Acoustic Waves Around the Body

abstract: We present ActSonic, an intelligent, low-power active acoustic sensing system integrated into eyeglasses that can recognize 27 different everyday activities (e.g., eating, drinking, toothbrushing) from inaudible acoustic waves around the body with a time resolution of one second. It only needs a pair of miniature speakers and microphones mounted on each hinge of eyeglasses to emit ultrasonic waves to create an acoustic aura around the body. Based on the position and motion of various body parts, the acoustic signals are reflected with unique patterns captured by the microphone and analyzed by a customized self-supervised deep learning framework to infer the performed activities. ActSonic was deployed in a user study with 19 participants across 19 households to evaluate its efficacy. Without requiring any training data from a new user (leave-one-participant-out evaluation), ActSonic was able to detect 27 activities, achieving an average F1-score of 86.6% in fully unconstrained scenarios and 93.4% in prompted settings at participants' homes.


title: MARIO Eval: Evaluate Your Math LLM with your Math LLM--A mathematical dataset evaluation toolkit

abstract: Large language models (LLMs) have been explored in a variety of reasoning tasks including solving of mathematical problems. Each math dataset typically includes its own specially designed evaluation script, which, while suitable for its intended use, lacks generalizability across different datasets. Consequently, updates and adaptations to these evaluation tools tend to occur without being systematically reported, leading to inconsistencies and obstacles to fair comparison across studies. To bridge this gap, we introduce a comprehensive mathematical evaluation toolkit that not only utilizes a python computer algebra system (CAS) for its numerical accuracy, but also integrates an optional LLM, known for its considerable natural language processing capabilities. To validate the effectiveness of our toolkit, we manually annotated two distinct datasets. Our experiments demonstrate that the toolkit yields more robust evaluation results compared to prior works, even without an LLM. Furthermore, when an LLM is incorporated, there is a notable enhancement. The code for our method will be made available at \url{https://github.com/MARIO-Math-Reasoning/math_evaluation}.


title: Using Polyvinyl Alcohol as Polymeric Adhesive to Enhance the Water Stability of Soil and its Performance

abstract: Soil degradation threatens agricultural productivity and food supply, leading to hunger issues in some developing regions. To address this challenge, we developed a low-cost, highly efficient, and long-term stable soil improvement method. We chose polyvinyl alcohol (PVA), a commercially available polymer that is safe and non-degradable, to serve as a soil adhesive. We mixed PVA solution into the soil and applied a drying treatment to enhance the bonding between PVA and the soil, achieving highly water-stable soil. This PVA-stabilized soil exhibits low bulk density, high porosity, and high permeability, making it an ideal substrate for planting. In a germination test, the PVA-stabilized soil revealed a higher germination rate and growth rate compared to those of the non-treated soil. We believe this simple and efficient soil improvement method can restore degraded soil and contribute to sustainable agriculture.


title: Projectivity criteria for K\"ahler morphisms

abstract: In this short note we prove two projectivity criteria for fibrations between mildly singular compact K\"ahler spaces. They are the relative versions of the celebrated criteria of Kodaira and Moishezon. As an application we obtain that the MRC fibration always has a model that is a projective morphism.


title: W as the Edge of a Wedge: Bell Correlations via Constrained Colliders

abstract: In previous work with Ken Wharton, it was proposed that Bell correlations are a special sort of selection artefact, explained by a combination of (i) collider bias and (ii) a boundary constraint on the collider variable. This requires no direct causal influence outside lightcones, and may hence offer a new way to reconcile Bell nonlocality and relativity. This piece outlines a new argument for the proposal. It explains how it is valid for a special class of ('W-shaped') Bell experiments involving delayed-choice entanglement swapping, and argues that it can be extended to the general ('V-shaped') case. A detailed version of the argument is now available in arXiv:2406.04571 [quant-ph].


title: Exploring Kinetic Curves Features for the Classification of Benign and Malignant Breast Lesions in DCE-MRI

abstract: Breast cancer is the most common malignant tumor among women and the second cause of cancer-related death. Early diagnosis in clinical practice is crucial for timely treatment and prognosis. Dynamic contrast-enhanced magnetic resonance imaging (DCE-MRI) has revealed great usability in the preoperative diagnosis and assessing therapy effects thanks to its capability to reflect the morphology and dynamic characteristics of breast lesions. However, most existing computer-assisted diagnosis algorithms only consider conventional radiomic features when classifying benign and malignant lesions in DCE-MRI. In this study, we propose to fully leverage the dynamic characteristics from the kinetic curves as well as the radiomic features to boost the classification accuracy of benign and malignant breast lesions. The proposed method is a fully automated solution by directly analyzing the 3D features from the DCE-MRI. The proposed method is evaluated on an in-house dataset including 200 DCE-MRI scans with 298 breast tumors (172 benign and 126 malignant tumors), achieving favorable classification accuracy with an area under curve (AUC) of 0.94. By simultaneously considering the dynamic and radiomic features, it is beneficial to effectively distinguish between benign and malignant breast lesions. The algorithm is publicly available at https://github.com/ryandok/JPA.


title: Chiral edge plasmons in quantum anomalous Hall insulators

abstract: We find that the Berry curvature splits the edge plasmons propagating along the opposite directions in quantum anomalous Hall insulators even with vanishing Chern number. When the bulk is insulating, only one unidirectional edge plasmon mode survives whose direction can be changed by external fields. The unidirectional edge plasmon in the long-wavelength limit is acoustic and essentially determined by the anomalous Hall conductivity. The group velocity of the chiral edge plasmon would change its sign for a large wave vector, which originates from the k-quadratic correction to the effective mass. The impacts of the Fermi level and the wave vector on the bulk and edge plasmons are discussed. Our work provides a well quantitative explanation of the recent observation of the chiral edge plasmon in quantum anomalous Hall insulators and some insight into the application of realistic topological materials in chiral plasmonics.


title: Polynomial effective density in quotient of $\mathrm{SL}_2(\mathbb{Q}_p) \times \mathrm{SL}_2(\mathbb{Q}_p)$

abstract: We prove an effective density theorem with polynomial error rate for orbits of upper triangular subgroup of $\mathrm{SL}_2(\mathbb{Q}_p)$ in $\mathrm{SL}_2(\mathbb{Q}_p) \times \mathrm{SL}_2(\mathbb{Q}_p)$ for prime number $p > 3$. The proof is based on the use of Margulis function, a restricted projection theorem on $\mathbb{Q}_p^3$, and spectral gap of the ambient space.


title: Extreme Elastic Deformation of Atoms and Pressure-Induced Superconductivity in Silicon

abstract: Change in the interatomic spacing of a two-atom system under tension and compression has been modelled by the elastic deformation of atoms. The critical elastic strain of atoms before separation or cracking from tension was estimated by the Griffith theory together with a recent mechanics model, then extended to the lateral elastic expansion under uniaxial compression. The hypothesis of deformable atoms has led to astonishing predictions of the critical elastic strain, around 10 and 20 percent for silicon in the 110 and 100 crystal directions. Superimposed by the substantial reduction of interatomic spacing in the direction of uniaxial compression above 20 GPa, these severely deformed silicon atoms or metastable new variants have acquired unforeseeable characteristics and properties, vastly different from those of silicon atoms under moderate stresses. Under extreme pressure, the natural repulsive reaction of atoms is intensified due to the increasing alignment of electron orbitals along the pressure direction and formation of metastable pressure-resistant phases. An opportunity for creation of a superconductive band has thus arisen at the edge of the laterally elastically expanded region away from the nuclei, where more space is available for free electron movement. Diamond results were also used to validate the new mechanics model, including the effects of atomic scale defects on fracture strain and strength, critical to elastic strain engineering.


title: Comparison of On-Orbit Manual Attitude Control Methods for Non-Docking Spacecraft Through Virtual Reality Simulation

abstract: On-orbit manual attitude control of manned spacecraft is accomplished using external visual references and some method of three axis attitude control. All past, present, and developmental spacecraft feature the capability to manually control attitude for deorbit. National Aeronautics and Space Administration (NASA) spacecraft permit an aircraft windshield type front view, wherein an arc of the Earths horizon is visible to the crew in deorbit attitude. Russian and Chinese spacecraft permit the crew a bottom view wherein the entire circular Earth horizon disk is visible to the crew in deorbit attitude. Our study compared these two types of external views for efficiency in achievement of deorbit attitude. We used a Unity Virtual Reality (VR) spacecraft simulator that we built in house. The task was to accurately achieve deorbit attitude while in a 400 km circular orbit. Six military test pilots and six civilians with gaming experience flew the task using two methods of visual reference. Comparison was based on time taken, fuel consumed, cognitive workload assessment and user preference. We used ocular parameters, EEG, NASA TLX and IBM SUS to quantify our results. Our study found that the bottom view was easier to operate for manual deorbit task. Additionally, we realized that a VR based system can work as a training simulator for manual on-orbit flight path control tasks by pilots and non pilots. Results from our study can be used for design of manual on orbit attitude control of present and future spacecrafts.


title: A whole-body mathematical model of cholesterol metabolism and transport

abstract: Cardiovascular diseases are the leading cause of death. Increased levels of plasma cholesterol are consistently associated with an increased risk of cardiovascular disease. As a result, it is imperative that studies are conducted to determine the best course of action to reduce whole-body cholesterol levels. A whole-body mathematical model for cholesterol metabolism and transport is proposed. The model can simulate the effects of lipid-lowering drugs like statins and anti-PCSK9. The model is based on ordinary differential equations and kinetic functions. It has been validated against literature data. It offers a versatile platform for designing personalized interventions for cardiovascular health management.


title: Extraction of YSO Cores and Active Regions near Star-forming Site AFGL 5157

abstract: We have carried out a quantitative analysis of the $1^{\circ} \times 1^{\circ}$ region near star-forming site AFGL 5157 using 'Minimal Spanning Tree' (MST). The analysis reveals that this region consists of five major clusters. The cluster radii of the cores and active regions were found to be varying between 0.75-2.62 pc and 2.77-4.58 pc, respectively, for these regions, while the aspect ratio varies between 0.71 to 7.17. This hints towards the clumpy as well as elongated clusters in the region. We calculated structure parameter Q for each region which varies between 0.41-0.62 and 0.23-0.81 for the cores and ARs, respectively. This shows the existence of fractal distribution in all the cores and ARs except the core of the [HKS2019] E70 bubble.


title: A bound preserving cut discontinuous Galerkin method for one dimensional hyperbolic conservation laws

abstract: In this paper we present a family of high order cut finite element methods with bound preserving properties for hyperbolic conservation laws in one space dimension. The methods are based on the discontinuous Galerkin framework and use a regular background mesh, where interior boundaries are allowed to cut through the mesh arbitrarily. Our methods include ghost penalty stabilization to handle small cut elements and a new reconstruction of the approximation on macro-elements, which are local patches consisting of cut and un-cut neighboring elements that are connected by stabilization. We show that the reconstructed solution retains conservation and order of convergence. Our lowest-order scheme results in a piecewise constant solution that satisfies a maximum principle for scalar hyperbolic conservation laws. When the lowest order scheme is applied to the Euler equations, the scheme is positivity preserving in the sense that positivity of pressure and density are retained. For the high-order schemes, suitable bound preserving limiters are applied to the reconstructed solution on macro-elements. In the scalar case, a maximum principle limiter is applied, which ensures that the limited approximation satisfies the maximum principle. Correspondingly, we use a positivity preserving limiter for the Euler equations and show that our scheme is positivity preserving. In the presence of shocks, additional limiting is needed to avoid oscillations, hence we apply a standard TVB limiter to the reconstructed solution. The time step restrictions are of the same order as for the corresponding discontinuous Galerkin methods on the background mesh. Numerical computations illustrate accuracy, bound preservation, and shock capturing capabilities of the proposed schemes.


title: Data-Based System Representation and Synchronization for Multiagent Systems

abstract: This paper presents novel solutions of the data-based synchronization problem for continuous-time multiagent systems. We consider the cases of homogeneous and heterogeneous systems. First, a data-based representation of the synchronization error dynamics is obtained for homogeneous systems, using input-state data collected from the agents. Then, we show how to extend existing data-based stabilization results to the multiagent case to stabilize the obtained synchronization errors. The proposed method relies on the solution of a set of linear matrix inequalities that are shown to be feasible. Then, we solve the synchronization problem for heterogeneous systems by means of dynamic controllers. Different from existing results, we do not require model knowledge for the followers and the leader. The theoretical results are finally validated using numerical simulations.


title: Groups with elements of order 8 do not have the DCI property

abstract: Let $k$ be odd, and $n$ an odd multiple of $3$. We prove that $C_k \rtimes C_8$ and $(C_n \times C_3)\rtimes C_8$ do not have the Directed Cayley Isomorphism (DCI) property. When $k$ is also prime, $C_k \rtimes C_8$ had previously been proved to have the Cayley Isomorphism (CI) property. To the best of our knowledge, the groups $C_p \rtimes C_8$ (where $p$ is an odd prime) are only the second known infinite family of groups that have the CI property but do not have the DCI property. This also shows that no group with an element of order $8$ has the DCI property.


title: Unlocking Insights: Enhanced Analysis of Covariance in General Factorial Designs through Multiple Contrast Tests under Variance Heteroscedasticity

abstract: A common goal in clinical trials is to conduct tests on estimated treatment effects adjusted for covariates such as age or sex. Analysis of Covariance (ANCOVA) is often used in these scenarios to test the global null hypothesis of no treatment effect using an $F$-test. However, in several samples, the $F$-test does not provide any information about individual null hypotheses and has strict assumptions such as variance homoscedasticity. We extend the method proposed by Konietschke et al. (2021) to a multiple contrast test procedure (MCTP), which allows us to test arbitrary linear hypotheses and provides information about the global as well as the individual null hypotheses. Further, we can calculate compatible simultaneous confidence intervals for the individual effects. We derive a small sample size approximation of the distribution of the test statistic via a multivariate t-distribution. As an alternative, we introduce a Wild-bootstrap method. Extensive simulations show that our methods are applicable even when sample sizes are small. Their application is further illustrated within a real data example.


title: A User-Centric Benchmark for Evaluating Large Language Models

abstract: Large Language Models (LLMs) are essential tools to collaborate with users on different tasks. Evaluating their performance to serve users' needs in real-world scenarios is important. While many benchmarks have been created, they mainly focus on specific predefined model abilities. Few have covered the intended utilization of LLMs by real users. To address this oversight, we propose benchmarking LLMs from a user perspective in both dataset construction and evaluation designs. We first collect 1846 real-world use cases with 15 LLMs from a user study with 712 participants from 23 countries. These self-reported cases form the User Reported Scenarios(URS) dataset with a categorization of 7 user intents. Secondly, on this authentic multi-cultural dataset, we benchmark 10 LLM services on their efficacy in satisfying user needs. Thirdly, we show that our benchmark scores align well with user-reported experience in LLM interactions across diverse intents, both of which emphasize the overlook of subjective scenarios. In conclusion, our study proposes to benchmark LLMs from a user-centric perspective, aiming to facilitate evaluations that better reflect real user needs. The benchmark dataset and code are available at https://github.com/Alice1998/URS.


title: Autoencoder-assisted Feature Ensemble Net for Incipient Faults

abstract: Deep learning has shown the great power in the field of fault detection. However, for incipient faults with tiny amplitude, the detection performance of the current deep learning networks (DLNs) is not satisfactory. Even if prior information about the faults is utilized, DLNs can't successfully detect faults 3, 9 and 15 in Tennessee Eastman process (TEP). These faults are notoriously difficult to detect, lacking effective detection technologies in the field of fault detection. In this work, we propose Autoencoder-assisted Feature Ensemble Net (AE-FENet): a deep feature ensemble framework that uses the unsupervised autoencoder to conduct the feature transformation. Compared with the principle component analysis (PCA) technique adopted in the original Feature Ensemble Net (FENet), autoencoder can mine more exact features on incipient faults, which results in the better detection performance of AE-FENet. With same kinds of basic detectors, AE-FENet achieves a state-of-the-art average accuracy over 96% on faults 3, 9 and 15 in TEP, which represents a significant enhancement in performance compared to other methods. Plenty of experiments have been done to extend our framework, proving that DLNs can be utilized efficiently within this architecture.


title: Dominic Welsh (1938-2023)

abstract: This biographical and scientific memoir of Dominic Welsh includes summaries of his important contributions to probability and combinatorics. With John Hammersley, he introduced first-passage percolation, and in so doing they formulated and proved the first subadditive ergodic theorem. Welsh has numerous results in matroid theory, and wrote the first monograph on the topic. He worked on computational complexity and particularly the complexity of computing the Tutte polynomial. He was an inspirational teacher and advisor who helped to develop a community of scholars in combinatorics.


title: On a problem inspired by Descartes' rule of signs

abstract: We study real univariate polynomials with non-zero coefficients and with all roots real, out of which exactly two positive. The sequence of coefficients of such a polynomial begins with $m$ positive coefficients followed by $n$ negative followed by $q$ positive coefficients. We consider the sequence of moduli of their roots on the positive real half-axis; all moduli are supposed distinct. We mark in this sequence the positions of the moduli of the two positive roots. For $m=n=2$, $n=q=2$ and $m=q=2$, we give the exhaustive answer to the question which the positions of the two moduli of positive roots can be.


title: Gorgeous: Create Your Desired Character Facial Makeup from Any Ideas

abstract: Contemporary makeup transfer methods primarily focus on replicating makeup from one face to another, considerably limiting their use in creating diverse and creative character makeup essential for visual storytelling. Such methods typically fail to address the need for uniqueness and contextual relevance, specifically aligning with character and story settings as they depend heavily on existing facial makeup in reference images. This approach also presents a significant challenge when attempting to source a perfectly matched facial makeup style, further complicating the creation of makeup designs inspired by various story elements, such as theme, background, and props that do not necessarily feature faces. To address these limitations, we introduce $Gorgeous$, a novel diffusion-based makeup application method that goes beyond simple transfer by innovatively crafting unique and thematic facial makeup. Unlike traditional methods, $Gorgeous$ does not require the presence of a face in the reference images. Instead, it draws artistic inspiration from a minimal set of three to five images, which can be of any type, and transforms these elements into practical makeup applications directly on the face. Our comprehensive experiments demonstrate that $Gorgeous$ can effectively generate distinctive character facial makeup inspired by the chosen thematic reference images. This approach opens up new possibilities for integrating broader story elements into character makeup, thereby enhancing the narrative depth and visual impact in storytelling.


title: How do LLMs Support Deep Learning Testing? A Comprehensive Study Through the Lens of Image Mutation

abstract: Visual deep learning (VDL) systems have shown significant success in real-world applications like image recognition, object detection, and autonomous driving. To evaluate the reliability of VDL, a mainstream approach is software testing, which requires diverse and controllable mutations over image semantics. The rapid development of multi-modal large language models (MLLMs) has introduced revolutionary image mutation potentials through instruction-driven methods. Users can now freely describe desired mutations and let MLLMs generate the mutated images. However, the quality of MLLM-produced test inputs in VDL testing remains largely unexplored. We present the first study, aiming to assess MLLMs' adequacy from 1) the semantic validity of MLLM mutated images, 2) the alignment of MLLM mutated images with their text instructions (prompts), 3) the faithfulness of how different mutations preserve semantics that are ought to remain unchanged, and 4) the effectiveness of detecting VDL faults. With large-scale human studies and quantitative evaluations, we identify MLLM's promising potentials in expanding the covered semantics of image mutations. Notably, while SoTA MLLMs (e.g., GPT-4V) fail to support or perform worse in editing existing semantics in images (as in traditional mutations like rotation), they generate high-quality test inputs using "semantic-additive" mutations (e.g., "dress a dog with clothes"), which bring extra semantics to images; these were infeasible for past approaches. Hence, we view MLLM-based mutations as a vital complement to traditional mutations, and advocate future VDL testing tasks to combine MLLM-based methods and traditional image mutations for comprehensive and reliable testing.


title: Dual Model Replacement:invisible Multi-target Backdoor Attack based on Federal Learning

abstract: In recent years, the neural network backdoor hidden in the parameters of the federated learning model has been proved to have great security risks. Considering the characteristics of trigger generation, data poisoning and model training in backdoor attack, this paper designs a backdoor attack method based on federated learning. Firstly, aiming at the concealment of the backdoor trigger, a TrojanGan steganography model with encoder-decoder structure is designed. The model can encode specific attack information as invisible noise and attach it to the image as a backdoor trigger, which improves the concealment and data transformations of the backdoor trigger.Secondly, aiming at the problem of single backdoor trigger mode, an image poisoning attack method called combination trigger attack is proposed. This method realizes multi-backdoor triggering by multiplexing combined triggers and improves the robustness of backdoor attacks. Finally, aiming at the problem that the local training mechanism leads to the decrease of the success rate of backdoor attack, a dual model replacement backdoor attack algorithm based on federated learning is designed. This method can improve the success rate of backdoor attack while maintaining the performance of the federated learning aggregation model. Experiments show that the attack strategy in this paper can not only achieve high backdoor concealment and diversification of trigger forms under federated learning, but also achieve good attack success rate in multi-target attacks.door concealment and diversification of trigger forms but also achieve good results in multi-target attacks.


title: Self-Bootstrapped Visual-Language Model for Knowledge Selection and Question Answering

abstract: While large pre-trained visual-language models have shown promising results on traditional visual question answering benchmarks, it is still challenging for them to answer complex VQA problems which requires diverse world knowledge. Motivated by the research of retrieval-augmented generation in the field of natural language processing, we use Dense Passage Retrieval (DPR) to retrieve related knowledge to help the model answer questions. However, DPR conduct retrieving in natural language space, which may not ensure comprehensive acquisition of image information. Thus, the retrieved knowledge is not truly conducive to helping answer the question, affecting the performance of the overall system. To address this issue, we propose a novel framework that leverages the visual-language model to select the key knowledge retrieved by DPR and answer questions. The framework consists of two modules: Selector and Answerer, where both are initialized by the MLLM and parameter-efficiently finetuned by self-bootstrapping: find key knowledge in the retrieved knowledge documents using the Selector, and then use them to finetune the Answerer to predict answers; obtain the pseudo-labels of key knowledge documents based on the predictions of the Answerer and weak supervision labels, and then finetune the Selector to select key knowledge; repeat. Our framework significantly enhances the performance of the baseline on the challenging open-domain Knowledge-based VQA benchmark, OK-VQA, achieving a state-of-the-art accuracy of 62.83\%.


title: Typos that Broke the RAG's Back: Genetic Attack on RAG Pipeline by Simulating Documents in the Wild via Low-level Perturbations

abstract: The robustness of recent Large Language Models (LLMs) has become increasingly crucial as their applicability expands across various domains and real-world applications. Retrieval-Augmented Generation (RAG) is a promising solution for addressing the limitations of LLMs, yet existing studies on the robustness of RAG often overlook the interconnected relationships between RAG components or the potential threats prevalent in real-world databases, such as minor textual errors. In this work, we investigate two underexplored aspects when assessing the robustness of RAG: 1) vulnerability to noisy documents through low-level perturbations and 2) a holistic evaluation of RAG robustness. Furthermore, we introduce a novel attack method, the Genetic Attack on RAG (\textit{GARAG}), which targets these aspects. Specifically, GARAG is designed to reveal vulnerabilities within each component and test the overall system functionality against noisy documents. We validate RAG robustness by applying our \textit{GARAG} to standard QA datasets, incorporating diverse retrievers and LLMs. The experimental results show that GARAG consistently achieves high attack success rates. Also, it significantly devastates the performance of each component and their synergy, highlighting the substantial risk that minor textual inaccuracies pose in disrupting RAG systems in the real world.


title: PeLiCal: Targetless Extrinsic Calibration via Penetrating Lines for RGB-D Cameras with Limited Co-visibility

abstract: RGB-D cameras are crucial in robotic perception, given their ability to produce images augmented with depth data. However, their limited FOV often requires multiple cameras to cover a broader area. In multi-camera RGB-D setups, the goal is typically to reduce camera overlap, optimizing spatial coverage with as few cameras as possible. The extrinsic calibration of these systems introduces additional complexities. Existing methods for extrinsic calibration either necessitate specific tools or highly depend on the accuracy of camera motion estimation. To address these issues, we present PeLiCal, a novel line-based calibration approach for RGB-D camera systems exhibiting limited overlap. Our method leverages long line features from surroundings, and filters out outliers with a novel convergence voting algorithm, achieving targetless, real-time, and outlier-robust performance compared to existing methods. We open source our implementation on https://github.com/joomeok/PeLiCal.git.


title: SPLATE: Sparse Late Interaction Retrieval

abstract: The late interaction paradigm introduced with ColBERT stands out in the neural Information Retrieval space, offering a compelling effectiveness-efficiency trade-off across many benchmarks. Efficient late interaction retrieval is based on an optimized multi-step strategy, where an approximate search first identifies a set of candidate documents to re-rank exactly. In this work, we introduce SPLATE, a simple and lightweight adaptation of the ColBERTv2 model which learns an ``MLM adapter'', mapping its frozen token embeddings to a sparse vocabulary space with a partially learned SPLADE module. This allows us to perform the candidate generation step in late interaction pipelines with traditional sparse retrieval techniques, making it particularly appealing for running ColBERT in CPU environments. Our SPLATE ColBERTv2 pipeline achieves the same effectiveness as the PLAID ColBERTv2 engine by re-ranking 50 documents that can be retrieved under 10ms.


title: Program Environment Fuzzing

abstract: Computer programs are not executed in isolation, but rather interact with the execution environment which drives the program behaviours. Software validation and verification methods, such as greybox fuzzing, thus need to capture the effect of possibly complex environmental interactions, including files, databases, configurations, network sockets, human-user interactions, and more. Conventional approaches for environment capture in symbolic execution and model checking employ environment modelling, which involves manual effort. In this paper, we take a different approach based on an extension of greybox fuzzing. Given a program, we first record all observed environmental interactions at the kernel/user-mode boundary in the form of system calls. Next, we replay the program under the original recorded interactions, but this time with selective mutations applied, in order to get the effect of different program environments -- all without environment modelling. Via repeated (feedback-driven) mutations over a fuzzing campaign, we can search for program environments that induce crashing behaviour. Our EFuzz tool found 33 zero-day bugs in well-known real-world protocol implementations and GUI applications. Many of these are security vulnerabilities and 14 CVEs were assigned.


title: Binary forms with the same value set II. The case of ${\bf D}_4$

abstract: Let $F, G \in \mathbb{Z}[X, Y]$ be binary forms of degree $\geq 3$, non-zero discriminant and with automorphism group isomorphic to $D_4$. If $F(\mathbb{Z}^2) = G(\mathbb{Z}^2)$, we show that $F$ and $G$ are ${\rm GL}(2, \mathbb{Z})$--equivalent.


title: 360VOTS: Visual Object Tracking and Segmentation in Omnidirectional Videos

abstract: Visual object tracking and segmentation in omnidirectional videos are challenging due to the wide field-of-view and large spherical distortion brought by 360{\deg} images. To alleviate these problems, we introduce a novel representation, extended bounding field-of-view (eBFoV), for target localization and use it as the foundation of a general 360 tracking framework which is applicable for both omnidirectional visual object tracking and segmentation tasks. Building upon our previous work on omnidirectional visual object tracking (360VOT), we propose a comprehensive dataset and benchmark that incorporates a new component called omnidirectional video object segmentation (360VOS). The 360VOS dataset includes 290 sequences accompanied by dense pixel-wise masks and covers a broader range of target categories. To support both the development and evaluation of algorithms in this domain, we divide the dataset into a training subset with 170 sequences and a testing subset with 120 sequences. Furthermore, we tailor evaluation metrics for both omnidirectional tracking and segmentation to ensure rigorous assessment. Through extensive experiments, we benchmark state-of-the-art approaches and demonstrate the effectiveness of our proposed 360 tracking framework and training dataset. Homepage: https://360vots.hkustvgd.com/


title: A survey of air combat behavior modeling using machine learning

abstract: With the recent advances in machine learning, creating agents that behave realistically in simulated air combat has become a growing field of interest. This survey explores the application of machine learning techniques for modeling air combat behavior, motivated by the potential to enhance simulation-based pilot training. Current simulated entities tend to lack realistic behavior, and traditional behavior modeling is labor-intensive and prone to loss of essential domain knowledge between development steps. Advancements in reinforcement learning and imitation learning algorithms have demonstrated that agents may learn complex behavior from data, which could be faster and more scalable than manual methods. Yet, making adaptive agents capable of performing tactical maneuvers and operating weapons and sensors still poses a significant challenge. The survey examines applications, behavior model types, prevalent machine learning methods, and the technical and human challenges in developing adaptive and realistically behaving agents. Another challenge is the transfer of agents from learning environments to military simulation systems and the consequent demand for standardization. Four primary recommendations are presented regarding increased emphasis on beyond-visual-range scenarios, multi-agent machine learning and cooperation, utilization of hierarchical behavior models, and initiatives for standardization and research collaboration. These recommendations aim to address current issues and guide the development of more comprehensive, adaptable, and realistic machine learning-based behavior models for air combat applications.


title: GNSS Measurement-Based Context Recognition for Vehicle Navigation using Gated Recurrent Unit

abstract: Recent years, people have put forward higher and higher requirements for context-adaptive navigation (CAN). CAN system realizes seamless navigation in complex environments by recognizing the ambient surroundings of vehicles, and it is crucial to develop a fast, reliable, and robust navigational context recognition (NCR) method to enable CAN systems to operate effectively. Environmental context recognition based on Global Navigation Satellite System (GNSS) measurements has attracted widespread attention due to its low cost because it does not require additional infrastructure. The performance and application value of NCR methods depend on three main factors: context categorization, feature extraction, and classification models. In this paper, a fine-grained context categorization framework comprising seven environment categories (open sky, tree-lined avenue, semi-outdoor, urban canyon, viaduct-down, shallow indoor, and deep indoor) is proposed, which currently represents the most elaborate context categorization framework known in this research domain. To improve discrimination between categories, a new feature called the C/N0-weighted azimuth distribution factor, is designed. Then, to ensure real-time performance, a lightweight gated recurrent unit (GRU) network is adopted for its excellent sequence data processing capabilities. A dataset containing 59,996 samples is created and made publicly available to researchers in the NCR community on Github. Extensive experiments have been conducted on the dataset, and the results show that the proposed method achieves an overall recognition accuracy of 99.41\% for isolated scenarios and 94.95\% for transition scenarios, with an average transition delay of 2.14 seconds.


title: Unraveling the Kinematics of IZw18: A Detailed Study of Ionized Gas with MEGARA/GTC

abstract: This study delves into the intricate kinematic behavior of ionized gas within IZw18, a galaxy known for its remarkably low metallicity and proximity. Leveraging data from MEGARA/GTC, we meticulously analyzed the galaxy's structure and dynamics using H{\alpha} line profiles. Employing single and double Gaussian component fittings, we generated detailed maps of luminosity, velocity, and velocity dispersion across both the main body (MB) and Halo regions. By extracting integrated spectra from various galactic zones, we enhanced the signal-to-noise (S/N) ratio. In the MB, a clear rotational pattern emerged, supplemented by a more intricate kinematic structure from the double-component fitting, notably featuring a broad component with a FWHM nearing 2000 km/s. This broad component, exhibiting wide spatial extension, hints at a high-energy outflow and suggests non-localized sources of significant kinetic energy. The considerable velocity disparities between narrow and broad components imply potential spatial segregation, possibly due to dense gas near the kinematic origin acting as a momentum-reflection 'wall'. Examining the halos, the NE Halo appears tranquil with low velocity dispersions, while the SW Halo displays higher velocities and complex kinematics, indicative of varied dynamic interactions. The presence of the broad component throughout the MB and the intricate kinematics across all regions suggests widespread and subtle turbulent motion. This nuanced understanding of IZw18's kinematic behavior, elucidating the interplay of gas components and internal structures, enriches our comprehension of dynamics in blue compact dwarf galaxies. It holds promise for shedding light on early galaxy formation and the complex kinematics inherent to such environments.


title: How Well Can LLMs Echo Us? Evaluating AI Chatbots' Role-Play Ability with ECHO

abstract: The role-play ability of Large Language Models (LLMs) has emerged as a popular research direction. However, existing studies focus on imitating well-known public figures or fictional characters, overlooking the potential for simulating ordinary individuals. Such an oversight limits the potential for advancements in digital human clones and non-player characters in video games. To bridge this gap, we introduce ECHO, an evaluative framework inspired by the Turing test. This framework engages the acquaintances of the target individuals to distinguish between human and machine-generated responses. Notably, our framework focuses on emulating average individuals rather than historical or fictional figures, presenting a unique advantage to apply the Turing Test. We evaluated three role-playing LLMs using ECHO, with GPT-3.5 and GPT-4 serving as foundational models, alongside the online application GPTs from OpenAI. Our results demonstrate that GPT-4 more effectively deceives human evaluators, and GPTs achieves a leading success rate of 48.3%. Furthermore, we investigated whether LLMs could discern between human-generated and machine-generated texts. While GPT-4 can identify differences, it could not determine which texts were human-produced. Our code and results of reproducing the role-playing LLMs are made publicly available via https://github.com/CUHK-ARISE/ECHO.


title: Classical multiple orthogonal polynomials for arbitrary number of weights and their explicit representation

abstract: This paper delves into classical multiple orthogonal polynomials with an arbitrary number of weights, including Jacobi-Pi\~neiro, Laguerre of both first and second kinds, as well as multiple orthogonal Hermite polynomials. Novel explicit expressions for nearest-neighbor recurrence coefficients, as well as the step line case, are provided for all these polynomial families. Furthermore, new explicit expressions for type I multiple orthogonal polynomials are derived for Laguerre of the second kind and also for multiple Hermite polynomials.


title: Low-energy modeling of three-dimensional topological insulator nanostructures

abstract: We develop an accurate nanoelectronic modeling approach for realistic three-dimensional topological insulator nanostructures and investigate their low-energy surface-state spectrum. Starting from the commonly considered four-band $\boldsymbol{\mathrm{k\cdot p}}$ bulk model Hamiltonian for the Bi$_2$Se$_3$ family of topological insulators, we derive new parameter sets for Bi$_2$Se$_3$, Bi$_2$Te$_3$ and Sb$_2$Te$_3$. We consider a fitting strategy applied to \emph{ab initio} band structures around the $\Gamma$ point that ensures a quantitatively accurate description of the low-energy bulk and surface states, while avoiding the appearance of unphysical low-energy states at higher momenta, something that is not guaranteed by the commonly considered perturbative approach. We analyze the effects that arise in the low-energy spectrum of topological surface states due to band anisotropy and electron-hole asymmetry, yielding Dirac surface states that naturally localize on different side facets. In the thin-film limit, when surface states hybridize through the bulk, we resort to a thin-film model and derive thickness-dependent model parameters from \emph{ab initio} calculations that show good agreement with experimentally resolved band structures, unlike the bulk model that neglects relevant many-body effects in this regime. Our versatile modeling approach offers a reliable starting point for accurate simulations of realistic topological material-based nanoelectronic devices.


title: A Geometric Perspective on Double Robustness by Semiparametric Theory and Information Geometry

abstract: Double robustness (DR) is a widely-used property of estimators that provides protection against model misspecification and slow convergence of nuisance functions. While DR is a global property on the probability distribution manifold, it often coincides with influence curves, which only ensure orthogonality to nuisance directions locally. This apparent discrepancy raises fundamental questions about the theoretical underpinnings of DR. In this short communication, we address two key questions: (1) Why do influence curves frequently imply DR "for free"? (2) Under what conditions do DR estimators exist for a given statistical model and parameterization? Using tools from semiparametric theory, we show that convexity is the crucial property that enables influence curves to imply DR. We then derive necessary and sufficient conditions for the existence of DR estimators under a mean squared differentiable path-connected parameterization. Our main contribution also lies in the novel geometric interpretation of DR using information geometry. By leveraging concepts such as parallel transport, m-flatness, and m-curvature freeness, we characterize DR in terms of invariance along submanifolds. This geometric perspective deepens the understanding of when and why DR estimators exist. The results not only resolve apparent mysteries surrounding DR but also have practical implications for the construction and analysis of DR estimators. The geometric insights open up new connections and directions for future research. Our findings aim to solidify the theoretical foundations of a fundamental concept and contribute to the broader understanding of robust estimation in statistics.


title: Sharp quantitative stability of the Yamabe problem

abstract: Given a smooth closed Riemannian manifold $(M,g)$ of dimension $N \ge 3$, we derive sharp quantitative stability estimates for nonnegative functions near the solution set of the Yamabe problem on $(M,g)$. The seminal work of Struwe (1984) \cite{S} states that if $\Gamma(u) := \|\Delta_g u - \frac{N-2}{4(N-1)} R_g u + u^{\frac{N+2}{N-2}}\|_{H^{-1}(M)} \to 0$, then $\|u-(u_0+\sum_{i=1}^{\nu} \mathcal{V}_i)\|_{H^1(M)} \to 0$ where $u_0$ is a solution to the Yamabe problem on $(M,g)$, $\nu \in \mathbb{N} \cup \{0\}$, and $\mathcal{V}_i$ is a bubble-like function. If $M$ is the round sphere $\mathbb{S}^N$, then $u_0 \equiv 0$ and a natural candidate of $\mathcal{V}_i$ is a bubble itself. If $M$ is not conformally equivalent to $\mathbb{S}^N$, then either $u_0 > 0$ or $u_0 \equiv 0$, there is no canonical choice of $\mathcal{V}_i$, and so a careful selection of $\mathcal{V}_i$ must be made to attain optimal estimates. For $3 \le N \le 5$, we construct suitable $\mathcal{V}_i$'s and then establish the inequality $\|u-(u_0+\sum_{i=1}^{\nu} \mathcal{V}_i)\|_{H^1(M)}$ $ \le C\zeta(\Gamma(u))$ where $C > 0$ and $\zeta(t) = t$, consistent with the result of Figalli and Glaudo (2020) \cite{FG} on $\mathbb{S}^N$. In the case of $N \ge 6$, we investigate the single-bubbling phenomenon $(\nu = 1)$ on generic Riemannian manifolds $(M,g)$, proving that $\zeta(t)$ is determined by $N$, $u_0$, and $g$, and can be much larger than $t$. This exhibits a striking difference from the result of Ciraolo, Figalli, and Maggi (2018) \cite{CFM} on $\mathbb{S}^N$. All of the estimates presented herein are optimal.


title: Chiral-odd generalized parton distributions of sea quarks at $\xi=0$ in the light-cone quark model

abstract: We study the chiral-odd generalized parton distributions (GPDs) of the $\bar{u}$ and $\bar{d}$ quarks inside the proton at zero skewness using the overlap representation within the light cone formalism. Using the light cone wave functions (LCWFs) of the proton obtained from the baryon-meson fluctuation model in terms of the $|q\bar{q}B\rangle$ Fock states, we provide the expressions of the GPDs $\widetilde{H}^{\bar{q}/P}_T(x,0,t)$, $H_T^{\bar{q}/P}(x,0,t)$ and $E_T^{\bar{q}/P}(x,0,t)$ for $\bar{q}=\bar{u}$ and $\bar{d}$. Numerical results for these GPDs in momentum space as well as in impact parameter space are presented. We further investigate certain combinations of the chiral-odd GPDs in impact parameter space to the spin-orbit correlation effect of the sea quarks.


title: Dynamic critical exponent in quantum long-range models

abstract: Quantum long-range models at zero temperature can be described by fractional Lifshitz field theories, that is, anisotropic models whose actions are short-range in time and long-range in space. In this paper we study the renormalization of fractional Lifshitz field theories with weakly relevant cubic or quartic self-interactions. Their nontrivial infrared fixed points exhibit Lifshitz scale invariance, and we compute the lowest-order corrections to the dynamic critical exponent.

categories: hep-th cond-mat.stat-mech math-ph math.MP


title: An Economic Solution to Copyright Challenges of Generative AI

abstract: Generative artificial intelligence (AI) systems are trained on large data corpora to generate new pieces of text, images, videos, and other media. There is growing concern that such systems may infringe on the copyright interests of training data contributors. To address the copyright challenges of generative AI, we propose a framework that compensates copyright owners proportionally to their contributions to the creation of AI-generated content. The metric for contributions is quantitatively determined by leveraging the probabilistic nature of modern generative AI models and using techniques from cooperative game theory in economics. This framework enables a platform where AI developers benefit from access to high-quality training data, thus improving model performance. Meanwhile, copyright owners receive fair compensation, driving the continued provision of relevant data for generative model training. Experiments demonstrate that our framework successfully identifies the most relevant data sources used in artwork generation, ensuring a fair and interpretable distribution of revenues among copyright owners.


title: Banded totally positive matrices and normality for mixed multiple orthogonal polynomials

abstract: This paper serves as an introduction to banded totally positive matrices, exploring various characterizations and associated properties. A significant result within is the demonstration that the collection of such matrices forms a semigroup, notably including a subset permitting positive bidiagonal factorization. Moreover, the paper applies this concept to investigate step line normality concerning the degrees of associated recursion polynomials. It presents a spectral Favard theorem, ensuring the existence of measures, thereby guaranteeing that these recursion polynomials represent mixed multiple orthogonal polynomials that maintain normality on the step line indices.


title: The complex landslide flow and the method of integrable systems

abstract: We investigate a connection between the complex landslide flow, defined on a pair of Teichm\"uller spaces, and the integrable system method's approach to harmonic maps into a symmetric space. We will prove that the holonomy of the complex landslide flow can be derived from the holonomy of the family of flat connections determined by a harmonic map into the hyperbolic two-space.


title: Neural Control Systems

abstract: We propose a function-learning methodology with a control-theoretical foundation. We parametrise the approximating function as the solution to a control system on a reproducing-kernel Hilbert space, and propose several methods to find the set of controls which bring the initial function as close as possible to the target function. At first, we derive the expression for the gradient of the cost function with respect to the controls that parametrise the difference equations. This allows us to find the optimal controls by means of gradient descent. In addition, we show how to compute derivatives of the approximating functions with respect to the controls and describe two optimisation methods relying on linear approximations of the approximating functions. We show how the assumptions we make lead to results which are coherent with Pontryagin's maximum principle. We test the optimisation methods on two toy examples and on two higher-dimensional real-world problems, showing that the approaches succeed in learning from real data and are versatile enough to tackle learning tasks of different nature.


title: Protecting Your LLMs with Information Bottleneck

abstract: The advent of large language models (LLMs) has revolutionized the field of natural language processing, yet they might be attacked to produce harmful content. Despite efforts to ethically align LLMs, these are often fragile and can be circumvented by jailbreaking attacks through optimized or manual adversarial prompts. To address this, we introduce the Information Bottleneck Protector (IBProtector), a defense mechanism grounded in the information bottleneck principle, and we modify the objective to avoid trivial solutions. The IBProtector selectively compresses and perturbs prompts, facilitated by a lightweight and trainable extractor, preserving only essential information for the target LLMs to respond with the expected answer. Moreover, we further consider a situation where the gradient is not visible to be compatible with any LLM. Our empirical evaluations show that IBProtector outperforms current defense methods in mitigating jailbreak attempts, without overly affecting response quality or inference speed. Its effectiveness and adaptability across various attack methods and target LLMs underscore the potential of IBProtector as a novel, transferable defense that bolsters the security of LLMs without requiring modifications to the underlying models.


title: Importance of the semimetallic state for the quantum Hall effect in HfTe$_{5}$

abstract: At ambient pressure, HfTe$_{5}$ is a material at the boundary between a weak and a strong topological phase, which can be tuned by changes in its crystalline structure or by the application of high magnetic fields. It exhibits a Lifshitz transition upon cooling, and three-dimensional (3D) quantum Hall effect (QHE) plateaus can be observed at low temperatures. Here, we have investigated the electrical transport properties of HfTe$_{5}$ under hydrostatic pressure up to 3 GPa. We find a pressure-induced crossover from a semimetallic phase at low pressures to an insulating phase at about 1.5 GPa. Our data suggest the presence of a pressure-induced Lifshitz transition at low temperatures within the insulating phase around 2 GPa. The quasi-3D QHE is confined to the low-pressure region in the semimetallic phase. This reveals the importance of the semimetallic groundstate for the emergence of the QHE in HfTe$_{5}$ and thus favors a scenario based on a low carrier density metal in the quantum limit for the observed signatures of the quasi-quantized 3D QHE.


title: DALI sensitivity to streaming axion dark matter

abstract: Dark matter substructures emerge naturally in a scenario in which the axion angular field acquires propagating degrees of freedom in a post-inflationary Universe. The DALI experiment is a new generation wavy dark matters interferometer currently in prototyping. Although DALI's main objective is to explore the virialized DM in our Galaxy, to a large degree in this article we explore the prospect for detection of fine grained streams made of axions that would enter the Solar System, as suggested by previous work. We find that DALI will have a sensitivity to encounters with these coherent objects that fully spans the window defined by the coupling strength to photons of representative axion models over a stacked bandwidth of two decades in mass.


title: HamilToniQ: An Open-Source Benchmark Toolkit for Quantum Computers

abstract: In this paper, we introduce HamilToniQ, an open-source, and application-oriented benchmarking toolkit for the comprehensive evaluation of Quantum Processing Units (QPUs). Designed to navigate the complexities of quantum computations, HamilToniQ incorporates a methodological framework assessing QPU types, topologies, and multi-QPU systems. The toolkit facilitates the evaluation of QPUs' performance through multiple steps including quantum circuit compilation and quantum error mitigation (QEM), integrating strategies that are unique to each stage. HamilToniQ's standardized score, H-Score, quantifies the fidelity and reliability of QPUs, providing a multidimensional perspective of QPU performance. With a focus on the Quantum Approximate Optimization Algorithm (QAOA), the toolkit enables direct, comparable analysis of QPUs, enhancing transparency and equity in benchmarking. Demonstrated in this paper, HamilToniQ has been validated on various IBM QPUs, affirming its effectiveness and robustness. Overall, HamilToniQ significantly contributes to the advancement of the quantum computing field by offering precise and equitable benchmarking metrics.


title: Non-Uniform Exposure Imaging via Neuromorphic Shutter Control

abstract: By leveraging the blur-noise trade-off, imaging with non-uniform exposures largely extends the image acquisition flexibility in harsh environments. However, the limitation of conventional cameras in perceiving intra-frame dynamic information prevents existing methods from being implemented in the real-world frame acquisition for real-time adaptive camera shutter control. To address this challenge, we propose a novel Neuromorphic Shutter Control (NSC) system to avoid motion blurs and alleviate instant noises, where the extremely low latency of events is leveraged to monitor the real-time motion and facilitate the scene-adaptive exposure. Furthermore, to stabilize the inconsistent Signal-to-Noise Ratio (SNR) caused by the non-uniform exposure times, we propose an event-based image denoising network within a self-supervised learning paradigm, i.e., SEID, exploring the statistics of image noises and inter-frame motion information of events to obtain artificial supervision signals for high-quality imaging in real-world scenes. To illustrate the effectiveness of the proposed NSC, we implement it in hardware by building a hybrid-camera imaging prototype system, with which we collect a real-world dataset containing well-synchronized frames and events in diverse scenarios with different target scenes and motion patterns. Experiments on the synthetic and real-world datasets demonstrate the superiority of our method over state-of-the-art approaches.


title: DEQ-MCL: Discrete-Event Queue-based Monte-Carlo Localization

abstract: Spatial cognition in hippocampal formation is posited to play a crucial role in the development of self-localization techniques for robots. In this paper, we propose a self-localization approach, DEQ-MCL, based on the discrete event queue hypothesis associated with phase precession within the hippocampal formation. Our method effectively estimates the posterior distribution of states, encompassing both past, present, and future states that are organized as a queue. This approach enables the smoothing of the posterior distribution of past states using current observations and the weighting of the joint distribution by considering the feasibility of future states. Our findings indicate that the proposed method holds promise for augmenting self-localization performance in indoor environments.


title: A single-sided all-at-once preconditioning for linear system from a non-local evolutionary equation with weakly singular kernels

abstract: {In [X. L. Lin, M. K. Ng, and Y. Zhi. {\it J. Comput. Phys.}, 434 (2021), pp. 110221] and [Y. L. Zhao, J. Wu, X. M. Gu, and H. Li. {\it Comput. Math. Appl.}, 148(2023), pp. 200--210]}, two-sided preconditioning techniques are proposed for non-local evolutionary equations, which possesses (i) mesh-size independent theoretical bound of condition number of the two-sided preconditioned matrix; (ii) small and stable iteration numbers in numerical tests. In this paper, we modify the two-sided preconditioning by multiplying the left-sided and the right-sided preconditioners together as a single-sided preconditioner. Such a single-sided preconditioner essentially derives from approximating the spatial matrix with a fast diagonalizable matrix and keeping the temporal matrix unchanged. Clearly, the matrix-vector multiplication of the single-sided preconditioning is faster to compute than that of the two-sided one, since the single-sided preconditioned matrix has a simpler structure. More importantly, we show theoretically that the single-sided preconditioned generalized minimal residual (GMRES) method has a convergence rate no worse than the two-sided preconditioned one. As a result, the one-sided preconditioned GMRES solver requires less computational time than the two-sided preconditioned GMRES solver in total. Numerical results are reported to show the efficiency of the proposed single-sided preconditioning technique.


title: Strategic geometric graphs through mean field games

abstract: We exploit the structure of geometric graphs on Riemannian manifolds to analyze strategic dynamic graphs at the limit, when the number of nodes tends to infinity. This framework allows to preserve intrinsic geometrical information about the limiting graph structure, such as the Ollivier curvature. After introducing the setting, we derive a mean field game system, which models a strategic equilibrium between the nodes. It has the usual structure with the distinction of being set on a manifold. Finally, we establish existence and uniqueness of solutions to the system when the Hamiltonian is quadratic for a class of non-necessarily compact Riemannian manifolds, referred to as manifolds of bounded geometry.


title: Josephson effect in a junction coupled to an electron reservoir

abstract: We extend the scattering theory of the Josephson effect to include a coupling of the Josephson junction to a gapless electron reservoir in the normal state. By opening up the system with a quasiparticle escape rate $1/\tau$, the supercurrent carried at zero temperature by an Andreev level at energy $\varepsilon_{\rm A}$ is reduced by a factor $(2/\pi)\arctan(2\varepsilon_{\rm A}\tau/\hbar)$ . We make contact with recent work on "non-Hermitian Josephson junctions", by comparing this result to different proposed generalizations of the Josephson effect to non-Hermitian Hamiltonians.


title: Normalisation de terminologies multilingues pour les TICE : techniques et enjeux

abstract: Terminology and lexicography standardization is a fundamental issue that is becoming increasingly important in the era of multilingual globalization and particularly, from our standpoint, the era of terminotics and translation. The challenges of multilingual globalization and e-semantics directly impact standardization methods: Development and perspectives of standards for ''Terminology and other language and content resources'' (the title of ISO-TC37); Development and future of all standardization fields that develop terminology (or vocabulary) most often multilingual, serving as the basis for their development and acting as a reference totheir use. In the first part of our presentation, we will first point out the normative aspects of standardization in terminology and especially terminotics. In the second part, we will present a brief overview of terminology standardization projects and their rationale, In the third part, we will develop the specific issue of ICTE. We will focus on our involvement in this field, on our assumptions and values of methods. We will set out our theoretical and technical developments underway and will conclude with our needs for collaboration with your academic community.


title: Pour une interop{\'e}rabilit{\'e} s{\'e}mantique en {\'e}ducation : les mod{\`e}les normatifs de l'ISO/IEC JTC1 SC36

abstract: The semantics of content is one of the essential constituents of models of innovative educational systems. It is gradually built based on normative efforts carried out by different actors in the fields of the technological industry, telecommunications, IT, linguistic engineering, information sciences documentation, etc. Semantics in networks and digital information systems represent, in fact, an advanced link in a long process of processing digital information in which terminological work occupies an important part. This process is also very consolidated by a wide range of norms and standards which ensure very high levels of technical, organizational, and semantic interoperability.


title: Modelling Technique for GDPR-compliance: Toward a Comprehensive Solution

abstract: Data-driven applications and services have been increasingly deployed in all aspects of life including healthcare and medical services in which a huge amount of personal data is collected, aggregated, and processed in a centralised server from various sources. As a consequence, preserving the data privacy and security of these applications is of paramount importance. Since May 2018, the new data protection legislation in the EU/UK, namely the General Data Protection Regulation (GDPR), has come into force and this has called for a critical need for modelling compliance with the GDPR's sophisticated requirements. Existing threat modelling techniques are not designed to model GDPR compliance, particularly in a complex system where personal data is collected, processed, manipulated, and shared with third parties. In this paper, we present a novel comprehensive solution for developing a threat modelling technique to address threats of non-compliance and mitigate them by taking GDPR requirements as the baseline and combining them with the existing security and privacy modelling techniques (i.e., \textit{STRIDE} and \textit{LINDDUN}, respectively). For this purpose, we propose a new data flow diagram integrated with the GDPR principles, develop a knowledge base for the non-compliance threats, and leverage an inference engine for reasoning the GDPR non-compliance threats over the knowledge base. Finally, we demonstrate our solution for threats of non-compliance with legal basis and accountability in a telehealth system to show the feasibility and effectiveness of the proposed solution.


title: Asymptotic stability of solitons for near-cubic NLS equation with an internal mode

abstract: We consider perturbations of the one-dimensional cubic Schr\"odinger equation, of the form $i \, \partial_t \psi + \partial_x^2 \psi + |\psi|^2 \psi + g( |\psi|^2 ) \psi = 0$. Under hypotheses on the function $g$ that can be easily verified in some cases (such as $g(s) = s^\sigma$ with $\sigma >1$), we show that the linearized problem around a small solitary wave presents a unique internal mode. Moreover, under an additional hypothesis (the Fermi golden rule) that can also be verified in the case of powers $g(s) = s^\sigma$, we prove the asymptotic stability of the solitary waves with small frequencies.


title: Special Issue on Modified Gravity Approaches to the Tensions of $\Lambda$CDM: Goals and Highlights

abstract: The Special Issue on "Modified Gravity Approaches to the Tensions of $\Lambda$CDM"} in the Universe journal tackles significant challenges faced by the $\Lambda$CDM model, including discrepancies in the Hubble constant, growth rate of structures, and cosmological anisotropies. These issues suggest foundational cracks in the model, raising questions about the validity of General Relativity, dark energy, and cosmological principles at large scales. This collection brings together leading researchers to delve into Modified Gravity theories as potential solutions. Covering approaches from Scalar-Tensor theories to $f(R,T)$ gravity and beyond, each contribution presents innovative research aimed at addressing the limitations of the $\Lambda$CDM model. This Special Issue not only highlights the theoretical and empirical strengths of Modified Gravity models but also opens avenues for future investigations, emphasizing the synergy between theoretical advancements and observational evidence to deepen our cosmological understanding.


title: Liquid-Graph Time-Constant Network for Multi-Agent Systems Control

abstract: In this paper, we propose the Liquid-Graph Time-constant (LGTC) network, a continuous graph neural network(GNN) model for control of multi-agent systems based on therecent Liquid Time Constant (LTC) network. We analyse itsstability leveraging contraction analysis and propose a closed-form model that preserves the model contraction rate and doesnot require solving an ODE at each iteration. Compared todiscrete models like Graph Gated Neural Networks (GGNNs),the higher expressivity of the proposed model guaranteesremarkable performance while reducing the large amountof communicated variables normally required by GNNs. Weevaluate our model on a distributed multi-agent control casestudy (flocking) taking into account variable communicationrange and scalability under non-instantaneous communication


title: Structure-Aware Human Body Reshaping with Adaptive Affinity-Graph Network

abstract: Given a source portrait, the automatic human body reshaping task aims at editing it to an aesthetic body shape. As the technology has been widely used in media, several methods have been proposed mainly focusing on generating optical flow to warp the body shape. However, those previous works only consider the local transformation of different body parts (arms, torso, and legs), ignoring the global affinity, and limiting the capacity to ensure consistency and quality across the entire body. In this paper, we propose a novel Adaptive Affinity-Graph Network (AAGN), which extracts the global affinity between different body parts to enhance the quality of the generated optical flow. Specifically, our AAGN primarily introduces the following designs: (1) we propose an Adaptive Affinity-Graph (AAG) Block that leverages the characteristic of a fully connected graph. AAG represents different body parts as nodes in an adaptive fully connected graph and captures all the affinities between nodes to obtain a global affinity map. The design could better improve the consistency between body parts. (2) Besides, for high-frequency details are crucial for photo aesthetics, a Body Shape Discriminator (BSD) is designed to extract information from both high-frequency and spatial domain. Particularly, an SRM filter is utilized to extract high-frequency details, which are combined with spatial features as input to the BSD. With this design, BSD guides the Flow Generator (FG) to pay attention to various fine details rather than rigid pixel-level fitting. Extensive experiments conducted on the BR-5K dataset demonstrate that our framework significantly enhances the aesthetic appeal of reshaped photos, marginally surpassing all previous work to achieve state-of-the-art in all evaluation metrics.


title: RHanDS: Refining Malformed Hands for Generated Images with Decoupled Structure and Style Guidance

abstract: Although diffusion models can generate high-quality human images, their applications are limited by the instability in generating hands with correct structures. Some previous works mitigate the problem by considering hand structure yet struggle to maintain style consistency between refined malformed hands and other image regions. In this paper, we aim to solve the problem of inconsistency regarding hand structure and style. We propose a conditional diffusion-based framework RHanDS to refine the hand region with the help of decoupled structure and style guidance. Specifically, the structure guidance is the hand mesh reconstructed from the malformed hand, serving to correct the hand structure. The style guidance is a hand image, e.g., the malformed hand itself, and is employed to furnish the style reference for hand refining. In order to suppress the structure leakage when referencing hand style and effectively utilize hand data to improve the capability of the model, we build a multi-style hand dataset and introduce a twostage training strategy. In the first stage, we use paired hand images for training to generate hands with the same style as the reference. In the second stage, various hand images generated based on the human mesh are used for training to enable the model to gain control over the hand structure. We evaluate our method and counterparts on the test dataset of the proposed multi-style hand dataset. The experimental results show that RHanDS can effectively refine hands structure- and style- correctly compared with previous methods. The codes and datasets will be available soon.


title: Information Re-Organization Improves Reasoning in Large Language Models

abstract: Improving the reasoning capabilities of large language models (LLMs) has attracted considerable interest. Recent approaches primarily focus on improving the reasoning process to yield a more precise final answer. However, in scenarios involving contextually aware reasoning, these methods neglect the importance of first identifying logical relationships from the context before proceeding with the reasoning. This oversight could lead to a superficial understanding and interaction with the context, potentially undermining the quality and reliability of the reasoning outcomes. In this paper, we propose an information re-organization (InfoRE) method before proceeding with the reasoning to enhance the reasoning ability of LLMs. Our re-organization method involves initially extracting logical relationships from the contextual content, such as documents or paragraphs, and subsequently pruning redundant content to minimize noise. Then, we utilize the re-organized information in the reasoning process. This enables LLMs to deeply understand the contextual content by clearly perceiving these logical relationships, while also ensuring high-quality responses by eliminating potential noise. To demonstrate the effectiveness of our approach in improving the reasoning ability, we conduct experiments using Llama2-70B, GPT-3.5, and GPT-4 on various contextually aware multi-hop reasoning tasks. Using only a zero-shot setting, our method achieves an average absolute improvement of 4% across all tasks, highlighting its potential to improve the reasoning performance of LLMs. Our source code is available at https://github.com/hustcxx/InfoRE.


title: Stochastic Volatility in Mean: Efficient Analysis by a Generalized Mixture Sampler

abstract: In this paper we consider the simulation-based Bayesian analysis of stochastic volatility in mean (SVM) models. Extending the highly efficient Markov chain Monte Carlo mixture sampler for the SV model proposed in Kim et al. (1998) and Omori et al. (2007), we develop an accurate approximation of the non-central chi-squared distribution as a mixture of thirty normal distributions. Under this mixture representation, we sample the parameters and latent volatilities in one block. We also detail a correction of the small approximation error by using additional Metropolis-Hastings steps. The proposed method is extended to the SVM model with leverage. The methodology and models are applied to excess holding yields in empirical studies, and the SVM model with leverage is shown to outperform competing volatility models based on marginal likelihoods.


title: Supergravity in the Geometric Approach and its Hidden Graded Lie Algebra

abstract: In this contribution, we present the geometric approach to supergravity. In the first part, we discuss in some detail the peculiarities of the approach and apply the formalism to the case of pure supergravity in four space-time dimensions. In the second part, we extend the discussion to theories in higher dimensions, which include antisymmetric tensors of degree higher than one, focussing on the case of eleven dimensional space-time. Here, we report the formulation first introduced in 1981 by R. D'Auria and P. Fr\`e, corresponding to a generalization of a Chevalley-Eilenberg Lie algebra, together with some more recent results, pointing out the relation of the formalism with the mathematical framework of $L_\infty$ algebras.


title: Current fluctuations in finite-sized one-dimensional non-interacting passive and active systems

abstract: We investigate the problem of effusion of particles initially confined in a finite one-dimensional box of size $L$. We study both passive as well active scenarios, involving non-interacting diffusive particles and run-and-tumble particles, respectively. We derive analytic results for the fluctuations in the number of particles exiting the boundaries of the finite confining box. The statistical properties of this quantity crucially depend on how the system is prepared initially. Two common types of averages employed to understand the impact of initial conditions in stochastic systems are annealed and quenched averages. It is well known that for an infinitely extended system, these different initial conditions produce quantitatively different fluctuations, even in the infinite time limit. We demonstrate explicitly that in finite systems, annealed and quenched fluctuations become equal beyond a system-size dependent timescale, $t \sim L^2$. For diffusing particles, the fluctuations exhibit a $\sqrt{t}$ growth at short times and decay as $1/\sqrt{t}$ for time scales, $t \gg L^2/D$, where $D$ is the diffusion constant. Meanwhile, for run-and-tumble particles, the fluctuations grow linearly at short times and then decay as $1/\sqrt{t}$ for time scales, $t \gg L^2/D_{\text{eff}}$, where $D_{\text{eff}}$ represents the effective diffusive constant for run-and-tumble particles. To study the effect of confinement in detail, we also analyze two different setups (i) with one reflecting boundary and (ii) with both boundaries open.


title: Three Simple Reduction Formulas for the Denumerant Functions

abstract: Let $A$ be a nonempty set of positive integers. The restricted partition function $p_A(n)$ denotes the number of partitions of $n$ with parts in $A$. When the elements in $A$ are pairwise relatively prime positive integers, Ehrhart, Sert\"oz-\"Ozl\"uk, and Brown-Chou-Shiue derived three reduction formulas for $p_A(n)$ for $A$ with three parameters. We extend their findings for general $A$ using the Bernoulli-Barnes polynomials.


title: QCore: Data-Efficient, On-Device Continual Calibration for Quantized Models -- Extended Version

abstract: We are witnessing an increasing availability of streaming data that may contain valuable information on the underlying processes. It is thus attractive to be able to deploy machine learning models on edge devices near sensors such that decisions can be made instantaneously, rather than first having to transmit incoming data to servers. To enable deployment on edge devices with limited storage and computational capabilities, the full-precision parameters in standard models can be quantized to use fewer bits. The resulting quantized models are then calibrated using back-propagation and full training data to ensure accuracy. This one-time calibration works for deployments in static environments. However, model deployment in dynamic edge environments call for continual calibration to adaptively adjust quantized models to fit new incoming data, which may have different distributions. The first difficulty in enabling continual calibration on the edge is that the full training data may be too large and thus not always available on edge devices. The second difficulty is that the use of back-propagation on the edge for repeated calibration is too expensive. We propose QCore to enable continual calibration on the edge. First, it compresses the full training data into a small subset to enable effective calibration of quantized models with different bit-widths. We also propose means of updating the subset when new streaming data arrives to reflect changes in the environment, while not forgetting earlier training data. Second, we propose a small bit-flipping network that works with the subset to update quantized model parameters, thus enabling efficient continual calibration without back-propagation. An experimental study, conducted with real-world data in a continual learning setting, offers insight into the properties of QCore and shows that it is capable of outperforming strong baseline methods.


title: 5GC$^2$ache: Improving 5G UPF Performance via Cache Optimization

abstract: Last Level Cache (LLC) is a precious and critical resource that impacts the performance of applications running on top of CPUs. In this paper, we reveal the significant impact of LLC on the performance of the 5G user plane function (UPF) when running a cloudified 5G core on general-purposed servers. With extensive measurements showing that the throughput can degrade by over 50\% when the precious LLC resource of UPF is not properly allocated, we identify three categories of performance degradation caused by incorrect LLC usage: DMA leakage problem, hot/cold mbuf problem and cache contention. To address these problems, we introduce the design and implementation of 5GC$^2$ache that monitors the LLC status as well as the throughput performance and dynamically adjusts key parameters of the LLC resource allocation. Our experiments show that 5GC$^2$ache enables a commercial 5G core to increase its throughput to 76.41Gbps, 39.41\% higher than the original performance and 29.55\% higher than the state-of-the-art.


title: Dynamic Proxy Domain Generalizes the Crowd Localization by Better Binary Segmentation

abstract: Crowd localization targets on predicting each instance precise location within an image. Current advanced methods propose the pixel-wise binary classification to tackle the congested prediction, in which the pixel-level thresholds binarize the prediction confidence of being the pedestrian head. Since the crowd scenes suffer from extremely varying contents, counts and scales, the confidence-threshold learner is fragile and under-generalized encountering domain knowledge shift. Moreover, at the most time, the target domain is agnostic in training. Hence, it is imperative to exploit how to enhance the generalization of confidence-threshold locator to the latent target domain. In this paper, we propose a Dynamic Proxy Domain (DPD) method to generalize the learner under domain shift. Concretely, based on the theoretical analysis to the generalization error risk upper bound on the latent target domain to a binary classifier, we propose to introduce a generated proxy domain to facilitate generalization. Then, based on the theory, we design a DPD algorithm which is composed by a training paradigm and proxy domain generator to enhance the domain generalization of the confidence-threshold learner. Besides, we conduct our method on five kinds of domain shift scenarios, demonstrating the effectiveness on generalizing the crowd localization. Our code will be available at https://github.com/zhangda1018/DPD.


title: Zero-Shot Character Identification and Speaker Prediction in Comics via Iterative Multimodal Fusion

abstract: Recognizing characters and predicting speakers of dialogue are critical for comic processing tasks, such as voice generation or translation. However, because characters vary by comic title, supervised learning approaches like training character classifiers which require specific annotations for each comic title are infeasible. This motivates us to propose a novel zero-shot approach, allowing machines to identify characters and predict speaker names based solely on unannotated comic images. In spite of their importance in real-world applications, these task have largely remained unexplored due to challenges in story comprehension and multimodal integration. Recent large language models (LLMs) have shown great capability for text understanding and reasoning, while their application to multimodal content analysis is still an open problem. To address this problem, we propose an iterative multimodal framework, the first to employ multimodal information for both character identification and speaker prediction tasks. Our experiments demonstrate the effectiveness of the proposed framework, establishing a robust baseline for these tasks. Furthermore, since our method requires no training data or annotations, it can be used as-is on any comic series.


title: Finite element analysis of a spectral problem on curved meshes occurring in diffusion with high order boundary conditions

abstract: In this work is considered a spectral problem, involving a second order term on the domain boundary: the Laplace-Beltrami operator. A variational formulation is presented, leading to a finite element discretization. For the Laplace-Beltrami operator to make sense on the boundary, the domain is smooth: consequently the computational domain (classically a polygonal domain) will not match the physical one. Thus, the physical domain is discretized using high order curved meshes so as to reduce the \textit{geometric error}. The \textit{lift operator}, which is aimed to transform a function defined on the mesh domain into a function defined on the physical one, is recalled. This \textit{lift} is a key ingredient in estimating errors on eigenvalues and eigenfunctions. A bootstrap method is used to prove the error estimates, which are expressed both in terms of \textit{finite element approximation error} and of \textit{geometric error}, respectively associated to the finite element degree $k\ge 1$ and to the mesh order~$r\ge 1$. Numerical experiments are led on various smooth domains in 2D and 3D, which allow us to validate the presented theoretical results.


title: Efficient calculation of transient eddy current response from multilayer cylindrical conductive media

abstract: The transient response from a transmitter-receiver coil system inside a multi-layer cylindrical conductive configuration is obtained. The particular set-up applies to well logging as well as to eddy current tube testing. In this work, a number of improvements are presented to existing models for an efficient calculation of the induced voltage. These include: domain truncation, novel treatment of arbitrary number of layers in order to avoid computational overflows and efficient time response calculation. The latter is based on a combination of Laplace inversion techniques for short- and long-time transient responses. This article is part of the theme issue 'Advanced electromagnetic non-destructive evaluation and smart monitoring'.


title: Challenges in automatic and selective plant-clearing

abstract: With the advent of multispectral imagery and AI, there have been numerous works on automatic plant segmentation for purposes such as counting, picking, health monitoring, localized pesticide delivery, etc. In this paper, we tackle the related problem of automatic and selective plant-clearing in a sustainable forestry context, where an autonomous machine has to detect and avoid specific plants while clearing any weeds which may compete with the species being cultivated. Such an autonomous system requires a high level of robustness to weather conditions, plant variability, terrain and weeds while remaining cheap and easy to maintain. We notably discuss the lack of robustness of spectral imagery, investigate the impact of the reference database's size and discuss issues specific to AI systems operating in uncontrolled environments.


title: Engineering Edge Orientation Algorithms

abstract: Given an undirected graph G, the edge orientation problem asks for assigning a direction to each edge to convert G into a directed graph. The aim is to minimize the maximum out degree of a vertex in the resulting directed graph. This problem, which is solvable in polynomial time, arises in many applications. An ongoing challenge in edge orientation algorithms is their scalability, particularly in handling large-scale networks with millions or billions of edges efficiently. We propose a novel algorithmic framework based on finding and manipulating simple paths to face this challenge. Our framework is based on an existing algorithm and allows many algorithmic choices. By carefully exploring these choices and engineering the underlying algorithms, we obtain an implementation which is more efficient and scalable than the current state-of-the-art. Our experiments demonstrate significant performance improvements compared to state-of-the-art solvers. On average our algorithm is 6.59 times faster when compared to the state-of-the-art.


title: SIGY: Breaking Intel SGX Enclaves with Malicious Exceptions & Signals

abstract: User programs recover from hardware exceptions and respond to signals by executing custom handlers that they register specifically for such events. We present SIGY attack, which abuses this programming model on Intel SGX to break the confidentiality and integrity guarantees of enclaves. SIGY uses the untrusted OS to deliver fake hardware events and injects fake signals in an enclave at any point. Such unintended execution of benign program-defined handlers in an enclave corrupts its state and violates execution integrity. 7 runtimes and library OSes (OpenEnclave, Gramine, Scone, Asylo, Teaclave, Occlum, EnclaveOS) are vulnerable to SIGY. 8 languages supported in Intel SGX have programming constructs that are vulnerable to SIGY. We use SIGY to demonstrate 4 proof of concept exploits on webservers (Nginx, Node.js) to leak secrets and data analytics workloads in different languages (C and Java) to break execution integrity.


title: CoFInAl: Enhancing Action Quality Assessment with Coarse-to-Fine Instruction Alignment

abstract: Action Quality Assessment (AQA) is pivotal for quantifying actions across domains like sports and medical care. Existing methods often rely on pre-trained backbones from large-scale action recognition datasets to boost performance on smaller AQA datasets. However, this common strategy yields suboptimal results due to the inherent struggle of these backbones to capture the subtle cues essential for AQA. Moreover, fine-tuning on smaller datasets risks overfitting. To address these issues, we propose Coarse-to-Fine Instruction Alignment (CoFInAl). Inspired by recent advances in large language model tuning, CoFInAl aligns AQA with broader pre-trained tasks by reformulating it as a coarse-to-fine classification task. Initially, it learns grade prototypes for coarse assessment and then utilizes fixed sub-grade prototypes for fine-grained assessment. This hierarchical approach mirrors the judging process, enhancing interpretability within the AQA framework. Experimental results on two long-term AQA datasets demonstrate CoFInAl achieves state-of-the-art performance with significant correlation gains of 5.49% and 3.55% on Rhythmic Gymnastics and Fis-V, respectively. Our code is available at https://github.com/ZhouKanglei/CoFInAl_AQA.


title: Revolutionizing student course selection: Exploring the application prospects and challenges of blockchain token voting technology

abstract: This paper explores the utilization of blockchain token voting technology in student course selection systems. The current course selection systems face various issues, which can be mitigated through the implementation of blockchain technology. The advantages of blockchain technology, including consensus mechanisms and smart contracts, are discussed in detail. The token voting mechanism, encompassing concepts, token issuance and distribution, and voting rules and procedures, is also explained. The system design takes into account the system architecture, user roles and permissions, course information on the blockchain, student course selection voting process, and course selection result statistics and public display. The technology offers advantages such as transparency, fairness, data security and privacy protection, and system efficiency improvement. However, it also poses several challenges, such as technological and regulatory hurdles. The prospects for the application of blockchain token voting technology in student course selection systems and its potential impact on other fields are summarized. Overall, the utilization of blockchain token voting technology in student course selection systems holds promising future implications, which could revolutionize the education sector.


title: Transposed Poisson structures on quasi-filiform Lie algebras of maximum length

abstract: This article will discussing on $\frac{1}{2}$-derivations of quasi-filiform Lie algebras of maximum length. The non-trivial transposed Poisson algebras with the quasi-filiform Lie algebras of maximum length are constructed by using $\frac{1}{2}$-derivations of Lie algebras. We have established commutative associative multiplication to construct a transposed Poisson algebra with an associated given Lie algebra.


title: A note on the orbit equivalence of injective actions

abstract: We characterise the groupoid $C^*$-algebras associated to the transformation groupoids of injective actions of discrete countable Ore semi-groups on compact topological spaces in terms of the reduced crossed product from the dual actions, and characterise the continuous orbit equivalence for injective actions by means of the transformation groupoids, as well as their reduced groupoid $C^*$-algebras. Finally, we characterize the injective action of semi-group on its compactifications.


title: Temporal genomics help in deciphering neutral and adaptive patterns in the contemporary evolution of kelp populations

abstract: The impact of climate change on populations will be contingent upon their contemporary adaptive evolution. In this study, we investigated the contemporary evolution of four populations of the cold-water kelp Laminaria digitata by analysing their spatial and temporal genomic variation using ddRAD-sequencing. These populations were sampled from the center to the southern margin of its north-eastern Atlantic distribution at two-time points, spanning at least two generations. Through genome scans for local adaptation at a single time point, we identified candidate loci that showed clinal variation correlated with changes in sea surface temperature (SST) along latitudinal gradients. This finding suggests that SST may drive the adaptive response of these kelp populations, although factors such as species' demographic history should also be considered. Additionally, we performed a simulation approach to distinguish the effect of selection from genetic drift in allele frequency changes over time. This enabled the detection of loci in the southernmost population that exhibited temporal differentiation beyond what would be expected from genetic drift alone: these are candidate loci which could have evolved under selection over time. In contrast, we did not detect any outlier locus based on temporal differentiation in the population from the North Sea, which also displayed low and decreasing levels of genetic diversity. The diverse evolutionary scenarios observed among populations can be attributed to variations in the prevalence of selection relative to genetic drift across different environments. Therefore, our study highlights the potential of temporal genomics to offer valuable insights into the contemporary evolution of marine foundation species facing climate change.


title: A regressor-based hysteresis formulation for the magnetic characterisation of low carbon steels

abstract: In this work, two different parametric hysteresis models, the Jiles-Atherton model and the Mel'gui relation, have been combined to form a more general hysteresis operator, suitable for the description of families of experimental B(H) curves obtained for low carbon (LC) steel specimens after isothermal annealing at different temperatures and times. As it has been demonstrated in a number of previous studies, characteristic values of steel hysteresis curves can be used as very efficient identifiers for the monitoring of the different metallurgical transformations that take place during the annealing, such as recovery and recrystallisation processes. It is thus important from a practical point to be able to reproduce the experimental curves obtained under different conditions, as precisely as possible, in order to proceed to the samples characterisation. Hybridisation of the two aforementioned models demonstrated satisfactory results for the reproduction of all considered curves obtained under the different considered annealing conditions.