Search

Pole-skipping refers to the special phenomenon that the pole and the zero of a retarded two-point Green's function coincide at certain points in momentum space. We study the pole-skipping phenomenon in holographic Green's functions of boundary operators that are dual to massive $p$-form fields and the dRGT massive gravitational fields in the AdS black hole background. Pole-skipping points for these systems are computed using the near horizon method. The relation between the pole-skipping points of massive fields and their massless counterparts is revealed. In particular, as the field mass $m$ is varied from zero to non-zero, the pole-skipping phenomenon undergoes an abrupt change with doubled pole-skipping points found in the massive case. This arises from the breaking of gauge invariance due to the mass term and the consequent appearance of more degrees of freedom. We recover the gauge invariance using the Stueckelberg formalism by introducing auxiliary dynamical fields. The extra pole-skipping points are identified to be associated with the Stueckelberg fields. We also observe that, as the mass varies, some pole-skipping points of the wave number $q$ may move from a non-physical region with complex $q$ to a physical region with real $q$., Comment: 50 pages, 1 figure

The index of a monic irreducible polynomial $f(x)\in\mathbb{Z}[x]$ having a root $\theta$ is the index $[\mathbb{Z}_K:\mathbb{Z}[\theta]]$, where $\mathbb{Z}_K$ is the ring of algebraic integers of the number field $K=\mathbb{Q}(\theta)$. If $[\mathbb{Z}_K:\mathbb{Z}[\theta]]=1$, then $f(x)$ is monogenic. In this paper, we give necessary and sufficient conditions for a monic irreducible power compositional polynomial $f(x^k)$ belonging to $\mathbb{Z}[x]$, to be monogenic. As an application of our results, for a polynomial $f(x)=x^d+A\cdot h(x)\in\mathbb{Z}[x],$ with $d>1, \operatorname{deg} h(x)

The origin of neutrino masses remains unknown. Both the vacuum mass and the dark mass generated by the neutrino interactions with DM particles or fields can fit the current oscillation data. The dark mass squared is proportional to the DM number density and therefore varies on the galactic scale with much larger values around the Galactic Center. This affects the group velocity and the arrival time delay of core-collapse supernovae neutrinos. This time delay, especially for the $\nu_e$ neutronization peak with a sharp time structure, can be used to distinguish the vacuum and dark neutrino masses. For illustration, we explore the potential of DUNE which is sensitive to $\nu_e$. Our simulations show that DUNE can distinguish the two neutrino mass origins at more than $5\sigma\,$C.L., depending on the observed local value of neutrino mass, the neutrino mass ordering, the DM density profile, and the SN location., Comment: 6 pages, 4 figures

In Autonomous Driving (AD) transparency and safety are paramount, as mistakes are costly. However, neural networks used in AD systems are generally considered black boxes. As a countermeasure, we have methods of explainable AI (XAI), such as feature relevance estimation and dimensionality reduction. Coarse graining techniques can also help reduce dimensionality and find interpretable global patterns. A specific coarse graining method is Renormalization Groups from statistical physics. It has previously been applied to Restricted Boltzmann Machines (RBMs) to interpret unsupervised learning. We refine this technique by building a transparent backbone model for convolutional variational autoencoders (VAE) that allows mapping latent values to input features and has performance comparable to trained black box VAEs. Moreover, we propose a custom feature map visualization technique to analyze the internal convolutional layers in the VAE to explain internal causes of poor reconstruction that may lead to dangerous traffic scenarios in AD applications. In a second key contribution, we propose explanation and evaluation techniques for the internal dynamics and feature relevance of prediction networks. We test a long short-term memory (LSTM) network in the computer vision domain to evaluate the predictability and in future applications potentially safety of prediction models. We showcase our methods by analyzing a VAE-LSTM world model that predicts pedestrian perception in an urban traffic situation., Comment: 8 pages, 6 figures, to be published in IEEE CAI 2024

