title: PDE-CNNs: Axiomatic Derivations and Applications

abstract: PDE-based Group Convolutional Neural Networks (PDE-G-CNNs) utilize solvers of geometrically meaningful evolution PDEs as substitutes for the conventional components in G-CNNs. PDE-G-CNNs offer several key benefits all at once: fewer parameters, inherent equivariance, better performance, data efficiency, and geometric interpretability. In this article we focus on Euclidean equivariant PDE-G-CNNs where the feature maps are two dimensional throughout. We call this variant of the framework a PDE-CNN. From a machine learning perspective, we list several practically desirable axioms and derive from these which PDEs should be used in a PDE-CNN. Here our approach to geometric learning via PDEs is inspired by the axioms of classical linear and morphological scale-space theory, which we generalize by introducing semifield-valued signals. Furthermore, we experimentally confirm for small networks that PDE-CNNs offer fewer parameters, increased performance, and better data efficiency when compared to CNNs. We also investigate what effect the use of different semifields has on the performance of the models.


title: CRPlace: Camera-Radar Fusion with BEV Representation for Place Recognition

abstract: The integration of complementary characteristics from camera and radar data has emerged as an effective approach in 3D object detection. However, such fusion-based methods remain unexplored for place recognition, an equally important task for autonomous systems. Given that place recognition relies on the similarity between a query scene and the corresponding candidate scene, the stationary background of a scene is expected to play a crucial role in the task. As such, current well-designed camera-radar fusion methods for 3D object detection can hardly take effect in place recognition because they mainly focus on dynamic foreground objects. In this paper, a background-attentive camera-radar fusion-based method, named CRPlace, is proposed to generate background-attentive global descriptors from multi-view images and radar point clouds for accurate place recognition. To extract stationary background features effectively, we design an adaptive module that generates the background-attentive mask by utilizing the camera BEV feature and radar dynamic points. With the guidance of a background mask, we devise a bidirectional cross-attention-based spatial fusion strategy to facilitate comprehensive spatial interaction between the background information of the camera BEV feature and the radar BEV feature. As the first camera-radar fusion-based place recognition network, CRPlace has been evaluated thoroughly on the nuScenes dataset. The results show that our algorithm outperforms a variety of baseline methods across a comprehensive set of metrics (recall@1 reaches 91.2%).


title: Calabi-Yau threefolds with boundary

abstract: We develop the deformation theory of Calabi-Yau threefolds, by which we mean 3-dimensional complex manifolds with a nowhere-vanishing holomorphic 3-form, on manifolds with boundary. The boundary data is a closed, real 3-form on the 5-dimensional boundary. In the case of strongly pseudoconvex boundary, we obtain an analogue of Hitchin's local Torelli Theorem for compact manifolds, modulo a finite dimensional obstruction space, which we show is zero in many cases of interest.


title: Investigating the Performance of Language Models for Completing Code in Functional Programming Languages: a Haskell Case Study

abstract: Language model-based code completion models have quickly grown in use, helping thousands of developers write code in many different programming languages. However, research on code completion models typically focuses on imperative languages such as Python and JavaScript, which results in a lack of representation for functional programming languages. Consequently, these models often perform poorly on functional languages such as Haskell. To investigate whether this can be alleviated, we evaluate the performance of two language models for code, CodeGPT and UniXcoder, on the functional programming language Haskell. We fine-tune and evaluate the models on Haskell functions sourced from a publicly accessible Haskell dataset on HuggingFace. Additionally, we manually evaluate the models using our novel translated HumanEval dataset. Our automatic evaluation shows that knowledge of imperative programming languages in the pre-training of LLMs may not transfer well to functional languages, but that code completion on functional languages is feasible. Consequently, this shows the need for more high-quality Haskell datasets. A manual evaluation on HumanEval-Haskell indicates CodeGPT frequently generates empty predictions and extra comments, while UniXcoder more often produces incomplete or incorrect predictions. Finally, we release HumanEval-Haskell, along with the fine-tuned models and all code required to reproduce our experiments on GitHub (https://github.com/AISE-TUDelft/HaskellCCEval).


title: Measuring two temperatures using a single thermometer

abstract: We consider the question: Is it possible to measure two temperatures simultaneously using a single thermometer? Under common circumstances, where the thermometer can interact with only one bath at a time and the interaction leads to complete thermalization, this is clearly impossible because the final state of the thermometer would be independent of the temperature of the first bath. In this work, we show that this task can indeed be accomplished with the assistance of quantum control. In particular, we consider a composite particle with multiple quantum degrees of freedom (DoF) as a temperature sensor, where one of the DoF -- termed as internal DoF -- is susceptible to the local temperature, thereby functioning as a thermometer, whereas another DoF -- termed external DoF -- is quantum-controlled. We leverage the entanglement between the aforementioned DoF in a composite particle for two-temperature thermometry by preparing the external DoF in a quantum superposition, exposing the internal DoF to two local temperatures. We show that such a particle used in a Mach-Zehnder type interferometer, or a quantum switch -- which allows quantum control over the order of application of quantum channels -- can be used to estimate two temperatures simultaneously, thus affirming our main proposition. For each of these setups, we obtain the variance in the estimated temperatures through the multi-parameter Cram\'er-Rao bound, and compare their performances based on the range of total variance of the two temperatures estimated. On benchmarking all the setups based on the total variance of the estimated temperatures, we find that a quantum switch with a qudit probe outperforms other setups. On restricting our probe to be a qubit, we find that quantum switch performs equally well as a Mach-Zehnder type interferometer.


title: Spectrum of $S$- and $P$-wave $cc\bar{q}\bar{q}'$ $(\bar{q},\bar{q}' = \bar{u}, \bar{d}, \bar{s})$ systems in a chiral SU(3) quark model

abstract: Inspired by the resonance $T_{cc}^+(3875)$ recently observed by the LHCb Collaboration, we systematically explore the $S$- and $P$-wave $cc\bar{q}\bar{q}'$ $(\bar{q},\bar{q}' = \bar{u}, \bar{d}, \bar{s})$ systems in a chiral SU(3) quark model. The Hamiltonian contains the kinetic energy, the one-gluon-exchange (OGE) potential, the confinement potential, and the one-boson-exchange (OBE) potential stemming from the coupling of quark and chiral fields. The Schr\"odinger equation is solved by use of the variational method with the spacial trial wave functions chosen as Gaussian functions. It is found that the lowest state has a mass $3879$ MeV, isospin and spin-parity $IJ^P=01^+$, and quark constituent $cc\bar{u}\bar{d}$, in agreement with the experimentally observed $T_{cc}^+(3875)$. This state is approximately at the calculated $DD^\ast$ threshold, and has a root-mean-square radius about $0.48$ fm. These demonstrates that the $T_{cc}^+(3875)$ can be accommodated as a stable and compact tetraquark sate in the chiral SU(3) quark model. All the other $S$- and $P$-wave $cc\bar{q}\bar{q}'$ $(\bar{q},\bar{q}' = \bar{u}, \bar{d}, \bar{s})$ states lie about one hundred to few hundreds MeV higher than the corresponding meson-meson thresholds, and thus are not suggested to be candidates of stable and compact tetraquark states due to their fall-apart decays to two mesons.


title: Pursuit-Evasion on a Sphere and When It Can Be Considered Flat

abstract: In classical works on a planar differential pursuit-evasion game with a faster pursuer, the intercept point resulting from the equilibrium strategies lies on the Apollonius circle. This property was exploited for the construction of the equilibrium strategies for two faster pursuers against one evader. Extensions for planar multiple-pursuer single-evader scenarios have been considered. We study a pursuit-evasion game on a sphere and the relation of the equilibrium intercept point to the Apollonius domain on the sphere. The domain is a generalization of the planar Apollonius circle set. We find a condition resulting in the intercept point belonging to the Apollonius domain, which is the characteristic of the planar game solution. Finally, we use this characteristic to discuss pursuit and evasion strategies in the context of two pursuers and a single slower evader on the sphere and illustrate it using numerical simulations.


title: Forecasting the load of Parcel Pickup Points using a Markov Jump Process

abstract: The growth of e-commerce has resulted in a surge in parcel deliveries, increasing transportation costs and pollution issues. Alternatives to home delivery have emerged, such as the delivery to so-called parcel pick-up points (PUPs), which eliminates delivery failure due to customers not being at home. Nevertheless, parcels reaching overloaded PUPs may need to be redirected to alternative PUPs, sometimes far from the chosen ones, which may generate customer dissatisfaction. Consequently, predicting the PUP load is critical for a PUP management company to infer the availability of PUPs for future orders and better balance parcel flows between PUPs. This paper proposes a new approach to forecasting the PUP load evolution using a Markov jump process that models the parcel life cycle. The latest known status of each parcel is considered to estimate its contribution to the future load of its target PUP. This approach can account for the variability of activity, the various parcel preparation delays by sellers, and the diversity of parcel carriers that may result in different delivery delays. Here, results are provided for predicting the load associated with parcels ordered from online retailers by customers (Business-to-Customer, B2C). The proposed approach is generic and can also be applied to other parcel flows to PUPs, such as second-hand products (Customer-to-Customer, C2C) sent via a PUP network.


title: A geometric realization of Koszul duality for graded gentle algebras

abstract: We show that the Koszul functor of a homologically smooth graded gentle algebra can be realized as the half rotation in a geometric model. As a byproduct, we prove an intersection-dim formula involving the Koszul functor.


title: VORTEX: Real-Time Off-Chain Payments and Cross-Chain Swaps for Cryptocurrencies

abstract: In this paper, we present VERTEX, a TEE-based layer-2 solution that tackles two crucial challenges in the realm of cryptocurrencies: off-chain payments and cross-chain swaps. It offers three notable features: - Channel-free off-chain payments: it allows a payer to make direct payments to anyone without requiring any on-chain relationship or intermediary channels. - Real-time yet decentralized cross-chain swaps: it is the first known solution that enables real-time cross-chain swaps without relying on a central server. This novel feature is made possible through a ground-breaking fair exchange protocol. - TEE crash-tolerance: it offers two solutions to handle TEE crashes, one of which involves an innovative application of time-lock puzzles in this context. We evaluate ECHO on a network consists of 1000 nodes and the evaluation results show that ECHO can achieve 7000 TPS


