title: Quantifying the value of information transfer in population-based SHM

abstract: Population-based structural health monitoring (PBSHM), seeks to address some of the limitations associated with data scarcity that arise in traditional SHM. A tenet of the population-based approach to SHM is that information can be shared between sufficiently-similar structures in order to improve predictive models. Transfer learning techniques, such as domain adaptation, have been shown to be a highly-useful technology for sharing information between structures when developing statistical classifiers for PBSHM. Nonetheless, transfer-learning techniques are not without their pitfalls. In some circumstances, for example if the data distributions associated with the structures within a population are dissimilar, applying transfer-learning methods can be detrimental to classification performance -- this phenomenon is known as negative transfer. Given the potentially-severe consequences of negative transfer, it is prudent for engineers to ask the question `when, what, and how should one transfer between structures?'. The current paper aims to demonstrate a transfer-strategy decision process for a classification task for a population of simulated structures in the context of a representative SHM maintenance problem, supported by domain adaptation. The transfer decision framework is based upon the concept of expected value of information transfer. In order to compute the expected value of information transfer, predictions must be made regarding the classification (and decision performance) in the target domain following information transfer. In order to forecast the outcome of transfers, a probabilistic regression is used here to predict classification performance from a proxy for structural similarity based on the modal assurance criterion.


title: A Simple yet Efficient Ensemble Approach for AI-generated Text Detection

abstract: Recent Large Language Models (LLMs) have demonstrated remarkable capabilities in generating text that closely resembles human writing across wide range of styles and genres. However, such capabilities are prone to potential abuse, such as fake news generation, spam email creation, and misuse in academic assignments. Hence, it is essential to build automated approaches capable of distinguishing between artificially generated text and human-authored text. In this paper, we propose a simple yet efficient solution to this problem by ensembling predictions from multiple constituent LLMs. Compared to previous state-of-the-art approaches, which are perplexity-based or uses ensembles with a number of LLMs, our condensed ensembling approach uses only two constituent LLMs to achieve comparable performance. Experiments conducted on four benchmark datasets for generative text classification show performance improvements in the range of 0.5 to 100\% compared to previous state-of-the-art approaches. We also study the influence that the training data from individual LLMs have on model performance. We found that substituting commercially-restrictive Generative Pre-trained Transformer (GPT) data with data generated from other open language models such as Falcon, Large Language Model Meta AI (LLaMA2), and Mosaic Pretrained Transformers (MPT) is a feasible alternative when developing generative text detectors. Furthermore, to demonstrate zero-shot generalization, we experimented with an English essays dataset, and results suggest that our ensembling approach can handle new data effectively.


title: Inefficient acceleration of electrons in the shocked wind of the massive star $\Theta^1$ Ori C within the Trapezium cluster

abstract: Shocked winds of massive stars in young stellar clusters have been proposed as possible sites in which relativistic particles are accelerated. Electrons, accelerated in such an environment, are expected to efficiently comptonize optical radiation (from massive stars) and the infra-red radiation (re-scattered by the dust within the cluster) producing GeV-TeV gamma-rays. We investigate the time dependent process of acceleration, propagation and radiation of electrons in the stellar wind of the massive star $\Theta^1$ Ori C within the Trapezium cluster. This cluster is located within the nearby Orion Nebula (M 42). We show that the gamma-ray emission expected from the Trapezium cluster is consistent with the present observations of the Orion Molecular Cloud by the Fermi-LAT telescope provided that the efficiency of energy conversion from the stellar wind to relativistic electrons is very low, i.e. $\chi < 10^{-4}$. For such low efficiencies, the gamma-ray emission from electrons accelerated in the stellar wind of $\Theta^1$ Ori C can be only barely observed by the future Cherenkov telescopes, e.g. the Cherenkov Telescope Array (CTA).


title: Mathematical modeling of heat process in a cylindrical domain with nonlinear thermal coefficients and a heat source on the axis

abstract: A mathematical model of the heat process in one-dimensional domain governed by a cylindrical heat equation with a heat source on the axis $z=0$ and nonlinear thermal coefficients is considered. The developed model is particularly applicable for analyzing temperature variations on electrical contact surfaces, where precise thermal management is crucial for ensuring optimal performance and preventing overheating. To solve the mathematical model, we employ a solution method based on similarity transformations. This technique allows us to reduce the problem to an ordinary differential problem, which is equivalent to a nonlinear integral equations system. To ensure the existence and uniqueness of the solution, we employ the fixed point theory in a Banach space, providing a rigorous mathematical foundation for our analysis.


title: Persistent Homology for High-dimensional Data Based on Spectral Methods

abstract: Persistent homology is a popular computational tool for analyzing the topology of point clouds, such as the presence of loops or voids. However, many real-world datasets with low intrinsic dimensionality reside in an ambient space of much higher dimensionality. We show that in this case traditional persistent homology becomes very sensitive to noise and fails to detect the correct topology. The same holds true for existing refinements of persistent homology. As a remedy, we find that spectral distances on the $k$-nearest-neighbor graph of the data, such as diffusion distance and effective resistance, allow to detect the correct topology even in the presence of high-dimensional noise. Moreover, we derive a novel closed-form formula for effective resistance, and describe its relation to diffusion distances. Finally, we apply these methods to high-dimensional single-cell RNA-sequencing data and show that spectral distances allow robust detection of cell cycle loops.


title: Grain-level effects on in-situ deformation-induced phase transformations in a complex-phase steel using 3DXRD and EBSD

abstract: A novel complex-phase steel alloy is conceived with a deliberately unstable austenite, $\gamma$, phase that enables the deformation-induced martensitic transformations (DIMT) to be explored at low levels of plastic strain. The DIMT was thus explored, in-situ and non-destructively, using both far-field Three-Dimensional X-Ray Diffraction (3DXRD) and Electron Back-Scatter Diffraction (EBSD). Substantial $\alpha'$ martensite formation was observed under 10% applied strain with EBSD, and many $\varepsilon$ grain formation events were captured with 3DXRD, indicative of the indirect transformation of martensite via the reaction $\gamma \rightarrow \varepsilon \rightarrow \alpha'$. Using $\varepsilon$ grain formation as a direct measurement of $\gamma$ grain stability, the influence of several microstructural properties, such as grain size, orientation and neighbourhood configuration, on $\gamma$ stability have been identified. Larger $\gamma$ grains were found to be less stable than smaller grains. Any $\gamma$ grains oriented with {100} parallel to the loading direction preferentially transformed with lower stresses. Parent $\varepsilon$-forming $\gamma$ grains possessed a neighbourhood with increased ferritic/martensitic volume fraction. This finding shows, unambiguously, that $\alpha$/$\alpha'$ promotes $\varepsilon$ formation in neighbouring grains. The minimum strain work criterion model for $\varepsilon$ variant prediction was also evaluated, which worked well for most grains. However, $\varepsilon$-forming grains with a lower stress were less well predicted by the model, indicating crystal-level behaviour must be considered for accurate $\varepsilon$ formation. The findings from this work are considered key for the future design of alloys where the deformation response can be controlled by tailoring microstructure and local or macroscopic crystal orientations.


title: The k4Clue package: Empowering Future Collider Experiments with the CLUE Algorithm

abstract: High granularity calorimeters have become increasingly crucial in modern particle physics experiments, and their importance is set to grow even further in the future. The CLUstering of Energy (CLUE) algorithm has shown excellent performance in clustering calorimeter hits in the High Granularity Calorimeter (HGCAL) developed for the Phase-2 upgrade of the CMS experiment. In this paper, we investigate the suitability of the CLUE algorithm for future collider experiments and test its capabilities outside the HGCAL software reconstruction. To this end, we developed a new package, k4Clue, which is now fully integrated into the Gaudi software framework and supports the EDM4hep data format for inputs and outputs. We demonstrate the performance of CLUE in three detectors for future colliders: CLICdet for the CLIC accelerator, CLD for the FCC-ee collider and a second calorimeter based on Noble Liquid technology also proposed for FCC-ee. We find excellent reconstruction performance for single gamma events, even in the presence of noise, and also compared with other baseline algorithms. Moreover, CLUE demonstrates impressive timing capabilities, outperforming the other algorithms and independently of the number of input hits. This work highlights the adaptability and versatility of the CLUE algorithm for a wide range of experiments and detectors and the algorithm's potential for future high-energy physics experiments beyond CMS.


title: A multi-modal approach to continuous material identification through tactile sensing

abstract: Tactile sensing has recently been used in robotics for object identification, grasping, and material recognition. Most material recognition approaches use vibration information from a tactile exploration, typically above one second long, to identify the material. This work proposes a tactile multi-modal (vibration and thermal) material identification approach based on recursive Bayesian estimation. Through the frequency response of the vibration induced by the material and thermal features, like an estimate of the thermal power loss of the finger, we show that it is possible to identify materials in less than half a second. Moreover, a comparison between the use of vibration only and multi-modal identification shows that both recognition time and classification errors are reduced by adding thermal information.


title: Abstract dissipative Hamiltonian differential-algebraic equations are everywhere

abstract: In this paper we study the representation of partial differential equations (PDEs) as abstract differential-algebraic equations (DAEs) with dissipative Hamiltonian structure (adHDAEs). We show that these systems not only arise when there are constraints coming from the underlying physics, but many standard PDE models can be seen as an adHDAE on an extended state space. This reflects the fact that models often include closure relations and structural properties. We present a unifying operator theoretic approach to analyze the properties of such operator equations and illustrate this by several applications.


title: We will DAG you

abstract: DAG-based protocols have been proposed as potential solutions to the latency and throughput limitations of traditional permissionless consensus protocols. However, their adoption has been hindered by security concerns and a lack of a solid foundation to guarantee improvements in both throughput and latency. In this paper, we present a construction that rigorously demonstrates how DAG-based protocols can achieve superior throughput and latency compared to chain-based consensus protocols, all while maintaining the same level of security guarantees.


title: Constraints on Dark Energy from the Gravitational Wave Background

abstract: Current observational data indicate that dark energy (DE) is a cosmological constant without considering its conclusiveness evidence. Considering the dynamic nature of $\Lambda$ individually as a function of time and the scale factor, we review their effects on the gravitational waves. This article is a continuation of the previous work \textit{JHEAp 36 (2022) 48-54}, in which DE only was based on Hubble's parameter and/or its derivatives. For the DE model based on the scale factor ($a^{-m}$), the results showed that the parameter $m$ is more limited as $ 2 < m \leqslant 3$ compared with the other models and due to the small value of DE density at the early universe. It is only in the mode $m=3$ that DE affects the low-frequency gravitational waves when its frequency is less than the $10^{-3}$Hz in a matter-dominated epoch. The broad bound on reducing the amplitude and the "B-B" polarization multipole coefficients, from maximum to minimum, is for the models developed based on the Hubble parameter function. There are primary sources of low- and very low-frequency GWs, such as the coalescence of massive black hole binaries with $M_{bh} > 10^{3} M_{sun}$, to determine the type of DE by mHz frequency space experiments (e.g., LISA) and by nHz-range NANOGrav 15-year data.


title: Equivariance Is Not All You Need: Characterizing the Utility of Equivariant Graph Neural Networks for Particle Physics Tasks

abstract: Incorporating inductive biases into ML models is an active area of ML research, especially when ML models are applied to data about the physical world. Equivariant Graph Neural Networks (GNNs) have recently become a popular method for learning from physics data because they directly incorporate the symmetries of the underlying physical system. Drawing from the relevant literature around group equivariant networks, this paper presents a comprehensive evaluation of the proposed benefits of equivariant GNNs by using real-world particle physics reconstruction tasks as an evaluation test-bed. We demonstrate that many of the theoretical benefits generally associated with equivariant networks may not hold for realistic systems and introduce compelling directions for future research that will benefit both the scientific theory of ML and physics applications.


title: A Reduced Ideal MHD System for Nonlinear Magnetic Field Turbulence in Plasmas with Approximate Flux Surfaces

abstract: This paper studies the nonlinear evolution of magnetic field turbulence in proximity of steady ideal MHD configurations characterized by a small electric current, a small plasma flow, and approximate flux surfaces, a physical setting that is relevant for plasma confinement in stellarators. The aim is to gather insight on magnetic field dynamics, to elucidate accessibility and stability of three-dimensional MHD equilibria, as well as to formulate practical methods to compute them. Starting from the ideal MHD equations, a reduced dynamical system of two coupled nonlinear PDEs for the flux function and the angle variable associated with the Clebsch representation of the magnetic field is obtained. It is shown that under suitable boundary and gauge conditions such reduced system preserves magnetic energy, magnetic helicity, and total magnetic flux. The noncanonical Hamiltonian structure of the reduced system is identified, and used to show the nonlinear stability of steady solutions against perturbations involving only one Clebsch potential. The Hamiltonian structure is also applied to construct a dissipative dynamical system through the method of double brackets. This dissipative system enables the computation of MHD equilibria by minimizing energy until a critical point of the Hamiltonian is reached. Finally, an iterative scheme based on the alternate solution of the two steady equations in the reduced system is proposed as a further method to compute MHD equilibria. A theorem is proven which states that the iterative scheme converges to a nontrivial MHD equilbrium as long as solutions exist at each step of the iteration.


title: Weight-Sharing Regularization

abstract: Weight-sharing is ubiquitous in deep learning. Motivated by this, we propose a "weight-sharing regularization" penalty on the weights $w \in \mathbb{R}^d$ of a neural network, defined as $\mathcal{R}(w) = \frac{1}{d - 1}\sum_{i > j}^d |w_i - w_j|$. We study the proximal mapping of $\mathcal{R}$ and provide an intuitive interpretation of it in terms of a physical system of interacting particles. We also parallelize existing algorithms for $\operatorname{prox}_\mathcal{R}$ (to run on GPU) and find that one of them is fast in practice but slow ($O(d)$) for worst-case inputs. Using the physical interpretation, we design a novel parallel algorithm which runs in $O(\log^3 d)$ when sufficient processors are available, thus guaranteeing fast training. Our experiments reveal that weight-sharing regularization enables fully connected networks to learn convolution-like filters even when pixels have been shuffled while convolutional neural networks fail in this setting. Our code is available on github.


title: Quantum-Error-Mitigated Detectable Byzantine Agreement with Dynamical Decoupling for Distributed Quantum Computing

abstract: In the burgeoning domain of distributed quantum computing, achieving consensus amidst adversarial settings remains a pivotal challenge. We introduce an enhancement to the Quantum Byzantine Agreement (QBA) protocol, uniquely incorporating advanced error mitigation techniques: Twirled Readout Error Extinction (T-REx) and dynamical decoupling (DD). Central to this refined approach is the utilization of a Noisy Intermediate Scale Quantum (NISQ) source device for heightened performance. Extensive tests on both simulated and real-world quantum devices, notably IBM's quantum computer, provide compelling evidence of the effectiveness of our T-REx and DD adaptations in mitigating prevalent quantum channel errors. Subsequent to the entanglement distribution, our protocol adopts a verification method reminiscent of Quantum Key Distribution (QKD) schemes. The Commander then issues orders encoded in specific quantum states, like Retreat or Attack. In situations where received orders diverge, lieutenants engage in structured games to reconcile discrepancies. Notably, the frequency of these games is contingent upon the Commander's strategies and the overall network size. Our empirical findings underscore the enhanced resilience and effectiveness of the protocol in diverse scenarios. Nonetheless, scalability emerges as a concern with the growth of the network size. To sum up, our research illuminates the considerable potential of fortified quantum consensus systems in the NISQ era, highlighting the imperative for sustained research in bolstering quantum ecosystems.


title: Modularity for lunar exploration: European Moon Rover System Pre-Phase A Design and Field Test Campaign Results

abstract: The European Moon Rover System (EMRS) Pre-Phase A activity is part of the European Exploration Envelope Programme (E3P) that seeks to develop a versatile surface mobility solution for future lunar missions. These missions include: the Polar Explorer (PE), In-Situ Resource Utilization (ISRU), and Astrophysics Lunar Observatory (ALO) and Lunar Geological Exploration Mission (LGEM). Therefore, designing a multipurpose rover that can serve these missions is crucial. The rover needs to be compatible with three different mission scenarios, each with an independent payload, making flexibility the key driver. This study focuses on modularity in the rover's locomotion solution and autonomous on-board system. Moreover, the proposed EMRS solution has been tested at an analogue facility to prove the modular mobility concept. The tests involved the rover's mobility in a lunar soil simulant testbed and different locomotion modes in a rocky and uneven terrain, as well as robustness against obstacles and excavation of lunar regolith. As a result, the EMRS project has developed a multipurpose modular rover concept, with power, thermal control, insulation, and dust protection systems designed for further phases. This paper highlights the potential of the EMRS system for lunar exploration and the importance of modularity in rover design.


title: Language Models are Super Mario: Absorbing Abilities from Homologous Models as a Free Lunch

abstract: In this paper, we unveil that Language Models (LMs) can acquire new capabilities by assimilating parameters from homologous models without retraining or GPUs. We first introduce DARE to set most delta parameters (i.e., the disparity between fine-tuned and pre-trained parameters) to zeros without affecting the abilities of Supervised Fine-Tuning (SFT) LMs, which randomly Drops delta parameters with a ratio $p$ And REscales the remaining ones by $1 / (1 - p)$ to approximate the original embeddings. Then, we use DARE as a versatile plug-in to sparsify delta parameters of multiple SFT homologous models for mitigating parameter interference and merge them into a single model by parameter fusing. We experiment with encoder- and decoder-based LMs, showing that: (1) SFT delta parameter value ranges are typically small (within 0.002) with extreme redundancy, and DARE can effortlessly eliminate 90% or even 99% of them; (2) DARE can merge multiple task-specific LMs into one LM with diverse capabilities. Notably, this phenomenon is more pronounced in large-scale LMs, where the merged LM reveals the potential to surpass the performance of any source LM, providing a new discovery. We also utilize DARE to create a merged LM that ranks first among models with 7 billion parameters on the Open LLM Leaderboard.


title: Iwasawa theory and mock plectic points

abstract: We use Iwasawa theory, at a prime $p$ inert in a quadratic imaginary field $K$, to study the arithmetic properties of mock plectic invariants for elliptic curves of rank two. More precisely, under some minor technical assumptions, we prove that the non-vanishing of the mock plectic invariant $\mathcal{Q}_K$ attached to an elliptic curve $E_{/\mathbb{Q}}$ of even analytic rank $r_\mathrm{an}(E/K)\ge2$, and with multiplicative reduction at $p$, implies that the $p$-Selmer rank $r_p(E/K)$ equals $2$. The proof rests on one inclusion of Perrin-Riou's Heegner point main conjecture for elliptic curves with multiplicative reduction at $p$ which we obtain using bipartite Euler systems.


title: Quasicoherent sheaves for dagger analytic geometry

abstract: We develop a somewhat elementary theory of quasicoherent sheaves on separated dagger analytic varieties and show that they satisfy descent in the analytic topology. We define compactly supported pushforwards and produce an adjunction $f_! \dashv f^!$, and produce an excision sequence for certain inclusions of admissible open subsets. Finally, we prove a Grothendieck duality theorem in some cases.


title: Bifurcation of finger-like structures in traveling waves of epithelial tissues spreading

abstract: We consider a continuum active polar fluid model for the spreading of epithelial monolayers introduced by R. Alert, C. Blanch-Mercader, and J. Casademunt, 2019. The corresponding free boundary problem possesses flat front traveling wave solutions. Linear stability of these solutions under periodic perturbations is considered. It is shown that the solutions are stable for short-wave perturbations while exhibiting long-wave instability under certain conditions on the model parameters (if the traction force is sufficiently strong). Then, considering the prescribed period as the bifurcation parameter, we establish the emergence of nontrivial traveling wave solutions with a finger-like periodic structure (pattern). We also construct asymptotic expansions of the solutions in the vicinity of the bifurcation point and study their stability. We show that, depending on the value of the contractility coefficient, the bifurcation can be a subcritical or a supercritical pitchfork.


title: Parametric Resurgences of the Second Painlev\'e Equation and Minimal Superstrings

abstract: The aim of this paper is to study the resurgent transseries structure of the inhomogeneous and $q$-deformed Painlev\'e II equations. Appearing in a variety of physical systems we here focus on their description of $(2,4)$-super minimal string theory with either D-branes or RR-flux backgrounds. In this context they appear as double scaled string equations of matrix models, and we relate the resurgent transseries structures appearing in this way with explicit matrix model computations. The main body of the paper is focused on studying the transseries structure of these equations as well as the corresponding resurgence analyses. Concretely, the aim will be to give a recursion relation for the transseries sectors and obtain the non-perturbative transmonomials -- {\it i.e.}, the instanton actions of the systems. From the resurgence point of view, the goal is to obtain Stokes data. These encode how the transseries parameters jump at the Stokes lines when turning around the complex plane in order to produce a global transseries solution. The main result will be a conjectured form for the transition functions of these transseries parameters. We explore how these equations are related to each other via the Miura map. In particular, we focus on how their resurgent properties can be translated into each other. We study the special solutions of the inhomogeneous Painlev\'e II equation and how these might be encoded in the transseries parameters. Specifically, we have a discussion on the Hastings--McLeod solution and some results on special function solutions. Finally, we discuss our results in the context of the matrix model and the (2,4)-minimal superstring theory.


title: Quasi one-dimensional organic conductors: from Fr\"ohlich conductivity and Peierls insulating state to magnetically-mediated superconductivity, a retrospective

abstract: It is indisputable that the search for high-temperature superconductivity has stimulated the work on low-dimensional organic conductors at its beginning. Since the discovery of true metal-like conduction in molecular compounds more than 50 years ago, it appeared that the chemical composition and the quasi one-dimensional crystalline structure of these conductors were determining factors for their physical properties; materials with incommensurate conduction band filling favoring the low-dimensional electron-phonon diverging channel and the establishment of the Peierls superstructure and more rarely superconductivity at low temperature, while those with commensurate band filling favor either magnetic insulating or superconducting states depending on the intensity of the coupling between conductive chains. In addition, the simple structures of these materials have allowed the development of theoretical models in close cooperation with almost all experimental findings. Even though these materials have not yet given rise to true high-temperature superconductivity, the wealth of their physical properties makes them systems of choice in the field of condensed matter physics due to their original properties and their educational qualities. Research efforts continue in this field. The present retrospective, which does not attempt to be an exhaustive review of the field, provides a set of experimental findings alluding to the theoretical development while a forthcoming article will address in more details the theoretical aspect of low dimensional conductors and superconductors.


title: Pelvic floor MRI segmentation based on semi-supervised deep learning

abstract: The semantic segmentation of pelvic organs via MRI has important clinical significance. Recently, deep learning-enabled semantic segmentation has facilitated the three-dimensional geometric reconstruction of pelvic floor organs, providing clinicians with accurate and intuitive diagnostic results. However, the task of labeling pelvic floor MRI segmentation, typically performed by clinicians, is labor-intensive and costly, leading to a scarcity of labels. Insufficient segmentation labels limit the precise segmentation and reconstruction of pelvic floor organs. To address these issues, we propose a semi-supervised framework for pelvic organ segmentation. The implementation of this framework comprises two stages. In the first stage, it performs self-supervised pre-training using image restoration tasks. Subsequently, fine-tuning of the self-supervised model is performed, using labeled data to train the segmentation model. In the second stage, the self-supervised segmentation model is used to generate pseudo labels for unlabeled data. Ultimately, both labeled and unlabeled data are utilized in semi-supervised training. Upon evaluation, our method significantly enhances the performance in the semantic segmentation and geometric reconstruction of pelvic organs, Dice coefficient can increase by 2.65% averagely. Especially for organs that are difficult to segment, such as the uterus, the accuracy of semantic segmentation can be improved by up to 3.70%.


title: Unified Multi-modal Unsupervised Representation Learning for Skeleton-based Action Understanding

abstract: Unsupervised pre-training has shown great success in skeleton-based action understanding recently. Existing works typically train separate modality-specific models, then integrate the multi-modal information for action understanding by a late-fusion strategy. Although these approaches have achieved significant performance, they suffer from the complex yet redundant multi-stream model designs, each of which is also limited to the fixed input skeleton modality. To alleviate these issues, in this paper, we propose a Unified Multimodal Unsupervised Representation Learning framework, called UmURL, which exploits an efficient early-fusion strategy to jointly encode the multi-modal features in a single-stream manner. Specifically, instead of designing separate modality-specific optimization processes for uni-modal unsupervised learning, we feed different modality inputs into the same stream with an early-fusion strategy to learn their multi-modal features for reducing model complexity. To ensure that the fused multi-modal features do not exhibit modality bias, i.e., being dominated by a certain modality input, we further propose both intra- and inter-modal consistency learning to guarantee that the multi-modal features contain the complete semantics of each modal via feature decomposition and distinct alignment. In this manner, our framework is able to learn the unified representations of uni-modal or multi-modal skeleton input, which is flexible to different kinds of modality input for robust action understanding in practical cases. Extensive experiments conducted on three large-scale datasets, i.e., NTU-60, NTU-120, and PKU-MMD II, demonstrate that UmURL is highly efficient, possessing the approximate complexity with the uni-modal methods, while achieving new state-of-the-art performance across various downstream task scenarios in skeleton-based action representation learning.


title: Longitudinal Polaritons in Crystals

abstract: The collective excitations of solids are classified as longitudinal and transverse depending on their relative polarization and propagation direction. This seemingly formal classification results in surprisingly distinct types of excitations if calculated within the Coulomb gauge. Transverse modes couple to free-space photons and hybridize into polaritons for strong light-matter coupling. Longitudinal modes, in contrast, are seen as pure matter excitations that produce a dynamic polarization inside the material without photon coupling. Here we show that both longitudinal and transverse modes become polaritons in the explicitly covariant Lorenz gauge. Longitudinal excitations couple to longitudinal and scalar photons, which have been considered elusive so far. We show that the dipolar excitations become three-fold degenerate in the long-wavelength limit when including all photonic degrees of freedom, as expected from symmetry. Our findings demonstrate how choosing a gauge determines our thinking about materials excitations and how gauge fixing reveals new pathways for tailoring polaritons in crystals, metamaterials, and surfaces. Longitudinal polaritons will interact with longitudinal near fields located at surfaces, which provides additional excitation channels to engineer scanning near-field microscopy and surface-enhanced spectroscopy.


title: Properties of the Biot-Savart operator acting on surface currents

abstract: We investigate properties of the image and kernel of the Biot-Savart operator in the context of stellarator designs for plasma fusion. We first show that for any given coil winding surface (CWS) the image of the Biot-Savart operator is $L^2$-dense in the space of square-integrable harmonic fields defined on a plasma domain surrounded by the CWS. Then we show that harmonic fields which are harmonic in a proper neighbourhood of the underlying plasma domain can in fact be approximated in any $C^k$-norm by elements of the image of the Biot-Savart operator. In the second part of this work we establish an explicit isomorphism between the space of harmonic Neumann fields and the kernel of the Biot-Savart operator which in particular implies that the dimension of the kernel of the Biot-Savart operator coincides with the genus of the coil winding surface and hence turns out to be a homotopy invariant among regular domains in $3$-space. Lastly, we provide an iterative scheme which we show converges weakly in $W^{-\frac{1}{2},2}$-topology to elements of the kernel of the Biot-Savart operator.


title: Tensor Golub Kahan based on Einstein product

abstract: The Singular Value Decomposition (SVD) of matrices is a widely used tool in scientific computing. In many applications of machine learning, data analysis, signal and image processing, the large datasets are structured into tensors, for which generalizations of SVD have already been introduced, for various types of tensor-tensor products. In this article, we present innovative methods for approximating this generalization of SVD to tensors in the framework of the Einstein tensor product. These singular elements are called singular values and singular tensors, respectively. The proposed method uses the tensor Lanczos bidiagonalization applied to the Einstein product. In most applications, as in the matrix case, the extremal singular values are of special interest. To enhance the approximation of the largest or the smallest singular triplets (singular values and left and right singular tensors), a restarted method based on Ritz augmentation is proposed. Numerical results are proposed to illustrate the effectiveness of the presented method. In addition, applications to video compression and facial recognition are presented.


title: Well-posed non-vacuum solutions in Robinson--Trautman geometry

abstract: We study nonlinear matter models compatible with radiative Robinson--Trautman spacetimes and analyze their stability and well-posedness. The results lead us to formulate a conjecture relating the (in)stability and well/ill-posedness to the character of singularity appearing in the solutions. We consider two types of nonlinear electrodynamics models, namely we provide a radiative ModMax solution and extend recent results for the RegMax model by considering the magnetically charged case. In both cases, we investigate linear perturbations around stationary spherically symmetric solutions to determine the stability and principal symbol of the system to argue about well-posedness of these geometries. Additionally, we consider a nonlinear sigma model as a source for Robinson--Trautman geometry. This leads to stationary solutions with toroidal (as opposed to spherical) topology thus demanding modification of the analysis.


title: List colorings of $k$-partite $k$-graphs

abstract: A $k$-uniform hypergraph (or $k$-graph) $H = (V, E)$ is $k$-partite if $V$ can be partitioned into $k$ sets $V_1, \ldots, V_k$ such that each edge in $E$ contains precisely one vertex from each $V_i$. In this note, we consider list colorings for such hypergraphs. We show that for any $\epsilon > 0$ if each vertex $v \in V(H)$ is assigned a list of size $|L(v)| \geq \left((k-1+\epsilon)\Delta/\log \Delta\right)^{1/(k-1)}$, then $H$ admits a proper $L$-coloring, provided $\Delta$ is sufficiently large. Up to a constant factor, this matches the bound on the chromatic number of simple $k$-graphs shown by Frieze and Mubayi, and that on the list chromatic number of triangle free $k$-graphs shown by Li and Postle. Our results hold in the more general setting of "color-degree" as has been considered for graphs. Furthermore, we establish a number of asymmetric statements matching results of Alon, Cambie, and Kang for bipartite graphs.


title: Recursive construction for expansions of tree Yang-Mills amplitudes from soft theorem

abstract: In this paper, we have introduced a fundamentally different approach, based on a bottom-up methodology, to expand tree-level Yang-Mills (YM) amplitudes into Yang-Mills-scalar (YMS) amplitudes and Bi-adjoint-scalar (BAS) amplitudes. Our method relies solely on the intrinsic soft behavior of external gluons, eliminating the need for external aids such as Feynman rules or CHY rules. The recursive procedure consistently preserves explicit gauge invariance at every step, ultimately resulting in a manifest gauge-invariant outcome when the initial expression is already framed in a gauge-invariant manner. The resulting expansion can be directly analogized to the expansions of gravitational (GR) amplitudes using the double copy structure. When combined with the expansions of Einstein-Yang-Mills amplitudes obtained using the covariant double copy method from existing literature, the expansions presented in this note yield gauge-invariant BCJ numerators.


title: Injecting Categorical Labels and Syntactic Information into Biomedical NER

abstract: We present a simple approach to improve biomedical named entity recognition (NER) by injecting categorical labels and Part-of-speech (POS) information into the model. We use two approaches, in the first approach, we first train a sequence-level classifier to classify the sentences into categories to obtain the sentence-level tags (categorical labels). The sequence classifier is modeled as an entailment problem by modifying the labels as a natural language template. This helps to improve the accuracy of the classifier. Further, this label information is injected into the NER model. In this paper, we demonstrate effective ways to represent and inject these labels and POS attributes into the NER model. In the second approach, we jointly learn the categorical labels and NER labels. Here we also inject the POS tags into the model to increase the syntactic context of the model. Experiments on three benchmark datasets show that incorporating categorical label information with syntactic context is quite useful and outperforms baseline BERT-based models.


title: Ignoring Time Dependence in Software Engineering Data. A Mistake

abstract: Researchers often delve into the connections between different factors derived from the historical data of software projects. For example, scholars have devoted their endeavors to the exploration of associations among these factors. However, a significant portion of these studies has failed to consider the limitations posed by the temporal interdependencies among these variables and the potential risks associated with the use of statistical methods ill-suited for analyzing data with temporal connections. Our goal is to highlight the consequences of neglecting time dependence during data analysis in current research. We pinpointed out certain potential problems that arise when disregarding the temporal aspect in the data, and support our argument with both theoretical and real examples.


title: RELand: Risk Estimation of Landmines via Interpretable Invariant Risk Minimization

abstract: Landmines remain a threat to war-affected communities for years after conflicts have ended, partly due to the laborious nature of demining tasks. Humanitarian demining operations begin by collecting relevant information from the sites to be cleared, which is then analyzed by human experts to determine the potential risk of remaining landmines. In this paper, we propose RELand system to support these tasks, which consists of three major components. We (1) provide general feature engineering and label assigning guidelines to enhance datasets for landmine risk modeling, which are widely applicable to global demining routines, (2) formulate landmine presence as a classification problem and design a novel interpretable model based on sparse feature masking and invariant risk minimization, and run extensive evaluation under proper protocols that resemble real-world demining operations to show a significant improvement over the state-of-the-art, and (3) build an interactive web interface to suggest priority areas for demining organizations. We are currently collaborating with a humanitarian demining NGO in Colombia that is using our system as part of their field operations in two areas recently prioritized for demining.


title: Resolution enhancement, noise suppression, and joint T2* decay estimation in dual-echo sodium-23 MR imaging using anatomically-guided reconstruction

abstract: Purpose: Sodium MRI is challenging because of the low tissue concentration of the 23 Na nucleus and its extremely fast biexponential transverse relaxation rate. In this article, we present an iterative reconstruction framework using dual-echo 23Na data and exploiting anatomical prior information (AGR) from high-resolution, low-noise, 1 H MR images. This framework enables the estimation and modeling of the spatially-varying signal decay due to transverse relaxation during readout (AGRdm), which leads to images of better resolution and reduced noise resulting in improved quantification of the reconstructed 23Na images. Methods: The proposed framework was evaluated using reconstructions of 30 noise realizations of realistic simulations of dual echo twisted projection imaging (TPI) 23 Na data. Moreover, three dual echo 23 Na TPI brain data sets of healthy controls acquired on a 3T Siemens Prisma system were reconstructed using conventional reconstruction, AGR and AGRdm. Results: Our simulations show that compared to conventional reconstructions, AGR and AGRdm show improved bias-noise characteristics in several regions of the brain. Moreover, AGR and AGRdm images show more anatomical detail and less noise in the reconstructions of the experimental data sets. Compared to AGR and the conventional reconstruction, AGRdm shows higher contrast in the sodium concentration ratio between gray and white matter and between gray matter and the brain stem. Conclusion: AGR and AGRdm generate 23 Na images with high resolution, high levels of anatomical detail, and low levels of noise, potentially enabling high-quality 23 Na MR imaging at 3T.


title: Enriched Presheaf Model of Quantum FPC

abstract: Selinger gave a superoperator model of a first-order quantum programming language and proved that it is fully definable and hence fully abstract. This paper proposes an extension of the superoperator model to higher-order programs based on modules over superoperators or, equivalently, enriched presheaves over the category of superoperators. The enriched presheaf category can be easily proved to be a model of intuitionistic linear logic with cofree exponential, from which one can cave out a model of classical linear logic by a kind of bi-orthogonality construction. Although the structures of an enriched presheaf category are usually rather complex, a morphism in the classical model can be expressed simply as a matrix of completely positive maps. The model inherits many desirable properties from the superoperator model. A conceptually interesting property is that our model has only a state whose "total probability" is bounded by 1, i.e. does not have a state where true and false each occur with probability 2/3. Another convenient property inherited from the superoperator model is a $\omega$CPO-enrichment. Remarkably, our model has a sufficient structure to interpret arbitrary recursive types by the standard domain theoretic technique. We introduce Quantum FPC, a quantum $\lambda$-calculus with recursive types, and prove that our model is a fully abstract model of Quantum FPC.


title: Algebraic Dynamical Systems in Machine Learning

abstract: We introduce an algebraic analogue of dynamical systems, based on term rewriting. We show that a recursive function applied to the output of an iterated rewriting system defines a formal class of models into which all the main architectures for dynamic machine learning models (including recurrent neural networks, graph neural networks, and diffusion models) can be embedded. Considered in category theory, we also show that these algebraic models are a natural language for describing the compositionality of dynamic models. Furthermore, we propose that these models provide a template for the generalisation of the above dynamic models to learning problems on structured or non-numerical data, including 'hybrid symbolic-numeric' models.


title: Yet another proof of the density in energy of Lipschitz functions

abstract: We provide a new, short proof of the density in energy of Lipschitz functions into the metric Sobolev space defined by using plans with barycenter (and thus, a fortiori, into the Newtonian-Sobolev space). Our result covers first-order Sobolev spaces of exponent $p\in(1,\infty)$, defined over a complete and separable metric space endowed with a boundedly-finite Borel measure. Our proof is based on a completely smooth analysis: first we reduce the problem to the Banach space setting, where we consider smooth functions instead of Lipschitz ones, then we rely on classical tools in convex analysis and on the superposition principle for normal $1$-currents. Along the way, we obtain a new proof of the density in energy of smooth cylindrical functions in Sobolev spaces defined over a separable Banach space endowed with a finite Borel measure.


title: Near-Infrared Ca II Triplet As An Stellar Activity Indicator: Library and Comparative Study

abstract: We have established and released a new stellar index library of the Ca II Triplet, which serves as an indicator for characterizing the chromospheric activity of stars. The library is based on data from the Large Sky Area Multi-Object Fiber Spectroscopic Telescope (LAMOST) Low-Resolution Spectroscopic Survey (LRS) Data Release 9 (DR9). To better reflect the chromospheric activity of stars, we have defined new indices $R$ and $R^{+}$. The library includes measurements of $R$ and $R^{+}$ for each Ca II infrared triplet (IRT) from 699,348 spectra of 562,863 F, G and K-type solar-like stars with Signal-to-Noise Ratio (SNR) higher than 100, as well as the stellar atmospheric parameters and basic information inherited from the LAMOST LRS Catalog. We compared the differences between the 3 individual index of the Ca II Triplet and also conducted a comparative analysis of $R^{+}_{\lambda8542}$ to the Ca II H&K $S$ and $R^+_{HK}$ index database. We find the fraction of low active stars decreases with $T_{eff}$ and the fraction of high active first decrease with decreasing temperature and turn to increase with decreasing temperature at 5800K. We also find a significant fraction of stars that show high activity index in both Ca II H&K and IRT are binaries with low activity, some of them could be discriminated in Ca II H&K $S$ index and $R^{+}_{\lambda8542}$ space. This newly stellar library serves as a valuable resource for studying chromospheric activity in stars and can be used to improve our comprehension of stellar magnetic activity and other astrophysical phenomena.


title: The derived category of a locally compact space is rarely smooth

abstract: We show that the derived category of a locally compact Hausdorff space $X$ (subject to a mild technical condition) is smooth in the sense of non-commutative geometry if and only if $X$ is discrete and finite.


title: CISRU: a robotics software suite to enable complex rover-rover and astronaut-rover interaction

abstract: The CISRU project has focused on the development of a software suite for planetary (and terrestrial) robotics, fully abstracted from the robotic platform and enabling interaction between rovers and astronauts in complex tasks and non-structured scenarios. To achieve this, a high level of autonomy is required, powered by AI and multi-agent autonomous planning systems inherited from ERGO/ADE and the PERASPERA program. This communication presents the system developed in CISRU, focusing on the modules of AI-based perception and the interaction between astronauts and robots.


title: Sculpting harmonic comb states in terahertz quantum cascade lasers by controlled engineering

abstract: Optical frequency combs (FCs), that establish a rigid phase-coherent link between the microwave and optical domains of the electromagnetic spectrum, are emerging as a key high-precision tools for the development of quantum technology platforms. These include potential applications for communication, computation, information, sensing and metrology, and can extend from the near-infrared with micro-resonator combs, up to the technologically attractive terahertz (THz) frequency range, with powerful and miniaturized quantum cascade laser (QCL) FCs. The recently discovered ability of the QCLs to produce a harmonic frequency comb (HFC), a FC with large intermodal spacings, has attracted new interest in these devices for both applications and fundamental physics, particularly for the generation of THz tones of high spectral purity for high data rate wireless communication networks, for radiofrequency arbitrary waveform synthesis, and for the development of quantum key distributions. The controlled generation of harmonic states of a specific order remains, however, elusive in THz QCLs. Here we devise a strategy to obtain broadband HFC emission of a pre-defined order in QCL, by design. By patterning n regularly spaced defects on the top-surface of a double-metal Fabry-Perot QCL, we demonstrate harmonic comb emission with modes spaced by (n+1) free spectral range and with a record optical power/mode of ~270 $\mu W$.


title: TAMPAR: Visual Tampering Detection for Parcel Logistics in Postal Supply Chains

abstract: Due to the steadily rising amount of valuable goods in supply chains, tampering detection for parcels is becoming increasingly important. In this work, we focus on the use-case last-mile delivery, where only a single RGB image is taken and compared against a reference from an existing database to detect potential appearance changes that indicate tampering. We propose a tampering detection pipeline that utilizes keypoint detection to identify the eight corner points of a parcel. This permits applying a perspective transformation to create normalized fronto-parallel views for each visible parcel side surface. These viewpoint-invariant parcel side surface representations facilitate the identification of signs of tampering on parcels within the supply chain, since they reduce the problem to parcel side surface matching with pair-wise appearance change detection. Experiments with multiple classical and deep learning-based change detection approaches are performed on our newly collected TAMpering detection dataset for PARcels, called TAMPAR. We evaluate keypoint and change detection separately, as well as in a unified system for tampering detection. Our evaluation shows promising results for keypoint (Keypoint AP 75.76) and tampering detection (81% accuracy, F1-Score 0.83) on real images. Furthermore, a sensitivity analysis for tampering types, lens distortion and viewing angles is presented. Code and dataset are available at https://a-nau.github.io/tampar.


title: Charge and energy deposition in the McDIPPER framework

abstract: In this short note we present aspects of the energy and charge deposition within the McDIPPER, a novel 3D resolved model for the initial state of ultrarelativistic Heavy-Ion collisions based on the $k_\perp$-factorized Color Glass Condensate hybrid approach. This framework is a initial-state Monte Carlo event generator which deposits the relevant conserved charges (energy, charge and baryon densities) both in the midrapidity and forward/backward regions of the collision. The event-by-event generator computes the gluon and (anti-) quark phase-space densities using the IP-Sat model, from where the conserved charges can be extracted directly. In this work we present the centrality and collision energy dependence for the deposited conserved quantities at midrapidity and the full event, the so-called $4\pi$ solid angle range.


title: Baryon number violation accompanied by CP-violation as a quantum tunneling effect induced by superfluid pairing interactions

abstract: In this work, we explore a new picture of baryon number ($\mathcal{B}$) violation inspired by the formal analogies between the Brout-Englert-Higgs model and the Ginzburg-Landau model. A possible manifestation of this new picture could be the transition between a pair of neutrons and a pair of antineutrons (i.e. $nn \rightarrow \bar{n}\bar{n}$), which violates $\mathcal{B}$ by 4 units. In the presence of the superfluid pairing interactions, two neutrons can form a Cooper pair and can be modeled by a semi-classical complex scalar field, which carries two units of $\mathcal{B}$. In the presence of the $\mathcal{B}$-violating terms, the system does not possess a continuous $U(1)$ symmetry but instead it respect a discrete $Z_2$ symmetry. Before the spontaneous breaking of the $Z_2$ symmetry, the ground state (vacuum) of the neutron Cooper field and that of the antineutron Cooper field should have degenerate energy levels. After the spontaneous breaking of the $Z_2$ symmetry, the degeneracy of the ground states would be removed and a domain wall that interpolates between the two inequavalent ground states can emerge. If the vacuum energy of the neutron Cooper field is higher than that of the antineutron Cooper field, the false vacuum ($nn$) would decay into the true vacuum ($\bar{n}\bar{n}$) through a quantum tunneling process across the domain wall. Therefore, The $nn \rightarrow \bar{n}\bar{n}$ transition process can be considered as a false vacuum decay through a quantum tunneling process induced by the superfluid pairing interactions. Both the $\mathcal{B}$-violating and CP-violating effects can be quite naturally accommodated in the $nn \rightarrow \bar{n}\bar{n}$ transition process. The $\mathcal{B}$-violating process accompanied by CP-violation would open a promising avenue for exploring new physics beyond the Standard Model.


title: Findings of the WMT 2023 Shared Task on Discourse-Level Literary Translation: A Fresh Orb in the Cosmos of LLMs

abstract: Translating literary works has perennially stood as an elusive dream in machine translation (MT), a journey steeped in intricate challenges. To foster progress in this domain, we hold a new shared task at WMT 2023, the first edition of the Discourse-Level Literary Translation. First, we (Tencent AI Lab and China Literature Ltd.) release a copyrighted and document-level Chinese-English web novel corpus. Furthermore, we put forth an industry-endorsed criteria to guide human evaluation process. This year, we totally received 14 submissions from 7 academia and industry teams. We employ both automatic and human evaluations to measure the performance of the submitted systems. The official ranking of the systems is based on the overall human judgments. In addition, our extensive analysis reveals a series of interesting findings on literary and discourse-aware MT. We release data, system outputs, and leaderboard at http://www2.statmt.org/wmt23/literary-translation-task.html.


title: Benchmarking Differential Evolution on a Quantum Simulator

abstract: The use of Evolutionary Algorithms (EA) for solving Mathematical/Computational Optimization Problems is inspired by the biological processes of Evolution. Few of the primitives involved in the Evolutionary process/paradigm are selection of 'Fit' individuals (from a population sample) for retention, cloning, mutation, discarding, breeding, crossover etc. In the Evolutionary Algorithm abstraction, the individuals are deemed to be solution candidates to an Optimization problem and additional solution(/sets) are built by applying analogies to the above primitives (cloning, mutation etc.) by means of evaluating a 'Fitness' function/criterion. One such algorithm is Differential Evolution (DE) which can be used to compute the minima of functions such as the rastrigin function and rosenbrock function. This work is an attempt to study the result of applying the DE method on these functions with candidate individuals generated on classical Turing modeled computation and comparing the same with those on state of the art Quantum computation.The study benchmarks the convergence of these functions by varying the parameters initialized and reports timing, convergence, and resource utilization results.


title: Nonparametric modeling of the composite effect of multiple nutrients on blood glucose dynamics

abstract: In biomedical applications it is often necessary to estimate a physiological response to a treatment consisting of multiple components, and learn the separate effects of the components in addition to the joint effect. Here, we extend existing probabilistic nonparametric approaches to explicitly address this problem. We also develop a new convolution-based model for composite treatment-response curves that is more biologically interpretable. We validate our models by estimating the impact of carbohydrate and fat in meals on blood glucose. By differentiating treatment components, incorporating their dosages, and sharing statistical information across patients via a hierarchical multi-output Gaussian process, our method improves prediction accuracy over existing approaches, and allows us to interpret the different effects of carbohydrates and fat on the overall glucose response.


title: Fully nonlinear transformations of the Weyl-Bondi-Metzner-Sachs asymptotic symmetry group

abstract: The asymptotic symmetry group of general relativity in asymptotically flat spacetimes can be extended from the Bondi-Metzner-Sachs (BMS) group to the generalized BMS (GMBS) group suggested by Campiglia and Laddha, which includes arbitrary diffeomorphisms of the celestial two-sphere. It can be further extended to the Weyl BMS (BMSW) group suggested by Freidel, Oliveri, Pranzetti and Speziale, which includes general conformal transformations. We compute the action of fully nonlinear BMSW transformations on the leading order Bondi-gauge metric functions: specifically, the induced metric, Bondi mass aspect, angular momentum aspect, and shear. These results generalize previous linearized results in the BMSW context by Freidel et al., and also nonlinear results in the BMS context by Chen, Wang, Wang and Yau. The transformation laws will be useful for exploring implications of the BMSW group.


title: Decoding Neuronal Networks: A Reservoir Computing Approach for Predicting Connectivity and Functionality

abstract: In this study, we address the challenge of analyzing electrophysiological measurements in neuronal networks. Our computational model, based on the Reservoir Computing Network (RCN) architecture, deciphers spatio-temporal data obtained from electrophysiological measurements of neuronal cultures. By reconstructing the network structure on a macroscopic scale, we reveal the connectivity between neuronal units. Notably, our model outperforms common methods like Cross-Correlation and Transfer-Entropy in predicting the network's connectivity map. Furthermore, we experimentally validate its ability to forecast network responses to specific inputs, including localized optogenetic stimuli.


title: Solution to a problem of Gr\"unbaum on the edge density of $4$-critical planar graphs

abstract: We show that $\limsup |E(G)|/|V(G)| = 2.5$ over all $4$-critical planar graphs $G$, answering a question of Gr\"unbaum from 1988.


title: Incorporating basic calibrations in existing machine-learned turbulence modeling

abstract: This work aims to incorporate basic calibrations of Reynolds-averaged Navier-Stokes (RANS) models as part of machine learning (ML) frameworks. The ML frameworks considered are tensor-basis neural network (TBNN), physics-informed machine learning (PIML), and field inversion & machine learning (FIML) in J. Fluid Mech., 2016, 807, 155-166, Phys. Rev. Fluids, 2017, 2(3), 034603 and J. Comp. Phys., 2016, 305, 758-774, and the baseline RANS models are the one-equation Spalart-Allmaras model, the two-equation $k$-$\omega$ model, and the seven-equation Reynolds stress transport models. ML frameworks are trained against plane channel flow and shear-layer flow data. We compare the ML frameworks and study whether the machine-learned augmentations are detrimental outside the training set. The findings are summarized as follows. The augmentations due to TBNN are detrimental. PIML leads to augmentations that are beneficial inside the training dataset but detrimental outside it. These results are not affected by the baseline RANS model. FIML's augmentations to the two eddy viscosity models, where an inner-layer treatment already exists, are largely neutral. Its augmentation to the seven-equation model, where an inner-layer treatment does not exist, improves the mean flow prediction in a channel. Furthermore, these FIML augmentations are mostly non-detrimental outside the training dataset. In addition to reporting these results, the paper offers physical explanations of the results. Last, we note that the conclusions drawn here are confined to the ML frameworks and the flows considered in this study. More detailed comparative studies and validation & verification studies are needed to account for developments in recent years.


title: Martingale approximation of non-stationary stochastic processes

abstract: We generalise the martingale-coboundary representation of discrete time stochastic processes to the non-stationary case and to random variables in Orlicz spaces. Related limit theorems (CLT, invariance principle, log log law, probabilities of large deviations) are studied.


title: Generalized integrals and point interactions

abstract: First we recall a method of computing scalar products of eigenfunctions of a Sturm-Liouville operator. This method is then applied to Macdonald and Gegenbauer functions, which are eigenfunctions of the Bessel, resp. Gegenbauer operators. The computed scalar products are well defined only for a limited range of parameters. To extend the obtained formulas to a much larger range of parameters, we introduce the concept of a generalized integral. The (standard as well as generalized) integrals of Macdonald and Gegenbauer functions have important applications to operator theory. Macdonald functions can be used to express the integral kernels of the resolvent (Green functions) of the Laplacian on the Euclidean space in any dimension. Similarly, Gegenbauer functions appear in Green functions of the Laplacian on the sphere and the hyperbolic space. In dimensions 1,2,3 one can perturb these Laplacians with a point potential, obtaining a well defined self-adjoint operator. Standard integrals of Macdonald and Gegenbauer functions appear in the formulas for the corresponding Green functions. In higher dimensions the Laplacian perturbed by point potentials does not exist. However, the corresponding Green function can be generalized to any dimension by using generalized integrals.


title: The European Moon Rover System: a modular multipurpose rover for future complex lunar missions

abstract: This document presents the study conducted during the European Moon Rover System Pre-Phase A project, in which we have developed a lunar rover system, with a modular approach, capable of carrying out different missions with different objectives. This includes excavating and transporting over 200kg of regolith, building an astrophysical observatory on the far side of the Moon, placing scientific instrumentation at the lunar south pole, or studying the volcanic history of our satellite. To achieve this, a modular approach has been adopted for the design of the platform in terms of locomotion and mobility, which includes onboard autonomy, of course. A modular platform allows for accommodating different payloads and allocating them in the most advantageous positions for the mission they are going to undertake (for example, having direct access to the lunar surface for the payloads that require it), while also allowing for the relocation of payloads and reconfiguring the rover design itself to perform completely different tasks.


title: Phase Field Modeling in Social Media Dynamics:Simulation of Opinion Evolution with Feedback, Separation

abstract: This study introduces a new numerical model to simulate how information is comprehended and processed on social networks, using continuous "Phase Field Modeling" variables (phiA, phiB, phiC) to represent individual users' opinions. It captures the immediate and two-way nature of social media interactions, reproducing the spread and feedback of information. The model incorporates psychological and social factors like confirmation bias and opinion rigidity to analyze information processing and opinion development among users. It also explores the dynamics of opinion segregation and interaction in and out of filter bubbles, offering a quantitative view of opinion dynamics on platforms like social networking services (SNS). This approach combines theoretical models with real-world social network data to study the effects of information concentration on opinion formation and the phenome Phase Field Modeling of opinion polarization and echo chamber effects on SNS. This paper is partially an attempt to utilize "Generative AI" and was written with educational intent. There are currently no plans for it to become a peer-reviewed paper.


title: A stochastic representation theorem for sublinear semigroups with non-local generators

abstract: In this paper we investigate sublinear semigroups whose pointwise generators are given by non-local Hamilton-Jacobi-Bellman operators. Our main result provides a stochastic representation in terms of a family of sublinear (conditional) expectations that can be understood as a nonlinear Markov family with uncertain local characteristics. The proofs are based on viscosity methods.


title: End-to-end Material Thermal Conductivity Prediction through Machine Learning

abstract: We investigated the accelerated prediction of the thermal conductivity of materials through end- to-end structure-based approaches employing machine learning methods. Due to the non-availability of high-quality thermal conductivity data, we first performed high-throughput calculations based on first principles and the Boltzmann transport equation for 225 materials, effectively more than doubling the size of the existing dataset. We assessed the performance of state-of-the-art machine learning models for thermal conductivity prediction on this expanded dataset and observed that all these models suffered from overfitting. To address this issue, we introduced a novel graph-based neural network model, which demonstrated more consistent and regularized performance across all evaluated datasets. Nevertheless, the best mean absolute percentage error achieved on the test dataset remained in the range of 50-60%. This suggests that while these models are valuable for expediting material screening, their current accuracy is still limited.


title: Animating NeRFs from Texture Space: A Framework for Pose-Dependent Rendering of Human Performances

abstract: Creating high-quality controllable 3D human models from multi-view RGB videos poses a significant challenge. Neural radiance fields (NeRFs) have demonstrated remarkable quality in reconstructing and free-viewpoint rendering of static as well as dynamic scenes. The extension to a controllable synthesis of dynamic human performances poses an exciting research question. In this paper, we introduce a novel NeRF-based framework for pose-dependent rendering of human performances. In our approach, the radiance field is warped around an SMPL body mesh, thereby creating a new surface-aligned representation. Our representation can be animated through skeletal joint parameters that are provided to the NeRF in addition to the viewpoint for pose dependent appearances. To achieve this, our representation includes the corresponding 2D UV coordinates on the mesh texture map and the distance between the query point and the mesh. To enable efficient learning despite mapping ambiguities and random visual variations, we introduce a novel remapping process that refines the mapped coordinates. Experiments demonstrate that our approach results in high-quality renderings for novel-view and novel-pose synthesis.


title: TiO2 multi-leg nanotubes for Surface-enhanced Raman scattering

abstract: In the recent past, significant research efforts have been put forth to fabricate low-cost noble metal-free substrates for surface-enhanced Raman spectroscopy (SERS) applications. Here we propose semiconducting TiO2 multi-leg nanotubes (TiO2 MLNTs, with and without the gold nanoparticle coating) as SERS substrates. TiO2 MLNTs show unique multi-leg morphology compared to the conventional non-multi-leg tubes and possess better light-harvesting properties. TiO2 MLNTs are fabricated with a simple and versatile single-step electrochemical anodization method. Remarkable high SERS sensitivity is observed towards the detection of Methylene blue (MB), up to nM concentration (E.F. ~104). The same is attributed to the resonantly matched photonic absorption edge of TiO2 MLNTs with the wavelength of incident laser probe light. On the other hand, gold nanoparticle-coated TiO2 MLNTs demonstrated further enhancement in SERS sensitivity (E.F. ~105, for nM of MB) facilitated by the synergy that exists between the plasmonic modes (LSPRs) of Au and the photonic absorption mode of TiO2 MLNTs.


title: Plasmons in a layered strange metal using the gauge-gravity duality

abstract: In an attempt to understand the density-density response of the cuprate superconductors, we study plasmons in a layered strange metal using the Gubser-Rocha model. The latter is a well-known bottom-up holographic model for a strange metal that is used here to describe the strongly repulsive on-site interactions between the electrons in each copper-oxide (CuO$_2$) layer, whereas the long-range Coulomb interactions are incorporated by a so-called double-trace deformation. To be able to model the bilayer cuprates more realistically, we consider in particular the case of two closely-spaced CuO$_2$ layers per unit cell. In the response we then obtain for vanishing out-of-plane momentum both an optical and an acoustic plasmon, whereas for nonvanishing out-of-plane momentum there are two acoustic plasmon modes. We present the full density-density spectral functions with parameters typical for cuprates and discuss both the dispersion and the lifetime of these plasmon excitations. Moreover, we compute the conductivity after introducing disorder into the system. Finally, we also compute the loss function to facilitate a comparison with experimental results from electron energy loss spectroscopy.


title: Energy Harvesting Maximization for Reconfigurable Intelligent Surfaces Using Amplitude Measurements

abstract: Energy harvesting can enable a reconfigurable intelligent surface (RIS) to self-sustain its operations without relying on external power sources. In this paper, we consider the problem of energy harvesting for RISs in the absence of coordination with the ambient RF source. We propose a series of sequential phase-alignment algorithms that maximize the received power based on only power measurements. We prove the convergence of the proposed algorithm to the optimal value for the noiseless scenario. However, for the noisy scenario, we propose a linear least squares estimator. We prove that within the class of linear estimators, the optimal set of measurement phases are equally-spaced phases. To evaluate the performance of the proposed method, we introduce a random phase update algorithm as a benchmark. Our simulation results show that the proposed algorithms outperform the random phase update method in terms of achieved power after convergence while requiring fewer measurements per phase update. Using simulations, we show that in a noiseless scenario with a discrete set of possible phase shifts for the RIS elements, the proposed method is sub-optimal, achieving a higher value than the random algorithm but not exactly the maximum feasible value that we obtained by exhaustive search.


title: Cross-Plane Thermal Transport in Layered Materials

abstract: The cross-plane (across-layers) phonon thermal transport of five diverse, layered semiconductors is investigated by accounting for higher-order four-phonon scattering, phonon renormalization, and multi-channel thermal transport. For materials having relatively large cross-plane thermal conductivity (AlB6, MoS2, and MoSi2N4), phonons contributing to cross-plane conductivity have an order of magnitude larger mean free path than that for the basal-plane thermal transport, whereas the opposite effect is observed for materials with low thermal conductivity (MoO3 and KCuSe). The contribution from the wave-like coherent transport channel is less than 5% in all considered materials. Our work unravels the contrasting role of nano-structuring on the basal- vs. cross-plane thermal conductivity of low and high thermal conductivity layered materials.


title: A probabilistic analogue of the Fourier extension conjecture and a proof of the Kakeya conjecture

abstract: We prove a probabilistic Fourier extension theorem that says Fourier extension holds when averaged over certain smooth Alpert multipliers. Then the Kakeya conjecture is shown to hold using certain improvements in the argument for the probabilistic extension theorem. The proofs use smooth Alpert wavelets with the classical techniques of stationary phase and interpolation of L^2 and L^4 estimates. The correct L^4 bounds for resonant forms require an expectation over Alpert multipliers.


title: Enabling In-Situ Resources Utilisation by leveraging collaborative robotics and astronaut-robot interaction

abstract: Space exploration and establishing human presence on other planets demand advanced technology and effective collaboration between robots and astronauts. Efficient space resource utilization is also vital for extraterrestrial settlements. The Collaborative In-Situ Resources Utilisation (CISRU) project has developed a software suite comprising five key modules. The first module manages multi-agent autonomy, facilitating communication between agents and mission control. The second focuses on environment perception, employing AI algorithms for tasks like environment segmentation and object pose estimation. The third module ensures safe navigation, covering obstacle avoidance, social navigation with astronauts, and cooperation among robots. The fourth module addresses manipulation functions, including multi-tool capabilities and tool-changer design for diverse tasks in In-Situ Resources Utilization (ISRU) scenarios. Finally, the fifth module controls cooperative behaviour, incorporating astronaut commands, Mixed Reality interfaces, map fusion, task supervision, and error control. The suite was tested using an astronaut-rover interaction dataset in a planetary environment and GMV SPoT analogue environments. Results demonstrate the advantages of E4 autonomy and AI in space systems, benefiting astronaut-robot collaboration. This paper details CISRU's development, field test preparation, and analysis, highlighting its potential to revolutionize planetary exploration through AI-powered technology.


title: On Sharp Bounds of Local Fractional Metric Dimension for Certain Symmetrical Algebraic Structure Graphs

abstract: The smallest set of vertices needed to differentiate or categorize every other vertex in a graph is referred to as the graph's metric dimension. Finding the class of graphs for a particular given metric dimension is an NP-hard problem. This concept has applications in many different domains, including graph theory, network architecture, and facility location problems. A graph $G$ with order $n$ is known as a Toeplitz graph over the subset $S$ of consecutive collections of integers from one to $n$, and two vertices will be adjacent to each other if their absolute difference is a member of $S$. A graph $G(\mathbb{Z}_{n})$ is called a zero-divisor graph over the zero divisors of a commutative ring $\mathbb{Z}_{n}$, in which two vertices will be adjacent to each other if their product will leave the remainder zero under modulo $n$. Since the local fractional metric dimension problem is NP-hard, it is computationally difficult to identify an optimal solution or to precisely determine the minimal size of a local resolving set; in the worst case, the process takes exponential time. Different upper bound sequences of local fractional metric dimension are suggested in this article, along with a comparison analysis for certain families of Toeplitz and zero-divisor graphs. Furthermore, we note that the analyzed local fractional metric dimension upper bounds fall into three metric families: constant, limited, and unbounded.


title: Collision Avoidance using Iterative Dynamic and Nonlinear Programming with Adaptive Grid Refinements

abstract: Nonlinear optimal control problems for trajectory planning with obstacle avoidance present several challenges. While general-purpose optimizers and dynamic programming methods struggle when adopted separately, their combination enabled by a penalty approach was found capable of handling highly nonlinear systems while overcoming the curse of dimensionality. Nevertheless, using dynamic programming with a fixed state space discretization limits the set of reachable solutions, hindering convergence or requiring enormous memory resources for uniformly spaced grids. In this work we solve this issue by incorporating an adaptive refinement of the state space grid, splitting cells where needed to better capture the problem structure while requiring less discretization points overall. Numerical results on a space manipulator demonstrate the improved robustness and efficiency of the combined method with respect to the single components.


title: Asymmetric Masked Distillation for Pre-Training Small Foundation Models

abstract: Self-supervised foundation models have shown great potential in computer vision thanks to the pre-training paradigm of masked autoencoding. Scale is a primary factor influencing the performance of these foundation models. However, these large foundation models often result in high computational cost. This paper focuses on pre-training relatively small vision transformer models that could be efficiently adapted to downstream tasks. Specifically, taking inspiration from knowledge distillation in model compression, we propose a new asymmetric masked distillation (AMD) framework for pre-training relatively small models with autoencoding. The core of AMD is to devise an asymmetric masking strategy, where the teacher model is enabled to see more context information with a lower masking ratio, while the student model is still equipped with a high masking ratio. We design customized multi-layer feature alignment between the teacher encoder and student encoder to regularize the pre-training of student MAE. To demonstrate the effectiveness and versatility of AMD, we apply it to both ImageMAE and VideoMAE for pre-training relatively small ViT models. AMD achieved 84.6% classification accuracy on IN1K using the ViT-B model. And AMD achieves 73.3% classification accuracy using the ViT-B model on the Something-in-Something V2 dataset, a 3.7% improvement over the original ViT-B model from VideoMAE. We also transfer AMD pre-trained models to downstream tasks and obtain consistent performance improvement over the original masked autoencoding. The code and models are available at https://github.com/MCG-NJU/AMD.


title: A Brain-inspired Theory of Collective Mind Model for Efficient Social Cooperation

abstract: Social intelligence manifests the capability, often referred to as the Theory of Mind (ToM), to discern others' behavioral intentions, beliefs, and other mental states. ToM is especially important in multi-agent and human-machine interaction environments because each agent needs to understand the mental states of other agents in order to better respond, interact, and collaborate. Recent research indicates that the ToM model possesses the capability to infer beliefs, intentions, and anticipate future observations and actions; nonetheless, its deployment in tackling intricate tasks remains notably limited. The challenges arise when the number of agents increases, the environment becomes more complex, and interacting with the environment and predicting the mental state of each other becomes difficult and time consuming. To overcome such limits, we take inspiration from the Theory of Collective Mind (ToCM) mechanism, predicting observations of all other agents into a unified but plural representation and discerning how our own actions affect this mental state representation. Based on this foundation, we construct an imaginative space to simulate the multi-agent interaction process, thus improving the efficiency of cooperation among multiple agents in complex decision-making environments. In various cooperative tasks with different numbers of agents, the experimental results highlight the superior cooperative efficiency and performance of our approach compared to the Multi-Agent Reinforcement Learning (MARL) baselines. We achieve consistent boost on SNN- and DNN-based decision networks, and demonstrate that ToCM's inferences about others' mental states can be transferred to new tasks for quickly and flexible adaptation.


title: Using Shallow Neural Networks with Functional Connectivity from EEG signals for Early Diagnosis of Alzheimer's and Frontotemporal Dementia

abstract: {Introduction: } Dementia is a neurological disorder associated with aging that can cause a loss of cognitive functions, impacting daily life. Alzheimer's disease (AD) is the most common cause of dementia, accounting for 50--70\% of cases, while frontotemporal dementia (FTD) affects social skills and personality. Electroencephalography (EEG) provides an effective tool to study the effects of AD on the brain. {Methods: } In this study, we propose to use shallow neural networks applied to two sets of features: spectral-temporal and functional connectivity using four methods. We compare three supervised machine learning techniques to the CNN models to classify EEG signals of AD / FTD and control cases. We also evaluate different measures of functional connectivity from common EEG frequency bands considering multiple thresholds. {Results and Discussion: } Results showed that the shallow CNN-based models achieved the highest accuracy of 94.54\% with AEC in test dataset when considering all connections, outperforming conventional methods and providing potentially an additional early dementia diagnosis tool. \url{https://doi.org/10.3389%2Ffneur.2023.1270405}


title: Massive Black Holes in Galactic Nuclei

abstract: Massive black holes are key inhabitants of the nuclei of galaxies. Moreover, their astrophysical relevance has gained significant traction in recent years, thanks especially to the amazing results that are being (or will be) delivered by instruments such as the James Webb Space Telescope, Pulsar Timing Array projects and LISA. In this Chapter, we aim to detail a broad set of aspects related to the astrophysical nature of massive black holes embedded in galactic nuclei, with a particular focus on recent and upcoming advances in the field. In particular, we will address questions such as: What shapes the relations connecting the mass of massive black holes with the properties of their host galaxies? How do massive black holes form in the early Universe? What mechanisms keep on feeding them so that they can attain very large masses at z = 0? How do binaries composed of two massive black holes form and coalesce into a single, larger black hole? Here we present these topics from a mainly theoretical viewpoint and discuss how present and upcoming facilities may enhance our understanding of massive black holes in the near future.

categories: astro-ph.GA astro-ph.CO astro-ph.HE astro-ph.IM


title: Architectural Sweet Spots for Modeling Human Label Variation by the Example of Argument Quality: It's Best to Relate Perspectives!

abstract: Many annotation tasks in natural language processing are highly subjective in that there can be different valid and justified perspectives on what is a proper label for a given example. This also applies to the judgment of argument quality, where the assignment of a single ground truth is often questionable. At the same time, there are generally accepted concepts behind argumentation that form a common ground. To best represent the interplay of individual and shared perspectives, we consider a continuum of approaches ranging from models that fully aggregate perspectives into a majority label to "share nothing"-architectures in which each annotator is considered in isolation from all other annotators. In between these extremes, inspired by models used in the field of recommender systems, we investigate the extent to which architectures that include layers to model the relations between different annotators are beneficial for predicting single-annotator labels. By means of two tasks of argument quality classification (argument concreteness and validity/novelty of conclusions), we show that recommender architectures increase the averaged annotator-individual F$_1$-scores up to $43\%$ over a majority label model. Our findings indicate that approaches to subjectivity can benefit from relating individual perspectives.


title: Convergence Analysis of Sequential Federated Learning on Heterogeneous Data

abstract: There are two categories of methods in Federated Learning (FL) for joint training across multiple clients: i) parallel FL (PFL), where clients train models in a parallel manner; and ii) sequential FL (SFL), where clients train models in a sequential manner. In contrast to that of PFL, the convergence theory of SFL on heterogeneous data is still lacking. In this paper, we establish the convergence guarantees of SFL for strongly/general/non-convex objectives on heterogeneous data. The convergence guarantees of SFL are better than that of PFL on heterogeneous data with both full and partial client participation. Experimental results validate the counterintuitive analysis result that SFL outperforms PFL on extremely heterogeneous data in cross-device settings.


title: Comparison of symbolic and ordinary powers of parity binomial edge ideals

abstract: In this paper, we investigate when symbolic and ordinary powers of the parity binomial edge ideal of a graph fail to be equal. It turns out that if $\mathcal{I}_{G}$ is the parity binomial edge ideal of a graph $G$, then in each of the following cases the symbolic power $\mathcal{I}_{G}^{(t)}$ and the ordinary power $\mathcal{I}_{G}^t$ are not equal for some $t$: (i) the clique number of $G$ is greater than 3; (ii) $G$ has a net; or (iii) $G$ has a PT as an induced subgraph.


title: Iwahori-Hecke algebras acting on tensor space by $q$-deformed letter permutations and $q$-partition algebras

abstract: Let $R$ be a commutative ring with identity and let $V$ be a free $R$-module of rank $n$ for some $n\in\mathbb{N}$. Fixing an $R$-basis $\mathcal{E}$ of $V$, the symmetric group $\mathfrak{S}_n$ acts on $V$ by permuting $\mathcal{E}$ and hence on tensor space $V^{\otimes r}$ for $r\in\mathbb{N}$ via the usual tensor product action turning $V$ and $V^{\otimes r}$ into $R\mathfrak{S}_n$-modules. For units $q$ in $R$ we construct an action of the corresponding Iwahori-Hecke algebra $\mathcal{H}_{R,q}(\mathfrak{S}_n)$ which specializes to the action of $R\mathfrak{S}_n$, if $q$ is taken to $1$. The centralizing algebra of this action is called the $q$-partition algebra $\mathcal{P}_{R,q}(n,r)$. Let $R$ be a field of characteristic not dividing $q$. We prove, that $\mathcal{P}_{R,q}(n,r)$ is isomorphic to the $q$-partition algebra defined by Halverson and Thiem by different means a few years ago.


title: GPTuner: A Manual-Reading Database Tuning System via GPT-Guided Bayesian Optimization

abstract: Modern database management systems (DBMS) expose hundreds of configurable knobs to control system behaviours. Determining the appropriate values for these knobs to improve DBMS performance is a long-standing problem in the database community. As there is an increasing number of knobs to tune and each knob could be in continuous or categorical values, manual tuning becomes impractical. Recently, automatic tuning systems using machine learning methods have shown great potentials. However, existing approaches still incur significant tuning costs or only yield sub-optimal performance. This is because they either ignore the extensive domain knowledge available (e.g., DBMS manuals and forum discussions) and only rely on the runtime feedback of benchmark evaluations to guide the optimization, or they utilize the domain knowledge in a limited way. Hence, we propose GPTuner, a manual-reading database tuning system. Firstly, we develop a Large Language Model (LLM)-based pipeline to collect and refine heterogeneous knowledge, and propose a prompt ensemble algorithm to unify a structured view of the refined knowledge. Secondly, using the structured knowledge, we (1) design a workload-aware and training-free knob selection strategy, (2) develop a search space optimization technique considering the value range of each knob, and (3) propose a Coarse-to-Fine Bayesian Optimization Framework to explore the optimized space. Finally, we evaluate GPTuner under different benchmarks (TPC-C and TPC-H), metrics (throughput and latency) as well as DBMS (PostgreSQL and MySQL). Compared to the state-of-the-art approaches, GPTuner identifies better configurations in 16x less time on average. Moreover, GPTuner achieves up to 30% performance improvement (higher throughput or lower latency) over the best-performing alternative.


title: Controlling effective field contributions to laser-induced magnetization precession by heterostructure design

abstract: Nanoscale heterostructure design can control laser-induced heat dissipation and strain propagation as well as their efficiency for driving magnetization precession. We use insulating MgO layers incorporated into metallic Pt-Cu-Ni heterostructures to block the propagation of hot electrons. Ultrafast x-ray diffraction (UXRD) experiments quantify how this enables controlling the spatio-temporal shape of the transient heat and strain, which drive the magnetization dynamics in the Ni layer. The frequency of the magnetization precession observed by the time-resolved magneto-optical Kerr effect (MOKE) in polar geometry is systematically tuned by the magnetic field orientation. The combined experimental analysis (UXRD and MOKE) and modeling of transient strain, heat and magnetization uniquely highlights the importance of quasi-static strain as a driver of precession, when the magnetic material is rapidly heated via electrons. The concomitant effective field change originating from demagnetization partially compensates the change induced by quasi-static strain. Tailored strain pulses shaped via the nanoscale heterostructure design provide an equally efficient, phase-matched driver of precession, paving the way for opto-magneto-acoustic devices with low heat energy deposited in the magnetic layer.


title: A stable Lorentz-breaking model for an antisymmetric two-tensor

abstract: In this work we investigate possible actions for antisymmetric two-tensor field models subject to constraints that force the field to acquire a nonzero vacuum expectation value, thereby spontaneously breaking Lorentz invariance. In order to assure stability, we require that the associate Hamiltonian be bounded from below. It is shown that this requirement rules out any quadratic action constructed only from the the antisymmetric tensor field. We then explicitly construct a hybrid model consisting of the antisymmetric two-tensor field together with a vector field, subject to three constraints, that is stable in Minkowski space.


title: Nonmetricity and hypermomentum: on the possible violation of Lorentz invariance

abstract: We outline how the symmetry groups of spacetime are interpreted in a gauge-theoretic approach. Specifically, we focus on the hypermomentum concept and discuss the hyperfluid, that appropriately generalizes the perfect (Euler) fluid of general relativity to the case of continuous media with microstructure. We demonstrate that a possible violation of Lorentz invariance is most adequately understood by means of non-vanishing nonmetricity of a metric-affine geometry of spacetime.


title: 17O enrichment of CaWO4 crystals for spin-dependent DM search

abstract: For many years, various experiments have attempted to shed light on the nature of dark matter (DM). This work investigates the possibility of using CaWO4 crystals for the direct search of spin-dependent DM interactions using the isotope 17O with a nuclear spin of 5/2. Due to the low natural abundance of 0.038%, an enrichment of the CaWO4 crystals with 17O is developed during the crystal production process at the Technical University of Munich. Three CaWO4 crystals were enriched, and their 17O content was measured by nuclear magnetic resonance spectroscopy at the University of Leipzig. This paper presents the concept and first results of the 17O enrichment and discusses the possibility of using enriched crystals to increase the sensitivity for the spin-dependent DM search with CRESST.


title: Phase-field simulations of the effect of temperature and interface for zirconium $\delta\mbox{-}$hydrides

abstract: Hydride precipitation in zirconium cladding materials can damage their integrity and durability.Service temperature and material defects have a significant effect on the dynamic growth of hydrides. In this study, we have developed a phase field model based on the assumption of elastic behaviour within a specific temperature range (613-653K). This model allows us to study the influence of temperature and interfacial effects on the morphology, stress, and average growth rate of zirconium hydride. The results suggest that changes in temperature and interfacial energy influence the aspect ratio and average growth rate of the hydride morphology. The ultimate determinant of hydride orientation is the loss of interfacial coherence, primarily induced by interfacial dislocation defects and quantifiable by the mismatch degree $q$. An escalation in interfacial coherence loss leads to a transition of hydride growth from horizontal to vertical, accompanied by the onset of redirection behaviour. Interestingly, redirection occurs at a critical mismatch level, denoted $q_c$, and remains unaffected by variations in temperature and interfacial energy. However, this redirection leads to an increase in the maximum stress, which may influence the direction of hydride crack propagation. This research highlights the importance of interfacial coherence and provides valuable insights into the morphology and growth kinetics of hydrides in zirconium alloys.


title: SurfFlow: high-throughput surface energy calculations for arbitrary crystals

abstract: We introduce SurfFlow, an open-source high-throughput workflow package designed for automated first-principles calculations of surface energies in arbitrary crystals. Our package offers a comprehensive solution capable of handling multi-element crystals, nonstoichiometric compositions, and asymmetric slabs, for all potential terminations. To streamline the computational process, SurfFlow employs an efficient pre-screening method that discards surfaces with suspected high surface energy before conducting resource-intensive density functional theory computations. The results generated are seamlessly compiled into an optimade-compliant database, ensuring easy access and compatibility. Additionally, a user-friendly web interface facilitates workflow submission and management, provides result visualization, and enables the examination of Wulff shapes. SurfFlow represents a valuable tool for researchers looking to explore surface energies and their implications in a diverse range of systems.


title: A contract negotiation scheme for safety verification of interconnected systems

abstract: This paper proposes a (control) barrier function synthesis and safety verification scheme for interconnected nonlinear systems based on assume-guarantee contracts (AGC) and sum-of-squares (SOS) techniques. It is well-known that the SOS approach does not scale well for barrier function synthesis for high-dimensional systems. In this paper, we show that compositional methods like AGC can mitigate this problem. We formulate the synthesis problem into a set of small-size problems, which constructs local contracts for subsystems, and propose a negotiation scheme among the subsystems at the contract level. The proposed scheme is then implemented numerically on two examples: vehicle platooning and room temperature regulation.