title: Hoare-Like Triples and Kleene Algebras with Top and Tests: Towards a Holistic Perspective on Hoare Logic, Incorrectness Logic, and Beyond

abstract: We aim at a holistic perspective on program logics, including Hoare and incorrectness logics. To this end, we study different classes of properties arising from the generalization of the aforementioned logics. We compare our results with the properties expressible in the language of Kleene algebra with top and tests.


title: Toward Deep Drum Source Separation

abstract: In the past, the field of drum source separation faced significant challenges due to limited data availability, hindering the adoption of cutting-edge deep learning methods that have found success in other related audio applications. In this manuscript, we introduce StemGMD, a large-scale audio dataset of isolated single-instrument drum stems. Each audio clip is synthesized from MIDI recordings of expressive drums performances using ten real-sounding acoustic drum kits. Totaling 1224 hours, StemGMD is the largest audio dataset of drums to date and the first to comprise isolated audio clips for every instrument in a canonical nine-piece drum kit. We leverage StemGMD to develop LarsNet, a novel deep drum source separation model. Through a bank of dedicated U-Nets, LarsNet can separate five stems from a stereo drum mixture faster than real-time and is shown to significantly outperform state-of-the-art nonnegative spectro-temporal factorization methods.


title: Multipoint Schwarz-Pick Lemma for the quaternionic case

abstract: Following ideas by Beardon, Minda and Baribeau, Rivard, Wegert in the context of the complex Schwarz-Pick Lemma, we use iterated hyperbolic difference quotients to prove a quaternionic multipoint Schwarz-Pick Lemma, in the context of the theory of slice regular functions. As applications, we obtain quaternionic Dieudonn\'e and Goluzin estimates. Finally, an algorithm for the construction of (Nevanlinna-Pick) interpolating slice regular functions with real nodes is provided as a byproduct of the quaternionic multipoint Schwarz-Pick Lemma.


title: FlowMur: A Stealthy and Practical Audio Backdoor Attack with Limited Knowledge

abstract: Speech recognition systems driven by DNNs have revolutionized human-computer interaction through voice interfaces, which significantly facilitate our daily lives. However, the growing popularity of these systems also raises special concerns on their security, particularly regarding backdoor attacks. A backdoor attack inserts one or more hidden backdoors into a DNN model during its training process, such that it does not affect the model's performance on benign inputs, but forces the model to produce an adversary-desired output if a specific trigger is present in the model input. Despite the initial success of current audio backdoor attacks, they suffer from the following limitations: (i) Most of them require sufficient knowledge, which limits their widespread adoption. (ii) They are not stealthy enough, thus easy to be detected by humans. (iii) Most of them cannot attack live speech, reducing their practicality. To address these problems, in this paper, we propose FlowMur, a stealthy and practical audio backdoor attack that can be launched with limited knowledge. FlowMur constructs an auxiliary dataset and a surrogate model to augment adversary knowledge. To achieve dynamicity, it formulates trigger generation as an optimization problem and optimizes the trigger over different attachment positions. To enhance stealthiness, we propose an adaptive data poisoning method according to Signal-to-Noise Ratio (SNR). Furthermore, ambient noise is incorporated into the process of trigger generation and data poisoning to make FlowMur robust to ambient noise and improve its practicality. Extensive experiments conducted on two datasets demonstrate that FlowMur achieves high attack performance in both digital and physical settings while remaining resilient to state-of-the-art defenses. In particular, a human study confirms that triggers generated by FlowMur are not easily detected by participants.


title: Involutive Markov categories and the quantum de Finetti theorem

abstract: Markov categories have recently emerged as a powerful high-level framework for probability theory and theoretical statistics. Here we study a quantum version of this concept, called involutive Markov categories. First, we show that these are equivalent to Parzygnat's quantum Markov categories but argue that they are simpler to work with. Our main examples of involutive Markov categories involve C*-algebras (of any dimension) as objects and completely positive unital maps as morphisms in the picture of interest. Second, we prove a quantum de Finetti theorem for both the minimal and the maximal C*-tensor norms, and we develop a categorical description of such quantum de Finetti theorems which amounts to a universal property of state spaces.


title: Exponentially localised interface eigenmodes in finite chains of resonators

abstract: This paper studies wave localisation in chains of finitely many resonators. There is an extensive theory predicting the existence of localised modes induced by defects in infinitely periodic systems. This work extends these principles to finite-sized systems. We consider finite systems of subwavelength resonators arranged in dimers that have a geometric defect in the structure. This is a classical wave analogue of the Su-Schrieffer-Heeger model. We prove the existence of a spectral gap for defectless finite dimer structures and find a direct relationship between eigenvalues being within the spectral gap and the localisation of their associated eigenmode. Then we show the existence and uniqueness of an eigenvalue in the gap in the defect structure, proving the existence of a unique localised interface mode. To the best of our knowledge, our method, based on Chebyshev polynomials, is the first to characterise quantitatively the localised interface modes in systems of finitely many resonators.

categories: math-ph cond-mat.mtrl-sci math.AP math.MP math.RA physics.optics


title: Two-particle correlation effects on nonlinear optical responses in the 1d interacting Rice-Mele model

abstract: Nonlinear responses in crystalline solids are attracting a great deal of attention because of exciting phenomena, such as the bulk photovoltaic effect in noncentrosymmetric crystals and the third harmonic generation related to Higgs modes in superconductors, and their potential applicability to electronic devices. Recently, nonlinear responses have also been studied in strongly correlated electron systems. Experimental evidence has revealed that correlations play a significant role in nonlinear responses. However, most theoretical calculations only consider excitonic effects or involve numerically demanding approaches, making interpreting the results challenging. In this paper, we adopt another approach, which is based on real-time evolution using the correlation expansion method. Particularly, we focus on the 1d interacting Rice-Mele model. We analyze the impact of the density-density interaction on the linear and nonlinear conductivities and demonstrate that two-particle correlations beyond the mean-field level enhance second-order nonlinear responses, especially the second harmonic generation, while the linear response is not strongly affected. Furthermore, by decomposing the current into a one-particle contribution and six two-particle contributions, we show that the ``biexciton transition" term and its nonlinear oscillations is the most dominant two-particle contribution to the nonlinear response. In addition, we also show that the intercell charge-charge correlation is strongly enhanced when the system is driven with the frequency corresponding to the excitonic peak and can even exceed the intracell correlation. This implies the possibility of manipulating two-particle correlations with external fields.


title: Silent Guardian: Protecting Text from Malicious Exploitation by Large Language Models

abstract: The rapid development of large language models (LLMs) has yielded impressive success in various downstream tasks. However, the vast potential and remarkable capabilities of LLMs also raise new security and privacy concerns if they are exploited for nefarious purposes due to their open-endedness. For example, LLMs may be used to plagiarize or imitate writing, thereby infringing the copyright of the original content, or to create indiscriminate fake information based on a certain source text. In some cases, LLMs can even analyze text from the Internet to infer personal privacy. Unfortunately, previous text protection research could not foresee the emergence of powerful LLMs, rendering it no longer effective in this new context. To bridge this gap, we introduce Silent Guardian (SG), a text protection mechanism against LLMs, which allows LLMs to refuse to generate response when receiving protected text, preventing the malicious use of text from the source. Specifically, we first propose the concept of Truncation Protection Examples (TPE). By carefully modifying the text to be protected, TPE can induce LLMs to first sample the end token, thus directly terminating the interaction. In addition, to efficiently construct TPE in the discrete space of text data, we propose a novel optimization algorithm called Super Tailored Protection (STP), which is not only highly efficient but also maintains the semantic consistency of the text during the optimization process. The comprehensive experimental evaluation demonstrates that SG can effectively protect the target text under various configurations and achieve almost 100% protection success rate in some cases. Notably, SG also exhibits relatively good transferability and robustness, making its application in practical scenarios possible.


title: Probing Pretrained Language Models with Hierarchy Properties

abstract: Since Pretrained Language Models (PLMs) are the cornerstone of the most recent Information Retrieval (IR) models, the way they encode semantic knowledge is particularly important. However, little attention has been given to studying the PLMs' capability to capture hierarchical semantic knowledge. Traditionally, evaluating such knowledge encoded in PLMs relies on their performance on a task-dependent evaluation approach based on proxy tasks, such as hypernymy detection. Unfortunately, this approach potentially ignores other implicit and complex taxonomic relations. In this work, we propose a task-agnostic evaluation method able to evaluate to what extent PLMs can capture complex taxonomy relations, such as ancestors and siblings. The evaluation is based on intrinsic properties that capture the hierarchical nature of taxonomies. Our experimental evaluation shows that the lexico-semantic knowledge implicitly encoded in PLMs does not always capture hierarchical relations. We further demonstrate that the proposed properties can be injected into PLMs to improve their understanding of hierarchy. Through evaluations on taxonomy reconstruction, hypernym discovery and reading comprehension tasks, we show that the knowledge about hierarchy is moderately but not systematically transferable across tasks.


title: Half canonical rings of Gorenstein spin curves of genus two

abstract: We introduce the notion of generalised Gorenstein spin structure on a curve and we give an explicit description of the associated section ring for curves of genus two with ample canonical bundle, obtaining five different formats.


title: InstructPipe: Building Visual Programming Pipelines with Human Instructions

abstract: Visual programming provides beginner-level programmers with a coding-free experience to build their customized pipelines. Existing systems require users to build a pipeline entirely from scratch, implying that novice users need to set up and link appropriate nodes all by themselves, starting from a blank workspace. We present InstructPipe, an AI assistant that enables users to start prototyping machine learning (ML) pipelines with text instructions. We designed two LLM modules and a code interpreter to execute our solution. LLM modules generate pseudocode of a target pipeline, and the interpreter renders a pipeline in the node-graph editor for further human-AI collaboration. Technical evaluations reveal that InstructPipe reduces user interactions by 81.1% compared to traditional methods. Our user study (N=16) showed that InstructPipe empowers novice users to streamline their workflow in creating desired ML pipelines, reduce their learning curve, and spark innovative ideas with open-ended commands.