title: SFOD: Spiking Fusion Object Detector

abstract: Event cameras, characterized by high temporal resolution, high dynamic range, low power consumption, and high pixel bandwidth, offer unique capabilities for object detection in specialized contexts. Despite these advantages, the inherent sparsity and asynchrony of event data pose challenges to existing object detection algorithms. Spiking Neural Networks (SNNs), inspired by the way the human brain codes and processes information, offer a potential solution to these difficulties. However, their performance in object detection using event cameras is limited in current implementations. In this paper, we propose the Spiking Fusion Object Detector (SFOD), a simple and efficient approach to SNN-based object detection. Specifically, we design a Spiking Fusion Module, achieving the first-time fusion of feature maps from different scales in SNNs applied to event cameras. Additionally, through integrating our analysis and experiments conducted during the pretraining of the backbone network on the NCAR dataset, we delve deeply into the impact of spiking decoding strategies and loss functions on model performance. Thereby, we establish state-of-the-art classification results based on SNNs, achieving 93.7\% accuracy on the NCAR dataset. Experimental results on the GEN1 detection dataset demonstrate that the SFOD achieves a state-of-the-art mAP of 32.1\%, outperforming existing SNN-based approaches. Our research not only underscores the potential of SNNs in object detection with event cameras but also propels the advancement of SNNs. Code is available at https://github.com/yimeng-fan/SFOD.


title: Dipole-dipole interacting two-level emitters in a moderately intense laser field

abstract: We investigate the resonance fluorescence features of a small ensemble of closely packed and moderately laser pumped two-level emitters at resonance. The mean distance between any two-level radiators is smaller than the corresponding emission wavelength, such that the dipole-dipole interactions are not negligible. We have found that under the secular approximation, the collective resonance fluorescence spectrum consists of 2N+1 spectral lines, where N is the number of emitters from the sample. The 2N spectral sidebands, symmetrically located around the generalized Rabi frequency with respect to the central line at the laser frequency, are distinguishable if the dipole-dipole coupling strength is larger than the collective spontaneous decay rate. This way, one can estimate the radiators number within the ensemble via measuring of the spontaneously scattered collective resonance fluorescence spectrum. Contrary, if the dipole-dipole coupling is of the order of or smaller than the cooperative spontaneous decay rate, but still non-negligible, the spectrum turns into a Mollow-like fluorescence spectrum, where the two sidebands spectral lines broadens, proportional to the dipole-dipole coupling strength, respectively.


title: Your Image is My Video: Reshaping the Receptive Field via Image-To-Video Differentiable AutoAugmentation and Fusion

abstract: The landscape of deep learning research is moving towards innovative strategies to harness the true potential of data. Traditionally, emphasis has been on scaling model architectures, resulting in large and complex neural networks, which can be difficult to train with limited computational resources. However, independently of the model size, data quality (i.e. amount and variability) is still a major factor that affects model generalization. In this work, we propose a novel technique to exploit available data through the use of automatic data augmentation for the tasks of image classification and semantic segmentation. We introduce the first Differentiable Augmentation Search method (DAS) to generate variations of images that can be processed as videos. Compared to previous approaches, DAS is extremely fast and flexible, allowing the search on very large search spaces in less than a GPU day. Our intuition is that the increased receptive field in the temporal dimension provided by DAS could lead to benefits also to the spatial receptive field. More specifically, we leverage DAS to guide the reshaping of the spatial receptive field by selecting task-dependant transformations. As a result, compared to standard augmentation alternatives, we improve in terms of accuracy on ImageNet, Cifar10, Cifar100, Tiny-ImageNet, Pascal-VOC-2012 and CityScapes datasets when plugging-in our DAS over different light-weight video backbones.


title: FSD-Inference: Fully Serverless Distributed Inference with Scalable Cloud Communication

abstract: Serverless computing offers attractive scalability, elasticity and cost-effectiveness. However, constraints on memory, CPU and function runtime have hindered its adoption for data-intensive applications and machine learning (ML) workloads. Traditional 'server-ful' platforms enable distributed computation via fast networks and well-established inter-process communication (IPC) mechanisms such as MPI and shared memory. In the absence of such solutions in the serverless domain, parallel computation with significant IPC requirements is challenging. We present FSD-Inference, the first fully serverless and highly scalable system for distributed ML inference. We explore potential communication channels, in conjunction with Function-as-a-Service (FaaS) compute, to design a state-of-the-art solution for distributed ML within the context of serverless data-intensive computing. We introduce novel fully serverless communication schemes for ML inference workloads, leveraging both cloud-based publish-subscribe/queueing and object storage offerings. We demonstrate how publish-subscribe/queueing services can be adapted for FaaS IPC with comparable performance to object storage, while offering significantly reduced cost at high parallelism levels. We conduct in-depth experiments on benchmark DNNs of various sizes. The results show that when compared to server-based alternatives, FSD-Inference is significantly more cost-effective and scalable, and can even achieve competitive performance against optimized HPC solutions. Experiments also confirm that our serverless solution can handle large distributed workloads and leverage high degrees of FaaS parallelism.


title: NbTi: a nontrivial puzzle for the conventional theory of superconductivity

abstract: We present the first $ab$-$initio$ study of superconductivity in NbTi, the workhorse for many applications. Despite its apparent simplicity, NbTi turns out to be a major challenge for computational superconductivity. In fact, anharmonic effects are crucial to obtain dynamically stable phonons for the ordered bcc phase, unstable at the harmonic level, and beyond-Morel Anderson effects in the Coulomb interaction reduce the Tc by more than 20%. Lattice disorder causes an additional large discrepancy in $T_c$ compared to experiment. Our results imply that a quantitative description of technologically-relevant superconductors requires methodological developments beyond the current standards.


title: Cryptic Bytes: WebAssembly Obfuscation for Evading Cryptojacking Detection

abstract: WebAssembly has gained significant traction as a high-performance, secure, and portable compilation target for the Web and beyond. However, its growing adoption has also introduced new security challenges. One such threat is cryptojacking, where websites mine cryptocurrencies on visitors' devices without their knowledge or consent, often through the use of WebAssembly. While detection methods have been proposed, research on circumventing them remains limited. In this paper, we present the most comprehensive evaluation of code obfuscation techniques for WebAssembly to date, assessing their effectiveness, detectability, and overhead across multiple abstraction levels. We obfuscate a diverse set of applications, including utilities, games, and crypto miners, using state-of-the-art obfuscation tools like Tigress and wasm-mutate, as well as our novel tool, emcc-obf. Our findings suggest that obfuscation can effectively produce dissimilar WebAssembly binaries, with Tigress proving most effective, followed by emcc-obf and wasm-mutate. The impact on the resulting native code is also significant, although the V8 engine's TurboFan optimizer can reduce native code size by 30\% on average. Notably, we find that obfuscation can successfully evade state-of-the-art cryptojacking detectors. Although obfuscation can introduce substantial performance overheads, we demonstrate how obfuscation can be used for evading detection with minimal overhead in real-world scenarios by strategically applying transformations. These insights are valuable for researchers, providing a foundation for developing more robust detection methods. Additionally, we make our dataset of over 20,000 obfuscated WebAssembly binaries and the emcc-obf tool publicly available to stimulate further research.


title: On the Weighted Top-Difference Distance: Axioms, Aggregation, and Approximation

abstract: We study a family of distance functions on rankings that allow for asymmetric treatments of alternatives and consider the distinct relevance of the top and bottom positions for ordered lists. We provide a full axiomatic characterization of our distance. In doing so, we retrieve new characterizations of existing axioms and show how to effectively weaken them for our purposes. This analysis highlights the generality of our distance as it embeds many (semi)metrics previously proposed in the literature. Subsequently, we show that, notwithstanding its level of generality, our distance is still readily applicable. We apply it to preference aggregation, studying the features of the associated median voting rule. It is shown how the derived preference function satisfies many desirable features in the context of voting rules, ranging from fairness to majority and Pareto-related properties. We show how to compute consensus rankings exactly, and provide generalized Diaconis-Graham inequalities that can be leveraged to obtain approximation algorithms. Finally, we propose some truncation ideas for our distances inspired by Lu and Boutilier (2010). These can be leveraged to devise a Polynomial-Time-Approximation Scheme for the corresponding rank aggregation problem.


title: Entropy and the City: Origins, trajectories and explorations of the concept in urban science

abstract: Entropy is arguably one of the most powerful concepts to understand the world, from the behavior of molecules to the expansion of the universe, from how life emerges to how hybrid complex systems like cities come into being and continue existing. Yet, despite its widespread application, it is also one of the most misunderstood concepts across the sciences. This chapter seeks to demystify entropy and its main interpretations, along with some of its explorations in the context of cities. It first establishes the foundations of the concept by describing its trajectory since its inception in thermodynamics and statistical mechanics in the 19th century, its different incarnations from Boltzmanns pioneering formulation and Shannons information theory to its absorption in biology and the social sciences, until it reaches a nascent urban science in the 1960s. The chapter then identifies some of the main domains in which entropy has been explored to understand cities as complex systems, from entropy-maximizing models of spatial interaction and applications as a measure of urban form, diversity, and complexity to a tool for understanding conditions of self-organization and urban sustainability.


title: Teamwork and Spillover Effects in Performance Evaluations

abstract: This article shows how coworker performance affects individual performance evaluation in a teamwork setting at the workplace. We use high-quality data on football matches to measure an important component of individual performance, shooting performance, isolated from collaborative effects. Employing causal machine learning methods, we address the assortative matching of workers and estimate both average and heterogeneous effects. There is substantial evidence for spillover effects in performance evaluations. Coworker shooting performance, meaningfully impacts both, manager decisions and third-party expert evaluations of individual performance. Our results underscore the significant role coworkers play in shaping career advancements and highlight a complementary channel, to productivity gains and learning effects, how coworkers impact career advancement. We characterize the groups of workers that are most and least affected by spillover effects and show that spillover effects are reference point dependent. While positive deviations from a reference point create positive spillover effects, negative deviations are not harmful for coworkers.


title: Flip-Breakability: A Combinatorial Dichotomy for Monadically Dependent Graph Classes

