title: Pluricanonical cycles and tropical covers

abstract: We extract a system of numerical invariants from logarithmic intersection theory on pluricanonical double ramification cycles, and show that these invariants exhibit a number of properties that are enjoyed by double Hurwitz numbers. Among their properties are (i) the numbers can be efficiently calculated by counts of tropical curves with a modified balancing condition, (ii) they are piecewise polynomial in the entries of the ramification vector, and (iii) they are matrix elements of operators on the Fock space. The numbers are extracted from the logarithmic double ramification cycle, which is a lift of the standard double ramification cycle to a blowup of the moduli space of curves. The blowup is determined by tropical geometry. We show that the traditional double Hurwitz numbers are intersections of the refined cycle with the cohomology class of a piecewise polynomial function on the tropical moduli space of curves. This perspective then admits a natural, combinatorially motivated, generalization to the pluricanonical setting. Tropical correspondence results for the new invariants lead immediately to the structural results for these numbers.


title: The connective Morava K-theory of the second mod p Eilenberg-MacLane space

abstract: We develop tools for computing the connective n-th Morava K-theory of spaces. Starting with a Universal Coefficient Theorem that computes the cohomology version from the homology version, we show that every step in the process of computing one is mirrored in the other and that this can be used to make computations. As our example, we compute the connective n-th Morava K-theory of the second mod p Eilenberg-MacLane space.


title: Dynamics of Associative Polymers with High Density of Reversible Bonds

abstract: We design and synthesize unentangled associative polymers carrying unprecedented high fractions of stickers, up to eight per Kuhn segment, that can form strong pairwise hydrogen bonding of $\sim20k_BT$ without microphase separation. The reversible bonds significantly slow down the polymer dynamics but nearly do not change the shape of linear viscoelastic spectra. Moreover, the structural relaxation time of associative polymers increases exponentially with the fraction of stickers and exhibits a universal yet non-Arrhenius dependence on the distance from polymer glass transition temperature. These results cannot be understood within the framework of the classic sticky-Rouse model but are rationalized by a renormalized Rouse model, which highlights an unexpected influence of reversible bonds on the structural relaxation rather than the shape of viscoelastic spectra for associative polymers with high concentrations of stickers.

categories: cond-mat.soft cond-mat.mtrl-sci physics.app-ph physics.chem-ph physics.flu-dyn


title: Towards Turing-Complete Quantum Computing Coming From Classical Assembler

abstract: Instead of producing quantum languages that are fit for current quantum computers, we build a language from standard classical assembler and augment it with quantum capabilities so that quantum algorithms become a subset of it. This paves the way for the development of hybrid algorithms directly from classical software, which is not feasible on today's hardware but might inspire future quantum programmers.


title: Meaning of the splitting process for the transition to self-sustained turbulence in a magnetized cylindrical plasma

abstract: When turbulent structures split more frequently before they decay, persistent turbulence forms in neutral fluid shear flows. Whether this concept can be extended to linear magnetized plasmas is investigated here and compared to the behavior of the pipe flow. With increasing control parameter the dynamics in the magnetized plasmas is known to undergo several changes from a quasiperiodic to a phase locked to a weakly turbulent regime. When the phase-locked regime breaks down, the splitting time approaches the decreasing lifetime reflecting self-sustained turbulence, as known from the pipe flow.


title: Correlation of the dynamic contact angle with the capillary number and its hysteresis

abstract: The moving contact-line problem is of both theoretical and practical interest. The dynamic contact angle changes with the capillary number defined by the contact-line speed, and the correlation also depends on the equilibrium contact angle measured at the static state. This correlation is usually required as an input to the traditional solvers based on the Navier-Stokes-like equations, but it is simulated as an output in the current study using the lattice Boltzmann method (LBM) in a displacement process of two-immiscible fluids. The macroscopic theory and the molecular dynamics (MD) simulation had shown a linear scaling law for the cosine of dynamic contact angle, which is also observed in the previous LBM study in a short range of small capillary numbers and for two neutral wetting conditions. However, our study shows that this linear scaling law holds in the whole range of capillary numbers and is universal for all wetting conditions. In a special case of complete wetting (spreading) with a zero equilibrium contact angle, a thin film of the wetting fluid occurs when the wettability is very strong, which leads to a hysteresis that substantial capillary number is required to initiate the deviation of the dynamic contact angle from its equilibrium state. This observation is consistent with the previous report on a new mechanism for the static contact angle hysteresis due to the presence of free liquid films. With an increasing capillary number, the fluid-fluid interface starts oscillating before fingering. Different fingering patterns are observed for cases with different equilibrium contact angles.


title: Rationality of adjoint orbits

abstract: We prove that every orbit of the adjoint representation of any connected reductive algebraic group $G$ is a rational algebraic variety. For complex simply connected semisimple $G$, this implies rationality of affine Hamiltonian $G$-varieties (which we classify).


title: Rigorous derivation of the Oberbeck-Boussinesq approximation revealing unexpected term

abstract: We consider a general compressible viscous and heat conducting fluid confined between two parallel plates and heated from the bottom. The time evolution of the fluid is described by the Navier--Stokes--Fourier system considered in the regime of low Mach and Froude numbers suitably interrelated. Surprisingly and differently to the case of Neumann boundary conditions for the temperature, the asymptotic limit is identified as the Oberbeck--Boussinesq system supplemented with non--local boundary conditions for the temperature deviation.


title: Pressure-dependent structure of BaZrO$_3$ crystals as determined by Raman Spectroscopy

abstract: The structure of dielectric perovskite BaZrO$_3$, long known to be cubic at room temperature without any structural phase transition with variation of temperature, has been recently disputed to have different ground state structures with lower symmetries involving octahedra rotation. The pressure-dependent Raman scattering measurements can identify the hierarchy of energetically-adjacent polymorphs, helping in turn understand its ground state structure at atmospheric pressure. Here, Raman scattering spectra of high-quality BaZrO$_3$ single crystals grown by the optical floating zone method are investigated in a pressure range from 1 atm to 42 GPa. First, based on the analyses of the infrared and Raman spectra measured at the atmosphere, it is found that all observed vibrational modes can be assigned according to the cubic $Pm\bar{3}m$ structure. In addition, by applying pressure, two structural phase transitions are found at 8.4 and 19.2 GPa, one from the cubic to the rhombohedral $R\bar{3}c$ phase and the other from the rhombohedral to the tetragonal $I4/mcm$ phase. Based on the two pressure-induced structural phase transitions, the true ground state structure of BaZrO$_3$ at room temperature and ambient pressure is corroborated to be cubic while the rhombohedral phase is the closest second.


title: Red and blue shift in spherical and axisymmetric spacetimes and astrophysical constraints

abstract: We compute the red and blue shifts for astrophysical and cosmological sources. In particular, we consider low, intermediate and high gravitational energy domains. Thereby, we handle the binary system Earth - Mars as low energy landscape whereas white dwarfs and neutron stars as higher energy sources. To this end, we take into account a spherical Schwarzschild - de Sitter spacetime and an axially symmetric Zipoy - Voorhees metric to model all the aforementioned systems. Feasible outcomes come from modelling neutron stars and white dwarfs with the Zipoy - Voorhees metric, where quadrupole effects are relevant, and framing solar system objects using a Schwarzschild - de Sitter spacetime. In the first case, large $\delta$ parameters seem to be favorite, leading to acceptable bounds mainly for neutron stars. In the second case, we demonstrate incompatible red and blue shifts with respect to lunar and satellite laser ranging expectations, once the cosmological constant is taken to Planck satellite's best fit. To heal this issue, we suggest coarse-grained experimental setups and propose Phobos for working out satellite laser ranging in order to get more suitable red and blue shift intervals, possibly more compatible than current experimental bounds. Implications to cosmological tensions are also debated.


title: Rectifiability of a class of integralgeometric measures and applications

abstract: In this paper we introduce a new class of integralgeometric measures in $\mathbb{R}^n$, built upon the idea of slicing, and depending on the dimension $0 \leq m \leq n$ and on the exponent $p \in [1,\infty]$. Among this class we find general conditions which guarantee rectifiability. Two main consequences follow. The solution to a long standing open problem proposed by Federer and concerning the rectifiability of the Integralgeometric measure with exponent $p \in (1,\infty]$, as well as a novel criterion of rectifiability via slicing for arbitrary Radon measures. The latter is reminiscent of the rectifiable slices theorem originally discovered by White for flat chains and by Ambrosio and Kircheim for metric currents. As far as we know, such a criterion is the first result that sheds light in the understanding of rectifiability of Radon measures by slicing. For this reason its proof requires a completely new technique. Eventually, an alternative proof of the closure theorem for flat chains with discrete-group coefficients is provided.


title: Addressing asymmetric Fano profiles on molecular lines in dual-comb spectroscopy

abstract: Fano resonance in molecular spectroscopy is reported with a dual-comb instrument. The effect is observed as asymmetric absorption lines of H12CN. Pulse chirping conditions in the gas cell are varied to show that Fano resonance is dependent on the pulse peak power. A model adding the Fano profile to Voigt lines is used to estimate Fano phase as a function of pulse peak power. A pulse peak power condition is derived from this analysis to avoid lineshape distortion in pulsed laser experiments.


title: A priori bounds for geodesic diameter. Part I. Integral chains with coefficients in a complete normed commutative group

abstract: As service to the community, we provide - for Euclidean space - a basic treatment of locally rectifiable chains and of the complex of locally integral chains. In this setting, we may beneficially develop the idea of a complete normed commutative group bundle over the Grassmann manifold whose fibre is the coefficient group of the chains. Our exposition also sheds new light on some algebraic aspects of the theory. Finally, we indicate an extension to a geometric approach to locally flat chains centring on locally rectifiable chains rather than completion procedures.


title: A Bayesian hierarchical model for improving exercise rehabilitation in mechanically ventilated ICU patients

