title: TALYS calculation and a short review of the experimental status of proton capture studies on p-nuclei: A guide to future investigation

abstract: TALYS calculations were performed to obtain the theoretical proton capture cross-sections on the p-nuclei. A short review on the status of related experimental studies was also conducted. Some basic properties such as Q-values, Coulomb barrier, Gamow peak, Gamow Window, and decay properties of the parent and daughter nuclei were studied. Various experimental parameters, e.g., beam energy, beam current, targets, and detectors, used in experimental investigations reported in the literature, were tabulated. The results of the TALYS calculations in the Gamow region were compared with the corresponding experimental values wherever available. This study is expected to facilitate the planning of future experiments.


title: Synchronized Stepwise Control of Firing and Learning Thresholds in a Spiking Randomly Connected Neural Network toward Hardware Implementation

abstract: We propose hardware-oriented models of intrinsic plasticity (IP) and synaptic plasticity (SP) for spiking randomly connected recursive neural network (RNN). Although the potential of RNNs for temporal data processing has been demonstrated, randomness of the network architecture often causes performance degradation. Self-organization mechanism using IP and SP can mitigate the degradation, therefore, we compile these functions in a spiking neuronal model. To implement the function of IP, a variable firing threshold is introduced to each excitatory neuron in the RNN that changes stepwise in accordance with its activity. We also define other thresholds for SP that synchronize with the firing threshold, which determine the direction of stepwise synaptic update that is executed on receiving a pre-synaptic spike. We demonstrate the effectiveness of our model through simulations of temporal data learning and anomaly detection with a spiking RNN using publicly available electrocardiograms. Considering hardware implementation, we employ discretized thresholds and synaptic weights and show that these parameters can be reduced to binary if the RNN architecture is appropriately designed. This contributes to minimization of the circuit of the neuronal system having IP and SP.


title: The role of quantum and classical correlations in shrinking algorithms for optimization

abstract: The benefit of quantum computing for solving combinatorial optimization problems (COPs) constitutes an open research question. In this work, we study the performance of a shrinking algorithm for COPs. The algorithm leverages correlations extracted from quantum or classical subroutines to recursively simplify the problem. We compare the performance of the algorithm equipped with correlations from the quantum approximate optimization algorithm (QAOA) as well as the classical linear programming (LP) and semi-definite programming (SDP) relaxations. This allows us to benchmark the utility of QAOA correlations against established classical relaxation algorithms. We apply the recursive algorithm to MaxCut problem instances with up to a hundred vertices at different graph densities. Our results indicate that LP outperforms all other approaches for low-density instances, while SDP excels for high-density problems. Moreover, the shrinking algorithm proves to be a viable alternative to established methods of rounding LP and SDP relaxations. In addition, the recursive shrinking algorithm outperforms its bare counterparts for all three types of correlations, i.e., LP with spanning tree rounding, the Goemans-Williamson algorithm, and conventional QAOA. While the lowest depth QAOA consistently yields worse results than the SDP, our tensor network experiments show that the performance increases significantly for deeper QAOA circuits.


title: Binarizing Documents by Leveraging both Space and Frequency

abstract: Document Image Binarization is a well-known problem in Document Analysis and Computer Vision, although it is far from being solved. One of the main challenges of this task is that documents generally exhibit degradations and acquisition artifacts that can greatly vary throughout the page. Nonetheless, even when dealing with a local patch of the document, taking into account the overall appearance of a wide portion of the page can ease the prediction by enriching it with semantic information on the ink and background conditions. In this respect, approaches able to model both local and global information have been proven suitable for this task. In particular, recent applications of Vision Transformer (ViT)-based models, able to model short and long-range dependencies via the attention mechanism, have demonstrated their superiority over standard Convolution-based models, which instead struggle to model global dependencies. In this work, we propose an alternative solution based on the recently introduced Fast Fourier Convolutions, which overcomes the limitation of standard convolutions in modeling global information while requiring fewer parameters than ViTs. We validate the effectiveness of our approach via extensive experimental analysis considering different types of degradations.


title: Automated Configuration Synthesis for Machine Learning Models: A git-Based Requirement and Architecture Management System

abstract: This work introduces a tool for generating runtime configurations automatically from textual requirements stored as artifacts in git repositories (a.k.a. T-Reqs) alongside the software code. The tool leverages T-Reqs-modelled architectural description to identify relevant configuration properties for the deployment of artificial intelligence (AI)-enabled software systems. This enables traceable configuration generation, taking into account both functional and non-functional requirements. The resulting configuration specification also includes the dynamic properties that need to be adjusted and the rationale behind their adjustment. We show that this intermediary format can be directly used by the system or adapted for specific targets, for example in order to achieve runtime optimisations in term of ML model size before deployment.


title: Parameter Efficient Fine-tuning of Self-supervised ViTs without Catastrophic Forgetting

abstract: Artificial neural networks often suffer from catastrophic forgetting, where learning new concepts leads to a complete loss of previously acquired knowledge. We observe that this issue is particularly magnified in vision transformers (ViTs), where post-pre-training and fine-tuning on new tasks can significantly degrade the model's original general abilities. For instance, a DINO ViT-Base/16 pre-trained on ImageNet-1k loses over 70% accuracy on ImageNet-1k after just 10 iterations of fine-tuning on CIFAR-100. Overcoming this stability-plasticity dilemma is crucial for enabling ViTs to continuously learn and adapt to new domains while preserving their initial knowledge. In this work, we study two new parameter-efficient fine-tuning strategies: (1)~Block Expansion, and (2) Low-rank adaptation (LoRA). Our experiments reveal that using either Block Expansion or LoRA on self-supervised pre-trained ViTs surpass fully fine-tuned ViTs in new domains while offering significantly greater parameter efficiency. Notably, we find that Block Expansion experiences only a minimal performance drop in the pre-training domain, thereby effectively mitigating catastrophic forgetting in pre-trained ViTs.


title: Canonical interpretation of the newly observed $J^P =1^+$ structure $X(2085)$

abstract: Inspired by the newly observed $X(2085)$ by the BESIII Collaboration, we study the strong decay behaviors of excited axialvector strange mesons within the quark pair creation model. Our results indicate that the $K_1(1793)/K_1(1861)$ can be regarded as the same $K_1(2P)$ state, and the $K_1(1911)$ is assigned as the $K_1(2P^\prime)$ state. Considering the mass, spin-parity, and decay behaviors, we interpret the newly observed $X(2085)$ as the radially excited $K_1(3P)$ state, which mainly decays into the $\rho(1450) K$, $\omega(1420)K$, $\pi K^*(1410)$, $\rho K_1(1270)$, and $\rho K^*(892)$ final states. Also, the width of $K_1(3P^\prime)$ state is predicted to be about 300 MeV, which can be searched for by future experiments. We expect that present calculations can help us to better understand the nature of the $X(2085)$ structure.


title: Analytical derivation and extension of the anti-Kibble-Zurek scaling in the transverse field Ising model

abstract: A defect density which quantifies the deviation from the spin ground state characterizes non-equilibrium dynamics during phase transitions. The widely recognized Kibble-Zurek scaling predicts how the defect density evolves during phase transitions. However, it can be perturbed by a noise, leading to the anti-Kibble-Zurek scaling. In this research, we analytically investigate the effect of Gaussian white noise on the transition probabilities of the Landau-Zener model. We apply this analysis to the one-dimensional transverse field Ising model and obtain an analytical approximate solution of the defect density. Our analysis reveals that when the introduced noise is small, the model follows the previously known anti-Kibble-Zurek scaling. On the other hand, as the noise increases, a new scaling behavior emerges. Furthermore, we identify the parameter that minimizes the defect density based on the new scaling, which allows us to verify how effective the already known scaling of the optimized parameter is.


title: Bayesian and Principal Component Analyses of Neutron Star Properties

abstract: A Bayesian method is used in this extensive work to generate a large set of minimally constrained equations of state (EOSs) for matters in neutron stars (NS). These EOSs are analyzed for their correlations with key NS properties, such as the tidal deformability, radius, and maximum mass, within the mass range of $1.2-2M_\odot$. The observed connections between the pressure of $\beta$-equilibrated matter and the properties of neutron stars at different densities offer significant insights into the behavior of NS matter in a nearly model-independent manner. The study also examines the influence of various factors on the correlation of symmetry energy parameters, such as slope and curvature parameters at saturation density ($\rho_0=0.16 ~\text{fm}^{-3}$) with the tidal deformability and radius of neutron stars. This study investigates the robustness of the observed correlations by considering the distributions and interdependence of symmetry energy parameters. Furthermore, the utilization of Principal Component Analysis (PCA) is employed to unveil the complicated relationship between various nuclear matter parameters and properties of neutron stars. This analysis highlights the importance of employing multivariate analysis techniques in order to comprehend the variety in tidal deformability and radius observed across distinct masses of NS. This comprehensive study aims to establish a connection between the parameters of nuclear matter and the properties of neutron stars, providing significant insights into the behavior of NS matter across different circumstances.

categories: nucl-th astro-ph.HE astro-ph.SR gr-qc hep-ph


title: Making Better Use of Unlabelled Data in Bayesian Active Learning

abstract: Fully supervised models are predominant in Bayesian active learning. We argue that their neglect of the information present in unlabelled data harms not just predictive performance but also decisions about what data to acquire. Our proposed solution is a simple framework for semi-supervised Bayesian active learning. We find it produces better-performing models than either conventional Bayesian active learning or semi-supervised learning with randomly acquired data. It is also easier to scale up than the conventional approach. As well as supporting a shift towards semi-supervised models, our findings highlight the importance of studying models and acquisition methods in conjunction.


title: Omega Theorems for Logarithmic Derivatives of Zeta and L-functions Near the 1-line