abstract: A conjecture in algorithmic model theory predicts that the model-checking problem for first-order logic is fixed-parameter tractable on a hereditary graph class if and only if the class is monadically dependent. Originating in model theory, this notion is defined in terms of logic, and encompasses nowhere dense classes, monadically stable classes, and classes of bounded twin-width. Working towards this conjecture, we provide the first two combinatorial characterizations of monadically dependent graph classes. This yields the following dichotomy. On the structure side, we characterize monadic dependence by a Ramsey-theoretic property called flip-breakability. This notion generalizes the notions of uniform quasi-wideness, flip-flatness, and bounded grid rank, which characterize nowhere denseness, monadic stability, and bounded twin-width, respectively, and played a key role in their respective model checking algorithms. Natural restrictions of flip-breakability additionally characterize bounded treewidth and cliquewidth and bounded treedepth and shrubdepth. On the non-structure side, we characterize monadic dependence by explicitly listing few families of forbidden induced subgraphs. This result is analogous to the characterization of nowhere denseness via forbidden subdivided cliques, and allows us to resolve one half of the motivating conjecture: First-order model checking is AW[$*$]-hard on every hereditary graph class that is monadically independent. The result moreover implies that hereditary graph classes which are small, have almost bounded twin-width, or have almost bounded flip-width, are monadically dependent. Lastly, we lift our result to also obtain a combinatorial dichotomy in the more general setting of monadically dependent classes of binary structures.


title: Structure Formation in Various Dynamical Dark Energy Scenarios

abstract: This research investigates the impact of the nature of Dark Energy (DE) on structure formation, focusing on the matter power spectrum and the Integrated Sachs-Wolfe effect (ISW). By analyzing the matter power spectrum at redshifts $z = 0$ and $z = 5$, as well as the ISW effect on the scale of $\ell = 10-100$, the study provides valuable insights into the influence of DE equations of state (EoS) on structure formation. The findings reveal that dynamical DE models exhibit a stronger matter power spectrum compared to constant DE models, with the JBP model demonstrating the highest amplitude and the CPL model the weakest. Additionally, the study delves into the ISW effect, highlighting the time evolution of the ISW source term $\mathcal{F}(a)$ and its derivative $d\mathcal{F}(a)/da$, and demonstrating that models with constant DE EoS exhibit a stronger amplitude of $\mathcal{F}(a)$ overall, while dynamical models such as CPL exhibit the highest amplitude among the dynamical models, whereas JBP has the lowest. The study also explores the ISW auto-correlation power spectrum and the ISW cross-correlation power spectrum, revealing that dynamical DE models dominate over those with constant DE EoS across various surveys. Moreover, it emphasizes the potential of studying the non-linear matter power spectrum and incorporating datasets from the small scales to further elucidate the dynamical nature of dark energy. This comprehensive analysis underscores the significance of both the matter power spectrum and the ISW signal in discerning the nature of dark energy, paving the way for future research to explore the matter power spectrum at higher redshifts and in the non-linear regime, providing deeper insights into the dynamical nature of dark energy.


title: DITTO: Demonstration Imitation by Trajectory Transformation

abstract: Teaching robots new skills quickly and conveniently is crucial for the broader adoption of robotic systems. In this work, we address the problem of one-shot imitation from a single human demonstration, given by an RGB-D video recording through a two-stage process. In the first stage which is offline, we extract the trajectory of the demonstration. This entails segmenting manipulated objects and determining their relative motion in relation to secondary objects such as containers. Subsequently, in the live online trajectory generation stage, we first \mbox{re-detect} all objects, then we warp the demonstration trajectory to the current scene, and finally, we trace the trajectory with the robot. To complete these steps, our method makes leverages several ancillary models, including those for segmentation, relative object pose estimation, and grasp prediction. We systematically evaluate different combinations of correspondence and re-detection methods to validate our design decision across a diverse range of tasks. Specifically, we collect demonstrations of ten different tasks including pick-and-place tasks as well as articulated object manipulation. Finally, we perform extensive evaluations on a real robot system to demonstrate the effectiveness and utility of our approach in real-world scenarios. We make the code publicly available at http://ditto.cs.uni-freiburg.de.


title: Coherent Phonon Control of Ultrafast Magnetization Dynamics in Fe$_\text{3}$GeTe$_\text{2}$ from Time-Dependent Ab Initio Theory

abstract: Exploring ultrafast magnetization control in two-dimensional (2D) magnets through optically driven coherent phonons has been well-established. Yet, the microscopic interplay between spin dynamics and lattice degrees of freedom remains less explored. Employing real-time time-dependent density functional theory (rt-TDDFT) coupled with Ehrenfest dynamics, we systematically investigate laser-induced spin-nuclei dynamics with coherent phonon excitation in the 2D ferromagnet Fe3GeTe2. We found that selectively pre-exciting three typical coherent phonon modes results in up to a 53% additional spin moment loss in an out-of-plane A2 1g mode within ~50 fs. Coherent phonon control of spin dynamics is closely linked to laser pulse parameters. The underlying microscopic mechanism of this phenomenon is primarily governed by coherent phonon-induced asymmetric spin-resolved charge transfer following the disappearance of the laser pulse, thereby enabling effective control of the spin moment loss. Our findings offer a novel insight into the coupling of coherent phonons with spin systems in 2D limits on femtosecond timescales.


title: Delicate curvature bounces in the no-boundary wave function and in the late universe

abstract: Theoretical considerations motivate us to consider vacuum energy to be able to decay and to assume that the spatial geometry of the universe is closed. Combining both aspects leads to the possibility that the universe, or certain regions thereof, can collapse and subsequently undergo a curvature bounce. This may have occurred in the very early universe, in a pre-inflationary phase. We discuss the construction of the corresponding no-boundary instantons and show that they indeed reproduce a bouncing history of the universe, interestingly with a small and potentially observable departure from classicality during the contracting phase. Such an early bouncing history receives a large weighting and provides competition for a more standard inflationary branch of the wave function. Curvature bounces may also occur in the future. We discuss the conditions under which they may take place, allowing for density fluctuations in the matter distribution in the universe. Overall, we find that curvature bounces require a delicate combination of matter content and initial conditions to occur, though with significant consequences if these conditions are met.


title: Scattering matrix approach to dynamical Sauter-Schwinger process: Spin- and helicity-resolved momentum distributions

abstract: Dynamical Sauter-Schwinger mechanism of electron-positron pair creation by a time-dependent electric field pulses is considered using the $S$-matrix approach and reduction formulas. They lead to the development of framework based on the solutions of the Dirac equation with the Feynman- or anti-Feynman boundary conditions. Their asymptotic properties are linked to the spin-resolved probability amplitudes of created pairs. The same concerns the helicity-resolved amplitudes. Most importantly, the aforementioned spin- or helicity-resolved amplitudes, when summed over spin or helicity configurations, reproduce the momentum distributions of created particles calculated with other methods that are typically used in this context. This does validate the current approach. It also allows us to investigate the vortex structures in momentum distributions of produced particles, as the method provides an access to the phase of the probability amplitude. As we also illustrate numerically, the method is applicable to arbitrary time-dependent electric fields with, in general, elliptical polarization. This proves its great flexibility.


title: Robust optimization for adversarial learning with finite sample complexity guarantees

abstract: Decision making and learning in the presence of uncertainty has attracted significant attention in view of the increasing need to achieve robust and reliable operations. In the case where uncertainty stems from the presence of adversarial attacks this need is becoming more prominent. In this paper we focus on linear and nonlinear classification problems and propose a novel adversarial training method for robust classifiers, inspired by Support Vector Machine (SVM) margins. We view robustness under a data driven lens, and derive finite sample complexity bounds for both linear and non-linear classifiers in binary and multi-class scenarios. Notably, our bounds match natural classifiers' complexity. Our algorithm minimizes a worst-case surrogate loss using Linear Programming (LP) and Second Order Cone Programming (SOCP) for linear and non-linear models. Numerical experiments on the benchmark MNIST and CIFAR10 datasets show our approach's comparable performance to state-of-the-art methods, without needing adversarial examples during training. Our work offers a comprehensive framework for enhancing binary linear and non-linear classifier robustness, embedding robustness in learning under the presence of adversaries.


title: VPAS: Publicly Verifiable and Privacy-Preserving Aggregate Statistics on Distributed Datasets

abstract: Aggregate statistics play an important role in extracting meaningful insights from distributed data while preserving privacy. A growing number of application domains, such as healthcare, utilize these statistics in advancing research and improving patient care. In this work, we explore the challenge of input validation and public verifiability within privacy-preserving aggregation protocols. We address the scenario in which a party receives data from multiple sources and must verify the validity of the input and correctness of the computations over this data to third parties, such as auditors, while ensuring input data privacy. To achieve this, we propose the "VPAS" protocol, which satisfies these requirements. Our protocol utilizes homomorphic encryption for data privacy, and employs Zero-Knowledge Proofs (ZKP) and a blockchain system for input validation and public verifiability. We constructed VPAS by extending existing verifiable encryption schemes into secure protocols that enable N clients to encrypt, aggregate, and subsequently release the final result to a collector in a verifiable manner. We implemented and experimentally evaluated VPAS with regard to encryption costs, proof generation, and verification. The findings indicate that the overhead associated with verifiability in our protocol is 10x lower than that incurred by simply using conventional zkSNARKs. This enhanced efficiency makes it feasible to apply input validation with public verifiability across a wider range of applications or use cases that can tolerate moderate computational overhead associated with proof generation.


title: MSCoTDet: Language-driven Multi-modal Fusion for Improved Multispectral Pedestrian Detection

abstract: Multispectral pedestrian detection is attractive for around-the-clock applications due to the complementary information between RGB and thermal modalities. However, current models often fail to detect pedestrians in certain cases (e.g., thermal-obscured pedestrians), particularly due to the modality bias learned from statistically biased datasets. In this paper, we investigate how to mitigate modality bias in multispectral pedestrian detection using Large Language Models (LLMs). Accordingly, we design a Multispectral Chain-of-Thought (MSCoT) prompting strategy, which prompts the LLM to perform multispectral pedestrian detection. Moreover, we propose a novel Multispectral Chain-of-Thought Detection (MSCoTDet) framework that integrates MSCoT prompting into multispectral pedestrian detection. To this end, we design a Language-driven Multi-modal Fusion (LMF) strategy that enables fusing the outputs of MSCoT prompting with the detection results of vision-based multispectral pedestrian detection models. Extensive experiments validate that MSCoTDet effectively mitigates modality biases and improves multispectral pedestrian detection.


