title: A Survey on Federated Learning in Intelligent Transportation Systems

abstract: The development of Intelligent Transportation System (ITS) has brought about comprehensive urban traffic information that not only provides convenience to urban residents in their daily lives but also enhances the efficiency of urban road usage, leading to a more harmonious and sustainable urban life. Typical scenarios in ITS mainly include traffic flow prediction, traffic target recognition, and vehicular edge computing. However, most current ITS applications rely on a centralized training approach where users upload source data to a cloud server with high computing power for management and centralized training. This approach has limitations such as poor real-time performance, data silos, and difficulty in guaranteeing data privacy. To address these limitations, federated learning (FL) has been proposed as a promising solution. In this paper, we present a comprehensive review of the application of FL in ITS, with a particular focus on three key scenarios: traffic flow prediction, traffic target recognition, and vehicular edge computing. For each scenario, we provide an in-depth analysis of its key characteristics, current challenges, and specific manners in which FL is leveraged. Moreover, we discuss the benefits that FL can offer as a potential solution to the limitations of the centralized training approach currently used in ITS applications.


title: The fourth-order Schr\"{o}dinger equation on lattices

abstract: In this paper, we study the fourth-order Schr\"{o}dinger equation \begin{equation*} i \partial_t u + {\Delta}^2 u - \gamma \Delta u = \pm |u|^{s-1}u \end{equation*} on the lattice $\mathbb{Z}^d$ with dimensions $d=1,2$ and parameter $\gamma \in \mathbb{R}$. In order to establish sharp dispersive estimates, we consider the fundamental solution as an oscillatory integral and analyze the Newton polyhedron of its phase function. Furthermore, we prove Strichartz estimates which yield the existence of global solutions to nonlinear equations with small data.


title: Compact structures for single-beam magneto-optical trapping of ytterbium

abstract: Today's best optical lattice clocks are based on the spectroscopy of trapped alkaline-earth-like atoms such as ytterbium and strontium atoms. The development towards mobile or even space-borne clocks necessitates concepts for the compact laser-cooling and trapping of these atoms with reduced laser requirements. Here we present two compact and robust achromatic mirror structures for single-beam magneto-optical trapping of alkaline-earth-like atoms using two widely separated optical cooling frequencies. We have compared the trapping and cooling performance of a monolithic aluminium structure that generates a conventional trap geometry to a quasi-planar platform based on a periodic mirror structure for different isotopes of Yb. Compared to prior work with strontium in non-conventional traps, where only bosons were trapped on a narrow line transition, we demonstrate two-stage cooling and trapping of a fermionic alkaline-earth-like isotope in a single-beam quasi-planar structure.


title: Ab-initio variational wave functions for the time-dependent many-electron Schr\"odinger equation

abstract: Describing the dynamics of many-electron quantum systems is crucial for applications such as predicting electronic structures in quantum chemistry, the properties of condensed matter systems, and the behaviors of complex materials. However, the real-time evolution of non-equilibrium quantum electronic systems poses a significant challenge for theoretical and computational approaches, due to the system's exploration of a vast configuration space. This work introduces a variational approach for fermionic time-dependent wave functions, surpassing mean-field approximations by capturing many-body correlations. The proposed methodology involves parameterizing the time-evolving quantum state, enabling the approximation of the state's evolution. To account for electron correlations, we employ time-dependent Jastrow factors and backflow transformations. We also show that we can incorporate neural networks to parameterize these functions. The time-dependent variational Monte Carlo technique is employed to efficiently compute the optimal time-dependent parameters. The approach is demonstrated in three distinct systems: the solvable harmonic interaction model, the dynamics of a diatomic molecule in intense laser fields, and a quenched quantum dot. In all cases, we show clear signatures of many-body correlations in the dynamics not captured by mean-field methods. The results showcase the ability of our variational approach to accurately capture the time evolution of quantum states, providing insight into the quantum dynamics of interacting electronic systems, beyond the capabilities of mean-field.

categories: cond-mat.str-el cs.LG physics.chem-ph physics.comp-ph quant-ph


title: Cuprate-like Electronic Structures in Infinite-Layer Nickelates with Substantial Hole Dopings

abstract: The superconducting infinite-layer (IL) nickelates offer a new platform for investigating the long-standing problem of high-temperature superconductivity. Many models were proposed to understand its superconducting mechanisms based on the calculated electronic structure, and the multiple Fermi surfaces and multiple orbitals involved create complications and controversial conclusions. Over the past 5 years, the lack of direct measurements of the electronic structure has hindered the understanding of nickelate superconductors. Here we fill this gap by directly resolving the electronic structures of the parent compound LaNiO$_2$ and superconducting La$_{0.8}$Ca$_{0.2}$NiO$_2$ using angle-resolved photoemission spectroscopy (ARPES). We find that their Fermi surfaces consist of a quasi-two-dimensional (quasi-2D) hole pocket and a three-dimensional (3D) electron pocket at the Brillouin zone corner, whose volumes change upon Ca doping. The Fermi surface topology and band dispersion of the hole pocket closely resemble those observed in hole-doped cuprates. However, the cuprate-like band exhibits significantly higher hole doping in superconducting La$_{0.8}$Ca$_{0.2}$NiO$_2$ compared to superconducting cuprates, highlighting the disparities in the electronic states of the superconducting phase. Our observations highlight the novel aspects of the IL nickelates, and pave the way toward the microscopic understanding of the IL nickelate family and its superconductivity.


title: Single-Switch Transformer-less Power Supply for Low Temperature Plasma Jet -- 3.3 kV SiC MOSFET opportunities

abstract: This work presents a simple power converter, without any high voltage transformer, able to supply and control a plasma jet based on dielectric barrier discharge. The converter, operating in pulsed current mode, requires a single power switch and is fed by a low voltage DC source. It can deliver very short duration pulses to the plasma jet with high current amplitude. The operating principle is explained by means of the state plane analysis and is validated with simulations and experimental results. The equations provided allow for the calculation during the design stage of important characteristics of the plasma jet as the peak voltage and the duration of the pulses. The power can be easily adjusted during experimentation to comply with the desired appearance of the plasma jet.


title: Measuring Data Similarity for Efficient Federated Learning: A Feasibility Study

abstract: In multiple federated learning schemes, a random subset of clients sends in each round their model updates to the server for aggregation. Although this client selection strategy aims to reduce communication overhead, it remains energy and computationally inefficient, especially when considering resource-constrained devices as clients. This is because conventional random client selection overlooks the content of exchanged information and falls short of providing a mechanism to reduce the transmission of semantically redundant data. To overcome this challenge, we propose clustering the clients with the aid of similarity metrics, where a single client from each of the formed clusters is selected in each round to participate in the federated training. To evaluate our approach, we perform an extensive feasibility study considering the use of nine statistical metrics in the clustering process. Simulation results reveal that, when considering a scenario with high data heterogeneity of clients, similarity-based clustering can reduce the number of required rounds compared to the baseline random client selection. In addition, energy consumption can be notably reduced from 23.93% to 41.61%, for those similarity metrics with an equivalent number of clients per round as the baseline random scheme.


title: The minimum weight of the code of intersecting lines in ${\rm PG}(3,q)$

abstract: We characterise the minimum weight codewords of the $p$-ary linear code of intersecting lines in ${\rm PG}(3,q)$, $q=p^h$, $q\geq19$, $p$ prime, $h\geq 1$. If $q$ is even, the minimum weight equals $q^3+q^2+q+1$. If $q$ is odd, the minimum weight equals $q^3+2q^2+q+1$. For $q$ even, we also characterise the codewords of second smallest weight.


title: A compact approach to higher-resolution resonant inelastic X-ray scattering detection using photoelectrons

abstract: The detection of inelastically scattered soft X-rays with high energy resolution usually requires large grating spectrometers. Recently, photoelectron spectrometry for analysis of X-rays (PAX) has been rediscovered for modern spectroscopy experiments at synchrotron light sources. By converting scattered photons to electrons and using an electron energy analyser, the energy resolution for resonant inelastic X-ray scattering (RIXS) becomes decoupled from the X-ray spot size and instrument length. In this work, we develop PAX towards high energy resolution using a modern photoemission spectroscopy setup studying Ba2Cu3O4Cl2 at the Cu L3-edge. We measure a momentum transfer range of 24% of the first Brillouin zone simultaneously. Our results hint at the observation of a magnon excitation below 100 meV energy transfer and show intensity variations related to the dispersion of dd-excitations. With dedicated setups, PAX can become an alternative to the best and largest RIXS instruments, while at the same time opening new opportunities to acquire RIXS at a range of momentum transfers simultaneously and combine it with angle-resolved photoemission spectroscopy in a single instrument.


title: Humans-in-the-Building: Getting Rid of Thermostats for Optimal Thermal Comfort Control in Energy Management Systems

abstract: Given the widespread attention to individual thermal comfort, coupled with significant energy-saving potential inherent in energy management systems for optimizing indoor environments, this paper aims to introduce advanced "Humans-in-the-building" control techniques to redefine the paradigm of indoor temperature design. Firstly, we innovatively redefine the role of individuals in the control loop, establishing a model for users' thermal comfort and constructing discomfort signals based on individual preferences. Unlike traditional temperature-centric approaches, "thermal comfort control" prioritizes personalized comfort. Then, considering the diversity among users, we propose a novel method to determine the optimal indoor temperature range, thus minimizing discomfort for various users and reducing building energy consumption. Finally, the efficacy of the "thermal comfort control" approach is substantiated through simulations conducted using Matlab.


title: Fast, accurate and lightweight sequential simulation-based inference using Gaussian locally linear mappings

abstract: Bayesian inference for complex models with an intractable likelihood can be tackled using algorithms performing many calls to computer simulators. These approaches are collectively known as "simulation-based inference" (SBI). Recent SBI methods have made use of neural networks (NN) to provide approximate, yet expressive constructs for the unavailable likelihood function and the posterior distribution. However, the trade-off between accuracy and computational demand leaves much space for improvement. In this work, we propose an alternative that provides both approximations to the likelihood and the posterior distribution, using structured mixtures of probability distributions. Our approach produces accurate posterior inference when compared to state-of-the-art NN-based SBI methods, even for multimodal posteriors, while exhibiting a much smaller computational footprint. We illustrate our results on several benchmark models from the SBI literature and on a biological model of the translation kinetics after mRNA transfection.


