title: Monitoring Unmanned Aircraft: Specification, Integration, and Lessons-learned

abstract: This paper reports on the integration of runtime monitoring into fully-electric aircraft designed by Volocopter, a German aircraft manufacturer of electric multi-rotor helicopters. The runtime monitor recognizes hazardous situations and system faults. Since the correct operation of the monitor is critical for the safety of the aircraft, the development of the monitor must follow strict aeronautical standards. This includes the integration of the monitor into different development environments, such as log-file analysis, hardware/software-in-the-loop testing, and test flights. We have used the stream-based monitoring framework RTLola to generate monitors for a range of requirements. In this paper, we present representative monitoring specifications and our lessons learned from integrating the generated monitors. Our main finding is that the specification and the integration need to be decoupled, because the specification remains stable throughout the development process, whereas the different development stages require a separate integration of the monitor into each environment. We achieve this decoupling with a novel abstraction layer in the monitoring framework that adapts the monitor to each environment without affecting the core component generated from the specification. The decoupling of the integration has also allowed us to react quickly to the frequent changes in the hardware and software environment of the monitor due to the fast-paced development of the aircraft in a startup company.


title: Exploring the Premelting Transition through Molecular Simulations Powered by Neural Network Potentials

abstract: The system has addressed the error of "Bad character(s) in field Abstract" for no reason. Please refer to manuscript for the full abstract.


title: Data-free Knowledge Distillation for Fine-grained Visual Categorization

abstract: Data-free knowledge distillation (DFKD) is a promising approach for addressing issues related to model compression, security privacy, and transmission restrictions. Although the existing methods exploiting DFKD have achieved inspiring achievements in coarse-grained classification, in practical applications involving fine-grained classification tasks that require more detailed distinctions between similar categories, sub-optimal results are obtained. To address this issue, we propose an approach called DFKD-FGVC that extends DFKD to fine-grained visual categorization~(FGVC) tasks. Our approach utilizes an adversarial distillation framework with attention generator, mixed high-order attention distillation, and semantic feature contrast learning. Specifically, we introduce a spatial-wise attention mechanism to the generator to synthesize fine-grained images with more details of discriminative parts. We also utilize the mixed high-order attention mechanism to capture complex interactions among parts and the subtle differences among discriminative features of the fine-grained categories, paying attention to both local features and semantic context relationships. Moreover, we leverage the teacher and student models of the distillation framework to contrast high-level semantic feature maps in the hyperspace, comparing variances of different categories. We evaluate our approach on three widely-used FGVC benchmarks (Aircraft, Cars196, and CUB200) and demonstrate its superior performance.


title: Uncovering Safety Risks of Large Language Models through Concept Activation Vector

abstract: Despite careful safety alignment, current large language models (LLMs) remain vulnerable to various attacks. To further unveil the safety risks of LLMs, we introduce a Safety Concept Activation Vector (SCAV) framework, which effectively guides the attacks by accurately interpreting LLMs' safety mechanisms. We then develop an SCAV-guided attack method that can generate both attack prompts and embedding-level attacks with automatically selected perturbation hyperparameters. Both automatic and human evaluations demonstrate that our attack method significantly improves the attack success rate and response quality while requiring less training data. Additionally, we find that our generated attack prompts may be transferable to GPT-4, and the embedding-level attacks may also be transferred to other white-box LLMs whose parameters are known. Our experiments further uncover the safety risks present in current LLMs. For example, we find that six out of seven open-source LLMs that we attack consistently provide relevant answers to more than 85\% malicious instructions. Finally, we provide insights into the safety mechanism of LLMs.


title: Constraints on the finite volume two-nucleon spectrum at $m_\pi \approx 806$ MeV

abstract: The low-energy finite-volume spectrum of the two-nucleon system at a pion mass of $m_\pi \approx 806$ MeV is studied with lattice quantum chromodynamics (LQCD) using variational methods. The interpolating-operator sets used in [Phys.Rev.D 107 (2023) 9, 094508] are extended by including a complete basis of local hexaquark operators, as well as plane-wave dibaryon operators built from products of both positive- and negative-parity nucleon operators. Results are presented for the isosinglet and isotriplet two-nucleon channels. In both channels, these results provide compelling evidence for the presence of an additional state in the low-energy spectrum not present in a non-interacting two-nucleon system. Within the space of operators that are considered in this work, the strongest overlap of this state is onto hexaquark operators, and variational analyses based on operator sets containing only dibaryon operators are insensitive to this state over the temporal extent studied here. The consequences of these studies for the LQCD understanding of the two-nucleon spectrum are investigated.


title: String Junctions Revisited

abstract: Recent measurements at the LHC have revealed heavy-flavour baryon fractions much larger than those observed at LEP, with e.g., LambdaC+/D0 and LambdaB0/B0 reaching ~ 0.5 at low pT. One scenario that has been at least partly successful in predicting observed trends is QCD colour reconnections with string junctions. In previous work, however, the limit of a low-pT heavy quark was not well defined. We reconsider the string equations of motion for junction systems in this limit, and find that the junction effectively becomes bound to the heavy quark, a scenario we refer to as a "pearl on a string". We extend string-junction fragmentation in Pythia with a dedicated modelling of this limit for both light- and heavy-quark "pearls".


title: Can We Catch the Elephant? A Survey of the Evolvement of Hallucination Evaluation on Natural Language Generation

abstract: Hallucination in Natural Language Generation (NLG) is like the elephant in the room, obvious but often overlooked until recent achievements significantly improved the fluency and grammaticality of generated text. As the capabilities of text generation models have improved, researchers have begun to pay more attention to the phenomenon of hallucination. Despite significant progress in this field in recent years, the evaluation system for hallucination is complex and diverse, lacking clear organization. We are the first to comprehensively survey how various evaluation methods have evolved with the development of text generation models from three dimensions, including hallucinated fact granularity, evaluator design principles, and assessment facets. This survey aims to help researchers identify current limitations in hallucination evaluation and highlight future research directions.


title: Exploring Boundaries and Intensities in Offensive and Hate Speech: Unveiling the Complex Spectrum of Social Media Discourse

abstract: The prevalence of digital media and evolving sociopolitical dynamics have significantly amplified the dissemination of hateful content. Existing studies mainly focus on classifying texts into binary categories, often overlooking the continuous spectrum of offensiveness and hatefulness inherent in the text. In this research, we present an extensive benchmark dataset for Amharic, comprising 8,258 tweets annotated for three distinct tasks: category classification, identification of hate targets, and rating offensiveness and hatefulness intensities. Our study highlights that a considerable majority of tweets belong to the less offensive and less hate intensity levels, underscoring the need for early interventions by stakeholders. The prevalence of ethnic and political hatred targets, with significant overlaps in our dataset, emphasizes the complex relationships within Ethiopia's sociopolitical landscape. We build classification and regression models and investigate the efficacy of models in handling these tasks. Our results reveal that hate and offensive speech can not be addressed by a simplistic binary classification, instead manifesting as variables across a continuous range of values. The Afro-XLMR-large model exhibits the best performances achieving F1-scores of 75.30%, 70.59%, and 29.42% for the category, target, and regression tasks, respectively. The 80.22% correlation coefficient of the Afro-XLMR-large model indicates strong alignments.


title: Using Real-world Bug Bounty Programs in Secure Coding Course: Experience Report

abstract: To keep up with the growing number of cyber-attacks and associated threats, there is an ever-increasing demand for cybersecurity professionals and new methods and technologies. Training new cybersecurity professionals is a challenging task due to the broad scope of the area. One particular field where there is a shortage of experts is Ethical Hacking. Due to its complexity, it often faces educational constraints. Recognizing these challenges, we propose a solution: integrating a real-world bug bounty programme into cybersecurity curriculum. This innovative approach aims to fill the gap in practical cybersecurity education and also brings additional positive benefits. To evaluate our idea, we include the proposed solution to a secure coding course for IT-oriented faculty. We let students choose to participate in a bug bounty programme as an option for the semester assignment in a secure coding course. We then collected responses from the students to evaluate the outcomes (improved skills, reported vulnerabilities, a better relationship with security, etc.). Evaluation of the assignment showed that students enjoyed solving such real-world problems, could find real vulnerabilities, and that it helped raise their skills and cybersecurity awareness. Participation in real bug bounty programmes also positively affects the security level of the tested products. We also discuss the potential risks of this approach and how to mitigate them.


title: Resolved magnetohydrodynamic wave lensing in the solar corona

abstract: Electromagnetic wave lensing, a common physical phenomenon recognized in visible light for centuries, finds extensive applications in manipulating light in optical systems such as telescopes and cameras. Magnetohydrodynamic wave is a common perturbation phenomenon in the corona. By using high spatio-temporal resolution observations from the Solar Dynamics Observatory, here, we report the observation of a magnetohydrodynamic wave lensing in the highly ionized and magnetized coronal plasma, where quasi-periodic wavefronts emanated from a flare converged at a specific point after traversing a coronal hole. The entire process resembles an electromagnetic wave lensing from the source to the focus. Meanwhile, the magnetohydrodynamic wave lensing is well reproduced through a magnetohydrodynamic numerical simulation with full spatio-temporal resolution. We further investigate potential applications for coronal seismology, as the lensing process encodes information on the Alfv\'en speed, in conjunction with favorable geometric and density variations.


title: RAM: Towards an Ever-Improving Memory System by Learning from Communications

abstract: We introduce RAM, an innovative RAG-based framework with an ever-improving memory. Inspired by humans' pedagogical process, RAM utilizes recursively reasoning-based retrieval and experience reflections to continually update the memory and learn from users' communicative feedback, namely communicative learning. Extensive experiments with both simulated and real users demonstrate significant improvements over traditional RAG and self-knowledge methods, particularly excelling in handling false premise and multi-hop questions. Furthermore, RAM exhibits promising adaptability to various feedback and retrieval method chain types, showcasing its potential for advancing AI capabilities in dynamic knowledge acquisition and lifelong learning.


title: tt+X measurements by CMS and ATLAS