title: Early Period of Training Impacts Out-of-Distribution Generalization

abstract: Prior research has found that differences in the early period of neural network training significantly impact the performance of in-distribution (ID) tasks. However, neural networks are often sensitive to out-of-distribution (OOD) data, making them less reliable in downstream applications. Yet, the impact of the early training period on OOD generalization remains understudied due to its complexity and lack of effective analytical methodologies. In this work, we investigate the relationship between learning dynamics and OOD generalization during the early period of neural network training. We utilize the trace of Fisher Information and sharpness, with a focus on gradual unfreezing (i.e. progressively unfreezing parameters during training) as the methodology for investigation. Through a series of empirical experiments, we show that 1) selecting the number of trainable parameters at different times during training, i.e. realized by gradual unfreezing -- has a minuscule impact on ID results, but greatly affects the generalization to OOD data; 2) the absolute values of sharpness and trace of Fisher Information at the initial period of training are not indicative for OOD generalization, but the relative values could be; 3) the trace of Fisher Information and sharpness may be used as indicators for the removal of interventions during early period of training for better OOD generalization.


title: On The Relationship Between The Logarithmic Lower Order of Coefficients and The Growth of Solutions of Complex Linear Differential Equations in $\overline{\mathbb{C}}\setminus\{z_{0}\}$

abstract: In this article, we study the growth of solutions of the homogeneous complex linear differential equation \begin{equation*} f^{(k)}+A_{k-1}(z)f^{(k-1)}+\cdots+A_{1}(z)f^{\prime}+ A_{0}(z)f=0, \end{equation*}% where the coefficients $A_{j}(z)$ $(j=0,1,\ldots ,k-1)$ are analytic or meromorphic functions in $\overline{\mathbb{C}}\setminus\{z_{0}\}$. Under the sufficient condition that there exists one dominant coefficient by its logarithmic lower order or by its logarithmic lower type. We extend some precedent results due to Liu, Long and Zeng and others.


title: GCN-DevLSTM: Path Development for Skeleton-Based Action Recognition

abstract: Skeleton-based action recognition (SAR) in videos is an important but challenging task in computer vision. The recent state-of-the-art (SOTA) models for SAR are primarily based on graph convolutional neural networks (GCNs), which are powerful in extracting the spatial information of skeleton data. However, it is yet clear that such GCN-based models can effectively capture the temporal dynamics of human action sequences. To this end, we propose the G-Dev layer, which exploits the path development -- a principled and parsimonious representation for sequential data by leveraging the Lie group structure. By integrating the G-Dev layer, the hybrid G-DevLSTM module enhances the traditional LSTM to reduce the time dimension while retaining high-frequency information. It can be conveniently applied to any temporal graph data, complementing existing advanced GCN-based models. Our empirical studies on the NTU60, NTU120 and Chalearn2013 datasets demonstrate that our proposed GCN-DevLSTM network consistently improves the strong GCN baseline models and achieves SOTA results with superior robustness in SAR tasks. The code is available at https://github.com/DeepIntoStreams/GCN-DevLSTM.


title: Systematic study of flow vector decorrelation in $\mathbf{\sqrt{\textit{s}_{_{\bf NN}}}=5.02}$ TeV Pb-Pb collisions

abstract: Measurements of the $p_{\rm T}$-dependent flow vector fluctuations in Pb-Pb collisions at $\sqrt{s_{_{\rm NN}}} = 5.02~\mathrm{TeV}$ using azimuthal correlations with the ALICE experiment at the LHC are presented. A four-particle correlation approach [1] is used to quantify the effects of flow angle and magnitude fluctuations separately. This paper extends previous studies to additional centrality intervals and provides measurements of the $p_{\rm T}$-dependent flow vector fluctuations at $\sqrt{s_{_{\rm NN}}} = 5.02~\mathrm{TeV}$ with two-particle correlations. Significant $p_{\rm T}$-dependent fluctuations of the $\vec{V}_{2}$ flow vector in Pb-Pb collisions are found across different centrality ranges, with the largest fluctuations of up to $\sim$15% being present in the 5% most central collisions. In parallel, no evidence of significant $p_{\rm T}$-dependent fluctuations of $\vec{V}_{3}$ or $\vec{V}_{4}$ is found. Additionally, evidence of flow angle and magnitude fluctuations is observed with more than $5\sigma$ significance in central collisions. These observations in Pb-Pb collisions indicate where the classical picture of hydrodynamic modeling with a common symmetry plane breaks down. This has implications for hard probes at high $p_{\rm T}$, which might be biased by $p_{\rm T}$-dependent flow angle fluctuations of at least 23% in central collisions. Given the presented results, existing theoretical models should be re-examined to improve our understanding of initial conditions, quark--gluon plasma (QGP) properties, and the dynamic evolution of the created system.


title: InstaSynth: Opportunities and Challenges in Generating Synthetic Instagram Data with ChatGPT for Sponsored Content Detection

abstract: Large Language Models (LLMs) raise concerns about lowering the cost of generating texts that could be used for unethical or illegal purposes, especially on social media. This paper investigates the promise of such models to help enforce legal requirements related to the disclosure of sponsored content online. We investigate the use of LLMs for generating synthetic Instagram captions with two objectives: The first objective (fidelity) is to produce realistic synthetic datasets. For this, we implement content-level and network-level metrics to assess whether synthetic captions are realistic. The second objective (utility) is to create synthetic data that is useful for sponsored content detection. For this, we evaluate the effectiveness of the generated synthetic data for training classifiers to identify undisclosed advertisements on Instagram. Our investigations show that the objectives of fidelity and utility may conflict and that prompt engineering is a useful but insufficient strategy. Additionally, we find that while individual synthetic posts may appear realistic, collectively they lack diversity, topic connectivity, and realistic user interaction patterns.


title: Exploring the Crochemore and Ziv-Lempel factorizations of some automatic sequences with the software Walnut

abstract: We explore the Ziv-Lempel and Crochemore factorizations of some classical automatic sequences making an extensive use of the theorem prover Walnut.


title: (Un)making AI Magic: a Design Taxonomy

abstract: This paper examines the role that enchantment plays in the design of AI things by constructing a taxonomy of design approaches that increase or decrease the perception of magic and enchantment. We start from the design discourse surrounding recent developments in AI technologies, highlighting specific interaction qualities such as algorithmic uncertainties and errors and articulating relations to the rhetoric of magic and supernatural thinking. Through analyzing and reflecting upon 52 students' design projects from two editions of a Master course in design and AI, we identify seven design principles and unpack the effects of each in terms of enchantment and disenchantment. We conclude by articulating ways in which this taxonomy can be approached and appropriated by design/HCI practitioners, especially to support exploration and reflexivity.


title: Multiphysics Numerical Method for Modeling Josephson Traveling-Wave Parametric Amplifiers

abstract: Josephson traveling-wave parametric amplifiers (JTWPAs) are wideband, ultralow-noise amplifiers used to enable the readout of superconducting qubits. While individual JTWPAs have achieved high performance, behavior between devices is inconsistent due to wide manufacturing tolerances. Amplifier designs could be modified to improve resilience towards variations in amplifier components; however, existing device models often rely on analytical techniques that typically fail to incorporate component variations. To begin addressing this issue, a 1D numerical method for modeling JTWPAs is introduced in this work. The method treats the Josephson junctions and transmission lines in an amplifier as coupled subsystems and can easily incorporate arbitrary parameter variations. We discretize the transmission line subsystem with a finite element time domain method and the Josephson junction subsystem with a finite difference method, with leapfrog time marching used to evolve the system in time. We validate our method by comparing the computed gain to an analytical model for a traditional JTWPA architecture and one with resonant phase matching. We then use our method to demonstrate the impact of variations in Josephson junctions and phase-matching resonators on amplification. In future work, the method will be adjusted to incorporate additional amplifier architectures and extended to a 3D full-wave approach.


title: Anytime, Anywhere, Anyone: Investigating the Feasibility of Segment Anything Model for Crowd-Sourcing Medical Image Annotations

abstract: Curating annotations for medical image segmentation is a labor-intensive and time-consuming task that requires domain expertise, resulting in "narrowly" focused deep learning (DL) models with limited translational utility. Recently, foundation models like the Segment Anything Model (SAM) have revolutionized semantic segmentation with exceptional zero-shot generalizability across various domains, including medical imaging, and hold a lot of promise for streamlining the annotation process. However, SAM has yet to be evaluated in a crowd-sourced setting to curate annotations for training 3D DL segmentation models. In this work, we explore the potential of SAM for crowd-sourcing "sparse" annotations from non-experts to generate "dense" segmentation masks for training 3D nnU-Net models, a state-of-the-art DL segmentation model. Our results indicate that while SAM-generated annotations exhibit high mean Dice scores compared to ground-truth annotations, nnU-Net models trained on SAM-generated annotations perform significantly worse than nnU-Net models trained on ground-truth annotations ($p<0.001$, all).


title: Robust Microgrid Dispatch with Real-Time Energy Sharing and Endogenous Uncertainty

abstract: With the rising adoption of distributed energy resources (DERs), microgrid dispatch is facing new challenges: DER owners are independent stakeholders seeking to maximize their individual profits rather than being controlled centrally; and the dispatch of renewable generators may affect the microgrid's exposure to uncertainty. To address these challenges, this paper proposes a two-stage robust microgrid dispatch model with real-time energy sharing and endogenous uncertainty. In the day-ahead stage, the connection/disconnection of renewable generators is optimized, which influences the size and dimension of the uncertainty set. As a result, the uncertainty set is endogenously given. In addition, non-anticipative operational bounds for energy storage (ES) are derived to enable the online operation of ES in real-time. In the real-time stage, DER owners (consumers and prosumers) share energy with each other via a proposed energy sharing mechanism, which forms a generalized Nash game. To solve the robust microgrid dispatch model, we develop an equivalent optimization model to compute the real-time energy sharing equilibrium. Based on this, a projection-based column-and-constraint generation (C&CG) method is proposed to handle the endogenous uncertainty. Numerical experiments show the effectiveness and advantages of the proposed model and method.