abstract: Patients who are mechanically ventilated in the intensive care unit (ICU) participate in exercise as a component of their rehabilitation to ameliorate the long-term impact of critical illness on their physical function. The effective implementation of these programmes is hindered, however, by the lack of a scientific method for quantifying an individual patient's exercise intensity level in real time, which results in a broad one-size-fits-all approach to rehabilitation and sub-optimal patient outcomes. In this work we have developed a Bayesian hierarchical model with temporally correlated latent Gaussian processes to predict $\dot VO_2$, a physiological measure of exercise intensity, using readily available physiological data. Inference was performed using Integrated Nested Laplace Approximation. For practical use by clinicians $\dot VO_2$ was classified into exercise intensity categories. Internal validation using leave-one-patient-out cross-validation was conducted based on these classifications, and the role of probabilistic statements describing the classification uncertainty was investigated.


title: Short-Term Plasticity Neurons Learning to Learn and Forget

abstract: Short-term plasticity (STP) is a mechanism that stores decaying memories in synapses of the cerebral cortex. In computing practice, STP has been used, but mostly in the niche of spiking neurons, even though theory predicts that it is the optimal solution to certain dynamic tasks. Here we present a new type of recurrent neural unit, the STP Neuron (STPN), which indeed turns out strikingly powerful. Its key mechanism is that synapses have a state, propagated through time by a self-recurrent connection-within-the-synapse. This formulation enables training the plasticity with backpropagation through time, resulting in a form of learning to learn and forget in the short term. The STPN outperforms all tested alternatives, i.e. RNNs, LSTMs, other models with fast weights, and differentiable plasticity. We confirm this in both supervised and reinforcement learning (RL), and in tasks such as Associative Retrieval, Maze Exploration, Atari video games, and MuJoCo robotics. Moreover, we calculate that, in neuromorphic or biological circuits, the STPN minimizes energy consumption across models, as it depresses individual synapses dynamically. Based on these, biological STP may have been a strong evolutionary attractor that maximizes both efficiency and computational power. The STPN now brings these neuromorphic advantages also to a broad spectrum of machine learning practice. Code is available at https://github.com/NeuromorphicComputing/stpn


title: TAMOLS: Terrain-Aware Motion Optimization for Legged Systems

abstract: Terrain geometry is, in general, non-smooth, non-linear, non-convex, and, if perceived through a robot-centric visual unit, appears partially occluded and noisy. This work presents the complete control pipeline capable of handling the aforementioned problems in real-time. We formulate a trajectory optimization problem that jointly optimizes over the base pose and footholds, subject to a heightmap. To avoid converging into undesirable local optima, we deploy a graduated optimization technique. We embed a compact, contact-force free stability criterion that is compatible with the non-flat ground formulation. Direct collocation is used as transcription method, resulting in a non-linear optimization problem that can be solved online in less than ten milliseconds. To increase robustness in the presence of external disturbances, we close the tracking loop with a momentum observer. Our experiments demonstrate stair climbing, walking on stepping stones, and over gaps, utilizing various dynamic gaits.


title: Identification of storm eye from Satellite image data using fuzzy logic with machine learning

abstract: This research presents a study of a unique technique for identifying storm eye that is based on fuzzy logic and image processing with the help of cloud images. Fuzzy logic is a term that refers to complicated systems with unclear behaviour caused by a number of different circumstances. It provides the ability to model the dynamic behavior of the storm and determines the location of the best eye in an area of interest. After that, image processing is applied to enable accurate eye positioning based on the search results. The experimental results are analyzing the storm eye position with approxiamtely $98\%$ accurate compared to the India meteorological department provided best track data and Cooperative Institute for Meteorological Satellite Studies provided Advances Dvorak Technique data. As a result, the identification of storm's eye location using this technique can be found to improve significantly. Using the present technique, it is possible to determine the eye entirely automatically, which replacing the manual method that has been employed in the past.


title: Enhancing Business Process Simulation Models with Extraneous Activity Delays

abstract: Business Process Simulation (BPS) is a common approach to estimate the impact of changes to a business process on its performance measures. For example, it allows us to estimate what would be the cycle time of a process if we automated one of its activities, or if some resources become unavailable. The starting point of BPS is a business process model annotated with simulation parameters (a BPS model). In traditional approaches, BPS models are manually designed by modeling specialists. This approach is time-consuming and error-prone. To address this shortcoming, several studies have proposed methods to automatically discover BPS models from event logs via process mining techniques. However, current techniques in this space discover BPS models that only capture waiting times caused by resource contention or resource unavailability. Oftentimes, a considerable portion of the waiting time in a business process corresponds to extraneous delays, e.g., a resource waits for the customer to return a phone call. This article proposes a method that discovers extraneous delays from event logs of business process executions. The proposed approach computes, for each pair of causally consecutive activity instances in the event log, the time when the target activity instance should theoretically have started, given the availability of the relevant resource. Based on the difference between the theoretical and the actual start times, the approach estimates the distribution of extraneous delays, and it enhances the BPS model with timer events to capture these delays. An empirical evaluation involving synthetic and real-life logs shows that the approach produces BPS models that better reflect the temporal dynamics of the process, relative to BPS models that do not capture extraneous delays.


title: Holomorphic isometric embeddings of complex Grassmannians into quadrics: The general case

abstract: The present article studies holomorphic isometric embeddings of arbitrary complex Grassmannians into quadrics, generalising results in [13]. The moduli spaces of these embeddings up to gauge and image equivalence are discussed using a generalisation of do Carmo-Wallach theory.


title: Bengali Common Voice Speech Dataset for Automatic Speech Recognition

abstract: Bengali is one of the most spoken languages in the world with over 300 million speakers globally. Despite its popularity, research into the development of Bengali speech recognition systems is hindered due to the lack of diverse open-source datasets. As a way forward, we have crowdsourced the Bengali Common Voice Speech Dataset, which is a sentence-level automatic speech recognition corpus. Collected on the Mozilla Common Voice platform, the dataset is part of an ongoing campaign that has led to the collection of over 400 hours of data in 2 months and is growing rapidly. Our analysis shows that this dataset has more speaker, phoneme, and environmental diversity compared to the OpenSLR Bengali ASR dataset, the largest existing open-source Bengali speech dataset. We present insights obtained from the dataset and discuss key linguistic challenges that need to be addressed in future versions. Additionally, we report the current performance of a few Automatic Speech Recognition (ASR) algorithms and set a benchmark for future research.


title: Minimizers of 3D anisotropic interaction energies

abstract: We study a large family of axisymmetric Riesz-type singular interaction potentials with anisotropy in three dimensions. We generalize some of the results of our recent work in two dimensions to the present setting. For potentials with linear interpolation convexity, their associated global energy minimizers are given by explicit formulas whose supports are ellipsoids. We show that for less singular anisotropic Riesz potentials, the global minimizer may collapse into one or two dimensional concentrated measures which minimize restricted isotropic Riesz interaction energies. Some partial aspects of these questions are also tackled in the intermediate range of singularities in which one dimensional vertical collapse is not allowed. Collapse to lower dimensional structures is proved at the critical value of the convexity but not necessarily to vertically or horizontally concentrated measures, leading to interesting open problems.


title: Towards Lexical Gender Inference: A Scalable Methodology using Online Databases

abstract: This paper presents a new method for automatically detecting words with lexical gender in large-scale language datasets. Currently, the evaluation of gender bias in natural language processing relies on manually compiled lexicons of gendered expressions, such as pronouns ('he', 'she', etc.) and nouns with lexical gender ('mother', 'boyfriend', 'policewoman', etc.). However, manual compilation of such lists can lead to static information if they are not periodically updated and often involve value judgments by individual annotators and researchers. Moreover, terms not included in the list fall out of the range of analysis. To address these issues, we devised a scalable, dictionary-based method to automatically detect lexical gender that can provide a dynamic, up-to-date analysis with high coverage. Our approach reaches over 80% accuracy in determining the lexical gender of nouns retrieved randomly from a Wikipedia sample and when testing on a list of gendered words used in previous research.


title: Deep Neural Networks pruning via the Structured Perspective Regularization

abstract: In Machine Learning, Artificial Neural Networks (ANNs) are a very powerful tool, broadly used in many applications. Often, the selected (deep) architectures include many layers, and therefore a large amount of parameters, which makes training, storage and inference expensive. This motivated a stream of research about compressing the original networks into smaller ones without excessively sacrificing performances. Among the many proposed compression approaches, one of the most popular is \emph{pruning}, whereby entire elements of the ANN (links, nodes, channels, \ldots) and the corresponding weights are deleted. Since the nature of the problem is inherently combinatorial (what elements to prune and what not), we propose a new pruning method based on Operational Research tools. We start from a natural Mixed-Integer-Programming model for the problem, and we use the Perspective Reformulation technique to strengthen its continuous relaxation. Projecting away the indicator variables from this reformulation yields a new regularization term, which we call the Structured Perspective Regularization, that leads to structured pruning of the initial architecture. We test our method on some ResNet architectures applied to CIFAR-10, CIFAR-100 and ImageNet datasets, obtaining competitive performances w.r.t.~the state of the art for structured pruning.


title: Safe Exploration Incurs Nearly No Additional Sample Complexity for Reward-free RL

abstract: Reward-free reinforcement learning (RF-RL), a recently introduced RL paradigm, relies on random action-taking to explore the unknown environment without any reward feedback information. While the primary goal of the exploration phase in RF-RL is to reduce the uncertainty in the estimated model with minimum number of trajectories, in practice, the agent often needs to abide by certain safety constraint at the same time. It remains unclear how such safe exploration requirement would affect the corresponding sample complexity in order to achieve the desired optimality of the obtained policy in planning. In this work, we make a first attempt to answer this question. In particular, we consider the scenario where a safe baseline policy is known beforehand, and propose a unified Safe reWard-frEe ExploraTion (SWEET) framework. We then particularize the SWEET framework to the tabular and the low-rank MDP settings, and develop algorithms coined Tabular-SWEET and Low-rank-SWEET, respectively. Both algorithms leverage the concavity and continuity of the newly introduced truncated value functions, and are guaranteed to achieve zero constraint violation during exploration with high probability. Furthermore, both algorithms can provably find a near-optimal policy subject to any constraint in the planning phase. Remarkably, the sample complexities under both algorithms match or even outperform the state of the art in their constraint-free counterparts up to some constant factors, proving that safety constraint hardly increases the sample complexity for RF-RL.


