title: Rainbow trees in uniformly edge-coloured graphs

abstract: We obtain sufficient conditions for the emergence of spanning and almost-spanning bounded-degree {\sl rainbow} trees in various host graphs, having their edges coloured independently and uniformly at random, using a predetermined palette. Our first result asserts that a uniform colouring of $\mathbb{G}(n,\omega(1)/n)$, using a palette of size $n$, a.a.s. admits a rainbow copy of any given bounded-degree tree on at most $(1-\varepsilon)n$ vertices, where $\varepsilon > 0$ is arbitrarily small yet fixed. This serves as a rainbow variant of a classical result by Alon, Krivelevich, and Sudakov pertaining to the embedding of bounded-degree almost-spanning prescribed trees in $\mathbb{G}(n,C/n)$, where $C > 0$ is independent of $n$. Given an $n$-vertex graph $G$ with minimum degree at least $\delta n$, where $\delta > 0$ is fixed, we use our aforementioned result in order to prove that a uniform colouring of the randomly perturbed graph $G \cup \mathbb{G}(n,\omega(1)/n)$, using $(1+\alpha)n$ colours, where $\alpha > 0$ is arbitrarily small yet fixed, a.a.s. admits a rainbow copy of any given bounded-degree {\sl spanning} tree. This can be viewed as a rainbow variant of a result by Krivelevich, Kwan, and Sudakov who proved that $G \cup \mathbb{G}(n,C/n)$, where $C > 0$ is independent of $n$, a.a.s. admits a copy of any given bounded-degree spanning tree. Finally, and with $G$ as above, we prove that a uniform colouring of $G \cup \mathbb{G}(n,\omega(n^{-2}))$ using $n-1$ colours a.a.s. admits a rainbow spanning tree. Put another way, the trivial lower bound on the size of the palette required for supporting a rainbow spanning tree is also sufficient, essentially as soon as the random perturbation a.a.s. has edges.


title: CoMAE: A Multi-factor Hierarchical Framework for Empathetic Response Generation

abstract: The capacity of empathy is crucial to the success of open-domain dialog systems. Due to its nature of multi-dimensionality, there are various factors that relate to empathy expression, such as communication mechanism, dialog act and emotion. However, existing methods for empathetic response generation usually either consider only one empathy factor or ignore the hierarchical relationships between different factors, leading to a weak ability of empathy modeling. In this paper, we propose a multi-factor hierarchical framework, CoMAE, for empathetic response generation, which models the above three key factors of empathy expression in a hierarchical way. We show experimentally that our CoMAE-based model can generate more empathetic responses than previous methods. We also highlight the importance of hierarchical modeling of different factors through both the empirical analysis on a real-life corpus and the extensive experiments. Our codes and used data are available at https://github.com/chujiezheng/CoMAE.


title: An Augmented Lagrangian Method for Optimization Problems with Structured Geometric Constraints

abstract: This paper is devoted to the theoretical and numerical investigation of an augmented Lagrangian method for the solution of optimization problems with geometric constraints. Specifically, we study situations where parts of the constraints are nonconvex and possibly complicated, but allow for a fast computation of projections onto this nonconvex set. Typical problem classes which satisfy this requirement are optimization problems with disjunctive constraints (like complementarity or cardinality constraints) as well as optimization problems over sets of matrices which have to satisfy additional rank constraints. The key idea behind our method is to keep these complicated constraints explicitly in the constraints and to penalize only the remaining constraints by an augmented Lagrangian function. The resulting subproblems are then solved with the aid of a problem-tailored nonmonotone projected gradient method. The corresponding convergence theory allows for an inexact solution of these subproblems. Nevertheless, the overall algorithm computes so-called Mordukhovich-stationary points of the original problem under a mild asymptotic regularity condition, which is generally weaker than most of the respective available problem-tailored constraint qualifications. Extensive numerical experiments addressing complementarity- and cardinality-constrained optimization problems as well as a semidefinite reformulation of MAXCUT problems visualize the power of our approach.


title: Zero-Shot Recommender Systems

abstract: Performance of recommender systems (RS) relies heavily on the amount of training data available. This poses a chicken-and-egg problem for early-stage products, whose amount of data, in turn, relies on the performance of their RS. On the other hand, zero-shot learning promises some degree of generalization from an old dataset to an entirely new dataset. In this paper, we explore the possibility of zero-shot learning in RS. We develop an algorithm, dubbed ZEro-Shot Recommenders (ZESRec), that is trained on an old dataset and generalize to a new one where there are neither overlapping users nor overlapping items, a setting that contrasts typical cross-domain RS that has either overlapping users or items. Different from categorical item indices, i.e., item ID, in previous methods, ZESRec uses items' natural-language descriptions (or description embeddings) as their continuous indices, and therefore naturally generalize to any unseen items. In terms of users, ZESRec builds upon recent advances on sequential RS to represent users using their interactions with items, thereby generalizing to unseen users as well. We study three pairs of real-world RS datasets and demonstrate that ZESRec can successfully enable recommendations in such a zero-shot setting, opening up new opportunities for resolving the chicken-and-egg problem for data-scarce startups or early-stage products.


title: Huffing, and puffing, and blowing your house in: Strong stellar winds interaction with a super massive black hole

abstract: We present analytic and numerical models of a cluster wind flow resulting from the interaction of stellar winds of massive stars, with a super massive black hole (SMBH). We consider the motion of the stars as well as the gravitational force of the SMBH. In the numerical simulations we consider two cases: the first one with the stars is in circular orbits, and the second one with the stars in eccentric orbits around the SMBH. We found that after the system reaches an equilibrium, the circular and elliptical cases are very similar. We found a very good agreement between the analytical and numerical results, not only from our numerical simulations but also from other high resolution numerical calculations. The analytical models are very interesting, since the properties of such complex systems involving strong winds and a massive compact object, can be rapidly inferred without the need of a numerical calculation.


title: Testing incompatibility of quantum devices with few states

abstract: When observations must come from incompatible devices and cannot be produced by compatible devices? This question motivates two integer valued quantifications of incompatibility, called incompatibility dimension and compatibility dimension. The first one quantifies how many states are minimally needed to detect incompatibility if the test states are chosen carefully, whereas the second one quantifies how many states one may have to use if they are randomly chosen. With concrete examples we show that these quantities have unexpected behaviour with respect to noise.


title: Can Self Reported Symptoms Predict Daily COVID-19 Cases?

abstract: The COVID-19 pandemic has impacted lives and economies across the globe, leading to many deaths. While vaccination is an important intervention, its roll-out is slow and unequal across the globe. Therefore, extensive testing still remains one of the key methods to monitor and contain the virus. Testing on a large scale is expensive and arduous. Hence, we need alternate methods to estimate the number of cases. Online surveys have been shown to be an effective method for data collection amidst the pandemic. In this work, we develop machine learning models to estimate the prevalence of COVID-19 using self-reported symptoms. Our best model predicts the daily cases with a mean absolute error (MAE) of 226.30 (normalized MAE of 27.09%) per state, which demonstrates the possibility of predicting the actual number of confirmed cases by utilizing self-reported symptoms. The models are developed at two levels of data granularity - local models, which are trained at the state level, and a single global model which is trained on the combined data aggregated across all states. Our results indicate a lower error on the local models as opposed to the global model. In addition, we also show that the most important symptoms (features) vary considerably from state to state. This work demonstrates that the models developed on crowd-sourced data, curated via online platforms, can complement the existing epidemiological surveillance infrastructure in a cost-effective manner. The code is publicly available at https://github.com/parthpatwa/Can-Self-Reported-Symptoms-Predict-Daily-COVID-19-Cases.


title: Microwave response of a metallic superconductor subject to a high-voltage gate electrode

abstract: Processes that lead to the critical-current suppression and change of impedance of a superconductor under the application of an external voltage is an active area of research, especially due to various possible technological applications. In particular, field-effect transistors and radiation detectors have been developed in the recent years, showing the potential for precision and sensitivity exceeding their normal-metal counterparts. In order to describe the phenomenon that leads to the critical-current suppression in metallic superconducting structures, a field-effect hypothesis has been formulated, stating that an electric field can penetrate the metallic superconductor and affect its characteristics. The existence of such an effect would imply the incompleteness of the underlying theory, and hence indicate an important gap in the general comprehension of superconductors. In addition to its theoretical value, a complete understanding of the phenomenon underneath the electric-field response of the superconductor is important in the light of the related technological applications. In this paper, we study the change of the characteristics of a superconductor implementing a coplanar-waveguide resonator as a tank circuit, by relating our measurements to the reactance and resistance of the material. Namely, we track the state of the superconductor at different voltages and resulting leakage currents of a nearby gate electrode which is not galvanically connected to the resonator. By comparing the effects of the leakage current and of a change in the temperature of the system, we conclude that the observed behaviour in the superconductor is [...]


title: Random walks on complex networks with multiple resetting nodes: a renewal approach

abstract: Due to wide applications in diverse fields, random walks subject to stochastic resetting have attracted considerable attention in the last decade. In this paper, we study discrete-time random walks on complex network with multiple resetting nodes. Using a renewal approach, we derive exact expressions of the occupation probability of the walker in each node and mean-field first-passage time between arbitrary two nodes. All the results are relevant to the spectral properties of the transition matrix in the absence of resetting. We demonstrate our results on circular networks, stochastic block models, and Barab\'asi-Albert scale-free networks, and find the advantage of the resetting processes to multiple resetting nodes in global searching on such networks.


title: Learning-Based Robust Resource allocation for D2D Underlaying Cellular Network