title: Modelling with Discretized Variables

abstract: This paper deals with econometric models in which the dependent variable, some explanatory variables, or both are observed as censored interval data. This discretization often happens due to confidentiality of sensitive variables like income. Models using these variables cannot point identify regression parameters as the conditional moments are unknown, which led the literature to use interval estimates. Here, we propose a discretization method through which the regression parameters can be point identified while preserving data confidentiality. We demonstrate the asymptotic properties of the OLS estimator for the parameters in multivariate linear regressions for cross-sectional data. The theoretical findings are supported by Monte Carlo experiments and illustrated with an application to the Australian gender wage gap.


title: Mutual Information of a class of Poisson-type Channels using Markov Renewal Theory

abstract: The mutual information (MI) of Poisson-type channels has been linked to a filtering problem since the 70s, but its evaluation for specific continuous-time, discrete-state systems remains a demanding task. As an advantage, Markov renewal processes (MrP) retain their renewal property under state space filtering. This offers a way to solve the filtering problem analytically for small systems. We consider a class of communication systems $X \to Y$ that can be derived from an MrP by a custom filtering procedure. For the subclasses, where (i) $Y$ is a renewal process or (ii) $(X,Y)$ belongs to a class of MrPs, we provide an evolution equation for finite transmission duration $T>0$ and limit theorems for $T \to \infty$ that facilitate simulation-free evaluation of the MI $\mathbb{I}(X_{[0,T]}; Y_{[0,T]})$ and its associated mutual information rate (MIR). In other cases, simulation cost is reduced to the marginal system $(X,Y)$ or $Y$. We show that systems with an additional $X$-modulating level $C$, which statically chooses between different processes $X_{[0,T]}(c)$, can naturally be included in our framework, thereby giving an expression for $\mathbb{I}(C; Y_{[0,T]})$. Our primary contribution is to apply the results of classical (Markov renewal) filtering theory in a novel manner to the problem of exactly computing the MI/MIR. The theoretical framework is showcased in an application to bacterial gene expression, where filtering is analytically tractable.


title: Linear magnetoelectricity in the Zintl phase pnictides (Ba, Ca, Sr)$\mathrm{Mn}_2\mathrm{(P, As, Sb)}_2$ from first principles calculations

abstract: We report a comprehensive set of density functional theory calculations on the family of layered antiferromagnetic manganese pnictides (Ba, Ca, Sr)$\mathrm{Mn}_2\mathrm{(P, As, Sb)}_2$. We characterize all components to the linear magnetoelectric (ME) tensor $\alpha$ which are parsed into their contributions from spin and orbital moments for both lattice-mediated and their clamped-ion electronic analogs. Our main results show that the orbital magnetization components cannot be neglected in these systems. The ME response is dominated by electronic effects with total $\alpha$ values exceeding those of the prototypical $\mathrm{Cr}_2\mathrm{O}_3$ (i.e. $\alpha \simeq$ 6.79 ps/m in $\mathrm{BaMn}_2\mathrm{As}_2$). We also identify a strong correlation with the computed ME susceptibility on pnictogen substitution in the trigonal subfamily albeit with weaker amplitudes ($\alpha \simeq$ 0.2-1.7 ps/m). Additionally, we provide the dependence of these predictions on the Hubbard +U correction, at the level of the local density approximation, which show large variations on the calculated ME coefficients in the tetragonal compounds highlighting the role of strong correlation in these compounds.


title: TriHelper: Zero-Shot Object Navigation with Dynamic Assistance

abstract: Navigating toward specific objects in unknown environments without additional training, known as Zero-Shot object navigation, poses a significant challenge in the field of robotics, which demands high levels of auxiliary information and strategic planning. Traditional works have focused on holistic solutions, overlooking the specific challenges agents encounter during navigation such as collision, low exploration efficiency, and misidentification of targets. To address these challenges, our work proposes TriHelper, a novel framework designed to assist agents dynamically through three primary navigation challenges: collision, exploration, and detection. Specifically, our framework consists of three innovative components: (i) Collision Helper, (ii) Exploration Helper, and (iii) Detection Helper. These components work collaboratively to solve these challenges throughout the navigation process. Experiments on the Habitat-Matterport 3D (HM3D) and Gibson datasets demonstrate that TriHelper significantly outperforms all existing baseline methods in Zero-Shot object navigation, showcasing superior success rates and exploration efficiency. Our ablation studies further underscore the effectiveness of each helper in addressing their respective challenges, notably enhancing the agent's navigation capabilities. By proposing TriHelper, we offer a fresh perspective on advancing the object navigation task, paving the way for future research in the domain of Embodied AI and visual-based navigation.


title: Differentially Private Ad Conversion Measurement

abstract: In this work, we study ad conversion measurement, a central functionality in digital advertising, where an advertiser seeks to estimate advertiser website (or mobile app) conversions attributed to ad impressions that users have interacted with on various publisher websites (or mobile apps). Using differential privacy (DP), a notion that has gained in popularity due to its strong mathematical guarantees, we develop a formal framework for private ad conversion measurement. In particular, we define the notion of an operationally valid configuration of the attribution rule, DP adjacency relation, contribution bounding scope and enforcement point. We then provide, for the set of configurations that most commonly arises in practice, a complete characterization, which uncovers a delicate interplay between attribution and privacy.


title: The Dissolution of Planetesimals in Electrostatic Fields

abstract: Planetesimals or smaller bodies in protoplanetary disks are often considered to form as pebble piles in current planet formation models. They are supposed to be large but loose, weakly bound clusters of more robust dust aggregates. This makes them easy prey for destructive processes. In microgravity experiments, we apply strong electric fields on clusters of slightly conductive dust aggregates. We find that this generates enough tensile stress on the fragile clusters to sequentially rip off the aggregates from the cluster. These experiments imply that electric fields in protoplanetary disks can dissolve pebble pile planetesimals. This process might induce a bias for the local planetesimal reservoir in regions with strong fields. Planetesimals prevail with certain kinds of compositions where they are either good isolators or compacted bodies. The less lucky ones generate pebble clouds which might be observable as signposts of electrostatic activity in protoplanetary disks.


title: Not All Attention is Needed: Parameter and Computation Efficient Transfer Learning for Multi-modal Large Language Models

abstract: In this paper, we propose a novel parameter and computation efficient tuning method for Multi-modal Large Language Models (MLLMs), termed Efficient Attention Skipping (EAS). Concretely, we first reveal that multi-head attentions (MHAs), the main computational overhead of MLLMs, are often redundant to downstream tasks. Based on this observation, EAS evaluates the attention redundancy and skips the less important MHAs to speed up inference. Besides, we also propose a novel propagation-of-information adapter (PIA) to serve the attention skipping of EAS and keep parameter efficiency, which can be further re-parameterized into feed-forward networks (FFNs) for zero-extra latency. To validate EAS, we apply it to a recently proposed MLLM called LaVIN and a classic VL pre-trained model called METER, and conduct extensive experiments on a set of benchmarks. The experiments show that EAS not only retains high performance and parameter efficiency, but also greatly speeds up inference speed. For instance, LaVIN-EAS can obtain 89.98\% accuracy on ScineceQA while speeding up inference by 2.2 times to LaVIN


title: LeGO: Leveraging a Surface Deformation Network for Animatable Stylized Face Generation with One Example

abstract: Recent advances in 3D face stylization have made significant strides in few to zero-shot settings. However, the degree of stylization achieved by existing methods is often not sufficient for practical applications because they are mostly based on statistical 3D Morphable Models (3DMM) with limited variations. To this end, we propose a method that can produce a highly stylized 3D face model with desired topology. Our methods train a surface deformation network with 3DMM and translate its domain to the target style using a paired exemplar. The network achieves stylization of the 3D face mesh by mimicking the style of the target using a differentiable renderer and directional CLIP losses. Additionally, during the inference process, we utilize a Mesh Agnostic Encoder (MAGE) that takes deformation target, a mesh of diverse topologies as input to the stylization process and encodes its shape into our latent space. The resulting stylized face model can be animated by commonly used 3DMM blend shapes. A set of quantitative and qualitative evaluations demonstrate that our method can produce highly stylized face meshes according to a given style and output them in a desired topology. We also demonstrate example applications of our method including image-based stylized avatar generation, linear interpolation of geometric styles, and facial animation of stylized avatars.


title: On moment relaxations for linear state feedback controller synthesis with non-convex quadratic costs and constraints

abstract: We present a simple and effective way to account for non-convex costs and constraints~in~state feedback synthesis, and an interpretation for the variables in which state feedback synthesis is typically convex. We achieve this by deriving the controller design using moment matrices of state and input. It turns out that this approach allows the consideration of non-convex constraints by relaxing them as expectation constraints, and that the variables in which state feedback synthesis is typically convexified can be identified with blocks of these moment matrices.


title: Spin Hall Effect: Symmetry Breaking, Twisting, and Giant Disorder Renormalization

abstract: Atomically-thin materials based on transition metal dichalcogenides and graphene offer a promising avenue for unlocking the mechanisms underlying the spin Hall effect (SHE) in heterointerfaces. Here, we develop a microscopic theory of the SHE for twisted van der Waals heterostructures that fully incorporates twisting and disorder effects, and illustrate the critical role of symmetry breaking in the generation of spin-Hall currents. We find that an accurate treatment of vertex corrections leads to a qualitatively and quantitatively different SHE than that obtained from popular approaches like the ``$i\,\eta$'' and ladder approximations. A pronounced oscillatory behavior of skew-scattering processes with twist angle, $\theta$, is predicted, reflecting a non-trivial interplay of Rashba and valley-Zeeman effects and yields a vanishing SHE for $\theta = 30^\circ$ and, for graphene-WSe$_2$, an optimal SHE for $\theta \approx 17^\circ$. Our findings reveal disorder and broken symmetries as important knobs to optimize interfacial SHEs.


title: An Exploratory Investigation into Code License Infringements in Large Language Model Training Datasets