abstract: These proceedings present the observation of the 4-top production process and the latest results of the production of top-quark pairs associated with W and $\gamma$ bosons ($t\bar{t}W$ and $t\bar{t}\gamma$) and b jets ($t\bar{t}b\bar{b}$) at a collision energy of 13 TeV carried out by the CMS and ATLAS Collaborations.


title: Self-Adjusting Evolutionary Algorithms Are Slow on Multimodal Landscapes

abstract: The one-fifth rule and its generalizations are a classical parameter control mechanism in discrete domains. They have also been transferred to control the offspring population size of the $(1, \lambda)$-EA. This has been shown to work very well for hill-climbing, and combined with a restart mechanism it was recently shown by Hevia Fajardo and Sudholt to improve performance on the multi-modal problem Cliff drastically. In this work we show that the positive results do not extend to other types of local optima. On the distorted OneMax benchmark, the self-adjusting $(1, \lambda)$-EA is slowed down just as elitist algorithms because self-adaptation prevents the algorithm from escaping from local optima. This makes the self-adaptive algorithm considerably worse than good static parameter choices, which do allow to escape from local optima efficiently. We show this theoretically and complement the result with empirical runtime results.


title: Symbolic Computation for All the Fun

abstract: Motivated by the recent 10 million dollar AIMO challenge, this paper targets the problem of finding all functions conforming to a given specification. This is a popular problem at mathematical competitions and it brings about a number of challenges, primarily, synthesizing the possible solutions and proving that no other solutions exist. Often, there are infinitely many solutions and then the set of solutions has to be captured symbolically. We propose an approach to solving this problem and evaluate it on a set of problems that appeared in mathematical competitions and olympics.


title: Celestial CFT from $H_3^+$-WZW Model

abstract: Recently, there has been a growing interest in celestial holography, which is holography in asymptotically flat spacetimes. This holographic duality exhibits numerous mysterious and fruitful features, particularly on the dual CFT side. In this paper, we present the candidate of dual CFT for Minkowski spacetime extracted from $SL(2,\mathbb{C})/SU(2)\cong H^+_3$ Wess-Zumino-Witten (WZW) model, the simplest non-compact CFT. We demonstrate that it reproduces the well-known principal series and correlation functions dual to the bulk scattering amplitudes.


title: emrQA-msquad: A Medical Dataset Structured with the SQuAD V2.0 Framework, Enriched with emrQA Medical Information

abstract: Machine Reading Comprehension (MRC) holds a pivotal role in shaping Medical Question Answering Systems (QAS) and transforming the landscape of accessing and applying medical information. However, the inherent challenges in the medical field, such as complex terminology and question ambiguity, necessitate innovative solutions. One key solution involves integrating specialized medical datasets and creating dedicated datasets. This strategic approach enhances the accuracy of QAS, contributing to advancements in clinical decision-making and medical research. To address the intricacies of medical terminology, a specialized dataset was integrated, exemplified by a novel Span extraction dataset derived from emrQA but restructured into 163,695 questions and 4,136 manually obtained answers, this new dataset was called emrQA-msquad dataset. Additionally, for ambiguous questions, a dedicated medical dataset for the Span extraction task was introduced, reinforcing the system's robustness. The fine-tuning of models such as BERT, RoBERTa, and Tiny RoBERTa for medical contexts significantly improved response accuracy within the F1-score range of 0.75 to 1.00 from 10.1% to 37.4%, 18.7% to 44.7% and 16.0% to 46.8%, respectively. Finally, emrQA-msquad dataset is publicy available at https://huggingface.co/datasets/Eladio/emrqa-msquad.


title: Resonance, syzygies, and rank-$3$ Ulrich bundles on the del Pezzo threefold $V_5$

abstract: We investigate a geometric criterion for a smooth curve $C$ of genus $14$ and degree $18$ to be described as the zero locus of a section in an Ulrich bundle of rank $3$ on a del Pezzo threefold $V_5 \subset \mathbb{P}^6$. The main challenge is to read off the Pfaffian quadrics defining $V_5$ from geometric structures of $C$. We find that this problem is related to the existence of a special rank-two vector bundle on $C$ with trivial resonance. This answers a question posed by Ciliberto-Flamini-Knutsen, in the case of degree $5$ del Pezzo threefolds. From an explicit calculation of the Betti table of such a curve, we also deduce the uniqueness of the del Pezzo threefold.


title: A method for non-linear inversion of the stellar structure applied to gravity-mode pulsators

abstract: We present a method for a non-linear asteroseismic inversion suitable for gravity-mode pulsators and apply it to slowly pulsating B-type (SPB) stars. Our inversion method is based on the iterative improvement of a parameterised static stellar structure model, which in turn is based on constraints from the observed oscillation periods. We present tests to demonstrate that the method is successful in recovering the properties of artificial targets both inside and outside the parameter space. We also present a test of our method on the well-studied SPB star KIC 7760680. We believe that this method is promising for carrying out detailed analyses of observations of SPB and $\gamma$ Dor stars and will provide complementary information to evolutionary models.


title: Regularity results for H\"{o}lder minimizers to functionals with non-standard growth

abstract: We study the regularity properties of H\"older continuous minimizers to non-autonomous functionals satisfying $(p,q)$-growth conditions, under Besov assumptions on the coefficients. In particular, we are able to prove higher integrability and higher differentiability results for solutions to our minimum problem.


title: On the asymptotic behavior of a diffraction problem with a thin layer

abstract: We investigate the behavior of the solution to an elliptic diffraction problem in the union of a smooth set $\Omega$ and a thin layer $\Sigma$ locally described by $\varepsilon h$, where $h$ is a positive function defined on the boundary $\partial\Omega$, and $\varepsilon$ is the ellipticity constant of the differential operator in the thin layer $\Sigma$. We study the problem in the limit for $\varepsilon$ going to zero and prove a first-order asymptotic development by $\Gamma$-convergence of the associated energy functional.


title: Improving the perception of visual fiducial markers in the field using Adaptive Active Exposure Control

abstract: Accurate localization is fundamental for autonomous underwater vehicles (AUVs) to carry out precise tasks, such as manipulation and construction. Vision-based solutions using fiducial marker are promising, but extremely challenging underwater because of harsh lighting condition underwater. This paper introduces a gradient-based active camera exposure control method to tackle sharp lighting variations during image acquisition, which can establish better foundation for subsequent image enhancement procedures. Considering a typical scenario for underwater operations where visual tags are used, we proposed several experiments comparing our method with other state-of-the-art exposure control method including Active Exposure Control (AEC) and Gradient-based Exposure Control (GEC). Results show a significant improvement in the accuracy of robot localization. This method is an important component that can be used in visual-based state estimation pipeline to improve the overall localization accuracy.


title: Deconstructing Human-AI Collaboration: Agency, Interaction, and Adaptation

abstract: As full AI-based automation remains out of reach in most real-world applications, the focus has instead shifted to leveraging the strengths of both human and AI agents, creating effective collaborative systems. The rapid advances in this area have yielded increasingly more complex systems and frameworks, while the nuance of their characterization has gotten more vague. Similarly, the existing conceptual models no longer capture the elaborate processes of these systems nor describe the entire scope of their collaboration paradigms. In this paper, we propose a new unified set of dimensions through which to analyze and describe human-AI systems. Our conceptual model is centered around three high-level aspects - agency, interaction, and adaptation - and is developed through a multi-step process. Firstly, an initial design space is proposed by surveying the literature and consolidating existing definitions and conceptual frameworks. Secondly, this model is iteratively refined and validated by conducting semi-structured interviews with nine researchers in this field. Lastly, to illustrate the applicability of our design space, we utilize it to provide a structured description of selected human-AI systems.


title: Constructing metric spaces from systems of walls

abstract: We give a general procedure for constructing metric spaces from systems of partitions. This generalises and provides analogues of Sageev's construction of dual CAT(0) cube complexes for the settings of hyperbolic and injective metric spaces. As applications, we produce a ``universal'' hyperbolic action for groups with strongly contracting elements, and show that many groups with ``coarsely cubical'' features admit geometric actions on injective metric spaces. In an appendix with Davide Spriano, we show that a large class of groups have an infinite-dimensional space of quasimorphisms.


title: Nonexistence of solutions to parabolic problems with a potential on weighted graphs

abstract: We investigate nonexistence of nontrivial nonnegative solutions to a class of semilinear parabolic equations with a positive potential, posed on weighted graphs. Assuming an upper bound on the Laplacian of the distance and a suitable weighted space-time volume growth condition, we show that no global solutions exists. We also discuss the optimality of the hypotheses, thus recovering a critical exponent phenomenon of Fujita type.


title: Constituents Correspond to Word Sequence Patterns among Sentences with Equivalent Predicate-Argument Structures: Unsupervised Constituency Parsing by Span Matching

abstract: Unsupervised constituency parsing is about identifying word sequences that form a syntactic unit (i.e., constituents) in a target sentence. Linguists identify the constituent by evaluating a set of Predicate-Argument Structure (PAS) equivalent sentences where we find the constituent corresponds to frequent word sequences. However, such information is unavailable to previous parsing methods which identify the constituent by observing sentences with diverse PAS. In this study, we empirically verify that \textbf{constituents correspond to word sequence patterns in the PAS-equivalent sentence set}. We propose a frequency-based method \emph{span-overlap}, applying the word sequence pattern to computational unsupervised parsing for the first time. Parsing experiments show that the span-overlap parser outperforms state-of-the-art parsers in eight out of ten languages. Further discrimination analysis confirms that the span-overlap method can non-trivially separate constituents from non-constituents. This result highlights the utility of the word sequence pattern. Additionally, we discover a multilingual phenomenon: \textbf{participant-denoting constituents are more frequent than event-denoting constituents}. The phenomenon indicates a behavioral difference between the two constituent types, laying the foundation for future labeled unsupervised parsing.


title: Environment-aware UAV Communications: CKM Construction and Predictive Beamforming