title: Novel Signatures of Radiation Reaction in Electron-Laser Sidescattering

abstract: In this article we investigate novel signatures of radiation reaction via the angular deflection of an electron beam colliding at 90 degrees with an intense laser pulse. Due to the radiation reaction effect, the electrons can be deflected towards the beam axis for plane wave backgrounds, which is not possible in the absence of radiation reaction effects. The magnitude and size of the deflection angle can be controlled by tailoring the laser pulse shapes. The effect is first derived analytically using the Landau-Lifshitz equation, which allows to determine the important scaling behavior with laser intensity and particle energy. We then move on to full scale 3D Monte Carlo simulations to verify the effect is observable with present day laser technology. We investigate the opportunities for an indirect observation of laser depletion in such side scattering scenarios.


title: A tutorial on multi-view autoencoders using the multi-view-AE library

abstract: There has been a growing interest in recent years in modelling multiple modalities (or views) of data to for example, understand the relationship between modalities or to generate missing data. Multi-view autoencoders have gained significant traction for their adaptability and versatility in modelling multi-modal data, demonstrating an ability to tailor their approach to suit the characteristics of the data at hand. However, most multi-view autoencoders have inconsistent notation and are often implemented using different coding frameworks. To address this, we present a unified mathematical framework for multi-view autoencoders, consolidating their formulations. Moreover, we offer insights into the motivation and theoretical advantages of each model. To facilitate accessibility and practical use, we extend the documentation and functionality of the previously introduced \texttt{multi-view-AE} library. This library offers Python implementations of numerous multi-view autoencoder models, presented within a user-friendly framework. Through benchmarking experiments, we evaluate our implementations against previous ones, demonstrating comparable or superior performance. This work aims to establish a cohesive foundation for multi-modal modelling, serving as a valuable educational resource in the field.


title: Energy bounds for weighted spherical codes and designs via linear programming

abstract: Universal bounds for the potential energy of weighted spherical codes are obtained by linear programming. The universality is in the sense of Cohn-Kumar -- every attaining code is optimal with respect to a large class of potential functions (absolutely monotone), in the sense of Levenshtein -- there is a bound for every weighted code, and in the sense of parameters (nodes and weights) -- they are independent of the potential function. We derive a necessary condition for optimality (in the linear programming framework) of our lower bounds which is also shown to be sufficient when the potential is strictly absolutely monotone. Bounds are also obtained for the weighted energy of weighted spherical designs. We explore our bounds for several previously studied weighted spherical codes.


title: Fixing Smart Contract Vulnerabilities: A Comparative Analysis of Literature and Developer's Practices

abstract: Smart Contracts are programs running logic in the Blockchain network by executing operations through immutable transactions. The Blockchain network validates such transactions, storing them into sequential blocks of which integrity is ensured. Smart Contracts deal with value stakes, if a damaging transaction is validated, it may never be reverted, leading to unrecoverable losses. To prevent this, security aspects have been explored in several fields, with research providing catalogs of security defects, secure code recommendations, and possible solutions to fix vulnerabilities. In our study, we refer to vulnerability fixing in the ways found in the literature as guidelines. However, it is not clear to what extent developers adhere to these guidelines, nor whether there are other viable common solutions and what they are. The goal of our research is to fill knowledge gaps related to developers' observance of existing guidelines and to propose new and viable solutions to security vulnerabilities. To reach our goal, we will obtain from Solidity GitHub repositories the commits that fix vulnerabilities included in the DASP TOP 10 and we will conduct a manual analysis of fixing approaches employed by developers. Our analysis aims to determine the extent to which literature-based fixing strategies are followed. Additionally, we will identify and discuss emerging fixing techniques not currently documented in the literature. Through qualitative analysis, we will evaluate the suitability of these new fixing solutions and discriminate between valid approaches and potential mistakes.


title: Localization-Delocalization Transitions in Non-Hermitian Aharonov-Bohm Cages

abstract: A unique feature of non-Hermitian systems is the extreme sensitivity of the eigenspectrum to boundary conditions with the emergence of the non-Hermitian skin effect (NHSE). A NHSE originates from the point-gap topology of complex eigenspectrum, where an extensive number of eigenstates are anomalously localized at the boundary driven by nonreciprocal dissipation. Two different approaches to create localization are disorder and flat-band spectrum, and their interplay can lead to the anomalous inverse Anderson localization, where the Bernoulli anti-symmetric disorder induce mobility in a full-flat band system in the presence of Aharonov-Bohm (AB) Cage. In this work, we study the localization-delocalization transitions due to the interplay of the point-gap topology, flat band and correlated disorder in the one-dimensional rhombic lattice, where both its Hermitian and non-Hermitian structures show AB cage in the presence of magnetic flux. Although it remains the coexistence of localization and delocalization for the Hermitian rhombic lattice in the presence of the random anti-symmetric disorder, it surprisingly becomes complete delocalization, accompanied by the emergence of NHSE. To further study the effects from the Bernoulli anti-symmetric disorder, we found the similar NHSE due to the interplay of the point-gap topology, correlated disorder and flat bands. Our anomalous localization-delocalization property can be experimentally tested in the classical physical platform, such as electrical circuit.


title: Experimental Comparison of Ensemble Methods and Time-to-Event Analysis Models Through Integrated Brier Score and Concordance Index

abstract: Time-to-event analysis is a branch of statistics that has increased in popularity during the last decades due to its many application fields, such as predictive maintenance, customer churn prediction and population lifetime estimation. In this paper, we review and compare the performance of several prediction models for time-to-event analysis. These consist of semi-parametric and parametric statistical models, in addition to machine learning approaches. Our study is carried out on three datasets and evaluated in two different scores (the integrated Brier score and concordance index). Moreover, we show how ensemble methods, which surprisingly have not yet been much studied in time-to-event analysis, can improve the prediction accuracy and enhance the robustness of the prediction performance. We conclude the analysis with a simulation experiment in which we evaluate the factors influencing the performance ranking of the methods using both scores.


title: A time-adaptive finite element phase-field model suitable for rate-independent fracture mechanics

abstract: The modeling of cracks is an important topic - both in engineering as well as in mathematics. Since crack propagation is characterized by a free boundary value problem (the geometry of the crack is not known beforehand, but part of the solution), approximations of the underlying sharp-interface problem based on phase-field models are often considered. Focusing on a rate-independent setting, these models are defined by a unidirectional gradient-flow of an energy functional. Since this energy functional is non-convex, the evolution of the variables such as the displacement field and the phase-field variable might be discontinuous in time leading to so-called brutal crack growth. For this reason, solution concepts have to be carefully chosen in order to predict discontinuities that are physically reasonable. One such concept is that of Balanced Viscosity solutions (BV solutions). This concept predicts physically sound energy trajectories that do not jump across energy barriers. The paper deals with a time-adaptive finite element phase-field model for rate-independent fracture which converges to BV solutions. The model is motivated by constraining the pseudo-velocity of the crack tip. The resulting constrained minimization problem is solved by the augmented Lagrangian method. Numerical examples highlight the predictive capabilities of the model and furthermore show the efficiency and the robustness of the final algorithm.


title: Compressed-sensing Lindbladian quantum tomography with trapped ions

abstract: Characterizing the dynamics of quantum systems is a central task for the development of quantum information processors (QIPs). It serves to benchmark different devices, learn about their specific noise, and plan the next hardware upgrades. However, this task is also very challenging, for it requires a large number of measurements and time-consuming classical processing. Moreover, when interested in the time dependence of the noise, there is an additional overhead since the characterization must be performed repeatedly within the time interval of interest. To overcome this limitation while, at the same time, ordering the learned sources of noise by their relevance, we focus on the inference of the dynamical generators of the noisy dynamics using Lindbladian quantum tomography (LQT). We propose two different improvements of LQT that alleviate previous shortcomings. In the weak-noise regime of current QIPs, we manage to linearize the maximum likelihood estimation of LQT, turning the constrained optimization into a convex problem to reduce the classical computation cost and to improve its robustness. Moreover, by introducing compressed sensing techniques, we reduce the number of required measurements without sacrificing accuracy. To illustrate these improvements, we apply our LQT tools to trapped-ion experiments of single- and two-qubit gates, advancing in this way the previous state of the art.


title: Backdoor Attack with Mode Mixture Latent Modification

abstract: Backdoor attacks become a significant security concern for deep neural networks in recent years. An image classification model can be compromised if malicious backdoors are injected into it. This corruption will cause the model to function normally on clean images but predict a specific target label when triggers are present. Previous research can be categorized into two genres: poisoning a portion of the dataset with triggered images for users to train the model from scratch, or training a backdoored model alongside a triggered image generator. Both approaches require significant amount of attackable parameters for optimization to establish a connection between the trigger and the target label, which may raise suspicions as more people become aware of the existence of backdoor attacks. In this paper, we propose a backdoor attack paradigm that only requires minimal alterations (specifically, the output layer) to a clean model in order to inject the backdoor under the guise of fine-tuning. To achieve this, we leverage mode mixture samples, which are located between different modes in latent space, and introduce a novel method for conducting backdoor attacks. We evaluate the effectiveness of our method on four popular benchmark datasets: MNIST, CIFAR-10, GTSRB, and TinyImageNet.


title: On Ranking-based Tests of Independence

abstract: In this paper we develop a novel nonparametric framework to test the independence of two random variables $\mathbf{X}$ and $\mathbf{Y}$ with unknown respective marginals $H(dx)$ and $G(dy)$ and joint distribution $F(dx dy)$, based on {\it Receiver Operating Characteristic} (ROC) analysis and bipartite ranking. The rationale behind our approach relies on the fact that, the independence hypothesis $\mathcal{H}_0$ is necessarily false as soon as the optimal scoring function related to the pair of distributions $(H\otimes G,\; F)$, obtained from a bipartite ranking algorithm, has a ROC curve that deviates from the main diagonal of the unit square.We consider a wide class of rank statistics encompassing many ways of deviating from the diagonal in the ROC space to build tests of independence. Beyond its great flexibility, this new method has theoretical properties that far surpass those of its competitors. Nonasymptotic bounds for the two types of testing errors are established. From an empirical perspective, the novel procedure we promote in this paper exhibits a remarkable ability to detect small departures, of various types, from the null assumption $\mathcal{H}_0$, even in high dimension, as supported by the numerical experiments presented here.