abstract: Does the training of large language models potentially infringe upon code licenses? Furthermore, are there any datasets available that can be safely used for training these models without violating such licenses? In our study, we assess the current trends in the field and the importance of incorporating code into the training of large language models. Additionally, we examine publicly available datasets to see whether these models can be trained on them without the risk of legal issues in the future. To accomplish this, we compiled a list of 53 large language models trained on file-level code. We then extracted their datasets and analyzed how much they overlap with a dataset we created, consisting exclusively of strong copyleft code. Our analysis revealed that every dataset we examined contained license inconsistencies, despite being selected based on their associated repository licenses. We analyzed a total of 514 million code files, discovering 38 million exact duplicates present in our strong copyleft dataset. Additionally, we examined 171 million file-leading comments, identifying 16 million with strong copyleft licenses and another 11 million comments that discouraged copying without explicitly mentioning a license. Based on the findings of our study, which highlights the pervasive issue of license inconsistencies in large language models trained on code, our recommendation for both researchers and the community is to prioritize the development and adoption of best practices for dataset creation and management.


title: Pushforward of structure sheaf and virtual global generation

abstract: Let $f:X\rightarrow Y$ be a generically smooth morphism between irreducible smooth projective curves over an algebraically closed field of arbitrary characteristic. We prove that the vector bundle $((f_*{\mathcal O}_X)/{\mathcal O}_Y)^*$ is virtually globally generated. Moreover, $((f_*{\mathcal O}_X)/{\mathcal O}_Y)^*$ is ample if and only if $f$ is genuinely ramified.


title: $L^p$-boundedness properties for some harmonic analysis operators defined by resolvents for a Laplacian with drift in Euclidean spaces

abstract: We consider the Laplacian with drift in $\mathbb R^n$ defined by $\Delta_\nu = \sum_{i=1}^n(\frac{\partial^2}{\partial x_i^2} + 2 \nu_i\frac{\partial }{\partial{x_i}})$ where $\nu=(\nu_1,\ldots,\nu_n)\in \mathbb R^n\setminus\{0\}$. The operator $\Delta_\nu$ is selfadjoint with respect to the measure $d\mu_\nu(x)=e^{2\langle\nu,x\rangle}dx$. This measure is not doubling but it is locally doubling in $\mathbb R^n$. We define, for every $M>0$ and $k \in \mathbb N$, the operators $$ W^k_{\nu,M,*}(f) = \sup_{t>0}\left|A^k_{\nu,M,t}(f)\right|,\hspace{5mm}g_{\nu,M}^k(f) = \left(\int_0^\infty\left|A^k_{\nu,M,t}(f)\right|^2\frac{dt}{t}\right)^{\frac{1}{2}},\,k\geq 1, $$ the $\rho$-variation operator $$ V_\rho\left( \{A^k_{\nu,M,t}\}_{t>0}\right)(f)= \sup_{0<t_1<\cdots<t_\ell,\,\ell \in \mathbb N}\left(\sum^{\ell-1}_{j=1}\left|A^k_{\nu,M,t_j}(f)- A^k_{\nu,M,t_{j+1}}(f)\right|^\rho\right)^{\frac{1}{\rho}},\;\; \rho>2, $$ and, if $\{t_j\}_{j\in \mathbb N}$ is a decreasing sequence in $(0,\infty)$, the oscillation operator $$ O(\{A_{\nu,M,t}^k\}_{t>0},\{t_j\}_{j\in \mathbb N})(f)=\Big(\sum_{j\in \mathbb N}\;\;\sup_{t_{j+1}\leq \varepsilon <\varepsilon '\leq t_j}|A^k_{\nu,M,\varepsilon}(f)-A^k_{\nu,M,\varepsilon '}(f)|^2 \Big)^{1/2}. $$ where $A^k_{\nu,M,t}=t^k\partial^k_t(I-t\Delta_\nu)^{-M}$, $t>0$. We denote by $T_{\nu,M}^k$ any of the above operators. We analyze the boundedness of $T^k_{\nu,M}$ on $L^p(\mathbb R^n,\mu_\nu)$ into itself, for every $1<p<\infty$, and from $L^1(\mathbb R^n,\mu_\nu)$ into $L^{1,\infty}(\mathbb R^n,\mu_\nu)$. In addition, we obtain boundedness properties for the operator $G_{\nu,M}^{k,\ell}$, $1\leq \ell <2M$, defined by $$ G_{\nu,M}^{k,\ell}(f)=\left(\int_0^\infty\left|t^{\ell /2+k}\partial _t^kD^{(\ell)}(I-t\Delta _\nu)^{-M}(f) \right|^2\frac{dt}{t}\right)^{\frac{1}{2}}, $$ for certain differentiation operator $D^{(\ell)}$.


title: Attacking with Something That Does Not Exist: 'Proof of Non-Existence' Can Exhaust DNS Resolver CPU

abstract: NSEC3 is a proof of non-existence in DNSSEC, which provides an authenticated assertion that a queried resource does not exist in the target domain. NSEC3 consists of alphabetically sorted hashed names before and after the queried hostname. To make dictionary attacks harder, the hash function can be applied in multiple iterations, which however also increases the load on the DNS resolver during the computation of the SHA-1 hashes in NSEC3 records. Concerns about the load created by the computation of NSEC3 records on the DNS resolvers were already considered in the NSEC3 specifications RFC5155 and RFC9276. In February 2024, the potential of NSEC3 to exhaust DNS resolvers' resources was assigned a CVE-2023-50868, confirming that extra iterations of NSEC3 created substantial load. However, there is no published evaluation of the attack and the impact of the attack on the resolvers was not clarified. In this work we perform the first evaluation of the NSEC3-encloser attack against DNS resolver implementations and find that the NSEC3-encloser attack can still create a 72x increase in CPU instruction count, despite the victim resolver following RFC5155 recommendations in limiting hash iteration counts. The impact of the attack varies across the different DNS resolvers, but we show that with a sufficient volume of DNS packets the attack can increase CPU load and cause packet loss. We find that at a rate of 150 malicious NSEC3 records per second, depending on the DNS implementation, the loss rate of benign DNS requests varies between 2.7% and 30%. We provide a detailed description and implementation of the NSEC3-encloser attack. We also develop the first analysis how each NSEC3 parameter impacts the load inflicted on the victim resolver during NSEC3-encloser attack.


title: Shadow Generation for Composite Image Using Diffusion model

abstract: In the realm of image composition, generating realistic shadow for the inserted foreground remains a formidable challenge. Previous works have developed image-to-image translation models which are trained on paired training data. However, they are struggling to generate shadows with accurate shapes and intensities, hindered by data scarcity and inherent task complexity. In this paper, we resort to foundation model with rich prior knowledge of natural shadow images. Specifically, we first adapt ControlNet to our task and then propose intensity modulation modules to improve the shadow intensity. Moreover, we extend the small-scale DESOBA dataset to DESOBAv2 using a novel data acquisition pipeline. Experimental results on both DESOBA and DESOBAv2 datasets as well as real composite images demonstrate the superior capability of our model for shadow generation task. The dataset, code, and model are released at https://github.com/bcmi/Object-Shadow-Generation-Dataset-DESOBAv2.


title: Multi-perspective Memory Enhanced Network for Identifying Key Nodes in Social Networks

abstract: Identifying key nodes in social networks plays a crucial role in timely blocking false information. Existing key node identification methods usually consider node influence only from the propagation structure perspective and have insufficient generalization ability to unknown scenarios. In this paper, we propose a novel Multi-perspective Memory Enhanced Network (MMEN) for identifying key nodes in social networks, which mines key nodes from multiple perspectives and utilizes memory networks to store historical information. Specifically, MMEN first constructs two propagation networks from the perspectives of user attributes and propagation structure and updates node feature representations using graph attention networks. Meanwhile, the memory network is employed to store information of similar subgraphs, enhancing the model's generalization performance in unknown scenarios. Finally, MMEN applies adaptive weights to combine the node influence of the two propagation networks to select the ultimate key nodes. Extensive experiments demonstrate that our method significantly outperforms previous methods.


title: ACCESS: Assurance Case Centric Engineering of Safety-critical Systems

abstract: Assurance cases are used to communicate and assess confidence in critical system properties such as safety and security. Historically, assurance cases have been manually created documents, which are evaluated by system stakeholders through lengthy and complicated processes. In recent years, model-based system assurance approaches have gained popularity to improve the efficiency and quality of system assurance activities. This becomes increasingly important, as systems becomes more complex, it is a challenge to manage their development life-cycles, including coordination of development, verification and validation activities, and change impact analysis in inter-connected system assurance artifacts. Moreover, there is a need for assurance cases that support evolution during the operational life of the system, to enable continuous assurance in the face of an uncertain environment, as Robotics and Autonomous Systems (RAS) are adopted into society. In this paper, we contribute ACCESS - Assurance Case Centric Engineering of Safety-critical Systems, an engineering methodology, together with its tool support, for the development of safety critical systems around evolving model-based assurance cases. We show how model-based system assurance cases can trace to heterogeneous engineering artifacts (e.g. system architectural models, system safety analysis, system behaviour models, etc.), and how formal methods can be integrated during the development process. We demonstrate how assurance cases can be automatically evaluated both at development and runtime. We apply our approach to a case study based on an Autonomous Underwater Vehicle (AUV).


title: Driven-dissipative phase separation in free-space atomic ensembles

abstract: The driven Dicke model, wherein an ensemble of atoms is driven by an external field and undergoes collective spontaneous emission due to coupling to a leaky cavity mode, is a paradigmatic example of a system exhibiting a driven-dissipative phase transition as a function of driving strength. Recently, a similar phenomenon was experimentally observed, not in a cavity setting, but rather in a free-space atomic ensemble. The reason why similar behavior should emerge in free space is not obvious, as the system interacts with a continuum of optical modes, which encodes light propagation effects. Here, we present and solve a simple model to explain the behavior of the free-space system, based on the one-dimensional Maxwell-Bloch equations. On one hand, we show that a free-space ensemble at a low optical depth can exhibit similar behavior as the cavity system, as spatial propagation effects are negligible. On the other hand, in the thermodynamic limit of large atom number, we show that certain observables such as the transmittance or the atomic excited population exhibit non-analytic behavior as a function of the driving intensity, reminiscent of a phase transition. However, a closer analysis reveals that the atomic properties are highly inhomogeneous in space, and based on this we argue that the free-space system does not undergo a phase transition but rather a ``phase separation", roughly speaking, between saturated and unsaturated regions.