abstract: In this paper, we study the resource allocation in D2D underlaying cellular network with uncertain channel state information (CSI). For satisfying the diversity requirements of different users, i.e. the minimum rate requirement for cellular user and the reliability requirement for D2D user, we attempt to maximize the cellular user's throughput whilst ensuring a chance constraint for D2D user. Then, a robust resource allocation framework is proposed for solving the highly intractable chance constraint about D2D reliability requirement, where the CSI uncertainties are represented as a deterministic set and the reliability requirement is enforced to hold for any uncertain CSI within it. Then, a symmetrical-geometry-based learning approach is developed to model the uncertain CSI into polytope, ellipsoidal and box. After that, we derive the robust counterpart of the chance constraint under these uncertainty sets as the computation convenient convex sets. To overcome the conservatism of the symmetrical-geometry-based uncertainty sets, we develop a support vector clustering (SVC)-based approach to model uncertain CSI as a compact convex uncertainty set. Based on that, the chance constraint of D2D is converted into a linear convex set. Then, we develop a bisection search-based power allocation algorithm for solving the resource allocation in D2D underlaying cellular network with different robust counterparts. Finally, we conduct the simulation to compare the proposed robust optimization approaches with the non-robust one.


title: Robust Physics-Based Manipulation by Interleaving Open and Closed-Loop Execution

abstract: We present a planning and control framework for physics-based manipulation under uncertainty. The key idea is to interleave robust open-loop execution with closed-loop control. We derive robustness metrics through contraction theory. We use these metrics to plan trajectories that are robust to both state uncertainty and model inaccuracies. However, fully robust trajectories are extremely difficult to find or may not exist for many multi-contact manipulation problems. We separate a trajectory into robust and non-robust segments through a minimum cost path search on a robustness graph. Robust segments are executed open-loop and non-robust segments are executed with model-predictive control. We conduct experiments on a real robotic system for reaching in clutter. Our results suggest that the open and closed-loop approach results in up to 35% more real-world success compared to open-loop baselines and a 40% reduction in execution time compared to model-predictive control. We show for the first time that partially open-loop manipulation plans generated with our approach reach similar success rates to model-predictive control, while achieving a more fluent/real-time execution. A video showing real-robot executions can be found at https://youtu.be/rPOPCwHfV4g.


title: Actively Learning Concepts and Conjunctive Queries under ELr-Ontologies

abstract: We consider the problem to learn a concept or a query in the presence of an ontology formulated in the description logic ELr, in Angluin's framework of active learning that allows the learning algorithm to interactively query an oracle (such as a domain expert). We show that the following can be learned in polynomial time: (1) EL-concepts, (2) symmetry-free ELI-concepts, and (3) conjunctive queries (CQs) that are chordal, symmetry-free, and of bounded arity. In all cases, the learner can pose to the oracle membership queries based on ABoxes and equivalence queries that ask whether a given concept/query from the considered class is equivalent to the target. The restriction to bounded arity in (3) can be removed when we admit unrestricted CQs in equivalence queries. We also show that EL-concepts are not polynomial query learnable in the presence of ELI-ontologies.


title: First detection of a disk free of volatile elements around a young A-type star: A sign of collisions between rocky planets?

abstract: Aims. We present the first detailed analysis of the astrophysical parameters of the poorly studied Sco-Cen member HD 152384 and its circumstellar environment. Methods. We analyze newly obtained optical-near-IR XSHOOTER spectra, as well as archival TESS data, of HD 152384. In addition, we use literature photometric data to construct a detailed spectral energy distribution (SED) of the star. Results. The photospheric absorption lines in the spectrum of HD 152384 are characteristic of a A0 V star, for which we derive a stellar mass of 2.1 +/- 0.1 M_sun and a stellar age > 4.5 Myr. Superimposed on the photospheric absorption, the optical spectrum also displays double-peaked emission lines of Ca II, Fe I, Mg I and Si I, typical of circumstellar disks. Notably, all Hydrogen and Helium lines appear strictly in absorption. A toy model shows that the observed emission line profiles can be reproduced by emission from a compact (radius < 0.3 au) disk seen at an inclination of ~24 degrees. Further evidence for the presence of circumstellar material comes from the detection of a moderate infrared excess in the SED, similar to those found in extreme debris disk systems. Conclusions. We conclude that HD 152384 is surrounded by a tenuous circumstellar disk which, although rich in refractory elements, is highly depleted of volatile elements. To the best of our knowledge such a disk is unique within the group of young stars. However, it is reminiscent of the disks seen in some white dwarfs, which have been attributed to the disruption of rocky planets. We suggest that the disk around HD 152384 may have a similar origin and may be due to collisions in a newly formed planetary system.


title: Blind Bipedal Stair Traversal via Sim-to-Real Reinforcement Learning

abstract: Accurate and precise terrain estimation is a difficult problem for robot locomotion in real-world environments. Thus, it is useful to have systems that do not depend on accurate estimation to the point of fragility. In this paper, we explore the limits of such an approach by investigating the problem of traversing stair-like terrain without any external perception or terrain models on a bipedal robot. For such blind bipedal platforms, the problem appears difficult (even for humans) due to the surprise elevation changes. Our main contribution is to show that sim-to-real reinforcement learning (RL) can achieve robust locomotion over stair-like terrain on the bipedal robot Cassie using only proprioceptive feedback. Importantly, this only requires modifying an existing flat-terrain training RL framework to include stair-like terrain randomization, without any changes in reward function. To our knowledge, this is the first controller for a bipedal, human-scale robot capable of reliably traversing a variety of real-world stairs and other stair-like disturbances using only proprioception.


title: Non volatile photo-switch using a diamond pn junction

abstract: Ultrawide bandgap semiconductor technologies offer potentially revolutionary advances in the rapidly developing areas of quantum communication, short wavelength optics, smart energy conversion and biomedical interfaces. These strongly demanding technologies can be partly constructed using conventional devices but new hybrid architectures are needed to overpass current performances and add functionalities. Here, we propose a new concept based on the specific properties of a diamond pn junction combined with both an electric and optical control of the depletion region. Using this junction as a gate in a junction field effect transistor, we report a proof of concept of a non volatile diamond photo-switch. A diamond pn junction made with nitrogen deep donors in the n-side is demonstrated to be optically activated thanks to visible light. The n-type diamond gate is almost devoid of free carriers in the dark and thus insulating. Illuminating the device renders the standard electrical gate control of the transistor efficient. Without illumination, the device is frozen, keeping a permanent memory of the current state. This new way of operating the device opens numerous possibilities to store and transfer information or energy with applications in the field of electrical aircraft or aerospace electronics, power electronics, bio-electronics and quantum communication.


title: Residual Network and Embedding Usage: New Tricks of Node Classification with Graph Convolutional Networks

abstract: Graph Convolutional Networks (GCNs) and subsequent variants have been proposed to solve tasks on graphs, especially node classification tasks. In the literature, however, most tricks or techniques are either briefly mentioned as implementation details or only visible in source code. In this paper, we first summarize some existing effective tricks used in GCNs mini-batch training. Based on this, two novel tricks named GCN_res Framework and Embedding Usage are proposed by leveraging residual network and pre-trained embedding to improve baseline's test accuracy in different datasets. Experiments on Open Graph Benchmark (OGB) show that, by combining these techniques, the test accuracy of various GCNs increases by 1.21%~2.84%. We open source our implementation at https://github.com/ytchx1999/PyG-OGB-Tricks.


title: On the exceptional temperature stability of ferroelectric AlScN thin films

abstract: Through its dependence on low symmetry crystal phases, ferroelectricity is inherently a property tied to the lower temperature ranges of the phase diagram for a given material. This paper presents conclusive evidence that in the case of ferroelectric AlScN, low temperature has to be seen as a purely relative term, since its ferroelectric-to-paraelectric transition temperature is confirmed to surpass 1100{\deg}C and thus the transition temperature of virtually any other thin film ferroelectric. We arrived at this conclusion through investigating the structural stability of 0.4 - 2 ${\mu}$m thick Al$_{0.73}$Sc$_{0.27}$N films grown on Mo bottom electrodes via in situ high-temperature X-ray diffraction and permittivity measurements. Our studies reveal the wurtzite-type structure of Al$_{0.73}$Sc$_{0.27}$N is conserved during the entire 1100{\deg}C annealing cycle, apparent through a constant c over a lattice parameter ratio. In situ permittivity measurements performed up to 1000{\deg}C strongly support this conclusion and include what could be the onset of a diverging permittivity only at the very upper end of the measurement interval. Our in situ measurements are well-supported by ex situ (scanning) transmission electron microscopy and polarization and capacity hysteresis measurements. These results confirm the structural stability on the sub-${\mu}$m scale next to the stability of the inscribed polarization during the complete 1100{\deg}C annealing treatment. Thus, AlScN is the first readily available thin film ferroelectric with a temperature stability that surpasses virtually all thermal budgets occurring in microtechnology, be it during fabrication or the lifetime of a device - even in harshest environments.


title: Categorical dynamical systems arising from sign-stable mutation loops

abstract: We give an autoequivalence of the derived category of the Ginzburg dg algebra for a mutation loop satisfying the sign stability introduced in [IK21]. We compute the categorical entropies of their restrictions to some subcategories and conclude that they are both given by the logarithm of the cluster stretch factor. Moreover, we discuss the pseudo-Anosovness of them in the sense of [FFHKL19] and [DHKK14].


title: Partially dissipative hyperbolic systems in the critical regularity setting : The multi-dimensional case