title: Spectral estimates for Dirichlet Laplacian on spiral-shaped regions

abstract: We derive spectral estimates of the Lieb-Thirring type for eigenvalues of Dirichlet Laplacians on strictly shrinking spiral-shaped domains.


title: Temperature transitions and degeneracy in the control of small clusters with a macroscopic field

abstract: We present a numerical investigation of the control of few-particle fluctuating clusters with a macroscopic field. Our goal is to reach a given target cluster shape is minimum time. This question is formulated as a first passage problem in the space of cluster configurations. We find the optimal policy to set the macroscopic field as a function of the observed shape using dynamic programming. Our results show that the optimal policy is non-unique, and its degeneracy is mainly related to symmetries shared by the initial shape, the force and the target shape. The total fraction of shapes for which optimal choice of the force is non-unique vanishes as the cluster size increases. Furthermore, the optimal policy exhibits a discrete set of transitions when the temperature is varied. Each transition leads to a discontinuity in the derivative of the time to reach with target with respect to temperature. As the size of the cluster increases, the change in the policy due to temperature transitions grows like the total number of configurations and a continuum limit emerges.


title: A note on Alexandrov immersed mean curvature flow

abstract: We demonstrate that the property of being Alexandrov immersed is preserved along mean curvature flow. Furthermore, we demonstrate that mean curvature flow techniques for mean convex embedded flows such as noncollapsing and gradient estimates also hold in this setting. We also indicate the necessary modifications to the work of Brendle--Huisken to allow for mean curvature flow with surgery for the Alexandrov immersed, $2$-dimensional setting.


title: Computational Model for Granular Flows based on the Lagrangian Particle Method

abstract: A numerical model and parallel software for 3D simulations of granular flows have been developed based on the Lagrangian particle (LP) method [R.Samulyak, X. Wang, H.-C. Chen, Lagrangian particle method for compressible fluid dynamics, J. Comput. Phys. 362 (2018) 1-19], originally developed for compressible hydrodynamic flows, including free surface / multiphase problems. LP uses local polynomial least square fittings on particle-based stencils that ensure numerical convergence to the prescribed order. The granular flow model implements continuum equations with a $\mu(I)$-rheology closure that is capable of describing two-directional transitions of the flow between various regimes characterized by solid-, liquid-, and gas-like features. The granular flow code has been parallelized for distributed memory supercomputers and validated by comparing 3D simulations to experimental data on the collapse of granular columns. Numerical simulations showing the granular flow transition to a gas-like regime have also been presented.


title: Many recent density functionals are numerically ill-behaved

abstract: Most computational studies in chemistry and materials science are based on the use of density functional theory. Although the exact density functional is unknown, several density functional approximations (DFAs) offer a good balance of affordable computational cost and semi-quantitative accuracy for applications. The development of DFAs still continues on many fronts, and several new DFAs aiming for improved accuracy are published every year. However, the numerical behavior of these DFAs is an often overlooked problem. In this work, we look at all 592 DFAs for three-dimensional systems available in Libxc 5.2.2 and examine the convergence of the density functional total energy based on tabulated atomic Hartree-Fock wave functions. We show that several recent DFAs, including the celebrated SCAN family of functionals, show impractically slow convergence with typically used numerical quadrature schemes, making these functionals unsuitable both for routine applications or high-precision studies, as thousands of radial quadrature points may be required to achieve sub-$\mu E_{h}$ accurate total energies for these unctionals, while standard quadrature grids like the SG-3 grid only contain $\mathcal{O}(100)$ radial quadrature points. These results are both a warning to users to lways check the sufficiency of the quadrature grid when adopting novel functionals, as well as a guideline to the theory community to develop better behaved density functionals.


title: The $\{\beta\}$-expansion for Adler function, Bjorken Sum Rule, and the Crewther-Broadhurst-Kataev relation at order $O(\alpha_s^4)$

abstract: We derive explicit expressions for the elements of the $\{ \beta \}$-expansion for the nonsinglet Adler $D_A$-function and Bjorken polarized sum rules $S^{Bjp}$ in the N$^4$LO using recent results by Chetyrkin for these quantities computed within extended QCD including any number of fermion representations. We discuss the properties of the $\{ \beta \}$-expansion for $D_A$ and $S^{Bjp}$ at higher orders which follow from the Crewther [1] and the Broadhurst-Kataev [2] relation.


title: Linear detection of 30 mW dual-comb interferograms

abstract: Detector nonlinearity is an important factor limiting the maximal power and hence the signal-to-noise ratio (SNR) in dual-comb interferometry. To increase the SNR without overwhelming averaging time, specific experimental conditions must be met to ensure that photodetector nonlinearity is properly handled for high input power. Detectors exhibiting nonlinear behavior can produce linear dual-comb interferograms if the area of the detector's impulse response does not saturate and if the overlap between successive time-varying impulse responses is properly managed. Here, a high bandwidth non-amplified photodetector is characterized in terms of its impulse response to high intensity short pulses to exemplify the conditions. With 30 mW of continuous power on the detector, nonlinear spectral artifacts in dual-comb interferograms are at least 35 dB below the signal. A comparative spectroscopic measurement with a frequency swept laser shows that no systematic transmittance error can be attributed to nonlinearity.


title: Quantum Antennas

abstract: Due to the recent groundbreaking developmentsof nanotechnologies,it became possible to create intrinsically quantum systems able to serve as high-directional antennas in THz, infrared and optical ranges. Actually, the quantum antennas,as devices shaping light on thelevel of single quanta,havealreadybecomethe key elements in nanooptics and nanoelectronics. The quantum antennas are actively researched for possible implementations in quantum communications, quantum imaging and sensing,andenergy harvesting. However, the design and optimization of these emitting/receivingdevices arestill rather undevelopedin comparisonwith the well-known methods for conventional radio-frequency antennas. This review provides a discussion of the recent achievements in the concept of the quantum antenna as an open quantum systememitting via interaction with a photonic reservoir. We focuson bridging the gap between quantum antennas and their macroscopic classical analogues. We also discuss the ways of quantum-antennaimplementation for different configurations basedon such materials, as plasmonic metals, carbon nanotubes, and semiconductor quantum dots.


title: A reassessment of nuclear effects in muonic deuterium using pionless effective field theory at N3LO

abstract: We provide a systematic assessment of the order-$\alpha^5$ nuclear contributions to the Lamb shift of muonic deuterium, including the accompanying radiative corrections due to vacuum polarization, up to next-to-next-to-next-to-leading order (N3LO) within the pionless effective field theory (EFT). We also evaluate higher-order corrections due to the single-nucleon structure, which are expected to be the most important corrections beyond N3LO. We find a correlation between the deuteron charge and Friar radii, which can be useful to judge the quality of charge form factor parametrisations. We refine the theoretical description of the $2\gamma$-exchange contribution, especially in the elastic contribution and the radiative corrections, ameliorating the original discrepancy between theory and experiment in the size of $2\gamma$-exchange effects. Based on the experimental Lamb shift of muonic deuterium, we obtain the deuteron charge radius, $r_d(\mu\text{D})=2.12763(13)_\text{exp}(77)_\text{theory}$~fm, which is consistent with (but less precise than) the value obtained by combining the H-D isotope shift with the muonic hydrogen Lamb shift. The theory uncertainty is evaluated using a Bayesian procedure and is dominated by the truncation of the pionless EFT series.


title: Number of solutions to $a^x + b^y = c^z$, A Shorter Version

abstract: For relatively prime integers $a$ and $b$ both greater than one and odd integer $c$, there are at most two solutions in positive integers $(x,y,z)$ to the equation $a^x + b^y = c^z$. There are an infinite number of $(a,b,c)$ giving exactly two solutions.


title: FuSeBMC v4: Improving code coverage with smart seeds via BMC, fuzzing and static analysis

abstract: Bounded model checking (BMC) and fuzzing techniques are among the most effective methods for detecting errors and security vulnerabilities in software. However, there are still shortcomings in detecting these errors due to the inability of existent methods to cover large areas in target code. We propose FuSeBMC v4, a test generator that synthesizes seeds with useful properties, that we refer to as smart seeds, to improve the performance of its hybrid fuzzer thereby achieving high C program coverage. FuSeBMC works by first analyzing and incrementally injecting goal labels into the given C program to guide BMC and Evolutionary Fuzzing engines. After that, the engines are employed for an initial period to produce the so-called smart seeds. Finally, the engines are run again, with these smart seeds as starting seeds, in an attempt to achieve maximum code coverage / find bugs. During both seed generation and normal running, coordination between the engines is aided by the Tracer subsystem. This subsystem carries out additional coverage analysis and updates a shared memory with information on goals covered so far. Furthermore, the Tracer evaluates test cases dynamically to convert cases into seeds for subsequent test fuzzing. Thus, the BMC engine can provide the seed that allows the fuzzing engine to bypass complex mathematical guards (e.g., input validation). As a result, we received three awards for participation in the fourth international competition in software testing (Test-Comp 2022), outperforming all state-of-the-art tools in every category, including the coverage category.


title: Equivariant Priors for Compressed Sensing with Unknown Orientation

abstract: In compressed sensing, the goal is to reconstruct the signal from an underdetermined system of linear measurements. Thus, prior knowledge about the signal of interest and its structure is required. Additionally, in many scenarios, the signal has an unknown orientation prior to measurements. To address such recovery problems, we propose using equivariant generative models as a prior, which encapsulate orientation information in their latent space. Thereby, we show that signals with unknown orientations can be recovered with iterative gradient descent on the latent space of these models and provide additional theoretical recovery guarantees. We construct an equivariant variational autoencoder and use the decoder as generative prior for compressed sensing. We discuss additional potential gains of the proposed approach in terms of convergence and latency.


title: Root systems and hyperkahler varieties