title: Style Generation in Robot Calligraphy with Deep Generative Adversarial Networks

abstract: Robot calligraphy is an emerging exploration of artificial intelligence in the fields of art and education. Traditional calligraphy generation researches mainly focus on methods such as tool-based image processing, generative models, and style transfer. Unlike the English alphabet, the number of Chinese characters is tens of thousands, which leads to difficulties in the generation of a style consistent Chinese calligraphic font with over 6000 characters. Due to the lack of high-quality data sets, formal definitions of calligraphy knowledge, and scientific art evaluation methods, The results generated are frequently of low quality and falls short of professional-level requirements. To address the above problem, this paper proposes an automatic calligraphy generation model based on deep generative adversarial networks (deepGAN) that can generate style calligraphy fonts with professional standards. The key highlights of the proposed method include: (1) The datasets use a high-precision calligraphy synthesis method to ensure its high quality and sufficient quantity; (2) Professional calligraphers are invited to conduct a series of Turing tests to evaluate the gap between model generation results and human artistic level; (3) Experimental results indicate that the proposed model is the state-of-the-art among current calligraphy generation methods. The Turing tests and similarity evaluations validate the effectiveness of the proposed method.


title: Optimal Regret Bounds for Collaborative Learning in Bandits

abstract: We consider regret minimization in a general collaborative multi-agent multi-armed bandit model, in which each agent faces a finite set of arms and may communicate with other agents through a central controller. The optimal arm for each agent in this model is the arm with the largest expected mixed reward, where the mixed reward of each arm is a weighted average of its rewards across all agents, making communication among agents crucial. While near-optimal sample complexities for best arm identification are known under this collaborative model, the question of optimal regret remains open. In this work, we address this problem and propose the first algorithm with order optimal regret bounds under this collaborative bandit model. Furthermore, we show that only a small constant number of expected communication rounds is needed.


title: Gravitational form factors of the nucleon and one pion graviproduction in chiral EFT

abstract: In the framework of chiral effective field theory of delta resonances, nucleons and pions interacting with background gravitational field we calculate the gravitational form factors of the nucleon up to fourth order in the small scale expansion and obtain the long-range behavior of the corresponding contributions to the energy, spin, pressure and shear force distributions. By comparing nucleon gravitational form factors with and without delta contributions we conclude that explicit inclusion of deltas plays an important role. Next we explore the Lorentz structure of the $N \mapsto N \pi$ transition matrix element of the conserved symmetric energy-momentum tensor and introduce its parametrization in terms of twelve transition form factors. We use the chiral effective field theory to calculate the tree-order contributions to the gravitational transition form factors of the pion graviproduction off the nucleon up to third order.


title: nuScenes Knowledge Graph -- A comprehensive semantic representation of traffic scenes for trajectory prediction

abstract: Trajectory prediction in traffic scenes involves accurately forecasting the behaviour of surrounding vehicles. To achieve this objective it is crucial to consider contextual information, including the driving path of vehicles, road topology, lane dividers, and traffic rules. Although studies demonstrated the potential of leveraging heterogeneous context for improving trajectory prediction, state-of-the-art deep learning approaches still rely on a limited subset of this information. This is mainly due to the limited availability of comprehensive representations. This paper presents an approach that utilizes knowledge graphs to model the diverse entities and their semantic connections within traffic scenes. Further, we present nuScenes Knowledge Graph (nSKG), a knowledge graph for the nuScenes dataset, that models explicitly all scene participants and road elements, as well as their semantic and spatial relationships. To facilitate the usage of the nSKG via graph neural networks for trajectory prediction, we provide the data in a format, ready-to-use by the PyG library. All artefacts can be found here: https://github.com/boschresearch/nuScenes_Knowledge_Graph


title: Deformations of morphisms of sheaves

abstract: We analyse infinitesimal deformations of morphisms of locally free sheaves on a smooth projective variety $X$ over an algebraically closed field of characteristic zero. In particular, we describe a differential graded Lie algebra controlling the deformation problem. As an application, we study infinitesimal deformations of pairs given by a locally free sheaf and a subspace of it sections with a view towards Brill-Noether theory.


title: Derivations, holonomy groups and heterotic geometry

abstract: We investigate the superalgebra of derivations generated by the fundamental forms on manifolds with reduced structure group. In particular, we point out a relation between the algebra of derivations of heterotic geometries that admit Killing spinors and the commutator algebra of holonomy symmetries in sigma models. We use this to propose a Lie bracket on the space of fundamental forms of all heterotic geometries with a non-compact holonomy group and present the associated derivation algebras. We also explore the extension of these results to heterotic geometries with compact holonomy groups and, more generally, to manifolds with reduced structure group. A brief review of the classification of heterotic geometries that admit Killing spinors and an extension of this classification to some heterotic inspired geometries are also included.


title: Optimal joint cutting of two-qubit rotation gates

abstract: Circuit cutting, the partitioning of quantum circuits into smaller independent fragments, has become a promising avenue for scaling up current quantum-computing experiments. Here, we introduce a scheme for joint cutting of two-qubit rotation gates based on a virtual gate-teleportation protocol. By that, we significantly lower the previous upper bounds on the sampling overhead and prove optimality of the scheme. Furthermore, we show that no classical communication between the circuit partitions is required. For parallel two-qubit rotation gates we derive an optimal ancilla-free decomposition, which include CNOT gates as a special case.


title: A Review of Validation and Verification of Neural Network-based Policies for Sequential Decision Making

abstract: In sequential decision making, neural networks (NNs) are nowadays commonly used to represent and learn the agent's policy. This area of application has implied new software quality assessment challenges that traditional validation and verification practises are not able to handle. Subsequently, novel approaches have emerged to adapt those techniques to NN-based policies for sequential decision making. This survey paper aims at summarising these novel contributions and proposing future research directions. We conducted a literature review of recent research papers (from 2018 to beginning of 2023), whose topics cover aspects of the test or verification of NN-based policies. The selection has been enriched by a snowballing process from the previously selected papers, in order to relax the scope of the study and provide the reader with insight into similar verification challenges and their recent solutions. 18 papers have been finally selected. Our results show evidence of increasing interest for this subject. They highlight the diversity of both the exact problems considered and the techniques used to tackle them.


title: Urban Region Embedding via Multi-View Contrastive Prediction

abstract: Recently, learning urban region representations utilizing multi-modal data (information views) has become increasingly popular, for deep understanding of the distributions of various socioeconomic features in cities. However, previous methods usually blend multi-view information in a posteriors stage, falling short in learning coherent and consistent representations across different views. In this paper, we form a new pipeline to learn consistent representations across varying views, and propose the multi-view Contrastive Prediction model for urban Region embedding (ReCP), which leverages the multiple information views from point-of-interest (POI) and human mobility data. Specifically, ReCP comprises two major modules, namely an intra-view learning module utilizing contrastive learning and feature reconstruction to capture the unique information from each single view, and inter-view learning module that perceives the consistency between the two views using a contrastive prediction learning scheme. We conduct thorough experiments on two downstream tasks to assess the proposed model, i.e., land use clustering and region popularity prediction. The experimental results demonstrate that our model outperforms state-of-the-art baseline methods significantly in urban region representation learning.


title: Exploring the Feasibility of Generating Realistic 3D Models of Endangered Species Using DreamGaussian: An Analysis of Elevation Angle's Impact on Model Generation

abstract: Many species face the threat of extinction. It's important to study these species and gather information about them as much as possible to preserve biodiversity. Due to the rarity of endangered species, there is a limited amount of data available, making it difficult to apply data requiring generative AI methods to this domain. We aim to study the feasibility of generating consistent and real-like 3D models of endangered animals using limited data. Such a phenomenon leads us to utilize zero-shot stable diffusion models that can generate a 3D model out of a single image of the target species. This paper investigates the intricate relationship between elevation angle and the output quality of 3D model generation, focusing on the innovative approach presented in DreamGaussian. DreamGaussian, a novel framework utilizing Generative Gaussian Splatting along with novel mesh extraction and refinement algorithms, serves as the focal point of our study. We conduct a comprehensive analysis, analyzing the effect of varying elevation angles on DreamGaussian's ability to reconstruct 3D scenes accurately. Through an empirical evaluation, we demonstrate how changes in elevation angle impact the generated images' spatial coherence, structural integrity, and perceptual realism. We observed that giving a correct elevation angle with the input image significantly affects the result of the generated 3D model. We hope this study to be influential for the usability of AI to preserve endangered animals; while the penultimate aim is to obtain a model that can output biologically consistent 3D models via small samples, the qualitative interpretation of an existing state-of-the-art model such as DreamGaussian will be a step forward in our goal.


title: Scheduling jobs that change over time

abstract: We consider a 1-machine scheduling problem where the temperature of a job rises during processing, and cools down when not being processed according to given linear heating and cooling rates. No job's temperature is allowed to rise above a given threshold, and no job's temperature can cool below 0. Another crucial property of our problem is that jobs can be preempted an arbitrary number of times, and even more, we allow that a job is processed for an infinitely small amount of time. We consider two objectives: minimize the makespan, and minimize the sum of completion times. Our results are as follows. We show how to compactly represent a solution. Further, we prove that the problem of minimizing the sum of completion times can be solved in polynomial time by formulating it as a linear program, and deriving a structural property. This result can be extended to hold for any number of machines. Further, we show that a minimum makespan can be found in $O(n)$ time, even when heating and cooling rates are job-dependent.


title: Context-Aware Sequential Model for Multi-Behaviour Recommendation