Compared to the widely investigated crystalline polymorphs of gallium oxide (Ga2O3), knowledge about its amorphous state is still limited. With the help of a machine-learning interatomic potential, we conducted large-scale atomistic simulations to investigate the glass transition and mechanical behavior of amorphous Ga2O3 (a-Ga2O3). During the quenching simulations, amorphization of gallium oxide melt is observed at ultrahigh cooling rates, including a distinct glass transition. The final densities at room temperature have up to 4% variance compared to experiments. The glass transition temperature is evaluated to range from 1234 K to 1348 K at different cooling rates. Structural analysis of the amorphous structure shows evident similarities in structural properties between a-Ga2O3 and amorphous alumina (a-Al2O3), such as radial distribution function, coordination distribution, and bond angle distribution. An amorphous gallium oxide structure that contains approximately one million atoms is prepared for the tension simulation. A highly plastic behavior is observed at room temperature in the tension simulations, comparable to amorphous alumina. With quantitative characterization methods, we show that a-Ga2O3 can possibly has a higher nucleation rate of localized plastic strain events compared to a-Al2O3, which can increase the material's resistance to shear banding formation during deformation., Comment: 15 pages, 7 figures, under review

Rectangulations are decompositions of a square into finitely many axis-aligned rectangles. We describe realizations of (n-1)-dimensional polytopes associated with two combinatorial families of rectangulations composed of n rectangles. They are defined as quotientopes of natural lattice congruences on the weak Bruhat order on permutations in S_n, and their skeleta are flip graphs on rectangulations. We give simple vertex and facet descriptions of these polytopes, in particular elementary formulas for computing the coordinates of the vertex corresponding to each rectangulation, in the spirit of J.-L. Loday's realization of the associahedron., Comment: 23 pages, 14 figures

Weakly interacting massive particles (WIMPs) are well-motivated candidates for dark matter. One signature of galactic WIMPs is the annual modulation expected in a detector's interaction rate, which arises from Earth's rotation around the Sun. Over two decades, the DAMA/LIBRA experiment has observed such modulation with 250 kg of NaI(Tl) scintillators, in accordance with WIMP expectations but inconsistent with the negative results of other experiments. The signal, however, depends on the target, so in order to either validate or refute the DAMA signal it is necessary to replicate the experiment using the same material. This is the goal of the ANAIS-112 experiment, currently underway since August 2017 with 112.5 kg of NaI(Tl). In this work, we present a reanalysis of three years of data employing an improved analysis chain to enhance the experimental sensitivity. The results presented here are consistent with the absence of modulation and inconsistent with DAMA's observation at nearly 3$\sigma$ C.L., with the potential to reach a 5$\sigma$ level within 8 years of data collection. Additionally, we explore the impact of different scintillation quenching factors in the comparison between ANAIS-112 and DAMA/LIBRA., Comment: 15 pages, 10 figures, 1 table

Large Language Models (LLM) have become a popular approach for implementing Retrieval Augmented Generation (RAG) systems, and a significant amount of effort has been spent on building good models and metrics. In spite of increased recognition of the need for rigorous evaluation of RAG systems, few tools exist that go beyond the creation of model output and automatic calculation. We present InspectorRAGet, an introspection platform for RAG evaluation. InspectorRAGet allows the user to analyze aggregate and instance-level performance of RAG systems, using both human and algorithmic metrics as well as annotator quality. InspectorRAGet is suitable for multiple use cases and is available publicly to the community. The demo video is available at https://youtu.be/MJhe8QIXcEc

Photonic metasurfaces offer exceptional control over light at the nanoscale, facilitating applications spanning from biosensing, and nonlinear optics to photocatalysis. Many metasurfaces, especially resonant ones, rely on periodicity for the collective mode to form, which makes them subject to the influences of finite size effects, defects, and edge effects, all of which have considerable negative impact at the application level. These aspects are especially important for quasi-bound state in the continuum (BIC) metasurfaces, for which the collective mode is highly sensitive to perturbations due to high quality factors and strong near-field enhancement. Here, we quantitatively investigate the mode formation in quasi-BIC metasurfaces on the individual resonator level using scattering scanning near-field optical microscopy (s-SNOM) in combination with a new image processing technique. We find that the quasi-BIC mode is formed at a minimum size of 10 x 10-unit cells much smaller than expected from far-field measurements. Furthermore, we show that the coupling direction of the resonators, defects and edge states have pronounced influence on the quasi-BIC mode. This study serves as a link between the far-field and near-field responses of metasurfaces, offering crucial insights for optimizing spatial footprint and active area, holding promise for augmenting applications such as catalysis and biospectroscopy., Comment: 30 pages, 6 figures, 8 supplementary figures

