title: Partially Connected Automated Vehicle Cooperative Control Strategy with a Deep Reinforcement Learning Approach

abstract: This paper proposes a cooperative strategy of connected and automated vehicles (CAVs) longitudinal control for partially connected and automated traffic environment based on deep reinforcement learning (DRL) algorithm, which enhances the string stability of mixed traffic, car following efficiency, and energy efficiency. Since the sequences of mixed traffic are combinatory, to reduce the training dimension and alleviate communication burdens, we decomposed mixed traffic into multiple subsystems where each subsystem is comprised of human-driven vehicles (HDV) followed by cooperative CAVs. Based on that, a cooperative CAV control strategy is developed based on a deep reinforcement learning algorithm, enabling CAVs to learn the leading HDV's characteristics and make longitudinal control decisions cooperatively to improve the performance of each subsystem locally and consequently enhance performance for the whole mixed traffic flow. For training, a distributed proximal policy optimization is applied to ensure the training convergence of the proposed DRL. To verify the effectiveness of the proposed method, simulated experiments are conducted, which shows the performance of our proposed model has a great generalization capability of dampening oscillations, fulfilling the car following and energy-saving tasks efficiently under different penetration rates and various leading HDVs behaviors. Keywords: partially connected automated traffic environment, cooperative control, deep reinforcement learning, traffic oscillation dampening, energy efficiency


title: Spectral Variability of Radio Sources at Low Frequencies

abstract: Spectral variability of radio sources encodes information about the conditions of intervening media, source structure, and emission processes. With new low-frequency radio interferometers observing over wide fractional bandwidths, studies of spectral variability for a large population of extragalactic radio sources are now possible. Using two epochs of observations from the GaLactic and Extragalactic All-sky Murchison Widefield Array (GLEAM) survey that were taken one year apart, we search for spectral variability across 100--230 MHz for 21,558 sources. We present methodologies for detecting variability in the spectrum between epochs and for classifying the type of variability: either as a change in spectral shape or as a uniform change in flux density across the bandwidth. We identify 323 sources with significant spectral variability over a year-long timescale. Of the 323 variable sources, we classify 51 of these as showing a significant change in spectral shape. Variability is more prevalent in peaked-spectrum sources, analogous to gigahertz-peaked spectrum and compact steep-spectrum sources, compared to typical radio galaxies. We discuss the viability of several potential explanations of the observed spectral variability, such as interstellar scintillation and jet evolution. Our results suggest that the radio sky in the megahertz regime is more dynamic than previously suggested.


title: Stochastic Adversarial Gradient Embedding for Active Domain Adaptation

abstract: Unsupervised Domain Adaptation (UDA) aims to bridge the gap between a source domain, where labelled data are available, and a target domain only represented with unlabelled data. If domain invariant representations have dramatically improved the adaptability of models, to guarantee their good transferability remains a challenging problem. This paper addresses this problem by using active learning to annotate a small budget of target data. Although this setup, called Active Domain Adaptation (ADA), deviates from UDA's standard setup, a wide range of practical applications are faced with this situation. To this purpose, we introduce \textit{Stochastic Adversarial Gradient Embedding} (SAGE), a framework that makes a triple contribution to ADA. First, we select for annotation target samples that are likely to improve the representations' transferability by measuring the variation, before and after annotation, of the transferability loss gradient. Second, we increase sampling diversity by promoting different gradient directions. Third, we introduce a novel training procedure for actively incorporating target samples when learning invariant representations. SAGE is based on solid theoretical ground and validated on various UDA benchmarks against several baselines. Our empirical investigation demonstrates that SAGE takes the best of uncertainty \textit{vs} diversity samplings and improves representations transferability substantially.


title: On effective $\epsilon$-integrality in orbits of rational maps over function fields and multiplicative dependence

abstract: We give effective bounds for the set quasi-integral points in orbits of non-isotrivial rational maps over function fields under some conditions, generalizing previous work of Hsia and Silverman (2011) for orbits over function fields of characteristic zero. We then use this to prove finiteness results for algebraic functions whose orbit under a rational function has multiplicative dependent elements modulo rings of $S$-integers, generalizing recent results over number fields.


title: Computing Crisp Simulations and Crisp Directed Simulations for Fuzzy Graph-Based Structures

abstract: Like bisimulations, simulations and directed simulations are used for analyzing graph-based structures such as automata, labeled transition systems, linked data networks, Kripke models and interpretations in description logic. Simulations characterize the class of existential modal formulas, whereas directed simulations characterize the class of positive modal formulas. These notions are worth studying. For example, one may be interested in checking whether a given finite automaton simulates another or whether an object in a linked data network has all positive properties that another object has. To deal with vagueness and uncertainty, fuzzy graph-based structures are used instead of crisp ones. In this article, we design efficient algorithms with the complexity $O((m+n)n)$ for computing the largest crisp simulation and the largest crisp directed simulation between two finite fuzzy labeled graphs, where $n$ is the number of vertices and $m$ is the number of nonzero edges of the input fuzzy graphs. We also adapt them to computing the largest crisp simulation and the largest crisp directed simulation between two finite fuzzy automata.


title: Energy Neutral Devices: Can Hybrid RF Acoustic Signals Point Them Out?

abstract: We present a hybrid signaling approach to position energy-neutral devices. Our method combines the best of two worlds: instant RF signals for both communication and energy transfer, and slower propagating acoustic waves for accurate distance measurements. We introduce advanced energy loading of an 'E-buffer' through beamformed RF signals. The scientific contribution of our approach is twofold, advancing both the positioning performance and the energy harvesting efficiency. On the one hand, we overcome current distance limitations in RF backscattering-based indoor localization. On the other hand, it enhances the energy harvesting by using the calculated position and beamforming a higher amount of directed RF energy into the mobile node. We provide a functional architecture for both sides of the system and present a proof-of-concept. Practical measurements in representative use cases show an update rate of 10 positions per hour within the regulatory constraints in the 868MHz band for distances up to 4.5 m. An energy and power model are drawn up to provide insights into the performance trade-offs.


title: String Diagram Rewrite Theory I: Rewriting with Frobenius Structure

abstract: String diagrams are a powerful and intuitive graphical syntax, originated in the study of symmetric monoidal categories. In the last few years, they have found application in the modelling of various computational structures, in fields as diverse as Computer Science, Physics, Control Theory, Linguistics, and Biology. In many such proposals, the transformations of the described systems are modelled as rewrite rules of diagrams. These developments demand a mathematical foundation for string diagram rewriting: whereas rewrite theory for terms is well-understood, the two-dimensional nature of string diagrams poses additional challenges. This work systematises and expands a series of recent conference papers laying down such foundation. As first step, we focus on the case of rewrite systems for string diagrammatic theories which feature a Frobenius algebra. This situation ubiquitously appear in various approaches: for instance, in the algebraic semantics of linear dynamical systems, Frobenius structures model the wiring of circuits; in categorical quantum mechanics, they model interacting quantum observables. Our work introduces a combinatorial interpretation of string diagram rewriting modulo Frobenius structures, in terms of double-pushout hypergraph rewriting. Furthermore, we prove this interpretation to be sound and complete. In the last part, we also see that the approach can be generalised to model rewriting modulo multiple Frobenius structures. As a proof of concept, we show how to derive from these results a termination strategy for Interacting Bialgebras, an important rewrite theory in the study of quantum circuits and signal flow graphs.


title: A primal dual projection algorithm for efficient constraint preconditioning

abstract: We consider a linear iterative solver for large scale linearly constrained quadratic minimization problems that arise, for example, in optimization with PDEs. By a primal-dual projection (PDP) iteration, which can be interpreted and analysed as a gradient method on a quotient space, the given problem can be solved by computing sulutions for a sequence of constrained surrogate problems, projections onto the feasible subspaces, and Lagrange multiplier updates. As a major application we consider a class of optimization problems with PDEs, where PDP can be applied together with a projected cg method using a block triangular constraint preconditioner. Numerical experiments show reliable and competitive performance for an optimal control problem in elasticity.


title: Musing on Kunen's compact $L$-space

abstract: We present a connected version of the compact $L$-space constructed by Kenneth Kunen under CH. We show that this provides a Corson compact space $K$ such that the Banach space $C(K)$ is isomorphic to no space of continuous function on a zero-dimensional compactum.


title: Mathematical Game Theory: A New Approach

abstract: These lecture notes attempt a mathematical treatment of game theory akin to mathematical physics. A game instance is defined as a sequence of states of an underlying system. This viewpoint unifies classical mathematical models for 2-person and, in particular, combinatorial and zero-sum games as well as models for investing and betting. n-person games are studied with emphasis on notions of utilities, potentials and equilibria, which allows to subsume cooperative games as special cases. The represenation of a game theoretic system in a Hilbert space furthermore establishes a link to the mathematical model of quantum mechancis and general interaction systems. The notes sketch an outline of the theory. Details are available as a textbook elsewhere.


title: (0,2) Mirror Symmetry on homogeneous Hopf surfaces

abstract: In this work we find the first examples of (0,2) mirror symmetry on compact non-K\"ahler complex manifolds. For this we follow Borisov's approach to mirror symmetry using vertex algebras and the chiral de Rham complex. Our examples of (0,2) mirrors are given by pairs of Hopf surfaces endowed with a Bismut-flat pluriclosed metric. Requiring that the geometry is homogeneous, we reduce the problem to the study of Killing spinors on a quadratic Lie algebra and the construction of embeddings of the $N=2$ superconformal vertex algebra in the superaffine vertex algebra, combined with topological T-duality.


title: Analog quantum simulation of chemical dynamics