title: One for All and All for One: GNN-based Control-Flow Attestation for Embedded Devices

abstract: Control-Flow Attestation (CFA) is a security service that allows an entity (verifier) to verify the integrity of code execution on a remote computer system (prover). Existing CFA schemes suffer from impractical assumptions, such as requiring access to the prover's internal state (e.g., memory or code), the complete Control-Flow Graph (CFG) of the prover's software, large sets of measurements, or tailor-made hardware. Moreover, current CFA schemes are inadequate for attesting embedded systems due to their high computational overhead and resource usage. In this paper, we overcome the limitations of existing CFA schemes for embedded devices by introducing RAGE, a novel, lightweight CFA approach with minimal requirements. RAGE can detect Code Reuse Attacks (CRA), including control- and non-control-data attacks. It efficiently extracts features from one execution trace and leverages Unsupervised Graph Neural Networks (GNNs) to identify deviations from benign executions. The core intuition behind RAGE is to exploit the correspondence between execution trace, execution graph, and execution embeddings to eliminate the unrealistic requirement of having access to a complete CFG. We evaluate RAGE on embedded benchmarks and demonstrate that (i) it detects 40 real-world attacks on embedded software; (ii) Further, we stress our scheme with synthetic return-oriented programming (ROP) and data-oriented programming (DOP) attacks on the real-world embedded software benchmark Embench, achieving 98.03% (ROP) and 91.01% (DOP) F1-Score while maintaining a low False Positive Rate of 3.19%; (iii) Additionally, we evaluate RAGE on OpenSSL, used by millions of devices and achieve 97.49% and 84.42% F1-Score for ROP and DOP attack detection, with an FPR of 5.47%.


title: Norms in sinogram space and stability estimates for the Radon transform

abstract: We consider different norms for the Radon transform $Rf$ of a function $f$ and investigate under which conditions they can be estimated from above or below by some standard norms for $f$. We define Fourier-based norms for $Rf$ that can be related to Bessel-potential space norms for $f$. Furthermore, we define a variant of a total-variation norm for $Rf$ and provide conditions under which it is equivalent to the total-variation norm of $f$. As an illustration of potential applications of these results, we propose a novel nonlinear backprojection method for inverting the Radon transform.


title: Zero-Sum Stochastic Games with Vanishing Stage Duration and Public Signals

abstract: We consider the behaviour of $\lambda$-discounted zero-sum games as the discount factor $\lambda$ tends to 0 (that is, the players are more and more patient), in the context of games with stage duration. In stochastic games with stage duration h, players act at times 0, h, 2h, ..., and the payoff and leaving probabilities are proportional to h. When h tends to 0, such games approximate games in continuous time. The asymptotic behavior of the values (when both $\lambda$ and h tend to 0) was already studied in the case of stochastic games with perfect observation of the state and in the state-blind case. We consider the same question for the case of stochastic games with imperfect observation of the state. In such games, players are given at each stage a public signal that depends only on the current state. Our main result states that there exists a stochastic game with public signals, with no limit value (as the discount factor $\lambda$ goes to 0) if stage duration is 1, but with a limit value when stage duration h and discount factor $\lambda$ both tend to 0. Informally speaking, it means that the limit value in discrete time does not exist, but the limit value in continuous time (i.e., when h tends to 0) exists. Such a situation is impossible in the case of stochastic games with perfect observation of the state.


title: Holographic spin alignment of $J/\psi$ meson in magnetized plasma

abstract: We study the mass spectra and spin alignment of vector meson $J/\psi$ in a thermal magnetized background using the gauge/gravity duality. Utilizing a soft wall model for the QGP background and a massive vector field for the $J/\psi$ meson, we delve into the meson's spectral function and spin parameters $(\lambda_{\theta},\, \lambda_\varphi,\,\lambda_{\theta\varphi})$ for different cases, assessing their response to variations in magnetic field strength, momentum, and temperature. We initially examine scenarios where a meson's momentum aligns parallel to the magnetic field in helicity frame. Our results reveal a magnetic field-induced positive $\lambda_\theta^\text{H}$ for low meson momentum, transitioning to negative with increased momentum. As a comparison, we also study the case of momentum perpendicular to the magnetic field and find the direction of magnetic field does not affect the qualitative behavior for the $eB$-dependence of $\lambda_\theta^\text{H}$. Moreover, we apply our model to real heavy-ion collisions for three different spin quantization directions. Further comparisons with experimental data show qualitative agreement for spin parameters $\lambda_{\theta}$ and $\lambda_\varphi$ in the helicity and Collins-Soper frames.


title: A Comprehensive Survey of 3D Dense Captioning: Localizing and Describing Objects in 3D Scenes

abstract: Three-Dimensional (3D) dense captioning is an emerging vision-language bridging task that aims to generate multiple detailed and accurate descriptions for 3D scenes. It presents significant potential and challenges due to its closer representation of the real world compared to 2D visual captioning, as well as complexities in data collection and processing of 3D point cloud sources. Despite the popularity and success of existing methods, there is a lack of comprehensive surveys summarizing the advancements in this field, which hinders its progress. In this paper, we provide a comprehensive review of 3D dense captioning, covering task definition, architecture classification, dataset analysis, evaluation metrics, and in-depth prosperity discussions. Based on a synthesis of previous literature, we refine a standard pipeline that serves as a common paradigm for existing methods. We also introduce a clear taxonomy of existing models, summarize technologies involved in different modules, and conduct detailed experiment analysis. Instead of a chronological order introduction, we categorize the methods into different classes to facilitate exploration and analysis of the differences and connections among existing techniques. We also provide a reading guideline to assist readers with different backgrounds and purposes in reading efficiently. Furthermore, we propose a series of promising future directions for 3D dense captioning by identifying challenges and aligning them with the development of related tasks, offering valuable insights and inspiring future research in this field. Our aim is to provide a comprehensive understanding of 3D dense captioning, foster further investigations, and contribute to the development of novel applications in multimedia and related domains.


title: DrPlanner: Diagnosis and Repair of Motion Planners Using Large Language Models

abstract: Motion planners are essential for the safe operation of automated vehicles across various scenarios. However, no motion planning algorithm has achieved perfection in the literature, and improving its performance is often time-consuming and labor-intensive. To tackle the aforementioned issues, we present DrPlanner, the first framework designed to automatically diagnose and repair motion planners using large language models. Initially, we generate a structured description of the planner and its planned trajectories from both natural and programming languages. Leveraging the profound capabilities of large language models in addressing reasoning challenges, our framework returns repaired planners with detailed diagnostic descriptions. Furthermore, the framework advances iteratively with continuous feedback from the evaluation of the repaired outcomes. Our approach is validated using search-based motion planners; experimental results highlight the need of demonstrations in the prompt and the ability of our framework in identifying and rectifying elusive issues effectively.


title: On the nonconvexity of some push-forward constraints and its consequences in machine learning

abstract: The push-forward operation enables one to redistribute a probability measure through a deterministic map. It plays a key role in statistics and optimization: many learning problems (notably from optimal transport, generative modeling, and algorithmic fairness) include constraints or penalties framed as push-forward conditions on the model. However, the literature lacks general theoretical insights on the (non)convexity of such constraints and its consequences on the associated learning problems. This paper aims at filling this gap. In a first part, we provide a range of sufficient and necessary conditions for the (non)convexity of two sets of functions: the maps transporting one probability measure to another; the maps inducing equal output distributions across distinct probability measures. This highlights that for most probability measures, these push-forward constraints are not convex. In a second time, we show how this result implies critical limitations on the design of convex optimization problems for learning generative models or group-fair predictors. This work will hopefully help researchers and practitioners have a better understanding of the critical impact of push-forward conditions onto convexity.


title: Imbalance-aware Presence-only Loss Function for Species Distribution Modeling

abstract: In the face of significant biodiversity decline, species distribution models (SDMs) are essential for understanding the impact of climate change on species habitats by connecting environmental conditions to species occurrences. Traditionally limited by a scarcity of species observations, these models have significantly improved in performance through the integration of larger datasets provided by citizen science initiatives. However, they still suffer from the strong class imbalance between species within these datasets, often resulting in the penalization of rare species--those most critical for conservation efforts. To tackle this issue, this study assesses the effectiveness of training deep learning models using a balanced presence-only loss function on large citizen science-based datasets. We demonstrate that this imbalance-aware loss function outperforms traditional loss functions across various datasets and tasks, particularly in accurately modeling rare species with limited observations.


title: Pedophysics: an open-source python package for soil geophysics

abstract: This study introduces Pedophysics, an open-source Python package designed to facilitate solutions for users who work in the field of soil assessment using near-surface geophysical electromagnetic techniques. At the core of this software is the ability to translate geophysical data into specific soil properties (and vice-versa) using pedophysical models (PM). Pedophysical modelling techniques offer valuable insights into various realms including precision agriculture, soil health, resource prospecting, nutrient and land management, hydrogeology, and heritage conservation. In developing a tool for pedophysical modelling, some challenges emerged: selecting suitable PMs from the extensive literature, adapting these to specific conditions, and ensuring adequate data availability. While addressing these, we designed an automated workflow that implements robust PMs (selected after a throughout review), apply different modelling approaches based on soil characteristics and targeted properties, and employs pedotransfer functions and assumptions to integrate missing soil data into PMs. The capabilities of Pedophysics extend to handling complex scenarios such as fusing data from different instruments, incorporating continuous monitoring measurements, and soil calibration data. With these solutions, Pedophysics automates the process of deriving targeted soil and geophysical properties with state-of-art accuracy. Hereby, users can rely on Pedophysics to implement specific knowledge about pedophysical modeling. The software promotes global access to advanced soil geophysical solutions by being open-source and encouraging community contributions. Pedophysics is written in pure Python and has minimal dependencies. It can be easily installed from the Python Package Index (PyPI).


title: Optical chaos synchronisation in a cascaded injection experiment

abstract: We experimentally study the synchronization of chaos generated by semiconductor lasers in a cascade injection configuration, i.e., a tunable master laser is used to generate chaos by optical injection in a transmitter laser that injects light into a receiver laser. Chaos synchronization between the transmitter and the receiver lasers is achieved with a correlation coefficient of 90 % for a measurement bandwidth up to 35 GHz. Two parameter regions of good synchronization are found, corresponding to the alignment of the oscillation frequencies of the receiver laser with either the transmitter laser or the master laser.