We explore halo assembly bias on cluster scales using large samples of superclusters. Leveraging the largest-ever X-ray galaxy cluster and supercluster samples obtained from the first SRG/eROSITA all-sky survey, we construct two subsamples of galaxy clusters which consist of supercluster members (SC) and isolated clusters (ISO) respectively. After correcting the selection effects on redshift, mass, and survey depth, we compute the excess in the concentration of the intracluster gas of isolated clusters with respect to supercluster members, defined as $\delta c_{\rm gas} \equiv c_{\rm gas,ISO}/c_{\rm gas,SC}-1$, to investigate the environmental effect on the concentration of clusters, an inference of halo assembly bias on cluster scales. We find that the average gas mass concentration of isolated clusters is a few percent higher than that of supercluster members, with a significance of $2\sigma$. The result on $\delta c_{\rm gas}$ varies with the overdensity ratio $f$ in supercluster identification, cluster mass proxies, and mass ranges, but remains positive in all the measurements. We measure slightly larger $\delta c_{\rm gas}$ when adopting a higher $f$ in supercluster identification. $\delta c_{\rm gas}$ is also larger for low-mass clusters, and almost negligible for high-mass clusters. We perform weak lensing analyses to compare the total mass concentration of the two classes and find a similar trend as obtained from gas mass concentration. Our results are consistent with the prediction of HAB on cluster scales, where halos located in denser environments are less concentrated, and this trend is stronger for low-mass halos than for massive halos. These phenomena can be interpreted by the fact that clusters in denser environments such as superclusters have experienced more mergers than isolated clusters in their assembling history., Comment: Submitted to A&A

One of the main computational bottlenecks when working with kernel based learning is dealing with the large and typically dense kernel matrix. Techniques dealing with fast approximations of the matrix vector product for these kernel matrices typically deteriorate in their performance if the feature vectors reside in higher-dimensional feature spaces. We here present a technique based on the non-equispaced fast Fourier transform (NFFT) with rigorous error analysis. We show that this approach is also well suited to allow the approximation of the matrix that arises when the kernel is differentiated with respect to the kernel hyperparameters; a problem often found in the training phase of methods such as Gaussian processes. We also provide an error analysis for this case. We illustrate the performance of the additive kernel scheme with fast matrix vector products on a number of data sets. Our code is available at https://github.com/wagnertheresa/NFFTAddKer, Comment: Official code https://github.com/wagnertheresa/NFFTAddKer

The purpose of this note is to show that the minimal $e$ for which every smooth Fano hypersurface of dimension $n$ contains a free rational curve of degree at most $e$ cannot be bounded by a linear function in $n$ when the base field has positive characteristic. This is done by providing a super-linear bound on the minimal possible degree of a free curve in certain Fermat hypersurfaces., Comment: 4 pages, comments welcome!

Assembly Calculus (AC), proposed by Papadimitriou et al., aims to reproduce advanced cognitive functions through simulating neural activities, with several applications based on AC having been developed, including a natural language parser proposed by Mitropolsky et al. However, this parser lacks the ability to handle Kleene closures, preventing it from parsing all regular languages and rendering it weaker than Finite Automata (FA). In this paper, we propose a new bionic natural language parser (BNLP) based on AC and integrates two new biologically rational structures, Recurrent Circuit and Stack Circuit which are inspired by RNN and short-term memory mechanism. In contrast to the original parser, the BNLP can fully handle all regular languages and Dyck languages. Therefore, leveraging the Chomsky-Sch \H{u}tzenberger theorem, the BNLP which can parse all Context-Free Languages can be constructed. We also formally prove that for any PDA, a Parser Automaton corresponding to BNLP can always be formed, ensuring that BNLP has a description ability equal to that of PDA and addressing the deficiencies of the original parser., Comment: to be published in IJCNN 2024