abstract: We are concerned with quasilinear symmetrizable partially dissipative hyperbolic systems in the whole space $\mathbb{R}^d$ with $d\geq2$. Following our recent work [10] dedicated to the one-dimensional case, we establish the existence of global strong solutions and decay estimates in the critical regularity setting whenever the system under consideration satisfies the so-called (SK) (for Shizuta-Kawashima) condition. Our results in particular apply to the compressible Euler system with damping in the velocity equation. Compared to the papers by Kawashima and Xu [27, 28] devoted to similar issues, our use of hybrid Besov norms with different regularity exponents in low and high frequency enable us to pinpoint optimal smallness conditions for global well-posedness and to get more accurate information on the qualitative properties of the constructed solutions. A great part of our analysis relies on the study of a Lyapunov functional in the spirit of that of Beauchard and Zuazua in [2]. Exhibiting a damped mode with faster time decay than the whole solution also plays a key role.


title: Revisiting CMB constraints on dark matter annihilation

abstract: The precision measurements of the cosmic microwave background power spectrum put a strong constraint on the dark matter annihilation cross section since the electromagnetic energy injection by the dark matter annihilation affects the ionization history of the universe. In this paper, we update our previous simulation code for calculating the ionization history with the effect of dark matter annihilation by including Helium interactions and improving the precision of calculations. We give an updated constraint on the annihilation cross section and mass of dark matter using the modified RECFAST code with the Planck 2018 datasets.


title: Interference-free Walks in Time: Temporally Disjoint Paths

abstract: We investigate the computational complexity of finding temporally disjoint paths or walks in temporal graphs. There, the edge set changes over discrete time steps and a temporal path (resp. walk) uses edges that appear at monotonically increasing time steps. Two paths (or walks) are temporally disjoint if they never use the same vertex at the same time; otherwise, they interfere. This reflects applications in robotics, traffic routing, or finding safe pathways in dynamically changing networks. On the one extreme, we show that on general graphs the problem is computationally hard. The "walk version" is W[1]-hard when parameterized by the number of routes. However, it is polynomial-time solvable for any constant number of walks. The "path version" remains NP-hard even if we want to find only two temporally disjoint paths. On the other extreme, restricting the input temporal graph to have a path as underlying graph, quite counterintuitively, we find NP-hardness in general but also identify natural tractable cases.


title: Exemplar-Based Open-Set Panoptic Segmentation Network

abstract: We extend panoptic segmentation to the open-world and introduce an open-set panoptic segmentation (OPS) task. This task requires performing panoptic segmentation for not only known classes but also unknown ones that have not been acknowledged during training. We investigate the practical challenges of the task and construct a benchmark on top of an existing dataset, COCO. In addition, we propose a novel exemplar-based open-set panoptic segmentation network (EOPSN) inspired by exemplar theory. Our approach identifies a new class based on exemplars, which are identified by clustering and employed as pseudo-ground-truths. The size of each class increases by mining new exemplars based on the similarities to the existing ones associated with the class. We evaluate EOPSN on the proposed benchmark and demonstrate the effectiveness of our proposals. The primary goal of our work is to draw the attention of the community to the recognition in the open-world scenarios. The implementation of our algorithm is available on the project webpage: https://cv.snu.ac.kr/research/EOPSN.


title: Characterization of a Two-Photon Quantum Battery: Initial Conditions, Stability and Work Extraction

abstract: We consider a quantum battery that is based on a two-level system coupled with a cavity radiation by means of a two-photon interaction. Various figures of merit, such as stored energy, average charging power, energy fluctuations, and extractable work are investigated, considering, as possible initial conditions for the cavity, a Fock state, a coherent state, and a squeezed state. We show that the first state leads to better performances for the battery. However, a coherent state with the same average number of photons, even if it is affected by stronger fluctuations in the stored energy, results in quite interesting performance, in particular since it allows for almost completely extracting the stored energy as usable work at short enough times.


title: Neural networks to predict survival from RNA-seq data in oncology

abstract: Survival analysis consists of studying the elapsed time until an event of interest, such as the death or recovery of a patient in medical studies. This work explores the potential of neural networks in survival analysis from clinical and RNA-seq data. If the neural network approach is not recent in survival analysis, methods were classically considered for low-dimensional input data. But with the emergence of high-throughput sequencing data, the number of covariates of interest has become very large, with new statistical issues to consider. We present and test a few recent neural network approaches for survival analysis adapted to high-dimensional inputs.


title: DRIVE: One-bit Distributed Mean Estimation

abstract: We consider the problem where $n$ clients transmit $d$-dimensional real-valued vectors using $d(1+o(1))$ bits each, in a manner that allows the receiver to approximately reconstruct their mean. Such compression problems naturally arise in distributed and federated learning. We provide novel mathematical results and derive computationally efficient algorithms that are more accurate than previous compression techniques. We evaluate our methods on a collection of distributed and federated learning tasks, using a variety of datasets, and show a consistent improvement over the state of the art.


title: Self-Organization in Cold Atoms Mediated by Diffractive Coupling

abstract: This article discusses self-organization in cold atoms via light-mediated interactions induced by feedback from a single retro-reflecting mirror. Diffractive dephasing between the pump beam and the spontaneous sidebands selects the lattice period. Spontaneous breaking of the rotational and translational symmetry occur in the 2D plane transverse to the pump. We elucidate how diffractive ripples couple sites on the self-induced atomic lattice. The nonlinear phase shift of the atomic cloud imprinted onto the optical beam is the parameter determining coupling strength. The interaction can be tailored to operate either on external degrees of freedom leading to atomic crystallization for thermal atoms and supersolids for a quantum degenerate gas, or on internal degrees of freedom like populations of the excited state or Zeeman sublevels. Using the light polarization degrees of freedom on the Poincar{\'e} sphere (helicity and polarization direction), specific irreducible tensor components of the atomic Zeeman states can be coupled leading to spontaneous magnetic ordering of states of dipolar and quadrupolar nature. The requirements for critical interaction strength are compared for the different situations. Connections and extensions to longitudinally pumped cavities, counterpropagating beam schemes and the CARL instability are discussed.

categories: nlin.PS physics.atom-ph physics.optics quant-ph


title: About plane periodic waves of the nonlinear Schr\"odinger equations

abstract: The present contribution contains a quite extensive theory for the stability analysis of plane periodic waves of general Schr{\"o}dinger equations. On one hand, we put the one-dimensional theory, or in other words the stability theory for longitudinal perturbations, on a par with the one available for systems of Korteweg type, including results on co-periodic spectral instability, nonlinear co-periodic orbital stability, side-band spectral instability and linearized large-time dynamics in relation with modulation theory, and resolutions of all the involved assumptions in both the small-amplitude and large-period regimes. On the other hand, we provide extensions of the spectral part of the latter to the multi-dimensional context. Notably, we provide suitable multi-dimensional modulation formal asymptotics, validate those at the spectral level and use them to prove that waves are always spectrally unstable in both the small-amplitude and the large-period regimes.


title: Molecular approaches reveal weak sibship aggregation and a high dispersal propensity in a non-native fish parasite

abstract: Inferring parameters related to the aggregation pattern of parasites and to their dispersal propensity is important for predicting their ecological consequences and evolutionary potential. Nonetheless, it is notoriously difficult to infer these parameters from wildlife parasites given the difficulty in tracking these organisms. Molecular-based inferences constitute a promising approach that has yet rarely been applied in the wild.Here, we combinedseveral population genetic analyses including sibship reconstruction to documentthe genetic structure, patterns of sibship aggregation and the dispersal dynamics of a non-native parasite of fish, the freshwater copepod ectoparasiteTracheliastespolycolpus. We collected parasites according to a hierarchical sampling design,withthe sampling of all parasites from all host individualscapturedineight sites spread along an upstream-downstream river gradient. Individual multilocus genotypes were obtained from 14 microsatellite markers, and used to assign parasites to full-sib families and to investigate the genetic structure of T.polycolpus among both hosts and sampling sites. The distribution of full-sibs obtainedamong the sampling sites was used to estimate individual dispersal distances within families. Our results showed that T. polycolpus sibs tend to be aggregated within sites but not withinhost individuals. We detected important upstream-to-downstream dispersal events of T.polycolpusbetween sites (modal distance: 25.4 km; 95% CI [22.9, 27.7]), becoming scarcer as the geographic distance from their family core location increases. Such a dispersal pattern likely contributes to the strong isolation-by-distance observed at the river scale. We also detected some downstream-to-upstream dispersal events (modal distance: 2.6 km; 95% CI [2.2-23.3]) that likely result from movementsof infected hosts.Within each site, the dispersal of free-living infective larvae among hosts likely contributes to increasing genetic diversity on hosts, possibly fostering the evolutionary potential of T. polycolpus.


title: THz Near-Field Imaging of Extreme Subwavelength Metal Structures

abstract: Modern scattering-type scanning near-field optical microscopy (s-SNOM) has become an indispensable tool in material research. However, as the s-SNOM technique marches into the far-infrared (IR) and terahertz (THz) regimes, emerging experiments sometimes produce puzzling results. For example, anomalies in the near-field optical contrast have been widely reported. In this Letter, we systematically investigate a series of extreme subwavelength metallic nanostructures via s-SNOM near-field imaging in the GHz to THz frequency range. We find that the near-field material contrast is greatly impacted by the lateral size of the nanostructure, while the spatial resolution is practically independent of it. The contrast is also strongly affected by the connectivity of the metallic structures to a larger metallic ground plane. The observed effect can be largely explained by a quasi-electrostatic analysis. We also compare the THz s-SNOM results to those of the mid-IR regime, where the size-dependence becomes significant only for smaller structures. Our results reveal that the quantitative analysis of the near-field optical material contrasts in the long-wavelength regime requires a careful assessment of the size and configuration of metallic (optically conductive) structures.


title: Spreading speeds and spreading sets of reaction-diffusion equations

abstract: This paper deals with the large time dynamics of bounded solutions of reaction-diffusion equations with unbounded initial support in $\mathbb{R}^N$. We prove a variational formula for the spreading speeds in any direction, and we also describe the asymptotic shape of the level sets of the solutions at large time. The Freidlin-G\"artner type formula for the spreading speeds involves newly introduced notions of bounded and unbounded directions of the initial support. The results hold for a large class of reaction terms and for solutions emanating from initial conditions with general unbounded support, whereas most of earlier results were concerned with more specific reactions and compactly supported or almost-planar initial conditions. We also prove some results of independent interest on some conditions guaranteeing the spreading of solutions with large initial support and the link between these conditions and the existence of traveling fronts with positive speed. The proofs use a mix of ODE and PDE methods, as well as some geometric arguments. The results are sharp and counterexamples are shown when the assumptions are not all fulfilled.


title: Double robust inference for continuous updating GMM

abstract: We propose the double robust Lagrange multiplier (DRLM) statistic for testing hypotheses specified on the pseudo-true value of the structural parameters in the generalized method of moments. The pseudo-true value is defined as the minimizer of the population continuous updating objective function and equals the true value of the structural parameter in the absence of misspecification.\nocite{hhy96} The (bounding) chi-squared limiting distribution of the DRLM statistic is robust to both misspecification and weak identification of the structural parameters, hence its name. To emphasize its importance for applied work, we use the DRLM test to analyze the return on education, which is often perceived to be weakly identified, using data from Card (1995) where misspecification occurs in case of treatment heterogeneity; and to analyze the risk premia associated with risk factors proposed in Adrian et al. (2014) and He et al. (2017), where both misspecification and weak identification need to be addressed.


title: Identification robust inference for moments based analysis of linear dynamic panel data models

abstract: We use identification robust tests to show that difference, level and non-linear moment conditions, as proposed by Arellano and Bond (1991), Arellano and Bover (1995), Blundell and Bond (1998) and Ahn and Schmidt (1995) for the linear dynamic panel data model, do not separately identify the autoregressive parameter when its true value is close to one and the variance of the initial observations is large. We prove that combinations of these moment conditions, however, do so when there are more than three time series observations. This identification then solely results from a set of, so-called, robust moment conditions. These robust moments are spanned by the combined difference, level and non-linear moment conditions and only depend on differenced data. We show that, when only the robust moments contain identifying information on the autoregressive parameter, the discriminatory power of the Kleibergen (2005) LM test using the combined moments is identical to the largest rejection frequencies that can be obtained from solely using the robust moments. This shows that the KLM test implicitly uses the robust moments when only they contain information on the autoregressive parameter.


title: Dark matter Axion search with riNg Cavity Experiment DANCE: Development of control system for long-term measurement

abstract: Axion-like particles (ALPs) are pseudo-scalar particles that are candidates for ultralight dark matter. ALPs interact with photons slightly and cause the rotational oscillation of linear polarization. DANCE searches for ALP dark matter by enhancing the rotational oscillation in a bow-tie ring cavity. The signal to noise ratio of DANCE can be improved by long-term observation, and we are planning a year-long observation for the final DANCE. In this document, I will report on the control systems of the ring cavity we developed for the future long-term observation.


title: On Convex Clustering Solutions

abstract: Convex clustering is an attractive clustering algorithm with favorable properties such as efficiency and optimality owing to its convex formulation. It is thought to generalize both k-means clustering and agglomerative clustering. However, it is not known whether convex clustering preserves desirable properties of these algorithms. A common expectation is that convex clustering may learn difficult cluster types such as non-convex ones. Current understanding of convex clustering is limited to only consistency results on well-separated clusters. We show new understanding of its solutions. We prove that convex clustering can only learn convex clusters. We then show that the clusters have disjoint bounding balls with significant gaps. We further characterize the solutions, regularization hyperparameters, inclusterable cases and consistency.


title: Optimal Lockdown Policies driven by Socioeconomic Costs

abstract: In this research paper we modify a classical SIR model to better adapt to the dynamics of COVID-19, that is we propose the heterogeneous SQAIRD model where COVID-19 spreads over a population of economic agents, namely: the elderly, adults and young people. We then compute and simulate an optimal control problem faced by a Government, where its objective is to minimize the costs generated by the pandemics using as control a compulsory quarantine measure (that is, a lockdown). We first analyze the problem from a theoretical perspective, claiming that different lockdown policies (total lockdown, no lockdown or partial lockdown) may justified by different cost (concave or convex) structures of the economies. We then focus on a particular cost structure (convex costs) and we simulate a targeted optimal policy vs. a uniform optimal policy, by dividing the whole population in three demographic groups (young, adults and old). We also simulate the dynamic of the pandemic with no policy implemented. Simulations highlighted the fact that: a) a policy of lockdown is always better than the \emph{laissez faire} policy, because it limits the costs that the pandemic generates in an uncontrolled situation; b) a targeted policy based on age of the individuals outperforms a uniform policy in terms of costs that it generates, being a targeted policy less costly and equally effective in the control of the pandemic.