title: Predicting the Risk of Ischemic Stroke in Patients with Atrial Fibrillation using Heterogeneous Drug-protein-disease Network-based Deep Learning

abstract: We develop a deep learning model, ABioSPATH, to predict the one-year risk of ischemic stroke (IS) in atrial fibrillation (AF) patients. The model integrates drug-protein-disease pathways and real-world clinical data of AF patients to generate the IS risk and potential pathways for each patient. The model uses a multilayer network to identify the mechanism of drug action and disease comorbidity propagation pathways. The model is tested on the Electronic Health Record (EHR) data of 7859 AF patients from 43 hospitals in Hong Kong. The model outperforms all baselines across all metrics and provides valuable molecular-level insights for clinical use. The model also highlights key proteins in common pathways and potential IS risks tied to less-studied drugs. The model only requires routinely collected data, without requiring expensive biomarkers to be tested.


title: 2-descent for Bloch--Kato Selmer groups and rational points on hyperelliptic curves II

abstract: We give refined methods for proving finiteness of the Chabauty--Coleman--Kim set $X(\mathbb{Q}_2 )_2 $, when $X$ is a hyperelliptic curve with a rational Weierstrass point. The main developments are methods for computing Selmer conditions at $2$ and $\infty$ for the mod 2 Bloch--Kato Selmer group associated to the higher Chow group $\mathrm{CH}^2 (\mathrm{Jac}(X),1)$. As a result we show that most genus 2 curves in the LMFDB of Mordell--Weil rank 2 with exactly one rational Weierstrass point satsify $\# X(\mathbb{Q}_2 )_2 <\infty $. We also obtain a field-theoretic description of second descent on the Jacobian of a hyperelliptic curve (under some conditions).


title: $M$-ary partition polynomials

abstract: Let $M=(m_{i})_{i=0}^{\infty}$ be a sequence of integers such that $m_{0}=1$ and $m_{i}\geq 2$ for $i\geq 1$. In this paper we study $M$-ary partition polynomials $(p_{M}(n,t))_{n=0}^{\infty}$ defined as the coefficient in the following power series expansion: \begin{align*} \prod_{i=0}^{\infty}\frac{1}{1-tq^{M_{i}}} = \sum_{n=0}^{\infty} p_{M}(n,t)q^{n}, \end{align*} where $M_{i}=\prod_{j=0}^{i}m_{j}$. In particular, we provide a detailed description of their rational roots and show, that all their complex roots have absolute values not greater than $2$. We also study arithmetic properties of $M$-ary partition polynomials. One of our main results says that if $n=a_{0}+a_{1}M_{1}+\cdots +a_{k}M_{k}$ is a (unique) representation such that $a_{j}\in\{0,\ldots ,m_{j+1}-1\}$ for every $j$, then \begin{align*} p_{M}(n,t)\equiv t^{a_{0}}\prod t^{a_{j}}f(a_{j}+1,t^{m_{j}-1}) \pmod{g_{k}(t)}, \end{align*} where $f(a,t):=\frac{t^{a}-1}{t-1}$ and $g_{k}(t):=\gcd \big(t^{m_{1}+m_{2}-1}f(m_{2},t^{m_{1}-1}),\ldots ,t^{m_{k}+m_{k+1}-1}f(m_{k+1},t^{m_{k}-1})\big)$. This is a polynomial generalisation of the well-known characterisation modulo $m$ of the sequence of $m$-ary partition.


title: Towards Graph Foundation Models for Personalization

abstract: In the realm of personalization, integrating diverse information sources such as consumption signals and content-based representations is becoming increasingly critical to build state-of-the-art solutions. In this regard, two of the biggest trends in research around this subject are Graph Neural Networks (GNNs) and Foundation Models (FMs). While GNNs emerged as a popular solution in industry for powering personalization at scale, FMs have only recently caught attention for their promising performance in personalization tasks like ranking and retrieval. In this paper, we present a graph-based foundation modeling approach tailored to personalization. Central to this approach is a Heterogeneous GNN (HGNN) designed to capture multi-hop content and consumption relationships across a range of recommendable item types. To ensure the generality required from a Foundation Model, we employ a Large Language Model (LLM) text-based featurization of nodes that accommodates all item types, and construct the graph using co-interaction signals, which inherently transcend content specificity. To facilitate practical generalization, we further couple the HGNN with an adaptation mechanism based on a two-tower (2T) architecture, which also operates agnostically to content type. This multi-stage approach ensures high scalability; while the HGNN produces general purpose embeddings, the 2T component models in a continuous space the sheer size of user-item interaction data. Our comprehensive approach has been rigorously tested and proven effective in delivering recommendations across a diverse array of products within a real-world, industrial audio streaming platform.


title: A quantum oscillator interacting with a classical oscillator

abstract: We study a quantum oscillator interacting and back-reacting on a classical oscillator. This can be done consistently provided the quantum system decoheres, while the backreaction has a stochastic component which causes the classical system to undergo diffusion. Nonetheless the state of the quantum oscillator can remain pure conditioned on the trajectory of the classical oscillator. We solve the system using the classical-quantum path integral formulation, and investigate slow moving regimes of either the classical or quantum oscillator. Lastly, we study the correlators of this classicalquantum setup. We are able to identify the free correlators of the theory and compute the full partition function perturbatively up to second order. This serves as a toy model for a number of other systems in which one system can be treated as effectively classical, such as a scalar quantum field interacting with another field undergoing decoherence, or a system emitting radiation, one of which is treated classically.


title: On non-tameness of the Ellis semigroup

abstract: The Ellis semigroup of a dynamical system $(X,T)$ is tame if every element is the limit of a sequence (as opposed to a net) of homeomorphisms coming from the $T$ action. This topological property is related to the cardinality of the semigroup. Non-tame Ellis semigroups have a cardinality which is that of the power set of the continuum $2^{\mathfrak c}$.The semigroup admits a minimal bilateral ideal and this ideal is a union of isomorphic copies of a group $\mathcal H$, the so-called structure group of $(X,T)$. For almost automorphic systems the cardinality of $\mathcal H$ is at most $\mathfrak c$, that of the continuum. We show a partial converse for minimal $(X,T)$ with abelian $T$, namely that the cardinality of the structure group is $2^{\mathfrak c}$ if the proximal relation is not transitive and the subgroup generated by differences of singular points in the maximal equicontinuous factor is not open.This refines the above statement about non-tame Ellis semigroups, as it locates a particular algebraic component of the latter which has such a large cardinality.


title: Generalised Graph Grammars for Natural Language Processing

abstract: This seminal paper proposes a new query language for graph matching and rewriting overcoming {the declarative} limitation of Cypher while outperforming {Neo4j} on graph matching and rewriting by at least one order of magnitude. We exploited columnar databases (KnoBAB) to represent graphs using the Generalised Semistructured Model.


title: Linking Invariants for Valuations and Orderings on Fields

abstract: The mod-2 arithmetic Milnor invariants, introduced by Morishita, provide a decomposition law for primes in canonical Galois extensions with unitriangular Galois groups, and contain the Legendre and Redei symbols as special cases. Morishita further proposed a notion of mod-q arithmetic Milnor invariants, where q is a prime power, for number fields containing the q-th roots of unity and satisfying certain class field theory assumptions. We extend this theory from the number field context to general fields, by introducing a notion of a linking invariant for discrete valuations and orderings. We further express it as a Magnus homomorphism coefficient, and relate it to Massey product elements in Galois cohomology.


title: A Deep Learning Approach to Diabetes Diagnosis

abstract: Diabetes, resulting from inadequate insulin production or utilization, causes extensive harm to the body. Existing diagnostic methods are often invasive and come with drawbacks, such as cost constraints. Although there are machine learning models like Classwise k Nearest Neighbor (CkNN) and General Regression Neural Network (GRNN), they struggle with imbalanced data and result in under-performance. Leveraging advancements in sensor technology and machine learning, we propose a non-invasive diabetes diagnosis using a Back Propagation Neural Network (BPNN) with batch normalization, incorporating data re-sampling and normalization for class balancing. Our method addresses existing challenges such as limited performance associated with traditional machine learning. Experimental results on three datasets show significant improvements in overall accuracy, sensitivity, and specificity compared to traditional methods. Notably, we achieve accuracies of 89.81% in Pima diabetes dataset, 75.49% in CDC BRFSS2015 dataset, and 95.28% in Mesra Diabetes dataset. This underscores the potential of deep learning models for robust diabetes diagnosis. See project website https://steve-zeyu-zhang.github.io/DiabetesDiagnosis/


title: The Nikodym property and filters on $\omega$

abstract: For a free filter $F$ on $\omega$, let $N_F=\omega\cup\{p_F\}$, where $p_F\not\in\omega$, be equipped with the following topology: every element of $\omega$ is isolated whereas all open neighborhoods of $p_F$ are of the form $A\cup\{p_F\}$ for $A\in F$. The aim of this paper is to study spaces of the form $N_F$ in the context of the Nikodym property of Boolean algebras. By $\mathcal{AN}$ we denote the class of all those ideals $\mathcal{I}$ on $\omega$ such that for the dual filter $\mathcal{I}^*$ the space $N_{\mathcal{I}^*}$ carries a sequence $\langle\mu_n\colon n\in\omega\rangle$ of finitely supported signed measures such that $\|\mu_n\|\rightarrow\infty$ and $\mu_n(A)\rightarrow 0$ for every clopen subset $A\subseteq N_{\mathcal{I}^*}$. We prove that $\mathcal{I}\in\mathcal{AN}$ if and only if there exists a density submeasure $\varphi$ on $\omega$ such that $\varphi(\omega)=\infty$ and $\mathcal{I}$ is contained in the exhaustive ideal $\mbox{Exh}(\varphi)$. Consequently, we get that if $\mathcal{I}\subseteq\mbox{Exh}(\varphi)$ for some density submeasure $\varphi$ on $\omega$ such that $\varphi(\omega)=\infty$ and $N_{\mathcal{I}^*}$ is homeomorphic to a subspace of the Stone space $St(\mathcal{A})$ of a given Boolean algebra $\mathcal{A}$, then $\mathcal{A}$ does not have the Nikodym property. We observe that each $\mathcal{I}\in\mathcal{AN}$ is Kat\v{e}tov below the asymptotic density zero ideal $\mathcal{Z}$, and prove that the class $\mathcal{AN}$ has a subset of size $\mathfrak{d}$ which is dominating with respect to the Kat\v{e}tov order $\leq_K$, but $\mathcal{AN}$ has no $\leq_K$-maximal element. We show that for a density ideal $\mathcal{I}$ it holds $\mathcal{I}\not\in\mathcal{AN}$ if and only if $\mathcal{I}$ is totally bounded if and only if the Boolean algebra $\mathcal{P}(\omega)/\mathcal{I}$ contains a countable splitting family.