The rapid evolution of Natural Language Processing (NLP) has favored major languages such as English, leaving a significant gap for many others due to limited resources. This is especially evident in the context of data annotation, a task whose importance cannot be underestimated, but which is time-consuming and costly. Thus, any dataset for resource-poor languages is precious, in particular when it is task-specific. Here, we explore the feasibility of repurposing existing datasets for a new NLP task: we repurposed the Belebele dataset (Bandarkar et al., 2023), which was designed for multiple-choice question answering (MCQA), to enable extractive QA (EQA) in the style of machine reading comprehension. We present annotation guidelines and a parallel EQA dataset for English and Modern Standard Arabic (MSA). We also present QA evaluation results for several monolingual and cross-lingual QA pairs including English, MSA, and five Arabic dialects. Our aim is to enable others to adapt our approach for the 120+ other language variants in Belebele, many of which are deemed under-resourced. We also conduct a thorough analysis and share our insights from the process, which we hope will contribute to a deeper understanding of the challenges and the opportunities associated with task reformulation in NLP research., Comment: Paper 8 pages, Appendix 12 pages. Submitted to ARR

Multi-view learning has become a popular research topic in recent years, but research on the cross-application of classic multi-label classification and multi-view learning is still in its early stages. In this paper, we focus on the complex yet highly realistic task of incomplete multi-view weak multi-label learning and propose a masked two-channel decoupling framework based on deep neural networks to solve this problem. The core innovation of our method lies in decoupling the single-channel view-level representation, which is common in deep multi-view learning methods, into a shared representation and a view-proprietary representation. We also design a cross-channel contrastive loss to enhance the semantic property of the two channels. Additionally, we exploit supervised information to design a label-guided graph regularization loss, helping the extracted embedding features preserve the geometric structure among samples. Inspired by the success of masking mechanisms in image and text analysis, we develop a random fragment masking strategy for vector features to improve the learning ability of encoders. Finally, it is important to emphasize that our model is fully adaptable to arbitrary view and label absences while also performing well on the ideal full data. We have conducted sufficient and convincing experiments to confirm the effectiveness and advancement of our model., Comment: Accepted at NeurIPS 2023. Email: liucl1996@163.com

All particles of the same type are indistinguishable, according to a fundamental quantum principle. This entails a description of many-particle states using symmetrised or anti-symmetrised wave functions, which turn out to be formally entangled. However, the measurement of individual particles is hampered by a mode description in the second-quantised theory that masks this entanglement. Is it nonetheless possible to use such states as a resource in Bell-type experiments? More specifically, which states of identical particles can demonstrate non-local correlations in passive linear optical setups that are considered purely classical component of the experiment? Here, the problem is fully solved for multi-particle states with a definite number of identical particles. We show that all fermion states and most boson states provide a sufficient quantum resource to exhibit non-locality in classical optical setups. The only exception is a special class of boson states that are reducible to a single mode, which turns out to be locally simulable for any passive linear optical experiment. This finding highlights the connection between the basic concept of particle indistinguishability and Bell non-locality, which can be observed by classical means for almost every state of identical particles., Comment: 11 pages, 6 figures; includes Supplementary Information (10 pages, 2 figures)

The number of open source language models that can produce Turkish is increasing day by day, as in other languages. In order to create the basic versions of such models, the training of multilingual models is usually continued with Turkish corpora. The alternative is to train the model with only Turkish corpora. In this study, we first introduce the cosmosGPT models that we created with this alternative method. Then, we introduce new finetune datasets for basic language models to fulfill user requests and new evaluation datasets for measuring the capabilities of Turkish language models. Finally, a comprehensive comparison of the adapted Turkish language models on different capabilities is presented. The results show that the language models we built with the monolingual corpus have promising performance despite being about 10 times smaller than the others.

All poetic forms come from somewhere. Prosodic templates can be copied for generations, altered by individuals, imported from foreign traditions, or fundamentally changed under the pressures of language evolution. Yet these relationships are notoriously difficult to trace across languages and times. This paper introduces an unsupervised method for detecting structural similarities in poems using local sequence alignment. The method relies on encoding poetic texts as strings of prosodic features using a four-letter alphabet; these sequences are then aligned to derive a distance measure based on weighted symbol (mis)matches. Local alignment allows poems to be clustered according to emergent properties of their underlying prosodic patterns. We evaluate method performance on a meter recognition tasks against strong baselines and show its potential for cross-lingual and historical research using three short case studies: 1) mutations in quantitative meter in classical Latin, 2) European diffusion of the Renaissance hendecasyllable, and 3) comparative alignment of modern meters in 18--19th century Czech, German and Russian. We release an implementation of the algorithm as a Python package with an open license.