abstract: Sequential recommendation models are crucial for next-item recommendations in online platforms, capturing complex patterns in user interactions. However, many focus on a single behavior, overlooking valuable implicit interactions like clicks and favorites. Existing multi-behavioral models often fail to simultaneously capture sequential patterns. We propose CASM, a Context-Aware Sequential Model, leveraging sequential models to seamlessly handle multiple behaviors. CASM employs context-aware multi-head self-attention for heterogeneous historical interactions and a weighted binary cross-entropy loss for precise control over behavior contributions. Experimental results on four datasets demonstrate CASM's superiority over state-of-the-art approaches.


title: When Contracts Meets Crypto: Exploring Developers' Struggles with Ethereum Cryptographic APIs

abstract: To empower smart contracts with the promising capabilities of cryptography, Ethereum officially introduced a set of cryptographic APIs that facilitate basic cryptographic operations within smart contracts, such as elliptic curve operations. However, since developers are not necessarily cryptography experts, requiring them to directly interact with these basic APIs has caused real-world security issues and potential usability challenges. To guide future research and solutions to these challenges, we conduct the first empirical study on Ethereum cryptographic practices. Through the analysis of 91,484,856 Ethereum transactions, 500 crypto-related contracts, and 483 StackExchange posts, we provide the first in-depth look at cryptographic tasks developers need to accomplish and identify five categories of obstacles they encounter. Furthermore, we conduct an online survey with 78 smart contract practitioners to explore their perspectives on these obstacles and elicit the underlying reasons. We find that more than half of practitioners face more challenges in cryptographic tasks compared to general business logic in smart contracts. Their feedback highlights the gap between low-level cryptographic APIs and high-level tasks they need to accomplish, emphasizing the need for improved cryptographic APIs, task-based templates, and effective assistance tools. Based on these findings, we provide practical implications for further improvements and outline future research directions.


title: Bakry-\'Emery calculus for entropic curvature, new diameter estimates, and spectral gaps

abstract: In this paper, we propose a generalization of Bakry-\'Emery's calculus which allows us to formulate both Bakry-\'Emery and entropic curvature simultaneously. This formulation represents both curvatures as an integral of the Bochner formula against some measure. This leads to a natural optimality criterion of measures, which we investigate in the Bakry-\'Emery setting. Moreover, our approach leads also to a dimension parameter in the framework of entropic curvature. We also present gradient estimate applications, that is, diameter estimates for Markov chains with strictly positive entropic curvature and a spectral gap estimate. The latter implies non-existence of non-negatively curved expanders.


title: Simple solutions of the Yang-Baxter equation

abstract: We present a characterization of simple finite non-degenerate bijective set-theoretic solutions of the Yang-Baxter equation in terms of the algebraic structure of the associated permutation skew left braces. In particular, we prove that they need to have a unique minimal non-zero ideal and modulo this ideal one obtains a trivial skew left brace of cyclic type.


title: Shaping and Being Shaped by Drones: Supporting Perception-Action Loops

abstract: We report on a three-day challenge during which five teams each programmed a nanodrone to be piloted through an obstacle course using bodily movement, in a 3D transposition of the '80s video-game Pacman. Using a bricolage approach to analyse interviews, field notes, video recordings, and inspection of each team's code revealed how participants were shaping and, in turn, became shaped in bodily ways by the drones' limitations. We observed how teams adapted to compete by: 1) shifting from aiming for seamless human-drone interaction, to seeing drones as fragile, wilful, and prone to crashes; 2) engaging with intimate, bodily interactions to more precisely understand, probe, and delimit each drone's capabilities; 3) adopting different strategies, emphasising either training the drone or training the pilot. We contribute with an empirical, somaesthetically focused account of current challenges in HDI and call for programming environments that support action-feedback loops for design and programming purposes.


title: Location of the QCD critical point predicted by holographic Bayesian analysis

abstract: We present results for a Bayesian analysis of the location of the QCD critical point constrained by first-principles lattice QCD results at zero baryon density. We employ a holographic Einstein-Maxwell-dilaton model of the QCD equation of state, capable of reproducing the latest lattice QCD results at zero and finite baryon chemical potential. Our analysis is carried out for two different parametrizations of this model, resulting in confidence intervals for the critical point location that overlap at one sigma. While samples of the prior distribution may not even predict a critical point, or produce critical points spread around a large region of the phase diagram, posterior samples nearly always present a critical point at chemical potentials of $\mu_{Bc} \sim 550 - 630$ MeV.


title: Comments on "Climbing Escher's stairs: A way to approximate stability landscapes in multidimensional systems"

abstract: The article under discussion, titled "Climbing Escher's stairs: A way to approximate stability landscapes in multidimensional systems" (doi: 10.1371/journal.pcbi.1007788), has captured our attention due to important methodological limitations that we believe warrant discussion. Our aim in writing this Formal Comment is to bring to the attention of potential readers and users the following key points: 1. The construction of the potential landscape function necessitates the global integrability of the velocity functions. However, the decomposition method outlined in this article is only applied to the Jacobian of the velocity functions instead of the velocity functions themselves, which leads to path-dependent integrals. Such a characteristic is not desirable for a potential landscape function. 2. In the article's implementation, integration is conducted along the x- and y-axes. This approach renders the decomposition method, which primarily affects the non-diagonal elements in the Jacobian matrix, ineffective. 3. We provide evidence that removing the core step of the method, the decomposition process, in the rolldown package (now renamed as waydown), results in identical output. This finding highlights the ineffectiveness of this crucial implementation step. 4. In our Comment, we also offer recommendations for potential alternatives for readers interested in constructing potential landscape functions.


title: Quilt: Robust Data Segment Selection against Concept Drifts

abstract: Continuous machine learning pipelines are common in industrial settings where models are periodically trained on data streams. Unfortunately, concept drifts may occur in data streams where the joint distribution of the data X and label y, P(X, y), changes over time and possibly degrade model accuracy. Existing concept drift adaptation approaches mostly focus on updating the model to the new data possibly using ensemble techniques of previous models and tend to discard the drifted historical data. However, we contend that explicitly utilizing the drifted data together leads to much better model accuracy and propose Quilt, a data-centric framework for identifying and selecting data segments that maximize model accuracy. To address the potential downside of efficiency, Quilt extends existing data subset selection techniques, which can be used to reduce the training data without compromising model accuracy. These techniques cannot be used as is because they only assume virtual drifts where the posterior probabilities P(y|X) are assumed not to change. In contrast, a key challenge in our setup is to also discard undesirable data segments with concept drifts. Quilt thus discards drifted data segments and selects data segment subsets holistically for accurate and efficient model training. The two operations use gradient-based scores, which have little computation overhead. In our experiments, we show that Quilt outperforms state-of-the-art drift adaptation and data selection baselines on synthetic and real datasets.


title: Positivity and global existence for nonlocal advection-diffusion models of interacting populations

abstract: In this paper we study a broad class of non-local advection-diffusion models describing the behaviour of an arbitrary number of interacting species, each moving in response to the non-local presence of others. Our model allows for different non-local interaction kernels for each species and arbitrarily many spatial dimensions. We prove the global existence of both non-negative weak solutions in any spatial dimension and positive classical solutions in one spatial dimension. These results generalise and unify various existing results regarding existence of non-local advection-diffusion equations. We also prove that solutions can blow up in finite time when the detection radius becomes zero, i.e. when the system is local, thus showing that nonlocality is essential for the global existence of solutions. We verify our results with some numerical simulations on 2D spatial domains.


title: Prompting Large Language Models for Topic Modeling

abstract: Topic modeling is a widely used technique for revealing underlying thematic structures within textual data. However, existing models have certain limitations, particularly when dealing with short text datasets that lack co-occurring words. Moreover, these models often neglect sentence-level semantics, focusing primarily on token-level semantics. In this paper, we propose PromptTopic, a novel topic modeling approach that harnesses the advanced language understanding of large language models (LLMs) to address these challenges. It involves extracting topics at the sentence level from individual documents, then aggregating and condensing these topics into a predefined quantity, ultimately providing coherent topics for texts of varying lengths. This approach eliminates the need for manual parameter tuning and improves the quality of extracted topics. We benchmark PromptTopic against the state-of-the-art baselines on three vastly diverse datasets, establishing its proficiency in discovering meaningful topics. Furthermore, qualitative analysis showcases PromptTopic's ability to uncover relevant topics in multiple datasets.


title: Spin Injection into and Spin Pumping by Non-Collinear Antiferromagnets

abstract: Antiferromagnets (AFMs) attract much research interest because of their potential for spintronic applications and open fundamental physics questions. Especially non-collinear AFMs (nAFMs) remain relatively unexplored. Here we formulate the injection, transport, thermal and coherent pumping of spins in nAFMs|normal metal bilayers, reporting that the spin current polarization is a vector with components along both the N\'{e}el vector and net magnetic moment. The interface spin conductance that governs spin injection and pumping is a tensor and depends strongly on the local spin configuration. We explain non-local spin transport experiments in hematite, attribute the controversial sign problem of the antiferromagnetic spin Seebeck effect to interface effects, and suggest that interface engineering may enhance the spin pumping efficiency.


title: Robustness Verification of Deep Reinforcement Learning Based Control Systems using Reward Martingales

abstract: Deep Reinforcement Learning (DRL) has gained prominence as an effective approach for control systems. However, its practical deployment is impeded by state perturbations that can severely impact system performance. Addressing this critical challenge requires robustness verification about system performance, which involves tackling two quantitative questions: (i) how to establish guaranteed bounds for expected cumulative rewards, and (ii) how to determine tail bounds for cumulative rewards. In this work, we present the first approach for robustness verification of DRL-based control systems by introducing reward martingales, which offer a rigorous mathematical foundation to characterize the impact of state perturbations on system performance in terms of cumulative rewards. Our verified results provide provably quantitative certificates for the two questions. We then show that reward martingales can be implemented and trained via neural networks, against different types of control policies. Experimental results demonstrate that our certified bounds tightly enclose simulation outcomes on various DRL-based control systems, indicating the effectiveness and generality of the proposed approach.