abstract: We point out a connection between root systems and some of the known hyperk\"ahler varieties.


title: R2: Heuristic Bug-Based Any-angle Path-Planning using Lazy Searches

abstract: R2 is a novel online any-angle path planner that uses heuristic bug-based or ray casting approaches to find optimal paths in 2D maps with non-convex, polygonal obstacles. R2 is competitive to traditional free-space planners, finding paths quickly if queries have direct line-of-sight. On large sparse maps with few obstacle contours, which are likely to occur in practice, R2 outperforms free-space planners, and can be much faster than state-of-the-art free-space expansion planner Anya. On maps with many contours, Anya performs faster than R2. R2 is built on RayScan, introducing lazy-searches and a source-pledge counter to find successors optimistically on contiguous contours. The novel approach bypasses most successors on jagged contours to reduce expensive line-of-sight checks, therefore requiring no pre-processing to be a competitive online any-angle planner.


title: Non-Convex Optimization by Hamiltonian Alternation

abstract: A major obstacle to non-convex optimization is the problem of getting stuck in local minima. We introduce a novel metaheuristic to handle this issue, creating an alternate Hamiltonian that shares minima with the original Hamiltonian only within a chosen energy range. We find that repeatedly minimizing each Hamiltonian in sequence allows an algorithm to escape local minima. This technique is particularly straightforward when the ground state energy is known, and one obtains an improvement even without this knowledge. We demonstrate this technique by using it to find the ground state for instances of a Sherrington-Kirkpatrick spin glass.


title: Colossal piezoresistance in narrow-gap Eu5In2Sb6

abstract: Piezoresistance, the change of a material's electrical resistance ($R$) in response to an applied mechanical stress ($\sigma$), is the driving principle of electromechanical devices such as strain gauges, accelerometers, and cantilever force sensors. Enhanced piezoresistance has been traditionally observed in two classes of uncorrelated materials: nonmagnetic semiconductors and composite structures. We report the discovery of a remarkably large piezoresistance in Eu$_5$In$_2$Sb$_6$ single crystals, wherein anisotropic metallic clusters naturally form within a semiconducting matrix due to electronic interactions. Eu$_5$In$_2$Sb$_6$ shows a highly anisotropic piezoresistance, and uniaxial pressure along [001] of only 0.4~GPa leads to a resistivity drop of more than 99.95\% that results in a colossal piezoresistance factor of $5000\times10^{-11}$Pa$^{-1}$. Our result not only reveals the role of interactions and phase separation in the realization of colossal piezoresistance, but it also highlights a novel route to multi-functional devices with large responses to both pressure and magnetic field.


title: On Some Systems of Equations in Abelian Varieties

abstract: We solve a case of the Abelian Exponential-Algebraic Closedness Conjecture, a conjecture due to Bays and Kirby, building on work of Zilber, which predicts sufficient conditions for systems of equations involving algebraic operations and the exponential map of an abelian variety to be solvable in the complex numbers. More precisely, we show that the conjecture holds for subvarieties of the tangent bundle of an abelian variety $A$ which split as the product of a linear subspace of the Lie algebra of $A$ and an algebraic variety. This is motivated by work of Zilber and of Bays-Kirby, which establishes that a positive answer to the conjecture would imply quasiminimality of certain structures on the complex numbers. Our proofs use various techniques from homology (duality between cup product and intersection), differential topology (transversality) and o-minimality (definability of Hausdorff limits), hence we have tried to give a self-contained exposition.


title: Mapping charge capture and acceleration in a plasma wakefield of a proton bunch using variable emittance electron beam injection

abstract: In the Phase 2 of the AWAKE first experimental run (from May to November 2018), an electron beam was used to probe and test proton-driven wakefield acceleration in a rubidium plasma column. In this work, we analyze the overall charge capture and shot-to-shot reproducibility of the proton-driven plasma wakefield accelerator with various electron bunch injection parameters. The witness electron bunches were produced using an RF-gun equipped with a Cs2Te photocathode illuminated by a tailorable ultrafast deep ultraviolet (UV) laser pulse. The construction of the UV beam optical system enabled appropriate transverse beam shaping and control of its pulse duration, size, and position on the photocathode, as well as time delay with respect to the ionizing laser pulse that seeds the plasma wakefields in the proton bunches. Variable photocathode illumination provided the required flexibility to produce electron bunches with variable charge, emittance, and injection trajectory into the plasma column. We demonstrate charge capture rates exceeding 15% (40 pC of GeV accelerated charge for a 385 pC injected electron bunch) under optimized electron injection conditions.


title: Reasoning about Moving Target Defense in Attack Modeling Formalisms

abstract: Since 2009, Moving Target Defense (MTD) has become a new paradigm of defensive mechanism that frequently changes the state of the target system to confuse the attacker. This frequent change is costly and leads to a trade-off between misleading the attacker and disrupting the quality of service. Optimizing the MTD activation frequency is necessary to develop this defense mechanism when facing realistic, multi-step attack scenarios. Attack modeling formalisms based on DAG are prominently used to specify these scenarios. Our contribution is a new DAG-based formalism for MTDs and its translation into a Price Timed Markov Decision Process to find the best activation frequencies against the attacker's time/cost-optimal strategies. For the first time, MTD activation frequencies are analyzed in a state-of-the-art DAG-based representation. Moreover, this is the first paper that considers the specificity of MTDs in the automatic analysis of attack modeling formalisms. Finally, we present some experimental results using Uppaal Stratego to demonstrate its applicability and relevance.


title: DSME-LoRa: Seamless Long Range Communication Between Arbitrary Nodes in the Constrained IoT

abstract: Long range radio communication is preferred in many IoT deployments as it avoids the complexity of multi-hop wireless networks. LoRa is a popular, energy-efficient wireless modulation but its networking substrate LoRaWAN introduces severe limitations to its users. In this paper, we present and thoroughly analyze DSME-LoRa, a system design of LoRa with IEEE 802.15.4 DSME as a MAC layer. DSME-LoRa offers the advantage of seamless client-to-client communication beyond the pure gateway-centric transmission of LoRaWAN. We evaluate its feasibility via a full-stack implementation on the popular RIOT operating system, assess its steady-state packet flows in an analytical stochastic Markov model, and quantify its scalability in massive communication scenarios using large scale network simulations. Our findings indicate that DSME-LoRa is indeed a powerful approach that opens LoRa to standard network layers and outperforms LoRaWAN in many dimensions.


title: Universal Poisson statistics of a passive tracer diffusing in dilute active suspensions

abstract: The statistics of a passive tracer immersed in a suspension of active self-propelled particles (swimmers) is derived from first principles by considering a perturbative expansion of the tracer interaction with the microscopic swimmer field. To first order in the swimmer density, the tracer statistics is exactly represented as a spatial Poisson process combined with independent swimmer-tracer scattering events, rigorously reducing the multi-particle dynamics to two-body interactions. The Poisson representation is valid in any dimensions and for arbitrary interaction forces and swimmer dynamics. It provides in particular an analytical derivation of the coloured Poisson process introduced in [K. Kanazawa et al.; Nature 579, 364 (2020)] highlighting that such a non-Markovian process can be obtained from Markovian dynamics by a variable transformation.


title: An Injection System for the CHIME/FRB Experiment

abstract: Dedicated surveys searching for Fast Radio Bursts (FRBs) are subject to selection effects which bias the observed population of events. Software injection systems are one method of correcting for these biases by injecting a mock population of synthetic FRBs directly into the realtime search pipeline. The injected population may then be used to map intrinsic burst properties onto an expected signal-to-noise ratio (SNR), so long as telescope characteristics such as the beam model and calibration factors are properly accounted for. This paper presents an injection system developed for the Canadian Hydrogen Intensity Mapping Experiment Fast Radio Burst project (CHIME/FRB). The system was tested to ensure high detection efficiency, and the pulse calibration method was verified. Using an injection population of ~85,000 synthetic FRBs, we found that the correlation between fluence and SNR for injected FRBs was consistent with that of CHIME/FRB detections in the first CHIME/FRB catalog. We also noted that the sensitivity of the telescope varied strongly as a function of the broadened burst width, but not as a function of the dispersion measure. We conclude that some of the machine-learning based Radio Frequency Interference (RFI) mitigation methods used by CHIME/FRB can be re-trained using injection data to increase sensitivity to wide events, and that planned upgrades to the presented injection system will allow for determining a more accurate CHIME/FRB selection function in the near future.


title: An Algebraic Construction Technique for Codes over Hurwitz Integers

abstract: Let {\alpha} be a prime Hurwitz integer. H{\alpha}, which is the set of residual class with respect to related modulo function in the rings of Hurwitz integers, is a subset of H, which is the set of all Hurwitz integers. We consider left congruent module {\alpha} and, the domain of related modulo function in this study is ZN({\alpha}), which is residual class ring of ordinary integers with N({\alpha}) elements, which is the norm of prime Hurwitz integer {\alpha}. In this study, we present an algebraic construction technique, which is a modulo function formed depending on two modulo operations, for codes over Hurwitz integers. Thereby, we obtain the residue class rings of Hurwitz integers with N({\alpha}) size. In addition, we present some results for mathematical notations used in two modulo functions, and for the algebraic construction technique formed depending upon two modulo functions. Moreover, we present graphs obtained by graph layout methods, such as spring, high-dimensional, and spiral embedding, for the set of the residual class obtained with respect to the related modulo function in the rings of Hurwitz integers.


title: Linear programming-based solution methods for constrained partially observable Markov decision processes