Requirements specification patterns have received much attention as they promise to guide the structured specification of natural language requirements. By using them, the intention is to reduce quality problems related to requirements artifacts. Patterns may need to vary in their syntax (e.g. domain details/ parameter incorporation) and semantics according to the particularities of the application domain. However, pattern-based approaches, such as EARS, are designed domain-independently to facilitate their wide adoption across several domains. Little is yet known about how to adopt the principle idea of pattern-based requirements engineering to cover domain-specificity in requirements engineering and, ideally, integrate requirements engineering activities into quality assurance tasks. In this paper, we propose the Pattern-based Domain-specific Requirements Engineering Approach for the specification of functional and performance requirements in a holistic manner. This approach emerges from an academia-industry collaboration and is our first attempt to frame an approach which allows for analyzing domain knowledge and incorporating it into the requirements engineering process enabling automated checks for requirements quality assurance and computer-aided support for system verification. Our contribution is two-fold: First, we present a solution to pattern-based domain-specific requirements engineering and its exemplary integration into quality assurance techniques. Second, we showcase a proof of concept using a tool implementation for the domain of flight controllers for Unmanned Aerial Vehicles. Both shall allow us to outline next steps in our research agenda and foster discussions in this direction., Comment: 6 pages with 3 figures

Depth estimation is crucial for interpreting complex environments, especially in areas such as autonomous vehicle navigation and robotics. Nonetheless, obtaining accurate depth readings from event camera data remains a formidable challenge. Event cameras operate differently from traditional digital cameras, continuously capturing data and generating asynchronous binary spikes that encode time, location, and light intensity. Yet, the unique sampling mechanisms of event cameras render standard image based algorithms inadequate for processing spike data. This necessitates the development of innovative, spike-aware algorithms tailored for event cameras, a task compounded by the irregularity, continuity, noise, and spatial and temporal characteristics inherent in spiking data.Harnessing the strong generalization capabilities of transformer neural networks for spatiotemporal data, we propose a purely spike-driven spike transformer network for depth estimation from spiking camera data. To address performance limitations with Spiking Neural Networks (SNN), we introduce a novel single-stage cross-modality knowledge transfer framework leveraging knowledge from a large vision foundational model of artificial neural networks (ANN) (DINOv2) to enhance the performance of SNNs with limited data. Our experimental results on both synthetic and real datasets show substantial improvements over existing models, with notable gains in Absolute Relative and Square Relative errors (49% and 39.77% improvements over the benchmark model Spike-T, respectively). Besides accuracy, the proposed model also demonstrates reduced power consumptions, a critical factor for practical applications., Comment: 10 pages

We present new exclusion bounds obtained at the European X-ray Free Electron Laser facility (EuXFEL) on axion-like particles (ALPs) in the mass range $10^{-3}\;\rm{eV} \lesssim m_a \lesssim 10^{4}\;\rm{eV}$, which is relatively unconstrained by laboratory searches. Our experiment exploits the Primakoff effect via which photons can, in the presence of a strong external electric field, decay into axions, which then convert back into photons after passing through an opaque wall. While similar searches have been performed previously at a 3$^{\rm rd}$ generation synchrotron \cite{Yamaji:2018ufo} our work demonstrates improved sensitivity, exploiting the higher brightness of X-rays at EuXFEL., Comment: 7 pages, 6 figures