title: Improved models for near-Earth asteroids (2100) Ra-Shalom, (3103) Eger, (12711) Tukmit & (161989) Cacus

abstract: We present 24 new dense lightcurves of the near-Earth asteroids (3103) Eger, (161989) Cacus, (2100) Ra-Shalom and (12711) Tukmit, obtained with the Instituto Astrof\'isico Canarias 80 and Telescopio Abierto Remoto 2 telescopes at the Teide Observatory (Tenerife, Spain) during 2021 and 2022, in the framework of projects visible NEAs observations survey and NEO Rapid Observation, Characterization and Key Simulations. The shape models and rotation state parameters ($P$, $\lambda$, $\beta$) were computed by applying the lightcurve inversion method to the new data altogether with the archival data. For (3013) Eger and (161989) Cacus, our shape models and rotation state parameters agree with previous works, though they have smaller uncertainties. For (2100) Ra-Shalom, our results also agree with previous studies. Still, we find that a Yarkovsky - O'Keefe - Radzievskii - Paddack acceleration of $\upsilon = (0.223\pm0.237)\times10^{-8}$ rad d$^{-2}$ slightly improves the fit of the lightcurves, suggesting that (2100) Ra-Shalom could be affected by this acceleration. We also present for the first time a shape model for (12711) Tukmit, along with its rotation state parameters ($P=3.484900 \pm 0.000031$ hr, $\lambda = 27^{\circ}\pm 8^{\circ}$, $\beta = 9^{\circ} \pm 15^{\circ}$).


title: A Comparison of Models for Rolling Stock Scheduling

abstract: A major step in the planning process of passenger railway operators is the assignment of rolling stock, i.e., train units, to the trips of the timetable. A wide variety of mathematical optimization models have been proposed to support this task, which we discuss and argue to be justified in order to deal with operational differences between railway operators, and hence different planning requirements, in the best possible way. Our investigation focuses on two commonly used models, the Composition model and the Hypergraph model, that were developed for Netherlands Railways (NS) and DB Fernverkehr AG (DB), respectively. We compare these models in a rolling stock scheduling setting similar to that of NS, which we show to be strongly NP-hard, and propose different variants of the Hypergraph model to tune the model to the NS setting. We prove that, in this setting, the linear programming bounds of both models are equally strong as long as a Hypergraph model variant is chosen that is sufficiently expressive. However, through a numerical evaluation on NS instances, we show that the Composition model is generally more compact in practice and can find optimal solutions in the shortest running time.


title: Smoothing for age-period-cohort models: a comparison between splines and random process

abstract: Age-Period-Cohort (APC) models are well used in the context of modelling health and demographic data to produce smooth estimates of each time trend. When smoothing in the context of APC models, there are two main schools, frequentist using penalised smoothing splines, and Bayesian using random processes with little crossover between them. In this article, we clearly lay out the theoretical link between the two schools, provide examples using simulated and real data to highlight similarities and difference, and help a general APC user understand potentially inaccessible theory from functional analysis. As intuition suggests, both approaches lead to comparable and almost identical in-sample predictions, but random processes within a Bayesian approach might be beneficial for out-of-sample prediction as the sources of uncertainty are captured in a more complete way.


title: Social, Legal, Ethical, Empathetic, and Cultural Rules: Compilation and Reasoning (Extended Version)

abstract: The rise of AI-based and autonomous systems is raising concerns and apprehension due to potential negative repercussions stemming from their behavior or decisions. These systems must be designed to comply with the human contexts in which they will operate. To this extent, Townsend et al. (2022) introduce the concept of SLEEC (social, legal, ethical, empathetic, or cultural) rules that aim to facilitate the formulation, verification, and enforcement of the rules AI-based and autonomous systems should obey. They lay out a methodology to elicit them and to let philosophers, lawyers, domain experts, and others to formulate them in natural language. To enable their effective use in AI systems, it is necessary to translate these rules systematically into a formal language that supports automated reasoning. In this study, we first conduct a linguistic analysis of the SLEEC rules pattern, which justifies the translation of SLEEC rules into classical logic. Then we investigate the computational complexity of reasoning about SLEEC rules and show how logical programming frameworks can be employed to implement SLEEC rules in practical scenarios. The result is a readily applicable strategy for implementing AI systems that conform to norms expressed as SLEEC rules.


title: A study on the kinetic arrest of magnetic phases in nanostructured Nd0.6Sr0.4MnO3 thin films

abstract: The Nd0.6Sr0.4MnO3 manganite system exhibits a phase transition from paramagnetic insulating (PMI) to ferromagnetic metallic (FMM) state around its Curie temperature TC = 270 K (bulk). The morphology-driven changes in the kinetically arrested magnetic phases in NSMO thin films with granular and a crossed-nano-rod-type morphology are studied. At low temperatures, the manganite thin films possess a magnetic glassy state arising from the coexistence of the high-temperature PMI phase and the low-temperature FMM phase. The extent of kinetic arrest and its relaxation was studied using the "cooling and heating in unequal field (CHUF)" protocol in magnetic and magneto-transport investigations. The sample with rod morphology showed a large extent of phase coexistence compared to the granular sample. Further, with a field-cooling protocol, time-evolution studies were carried out to understand the relaxation of arrested magnetic phases across these morphologically distinct thin films. The results on the devitrification of the arrested magnetic state are interpreted from the point of view of homogeneous and heterogeneous nucleation of the FM phase in the PM matrix with respect to temperature.


title: Non-monotonic temperature dependence of electron viscosity and crossover to high-temperature universal viscous fluid in monolayer and bilayer graphene

abstract: Electrons in quantum matter behave like a fluid when the quantum-mechanical carrier-carrier scattering dominates over other relaxation mechanisms. By combining a microscopic treatment of electron-electron interactions within the random phase approximation with a phenomenological Navier-Stokes like equation, we predict that in the limit of high temperature and strong Coulomb interactions, both monolayer and bilayer graphene exhibit a universal behavior in dynamic viscosity. We find that the dynamic viscosity to entropy density ratio for bilayer graphene is closer to the holographic bound suggesting that such a bound might be observable in a condensed matter system. We discuss how this could be observed experimentally using a magnetoconductance measurements in a Corbino geometry for a realistic range of temperature and carrier density.


title: Watching the Universe's acceleration era with the SKAO

abstract: The possibility of watching the Universe expand in real time and in a model-independent way, first envisaged by Allan Sandage more than 60 years ago and known as the redshift drift, is within reach of forthcoming astrophysical facilities, particularly the Extremely Large Telescope (ELT) and the Square Kilometre Array Observatory (SKAO). The latter, probing lower redshifts, enables us to watch the Universe's acceleration era in real time, while the former does the same for the matter era. We use Fisher Matrix Analysis techniques, which we show to give comparable results to those of a Markov Chain Monte Carlo approach, to discuss forecasts for SKAO measurements of the redshift drift and their cosmological impact. We consider specific fiducial cosmological models but mainly rely on a more agnostic cosmographic series (which includes the deceleration and jerk parameters), and we also discuss prospects for measurements of the drift of the drift. Overall, our analysis shows that SKAO measurements, with a reasonable amount of observing time, can provide a competitive probe of the low-redshift accelerating Universe.


title: Gradient Based Hybridization of PSO

abstract: Particle Swarm Optimization (PSO) has emerged as a powerful metaheuristic global optimization approach over the past three decades. Its appeal lies in its ability to tackle complex multidimensional problems that defy conventional algorithms. However, PSO faces challenges, such as premature stagnation in single-objective scenarios and the need to strike a balance between exploration and exploitation. Hybridizing PSO by integrating its cooperative nature with established optimization techniques from diverse paradigms offers a promising solution. In this paper, we investigate various strategies for synergizing gradient-based optimizers with PSO. We introduce different hybridization principles and explore several approaches, including sequential decoupled hybridization, coupled hybridization, and adaptive hybridization. These strategies aim to enhance the efficiency and effectiveness of PSO, ultimately improving its ability to navigate intricate optimization landscapes. By combining the strengths of gradient-based methods with the inherent social dynamics of PSO, we seek to address the critical objectives of intelligent exploration and exploitation in complex optimization tasks. Our study delves into the comparative merits of these hybridization techniques and offers insights into their application across different problem domains.


title: Quantum Hall effect in InAsSb quantum wells at elevated temperatures

abstract: We have characterized the electronic properties of a high-mobility two-dimensional electron system in modulation doped InAsSb quantum wells and compare them to InSb quantum wells grown in a similar fashion. Using temperature-dependent Shubnikov-de Haas experiments as well as FIR transmission we find an effective mass of $m^{\ast} \approx$ 0.022$m_{e}$, which is lower than in the investigated InSb quantum well, but due to a rather strong confinement still higher than in the corresponding bulk compound. The effective $g$-factor was determined to be $g^{\ast} \approx$ 21.9. These results are also corroborated by $k \cdot p$ band structure calculations. When spin polarizing the electrons in a tilted magnetic field, the $g$-factor is significantly enhanced by electron-electron interactions, reaching a value as large as $g^{\ast}$ = 60 at a spin polarization P = 0.75. Finally, we show that due to the low effective mass the quantum Hall effect in our particular sample can be observed up to a temperature of 60 K and we propose scenarios how to increase this temperature even further.


title: Latest ALICE results on charm and beauty hadronisation in hadronic collisions