abstract: We establish an omega theorem for logarithmic derivative of the Riemann zeta function near the 1-line by resonance method. We show that the inequality $\left| \zeta^{\prime}\left(\sigma_A+it\right)/\zeta\left(\sigma_A+it\right) \right| \geqslant \left(\left(e^A-1\right)/A\right)\log_2 T + O\left(\log_2 T / \log_3 T\right)$ has a solution $t \in [T^{\beta}, T]$ for all sufficiently large $T,$ where $\sigma_A = 1 - A / \log_2 {T}.$Furthermore, we give a conditional lower bound for the measure of the set of $t$ for which the logarithmic derivative of the Riemann zeta function is large. Moreover, similar results can be generalized to Dirichlet $L$-functions.


title: Camera Motion Estimation from RGB-D-Inertial Scene Flow

abstract: In this paper, we introduce a novel formulation for camera motion estimation that integrates RGB-D images and inertial data through scene flow. Our goal is to accurately estimate the camera motion in a rigid 3D environment, along with the state of the inertial measurement unit (IMU). Our proposed method offers the flexibility to operate as a multi-frame optimization or to marginalize older data, thus effectively utilizing past measurements. To assess the performance of our method, we conducted evaluations using both synthetic data from the ICL-NUIM dataset and real data sequences from the OpenLORIS-Scene dataset. Our results show that the fusion of these two sensors enhances the accuracy of camera motion estimation when compared to using only visual data.


title: Comparison of self-supervised in-domain and supervised out-domain transfer learning for bird species recognition

abstract: Transferring the weights of a pre-trained model to assist another task has become a crucial part of modern deep learning, particularly in data-scarce scenarios. Pre-training refers to the initial step of training models outside the current task of interest, typically on another dataset. It can be done via supervised models using human-annotated datasets or self-supervised models trained on unlabeled datasets. In both cases, many pre-trained models are available to fine-tune for the task of interest. Interestingly, research has shown that pre-trained models from ImageNet can be helpful for audio tasks despite being trained on image datasets. Hence, it's unclear whether in-domain models would be advantageous compared to competent out-domain models, such as convolutional neural networks from ImageNet. Our experiments will demonstrate the usefulness of in-domain models and datasets for bird species recognition by leveraging VICReg, a recent and powerful self-supervised method.


title: Weakly Supervised Training for Hologram Verification in Identity Documents

abstract: We propose a method to remotely verify the authenticity of Optically Variable Devices (OVDs), often referred to as ``holograms'', in identity documents. Our method processes video clips captured with smartphones under common lighting conditions, and is evaluated on two public datasets: MIDV-HOLO and MIDV-2020. Thanks to a weakly-supervised training, we optimize a feature extraction and decision pipeline which achieves a new leading performance on MIDV-HOLO, while maintaining a high recall on documents from MIDV-2020 used as attack samples. It is also the first method, to date, to effectively address the photo replacement attack task, and can be trained on either genuine samples, attack samples, or both for increased performance. By enabling to verify OVD shapes and dynamics with very little supervision, this work opens the way towards the use of massive amounts of unlabeled data to build robust remote identity document verification systems on commodity smartphones. Code is available at https://github.com/EPITAResearchLab/pouliquen.24.icdar


title: Trinity Detector:text-assisted and attention mechanisms based spectral fusion for diffusion generation image detection

abstract: Artificial Intelligence Generated Content (AIGC) techniques, represented by text-to-image generation, have led to a malicious use of deep forgeries, raising concerns about the trustworthiness of multimedia content. Adapting traditional forgery detection methods to diffusion models proves challenging. Thus, this paper proposes a forgery detection method explicitly designed for diffusion models called Trinity Detector. Trinity Detector incorporates coarse-grained text features through a CLIP encoder, coherently integrating them with fine-grained artifacts in the pixel domain for comprehensive multimodal detection. To heighten sensitivity to diffusion-generated image features, a Multi-spectral Channel Attention Fusion Unit (MCAF) is designed, extracting spectral inconsistencies through adaptive fusion of diverse frequency bands and further integrating spatial co-occurrence of the two modalities. Extensive experimentation validates that our Trinity Detector method outperforms several state-of-the-art methods, our performance is competitive across all datasets and up to 17.6\% improvement in transferability in the diffusion datasets.


title: SDFD: Building a Versatile Synthetic Face Image Dataset with Diverse Attributes

abstract: AI systems rely on extensive training on large datasets to address various tasks. However, image-based systems, particularly those used for demographic attribute prediction, face significant challenges. Many current face image datasets primarily focus on demographic factors such as age, gender, and skin tone, overlooking other crucial facial attributes like hairstyle and accessories. This narrow focus limits the diversity of the data and consequently the robustness of AI systems trained on them. This work aims to address this limitation by proposing a methodology for generating synthetic face image datasets that capture a broader spectrum of facial diversity. Specifically, our approach integrates a systematic prompt formulation strategy, encompassing not only demographics and biometrics but also non-permanent traits like make-up, hairstyle, and accessories. These prompts guide a state-of-the-art text-to-image model in generating a comprehensive dataset of high-quality realistic images and can be used as an evaluation set in face analysis systems. Compared to existing datasets, our proposed dataset proves equally or more challenging in image classification tasks while being much smaller in size.


title: Degree bounds for rational generators of invariant fields of finite abelian groups

abstract: We study degree bounds on rational but not necessarily polynomial generators for the field $\mathbf{k}(V)^G$ of rational invariants of a linear action of a finite abelian group. We show that lattice-theoretic methods used recently by the author and collaborators to study polynomial generators for the same field largely carry over, after minor modifications to the arguments. It then develops that the specific degree bounds found in that setting also carry over.


title: Thermodynamics and Dynamic Stability: Extended Theories of Heat Conduction

abstract: The fundamental dynamic stability of heat conduction theories beyond Fourier is analyzed in the framework of nonequilibrium thermodynamics. It is shown, that the thermodynamic framework, concave entropy and nonnegative entropy production, can ensure the stability of homogeneous thermodynamic equilibrium. Various special heat conduction theories of Extended Thermodynamics are compared and analysed in the general framework.


title: On Sets of Lengths in Monoids of plus-minus weighted Zero-Sum Sequences

abstract: Let $G$ be an additive abelian group. A sequence $S = g_1 \cdot \ldots \cdot g_{\ell}$ of terms from $G$ is a plus-minus weighted zero-sum sequence if there are $\varepsilon_1, \ldots, \varepsilon_{\ell} \in \{-1, 1\}$ such that $\varepsilon_1 g_1 + \ldots + \varepsilon_{\ell} g_{\ell}=0$. We study sets of lengths in the monoid $\mathcal B_{\pm} (G)$ of plus-minus weighted zero-sum sequences over $G$. If $G$ is finite, then sets of lengths are highly structured. If $G$ is infinite, then every finite, nonempty subset of $\mathbb N_{\ge 2}$ is the set of lengths of some sequence $S \in \mathcal B_{\pm} (G)$.


title: Terrestrial planet formation from a ring: long-term simulations accounting for the giant planet instability