Promptly after high-resolution experiments harbinger the field of precision cosmology low- and high-redshift observations abruptly gave rise to a tension in the measurement of the present-day expansion rate of the Universe ($H_0$) and the clustering of matter ($S_8$). The statistically significant discrepancies between the locally measured values of $H_0$ and $S_8$ and the ones inferred from observations of the cosmic microwave background assuming the canonical $\Lambda$ cold dark matter (CDM) cosmological model have become a new cornerstone of theoretical physics. $\Lambda_s$CDM is one of the many beyond Standard Model setups that have been proposed to simultaneously resolve the cosmological tensions. This setup relies on an empirical conjecture, which postulates that $\Lambda$ switched sign (from negative to positive) at a critical redshift $z_c \sim 2$. We reexamine a stringy model that can describe the transition in the vacuum energy hypothesized in $\Lambda_s$CDM. The model makes use of the Casimir forces driven by fields inhabiting the incredible bulk of the dark dimension scenario. Unlike the $\Lambda_s$CDM setup the model deviates from $\Lambda$CDM in the early universe due to the existence of relativistic neutrino-like species. Using the Boltzmann solver CLASS in combination with MontePython we confront predictions of the stringy model to experimental data (from the Planck mission, Pantheon+ supernova type Ia, BAO, and KiDS-1000). We show that the string-inspired model provides a satisfactory fit to the data and can resolve the cosmological tensions., Comment: 9 pages revtex with 3 figures

With the increasing prevalence of open and connected products, cybersecurity has become a serious issue in safety-critical domains such as the automotive industry. As a result, regulatory bodies have become more stringent in their requirements for cybersecurity, necessitating security assurance for products developed in these domains. In response, companies have implemented new or modified processes to incorporate security into their product development lifecycle, resulting in a large amount of evidence being created to support claims about the achievement of a certain level of security. However, managing evidence is not a trivial task, particularly for complex products and systems. This paper presents a qualitative interview study conducted in six companies on the maturity of managing security evidence in safety-critical organizations. We find that the current maturity of managing security evidence is insufficient for the increasing requirements set by certification authorities and standardization bodies. Organisations currently fail to identify relevant artifacts as security evidence and manage this evidence on an organizational level. One part of the reason are educational gaps, the other a lack of processes. The impact of AI on the management of security evidence is still an open question

The ability to rapidly evaluate materials properties through atomistic simulation approaches is the foundation of many new artificial intelligence-based approaches to materials identification and design. This depends on the availability of accurate descriptions of atomic bonding through various forms of interatomic potentials. We present an efficient, robust platform for calculating materials properties, i.e., APEX, the Alloy Property Explorer. APEX enables the rapid evolution of interatomic potential development and optimization, which is of particular importance in fine-tuning new classes of general AI-based foundation models to forms that are readily applicable to impacting materials development. APEX is an open-source, extendable, and cloud-native platform for material property calculations using a range of atomistic simulation methodologies that effectively manages diverse computational resources and is built upon user-friendly features including automatic results visualization, web-based platforms and NoSQL database client. It is designed for expert and non-specialist users, lowers the barrier to entry for interdisciplinary research within the "AI for Materials" framework. We describe the foundation and use of APEX, as well as provide an example of its application to properties of titanium for a wide-range of bonding descriptions.

While subspace identification methods (SIMs) are appealing due to their simple parameterization for MIMO systems and robust numerical realizations, a comprehensive statistical analysis of SIMs remains an open problem, especially in the non-asymptotic regime. In this work, we provide a finite sample analysis for a class of SIMs, which reveals that the convergence rates for estimating Markov parameters and system matrices are $\mathcal{O}(1/\sqrt{N})$, in line with classical asymptotic results. Based on the observation that the model format in classical SIMs becomes non-causal because of a projection step, we choose a parsimonious SIM that bypasses the projection step and strictly enforces a causal model to facilitate the analysis, where a bank of ARX models are estimated in parallel. Leveraging recent results from finite sample analysis of an individual ARX model, we obtain an overall error bound of an array of ARX models and proceed to derive error bounds for system matrices via robustness results for the singular value decomposition.