abstract: Ultrafast chemical reactions are difficult to simulate because they involve entangled, many-body wavefunctions whose computational complexity grows rapidly with molecular size. In photochemistry, the breakdown of the Born-Oppenheimer approximation further complicates the problem by entangling nuclear and electronic degrees of freedom. Here, we show that analog quantum simulators can efficiently simulate molecular dynamics using commonly available bosonic modes to represent molecular vibrations. Our approach can be implemented in any device with a qudit controllably coupled to bosonic oscillators and with quantum hardware resources that scale linearly with molecular size, and offers significant resource savings compared to digital quantum simulation algorithms. Advantages of our approach include a time resolution orders of magnitude better than ultrafast spectroscopy, the ability to simulate large molecules with limited hardware using a Suzuki-Trotter expansion, and the ability to implement realistic system-bath interactions with only one additional interaction per mode. Our approach can be implemented with current technology; e.g., the conical intersection in pyrazine can be simulated using a single trapped ion. Therefore, we expect our method will enable classically intractable chemical dynamics simulations in the near term.


title: Structural Identifiability of a Pseudo-2D Li-ion Battery Electrochemical Model

abstract: Growing demand for fast charging and optimised battery designs is fuelling significant interest in electrochemical models of Li-ion batteries. However, estimating parameter values for these models remains a major challenge. In this paper, a structural identifiability analysis was applied to a pseudo-2D Li-ion electrochemical battery model that can be considered as a linearised and decoupled form of the benchmark Doyle-Fuller-Newman model. From an inspection of the impedance function, it was shown that this model is uniquely parametrised by 21 parameters, being combinations of the electrochemical parameters like the conductivities and diffusion coefficients. The well-posedness of the parameter estimation problem with these parameters was then established. This result could lead to more realistic predictions about the internal state of the battery by identifying the parameter set that can be uniquely identified from the data.


title: Receptivity and stability of hypersonic leading-edge sweep flows around a blunt body

abstract: This study performs global stability/receptivity analyses of hypersonic sweep flows around a blunt body with an infinite span. For the first time, we obtain the characteristics of the leading attachment-line mode to the variation of sweep angles from 20 to 70 degrees. The global eigenfunctions exhibit the characteristics of the attachment-line instability at the leading edge. At the same time, cross-flow (at small sweep angles) or second Mack mode (at larger sweep angles) dominates further downstream. We establish an adjoint-based bi-orthogonal eigenfunction system to address the receptivity problem of such flows to any external forces and boundary perturbations. The receptivity analyses indicate that the global modes are the most responsive to external forces and surface perturbations applied in the vicinity of the attachment line, regardless of the sweep angles. It is also proved that the present global extension of the bi-orthogonal eigenfunction system can be successfully applied to complex flows.


title: On instability mechanisms for inverse problems

abstract: In this article we present three robust instability mechanisms for linear and nonlinear inverse problems. All of these are based on strong compression properties (in the sense of singular value or entropy number bounds) which we deduce through either strong global smoothing, only weak global smoothing or microlocal smoothing for the corresponding forward operators, respectively. As applications we for instance present new instability arguments for unique continuation, for the backward heat equation and for linear and nonlinear Calder\'on type problems in general geometries, possibly in the presence of rough coefficients. Our instability mechanisms could also be of interest in the context of control theory, providing estimates on the cost of (approximate) controllability in rather general settings.


title: Finite-frequency noise in non-Markovian systems: A Markovian embedding approach

abstract: I present an approach to calculate the finite-frequency quantum noise in systems strongly coupled to structured reservoirs based on the Markovian embedding. This technique consists of mapping of the non-Markovian dynamics of the original system onto the Markovian dynamics of the extended supersystem. The applicability of this method is demonstrated on a single electronic level coupled to a reservoir with an energy-dependent density of states. This model can be mapped onto an equivalent double-level system whose dynamics is governed by an exact Markovian master equation. It is demonstrated that the presented approach provides a way to describe genuinely quantum effects, such as the asymmetry of the absorption and the emission noise, as well as to deal with non-Markovian effects and intra-system interactions on equal footing.


title: Polaron and bipolaron tendencies in a semiclassical model for hole-doped bismuthates

abstract: Bismuth perovskites ABiO$_3$ (A = Sr, Ba) host a variety of peculiar phenomena including bond-disproportionated insulating phases and high-temperature superconductivity upon hole doping. While the mechanisms underlying these phenomena are still debated, off-diagonal electron-phonon ($e$-ph) coupling originating from the modulation of the orbital overlaps has emerged as a promising candidate. Here, we employ classical Monte Carlo simulations to study a semiclassical three-orbital model with off-diagonal $e$-ph interactions. We demonstrate the existence of a (bi)polaron correlations that persists in the model at high temperatures and for hole doping away from the bond-disproportionated insulating phase. Using a spatiotemporal regression analysis between various local quantities and the lattice degrees of freedom, we also identify the similarity between heating- and doping-induced melting of a bond-disproportionated insulator at a microscopic level. Our results imply that (bi)polaron physics can be a unifying concept that helps us understand the rich bismuth perovskite phase diagram.


title: Local opers with two singularities: the case of $\mathfrak{sl}(2)$

abstract: We study local opers with two singularities for the case of the Lie algebra sl(2), and discuss their connection with a two-variables extension of the affine Lie algebra. We prove an analogue of the Feigin-Frenkel theorem describing the centre at the critical level, and an analogue of a result by Frenkel and Gaitsgory that characterises the endomorphism rings of Weyl modules in terms of functions on the space of opers.


title: Goal-Driven Robotic Pushing Using Tactile and Proprioceptive Feedback

abstract: In robots, nonprehensile manipulation operations such as pushing are a useful way of moving large, heavy or unwieldy objects, moving multiple objects at once, or reducing uncertainty in the location or pose of objects. In this study, we propose a reactive and adaptive method for robotic pushing that uses rich feedback from a high-resolution optical tactile sensor to control push movements instead of relying on analytical or data-driven models of push interactions. Specifically, we use goal-driven tactile exploration to actively search for stable pushing configurations that cause the object to maintain its pose relative to the pusher while incrementally moving the pusher and object towards the target. We evaluate our method by pushing objects across planar and curved surfaces. For planar surfaces, we show that the method is accurate and robust to variations in initial contact position/angle, object shape and start position; for curved surfaces, the performance is degraded slightly. An immediate consequence of our work is that it shows that explicit models of push interactions might be sufficient but are not necessary for this type of task. It also raises the interesting question of which aspects of the system should be modelled to achieve the best performance and generalization across a wide range of scenarios. Finally, it highlights the importance of testing on non-planar surfaces and in other more complex environments when developing new methods for robotic pushing.


title: Essay Review of Tanya and Jeffrey Bub's Totally Random: Why Nobody Understands Quantum Mechanics: A Serious Comic on Entanglement

abstract: This is an extended essay review of Tanya and Jeffrey Bub's Totally Random: Why Nobody Understands Quantum Mechanics: A serious comic on entanglement. Princeton and Oxford: Princeton University Press (2018), ISBN: 9780691176956, 272 pp., 7x10 in., 254 b/w illus., {\pounds}18.99 / $22.95 (paperback). We review the philosophical aspects of the book, provide suggestions for instructors on how to use the book in a class setting, and evaluate the authors' artistic choices in the context of comics theory.


title: Simplifying Karnaugh Maps by Making Groups of a Non-Power-of-Two Number of Elements

abstract: When we study the Karnaugh map in the switching theory course, we learn that the ones in the map must be combined in groups of $a \times b$ elements, being $a$ and $b$ powers of two. The result is the logic function described as a sum of products. This paper shows that we can also make groups where $a$ and/or $b$ are equal to three. This does not result in a sum of products, but in a logic function that is simpler than the sum of products in terms of logic gates. This idea is extended later in the paper to groups of $2^n-1$ elements.


title: Auto-correlation functions of astrophysical processes, and their relation to Gaussian processes; Application to radial velocities of different starspot configurations

abstract: Accounting for the effects of stellar magnetic phenomena is indispensable to fully exploit radial velocities (RVs). Correlated time variations are often mitigated by Gaussian processes (GP). They rely on fitting kernel functions that are motivated on mathematical grounds, and whose physical interpretation is often elusive. We aim to establish a connection between stellar activity affecting RVs and their correlations with physical parameters, and compare this connection with kernels used in the literature. We use simple activity models to investigate the relationship between the physical processes generating the signals and the covariances typically found in data, and to demonstrate the qualitative behaviour of this relationship. We use the StarSim code to calculate RVs of an M dwarf with different realistic evolving spot configurations. Their auto-correlation functions (ACF) show a very specific behaviour and are related to the kernel. GP regression is performed using a quasi-periodic (QP) and harmonic oscillator kernels. Comparison of the resulting kernels with the exact ACFs allows us to cross-match the kernel hyper-parameters with the introduced physical values, study the overall capabilities of the kernels, and improve their definition. We find that the QP kernel provides a more straightforward interpretation of the physics. It is able to consistently recover both the introduced rotation period P and the spot lifetime. Our study indicates that the performance can be enhanced by fixing the form factor w and adding a physically motivated cosine term with period P/2, where the contribution to the ACF for the different spot configurations differs significantly. The new quasi-periodic with cosine kernel leads to significantly better model likelihoods, can potentially distinguish between different spot configurations, and can thereby improve the sensitivity of RV exoplanet searches.


title: First order transition in trigonal structure ${\textbf{Ca}}{\textbf{Mn}}_{2}{\textbf{P}}_{2}$