abstract: Predictive millimeter-wave (mmWave) beamforming is a promising technique to enable low-latency and high-rate ground-air communications for cellular-connected unmanned aerial vehicles (UAVs). However, the high vulnerability of mmWave to blockages poses practical challenges to the implementation of such a technology. In this paper, we tackle the challenges by proposing a channel knowledge map (CKM)-assisted predictive beamforming approach based on the echoed joint communication and sensing signal, whereby the line-of-sight (LoS) link identification is performed via hypothesis testing using prior information provided by CKM. Depending on the identification result, extended Kalman filtering (EKF) is adopted to reliably track the target UAV. Furthermore, if the non-line-of-sight (NLoS) state is identified, the target UAV will be immediately connected to a candidate base station (BS), namely a handover will be triggered to alleviate the communication outage. The simulation results show that the proposed method can significantly enhance the UAV tracking and mmWave communication performance compared to the benchmarking schemes without using CKM or LoS identification.


title: Maximal weak Orlicz types and the strong maximal on von Neumann algebras

abstract: Let $\mathbf{E}_n: \mathcal{M} \to \mathcal{M}_n$ and $\mathbf{E}_m: \mathcal{N} \to \mathcal{N}_m$ be two sequences of conditional expectations on finite von Neumann algebras. The optimal weak Orlicz type of the associated strong maximal operator $\mathcal{E} = (\mathbf{E}_n\otimes \mathbf{E}_m)_{n,m}$ is not yet known. In a recent work of Jose Conde and the two first-named authors, it was show that $\mathcal{E}$ has weak type $(\Phi, \Phi)$ for a family of functions including $\Phi(t) = t \, \log^{2+\varepsilon} t$, for every $\varepsilon > 0$. In this article, we prove that the weak Orlicz type of $\mathcal{E}$ cannot be lowered below $L \log^2 L$, meaning that if $\mathcal{E}$ is of weak type $(\Phi, \Phi)$, then $\Phi(s) \not\in o(s \, \log^2 s)$. Our proof is based on interpolation. Namely, we use recent techniques of Cadilhac/Ricard to formulate a Marcinkiewicz type theorem for maximal weak Orlicz types. Then, we show that a weak Orlicz type lower than $L \log^2 L$ would imply a $p$-operator constant for $\mathcal{E}$ smaller than the known optimum as $p \to 1^{+}$.


title: MIDGET: Music Conditioned 3D Dance Generation

abstract: In this paper, we introduce a MusIc conditioned 3D Dance GEneraTion model, named MIDGET based on Dance motion Vector Quantised Variational AutoEncoder (VQ-VAE) model and Motion Generative Pre-Training (GPT) model to generate vibrant and highquality dances that match the music rhythm. To tackle challenges in the field, we introduce three new components: 1) a pre-trained memory codebook based on the Motion VQ-VAE model to store different human pose codes, 2) employing Motion GPT model to generate pose codes with music and motion Encoders, 3) a simple framework for music feature extraction. We compare with existing state-of-the-art models and perform ablation experiments on AIST++, the largest publicly available music-dance dataset. Experiments demonstrate that our proposed framework achieves state-of-the-art performance on motion quality and its alignment with the music.


title: FastVPINNs: Tensor-Driven Acceleration of VPINNs for Complex Geometries

abstract: Variational Physics-Informed Neural Networks (VPINNs) utilize a variational loss function to solve partial differential equations, mirroring Finite Element Analysis techniques. Traditional hp-VPINNs, while effective for high-frequency problems, are computationally intensive and scale poorly with increasing element counts, limiting their use in complex geometries. This work introduces FastVPINNs, a tensor-based advancement that significantly reduces computational overhead and improves scalability. Using optimized tensor operations, FastVPINNs achieve a 100-fold reduction in the median training time per epoch compared to traditional hp-VPINNs. With proper choice of hyperparameters, FastVPINNs surpass conventional PINNs in both speed and accuracy, especially in problems with high-frequency solutions. Demonstrated effectiveness in solving inverse problems on complex domains underscores FastVPINNs' potential for widespread application in scientific and engineering challenges, opening new avenues for practical implementations in scientific machine learning.


title: PureForest: A Large-Scale Aerial Lidar and Aerial Imagery Dataset for Tree Species Classification in Monospecific Forests

abstract: Knowledge of tree species distribution is fundamental to managing forests. New deep learning approaches promise significant accuracy gains for forest mapping, and are becoming a critical tool for mapping multiple tree species at scale. To advance the field, deep learning researchers need large benchmark datasets with high-quality annotations. To this end, we present the PureForest dataset: a large-scale, open, multimodal dataset designed for tree species classification from both Aerial Lidar Scanning (ALS) point clouds and Very High Resolution (VHR) aerial images. Most current public Lidar datasets for tree species classification have low diversity as they only span a small area of a few dozen annotated hectares at most. In contrast, PureForest has 18 tree species grouped into 13 semantic classes, and spans 339 km$^2$ across 449 distinct monospecific forests, and is to date the largest and most comprehensive Lidar dataset for the identification of tree species. By making PureForest publicly available, we hope to provide a challenging benchmark dataset to support the development of deep learning approaches for tree species identification from Lidar and/or aerial imagery. In this data paper, we describe the annotation workflow, the dataset, the recommended evaluation methodology, and establish a baseline performance from both 3D and 2D modalities.


title: RAGAR, Your Falsehood RADAR: RAG-Augmented Reasoning for Political Fact-Checking using Multimodal Large Language Models

abstract: The escalating challenge of misinformation, particularly in the context of political discourse, necessitates advanced solutions for fact-checking. We introduce innovative approaches to enhance the reliability and efficiency of multimodal fact-checking through the integration of Large Language Models (LLMs) with Retrieval-augmented Generation (RAG)- based advanced reasoning techniques. This work proposes two novel methodologies, Chain of RAG (CoRAG) and Tree of RAG (ToRAG). The approaches are designed to handle multimodal claims by reasoning the next questions that need to be answered based on previous evidence. Our approaches improve the accuracy of veracity predictions and the generation of explanations over the traditional fact-checking approach of sub-question generation with chain of thought veracity prediction. By employing multimodal LLMs adept at analyzing both text and images, this research advances the capability of automated systems in identifying and countering misinformation.


title: Solitonic ground state in supersymmetric theory in background

abstract: A solitonic ground state called a chiral soliton lattice (CSL) is realized in a supersymmetric theory with background magnetic field and finite chemical potential. To this end, we construct, in the superfield formalism, a supersymmetric chiral sine-Gordon model as a neutral pion sector of a supersymmetric two-flavor chiral Lagrangian with a Wess-Zumino-Witten term. The CSL ground state appears in the presence of either a strong magnetic field and/or large chemical potential, or a background fermionic condensate in the form of a fermion bilinear consisting of the gaugino and a superpartner of a baryon gauge field.


title: Subordinators and generalized heat kernels: Random time change and long time dynamics

abstract: This paper focuses on studying the long-time dynamics of the subordination process for a range of linear evolution equations, with a special emphasis on the fractional heat equation. By treating inverse subordinators as random time variables and employing the subordination principle to solve forward Kolmogorov equations, we explore the behavior of the solutions over extended periods. We provide a detailed description of the specific classes of subordinators suitable for conducting asymptotic analysis. Our findings not only extend existing research, but also enhance the results previously presented in [9, 10].


title: Does dark energy really revive using DESI 2024 data?

abstract: We investigate the impact of the Dark Energy Spectroscopic Instrument (DESI) 2024 data on dark energy scenarios. We thus analyze three typologies of models, the first in which the cosmic speed up is related to thermodynamics, the second associated with Taylor expansions of the barotropic factor, whereas the third based on \emph{ad hoc} dark energy parameterizations. In this respect, we perform Monte Carlo Markov chain analyses, adopting the Metropolis-Hastings algorithm, of 12 models. To do so, we first work at the background, inferring \emph{a posteriori} kinematic quantities associated with each model. Afterwards, we obtain early time predictions, computing departures on the growth evolution with respect to the model that better fits DESI data. We find that the best model to fit data \emph{is not} the Chevallier-Polarski-Linder (CPL) parametrization, but rather a more complicated log-corrected dark energy contribution. To check the goodness of our findings, we further directly fit the product, $r_d h_0$, concluding that $r_d h_0$ is anticorrelated with the mass. This treatment is worked out by removing a precise data point placed at $z=0.51$. Surprisingly, in this case the results again align with the $\Lambda$CDM model, \emph{indicating that the possible tension between the concordance paradigm and the CPL model can be severely alleviated}. We conclude that future data points will be essential to clarify whether dynamical dark energy is really in tension with the $\Lambda$CDM model.


title: Developing Application Profiles for Enhancing Data and Workflows in Cultural Heritage Digitisation Processes

abstract: As a result of the proliferation of 3D digitisation in the context of cultural heritage projects, digital assets and digitisation processes - being considered as proper research objects - must prioritise adherence to FAIR principles. Existing standards and ontologies, such as CIDOC CRM, play a crucial role in this regard, but they are often over-engineered for the need of a particular application context, thus making their understanding and adoption difficult. Application profiles of a given standard - defined as sets of ontological entities drawn from one or more semantic artefacts for a particular context or application - are usually proposed as tools for promoting interoperability and reuse while being tied entirely to the particular application context they refer to. In this paper, we present an adaptation and application of an ontology development methodology, i.e. SAMOD, to guide the creation of robust, semantically sound application profiles of large standard models. Using an existing pilot study we have developed in a project dedicated to leveraging virtual technologies to preserve and valorise cultural heritage, we introduce an application profile named CHAD-AP, that we have developed following our customised version of SAMOD. We reflect on the use of SAMOD and similar ontology development methodologies for this purpose, highlighting its strengths and current limitations, future developments, and possible adoption in other similar projects.


title: Towards an Approximation Theory of Observable Operator Models

abstract: Observable operator models (OOMs) offer a powerful framework for modelling stochastic processes, surpassing the traditional hidden Markov models (HMMs) in generality and efficiency. However, using OOMs to model infinite-dimensional processes poses significant theoretical challenges. This article explores a rigorous approach to developing an approximation theory for OOMs of infinite-dimensional processes. Building upon foundational work outlined in an unpublished tutorial [Jae98], an inner product structure on the space of future distributions is rigorously established and the continuity of observable operators with respect to the associated 2-norm is proven. The original theorem proven in this thesis describes a fundamental obstacle in making an infinite-dimensional space of future distributions into a Hilbert space. The presented findings lay the groundwork for future research in approximating observable operators of infinite-dimensional processes, while a remedy to the encountered obstacle is suggested.