title: Generic Reversible Visible Watermarking Via Regularized Graph Fourier Transform Coding

abstract: Reversible visible watermarking (RVW) is an active copyright protection mechanism. It not only transparently superimposes copyright patterns on specific positions of digital images or video frames to declare the copyright ownership information, but also completely erases the visible watermark image and thus enables restoring the original host image without any distortion. However, existing RVW algorithms mostly construct the reversible mapping mechanism for a specific visible watermarking scheme, which is not versatile. Hence, we propose a generic RVW framework to accommodate various visible watermarking schemes. In particular, we obtain a reconstruction data packet -- the compressed difference image between the watermarked image and the original host image, which is embedded into the watermarked image via any conventional reversible data hiding method to facilitate the blind recovery of the host image. The key is to achieve compact compression of the difference image for efficient embedding of the reconstruction data packet. To this end, we propose regularized Graph Fourier Transform (GFT) coding, where the difference image is smoothed via the graph Laplacian regularizer for more efficient compression and then encoded by multi-resolution GFTs in an approximately optimal manner. Experimental results show that the proposed framework has much better versatility than state-of-the-art methods. Due to the small amount of auxiliary information to be embedded, the visual quality of the watermarked image is also higher.


title: Solving the electronic Schr\"odinger equation for multiple nuclear geometries with weight-sharing deep neural networks

abstract: Accurate numerical solutions for the Schr\"odinger equation are of utmost importance in quantum chemistry. However, the computational cost of current high-accuracy methods scales poorly with the number of interacting particles. Combining Monte Carlo methods with unsupervised training of neural networks has recently been proposed as a promising approach to overcome the curse of dimensionality in this setting and to obtain accurate wavefunctions for individual molecules at a moderately scaling computational cost. These methods currently do not exploit the regularity exhibited by wavefunctions with respect to their molecular geometries. Inspired by recent successful applications of deep transfer learning in machine translation and computer vision tasks, we attempt to leverage this regularity by introducing a weight-sharing constraint when optimizing neural network-based models for different molecular geometries. That is, we restrict the optimization process such that up to 95 percent of weights in a neural network model are in fact equal across varying molecular geometries. We find that this technique can accelerate optimization when considering sets of nuclear geometries of the same molecule by an order of magnitude and that it opens a promising route towards pre-trained neural network wavefunctions that yield high accuracy even across different molecules.


title: Hot carriers in graphene -- fundamentals and applications

abstract: Hot charge carriers in graphene exhibit fascinating physical phenomena, whose understanding has improved greatly over the past decade. They have distinctly different physical properties compared to, for example, hot carriers in conventional metals. This is predominantly the result of graphene's linear energy-momentum dispersion, its phonon properties, its all-interface character, and the tunability of its carrier density down to very small values, and from electron- to hole-doping. Since a few years, we have witnessed an increasing interest in technological applications enabled by hot carriers in graphene. Of particular interest are optical and optoelectronic applications, where hot carriers are used to detect (photodetection), convert (nonlinear photonics), or emit (luminescence) light. Graphene-enabled systems in these application areas could find widespread use and have a disruptive impact, for example in the field of data communication, high-frequency electronics, and industrial quality control. The aim of this review is to provide an overview of the most relevant physics and working principles that are relevant for applications exploiting hot carriers in graphene.


title: Quantitative and Approximate Monitoring

abstract: In runtime verification, a monitor watches a trace of a system and, if possible, decides after observing each finite prefix whether or not the unknown infinite trace satisfies a given specification. We generalize the theory of runtime verification to monitors that attempt to estimate numerical values of quantitative trace properties (instead of attempting to conclude boolean values of trace specifications), such as maximal or average response time along a trace. Quantitative monitors are approximate: with every finite prefix, they can improve their estimate of the infinite trace's unknown property value. Consequently, quantitative monitors can be compared with regard to a precision-cost trade-off: better approximations of the property value require more monitor resources, such as states (in the case of finite-state monitors) or registers, and additional resources yield better approximations. We introduce a formal framework for quantitative and approximate monitoring, show how it conservatively generalizes the classical boolean setting for monitoring, and give several precision-cost trade-offs for monitors. For example, we prove that there are quantitative properties for which every additional register improves monitoring precision.


title: Coexistence of chaotic and elliptic behaviors among analytic, symplectic diffeomorphisms of any surface

abstract: We show the coexistence of chaotic behaviors (positive metric entropy) and elliptic behaviors (intregrable KAM island) among analytic, symplectic diffeomorphism of any closed surface. In particilar this solves a problem by F. Przytycki (1982).


title: Ubermag: Towards more effective micromagnetic workflows

abstract: Computational micromagnetics has become an essential tool in academia and industry to support fundamental research and the design and development of devices. Consequently, computational micromagnetics is widely used in the community, and the fraction of time researchers spend performing computational studies is growing. We focus on reducing this time by improving the interface between the numerical simulation and the researcher. We have designed and developed a human-centred research environment called Ubermag. With Ubermag, scientists can control an existing micromagnetic simulation package, such as OOMMF, from Jupyter notebooks. The complete simulation workflow, including definition, execution, and data analysis of simulation runs, can be performed within the same notebook environment. Numerical libraries, co-developed by the computational and data science community, can immediately be used for micromagnetic data analysis within this Python-based environment. By design, it is possible to extend Ubermag to drive other micromagnetic packages from the same environment.