abstract: The process leading to the formation of the terrestrial planet remains elusive. In a previous publication, we have shown that, if the first generation of planetesimals forms in a ring at about 1 AU and the gas disk's density peaks at the ring location, planetary embryos of a few martian masses can grow and remain in the ring. In this work, we extend our simulations beyond the gas-disk stage, covering 200 Myr and accounting for the phase of giant planet instability, assumed to happen at different times. About half of the simulations form a pair of Venus and Earth analogues and, independently, about 10% form a Mars analogue. We find that the timing of the giant planet instability affects statistically the terrestrial system's excitation state and the timing of the last giant impacts. Hence a late instability (about 60 to 100 Myr after the Solar system's birth) is more consistent with a late Moon-formation time, as suggested by radioactive chronometers. However, the late veneer mass (LVM: mass accreted after the last giant impact) of Earth-sized planets suffering a giant impact after 80 My is usually an order of magnitude lower than the value inferred from geochemistry. In addition, the final angular momentum deficit (AMD) of the terrestrial planets tends to be too high. We tested the effect on the final AMD of the generation of debris during collisions and found that it is too small to change these conclusions. We argue that the best-case scenario is that the Moon-forming event occurred between 50 and 80 My, possibly just following the giant planet instability.


title: The evolution of the permutahedron

abstract: In their seminal paper introducing the theory of random graphs, Erd\H{o}s and R\'{e}nyi considered the evolution of the structure of a random subgraph of $K_n$ as the density increases from $0$ to $1$, identifying two key points in this evolution -- the \emph{percolation threshold}, where the order of the largest component seemingly jumps from logarithmic to linear in size, and the \emph{connectivity threshold}, where the subgraph becomes connected. Similar phenomena have been observed in many other random graph models, and in particular, works of Ajtai, Koml\'{o}s and Szemer\'{e}di and of Spencer and Erd\H{o}s determine corresponding thresholds for random subgraphs of the hypercube. We study similar questions on the \emph{permutahedron}. The permutahedron, like the hypercube, has many different equivalent representations, and arises as a natural object of study in many areas of combinatorics. In particular, as a highly-symmetric simple polytope, like the $n$-simplex and $n$-cube, this percolation model naturally generalises the Erd\H{o}s-R\'{e}nyi random graph and the percolated hypercube. We determine the percolation threshold and the connectivity threshold for random subgraphs of the permutahedron. Along the way we develop a novel graph exploration technique which can be used to find exponentially large clusters after percolation in high-dimensional geometric graphs and we initiate the study of the isoperimetric properties of the permutahedron.


title: Parametric and inverse analysis of flow inside an obstructed channel under the influence of magnetic field using physics informed neural networks

abstract: In this study, fluid flow inside of an obstructed channel under the influence of magnetic field has been analyzed using physics informed neural networks(PINNs). Governing equations have been utilized in low-order form and the solution has been obtained in dimensionless form. Geometric and physics-related dimensionless parameters have been used as input variables of the neural network in the learning process. The radius and longitudinal position of the obstruction have also been involved in the learning process and the problem has been solved parametrically. In the successive sections of the study, inverse problem has been a matter of interest, particularly in form of obtaining the Hartmann number using the proposed method. The results have indicated that the employed method determined the Hartmann number with great accuracy and entailed proper results. In this study a thorough exploration of effects of physical and geometric parameters on the magnetically influenced flow through a duct has been carried out. The accuracy of the results obtained from the solving method proposed have been compared to results generated by common methods used in computational fluid mechanics. The parametric solution of the problem can serve as a powerful tool in optimization problems. The method was also applicable to cases where the parameters were outside of defined range, indicating it's generalization capabilities.


title: Spread-out percolation on transitive graphs of polynomial growth

abstract: Let $G$ be a vertex-transitive graph of superlinear polynomial growth. Given $r>0$, let $G_r$ be the graph on the same vertex set as $G$, with two vertices joined by an edge if and only if they are at graph distance at most $r$ apart in $G$. We show that the critical probability $p_c(G_r)$ for Bernoulli bond percolation on $G_r$ satisfies $p_c(G_r) \sim 1/\mathrm{deg}(G_r)$ as $r\to\infty$. This extends work of Penrose and Bollob\'as-Janson-Riordan, who considered the case $G=\mathbb{Z}^d$. Our result provides an important ingredient in parallel work of Georgakopoulos in which he introduces a new notion of dimension in groups. It also verifies a special case of a conjecture of Easo and Hutchcroft.


title: Multiple-Target Detection in Cell-Free Massive MIMO-Assisted ISAC

abstract: We propose a distributed implementation for integrated sensing and communication (ISAC) backed by a massive multiple input multiple output (CF-mMIMO) architecture without cells. Distributed multi-antenna access points (APs) simultaneously serve communication users (UEs) and emit probing signals towards multiple specified zones for sensing. The APs can switch between communication and sensing modes, and adjust their transmit power based on the network settings and sensing and communication operations' requirements. By considering local partial zero-forcing and maximum-ratio-transmit precoding at the APs for communication and sensing, respectively, we first derive closed-form expressions for the spectral efficiency (SE) of the UEs and the mainlobe-to-average-sidelobe ratio (MASR) of the sensing zones. Then, a joint operation mode selection and power control design problem is formulated to maximize the SE fairness among the UEs, while ensuring specific levels of MASR for sensing zones. The complicated mixed-integer problem is relaxed and solved via successive convex approximation approach. We further propose a low-complexity design, where AP mode selection is designed through a greedy algorithm and then power control is designed based on this chosen mode. Our findings reveal that the proposed scheme can consistently ensure a sensing success rate of $100\%$ for different network setups with a satisfactory fairness among all UEs.


title: Beyond Efficiency and Convenience. Using Post-growth Values as a Nucleus to Transform Design Education and Society

abstract: In this position paper we present Municipan, an artefact resulting from a post-growth design experiment, applied in a student design project. In contrast to mainstream human-centered design directed at efficiency and convenience, which we argue leads to deskilling, dependency, and the progression of the climate crisis, we challenged students to envision an opposite user that is willing to invest time and effort and learn new skills. While Municipan is not a direct step towards a postgrowth society, integrating the way it was created in design education can act as a nucleus, bringing forth design professionals inclined to create technologies with potential to gradually transform society towards postgrowth living. Bringing in examples from our own research, we illustrate that designs created in this mindset, such as heating systems that train cold resistance, or navigation systems that train orientation have potential to reskill users, reduce technological dependency and steer consumption within planetary limits.


title: Typical behaviour of genuine multimode entanglement of pure Gaussian states

abstract: Trends of genuine entanglement in Haar uniformly generated multimode pure Gaussian states with fixed average energy per mode are explored. A distance-based metric known as the generalized geometric measure (GGM) is used to quantify genuine entanglement. The GGM of a state is defined as its minimum distance from the set of all non-genuinely entangled states. To begin with, we derive an expression for the Haar averaged value of any function defined on the set of energy-constrained states. Subsequently, we investigate states with a large number of modes and provide a closed-form expression for the Haar averaged GGM in terms of the average energy per mode. Furthermore, we demonstrate that typical states closely approximate their Haar averaged GGM value, with deviation probabilities bounded by an exponentially suppressed limit. We then analyze the GGM content of typical states with a finite number of modes and present the distribution of GGM. Our findings indicate that as the number of modes increases, the distribution shifts towards higher entanglement values and becomes more concentrated. We quantify these features by computing the Haar averaged GGM and the standard deviation of the GGM distribution, revealing that the former increases while the latter decreases with the number of modes.


title: On the Grothendieck duality for the space of holomorphic Sobolev functions

abstract: We describe the strong dual space $({\mathcal O}^s (D))^*$ for the space ${\mathcal O}^s (D) = H^s (D) \cap {\mathcal O} (D)$ of holomorphic functions from the Sobolev space $H^s(D)$, $s \in \mathbb Z$, over a bounded simply connected plane domain $D$ with infinitely differential boundary $\partial D$. We identify the dual space with the space of holomorhic functions on ${\mathbb C}^n\setminus \overline D$ that belong to $H^{1-s} (G\setminus \overline D)$ for any bounded domain $G$, containing the compact $\overline D$, and vanish at the infinity. As a corollary, we obtain a description of the strong dual space $({\mathcal O}_F (D))^*$ for the space ${\mathcal O}_F (D)$ of holomorphic functions of finite order of growth in $D$ (here, ${\mathcal O}_F (D)$ is endowed with the inductive limit topology with respect to the family of spaces ${\mathcal O}^s (D)$, $s \in \mathbb Z$). In this way we extend the classical Grothendieck-K{\"o}the-Sebasti\~{a}o e Silva duality for the space of holomorphic functions.


title: Avoiding singularities in Lorentzian-Euclidean black holes: the role of atemporality

abstract: We investigate a Schwarzschild metric exhibiting a signature change across the event horizon, which gives rise to what we term a Lorentzian-Euclidean black hole. The resulting geometry is regularized by employing the Hadamard partie finie technique, which allows us to prove that the metric represents a solution of vacuum Einstein equations. In this framework, we introduce the concept of atemporality as the dynamical mechanism responsible for the transition from a regime with a real-valued time variable to a new one featuring an imaginary time. We show that this mechanism prevents the occurrence of the singularity and, by means of the regularized Kretschmann invariant, we discuss in which terms atemporality can be considered as the characteristic feature of this black hole.


title: A two parameter family of lightcone-like hyperbolic string vertices

abstract: We introduce a two parameter family of string field theory vertices, which we refer to as hyperbolic Kaku vertices. It is defined in terms of hyperbolic metrics on the Riemann surface, but the geometry is allowed to depend on inputs of the states. The vertices are defined for both open and closed strings. In either case, the family contains the hyperbolic vertices. Then we show that the open string lightcone vertex is obtained as the flat limit of the hyperbolic Kaku vertices. The open string Kaku vertices, which interpolate between the Witten vertex and the open string lightcone vertex, is also obtained as a flat limit. We use the same limit on the case of closed strings to define the closed string Kaku vertices: a one parameter family of vertices that interpolates between the polyhedral vertices - which are covariant, but not cubic - and the closed string lightcone vertex - which is cubic, but not Lorentz covariant.


title: Clustering of Motion Trajectories by a Distance Measure Based on Semantic Features

abstract: Clustering of motion trajectories is highly relevant for human-robot interactions as it allows the anticipation of human motions, fast reaction to those, as well as the recognition of explicit gestures. Further, it allows automated analysis of recorded motion data. Many clustering algorithms for trajectories build upon distance metrics that are based on pointwise Euclidean distances. However, our work indicates that focusing on salient characteristics is often sufficient. We present a novel distance measure for motion plans consisting of state and control trajectories that is based on a compressed representation built from their main features. This approach allows a flexible choice of feature classes relevant to the respective task. The distance measure is used in agglomerative hierarchical clustering. We compare our method with the widely used dynamic time warping algorithm on test sets of motion plans for the Furuta pendulum and the Manutec robot arm and on real-world data from a human motion dataset. The proposed method demonstrates slight advantages in clustering and strong advantages in runtime, especially for long trajectories.


title: Empirical Studies of Propagation Characteristics and Modeling Based on XL-MIMO Channel Measurement: From Far-Field to Near-Field

abstract: In the sixth-generation (6G), the extremely large-scale multiple-input-multiple-output (XL-MIMO) is considered a promising enabling technology. With the further expansion of array element number and frequency bands, near-field effects will be more likely to occur in 6G communication systems. The near-field radio communications (NFRC) will become crucial in 6G communication systems. It is known that the channel research is very important for the development and performance evaluation of the communication systems. In this paper, we will systematically investigate the channel measurements and modeling for the emerging NFRC. First, the principle design of massive MIMO channel measurement platform are solved. Second, an indoor XL-MIMO channel measurement campaign with 1600 array elements is conducted, and the channel characteristics are extracted and validated in the near-field region. Then, the outdoor XL-MIMO channel measurement campaign with 320 array elements is conducted, and the channel characteristics are extracted and modeled from near-field to far-field (NF-FF) region. The spatial non-stationary characteristics of angular spread at the transmitting end are more important in modeling. We hope that this work will give some reference to the near-field and far-field research for 6G.


title: To democratize research with sensitive data, we should make synthetic data more accessible

abstract: For over 30 years, synthetic data has been heralded as a promising solution to make sensitive datasets accessible. However, despite much research effort and several high-profile use-cases, the widespread adoption of synthetic data as a tool for open, accessible, reproducible research with sensitive data is still a distant dream. In this opinion, Erik-Jan van Kesteren, head of the ODISSEI Social Data Science team, argues that in order to progress towards widespread adoption of synthetic data as a privacy enhancing technology, the data science research community should shift focus away from developing better synthesis methods: instead, it should develop accessible tools, educate peers, and publish small-scale case studies.


title: Measurement of $\Omega^0_{\rm c}$ baryon production and branching-fraction ratio ${\rm BR(\Omega^0_c \rightarrow \Omega^- e^+\nu_e)} / {\rm BR(\Omega^0_c \rightarrow \Omega^- \pi^+)}$ in pp collisions at $\sqrt{s}$ = 13 TeV

abstract: The inclusive production of the charm-strange baryon $\Omega^{0}_{\rm c}$ is measured for the first time via its semileptonic decay into $\Omega^{-}\rm e^{+}\nu_{e}$ at midrapidity ($|y|<0.8$) in proton$-$proton (pp) collisions at the centre-of-mass energy $\sqrt{s}=13$ TeV with the ALICE detector at the LHC. The transverse momentum ($p_{\rm T}$) differential cross section multiplied by the branching ratio is presented in the interval $2<p_{\rm T}<12~{\rm GeV}/c$. The branching-fraction ratio ${\rm BR}(\Omega^0_{\rm c} \rightarrow \Omega^{-}{\rm e}^{+}\nu_{\rm e})/ {\rm BR}(\Omega^0_{\rm c} \rightarrow \Omega^{-}{\pi}^{+})$ is measured to be 1.12 $\pm$ 0.22 (stat.) $\pm$ 0.27 (syst.). Comparisons with other experimental measurements, as well as with theoretical calculations, are presented.


title: 3SHNet: Boosting Image-Sentence Retrieval via Visual Semantic-Spatial Self-Highlighting

abstract: In this paper, we propose a novel visual Semantic-Spatial Self-Highlighting Network (termed 3SHNet) for high-precision, high-efficiency and high-generalization image-sentence retrieval. 3SHNet highlights the salient identification of prominent objects and their spatial locations within the visual modality, thus allowing the integration of visual semantics-spatial interactions and maintaining independence between two modalities. This integration effectively combines object regions with the corresponding semantic and position layouts derived from segmentation to enhance the visual representation. And the modality-independence guarantees efficiency and generalization. Additionally, 3SHNet utilizes the structured contextual visual scene information from segmentation to conduct the local (region-based) or global (grid-based) guidance and achieve accurate hybrid-level retrieval. Extensive experiments conducted on MS-COCO and Flickr30K benchmarks substantiate the superior performances, inference efficiency and generalization of the proposed 3SHNet when juxtaposed with contemporary state-of-the-art methodologies. Specifically, on the larger MS-COCO 5K test set, we achieve 16.3%, 24.8%, and 18.3% improvements in terms of rSum score, respectively, compared with the state-of-the-art methods using different image representations, while maintaining optimal retrieval efficiency. Moreover, our performance on cross-dataset generalization improves by 18.6%. Data and code are available at https://github.com/XuriGe1995/3SHNet.


title: Exact and Approximate High-Multiplicity Scheduling on Identical Machines

abstract: Goemans and Rothvoss (SODA'14) gave a framework for solving problems in time $enc(P)^{2^{O(N)}}enc(Q)^{O(1)}$ that can be described as finding a point in $\text{int.cone}(P\cap\mathbb{Z}^N)\cap Q$, where $P,Q\subset\mathbb{R}^N$ are (bounded) polyhedra. This framework can be used to solve various scheduling problems, but the encoding length $enc(P)$ usually involves large parameters like the makespan. We describe three tools to improve the framework by Goemans and Rothvoss: Problem-specific preprocessing, LP relaxation techniques and a new bound for the number of vertices of the integer hull. In particular, applied to the classical scheduling problem $P||C_{\max}$, these tools each improve the running time from $(\log(C_{\max}))^{2^{O(d)}} enc(I)^{O(1)}$ to the possibly much better $(\log(p_{\max}))^{2^{O(d)}}enc(I)^{O(1)}$. Here, $p_{\max}$ is the largest processing time, $d$ is the number of different processing times, $C_{\max}$ is the makespan and $enc(I)$ is the encoding length of the instance. This running time is FPT w.r.t. parameter $d$ if $p_{\max}$ is given in unary. We obtain similar results for various other problems. Moreover, we show how a balancing result by Govzmann et al. can be used to speed up an additive approximation scheme by Buchem et al. (ICALP'21) in the high-multiplicity setting. On the complexity side, we use reductions from the literature to provide new parameterized lower bounds for $P||C_{\max}$ and to show that the improved running time of the additive approximation algorithm is probably optimal. Finally, we show that the big open question asked by Mnich and van Bevern (Comput. Oper. Res. '18) whether $P||C_{\max}$ is FPT w.r.t. the number of job types $d$ has the same answer as the question whether $Q||C_{\max}$ is FPT w.r.t. the number of job and machine types $d+\tau$ (all in high-multiplicity encoding). The same holds for objective $C_{\min}$.


title: Adversarial Reweighting with $\alpha$-Power Maximization for Domain Adaptation

abstract: The practical Domain Adaptation (DA) tasks, e.g., Partial DA (PDA), open-set DA, universal DA, and test-time adaptation, have gained increasing attention in the machine learning community. In this paper, we propose a novel approach, dubbed Adversarial Reweighting with $\alpha$-Power Maximization (ARPM), for PDA where the source domain contains private classes absent in target domain. In ARPM, we propose a novel adversarial reweighting model that adversarially learns to reweight source domain data to identify source-private class samples by assigning smaller weights to them, for mitigating potential negative transfer. Based on the adversarial reweighting, we train the transferable recognition model on the reweighted source distribution to be able to classify common class data. To reduce the prediction uncertainty of the recognition model on the target domain for PDA, we present an $\alpha$-power maximization mechanism in ARPM, which enriches the family of losses for reducing the prediction uncertainty for PDA. Extensive experimental results on five PDA benchmarks, i.e., Office-31, Office-Home, VisDA-2017, ImageNet-Caltech, and DomainNet, show that our method is superior to recent PDA methods. Ablation studies also confirm the effectiveness of components in our approach. To theoretically analyze our method, we deduce an upper bound of target domain expected error for PDA, which is approximately minimized in our approach. We further extend ARPM to open-set DA, universal DA, and test time adaptation, and verify the usefulness through experiments.


title: Efficient Deterministic Renewable Energy Forecasting Guided by Multiple-Location Weather Data

abstract: Electricity generated from renewable energy sources has been established as an efficient remedy for both energy shortages and the environmental pollution stemming from conventional energy production methods. Solar and wind power are two of the most dominant renewable energy sources. The accurate forecasting of the energy generation of those sources facilitates their integration into electric grids, by minimizing the negative impact of uncertainty regarding their management and operation. This paper proposes a novel methodology for deterministic wind and solar energy generation forecasting for multiple generation sites, utilizing multi-location weather forecasts. The method employs a U-shaped Temporal Convolutional Auto-Encoder (UTCAE) architecture for temporal processing of weather-related and energy-related time-series across each site. The Multi-sized Kernels convolutional Spatio-Temporal Attention (MKST-Attention), inspired by the multi-head scaled-dot product attention mechanism, is also proposed aiming to efficiently transfer temporal patterns from weather data to energy data, without a priori knowledge of the locations of the power stations and the locations of provided weather data. The conducted experimental evaluation on a day-ahead solar and wind energy forecasting scenario on five datasets demonstrated that the proposed method achieves top results, outperforming all competitive time-series forecasting state-of-the-art methods.


title: Spherical orbits around Kerr-Newman and Ghosh black holes

abstract: We conduct a comprehensive study on spherical orbits around two types of black holes: Kerr-Newman black holes, which are charged, and Ghosh black holes, which are nonsingular. In this work, we consider both null and timelike cases of orbits. Utilizing the Mino formalism, all analytical solutions for the geodesics governing these orbits can be obtained. It turns out that all spherical photon orbits outside the black hole horizons are unstable. In the extremal cases of both models, we obtain the {\it photon boomerangs}. The existence of charge in the Kerr-Newman allows the orbits to transition between retrograde and prograde motions, and its increase tends to force the orbits to be more equatorial. On the other hand, the Ghosh black hole, characterized by a regular core and a lack of horizons in certain conditions, presents the possibility of observable stable spherical orbits in the so-called {\it no-horizon} condition. As the Ghosh parameter $k$ increases, trajectories tend to exhibit larger latitudinal oscillation amplitudes. We observe that as the Ghosh parameter $k$ increases the trajectories tend to have larger latitudinal oscillation amplitudes. Finally, we investigate the existence of {\it innermost stable spherical orbits} (ISSOs). Both black holes demonstrate the appearance of two branches of ISSO radii as a function of the Carter constant $\mathcal{C}$. However, there are notable differences in their behavior: in the case of the Kerr-Newman black hole, the branches merge at a critical value, beyond which no ISSO exists, while for the Ghosh black hole, the transcendental nature of the metric function causes the branches to become complex at some finite distance.


title: A Notion of Dimension based on Probability on Groups

abstract: We introduce notions of dimension of an infinite group, or more generally, a metric space, defined using percolation. Roughly speaking, the percolation dimension $pdim(G)$ of a group $G$ is the fastest rate of decay of a symmetric probability measure $\mu$ on $G$, such that Bernoulli percolation on $G$ with connection probabilities proportional to $\mu$ behaves like a Poisson branching process with parameter 1 in a sense made precise below. We show that $pdim(G)$ has several natural properties: it is monotone decreasing with respect to subgroups and quotients, and coincides with the growth rate exponent for several classes of groups.


title: Bipartite powers of some classes of bipartite graphs

abstract: Graph powers are a well-studied concept in graph theory. Analogous to graph powers, Chandran et al.[3] introduced the concept of bipartite powers for bipartite graphs. In this paper, we will demonstrate that some well-known classes of bipartite graphs, namely the interval bigraphs, proper interval bigraphs, and bigraphs of Ferrers dimension 2, are closed under the operation of taking bipartite powers. Finally, we define strongly closed property for bipartite graphs under powers and have shown that the class of chordal bipartite graphs is strongly closed under powers.


title: Device Feature based on Graph Fourier Transformation with Logarithmic Processing For Detection of Replay Speech Attacks

abstract: The most common spoofing attacks on automatic speaker verification systems are replay speech attacks. Detection of replay speech heavily relies on replay configuration information. Previous studies have shown that graph Fourier transform-derived features can effectively detect replay speech but ignore device and environmental noise effects. In this work, we propose a new feature, the graph frequency device cepstral coefficient, derived from the graph frequency domain using a device-related linear transformation. We also introduce two novel representations: graph frequency logarithmic coefficient and graph frequency logarithmic device coefficient. We evaluate our methods using traditional Gaussian mixture model and light convolutional neural network systems as classifiers. On the ASVspoof 2017 V2, ASVspoof 2019 physical access, and ASVspoof 2021 physical access datasets, our proposed features outperform known front-ends, demonstrating their effectiveness for replay speech detection.


title: Topological polarization singularities induced by the non-Hermitian Dirac points

abstract: A Dirac point in the Hermitian photonic system will split into a pair of exceptional points (EPs) or even spawn a ring of EPs if non-Hermiticity is involved. Here, we present a new type of non-Hermitian Dirac point which is situated in the complex plane of eigenfrequency. When there is differential loss, the Dirac point exhibits a dual behavior: it not only splits into a pair of EPs with opposite chirality in the band structure but also induces a pair of circularly polarized states (C points) with opposite handedness in the far-field radiation. Furthermore, breaking the corresponding mirror symmetries enables independent control of these Dirac-point induced C points, facilitating the merging of two C points and generation of unidirectional guided resonances. Our results demonstrate an explicit relation between the band singularities and polarization singularities, and provide a new mechanism to generate unidirectional emission, which can be useful in the band engineering and polarization manipulation.


title: An improved correction of radial-velocity systematic for the SOPHIE spectrograph

abstract: High precision spectrographs might exhibit temporal variations of their reference velocity or nightly zero point (NZP). One way to monitor the NZP is to measure bright stars, which are assumed to have an intrinsic radial velocity variation much smaller than the instrument's precision. While this method is effective in most cases, it does not fully propagate the uncertainty arising from NZP variations. We present a new method to correct for NZP variations in radial-velocity time series. This method uses Gaussian Processes based on ancillary information to model these systematic effects. It enables us to propagate the uncertainties of this correction into the overall error budget. Another advantage of this approach is that it relies on ancillary data collected simultaneously with the spectra rather than solely on dedicated observations of constant stars. We applied this method to the SOPHIE spectrograph at the Haute-Provence Observatory using a few instrument's housekeeping data, such as the internal pressure and temperature variations. Our results demonstrate that this method effectively models the red noise of constant stars, even with a limited amount of housekeeping data, while preserving the signals of exoplanets. Using both simulations with mock planets and real data, we found that this method improves the false-alarm probability of detections by several orders of magnitude. By simulating numerous planetary signals, we were able to detect up to 10 percent more planets with small amplitude radial velocity signals. We used this new correction to reanalysed the planetary system around HD158259 and improved the detection of the outermost planets. We also suggest decreasing the observing cadence of the constant stars to optimise telescope time for scientific targets.


title: Reinforcement Retrieval Leveraging Fine-grained Feedback for Fact Checking News Claims with Black-Box LLM

abstract: Retrieval-augmented language models have exhibited promising performance across various areas of natural language processing (NLP), including fact-critical tasks. However, due to the black-box nature of advanced large language models (LLMs) and the non-retrieval-oriented supervision signal of specific tasks, the training of retrieval model faces significant challenges under the setting of black-box LLM. We propose an approach leveraging Fine-grained Feedback with Reinforcement Retrieval (FFRR) to enhance fact-checking on news claims by using black-box LLM. FFRR adopts a two-level strategy to gather fine-grained feedback from the LLM, which serves as a reward for optimizing the retrieval policy, by rating the retrieved documents based on the non-retrieval ground truth of the task. We evaluate our model on two public datasets for real-world news claim verification, and the results demonstrate that FFRR achieves significant improvements over strong LLM-enabled and non-LLM baselines.


title: Machine Learning based prediction of Vanadium Redox Flow Battery temperature rise under different charge-discharge conditions

abstract: Accurate prediction of battery temperature rise is very essential for designing an efficient thermal management scheme. In this paper, machine learning (ML) based prediction of Vanadium Redox Flow Battery (VRFB) thermal behavior during charge-discharge operation has been demonstrated for the first time. Considering different currents with a specified electrolyte flow rate, the temperature of a kW scale VRFB system is studied through experiments. Three different ML algorithms; Linear Regression (LR), Support Vector Regression (SVR) and Extreme Gradient Boost (XGBoost) have been used for the prediction work. The training and validation of ML algorithms have been done by the practical dataset of a 1kW 6kWh VRFB storage under 40A, 45A, 50A and 60A charge-discharge currents and 10 L min-1 of flow rate. A comparative analysis among the ML algorithms is done in terms of performance metrics such as correlation coefficient (R2), mean absolute error (MAE) and root mean square error (RMSE). It is observed that XGBoost shows the highest accuracy in prediction of around 99%. The ML based prediction results obtained in this work can be very useful for controlling the VRFB temperature rise during operation and act as indicator for further development of an optimized thermal management system.


title: Influence of ammonia-water fog formation on ammonia dispersion from a liquid spill

abstract: Ammonia is expected to play an important role in the green transition, both as a hydrogen carrier and a zero-emission fuel. The use of refrigerated ammonia is attractive due to its relatively high volumetric energy density and increased safety compared to pressurized solutions. Ammonia is highly toxic, and with new applications and increased global demand come stricter requirements for safe handling. Cold gaseous ammonia following a spill of refrigerated ammonia will in contact with humid air cause fog formation. In an environment rich in ammonia, these droplets will due to ammonia's strong hygroscopicity consist of considerable amounts of liquid ammonia as well as water. Fog formation affects the ammonia-air density and thus influences the dispersion dynamics, with a potentially significant impact on hazardous zones. In this work, we present a CFD model including an ammonia-water fog formation model based on accurate thermodynamics. This includes modeling the vapor-liquid equilibrium and accounting for the exothermic mixing of ammonia and water. We apply this CFD model to relevant cases and demonstrate the significant impact of the fog. We analyze the effect of varying relative humidity, fog visibility, influence of wind, and pool evaporation rate. Finally, we model the experimental Red Squirrel test 1F.


title: Black Hole Singularity from OPE

abstract: Eternal asymptotically AdS black holes are dual to thermofield double states in the boundary CFT. It has long been known that black hole singularities have certain signatures in boundary thermal two-point functions related to null geodesics bouncing off the singularities (bouncing geodesics). In this paper we shed light on the manifestations of black hole singularities in the dual CFT. We decompose the boundary CFT correlator of scalar operators using the Operator Product Expansion (OPE) and focus on the contributions from the identity, the stress tensor, and its products. We show that this part of the correlator develops singularities precisely at the points that are connected by bulk bouncing geodesics. Black hole singularities are thus encoded in the analytic behavior of the boundary correlators determined by multiple stress tensor exchanges. Furthermore, we show that in the limit where the conformal dimension of the operators is large, the sum of multi-stress-tensor contributions develops a branch point singularity as predicted by the geodesic analysis. We also argue that the appearance of complexified geodesics, which play an important role in computing the full correlator, is related to the contributions of the double-trace operators in the boundary CFT.


title: When to Trust LLMs: Aligning Confidence with Response Quality

abstract: Despite the success of large language models (LLMs) in natural language generation, much evidence shows that LLMs may produce incorrect or nonsensical text. This limitation highlights the importance of discerning when to trust LLMs, especially in safety-critical domains. Existing methods often express reliability by confidence level, however, their effectiveness is limited by the lack of objective guidance. To address this, we propose CONfidence-Quality-ORDer-preserving alignment approach (CONQORD), which leverages reinforcement learning guided by a tailored dual-component reward function. This function integrates quality reward and order-preserving alignment reward functions. Specifically, the order-preserving reward incentivizes the model to verbalize greater confidence for responses of higher quality to align the order of confidence and quality. Experiments demonstrate that CONQORD significantly improves the alignment performance between confidence and response accuracy, without causing over-cautious. Furthermore, the aligned confidence provided by CONQORD informs when to trust LLMs, and acts as a determinant for initiating the retrieval process of external knowledge. Aligning confidence with response quality ensures more transparent and reliable responses, providing better trustworthiness.


title: ExcluIR: Exclusionary Neural Information Retrieval

abstract: Exclusion is an important and universal linguistic skill that humans use to express what they do not want. However, in information retrieval community, there is little research on exclusionary retrieval, where users express what they do not want in their queries. In this work, we investigate the scenario of exclusionary retrieval in document retrieval for the first time. We present ExcluIR, a set of resources for exclusionary retrieval, consisting of an evaluation benchmark and a training set for helping retrieval models to comprehend exclusionary queries. The evaluation benchmark includes 3,452 high-quality exclusionary queries, each of which has been manually annotated. The training set contains 70,293 exclusionary queries, each paired with a positive document and a negative document. We conduct detailed experiments and analyses, obtaining three main observations: (1) Existing retrieval models with different architectures struggle to effectively comprehend exclusionary queries; (2) Although integrating our training data can improve the performance of retrieval models on exclusionary retrieval, there still exists a gap compared to human performance; (3) Generative retrieval models have a natural advantage in handling exclusionary queries. To facilitate future research on exclusionary retrieval, we share the benchmark and evaluation scripts on \url{https://github.com/zwh-sdu/ExcluIR}.


title: The asymptotic behaviour of the Ces\`aro operator

abstract: We study the asymptotic behaviour of orbits $(T^nx)_{n\ge0}$ of the classical Ces\`aro operator $T$ for sequences $x$ in the Banach space $c$ of convergent sequences. We give new non-probabilistic proofs, based on the Katznelson--Tzafriri theorem and one of its quantified variants, of results which characterise the set of sequences $x\in c$ that lead to convergent orbits and, for sequences satisfying a simple additional condition, we provide a rate of convergence. These results are then shown, again by operator-theoretic techniques, to be optimal in different ways. Finally, we study the asymptotic behaviour of the Ces\`aro operator defined on spaces of continuous functions, establishing new and improved results in this setting, too.


title: Efficient Orthogonal Decomposition with Automatic Basis Extraction for Low-Rank Matrix Approximation

abstract: Low-rank matrix approximation play a ubiquitous role in various applications such as image processing, signal processing, and data analysis. Recently, random algorithms of low-rank matrix approximation have gained widespread adoption due to their speed, accuracy, and robustness, particularly in their improved implementation on modern computer architectures. Existing low-rank approximation algorithms often require prior knowledge of the rank of the matrix, which is typically unknown. To address this bottleneck, we propose a low-rank approximation algorithm termed efficient orthogonal decomposition with automatic basis extraction (EOD-ABE) tailored for the scenario where the rank of the matrix is unknown. Notably, we introduce a randomized algorithm to automatically extract the basis that reveals the rank. The efficacy of the proposed algorithms is theoretically and numerically validated, demonstrating superior speed, accuracy, and robustness compared to existing methods. Furthermore, we apply the algorithms to image reconstruction, achieving remarkable results.


title: Interpreting the power spectral density of a fluctuating colloidal current

abstract: The transport of molecules through biological and synthetic nanopores is governed by multiple stochastic processes that lead to noisy, fluctuating currents. Disentangling the characteristics of different noise-generating mechanisms is thus central to better understanding molecular transport at a fundamental level. Here, we study current noise experimentally at the single particle level by imaging colloidal particles driven through microfluidic channels by a difference in fluid pressure. In this scenario, currents fluctuate due to the random arrival times of particles into the channel and the distribution of particle speeds within the channel. We find that this results in a characteristic form of the power spectral density of the current, scaling as ~f^0, at low frequencies and ~1/f^2 at high frequencies. To rationalise these scalings, we extend a model for shot noise with a finite transit time, borrowed from electronic circuit theory, to include the experimental distribution of transit times and compare this model to the experimental spectra. We find excellent agreement between the data and model across a range of driving pressures within an advection-dominated regime, thereby establishing concrete links between the power spectra scalings and underlying mechanisms for this experimental system. This paves the way for establishing a more systematic understanding of the links between features of power spectra and underlying molecular mechanisms in driven systems.


title: The Inefficiency of Genetic Programming for Symbolic Regression -- Extended Version

abstract: We analyse the search behaviour of genetic programming for symbolic regression in practically relevant but limited settings, allowing exhaustive enumeration of all solutions. This enables us to quantify the success probability of finding the best possible expressions, and to compare the search efficiency of genetic programming to random search in the space of semantically unique expressions. This analysis is made possible by improved algorithms for equality saturation, which we use to improve the Exhaustive Symbolic Regression algorithm; this produces the set of semantically unique expression structures, orders of magnitude smaller than the full symbolic regression search space. We compare the efficiency of random search in the set of unique expressions and genetic programming. For our experiments we use two real-world datasets where symbolic regression has been used to produce well-fitting univariate expressions: the Nikuradse dataset of flow in rough pipes and the Radial Acceleration Relation of galaxy dynamics. The results show that genetic programming in such limited settings explores only a small fraction of all unique expressions, and evaluates expressions repeatedly that are congruent to already visited expressions.


title: Lazy Data Practices Harm Fairness Research

abstract: Data practices shape research and practice on fairness in machine learning (fair ML). Critical data studies offer important reflections and critiques for the responsible advancement of the field by highlighting shortcomings and proposing recommendations for improvement. In this work, we present a comprehensive analysis of fair ML datasets, demonstrating how unreflective yet common practices hinder the reach and reliability of algorithmic fairness findings. We systematically study protected information encoded in tabular datasets and their usage in 280 experiments across 142 publications. Our analyses identify three main areas of concern: (1) a \textbf{lack of representation for certain protected attributes} in both data and evaluations; (2) the widespread \textbf{exclusion of minorities} during data preprocessing; and (3) \textbf{opaque data processing} threatening the generalization of fairness research. By conducting exemplary analyses on the utilization of prominent datasets, we demonstrate how unreflective data decisions disproportionately affect minority groups, fairness metrics, and resultant model comparisons. Additionally, we identify supplementary factors such as limitations in publicly available data, privacy considerations, and a general lack of awareness, which exacerbate these challenges. To address these issues, we propose a set of recommendations for data usage in fairness research centered on transparency and responsible inclusion. This study underscores the need for a critical reevaluation of data practices in fair ML and offers directions to improve both the sourcing and usage of datasets.


title: Machine Learning Recognition of hybrid lead halide perovskites and perovskite-related structures out of X-ray diffraction patterns

abstract: Identification of crystal structures is a crucial stage in the exploration of novel functional materials. This procedure is usually time-consuming and can be false-positive or false-negative. This necessitates a significant level of expert proficiency in the field of crystallography and, especially, requires deep experience in perovskite - related structures of hybrid perovskites. Our work is devoted to the machine learning classification of structure types of hybrid lead halides based on available X-ray diffraction data. Here, we proposed a simple approach to quickly identify of dimensionality of inorganic substructures, types of lead halide polyhedra connectivity and structure types using common powder XRD data and ML - decision tree classification model. The average accuracy of our ML algorithm in predicting the dimensionality of inorganic substructure, type of connection of lead halide and inorganic substructure topology by theoretically calculated XRD pattern among 14 most common structure types reaches 0.86+-0.05, 0.827+-0.028 and 0.71+-0.05, respectively. The validation of our decision tree classification ML model on experimental XRD data shows the accuracies of 1.0 and 0.82 for the dimension and structure type prediction. Thus, our approach can significantly simplify and accelerate the interpretation of highly complicated XRD data for hybrid lead halides.


title: Generalized quantifiers using team semantics

abstract: Dependence logic provides an elegant approach for introducing dependencies between variables into the object language of first-order logic. In [1] generalized quantifiers were introduced in this context. However, a satisfactory account was only achieved for monotone increasing generalized quantifiers. In this paper, we modify the fundamental semantical guideline of dependence logic to create a framework that adequately handles both monotone and non-monotone generalized quantifiers. We demonstrate that this new logic can interpret dependence logic and possesses the same expressive power as existential second-order logic (ESO) on the level of formulas. Additionally, we establish truth conditions for generalized quantifiers and prove that the extended logic remains conservative over first-order logic with generalized quantifiers and is able to express the branching of continuous generalized quantifiers.


title: Bayesian insights in Tycho supernova remnant : a detailed mapping of ejecta properties

abstract: While Tycho's supernova remnant is one of the most studied type Ia Galactic supernova remnants, a global view of the physical properties of its ejecta is lacking, to understand its mysteries. In particular, the spatial distribution of the Si-rich ejecta line-of-sight velocity presents a large-scale unexplained asymmetry, with the north dominantly blueshifted and the south redshifted. To investigate the origin of this line-of-sight velocity asymmetry in the ejecta, we carry out a detailed X-ray spatially-resolved spectral analysis of the entire shocked ejecta in Tycho's SNR to determine the physical properties of its various components. This study is based on the archival deep X-ray observations from the Chandra space telescope. The spatially-resolved spectral analysis in 211 regions over the entire SNR is based on a tesselation method applied to the line-of-sight velocity map. A Bayesian tool is used to conduct the fitting, using a nested sampling algorithm. It allows us to obtain a complete view of the statistical landscape. We provide maps of the physical parameters of the various components across the SNR ejecta. The Doppler shift map confirms spectrally the large-scale north-south asymmetry in the line-of-sight velocity. We reveal different spatial distributions of temperature and ionization time for IMEs and for iron-rich ejecta, but none of these maps shows structure associated to the large-scale north-south asymmetry in the line-of-sight velocity distribution. The abundance maps show spatial variations, depending on the element, perhaps due to an origin in different layers during the explosion. We compare these abundances with some nucleosynthesis models. In addition, we observe for the first time an emission line at 0.654 keV possibly related to oxygen. Its spatial distribution differs from the other elements, so that this line may arise in the ambient medium.


title: Denotation-based Compositional Compiler Verification

abstract: A desired but challenging property of compiler verification is compositionality in the sense that the compilation correctness of a program can be deduced from that of its substructures ranging from statements, functions, and modules incrementally. Previously proposed approaches have devoted extensive effort to module-level compositionality based on small-step semantics and simulation theories. This paper proposes a novel compiler verification framework based on denotational semantics for better compositionality. Specifically, our denotational semantics is defined by semantic functions that map a syntactic component to a semantic domain composed of multiple behavioral \emph{sets}, and compiler correctness is defined by the behavioral refinement between semantic domains of the source and the target programs. Therefore, when proving compiler correctness, we can extensively leverage the algebraic properties of sets. Another important contribution is that our formalization of denotational semantics captures the full meaning of a program and bridges the gap between those based on conventional powerdomains and what realistic compiler verification actually needs. We demonstrate our denotation-based framework viable and practical by applying it to the verification of the front-end of CompCert and showing that the compositionality from the compilation correctness of sub-statements to statements, from functions to modules, and from modules to the whole program (i.e., module-level compositionality) can be achieved similarly.


title: Automatic Target-Less Camera-LiDAR Calibration From Motion and Deep Point Correspondences

abstract: Sensor setups of robotic platforms commonly include both camera and LiDAR as they provide complementary information. However, fusing these two modalities typically requires a highly accurate calibration between them. In this paper, we propose MDPCalib which is a novel method for camera-LiDAR calibration that requires neither human supervision nor any specific target objects. Instead, we utilize sensor motion estimates from visual and LiDAR odometry as well as deep learning-based 2D-pixel-to-3D-point correspondences that are obtained without in-domain retraining. We represent the camera-LiDAR calibration as a graph optimization problem and minimize the costs induced by constraints from sensor motion and point correspondences. In extensive experiments, we demonstrate that our approach yields highly accurate extrinsic calibration parameters and is robust to random initialization. Additionally, our approach generalizes to a wide range of sensor setups, which we demonstrate by employing it on various robotic platforms including a self-driving perception car, a quadruped robot, and a UAV. To make our calibration method publicly accessible, we release the code on our project website at http://calibration.cs.uni-freiburg.de.


title: Cepheid Metallicity in the Leavitt Law (C- MetaLL) survey: VI: Radial abundance gradients of 29 chemical species in the Milky Way Disk

abstract: Classical Cepheids (DCEPs) are crucial for calibrating the extragalactic distance ladder, ultimately enabling the determination of the Hubble constant through the PL and PW relations they exhibit. Hence it's vital to understand how the PL and PW relations depend on metallicity. This is the purpose of the C-MetaLL survey within which this work is situated. DCEPs are also very important tracers of the young populations placed along the Galactic disc. We aim to enlarge the sample of DCEPs with accurate abundances from high-resolution spectroscopy. Our goal is to extend the range of measured metallicities towards the metal-poor regime to better cover the parameter space. We observed objects in a wide range of Galactocentric radii, allowing us to study in detail the abundance gradients present in the Galactic disc. We present the results of the analysis of 331 spectra obtained for 180 individual DCEPs with a variety of high-resolution spectrographs. We derived accurate atmospheric parameters, radial velocities, and abundances for up to 29 different species. The iron abundances range between 0.5 and -1 dex with a rather homogeneous distribution in metallicity. The sample presented in this paper was complemented with that already published in the context of the C-MetaLL survey, resulting in a total of 292 pulsators whose spectra have been analysed in a homogeneous way. These data were used to study the abundance gradients of the Galactic disc in a range of Galactocentric radii spanning the range 5-20 kpc. For most of the elements we found a clear negative gradient, with a slope of -0.071\pm0.003 dex kpc^-1 for [Fe/H] case. Through a qualitative fit with the Galactic spiral arms we shown how our farthest targets (R_GC>10 kpc) trace both the Outer and OSC arms. The homogeneity of the sample will be of pivotal importance for the study of the metallicity dependance of the DCEP PL relations.


title: Canonical vs. Grand Canonical Ensemble for Bosonic Gases under Harmonic Confinement

abstract: We analyze the general relation between canonical and grand canonical ensembles in the thermodynamic limit. We begin our discussion by deriving, with an alternative approach, some standard results first obtained by Kac and coworkers in the late 1970s. Then, motivated by the Bose-Einstein condensation (BEC) of trapped gases with a fixed number of atoms, which is well described by the canonical ensemble and by the recent groundbreaking experimental realization of BEC with photons in a dye-filled optical micro-cavity under genuine grand canonical conditions, we apply our formalism to a system of non-interacting Bose particles confined in a two-dimensional harmonic trap. We discuss in detail the mathematical origin of the inequivalence of ensembles observed in the condensed phase, giving place to the so-called grand canonical catastrophe of density fluctuations. We also provide explicit analytical expressions for the internal energy and specific heat and compare them with available experimental data. For these quantities, we show the equivalence of ensembles in the thermodynamic limit.


title: Symplectic cohomology of $cA_n$ singularities

abstract: We compute the symplectic cohomology of Milnor fibers of isolated quasihomogeneous $cA_n$ singularities. As a by-product of our computations we distinguish their links as contact manifolds and we also provide further evidence to a conjecture of Evans and Lekili.


title: Part-Guided 3D RL for Sim2Real Articulated Object Manipulation

abstract: Manipulating unseen articulated objects through visual feedback is a critical but challenging task for real robots. Existing learning-based solutions mainly focus on visual affordance learning or other pre-trained visual models to guide manipulation policies, which face challenges for novel instances in real-world scenarios. In this paper, we propose a novel part-guided 3D RL framework, which can learn to manipulate articulated objects without demonstrations. We combine the strengths of 2D segmentation and 3D RL to improve the efficiency of RL policy training. To improve the stability of the policy on real robots, we design a Frame-consistent Uncertainty-aware Sampling (FUS) strategy to get a condensed and hierarchical 3D representation. In addition, a single versatile RL policy can be trained on multiple articulated object manipulation tasks simultaneously in simulation and shows great generalizability to novel categories and instances. Experimental results demonstrate the effectiveness of our framework in both simulation and real-world settings. Our code is available at https://github.com/THU-VCLab/Part-Guided-3D-RL-for-Sim2Real-Articulated-Object-Manipulation.


title: Partial representations of connected and smash product Hopf algebras

abstract: We show that every partial representation of a connected Hopf algebra is global. Some interesting classes of partial representations of smash product Hopf algebras are studied, and a description of the partial "Hopf" algebra if the first tensorand is connected is given. If $H$ is cocommutative and has finitely many grouplikes, this allows to see $H_{par}$ as the weak Hopf algebra coming from a Hopf category.


title: An Introduction to Adjoint Problems

abstract: Originally published as a Supplemental Appendix to Adjoint Equations in Stability Analysis, Annu. Rev. Fluid Mech. 46:493-517 (2014)


title: An optimal control study for a two-strain SEIR epidemic model with saturated incidence rates and treatment

abstract: This work will study an optimal control problem describing the two-strain SEIR epidemic model. The studied model is in the form of six nonlinear differential equations illustrating the dynamics of the susceptibles and the exposed, the infected, and the recovered individuals. The exposed and the infected compartments are each divided into two sub-classes representing the first and the second strain. The model includes two saturated rates and two treatments for each strain. We begin our study by showing the well-posedness of our problem. The basic reproduction number is calculated and depends mainly on the reproduction numbers of the first and second strains. The global stability of the disease-free equilibrium is fulfilled. The optimal control study is achieved by using the Pontryagin minimum principle. Numerical simulations have shown the importance of therapy in minimizing the infection's effect. By administrating suitable therapies, the disease's severity decreases considerably. The estimation of parameters as well as a comparison study with COVID-19 clinical data are fulfilled. It was shown that the mathematical model results fits well the clinical data.


title: Quickly excluding an apex-forest

abstract: We give a short proof that for every apex-forest $X$ on at least two vertices, graphs excluding $X$ as a minor have layered pathwidth at most $2|V(X)|-3$. This improves upon a result by Dujmovi\'c, Eppstein, Joret, Morin, and Wood (SIDMA, 2020). Our main tool is a structural result about graphs excluding a forest as a rooted minor, which is of independent interest. We develop similar tools for treedepth and treewidth. We discuss implications for Erd\H{o}s-P\'osa properties of rooted models of minors in graphs.


title: Power-dependent destabilization forces in trapping nanographene-based nanoparticles

abstract: In recent years, plasmonic optical tweezers have been used to trap nanoparticles and study interactions with their environment. An unavoidable challenge is the plasmonic heating due to resonant excitation and the resulting temperature rise in the surrounding environment. In this work, we demonstrate optical trapping of nanographene-based polymeric nanoparticles using metamaterial plasmonic tweezers. We achieved superior trapping performance and trap stiffness values as high as 8.8 (fN/nm)/(mW/$\mu\mbox{m}^2$) with optical intensities lower than 1 (mW/$\mu\mbox{m}^2$). A range of incident intensities was used to monitor the effect of increasing intensity in the trapping performance. Higher intensities resulted in stronger optical forces, but thermal effects tended to destabilize the trapping. Beyond a critical intensity, where the temperature rise reached 24$^o$C, a large number of particles were being trapped with lower stiffness values indicating the presence of thermal flows. We, therefore, identified a safe intensity regime to avoid detrimental thermal effects. Our platform is ideal for multiple particle trapping in an array configuration and could be used for stable nanopositioning of quantum emitters with controlled interactions with their environment, potentially useful in the field of quantum technologies.


title: $L$-space knots with positive surgeries that are not weakly symplectically fillable

abstract: In this paper we discuss a general strategy to detect the absence of weakly symplectic fillings of $L$-spaces. We start from a generic $L$-space knot and consider (positive) Dehn surgeries on it. We compute, using arithmetic data depending only on the knot type and the surgery coefficient, the value of the relevant geometric invariants used to obstruct fillability. We also provide a new example of an infinite family of hyperbolic $L$-spaces that do not admit weakly symplectic fillings. These are manifolds that lie inside $\{\text{Tight}\}$ but not inside $\{\text{Weakly Fillable}\}$.


title: On sequences of convex records in the plane

abstract: Convex records have an appealing purely geometric definition. In a sequence of $d$-dimensional data points, the $n$-th point is a convex record if it lies outside the convex hull of all preceding points. We specifically focus on the bivariate (i.e., two-dimensional) setting. For iid (independent and identically distributed) points, we establish an identity relating the mean number $\mean{R_n}$ of convex records up to time $n$ to the mean number $\mean{N_n}$ of vertices in the convex hull of the first $n$ points. By combining this identity with extensive numerical simulations, we provide a comprehensive overview of the statistics of convex records for various examples of iid data points in the plane: uniform points in the square and in the disk, Gaussian points and points with an isotropic power-law distribution. In all these cases, the mean values and variances of $N_n$ and $R_n$ grow proportionally to each other, resulting in finite limit Fano factors $F_N$ and $F_R$. We also consider planar random walks, i.e., sequences of points with iid increments. For both the Pearson walk in the continuum and the P\'olya walk on a lattice, we characterise the growth of the mean number $\mean{R_n}$ of convex records and demonstrate that the ratio $R_n/\mean{R_n}$ keeps fluctuating with a universal limit distribution.


title: Image Copy-Move Forgery Detection via Deep PatchMatch and Pairwise Ranking Learning

abstract: Recent advances in deep learning algorithms have shown impressive progress in image copy-move forgery detection (CMFD). However, these algorithms lack generalizability in practical scenarios where the copied regions are not present in the training images, or the cloned regions are part of the background. Additionally, these algorithms utilize convolution operations to distinguish source and target regions, leading to unsatisfactory results when the target regions blend well with the background. To address these limitations, this study proposes a novel end-to-end CMFD framework that integrates the strengths of conventional and deep learning methods. Specifically, the study develops a deep cross-scale PatchMatch (PM) method that is customized for CMFD to locate copy-move regions. Unlike existing deep models, our approach utilizes features extracted from high-resolution scales to seek explicit and reliable point-to-point matching between source and target regions. Furthermore, we propose a novel pairwise rank learning framework to separate source and target regions. By leveraging the strong prior of point-to-point matches, the framework can identify subtle differences and effectively discriminate between source and target regions, even when the target regions blend well with the background. Our framework is fully differentiable and can be trained end-to-end. Comprehensive experimental results highlight the remarkable generalizability of our scheme across various copy-move scenarios, significantly outperforming existing methods.


title: Energy Recovery System for Large Telescopes

abstract: In this paper, a kinetic energy recovery system for large telescopes is presented, with the Atacama Large Aperture Submm Telescope (AtLAST) as a possible target application. The system consists of supercapacitors integrated in the DC-link of motor inverters through a bidirectional DC-DC converter. The optimal system design, based on the energy flow analysis within the telescope's power electronics, is introduced. The proposed system is simulated as part of the telescope's drives, providing not only a significant reduction in energy consumption of the telescope due to motion, but also remarkably reducing (or shaving) grid power peaks. We find that the system presented here can contribute to making both current and future observatories more sustainable.


title: Conjugacy geodesics and growth in dihedral Artin groups

abstract: In this paper we describe conjugacy geodesic representatives in any dihedral Artin group $G(m)$, $m\geq 3$, which we then use to calculate asymptotics for the conjugacy growth of $G(m)$, and show that the conjugacy growth series of $G(m)$ with respect to the `free product' generating set $\{x, y\}$ is transcendental. We prove two additional properties of $G(m)$ that connect to conjugacy, namely that the permutation conjugator length function is constant, and that the falsification by fellow traveler property (FFTP) holds with respect to $\{x, y\}$. These imply that the language of all conjugacy geodesics in $G(m)$ with respect to $\{x, y\}$ is regular.


title: Towards Group-aware Search Success

abstract: Traditional measures of search success often overlook the varying information needs of different demographic groups. To address this gap, we introduce a novel metric, named Group-aware Search Success (GA-SS). GA-SS redefines search success to ensure that all demographic groups achieve satisfaction from search outcomes. We introduce a comprehensive mathematical framework to calculate GA-SS, incorporating both static and stochastic ranking policies and integrating user browsing models for a more accurate assessment. In addition, we have proposed Group-aware Most Popular Completion (gMPC) ranking model to account for demographic variances in user intent, aligning more closely with the diverse needs of all user groups. We empirically validate our metric and approach with two real-world datasets: one focusing on query auto-completion and the other on movie recommendations, where the results highlight the impact of stochasticity and the complex interplay among various search success metrics. Our findings advocate for a more inclusive approach in measuring search success, as well as inspiring future investigations into the quality of service of search.


title: The pro-Nisnevich topology

abstract: We construct the pro-Nisnevich topology, an analog of the pro-\'etale topology. We then show that the Nisnevich $\infty$-topos embeds into the pro-Nisnevich $\infty$-topos, and that the pro-Nisnevich $\infty$-topos is locally of homotopy dimension $0$.


title: Observation of a Fully-formed Forward--Reverse Shock Pair Due to the Interaction Between Two Coronal Mass Ejections at 0.5 au

abstract: We report direct observations of a fast magnetosonic forward--reverse shock pair observed by Solar Orbiter on March 8, 2022 at the short heliocentric distance of 0.5 au. The structure, sharing some features with fully-formed stream interaction regions (SIRs), is due to the interaction between two successive coronal mass ejections (CMEs), never previously observed to give rise to a forward--reverse shock pair. The scenario is supported by remote observations from the STEREO-A coronographs, where two candidate eruptions compatible with the in-situ signatures have been found. In the interaction region, we find enhanced energetic particle activity, strong non-radial flow deflections and evidence of magnetic reconnection. At 1~au, well radially-aligned \textit{Wind} observations reveal a complex event, with characteristic observational signatures of both SIR and CME--CME interaction, thus demonstrating the importance of investigating the complex dynamics governing solar eruptive phenomena.


title: Certified MaxSAT Preprocessing

abstract: Building on the progress in Boolean satisfiability (SAT) solving over the last decades, maximum satisfiability (MaxSAT) has become a viable approach for solving NP-hard optimization problems, but ensuring correctness of MaxSAT solvers has remained an important concern. For SAT, this is largely a solved problem thanks to the use of proof logging, meaning that solvers emit machine-verifiable proofs of (un)satisfiability to certify correctness. However, for MaxSAT, proof logging solvers have started being developed only very recently. Moreover, these nascent efforts have only targeted the core solving process, ignoring the preprocessing phase where input problem instances can be substantially reformulated before being passed on to the solver proper. In this work, we demonstrate how pseudo-Boolean proof logging can be used to certify the correctness of a wide range of modern MaxSAT preprocessing techniques. By combining and extending the VeriPB and CakePB tools, we provide formally verified, end-to-end proof checking that the input and preprocessed output MaxSAT problem instances have the same optimal value. An extensive evaluation on applied MaxSAT benchmarks shows that our approach is feasible in practice.


title: Colosseum: The Open RAN Digital Twin

abstract: Recent years have witnessed the Open Radio Access Network (RAN) paradigm transforming the fundamental ways cellular systems are deployed, managed, and optimized. This shift is led by concepts such as openness, softwarization, programmability, interoperability, and intelligence of the network, all of which had never been applied to the cellular ecosystem before. The realization of the Open RAN vision into practical architectures, intelligent data-driven control loops, and efficient software implementations, however, is a multifaceted challenge, which requires (i) datasets to train Artificial Intelligence (AI) and Machine Learning (ML) models; (ii) facilities to test models without disrupting production networks; (iii) continuous and automated validation of the RAN software; and (iv) significant testing and integration efforts. This paper poses itself as a tutorial on how Colosseum - the world's largest wireless network emulator with hardware in the loop - can provide the research infrastructure and tools to fill the gap between the Open RAN vision, and the deployment and commercialization of open and programmable networks. We describe how Colosseum implements an Open RAN digital twin through a high-fidelity Radio Frequency (RF) channel emulator and end-to-end softwarized O-RAN and 5G-compliant protocol stacks, thus allowing users to reproduce and experiment upon topologies representative of real-world cellular deployments. Then, we detail the twinning infrastructure of Colosseum, as well as the automation pipelines for RF and protocol stack twinning. Finally, we showcase a broad range of Open RAN use cases implemented on Colosseum, including the real-time connection between the digital twin and real-world networks, and the development, prototyping, and testing of AI/ML solutions for Open RAN.


title: Performance Bounds of Near-Field Sensing with Circular Arrays

abstract: The performance bounds of near-field sensing are studied for circular arrays, focusing on the impact of bandwidth and array size. The closed-form Cramer-Rao bound (CRBs) for angle and distance estimation are derived, revealing the scaling laws of the CRBs with bandwidth and array size. Contrary to expectations, enlarging array size does not always enhance sensing performance. Furthermore, the asymptotic CRBs are analyzed under different conditions, unveiling that the derived expressions include the existing results as special cases. Finally, the derived expressions are validated through numerical results.


title: Cattaneo--type subdiffusion equation

abstract: The ordinary subdiffusion equation, with fractional time derivatives of at most first order, describes a process in which the propagation velocity of diffusing molecules is unlimited. To avoid this non-physical property the Cattaneo diffusion equation has been proposed. Compared to the ordinary subdiffusion equation, the Cattaneo equation contains an additional time derivative of order greater than one and less than or equal to two. The fractional order of the additional derivative depends on the subdiffusion exponent. We study a Cattaneo-type subdiffusion equation (CTSE) that differs from the ordinary subdiffusion equation by an additional integro--differential operator (AO) which may be independent of subdiffusion parameters. The AO describes processes affecting ordinary subdiffusion. The equation is derived combining the modified diffusive flux equation with the continuity equation. It can also be obtained within the continuous time random walk model with the waiting time distribution for the molecule to jump controlled by the kernel of AO. As examples, the CTSEs with the additional Caputo fractional time derivative of the order independent of the subdiffusion exponent and with the AO generated by a slowly varying function are considered. We discuss whether the ordinary subdiffusion equation and CTSE provide qualitative differences in the description of subdiffusion.


title: Percolative supercurrent in superconductor-ferromagnetic insulator bilayers

abstract: We report tunneling spectroscopy and transport measurements in superconducting Al and ferromagnetic-insulator EuS bilayers. The samples display remanent spin-splitting, roughly half the superconducting gap, and supercurrent transport above the average paramagnetic limit. We interpret this behavior as arising from the interplay between two characteristic length scales: the superconducting coherence length, $\xi$, and the magnetic domain size, $d$. By comparing experimental results to a theoretical model, we find $\xi/d \approx 10$. In this regime, spin-averaging across the micromagnetic configuration can locally suppress superconductivity, resulting in percolative supercurrent flow.


title: Fractional Order Sunflower Equation: Stability, Bifurcation and Chaos

abstract: The sunflower equation describes the motion of the tip of a plant due to the auxin transportation under the influence of gravity. This work proposes the fractional-order generalization to this delay differential equation. The equation contains two fractional orders and infinitely many equilibrium points. The coefficients in the linearized equation near the equilibrium points are delay-dependent. We provide a detailed stability analysis of each equilibrium point. We observed the following bifurcation phenomena: stable for all the delay values, a single stable region in the delayed interval, and a stability switch. We also observed a multi-scroll chaotic attractor for some values of the parameters.


title: Filtered Boolean powers of finite simple non-abelian Mal'cev algebras

abstract: Let $\mathbf{A}$ be a finite simple non-abelian Mal'cev algebra (e.g. a group, loop, ring). We investigate the Boolean power $\mathbf{D}$ of $\mathbf{A}$ by the countable atomless Boolean algebra $\mathbf{B}$ filtered at some idempotents $e_1,\dots,e_n$ of $\mathbf{A}$. When $e_1,\dots,e_n$ are all idempotents of $\mathbf{A}$ we establish two concrete representations of $\mathbf{D}$: as the Fra\"iss\'e limit of the class of finite direct powers of $\mathbf{A}$, and as congruence classes of the countable free algebra in the variety generated by $\mathbf{A}$. Further, for arbitrary $e_1,\dots,e_n$, we show that $\mathbf{D}$ is $\omega$-categorical and that its automorphism group has the small index property, strong uncountable cofinality and the Bergman property. As necessary background we establish some general properties of congruences and automorphisms of filtered Boolean powers of $\mathbf{A}$ by any Boolean algebra $\mathbf{B}$, including a semidirect decomposition for their automorphism groups.