title: Algebraicity of L-values attached to Quaternionic Modular Forms

abstract: In this paper we prove the algebraicity of some L-values attached to quaternionic modular forms. We follow the rather well established path of the doubling method. Our main contribution is that we include the case where the corresponding symmetric space is of non-tube type. We make various aspects very explicit such as, the doubling embedding, coset decomposition, and the definition of algebraicity of modular forms via CM points.


title: Training Fully Connected Neural Networks is $\exists\mathbb{R}$-Complete

abstract: We consider the problem of finding weights and biases for a two-layer fully connected neural network to fit a given set of data points as well as possible, also known as EmpiricalRiskMinimization. Our main result is that the associated decision problem is $\exists\mathbb{R}$-complete, that is, polynomial-time equivalent to determining whether a multivariate polynomial with integer coefficients has any real roots. Furthermore, we prove that algebraic numbers of arbitrarily large degree are required as weights to be able to train some instances to optimality, even if all data points are rational. Our result already applies to fully connected instances with two inputs, two outputs, and one hidden layer of ReLU neurons. Thereby, we strengthen a result by Abrahamsen, Kleist and Miltzow [NeurIPS 2021]. A consequence of this is that a combinatorial search algorithm like the one by Arora, Basu, Mianjy and Mukherjee [ICLR 2018] is impossible for networks with more than one output dimension, unless $\mathsf{NP}=\exists\mathbb{R}$.


title: Plant root growth against a mechanical obstacle: The early growth response of a maize root facing an axial resistance agrees with the Lockhart model

abstract: Plant root growth is dramatically reduced in compacted soils, affecting the growth of the whole plant. Through a model experiment coupling force and kinematics measurements, we probed the force-growth relationship of a primary root contacting a stiff resisting obstacle, that mimics the strongest soil impedance variation encountered by a growing root. The growth of maize roots just emerging from a corseting agarose gel and contacting a force sensor (acting as an obstacle) was monitored by time-lapse imaging simultaneously to the force. The evolution of the velocity field along the root was obtained from kinematics analysis of the root texture with a PIV derived-technique. A triangular fit was introduced to retrieve the elemental elongation rate or strain rate. A parameter-free model based on the Lockhart law quantitatively predicts how the force at the obstacle modifies several features of the growth distribution (length of the growth zone, maximal elemental elongation rate, velocity) during the first 10 minutes. These results suggest a strong similarity of the early growth responses elicited either by a directional stress (contact) or by an isotropic perturbation (hyperosmotic bath).


title: Miniature biplanar coils for alkali-metal-vapor magnetometry

abstract: Atomic spin sensors offer precision measurements using compact, microfabricated packages, placing them in a competitive position for both market and research applications. Performance of these sensors such as dynamic range may be enhanced through magnetic field control. In this work, we discuss the design of miniature coils for three-dimensional, localized field control by direct placement around the sensor, as a flexible and compact alternative to global approaches used previously. Coils are designed on biplanar surfaces using a stream-function approach and then fabricated using standard printed-circuit techniques. Application to a laboratory-scale optically pumped magnetometer of sensitivity approximately 20 fT/Hz$^{1/2}$ is shown. We also demonstrate the performance of a coil set measuring $7 \times 17 \times 17$ mm$^3$ that is optimized specifically for magnetoencephalography, where multiple sensors are operated in proximity to one another. Characterization of the field profile using $^{87}$Rb free-induction spectroscopy and other techniques show $>$96% field homogeneity over the target volume of a MEMS vapor cell and a compact stray field contour of approximately 1% at 20 mm from the center of the cell.


title: Non-crossing convex quantile regression

abstract: Quantile crossing is a common phenomenon in shape constrained nonparametric quantile regression. A recent study by Wang et al. (2014) has proposed to address this problem by imposing non-crossing constraints to convex quantile regression. However, the non-crossing constraints may violate an intrinsic quantile property. This paper proposes a penalized convex quantile regression approach that can circumvent quantile crossing while better maintaining the quantile property. A Monte Carlo study demonstrates the superiority of the proposed penalized approach in addressing the quantile crossing problem.


title: Exponential ergodicity for damping Hamiltonian dynamics with state-dependent and non-local collisions

abstract: In this paper, we investigate the exponential ergodicity in a Wasserstein-type distance for a damping Hamiltonian dynamics with state-dependent and non-local collisions, which indeed is a special case of piecewise deterministic Markov processes while is very popular in numerous modelling situations including stochastic algorithms. The approach adopted in this work is based on a combination of the refined basic coupling and the refined reflection coupling for non-local operators. In a certain sense, the main result developed in the present paper is a continuation of the counterpart in \cite{BW2022} on exponential ergodicity of stochastic Hamiltonian systems with L\'evy noises and a complement of \cite{BA} upon exponential ergodicity for Andersen dynamics with constant jump rate functions.


title: A Bootstrap-Assisted Self-Normalization Approach to Inference in Cointegrating Regressions

abstract: Traditional inference in cointegrating regressions requires tuning parameter choices to estimate a long-run variance parameter. Even in case these choices are "optimal", the tests are severely size distorted. We propose a novel self-normalization approach, which leads to a nuisance parameter free limiting distribution without estimating the long-run variance parameter directly. This makes our self-normalized test tuning parameter free and considerably less prone to size distortions at the cost of only small power losses. In combination with an asymptotically justified vector autoregressive sieve bootstrap to construct critical values, the self-normalization approach shows further improvement in small to medium samples when the level of error serial correlation or regressor endogeneity is large. We illustrate the usefulness of the bootstrap-assisted self-normalized test in empirical applications by analyzing the validity of the Fisher effect in Germany and the United States.


title: Silting, cosilting, and extensions of commutative ring

abstract: We study the transfer of (co)silting objects in derived categories of module categories via the extension functors induced by a morphism of commutative rings. It is proved that the extension functors preserve (co)silting objects of (co)finite type. In many cases the bounded silting property descends along faithfully flat ring extensions. In particular, the notion of bounded silting complex is Zariski local.


title: The Extreme Mechanics of Viscoelastic Metamaterials

abstract: Mechanical metamaterials made of flexible building blocks can exhibit a plethora of extreme mechanical responses, such as negative elastic constants, shape-changes, programmability and memory. To date, dissipation has largely remained overlooked for such flexible metamaterials. As a matter of fact, extensive care has often been devoted in the constitutive materials' choice to avoid strong dissipative effects. However, in an increasing number of scenarios, where metamaterials are loaded dynamically, dissipation can not be ignored. In this review, we show that the interplay between mechanical instabilities and viscoelasticity can be crucial and can be harnessed to obtain new functionalities. We first show that this interplay is key to understanding the dynamical behaviour of flexible dissipative metamaterials that use buckling and snapping as functional mechanisms. We further discuss the new opportunities that spatial patterning of viscoelastic properties offer for the design of mechanical metamaterials with properties that depend on loading rate.


title: Synthetic Graph Generation to Benchmark Graph Learning

abstract: Graph learning algorithms have attained state-of-the-art performance on many graph analysis tasks such as node classification, link prediction, and clustering. It has, however, become hard to track the field's burgeoning progress. One reason is due to the very small number of datasets used in practice to benchmark the performance of graph learning algorithms. This shockingly small sample size (~10) allows for only limited scientific insight into the problem. In this work, we aim to address this deficiency. We propose to generate synthetic graphs, and study the behaviour of graph learning algorithms in a controlled scenario. We develop a fully-featured synthetic graph generator that allows deep inspection of different models. We argue that synthetic graph generations allows for thorough investigation of algorithms and provides more insights than overfitting on three citation datasets. In the case study, we show how our framework provides insight into unsupervised and supervised graph neural network models.


title: Galactic Cosmic Rays at Mars and Venus: Temporal Variations from Hours to Decades Measured as the Background Signal of Onboard Micro-Channel Plates

abstract: A Micro-Channel Plate (MCP) is a widely used component for counting particles in space. Using the background counts of MCPs on Mars Express and Venus Express orbiters operated over 17 years and 8 years, respectively, we investigate the galactic cosmic ray (GCR) characteristics in the inner solar system. The MCP background counts at Mars and Venus on a solar cycle time scale exhibit clear anti-correlation to the sunspot number. We conclude that the measured MCP background contain the GCR information. The GCR characteristics measured using the MCP background at Mars show features that are consistent with the ground-based measurement in solar cycle 24. The time lag between the sunspot number and the MCP background at Mars is found ~9 months. The shorter-term background data recorded along the orbits (with a time scale of several hours) also show evident depletion of the background counts due to the absorption of the GCR particles by the planets. Thanks to the visible planetary size change along an orbit, the GCR contribution to the MCP background can be separated from the internal contribution due to the \b{eta}-decay. Our statistical analysis of the GCR absorption signatures at Mars implies that the effective absorption size of Mars for the GCR particles have a >100 km larger radius than the solid Martian body.

categories: astro-ph.EP astro-ph.HE astro-ph.IM physics.space-ph


title: Removable sets and $L^p$-uniqueness on manifolds and metric measure spaces

abstract: We study symmetric diffusion operators on metric measure spaces. Our main question is whether or not the restriction of the operator to a suitable core continues to be essentially self-adjoint or $L^p$-unique if a small closed set is removed from the space. The effect depends on how large the removed set is, and we provide characterizations of the critical size in terms of capacities and Hausdorff dimension. As a key tool we prove a truncation result for potentials of nonnegative functions. We apply our results to Laplace operators on Riemannian and sub-Riemannian manifolds and on metric measure spaces satisfying curvature dimension conditions. For non-collapsing Ricci limit spaces with two-sided Ricci curvature bounds we observe that the self-adjoint Laplacian is already fully determined by the classical Laplacian on the regular part.


title: Taking ROCKET on an Efficiency Mission: Multivariate Time Series Classification with LightWaveS