abstract: We report structural and physical properties of the single crystalline ${\mathrm{Ca}}{\mathrm{Mn}}_{2}{\mathrm{P}}_{2}$. The X-ray diffraction(XRD) results show that ${\mathrm{Ca}}{\mathrm{Mn}}_{2}{\mathrm{P}}_{2}$ adopts the trigonal ${\mathrm{Ca}}{\mathrm{Al}}_{2}{\mathrm{Si}}_{2}$-type structure. Temperature dependent electrical resistivity $\rho(T)$ measurements indicate an insulating ground state for ${\mathrm{Ca}}{\mathrm{Mn}}_{2}{\mathrm{P}}_{2}$ with activation energies of 40 meV and 0.64 meV for two distinct regions, respectively. Magnetization measurements show no apparent magnetic phase transition under 400 K. Different from other ${\mathrm{A}}{\mathrm{Mn}}_{2}{\mathrm{Pn}}_{2}$ (A = Ca, Sr, and Ba, and Pn = P, As, and Sb) compounds with the same structure, heat capacity $C_{\mathrm{p}}(T)$ and $\rho(T)$ reveal that ${\mathrm{Ca}}{\mathrm{Mn}}_{2}{\mathrm{P}}_{2}$ has a first-order transition at $T$ = 69.5 K and the transition temperature shifts to high temperature upon increasing pressure. The emergence of plenty of new Raman modes below the transition, clearly suggests a change in symmetry accompanying the transition. The combination of the structural, transport, thermal and magnetic measurements, points to an unusual origin of the transition.


title: Charge radii of exotic potassium isotopes challenge nuclear theory and the magic character of $N = 32$

abstract: Nuclear charge radii are sensitive probes of different aspects of the nucleon-nucleon interaction and the bulk properties of nuclear matter; thus, they provide a stringent test and challenge for nuclear theory. The calcium region has been of particular interest, as experimental evidence has suggested a new magic number at $N = 32$ [1-3], while the unexpectedly large increases in the charge radii [4,5] open new questions about the evolution of nuclear size in neutron-rich systems. By combining the collinear resonance ionization spectroscopy method with $\beta$-decay detection, we were able to extend the charge radii measurement of potassium ($Z =19$) isotopes up to the exotic $^{52}$K ($t_{1/2}$ = 110 ms), produced in minute quantities. Our work provides the first charge radii measurement beyond $N = 32$ in the region, revealing no signature of the magic character at this neutron number. The results are interpreted with two state-of-the-art nuclear theories. For the first time, a long sequence of isotopes could be calculated with coupled-cluster calculations based on newly developed nuclear interactions. The strong increase in the charge radii beyond $N = 28$ is not well captured by these calculations, but is well reproduced by Fayans nuclear density functional theory, which, however, overestimates the odd-even staggering effect. These findings highlight our limited understanding on the nuclear size of neutron-rich systems, and expose pressing problems that are present in some of the best current models of nuclear theory.


title: Nucleon electric dipole moment from polarized deep inelastic scattering

abstract: In a previous paper \cite{Hatta:2020ltd}, we have pointed out the connection between the $CP$-odd three-gluon (Weinberg) operator and certain twist-four corrections in polarized deep inelastic scattering. Based on this observation, we give a numerical estimate of the electric dipole moment of the proton and neutron induced by the Weinberg operator. Our result is smaller than the previous estimates based on QCD sum rules by a factor of about 3 or more.


title: Make One-Shot Video Object Segmentation Efficient Again

abstract: Video object segmentation (VOS) describes the task of segmenting a set of objects in each frame of a video. In the semi-supervised setting, the first mask of each object is provided at test time. Following the one-shot principle, fine-tuning VOS methods train a segmentation model separately on each given object mask. However, recently the VOS community has deemed such a test time optimization and its impact on the test runtime as unfeasible. To mitigate the inefficiencies of previous fine-tuning approaches, we present efficient One-Shot Video Object Segmentation (e-OSVOS). In contrast to most VOS approaches, e-OSVOS decouples the object detection task and predicts only local segmentation masks by applying a modified version of Mask R-CNN. The one-shot test runtime and performance are optimized without a laborious and handcrafted hyperparameter search. To this end, we meta learn the model initialization and learning rates for the test time optimization. To achieve optimal learning behavior, we predict individual learning rates at a neuron level. Furthermore, we apply an online adaptation to address the common performance degradation throughout a sequence by continuously fine-tuning the model on previous mask predictions supported by a frame-to-frame bounding box propagation. e-OSVOS provides state-of-the-art results on DAVIS 2016, DAVIS 2017, and YouTube-VOS for one-shot fine-tuning methods while reducing the test runtime substantially. Code is available at https://github.com/dvl-tum/e-osvos.


title: Computational characteristics of feedforward neural networks for solving a stiff differential equation

abstract: Feedforward neural networks offer a promising approach for solving differential equations. However, the reliability and accuracy of the approximation still represent delicate issues that are not fully resolved in the current literature. Computational approaches are in general highly dependent on a variety of computational parameters as well as on the choice of optimisation methods, a point that has to be seen together with the structure of the cost function. The intention of this paper is to make a step towards resolving these open issues. To this end we study here the solution of a simple but fundamental stiff ordinary differential equation modelling a damped system. We consider two computational approaches for solving differential equations by neural forms. These are the classic but still actual method of trial solutions defining the cost function, and a recent direct construction of the cost function related to the trial solution method. Let us note that the settings we study can easily be applied more generally, including solution of partial differential equations. By a very detailed computational study we show that it is possible to identify preferable choices to be made for parameters and methods. We also illuminate some interesting effects that are observable in the neural network simulations. Overall we extend the current literature in the field by showing what can be done in order to obtain reliable and accurate results by the neural network approach. By doing this we illustrate the importance of a careful choice of the computational setup.


title: Hotspot identification for Mapper graphs

abstract: Mapper algorithm can be used to build graph-based representations of high-dimensional data capturing structurally interesting features such as loops, flares or clusters. The graph can be further annotated with additional colouring of vertices allowing location of regions of special interest. For instance, in many applications, such as precision medicine, Mapper graph has been used to identify unknown compactly localized subareas within the dataset demonstrating unique or unusual behaviours. This task, performed so far by a researcher, can be automatized using hotspot analysis. In this work we propose a new algorithm for detecting hotspots in Mapper graphs. It allows automatizing of the hotspot detection process. We demonstrate the performance of the algorithm on a number of artificial and real world datasets. We further demonstrate how our algorithm can be used for the automatic selection of the Mapper lens functions.


title: A Stochastic Compartmental Model for COVID-19

abstract: We propose two stochastic models for the Coronavirus pandemic. The statistical properties of the models, in particular the correlation functions and the probability density function, have duly been computed. Our models, which generalises a model previously proposed and published in a specialised journal, take into account the adoption of the lockdown measures as well as the crucial role of the hospitals and Health Care Institutes. To accomplish this work we have analysed two scenarios: the SIS-model (Susceptible => Infectious => Susceptible) in presence of the lockdown measures and the SIS-model integrated with the action of the hospitals (always in presence of the lockdown measures). We show that in the case of the pure SIS-model, once the lockdown measures are removed, the Coronavirus will start growing again. However, in the second scenario, beyond a certain threshold of the hospital capacities, the Coronavirus is not only kept under control, but its capacity to spread tends to diminish in time. Therefore, the combined effect of the lockdown measures with the action of the hospitals and health Institutes is able to contain and dampen the spread of the SARS-CoV-2 epidemic. This result can be used during a period of time when the massive distribution of delivery of a limited number of vaccines in a given population is not yet feasible. By way of example, we analysed the data for USA and France where the intensities of the noise have been estimated by Statistical Mechanics. In particular, for USA we have analysed two possible hypotheses: USA is still subject to the first wave of infection by and USA is in the second (or third) wave of SARS-CoV-2 infection.The agreement between theoretical predictions and real data confirms the validity of our approach.


title: Model-free Neural Counterfactual Regret Minimization with Bootstrap Learning

abstract: Counterfactual Regret Minimization (CFR) has achieved many fascinating results in solving large-scale Imperfect Information Games (IIGs). Neural network approximation CFR (neural CFR) is one of the promising techniques that can reduce computation and memory consumption by generalizing decision information between similar states. Current neural CFR algorithms have to approximate cumulative regrets. However, efficient and accurate approximation in a large-scale IIG is still a tough challenge. In this paper, a new CFR variant, Recursive CFR (ReCFR), is proposed. In ReCFR, Recursive Substitute Values (RSVs) are learned and used to replace cumulative regrets. It is proven that ReCFR can converge to a Nash equilibrium at a rate of $O({1}/{\sqrt{T}})$. Based on ReCFR, a new model-free neural CFR with bootstrap learning, Neural ReCFR-B, is proposed. Due to the recursive and non-cumulative nature of RSVs, Neural ReCFR-B has lower-variance training targets than other neural CFRs. Experimental results show that Neural ReCFR-B is competitive with the state-of-the-art neural CFR algorithms at a much lower training cost.


title: Persistent Emission Properties of SGR J1935+2154 During Its 2020 Active Episode

abstract: We present detailed spectral and temporal characteristics of the persistent X-ray emission of SGR J1935+2154 based on our XMM-Newton and Chandra observations taken in the aftermath of its April 2020 burst storm, during which hundreds of energetic X-ray bursts were emitted, including one associated with an extraordinary fast radio burst. We clearly detect the pulsed X-ray emission in the XMM-Newton data. An average spin-down rate of 1.6$\times$10$^{-11}$ s s$^{-1}$ is obtained using our spin period measurement combined with three earlier values reported from the same active episode. Our investigations of the XMM-Newton and Chandra spectra with a variety of phenomenological and physically-motivated models, concluded that the magnetic field topology of SGR J1935+2154 is most likely highly non-dipolar. The spectral models indicate that surface field strengths in somewhat localized regions substantially exceed the polar value of 4.4$\times$10$^{14}$ G inferred from a spin-down torque associated with a rotating magnetic dipole.


title: Towards Repairing Neural Networks Correctly