title: WEEP: A method for spatial interpretation of weakly supervised CNN models in computational pathology

abstract: Deep learning enables the modelling of high-resolution histopathology whole-slide images (WSI). Weakly supervised learning of tile-level data is typically applied for tasks where labels only exist on the patient or WSI level (e.g. patient outcomes or histological grading). In this context, there is a need for improved spatial interpretability of predictions from such models. We propose a novel method, Wsi rEgion sElection aPproach (WEEP), for model interpretation. It provides a principled yet straightforward way to establish the spatial area of WSI required for assigning a particular prediction label. We demonstrate WEEP on a binary classification task in the area of breast cancer computational pathology. WEEP is easy to implement, is directly connected to the model-based decision process, and offers information relevant to both research and diagnostic applications.


title: Guided Decoding for Robot Motion Generation and Adaption

abstract: We address motion generation for high-DoF robot arms in complex settings with obstacles, via points, etc. A significant advancement in this domain is achieved by integrating Learning from Demonstration (LfD) into the motion generation process. This integration facilitates rapid adaptation to new tasks and optimizes the utilization of accumulated expertise by allowing robots to learn and generalize from demonstrated trajectories. We train a transformer architecture on a large dataset of simulated trajectories. This architecture, based on a conditional variational autoencoder transformer, learns essential motion generation skills and adapts these to meet auxiliary tasks and constraints. Our auto-regressive approach enables real-time integration of feedback from the physical system, enhancing the adaptability and efficiency of motion generation. We show that our model can generate motion from initial and target points, but also that it can adapt trajectories in navigating complex tasks, including obstacle avoidance, via points, and meeting velocity and acceleration constraints, across platforms.


title: Information Rates of Successive Interference Cancellation for Optical Fiber

abstract: Successive interference cancellation (SIC) is used to approach the achievable information rates (AIRs) of joint detection and decoding for long-haul optical fiber links. The AIRs of memoryless ring constellations are compared to those of circularly symmetric complex Gaussian modulation for surrogate channel models with correlated phase noise. Simulations are performed for 1000 km of standard single-mode fiber with ideal Raman amplification. In this setup, 32 rings and 16 SIC-stages with Gaussian message-passing receivers achieve the AIR peaks of previous work. The computational complexity scales in proportion to the number of SIC-stages, where one stage has the complexity of separate detection and decoding.


title: IS-Fusion: Instance-Scene Collaborative Fusion for Multimodal 3D Object Detection

abstract: Bird's eye view (BEV) representation has emerged as a dominant solution for describing 3D space in autonomous driving scenarios. However, objects in the BEV representation typically exhibit small sizes, and the associated point cloud context is inherently sparse, which leads to great challenges for reliable 3D perception. In this paper, we propose IS-Fusion, an innovative multimodal fusion framework that jointly captures the Instance- and Scene-level contextual information. IS-Fusion essentially differs from existing approaches that only focus on the BEV scene-level fusion by explicitly incorporating instance-level multimodal information, thus facilitating the instance-centric tasks like 3D object detection. It comprises a Hierarchical Scene Fusion (HSF) module and an Instance-Guided Fusion (IGF) module. HSF applies Point-to-Grid and Grid-to-Region transformers to capture the multimodal scene context at different granularities. IGF mines instance candidates, explores their relationships, and aggregates the local multimodal context for each instance. These instances then serve as guidance to enhance the scene feature and yield an instance-aware BEV representation. On the challenging nuScenes benchmark, IS-Fusion outperforms all the published multimodal works to date. Code is available at: https://github.com/yinjunbo/IS-Fusion.


title: Single-layer of Bi$_{1-x}$Sb$_x$ grown on Ag(111)

abstract: In this work, we report the growth of a single mixed Bi$_{1-x}$Sb$_x$ layer, with diverse stoichiometries, on a Ag(111) substrate. The atomic geometry has been thoroughly investigated by low energy electron diffraction, scanning tunneling microscopy, and X-ray photoelectron spectroscopy experiments, as well as calculations based on density functional theory (DFT). We first determined that both pure systems (Bi/Ag(111) and Sb/Ag(111)) show similar behaviors: they form surface alloys with ($\sqrt{3}\times\sqrt{3}$)R30$^\circ$ periodicity for coverages lower than 1/3 ML, and undergo a dealloying transition for higher coverages up to 2/3 ML. We then established a simple preparation procedure to obtain a mixed Bi-Sb overlayer on Ag(111): it is essential to start with a surface completely covered by either of the two pure surface alloys and then deposit the other element on it. The energetics derived from DFT calculations provide insight into the systems preference towards the formation of this phase, and also predict a pathway to the formation of Bi-rich non-alloyed phases. The obtained mixed Bi-Sb phase has a lateral atomic arrangement very similar to the one in the non-alloyed phase observed for Sb on Ag(111), with Sb and Bi atoms distributed disorderly, and presents a significant vertical corrugation, promising considerable Rashba effects.


title: Robust Utility Optimization via a GAN Approach

abstract: Robust utility optimization enables an investor to deal with market uncertainty in a structured way, with the goal of maximizing the worst-case outcome. In this work, we propose a generative adversarial network (GAN) approach to (approximately) solve robust utility optimization problems in general and realistic settings. In particular, we model both the investor and the market by neural networks (NN) and train them in a mini-max zero-sum game. This approach is applicable for any continuous utility function and in realistic market settings with trading costs, where only observable information of the market can be used. A large empirical study shows the versatile usability of our method. Whenever an optimal reference strategy is available, our method performs on par with it and in the (many) settings without known optimal strategy, our method outperforms all other reference strategies. Moreover, we can conclude from our study that the trained path-dependent strategies do not outperform Markovian ones. Lastly, we uncover that our generative approach for learning optimal, (non-) robust investments under trading costs generates universally applicable alternatives to well known asymptotic strategies of idealized settings.


title: A Stochastic Quasi-Newton Method for Non-convex Optimization with Non-uniform Smoothness

abstract: Classical convergence analyses for optimization algorithms rely on the widely-adopted uniform smoothness assumption. However, recent experimental studies have demonstrated that many machine learning problems exhibit non-uniform smoothness, meaning the smoothness factor is a function of the model parameter instead of a universal constant. In particular, it has been observed that the smoothness grows with respect to the gradient norm along the training trajectory. Motivated by this phenomenon, the recently introduced $(L_0, L_1)$-smoothness is a more general notion, compared to traditional $L$-smoothness, that captures such positive relationship between smoothness and gradient norm. Under this type of non-uniform smoothness, existing literature has designed stochastic first-order algorithms by utilizing gradient clipping techniques to obtain the optimal $\mathcal{O}(\epsilon^{-3})$ sample complexity for finding an $\epsilon$-approximate first-order stationary solution. Nevertheless, the studies of quasi-Newton methods are still lacking. Considering higher accuracy and more robustness for quasi-Newton methods, in this paper we propose a fast stochastic quasi-Newton method when there exists non-uniformity in smoothness. Leveraging gradient clipping and variance reduction, our algorithm can achieve the best-known $\mathcal{O}(\epsilon^{-3})$ sample complexity and enjoys convergence speedup with simple hyperparameter tuning. Our numerical experiments show that our proposed algorithm outperforms the state-of-the-art approaches.


title: Reasoning-Enhanced Object-Centric Learning for Videos

abstract: Object-centric learning aims to break down complex visual scenes into more manageable object representations, enhancing the understanding and reasoning abilities of machine learning systems toward the physical world. Recently, slot-based video models have demonstrated remarkable proficiency in segmenting and tracking objects, but they overlook the importance of the effective reasoning module. In the real world, reasoning and predictive abilities play a crucial role in human perception and object tracking; in particular, these abilities are closely related to human intuitive physics. Inspired by this, we designed a novel reasoning module called the Slot-based Time-Space Transformer with Memory buffer (STATM) to enhance the model's perception ability in complex scenes. The memory buffer primarily serves as storage for slot information from upstream modules, the Slot-based Time-Space Transformer makes predictions through slot-based spatiotemporal attention computations and fusion. Our experiment results on various datasets show that STATM can significantly enhance object-centric learning capabilities of slot-based video models.


title: FollowIR: Evaluating and Teaching Information Retrieval Models to Follow Instructions

abstract: Modern Language Models (LMs) are capable of following long and complex instructions that enable a large and diverse set of user requests. While Information Retrieval (IR) models use these LMs as the backbone of their architectures, virtually none of them allow users to provide detailed instructions alongside queries, thus limiting their ability to satisfy complex information needs. In this work, we study the use of instructions in IR systems. First, we introduce our dataset FollowIR, which contains a rigorous instruction evaluation benchmark as well as a training set for helping IR models learn to better follow real-world instructions. FollowIR repurposes detailed instructions -- also known as narratives -- developed for professional assessors to evaluate retrieval systems. In particular, we build our benchmark from three collections curated for shared tasks at the Text REtrieval Conference (TREC). These collections contains hundreds to thousands of labeled documents per query, making them suitable for our exploration. Through this process, we can measure how well IR models follow instructions, through a new pairwise evaluation framework. Our results indicate that existing retrieval models fail to correctly use instructions, using them for basic keywords and struggling to understand long-form information. However, we show that it is possible for IR models to learn to follow complex instructions: our new FollowIR-7B model has significant improvements after fine-tuning on our training set.


title: The NNLO gluon beam function for jet-veto resummation

abstract: We compute the gluon beam function for jet-veto resummation to next-to-next-to-leading order (NNLO) in the strong-coupling expansion. Our calculation is based on an automated framework that was previously used for the computation of the respective quark beam function, and which we significantly extended for the present calculation. In particular, the perturbative matching kernels are directly calculated in momentum space, without the need to perform an additional Mellin transform. We present results for both gluon and quark-initiated processes, which we cross-checked with an independent semi-analytical method that exploits the similarity of the beam functions to the more familiar case of transverse-momentum resummation. Our computation is relevant for jet-veto resummations at NNLL$'$ accuracy.