abstract: Nowadays, with the rising number of sensors in sectors such as healthcare and industry, the problem of multivariate time series classification (MTSC) is getting increasingly relevant and is a prime target for machine and deep learning approaches. Their expanding adoption in real-world environments is causing a shift in focus from the pursuit of ever-higher prediction accuracy with complex models towards practical, deployable solutions that balance accuracy and parameters such as prediction speed. An MTSC model that has attracted attention recently is ROCKET, based on random convolutional kernels, both because of its very fast training process and its state-of-the-art accuracy. However, the large number of features it utilizes may be detrimental to inference time. Examining its theoretical background and limitations enables us to address potential drawbacks and present LightWaveS: a framework for accurate MTSC, which is fast both during training and inference. Specifically, utilizing wavelet scattering transformation and distributed feature selection, we manage to create a solution that employs just 2.5% of the ROCKET features, while achieving accuracy comparable to recent MTSC models. LightWaveS also scales well across multiple compute nodes and with the number of input channels during training. In addition, it can significantly reduce the input size and provide insight to an MTSC problem by keeping only the most useful channels. We present three versions of our algorithm and their results on distributed training time and scalability, accuracy, and inference speedup. We show that we achieve speedup ranging from 9x to 53x compared to ROCKET during inference on an edge device, on datasets with comparable accuracy.


title: Interferometry based on quantum Kibble-Zurek mechanism

abstract: We propose an interferometry within the framework of quantum Kibble-Zurek mechanism by exemplifying two prototypical quench protocols, namely the round-trip and quarter-turn ones, on the transverse Ising and quantum $XY$ chains. Each protocol contains two linear ramps that drive the system across quantum critical point twice. The two linear ramps arouse two respective nonadiabatic critical dynamics that are well described by the quantum Kibble-Zurek mechanism. However, in combination, the two critical dynamics can interfere with each other deeply. As an effect of the interference, the dynamical phase is exposed in the final excitation probability, which leads to a quantum coherent many-body oscillation in the density of defects with predictable characteristic period. Thus such an interference is available for direct experimental observations. In the quantum $XY$ model, we show that an interference can also arise from the interplay between two different critical dynamics derived from a critical point and a tricritical point. Furthermore, we demonstrate that the interference influences the dephasing of the excited quasiparticle modes intricately by disclosing a phenomenon of multiple length scales, diagonal and off-diagonal ones, in the defect-defect correlators. It turns out that the dephased result relies on how the diagonal and off-diagonal lengths are modulated by the controllable parameter in a quench protocol.


title: Evidence of Photosphere Emission Origin for Gamma-Ray Burst Prompt Emission

abstract: The physical origin of gamma-ray burst (GRB) prompt emission (photosphere or synchrotron) is still subject to debate after five decades. Here, firstly we find that many observed characteristics of 15 long GRBs, which have the highest prompt emission efficiency $\epsilon _{\gamma}$ ($\epsilon_{\gamma }\gtrsim 80\%$), strongly support the photosphere (thermal) emission origin: (1) the relation between $E_{\text{p}}$ and $E_{\text{iso}}$ is almost $E_{\text{p}}\propto (E_{\text{iso}})^{1/4}$ , and the dispersion is quite small; (2) the simple power-law shape of the X-ray afterglow light curves and the significant reverse shock signals in the optical afterglow light curves; (3) best-fitted by the cutoff power-law model for the time-integrated spectrum; (4) the consistent efficiency from observation (with $E_{\text{iso}}/E_{k}$) and the prediction of photosphere emission model (with $\eta /\Gamma $). Then, we further investigate the characteristics of the long GRBs for two distinguished samples ($\epsilon _{\gamma }\gtrsim 50\%$ and $\epsilon _{\gamma }\lesssim 50\%$). It is found that the different distributions for $E_{\text{p}}$ and $E_{\text{iso}}$, and the similar observed efficiency (from the X-ray afterglow) and theoretically predicted efficiency (from the prompt emission or the optical afterglow) well follow the prediction of photosphere emission model. Also, based on the same efficiency, we derive an excellent correlation of $\Gamma \propto E_{\text{iso}}^{1/8}E_{\text{p}}^{1/2}/(T_{90})^{1/4}$ to estimate $\Gamma $. Finally, the different distributions for $E_{\text{p}}$ and $E_{\text{iso}}$, and the consistent efficiency exist for the short GRBs. Besides, we give a natural explanation of the extended emission ($\epsilon _{\gamma }\lesssim 50\%$) and the main pulse ($\epsilon _{\gamma }\gtrsim 50\%$).


title: On the Global Convergence of Stochastic Fictitious Play in Stochastic Games with Turn-based Controllers

abstract: This paper presents a learning dynamic with almost sure convergence guarantee for any stochastic game with turn-based controllers (on state transitions) as long as stage-payoffs induce a zero-sum or identical-interest game. Stage-payoffs for different states can even have different structures, e.g., by summing to zero in some states and being identical in others. The dynamics presented combines the classical stochastic fictitious play with value iteration for stochastic games. There are two key properties: (i) players play finite horizon stochastic games with increasing lengths within the underlying infinite-horizon stochastic game, and (ii) the turn-based controllers ensure that the auxiliary stage-games (induced from the continuation payoff estimated) are strategically equivalent to zero-sum or identical-interest games.


title: Manufacturing of Textured Bulk Fe-SmCo$_{5}$ Magnets by Severe Plastic Deformation

abstract: Exchange-coupling between soft- and hard-magnetic phases plays an important role in the engineering of novel magnetic materials. To achieve exchange coupling, a two-phase microstructure is necessary. This interface effect is further enhanced if both phase dimensions are reduced to the nanometer scale. At the same time, it is challenging to obtain large sample dimensions. In this study, powder blends and ball-milled powder blends of Fe-SmCo$_{5}$ are consolidated and are deformed by high-pressure torsion (HPT), as this technique allows us to produce bulk magnetic materials of reasonable sizes. Additionally, the effect of severe deformation by ball-milling and severe plastic deformation by HPT on exchange coupling in Fe-SmCo$_{5}$ composites is investigated. Due to the applied shear deformation, it is possible to obtain a texture in both phases, resulting in an anisotropic magnetic behavior and an improved magnetic performance.


title: Direct numerical simulations of the modified Poisson-Nernst-Planck equations for the charging dynamics of cylindrical electrolyte-filled pores

abstract: Understanding how electrolyte-filled porous electrodes respond to an applied potential is important to many electrochemical technologies. Here, we consider a model supercapacitor of two blocking cylindrical pores on either side of a cylindrical electrolyte reservoir. A stepwise potential difference $2\Phi$ between the pores drives ionic fluxes in the setup, which we study through the modified Poisson-Nernst-Planck equations, solved with finite elements. We focus our discussion on the dominant timescales with which the pores charge and how these timescales depend on three dimensionless numbers. Next to the dimensionless applied potential $\Phi$, we consider the ratio $R/R_b$ of the pore's resistance $R$ to the bulk reservoir resistance $R_b$ and the ratio $r_{p}/\lambda$ of the pore radius $r_p$ to the Debye length $\lambda$. We compare our data to theoretical predictions by Aslyamov and Janssen ($\Phi$), Posey and Morozumi ($R/R_b$), and Henrique, Zuk, and Gupta ($r_{p}/\lambda$). Through our numerical approach, we delineate the validity of these theories and the assumptions on which they were based.


title: Aligned Weight Regularizers for Pruning Pretrained Neural Networks

abstract: While various avenues of research have been explored for iterative pruning, little is known what effect pruning has on zero-shot test performance and its potential implications on the choice of pruning criteria. This pruning setup is particularly important for cross-lingual models that implicitly learn alignment between language representations during pretraining, which if distorted via pruning, not only leads to poorer performance on language data used for retraining but also on zero-shot languages that are evaluated. In this work, we show that there is a clear performance discrepancy in magnitude-based pruning when comparing standard supervised learning to the zero-shot setting. From this finding, we propose two weight regularizers that aim to maximize the alignment between units of pruned and unpruned networks to mitigate alignment distortion in pruned cross-lingual models and perform well for both non zero-shot and zero-shot settings. We provide experimental results on cross-lingual tasks for the zero-shot setting using XLM-RoBERTa$_{\mathrm{Base}}$, where we also find that pruning has varying degrees of representational degradation depending on the language corresponding to the zero-shot test set. This is also the first study that focuses on cross-lingual language model compression.


title: Dressi: A Hardware-Agnostic Differentiable Renderer with Reactive Shader Packing and Soft Rasterization

abstract: Differentiable rendering (DR) enables various computer graphics and computer vision applications through gradient-based optimization with derivatives of the rendering equation. Most rasterization-based approaches are built on general-purpose automatic differentiation (AD) libraries and DR-specific modules handcrafted using CUDA. Such a system design mixes DR algorithm implementation and algorithm building blocks, resulting in hardware dependency and limited performance. In this paper, we present a practical hardware-agnostic differentiable renderer called Dressi, which is based on a new full AD design. The DR algorithms of Dressi are fully written in our Vulkan-based AD for DR, Dressi-AD, which supports all primitive operations for DR. Dressi-AD and our inverse UV technique inside it bring hardware independence and acceleration by graphics hardware. Stage packing, our runtime optimization technique, can adapt hardware constraints and efficiently execute complex computational graphs of DR with reactive cache considering the render pass hierarchy of Vulkan. HardSoftRas, our novel rendering process, is designed for inverse rendering with a graphics pipeline. Under the limited functionalities of the graphics pipeline, HardSoftRas can propagate the gradients of pixels from the screen space to far-range triangle attributes. Our experiments and applications demonstrate that Dressi establishes hardware independence, high-quality and robust optimization with fast speed, and photorealistic rendering.


title: Anti-Spoofing Using Transfer Learning with Variational Information Bottleneck