title: Complexity-Aware Theoretical Performance Analysis of SDM MIMO Equalizers

abstract: We propose a theoretical framework to compute, rapidly and accurately, the signal-to-noise ratio at the output of spatial-division multiplexing (SDM) linear MIMO equalizers with arbitrary numbers of spatial modes and filter taps and demonstrate three orders of magnitude of speed-up compared to Monte Carlo simulations.


title: Transport of orbital currents in systems with strong intervalley coupling: the case of Kekul\'e distorted graphene

abstract: We show that orbital currents can describe the transport of orbital magnetic moments of Bloch states in models where the formalism based on valley current is not applicable. As a case study, we consider Kekul\'e distorted graphene. We begin by analyzing the band structure in detail and obtain the orbital magnetic moment operator for this model within the framework of the modern theory of magnetism. Despite the simultaneous presence of time-reversal and spatial-inversion symmetries, such operator may be defined, although its expectation value at a given energy is zero. Nevertheless, its presence can be exposed by the application of an external magnetic field. We then proceed to study the transport of these quantities. In the Kekul\'e-$O$ distorted graphene model, the strong coupling between different valleys prevents the definition of a bulk valley current. However, the formalism of the orbital Hall effect together with the non-Abelian description of the magnetic moment operator can be directly applied to describe its transport in these types of models. We show that the Kekul\'e-$O$ distorted graphene model exhibits an orbital Hall insulating plateau whose height is inversely proportional to the energy band gap produced by intervalley coupling. Our results strengthen the perspective of using the orbital Hall effect formalism as a preferable alternative to the valley Hall effect


title: Van Hove singularities in the density of states of a chaotic dynamical system

abstract: The statistics of a chaotic recursion relation can be predicted by constructing an associated sequence of periodic elliptic operators. For such operators, the density of states is well understood, can be computed straightforwardly and explicit formulas can often be derived. The example studied here is a non-linear recursion relation which can be related to a sequence of periodic operators generated by a Fibonacci tiling rule. This link is used to derive an explicit formula for the limiting distribution of orbits of the non-linear recursion relation. This distribution contains characteristic features of the associated operators' densities of states, such as Van Hove singularities near to critical values.


title: A Flexible Architecture for Web-based GIS Applications using Docker and Graph Databases

abstract: Regional planning processes and associated redevelopment projects can be complex due to the vast amount of diverse data involved. However, all of this data shares a common geographical reference, especially in the renaturation of former open-cast mining areas. To ensure safety, it is crucial to maintain a comprehensive overview of the interrelated data and draw accurate conclusions. This requires special tools and can be a very time-consuming process. A geographical information system (GIS) is well-suited for this purpose, but even a GIS has limitations when dealing with multiple data types and sources. Additional tools are often necessary to process and view all the data, which can complicate the planning process. Our paper describes a system architecture that addresses the aforementioned issues and provides a simple, yet flexible tool for these activities. The architecture is based on microservices using Docker and is divided into a backend and a frontend. The backend simplifies and generalizes the integration of different data types, while a graph database is used to link relevant data and reveal potential new relationships between them. Finally, a modern web frontend displays the data and relationships.


title: E-Vote Your Conscience: Perceptions of Coercion and Vote Buying, and the Usability of Fake Credentials in Online Voting

abstract: Online voting is attractive for convenience and accessibility, but is more susceptible to voter coercion and vote buying than in-person voting. One mitigation is to give voters fake voting credentials that they can yield to a coercer. Fake credentials appear identical to real ones, but cast votes that are silently omitted from the final tally. An important unanswered question is how ordinary voters perceive such a mitigation: whether they could understand and use fake credentials, and whether the coercion risks justify the costs of mitigation. We present the first systematic study of these questions, involving 150 diverse individuals in Boston, Massachusetts. All participants "registered" and "voted" in a mock election: 120 were exposed to coercion resistance via fake credentials, the rest forming a control group. Of the 120 participants exposed to fake credentials, 96% understood their use. 53% reported that they would create fake credentials in a real-world voting scenario, given the opportunity. 10% mistakenly voted with a fake credential, however. 22% reported either personal experience with or direct knowledge of coercion or vote-buying incidents. These latter participants rated the coercion-resistant system essentially as trustworthy as in-person voting via hand-marked paper ballots. Of the 150 total participants to use the system, 87% successfully created their credentials without assistance; 83% both successfully created and properly used their credentials. Participants give a System Usability Scale score of 70.4, which is slightly above the industry's average score of 68. Our findings appear to support the importance of the coercion problem in general, and the promise of fake credentials as a possible mitigation, but user error rates remain an important usability challenge for future work.


title: Evolutionary Multi-Objective Optimisation for Fairness-Aware Self Adjusting Memory Classifiers in Data Streams

abstract: This paper introduces a novel approach, evolutionary multi-objective optimisation for fairness-aware self-adjusting memory classifiers, designed to enhance fairness in machine learning algorithms applied to data stream classification. With the growing concern over discrimination in algorithmic decision-making, particularly in dynamic data stream environments, there is a need for methods that ensure fair treatment of individuals across sensitive attributes like race or gender. The proposed approach addresses this challenge by integrating the strengths of the self-adjusting memory K-Nearest-Neighbour algorithm with evolutionary multi-objective optimisation. This combination allows the new approach to efficiently manage concept drift in streaming data and leverage the flexibility of evolutionary multi-objective optimisation to maximise accuracy and minimise discrimination simultaneously. We demonstrate the effectiveness of the proposed approach through extensive experiments on various datasets, comparing its performance against several baseline methods in terms of accuracy and fairness metrics. Our results show that the proposed approach maintains competitive accuracy and significantly reduces discrimination, highlighting its potential as a robust solution for fairness-aware data stream classification. Further analyses also confirm the effectiveness of the strategies to trigger evolutionary multi-objective optimisation and adapt classifiers in the proposed approach.


title: TIMIT Speaker Profiling: A Comparison of Multi-task learning and Single-task learning Approaches

abstract: This study employs deep learning techniques to explore four speaker profiling tasks on the TIMIT dataset, namely gender classification, accent classification, age estimation, and speaker identification, highlighting the potential and challenges of multi-task learning versus single-task models. The motivation for this research is twofold: firstly, to empirically assess the advantages and drawbacks of multi-task learning over single-task models in the context of speaker profiling; secondly, to emphasize the undiminished significance of skillful feature engineering for speaker recognition tasks. The findings reveal challenges in accent classification, and multi-task learning is found advantageous for tasks of similar complexity. Non-sequential features are favored for speaker recognition, but sequential ones can serve as starting points for complex models. The study underscores the necessity of meticulous experimentation and parameter tuning for deep learning models.


title: The port-Hamiltonian structure of continuum mechanics

abstract: In this paper we present a novel approach to the geometric formulation of solid and fluid mechanics within the port-Hamiltonian framework, which extends the standard Hamiltonian formulation to non-conservative and open dynamical systems. Leveraging Dirac structures, instead of symplectic or Poisson structures, this formalism allows the incorporation of energy exchange within the spatial domain or through its boundary, which allows for a more comprehensive description of continuum mechanics. Building upon our recent work in describing nonlinear elasticity using exterior calculus and bundle-valued differential forms, this paper focuses on the systematic derivation of port-Hamiltonian models for solid and fluid mechanics in the material, spatial, and convective representations using Hamiltonian reduction theory. This paper also discusses constitutive relations for stress within this framework including hyper-elasticity, for both finite- and infinite-strains, as well as viscous fluid flow governed by the Navier-Stokes equations.


title: Trajectory Planning for Autonomous Vehicle Using Iterative Reward Prediction in Reinforcement Learning

abstract: Traditional trajectory planning methods for autonomous vehicles have several limitations. For example, heuristic and explicit simple rules limit generalizability and hinder complex motions. These limitations can be addressed using reinforcement learning-based trajectory planning. However, reinforcement learning suffers from unstable learning, and existing reinforcement learning-based trajectory planning methods do not consider the uncertainties. Thus, this paper, proposes a reinforcement learning-based trajectory planning method for autonomous vehicles. The proposed method involves an iterative reward prediction approach that iteratively predicts expectations of future states. These predicted states are then used to forecast rewards and integrated into the learning process to enhance stability. Additionally, a method is proposed that utilizes uncertainty propagation to make the reinforcement learning agent aware of uncertainties. The proposed method was evaluated using the CARLA simulator. Compared to the baseline methods, the proposed method reduced the collision rate by 60.17 %, and increased the average reward by 30.82 times. A video of the proposed method is available at https://www.youtube.com/watch?v=PfDbaeLfcN4.


title: A Mathematical Formalisation of the {\gamma}-contraction Problem

abstract: Networks play an ubiquitous role in computer science and real-world applications, offering multiple kind of information that can be retrieved with adequate methods. With the continuous growing in the amount of data available, networks are becoming larger day by day. Consequently, the tasks that were easily achievable on smaller networks, often becomes impractical on huge amount of data, either due to the high computational cost or due to the impracticality to visualise corresponding data. Using distinctive node features to group large amount of connected data into a limited number of clusters, hence represented by a representative per cluster, proves to be a valuable approach. The resulting contracted graphs are more manageable in size and can reveal previously hidden characteristics of the original networks. Furthermore, in many real-world use cases, a definition of cluster is intrinsic with the data, eventually obtained with the injection of some expert knowledge represent by a categorical function. Clusters then results in set of connected vertices taking the same values in a finite set C. In the recent literature, Lombardi and Onofri proposed a novel, fast, and easily parallelisable approach under the name of $\gamma$-contraction to contract a graph given a categorical function. In this work, we formally define such approach by providing a rigorous mathematical definition of the problem, which, to the best of our knowledge, was missing in the existing literature. Specifically, we explore the variadic nature of the contraction operation and use it to introduce the weaker version of the colour contraction, under the name of $\beta$-contraction, that the algorithmic solution exploits. We finally dive into the details of the algorithm and we provide a full assesment on its convergence complexity relying on two constructive proofs that deeply unveil its mode of operation.