title: Self-Supervised Backbone Framework for Diverse Agricultural Vision Tasks

abstract: Computer vision in agriculture is game-changing with its ability to transform farming into a data-driven, precise, and sustainable industry. Deep learning has empowered agriculture vision to analyze vast, complex visual data, but heavily rely on the availability of large annotated datasets. This remains a bottleneck as manual labeling is error-prone, time-consuming, and expensive. The lack of efficient labeling approaches inspired us to consider self-supervised learning as a paradigm shift, learning meaningful feature representations from raw agricultural image data. In this work, we explore how self-supervised representation learning unlocks the potential applicability to diverse agriculture vision tasks by eliminating the need for large-scale annotated datasets. We propose a lightweight framework utilizing SimCLR, a contrastive learning approach, to pre-train a ResNet-50 backbone on a large, unannotated dataset of real-world agriculture field images. Our experimental analysis and results indicate that the model learns robust features applicable to a broad range of downstream agriculture tasks discussed in the paper. Additionally, the reduced reliance on annotated data makes our approach more cost-effective and accessible, paving the way for broader adoption of computer vision in agriculture.


title: Spectral Motion Alignment for Video Motion Transfer using Diffusion Models

abstract: The evolution of diffusion models has greatly impacted video generation and understanding. Particularly, text-to-video diffusion models (VDMs) have significantly facilitated the customization of input video with target appearance, motion, etc. Despite these advances, challenges persist in accurately distilling motion information from video frames. While existing works leverage the consecutive frame residual as the target motion vector, they inherently lack global motion context and are vulnerable to frame-wise distortions. To address this, we present Spectral Motion Alignment (SMA), a novel framework that refines and aligns motion vectors using Fourier and wavelet transforms. SMA learns motion patterns by incorporating frequency-domain regularization, facilitating the learning of whole-frame global motion dynamics, and mitigating spatial artifacts. Extensive experiments demonstrate SMA's efficacy in improving motion transfer while maintaining computational efficiency and compatibility across various video customization frameworks.


title: Comprehensive Reassessment of Large-Scale Evaluation Outcomes in LLMs: A Multifaceted Statistical Approach

abstract: Amidst the rapid evolution of LLMs, the significance of evaluation in comprehending and propelling these models forward is increasingly paramount. Evaluations have revealed that factors such as scaling, training types, architectures and other factors profoundly impact the performance of LLMs. However, the extent and nature of these impacts continue to be subjects of debate because most assessments have been restricted to a limited number of models and data points. Clarifying the effects of these factors on performance scores can be more effectively achieved through a statistical lens. Our study embarks on a thorough re-examination of these LLMs, targeting the inadequacies in current evaluation methods. With the advent of a uniform evaluation framework, our research leverages an expansive dataset of evaluation results, introducing a comprehensive statistical methodology. This includes the application of ANOVA, Tukey HSD tests, GAMM, and clustering technique, offering a robust and transparent approach to deciphering LLM performance data. Contrary to prevailing findings, our results challenge assumptions about emergent abilities and the influence of given training types and architectures in LLMs. These findings furnish new perspectives on the characteristics, intrinsic nature, and developmental trajectories of LLMs. By providing straightforward and reliable methods to scrutinize and reassess LLM performance data, this study contributes a nuanced perspective on LLM efficiency and potentials.


title: Safe Learning of PDDL Domains with Conditional Effects -- Extended Version

abstract: Powerful domain-independent planners have been developed to solve various types of planning problems. These planners often require a model of the acting agent's actions, given in some planning domain description language. Manually designing such an action model is a notoriously challenging task. An alternative is to automatically learn action models from observation. Such an action model is called safe if every plan created with it is consistent with the real, unknown action model. Algorithms for learning such safe action models exist, yet they cannot handle domains with conditional or universal effects, which are common constructs in many planning problems. We prove that learning non-trivial safe action models with conditional effects may require an exponential number of samples. Then, we identify reasonable assumptions under which such learning is tractable and propose SAM Learning of Conditional Effects (Conditional-SAM), the first algorithm capable of doing so. We analyze Conditional-SAM theoretically and evaluate it experimentally. Our results show that the action models learned by Conditional-SAM can be used to solve perfectly most of the test set problems in most of the experimented domains.


title: The cause of the difference in the propagation distances between compact and transient jets in black-hole X-ray binaries

abstract: Accreting black-hole binaries change their properties during evolution, passing through two main luminous states, dominated by either hard or soft X-rays. In the hard state, steady compact jets emitting multiwavelength radiation are present. Those jets are usually observed in radio, and when resolved, their extent is $\lesssim\!10^{15}$ cm. Then, during hard-to-soft transitions, powerful ejecta in the form of blobs appear. They are observed up to distances of $\sim\!10^{18}$ cm, which are $\gtrsim$1000 times larger than the extent of hard-state jets. On the other hand, estimates of the accretion rates during most luminous hard states and the hard-to-soft transitions are very similar, implying that maximum achievable powers of both types of jets are similar and cannot cause the huge difference in their propagation. Instead, we explain the difference in the propagation length by postulating that the ejecta consist of electron-ion plasmas, whereas the hard-state jets consist mostly of electron-positron pairs. The inertia of the ejecta are then much higher than those of compact jets, and the former are not readily stopped by ambient media. A related result is that the accretion flow during the hard state is of Standard and Normal Evolution (SANE), while it is a Magnetically Arrested Disk (MAD) during transient ejections. The pairs in hard-state jets can be produced by collisions of photons of the hard spectrum emitted by hot accretion flows within the jet base. On the other hand, the X-ray spectra during the state transitions are relatively soft and the same process produces much fewer pairs.


title: Stability of abstract coupled systems

abstract: We study stability of abstract differential equations coupled by means of a general algebraic condition. Our approach is based on techniques from operator theory and systems theory, and it allows us to study coupled systems by exploiting properties of the components, which are typically much simpler to analyse. As our main results we establish resolvent estimates and decay rates for abstract boundary-coupled systems. We illustrate the power of the general results by using them to obtain rates of energy decay in coupled systems of one-dimensional wave and heat equations, and in a wave equation with an acoustic boundary condition.


title: Comparison of the disk precession models with the photometric behavior of TT Ari in 2021-2023

abstract: We present a comparative analysis of photometric observations of the cataclysmic variable TT Ari in its bright state, obtained by the TESS orbital observatory in 2021 and 2023 and by ground-based amateur telescopes in 2022. The light curves from 2021 and 2022 are dominated by modulations with a period slightly shorter than the orbital one (negative superhumps), 0.13293 and 0.13273$\,$d respectively. In 2023, much stronger modulations appeared on a much longer time scale of a few days with an amplitude of up to 0.5 mag, compared to 0.2 mag in 2021. The negative superhump variability with the period of 0.13376$\,$d was also found in the first half of the 2023 observations, but then negative superhumps suddenly almost disappeared. Less significant additional modulations with a period exceeding the orbital one (positive superhumps) were detected in 2021 and 2022. Their periods were 0.15106 and 0.1523$\,$d, correspondingly. We also found a previously unnoticed periodic signal corresponding to the orbital period of 0.13755$\,$d in the TESS observations in 2021. Theoretical models of tidal precession of an elliptical disk predict a decrease in the precession period with increasing disk radius, which is consistent with the observed photometric behavior of the system. It enables us to estimate the mass ratio of the components in TT$\,$Ari to be $q\approx 0.235$. The tilted disk precession model predicts a period of nodal precession whose value is in general agreement with observations.


title: Non-traditional Cartan subalgebras in twisted groupoid C*-algebras

abstract: Well-known work of Renault shows that if $\mathcal{E}$ is a twist over a second countable, effective, \'etale groupoid $G$, then there is a naturally associated Cartan subalgebra of the reduced twisted groupoid C*-algebra $C^*_{r}(G; E)$, and that every Cartan subalgebra of a separable C*-algebra arises in this way. However twisted C*-algebras of non-effective groupoids $G$ can also possess Cartan subalgebras: In work by the first author together with Gillaspy, Norton, Reznikoff, and Wright, sufficient conditions on a subgroupoid $S$ of $G$ were found that ensure that $S$ gives rise to a Cartan subalgebra in the cocycle-twisted C*-algebra of $G$. In this paper, we extend these results to general twists $\mathcal{E}$, and we refine the conditions on the subgroupoid for $C^*_{r}(S;\mathcal{E}_S)$ to be a Cartan subalgebra of $C^*_{r}(G;\mathcal{E})$.


title: Experimental Studies of Metaverse Streaming

abstract: Metaverse aims to construct a large, unified, immersive, and shared digital realm by combining various technologies, namely XR (extended reality), blockchain, and digital twin, among others. This article explores the Metaverse from the perspective of multimedia communication by conducting and analyzing real-world experiments on four different Metaverse platforms: VR (virtual reality) Vircadia, VR Mozilla Hubs, VRChat, and MR (mixed reality) Virtual City. We first investigate the traffic patterns and network performance in the three VR platforms. After raising the challenges of the Metaverse streaming and investigating the potential methods to enhance Metaverse performance, we propose a remote rendering architecture and verify its advantages through a prototype involving the campus network and MR multimodal interaction by comparison with local rendering.


title: Hierarchical Information Enhancement Network for Cascade Prediction in Social Networks

abstract: Understanding information cascades in networks is a fundamental issue in numerous applications. Current researches often sample cascade information into several independent paths or subgraphs to learn a simple cascade representation. However, these approaches fail to exploit the hierarchical semantic associations between different modalities, limiting their predictive performance. In this work, we propose a novel Hierarchical Information Enhancement Network (HIENet) for cascade prediction. Our approach integrates fundamental cascade sequence, user social graphs, and sub-cascade graph into a unified framework. Specifically, HIENet utilizes DeepWalk to sample cascades information into a series of sequences. It then gathers path information between users to extract the social relationships of propagators. Additionally, we employ a time-stamped graph convolutional network to aggregate sub-cascade graph information effectively. Ultimately, we introduce a Multi-modal Cascade Transformer to powerfully fuse these clues, providing a comprehensive understanding of cascading process. Extensive experiments have demonstrated the effectiveness of the proposed method.