abstract: Neural networks are increasingly applied to support decision making in safety-critical applications (like autonomous cars, unmanned aerial vehicles and face recognition based authentication). While many impressive static verification techniques have been proposed to tackle the correctness problem of neural networks, it is possible that static verification may never be sufficiently scalable to handle real-world neural networks. In this work, we propose a runtime verification method to ensure the correctness of neural networks. Given a neural network and a desirable safety property, we adopt state-of-the-art static verification techniques to identify strategically locations to introduce additional gates which "correct" neural network behaviors at runtime. Experiment results show that our approach effectively generates neural networks which are guaranteed to satisfy the properties, whilst being consistent with the original neural network most of the time.


title: Saying No is An Art: Contextualized Fallback Responses for Unanswerable Dialogue Queries

abstract: Despite end-to-end neural systems making significant progress in the last decade for task-oriented as well as chit-chat based dialogue systems, most dialogue systems rely on hybrid approaches which use a combination of rule-based, retrieval and generative approaches for generating a set of ranked responses. Such dialogue systems need to rely on a fallback mechanism to respond to out-of-domain or novel user queries which are not answerable within the scope of the dialog system. While, dialog systems today rely on static and unnatural responses like "I don't know the answer to that question" or "I'm not sure about that", we design a neural approach which generates responses which are contextually aware with the user query as well as say no to the user. Such customized responses provide paraphrasing ability and contextualization as well as improve the interaction with the user and reduce dialogue monotonicity. Our simple approach makes use of rules over dependency parses and a text-to-text transformer fine-tuned on synthetic data of question-response pairs generating highly relevant, grammatical as well as diverse questions. We perform automatic and manual evaluations to demonstrate the efficacy of the system.


title: How to Exploit the Transferability of Learned Image Compression to Conventional Codecs

abstract: Lossy image compression is often limited by the simplicity of the chosen loss measure. Recent research suggests that generative adversarial networks have the ability to overcome this limitation and serve as a multi-modal loss, especially for textures. Together with learned image compression, these two techniques can be used to great effect when relaxing the commonly employed tight measures of distortion. However, convolutional neural network based algorithms have a large computational footprint. Ideally, an existing conventional codec should stay in place, which would ensure faster adoption and adhering to a balanced computational envelope. As a possible avenue to this goal, in this work, we propose and investigate how learned image coding can be used as a surrogate to optimize an image for encoding. The image is altered by a learned filter to optimise for a different performance measure or a particular task. Extending this idea with a generative adversarial network, we show how entire textures are replaced by ones that are less costly to encode but preserve sense of detail. Our approach can remodel a conventional codec to adjust for the MS-SSIM distortion with over 20% rate improvement without any decoding overhead. On task-aware image compression, we perform favourably against a similar but codec-specific approach.


title: Light dark matter from dark sector decay

abstract: We study the possibility that light dark matter can be produced with right relic density by the decay of other dark sector particles. We study this possibility in a model with right-handed neutrinos, a dark sector singlet scalar and a dark sector singlet fermion. The decay of the heavier dark sector singlet scalar gives rise to the lighter dark sector singlet fermion which serves as the dark matter candidate. We show that the right dark matter relic density can be produced by the decay of the dark sector singlet scalar. We find that the mass of the dark sector singlet fermion can be GeV scale or MeV scale and the interaction of the dark sector singlet fermion is very weak. The dark sector singlet scalar can have a mass of GeV-TeV scale and can have weak scale interactions with the Standard Model(SM) particles. So, in this scenario, dark matter has an interaction with the SM much weaker than the weak interaction, but the dark sector still has weak scale interaction with the SM.


title: Optimizing sensors placement in complex networks for localization of hidden signal source: A review

abstract: As the world becomes more and more interconnected, our everyday objects become part of the Internet of Things, and our lives get more and more mirrored in virtual reality, where every piece of~information, including misinformation, fake news and malware, can spread very fast practically anonymously. To suppress such uncontrolled spread, efficient computer systems and algorithms capable to~track down such malicious information spread have to be developed. Currently, the most effective methods for source localization are based on sensors which provide the times at which they detect the~spread. We investigate the problem of the optimal placement of such sensors in complex networks and propose a new graph measure, called Collective Betweenness, which we compare against four other metrics. Extensive numerical tests are performed on different types of complex networks over the wide ranges of densities of sensors and stochasticities of signal. In these tests, we discovered clear difference in comparative performance of the investigated optimal placement methods between real or scale-free synthetic networks versus narrow degree distribution networks. The former have a clear region for any given method's dominance in contrast to the latter where the performance maps are less homogeneous. We find that while choosing the best method is very network and spread dependent, there are two methods that consistently stand out. High Variance Observers seem to do very well for spread with low stochasticity whereas Collective Betwenness, introduced in this paper, thrives when the spread is highly unpredictable.


title: On the Lyapunov-Perron reducible Markovian Master Equation

abstract: We consider an open quantum system in $M_{d}(\mathbb{C})$ governed by quasiperiodic Hamiltonian with rationally independent frequencies and under assumption of Lyapunov-Perron reducibility of associated Schroedinger equation. We construct the Markovian Master Equation and resulting CP-divisible evolution in weak coupling limit regime, generalizing our previous results from periodic case. The analysis is conducted with application of projection operator techniques and concluded with some results regarding stability of solutions and existence of quasiperiodic global steady state.


title: Label Enhanced Event Detection with Heterogeneous Graph Attention Networks

abstract: Event Detection (ED) aims to recognize instances of specified types of event triggers in text. Different from English ED, Chinese ED suffers from the problem of word-trigger mismatch due to the uncertain word boundaries. Existing approaches injecting word information into character-level models have achieved promising progress to alleviate this problem, but they are limited by two issues. First, the interaction between characters and lexicon words is not fully exploited. Second, they ignore the semantic information provided by event labels. We thus propose a novel architecture named Label enhanced Heterogeneous Graph Attention Networks (L-HGAT). Specifically, we transform each sentence into a graph, where character nodes and word nodes are connected with different types of edges, so that the interaction between words and characters is fully reserved. A heterogeneous graph attention networks is then introduced to propagate relational message and enrich information interaction. Furthermore, we convert each label into a trigger-prototype-based embedding, and design a margin loss to guide the model distinguish confusing event labels. Experiments on two benchmark datasets show that our model achieves significant improvement over a range of competitive baseline methods.


title: Learning Two-Stream CNN for Multi-Modal Age-related Macular Degeneration Categorization

abstract: This paper tackles automated categorization of Age-related Macular Degeneration (AMD), a common macular disease among people over 50. Previous research efforts mainly focus on AMD categorization with a single-modal input, let it be a color fundus photograph (CFP) or an OCT B-scan image. By contrast, we consider AMD categorization given a multi-modal input, a direction that is clinically meaningful yet mostly unexplored. Contrary to the prior art that takes a traditional approach of feature extraction plus classifier training that cannot be jointly optimized, we opt for end-to-end multi-modal Convolutional Neural Networks (MM-CNN). Our MM-CNN is instantiated by a two-stream CNN, with spatially-invariant fusion to combine information from the CFP and OCT streams. In order to visually interpret the contribution of the individual modalities to the final prediction, we extend the class activation mapping (CAM) technique to the multi-modal scenario. For effective training of MM-CNN, we develop two data augmentation methods. One is GAN-based CFP/OCT image synthesis, with our novel use of CAMs as conditional input of a high-resolution image-to-image translation GAN. The other method is Loose Pairing, which pairs a CFP image and an OCT image on the basis of their classes instead of eye identities. Experiments on a clinical dataset consisting of 1,094 CFP images and 1,289 OCT images acquired from 1,093 distinct eyes show that the proposed solution obtains better F1 and Accuracy than multiple baselines for multi-modal AMD categorization. Code and data are available at https://github.com/li-xirong/mmc-amd.


title: On Parameterized Complexity of Binary Networked Public Goods Game

abstract: In the Binary Networked Public Goods game, every player needs to decide if she participates in a public project whose utility is shared equally by the community. We study the problem of deciding if there exists a pure strategy Nash equilibrium (PSNE) in such games. The problem is already known to be NP-complete. We provide fine-grained analysis of this problem under the lens of parameterized complexity theory. We consider various natural graph parameters and show either W[1]-hardness or exhibit an FPT algorithm. We finally exhibit some special graph classes, for example path, cycle, bi-clique, complete graph, etc., which always have a PSNE if the utility function of the players are fully homogeneous.


title: Quantum speed limit time for moving qubit inside leaky cavity

abstract: The minimum time required for a quantum system to evolve from an arbitrary initial state to its orthogonal state is known as the quantum speed limit (QSL) time. In this work, we consider the model in which a single qubit moves inside a leaky cavity and then we study the QSL time for this model. Notably, we show that for both weak and strong coupling regimes, the QSL time increases with increasing the velocity of the qubit inside the leaky cavity. Moreover, it is observed that by increasing qubit velocity, the speed of the evolution tends to a constant value and the system becomes more stable.


title: Comparison Graphs: a Unified Method for Uniformity Testing

abstract: Distribution testing can be described as follows: $q$ samples are being drawn from some unknown distribution $P$ over a known domain $[n]$. After the sampling process, a decision must be made about whether $P$ holds some property, or is far from it. The most studied problem in the field is arguably uniformity testing, where one needs to distinguish the case that $P$ is uniform over $[n]$ from the case that $P$ is $\epsilon$-far from being uniform (in $\ell_1$). In the classic model, it is known that $\Theta\left(\sqrt{n}/\epsilon^2\right)$ samples are necessary and sufficient for this task. This problem was recently considered in various restricted models that pose, for example, communication or memory constraints. In more than one occasion, the known optimal solution boils down to counting collisions among the drawn samples (each two samples that have the same value add one to the count), an idea that dates back to the first uniformity tester, and was coined the name "collision-based tester". In this paper, we introduce the notion of comparison graphs and use it to formally define a generalized collision-based tester. Roughly speaking, the edges of the graph indicate the tester which pairs of samples should be compared (that is, the original tester is induced by a clique, where all pairs are being compared). We prove a structural theorem that gives a sufficient condition for a comparison graph to induce a good uniformity tester. As an application, we develop a generic method to test uniformity, and devise nearly-optimal uniformity testers under various computational constraints. We improve and simplify a few known results, and introduce a new constrained model in which the method also produces an efficient tester. The idea behind our method is to translate computational constraints of a certain model to ones on the comparison graph, which paves the way to finding a good graph.