abstract: The study of heavy-flavour mesons and baryons in hadronic collisions provides unique access to the properties of heavy-quark hadronisation in the presence of large partonic densities, where new mechanisms of hadron formation beyond in-vacuum fragmentation can emerge. Performing these measurements in intervals of charged-particle multiplicities across different collision systems provides sensitivity to understand whether different hadronisation mechanisms are at play in small and large hadronic colliding systems. In this contribution, a selection of the latest charm and beauty production measurements in proton--proton (pp) collisions is presented, which can shed light on the modification of the heavy-quark hadronisation mechanisms with respect to leptonic collisions. New published results of the production of all prompt charm ground states in pp collisions at $\sqrt{s}=13$~TeV, which allowed us to measure the charm fragmentation fractions and the total $\rm c\bar{c}$ production cross section at midrapidity, will be shown. The new final measurement of non-prompt (i.e. originating from beauty-hadron decays) $\rm \Lambda_c^+$ baryons in the same collisions system will be discussed to provide a quantitative comparison between the hadronisation properties of beauty and charm hadrons. New measurements of $\rm \Xi_c^0$ production as a function of charged-particle multiplicity in pp collisions at $\sqrt{s}=13$~TeV, and of $\rm \Xi_c^0$ production in p--Pb collisions at $\sqrt{s_{\rm NN}}=5.02$~TeV, will be also presented, shedding further light on the hadronisation of charm-strange baryons in different colliding systems.


title: On the dynamics of a three-dimensional differential system related to the normalized Ricci flow on generalized Wallach spaces

abstract: We study the behavior of a three-dimensional dynamical system with respect to some set $S$ given in 3-dimensional euclidian space. Geometrically such a system arises from the normalized Ricci flow on some class of generalized Wallach spaces that can be described by a real parameter $a\in (0,1/2)$, as for~$S$ it represents the set of invariant Riemannian metrics of positive sectional curvature on the Wallach spaces. Establishing that $S$ is bounded by three conic surfaces and regarding the normalized Ricci flow as an abstract dynamical system we find out the character of interrelations between that system and~$S$ for all $a\in (0,1/2)$. These results can cover some well-known results, in particular, they can imply that the normalized Ricci flow evolves all generic invariant Riemannian metrics with positive sectional curvature into metrics with mixed sectional curvature on the Wallach spaces corresponding to the cases $a\in \{1/9, 1/8, 1/6\}$ of generalized Wallach spaces.


title: A return-diversification approach to portfolio selection

abstract: In this paper, we propose a general bi-objective model for portfolio selection, aiming to maximize both a diversification measure and the portfolio expected return. Within this general framework, we focus on maximizing a diversification measure recently proposed by Choueifaty and Coignard for the case of volatility as a risk measure. We first show that the maximum diversification approach is actually equivalent to the Risk Parity approach using volatility under the assumption of equicorrelated assets. Then, we extend the maximum diversification approach formulated for general risk measures. Finally, we provide explicit formulations of our bi-objective model for different risk measures, such as volatility, Mean Absolute Deviation, Conditional Value-at-Risk, and Expectiles, and we present extensive out-of-sample performance results for the portfolios obtained with our model. The empirical analysis, based on five real-world data sets, shows that the return-diversification approach provides portfolios that tend to outperform the strategies based only on a diversification method or on the classical risk-return approach.


title: GraphRARE: Reinforcement Learning Enhanced Graph Neural Network with Relative Entropy

abstract: Graph neural networks (GNNs) have shown advantages in graph-based analysis tasks. However, most existing methods have the homogeneity assumption and show poor performance on heterophilic graphs, where the linked nodes have dissimilar features and different class labels, and the semantically related nodes might be multi-hop away. To address this limitation, this paper presents GraphRARE, a general framework built upon node relative entropy and deep reinforcement learning, to strengthen the expressive capability of GNNs. An innovative node relative entropy, which considers node features and structural similarity, is used to measure mutual information between node pairs. In addition, to avoid the sub-optimal solutions caused by mixing useful information and noises of remote nodes, a deep reinforcement learning-based algorithm is developed to optimize the graph topology. This algorithm selects informative nodes and discards noisy nodes based on the defined node relative entropy. Extensive experiments are conducted on seven real-world datasets. The experimental results demonstrate the superiority of GraphRARE in node classification and its capability to optimize the original graph topology.


title: ParsNets: A Parsimonious Orthogonal and Low-Rank Linear Networks for Zero-Shot Learning

abstract: This paper provides a novel parsimonious yet efficient design for zero-shot learning (ZSL), dubbed ParsNets, where we are interested in learning a composition of on-device friendly linear networks, each with orthogonality and low-rankness properties, to achieve equivalent or even better performance against existing deep models. Concretely, we first refactor the core module of ZSL, i.e., visual-semantics mapping function, into several base linear networks that correspond to diverse components of the semantic space, where the complex nonlinearity can be collapsed into simple local linearities. Then, to facilitate the generalization of local linearities, we construct a maximal margin geometry on the learned features by enforcing low-rank constraints on intra-class samples and high-rank constraints on inter-class samples, resulting in orthogonal subspaces for different classes and each subspace lies on a compact manifold. To enhance the model's adaptability and counterbalance over/under-fittings in ZSL, a set of sample-wise indicators is employed to select a sparse subset from these base linear networks to form a composite semantic predictor for each sample. Notably, maximal margin geometry can guarantee the diversity of features, and meanwhile, local linearities guarantee efficiency. Thus, our ParsNets can generalize better to unseen classes and can be deployed flexibly on resource-constrained devices. Theoretical explanations and extensive experiments are conducted to verify the effectiveness of the proposed method.


title: Differential graded vertex Lie algebras

abstract: This is the continuation of the study of differential graded (dg) vertex algebras previously defined by the authors. The goal of this paper is to construct a functor from the category of dg vertex Lie algebras to the category of dg vertex algebras which is left adjoint to the forgetful functor. This functor not only provides an abundant number of examples of dg vertex algebras, but it is also an important step in constructing a homotopy theory in the category of vertex algebras. Vertex Lie algebras were introduced as analogues of vertex algebras, but in which we only consider the singular part of the vertex operator map and the equalities it satisfies. In this paper, we extend the definition of vertex Lie algebras to the dg setting. We construct a pair of adjoint functors between the categories of dg vertex algebras and dg vertex Lie algebras, which leads to the explicit construction of dg vertex (operator) algebras. We will give examples based on the Virasoro algebra, the Neveu-Schwarz algebra, and dg Lie algebras.


title: Timing-As-A-Service (TAAS): On the role of mobile service providers in the context of integrated Industrial Internet of Things (IIoT)

abstract: Traditionally, the production efficiency of a factory floor is evaluated using non-real time objective functions. These are based on scheduling punctuality criteria such as 'earliness (a measure of finishing operations ahead of schedule)' and 'tardiness (a measure of delay in executing certain operations)'. With process automation becoming more and more inevitable due to the emergence of Industry 4.0 / Industry 5.0, real-time objective functions are also gaining popularity. One such criterion is 'synchronization' or 'timing'. In this article, an IoT enabled real-time synchronization approach is presented in the context of Integrated Industrial Internet of Things (IIoT) from a service provider's perspective. A new business and operational model, termed as "Timing-As-A-Service (TAAS)", is introduced. In this model, the role of a service provider is to "supply" synchronization from the mobile networks to the IIoT domain.


title: Geometric conservation in curved spacetime and entropy

abstract: We provide an improved definition of new conserved quantities derived from the energy-momentum tensor in curved spacetime by introducing an additional scalar function. We find that the conserved current and the associated conserved charge become geometric under a certain initial condition of the scalar function, and show that such a conserved geometric current generally exists in curved spacetime. Furthermore, we demonstrate that the geometric conserved current agrees with the entropy current for the perfect fluid, thus the conserved charge is the total entropy of the system. While the geometric charge can be regarded as the entropy for non-dissipative fluid, its physical meaning should be investigated for more general cases.


title: The classification of vertex operator algebras of OZ-type generated by Ising vectors of $\sigma$-type

abstract: We classify vertex operator algebras (VOAs) of OZ-type generated by Ising vectors of $\sigma$-type. As a consequence of the classification, we also prove that such VOAs are simple, rational, $C_2$-cofinite and unitary, that is, they have compact real forms generated by Ising vectors of $\sigma$-type over the real numbers.


title: Heat radiation and transfer for nanoparticles in the presence of a cylinder

abstract: We study heat radiation and radiative heat transfer for nanoparticles in the presence of an infinitely long cylinder in different geometrical configurations, based on its electromagnetic Green's tensor. The heat radiation of a single particle can be enhanced by placing it close to a nanowire, and this enhancement can be much larger as compared to placing it close to a plate of the same material. The heat transfer along a cylinder decays much slower than through empty vacuum, being especially long-ranged in the case of a perfectly conducting nanowire, and showing nonmonotonic behavior in the case of a SiC cylinder. Exploring the dependence on the relative azimuthal angle of the nanoparticles, we find that the results are insensitive to small angles, but they can be drastically different when the angle is large, depending on the material. Finally, we demonstrate that a cylinder can either enhance or block the heat flux when placed perpendicular to the interparticle distance line, where the blocking in particular is strongly enhanced compared to the geometry of a sphere of same radius.


title: CETN: Contrast-enhanced Through Network for CTR Prediction

abstract: Click-through rate (CTR) Prediction is a crucial task in personalized information retrievals, such as industrial recommender systems, online advertising, and web search. Most existing CTR Prediction models utilize explicit feature interactions to overcome the performance bottleneck of implicit feature interactions. Hence, deep CTR models based on parallel structures (e.g., DCN, FinalMLP, xDeepFM) have been proposed to obtain joint information from different semantic spaces. However, these parallel subcomponents lack effective supervisory signals, making it challenging to efficiently capture valuable multi-views feature interaction information in different semantic spaces. To address this issue, we propose a simple yet effective novel CTR model: Contrast-enhanced Through Network for CTR (CETN), so as to ensure the diversity and homogeneity of feature interaction information. Specifically, CETN employs product-based feature interactions and the augmentation (perturbation) concept from contrastive learning to segment different semantic spaces, each with distinct activation functions. This improves diversity in the feature interaction information captured by the model. Additionally, we introduce self-supervised signals and through connection within each semantic space to ensure the homogeneity of the captured feature interaction information. The experiments and research conducted on four real datasets demonstrate that our model consistently outperforms twenty baseline models in terms of AUC and Logloss.