abstract: Recent advances in sophisticated synthetic speech generated from text-to-speech (TTS) or voice conversion (VC) systems cause threats to the existing automatic speaker verification (ASV) systems. Since such synthetic speech is generated from diverse algorithms, generalization ability with using limited training data is indispensable for a robust anti-spoofing system. In this work, we propose a transfer learning scheme based on the wav2vec 2.0 pretrained model with variational information bottleneck (VIB) for speech anti-spoofing task. Evaluation on the ASVspoof 2019 logical access (LA) database shows that our method improves the performance of distinguishing unseen spoofed and genuine speech, outperforming current state-of-the-art anti-spoofing systems. Furthermore, we show that the proposed system improves performance in low-resource and cross-dataset settings of anti-spoofing task significantly, demonstrating that our system is also robust in terms of data size and data distribution.


title: Loop corrections to a cosmological particle creation

abstract: We consider dynamics of the massive minimally coupled scalar field theory in an expanding Friedmann-Lemaitre-Robertson-Walker universe. We consider the standard toy model of the conformally flat space-time where the conformal factor becomes constant at the distant past and the distant future. Employing Schwinger-Keldysh diagrammatic technique, we compute infrared loop corrections to the occupation number and anomalous quantum average of the scalar field and show that these corrections are growing with time. Using these observations, we demonstrate that the regularized stress-energy tensor at the distant future acquires substantial quantum corrections which exceed the long known tree-level contributions to the particle flux.


title: Quantum Statistical Mechanics of Vortices

abstract: The asymptotic partition function for quantized Abelian Higgs vortices at high temperature $T$ is found to leading and subleading order, and from this the equation of state of the vortex gas is derived, including the first quantum correction. It is assumed that the Hamiltonian is proportional to the Laplace--Beltrami operator on the moduli space of static $N$-vortex solutions. The partition function is calculated using the total volume and total scalar curvature of the moduli space.


title: A Comprehensive Survey on Automated Machine Learning for Recommendations

abstract: Deep recommender systems (DRS) are critical for current commercial online service providers, which address the issue of information overload by recommending items that are tailored to the user's interests and preferences. They have unprecedented feature representations effectiveness and the capacity of modeling the non-linear relationships between users and items. Despite their advancements, DRS models, like other deep learning models, employ sophisticated neural network architectures and other vital components that are typically designed and tuned by human experts. This article will give a comprehensive summary of automated machine learning (AutoML) for developing DRS models. We first provide an overview of AutoML for DRS models and the related techniques. Then we discuss the state-of-the-art AutoML approaches that automate the feature selection, feature embeddings, feature interactions, and model training in DRS. We point out that the existing AutoML-based recommender systems are developing to a multi-component joint search with abstract search space and efficient search algorithm. Finally, we discuss appealing research directions and summarize the survey.


title: Hamiltonian Analysis of Nonlocal F(R) Gravity Models

abstract: We construct a Hamiltonian for the nonlocal F(R) theory in the present work. By this construction, we demonstrate the nature of the ghost degrees of freedom. Finally, we find conditions that give rise to ghost-free theories


title: JShelter: Give Me My Browser Back

abstract: The web is used daily by billions. Even so, users are not protected from many threats by default. This position paper builds on previous web privacy and security research and introduces JShelter, a webextension that fights to return the browser to users. Moreover, we introduce a library helping with common webextension development tasks and fixing loopholes misused by previous research. JShelter focuses on fingerprinting prevention, limitations of rich web APIs, prevention of attacks connected to timing, and learning information about the device, the browser, the user, and surrounding physical environment and location. We discovered a loophole in the sensor timestamps that lets any page observe the device boot time if sensor APIs are enabled in Chromium-based browsers. JShelter provides a fingerprinting report and other feedback that can be used by future security research and data protection authorities. Thousands of users around the world use the webextension every day.


title: Hypernuclei and Antihypernuclei Production in Heavy-Ion Collisions

abstract: In these proceedings, an overview of recent hypernuclei measurements in heavy ion collisions is presented. These results include the lifetime, $\Lambda$ binding energy, production yield, and directed flow in heavy ion collisions. These results provide constraints on the hyperon-nucleon interaction, enhance our understanding in hypernuclear structure, and provide insight on the production mechanisms of hypernuclei in heavy ion collisions.


title: Propagation of moments and sharp convergence rate for inhomogeneous non-cutoff Boltzmann equation with soft potentials

abstract: We prove the well-posedness for the non-cutoff Boltzmann equation with soft potentials when the initial datum is close to the {\it global Maxwellian} and has only polynomial decay at the large velocities in $L^2$ space. As a result, we get the {\it propagation of the exponential moments} and the {\it sharp rates} of the convergence to the {\it global Maxwellian} which seems the first results for the original equation with soft potentials. The new ingredients of the proof lie in localized techniques, the semigroup method as well as the propagation of the polynomial and exponential moments in $L^2$ space.


title: The Parking Problem: A Game-Theoretic Solution

abstract: In this paper, we propose a game-theoretic solution to the parking problem, by exploiting a strategic-reasoning approach for multi-agent systems. Precisely, cars are modeled by agents interacting among them in a multi-player game setting, whose aim is to get a free slot parking-place satisfying their own constraints. The overall assignment is then given as a Nash equilibrium solution. We come up with an algorithm (and its implementation in a tool) that works in quadratic time. We give evidence of the benefits of our approach by running our tool on a large hospital parking space.


title: RE-EDS Using GAFF Topologies: Application to Relative Hydration Free-Energy Calculations for Large Sets of Molecules

abstract: Free-energy differences between pairs of end-states can be estimated based on molecular dynamics (MD) simulations using standard pathway-dependent methods such as thermodynamic integration (TI), free-energy perturbation, or Bennett's acceptance ratio. Replica-exchange enveloping distribution sampling (RE-EDS), on the other hand, allows for the sampling of multiple end-states in a single simulation without the specification of any pathways. In this work, we use the RE-EDS method as implemented in GROMOS together with generalized AMBER force field (GAFF) topologies, converted to a GROMOS-compatible format with a newly developed GROMOS++ program amber2gromos, to compute relative hydration free energies for a series of benzene derivatives. The results obtained with RE-EDS are compared to the experimental data as well as calculated values from the literature. In addition, the estimated free-energy differences in water and in vacuum are compared to values from TI calculations carried out with GROMACS. The hydration free energies obtained using RE-EDS for multiple molecules are found to be in good agreement with both the experimental data and the results calculated using other free-energy methods. While all considered free-energy methods delivered accurate results, the RE-EDS calculations required the least amount of total simulation time. This work serves as a validation for the use of GAFF topologies with the GROMOS simulation package and the RE-EDS approach. Furthermore, the performance of RE-EDS for a large set of 28 end-states is assessed with promising results.


title: A Study of Gender Impact in Self-supervised Models for Speech-to-Text Systems

abstract: Self-supervised models for speech processing emerged recently as popular foundation blocks in speech processing pipelines. These models are pre-trained on unlabeled audio data and then used in speech processing downstream tasks such as automatic speech recognition (ASR) or speech translation (ST). Since these models are now used in research and industrial systems alike, it becomes necessary to understand the impact caused by some features such as gender distribution within pre-training data. Using French as our investigation language, we train and compare gender-specific wav2vec 2.0 models against models containing different degrees of gender balance in their pre-training data. The comparison is performed by applying these models to two speech-to-text downstream tasks: ASR and ST. Results show the type of downstream integration matters. We observe lower overall performance using gender-specific pre-training before fine-tuning an end-to-end ASR system. However, when self-supervised models are used as feature extractors, the overall ASR and ST results follow more complex patterns in which the balanced pre-trained model does not necessarily lead to the best results. Lastly, our crude 'fairness' metric, the relative performance difference measured between female and male test sets, does not display a strong variation from balanced to gender-specific pre-trained wav2vec 2.0 models.


title: A Variational Approach For Price Formation Models In One Dimension