Ultra-large make-on-demand compound libraries now contain billions of readily available compounds. This represents a golden opportunity for in-silico drug discovery. One challenge, however, is the time and computational cost of an exhaustive screen of such large libraries when receptor flexibility is taken into account. We propose an evolutionary algorithm to search combinatorial make-on-demand chemical space efficiently without enumerating all molecules. We exploit the feature of make-on-demand compound libraries, namely that they are constructed from lists of substrates and chemical reactions. Our novel algorithm RosettaEvolutionaryLigand (REvoLd) explores the vast search space of combinatorial libraries for protein-ligand docking with full ligand and receptor flexibility through RosettaLigand. A benchmark of REvoLd on five drug targets showed improvements in hit rates by factors between 869 and 1,622 compared to random selections. REvoLd is available as an application within the Rosetta software suite., Comment: 29 pages, 9 figures

State tomography allows to characterize quantum states, and was recently applied to reveal the dynamic magnetization state of a parametrically driven magnet. The identification of non-classical states, such as squeezed states, relies on a careful analysis of their emission and their distinction from thermal and vacuum fluctuations. A technique allowing to detect equilibrium magnetization fluctuations is a crucial first step in this regard. In this Letter, we show that inductive magnon noise spectroscopy (iMNS) allows to characterize the thermal magnetization fluctuations of a ferromagnetic thin film in a broadband coplanar waveguide-based scheme. Relative to a cold microwave background, the microwaves emitted by the equilibrium magnetization fluctuations can be detected via spectrum analysis. We provide a comprehensive picture of our microwave system by quantitatively modeling its response, including the thermalizing influence of the cables. The model allows for direct comparison to low-power broadband ferromagnetic resonance measurements with excellent agreement, corroborating the equilibrium character of the iMNS measurement by probing the linear response of the equilibrium state. Our work thus demonstrates broadband access to the equilibrium properties of magnetization fluctuations using a purely inductive approach., Comment: 6 pages and 4 figures; including Supplemental Material with 4 pages, 2 figures and 1 table

The influence of the reduced mass on the results of the approximation by the Morse function of the ground electronic state term potential U(r) of hydrogen molecule nH2 for seven symmetrical isotopologues n = 1-7 is investigated. For each isotopologue, two alternative model solutions of the Schroedinger equation are obtained, namely, M1(r) and M2(r) functions, which differ by the selection of the primary fitting parameters in the Morse approximation. The U(r) - M(r) functions are shown to clearly visualize the differences between the shapes of the potential at its approximation. The concept of systematic deviation of Morse functions from the real potential is introduced. This deviation is always present in the approximation of simple terms, for which U(r) curve lies between M1(r) and M2(r) without crossings. In case of nH2, for M1(r) the systematic monotonous deviation increases, reaching 1700-2770 cm-1 (for 7H2-1H2) at the level of the asymptote. For M2(r) the systematic deviation decreases at larger distances: it is dome-shaped with a maximum of ca. 1500 cm-1 in the upper part of the term, after which it falls to zero. The M2(r) curves for different isotopologues diverge by less than 20 cm-1. There are also anomalies, where M1(r) and M2(r) cross U(r), called "Herzberg anomaly". For example, at around r = 1.08 A the U(r) - M2(r) function shows anomalous negative values ranging from -125 cm-1 (for 1H2) to -142 cm-1 (for 7H2). The diagnostic value of Herzberg anomaly and anharmonicities for various isotopologues is discussed.

We analyze the effective four-dimensional dynamics of the extra-dimensional moduli fields in curved braneworlds having nested warping, with particular emphasis on the doubly warped model which is interesting in the light of current collider constraints on the mass of the Kaluza-Klein graviton. The presence of a non-zero brane cosmological constant ($\Omega$) naturally induces an effective moduli potential in the four-dimensional action, which shows distinct features in dS ($\Omega>0$) and AdS ($\Omega<0$) branches. For the observationally interesting case of dS 4-branes, a metastable minimum in the potential arises along the first modulus, with no minima along the higher moduli. The underlying nested geometry also leads to interesting separable forms of the non-canonical kinetic terms in the Einstein frame, where the brane curvature directly impacts the kinetic properties of only the first modulus. We subsequently explore the ability of curved multiply warped geometries to drive inflation with an in-built exit mechanism, by assuming predominant slow roll along each modular direction on a case-by-case basis. We find slow roll on top of the metastable plateau along the first modular direction to be the most viable scenario, with the higher-dimensional moduli parametrically tuning the height of the potential without significant impact on the inflationary observables. On the other hand, while slow roll along the higher moduli can successfully inflate the background and eventually lead to an exit, consistency with observations seemingly requires unphysical hierarchies among the extra-dimensional radii, thus disfavouring such scenarios., Comment: 22 pages, 7 sets of figures, 1 table, comments welcome