title: Let All be Whitened: Multi-teacher Distillation for Efficient Visual Retrieval

abstract: Visual retrieval aims to search for the most relevant visual items, e.g., images and videos, from a candidate gallery with a given query item. Accuracy and efficiency are two competing objectives in retrieval tasks. Instead of crafting a new method pursuing further improvement on accuracy, in this paper we propose a multi-teacher distillation framework Whiten-MTD, which is able to transfer knowledge from off-the-shelf pre-trained retrieval models to a lightweight student model for efficient visual retrieval. Furthermore, we discover that the similarities obtained by different retrieval models are diversified and incommensurable, which makes it challenging to jointly distill knowledge from multiple models. Therefore, we propose to whiten the output of teacher models before fusion, which enables effective multi-teacher distillation for retrieval models. Whiten-MTD is conceptually simple and practically effective. Extensive experiments on two landmark image retrieval datasets and one video retrieval dataset demonstrate the effectiveness of our proposed method, and its good balance of retrieval performance and efficiency. Our source code is released at https://github.com/Maryeon/whiten_mtd.


title: Non-gravitational signals of dark energy under a gauge symmetry

abstract: We investigate non-gravitational signals of dark energy within the framework of gauge symmetry in the dark energy sector. Traditionally, dark energy has been primarily studied through gravitational effects within general relativity or its extensions. On the other hand, the gauge principles have played a central role in the standard model sector and dark matter sector. If the dark energy field operates under a gauge symmetry, it introduces the possibility of studying all major components of the present universe under the same gauge principle. This approach marks a significant shift from conventional methodologies, offering a new avenue to explore dark energy.


title: Discovering Highly Influential Shortcut Reasoning: An Automated Template-Free Approach

abstract: Shortcut reasoning is an irrational process of inference, which degrades the robustness of an NLP model. While a number of previous work has tackled the identification of shortcut reasoning, there are still two major limitations: (i) a method for quantifying the severity of the discovered shortcut reasoning is not provided; (ii) certain types of shortcut reasoning may be missed. To address these issues, we propose a novel method for identifying shortcut reasoning. The proposed method quantifies the severity of the shortcut reasoning by leveraging out-of-distribution data and does not make any assumptions about the type of tokens triggering the shortcut reasoning. Our experiments on Natural Language Inference and Sentiment Analysis demonstrate that our framework successfully discovers known and unknown shortcut reasoning in the previous work.


title: On the calibration of neural networks for histological slide-level classification

abstract: Deep Neural Networks have shown promising classification performance when predicting certain biomarkers from Whole Slide Images in digital pathology. However, the calibration of the networks' output probabilities is often not evaluated. Communicating uncertainty by providing reliable confidence scores is of high relevance in the medical context. In this work, we compare three neural network architectures that combine feature representations on patch-level to a slide-level prediction with respect to their classification performance and evaluate their calibration. As slide-level classification task, we choose the prediction of Microsatellite Instability from Colorectal Cancer tissue sections. We observe that Transformers lead to good results in terms of classification performance and calibration. When evaluating the classification performance on a separate dataset, we observe that Transformers generalize best. The investigation of reliability diagrams provides additional insights to the Expected Calibration Error metric and we observe that especially Transformers push the output probabilities to extreme values, which results in overconfident predictions.


title: RIS-Enabled NLoS Near-Field Joint Position and Velocity Estimation under User Mobility

abstract: In the context of single-base station (BS) non-line-of-sight (NLoS) single-epoch localization with the aid of a reflective reconfigurable intelligent surface (RIS), this paper introduces a novel three-step algorithm that jointly estimates the position and velocity of a mobile user equipment (UE), while compensating for the Doppler effects observed in near-field (NF) at the RIS elements over the short transmission duration of a sequence of downlink (DL) pilot symbols. First, a low-complexity initialization procedure is proposed, relying in part on far-field (FF) approximation and a static user assumption. Then, an alternating optimization procedure is designed to iteratively refine the velocity and position estimates, as well as the channel gain. The refinement routines leverage small angle approximations and the linearization of the RIS response, accounting for both NF and mobility effects. We evaluate the performance of the proposed algorithm through extensive simulations under diverse operating conditions with regard to signal-to-noise ratio (SNR), UE mobility, uncontrolled multipath and RIS-UE distance. Our results reveal remarkable performance improvements over the state-of-the-art (SoTA) mobility-agnostic benchmark algorithm, while indicating convergence of the proposed algorithm to respective theoretical bounds on position and velocity estimation.


title: Dark Energy Survey Deep Field photometric redshift performance and training incompleteness assessment

abstract: Context. The determination of accurate photometric redshifts (photo-zs) in large imaging galaxy surveys is key for cosmological studies. One of the most common approaches are machine learning techniques. These methods require a spectroscopic or reference sample to train the algorithms. Attention has to be paid to the quality and properties of these samples since they are key factors in the estimation of reliable photo-zs. Aims. The goal of this work is to calculate the photo-zs for the Y3 DES Deep Fields catalogue using the DNF machine learning algorithm. Moreover, we want to develop techniques to assess the incompleteness of the training sample and metrics to study how incompleteness affects the quality of photometric redshifts. Finally, we are interested in comparing the performance obtained with respect to the EAzY template fitting approach on Y3 DES Deep Fields catalogue. Methods. We have emulated -- at brighter magnitude -- the training incompleteness with a spectroscopic sample whose redshifts are known to have a measurable view of the problem. We have used a principal component analysis to graphically assess incompleteness and to relate it with the performance parameters provided by DNF. Finally, we have applied the results about the incompleteness to the photo-z computation on Y3 DES Deep Fields with DNF and estimated its performance. Results. The photo-zs for the galaxies on DES Deep Fields have been computed with the DNF algorithm and added to the Y3 DES Deep Fields catalogue. They are available at https://des.ncsa.illinois.edu/releases/y3a2/Y3deepfields. Some techniques have been developed to evaluate the performance in the absence of "true" redshift and to assess completeness. We have studied... (Partial abstract)


title: Radio jets in NGC 1068 with e-MERLIN and VLA: structure and morphology

abstract: We present new high-sensitivity e-MERLIN and VLA radio images of the prototypical Seyfert 2 galaxy NGC 1068 at 5, 10 and 21 GHz. We image the radio jet, from the compact components NE, C, S1 and S2 to the faint double-lobed jet structure of the NE and SW jet lobes. Furthermore, we map the jet between by combining e-MERLIN and VLA data for the first time. Components NE, C and S2 have steep spectra indicative of optically-thin non-thermal emission domination between 5 and 21 GHz. Component S1, which is where the AGN resides, has a flat radio spectrum. We report a new component, S2a, a part of the southern jet. We compare these new data with the MERLIN and VLA data observed in 1983, 1992 and 1995 and report a flux decrease by a factor of 2 in component C, suggesting variability of this jet component. With the high angular resolution e-MERLIN maps, we detect the bow shocks in the NE jet lobe that coincide with the molecular gas outflows observed with ALMA. The NE jet lobe has enough radio power considered to be responsible for driving out the dense molecular gas observed with ALMA around the same region.


title: Tracking Skiers from the Top to the Bottom

abstract: Skiing is a popular winter sport discipline with a long history of competitive events. In this domain, computer vision has the potential to enhance the understanding of athletes' performance, but its application lags behind other sports due to limited studies and datasets. This paper makes a step forward in filling such gaps. A thorough investigation is performed on the task of skier tracking in a video capturing his/her complete performance. Obtaining continuous and accurate skier localization is preemptive for further higher-level performance analyses. To enable the study, the largest and most annotated dataset for computer vision in skiing, SkiTB, is introduced. Several visual object tracking algorithms, including both established methodologies and a newly introduced skier-optimized baseline algorithm, are tested using the dataset. The results provide valuable insights into the applicability of different tracking methods for vision-based skiing analysis. SkiTB, code, and results are available at https://machinelearning.uniud.it/datasets/skitb.


title: Embeddings of block-radial functions -- approximation properties and nuclearity

abstract: Let $ R_\gamma B^{s}_{p,q}(\mathbb{R}d)$ be a subspace of the Besov space $B^{s}_{p,q}(\mathbb{R}^d)$ that consists of block-radial (multi-radial) functions. We study an asymptotic behaviour of approximation numbers of compact embeddings $id: R_\gamma B^{s_1}_{p_1,q_1}(\mathbb{R}^d) \rightarrow R_\gamma B^{s_2}_{p_2,q_2}(\mathbb{R}^d)$. Moreover we find the sufficient and necessary condition for nuclearity of the above embeddings. Analogous results are proved for fractional Sobolev spaces $R_\gamma H^s_p(\mathbb{R}^d)$.


title: An Ext-Tor duality theorem, cohomological dimension, and applications

abstract: We provide a duality theorem between Ext and Tor modules over a Cohen-Macaulay local ring possessing a canonical module, and use it to prove some freeness criteria for finite modules. The applications include a characterization of codimension three complete intersection ideals and progress on a long-held multi-conjecture of Vasconcelos. By a similar technique, we furnish another theorem which in addition makes use of the notion of cohomological dimension and is mainly of interest in dimension one; as an application, we show that the celebrated Huneke-Wiegand conjecture in the case of complete intersections holds true provided that a single additional condition is satisfied.


title: Fate of Boltzmann's breathers: Stokes hypothesis and anomalous thermalization

abstract: Boltzmann showed that in spite of momentum and energy redistribution through collisions, a rarefied gas confined in a isotropic harmonic trapping potential does not reach equilibrium; it evolves instead into a breathing mode where density, velocity and temperature oscillate. This counter-intuitive prediction is upheld by cold atoms experiments. Yet, are the breathers eternal solutions of the dynamics even in an idealized and isolated system? We show by a combination of hydrodynamic arguments and Molecular Dynamics simulations that an original dissipative mechanism is at work, where the minute and often neglected bulk viscosity eventually thermalizes the system, that thus reaches equilibrium.