title: Competition analysis on the over-the-counter credit default swap market

abstract: We study two questions related to competition on the OTC CDS market using data collected as part of the EMIR regulation. First, we study the competition between central counterparties through collateral requirements. We present models that successfully estimate the initial margin requirements. However, our estimations are not precise enough to use them as input to a predictive model for CCP choice by counterparties in the OTC market. Second, we model counterpart choice on the interdealer market using a novel semi-supervised predictive task. We present our methodology as part of the literature on model interpretability before arguing for the use of conditional entropy as the metric of interest to derive knowledge from data through a model-agnostic approach. In particular, we justify the use of deep neural networks to measure conditional entropy on real-world datasets. We create the $\textit{Razor entropy}$ using the framework of algorithmic information theory and derive an explicit formula that is identical to our semi-supervised training objective. Finally, we borrow concepts from game theory to define $\textit{top-k Shapley values}$. This novel method of payoff distribution satisfies most of the properties of Shapley values, and is of particular interest when the value function is monotone submodular. Unlike classical Shapley values, top-k Shapley values can be computed in quadratic time of the number of features instead of exponential. We implement our methodology and report the results on our particular task of counterpart choice. Finally, we present an improvement to the $\textit{node2vec}$ algorithm that could for example be used to further study intermediation. We show that the neighbor sampling used in the generation of biased walks can be performed in logarithmic time with a quasilinear time pre-computation, unlike the current implementations that do not scale well.


title: Temporal Pyramid Network for Pedestrian Trajectory Prediction with Multi-Supervision

abstract: Predicting human motion behavior in a crowd is important for many applications, ranging from the natural navigation of autonomous vehicles to intelligent security systems of video surveillance. All the previous works model and predict the trajectory with a single resolution, which is rather inefficient and difficult to simultaneously exploit the long-range information (e.g., the destination of the trajectory), and the short-range information (e.g., the walking direction and speed at a certain time) of the motion behavior. In this paper, we propose a temporal pyramid network for pedestrian trajectory prediction through a squeeze modulation and a dilation modulation. Our hierarchical framework builds a feature pyramid with increasingly richer temporal information from top to bottom, which can better capture the motion behavior at various tempos. Furthermore, we propose a coarse-to-fine fusion strategy with multi-supervision. By progressively merging the top coarse features of global context to the bottom fine features of rich local context, our method can fully exploit both the long-range and short-range information of the trajectory. Experimental results on several benchmarks demonstrate the superiority of our method.


title: A domino tableau-based view on type B Schur-positivity

abstract: Over the past years, major attention has been drawn to the question of identifying Schur-positive sets, i.e. sets of permutations whose associated quasisymmetric function is symmetric and can be written as a non-negative sum of Schur symmetric functions. The set of arc permutations, i.e. the set of permutations $\pi$ in $S_n$ such that for any $1\leq j \leq n$, $\{\pi(1),\pi(2),\dots,\pi(j)\}$ is an interval in $\mathbb{Z}_n$ is one of the most noticeable examples. This paper introduces a new type B extension of Schur-positivity to signed permutations based on Chow's quasisymmetric functions and generating functions for domino tableaux. As an important characteristic, our development is compatible with the works of Solomon regarding the descent algebra of Coxeter groups. In particular, we design descent preserving bijections between signed arc permutations and sets of domino tableaux to show that they are indeed type B Schur-positive.


title: Projection Hypothesis from the von Neumann-type Interaction with a Bose-Einstein Condensate

abstract: We derive the projection hypothesis in projective quantum measurement by restricting the set of observables. This projection hypothesis accompanies a bipartite system with the von Neumann-type interaction, which consists of a quantum mechanical system, with a meter variable to be measured, and a quantum field theoretically macroscopic extended object, that is, a spatiotemporally inhomogeneous Bose-Einstein condensate in quantum field theory with the quantum coordinate, that is, the zero-energy Goldstone mode(s) of the spontaneously broken global spatial translational symmetry. The key steps in the derivation are the return of the symmetry translation of this quantum coordinate to the inverse translation of the c-number spatial coordinate in quantum field theory and the reduction of quantum fluctuations to classical fluctuations with respect to the Goldstone mode(s) due to a superselection rule.


title: Direct numerical simulations of transient turbulent jets: vortex-interface interactions

abstract: The breakup of an interface into a cascade of droplets and their subsequent coalescence is a generic problem of central importance to a large number of industrial settings such as mixing, separations, and combustion. We study the breakup of a liquid jet introduced through a cylindrical nozzle into a stagnant viscous phase via a hybrid interface-tracking/level-set method to account for the surface tension forces in a three-dimensional Cartesian domain. Numerical solutions are obtained for a range of Reynolds (Re) and Weber (We) numbers. We find that the interplay between the azimuthal and streamwise vorticity components leads to different interfacial features and flow regimes in Re-We space. We show that the streamwise vorticity plays a critical role in the development of the three-dimensional instabilities on the jet surface. In the inertia-controlled regime at high Re and We, we expose the details of the spatio-temporal development of the vortical structures affecting the interfacial dynamics. A mushroom-like structure is formed at the leading edge of the jet inducing the generation of a liquid sheet in its interior that undergoes rupture to form droplets. These droplets rotate inside the mushroom structure due to their interaction with the prevailing vortical structures. Additionally, Kelvin-Helmholtz vortices that form near the injection point deform in the streamwise direction to form hairpin vortices, which, in turn, trigger the formation of interfacial lobes in the jet core. The thinning of the lobes induces the creation of holes which expand to form liquid threads that undergo capillary breakup to form droplets.


title: Inference in mixed causal and noncausal models with generalized Student's t-distributions

abstract: The properties of Maximum Likelihood estimator in mixed causal and noncausal models with a generalized Student's t error process are reviewed. Several known existing methods are typically not applicable in the heavy-tailed framework. To this end, a new approach to make inference on causal and noncausal parameters in finite sample sizes is proposed. It exploits the empirical variance of the generalized Student's-t, without the existence of population variance. Monte Carlo simulations show a good performance of the new variance construction for fat tail series. Finally, different existing approaches are compared using three empirical applications: the variation of daily COVID-19 deaths in Belgium, the monthly wheat prices, and the monthly inflation rate in Brazil.


title: Null infinity as an open Hamiltonian system

abstract: When a system emits gravitational radiation, the Bondi mass decreases. If the Bondi energy is Hamiltonian, it can thus only be a time dependent Hamiltonian. In this paper, we show that the Bondi energy can be understood as a time-dependent Hamiltonian on the covariant phase space. Our derivation starts from the Hamiltonian formulation in domains with boundaries that are null. We introduce the most general boundary conditions on a generic such null boundary, and compute quasi-local charges for boosts, energy and angular momentum. Initially, these domains are at finite distance, such that there is a natural IR regulator. To remove the IR regulator, we introduce a double null foliation together with an adapted Newman--Penrose null tetrad. Both null directions are surface orthogonal. We study the falloff conditions for such specific null foliations and take the limit to null infinity. At null infinity, we recover the Bondi mass and the usual covariant phase space for the two radiative modes at the full non-perturbative level. Apart from technical results, the framework gives two important physical insights. First of all, it explains the physical significance of the corner term that is added in the Wald--Zoupas framework to render the quasi-conserved charges integrable. The term to be added is simply the derivative of the Hamiltonian with respect to the background fields that drive the time-dependence of the Hamiltonian. Secondly, we propose a new interpretation of the Bondi mass as the thermodynamical free energy of gravitational edge modes at future null infinity. The Bondi mass law is then simply the statement that the free energy always decreases on its way towards thermal equilibrium.


title: Parameter estimation and quantum entanglement in PT symmetrical cavity magnonics system

abstract: We investigate the parameter estimation in a magnon-cavity-magnon coupled system. PT symmetrical two magnons system can be formed in the gain magnetic materials by the adiabatic elimination of the cavity field mode. We show that the optimal estimation will not appear at the exceptional point due to that the quantum fluctuations are the strongest at the exceptional point. Moreover, we demonstrate that the measurements at the exceptional point tend to be optimal with the increase of prepared time. And the direct photon detection is the optimal measurement for the initial state in the vacuum input state. For the open PT symmetrical two magnons system, the quantum fluctuations will greatly reduce the degree of entanglement. Finally, we show that a higher estimated magnetic sensitivity can be obtained by measuring the frequency of one magnon in the PT symmetrical two magnons system.


title: Sparse Array of Sub-surface Aided Anti-blockage mmWave Communication Systems

abstract: Recently, reconfigurable intelligent surfaces (RISs) have drawn intensive attention to enhance the coverage of millimeter wave (mmWave) communication systems. However, existing works mainly consider the RIS as a whole uniform plane, which may be unrealistic to be installed on the facade of buildings when the RIS is extreme large. To address this problem, in this paper, we propose a sparse array of sub-surface (SAoS) architecture for RIS, which contains several rectangle shaped sub-surfaces termed as RIS tiles that can be sparsely deployed. An approximated ergodic spectral efficiency of the SAoS aided system is derived and the performance impact of the SAoS design is evaluated. Based on the approximated ergodic spectral efficiency, we obtain an optimal reflection coefficient design for each RIS tile. Analytical results show that the received signal-to-noise ratios can grow quadratically and linearly to the number of RIS elements under strong and weak LoS scenarios, respectively. Furthermore, we consider the visible region (VR) phenomenon in the SAoS aided mmWave system and find that the optimal distance between RIS tiles is supposed to yield a total SAoS VR nearly covering the whole blind coverage area. The numerical results verify the tightness of the approximated ergodic spectral efficiency and demonstrate the great system performance.