title: MaskCD: A Remote Sensing Change Detection Network Based on Mask Classification

abstract: Change detection (CD) from remote sensing (RS) images using deep learning has been widely investigated in the literature. It is typically regarded as a pixel-wise labeling task that aims to classify each pixel as changed or unchanged. Although per-pixel classification networks in encoder-decoder structures have shown dominance, they still suffer from imprecise boundaries and incomplete object delineation at various scenes. For high-resolution RS images, partly or totally changed objects are more worthy of attention rather than a single pixel. Therefore, we revisit the CD task from the mask prediction and classification perspective and propose MaskCD to detect changed areas by adaptively generating categorized masks from input image pairs. Specifically, it utilizes a cross-level change representation perceiver (CLCRP) to learn multiscale change-aware representations and capture spatiotemporal relations from encoded features by exploiting deformable multihead self-attention (DeformMHSA). Subsequently, a masked-attention-based detection transformers (MA-DETR) decoder is developed to accurately locate and identify changed objects based on masked attention and self-attention mechanisms. It reconstructs the desired changed objects by decoding the pixel-wise representations into learnable mask proposals and making final predictions from these candidates. Experimental results on five benchmark datasets demonstrate the proposed approach outperforms other state-of-the-art models. Codes and pretrained models are available online (https://github.com/EricYu97/MaskCD).


title: The Generic Circular Triangle-Free Graph

abstract: In this paper, we introduce the generic circular triangle-free graph $\mathbb C_3$ and propose a finite axiomatization of its first order theory. In particular, our main results show that a countable graph $G$ embeds into $\mathbb C_3$ if and only if it is a $\{K_3, K_1 + 2K_2, K_1+C_5, C_6\}$-free graph. As a byproduct of this result, we obtain a geometric characterization of finite $\{K_3, K_1 + 2K_2, K_1+C_5, C_6\}$-free graphs, and the (finite) list of minimal obstructions of unit Helly circular-arc graphs with independence number strictly less than three. The circular chromatic number $\chi_c(G)$ is a refinement of the classical chromatic number $\chi(G)$. We construct $\mathbb C_3$ so that a graph $G$ has circular chromatic number strictly less than three if and only if $G$ maps homomorphically to $\mathbb C_3$. We build on our main results to show that $\chi_c(G) < 3$ if and only if $G$ can be extended to a $\{K_3, K_1 + 2K_2, K_1+C_5, C_6\}$-free graph, and in turn, we use this result to reprove an old characterization of $\chi_c(G) < 3$ due to Brandt (1999). Finally, we answer a question recently asked by Guzm\'an-Pro, Hell, and Hern\'andez-Cruz by showing that the problem of deciding for a given finite graph $G$ whether $\chi_c(G) < 3$ is NP-complete.


title: MambaPupil: Bidirectional Selective Recurrent model for Event-based Eye tracking

abstract: Event-based eye tracking has shown great promise with the high temporal resolution and low redundancy provided by the event camera. However, the diversity and abruptness of eye movement patterns, including blinking, fixating, saccades, and smooth pursuit, pose significant challenges for eye localization. To achieve a stable event-based eye-tracking system, this paper proposes a bidirectional long-term sequence modeling and time-varying state selection mechanism to fully utilize contextual temporal information in response to the variability of eye movements. Specifically, the MambaPupil network is proposed, which consists of the multi-layer convolutional encoder to extract features from the event representations, a bidirectional Gated Recurrent Unit (GRU), and a Linear Time-Varying State Space Module (LTV-SSM), to selectively capture contextual correlation from the forward and backward temporal relationship. Furthermore, the Bina-rep is utilized as a compact event representation, and the tailor-made data augmentation, called as Event-Cutout, is proposed to enhance the model's robustness by applying spatial random masking to the event image. The evaluation on the ThreeET-plus benchmark shows the superior performance of the MambaPupil, which secured the 1st place in CVPR'2024 AIS Event-based Eye Tracking challenge.


title: Big Bang equivalence of $f(R)$ gravity with no cosmological lithium problem

abstract: $f(R)$ gravity is one of the serious alternatives of general relativity having large range of astronomical consequences. In this work, we study Big Bang Nucleosynthesis (BBN) in $f(R)$ gravity theory. We consider modification to gravity due to the existence of primordial black holes in the radiation era which introduce additional degrees of freedom known as scalarons. We calculate the light element abundances by using the BBN code PArthENoPE. It is found that for a range of scalaron mass $(2.2-3.5) \times 10^4$ eV, the abundance of lithium is lowered by $3-4$ times the value predicted by general relativistic BBN which is a level desired to address the cosmological lithium problem. For the above scalaron mass range helium abundance is within observed bound. However, deuterium abundance is found to be increased by $3-6$ times the observed primordial abundance which calls for high efficiency of stellar formation and evolution processes for destruction of the same. A novel relation between scalaron mass and black hole mass has been used to estimate that the above scalaron mass range corresponds to primordial black holes of sub-planetary mass ($\sim 10^{19}$ g) serving as one of the potential non-baryonic dark matter candidates. We infer Big Bang equivalence of power law $f(R)$ gravity with primordial black holes.


title: Commutative Algebra and Algebraic Geometry using OSCAR

abstract: We give illustrative examples of how the computer algebra system OSCAR can support research in commutative algebra and algebraic geometry. We start with a thorough introduction to Groebner basis techniques, with particular emphasis on the computation of syzygies, then apply these techniques to deal with ideal and ring theoretic concepts such as primary decomposition and normalization, and finally use them for geometric case studies which concern curves and surfaces, both from a local and global point of view.


title: Preserving Nature's Ledger: Blockchains in Biodiversity Conservation

abstract: In the contemporary era, biodiversity conservation emerges as a paramount challenge, necessitating innovative approaches to monitoring, preserving, and enhancing the natural world. This paper explores the integration of blockchain technology in biodiversity conservation, offering a novel perspective on how digital resilience can be built within ecological contexts. Blockchain, with its decentralized and immutable ledger and tokenization affordances, presents a groundbreaking solution for the accurate monitoring and tracking of environmental assets, thereby addressing the critical need for transparency and trust in conservation efforts. Unlike previous more theoretical approaches, by addressing the research question of how blockchain supports digital resilience in biodiversity conservation, this study presents a grounded framework that justifies which blockchain features are essential to decipher specific data contribution and data leveraging processes in an effort to protect our planet's biodiversity, while boosting potential economic benefits for all actors involved, from local farmers, to hardware vendors and artificial intelligence experts, to investors and regular users, volunteers and donors.


title: Optimizing the diffusion coefficient of overdamped Langevin dynamics

abstract: Overdamped Langevin dynamics are reversible stochastic differential equations which are commonly used to sample probability measures in high-dimensional spaces, such as the ones appearing in computational statistical physics and Bayesian inference. By varying the diffusion coefficient, there are in fact infinitely many overdamped Langevin dynamics which are reversible with respect to the target probability measure at hand. This suggests to optimize the diffusion coefficient in order to increase the convergence rate of the dynamics, as measured by the spectral gap of the generator associated with the stochastic differential equation. We analytically study this problem here, obtaining in particular necessary conditions on the optimal diffusion coefficient. We also derive an explicit expression of the optimal diffusion in some appropriate homogenized limit. Numerical results, both relying on discretizations of the spectral gap problem and Monte Carlo simulations of the stochastic dynamics, demonstrate the increased quality of the sampling arising from an appropriate choice of the diffusion coefficient.


title: The inhomogeneous fractional stochastic heat equation driven by fractional Brownian motion

abstract: We investigate the fractional Hardy-H\'enon equation with fractional Brownian noise $$ \partial_t u(t)+(-\Delta)^{\theta/2} u(t)=|x|^{-\gamma} |u(t)|^{p-1}u(t)+\mu \partial_t B^H(t), $$ where $\theta>0$, $p>1$, $\gamma\geq 0$, $\mu \in\mathbb{R}$, and the random forcing $B^H$ is the fractional Brownian motion defined on some complete probability space $(\Omega, \mathcal{F}, \mathbb{P})$ with Hurst parameter $H\in (0,1)$. We obtain the local existence and uniqueness of mild solutions under tailored conditions on the parameters of the equation.


title: An Overview of Electromagnetic Illusions: Empowering Smart Environments with Reconfigurable Metasurfaces

abstract: This study delves into the innovative landscape of metasurfaces, with a particular focus on their role in achieving EM illusion (EMI) a facet of paramount significance. The control of EM waves assumes a pivotal role in mitigating issues such as signal degradation, interference, and reduced communication range. Furthermore, the engineering of waves serves as a foundational element in achieving invisibility or minimized detectability. This survey unravels the theoretical underpinnings and practical designs of EMI coatings, which have been harnessed to develop functional metasurfaces. EMI, practically achieved through engineered coatings, confers a strategic advantage by either reducing the radar cross-section of objects or creating misleading footprints. In addition to illustrating the outstanding achievements in reconfigurable cloaking, this study culminates in the proposal of a novel approach, suggesting the emergence of EMI without the need for physically coating the device to conceal and thus proposing the concept of a smart EMI environment. This groundbreaking work opens a new way for engineers and researchers to unlock exotic and versatile designs that build on reconfigurable intelligent surfaces (RIS). Crucially the designs enabled by the proposed approach, present a wide array of applications, encompassing camouflaging, deceptive sensing, radar cognition control, and defence security, among others. In essence, this research stands as a beacon guiding the exploration of uncharted territories in wave control through smart EMI environments, with profound implications spanning basic academic research in RIS through advanced security technologies and communication systems.


title: X-Light: Cross-City Traffic Signal Control Using Transformer on Transformer as Meta Multi-Agent Reinforcement Learner

abstract: The effectiveness of traffic light control has been significantly improved by current reinforcement learning-based approaches via better cooperation among multiple traffic lights. However, a persisting issue remains: how to obtain a multi-agent traffic signal control algorithm with remarkable transferability across diverse cities? In this paper, we propose a Transformer on Transformer (TonT) model for cross-city meta multi-agent traffic signal control, named as X-Light: We input the full Markov Decision Process trajectories, and the Lower Transformer aggregates the states, actions, rewards among the target intersection and its neighbors within a city, and the Upper Transformer learns the general decision trajectories across different cities. This dual-level approach bolsters the model's robust generalization and transferability. Notably, when directly transferring to unseen scenarios, ours surpasses all baseline methods with +7.91% on average, and even +16.3% in some cases, yielding the best results.


title: Harnessing Joint Rain-/Detail-aware Representations to Eliminate Intricate Rains

abstract: Recent advances in image deraining have focused on training powerful models on mixed multiple datasets comprising diverse rain types and backgrounds. However, this approach tends to overlook the inherent differences among rainy images, leading to suboptimal results. To overcome this limitation, we focus on addressing various rainy images by delving into meaningful representations that encapsulate both the rain and background components. Leveraging these representations as instructive guidance, we put forth a Context-based Instance-level Modulation (CoI-M) mechanism adept at efficiently modulating CNN- or Transformer-based models. Furthermore, we devise a rain-/detail-aware contrastive learning strategy to help extract joint rain-/detail-aware representations. By integrating CoI-M with the rain-/detail-aware Contrastive learning, we develop CoIC, an innovative and potent algorithm tailored for training models on mixed datasets. Moreover, CoIC offers insight into modeling relationships of datasets, quantitatively assessing the impact of rain and details on restoration, and unveiling distinct behaviors of models given diverse inputs. Extensive experiments validate the efficacy of CoIC in boosting the deraining ability of CNN and Transformer models. CoIC also enhances the deraining prowess remarkably when real-world dataset is included.


title: Non-adiabatic electronic relaxation of tetracene from its brightest singlet excited state

abstract: The ultrafast relaxation dynamics of tetracene following UV excitation to a bright singlet state S6 has been studied with time-resolved photoelectron spectroscopy. With the help of high-level ab-initio multireference perturbation theory calculations, we assign photoelectron signals to intermediate dark electronic states S3, S4 and S5 as well as a to a low-lying electronic state S2. The energetic structure of these dark states has not been determined experimentally previously. The time-dependent photoelectron yields assigned to the states S6, S5 and S4 have been analyzed and reveal the depopulation of S6 within 50 fs, while S5 and S4 are populated with delays of about 50 and 80 fs. The dynamics of the lower-lying states S3 and S2 seem to agree with a delayed population coinciding with the depopulation of the higher-lying states S4-S6, but could not be elucidated in full detail due to the low signal levels of the corresponding two-photon ionization probe processes.


title: Evaluating the Security of Merkle Trees in the Internet of Things: An Analysis of Data Falsification Probabilities

abstract: Addressing the critical challenge of ensuring data integrity in decentralized systems, this paper delves into the underexplored area of data falsification probabilities within Merkle Trees, which are pivotal in blockchain and Internet of Things (IoT) technologies. Despite their widespread use, a comprehensive understanding of the probabilistic aspects of data security in these structures remains a gap in current research. Our study aims to bridge this gap by developing a theoretical framework to calculate the probability of data falsification, taking into account various scenarios based on the length of the Merkle path and hash length. The research progresses from the derivation of an exact formula for falsification probability to an approximation suitable for cases with significantly large hash lengths. Empirical experiments validate the theoretical models, exploring simulations with diverse hash lengths and Merkle path lengths. The findings reveal a decrease in falsification probability with increasing hash length and an inverse relationship with longer Merkle paths. A numerical analysis quantifies the discrepancy between exact and approximate probabilities, underscoring the conditions for the effective application of the approximation. This work offers crucial insights into optimizing Merkle Tree structures for bolstering security in blockchain and IoT systems, achieving a balance between computational efficiency and data integrity.


title: Strange quark matter as dark matter: 40 years later, a reappraisal

abstract: Forty years ago, Witten suggested that dark matter could be composed of macroscopic clusters of strange quark matter. This idea was very popular for several years, but it dropped out of fashion once lattice QCD calculations indicated that the confinement/deconfinement transition, at small baryonic chemical potential, is not first order, which seemed to be a crucial requirement in order to produce large clusters of quarks. Here we revisit both the conditions under which strangelets can be produced in the Early Universe and the many phenomenological implications of their existence. Most of the paper discusses the limits on their mass distribution and a possible and simple scheme for their production. Finally, we discuss the most promising techniques to detect this type of objects.


title: Convex Sequence and Convex Polygon

abstract: In this paper, we deal with the question; under what conditions the points $P_i(xi,yi)$ $(i = 1,\cdots, n)$ form a convex polygon provided $x_1 < \cdots < x_n$ holds. One of the main findings of the paper can be stated as follows: "Let $P_1(x_1,y_1),\cdots ,P_n(x_n,y_n)$ are $n$ distinct points ($n\geq3$) with $x_1<\cdots<x_n$. Then $\overline{P_1P_2},\cdots \overline{P_nP_1}$ form a convex $n$-gon that lies in the half-space \begin{equation*}{ \underline{\mathbb{H}}=\bigg\{(x,y)\big|\quad x\in\mathbb{R} \quad \mbox{and} \quad y\leq y_1+\bigg(\dfrac{x-x_1}{x_n-x_1}\bigg)(y_n-y_1)\bigg\}\subseteq{\mathbb{R}^{2}} } \end{equation*} if and only if the following inequality holds \begin{equation} \dfrac{y_i-y_{i-1}}{x_i-x_{i-1}} \leq \dfrac{y_{i+1}-y_{i}}{x_{i+1}-x_{i}} \quad \quad \mbox{for all} \quad \quad i\in\{2,\cdots,n-1\} ." \end{equation} Based on this result, we establish a linkage between the property of sequential convexity and convex polygon. We show that in a plane if any $n$ points are scattered in such a way that their horizontal and vertical distances preserve some specific monotonic properties; then those points form a $2$-dimensional convex polytope.


title: LongEmbed: Extending Embedding Models for Long Context Retrieval

abstract: Embedding models play a pivot role in modern NLP applications such as IR and RAG. While the context limit of LLMs has been pushed beyond 1 million tokens, embedding models are still confined to a narrow context window not exceeding 8k tokens, refrained from application scenarios requiring long inputs such as legal contracts. This paper explores context window extension of existing embedding models, pushing the limit to 32k without requiring additional training. First, we examine the performance of current embedding models for long context retrieval on our newly constructed LongEmbed benchmark. LongEmbed comprises two synthetic tasks and four carefully chosen real-world tasks, featuring documents of varying length and dispersed target information. Benchmarking results underscore huge room for improvement in these models. Based on this, comprehensive experiments show that training-free context window extension strategies like position interpolation can effectively extend the context window of existing embedding models by several folds, regardless of their original context being 512 or beyond 4k. Furthermore, for models employing absolute position encoding (APE), we show the possibility of further fine-tuning to harvest notable performance gains while strictly preserving original behavior for short inputs. For models using rotary position embedding (RoPE), significant enhancements are observed when employing RoPE-specific methods, such as NTK and SelfExtend, indicating RoPE's superiority over APE for context window extension. To facilitate future research, we release E5-Base-4k and E5-RoPE-Base, along with the LongEmbed benchmark.


title: MPC of Uncertain Nonlinear Systems with Meta-Learning for Fast Adaptation of Neural Predictive Models

abstract: In this paper, we consider the problem of reference tracking in uncertain nonlinear systems. A neural State-Space Model (NSSM) is used to approximate the nonlinear system, where a deep encoder network learns the nonlinearity from data, and a state-space component captures the temporal relationship. This transforms the nonlinear system into a linear system in a latent space, enabling the application of model predictive control (MPC) to determine effective control actions. Our objective is to design the optimal controller using limited data from the \textit{target system} (the system of interest). To this end, we employ an implicit model-agnostic meta-learning (iMAML) framework that leverages information from \textit{source systems} (systems that share similarities with the target system) to expedite training in the target system and enhance its control performance. The framework consists of two phases: the (offine) meta-training phase learns a aggregated NSSM using data from source systems, and the (online) meta-inference phase quickly adapts this aggregated model to the target system using only a few data points and few online training iterations, based on local loss function gradients. The iMAML algorithm exploits the implicit function theorem to exactly compute the gradient during training, without relying on the entire optimization path. By focusing solely on the optimal solution, rather than the path, we can meta-train with less storage complexity and fewer approximations than other contemporary meta-learning algorithms. We demonstrate through numerical examples that our proposed method can yield accurate predictive models by adaptation, resulting in a downstream MPC that outperforms several baselines.


title: On structures of BiHom-Superdialgebras and their derivations

abstract: BiHom-superdialgebras are clear generalization of Hom-superdialgebras. The purpose of this note is to describe and to survey structures of BiHom-superdialgebras. Then we derive derivations of BiHomsuperdialgebras.


title: Higgs Inflation in Unimodular Gravity

abstract: The discovery of Higgs mechanism within the context of spontaneous symmetry breaking has offered a new perspective on the early time cosmic inflation and also on the relationship between elementary particles and dark energy, believed to drive the universe's accelerating expansion. We suggest an inflation scenario driven by the Higgs boson within the framework of unimodular gravity, where the Higgs field acts as the inflaton and has a significant non-minimal coupling to the gravity. We present a detailed analysis of the problem in the Jordan and then Einstein frame for a unimodular Higgs inflation, followed by a comparison of our findings with the Cosmic Microwave Background observations made by the Planck Collaboration and other joint data sets. Therefore, new constraints are imposed on the non-minimal coupling parameter, $\xi$, by determining the magnitudes required for effective cosmic inflation. We demonstrate that a substantial non-minimal coupling of order $\xi\sim 10^{2}-10^{4}$ is required for this model to match with the observed primordial spectrum.


title: Generic free fermions with nearest neighbour interactions

abstract: Generic free fermions are free fermions with a single particle spectrum that satisfies the $q$ no resonance condition, i.e., where equal sums of single-particle energies are unique. This property guaranties that they have no degeneracies and gives them relaxation properties more similar to those of generic systems. In this article we provide a minimal example of a generic free fermionic model with nearest neighbour interactions -- a tight-binding model with complex hopping. Using some standard results from number theory we prove that this model fulfils the $q$ no resonance condition when the number of lattice sites is prime. Whenever this is not the case one can recover the $q$ no resonance condition by adding hopping terms between sites corresponding to the divisors of the number of sites. We further discuss its many-body spectral statistics and show that local probes -- like the ratio of consecutive level spacings -- look very similar to what is expected for the Poisson statistics. We however demonstrate that free fermion models can never have Poisson statistics with an analysis of the moments of the spectral form factor.


title: Dynamics Over Homogeneous Spaces

abstract: We present the Euler-Lagrange and Hamilton's equations for a system whose configuration space is a unified product Lie group $G=M\bowtie_{\gamma} H$, for some $\gamma:M\times M \to H$. By reduction, then, we obtain the Euler-Lagrange type and Hamilton's type equations of the same form for the quotient space $M\cong G/H$, although it is not necessarily a Lie group. We observe, through further reduction, that it is possible to formulate the Euler-Poincar\'{e} type and Lie-Poisson type equations on the corresponding quotient $\mathfrak{m}\cong \mathfrak{g}/\mathfrak{h}$ of Lie algebras, which is not a priori a Lie algebra. Moreover, we realize the $n$th order iterated tangent group $T^{(n)}G$ of a Lie group $G$ as an extension of the $n$th order tangent group $T^nG$ of the same type. More precisely, $\mathfrak{g}$ being the Lie algebra of $G$, $T^{(n)}G \cong \mathfrak{g}^{\times \,2^n-1-n} \bowtie_\gamma T^nG$ for some $\gamma:\mathfrak{g}^{\times \,2^n-1-n} \times \mathfrak{g}^{\times \,2^n-1-n} \to T^nG$. We thus obtain the $n$th order Euler-Lagrange (and then the $n$th order Euler-Poincar\'e) equations over $T^nG$ by reduction from those on $T(T^{n-1}G)$. Finally, we illustrate our results in the realm of the Kepler problem, and the non-linear tokamak plasma dynamics.


title: Functional formulation of quantum theory of a scalar field in a metric with Lorentzian and Euclidean signatures

abstract: We study the Schr\"odinger equation in quantum field theory (QFT) in its functional formulation. In this approach quantum correlation functions can be expressed as classical expectation values over (complex) stochastic processes. We obtain a stochastic representation of the Schr\"odinger time evolution on Wentzel-Kramers-Brillouin (WKB) states by means of the Wiener integral. We discuss QFT in a flat expanding metric and in de Sitter space-time. We calculate the evolution kernel in an expanding flat metric in the real time formulation. We discuss a field interaction in pseudoRiemannian and Riemannian metrics showing that an inversion of the signature leads to some substantial simplifications of the singularity problems in QFT.


title: S3R-Net: A Single-Stage Approach to Self-Supervised Shadow Removal

abstract: In this paper we present S3R-Net, the Self-Supervised Shadow Removal Network. The two-branch WGAN model achieves self-supervision relying on the unify-and-adaptphenomenon - it unifies the style of the output data and infers its characteristics from a database of unaligned shadow-free reference images. This approach stands in contrast to the large body of supervised frameworks. S3R-Net also differentiates itself from the few existing self-supervised models operating in a cycle-consistent manner, as it is a non-cyclic, unidirectional solution. The proposed framework achieves comparable numerical scores to recent selfsupervised shadow removal models while exhibiting superior qualitative performance and keeping the computational cost low.


title: Ethical-Lens: Curbing Malicious Usages of Open-Source Text-to-Image Models

abstract: The burgeoning landscape of text-to-image models, exemplified by innovations such as Midjourney and DALLE 3, has revolutionized content creation across diverse sectors. However, these advancements bring forth critical ethical concerns, particularly with the misuse of open-source models to generate content that violates societal norms. Addressing this, we introduce Ethical-Lens, a framework designed to facilitate the value-aligned usage of text-to-image tools without necessitating internal model revision. Ethical-Lens ensures value alignment in text-to-image models across toxicity and bias dimensions by refining user commands and rectifying model outputs. Systematic evaluation metrics, combining GPT4-V, HEIM, and FairFace scores, assess alignment capability. Our experiments reveal that Ethical-Lens enhances alignment capabilities to levels comparable with or superior to commercial models like DALLE 3, ensuring user-generated content adheres to ethical standards while maintaining image quality. This study indicates the potential of Ethical-Lens to ensure the sustainable development of open-source text-to-image tools and their beneficial integration into society. Our code is available at https://github.com/yuzhu-cai/Ethical-Lens.


title: Scale Separation Effects on Simulations of Plasma Turbulence

abstract: Understanding plasma turbulence requires a synthesis of experiments, observations, theory, and simulations. In the case of kinetic plasmas such as the solar wind, the lack of collisions renders the fluid closures such as viscosity meaningless and one needs to resort to higher order fluid models or kinetic models. Typically, the computational expense in such models is managed by simulating artificial values of certain parameters such as the ratio of the Alfv\'en speed to the speed of light ($v_A/c$) or the relative mass ratio of ions and electrons ($m_i/m_e$). Although, typically care is taken to use values as close as possible to realistic values within the computational constraints, these artificial values could potentially introduce unphysical effects. These unphysical effects could be significant at sub-ion scales, where kinetic effects are the most important. In this paper, we use the ten-moment fluid model in the Gkeyll framework to perform controlled numerical experiments, systematically varying the ion-electron mass ratio from a small value down to the realistic proton-electron mass ratio. We show that the unphysical mass ratio has a significant effect on the kinetic range dynamics as well as the heating of both the plasma species. The dissipative process for both ions and electrons become more compressive in nature, although the ions remain nearly incompressible in all cases. The electrons move from being dominated by incompressive viscous like heating/dissipation, to very compressive heating/dissipation dominated by compressions/rarefactions. While the heating change is significant for the electrons, a mass ratio of $m_i/m_e \sim 250$ captures the asymptotic behaviour of electron heating.


title: Landau-Lifschitz magnets: exact thermodynamics and transport

abstract: The classical Landau--Lifshitz equation -- the simplest model of a ferromagnet -- provides an archetypal example for studying transport phenomena. In one-spatial dimension, integrability enables the classification of the spectrum of linear and nonlinear modes. An exact characterization of finite-temperature thermodynamics and transport has nonetheless remained elusive. We present an exact description of thermodynamic equilibrium states in terms of interacting modes. This is achieved by retrieving the classical Landau--Lifschitz model through the semiclassical limit of the integrable quantum spin-$S$ anisotropic Heisenberg chain at the level of the thermodynamic Bethe ansatz description. In the axial regime, the mode spectrum comprises solitons with unconventional statistics, whereas in the planar regime we additionally find two special types of modes of radiative and solitonic type. The obtained framework paves the way for analytical study of unconventional transport properties: as an example we study the finite-temperature spin Drude weight, finding excellent agreement with Monte Carlo simulations.


title: Effective Individual Fairest Community Search over Heterogeneous Information Networks

abstract: Community search over heterogeneous information networks has been applied to wide domains, such as activity organization and team formation. From these scenarios, the members of a group with the same treatment often have different levels of activity and workloads, which causes unfairness in the treatment between active members and inactive members (called individual unfairness). However, existing works do not pay attention to individual fairness and do not sufficiently consider the rich semantics of HINs (e.g., high-order structure), which disables complex queries. To fill the gap, we formally define the issue of individual fairest community search over HINs (denoted as IFCS), which aims to find a set of vertices from the HIN that own the same type, close relationships, and small difference of activity level and has been demonstrated to be NP-hard. To do this, we first develop an exploration-based filter that reduces the search space of the community effectively. Further, to avoid repeating computation and prune unfair communities in advance, we propose a message-based scheme and a lower bound-based scheme. At last, we conduct extensive experiments on four real-world datasets to demonstrate the effectiveness and efficiency of our proposed algorithms, which achieve at least X3 times faster than the baseline solution.


title: Impact of non-reciprocal interactions on colloidal self-assembly with tunable anisotropy

abstract: Non-reciprocal (NR) effective interactions violating Newton's third law occur in many biological systems, but can also be engineered in synthetic, colloidal systems. Recent research has shown that such NR interactions can have tremendous effects on the overall collective behaviour and pattern formation, but can also influence aggregation processes on the particle scale. Here we focus on the impact of non-reciprocity on the self-assembly of an (originally passive) colloidal system with anisotropic interactions whose character is tunable by external fields. In the absence of non-reciprocity, that is, under equilibrium conditions, the colloids form aggregates with extremely long life times [Kogler et al., Soft Matter 11, 7356 (2015)], indicating kinetic trapping. Here we study, based on Brownian Dynamics (BD) simulations in 2D, a NR version of this model consisting of two species with reciprocal isotropic, but NR anisotropic interactions. We find that NR induces an effective propulsion of particle pairs and small aggregates forming at initial stages of self-assembly, an indication of the NR-induced non-equilibrium. The shape and stability of these initial clusters strongly depends on the degree of anisotropy. At longer times we find, for weak NR interactions, large (even system-spanning) clusters where single particles can escape and enter at the boundaries, in stark contrast to the small rigid aggregates appearing at the same time in the passive case. In this sense, weak NR shortcuts the aggregation. Increasing the degree of NR (and thus, propulsion), we even observe large-scale phase separation if the interactions are weakly anisotropic. In contrast, system with strong NR and anisotropy remain essentially disordered. Overall, NR interactions are shown to destabilize the rigid aggregates interrupting self-assembly in the passive case, helping the system to overcome kinetic barriers.


title: Revisiting holographic model for thermal and dense QCD with a critical point

abstract: To quantitatively provide reliable predictions for the hot and dense QCD matter, a holographic model should be adjusted to describe first-principles lattice results available at vanishing baryon chemical potential. The equation of state from two well-known lattice groups, the HotQCD collaboration and the Wuppertal-Budapest (WB) collaboration, shows visible differences at high temperatures. We revisit the Einstein-Maxwell-dilaton (EMD) holographic model for hot QCD with 2+1 flavors and physical quark masses by fitting lattice QCD data from the WB collaboration. Using the parameterization for the scalar potential and gauge coupling proposed in our work [Phys.Rev.D 106 (2022) 12, L121902], the equation of state, the higher order baryon number susceptibilities, and the chiral condensates are in quantitative agreement with state-of-the-art lattice results. We find that the critical endpoint (CEP) obtained from fitting the WB collaboration data is nearly identical to the one from the HotQCD collaboration, suggesting the robustness of the location of the CEP. Moreover, our holographic prediction for the CEP location is in accord with more recent Bayesian analysis on a large number of holographic EMD models and an effective potential approach of QCD from gap equations.


title: Saturation of the compression of two interacting magnetic flux tubes evidenced in the laboratory

abstract: Interactions between magnetic fields advected by matter play a fundamental role in the Universe at all possible scales. A crucial role these interactions play is in making turbulent fields highly anisotropic, leading to observed ordered fields. These in turn, are important evolutionary factors for all the systems within and around. Despite scant evidence, due to the difficulty in measuring even near-Earth events, the magnetic field compression factor in these interactions, measured at very varied scales, is limited to a few. However, compressing matter in which a magnetic field is embedded, results in compression up to several thousands. Here we show, using laboratory experiments and matching three-dimensional hybrid simulations, that there is indeed a very effective saturation of the compression when two independent magnetic fields are advected by plasmas encounter. We found that the observed saturation is linked to a build-up of the magnetic pressure at the inflows encounter point, which decelerates them and thereby stops further compression. Moreover, the growth of an electric field, induced by the incoming flows and the magnetic field, acts in redirecting the inflows transversely, further hampering field compression.


title: Optical anisotropy of the kagome magnet FeSn: Dominant role of excitations between kagome and Sn layers

abstract: Antiferromagnetic FeSn is considered to be a close realization of the ideal two-dimensional (2D) kagome lattice, hosting Dirac cones, van Hove singularities, and flat bands, as it comprises Fe$_3$Sn kagome layers well separated by Sn buffer layers. We observe a pronounced optical anisotropy, with the low-energy optical conductivity being surprisingly higher perpendicular to the kagome planes than along the layers. This finding contradicts the prevalent picture of dominantly 2D electronic structure for FeSn. Our material-specific theory reproduces the measured conductivity spectra remarkarbly well. A site-specific decomposition of the optical response to individual excitation channels shows that the optical conductivity for polarizations both parallel and perpendicular to the kagome plane is dominated by interlayer transitions between kagome layers and adjacent Sn-based layers. Moreover, the matrix elements corresponding to these transitions are highly anisotropic, leading to larger out-of-plane conductivity. Our results evidence the crucial role of interstitial layers in charge dynamics even in seemingly 2D systems.


title: Generalized derivations of BiHom-supertrialgebras

abstract: In this note, our goal is to describe the concept of generalized derivations in the context of BiHom-supertrialgebras. We provide a comprehensive analysis of the properties and applications of these generalized derivations, including their relationship with other algebraic structures. We also explore various examples and applications of BiHom-supertrialgebras in different fields of mathematics and physics. Our findings contribute to a deeper understanding of the algebraic properties and applications of BiHom-supertrialgebras, and pave the way for further research in this area.


title: Cahn-Hilliard equations with singular potential, reaction term and pure phase initial datum

abstract: We consider local and nonlocal Cahn-Hilliard equations with constant mobility and singular potentials including, e.g., the Flory-Huggins potential, subject to no-flux (or periodic) boundary conditions. The main goal is to show that the presence of a suitable class of reaction terms allows to establish the existence of a weak solution to the corresponding initial and boundary value problem even though the initial condition is a pure state. In other words, the separation process takes place even in presence of a pure phase, provided that it is triggered by a convenient reaction term. This fact was already observed by the authors in a previous contribution devoted to a specific biological model. In this context, we generalize the previously-mentioned concept by examining the essential assumptions required for the reaction term to apply the new strategy. Also, we explore the scenario involving the nonlocal Cahn-Hilliard equation and provide illustrative examples that contextualize within our abstract framework.


title: Recurrence formulae for spectral determinants

abstract: We develop a unified method to study spectral determinants for several different manifolds, including spheres and hemispheres, and projective spaces. This is a direct consequence of an approach based on deriving recursion relations for the corresponding zeta functions, which we are then able to solve explicitly. Apart from new applications such as hemispheres, we also believe that the resulting formulae in the cases for which expressions for the determinant were already known are simpler and easier to compute in general, when compared to those resulting from other approaches.


title: Caging in Motion: Characterizing Robustness in Manipulation through Energy Margin and Dynamic Caging Analysis

abstract: To develop robust manipulation policies, quantifying robustness is essential. Evaluating robustness in general dexterous manipulation, nonetheless, poses significant challenges due to complex hybrid dynamics, combinatorial explosion of possible contact interactions, global geometry, etc. This paper introduces ``caging in motion'', an approach for analyzing manipulation robustness through energy margins and caging-based analysis. Our method assesses manipulation robustness by measuring the energy margin to failure and extends traditional caging concepts for a global analysis of dynamic manipulation. This global analysis is facilitated by a kinodynamic planning framework that naturally integrates global geometry, contact changes, and robot compliance. We validate the effectiveness of our approach in the simulation and real-world experiments of multiple dynamic manipulation scenarios, highlighting its potential to predict manipulation success and robustness.


title: Ore sets, denominator sets and the left regular left quotient ring of a ring

abstract: The aim of the papers is to describe the left regular left quotient ring ${}'Q(R)$ and the right regular right quotient ring $Q'(R)$ for the following algebras $R$: $\mS_n=\mS_1^{\t n}$ is the algebra of one-sided inverses, where $\mS_1=K\langle x,y\, | \, yx=1\rangle$, $\CI_n=K\langle \der_1, \ldots, \der_n,\int_1,\ldots, \int_n\rangle$ is the algebra of scalar integro-differential operators and the Jacobian algebra $\mA_1=K\langle x,\der, (\der x)^{-1}\rangle$. The sets of left and right regular elements of the algebras $\mS_1$, $\CI_1$, $\mA_1$ and $\mI_1=K\langle x, \der,\int\rangle$. A progress is made on the following conjecture, \cite{Clas-lreg-quot}: $${}'Q(\mI_n)\simeq Q(A_n)\;\; {\rm where}\;\; \mI_n =K\bigg\langle x_1,\ldots , x_n, \der_1, \ldots, \der_n,\int_1,\ldots, \int_n\bigg\rangle$$ is the algebra of polynomial integro-differential operators and $Q(A_n)$ is the classical quotient ring (of fractions) of the $n$'th Weyl algebra $A_n$, i.e. a criterion is given when the isomorphism holds. We produce several general constructions of left Ore and left denominator sets that appear naturally in applications and are of independent interest and use them to produce explicit left denominator sets that give the localization ring isomorphic to ${}'Q(\mS_n)$ or ${}'Q(\mI_n)$ or ${}'Q(\mA_n)$ where $\mA_n:=\mA_1^{\t n}$. Several characterizations of one-sided regular elements of a ring are given in module-theoretic and one-sided-ideal-theoretic way.


title: On a Goldbach-type problem for the Liouville function

abstract: Let $\lambda$ denote the Liouville function. We show that for all sufficiently large integers $N$, the (non-trivial) convolution sum bound $$ \left|\sum_{1 \leq n < N} \lambda(n) \lambda(N-n)\right| < N-1 $$ holds. This (essentially) answers a question posed at the 2018 AIM workshop on Sarnak's conjecture.


title: Quantum thermodynamics of the spin-boson model using the principle of minimal dissipation

abstract: A recently developed approach to the thermodynamics of open quantum systems, on the basis of the principle of minimal dissipation, is applied to the spin-boson model. Employing a numerically exact quantum dynamical treatment based on the hierarchical equations of motion (HEOM) method, we investigate the influence of the environment on quantities such as work, heat and entropy production in a range of parameters which go beyond the weak-coupling limit and include both the non-adiabatic and the adiabatic regimes. The results reveal significant differences to the weak-coupling forms of work, heat and entropy production, which are analyzed in some detail.


title: Controlling 4f antiferromagnetic dynamics via itinerant electronic susceptibility

abstract: Optical manipulation of magnetism holds promise for future ultrafast spintronics, especially with lanthanides and their huge, localized 4f magnetic moments. These moments interact indirectly via the conduction electrons (RKKY exchange), influenced by interatomic orbital overlap, and the conduction electron susceptibility. Here, we study this influence in a series of 4f antiferromagnets, GdT2Si2 (T=Co, Rh, Ir), using ultrafast resonant X-ray diffraction. We observe a twofold increase in ultrafast angular momentum transfer between the materials, originating from modifications in the conduction electron susceptibility, as confirmed by first-principles calculations.


title: Fortify the Guardian, Not the Treasure: Resilient Adversarial Detectors

abstract: This paper presents RADAR-Robust Adversarial Detection via Adversarial Retraining-an approach designed to enhance the robustness of adversarial detectors against adaptive attacks, while maintaining classifier performance. An adaptive attack is one where the attacker is aware of the defenses and adapts their strategy accordingly. Our proposed method leverages adversarial training to reinforce the ability to detect attacks, without compromising clean accuracy. During the training phase, we integrate into the dataset adversarial examples, which were optimized to fool both the classifier and the adversarial detector, enabling the adversarial detector to learn and adapt to potential attack scenarios. Experimental evaluations on the CIFAR-10 and SVHN datasets demonstrate that our proposed algorithm significantly improves a detector's ability to accurately identify adaptive adversarial attacks -- without sacrificing clean accuracy.


title: A Simplified Analysis of the Ascending Auction to Sell a Matroid Base

abstract: We give a simpler analysis of the ascending auction of Bikhchandani, de Vries, Schummer, and Vohra to sell a welfare-maximizing base of a matroid at Vickrey prices. The new proofs for economic efficiency and the charge of Vickrey prices only require a few matroid folklore theorems, therefore shortening the analysis of the design goals of the auction significantly.


title: Combinatorial cusp count and clover invariants

abstract: We construct efficient topological cobordisms between torus links and large connected sums of trefoil knots. As an application, we show that the signature invariant $\sigma_\omega$ at $\omega=\zeta_6$ takes essentially minimal values on torus links among all concordance homomorphisms with the same normalisation on the trefoil knot.