title: On Symmetry versus Asynchronism: at the Edge of Universality in Automata Networks

abstract: An automata network (AN) is a finite graph where each node holds a state from a finite alphabet and is equipped with a local map defining the evolution of the state of the node depending on its neighbors. The global dynamics of the network is then induced by an update scheme describing which nodes are updated at each time step. We study how update schemes can compensate the limitations coming from symmetric local interactions. Our approach is based on intrinsic simulations and universality and we study both dynamical and computational complexity. By considering several families of concrete symmetric AN under several different update schemes, we explore the edge of universality in this two-dimensional landscape. On the way, we develop a proof technique based on an operation of glueing of networks, which allows to produce complex orbits in large networks from compatible pseudo-orbits in small networks.


title: A fully well-balanced scheme for shallow water equations with Coriolis force

abstract: The present work is devoted to the derivation of a fully well-balanced and positivepreserving numerical scheme for the shallow water equations with Coriolis force. The first main issue consists in preserving all the steady states, including the geostrophic equilibrium. Our strategy relies on a Godunov-type scheme with suitable source term and steady state discretisations. The second challenge lies in improving the order of the scheme while preserving the fully well-balanced property. A modification of the classical methods is required since no conservative reconstruction can preserve all the steady states in the case of rotating shallow water equations. A steady state detector is used to overcome this matter. Some numerical experiments are presented to show the relevance and the accuracy of both first-order and second-order schemes.


title: Comparison-free polyregular functions

abstract: This paper introduces a new automata-theoretic class of string-to-string functions with polynomial growth. Several equivalent definitions are provided: a machine model which is a restricted variant of pebble transducers, and a few inductive definitions that close the class of regular functions under certain operations. Our motivation for studying this class comes from another characterization, which we merely mention here but prove elsewhere, based on a $\lambda$-calculus with a linear type system.As their name suggests, these comparison-free polyregular functions form a subclass of polyregular functions; we prove that the inclusion is strict. We also show that they are incomparable with HDT0L transductions, closed under usual function composition -- but not under a certain ``map'' combinator -- and satisfy a comparison-free version of the pebble minimization theorem.On the broader topic of polynomial growth transductions, we also consider the recently introduced layered streaming string transducers (SSTs), or equivalently k-marble transducers. We prove that a function can be obtained by composing such transducers together if and only if it is polyregular, and that k-layered SSTs (or k-marble transducers) are closed under ``map'' and equivalent to a corresponding notion of (k+1)-layered HDT0L systems.


title: Diameters of the level sets for reaction-diffusion equations in nonperiodic slowly varying media *

abstract: We consider in this article reaction-diffusion equations of the Fisher-KPP type with a nonlinearity depending on the space variable x, oscillating slowly and non-periodically. We are interested in the width of the interface between the unstable steady state 0 and the stable steady state 1 of the solutions of the Cauchy problem. We prove that, if the heterogeneity has large enough oscillations, then the width of this interface, that is, the diameter of some level sets, diverges linearly as t $\rightarrow$ +$\infty$ along some sequences of times, while it is sublinear along other sequences. As a corollary, we show that under these conditions generalized transition fronts do not exist for this equation.


title: TOPoS VI. The metal-weak tail of the metallicity distribution functions of the Milky Way and of the Gaia-Sausage-Enceladus structure

abstract: Context. The TOPoS project has the goal to find and analyse Turn-Off (TO) stars of extremely low metallicity. To select the targets for spectroscopic follow-up at high spectral resolution, we have relied on low-resolution spectra from the Sloan Digital Sky Survey. Aims. In this paper we use the metallicity estimates we have obtained from our analysis of the SDSS spectra to construct the metallicity distribution function (MDF) of the Milky Way, with special emphasis on its metal-weak tail. The goal is to provide the underlying distribution out of which the TOPoS sample was extracted. Methods. We make use of SDSS photometry, Gaia photometry and distance estimates derived from the Gaia parallaxes to derive a metallicity estimate for a large sample of over 24 million TO stars. This sample is used to derive the metallicity bias of the sample for which SDSS spectra are available. Results. We determined that the spectroscopic sample is strongly biased in favour of metal-poor stars, as intended. A comparison with the unbiased photometric sample allows to correct for the selection bias. We select a sub-sample of stars with reliable parallaxes for which we combine the SDSS radial velocities with Gaia proper motions and parallaxes to compute actions and orbital parameters in the Galactic potential. This allows us to characterize the stars dynamically, and in particular to select a sub-sample that belongs to the Gaia-Sausage-Enceladus (GSE) accretion event. We are thus able to provide also the MDF of GSE. Conclusions. The metal-weak tail derived in our study is very similar to that derived in the H3 survey and in the Hamburg/ESO Survey. This allows us to average the three MDFs and provide an error bar for each metallicity bin. Inasmuch the GSE structure is representative of the progenitor galaxy that collided with the Milky Way, that galaxy appears to be strongly deficient in metal-poor stars compared to the Milky Way, suggesting that the metal-weak tail of the latter has been largely formed by accretion of low mass galaxies rather than massive galaxies, such as the GSE progenitor.


title: Divided We Rule: Influencer Polarization on Twitter During Political Crises in India

abstract: Influencers are key to the nature and networks of information propagation on social media. Influencers are particularly important in political discourse through their engagement with issues, and may derive their legitimacy either solely or in large part through online operation, or have an offline sphere of expertise such as entertainers, journalists etc. To quantify influencers' political engagement and polarity, we use Google's Universal Sentence Encoder (USE) to encode the tweets of 6k influencers and 26k Indian politicians during political crises in India. We then obtain aggregate vector representations of the influencers based on their tweet embeddings, which alongside retweet graphs help compute their stance and polarity with respect to these political issues. We find that influencers engage with the topics in a partisan manner, with polarized influencers being rewarded with increased retweeting and following. Moreover, we observe that specific groups of influencers are consistently polarized across all events. We conclude by discussing how our study provides insights into the political schisms of present-day India, but also offers a means to study the role of influencers in exacerbating political polarization in other contexts.


title: On the Correspondence Between Domination and the Spectrum of Jacobi Operators

abstract: In this paper, we first develop a notion of dominated splitting for $\mathbb M(2,\mathbb C)$-sequences and show it is a stable property under $\|\cdot \|_\infty$-perturbation. Then we show an energy parameter belongs to the spectrum of a Jacobi operator, possibly singular, if and only if the associated Jacobi cocycle does not admit dominated splitting. This generalizes the results obtained by the second author [Z] in the scenario of Schr\"odinger operators. Finally, we consider dynamically defined Jacobi operators whose base dynamics is only assumed to be topologically transitive. We show an energy parameter belongs to the spectrum of the operator defined by the base point with a dense orbit if and only if the dynamically defined Jacobi cocycle does not admit dominated splitting. This includes the original Johnson's theorem obtained by R. Johnson [J] for Sch\"odinger operators and the main theorem obtained by C. Marx [Ma] for Jacobi operators as special cases.


title: The complex organic molecular content in the L1498 starless core

abstract: Observations carried out toward starless and pre-stellar cores have revealed that complex organic molecules are prevalent in these objects, but it is unclear what chemical processes are involved in their formation. Recently, it has been shown that complex organics are preferentially produced at an intermediate-density shell within the L1544 pre-stellar core at radial distances of ~4000 au with respect to the core center. However, the spatial distribution of complex organics has only been inferred toward this core and it remains unknown whether these species present a similar behaviour in other cores. We report high-sensitivity observations carried out toward two positions in the L1498 pre-stellar core, the dust peak and a position located at a distance of ~11000 au from the center of the core where the emission of CH$_3$OH peaks. Similarly to L1544, our observations reveal that small O-bearing molecules and N-bearing species are enhanced by factors ~4-14 toward the outer shell of L1498. However, unlike L1544, large O-bearing organics such as CH3CHO, CH3OCH3 or CH3OCHO are not detected within our sensitivity limits. For N-bearing organics, these species are more abundant toward the outer shell of the L1498 pre-stellar core than toward the one in L1544. We propose that the differences observed between O-bearing and N-bearing species in L1498 and L1544 are due to the different physical structure of these cores, which in turn is a consequence of their evolutionary stage, with L1498 being younger than L1544.


title: Deep Learning-based Physical-Layer Secret Key Generation for FDD Systems

abstract: Physical-layer key generation (PKG) establishes cryptographic keys from highly correlated measurements of wireless channels, which relies on reciprocal channel characteristics between uplink and downlink, is a promising wireless security technique for Internet of Things (IoT). However, it is challenging to extract common features in frequency division duplexing (FDD) systems as uplink and downlink transmissions operate at different frequency bands whose channel frequency responses are not reciprocal any more. Existing PKG methods for FDD systems have many limitations, i.e., high overhead and security problems. This paper proposes a novel PKG scheme that uses the feature mapping function between different frequency bands obtained by deep learning to make two users generate highly similar channel features in FDD systems. In particular, this is the first time to apply deep learning for PKG in FDD systems. We first prove the existence of the band feature mapping function for a given environment and a feedforward network with a single hidden layer can approximate the mapping function. Then a Key Generation neural Network (KGNet) is proposed for reciprocal channel feature construction, and a key generation scheme based on the KGNet is also proposed. Numerical results verify the excellent performance of the KGNet-based key generation scheme in terms of randomness, key generation ratio, and key error rate. Besides, the overhead analysis shows that the method proposed in this paper can be used for resource-contrained IoT devices in FDD systems.