title: Density of Lipschitz functions in Energy

abstract: In this paper, we show that the density in energy of Lipschitz functions in a Sobolev space $N^{1,p}(X)$ holds for all $p\in [1,\infty)$ whenever the space $X$ is complete and separable and the measure is Radon and finite on balls. Emphatically, $p=1$ is allowed. We also give a few corollaries and pose questions for future work. The proof is direct and does not involve the usual flow techniques from prior work. It also yields a new approximation technique, which has not appeared in prior work. Notable with all of this is that we do not use any form of Poincar\'e inequality or doubling assumption. The techniques are flexible and suggest a unification of a variety of existing literature on the topic.


title: Multiple Dirac eikonal scattering of polarized intermediate-energy protons by nuclei

abstract: An improved model of the multiple Dirac eikonal scattering of proton on nucleons of the target nucleus is considered. In this model, the amplitudes of elastic $p-A$ scattering are found on the basis of the Watson series of multiple scattering by means of the eikonal expansion of the Dirac propagator for the free proton motion between scattering events on nucleons, and the nucleus structure is described in the relativistic mean field model. The calculations have been performed for the complete set of observables for the elastic $p+^{40}$Ca and $p+^{208}$Pb scattering at 800 MeV. The effects of allowing for distinction between the relativistic scalar and vector nucleon densities on the description of the $p-A$ scattering observables have been studied, as well as the results of calculations using nucleon densities obtained in different modern variants of the relativistic mean field model have been compared.


title: Quantum stochastic processes and quantum non-Markovian phenomena

abstract: The field of classical stochastic processes forms a major branch of mathematics. They are, of course, also very well studied in biology, chemistry, ecology, geology, finance, physics, and many more fields of natural and social sciences. When it comes to quantum stochastic processes, however, the topic is plagued with pathological issues that have led to fierce debates amongst researchers. Recent developments have begun to untangle these issues and paved the way for generalizing the theory of classical stochastic processes to the quantum domain without ambiguities. This tutorial details the structure of quantum stochastic processes, in terms of the modern language of quantum combs, and is aimed at students in quantum physics and quantum information theory. We begin with the basics of classical stochastic processes and generalize the same ideas to the quantum domain. Along the way, we discuss the subtle structure of quantum physics that has led to troubles in forming an overarching theory for quantum stochastic processes. We close the tutorial by laying out many exciting problems that lie ahead in this branch of science.


title: Quantum entanglement measures from Hyperscaling violating geometries with finite radial cut off at general d, $\theta$ from the emergent global symmetry

abstract: The quantum entanglement measures for $T{\overline{T}}$ deformed field theory on boundary, deformation coefficient $\mu$, with dual bulk geometry with finite radial cutoff $\rho_c$, for entangling region is single or disjoint intervals on the boundary, of length l is expected to give global description of these measures over the complete parameter-regime of $(l, \mu)$ or on 2D $(l,\rho_c)$ plane, because it is solvable irrelevant deformation. Here, to find quantum-measures through RT prescription, from Hyperscaling violating bulk geometry with finite radial cut off, we found mathematically it is impossible, to obtain such global form, since the turning point $\rho_0 (l,\rho_c)$, neither in its exact or in any perturbative form, is solvable globally, can describe these quantum measures at most locally over some specific regime in 2D $(l,\rho_c)$ plane! However, to find such global form, we found, on application of RT formalism, a global symmetry structure, from the considered geometry emerges, over 2D parameter-space, irrespective of d, $\theta$, which alongwith global b.c and other consistency conditions, fix $\rho_0(l,\rho_c)$ globally, exactly in $l >> \rho_c $ and $\rho_c >> l$ regime and as some interpolating expressions, very close to the exact one in other regime. Some of the quantum entanglement measures with this $\rho_0 (l,\rho_c)$, with our intuitively predicted behaviour for them in the deformed theory, derived and shown, behaving accordingly. The impact of this emergent symmetry on these quantum-measures is discussed, the possible space time origin of this symmetry is explored, although the later aspect is subjected to a proper and detailed study.


title: Analysis of the Coherent Contributions to Nonlinear Interference Generation within Disaggregated Optical Line Systems

abstract: Through a physical layer simulation study we highlight that the coherent accumulation of nonlinear interference becomes non-negligible for optical networks operating within high symbol rate transmission scenarios. This initiates a discussion on how to accurately plan and model optical networks, starting from the physical layer.


title: Atomic Scattering For Chemical Analysis Of Surfaces

abstract: The study explores machine learning methods for revealing chemical sensitivity in Helium spin-echo spectroscopy, in order to obtain ultra-sensitive surface analytic technique. We model bi-species co-adsorbed systems and demonstrate that by using deep-learning neural-networks partial surface concentrations are obtainable. An example system of particles with mass 50 and 100 a.m.u was tested with characteristic inter-adsorbate and adsorbate-substrate interactions, with partial surface concentrations being resolvable up to 20% occupancy of adsorption sites, and with modestly high noise level of 4%.


title: Stability analysis of polytopic Discontinuous Galerkin approximations of the Stokes problem with applications to fluid-structure interaction problems

abstract: We present a stability analysis of the Discontinuous Galerkin method on polygonal and polyhedral meshes (PolyDG) for the Stokes problem. In particular, we analyze the discrete inf-sup condition for different choices of the polynomial approximation order of the velocity and pressure approximation spaces. To this aim, we employ a generalized inf-sup condition with a pressure stabilization term. We also prove a priori hp-version error estimates in suitable norms. We numerically check the behaviour of the inf-sup constant and the order of convergence with respect to the mesh configuration, the mesh-size, and the polynomial degree. Finally, as a relevant application of our analysis, we consider the PolyDG approximation for a fluid-structure interaction problem and we numerically explore the stability properties of the method.


title: Quantum Metrology with Coherent Superposition of Two Different Coded Channels

abstract: We investigate the advantage of coherent superposition of two different coded channels in quantum metrology. In a continuous variable system, we show that the Heisenberg limit $1/N$ can be beaten by the coherent superposition without the help of indefinite causal order. And in parameter estimation, we demonstrate that the strategy with the coherent superposition can perform better than the strategy with quantum \textsc{switch} which can generate indefinite causal order. We analytically obtain the general form of estimation precision in terms of the quantum Fisher information and further prove that the nonlinear Hamiltonian can improve the estimation precision and make the measurement uncertainty scale as $1/N^m$ for $m\geq2$. Our results can help to construct a high-precision measurement equipment, which can be applied to the detection of coupling strength and the test of time dilation and the modification of the canonical commutation relation.


title: Light-field view synthesis using convolutional block attention module

abstract: Consumer light-field (LF) cameras suffer from a low or limited resolution because of the angular-spatial trade-off. To alleviate this drawback, we propose a novel learning-based approach utilizing attention mechanism to synthesize novel views of a light-field image using a sparse set of input views (i.e., 4 corner views) from a camera array. In the proposed method, we divide the process into three stages, stereo-feature extraction, disparity estimation, and final image refinement. We use three sequential convolutional neural networks for each stage. A residual convolutional block attention module (CBAM) is employed for final adaptive image refinement. Attention modules are helpful in learning and focusing more on the important features of the image and are thus sequentially applied in the channel and spatial dimensions. Experimental results show the robustness of the proposed method. Our proposed network outperforms the state-of-the-art learning-based light-field view synthesis methods on two challenging real-world datasets by 0.5 dB on average. Furthermore, we provide an ablation study to substantiate our findings.


title: An Empirical Study of Derivative-Free-Optimization Algorithms for Targeted Black-Box Attacks in Deep Neural Networks

abstract: We perform a comprehensive study on the performance of derivative free optimization (DFO) algorithms for the generation of targeted black-box adversarial attacks on Deep Neural Network (DNN) classifiers assuming the perturbation energy is bounded by an $\ell_\infty$ constraint and the number of queries to the network is limited. This paper considers four pre-existing state-of-the-art DFO-based algorithms along with the introduction of a new algorithm built on BOBYQA, a model-based DFO method. We compare these algorithms in a variety of settings according to the fraction of images that they successfully misclassify given a maximum number of queries to the DNN. The experiments disclose how the likelihood of finding an adversarial example depends on both the algorithm used and the setting of the attack; algorithms limiting the search of adversarial example to the vertices of the $\ell^\infty$ constraint work particularly well without structural defenses, while the presented BOBYQA based algorithm works better for especially small perturbation energies. This variance in performance highlights the importance of new algorithms being compared to the state-of-the-art in a variety of settings, and the effectiveness of adversarial defenses being tested using as wide a range of algorithms as possible.


title: Strong enhancement of level densities in the crossover from spherical to deformed neodymium isotopes

abstract: Understanding the evolution of level densities in the crossover from spherical to well-deformed nuclei has been a long-standing problem in nuclear physics. We measure nuclear level densities for a chain of neodymium isotopes $^{142,144-151}$Nd which exhibit such a crossover. These results represent to date the most complete data set of nuclear level densities for an isotopic chain between neutron shell-closure and towards mid-shell. We observe a strong increase of the level densities along the chain with an overall increase by a factor of $\approx 170$ at an excitation energy of 7.5 MeV and saturation around mass 150. Level densities calculated by the shell model Monte Carlo (SMMC) are in excellent agreement with these experimental results. Based on our experimental and theoretical findings, we offer an explanation of the observed mass dependence of the level densities in terms of the intrinsic single-particle level density and the collective enhancement.