abstract: Constrained partially observable Markov decision processes (CPOMDPs) have been used to model various real-world phenomena. However, they are notoriously difficult to solve to optimality, and there exist only a few approximation methods for obtaining high-quality solutions. In this study, grid-based approximations are used in combination with linear programming (LP) models to generate approximate policies for CPOMDPs. A detailed numerical study is conducted with six CPOMDP problem instances considering both their finite and infinite horizon formulations. The quality of approximation algorithms for solving unconstrained POMDP problems is established through a comparative analysis with exact solution methods. Then, the performance of the LP-based CPOMDP solution approaches for varying budget levels is evaluated. Finally, the flexibility of LP-based approaches is demonstrated by applying deterministic policy constraints, and a detailed investigation into their impact on rewards and CPU run time is provided. For most of the finite horizon problems, deterministic policy constraints are found to have little impact on expected reward, but they introduce a significant increase to CPU run time. For infinite horizon problems, the reverse is observed: deterministic policies tend to yield lower expected total rewards than their stochastic counterparts, but the impact of deterministic constraints on CPU run time is negligible in this case. Overall, these results demonstrate that LP models can effectively generate approximate policies for both finite and infinite horizon problems while providing the flexibility to incorporate various additional constraints into the underlying model.


title: Strong coupling between a photon and a hole spin in silicon

abstract: Spins in semiconductor quantum dots constitute a promising platform for scalable quantum information processing. Coupling them strongly to the photonic modes of superconducting microwave resonators would enable fast non-demolition readout and long-range, on-chip connectivity, well beyond nearest-neighbor quantum interactions. Here we demonstrate strong coupling between a microwave photon in a superconducting resonator and a hole spin in a silicon-based double quantum dot issued from a foundry-compatible MOS fabrication process. By leveraging the strong spin-orbit interaction intrinsically present in the valence band of silicon, we achieve a spin-photon coupling rate as high as 330~MHz largely exceeding the combined spin-photon decoherence rate. This result, together with the recently demonstrated long coherence of hole spins in silicon, opens a new realistic pathway to the development of circuit quantum electrodynamics with spins in semiconductor quantum dots.


title: Gapped collective charge excitations and interlayer hopping in cuprate superconductors

abstract: We use resonant inelastic x-ray scattering (RIXS) to probe the propagation of plasmons in the electron-doped cuprate superconductor Sr$_{0.9}$La$_{0.1}$CuO$_2$ (SLCO). We detect a plasmon gap of $\sim$~120 meV at the two-dimensional Brillouin zone center, indicating that low-energy plasmons in SLCO are not strictly acoustic. The plasmon dispersion, including the gap, is accurately captured by layered $t$-$J$-$V$ model calculations. A similar analysis performed on recent RIXS data from other cuprates suggests that the plasmon gap is generic and its size is related to the magnitude of the interlayer hopping $t_z$. Our work signifies the three-dimensionality of the charge dynamics in layered cuprates and provides a new method to determine $t_z$.


title: An octic diophantine equation and related families of elliptic curves

abstract: We obtain two parametric solutions of the diophantine equation $\phi(x_1, x_2, x_3)=\phi(y_1, y_2, y_3)$ where $\phi(x_1, x_2, x_3)$ is the octic form defined by $\phi(x_1, x_2, x_3)=x_1^8+ x_2^8 + x_3^8 - 2x_1^4x_2^4 - 2x_1^4x_3^4 - 2x_2^4x_3^4$. These parametric solutions yield infinitely many examples of two equiareal triangles whose sides are perfect squares of integers. Further, each of the two parametric solutions leads to a family of elliptic curves of rank~$5$ over $\mathbb{Q}(t)$. We study one of the two families in some detail and determine a set of five free generators for the family.


title: Continual Learning with Transformers for Image Classification

abstract: In many real-world scenarios, data to train machine learning models become available over time. However, neural network models struggle to continually learn new concepts without forgetting what has been learnt in the past. This phenomenon is known as catastrophic forgetting and it is often difficult to prevent due to practical constraints, such as the amount of data that can be stored or the limited computation sources that can be used. Moreover, training large neural networks, such as Transformers, from scratch is very costly and requires a vast amount of training data, which might not be available in the application domain of interest. A recent trend indicates that dynamic architectures based on an expansion of the parameters can reduce catastrophic forgetting efficiently in continual learning, but this needs complex tuning to balance the growing number of parameters and barely share any information across tasks. As a result, they struggle to scale to a large number of tasks without significant overhead. In this paper, we validate in the computer vision domain a recent solution called Adaptive Distillation of Adapters (ADA), which is developed to perform continual learning using pre-trained Transformers and Adapters on text classification tasks. We empirically demonstrate on different classification tasks that this method maintains a good predictive performance without retraining the model or increasing the number of model parameters over the time. Besides it is significantly faster at inference time compared to the state-of-the-art methods.


title: KPZ limit theorems

abstract: One-dimensional interacting particle systems, 1+1 random growth models, and two-dimensional directed polymers define 2d height fields. The KPZ universality conjecture posits that an appropriately scaled height function converges to a model-independent universal random field for a large class of models. We survey limit theorems for a few models and discuss changes that arise in different domains. In particular, we present recent results on periodic domains. We also comment on integrable probability models, integrable differential equations, and universality.


title: Electronic-structure properties from atom-centered predictions of the electron density

abstract: The electron density of a molecule or material has recently received major attention as a target quantity of machine-learning models. A natural choice to construct a model that yields transferable and linear-scaling predictions is to represent the scalar field using a multi-centered atomic basis analogous to that routinely used in density fitting approximations. However, the non-orthogonality of the basis poses challenges for the learning exercise, as it requires accounting for all the atomic density components at once. We devise a gradient-based approach to directly minimize the loss function of the regression problem in an optimized and highly sparse feature space. In so doing, we overcome the limitations associated with adopting an atom-centered model to learn the electron density over arbitrarily complex datasets, obtaining extremely accurate predictions. The enhanced framework is tested on 32-molecule periodic cells of liquid water, presenting enough complexity to require an optimal balance between accuracy and computational efficiency. We show that starting from the predicted density a single Kohn-Sham diagonalization step can be performed to access total energy components that carry an error of just 0.1 meV/atom with respect to the reference density functional calculations. Finally, we test our method on the highly heterogeneous QM9 benchmark dataset, showing that a small fraction of the training data is enough to derive ground-state total energies within chemical accuracy.


title: Poisson transform and unipotent complex geometry

abstract: Our concern is with Riemannian symmetric spaces $Z=G/K$ of the non-compact type and more precisely with the Poisson transform $\mathcal{P}_\lambda$ which maps generalized functions on the boundary $\partial Z$ to $\lambda$-eigenfunctions on $Z$. Special emphasis is given to a maximal unipotent group $N<G$ which naturally acts on both $Z$ and $\partial Z$. The $N$-orbits on $Z$ are parametrized by a torus $A=(\mathbb{R}_{>0})^r<G$ (Iwasawa) and letting the level $a\in A$ tend to $0$ on a ray we retrieve $N$ via $\lim_{a\to 0} Na$ as an open dense orbit in $\partial Z$ (Bruhat). For positive parameters $\lambda$ the Poisson transform $\mathcal{P}_\lambda$ is defined an injective for functions $f\in L^2(N)$ and we give a novel characterization of $\mathcal{P}_\lambda(L^2(N))$ in terms of complex analysis. For that we view eigenfunctions $\phi = \mathcal{P}_\lambda(f)$ as families $(\phi_a)_{a\in A}$ of functions on the $N$-orbits, i.e. $\phi_a(n)= \phi(na)$ for $n\in N$. The general theory then tells us that there is a tube domain $\mathcal{T}=N\exp(i\Lambda)\subset N_\mathbb{C}$ such that each $\phi_a$ extends to a holomorphic function on the scaled tube $\mathcal{T}_a=N\exp(i\operatorname{Ad}(a)\Lambda)$. We define a class of $N$-invariant weight functions ${\bf w}_\lambda$ on the tube $\mathcal{T}$, rescale them for every $a\in A$ to a weight ${\bf w}_{\lambda, a}$ on $\mathcal{T}_a$, and show that each $\phi_a$ lies in the $L^2$-weighted Bergman space $\mathcal{B}(\mathcal{T}_a, {\bf w}_{\lambda, a}):=\mathcal{O}(\mathcal{T}_a)\cap L^2(\mathcal{T}_a, {\bf w}_{\lambda, a})$. The main result of the article then describes $\mathcal{P}_\lambda(L^2(N))$ as those eigenfunctions $\phi$ for which $\phi_a\in \mathcal{B}(\mathcal{T}_a, {\bf w}_{\lambda, a})$ and $$\|\phi\|:=\sup_{a\in A} a^{\operatorname{Re}\lambda -2\rho} \|\phi_a\|_{\mathcal{B}_{a,\lambda}}<\infty$$ holds.


title: Placing (Historical) Facts on a Timeline: A Classification cum Coref Resolution Approach

abstract: A timeline provides one of the most effective ways to visualize the important historical facts that occurred over a period of time, presenting the insights that may not be so apparent from reading the equivalent information in textual form. By leveraging generative adversarial learning for important sentence classification and by assimilating knowledge based tags for improving the performance of event coreference resolution we introduce a two staged system for event timeline generation from multiple (historical) text documents. We demonstrate our results on two manually annotated historical text documents. Our results can be extremely helpful for historians, in advancing research in history and in understanding the socio-political landscape of a country as reflected in the writings of famous personas.


title: A Fuglede type theorem for Fourier multiplier operators

abstract: In this note a Fuglede type theorem is proved for Fourier multiplier operators on translation invariant Banach function spaces with order continuous norm over compact abelian groups.


title: Compilation Forking: A Fast and Flexible Way of Generating Data for Compiler-Internal Machine Learning Tasks

abstract: Compiler optimization decisions are often based on hand-crafted heuristics centered around a few established benchmark suites. Alternatively, they can be learned from feature and performance data produced during compilation. However, data-driven compiler optimizations based on machine learning models require large sets of quality data for training in order to match or even outperform existing human-crafted heuristics. In static compilation setups, related work has addressed this problem with iterative compilation. However, a dynamic compiler may produce different data depending on dynamically-chosen compilation strategies, which aggravates the generation of comparable data. We propose compilation forking, a technique for generating consistent feature and performance data from arbitrary, dynamically-compiled programs. Different versions of program parts with the same profiling and compilation history are executed within single program runs to minimize noise stemming from dynamic compilation and the runtime environment. Our approach facilitates large-scale performance evaluations of compiler optimization decisions. Additionally, compilation forking supports creating domain-specific compilation strategies based on machine learning by providing the data for model training. We implemented compilation forking in the GraalVM compiler in a programming-language-agnostic way. To assess the quality of the generated data, we trained several machine learning models to replace compiler heuristics for loop-related optimizations. The trained models perform equally well to the highly-tuned compiler heuristics when comparing the geometric means of benchmark suite performances. Larger impacts on few single benchmarks range from speedups of 20% to slowdowns of 17%. The presented approach can be implemented in any dynamic compiler. We believe that it can help to analyze compilation decisions and leverage the use of machine learning into dynamic compilation.