title: Flexibility and analytic smoothing in averaging theory

abstract: Using a new strategy, we extend the classical Nekhoroshev's estimates to the case of H\"older regular steep near-integrable hamiltonian systems, the stability times being polynomially long in the inverse of the size of the perturbation. We prove that the stability exponents can be taken to be $(\ell-1)/(2n\alpha_1...\alpha_{n-2})$ for the time of stability and $1/(2n\alpha_1...\alpha_{n-1})$ for the radius of stability, $\ell >n+1$ being the regularity and the $\alpha_i$'s being the indices of steepness. Our strategy consists in deriving a perturbation theory which exploits a sharp analytic smoothing theorem to approximate any H\"older function by an analytic one. In addition, an appropriate choice of the free parameters in the problem enables us to have a first grasp on the relation connecting the time and radius of stability to the threshold that the size of the perturbation must satisfy in order for the theorem to apply. Particular attention is payed to a geometric presentation of the construction of the so-called "resonant blocks", in order to shed a definitive light on the nature of the steepness condition. We also investigate the convex setting, using a similar approach.


title: Asymptotic approximations of Good's special functions arising in atomic physics

abstract: We study various asymptotic approximations of Good's special functions arising in atomic physics. These special functions are situated beyond Anger's functions to which they are closely related. Our major tool is the method of the stationary phase.


title: Mixed Sobolev-like Inequalities in Lebesgue spaces of variable exponents and in Orlicz spaces

abstract: In this short article we show a particular version of the Hedberg inequality which can be used to derive, in a very simple manner, functional inequalities involving Sobolev and Besov spaces in the general setting of Lebesgue spaces of variable exponents and in the framework of Orlicz spaces.


title: Convergence Rates of Gradient Methods for Convex Optimization in the Space of Measures

abstract: We study the convergence rate of Bregman gradient methods for convex optimization in the space of measures on a $d$-dimensional manifold. Under basic regularity assumptions, we show that the suboptimality gap at iteration $k$ is in $O(log(k)k^{--1})$ for multiplicative updates, while it is in $O(k^{--q/(d+q)})$ for additive updates for some $q \in {1, 2, 4}$ determined by the structure of the objective function. Our flexible proof strategy, based on approximation arguments, allows us to painlessly cover all Bregman Proximal Gradient Methods (PGM) and their acceleration (APGM) under various geometries such as the hyperbolic entropy and $L^p$ divergences. We also prove the tightness of our analysis with matching lower bounds and confirm the theoretical results with numerical experiments on low dimensional problems. Note that all these optimization methods must additionally pay the computational cost of discretization, which can be exponential in $d$.


title: Inplace knowledge distillation with teacher assistant for improved training of flexible deep neural networks

abstract: Deep neural networks (DNNs) have achieved great success in various machine learning tasks. However, most existing powerful DNN models are computationally expensive and memory demanding, hindering their deployment in devices with low memory and computational resources or in applications with strict latency requirements. Thus, several resource-adaptable or flexible approaches were recently proposed that train at the same time a big model and several resource-specific sub-models. Inplace knowledge distillation (IPKD) became a popular method to train those models and consists in distilling the knowledge from a larger model (teacher) to all other sub-models (students). In this work a novel generic training method called IPKD with teacher assistant (IPKD-TA) is introduced, where sub-models themselves become teacher assistants teaching smaller sub-models. We evaluated the proposed IPKD-TA training method using two state-of-the-art flexible models (MSDNet and Slimmable MobileNet-V1) with two popular image classification benchmarks (CIFAR-10 and CIFAR-100). Our results demonstrate that the IPKD-TA is on par with the existing state of the art while improving it in most cases.


title: Development of a magnet power supply with a common-mode cancellation method based on automatic calibration of driving pulses

abstract: Based on conventional H-bridge topologies of magnet power supplies, a high-frequency common-mode equivalent model was established. It is pointed out that the two phase legs have complementary effect of common-mode noise under bipolar PWM modulation. Due to the phase difference of the driving pulses in the real product, however, the effect of common-mode cancellation is greatly disrupted. Based on the common-mode equivalent model, a frequency domain analysis was carried out to determine the theoretical relationship between the common-mode noise intensity and the phase difference, which can guide the adjustment of the driving pulses. It was also found that the increase of switching frequency will aggravate the common-mode noise caused by the phase difference. To reduce the common-mode noise, a method that automatic calibration of the driving pulses was evaluated by a simulation and experimentally. Finally, a prototype is built, and the results of the prototype show that the proposed method can effectively reduce the common-mode noise.


title: Parity-symmetry-breaking quantum phase transition via parametric drive in a cavity magnonic system

abstract: We study the parity-symmetry-breaking quantum phase transition (QPT) in a cavity magnonic system driven by a parametric field, where the magnons in a ferrimagnetic yttrium-iron-garnet sphere strongly couple to a microwave cavity. With appropriate parameters, this cavity magnonic system can exhibit a rich phase diagram, including the parity-symmetric phase, parity-symmetry-broken phase, and bistable phase. When increasing the drive strength beyond a critical threshold, the cavity magnonic system undergoes either a first- or second-order nonequilibrium QPT from the parity-symmetric phase with microscopic excitations to the parity-symmetry-broken phase with macroscopic excitations, depending on the parameters of the system. Our work provides an alternate way to engineer the QPT in a hybrid quantum system containing the spin ensemble in a ferri- or ferromagnetic material with strong exchange interactions.


title: Analysis of Low-Density Parity-Check Codes over Finite Integer Rings for the Lee Channel

abstract: We study the performance of nonbinary low-density parity-check (LDPC) codes over finite integer rings over two channels that arise from the Lee metric. The first channel is a discrete memory-less channel (DMC) matched to the Lee metric. The second channel adds to each codeword an error vector of constant Lee weight, where the error vector is picked uniformly at random from the set of vectors of constant Lee weight. It is shown that the marginal conditional distributions of the two channels coincide, in the limit of large block length. Random coding union bounds on the block error probability are derived for both channels. Moreover, the performance of selected LDPC code ensembles is analyzed by means of density evolution and finite-length simulations, with belief propagation decoding and with a low-complexity symbol message passing algorithm and it is compared to the derived bounds.


title: A discrete framework for the interpolation of Banach spaces

abstract: We develop a discrete framework for the interpolation of Banach spaces, which contains the well-known real and complex interpolation methods, but also more recent methods like the Rademacher, $\gamma$- and $\ell^q$-interpolation methods. Our framework is based on a sequential structure imposed on a Banach space, which allows us to deduce properties of interpolation methods from properties of sequential structures. Our framework has a formulation modelled after both the real and the complex interpolation methods. This enables us to extend various results, previously known only for either the real or the complex interpolation method, to all interpolation methods that fit into our framework. As applications, we prove an interpolation result for analytic operator families and an interpolation result for intersections.


title: Online Multimodal Transportation Planning using Deep Reinforcement Learning

abstract: In this paper we propose a Deep Reinforcement Learning approach to solve a multimodal transportation planning problem, in which containers must be assigned to a truck or to trains that will transport them to their destination. While traditional planning methods work "offline" (i.e., they take decisions for a batch of containers before the transportation starts), the proposed approach is "online", in that it can take decisions for individual containers, while transportation is being executed. Planning transportation online helps to effectively respond to unforeseen events that may affect the original transportation plan, thus supporting companies in lowering transportation costs. We implemented different container selection heuristics within the proposed Deep Reinforcement Learning algorithm and we evaluated its performance for each heuristic using data that simulate a realistic scenario, designed on the basis of a real case study at a logistics company. The experimental results revealed that the proposed method was able to learn effective patterns of container assignment. It outperformed tested competitors in terms of total transportation costs and utilization of train capacity by 20.48% to 55.32% for the cost and by 7.51% to 20.54% for the capacity. Furthermore, it obtained results within 2.7% for the cost and 0.72% for the capacity of the optimal solution generated by an Integer Linear Programming solver in an offline setting.


title: A fuzzy Multi-Criteria Decision Making approach for Exo-Planetary Habitability

abstract: Nowadays, we know thousands of exoplanets, some of them potentially habitable. Next technological facilities (JWST, for example) have exoplanet atmosphere analysis capabilities, but they also have limits in terms of how many targets can be studied. Therefore, there is a need to rank and prioritize these exoplanets with the aim of searching for biomarkers. Some criteria involved, such as the habitability potential of a dry-rock planet versus a water-rich planet, or a potentially-locked planet versus a tidally-locked planet, are often vague and the use of the fuzzy set theory is advisable. We have applied a combination of Multi-Criteria Decision-Making methodologies with fuzzy logic, the Fuzzy Reference Ideal Method (FRIM), to this problem. We have analyzed the habitability potential of 1798 exoplanets from TEPCat database based on a set of criteria (composition, atmosphere, energy, tidal locking, type of planet and liquid water), in terms of their similarity to the only ideal alternative, The Earth. Our results, when compared with the probability index SEPHI, indicate that Kepler-442b, Kepler-062e/f, and LHS_1140b are the best exoplanets for searching for biomarkers, regardless its technical difficulty. If we take into account current technical feasibility, the best candidate is TRAPPIST-1e.


title: Fine-Grained View on Bribery for Group Identification

abstract: Given a set of agents qualifying or disqualifying each other, group identification is the task of identifying a socially qualified subgroup of agents. Social qualification depends on the specific rule used to aggregate individual qualifications. The classical bribery problem in this context asks how many agents need to change their qualifications in order to change the outcome in a certain way. Complementing previous results showing polynomial-time solvability or NP-hardness of bribery for various social rules in the constructive (aiming at making specific agents socially qualified) or destructive (aiming at making specific agents socially disqualified) setting, we provide a comprehensive picture of the parameterized computational complexity landscape. Conceptually, we also consider a more fine-grained concept of bribery cost, where we ask how many single qualifications need to be changed, nonunit prices for different bribery actions, and a more general bribery goal that combines the constructive and destructive setting.