title: LiteVSR: Efficient Visual Speech Recognition by Learning from Speech Representations of Unlabeled Data

abstract: This paper proposes a novel, resource-efficient approach to Visual Speech Recognition (VSR) leveraging speech representations produced by any trained Automatic Speech Recognition (ASR) model. Moving away from the resource-intensive trends prevalent in recent literature, our method distills knowledge from a trained Conformer-based ASR model, achieving competitive performance on standard VSR benchmarks with significantly less resource utilization. Using unlabeled audio-visual data only, our baseline model achieves a word error rate (WER) of 47.4% and 54.7% on the LRS2 and LRS3 test benchmarks, respectively. After fine-tuning the model with limited labeled data, the word error rate reduces to 35% (LRS2) and 45.7% (LRS3). Our model can be trained on a single consumer-grade GPU within a few days and is capable of performing real-time end-to-end VSR on dated hardware, suggesting a path towards more accessible and resource-efficient VSR methodologies.


title: Pressure-tuned quantum criticality in the locally non-centrosymmetric superconductor CeRh$_2$As$_2$

abstract: The unconventional superconductor CeRh$_2$As$_2$ (critical temperature $T_{\mathrm{c}}\approx0.4\,\mathrm{K}$) displays an exceptionally rare magnetic-field-induced transition between two distinct superconducting (SC) phases, proposed to be states of even and odd parity of the SC order parameter, enabled by a locally non-centrosymmetric structure. The SC state exhibits signatures of antiferromagnetism and is preceded by a phase transition of unknown origin at $T_{0}\approx0.5\,\mathrm{K}$. Electronic low-temperature properties of CeRh$_2$As$_2$ show pronounced non-Fermi-liquid behavior, indicative of a proximity to a quantum critical point (QCP). The role of quantum fluctuations and normal state orders for the superconductivity in a system with staggered Rashba interaction is currently an open question, pertinent to explaining the occurrence of two-phase superconductivity. In this work, using measurements of resistivity and specific heat under hydrostatic pressure, we show that the $T_{0}$ order vanishes completely at a modest pressure of $P_{0}=0.5-0.7\,\mathrm{GPa}$, revealing a QCP. The linear temperature dependence of the resistivity at $P_{0}$ evolves into a Fermi-liquid quadratic dependence as the quantum criticality is suppressed by increasing pressure. The dome-like behavior of $T_{\mathrm{c}}$ around $P_{0}$ suggests that the fluctuations of the $T_{0}$ order are involved in the SC pairing mechanism. These results set the scene for further investigations into the fate of the multi-phase superconductivity across this phase diagram.


title: Exposing the odd-parity superconductivity in CeRh$_2$As$_2$ with hydrostatic pressure

abstract: Odd-parity superconductivity is a rare and sought-for state of matter with a potential for applications in topological quantum computing. Crystals with staggered locally non-centrosymmetric structures have been proposed as platforms where a magnetic field can induce a transition between even- and odd-parity superconducting (SC) states. The superconductor CeRh$_2$As$_2$ with a critical temperature $T_{\mathrm{c}}\approx0.4\,\mathrm{K}$ is likely the first example material showing such a phase transition at a magnetic field $\mu_{0}H^{*}=4\,\mathrm{T}$ applied along the crystallographic $c$ axis. CeRh$_2$As$_2$ also undergoes a phase transition of an unknown origin at $T_{0}=0.5\,\mathrm{K}$ and presents signs of an antiferromagnetism below $0.25\,\mathrm{K}$. Under a hydrostatic pressure of $P_0\approx0.5\,\mathrm{GPa}$, the $T_{0}$ order vanishes, resulting in a quantum critical point. Here, using resistivity measurements under pressure, we investigate how the correlations and normal-state orders affect the SC phase switching. We find an enhancement of the in-plane critical field near $P_0$. At the same time, the two SC states persist well past $P_{0}$, until at least $2.7\,\mathrm{GPa}$ and $H^{*}$ is reduced to $0.3\,\mathrm{T}$, making the putative odd-parity state stable almost down to zero field.


title: Overcome the Fear Of Missing Out: Active Sensing UAV Scanning for Precision Agriculture

abstract: This paper deals with the problem of informative path planning for a UAV deployed for precision agriculture applications. First, we observe that the ``fear of missing out'' data lead to uniform, conservative scanning policies over the whole agricultural field. Consequently, employing a non-uniform scanning approach can mitigate the expenditure of time in areas with minimal or negligible real value, while ensuring heightened precision in information-dense regions. Turning to the available informative path planning methodologies, we discern that certain methods entail intensive computational requirements, while others necessitate training on an ideal world simulator. To address the aforementioned issues, we propose an active sensing coverage path planning approach, named OverFOMO, that regulates the speed of the UAV in accordance with both the relative quantity of the identified classes, i.e. crops and weeds, and the confidence level of such detections. To identify these instances, a robust Deep Learning segmentation model is deployed. The computational needs of the proposed algorithm are independent of the size of the agricultural field, rendering its applicability on modern UAVs quite straightforward. The proposed algorithm was evaluated with a simu-realistic pipeline, combining data from real UAV missions and the high-fidelity dynamics of AirSim simulator, showcasing its performance improvements over the established state of affairs for this type of missions. An open-source implementation of the algorithm and the evaluation pipeline is also available: \url{https://github.com/emmarapt/OverFOMO}.


title: Uncovering the Causes of Emotions in Software Developer Communication Using Zero-shot LLMs

abstract: Understanding and identifying the causes behind developers' emotions (e.g., Frustration caused by `delays in merging pull requests') can be crucial towards finding solutions to problems and fostering collaboration in open-source communities. Effectively identifying such information in the high volume of communications across the different project channels, such as chats, emails, and issue comments, requires automated recognition of emotions and their causes. To enable this automation, large-scale software engineering-specific datasets that can be used to train accurate machine learning models are required. However, such datasets are expensive to create with the variety and informal nature of software projects' communication channels. In this paper, we explore zero-shot LLMs that are pre-trained on massive datasets but without being fine-tuned specifically for the task of detecting emotion causes in software engineering: ChatGPT, GPT-4, and flan-alpaca. Our evaluation indicates that these recently available models can identify emotion categories when given detailed emotions, although they perform worse than the top-rated models. For emotion cause identification, our results indicate that zero-shot LLMs are effective at recognizing the correct emotion cause with a BLEU-2 score of 0.598. To highlight the potential use of these techniques, we conduct a case study of the causes of Frustration in the last year of development of a popular open-source project, revealing several interesting insights.


title: ExoMol line lists -- LVI: The SO line list, MARVEL analysis of experimental transition data and refinement of the spectroscopic model

abstract: A semi-empirical IR/Vis line list, SOLIS, for the sulphur monoxide molecule $^{32}$S$^{16}$O is presented. SOLIS includes accurate empirical rovibrational energy levels, uncertainties, lifetimes, quantum number assignments, and transition probabilities in the form of Einstein $A$ coefficients covering the $X\,{}^{3}\Sigma^{-}$, $a\,{}^{1}\Delta^{ }$, $b\,{}^{1}\Sigma^{+}$, $A\,{}^{3}\Pi$, $B\,{}^{3}\Sigma^{-}$, $X\,{}^{\prime\prime3}\Sigma^{+}$, $A\,{}^{\prime 3}\Delta$ and $e\,{}^{1}\Pi$ systems and wavenumber range up to 43303.5 cm$^{-1}$ ($\geq 230.93$ nm) with $J\le 69$. SOLIS has been computed by solving the rovibronic Schr\"{o}dinger equation for diatomics using the general purpose variational code Duo and starting from a published ab initio spectroscopic model of SO (including potential energy curves, coupling curves, (transition) dipole moment curves) which is refined to experimental data. To this end, a database of 50106 experimental transitions, 48972 being non-redundant, has been compiled through the analysis of 29 experimental sources, and a self-consistent network of 8558 rovibronic energy levels for the $X$, $a$, $b$, $A$, $B$, and $C$ electronic states has been generated with the MARVEL algorithm covering rotational and vibrational quantum numbers $J \leq 69$ and $v \leq 30$ and energies up to 52350.40 cm$^{-1}$. No observed transitions connect to the $ B\,{}^{3}\Sigma^{-} (v = 0)$ state which is required to model perturbations correctly, so we leave fitting the $B\,{}^3\Sigma^-$ and $C\,{}^3\Pi$ state UV model to a future project. The SO line list is available at ExoMol from www.exomol.com.


title: Quantum-centric Supercomputing for Materials Science: A Perspective on Challenges and Future Directions

abstract: Computational models are an essential tool for the design, characterization, and discovery of novel materials. Hard computational tasks in materials science stretch the limits of existing high-performance supercomputing centers, consuming much of their simulation, analysis, and data resources. Quantum computing, on the other hand, is an emerging technology with the potential to accelerate many of the computational tasks needed for materials science. In order to do that, the quantum technology must interact with conventional high-performance computing in several ways: approximate results validation, identification of hard problems, and synergies in quantum-centric supercomputing. In this paper, we provide a perspective on how quantum-centric supercomputing can help address critical computational problems in materials science, the challenges to face in order to solve representative use cases, and new suggested directions.


title: Learning of Hamiltonian Dynamics with Reproducing Kernel Hilbert Spaces

abstract: This paper presents a method for learning Hamiltonian dynamics from a limited set of data points. The Hamiltonian vector field is found by regularized optimization over a reproducing kernel Hilbert space of vector fields that are inherently Hamiltonian, and where the vector field is required to be odd or even. This is done with a symplectic kernel, and it is shown how this symplectic kernel can be modified to be odd or even. The performance of the method is validated in simulations for two Hamiltonian systems. It is shown that the learned dynamics are Hamiltonian, and that the learned Hamiltonian vector field can be prescribed to be odd or even.