The concept of Wireless Network-on-Chip (WNoC) has emerged as a potential solution to address the escalating communication demands of modern computing systems due to their low-latency, versatility, and reconfigurability. However, for WNoC to fulfill its potential, it is essential to establish multiple high-speed wireless links across chips. Unfortunately, the compact and enclosed nature of computing packages introduces significant challenges in the form of Co-Channel Interference (CCI) and Inter-Symbol Interference (ISI), which not only hinder the deployment of multiple spatial channels but also severely restrict the symbol rate of each individual channel. In this paper, we posit that Time Reversal (TR) could be effective in addressing both impairments in this static scenario thanks to its spatiotemporal focusing capabilities even in the near field. Through comprehensive full-wave simulations and bit error rate analysis in multiple scenarios and at multiple frequency bands, we provide evidence that TR can increase the symbol rate by an order of magnitude, enabling the deployment of multiple concurrent links and achieving aggregate speeds exceeding 100 Gb/s. Finally, we evaluate the impact of reducing the sampling rate of the TR filter on the achievable speeds, paving the way to practical TR-based wireless communications at the chip scale.

Slippery road weather conditions are prevalent in many regions and cause a regular risk for traffic. Still, there has been less research on how autonomous vehicles could detect slippery driving conditions on the road to drive safely. In this work, we propose a method to predict a dense grip map from the area in front of the car, based on postprocessed multimodal sensor data. We trained a convolutional neural network to predict pixelwise grip values from fused RGB camera, thermal camera, and LiDAR reflectance images, based on weakly supervised ground truth from an optical road weather sensor. The experiments show that it is possible to predict dense grip values with good accuracy from the used data modalities as the produced grip map follows both ground truth measurements and local weather conditions, such as snowy areas on the road. The model using only the RGB camera or LiDAR reflectance modality provided good baseline results for grip prediction accuracy while using models fusing the RGB camera, thermal camera, and LiDAR modalities improved the grip predictions significantly., Comment: 17 pages, 7 figures (supplementary material 1 page, 1 figure). Submitted to 27th International Conference of Pattern Recognition (ICPR 2024)

To guide the design of better iterative optimisation heuristics, it is imperative to understand how inherent structural biases within algorithm components affect the performance on a wide variety of search landscapes. This study explores the impact of structural bias in the modular Covariance Matrix Adaptation Evolution Strategy (modCMA), focusing on the roles of various modulars within the algorithm. Through an extensive investigation involving 435,456 configurations of modCMA, we identified key modules that significantly influence structural bias of various classes. Our analysis utilized the Deep-BIAS toolbox for structural bias detection and classification, complemented by SHAP analysis for quantifying module contributions. The performance of these configurations was tested on a sequence of affine-recombined functions, maintaining fixed optimum locations while gradually varying the landscape features. Our results demonstrate an interplay between module-induced structural bias and algorithm performance across different landscape characteristics., Comment: 15 pages, 5 figures, submitted to PPSN 2024

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., Comment: 10 pages, 28 figures

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.

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., Comment: 15 pages, 4+7 figures

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., Comment: 10 pages, 3 figures

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., Comment: 13 pages, 8 figures, 1 table, submitted to IEEE for publication

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., Comment: 6 pages, 6 figures. arXiv admin note: text overlap with arXiv:2404.05076

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., Comment: Submitted

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.

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$., Comment: 10 pages, Comments welcome!

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.

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. This, together with recent results on Artin groups and contracting elements, implies that all Artin groups of XXL-type have transcendental conjugacy growth series for some generating set. 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.

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., Comment: 16 pages, 14figures

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., Comment: 9 pages, 8 figures; Submitted to as an SPIE Proceedings paper for the 2024 SPIE Astronomical Telescopes + Instrumentation meeting

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., Comment: 29 pages, 19 figures

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}\}$., Comment: Comments welcome!

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., Comment: 25 pages, 7 figures

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.

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.