title: Learning the Solution Operator of Boundary Value Problems using Graph Neural Networks

abstract: As an alternative to classical numerical solvers for partial differential equations (PDEs) subject to boundary value constraints, there has been a surge of interest in investigating neural networks that can solve such problems efficiently. In this work, we design a general solution operator for two different time-independent PDEs using graph neural networks (GNNs) and spectral graph convolutions. We train the networks on simulated data from a finite elements solver on a variety of shapes and inhomogeneities. In contrast to previous works, we focus on the ability of the trained operator to generalize to previously unseen scenarios. Specifically, we test generalization to meshes with different shapes and superposition of solutions for a different number of inhomogeneities. We find that training on a diverse dataset with lots of variation in the finite element meshes is a key ingredient for achieving good generalization results in all cases. With this, we believe that GNNs can be used to learn solution operators that generalize over a range of properties and produce solutions much faster than a generic solver. Our dataset, which we make publicly available, can be used and extended to verify the robustness of these models under varying conditions.


title: Continuous Generalized Symmetries in Three Dimensions

abstract: We present a class of three-dimensional quantum field theories whose ordinary global symmetries mix with higher-form symmetries to form a continuous 2-group. All these models can be obtained by performing a gauging procedure in a parent theory revealing a 't Hooft anomaly in the space of coupling constants when suitable compact scalar background fields are activated. Furthermore, the gauging procedure also implies that our main example has infinitely many non-invertible global symmetries. These can be obtained by dressing the continuous symmetry operators with topological quantum field theories. Finally, we comment on the holographic realization of both 2-group global symmetries and non-invertible symmetries discussed here by introducing a corresponding four-dimensional bulk description in terms of dynamical gauge fields.


title: Towards Prescribed Accuracy in Under-tuned Super-Twisting Sliding Mode Control Loops -- Experimental Verification

abstract: Obtaining prescribed accuracy bounds in super-twisting sliding mode control loops often falls short in terms of the applicability of the controller in high-performance systems. This is due to the fact that the selection of the controller gains that are derived from the conditions for finite-time convergence may be too restrictive in connection to actuator limitations and induced chatter. Previous work has shown that in case of periodic perturbations, there can be a systematic selection of much lower controller gains that guarantees boundedness of the closed-loop solutions within predetermined accuracy bounds. This study presents an experimental validation of these findings carried out on a commercial industrial motor system.


title: Atomic Radiative Data for Oxygen and Nitrogen for Solar Photospheric Studies