title: PMBO: Enhancing Black-Box Optimization through Multivariate Polynomial Surrogates

abstract: We introduce a surrogate-based black-box optimization method, termed Polynomial-model-based optimization (PMBO). The algorithm alternates polynomial approximation with Bayesian optimization steps, using Gaussian processes to model the error between the objective and its polynomial fit. We describe the algorithmic design of PMBO and compare the results of the performance of PMBO with several optimization methods for a set of analytic test functions. The results show that PMBO outperforms the classic Bayesian optimization and is robust with respect to the choice of its correlation function family and its hyper-parameter setting, which, on the contrary, need to be carefully tuned in classic Bayesian optimization. Remarkably, PMBO performs comparably with state-of-the-art evolutionary algorithms such as the Covariance Matrix Adaptation -- Evolution Strategy (CMA-ES). This finding suggests that PMBO emerges as the pivotal choice among surrogate-based optimization methods when addressing low-dimensional optimization problems. Hereby, the simple nature of polynomials opens the opportunity for interpretation and analysis of the inferred surrogate model, providing a macroscopic perspective on the landscape of the objective function.


title: XpertAI: uncovering model strategies for sub-manifolds

abstract: In recent years, Explainable AI (XAI) methods have facilitated profound validation and knowledge extraction from ML models. While extensively studied for classification, few XAI solutions have addressed the challenges specific to regression models. In regression, explanations need to be precisely formulated to address specific user queries (e.g.\ distinguishing between `Why is the output above 0?' and `Why is the output above 50?'). They should furthermore reflect the model's behavior on the relevant data sub-manifold. In this paper, we introduce XpertAI, a framework that disentangles the prediction strategy into multiple range-specific sub-strategies and allows the formulation of precise queries about the model (the `explanandum') as a linear combination of those sub-strategies. XpertAI is formulated generally to work alongside popular XAI attribution techniques, based on occlusion, gradient integration, or reverse propagation. Qualitative and quantitative results, demonstrate the benefits of our approach.


title: Motion Mamba: Efficient and Long Sequence Motion Generation with Hierarchical and Bidirectional Selective SSM

abstract: Human motion generation stands as a significant pursuit in generative computer vision, while achieving long-sequence and efficient motion generation remains challenging. Recent advancements in state space models (SSMs), notably Mamba, have showcased considerable promise in long sequence modeling with an efficient hardware-aware design, which appears to be a promising direction to build motion generation model upon it. Nevertheless, adapting SSMs to motion generation faces hurdles since the lack of a specialized design architecture to model motion sequence. To address these challenges, we propose Motion Mamba, a simple and efficient approach that presents the pioneering motion generation model utilized SSMs. Specifically, we design a Hierarchical Temporal Mamba (HTM) block to process temporal data by ensemble varying numbers of isolated SSM modules across a symmetric U-Net architecture aimed at preserving motion consistency between frames. We also design a Bidirectional Spatial Mamba (BSM) block to bidirectionally process latent poses, to enhance accurate motion generation within a temporal frame. Our proposed method achieves up to 50% FID improvement and up to 4 times faster on the HumanML3D and KIT-ML datasets compared to the previous best diffusion-based method, which demonstrates strong capabilities of high-quality long sequence motion modeling and real-time human motion generation. See project website https://steve-zeyu-zhang.github.io/MotionMamba/


title: A variational principle for entropy of a random dynamical system

abstract: In this article, I give a definition of topological entropy for random dynamical systems associated to an infinite countable discrete amenable group action. I obtain a variational principle between the topological entropy and measurable fiber entropy of a random dynamical system.


title: Spherical $p$-group complexes arising from finite groups of Lie type

abstract: We show that the $p$-group complex of a finite group $G$ is homotopy equivalent to a wedge of spheres of dimension at most $n$ if $G$ contains a self-centralising normal subgroup $H$ which is isomorphic to a group of Lie type and Lie rank $n$ in characteristic $p$. If in addition every order-$p$ element of $G$ induces an inner or field automorphism on $H$, the $p$-group complex of $G$ is $G$-homotopy equivalent to a spherical complex obtained from the Tits building of $H$. We also prove that the reduced Euler characteristic of the $p$-group complex of a finite group $G$ is non-zero if $G$ has trivial $p$-core and $H$ is a self-centralising normal subgroup of $G$ which is a group of Lie type (in any characteristic), except possibly when $p=2$ and $H=A_n(4^a)$ ($n\geq 2$) or $E_6(4^a)$. In particular, we conclude that the Euler characteristic of the $p$-group complex of an almost simple group does not vanish for $p\geq 7$.


title: Study of parameters affecting the cooling capacity of liquid jets by using OpenFoam as tool to solve the inverse heat transfer problem

abstract: In this work, some of the parameters influencing the cooling capacity of a liquid jet impinging onto Inconel 718 and C45 plates were experimentally investigated. The experiment included a high-speed camera to record the dynamic of the jet during the cooling process while an infrared camera was used to record the temperature field at the opposite surface. Jets made of water and oil-in-water emulsion were analysed as well as the influence of the oil concentration. Other parameters studied here include initial temperature of the plate, nozzle-to-plate distance, nozzle diameter, jet velocity, and impinging angle. The cooling performance was analysed by solving a full 3D inverse heat transfer problem (IHTP) with the Conjugate Gradient Method (CGM) implemented in a new solver in OpenFoam. The basic organization and implementation of the solver is shown, followed by its validation with a made-up case. Finally, the growth of the wetting front was analysed for different oil concentrations and a combination of nozzle diameters and jet velocities for the same flow rate. For the latest, unexpected results emerged when comparing the wetting growth for the two plate materials.


title: Hybrid Data Management Architecture for Present Quantum Computing

abstract: Quantum computers promise polynomial or exponential speed-up in solving certain problems compared to classical computers. However, in practical use, there are currently a number of fundamental technical challenges. One of them concerns the loading of data into quantum computers, since they cannot access common databases. In this vision paper, we develop a hybrid data management architecture in which databases can serve as data sources for quantum algorithms. To test the architecture, we perform experiments in which we assign data points stored in a database to clusters. For cluster assignment, a quantum algorithm processes this data by determining the distances between data points and cluster centroids.


title: Hyb Error: A Hybrid Metric Combining Absolute and Relative Errors

abstract: Suppose $x$ is an approximation of $y$. This paper proposes using $\frac{|x-y|}{1+|y|}$, named Hyb Error, to measure the error. This metric equals half the harmonic mean of absolute error and relative error, effectively combining their advantages while mitigating their limitations. For example, Hyb Error approaches absolute error as $|y|$ approaches 0, thereby avoiding the exaggeration of relative error, and approaches relative error as $|y|$ approaches infinity, thereby avoiding the exaggeration of absolute error. The Hyb Error of $\epsilon$ is equivalent to $|x-y|=\epsilon+\epsilon |y|$, which implies $\mathrm{isclose}(x,y,\epsilon,\epsilon)=\mathrm{True}$, where ``isclose'' is a common floating-point equality check function in numerical libraries. For sequences, this property makes the Maximum Element-wise Hyb Error (MEHE) a pragmatic error metric that reflects the most significant error and equals the decision boundary of the ``isclose'' function.


title: Signed graphs in data sciences via communicability geometry

abstract: Signed graphs are an emergent way of representing data in a variety of contexts were conflicting interactions exist. These include data from biological, ecological, and social systems. Here we propose the concept of communicability geometry for signed graphs, proving that metrics in this space, such as the communicability distance and angles, are Euclidean and spherical. We then apply these metrics to solve several problems in data analysis of signed graphs in a unified way. They include the partitioning of signed graphs, dimensionality reduction, finding hierarchies of alliances in signed networks as well as the quantification of the degree of polarization between the existing factions in systems represented by this type of graphs.

categories: math.MG cs.DM cs.LG math.CO physics.soc-ph


title: SemGauss-SLAM: Dense Semantic Gaussian Splatting SLAM

abstract: We propose SemGauss-SLAM, a dense semantic SLAM system utilizing 3D Gaussian representation, that enables accurate 3D semantic mapping, robust camera tracking, and high-quality rendering simultaneously. In this system, we incorporate semantic feature embedding into 3D Gaussian representation, which effectively encodes semantic information within the spatial layout of the environment for precise semantic scene representation. Furthermore, we propose feature-level loss for updating 3D Gaussian representation, enabling higher-level guidance for 3D Gaussian optimization. In addition, to reduce cumulative drift in tracking and improve semantic reconstruction accuracy, we introduce semantic-informed bundle adjustment leveraging multi-frame semantic associations for joint optimization of 3D Gaussian representation and camera poses, leading to low-drift tracking and accurate mapping. Our SemGauss-SLAM method demonstrates superior performance over existing radiance field-based SLAM methods in terms of mapping and tracking accuracy on Replica and ScanNet datasets, while also showing excellent capabilities in high-precision semantic segmentation and dense semantic mapping.


title: Tuning diagonal scale matrices for HMC

abstract: Three approaches for adaptively tuning diagonal scale matrices for HMC are discussed and compared. The common practice of scaling according to estimated marginal standard deviations is taken as a benchmark. Scaling according to the mean log-target gradient (ISG), and a scaling method targeting that the frequency of when the underlying Hamiltonian dynamics crosses the respective medians should be uniform across dimensions, are taken as alternatives. Numerical studies suggest that the ISG method leads in many cases to more efficient sampling than the benchmark, in particular in cases with strong correlations or non-linear dependencies. The ISG method is also easy to implement, computationally cheap and would be relatively simple to include in automatically tuned codes as an alternative to the benchmark practice.


title: Reheated Sub-40000 Kelvin Neutron Stars at the JWST, ELT, and TMT

abstract: Neutron stars cooling passively since their birth may be reheated in their late-stage evolution by a number of possible phenomena: rotochemical, vortex creep, crust cracking, magnetic field decay, or more exotic processes such as removal of neutrons from their Fermi seas (the nucleon Auger effect), baryon number-violating nucleon decay, and accretion of particle dark matter. Using Exposure Time Calculator tools, we show that reheating mechanisms imparting effective temperatures of 2000--40000 Kelvin may be uncovered with excellent sensitivities at the James Webb Space Telescope (JWST), the Extremely Large Telescope (ELT), and the Thirty Meter Telescope (TMT), with imaging instruments operating from visible-edge to near-infrared. With a day of exposure, they could constrain the reheating luminosity of a neutron star up to a distance of 500 pc, within which about $10^5$ (undiscovered) neutron stars lie. Detection in multiple filters could overconstrain a neutron star's surface temperature, distance from Earth, mass, and radius. Using publicly available catalogues of newly discovered pulsars at the FAST and CHIME radio telescopes and the Galactic electron distribution models YMW16 and NE2001, we estimate the pulsars' dispersion measure distance from Earth, and find that potentially 30$-$40 of these may be inspected for late-stage reheating within viable exposure times, in addition to a few hundred candidates already present in the ATNF catalogue. Whereas the coldest neutron star observed (PSR J2144$-$3933) has an upper limit on its effective temperature of about 33000 Kelvin with the Hubble Space Telescope, we show that the effective temperature may be constrained down to 20000 Kelvin with JWST-NIRCam, 15000 Kelvin at ELT-MICADO, and 9000 Kelvin with TMT-IRIS. Campaigns to measure thermal luminosities of old neutron stars would be transformative for astrophysics and fundamental physics.


abstract: In this article, we introduce the concepts of Weyl mean equicontinuity and Weyl mean sensitivity of a random dynamical system associated to an infinite countable discrete amenable group action. We obtain the dichotomy result to Weyl mean equicontinuity and Weyl mean sensitivity of a random dynamical system when the corresponding skew product transformation is minimal and \Omega is finite.


title: FLAME: Fitting Ly$\alpha$ Absorption lines using Machine learning

abstract: We introduce FLAME, a machine-learning algorithm designed to fit Voigt profiles to HI Lyman-alpha (Ly$\alpha$) absorption lines using deep convolutional neural networks. FLAME integrates two algorithms: the first determines the number of components required to fit Ly$\alpha$ absorption lines, and the second calculates the Doppler parameter $b$, the HI column density N$_{\rm HI}$, and the velocity separation of individual components. For the current version of FLAME, we trained it on low-redshift Ly$\alpha$ forests observed with the far-ultraviolet gratings of the Cosmic Origin Spectrograph (COS) on board the Hubble Space Telescope (HST). Using these data, we trained FLAME on $\sim$ $10^6$ simulated Voigt profiles which we forward-modeled to mimic Ly$\alpha$ absorption lines observed with HST-COS in order to classify lines as either single or double components and then determine Voigt profile-fitting parameters. FLAME shows impressive accuracy on the simulated data, identifying more than 98\% (90\%) of single (double) component lines. It determines $b$ values within $\approx \pm{8}~(15)$ km s$^{-1}$ and log $N_{\rm HI}/ {\rm cm}^2$ values within $\approx \pm 0.3~(0.8)$ for 90\% of the single (double) component lines. However, when applied to real data, FLAME's component classification accuracy drops by $\sim$ 10\%. Nevertheless, there is reasonable agreement between the $b$ and N$_{\rm HI}$ distributions obtained from traditional Voigt profile-fitting methods and FLAME's predictions. Our mock HST-COS data analysis, designed to emulate real data parameters, demonstrates that FLAME is able to achieve consistent accuracy comparable to its performance with simulated data. This finding suggests that the drop in FLAME's accuracy when used on real data primarily arises from the difficulty in replicating the full complexity of real data in the training sample.


title: Low-mass enhancement of kaon pairs in $B^+\to\bar{D}^{(*)0}K^+\bar{K}^0$ and $B^0\to D^{(*)-}K^+\bar{K}^0$ decays

abstract: Very recently, the Belle~II Collaboration presented a measurement for the decays $B^+\to\bar{D}^{(*)0} K^+\bar{K}^0$ and $B^0\to D^{(*)-}K^+\bar{K}^0$, the bulk of observed $m(K^+ K_S^0)$ distributions showing low-mass structures in all four channels. In this work, we study the contributions of $\rho(770,1450)^+$, $a_2(1320)^+$ and $a_0(980,1450)^+$ resonances to these decay processes. The intermediate states $\rho(770,1450)^+$ are found to dominate the low-mass distribution of kaon pairs roughly contributing to half of the total branching fraction in each of the four decay channels. The contribution of the tensor $a_2(1320)^+$ meson is found to be negligible. Near the threshold of the kaon pair, the state $a_0(980)^+$ turns out to be much less important than expected, not being able to account for the enhancement of events in that energy region observed in the $B^+\to\bar{D}^{(*)0} K^+\bar{K}^0$ decays. Further studies both from the theoretical and experimental sides are needed to elucidate the role of the non-resonant contributions governing the formation of $K^+\bar{K}^0$ pairs near their threshold in these decay processes.


title: Block-wise LoRA: Revisiting Fine-grained LoRA for Effective Personalization and Stylization in Text-to-Image Generation

abstract: The objective of personalization and stylization in text-to-image is to instruct a pre-trained diffusion model to analyze new concepts introduced by users and incorporate them into expected styles. Recently, parameter-efficient fine-tuning (PEFT) approaches have been widely adopted to address this task and have greatly propelled the development of this field. Despite their popularity, existing efficient fine-tuning methods still struggle to achieve effective personalization and stylization in T2I generation. To address this issue, we propose block-wise Low-Rank Adaptation (LoRA) to perform fine-grained fine-tuning for different blocks of SD, which can generate images faithful to input prompts and target identity and also with desired style. Extensive experiments demonstrate the effectiveness of the proposed method.


title: Detecting Security-Relevant Methods using Multi-label Machine Learning

abstract: To detect security vulnerabilities, static analysis tools need to be configured with security-relevant methods. Current approaches can automatically identify such methods using binary relevance machine learning approaches. However, they ignore dependencies among security-relevant methods, over-generalize and perform poorly in practice. Additionally, users have to nevertheless manually configure static analysis tools using the detected methods. Based on feedback from users and our observations, the excessive manual steps can often be tedious, error-prone and counter-intuitive. In this paper, we present Dev-Assist, an IntelliJ IDEA plugin that detects security-relevant methods using a multi-label machine learning approach that considers dependencies among labels. The plugin can automatically generate configurations for static analysis tools, run the static analysis, and show the results in IntelliJ IDEA. Our experiments reveal that Dev-Assist's machine learning approach has a higher F1-Measure than related approaches. Moreover, the plugin reduces and simplifies the manual effort required when configuring and using static analysis tools.


title: Short time asymptotics of the fundamental solutions for Schr\"{o}dinger equations with non-smooth potentials

abstract: This paper deals with Schr\"{o}dinger equations with potentials which are time-dependent non-smooth and at most quadratic growth. In the case where potentials are smooth with respect to spatial variables, fundamental solutions have explicit formulas in short time by D. Fujiwara. On the otherhand in the case where ones are non-smooth, we cannot expect that fundamental solutions have similar formula as above because dispersive estimates fail to hold in general. We show that a principal part of an asymptotic form of the fundamental solution has similar form as above even in the case where a potential is in $C^2$ with respect to spatial variables.


title: Constrained Optimal Fuel Consumption of HEV: A Constrained Reinforcement Learning Approach

abstract: Hybrid electric vehicles (HEVs) are becoming increasingly popular because they can better combine the working characteristics of internal combustion engines and electric motors. However, the minimum fuel consumption of an HEV for a battery electrical balance case under a specific assembly condition and a specific speed curve still needs to be clarified in academia and industry. Regarding this problem, this work provides the mathematical expression of constrained optimal fuel consumption (COFC) from the perspective of constrained reinforcement learning (CRL) for the first time globally. Also, two mainstream approaches of CRL, constrained variational policy optimization (CVPO) and Lagrangian-based approaches, are utilized for the first time to obtain the vehicle's minimum fuel consumption under the battery electrical balance condition. We conduct case studies on the well-known Prius TOYOTA hybrid system (THS) under the NEDC condition; we give vital steps to implement CRL approaches and compare the performance between the CVPO and Lagrangian-based approaches. Our case study found that CVPO and Lagrangian-based approaches can obtain the lowest fuel consumption while maintaining the SOC balance constraint. The CVPO approach converges stable, but the Lagrangian-based approach can obtain the lowest fuel consumption at 3.95 L/100km, though with more significant oscillations. This result verifies the effectiveness of our proposed CRL approaches to the COFC problem.


title: Two-dimensional phase diagram of the charge density wave in doped CsV$_3$Sb$_5$

abstract: Kagome superconductors AV$_3$Sb$_5$ (A = K, Rb and Cs) have attracted much recent attention due to the coexistence of multiple exotic orders. Among them, the charge density wave (CDW) order has been shown to host various unconventional behaviors. Here, we investigate the CDW order by a combination of both bulk and surface doping methods. While element substitutions in bulk doping change both carriers and the crystal lattice, the surface doping primarily tunes the carrier concentration. As such, our results reveal a two-dimensional phase diagram of the CDW in doped CsV$_3$Sb$_5$. In the lightly bulk doped regime, the existence of CDW order is reversible by tuning the carrier concentration. But excessive bulk doping permanently destroys the CDW, regardless of the carrier doping level. These results provide insights to the origin of the CDW from both electronic and structural degrees of freedom. They also open an avenue for manipulating the exotic CDW order in Kagome superconductors.


title: Rotational Evolution of Classical T Tauri Stars: Models and Observations

abstract: We developed a grid of stellar rotation models for low-mass and solar-type Classical T Tauri stars (CTTS) ($0.3M_{\odot}<M_{\ast}<1.2M_{\odot}$). These models incorporate the star-disk interaction and magnetospheric ejections to investigate the evolution of the stellar rotation rate as a function of the mass of the star $M_{\ast}$, the magnetic field ($B_{\ast}$), and stellar wind ($\dot{M}_{wind}$). We compiled and determined stellar parameters for 208 CTTS, such as projected rotational velocity $v\sin(i)$, mass accretion rate $\dot{M}_{acc}$, stellar mass $M_{\ast}$, ages, and estimated rotational periods using TESS data. We also estimated a representative value of the mass-loss rate for our sample using the $[\text{O}\text{ I}]$ spectral line. Our results confirm that $v\sin(i)$ measurements in CTTS agree with the rotation rates provided by our spin models in the accretion-powered stellar winds (APSW) picture. In addition, we used the Approximate Bayesian Computation (ABC) technique to explore the connection between the model parameters and the observational properties of CTTS. We find that the evolution of $v\sin(i)$ with age might be regulated by variations in (1) the intensity of $B_{\ast}$ and (2) the fraction of the accretion flow ejected in magnetic winds, removing angular momentum from these systems. The youngest stars in our sample ($\sim $1 Myr) show a median branching ratio $\dot{M}_{wind}/\dot{M}_{acc}\sim$ $0.16$ and median $B_{\ast}\sim$ 2000 G, in contrast to $\sim 0.01$ and 1000 G, respectively, for stars with ages $\gtrsim 3$ Myr.


title: Robustness, Security, Privacy, Explainability, Efficiency, and Usability of Large Language Models for Code

abstract: Large language models for code (LLM4Code), which demonstrate strong performance (e.g., high accuracy) in processing source code, have significantly transformed software engineering. Many studies separately investigate the non-functional properties of LM4Code, but there is no systematic review of how these properties are evaluated and enhanced. This paper fills this gap by thoroughly examining 146 relevant studies, thereby presenting the first systematic literature review to identify seven important properties beyond accuracy, including robustness, security, privacy, explainability, efficiency, and usability. We discuss the current state-of-the-art methods and trends, identify gaps in existing research, and present promising directions for future study.


title: Reconstructions of Jupiter's magnetic field using physics informed neural networks

abstract: Magnetic sounding using data collected from the Juno mission can be used to provide constraints on Jupiter's interior. However, inwards continuation of reconstructions assuming zero electrical conductivity and a representation in spherical harmonics are limited by the enhancement of noise at small scales. Here we describe new reconstructions of Jupiter's internal magnetic field based on physics-informed neural networks and either the first 33 (PINN33) or the first 50 (PINN50) of Juno's orbits. The method can resolve local structures, and allows for weak ambient electrical currents. Our models are not hampered by noise amplification at depth, and offer a much clearer picture of the interior structure. We estimate that the dynamo boundary is at a fractional radius of 0.8. At this depth, the magnetic field is arranged into longitudinal bands, and strong local features such as the great blue spot appear to be rooted in neighbouring structures of oppositely signed flux.


title: MoAI: Mixture of All Intelligence for Large Language and Vision Models

abstract: The rise of large language models (LLMs) and instruction tuning has led to the current trend of instruction-tuned large language and vision models (LLVMs). This trend involves either meticulously curating numerous instruction tuning datasets tailored to specific objectives or enlarging LLVMs to manage vast amounts of vision language (VL) data. However, current LLVMs have disregarded the detailed and comprehensive real-world scene understanding available from specialized computer vision (CV) models in visual perception tasks such as segmentation, detection, scene graph generation (SGG), and optical character recognition (OCR). Instead, the existing LLVMs rely mainly on the large capacity and emergent capabilities of their LLM backbones. Therefore, we present a new LLVM, Mixture of All Intelligence (MoAI), which leverages auxiliary visual information obtained from the outputs of external segmentation, detection, SGG, and OCR models. MoAI operates through two newly introduced modules: MoAI-Compressor and MoAI-Mixer. After verbalizing the outputs of the external CV models, the MoAI-Compressor aligns and condenses them to efficiently use relevant auxiliary visual information for VL tasks. MoAI-Mixer then blends three types of intelligence (1) visual features, (2) auxiliary features from the external CV models, and (3) language features by utilizing the concept of Mixture of Experts. Through this integration, MoAI significantly outperforms both open-source and closed-source LLVMs in numerous zero-shot VL tasks, particularly those related to real-world scene understanding such as object existence, positions, relations, and OCR without enlarging the model size or curating extra visual instruction tuning datasets.


title: Conformal anomalies for (maximal) 6d conformal supergravity

abstract: We compute the conformal anomalies for 6d (2,0) conformal supergravity by direct calculation in component fields. The main novel results consist of the type-B anomaly coefficients for the gravitino and the 3-form, as well as their explicit quadratic action on some specific backgrounds. We also comment on the graviton contribution, whose Lagrangian is essentially given by the $\mathscr Q$-curvature. We confirm the expectation that, when coupling (2,0) conformal supergravity to 26 copies of the (2,0) tensor multiplet, the resulting theory is free of conformal anomalies. We also consider the conformal anomalies for its (1,0) truncation and confirm their relation with the chiral anomaly polynomial recently derived. For calculating the anomalies, we work with an Einstein on-shell background and make a factorised Ansatz for the operators governing the quadratic fluctuations. This reduces the calculation to evaluating heat-kernel coefficients of standard 2-derivative operators. We fix and check the Ansatz against the explicit evaluation of the component-field supergravity action in some cases.


title: Relevance Score: A Landmark-Like Heuristic for Planning

abstract: Landmarks are facts or actions that appear in all valid solutions of a planning problem. They have been used successfully to calculate heuristics that guide the search for a plan. We investigate an extension to this concept by defining a novel "relevance score" that helps identify facts or actions that appear in most but not all plans to achieve any given goal. We describe an approach to compute this relevance score and use it as a heuristic in the search for a plan. We experimentally compare the performance of our approach with that of a state of the art landmark-based heuristic planning approach using benchmark planning problems. While the original landmark-based heuristic leads to better performance on problems with well-defined landmarks, our approach substantially improves performance on problems that lack non-trivial landmarks.


title: The entropy of an extended map for abelian group actions

abstract: In this paper, we mainly consider on the entropy of the extended map conditional to the natural extension of a dynamical system for an Abelian group action and we calculate the entropy is zero.


title: Is there (no) collective flow in pp collisions?

abstract: The transverse momentum spectra and their multiplicity dependence serve as key tools for extracting parameters that can be compared with theoretical models. This comparison aims to establish the behaviour and nature of the system created in the collision. Over the past decade, the scientific community has extensively studied the possibility of a system analogous to quark-gluon plasma, predicted in heavy nuclei collisions, also existing in collisions involving light nuclei and proton-proton collisions. We have reanalysed the experimental data published by the ALICE Collaboration at the LHC, exploring a seemingly universal feature of transverse momentum spectra of charged particles. We have identified a specific range where the contribution of the hard part is nonexistent for the studied multiplicities. We present the dependence of the mean transverse momenta obtained in the soft and soft+hard (mixed) parts and discuss the results in the context of the ongoing controversy regarding the existence of collectivity in small systems. Finally, we also discuss possible refinements of the analyses concerning the use of statistical parameters of higher order, aimed at better distinguishing the agreement of theoretical and Monte Carlo models with the data.


title: Spatiotemporal Representation Learning for Short and Long Medical Image Time Series

abstract: Analyzing temporal developments is crucial for the accurate prognosis of many medical conditions. Temporal changes that occur over short time scales are key to assessing the health of physiological functions, such as the cardiac cycle. Moreover, tracking longer term developments that occur over months or years in evolving processes, such as age-related macular degeneration (AMD), is essential for accurate prognosis. Despite the importance of both short and long term analysis to clinical decision making, they remain understudied in medical deep learning. State of the art methods for spatiotemporal representation learning, developed for short natural videos, prioritize the detection of temporal constants rather than temporal developments. Moreover, they do not account for varying time intervals between acquisitions, which are essential for contextualizing observed changes. To address these issues, we propose two approaches. First, we combine clip-level contrastive learning with a novel temporal embedding to adapt to irregular time series. Second, we propose masking and predicting latent frame representations of the temporal sequence. Our two approaches outperform all prior methods on temporally-dependent tasks including cardiac output estimation and three prognostic AMD tasks. Overall, this enables the automated analysis of temporal patterns which are typically overlooked in applications of deep learning to medicine.


title: Uncertainty-guided Contrastive Learning for Single Source Domain Generalisation

abstract: In the context of single domain generalisation, the objective is for models that have been exclusively trained on data from a single domain to demonstrate strong performance when confronted with various unfamiliar domains. In this paper, we introduce a novel model referred to as Contrastive Uncertainty Domain Generalisation Network (CUDGNet). The key idea is to augment the source capacity in both input and label spaces through the fictitious domain generator and jointly learn the domain invariant representation of each class through contrastive learning. Extensive experiments on two Single Source Domain Generalisation (SSDG) datasets demonstrate the effectiveness of our approach, which surpasses the state-of-the-art single-DG methods by up to $7.08\%$. Our method also provides efficient uncertainty estimation at inference time from a single forward pass through the generator subnetwork.


title: Existence of Weak Solutions to a Cahn-Hilliard-Biot System

abstract: We prove existence of weak solutions to a diffuse interface model describing the flow of a fluid through a deformable porous medium consisting of two phases. The system non-linearly couples Biot's equations for poroelasticity, including phase-field dependent material properties, with the Cahn-Hilliard equation to model the evolution of the solid, and is further augmented by a visco-elastic regularization consistent with secondary consolidation. To obtain this result, we approximate the problem in two steps, where first a semi-Galerkin ansatz is employed to show existence of weak solutions to regularized systems, for which later on compactness arguments allow limit passage. Notably, we also establish a maximal regularity theory for linear visco-elastic problems.


title: D4D: An RGBD diffusion model to boost monocular depth estimation

abstract: Ground-truth RGBD data are fundamental for a wide range of computer vision applications; however, those labeled samples are difficult to collect and time-consuming to produce. A common solution to overcome this lack of data is to employ graphic engines to produce synthetic proxies; however, those data do not often reflect real-world images, resulting in poor performance of the trained models at the inference step. In this paper we propose a novel training pipeline that incorporates Diffusion4D (D4D), a customized 4-channels diffusion model able to generate realistic RGBD samples. We show the effectiveness of the developed solution in improving the performances of deep learning models on the monocular depth estimation task, where the correspondence between RGB and depth map is crucial to achieving accurate measurements. Our supervised training pipeline, enriched by the generated samples, outperforms synthetic and original data performances achieving an RMSE reduction of (8.2%, 11.9%) and (8.1%, 6.1%) respectively on the indoor NYU Depth v2 and the outdoor KITTI dataset.


title: Energy versus Output Quality of Non-volatile Writes in Intermittent Computing

abstract: We explore how to improve the energy performance of battery-less Internet of Things (IoT) devices at the cost of a reduction in the quality of the output. Battery-less IoT devices are extremely resource-constrained energy-harvesting devices. Due to erratic energy patterns from the ambient, their executions become intermittent; periods of active computation are interleaved by periods of recharging small energy buffers. To cross periods of energy unavailability, a device persists application and system state onto Non-Volatile Memory (NVM) in anticipation of energy failures. We purposely control the energy invested in these operations, representing a major energy overhead, when using Spin-Transfer Torque Magnetic Random-Access Memory (STT-MRAM) as NVM. As a result, we abate the corresponding overhead, yet introduce write errors. Based on 1.9+ trillion experimental data points, we illustrate whether this is a gamble worth taking, when, and where. We measure the energy consumption and quality of output obtained from the execution of nine diverse benchmarks on top of seven different platforms. Our results allow us to draw three key observations: i) the trade-off between energy saving and reduction of output quality is program-specific; ii) the same trade-off is a function of a platform's specific compute efficiency and power figures; and iii) data encoding and input size impact a program's resilience to errors. As a paradigmatic example, we reveal cases where we achieve up to 50% reduction in energy consumption with negligible effects on output quality, as opposed to settings where a minimal energy gain causes drastic drops in output quality.


title: Open-Vocabulary Scene Text Recognition via Pseudo-Image Labeling and Margin Loss

abstract: Scene text recognition is an important and challenging task in computer vision. However, most prior works focus on recognizing pre-defined words, while there are various out-of-vocabulary (OOV) words in real-world applications. In this paper, we propose a novel open-vocabulary text recognition framework, Pseudo-OCR, to recognize OOV words. The key challenge in this task is the lack of OOV training data. To solve this problem, we first propose a pseudo label generation module that leverages character detection and image inpainting to produce substantial pseudo OOV training data from real-world images. Unlike previous synthetic data, our pseudo OOV data contains real characters and backgrounds to simulate real-world applications. Secondly, to reduce noises in pseudo data, we present a semantic checking mechanism to filter semantically meaningful data. Thirdly, we introduce a quality-aware margin loss to boost the training with pseudo data. Our loss includes a margin-based part to enhance the classification ability, and a quality-aware part to penalize low-quality samples in both real and pseudo data. Extensive experiments demonstrate that our approach outperforms the state-of-the-art on eight datasets and achieves the first rank in the ICDAR2022 challenge.


title: Time evolution of the Boltzmann entropy for a nonequilibrium dilute gas

abstract: We investigate the time evolution of the Boltzmann entropy of a dilute gas of N particles, N>>1, as it undergoes a free expansion doubling its volume. The microstate of the system, a point in the 4N dimensional phase space, changes in time via Hamiltonian dynamics. Its entropy, at any time $t$, is given by the logarithm of the phase space volume of all the microstates giving rise to its macrostate at time $t$. The macrostates that we consider are defined by coarse graining the one-particle phase space into cells $\Delta_\alpha$. The initial and final macrostates of the system are equilibrium states in volumes $V$ and $2V$, with the same energy $E$ and particle number $N$. Their entropy per particle is given, for sufficiently large systems, by the thermodynamic entropy as a function of the particle and energy density, whose leading term is independent of the size of the $\Delta_\alpha$. The intermediate (non-equilibrium) entropy does however depend on the size of the cells $\Delta_\alpha$. Its change with time is due to (i) dispersal in physical space from free motion and to (ii) the collisions between particles which change their velocities. The former depends strongly on the size of the velocity coarse graining $\Delta v$: it produces entropy at a rate proportional to $\Delta v$. This dependence is investigated numerically and analytically for a dilute two-dimensional gas of hard discs. It becomes significant when the mean free path between collisions is of the same order or larger than the length scale of the initial spatial inhomogeneity. In the opposite limit, the rate of entropy production is essentially independent of $\Delta v$ and is given by the Boltzmann equation for the limit $\Delta v\rightarrow 0$. We show that when both processes are active the time dependence of the entropy has a scaling form involving the ratio of the rates of its production by the two processes.


title: Effects of diffusion and advection on predator prey dynamics in an advective patchy environment

abstract: In this paper, we consider a specialist predator-prey patchy model over the closed stream network. We study the dynamics and the asymptotic profiles of positive steady states according to the mortality rate of the specialist predators, advection and diffusion rates. We verify that the specialist predators can successfully invade as long as the mortality rate is sufficiently small. On the other hand, the impacts of diffusion and advection on the asymptotic profiles of positive steady states and on the concentration of the species are given.


title: Cohomologies and deformations of differential algebra morphisms

abstract: This paper studies the formal deformations of differential algebra morphisms. As a consequence, we develop a cohomology theory of differential algebra morphisms to interpret the lower degree cohomology groups as formal deformations. Then, we prove the Cohomology Comparison Theorem of differential algebra morphisms, i.e., the cohomology of a morphism of differential algebras is isomorphic to the cohomology of an auxiliary differential algebra. Finally, we can give a minimal model for morphism of differential algebras with weight=0.


title: Holographic spin alignment for vector mesons

abstract: We develop a general framework for studying the spin alignment $\rho_{00}$ for flavorless vector mesons by using the gauge/gravity duality. Focusing on the dilepton production through vector meson decay, we derive the relation between production rates at each spin channel and meson's spectral function, which can be evaluated by holographic models for a strongly coupled system. As examples, we study $\rho_{00}$ for $J/\psi$ and $\phi$ mesons, induced by the relative motion to a thermal background, within the soft-wall model. We show that $\rho_{00}$ in the helicity frame for $J/\psi$ and $\phi$ mesons have positive and negative deviations from 1/3 at $T=150$ MeV, respectively, which consequently leads to different properties for their global spin alignments.


title: Online Misogyny Against Female Candidates in the 2022 Brazilian Elections: A Threat to Women's Political Representation?

abstract: Technology-facilitated gender-based violence has become a global threat to women's political representation and democracy. Understanding how online hate affects its targets is thus paramount. We analyse 10 million tweets directed at female candidates in the Brazilian election in 2022 and examine their reactions to online misogyny. Using a self-trained machine learning classifier to detect Portuguese misogynistic tweets and a quantitative analysis of the candidates' tweeting behaviour, we investigate how the number of misogynistic attacks received alters the online activity of the female candidates. We find that young and left-wing candidates and candidates with higher visibility online received significantly more attacks. Furthermore, we find that an increase in misogynistic attacks in the previous week is associated with a decrease in female candidates' tweets in the following week. This potentially threatens their equal participation in public opinion building and silences women's voices in political discourse.


title: Shining Light on Periodic Dominating Sets in Bounded-Treewidth Graphs

abstract: For the vertex selection problem $(\sigma,\rho)$-DomSet one is given two fixed sets $\sigma$ and $\rho$ of integers and the task is to decide whether we can select vertices of the input graph, such that, for every selected vertex, the number of selected neighbors is in $\sigma$ and, for every unselected vertex, the number of selected neighbors is in $\rho$. This framework covers Independent Set and Dominating Set for example. We investigate the case when $\sigma$ and $\rho$ are periodic sets with the same period $m\ge 2$, that is, the sets are two (potentially different) residue classes modulo $m$. We study the problem parameterized by treewidth and present an algorithm that solves in time $m^{tw} \cdot n^{O(1)}$ the decision, minimization and maximization version of the problem. This significantly improves upon the known algorithms where for the case $m \ge 3$ not even an explicit running time is known. We complement our algorithm by providing matching lower bounds which state that there is no $(m-\epsilon)^{pw} \cdot n^{O(1)}$ unless SETH fails. For $m = 2$, we extend these bound to the minimization version as the decision version is efficiently solvable.


title: Universal Chemical Formula Dependence of $Ab$ $Initio$ Low-Energy Effective Hamiltonian in Single-Layer Carrier Doped Cuprate Superconductors -- Study by Hierarchical Dependence Extraction Algorithm

abstract: We explore the possibility to control the superconducting (SC) transition temperature at optimal hole doping $T_{c}^{\rm opt}$ in cuprates by tuning the chemical formula (CF). $T_{c}^{\rm opt}$ can be theoretically predicted from the parameters of the \textit{ab initio} low-energy effective Hamiltonian (LEH) with one antibonding (AB) Cu$3d_{x^2-y^2}$/O$2p_{\sigma}$ orbital per Cu atom in the CuO$_2$ plane, notably the nearest neighbor hopping amplitude $|t_1|$ and the ratio $u=U/|t_1|$, where $U$ is the onsite effective Coulomb repulsion. However, the CF dependence of $|t_1|$ and $u$ is a highly nontrivial question. In this paper, we propose the universal dependence of $|t_1|$ and $u$ on the CF and structural features in hole doped cuprates with a single CuO$_2$ layer sandwiched between block layers. To do so, we perform extensive \textit{ab initio} calculations of $|t_1|$ and $u$ and analyze the results by employing a machine learning method called Hierarchical Dependence Extraction (HDE). The main results are the following: (a) $|t_1|$ has a main-order dependence on the radii $R_{\rm X}$ and $R_{\rm A}$ of the apical anion X and cation A in the block layer. ($|t_1|$ increases when $R_{\rm X}$ or $R_{\rm A}$ decreases.) (b) $u$ has a main-order dependence on the negative ionic charge $Z_{\rm X}$ of X and the hole doping $\delta$ of the AB orbital. ($u$ decreases when $|Z_{\rm X}|$ increases or $\delta$ increases.) We elucidate and discuss the microscopic mechanism of (a,b). We demonstrate the predictive power of the HDE by showing the consistency between (a,b) and results from previous works. The present results provide a basis for optimizing SC properties in cuprates and possibly akin materials. Also, the HDE method offers a general platform to identify dependencies between physical quantities.