abstract: In this paper, we study a class of first-order mean-field games (MFGs) that model price formation. Using Poincar{\'e} Lemma, we eliminate one of the equations and obtain a variational problem for a single function. This variational problem offers an alternative approach for the numerical solution of the original MFGs system. We show a correspondence between solutions of the MFGs system and the variational problem. Moreover, we address the existence of solutions for the variational problem using the direct method in the calculus of variations. We end the paper with numerical results for a linear-quadratic model.


title: The Vicomtech Spoofing-Aware Biometric System for the SASV Challenge

abstract: This paper describes our proposed integration system for the spoofing-aware speaker verification challenge. It consists of a robust spoofing-aware verification system that use the speaker verification and antispoofing embeddings extracted from specialized neural networks. First, an integration network, fed with the test utterance's speaker verification and spoofing embeddings, is used to compute a spoof-based score. This score is then linearly combined with the cosine similarity between the speaker verification embeddings from the enrollment and test utterances, thus obtaining the final scoring decision. Moreover, the integration network is trained using a one-class loss function to discriminate between target trials and unauthorized accesses. Our proposed system is evaluated in the ASVspoof19 database, exhibiting competitive performance compared to other integration approaches. In addition, we test, along with our integration approach, state of the art speaker verification and antispoofing systems based on self-supervised learning, yielding high-performance speech biometric systems.


title: Strain Effect on Air-Stability of Monolayer CrSe2

abstract: The discovery of two dimensional (2D) magnetic materials has brought great research value for spintronics and data storage devices. However, their air-stability as well as the oxidation mechanism has not been unveiled, which limits their further applications. Here, by first-principles calculations, we carried out a detailed study on the oxidation process of monolayer CrSe2 and biaxial tensile strain effect. We found dissociation process of O2 on pristine CrSe2 sheet is an endothermic reaction with a reaction energy barrier of 0.53 eV, indicating its thermodynamics stability. However, such a process becomes exothermic under a biaxial tensile strain reaching 1%, accompanying with a decreased reaction barrier, leading to reduced stability. These results manifest that in-plane strain plays a significant role in modifying air-stability in CrSe2 and shed considerable light on searching appropriate substrate to stabilize 2D magnetic materials.


title: Variance estimation for Sequential Monte Carlo Algorithms: a backward sampling approach

abstract: In this paper, we consider the problem of online asymptotic variance estimation for particle filtering and smoothing. Current solutions for the particle filter rely on the particle genealogy and are either unstable or hard to tune in practice. We propose to mitigate these limitations by introducing a new estimator of the asymptotic variance based on the so called backward weights. The resulting estimator is weakly consistent and trades computational cost for more stability and reduced variance. We also propose a more computationally efficient estimator inspired by the PaRIS algorithm of Olsson & Westerborn. As an application, particle smoothing is considered and an estimator of the asymptotic variance of the Forward Filtering Backward Smoothing estimator applied to additive functionals is provided.


title: The period isomorphism in tame geometry

abstract: We describe singular homology of a manifold $X$ via simplices $\sigma:\Delta_d\to X$ that satisfy Stokes' formula with respect to all differential forms. The notion is geared to the case of tame geometry (definable manifolds with respect to an o-minimal structure), where it gives a description of the period pairing with de Rham cohomology via definable $\sigma$'s.


title: How stable are Transferability Metrics evaluations?

abstract: Transferability metrics is a maturing field with increasing interest, which aims at providing heuristics for selecting the most suitable source models to transfer to a given target dataset, without fine-tuning them all. However, existing works rely on custom experimental setups which differ across papers, leading to inconsistent conclusions about which transferability metrics work best. In this paper we conduct a large-scale study by systematically constructing a broad range of 715k experimental setup variations. We discover that even small variations to an experimental setup lead to different conclusions about the superiority of a transferability metric over another. Then we propose better evaluations by aggregating across many experiments, enabling to reach more stable conclusions. As a result, we reveal the superiority of LogME at selecting good source datasets to transfer from in a semantic segmentation scenario, NLEEP at selecting good source architectures in an image classification scenario, and GBC at determining which target task benefits most from a given source model. Yet, no single transferability metric works best in all scenarios.


title: Asymptotic Theories of Classes Defined by Forbidden Homomorphisms

abstract: We study the first-order almost-sure theories for classes of finite structures that are specified by homomorphically forbidding a set $\mathcal{F}$ of finite structures. If $\mathcal{F}$ consists of undirected graphs, a full description of these theories can be derived from the Kolaitis-Pr\"omel-Rothschild theorem, which treats the special case where $\mathcal{F} = \{K_n\}$. The corresponding question for finite sets $\mathcal{F}$ of finite directed graphs is wide open. We present a full description of the almost-sure theories of classes described by homomorphically forbidding finite sets $\mathcal{F}$ of oriented trees; all of them are $\omega$-categorical. In our proof, we establish a result of independent interest, namely that every constraint satisfaction problem for a finite digraph has first-order convergence, and that the corresponding asymptotic theory can be described as a finite linear combination of $\omega$-categorical theories.


title: Construction of Machine-Learning Interatomic Potential Under Heat Flux Regularization and Its Application to Power Spectrum Analysis for Silver Chalcogenides

abstract: We propose a data-driven approach for constructing machine-learning interatomic potentials (MLIPs) trained under a regularization with the aim of avoiding nonphysical heat flux. Specifically, we introduce a regularization term for the heat flux into the cost function of MLIPs to be minimized. Since the treatment of heat flux using MLIPs with regularization can be decomposed into elemental contributions or conducted in frequency space, this approach is expected to be useful for investigating the origin of thermal conductivity obtained from the Green-Kubo formula. However, the strength of regularization needs to be appropriately set because it may reduce not only the nonphysical part but also the intrinsic heat flux one. To this end, we investigated the conditions for constructing MLIPs that can reproduce the power spectra of heat flux associated with the empirical interatomic potential of Ag$_2$Se, which consists of pairwise functions and do not contain a nonphysical heat flux. The appropriate strength could be estimated from the variation of the magnitude of regularization term as well as root mean square errors for total potential energy, atomic force, and virial stress with respect to the strengths, without reference spectrum data. As an application example, we explored the differences in power spectra between superionic and nonsuperionic conducting phases based on the heat flux regularization to MLIPs trained with the first-principles calculation data of Ag$_2$S. Furthermore, our results demonstrate that training with the regularization improves the robustness of MLIPs as well as the reduction of the nonphysical heat flux.


title: Carleson measures and the range of a Ces\`aro-like operator acting on $H^\infty$

abstract: In this paper, by describing characterizations of Carleson type measures on $[0,1)$, we determine the range of a Ces\`aro-like operator acting on $H^\infty$. A special case of our result gives an answer to a question posed by P. Galanopoulos, D. Girela and N. Merch\'an recently.


title: Re-examining Distillation For Continual Object Detection

abstract: Training models continually to detect and classify objects, from new classes and new domains, remains an open problem. In this work, we conduct a thorough analysis of why and how object detection models forget catastrophically. We focus on distillation-based approaches in two-stage networks; the most-common strategy employed in contemporary continual object detection work.Distillation aims to transfer the knowledge of a model trained on previous tasks -- the teacher -- to a new model -- the student -- while it learns the new task. We show that this works well for the region proposal network, but that wrong, yet overly confident teacher predictions prevent student models from effective learning of the classification head. Our analysis provides a foundation that allows us to propose improvements for existing techniques by detecting incorrect teacher predictions, based on current ground-truth labels, and by employing an adaptive Huber loss as opposed to the mean squared error for the distillation loss in the classification heads. We evidence that our strategy works not only in a class incremental setting, but also in domain incremental settings, which constitute a realistic context, likely to be the setting of representative real-world problems.


title: Restricting directions for Kakeya sets

abstract: We prove that the Kakeya maximal conjecture is equivalent to the $\Omega$-Kakeya maximal conjecture. This completes a recent result in [2] where Keleti and Math{\'e} proved that the Kakeya conjecture is equivalent to the $\Omega$-Kakeya conjecture. Moreover, we improve concrete bound on the Hausdorff dimension of a $\Omega$-Kakeya set : for any Bore set $\Omega$ in S n--1 , we prove that if X $\subset$ R n contains for any e $\in$ $\Omega$ a unit segment oriented along e then we have dX $\ge$ 6 11 d$\Omega$ + 1 where dE denotes the Hausdorff dimension of a set E.


title: Safe Controller for Output Feedback Linear Systems using Model-Based Reinforcement Learning

abstract: The objective of this research is to enable safety-critical systems to simultaneously learn and execute optimal control policies in a safe manner to achieve complex autonomy. Learning optimal policies via trial and error, i.e., traditional reinforcement learning, is difficult to implement in safety-critical systems, particularly when task restarts are unavailable. Safe model-based reinforcement learning techniques based on a barrier transformation have recently been developed to address this problem. However, these methods rely on full state feedback, limiting their usability in a real-world environment. In this work, an output-feedback safe model-based reinforcement learning technique based on a novel barrier-aware dynamic state estimator has been designed to address this issue. The developed approach facilitates simultaneous learning and execution of safe control policies for safety-critical linear systems. Simulation results indicate that barrier transformation is an effective approach to achieve online reinforcement learning in safety-critical systems using output feedback.


title: Ergodic control of a heterogeneous population and application to electricity pricing

abstract: We consider a control problem for a heterogeneous population composed of agents able to switch at any time between different options. The controller aims to maximize an average gain per time unit, supposing that the population is of infinite size. This leads to an ergodic control problem for a "mean-field" Markov Decision Process in which the state space is a product of simplices, and the population evolves according to controlled linear dynamics. By exploiting contraction properties of the dynamics in Hilbert's projective metric, we prove that the infinite-dimensional ergodic eigenproblem admits a solution and show that the latter is in general non unique. This allows us to obtain optimal strategies, and to quantify the gap between steady-state strategies and optimal ones. In particular, we prove in the one-dimensional case that there exist cyclic policies -- alternating between discount and profit taking stages -- which secure a greater gain than constant-price policies. On numerical aspects, we develop a policy iteration algorithm with "on-the-fly" generated transitions, specifically adapted to decomposable models, leading to substantial memory savings. We finally apply our results on realistic instances coming from an electricity pricing problem encountered in the retail markets, and numerically observe the emergence of cyclic promotions for sufficient inertia in the customer behavior.


title: Computer-Aided Extraction of Select MRI Markers of Cerebral Small Vessel Disease: A Systematic Review

abstract: Cerebral small vessel disease (CSVD) is a major vascular contributor to cognitive impairment in ageing, including dementias. Imaging remains the most promising method for in vivo studies of CSVD. To replace the subjective and laborious visual rating approaches, emerging studies have applied state-of-the-art artificial intelligence to extract imaging biomarkers of CSVD from MRI scans. We aimed to summarise published computer-aided methods to examine three imaging biomarkers of CSVD, namely cerebral microbleeds (CMB), dilated perivascular spaces (PVS), and lacunes of presumed vascular origin. Seventy-one classical image processing, classical machine learning, and deep learning studies were identified. CMB and PVS have been better studied, compared to lacunes. While good performance metrics have been achieved in local test datasets, there have not been generalisable pipelines validated in different research or clinical cohorts. Transfer learning and weak supervision techniques have been applied to accommodate the limitations in training data. Future studies could consider pooling data from multiple sources to increase diversity, and validating the performance of the methods using both image processing metrics and associations with clinical measures.


title: Study of general relativistic magnetohydrodynamic accretion flow around black holes

abstract: We present a novel approach to study the global structure of steady, axisymmetric, advective, geometrically thin, magnetohydrodynamic (MHD) accretion flow around black holes in full general relativity (GR). Considering ideal MHD conditions and relativistic equation of state (REoS), we solve the governing equations to obtain all possible smooth global accretion solutions. We examine the dynamical and thermodynamical properties of accreting matter in terms of the flow parameters, namely energy (${\cal E}$), angular momentum (${\cal L}$), and local magnetic fields. For a thin GRMHD flow, we observe that toroidal component ($b^\phi$) of the magnetic fields generally dominates over radial component ($b^r$) at the disk equatorial plane. This evidently suggests that toroidal magnetic field indeed plays important role in regulating the disk dynamics. We further notice that the disk remains mostly gas pressure ($p_{\rm gas}$) dominated ($\beta = p_{\rm gas}/p_{\rm mag} > 1$, $p_{\rm mag}$ refers magnetic pressure) except at the near horizon region, where magnetic fields become dynamically important ($\beta \sim 1$). We observe that Maxwell stress is developed that eventually yields angular momentum transport inside the disk. Towards this, we calculate the viscosity parameter ($\alpha$) that appears to be radially varying. In addition, we examine the underlying scaling relation between $\alpha$ and $\beta$, which clearly distinguishes two domains coexisted along the radial extent of the disk. Finally, we discuss the utility of the present formalism in the realm of GRMHD simulation studies.


title: Modules at boundary points, fiberwise Bergman kernels, and log-subharmonicity

abstract: In this article, we consider Bergman kernels with respect to modules at boundary points, and obtain a log-subharmonicity property of the Bergman kernels, which deduces a concavity property related to the Bergman kernels. As applications, we reprove the sharp effectiveness result related to a conjecture posed by Jonsson-Must\c{a}t\u{a} and the effectiveness result of strong openness property of the modules at boundary points.


title: Crystallographic Groups and Calabi-Yau 3-folds of Type $\mathrm{III}_0$

abstract: We provide a fine classification of Gorenstein quotients of three-dimensional abelian varieties with isolated singularities, up to biholomorphism and homeomorphism. This refines a result of Oguiso and Sakurai about fibred Calabi-Yau threefolds of type $\mathrm{III}_0$. Our proof relies on methods of crystallographic group theory applied to the orbifold fundamental groups of such quotients.


title: Vibrational response functions for multidimensional electronic spectroscopy in the adiabatic regime: a coherent-state approach

abstract: Multi-dimensional spectroscopy represents a particularly insightful tool for investigating the interplay of nuclear and electronic dynamics, which plays an important role in a number of photophysical processes and photochemical reactions. Here we present a coherent state representation of the vibronic dynamics and of the resulting response functions for the widely used linearly displaced oscillator model. Analytical expressions are initially derived for the case of third-order response functions in an N-level system, with ground state initialization of the oscillator (zero-temperature limit). The results are then generalized to the case of M-th order response functions, with arbitrary M. The formal derivation is translated into a simple recipe, whereby the explicit analytical expressions of the response functions can be derived directly from the Feynman diagrams. We further generalize to the whole set of initial coherent states, which form an overcomplete basis. This allows one in principle to derive the dependence of the response functions on arbitrary initial states of the vibrational modes and is here applied to the case of thermal states. Finally, a non-Hermitian Hamiltonian approach is used to include in the above expressions the effect of vibrational relaxation.


title: Anchoring molecular rotors by on-surface synthesis

abstract: Single molecular rotor is an important component for constructing bot-tom-up molecular mechanical machines and a window for shedding light on complex physical and chemical questions about motions of organic molecules on surfaces. Stability of each component in such a molecular construction site is a crucial prerequisite. To realize a stable stepwise rotation of a molecule by a low temperature scanning tunneling microscope (LT-STM), atomic scale axles is particularly important. An ideal atomic scale axle is expected to balance between anchoring and mobility of rotating a single molecule on a metal surface under external excitations. In this Chapter, several chemical anchoring strategies on how to pin a molecular rotor are tested and discussed. Tip-induced manipulation and motion analysis are used as tools to investigate the properties and functionality of the proposed strategies.


title: Aging effects in Schelling Segregation model

abstract: The Schelling model has become a paradigm in social sciences to explain the emerge of residential spatial segregation even in the presence of high tolerance to mixed neighborhoods by the side of citizens. In particular, we consider a noisy constrained version of the Schelling model, in which agents maximize its satisfaction, related to the composition of the local neighborhood, by infinite-range movements towards satisfying vacancies. We add to it an aging effect by making the probability of agents to move inversely proportional to the time they have been satisfied in their present location. This mechanism simulates the development of an emotional attachment to a location where an agent has been satisfied for a while. The introduction of aging has several major impacts on the model statics and dynamics: the phase transition between a segregated and a mixed phase of the original model disappears, and we observe segregated states with high level of agent satisfaction even for high values of the tolerance. In addition, the new segregated phase is dynamically characterized by a slow power-law coarsening process and by a glassy-like dynamics in which the asymptotic time translational invariance is broken.


title: Online Ordinal Problems: Optimality of Comparison-based Algorithms and their Cardinal Complexity

abstract: We consider ordinal online problems, i.e., tasks that only require pairwise comparisons between elements of the input. A classic example is the secretary problem and the game of googol, as well as its multiple combinatorial extensions such as $(J,K)$-secretary, $2$-sided game of googol, ordinal-competitive matroid secretary. A natural approach to these tasks is to use ordinal algorithms that at each step only consider relative ranking among the arrived elements, without looking at the numerical values of the input. We formally study the question of how cardinal algorithms can improve upon ordinal algorithms. We give first a universal construction of the input distribution for any ordinal online problem, such that the advantage of any cardinal algorithm over the ordinal algorithms is at most $1+\varepsilon$ for arbitrary small $\varepsilon> 0$. As an implication, previous lower bounds for the aforementioned variants of secretary problems hold not only against ordinal algorithms, but also against any online algorithm. However, the value range of the input elements in our construction is huge: $N=O\left(\frac{n^3\cdot n!\cdot n!}{\varepsilon}\right)\uparrow\uparrow(n-1)$ (tower of exponents) for an input sequence of length $n$. As a second result, we identify a class of natural ordinal problems and find cardinal algorithm with a matching advantage of $1+ \Omega \left(\frac{1}{\log^{(c)}N}\right),$ where $\log^{(c)}N=\log\ldots\log N$ with $c$ iterative logs and $c$ is an arbitrary constant. Further, we introduce the cardinal complexity for any given ordinal online task: the minimum size $N(\varepsilon)$ of different numerical values in the input such the advantage of cardinal over ordinal algorithms is at most $1+\varepsilon$. As a third result, we show that the game of googol has much lower cardinal complexity of $N=O\left(\left(\frac{n}{\varepsilon}\right)^n\right)$.


title: Stability of estimates for fundamental solutions under Feynman-Kac perturbations for symmetric Markov processes

abstract: In this paper, when a given symmetric Markov process X satisfies the stability of global heat kernel two-sided (upper) estimates by Markov perturbations, we give a necessary and sufficient condition on the stability of global two-sided (upper) estimates for fundamental solution of Feynman-Kac semigroup of X. As a corollary, under the same assumptions, a weak type global two-sided (upper) estimates holds for the fundamental solution of Feynman-Kac semigroup with (extended) Kato class conditions for measures. This generalizes all known results on the stability of global integral kernel estimates by symmetric Feynman-Kac perturbations with Kato class conditions in the framework of symmetric Markov processes.


title: Braids, metallic ratios and periodic solutions of the $2n$-body problem

abstract: Periodic solutions of the planar $N$-body problem determine braids through the trajectory of $N$ bodies. Braid types can be used to classify periodic solutions. According to the Nielsen-Thurston classification of surface automorphisms, braids fall into three types: periodic, reducible and pseudo-Anosov. To a braid of pseudo-Anosov type, there is an associated stretch factor greater than 1, and this is a conjugacy invariant of braids. In 2006, the third author discovered a family of multiple choreographic solutions of the planar $2n$-body problem. We prove that braids obtained from the solutions in the family are of pseudo-Anosov type, and their stretch factors are expressed in metallic ratios. New numerical periodic solutions of the planar $2n$-body problem are also provided.


title: The rotation of planet-hosting stars

abstract: Understanding the distribution of angular momentum during the formation of planetary systems is a key topic in astrophysics. Data from the $\textit{Kepler}$ and $\textit{Gaia}$ missions allow to investigate whether stellar rotation is correlated with the presence of planets around Sun-like stars. Here, we perform a statistical analysis of the rotation period of 493 planet-hosting stars. These are matched to a control sample, without detected planets, with similar effective temperatures, masses, radii, metallicities, and ages. We find that planet-hosting stars rotate on average $1.63 \pm 0.40$ days slower. The difference in rotation is statistically significant both in samples including and not including planets confirmed by radial velocity follow-up observations. We also analyse the dependence of rotation distribution on various stellar and planetary properties. Our results could potentially be explained by planet detection biases depending on the rotation period of their host stars in both RV and transit methods. Alternatively, they could point to a physical link between the existence of planets and stellar rotation, emphasising the need to understand the role of angular momentum in the formation and evolution planetary systems.


title: Characterization of Graphene/Ionic Liquid Memristive Devices for Neuromorphic Systems

abstract: Flexible and biocompatible memristive devices are particularly attractive for bioelectronic systems due to the interest in improving computing capabilities and the motivation to interface electronics with biological systems including drug delivery, neural interfaces and biosensors. Structures made of more unorthodox, organic material can address different issues due to their characteristics: flexibility, conformability, biocompatibility and simple and low-cost fabrication. It has been observed that gating graphene/ionic liquid (IL) devices leads to the formation of an electrical double layer (a thin layer of ions with a thickness of a few nanometers) at the graphene/IL interface due to the local potential difference which also controls the local conductivity. This structure provides a memristive mechanism based on a dynamic p-n junction formation along the channel. Motivated by this memristive behavior, graphene/IL devices were assembled with the aim of demonstrating memristive behavior and associative learning. This work investigates memristive properties of flexible graphene/ IL devices on polymer substrates. The I-V characteristics of these novel devices and switching mechanism are investigated. Two distinct topologies (single input, single output and double input, single output) of devices are manufactured and tested to mimic conditioning. It is observed that the application of voltage pulse trains of both positive and negative polarities increases the device conductance and allows larger currents to pass after repetitive excitation. This characteristic was exploited to condition devices and emulate associative learning.


title: Phonon heat capacity and self-heating normal domains in NbTiN nanostrips

abstract: Self-heating normal domains in thin superconducting NbTiN nanostrips were characterized via steady-state hysteretic current-voltage characteristics measured at different substrate temperatures. The temperature dependence and the magnitude of the current, which sustains a domain in equilibrium at different voltages, can only be explained with a phonon heat capacity noticeably less than expected for 3-d Debye phonons. This reduced heat capacity coincides with the value obtained earlier from magnetoconductance and photoresponse studies of the same films. The rate of heat flow from electrons at a temperature Te to phonons in the substrate at a temperature TB is proportional to (T_e^p - T_B^p) with the exponent p~3, which differs from the exponents for heat flows mediated by the electron-phonon interaction or by escaping of 3-d Debye phonons via the film/substrate interface. We attribute both findings to the effect of the mean grain size on the phonon spectrum of thin granular NbTiN films. Our findings are significant for understanding the thermal transport in superconducting devices exploiting thin granular films.


title: Life and death of the Bose polaron

abstract: Spectroscopic and interferometric measurements complement each other in extracting the fundamental properties of quantum many-body systems. While spectroscopy provides precise measurements of equilibrated energies, interferometry can elucidate the dynamical evolution of the system. For an impurity immersed in a bosonic medium, both are equally important for understanding the quasiparticle physics of the Bose polaron. Here, we compare the interferometric and spectroscopic timescales to the underlying dynamical regimes of the impurity dynamics and the polaron lifetime, highlighting the capability of the interferometric approach to clearly resolve polaron dynamics. In particular, interferometric measurements of the coherence amplitude at strong interactions reveal faster quantum dynamics at large repulsive interaction strengths than at unitarity. These observations are in excellent agreement with a short-time theoretical prediction including both the continuum and the attractive polaron branch. For longer times, qualitative agreement with a many-body theoretical prediction which includes both branches is obtained. Moreover, the polaron energy is extracted from interferometric measurements of the observed phase velocity in agreement with previous spectroscopic results from weak to strong attractive interactions. Finally, the phase evolution allows for the measurement of an energetic equilibration timescale, describing the initial approach of the phase velocity to the polaron energy. Theoretically, this is shown to lie within the regime of universal dynamics revealing a fast initial evolution towards the formation of polarons. Our results give a comprehensive picture of the many-body physics governing the Bose polaron and thus validates the quasiparticle framework for further studies.


title: Order Selection Prophet Inequality: From Threshold Optimization to Arrival Time Design

abstract: In the classical prophet inequality, a gambler faces a sequence of items, whose values are drawn independently from known distributions. Upon the arrival of each item, its value is realized and the gambler either accepts it and the game ends, or irrevocably rejects it and continues to the next item. The goal is to maximize the value of the selected item and compete against the expected maximum value of all items. A tight competitive ratio of $\frac{1}{2}$ is established in the classical setting and various relaxations have been proposed to surpass the barrier, including the i.i.d. model, the order selection model, and the random order model. In this paper, we advance the study of the order selection prophet inequality, in which the gambler is given the extra power for selecting the arrival order of the items. Our main result is a $0.725$-competitive algorithm, that substantially improves the state-of-the-art $0.669$ ratio by Correa, Saona and Ziliotto~(Math. Program. 2021), achieved in the harder random order model. Recently, Agrawal, Sethuraman and Zhang~(EC 2021) proved that the task of selecting the optimal order is NP-hard. Despite this fact, we introduce a novel algorithm design framework that translates the discrete order selection problem into a continuous arrival time design problem. From this perspective, we can focus on the arrival time design without worrying about the threshold optimization afterwards. As a side result, we achieve the optimal $0.745$ competitive ratio by applying our algorithm to the i.i.d. model.


title: Empirical adequacy of the time operator canonically conjugate to a Hamiltonian generating translations

abstract: To admit a canonically conjugate time operator, the Hamiltonian has to be a generator of translations (like the momentum operator generates translations in space), so its spectrum must be unbounded. But the Hamiltonian governing our world is thought to be bounded from below. Also, judging by the number of fields and parameters of the Standard Model, the Hamiltonian seems much more complicated. In this article I give examples of worlds governed by Hamiltonians generating translations. They can be expressed as a partial derivative operator just like the momentum operator, but when expressed in function of other observables they can exhibit any level of complexity. The examples include any quantum world realizing a standard ideal measurement, any quantum world containing a clock or a free massless fermion, the quantum representation of any deterministic time-reversible dynamical system without time loops, and any quantum world that cannot return to a past state. Such worlds are as sophisticated as our world, but they admit a time operator. I show that, despite having unbounded Hamiltonian, they do not decay to infinite negative energy any more than any quantum or classical world. Since two such quantum systems of the same Hilbert space dimension are unitarily equivalent even if the physical content of their observables is very different, they are concrete counterexamples to Hilbert Space Fundamentalism (HSF). Taking the observables into account removes the ambiguity of HSF and the clock ambiguity problem attributed to the Page-Wootters formalism, also caused by assuming HSF. These results provide additional motivations to restore the spacetime symmetry in the formulation of Quantum Mechanics and for the Page-Wootters formalism.

categories: quant-ph math-ph math.MP physics.hist-ph


title: Measuring a population of spin waves from the electrical noise of an inductively coupled antenna

abstract: We study how a population of spin waves can be characterized from the analysis of the electrical microwave noise delivered by an inductive antenna placed in its vicinity. The measurements are conducted on a synthetic antiferromagnetic thin stripe covered by a micron-sized antenna that feeds a spectrum analyser after amplification. The antenna noise contains two contributions. The population of incoherent spin waves generates a fluctuating field that is sensed by the antenna: this is the "magnon noise". The antenna noise also contains the contribution of the electronic fluctuations: the Johnson-Nyquist noise. The latter depends on all impedances within the measurement circuit, which includes the antenna self-inductance. As a result, the electronic noise contains information about the magnetic susceptibility of the stripe, though it does not inform on the absolute amplitude of the magnetic fluctuations. For micrometer-sized systems at thermal equilibrium, the electronic noise dominates and the pure magnon noise cannot be determined. If in contrast the spinwave bath is not at thermal equilibrium with the measurement circuit, and if the spin wave population can be changed then one could measure a mode-resolved effective magnon temperature provided specific precautions are implemented.


title: The modular Dirac equation

abstract: We introduce a new equation we dubbed the modular Dirac equation to see and reconstruct a spin 1/2 particle at the center of a nearly $AdS_2$ spacetime in the entanglement wedge reconstruction paradigm and we study hidden symmetries of this spacetime, too. Various properties of the Dirac modular operator are studied: a generalized Tomita-Takesaki construction, the connection to the Schwarzian derivative of the logarithm of the modular Dirac operator, the link with the an allowable complex metric, the connection to regenesis, we write the corresponding Lagrangian of the modular Dirac equation and we put in perspective some limitations of the current bulk reconstruction in the case of unknown couplings.


title: Degradation-agnostic Correspondence from Resolution-asymmetric Stereo

abstract: In this paper, we study the problem of stereo matching from a pair of images with different resolutions, e.g., those acquired with a tele-wide camera system. Due to the difficulty of obtaining ground-truth disparity labels in diverse real-world systems, we start from an unsupervised learning perspective. However, resolution asymmetry caused by unknown degradations between two views hinders the effectiveness of the generally assumed photometric consistency. To overcome this challenge, we propose to impose the consistency between two views in a feature space instead of the image space, named feature-metric consistency. Interestingly, we find that, although a stereo matching network trained with the photometric loss is not optimal, its feature extractor can produce degradation-agnostic and matching-specific features. These features can then be utilized to formulate a feature-metric loss to avoid the photometric inconsistency. Moreover, we introduce a self-boosting strategy to optimize the feature extractor progressively, which further strengthens the feature-metric consistency. Experiments on both simulated datasets with various degradations and a self-collected real-world dataset validate the superior performance of the proposed method over existing solutions.


title: Fermi-surface origin of skyrmion lattices in centrosymmetric rare-earth intermetallics

abstract: We show from first-principles that barrel-shaped structures within the Fermi surface of the centrosymmetric intermetallic compounds GdRu$_2$Si$_2$ and Gd$_2$PdSi$_3$ give rise to Fermi surface nesting, which determines the strength and sign of quasi-two-dimensional Ruderman-Kittel-Kasuya-Yosida pairwise exchange interactions between the Gd moments. This is the principal mechanism leading to their helical single-$q$ spin-spiral ground states, providing transition temperatures and magnetic periods in good agreement with experiment. Using atomistic spin-dynamic simulations, we draw a direct line between the subtleties of the three-dimensional Fermi surface topology and the stabilization of a square skyrmion lattice in GdRu$_2$Si$_2$ at applied magnetic fields as observed in experiment.


title: Cored Dark Matter halos in the Cosmic Neutrino Background

abstract: We study the impact of the interaction between DM and the cosmic neutrino background on the evolution of galactic dark matter halos. The energy transfer from the neutrinos to the dark matter can heat the center of the galaxy and make it cored. This effect is efficient for the small galaxies such as the satellite galaxies of the Milky Way and we can put conservative constraint on the non-relativistic elastic scattering cross section as $\sigma_{\chi\nu}\lesssim 10^{-31} {\rm cm}^2$ for 0.1 keV dark matter and 0.1 eV neutrino.


title: The Riesz basisness of the eigenfunctions and eigenvectors connected to the stability problem of a fluid-conveying tube with boundary control

abstract: In the present paper we study the stability problem for a stretched tube conveying fluid with boundary control. The abstract spectral problem concerns operator pencils of the forms \begin{equation*} \mathcal{M}\left(\lambda\right)=\lambda^2G+\lambda D+C\quad\text{and}\quad\mathcal{P}\left(\lambda\right)=\lambda I-T \end{equation*} taking values in different Hilbert product spaces. Thorough analysis is made of the location and asymptotics of eigenvalues in the complex plane and Riesz basisness of the corresponding eigenfunctions and eigenvectors. Well-posedness of the closed-loop system represented by the initial-value problem for the abstract equation \begin{equation*} \dot{{x}}\left(t\right)=Tx\left(t\right) \end{equation*} is established in the framework of semigroups as well as expansions of the solutions in terms of eigenvectors and stability of the closed-loop system operator $T$. For the parameters of the problem we give regions, larger than those in the literature, in which a stretched tube with flow, simply supported at one end, with a boundary controller applied at the other end, can be made exponentially stable.


title: Dynamic Network-Code Design for Satellite Networks

abstract: Internet access from space enjoys renaissance as satellites in Mega-Constellations is no longer fictitious. Network capacity, subject to power and computational complexity constraints among other challenges, is a major goal in this type of networks. This work studies Network Coding in the presence of dynamically changing network conditions. The notion of generalized acyclic network is introduced and employed for promoting the generation of linear-multicast network code for what is considered to be a cyclic network. The performance of several network coding schemes, among these is the known static network code, is evaluated by a STK simulation for a swarm of communicating satellites, conceptually based on the Iridium system. Exploiting the prior knowledge of the networks topology over time, new network coding approaches are described, whose aim is to better cope with the time-varying, dynamic behavior of the network. It is demonstrated that in all cases, pertaining to our example network, static network codes under-perform compared to the presented approach. In addition, an efficient test for identifying the most appropriate coding approach is presented.


title: Circuit Model Reduction with Scaled Relative Graphs

abstract: Continued fractions are classical representations of complex objects (for example, real numbers) as sums and inverses of simpler objects (for example, integers). The analogy in linear circuit theory is a chain of series/parallel one-ports: the port behavior is a continued fraction containing the port behaviors of its elements. Truncating a continued fraction is a classical method of approximation, which corresponds to deleting the circuit elements furthest from the port. We apply this idea to chains of series/parallel one-ports composed of arbitrary nonlinear relations. This gives a model reduction method which automatically preserves properties such as incremental positivity. The Scaled Relative Graph (SRG) gives a graphical representation of the original and truncated port behaviors. The difference of these SRGs gives a bound on the approximation error, which is shown to be competitive with existing methods.


title: The Potential Method For Price-Formation Models

abstract: We consider the mean-field game price formation model introduced by Gomes and Sa\'ude. In this MFG model, agents trade a commodity whose supply can be deterministic or stochastic. Agents maximize profit, taking into account current and future prices. The balance between supply and demand determines the price. We introduce a potential function that converts the MFG into a convex variational problem. This variational formulation is particularly suitable for machine learning approaches. Here, we use a recurrent neural network to solve this problem. In the last section of the paper, we compare our results with known analytical solutions.


title: SAM-kNN Regressor for Online Learning in Water Distribution Networks

abstract: Water distribution networks are a key component of modern infrastructure for housing and industry. They transport and distribute water via widely branched networks from sources to consumers. In order to guarantee a working network at all times, the water supply company continuously monitors the network and takes actions when necessary -- e.g. reacting to leakages, sensor faults and drops in water quality. Since real world networks are too large and complex to be monitored by a human, algorithmic monitoring systems have been developed. A popular type of such systems are residual based anomaly detection systems that can detect events such as leakages and sensor faults. For a continuous high quality monitoring, it is necessary for these systems to adapt to changed demands and presence of various anomalies. In this work, we propose an adaption of the incremental SAM-kNN classifier for regression to build a residual based anomaly detection system for water distribution networks that is able to adapt to any kind of change.


title: Disentangling Abstraction from Statistical Pattern Matching in Human and Machine Learning

abstract: The ability to acquire abstract knowledge is a hallmark of human intelligence and is believed by many to be one of the core differences between humans and neural network models. Agents can be endowed with an inductive bias towards abstraction through meta-learning, where they are trained on a distribution of tasks that share some abstract structure that can be learned and applied. However, because neural networks are hard to interpret, it can be difficult to tell whether agents have learned the underlying abstraction, or alternatively statistical patterns that are characteristic of that abstraction. In this work, we compare the performance of humans and agents in a meta-reinforcement learning paradigm in which tasks are generated from abstract rules. We define a novel methodology for building "task metamers" that closely match the statistics of the abstract tasks but use a different underlying generative process, and evaluate performance on both abstract and metamer tasks. We find that humans perform better at abstract tasks than metamer tasks whereas common neural network architectures typically perform worse on the abstract tasks than the matched metamers. This work provides a foundation for characterizing differences between humans and machine learning that can be used in future work towards developing machines with more human-like behavior.


title: How Can We Develop Explainable Systems? Insights from a Literature Review and an Interview Study

abstract: Quality aspects such as ethics, fairness, and transparency have been proven to be essential for trustworthy software systems. Explainability has been identified not only as a means to achieve all these three aspects in systems, but also as a way to foster users' sentiments of trust. Despite this, research has only marginally focused on the activities and practices to develop explainable systems. To close this gap, we recommend six core activities and associated practices for the development of explainable systems based on the results of a literature review and an interview study. First, we identified and summarized activities and corresponding practices in the literature. To complement these findings, we conducted interviews with 19 industry professionals who provided recommendations for the development process of explainable systems and reviewed the activities and practices based on their expertise and knowledge. We compared and combined the findings of the interviews and the literature review to recommend the activities and assess their applicability in industry. Our findings demonstrate that the activities and practices are not only feasible, but can also be integrated in different development processes.


title: IoT with a Soft Touch: A Modular Remote Sensing Platform for STE(A)M Applications

abstract: Besides wide attraction in the industry, IoT is being used to advance STEM and STEAM education across a range of education levels. This work presents a remote sensing platform, named IoT with a Soft Touch, developed to achieve two goals. First, it aims to lower the technicality, stimulating the students to do STE(A)M. Second, the technology is to be used in `softer' applications (e.g., environmental and health care), thereby aiming to attract a more diverse set of student profiles. Students can easily build a wireless sensing device, with a specific application in mind. The modular design of the platform and an intuitive graphical configurator tool allows them to tailor the device's functionality to their needs. The sensor's data is transmitted wirelessly with LoRaWAN. The data can be viewed and analyzed on a dashboard, or the raw data can be extracted for further processing, e.g., as part of the school's STE(A)M curriculum. This work elaborates on the low-power and modular design challenges, and how the platform is used in education.


title: Using Pre-Trained Language Models for Producing Counter Narratives Against Hate Speech: a Comparative Study

abstract: In this work, we present an extensive study on the use of pre-trained language models for the task of automatic Counter Narrative (CN) generation to fight online hate speech in English. We first present a comparative study to determine whether there is a particular Language Model (or class of LMs) and a particular decoding mechanism that are the most appropriate to generate CNs. Findings show that autoregressive models combined with stochastic decodings are the most promising. We then investigate how an LM performs in generating a CN with regard to an unseen target of hate. We find out that a key element for successful `out of target' experiments is not an overall similarity with the training data but the presence of a specific subset of training data, i.e. a target that shares some commonalities with the test target that can be defined a-priori. We finally introduce the idea of a pipeline based on the addition of an automatic post-editing step to refine generated CNs.


title: Limiting conditions of Muckenhoupt and reverse H\"older classes on metric measure spaces

abstract: The natural maximal and minimal functions commute pointwise with the logarithm on $A_\infty$. We use this observation to characterize the spaces $A_1$ and $RH_\infty$ on metric measure spaces with a doubling measure. As the limiting cases of Muckenhoupt $A_p$ and reverse H\"older classes, respectively, their behavior is remarkably symmetric. On general metric measure spaces, an additional geometric assumption is needed in order to pass between $A_p$ and reverse H\"older descriptions. Finally, we apply the characterization to give simple proofs of several known properties of $A_1$ and $RH_\infty$, including a refined Jones factorization theorem. In addition, we show a boundedness result for the natural maximal function.


title: Complete hyperentangled Bell states analysis for polarization-spatial-time-bin degrees of freedom with unity fidelity

abstract: Hyperentangled states can outperform their classical counterparts on solving certain tasks. Here we present a simplified scheme for completely distinguishing two-photon hyperentangled Bell states in polarization, spatial, and time-bin degrees of freedom (DOFs). Unity fidelity can be achieved in principle without strong couple limitation between photon and quantum dot (QD), and the incomplete and imperfect QD-cavity interactions are prevented by single-photon detectors. In addition, auxiliary photons or DOFs are not required in our scheme. The necessary linear optical elements are fewer than the parity-check-based one.


title: Toward Density Functional Theory on Quantum Computers?

abstract: Quantum Chemistry and Physics have been pinpointed as killer applications for quantum computers, and quantum algorithms have been designed to solve the Schr\"odinger equation with the wavefunction formalism. It is yet limited to small systems, as their size is limited by the number of qubits available. Computations on large systems rely mainly on mean-field-type approaches such as density functional theory, for which no quantum advantage has been envisioned so far. In this work, we question this a priori by proposing a counter-intuitive mapping from the non-interacting to an auxiliary interacting Hamiltonian that may provide the desired advantage.


title: Optimal Workplace Occupancy Strategies during the COVID-19 Pandemic

abstract: During the COVID-19 pandemic, many organizations (e.g. businesses, companies, government facilities, etc.) have attempted to reduce infection risk by employing partial home office strategies. However, working from home can also reduce productivity for certain types of work and particular employees. Over the long term, many organizations therefore face a need to balance infection risk against productivity. Motivated by this trade-off, we model this situation as a bi-objective optimization problem and propose a practical approach to find trade-off (Pareto optimal) solutions. We present a new probabilistic framework to compute the expected number of infected employees as a function of key parameters including: the incidence level in the neighborhood of the organization, the COVID-19 transmission rate, the number of employees, the percentage of vaccinated employees, the testing frequency, and the contact rate among employees. We implement the model and the optimization algorithm and perform several numerical experiments with different parameter settings. Furthermore, we provide an online application based on the models and algorithms developed in this paper, which can be used to identify the optimal workplace occupancy rate for real-world organizations.


title: Shifted Substitution in Non-Commutative Multivariate Power Series with a View Toward Free Probability

abstract: We study a particular group law on formal power series in non-commuting variables induced by their interpretation as linear forms on a suitable graded connected word Hopf algebra. This group law is left-linear and is therefore associated to a pre-Lie structure on formal power series. We study these structures and show how they can be used to recast in a group theoretic form various identities and transformations on formal power series that have been central in the context of non-commutative probability theory, in particular in Voiculescu's theory of free probability.


title: WildNet: Learning Domain Generalized Semantic Segmentation from the Wild

abstract: We present a new domain generalized semantic segmentation network named WildNet, which learns domain-generalized features by leveraging a variety of contents and styles from the wild. In domain generalization, the low generalization ability for unseen target domains is clearly due to overfitting to the source domain. To address this problem, previous works have focused on generalizing the domain by removing or diversifying the styles of the source domain. These alleviated overfitting to the source-style but overlooked overfitting to the source-content. In this paper, we propose to diversify both the content and style of the source domain with the help of the wild. Our main idea is for networks to naturally learn domain-generalized semantic information from the wild. To this end, we diversify styles by augmenting source features to resemble wild styles and enable networks to adapt to a variety of styles. Furthermore, we encourage networks to learn class-discriminant features by providing semantic variations borrowed from the wild to source contents in the feature space. Finally, we regularize networks to capture consistent semantic information even when both the content and style of the source domain are extended to the wild. Extensive experiments on five different datasets validate the effectiveness of our WildNet, and we significantly outperform state-of-the-art methods. The source code and model are available online: https://github.com/suhyeonlee/WildNet.


title: Current-induced control of the polarization state in a polar metal based heterostructure SnSe/WTe$_2$

abstract: The concept of a polar metal proposes new approach of current-induced polarization control for ferroelectrics. We fabricate SnSe/WTe$_2$ heterostructure to experimentally investigate charge transport between two ferroelectric van der Waals materials with different polarization directions. WTe$_2$ is a polar metal with out-of-plane ferroelectric polarization, while SnSe ferroelectric semiconductor is polarized in-plane, so one should expect complicated polarization structure at the SnSe/WTe$_2$ interface. We study $dI/dV(V)$ curves, which demonstrate sharp symmetric drop to zero $dI/dV$ differential conductance at some threshold bias voltages $\pm V_{th}$, which are nearly symmetric in respect to the bias sign. While the gate electric field is too small to noticeably affect the carrier concentration, the positive and negative threshold positions are sensitive to the gate voltage. Also, SnSe/WTe$_2$ heterostructure shows re-entrant transition to the low-conductive $dI/dV=0$ state for abrupt change of the bias voltage even below the threshold values. This behavior can not be observed for single SnSe or WTe$_2$ flakes, so we interpret it as a result of the SnSe/WTe$_2$ interface coupling. In this case, some threshold value of the electric field at the SnSe/WTe$_2$ interface is enough to drive 90$^\circ$ change of the initial SnSe in-plane polarization in the overlap region. The polarization mismatch leads to the significant interface resistance contribution, analogously to the scattering of the charge carriers on the domain walls. Thus, we demonstrate polarization state control by electron transport through the SnSe/WTe$_2$ interface.


title: Computing second-order points under equality constraints: revisiting Fletcher's augmented Lagrangian

abstract: We address the problem of minimizing a smooth function under smooth equality constraints. Under regularity assumptions on these constraints, we propose a notion of approximate first- and second-order critical point which relies on the geometric formalism of Riemannian optimization. Using a smooth exact penalty function known as Fletcher's augmented Lagrangian, we propose an algorithm to minimize the penalized cost function which reaches $\varepsilon$-approximate second-order critical points of the original optimization problem in at most $\mathcal{O}(\varepsilon^{-3})$ iterations. This improves on current best theoretical bounds. Along the way, we show new properties of Fletcher's augmented Lagrangian, which may be of independent interest.


title: Mining Precise Test Oracle Modelled by FSM

abstract: Precise test oracles for reactive systems such as critical control systems and communication protocols can be modelled with deterministic finite state machines (FSMs). Among other roles, they serve in evaluating the correctness of systems under test. A great number of candidate precise oracles (shortly, candidates) can be produced at the system design phase due to uncertainties, e.g., when interpreting their requirements expressed in ambiguous natural languages. Selecting the proper candidate becomes challenging for an expert. We propose a test-driven approach to assist experts in this selection task. The approach uses a non deterministic FSM to represent the candidates, includes the partitioning of the candidates into subsets of candidates via Boolean encodings and requires the intervention of experts to select subsets. We perform an empirical evaluation of the applicability of the proposed approach.


title: Learning Commonsense-aware Moment-Text Alignment for Fast Video Temporal Grounding

abstract: Grounding temporal video segments described in natural language queries effectively and efficiently is a crucial capability needed in vision-and-language fields. In this paper, we deal with the fast video temporal grounding (FVTG) task, aiming at localizing the target segment with high speed and favorable accuracy. Most existing approaches adopt elaborately designed cross-modal interaction modules to improve the grounding performance, which suffer from the test-time bottleneck. Although several common space-based methods enjoy the high-speed merit during inference, they can hardly capture the comprehensive and explicit relations between visual and textual modalities. In this paper, to tackle the dilemma of speed-accuracy tradeoff, we propose a commonsense-aware cross-modal alignment (CCA) framework, which incorporates commonsense-guided visual and text representations into a complementary common space for fast video temporal grounding. Specifically, the commonsense concepts are explored and exploited by extracting the structural semantic information from a language corpus. Then, a commonsense-aware interaction module is designed to obtain bridged visual and text features by utilizing the learned commonsense concepts. Finally, to maintain the original semantic information of textual queries, a cross-modal complementary common space is optimized to obtain matching scores for performing FVTG. Extensive results on two challenging benchmarks show that our CCA method performs favorably against state-of-the-arts while running at high speed. Our code is available at https://github.com/ZiyueWu59/CCA.


title: Atomistic Global Optimization X: A Python package for optimization of atomistic structures

abstract: Modelling and understanding properties of materials from first principles require knowledge of the underlying atomistic structure. This entails knowing the individual identity and position of all involved atoms. Obtaining such information for macro-molecules, nano-particles, clusters, and for the surface, interface, and bulk phases of amorphous and solid materials represents a difficult high dimensional global optimization problem. The rise of machine learning techniques in materials science has, however, led to many compelling developments that may speed up such structure searches. The complexity of the new methods have established the necessity for an efficient way of experimenting with and assembling them into global optimization algorithms. In this paper we introduce the Atomistic Global Optimization X (AGOX) framework and code, as a customizable approach to building efficient global optimization algorithms. A modular way of expressing global optimization algorithms is described and modern programming practices are used to enable that modularity in the freely available AGOX python package. Two examples of global optimization problems are analyzed: One that is computationally inexpensive which is used to showcase that AGOX enables the expression of multiple global optimization algorithms. As the other example, AGOX is used for solving a complex atomistic optimization problem for a metal-nitride nano-cluster embedded in a graphene sheet as described at the density functional theory (DFT) level.


title: Engineering spin-orbit effects and Berry curvature by deposition of Eu on WSe$_{2}$

abstract: Motivated by recent progress in 2D spintronics, we present Eu deposited on a 1H-WSe$_2$ as a promising platform for engineering spin-orbit effects and Berry curvature. By first-principles calculations based on density functional theory, we show that Eu/WSe$_2$ exhibits intriguing properties such as high magnetic anisotropy, valley-dependent polarization of spin and orbital angular momenta, and their Rashba textures. These originate from magnetic and spin-orbit proximity effects at the interface and the interplay between localized $4f$ magnetic moments of Eu and mobile charge carriers of WSe$_2$. We find a pronounced anomalous Hall effect in the proposed system. Thus, we promote $4f$ rare-earth metals deposited on top of a transition-metal dichalcogenides as a promising platform for 2D spintronics.


title: Induced Chern-Simons term by dimensional reduction

abstract: We derive an induced Abelian Chern-Simons (CS) term in 2+1 dimensions, by dimensional reduction from the finite-temperature theory of a Dirac field with both vector and axial-vector couplings to two Abelian gauge fields, in 3+1 dimensions. In our construction, the CS term emerges for the lowest Matsubara mode of the vector Abelian field, by integrating the fermionic field, under the assumption that the axial vector field is in a "vacuum" configuration. This configuration is characterized by a single number, which in turn determines the coefficient of the induced CS term for the Abelian vector field.


title: New Limit on Axion-Like Dark Matter using Cold Neutrons

abstract: We report on a search for dark matter axion-like particles (ALPs) using a Ramsey-type apparatus for cold neutrons. A hypothetical ALP-gluon-coupling would manifest in a neutron electric dipole moment signal oscillating in time. Twenty-four hours of data have been analyzed in a frequency range from 23 $\mu$Hz to 1 kHz, and no significant oscillating signal has been found. The usage of present dark-matter models allows to constrain the coupling of ALPs to gluons in the mass range from $10^{-19}$ to $4 \times 10^{-12}$ eV. The best limit of $C_G$/$f_a m_a = 2.7 \times 10^{13}$ GeV$^{-2}$ (95% C.L.) is reached in the mass range from $2 \times 10^{-17}$ to $2 \times 10^{-14}$ eV.