abstract: Our recent re-analysis of the solar photospheric spectra with non-local thermodynamic equilibrium (non-LTE) models resulted in higher metal abundances compared to previous works. When applying the new chemical abundances to Standard Solar Model calculations, the new composition resolves the long-standing discrepancies with independent constraints on the solar structure from helioseismology. Critical to the determination of chemical abundances is the accuracy of the atomic data, specially the $f$-values, used in the radiative transfer models. Here we describe in detail the calculations of $f$-values for neutral oxygen and nitrogen used in our non-LTE models. Our calculations of $f$-values are based on a multi-method, multi-code approach and are the most detailed and extensive of its kind for the spectral lines of interest. We also report in this paper the details of extensive R-matrix calculation of photo-ionization cross sections for oxygen. Our calculation resulted in reliable $f$-values with well constrained uncertainties. We compare our results with previous theoretical and experimental determinations {of atomic data. We also quantify the influence of adopted photo-ionisation cross-sections on the spectroscopic estimate of the solar O abundance, using the data from different sources. We confirm that our 3D non-LTE value is robust and unaffected by the choice of photo-ionisation data, contrary to the recent claim made by Nahar.


title: Space-time thermodynamics in momentum dependent geometries

abstract: A possible way to capture the effects of quantum gravity in spacetime at a mesoscopic scale, for relatively low energies, is through an energy dependent metric, such that particles with different energies probe different spacetimes. In this context, a clear connection between a geometrical approach and modifications of the special relativistic kinematics has been shown in the last few years. In this work, we focus on the geometrical interpretation of the relativistic deformed kinematics present in the framework of doubly special relativity, where a relativity principle is present. In this setting, we study the effects of a momentum dependence of the metric for a uniformly accelerated observer. We show how the local Rindler wedge description gets affected by the proposed observer dependent metric, while the local Rindler causal structure is not, leading to a standard local causal horizon thermodynamic description. For the proposed modified metric, we can reproduce the derivation of Einstein's equations as the equations of state for the thermal Rindler wedge. The conservation of the Einstein tensor leads to the same privileged momentum basis obtained in other works of some of the present authors, so supporting its relevance.


title: Item Matching using Text Description and Similarity Search

abstract: In this paper, we focus on the problem of item matching using only the description. Those specific items not only lack a unique code but also contain short text descriptions, making the item matching process difficult. Our goal is to compare products using only the description provided by the purchase process. Therefore, evaluating other characteristics and differences can uncover possible flaws during the acquiring phase. However, the text of the items that we were working on was very small, with numbers due to the nature of the products and we have a limited amount of time to develop the solution which was 8 weeks. As result, we showed that working using a well-oriented methodology we were able to deliver a successful MVP and achieve the results expected with up to 55% match.


title: RevBiFPN: The Fully Reversible Bidirectional Feature Pyramid Network

abstract: This work introduces RevSilo, the first reversible bidirectional multi-scale feature fusion module. Like other reversible methods, RevSilo eliminates the need to store hidden activations by recomputing them. However, existing reversible methods do not apply to multi-scale feature fusion and are, therefore, not applicable to a large class of networks. Bidirectional multi-scale feature fusion promotes local and global coherence and has become a de facto design principle for networks targeting spatially sensitive tasks, e.g., HRNet (Sun et al., 2019a) and EfficientDet (Tan et al., 2020). These networks achieve state-of-the-art results across various computer vision tasks when paired with high-resolution inputs. However, training them requires substantial accelerator memory for saving large, multi-resolution activations. These memory requirements inherently cap the size of neural networks, limiting improvements that come from scale. Operating across resolution scales, RevSilo alleviates these issues. Stacking RevSilos, we create RevBiFPN, a fully reversible bidirectional feature pyramid network. RevBiFPN is competitive with networks such as EfficientNet while using up to 19.8x lesser training memory for image classification. When fine-tuned on MS COCO, RevBiFPN provides up to a 2.5% boost in AP over HRNet using fewer MACs and a 2.4x reduction in training-time memory.


title: Radio Emission from UV Cet: Auroral Emission from a Stellar Magnetosphere

abstract: The archetypical flare star UV Cet was observed by MeerKAT on 5-6 October 2021. A large radio outburst with a duration of $\sim\!2$ hr was observed between 886-1682 MHz with a time resolution of 8s and a frequency resolution of 0.84 MHz, enabling sensitive dynamic spectra to be formed. The emission is characterized by three peaks containing a multitude of broadband arcs or partial arcs in the time-frequency domain. In general, the arcs are highly right-hand circularly polarized. During end of the third peak, brief bursts occur that are significantly elliptically polarized. We present a simple model that appears to be broadly consistent with the characteristics of the radio emission from UV Cet. Briefly, the stellar magnetic field is modeled as a dipole aligned with the rotational axis of the star. The radio emission mechanism is assumed to be due to the cyclotron maser instability where x-mode radiation near the electron gyrofrequency is amplified. While the elliptically polarized bursts may be intrinsic to the source, rather stringent limits are imposed on the plasma density in the source and along the propagation path. We suggest that the elliptically polarized radiation may instead be the result of reflection on an over-dense plasma structure at some distance from the source. Radio emission from UV~Cet shares both stellar and planetary attributes.


title: Creation and robustness of quantized vortices in a dipolar supersolid when crossing the superfluid-to-supersolid transition

abstract: Experiments on dipolar Bose-Einstein condensates have recently reported the observation of supersolidity. Although quantized vortices constitute a key probe of superfluidity, their observability in dipolar supersolids is largely prevented by the strong density depletion caused by the formation of droplets. We present a novel approach to the nucleation of vortices and their observation, based on the quenching of the s-wave scattering length across the superfluid-supersolid transition. Starting from a slowly rotating, vortex-free, configuration in the superfluid phase, we predict vortex nucleation as the system enters the supersolid phase, due to the strong reduction of the critical angular velocity in the supersolid. Once a vortex is created, we show that it is robustly preserved when the condensate is brought back to the superfluid phase, where it may be readily observed.


title: Overlap of parafermionic zero modes at a finite distance

abstract: Parafermion bound states (PBSs) are generalizations of Majorana bound states (MBSs) and have been predicted to exist as zero-energy eigenstates in proximitized fractional quantum Hall edge states. Similarly to MBSs, a finite distance between the PBS can split the ground state degeneracy. However, parafermionic modes have a richer exchange statistics than MBSs, so several interaction terms are allowed by the underlying $\mathbb{Z}_{2n}$ symmetry, rendering the effective Hamiltonian governing a pair of PBSs at a finite distance nontrivial. Here, we use a combination of analytical techniques (semiclassical instanton approximation) and numerical techniques (quantum Monte Carlo simulations) to determine the effective coupling Hamiltonian. For this purpose, we go beyond the dilute one-instanton gas approximation and show how finite-size effects can give rise to higher-order parafermion interactions. We find excellent agreement between the analytical results and Monte Carlo simulations. We estimate that these finite-size corrections should be observable in some of the recently proposed experiments to observe PBSs in strongly correlated systems.


title: Korovkin type theorems for weakly nonlinear and monotone operators

abstract: In this paper we prove analogues of Korovkin's theorem in the context of weakly nonlinear and monotone operators acting on Banach lattices of functions of several variables. Our results concern the convergence almost everywhere, the convergence in measure and the convergence in $L^{p}$-norm. Several results illustrating the theory are also included.


title: Workflows to driving high-performance interactive supercomputing for urgent decision making

abstract: Interactive urgent computing is a small but growing user of supercomputing resources. However there are numerous technical challenges that must be overcome to make supercomputers fully suited to the wide range of urgent workloads which could benefit from the computational power delivered by such instruments. An important question is how to connect the different components of an urgent workload; namely the users, the simulation codes, and external data sources, together in a structured and accessible manner. In this paper we explore the role of workflows from both the perspective of marshalling and control of urgent workloads, and at the individual HPC machine level. Ultimately requiring two workflow systems, by using a space weather prediction urgent use-cases, we explore the benefit that these two workflow systems provide especially when one exploits the flexibility enabled by them interoperating.


title: Compact vacuum gap transmon qubits: Selective and sensitive probes for superconductor surface losses

abstract: State-of-the-art transmon qubits rely on large capacitors which systematically improves their coherence due to reduced surface loss participation. However, this approach increases both the footprint and the parasitic cross-coupling and is ultimately limited by radiation losses - a potential roadblock for scaling up quantum processors to millions of qubits. In this work we present transmon qubits with sizes as low as 36$ \times $39$ \mu$m$^2$ with $\gtrsim$100 nm wide vacuum gap capacitors that are micro-machined from commercial silicon-on-insulator wafers and shadow evaporated with aluminum. After the release in HF vapor we achieve a vacuum participation ratio up to 99.6\% in an in-plane design that is compatible with standard coplanar circuits. Qubit relaxation time measurements for small gaps with high vacuum electric fields of up to 22 V/m reveal a double exponential decay indicating comparably strong coupling to long-lived two-level-systems (TLS). The exceptionally high selectivity of $>$20 dB to the superconductor-vacuum surface allows to precisely back out the sub-single-photon dielectric loss tangent of aluminum oxide exposed to ambient conditions. In terms of future scaling potential we achieve a qubit quality factor by footprint area of $20 \mu \mathrm{s}^{-2}$, which is on par with the highest $T_1$ devices relying on larger geometries and expected to improve substantially for lower loss superconductors like NbTiN, TiN or Ta.


title: Entropy-based Characterization of Modeling Constraints

abstract: In most data-scientific approaches, the principle of Maximum Entropy (MaxEnt) is used to a posteriori justify some parametric model which has been already chosen based on experience, prior knowledge or computational simplicity. In a perpendicular formulation to conventional model building, we start from the linear system of phenomenological constraints and asymptotically derive the distribution over all viable distributions that satisfy the provided set of constraints. The MaxEnt distribution plays a special role, as it is the most typical among all phenomenologically viable distributions representing a good expansion point for large-N techniques. This enables us to consistently formulate hypothesis testing in a fully-data driven manner. The appropriate parametric model which is supported by the data can be always deduced at the end of model selection. In the MaxEnt framework, we recover major scores and selection procedures used in multiple applications and assess their ability to capture associations in the data-generating process and identify the most generalizable model. This data-driven counterpart of standard model selection demonstrates the unifying prospective of the deductive logic advocated by MaxEnt principle, while potentially shedding new insights to the inverse problem.


title: Computing Euclidean distance and maximum likelihood retraction maps for constrained optimization

abstract: Riemannian optimization uses local methods to solve optimization problems whose constraint set is a smooth manifold. A linear step along some descent direction usually leaves the constraints, and hence retraction maps are used to approximate the exponential map and return to the manifold. For many common matrix manifolds, retraction maps are available, with more or less explicit formulas. For implicitly-defined manifolds, suitable retraction maps are difficult to compute. We therefore develop an algorithm which uses homotopy continuation to compute the Euclidean distance retraction for any implicitly-defined submanifold of R^n, and prove convergence results. We also consider statistical models as Riemannian submanifolds of the probability simplex with the Fisher metric. Replacing Euclidean distance with maximum likelihood results in a map which we prove is a retraction. In fact, we prove the retraction is second-order; with the Levi-Civita connection associated to the Fisher metric, it approximates geodesics to second-order accuracy.


title: Special subsets of addresses for blockchains using the secp256k1 curve

abstract: In 2020 Sala, Sogiorno and Taufer have been able to find the private keys of some Bitcoin addresses, thus being able to spend the cryptocurrency linked to them. This result was unexpected, since the recovery of non-trivial private keys for blockchain addresses is deemed to be an infeasible problem. In this paper we widen this analysis by mounting a similar attack to other small subsets of the set of private keys. We then apply it to other blockchains as well, examining Ethereum, Dogecoin, Litecoin, Dash, Zcash and Bitcoin Cash. In addition to the results, we also explain the techniques we have used to perform this exhaustive search for all the addresses that have ever appeared in these blockchains.


title: Trapped magnetic flux in hydrogen-rich high-temperature superconductors

abstract: Recent discoveries of superconductivity in hydrogen-rich compounds stabilized by high pressures have shown that a critical temperature of superconductivity Tc can reach near room temperature values. The current studies focus on the search for new superconductors with higher Tcs to understand the ultimate limit of conventional superconductivity, and high-Tc superconductors at lower pressures. However, high pressure conditions put serious limitations on experimental studies. Electrical transport measurements have long been the primary experimental technique for reliable detection of superconductivity at high pressures, whereas magnetic susceptibility measurements continue to be a challenge. Here, we dramatically changed the protocol of magnetic measurements to probe the trapped magnetic flux. We tested this technique on samples of H3S and LaH10 and propose it for a routine examination of superconductivity at high pressures. Using the temperature- and magnetic field dependences of the trapped flux we estimated Tc ~195 K, a lower critical field ~0.36 T, an irreversibility field ~1.7 T, a full penetration field ~8.8 T, the London penetration depth ~37 nm, and critical current densities jc(T) in H3S at ~155 GPa in a wide temperature range. The trapped flux method is found to be sensitive to a particular phase in a mixture of superconducting phases: concomitant phases of sulfur and hydrogen-depleted LaHx were detected. In contrast to the Meissner state occurring at low external magnetic fields, a magnetic response from the trapped flux at zero applied magnetic field is in tens times stronger and is not contaminated by the magnetic background of a bulky diamond anvil cell. This technique can be a powerful tool for the screening of new superconducting materials, the study of multiphase, contaminated samples, or samples with a low superconducting fraction at ambient pressure too.


title: Optimization of QKD Networks with Classical and Quantum Annealing

abstract: This paper analyses a classical and a quantum annealing approach to compute the minimum deployment of Quantum Key Distribution (QKD) hardware in a tier 1 provider network. The ensemble of QKD systems needs to be able to exchange as many encryption keys between all network nodes in order to encrypt the data payload, which is defined by traffic demand matrices. Redundancy and latency requirements add additional boundary conditions. The result of the optimization problem yields a classical heuristic network planners may utilize for planning future QKD quantum networks.


title: Memory effects from holonomies

abstract: We provide a uniform treatment of electromagnetic and gravitational memory effects, based on the gravito-electromagnetic formulation of GR and a generalization of the geodesic deviation equation. This allows us to find novel results: in gauge theory, we derive relativistic corrections to the well-known kick memory observable, and a general expression for the displacement memory observable, typically overlooked in the literature. In GR, we find relativistic corrections to displacement and kick memory observables. In both theories, we find novel radial memory effects. Next, we show that electromagnetic and gravitational memory observables can be formulated in terms of certain holonomies on a holographic screen in asymptotically flat spacetimes. In gauge theory, the displacement and kick memory effects form a Hamiltonian vector field which is canonically generated by a Wilson loop. In the first order formulation of GR, we show that the holonomy naturally splits into translational and Lorentz parts. While the former encodes the leading and subleading displacement and kick memory observables, the latter reproduces the gyroscopic memory effect.


title: Magnetic Resonance Imaging study of sheared granular matter

abstract: We introduce a Magnetic Resonance Imaging technique to study the geometry of shear zones of soft, low-frictional and hard, frictional granular materials and their mixtures. Hydrogel spheres serve as the soft, low-frictional material component, while mustard seeds represent rigid, frictional grains. Some of the hydrogel spheres are doped with CuSO4 salt to serve as tracers. A split-bottom shear cell is sheared stepwise and the shear profiles are determined from the differences of tomograms after successive shear steps, using Particle Imaging Velocimetry.We find that the shear zone geometry differs considerably between soft grains submersed in water and the same material without the embedding fluid.


title: Weighted Average-convexity and Cooperative Games

abstract: We generalize the notion of convexity and average-convexity to the notion of weighted average-convexity. We show several results on the relation between weighted average-convexity and cooperative games. First, we prove that if a game is weighted average-convex, then the corresponding weighted Shapley value is in the core. Second, we exhibit necessary conditions for a communication TU-game to preserve the weighted average-convexity. Finally, we provide a complete characterization when the underlying graph is a priority decreasing tree.


title: Gluck twists on concordant or homotopic spheres

abstract: Let $M$ be a compact $4$-manifold and let $S$ and $T$ be embedded $2$-spheres in $M$, both with trivial normal bundle. We write $M_S$ and $M_T$ for the $4$-manifolds obtained by the Gluck twist operation on $M$ along $S$ and $T$ respectively. We show that if $S$ and $T$ are concordant, then $M_S$ and $M_T$ are $s$-cobordant, and so if $\pi_1(M)$ is good, then $M_S$ and $M_T$ are homeomorphic. Similarly, if $S$ and $T$ are homotopic then we show that $M_S$ and $M_T$ are simple homotopy equivalent. Under some further assumptions, we deduce that $M_S$ and $M_T$ are homeomorphic. We show that additional assumptions are necessary by giving an example where $S$ and $T$ are homotopic but $M_S$ and $M_T$ are not homeomorphic. We also give an example where $S$ and $T$ are homotopic and $M_S$ and $M_T$ are homeomorphic but not diffeomorphic.


title: On the universality of the volatility formation process: when machine learning and rough volatility agree

abstract: We train an LSTM network based on a pooled dataset made of hundreds of liquid stocks aiming to forecast the next daily realized volatility for all stocks. Showing the consistent outperformance of this universal LSTM relative to other asset-specific parametric models, we uncover nonparametric evidences of a universal volatility formation mechanism across assets relating past market realizations, including daily returns and volatilities, to current volatilities. A parsimonious parametric forecasting device combining the rough fractional stochastic volatility and quadratic rough Heston models with fixed parameters results in the same level of performance as the universal LSTM, which confirms the universality of the volatility formation process from a parametric perspective.

categories: q-fin.ST cs.LG q-fin.CP q-fin.RM stat.ML


title: Quantum Neural Architecture Search with Quantum Circuits Metric and Bayesian Optimization

abstract: Quantum neural networks are promising for a wide range of applications in the Noisy Intermediate-Scale Quantum era. As such, there is an increasing demand for automatic quantum neural architecture search. We tackle this challenge by designing a quantum circuits metric for Bayesian optimization with Gaussian process. To this goal, we propose a new quantum gates distance that characterizes the gates' action over every quantum state and provide a theoretical perspective on its geometrical properties. Our approach significantly outperforms the benchmark on three empirical quantum machine learning problems including training a quantum generative adversarial network, solving combinatorial optimization in the MaxCut problem, and simulating quantum Fourier transform. Our method can be extended to characterize behaviors of various quantum machine learning models.


title: SSL-Lanes: Self-Supervised Learning for Motion Forecasting in Autonomous Driving

abstract: Self-supervised learning (SSL) is an emerging technique that has been successfully employed to train convolutional neural networks (CNNs) and graph neural networks (GNNs) for more transferable, generalizable, and robust representation learning. However its potential in motion forecasting for autonomous driving has rarely been explored. In this study, we report the first systematic exploration and assessment of incorporating self-supervision into motion forecasting. We first propose to investigate four novel self-supervised learning tasks for motion forecasting with theoretical rationale and quantitative and qualitative comparisons on the challenging large-scale Argoverse dataset. Secondly, we point out that our auxiliary SSL-based learning setup not only outperforms forecasting methods which use transformers, complicated fusion mechanisms and sophisticated online dense goal candidate optimization algorithms in terms of performance accuracy, but also has low inference time and architectural complexity. Lastly, we conduct several experiments to understand why SSL improves motion forecasting. Code is open-sourced at \url{https://github.com/AutoVision-cloud/SSL-Lanes}.


title: Palatini $R^2$ Quintessential Inflation

abstract: We construct a model of quintessential inflation in Palatini $R^2$ gravity employing a scalar field with a simple exponential potential and coupled to gravity with a running non-minimal coupling. At early times, the field acts as the inflaton, while later on it becomes the current dark energy. Combining the scalar sector with an ideal fluid, we study the cosmological evolution of the model from inflation all the way to dark energy domination. We interpret the results in the Einstein frame, where a coupling emerges between the fluid and the field, feeding energy from the former to the latter during the matter-dominated era. We perform a numerical scan over the parameter space and find points that align with observations for both the inflationary CMB data and the late-time behaviour. The final dark energy density emerges from an interplay between the model parameters, without requiring the extreme fine-tuning of the cosmological constant in $\Lambda$CDM.


title: GitHub Actions: The Impact on the Pull Request Process

abstract: Software projects frequently use automation tools to perform repetitive activities in the distributed software development process. Recently, GitHub introduced GitHub Actions, a feature providing automated workflows for software projects. Understanding and anticipating the effects of adopting such technology is important for planning and management. Our research investigates how projects use GitHub Actions, what the developers discuss about them, and how project activity indicators change after their adoption. Our results indicate that 1,489 out of 5,000 most popular repositories (almost 30% of our sample) adopt GitHub Actions and that developers frequently ask for help implementing them. Our findings also suggest that the adoption of GitHub Actions leads to more rejections of pull requests (PRs), more communication in accepted PRs and less communication in rejected PRs, fewer commits in accepted PRs and more commits in rejected PRs, and more time to accept a PR. We found similar results when segmenting our results by categories of GitHub Actions. We suggest practitioners consider these effects when adopting GitHub Actions on their projects.


title: On composition of torsors

abstract: Let $K$ be a field, let $X$ be a connected smooth $K$-scheme and let $G,H$ be two smooth connected $K$-group schemes. Given $Y \to X$ a $G$-torsor and $Z \to Y$ an $H$-torsor, we study whether one can find an extension $E$ of $G$ by $H$ so that the composite $Z \to X$ is an $E$-torsor. We give both positive and negative results, depending on the nature of the groups $G$ and $H$.


title: Velocity profiles of matter and biased tracers around voids

abstract: The velocity profile of galaxies around voids is a key ingredient for redshift space distortion (RSD) measurements made using the void-galaxy correlation function. In this paper we use simulations to test whether the velocity profile of the tracers used to find the voids matches the velocity profile of the dark matter around these voids. A mismatch is expected and found in the inner part of voids, where tracers are very sparse. We discuss how this difference is caused by a selection effect where the void centre positions are correlated to the particular realization of the sparse tracers and their spatial distribution. In turn, this then affects the RSD void-galaxy correlation analysis. We show this by evaluating the Jacobian of the real to redshift space mapping using the tracer or matter velocity profile. Differences of the order of 20\% in the velocity profile translate into differences of the order of few percent in the Jacobian. This small discrepancy propagates to the monopole and quadrupole of the void-tracer correlation function, producing modifications of comparable magnitude to those from changes in $f\sigma_8$ at the level of the statistical uncertainties from current analyses.


title: First passage time for $g$--subdiffusion process of vanishing particles

abstract: Subdiffusion equation and molecule survival equation, both with Caputo fractional time derivatives with respect to another functions $g_1$ and $g_2$, respectively, are used to describe diffusion of a molecule that can disappear at any time with a constant probability. The process can be interpreted as ``ordinary'' subdiffusion and ``ordinary'' molecule survival process in which timescales are changed by the functions $g_1$ and $g_2$. We derive the first-passage time distribution for the process. The mutual influence of subdiffusion and molecule vanishing processes can be included in the model when the functions $g_1$ and $g_2$ are related to each other. As an example, we consider the processes in which subdiffusion and molecule survival are highly related, which corresponds to the case of $g_1\equiv g_2$.


title: Learning Variable Impedance Control for Aerial Sliding on Uneven Heterogeneous Surfaces by Proprioceptive and Tactile Sensing

abstract: The recent development of novel aerial vehicles capable of physically interacting with the environment leads to new applications such as contact-based inspection. These tasks require the robotic system to exchange forces with partially-known environments, which may contain uncertainties including unknown spatially-varying friction properties and discontinuous variations of the surface geometry. Finding a control strategy that is robust against these environmental uncertainties remains an open challenge. This paper presents a learning-based adaptive control strategy for aerial sliding tasks. In particular, the gains of a standard impedance controller are adjusted in real-time by a policy based on the current control signals, proprioceptive measurements, and tactile sensing. This policy is trained in simulation with simplified actuator dynamics in a student-teacher learning setup. The real-world performance of the proposed approach is verified using a tilt-arm omnidirectional flying vehicle. The proposed controller structure combines data-driven and model-based control methods, enabling our approach to successfully transfer directly and without adaptation from simulation to the real platform. Compared to fine-tuned state of the art interaction control methods we achieve reduced tracking error and improved disturbance rejection.


title: Simulations of fully convective M dwarfs: dynamo action with varying magnetic Prandtl numbers

abstract: M dwarfs are low-mass main-sequence stars, the most numerous type of stars in the solar neighbourhood, which are known to have significant magnetic activity. The aim of this work is to explore the dynamo solutions and magnetic fields of fully convective M dwarfs with varying magnetic Prandtl numbers ${\rm Pr_M}$, and a rotation period (${\rm P_{rot}}$) of 43 days. ${\rm Pr_M}$ is known to play an important role in the dynamo action; dynamos for low-$\rm Pr_M$ and large-$\rm Pr_M$ have very different properties. We performed three-dimensional magnetohydrodynamical (MHD) numerical simulations with the ``star-in-a-box'' model using stellar parameters for an M5 dwarf with $0.21 M_{\odot}$. We found that the dynamo solutions are sensitive to ${\rm Pr_M}$. The simulations at this rotation period present periodic cycles of the large-scale magnetic field up to ${\rm Pr_M} \leq 2$; for higher values the cycles disappear and irregular solutions to arise. Our results are consistent with previous studies and suggest that the dynamos operating in fully convective stars behave similarly as those in partially convective stars.


title: Realization of Lie algebras of derivations and moduli spaces of some rational homotopy types

abstract: We construct Lie algebras of derivations (and identify their geometrical realization) whose Maurer-Cartan sets provide moduli spaces describing the classes of homotopy types of rational spaces sharing either the same homotopy Lie algebra, homology or cohomology.


title: Simplifying Dataflow Dialogue Design

abstract: In \citep{andreas2020task-oriented}, a dataflow (DF) based dialogue system was introduced, showing clear advantages compared to many commonly used current systems. This was accompanied by the release of SMCalFlow, a practically relevant, manually annotated dataset, more detailed and much larger than any comparable dialogue dataset. Despite these remarkable contributions, the community has not shown further interest in this direction. What are the reasons for this lack of interest? And how can the community be encouraged to engage in research in this direction? One explanation may be the perception that this approach is too complex - both the the annotation and the system. This paper argues that this perception is wrong: 1) Suggestions for a simplified format for the annotation of the dataset are presented, 2) An implementation of the DF execution engine is released\footnote{https://github.com/telepathylabsai/OpenDF}, which can serve as a sandbox allowing researchers to easily implement, and experiment with, new DF dialogue designs. The hope is that these contributions will help engage more practitioners in exploring new ideas and designs for DF based dialogue systems.