title: Impact of COVID-19 on the trade of goods and services in Spain

abstract: The COVID-19 crisis has led to the sharpest collapse in the Spanish trade of goods and services in recent decades. The containment measures adopted to arrest the spread of the virus have caused an especially intense fall of trade in services. Spain's export specialization in transport equipment, capital and outdoor goods, and services that rely on the movement of people has made the COVID-19 trade crisis more intense in Spain than in the rest of the European Union. However, the nature of the collapse suggests that trade in goods can recover swiftly when the health crisis ends. On the other hand, COVID-19 may have a long-term negative impact on the trade of services that rely on the movement of people.


title: Substitution maps in the Robba ring

abstract: We ask several questions about substitution maps in the Robba ring. These questions are motivated by $p$-adic Hodge theory and the theory of $p$-adic dynamical systems. We provide answers to those questions in special cases, thereby generalizing results of Kedlaya, Colmez, and others.


title: Coloured Graphical Models and their Symmetries

abstract: Coloured graphical models are Gaussian statistical models determined by an undirected coloured graph. These models can be described by linear spaces of symmetric matrices. We outline a relationship between the symmetries of the graph and the linear forms that vanish on the reciprocal variety of the model. In particular, we give four families for which such linear forms are completely described by symmetries.


title: Pencil-beam approximation of fractional Fokker-Planck

abstract: We consider the modeling of light beams propagating in highly forward-peaked turbulent media by fractional Fokker-Planck equations and their approximations by fractional Fermi pencil-beam models. We obtain an error estimate in a 1-Wasserstein distance for the latter model showing that beam spreading is well captured by the Fermi pencil-beam approximation in the small diffusion limit.


title: PRESENT: An Android-Based Class Attendance Monitoring System Using Face Recognition Technology

abstract: The study aimed to develop an Android-Based Class Attendance Monitoring Application using Face Recognition to make attendance checking and monitoring easier and faster. The researcher used incremental model as the software development process and the application was evaluated by seventeen (17) faculty members .A validated evaluation questionnaire was used to rate the level of acceptability of the application based on ISO 9126 software quality and the level of satisfaction for its major features. For the statistical treatment of the data collected, Likert Scale, weighted mean and t-test were utilized by the researcher. The results revealed that instructors find the existing way of checking attendance as time consuming and a tedious task. Furthermore, the respondents assessed the developed application as moderately acceptable in terms of functionality, reliability and usability while portability was rated as highly acceptable. With regards to the features, the respondents were very satisfied. The researcher concluded that the developed application was useful and it can support the needs of the instructors to make attendance checking and monitoring easier, faster, and reliable. Due to its acceptable evaluation result, instructors should consider the use of this tool as an alternative to the existing process of checking and monitoring class attendance. With the integration of different technologies such as Android, face recognition and SMS, the traditional way of checking class attendance can be made easier, faster, reliable and secured, thus improving classroom management.


title: Exploration in Algorithm Engineering: Modeling Algorithms

abstract: According to some algorithmicists, algorithmics traditionally uses algorithm theory, which stems from mathematics. The growing need for innovative algorithms has caused increasing gaps between theory and practice. Originally, this motivated the development of algorithm engineering, which is viewed as experimental techniques related to software engineering. Currently, algorithm engineering is a methodology for algorithmic research that combines theory with implementation and experimentation in order to produce better algorithms with high practical impact. Still, researchers have questioned whether the notion of algorithms can be defined in a fully generable way and discussed what kinds of entities algorithms actually are. They have also struggled to maintain a view that formulates algorithms mathematically (e.g., Turing machines and finite-state machines [FSMs]) while adapting a more applied view. Answering the question of what algorithms have practical applications in software specifications in particular, this paper proposes a diagrammatical definition of an algorithm based on a new modeling machine called a thinging machine (TM). The machine has five actions (e.g., create, process, release, transfer, and receive) that can form a network of machines. The paper explores the application of the definition in Turing machines and FSMs. The results point to the fact that the proposed definition can serve as a middle-ground representation of algorithms, a definition which is between formal specification and the commonly used informal definition (e.g., set of instructions).


title: Patch2Pix: Epipolar-Guided Pixel-Level Correspondences

abstract: The classical matching pipeline used for visual localization typically involves three steps: (i) local feature detection and description, (ii) feature matching, and (iii) outlier rejection. Recently emerged correspondence networks propose to perform those steps inside a single network but suffer from low matching resolution due to the memory bottleneck. In this work, we propose a new perspective to estimate correspondences in a detect-to-refine manner, where we first predict patch-level match proposals and then refine them. We present Patch2Pix, a novel refinement network that refines match proposals by regressing pixel-level matches from the local regions defined by those proposals and jointly rejecting outlier matches with confidence scores. Patch2Pix is weakly supervised to learn correspondences that are consistent with the epipolar geometry of an input image pair. We show that our refinement network significantly improves the performance of correspondence networks on image matching, homography estimation, and localization tasks. In addition, we show that our learned refinement generalizes to fully-supervised methods without re-training, which leads us to state-of-the-art localization performance. The code is available at https://github.com/GrumpyZhou/patch2pix.


title: Slow-Fast Systems with Fractional Environment and Dynamics

abstract: We prove a fractional averaging principle for interacting slow-fast systems. The mode of convergence is in H\"older norm in probability. The main technical result is a quenched ergodic theorem on the conditioned fractional dynamics. We also establish geometric ergodicity for a class of fractional-driven stochastic differential equations, improving a recent result of Panloup and Richard.


title: Wetting equilibrium in a rectangular channel

abstract: When a capillary channel with corners is wetted by a fluid, there are regions where the fluid fills the whole cross-section and regions where only the corners are filled by the fluid. The fluid fraction of the partially-filled region, $s^*$, is an important quantity related to the capillary pressure. We calculate the value of $s^*$ for channels with a cross-section slightly deviated from a rectangle: the height is larger in the center than those on the two short sides. We find that a small change in the cross-section geometry leads to a huge change of $s^*$. This result is consistent with experimental observations.


title: Assaying Large-scale Testing Models to Interpret COVID-19 Case Numbers

abstract: Large-scale testing is considered key to assess the state of the current COVID-19 pandemic. Yet, the link between the reported case numbers and the true state of the pandemic remains elusive. We develop mathematical models based on competing hypotheses regarding this link, thereby providing different prevalence estimates based on case numbers, and validate them by predicting SARS-CoV-2-attributed death rate trajectories. Assuming that individuals were tested based solely on a predefined risk of being infectious implies the absolute case numbers reflect the prevalence, but turned out to be a poor predictor, consistently overestimating growth rates at the beginning of two COVID-19 epidemic waves. In contrast, assuming that testing capacity is fully exploited performs better. This leads to using the percent-positive rate as a more robust indicator of epidemic dynamics, however we find it is subject to a saturation phenomenon that needs to be accounted for as the number of tests becomes larger.


title: Transfer Learning as an Enabler of the Intelligent Digital Twin

abstract: Digital Twins have been described as beneficial in many areas, such as virtual commissioning, fault prediction or reconfiguration planning. Equipping Digital Twins with artificial intelligence functionalities can greatly expand those beneficial applications or open up altogether new areas of application, among them cross-phase industrial transfer learning. In the context of machine learning, transfer learning represents a set of approaches that enhance learning new tasks based upon previously acquired knowledge. Here, knowledge is transferred from one lifecycle phase to another in order to reduce the amount of data or time needed to train a machine learning algorithm. Looking at common challenges in developing and deploying industrial machinery with deep learning functionalities, embracing this concept would offer several advantages: Using an intelligent Digital Twin, learning algorithms can be designed, configured and tested in the design phase before the physical system exists and real data can be collected. Once real data becomes available, the algorithms must merely be fine-tuned, significantly speeding up commissioning and reducing the probability of costly modifications. Furthermore, using the Digital Twin's simulation capabilities virtually injecting rare faults in order to train an algorithm's response or using reinforcement learning, e.g. to teach a robot, become practically feasible. This article presents several cross-phase industrial transfer learning use cases utilizing intelligent Digital Twins. A real cyber physical production system consisting of an automated welding machine and an automated guided vehicle equipped with a robot arm is used to illustrate the respective benefits.


title: DeepCrawl: Deep Reinforcement Learning for Turn-based Strategy Games

abstract: In this paper we introduce DeepCrawl, a fully-playable Roguelike prototype for iOS and Android in which all agents are controlled by policy networks trained using Deep Reinforcement Learning (DRL). Our aim is to understand whether recent advances in DRL can be used to develop convincing behavioral models for non-player characters in videogames. We begin with an analysis of requirements that such an AI system should satisfy in order to be practically applicable in video game development, and identify the elements of the DRL model used in the DeepCrawl prototype. The successes and limitations of DeepCrawl are documented through a series of playability tests performed on the final game. We believe that the techniques we propose offer insight into innovative new avenues for the development of behaviors for non-player characters in video games, as they offer the potential to overcome critical issues with


title: Origin-Aware Next Destination Recommendation with Personalized Preference Attention

abstract: Next destination recommendation is an important task in the transportation domain of taxi and ride-hailing services, where users are recommended with personalized destinations given their current origin location. However, recent recommendation works do not satisfy this origin-awareness property, and only consider learning from historical destination locations, without origin information. Thus, the resulting approaches are unable to learn and predict origin-aware recommendations based on the user's current location, leading to sub-optimal performance and poor real-world practicality. Hence, in this work, we study the origin-aware next destination recommendation task. We propose the Spatial-Temporal Origin-Destination Personalized Preference Attention (STOD-PPA) encoder-decoder model to learn origin-origin (OO), destination-destination (DD), and origin-destination (OD) relationships by first encoding both origin and destination sequences with spatial and temporal factors in local and global views, then decoding them through personalized preference attention to predict the next destination. Experimental results on seven real-world user trajectory taxi datasets show that our model significantly outperforms baseline and state-of-the-art methods.