title: Liquidity Stress Testing in Asset Management -- Part 2. Modeling the Asset Liquidity Risk

abstract: This article is part of a comprehensive research project on liquidity risk in asset management, which can be divided into three dimensions. The first dimension covers liability liquidity risk (or funding liquidity) modeling, the second dimension focuses on asset liquidity risk (or market liquidity) modeling, and the third dimension considers the asset-liability management of the liquidity gap risk (or asset-liability matching). The purpose of this research is to propose a methodological and practical framework in order to perform liquidity stress testing programs, which comply with regulatory guidelines (ESMA, 2019, 2020) and are useful for fund managers. The review of the academic literature and professional research studies shows that there is a lack of standardized and analytical models. The aim of this research project is then to fill the gap with the goal of developing mathematical and statistical approaches, and providing appropriate answers. In this second article focused on asset liquidity risk modeling, we propose a market impact model to estimate transaction costs. After presenting a toy model that helps to understand the main concepts of asset liquidity, we consider a two-regime model, which is based on the power-law property of price impact. Then, we define several asset liquidity measures such as liquidity cost, liquidation ratio and shortfall or time to liquidation in order to assess the different dimensions of asset liquidity. Finally, we apply this asset liquidity framework to stocks and bonds and discuss the issues of calibrating the transaction cost model.


title: On the Complexity of Robust Bilevel Optimization With Uncertain Follower's Objective

abstract: We investigate the complexity of bilevel combinatorial optimization with uncertainty in the follower's objective, in a robust optimization approach. We show that the robust counterpart of the bilevel problem under interval uncertainty can be $\Sigma^{\text P}_2$-hard, even when the certain bilevel problem is NP-equivalent and the follower's problem is tractable. On the contrary, in the discrete uncertainty case, the robust bilevel problem is at most one level harder than the follower's problem.


title: An Efficient Approach for Statistical Matching of Survey Data Trough Calibration, Optimal Transport and Balanced Sampling

abstract: Statistical matching aims to integrate two statistical sources. These sources can be two samples or a sample and the entire population. If two samples have been selected from the same population and information has been collected on different variables of interest, then it is interesting to match the two surveys to analyse, for example, contingency tables or covariances. In this paper, we propose an efficient method for matching two samples that may each contain a weighting scheme. The method matches the records of the two sources. Several variants are proposed in order to create a directly usable file integrating data from both information sources.


title: Well-posedness and Continuity Properties of the Degasperis-Procesi equation in critical Besov space

abstract: In this paper, we obtain the local-in-time existence and uniqueness of solution to the Degasperis-Procesi equation in $B^1_{\infty,1}(\R)$. Moreover, we prove that the data-to-solution of this equation is continuous but not uniformly continuous in $B^1_{\infty,1}$.


title: Phase sensitive quantum spectroscopy with high frequency resolution

abstract: Classical sensors for spectrum analysis are widely used but lack micro- or nanoscale spatial resolution. On the other hand, quantum sensors, capable of working with nanoscale precision, do not provide precise frequency resolution over a wide range of frequencies. Using a single spin in diamond, we present a measurement protocol for quantum probes which enables full signal reconstruction on a nanoscale spatial resolution up to potentially 100\,GHz. We achieve $58\,\mathrm{nT/\sqrt{Hz}}$ amplitude and $0.095\,\mathrm{rad/\sqrt{Hz}}$ phase sensitivity and a relative frequency uncertainty of $10^{-12}$ for a $1.51\,\mathrm{GHz}$ signal within $10\,\mathrm{s}$ of integration. This technique opens the way to quantum spectrum analysis methods with potential applications in electron spin detection and nanocircuitry in quantum technologies.


title: Transfer learning approach to Classify the X-ray image that corresponds to corona disease Using ResNet50 pretrained by ChexNet

abstract: Coronavirus adversely has affected people worldwide. There are common symptoms between the Covid19 virus disease and other respiratory diseases like pneumonia or Influenza. Therefore, diagnosing it fast is crucial not only to save patients but also to prevent it from spreading. One of the most reliant methods of diagnosis is through X-ray images of a lung. With the help of deep learning approaches, we can teach the deep model to learn the condition of an affected lung. Therefore, it can classify the new sample as if it is a Covid19 infected patient or not. In this project, we train a deep model based on ResNet50 pretrained by ImageNet dataset and CheXNet dataset. Based on the imbalanced CoronaHack Chest X-Ray dataset introducing by Kaggle we applied both binary and multi-class classification. Also, we compare the results when using Focal loss and Cross entropy loss.


title: I2C2W: Image-to-Character-to-Word Transformers for Accurate Scene Text Recognition