title: Collective Dynamics -- theoretical overview

abstract: I overview the recent progress of phenomenological studies exploring collective dynamics in relativistic nuclear collisions to understand various QCD properties. Originally, collectivity was interpreted as a manifestation of the hydrodynamic behaviour of the QGP as a response to the initial collision geometry. Over the past decade, however, particularly following the experimental observation of collectivity in small colliding systems, pioneering studies have demonstrated the possibility of other interpretations. In this talk, I highlight recent studies aimed at understanding various QCD properties at different collision stages through the lens of collectivity and emphasize the importance of establishing Monte Carlo event generators for relativistic nuclear collisions.


title: HEAR: Hearing Enhanced Audio Response for Video-grounded Dialogue

abstract: Video-grounded Dialogue (VGD) aims to answer questions regarding a given multi-modal input comprising video, audio, and dialogue history. Although there have been numerous efforts in developing VGD systems to improve the quality of their responses, existing systems are competent only to incorporate the information in the video and text and tend to struggle in extracting the necessary information from the audio when generating appropriate responses to the question. The VGD system seems to be deaf, and thus, we coin this symptom of current systems' ignoring audio data as a deaf response. To overcome the deaf response problem, Hearing Enhanced Audio Response (HEAR) framework is proposed to perform sensible listening by selectively attending to audio whenever the question requires it. The HEAR framework enhances the accuracy and audibility of VGD systems in a model-agnostic manner. HEAR is validated on VGD datasets (i.e., AVSD@DSTC7 and AVSD@DSTC8) and shows effectiveness with various VGD systems.


title: Eyes on teleporting: comparing locomotion techniques in Virtual Reality with respect to presence, sickness and spatial orientation

abstract: This work compares three locomotion techniques for an immersive VR environment: two different types of teleporting (with and without animation) and a manual (joystick-based) technique. We tested the effect of these techniques on visual motion sickness, spatial awareness, presence, subjective pleasantness, and perceived difficulty of operating the navigation. We collected eye tracking and head and body orientation data to investigate the relationships between motion, vection, and sickness. Our study confirms some results already discussed in the literature regarding the reduced invasiveness and the high usability of instant teleport while increasing the evidence against the hypothesis of reduced spatial awareness induced by this technique. We reinforce the evidence about the issues of extending teleporting with animation. Furthermore, we offer some new evidence of a benefit to the user experience of the manual technique and the correlation of the sickness felt in this condition with head movements. The findings of this study contribute to the ongoing debate on the development of guidelines on navigation interfaces in specific VR environments.


title: 3DAxiesPrompts: Unleashing the 3D Spatial Task Capabilities of GPT-4V

abstract: In this work, we present a new visual prompting method called 3DAxiesPrompts (3DAP) to unleash the capabilities of GPT-4V in performing 3D spatial tasks. Our investigation reveals that while GPT-4V exhibits proficiency in discerning the position and interrelations of 2D entities through current visual prompting techniques, its abilities in handling 3D spatial tasks have yet to be explored. In our approach, we create a 3D coordinate system tailored to 3D imagery, complete with annotated scale information. By presenting images infused with the 3DAP visual prompt as inputs, we empower GPT-4V to ascertain the spatial positioning information of the given 3D target image with a high degree of precision. Through experiments, We identified three tasks that could be stably completed using the 3DAP method, namely, 2D to 3D Point Reconstruction, 2D to 3D point matching, and 3D Object Detection. We perform experiments on our proposed dataset 3DAP-Data, the results from these experiments validate the efficacy of 3DAP-enhanced GPT-4V inputs, marking a significant stride in 3D spatial task execution.


title: Global existence for certain fourth order evolution equations

abstract: In this paper we establish three global in time results for two fourth order nonlinear parabolic equations. The first of such equations involves the Hessian and appears in epitaxial growth. For such equation we give conditions ensuring the global existence of solution. For certain regime of the parameters, our size condition involves the norm in a critical space with respect to the scaling of the equation and improves previous existing results in the literature for this equation. The second of the equations under study is a thin film equation with a porous medium nonlinearity. For this equation we establish conditions leading to the global existence of solution.


title: VITA: A Multi-modal LLM-based System for Longitudinal, Autonomous, and Adaptive Robotic Mental Well-being Coaching

abstract: Recently, several works have explored if and how robotic coaches can promote and maintain mental well-being in different settings. However, findings from these studies revealed that these robotic coaches are not ready to be used and deployed in real-world settings due to several limitations that span from technological challenges to coaching success. To overcome these challenges, this paper presents VITA, a novel multi-modal LLM-based system that allows robotic coaches to autonomously adapt to the coachee's multi-modal behaviours (facial valence and speech duration) and deliver coaching exercises in order to promote mental well-being in adults. We identified five objectives that correspond to the challenges in the recent literature, and we show how the VITA system addresses these via experimental validations that include one in-lab pilot study (N=4) that enabled us to test different robotic coach configurations (pre-scripted, generic, and adaptive models) and inform its design for using it in the real world, and one real-world study (N=17) conducted in a workplace over 4 weeks. Our results show that: (i) coachees perceived the VITA adaptive and generic configurations more positively than the pre-scripted one, and they felt understood and heard by the adaptive robotic coach, (ii) the VITA adaptive robotic coach kept learning successfully by personalising to each coachee over time and did not detect any interaction ruptures during the coaching, (iii) coachees had significant mental well-being improvements via the VITA-based robotic coach practice. The code for the VITA system is openly available via: https://github.com/Cambridge-AFAR/VITA-system.


title: PELP: Pioneer Event Log Prediction Using Sequence-to-Sequence Neural Networks

abstract: Process mining, a data-driven approach for analyzing, visualizing, and improving business processes using event logs, has emerged as a powerful technique in the field of business process management. Process forecasting is a sub-field of process mining that studies how to predict future processes and process models. In this paper, we introduce and motivate the problem of event log prediction and present our approach to solving the event log prediction problem, in particular, using the sequence-to-sequence deep learning approach. We evaluate and analyze the prediction outcomes on a variety of synthetic logs and seven real-life logs and show that our approach can generate perfect predictions on synthetic logs and that deep learning techniques have the potential to be applied in real-world event log prediction tasks. We further provide practical recommendations for event log predictions grounded in the outcomes of the conducted experiments.


title: Dynamics and condensation of polaritons in an optical nanocavity coupled to two-dimensional materials

abstract: We present a comprehensive investigation of the light-matter interaction dynamics in two-dimensional materials coupled with a spectrally isolated cavity mode in the strong coupling regime. The interaction between light and matter breaks the translational symmetry of excitons in the two-dimensional lattice and results in the emergence of a localized polariton state. Employing a novel approach involving transformation to exciton reaction coordinates, we derive a Markovian master equation to describe the formation of a macroscopic population in the localized polariton state. Our study shows that the construction of a large-scale polariton population is affected by correction terms addressing the breakdown of translational symmetry. Increasing the spatial width of the cavity mode increases the Coulomb scattering rates while the correction terms saturate and affect the system's dynamics progressively less. Tuning the lattice temperature can induce bistability and hysteresis with different origins than those recognized for quantum wells in larger microcavities. We identify a limit temperature $T_{\mathrm{l}}$ as a key factor for stimulated emissions and forming a macroscopic population, enriching our understanding of strong coupling dynamics in systems with extreme confinement.


title: SLS4D: Sparse Latent Space for 4D Novel View Synthesis

abstract: Neural radiance field (NeRF) has achieved great success in novel view synthesis and 3D representation for static scenarios. Existing dynamic NeRFs usually exploit a locally dense grid to fit the deformation field; however, they fail to capture the global dynamics and concomitantly yield models of heavy parameters. We observe that the 4D space is inherently sparse. Firstly, the deformation field is sparse in spatial but dense in temporal due to the continuity of of motion. Secondly, the radiance field is only valid on the surface of the underlying scene, usually occupying a small fraction of the whole space. We thus propose to represent the 4D scene using a learnable sparse latent space, a.k.a. SLS4D. Specifically, SLS4D first uses dense learnable time slot features to depict the temporal space, from which the deformation field is fitted with linear multi-layer perceptions (MLP) to predict the displacement of a 3D position at any time. It then learns the spatial features of a 3D position using another sparse latent space. This is achieved by learning the adaptive weights of each latent code with the attention mechanism. Extensive experiments demonstrate the effectiveness of our SLS4D: it achieves the best 4D novel view synthesis using only about $6\%$ parameters of the most recent work.


title: Bridging the Semantic-Numerical Gap: A Numerical Reasoning Method of Cross-modal Knowledge Graph for Material Property Prediction

abstract: Using machine learning (ML) techniques to predict material properties is a crucial research topic. These properties depend on numerical data and semantic factors. Due to the limitations of small-sample datasets, existing methods typically adopt ML algorithms to regress numerical properties or transfer other pre-trained knowledge graphs (KGs) to the material. However, these methods cannot simultaneously handle semantic and numerical information. In this paper, we propose a numerical reasoning method for material KGs (NR-KG), which constructs a cross-modal KG using semantic nodes and numerical proxy nodes. It captures both types of information by projecting KG into a canonical KG and utilizes a graph neural network to predict material properties. In this process, a novel projection prediction loss is proposed to extract semantic features from numerical information. NR-KG facilitates end-to-end processing of cross-modal data, mining relationships and cross-modal information in small-sample datasets, and fully utilizes valuable experimental data to enhance material prediction. We further propose two new High-Entropy Alloys (HEA) property datasets with semantic descriptions. NR-KG outperforms state-of-the-art (SOTA) methods, achieving relative improvements of 25.9% and 16.1% on two material datasets. Besides, NR-KG surpasses SOTA methods on two public physical chemistry molecular datasets, showing improvements of 22.2% and 54.3%, highlighting its potential application and generalizability. We hope the proposed datasets, algorithms, and pre-trained models can facilitate the communities of KG and AI for materials.