title: Gaia Early Data Release 3: Photometric content and validation

abstract: Gaia Early Data Release 3 contains astrometry and photometry results for about 1.8 billion sources based on observations collected by the ESA Gaia satellite during the first 34 months of operations. This paper focuses on the photometric content, describing the input data, the algorithms, the processing, and the validation of the results. Particular attention is given to the quality of the data and to a number of features that users may need to take into account to make the best use of the EDR3 catalogue. The treatment of the BP and RP background has been updated to include a better estimation of the local background, and the detection of crowding effects has been used to exclude affected data from the calibrations. The photometric calibration models have also been updated to account for flux loss over the whole magnitude range. Significant improvements in the modelling and calibration of the point and line spread functions have also helped to reduce a number of instrumental effects that were still present in DR2. EDR3 contains 1.806 billion sources with G-band photometry and 1.540 billion sources with BP and RP photometry. The median uncertainty in the G-band photometry, as measured from the standard deviation of the internally calibrated mean photometry for a given source, is 0.2 mmag at magnitude G=10 to 14, 0.8 mmag at G=17, and 2.6 mmag at G=19. The significant magnitude term found in the Gaia DR2 photometry is no longer visible, and overall there are no trends larger than 1 mmag/mag. Using one passband over the whole colour and magnitude range leaves no systematics above the 1% level in magnitude in any of the bands, and a larger systematic is present for a very small sample of bright and blue sources. A detailed description of the residual systematic effects is provided. Overall the quality of the calibrated mean photometry in EDR3 is superior with respect to DR2 for all bands.


title: Mapping Patterns for Virtual Knowledge Graphs

abstract: Virtual Knowledge Graphs (VKG) constitute one of the most promising paradigms for integrating and accessing legacy data sources. A critical bottleneck in the integration process involves the definition, validation, and maintenance of mappings that link data sources to a domain ontology. To support the management of mappings throughout their entire lifecycle, we propose a comprehensive catalog of sophisticated mapping patterns that emerge when linking databases to ontologies. To do so, we build on well-established methodologies and patterns studied in data management, data analysis, and conceptual modeling. These are extended and refined through the analysis of concrete VKG benchmarks and real-world use cases, and considering the inherent impedance mismatch between data sources and ontologies. We validate our catalog on the considered VKG scenarios, showing that it covers the vast majority of patterns present therein.


title: Multi-mode Core Tensor Factorization based Low-Rankness and Its Applications to Tensor Completion

abstract: Low-rank tensor completion has been widely used in computer vision and machine learning. This paper develops a novel multi-modal core tensor factorization (MCTF) method combined with a tensor low-rankness measure and a better nonconvex relaxation form of this measure (NC-MCTF). The proposed models encode low-rank insights for general tensors provided by Tucker and T-SVD, and thus are expected to simultaneously model spectral low-rankness in multiple orientations and accurately restore the data of intrinsic low-rank structure based on few observed entries. Furthermore, we study the MCTF and NC-MCTF regularization minimization problem, and design an effective block successive upper-bound minimization (BSUM) algorithm to solve them. This efficient solver can extend MCTF to various tasks, such as tensor completion. A series of experiments, including hyperspectral image (HSI), video and MRI completion, confirm the superior performance of the proposed method.


title: Internal Calibration Process Using Chirp Pulses with Application of the Adam Learning Algorithm

abstract: We propose a new internal calibration process using chirp pulses. Our method is utilized to mitigate thermal drift, which is unwanted changes and usually occurs in active elements such as a high power amplifier and low noise amplifier. The proposed method has advantages from two distinct aspects: calibration signal and algorithm. In respect to the calibration signal, our method does not contain an additional signal source because chirp pulses, which are normally used for remote sensing, are used as calibration signals. Moreover, our methods solve the ambiguity problem of analyzing a phase shift which occurs when sinusoidal signals are used as calibration signals. In regards to the algorithm, the Adam learning algorithm avoids learning in the wrong direction, unlike the conventional gradient descent. Using our method, mathematical forms of received signals are acquired successfully. Our method shows better effectivity compared to the conventional gradient descent algorithm. After compensation, the maximum differences of gain and phase become 0.06 dB and 2.42 degrees, respectively.


title: Quantum learning algorithms imply circuit lower bounds

abstract: We establish the first general connection between the design of quantum algorithms and circuit lower bounds. Specifically, let $\mathfrak{C}$ be a class of polynomial-size concepts, and suppose that $\mathfrak{C}$ can be PAC-learned with membership queries under the uniform distribution with error $1/2 - \gamma$ by a time $T$ quantum algorithm. We prove that if $\gamma^2 \cdot T \ll 2^n/n$, then $\mathsf{BQE} \nsubseteq \mathfrak{C}$, where $\mathsf{BQE} = \mathsf{BQTIME}[2^{O(n)}]$ is an exponential-time analogue of $\mathsf{BQP}$. This result is optimal in both $\gamma$ and $T$, since it is not hard to learn any class $\mathfrak{C}$ of functions in (classical) time $T = 2^n$ (with no error), or in quantum time $T = \mathsf{poly}(n)$ with error at most $1/2 - \Omega(2^{-n/2})$ via Fourier sampling. In other words, even a marginal improvement on these generic learning algorithms would lead to major consequences in complexity theory. Our proof builds on several works in learning theory, pseudorandomness, and computational complexity, and crucially, on a connection between non-trivial classical learning algorithms and circuit lower bounds established by Oliveira and Santhanam (CCC 2017). Extending their approach to quantum learning algorithms turns out to create significant challenges. To achieve that, we show among other results how pseudorandom generators imply learning-to-lower-bound connections in a generic fashion, construct the first conditional pseudorandom generator secure against uniform quantum computations, and extend the local list-decoding algorithm of Impagliazzo, Jaiswal, Kabanets and Wigderson (SICOMP 2010) to quantum circuits via a delicate analysis. We believe that these contributions are of independent interest and might find other applications.


title: Frequency span optimization for asymmetric resonance curve fitting

abstract: The wide application of the modern resonant measurement techniques makes all the steps of the measuring process, including data acquisition more efficient and reliable. Here we investigate the multidimensional space of the parameters to determine the optimum span for resonant measurements. The study concentrated on experimental systems with standard performance and capabilities. We determine the range of the optimum span for the resonant frequency and quality factor by simulating and fitting resonant curves with different levels of asymmetry.


title: Calculation of an enhanced A1g symmetry mode induced by Higgs oscillations in the Raman spectrum of high-temperature cuprate superconductors

abstract: In superconductors the Anderson-Higgs mechanism allows for the existence of a collective amplitude (Higgs) mode which can couple to eV-light mainly in a non-linear Raman-like process. The experimental non-equilibrium results on isotropic superconductors have been explained going beyond the BCS theory including the Higgs mode. Furthermore, in anisotropic d-wave superconductors strong interaction effects with other modes are expected. Here we calculate the Raman contribution of the Higgs mode from a new perspective, including many-body Higgs oscillations effects and their consequences in conventional, spontaneous Raman spectroscopy. Our results suggest a significant contribution to the intensity of the A1g symmetry Raman spectrum in d-wave superconductors. In order to test our theory, we predict the presence of measurable characteristic oscillations in THz quench-optical probe time-dependent reflectivity experiments.


title: Global well-posedness for the derivative nonlinear Schr\"odinger equation

abstract: This paper is dedicated to the study of the derivative nonlinear Schr\"odinger equation on the real line. The local well-posedness of this equation in the Sobolev spaces is well understood since a couple of decades, while the global well-posedness is not completely settled. For the latter issue, the best known results up-to-date concern either Cauchy data in $H^{\frac12}$ with mass strictly less than $4\pi$ or general initial conditions in the weighted Sobolev space $H^{2, 2}$. In this article, we prove that the derivative nonlinear Schr\"odinger equation is globally well-posed for general Cauchy data in $H^{\frac12}$ and that furthermore the $H^{\frac12}$ norm of the solutions remains globally bounded in time. One should recall that for $H^s$, with $s < 1 / 2 $, the associated Cauchy problem is ill-posed in the sense that uniform continuity with respect to the initial data fails. Thus, our result closes the discussion in the setting of the Sobolev spaces $H^s$. The proof is achieved by combining the profile decomposition techniques with the integrability structure of the equation.


title: Convergence time estimate and tuning of twisting algorithm

abstract: Gain tuning is given for the twisting controller to ensure that the closed-loop trajectories of the perturbed double integrator, initialized within a bounded domain and affected by uniformly bounded disturbances, settle at the origin in prescribed time.


title: IV-Posterior: Inverse Value Estimation for Interpretable Policy Certificates

abstract: Model-free reinforcement learning (RL) is a powerful tool to learn a broad range of robot skills and policies. However, a lack of policy interpretability can inhibit their successful deployment in downstream applications, particularly when differences in environmental conditions may result in unpredictable behaviour or generalisation failures. As a result, there has been a growing emphasis in machine learning around the inclusion of stronger inductive biases in models to improve generalisation. This paper proposes an alternative strategy, inverse value estimation for interpretable policy certificates (IV-Posterior), which seeks to identify the inductive biases or idealised conditions of operation already held by pre-trained policies, and then use this information to guide their deployment. IV-Posterior uses MaskedAutoregressive Flows to fit distributions over the set of conditions or environmental parameters in which a policy is likely to be effective. This distribution can then be used as a policy certificate in downstream applications. We illustrate the use of IV-Posterior across a two environments, and show that substantial performance gains can be obtained when policy selection incorporates knowledge of the inductive biases that these policies hold.