abstract: Leveraging the advances of natural language processing, most recent scene text recognizers adopt an encoder-decoder architecture where text images are first converted to representative features and then a sequence of characters via `sequential decoding'. However, scene text images suffer from rich noises of different sources such as complex background and geometric distortions which often confuse the decoder and lead to incorrect alignment of visual features at noisy decoding time steps. This paper presents I2C2W, a novel scene text recognition technique that is tolerant to geometric and photometric degradation by decomposing scene text recognition into two inter-connected tasks. The first task focuses on image-to-character (I2C) mapping which detects a set of character candidates from images based on different alignments of visual features in an non-sequential way. The second task tackles character-to-word (C2W) mapping which recognizes scene text by decoding words from the detected character candidates. The direct learning from character semantics (instead of noisy image features) corrects falsely detected character candidates effectively which improves the final text recognition accuracy greatly. Extensive experiments over nine public datasets show that the proposed I2C2W outperforms the state-of-the-art by large margins for challenging scene text datasets with various curvature and perspective distortions. It also achieves very competitive recognition performance over multiple normal scene text datasets.


title: Some Challenges in Monitoring Epidemics

abstract: Epidemic models often reflect characteristic features of infectious spreading processes by coupled non-linear differential equations considering different states of health (such as Susceptible, Infected, or Recovered). This compartmental modeling approach, however, delivers an incomplete picture of the dynamics of epidemics, as it neglects stochastic and network effects, and also the role of the measurement process, on which the estimation of epidemiological parameters and incidence values relies. In order to study the related issues, we extend established epidemiological spreading models with a model of the measurement (i.e. testing) process, considering the problems of false positives and false negatives as well as biased sampling. Studying a model-generated ground truth in conjunction with simulated observation processes (virtual measurements) allows one to gain insights into the limitations of purely data-driven methods to assess the epidemic situation. We conclude that epidemic monitoring, simulation, and forecasting are wicked problems, as applying a conventional data-driven approach to a complex system with non-linear dynamics, network effects, and uncertainty can be misleading. Nevertheless, some of the errors can be corrected for, using scientific knowledge of the spreading dynamics and the measurement process. We conclude that such corrections should generally be part of epidemic monitoring, modeling, and forecasting efforts.


title: Two formulas for plane paritions

abstract: We give a direct deduction and proof of two identities in the theory of plane partitions. The first one is known to enumerate the traces of plane partitions. The second one comes without any combinatorial interpretation.


title: MOA-2006-BLG-074: recognizing xallarap contaminants in planetary microlensing

abstract: MOA-2006-BLG-074 was selected as one of the most promising planetary candidates in a retrospective analysis of the MOA collaboration: its asymmetric high-magnification peak can be perfectly explained by a source passing across a central caustic deformed by a small planet. However, after a detailed analysis of the residuals, we have realized that a single lens and a source orbiting with a faint companion provides a more satisfactory explanation for all the observed deviations from a Paczynski curve and the only physically acceptable interpretation. Indeed the orbital motion of the source is constrained enough to allow a very good characterization of the binary source from the microlensing light curve. The case of MOA-2006-BLG-074 suggests that the so-called xallarap effect must be taken seriously in any attempts to obtain accurate planetary demographics from microlensing surveys.


title: Magnon-mediated quantum battery under systematic errors

abstract: Quantum battery is one of the most prominent micro-devices in the rapid-developing quantum thermodynamics. We propose a quantum charging protocol in which both battery and charger are consisted of a many-spin system. The battery and charger are connected via the Kittle mode of the magnon system, that serves as a charging wire and then enables a long-range charging protocol. Counter-intuitively, we find that the spin-spin couplings insider both battery and charger can be used to promote the charging performance in comparison to the noninteracting condition. And a remarkable promotion is realized at a "sweet" spot in terms of the average coupling strength. Moreover, we apply the quantum-state-diffusion equation to test the robustness of our magnon-mediated charging protocol to the systematic errors about the magnon frequency.


title: EMISSOR: A platform for capturing multimodal interactions as Episodic Memories and Interpretations with Situated Scenario-based Ontological References

abstract: We present EMISSOR: a platform to capture multimodal interactions as recordings of episodic experiences with explicit referential interpretations that also yield an episodic Knowledge Graph (eKG). The platform stores streams of multiple modalities as parallel signals. Each signal is segmented and annotated independently with interpretation. Annotations are eventually mapped to explicit identities and relations in the eKG. As we ground signal segments from different modalities to the same instance representations, we also ground different modalities across each other. Unique to our eKG is that it accepts different interpretations across modalities, sources and experiences and supports reasoning over conflicting information and uncertainties that may result from multimodal experiences. EMISSOR can record and annotate experiments in virtual and real-world, combine data, evaluate system behavior and their performance for preset goals but also model the accumulation of knowledge and interpretations in the Knowledge Graph as a result of these episodic experiences.


title: Relaxation dynamics of two interacting electrical double-layers in a 1D Coulomb system

abstract: We consider an out-of-equilibrium one-dimensional model for two electrical double-layers. With a combination of exact calculations and Brownian Dynamics simulations, we compute the relaxation time ($\tau$) for an electroneutral salt-free suspension, made up of two fixed colloids, with $N$ neutralizing mobile counterions. For $N$ odd, the two double-layers never decouple, irrespective of their separation $L$; this is the regime of like-charge attraction, where $\tau$ exhibits a diffusive scaling in $L^2$ for large $L$. On the other hand, for even $N$, $L$ no longer is the relevant length scale for setting the relaxation time; this role is played by the Bjerrum length. This leads to distinctly different dynamics: for $N$ even, thermal effects are detrimental to relaxation, increasing $\tau$, while they accelerate relaxation for $N$ odd. Finally, we also show that the mean-field theory is recovered for large $N$ and moreover, that it remains an operational treatment down to relatively small values of $N$ ($N>3$).


title: 3D Displays: Their Evolution, Inherent Challenges & Future Perspectives

abstract: The popularity of 3D displays has risen drastically over the past few decades but these displays are still merely a novelty compared to their true potential. The development has mostly focused on Head Mounted Displays (HMD) development for Virtual Reality and in general ignored non-HMD 3D displays. This is due to the inherent difficulty in the creation of these displays and their impracticability in general use due to cost, performance, and lack of meaningful use cases. In fairness to the hardware manufacturers who have made striking innovations in this field, there has been a dereliction of duty of software developers and researchers in terms of developing software to best utilize these displays. This paper will seek to identify what areas of future software development could mitigate this dereliction. To achieve this goal, the paper will first examine the current state of the art and perform a comparative analysis on different types of 3D displays, from this analysis a clear researcher gap exists in terms of software development for Light field displays which are the current state of the art of non-HMD-based 3D displays. The paper will then outline six distinct areas where the context-awareness concept will allow for non-HMD-based 3D displays in particular light field displays that can not only compete but surpass their HMD-based brethren for many specific use cases.


title: A Steiner general position problem in graph theory

abstract: Let $G$ be a graph. The Steiner distance of $W\subseteq V(G)$ is the minimum size of a connected subgraph of $G$ containing $W$. Such a subgraph is necessarily a tree called a Steiner $W$-tree. The set $A\subseteq V(G)$ is a $k$-Steiner general position set if $V(T_B)\cap A = B$ holds for every set $B\subseteq A$ of cardinality $k$, and for every Steiner $B$-tree $T_B$. The $k$-Steiner general position number ${\rm sgp}_k(G)$ of $G$ is the cardinality of a largest $k$-Steiner general position set in $G$. Steiner cliques are introduced and used to bound ${\rm sgp}_k(G)$ from below. The $k$-Steiner general position number is determined for trees, cycles and joins of graphs. Lower bounds are presented for split graphs, infinite grids and lexicographic products. The lower bound for the latter products leads to an exact formula for the general position number of an arbitrary lexicographic product.


title: A Similarity Solution of Rear Stagnation-point Flow over a Flat Plate in Two Dimensions

abstract: This paper investigates the nature of the development of vortex shedding for two-dimensional unsteady flow of an incompressible fluid at the rear stagnation point.


title: Relation Classification with Entity Type Restriction

abstract: Relation classification aims to predict a relation between two entities in a sentence. The existing methods regard all relations as the candidate relations for the two entities in a sentence. These methods neglect the restrictions on candidate relations by entity types, which leads to some inappropriate relations being candidate relations. In this paper, we propose a novel paradigm, RElation Classification with ENtity Type restriction (RECENT), which exploits entity types to restrict candidate relations. Specially, the mutual restrictions of relations and entity types are formalized and introduced into relation classification. Besides, the proposed paradigm, RECENT, is model-agnostic. Based on two representative models GCN and SpanBERT respectively, RECENT_GCN and RECENT_SpanBERT are trained in RECENT. Experimental results on a standard dataset indicate that RECENT improves the performance of GCN and SpanBERT by 6.9 and 4.4 F1 points, respectively. Especially, RECENT_SpanBERT achieves a new state-of-the-art on TACRED.


title: The slice rank of a direct sum

abstract: We show that the slice rank of the direct sum of two tensors is equal to the sum of their slice ranks. The upper bound is trivial, but the lower bound needs more than a one-line proof, for reasons we explain. This result generalizes the fact, shown by Tao, that the slice rank of a diagonal tensor is equal to the number of non-zero entries of that tensor.


title: Enabling self-verifiable mutable content items in IPFS using Decentralized Identifiers

abstract: In IPFS content identifiers are constructed based on the item's data therefore the binding between an item's identifier and its data can be deterministically verified. Nevertheless, once an item is modified, its identifier also changes. Therefore when it comes to mutable content there is a need for keeping track of the "latest" IPFS identifier. This is achieved using naming protocols on top of IPFS, such as IPNS and DNSlink, that map a constant name to an IPFS identifier, allowing at the same time content owners to update these mappings. Nevertheless, IPNS relies on a cryptographic key pair that cannot be rotated, and DNSlink does not provide content authenticity protection. In this paper, we propose a naming protocol that combines DNSlink and decentralized identifiers to enable self-verifiable content items. Our protocol provides content authenticity without imposing any security requirement to DNSlink. Furthermore, our protocol prevent fake content even if attackers have access to the DNS server of the content owner or have access to the content owner secret keys. Our proof of concept implementation shows that our protocol is feasible and can be used with existing IPFS tools.


title: Replica wormholes and capacity of entanglement

abstract: We consider the capacity of entanglement as a probe of the Hawking radiation in a two-dimensional dilaton gravity coupled with conformal matter of large degrees of freedom. A formula calculating the capacity is derived using the gravitational path integral, from which we speculate that the capacity has a discontinuity at the Page time in contrast to the continuous behavior of the generalized entropy. We apply the formula to a replica wormhole solution in an eternal AdS black hole coupled to a flat non-gravitating bath and show that the capacity of entanglement is saturated by the thermal capacity of the black hole in the high temperature limit.


title: StackVAE-G: An efficient and interpretable model for time series anomaly detection

abstract: Recent studies have shown that autoencoder-based models can achieve superior performance on anomaly detection tasks due to their excellent ability to fit complex data in an unsupervised manner. In this work, we propose a novel autoencoder-based model, named StackVAE-G that can significantly bring the efficiency and interpretability to multivariate time series anomaly detection. Specifically, we utilize the similarities across the time series channels by the stacking block-wise reconstruction with a weight-sharing scheme to reduce the size of learned models and also relieve the overfitting to unknown noises in the training data. We also leverage a graph learning module to learn a sparse adjacency matrix to explicitly capture the stable interrelation structure among multiple time series channels for the interpretable pattern reconstruction of interrelated channels. Combining these two modules, we introduce the stacking block-wise VAE (variational autoencoder) with GNN (graph neural network) model for multivariate time series anomaly detection. We conduct extensive experiments on three commonly used public datasets, showing that our model achieves comparable (even better) performance with the state-of-the-art modelsand meanwhile requires much less computation and memory cost. Furthermore, we demonstrate that the adjacency matrix learned by our model accurately captures the interrelation among multiple channels, and can provide valuable information for failure diagnosis applications.


title: Reconfiguring Hybrid Systems Using SAT

abstract: Reconfiguration aims at recovering a system from a fault by automatically adapting the system configuration, such that the system goal can be reached again. Classical approaches typically use a set of pre-defined faults for which corresponding recovery actions are defined manually. This is not possible for modern hybrid systems which are characterized by frequent changes. Instead, AI-based approaches are needed which leverage on a model of the non-faulty system and which search for a set of reconfiguration operations which will establish a valid behavior again. This work presents a novel algorithm which solves three main challenges: (i) Only a model of the non-faulty system is needed, i.e. the faulty behavior does not need to be modeled. (ii) It discretizes and reduces the search space which originally is too large -- mainly due to the high number of continuous system variables and control signals. (iii) It uses a SAT solver for propositional logic for two purposes: First, it defines the binary concept of validity. Second, it implements the search itself -- sacrificing the optimal solution for a quick identification of an arbitrary solution. It is shown that the approach is able to reconfigure faults on simulated process engineering systems.


title: Relative Positional Encoding for Transformers with Linear Complexity

abstract: Recent advances in Transformer models allow for unprecedented sequence lengths, due to linear space and time complexity. In the meantime, relative positional encoding (RPE) was proposed as beneficial for classical Transformers and consists in exploiting lags instead of absolute positions for inference. Still, RPE is not available for the recent linear-variants of the Transformer, because it requires the explicit computation of the attention matrix, which is precisely what is avoided by such methods. In this paper, we bridge this gap and present Stochastic Positional Encoding as a way to generate PE that can be used as a replacement to the classical additive (sinusoidal) PE and provably behaves like RPE. The main theoretical contribution is to make a connection between positional encoding and cross-covariance structures of correlated Gaussian processes. We illustrate the performance of our approach on the Long-Range Arena benchmark and on music generation.


title: Hilbert Spaces of Entire Functions and Toeplitz Quantization of Euclidean Planes

abstract: The theory of Toeplitz quantization presented in our previous paper is extended and further developed to include diverse and interesting non-commutative realizations of the classical Euclidean plane. This is done using Hilbert spaces of entire functions, where polynomials in one complex variable form a dense subspace. The complex coordinate naturally acts as an unbounded multiplication operator generating, together with its adjoint, a highly non-commutative *-algebra of operators. The Toeplitz operators are then geometrically constructed as special elements from this algebra; they are associated to the symbols from another quadratic non-commutative algebra, which is interpretable as polynomials over a plane to be quantized. Such a conceptual framework promotes interesting non-trivial conditions on the initial scalar product. These are analyzed in detail. Various illustrative examples are computed.