title: Towards a non-Gaussian model of redshift space distortions

abstract: To understand the nature of the accelerated expansion of the Universe, we need to combine constraints on the expansion rate and growth of structure. The growth rate is usually extracted from three dimensional galaxy maps by exploiting the effects of peculiar motions on galaxy clustering. However, theoretical models of the probability distribution function (PDF) of galaxy pairwise peculiar velocities are not accurate enough on small scales to reduce the error on theoretical predictions to the level required to match the precision expected for measurements from future surveys. Here, we improve the modelling of the pairwise velocity distribution by using the Skew-T PDF, which has nonzero skewness and kurtosis. Our model accurately reproduces the redshift-space multipoles (monopole, quadrupole and hexadecapole) predicted by N-body simulations, above scales of about $10\,h^{-1}{\rm Mpc}$. We illustrate how a Taylor expansion of the streaming model can reveal the contributions of the different moments to the clustering multipoles, which are independent of the shape of the velocity PDF. The Taylor expansion explains why the Gaussian streaming model works well in predicting the first two redshift-space multipoles, although the velocity PDF is non-Gaussian even on large scales. Indeed, any PDF with the correct first two moments would produce precise results for the monopole down to scales of about $10\,h^{-1}{\rm Mpc}$, and for the quadrupole down to about $30\,h^{-1}{\rm Mpc}$. An accurate model for the hexadecapole needs to include higher-order moments.


title: Time-scale synthesis for locally stationary signals

abstract: We develop a timescale synthesis-based probabilistic approach for the modeling of locally stationary signals. Inspired by our previous work, the model involves zero-mean, complex Gaussian wavelet coefficients, whose distribution varies as a function of time by time dependent translations on the scale axis. In a maximum a posteriori approach, we propose an estimator for the model parameters, namely the time-varying scale translation and an underlying power spectrum. The proposed approach is illustrated on a denoising example. It is also shown that the model can handle locally stationary signals with fast frequency variations, and provide in this case very sharp timescale representations more concentrated than synchrosqueezed or reassigned wavelet transform.


title: Qualitative properties of solutions to semilinear elliptic equations from the gravitational Maxwell Gauged O(3) Sigma model

abstract: This article is devoted to the study of the following semilinear equation with measure data which originates in the gravitational Maxwell gauged $O(3)$ sigma model, $$-\Delta u + A_0(\prod^k_{j=1}|x-p_j|^{2n_j} )^{-a} \frac{e^u}{(1+e^u)^{1+a}} = 4\pi\sum_{j=1}^k n_j\delta_{p_j} - 4\pi\sum^l_{j=1}m_j\delta_{q_j} \quad{\rm in}\;\; \mathbb{R}^2.\qquad(E)$$ In this equation the $\{\delta_{p_j}\}_{j=1}^k$ (resp. $\{\delta_{q_j}\}_{j=1}^l$ ) are Dirac masses concentrated at the points $\{p_j\}_{j=1}^k$, (resp. $\{q_j\}_{j=1}^l$), $n_j$ and $m_j$ are positive integers, and $a$ is a nonnegative real number. We set $ N=\sum^k_{j=1}n_j $ and $M= \sum^l_{j=1}m_j$. In previous works \cite{C,Y2}, some qualitative properties of solutions of $(E)$ with $a=0$ have been established. Our aim in this article is to study the more general case where $a>0$. The additional difficulties of this case come from the fact that the nonlinearity is no longer monotone and the data are signed measures. As a consequence we cannot anymore construct directly the solutions by the monotonicity method combined with the supersolutions and subsolutions technique. Instead we develop a new and self-contained approach which enables us to emphasize the role played by the gravitation in the gauged $O(3)$ sigma model. Without the gravitational term, i.e. if $a=0$, problem $(E)$ has a layer's structure of solutions $\{u_\beta\}_{\beta\in(-2(N-M),\, -2]}$, where $u_\beta$ is the unique non-topological solution such that $u_{\beta}=\beta\ln |x|+O(1)$ for $-2(N-M)<\beta<-2$ and $u_{-2}=-2\ln |x|-2\ln\ln |x|+O(1)$ at infinity respectively. On the contrary, when $a>0$, the set of solutions to problem $(E)$ has a much richer structure: besides the topological solutions, there exists a sequence of non-topological solutions in type I, i.e. such that $u $ tends to $-\infty$ at infinity, and of non-topological solutions of type II, which tend to $\infty$ at infinity. The existence of these types of solutions depends on the values of the parameters $N,\, M,\, \beta$ and on the gravitational interaction associated to $a$.


title: Engineering Co$_2$MnAl$_x$Si$_{1-x}$ Heusler compounds as a model system to correlate spin polarization, intrinsic Gilbert damping and ultrafast demagnetization

abstract: Engineering of magnetic materials for developing better spintronic applications relies on the control of two key parameters: the spin polarization and the Gilbert damping responsible for the spin angular momentum dissipation. Both of them are expected to affect the ultrafast magnetization dynamics occurring on the femtosecond time scale. Here, we use engineered Co2MnAlxSi1-x Heusler compounds to adjust the degree of spin polarization P from 60 to 100% and investigate how it correlates with the damping. We demonstrate experimentally that the damping decreases when increasing the spin polarization from 1.1 10-3 for Co2MnAl with 63% spin polarization to an ultra-low value of 4.10-4 for the half-metal magnet Co2MnSi. This allows us investigating the relation between these two parameters and the ultrafast demagnetization time characterizing the loss of magnetization occurring after femtosecond laser pulse excitation. The demagnetization time is observed to be inversely proportional to 1-P and as a consequence to the magnetic damping, which can be attributed to the similarity of the spin angular momentum dissipation processes responsible for these two effects. Altogether, our high quality Heusler compounds allow controlling the band structure and therefore the channel for spin angular momentum dissipation.


title: On Abstraction-Based Controller Design With Output Feedback

abstract: We consider abstraction-based design of output-feedback controllers for dynamical systems with a finite set of inputs and outputs against specifications in linear-time temporal logic. The usual procedure for abstraction-based controller design (ABCD) first constructs a finite-state abstraction of the underlying dynamical system, and second, uses reactive synthesis techniques to compute an abstract state-feedback controller on the abstraction. In this context, our contribution is two-fold: (I) we define a suitable relation between the original system and its abstraction which characterizes the soundness and completeness conditions for an abstract state-feedback controller to be refined to a concrete output-feedback controller for the original system, and (II) we provide an algorithm to compute a sound finite-state abstraction fulfilling this relation. Our relation generalizes feedback-refinement relations from ABCD with state-feedback. Our algorithm for constructing sound finite-state abstractions is inspired by the simultaneous reachability and bisimulation minimization algorithm of Lee and Yannakakis. We lift their idea to the computation of an observation-equivalent system and show how sound abstractions can be obtained by stopping this algorithm at any point. Additionally, our new algorithm produces a realization of the topological closure of the input/output behavior of the original system if it is finite-state realizable.


title: Oddity in nonrelativistic, strong gravity

abstract: We consider the presence of odd powers of the speed of light $c$ in the covariant nonrelativistic expansion of General Relativity (GR). The term of order $c$ in the relativistic metric is a vector potential that contributes at leading order in this expansion and describes strong gravitational effects outside the (post-)Newtonian regime. The nonrelativistic theory of the leading order potentials contains the full non-linear dynamics of the stationary sector of GR.


title: Evaluating Computational Shortcuts in Supercell-Based Phonon Calculations of Molecular Crystals: The Instructive Case of Naphthalene

abstract: Phonons crucially impact a variety of properties of organic semiconductor materials. For instance, charge- and heat transport depend on low-frequency phonons, while for other properties, such as the free energy, especially high-frequency phonons count. For all these quantities one needs to know the entire phonon band structure, whose simulation becomes exceedingly expensive for more complex systems when using methods like dispersion-corrected density functional theory (DFT). Therefore, in the present contribution we evaluate the performance of more approximate methodologies, including density functional tight binding (DFTB) and a pool of force fields (FF) of varying complexity and sophistication. Beyond merely comparing phonon band structures, we also critically evaluate to what extent derived quantities, like temperature-dependent heat capacities, mean squared thermal displacements and temperature-dependent free energies are impacted by shortcomings in the description of the phonon bands. As a benchmark system, we choose (deuterated) naphthalene, as the only organic semiconductor material for which to date experimental phonon band structures are available in the literature. Overall, the best performance amongst the approximate methodologies is observed for a system-specifically parametrized second-generation force field. Interestingly, in the low-frequency regime also force fields with a rather simplistic model for the bonding interactions (like the General Amber Force Field) perform rather well. As far as the tested DFTB parametrization is concerned, we obtain a significant underestimation of the unit cell volume resulting in a pronounced overestimation of the phonon energies in the low frequency region. This cannot be mended by relying on the DFT-calculated unit cell, since with this unit cell the DFTB phonon frequencies significantly underestimate the experiments.


title: VLT/X-shooter spectroscopy of massive young stellar objects in the 30 Doradus region of the Large Magellanic Cloud

abstract: The process of massive star ($M\geq8~M_\odot$) formation is still poorly understood. Observations of massive young stellar objects (MYSOs) are challenging due to their rarity, short formation timescale, large distances, and high circumstellar extinction. Here, we present the results of a spectroscopic analysis of a population of MYSOs in the Large Magellanic Cloud (LMC). We took advantage of the spectral resolution and wavelength coverage of X-shooter (300-2500 nm), mounted on the European Southern Observatory Very Large Telescope, to detect characteristic spectral features in a dozen MYSO candidates near 30 Doradus, the largest starburst region in the Local Group hosting the most massive stars known. The X-shooter spectra are strongly contaminated by nebular emission. We used a scaling method to subtract the nebular contamination from our objects. We detect H$\alpha,\beta$, [O I] 630.0 nm, Ca II infrared triplet, [Fe II] 1643.5 nm, fluorescent Fe II 1687.8 nm, H$_2$ 2121.8 nm, Br$\gamma$, and CO bandhead emission in the spectra of multiple candidates. This leads to the spectroscopic confirmation of 10 candidates as bona fide MYSOs. We compare our observations with photometric observations from the literature and find all MYSOs to have a strong near-infrared excess. We compute lower limits to the brightness and luminosity of the MYSO candidates, confirming the near-infrared excess and the massive nature of the objects. No clear correlation is seen between the Br$\gamma$ luminosity and metallicity. Combining our sample with other LMC samples results in a combined detection rate of disk features such as fluorescent Fe II and CO bandheads which is consistent with the Galactic rate (40\%). Most of our MYSOs show outflow features.


title: Invariant sets and normal subgroupoids of universal \'etale groupoids induced by congruences of inverse semigroups

abstract: For a given inverse semigroup, one can associate an \'etale groupoid which is called the universal groupoid. Our motivation is studying the relation between inverse semigroups and associated \'etale groupoids. In this paper, we focus on congruences of inverse semigroups, which is a fundamental concept to consider quotients of inverse semigroup. We prove that a congruence of an inverse semigroup induces a closed invariant set and a normal subgroupoid of the universal groupoid. Then we show that the universal groupoid associated to a quotient inverse semigroup is described by the restriction and quotient of the original universal groupoid. Finally we compute invariant sets and normal subgroupoids induced by special congruences including abelianization.


title: Towards an amplitude analysis of the decay $\Lambda_b^0\to pK^-\gamma$

abstract: The helicity formalism applied to the radiative decay $\Lambda_b^0\to pK^-\gamma$ is presented for the first time in this paper. The aim is to provide the necessary formalism to be able to resolve the resonant $pK^-$ structures at the photon pole by means of an amplitude analysis. Experimental effects, such as resolution, are also discussed.


title: Ready Policy One: World Building Through Active Learning

abstract: Model-Based Reinforcement Learning (MBRL) offers a promising direction for sample efficient learning, often achieving state of the art results for continuous control tasks. However, many existing MBRL methods rely on combining greedy policies with exploration heuristics, and even those which utilize principled exploration bonuses construct dual objectives in an ad hoc fashion. In this paper we introduce Ready Policy One (RP1), a framework that views MBRL as an active learning problem, where we aim to improve the world model in the fewest samples possible. RP1 achieves this by utilizing a hybrid objective function, which crucially adapts during optimization, allowing the algorithm to trade off reward v.s. exploration at different stages of learning. In addition, we introduce a principled mechanism to terminate sample collection once we have a rich enough trajectory batch to improve the model. We rigorously evaluate our method on a variety of continuous control tasks, and demonstrate statistically significant gains over existing approaches.


title: Powerfully nilpotent groups of rank 2 or small order

abstract: In this paper we continue the study of powerfully nilpotent groups. These are powerful $p$-groups possessing a central series of a special kind. To each such group one can attach a powerful nilpotency class that leads naturally to the notion of a powerful coclass and classification in terms of an ancestry tree. In this paper we will give a full classification of powerfully nilpotent groups of rank $2$. The classification will then be used to arrive at a precise formula for the number of powerfully nilpotent groups of rank $2$ and order $p^{n}$. We will also give a detailed analysis of the ancestry tree for these groups. The second part of the paper is then devoted to a full classification of powerfully nilpotent groups of order up to $p^{6}$.


title: New accelerating solutions in late-time cosmology

abstract: Dark energy models can be seen as dynamical systems. In this paper we show that multi-field models with a curved field space give rise to new critical points and we analyse their stability. These are new accelerating solutions in late-time cosmology which exist even for steep potentials. This opens up the possibility to realise quintessence models even when quantum corrections spoil the flatness of the underlying potential. These non-linear sigma models arise naturally in supergravity and string models where their multi-field dynamics can help to avoid swampland bounds.


title: Protograph-Based Decoding of LDPC Codes with Hamming Weight Amplifiers

abstract: A new protograph-based framework for message passing (MP) decoding of low density parity-check (LDPC) codes with Hamming weight amplifiers (HWAs), which are used e.g. in the NIST post-quantum crypto candidate LEDAcrypt, is proposed. The scheme exploits the correlations in the error patterns introduced by the HWA using a turbo-like decoding approach where messages between the decoders for the outer code given by the HWA and the inner LDPC code are exchanged. Decoding thresholds for the proposed scheme are computed using density evolution (DE) analysis for belief propagation (BP) and ternary message passing (TMP) decoding and compared to existing decoding approaches. The proposed scheme improves upon the basic approach of decoding LDPC code from the amplified error and has a similar performance as decoding the corresponding moderate-density parity-check (MDPC) code but with a significantly lower computational complexity.


title: Accelerating Reinforcement Learning for Reaching using Continuous Curriculum Learning

abstract: Reinforcement learning has shown great promise in the training of robot behavior due to the sequential decision making characteristics. However, the required enormous amount of interactive and informative training data provides the major stumbling block for progress. In this study, we focus on accelerating reinforcement learning (RL) training and improving the performance of multi-goal reaching tasks. Specifically, we propose a precision-based continuous curriculum learning (PCCL) method in which the requirements are gradually adjusted during the training process, instead of fixing the parameter in a static schedule. To this end, we explore various continuous curriculum strategies for controlling a training process. This approach is tested using a Universal Robot 5e in both simulation and real-world multi-goal reach experiments. Experimental results support the hypothesis that a static training schedule is suboptimal, and using an appropriate decay function for curriculum learning provides superior results in a faster way.


title: Deep Robust Multilevel Semantic Cross-Modal Hashing

abstract: Hashing based cross-modal retrieval has recently made significant progress. But straightforward embedding data from different modalities into a joint Hamming space will inevitably produce false codes due to the intrinsic modality discrepancy and noises. We present a novel Robust Multilevel Semantic Hashing (RMSH) for more accurate cross-modal retrieval. It seeks to preserve fine-grained similarity among data with rich semantics, while explicitly require distances between dissimilar points to be larger than a specific value for strong robustness. For this, we give an effective bound of this value based on the information coding-theoretic analysis, and the above goals are embodied into a margin-adaptive triplet loss. Furthermore, we introduce pseudo-codes via fusing multiple hash codes to explore seldom-seen semantics, alleviating the sparsity problem of similarity information. Experiments on three benchmarks show the validity of the derived bounds, and our method achieves state-of-the-art performance.


title: Lock-exchange problem for Boussinesq fluids revisited: exact shallow-water solution

abstract: An exact solution to the lock-exchange problem, which is a two-layer analogue of the classical dam-break problem, is obtained in the shallow-water (SW) approximation for two immiscible fluids with slightly different densities. The problem is solved by the method of characteristics using analytic expressions for the Riemann invariants. The obtained solution, which represents an inviscid approximation to the high-Reynolds-number limit, is in general discontinuous containing up to three hydraulic jumps which are due to either multivaluedness or instability of the continuous SW solution. Hydraulic jumps are resolved by applying the Rankine-Hugoniot conditions for the SW mass and generalized momentum conservation equations. The latter contains a free parameter $\alpha$ which defines the relative contribution of each layer to the interfacial pressure gradient. We consider a solution for $\alpha=0,$ which corresponds to both layers affecting the interfacial pressure gradient with equal weight coefficients. This solution is compared with the solutions resulting from the application of the classical Benjamin's front condition as well as the circulation conservation condition, which correspond to $\alpha=-1$ and $\alpha\rightarrow\infty,$ respectively. The SW solution reproduces all principal features of 2D numerical solution for viscous fluids. The gravity current speed is found to agree well with experimental and numerical results when the front acquires the largest stable height which occurs at $\alpha=\sqrt{5}-2.$ We show that two-layer SW equations for the mass and generalized momentum conservation can describe interfacial waves containing hydraulic jumps in a self-contained way without external closure conditions.


title: Cameron-Liebler line classes in AG(3,q)

abstract: The study of Cameron-Liebler line classes in PG($3,q$) arose from classifying specific collineation subgroups of PG($3,q$). Recently, these line classes were considered in new settings. In this point of view, we will generalize the concept of Cameron-Liebler line classes to AG($3,q$). In this article we define Cameron-Liebler line classes using the constant intersection property towards line spreads. The interesting fact about this generalization is the link these line classes have with Cameron-Liebler line classes in PG($3,q$). Next to giving this link, we will also give some equivalent ways to consider Cameron-Liebler line classes in AG($3,q$), some classification results and an example based on the example found in [3] and [6].


title: A novel initialisation based on hospital-resident assignment for the k-modes algorithm

abstract: This paper presents a new way of selecting an initial solution for the k-modes algorithm that allows for a notion of mathematical fairness and a leverage of the data that the common initialisations from literature do not. The method, which utilises the Hospital-Resident Assignment Problem to find the set of initial cluster centroids, is compared with the current initialisations on both benchmark datasets and a body of newly generated artificial datasets. Based on this analysis, the proposed method is shown to outperform the other initialisations in the majority of cases, especially when the number of clusters is optimised. In addition, we find that our method outperforms the leading established method specifically for low-density data.


title: DynamicPPL: Stan-like Speed for Dynamic Probabilistic Models

abstract: We present the preliminary high-level design and features of DynamicPPL.jl, a modular library providing a lightning-fast infrastructure for probabilistic programming. Besides a computational performance that is often close to or better than Stan, DynamicPPL provides an intuitive DSL that allows the rapid development of complex dynamic probabilistic programs. Being entirely written in Julia, a high-level dynamic programming language for numerical computing, DynamicPPL inherits a rich set of features available through the Julia ecosystem. Since DynamicPPL is a modular, stand-alone library, any probabilistic programming system written in Julia, such as Turing.jl, can use DynamicPPL to specify models and trace their model parameters. The main features of DynamicPPL are: 1) a meta-programming based DSL for specifying dynamic models using an intuitive tilde-based notation; 2) a tracing data-structure for tracking RVs in dynamic probabilistic models; 3) a rich contextual dispatch system allowing tailored behaviour during model execution; and 4) a user-friendly syntax for probabilistic queries. Finally, we show in a variety of experiments that DynamicPPL, in combination with Turing.jl, achieves computational performance that is often close to or better than Stan.


title: Angular response of a triangular optical cavity analyzed by a linear approximation method

abstract: A triangular optical cavity is often used as a mode cleaning cavity in precision laser interferometry such as gravitational wave detectors. An alignment sensing and control system for maintaining the alignment of a mode cleaning cavity with respect to the incoming laser beam is critical for detector's performance. Therefore, understanding the behavior of the angular response is vital to both design and commissioning test of the alignment control system. We present a linear approximation approach which not only simplifies the computation but also provides a comprehensive picture of the angular response. The observable degrees of freedom in a triangular cavity is discussed based on the linear approximation.


title: Online change-point detection with kernels

abstract: Change-points in time series data are usually defined as the time instants at which changes in their properties occur. Detecting change-points is critical in a number of applications as diverse as detecting credit card and insurance frauds, or intrusions into networks. Recently the authors introduced an online kernel-based change-point detection method built upon direct estimation of the density ratio on consecutive time intervals. This paper further investigates this algorithm, making improvements and analyzing its behavior in the mean and mean square sense, in the absence and presence of a change point. These theoretical analyses are validated with Monte Carlo simulations. The detection performance of the algorithm is illustrated through experiments on real-world data and compared to state of the art methodologies.


title: Iterative Label Improvement: Robust Training by Confidence Based Filtering and Dataset Partitioning

abstract: State-of-the-art, high capacity deep neural networks not only require large amounts of labelled training data, they are also highly susceptible to label errors in this data, typically resulting in large efforts and costs and therefore limiting the applicability of deep learning. To alleviate this issue, we propose a novel meta training and labelling scheme that is able to use inexpensive unlabelled data by taking advantage of the generalization power of deep neural networks. We show experimentally that by solely relying on one network architecture and our proposed scheme of iterative training and prediction steps, both label quality and resulting model accuracy can be improved significantly. Our method achieves state-of-the-art results, while being architecture agnostic and therefore broadly applicable. Compared to other methods dealing with erroneous labels, our approach does neither require another network to be trained, nor does it necessarily need an additional, highly accurate reference label set. Instead of removing samples from a labelled set, our technique uses additional sensor data without the need for manual labelling. Furthermore, our approach can be used for semi-supervised learning.


title: Oracle Complexity Separation in Convex Optimization

abstract: Many convex optimization problems have structured objective function written as a sum of functions with different types of oracles (full gradient, coordinate derivative, stochastic gradient) and different evaluation complexity of these oracles. In the strongly convex case these functions also have different condition numbers, which eventually define the iteration complexity of first-order methods and the number of oracle calls required to achieve given accuracy. Motivated by the desire to call more expensive oracle less number of times, in this paper we consider minimization of a sum of two functions and propose a generic algorithmic framework to separate oracle complexities for each component in the sum. As a specific example, for the $\mu$-strongly convex problem $\min_{x\in \mathbb{R}^n} h(x) + g(x)$ with $L_h$-smooth function $h$ and $L_g$-smooth function $g$, a special case of our algorithm requires, up to a logarithmic factor, $O(\sqrt{L_h/\mu})$ first-order oracle calls for $h$ and $O(\sqrt{L_g/\mu})$ first-order oracle calls for $g$. Our general framework covers also the setting of strongly convex objectives, the setting when $g$ is given by coordinate derivative oracle, and the setting when $g$ has a finite-sum structure and is available through stochastic gradient oracle. In the latter two cases we obtain respectively accelerated random coordinate descent and accelerated variance reduction methods with oracle complexity separation.


title: A Complete Set of Related Git Repositories Identified via Community Detection Approaches Based on Shared Commits

abstract: In order to understand the state and evolution of the entirety of open source software we need to get a handle on the set of distinct software projects. Most of open source projects presently utilize Git, which is a distributed version control system allowing easy creation of clones and resulting in numerous repositories that are almost entirely based on some parent repository from which they were cloned. Git commits are based on Merkle Tree and two commits are highly unlikely to be produced independently. Shared commits, therefore, appear like an excellent way to group cloned repositories and obtain an accurate map for such repositories. We use World of Code infrastructure containing approximately 2B commits and 100M repositories to create and share such a map. We discover that the largest group contains almost 14M repositories most of which are unrelated to each other. As it turns out, the developers can push git object to an arbitrary repository or pull objects from unrelated repositories, thus linking unrelated repositories. To address this, we apply Louvain community detection algorithm to this very large graph consisting of links between commits and projects. The approach successfully reduces the size of the megacluster with the largest group of highly interconnected projects containing under 100K repositories. We expect the tools that the resulting map of related projects as well as tools and methods to handle the very large graph will serve as a reference set for mining software projects and other applications. Further work is needed to determine different types of relationships among projects induced by shared commits and other relationships, for example, by shared source code or similar filenames.


title: Embedding Jamming Attacks into Physical Layer Models in Optical Networks

abstract: Optical networks are prone to physical layer attacks, in particular the insertion of high jamming power. In this paper, we present a study of jamming attacks in elastic optical networks (EON) by embedding the jamming into the physical layer model, and we analyze its impact on the blocking probability and slots utilization. We evaluate our proposed model using a single link and a network topology and we show that for in-band-jamming, the slots utilization decreases with the increase of jamming power, and becomes null when the jamming power is higher than 3 dB, while for out-of-band jamming, the impact is maximal for a specific jamming power, 1.75 dB in our simulation. Considering multiple positions of attackers, we attained the highest blocking probability 32% for a specific jamming power 2 dB. We conclude that the impact of jamming depends on attacker positions as well as the jamming power.


title: FourierNet: Compact mask representation for instance segmentation using differentiable shape decoders

abstract: We present FourierNet, a single shot, anchor-free, fully convolutional instance segmentation method that predicts a shape vector. Consequently, this shape vector is converted into the masks' contour points using a fast numerical transform. Compared to previous methods, we introduce a new training technique, where we utilize a differentiable shape decoder, which manages the automatic weight balancing of the shape vector's coefficients. We used the Fourier series as a shape encoder because of its coefficient interpretability and fast implementation. FourierNet shows promising results compared to polygon representation methods, achieving 30.6 mAP on the MS COCO 2017 benchmark. At lower image resolutions, it runs at 26.6 FPS with 24.3 mAP. It reaches 23.3 mAP using just eight parameters to represent the mask (note that at least four parameters are needed for bounding box prediction only). Qualitative analysis shows that suppressing a reasonable proportion of higher frequencies of Fourier series, still generates meaningful masks. These results validate our understanding that lower frequency components hold higher information for the segmentation task, and therefore, we can achieve a compressed representation. Code is available at: github.com/cogsys-tuebingen/FourierNet.


title: Formalising and verifying smart contracts with Solidifier: a bounded model checker for Solidity

abstract: The exploitation of smart-contract vulnerabilities can have catastrophic consequences such as the loss of millions of pounds worth of crypto assets. Formal verification can be a useful tool in identifying vulnerabilities and proving that they have been fixed. In this paper, we present a formalisation of Solidity and the Ethereum blockchain using the Solid language and its blockchain; a Solid program is obtained by explicating/desugaring a Solidity program. We make some abstractions that over-approximate the way in which Solidity/Ethereum behave. Based on this formalisation, we create Solidifier: a bounded model checker for Solidity. It translates Solid into Boogie, an intermediate verification language, that is later verified using Corral, a bounded model checker for Boogie. Unlike much of the work in this area, we do not try to find specific behavioural/code patterns that might lead to vulnerabilities. Instead, we provide a tool to find errors/bad states, i.e. program states that do not conform with the intent of the developer. Such a bad state, be it a vulnerability or not, might be reached through the execution of specific known code patterns or through behaviours that have not been anticipated.


title: Functional Peaks-over-threshold Analysis

abstract: Peaks-over-threshold analysis using the generalized Pareto distribution is widely applied in modelling tails of univariate random variables, but much information may be lost when complex extreme events are studied using univariate results. In this paper, we extend peaks-over-threshold analysis to extremes of functional data. Threshold exceedances defined using a functional $r$ are modelled by the generalized $r$-Pareto process, a functional generalization of the generalized Pareto distribution that covers the three classical regimes for the decay of tail probabilities, and that is the only possible continuous limit for $r$-exceedances of a properly rescaled process. We give construction rules, simulation algorithms and inference procedures for generalized $r$-Pareto processes, discuss model validation, and use the new methodology to study extreme European windstorms and heavy spatial rainfall.


title: Discovering Mathematical Objects of Interest -- A Study of Mathematical Notations

abstract: Mathematical notation, i.e., the writing system used to communicate concepts in mathematics, encodes valuable information for a variety of information search and retrieval systems. Yet, mathematical notations remain mostly unutilized by today's systems. In this paper, we present the first in-depth study on the distributions of mathematical notation in two large scientific corpora: the open access arXiv (2.5B mathematical objects) and the mathematical reviewing service for pure and applied mathematics zbMATH (61M mathematical objects). Our study lays a foundation for future research projects on mathematical information retrieval for large scientific corpora. Further, we demonstrate the relevance of our results to a variety of use-cases. For example, to assist semantic extraction systems, to improve scientific search engines, and to facilitate specialized math recommendation systems. The contributions of our presented research are as follows: (1) we present the first distributional analysis of mathematical formulae on arXiv and zbMATH; (2) we retrieve relevant mathematical objects for given textual search queries (e.g., linking $P_{n}^{(\alpha, \beta)}\!\left(x\right)$ with `Jacobi polynomial'); (3) we extend zbMATH's search engine by providing relevant mathematical formulae; and (4) we exemplify the applicability of the results by presenting auto-completion for math inputs as the first contribution to math recommendation systems. To expedite future research projects, we have made available our source code and data.


title: Toric varieties from cyclic matrix semigroups

abstract: We present and expand some existing results on the Zariski closure of cyclic groups and semigroups of matrices. We show that, with the exclusion of isolated points, their irreducible components are toric varieties. Additionally, we demonstrate how every toric variety can be realized as the Zariski closure of a cyclic matrix group. Our paper includes a number of explicit examples and a note on existing computational results.


title: Residual Galois representations of elliptic curves with image contained in the normaliser of a non-split Cartan

abstract: It is known that if $p>37$ is a prime number and $E/\mathbb{Q}$ is an elliptic curve without complex multiplication, then the image of the mod $p$ Galois representation $$ \bar{\rho}_{E,p}:\operatorname{Gal}(\overline{\mathbb{Q}}/\mathbb{Q})\rightarrow \operatorname{GL}(E[p]) $$ of $E$ is either the whole of $\operatorname{GL}(E[p])$, or is \emph{contained} in the normaliser of a non-split Cartan subgroup of $\operatorname{GL}(E[p])$. In this paper, we show that when $p>1.4\times 10^7$, the image of $\bar{\rho}_{E,p}$ is either $\operatorname{GL}(E[p])$, or the \emph{full} normaliser of a non-split Cartan subgroup. We use this to show the following result, partially settling a question of Najman. For $d\geq 1$, let $I(d)$ denote the set of primes $p$ for which there exists an elliptic curve defined over $\mathbb{Q}$ and without complex multiplication admitting a degree $p$ isogeny defined over a number field of degree $\leq d$. We show that, for $d\geq 1.4\times 10^7$, we have $$ I(d)=\{p\text{ prime}:p\leq d-1\}. $$


title: Free Space of Rigid Objects: Caging, Path Non-Existence, and Narrow Passage Detection

abstract: In this work we propose algorithms to explicitly construct a conservative estimate of the configuration spaces of rigid objects in 2D and 3D. Our approach is able to detect compact path components and narrow passages in configuration space which are important for applications in robotic manipulation and path planning. Moreover, as we demonstrate, they are also applicable to identification of molecular cages in chemistry. Our algorithms are based on a decomposition of the resulting 3 and 6 dimensional configuration spaces into slices corresponding to a finite sample of fixed orientations in configuration space. We utilize dual diagrams of unions of balls and uniform grids of orientations to approximate the configuration space. We carry out experiments to evaluate the computational efficiency on a set of objects with different geometric features thus demonstrating that our approach is applicable to different object shapes. We investigate the performance of our algorithm by computing increasingly fine-grained approximations of the object's configuration space.


title: On Sampling Continuous-Time AWGN Channels

abstract: For a continuous-time additive white Gaussian noise (AWGN) channel with possible feedback, it has been shown that as sampling gets infinitesimally fine, the mutual information of the associative discrete-time channels converges to that of the original continuous-time channel. We give in this paper more quantitative strengthenings of this result, which, among other implications, characterize how over-sampling approaches the true mutual information of a continuous-time Gaussian channel with bandwidth limit. The assumptions in our results are relatively mild. In particular, for the non-feedback case, compared to the Shannon-Nyquist sampling theorem, a widely used tool to connect continuous-time Gaussian channels to their discrete-time counterparts that requires the band-limitedness of the channel input, our results only require some integrability conditions on the power spectral density function of the input.


title: Unsupervised non-parametric change point detection in quasi-periodic signals

abstract: We propose a new unsupervised and non-parametric method to detect change points in intricate quasi-periodic signals. The detection relies on optimal transport theory combined with topological analysis and the bootstrap procedure. The algorithm is designed to detect changes in virtually any harmonic or a partially harmonic signal and is verified on three different sources of physiological data streams. We successfully find abnormal or irregular cardiac cycles in the waveforms for the six of the most frequent types of clinical arrhythmias using a single algorithm. The validation and the efficiency of the method are shown both on synthetic and on real time series. Our unsupervised approach reaches the level of performance of the supervised state-of-the-art techniques. We provide conceptual justification for the efficiency of the method and prove the convergence of the bootstrap procedure theoretically.


title: Development of a Simulation Framework for Spherical Proportional Counters

abstract: The spherical proportional counter is a novel gaseous detector with numerous applications, including direct dark matter searches and neutron spectroscopy. The strengths of the Geant4 and Garfield++ toolkits are combined to create a simulation framework for spherical proportional counters. The interface is implemented by introducing Garfield++ classes within a Geant4 application. Simulated muon, electron, and photon signals are presented, and the effects of gas mixture composition and anode support structure on detector response are discussed.


title: A common extension of Lindel\"of, H-closed and ccc

abstract: The inequality $|X| \leq 2^{\chi(X)}$ has been proved to be true for Lindel\"of spaces (Arhangel'ski\u\i, 1969), $H$-closed spaces (Dow-Porter, 1982) and ccc spaces (Hajnal-Ju\'asz 1967), by quite different arguments. We present a common extension of all these properties which allows us to give a unified proof of these three theorems.


title: Convection under internal waves in a mountain lake

abstract: Turbulent mixing processes in deep alpine Lake Garda (I) have not extensively been observed. Knowledge about drivers of turbulent fluxes are important for insights in the transport of matter, nutrients and pollutants, in the lake and in natural water bodies in general. In this paper, the occurrence of internal wave induced turbulent convection is addressed as opposed to the more common shear-induced turbulence in a density stratified environment. Observations are analyzed from a dedicated yearlong mooring holding 100 high-resolution temperature sensors at 1.5 m intervals under a single current meter in the deeper half of the 344 m deep lake-center. Episodically, the weakly density stratified waters in the lower 50 m above the lake floor show spectral slope and coherence evidence of short-term (15 to 30 minutes) convective motions under internal waves that are supported by the stronger stratified waters above. The near-homogeneous conditions are not attributable to frictional Ekman dynamics, but to large-scale internal wave crests.


title: Assessing biophysical and socio-economic impacts of climate change on avian biodiversity

abstract: Climate change threatens biodiversity directly by influencing biophysical variables that drive species' geographic distributions and indirectly through socio-economic changes that influence land use patterns, driven by global consumption, production and climate. To date, no detailed analyses have been produced that assess the relative importance of, or interaction between, these direct and indirect climate change impacts on biodiversity at large scales. Here, we apply a new integrated modelling framework to quantify the relative influence of biophysical and socio-economically mediated impacts on avian species in Vietnam and Australia. We find that socio-economically mediated impacts on suitable ranges are largely outweighed by biophysical impacts, but global shifts of production are likely to result in adverse impacts on habitats worldwide. By translating economic futures and shocks into spatially explicit predictions of biodiversity change, we now have the power to analyse in a consistent way outcomes for nature and people of any change to policy, regulation, trading conditions or consumption trend at any scale from sub-national to global.


title: Unraveling the nature of a deeply embedded Wolf-Rayet star WR 121a

abstract: An X-ray study of a deeply embedded Wolf-Rayet star WR 121a has been carried out using long-term (spanning over ~12 years) archival observations from Chandra and XMM-Newton. For the first time, a periodic variation with a period of 4.1 days has been detected in the X-ray light curve of WR 121a. No companion is seen in a merged and exposure corrected Chandra X-ray image of WR 121a as shown in the other previous observations in J-band. The X-ray spectrum of WR 121a has been well-explained by a thermal plasma emission model with temperatures of 0.98+/-0.34 keV and 3.55+/-0.69 keV for the cool and hot components, respectively and non-solar abundances. The present study indicates that WR121a is one of the X-ray bright massive binaries with an X-ray luminosity of ~10^34 erg/s, which can be explained by an active wind collision between its components. The phase-locked modulations have been seen in the flux variation of WR 121a where the flux is increased by a factor of ~1.6 from minimum to maximum in 0.3-10.0 keV energy band. These variations could be caused by an eclipse of the wind collision region by the secondary star in a binary orbit. The winds of both components of WR 121a appear to be radiative. Radiative inhibition as well as radiative braking are the most likely processes those are affecting the wind collision severely in this short period massive binary system.


title: Bell-type Polarization Experiment With Pairs Of Uncorrelated Optical Photons

abstract: We present a Bell-type polarization experiment using two independent sources of polarized optical photons, and detecting the temporal coincidence of pairs of uncorrelated photons which have never been entangled in the apparatus. Very simply, our measurements have tested the quantum-mechanical equivalent of the classical Malus' law on an incoherent beam of polarized photons obtained from two separate and independent laser sources greatly reduced in intensities.The outcome of the experiment gives evidence of violation of the Bell-like inequalities. Drawing the conclusions of the present work, we invoke the distinction between the concepts of state-preparation and measurement to understand this result.


title: Bogoliubov many-body perturbation theory under constraint

abstract: In order to solve the A-body Schr\"odinger equation both accurately and efficiently for open-shell nuclei, a novel many-body method coined as Bogoliubov many-body perturbation theory (BMBPT) was recently formalized and applied at low orders. Based on the breaking of U(1) symmetry associated with particle-number conservation, this perturbation theory must operate under the constraint that the average number of particles is self-consistently adjusted at each perturbative order. The corresponding formalism is presently detailed with the goal to characterize the behavior of the associated Taylor series. BMBPT is, thus, investigated numerically up to high orders at the price of restricting oneself to a small, i.e. schematic, portion of Fock space. While low-order results only differ by 2 - 3 % from those obtained via a configuration interaction (CI) diagonalization, the series is shown to eventually diverge. The application of a novel resummation method coined as eigenvector continuation further increase the accuracy when built from low-order BMBPT corrections and quickly converges towards the CI result when applied at higher orders. Furthermore, the numerically-costly self-consistent particle number adjustment procedure is shown to be safely bypassed via the use of a computationally cheap a posteriori correction method. Eventually, the present work validates the fact that low order BMBPT calculations based on an a posteriori (average) particle number correction deliver controlled results and demonstrates that they can be optimally complemented by the eigenvector continuation method to provide results with sub-percent accuracy. This approach is, thus, planned to become a workhorse for realistic ab initio calculations of open-shell nuclei in the near future.


title: Anomalous current-voltage characteristics of SFIFS Josephson junctions with weak ferromagnetic interlayers

abstract: We present a quantitative study of the current-voltage characteristics (CVC) of SFIFS Josephson junctions (S denotes bulk superconductor, F - metallic ferromagnet, I - insulating barrier) with weak ferromagnetic interlayers in the diffusive limit. The problem is solved in the framework of the nonlinear Usadel equations. We consider the case of a strong tunnel barrier such that the left SF and the right FS bilayers are decoupled. We calculate the density of states (DOS) in SF bilayers using a self-consistent numerical method. Then we obtain the CVC of corresponding SFIFS junctions, and discuss their properties for different set of parameters including the thicknesses of ferromagnetic layers, the exchange field, and the magnetic scattering time. We observe the anomalous nonmonotonic CVC behavior in case of weak ferromagnetic interlayers, which we ascribe by DOS energy dependencies in case of small exchange fields in F layers.


title: Assessing the structural heterogeneity of supercooled liquids through community inference

abstract: We present an information-theoretic approach inspired by distributional clustering to assess the structural heterogeneity of particulate systems. Our method identifies communities of particles that share a similar local structure by harvesting the information hidden in the spatial variation of two- or three-body static correlations. This corresponds to an unsupervised machine learning approach that infers communities solely from the particle positions and their species. We apply this method to three models of supercooled liquids and find that it detects subtle forms of local order, as demonstrated by a comparison with the statistics of Voronoi cells. Finally, we analyze the time-dependent correlation between structural communities and particle mobility and show that our method captures relevant information about glassy dynamics.


title: On the completed tensor product of two algebras on a field

abstract: We give a response to a question posed by Groethendieck on the transfert of the properties: reduced, normal, domain, regular, complete intersection, Gorenstein, Cohen-Macaulay, to the completed tensor product of two Noetherian algebras on a field.


title: Impact of the Interaction Network on the Dynamics of Word-of-Mouth with Information Seeking

abstract: Word-of-Mouth refers to the dynamics of interpersonal communication occurring during the diffusion of innovations (novel practices, ideas or products). According to field studies, word-of-mouth is made of both information seeking and proactive communication: individuals first become aware of the existence of an innovation, then start actively seeking out for the expert knowledge required to evaluate the innovation; when they hold the expert knowledge, they might start promoting it pro-actively. Successful diffusion of innovation requires the individuals to hold both awareness and expert knowledge, so they can evaluate the innovation and use it properly. A computational model "USA/IPK" was recently proposed to study the role and impact of information seeking on the dynamics of word-of-mouth. We propose here an analysis of the impact of the network of interaction on the dynamics of this model. We compare the dynamics of the model over networks generated with different algorithms with the original dynamics. The results demonstrate the dynamics of the model are similar across tested networks, with the noticeable exception of the efficiency of the diffusion which varies between networks having similar densities and sizes.


title: On List k-Coloring Convex Bipartite Graphs

abstract: List k-Coloring (Li k-Col) is the decision problem asking if a given graph admits a proper coloring compatible with a given list assignment to its vertices with colors in {1,2,..,k}. The problem is known to be NP-hard even for k=3 within the class of 3-regular planar bipartite graphs and for k=4 within the class of chordal bipartite graphs. In 2015, Huang, Johnson and Paulusma asked for the complexity of Li 3-Col in the class of chordal bipartite graphs. In this paper we give a partial answer to this question by showing that Li k-Col is polynomial in the class of convex bipartite graphs. We show first that biconvex bipartite graphs admit a multichain ordering, extending the classes of graphs where a polynomial algorithm of Enright, Stewart and Tardos (2014) can be applied to the problem. We provide a dynamic programming algorithm to solve the Li k-Col in the calss of convex bipartite graphs. Finally we show how our algorithm can be modified to solve the more general Li H-Col problem on convex bipartite graphs.


title: Machine Unlearning: Linear Filtration for Logit-based Classifiers

abstract: Recently enacted legislation grants individuals certain rights to decide in what fashion their personal data may be used, and in particular a "right to be forgotten". This poses a challenge to machine learning: how to proceed when an individual retracts permission to use data which has been part of the training process of a model? From this question emerges the field of machine unlearning, which could be broadly described as the investigation of how to "delete training data from models". Our work complements this direction of research for the specific setting of class-wide deletion requests for classification models (e.g. deep neural networks). As a first step, we propose linear filtration as a intuitive, computationally efficient sanitization method. Our experiments demonstrate benefits in an adversarial setting over naive deletion schemes.


title: Computational Aspects of Sturdy and Flimsy Numbers

abstract: Following Stolarsky, we say that a natural number n is flimsy in base b if some positive multiple of n has smaller digit sum in base b than n does; otherwise it is sturdy. We develop algorithmic methods for the study of sturdy and flimsy numbers. We provide some criteria for determining whether a number is sturdy. Focusing on the case of base b = 2, we study the computational problem of checking whether a given number is sturdy, giving several algorithms for the problem. We find two additional, previously unknown sturdy primes. We develop a method for determining which numbers with a fixed number of 0's in binary are flimsy. Finally, we develop a method that allows us to estimate the number of k-flimsy numbers with n bits, and we provide explicit results for k = 3 and k = 5. Our results demonstrate the utility (and fun) of creating algorithms for number theory problems, based on methods of automata theory.


title: Acoustic Waves in Granular Packings at Low Confinement Pressure

abstract: Elastic properties of a granular packing show nonlinear behavior determined by its discrete structure and nonlinear inter-grain force laws. Acoustic waves show a transition from constant, pressure-dependent sound speed to a shock-wave like behavior with amplitude-determined propagation speed. This becomes increasingly visible at low static confinement pressure as the transient regime shifts to lower wave amplitudes for lower static pressure. In microgravity, confinement pressure can be orders of magnitude lower than in a ground based experiment. Also, the absence of hydrostatic gradients allows for much more homogeneous and isotropic pressure distribution. We present a novel apparatus for acoustic wave transmission measurements at such low packing pressures. A pressure control loop is implemented by a microcontroller that monitors static force sensor readings and adjusts the position of a movable wall with a linear motor until the desired pressure is reached. Measurements of acoustic waves are possible using accelerometers embedded in the granular packing as well as piezos. For excitation we use a voice coil-driven wall, with a large variety of signal shapes, frequencies and amplitudes. This enables experiments both in the linear and strongly nonlinear regime.


title: Quantitative functional renormalization-group description of the two-dimensional Hubbard model

abstract: Using a leading algorithmic implementation of the functional renormalization group (fRG) for interacting fermions on two-dimensional lattices, we provide a detailed analysis of its quantitative reliability for the Hubbard model. In particular, we show that the recently introduced multiloop extension of the fRG flow equations for the self-energy and two-particle vertex allows for a precise match with the parquet approximation also for two-dimensional lattice problems. The refinement with respect to previous fRG-based computation schemes relies on an accurate treatment of the frequency and momentum dependences of the two-particle vertex, which combines a proper inclusion of the high-frequency asymptotics with the so-called truncated unity fRG for the momentum dependence. The adoption of the latter scheme requires, as an essential step, a consistent modification of the flow equation of the self-energy. We quantitatively compare our fRG results for the self-energy and momentum-dependent susceptibilities and the corresponding solution of the parquet approximation to determinant quantum Monte Carlo data, demonstrating that the fRG is remarkably accurate up to moderate interaction strengths. The presented methodological improvements illustrate how fRG flows can be brought to a quantitative level for two-dimensional problems, providing a solid basis for the application to more general systems.


title: Incorporating Visual Semantics into Sentence Representations within a Grounded Space

abstract: Language grounding is an active field aiming at enriching textual representations with visual information. Generally, textual and visual elements are embedded in the same representation space, which implicitly assumes a one-to-one correspondence between modalities. This hypothesis does not hold when representing words, and becomes problematic when used to learn sentence representations --- the focus of this paper --- as a visual scene can be described by a wide variety of sentences. To overcome this limitation, we propose to transfer visual information to textual representations by learning an intermediate representation space: the grounded space. We further propose two new complementary objectives ensuring that (1) sentences associated with the same visual content are close in the grounded space and (2) similarities between related elements are preserved across modalities. We show that this model outperforms the previous state-of-the-art on classification and semantic relatedness tasks.


title: LEAP System for SRE19 CTS Challenge -- Improvements and Error Analysis

abstract: The NIST Speaker Recognition Evaluation - Conversational Telephone Speech (CTS) challenge 2019 was an open evaluation for the task of speaker verification in challenging conditions. In this paper, we provide a detailed account of the LEAP SRE system submitted to the CTS challenge focusing on the novel components in the back-end system modeling. All the systems used the time-delay neural network (TDNN) based x-vector embeddings. The x-vector system in our SRE19 submission used a large pool of training speakers (about 14k speakers). Following the x-vector extraction, we explored a neural network approach to backend score computation that was optimized for a speaker verification cost. The system combination of generative and neural PLDA models resulted in significant improvements for the SRE evaluation dataset. We also found additional gains for the SRE systems based on score normalization and calibration. Subsequent to the evaluations, we have performed a detailed analysis of the submitted systems. The analysis revealed the incremental gains obtained for different training dataset combinations as well as the modeling methods.


title: Quasimodular forms as solutions of Modular differential equations

abstract: We study quasimodular forms of depth $\leq4$ and determine under which conditions they occur as solutions of modular differential equations. Furthermore, we study which modular differential equations have quasimodular solutions. We use these results to investigate extremal quasimodular forms as introduced by M. Kaneko and M. Koike further. Especially, we prove a conjecture stated by these authors concerning the divisors of the denominators occurring in their Fourier expansion.


title: Developing a Hybrid Data-Driven, Mechanistic Virtual Flow Meter -- a Case Study

abstract: Virtual flow meters, mathematical models predicting production flow rates in petroleum assets, are useful aids in production monitoring and optimization. Mechanistic models based on first-principles are most common, however, data-driven models exploiting patterns in measurements are gaining popularity. This research investigates a hybrid modeling approach, utilizing techniques from both the aforementioned areas of expertise, to model a well production choke. The choke is represented with a simplified set of first-principle equations and a neural network to estimate the valve flow coefficient. Historical production data from the petroleum platform Edvard Grieg is used for model validation. Additionally, a mechanistic and a data-driven model are constructed for comparison of performance. A practical framework for development of models with varying degree of hybridity and stochastic optimization of its parameters is established. Results of the hybrid model performance are promising albeit with considerable room for improvements.


title: Measuring pants

abstract: We investigate the terms arising in an identity for hyperbolic surfaces proved by Luo and Tan, namely showing that they vary monotonically in terms of lengths and that they verify certain convexity properties. Using these properties, we deduce two results. As a first application, we show how to deduce a theorem of Thurston which states, in particular for closed hyperbolic surfaces, that if a simple length spectrum "dominates" another, then in fact the two surfaces are isometric. As a second application, we show how to find upper bounds on the number of pairs of pants of bounded length that only depend on the boundary length and the topology of the surface.


title: The real non-attractive fixed point conjecture and beyond

abstract: Is it always true that every polynomial P with the degree at least two has a fixed point z0, the real part of whose multiplier is bigger than or equal to 1, i.e., Real part of (P'(z0))> 1? This question, raised by Coelho and Kalantari in How many real attractive fixed points can a polynomial have? Math. Gaz. 103 (2019), no. 556, 65{76. [3] is answered affirmatively not only for all polynomials but also for all rational functions with a super attracting fixed point. However, this is not true for all rational functions. Some further investigation on distribution of multipliers of fixed points is made. Quadratic and cubic polynomials, all of whose multipliers have real part 1 are characterized. A necessary and sufficient condition is found for cubic and quartic polynomials, all of whose multipliers are equidistant from Is it always true that every polynomial P with the degree at least two has a fixed point z0, the real part of whose multiplier is bigger than or equal to 1, i.e., Real part of P'(z0)> 1? This question, raised by Coelho and Kalantari in How many real attractive fixed points can a polynomial have? Math. Gaz. 103 (2019), no. 556, 65{76. [3] is answered affirmatively not only for all polynomials but also for all rational functions with a super attracting fixed point. However, this is not true for all rational functions. Some further investigation on the distribution of multipliers of fixed points is made. Quadratic and cubic polynomials, all of whose multipliers have real part 1 are characterized. A necessary and sufficient condition is found for cubic and quartic polynomials, all of whose multipliers are equidistant from 1.


title: A general formalism for the stability of Kerr

abstract: The goal of this paper is to provide a geometric framework for analyzing the uniform decay properties of solutions to the Teukolsky equation in the fully nonlinear setting of perturbations of Kerr. It contains the first nonlinear version of the Chandrasekhar transformation introduced in the linearized setting in \cite{D-H-R-Kerr} and \cite{Ma} with the intent to use it in our ongoing project to prove the full nonlinear stability of slowly rotating Kerr as solution to the Einstein vacuum equations.


title: Can't Boil This Frog: Robustness of Online-Trained Autoencoder-Based Anomaly Detectors to Adversarial Poisoning Attacks

abstract: In recent years, a variety of effective neural network-based methods for anomaly and cyber attack detection in industrial control systems (ICSs) have been demonstrated in the literature. Given their successful implementation and widespread use, there is a need to study adversarial attacks on such detection methods to better protect the systems that depend upon them. The extensive research performed on adversarial attacks on image and malware classification has little relevance to the physical system state prediction domain, which most of the ICS attack detection systems belong to. Moreover, such detection systems are typically retrained using new data collected from the monitored system, thus the threat of adversarial data poisoning is significant, however this threat has not yet been addressed by the research community. In this paper, we present the first study focused on poisoning attacks on online-trained autoencoder-based attack detectors. We propose two algorithms for generating poison samples, an interpolation-based algorithm and a back-gradient optimization-based algorithm, which we evaluate on both synthetic and real-world ICS data. We demonstrate that the proposed algorithms can generate poison samples that cause the target attack to go undetected by the autoencoder detector, however the ability to poison the detector is limited to a small set of attack types and magnitudes. When the poison-generating algorithms are applied to the popular SWaT dataset, we show that the autoencoder detector trained on the physical system state data is resilient to poisoning in the face of all ten of the relevant attacks in the dataset. This finding suggests that neural network-based attack detectors used in the cyber-physical domain are more robust to poisoning than in other problem domains, such as malware detection and image processing.


title: Higher-spin gravity and torsion on quantized space-time in matrix models

abstract: A geometric formalism is developed which allows to describe the non-linear regime of higher-spin gravity emerging on a cosmological quantum space-time in the IKKT matrix model. The vacuum solutions are Ricci-flat up to an effective vacuum energy-momentum tensor quadratic in the torsion, which arises from a Weitzenb\"ock-type higher spin connection. Torsion is expected to be significant only at cosmic scales and around very massive objects, and could behave like dark matter. A non-linear equation for the torsion tensor is found, which encodes the Yang-Mills equations of the matrix model. The metric and torsion transform covariantly under a higher-spin generalization of volume-preserving diffeomorphisms, which arises from the gauge invariance of the matrix model.


title: The Haemers bound of noncommutative graphs

abstract: We continue the study of the quantum channel version of Shannon's zero-error capacity problem. We generalize the celebrated Haemers bound to noncommutative graphs (obtained from quantum channels). We prove basic properties of this bound, such as additivity under the direct sum and submultiplicativity under the tensor product. The Haemers bound upper bounds the Shannon capacity of noncommutative graphs, and we show that it can outperform other known upper bounds, including noncommutative analogues of the Lov\'asz theta function (Duan-Severini-Winter, IEEE Trans. Inform. Theory, 2013 and Boreland-Todorov-Winter, arXiv, 2019).


title: Strain-Induced Violation of Temperature Uniformity in Mesoscale Liquids

abstract: Thermo-elasticity couples the deformation of an elastic (solid) body to its temperature and vice-versa. It is a solid-like property. Highlighting such property in liquids is a paradigm shift: it requires long-range collective interactions that are not considered in current liquid descriptions. The present pioneering microthermal studies provide evidence for such solid-like correlations. It is shown that ordinary liquids emit a modulated thermal signal when applying a low frequency (Hz) mechanical shear stress. The liquid splits in several tenths microns wide thermal bands, all varying synchronously and separately with the applied stress wave reaching a sizable amplitude of $\pm$ 0.2 {\deg}C. This thermal property is unknown in liquids. Thermo-mechanical coupling challenges a dogma in fluid dynamics: the liquid responds collectively, adapts its internal energy to external shear strain and is not governed by short relaxation times responsible of instant thermal dissipation. The proof of thermomechanical coupling opens the way to a new generation of energy-efficient temperature converters.


title: Maximal Lie subalgebras of locally nilpotent derivations

abstract: It has been conjectured by Gene Freudenburg that for a polynomial ring, the triangular Lie algebra is the maximal Lie algebra which lies in the set of locally nilpotent derivations of the ring. Also it was conjectured that each other maximal Lie algebra which lies in the set of locally nilpotent derivations of the polynomial ring is conjugated to the triangular Lie algebra. In the present work we prove the first part of this conjecture and provide the counterexample to the second part. Also we show that the second part of the conjecture holds for the maximal Lie algebras among locally nilpotent derivations with some natural additional properties.


title: Pal 13: its moderately extended low density halo and its accretion history

abstract: We present results on the basis of Dark Energy Camera Legacy Survey (DECaLS) DR8 astrometric and photometric data sets of the Milky Way globular cluster Pal 13. Because of its relative small size and mass, there has not been yet a general consensus about the existence of extra-tidal structures around it. While some previous results claim for the absence of such features, others have shown that the cluster is under the effects of tidal stripping. From DECaLS g,r magnitudes of stars placed along the cluster Main Sequence in the colour-magnitude diagram --previously corrected by interstellar reddening--, we built the cluster stellar density map. The resulting density map shows nearly smooth contours around Pal 13 out to 1.6 times the most recent estimate of its Jacobi radius, derived by taking into account its variation along its orbital motion. This outcome favours the presence of stars escaping the cluster, a phenomenon frequently seen in globular clusters that have crossed the Milky Way disc a comparable large number of times. Particularly, the orbital high eccentricity and large inclination angle of this accreted globular cluster could have been responsible for the relatively large amount of cluster mass lost.


title: Fermion self-trapping in the optical geometry of Einstein-Dirac solitons

abstract: We analyze gravitationally localized states of multiple fermions with high angular momenta, in the formalism introduced by Finster, Smoller, and Yau [Phys Rev. D 59, 104020 (1999)]. We show that the resulting soliton-like wave functions can be naturally interpreted in terms of a form of self-trapping, where the fermions become localized on shells the locations of which correspond to those of `bulges' in the optical geometry created by their own energy density.


title: Defects in active nematics: algorithms for identification and tracking

abstract: The growing interest in active nematics and the emerging evidence of the relevance of topological defects in biology asks for reliable data analysis tools to identify, classify and track such defects in simulation and microscopy data. We here provide such tools and demonstrate on two examples, on an active turbulent state in an active nematodynamic model and on emerging nematic order in a multi-phase field model, the possibility to compare statistical data on defect velocities with experimental results. The considered tools, which are physics based and data driven, are compared with each other.


title: A note on the rationing of divisible and indivisible goods in a general network

abstract: The study of matching theory has gained importance recently with applications in Kidney Exchange, House Allocation, School Choice etc. The general theme of these problems is to allocate goods in a fair manner amongst participating agents. The agents generally have a unit supply/demand of a good that they want to exchange with other agents. On the other hand, Bochet et al. study a more general version of the problem where they allow for agents to have arbitrary number of divisible goods to be rationed to other agents in the network. In this current work, our main focus is on non-bipartite networks where agents have arbitrary units of a homogeneous indivisible good that they want to exchange with their neighbors. Our aim is to develop mechanisms that would identify a fair and strategyproof allocation for the agents in the network. Thus, we generalize the kidney exchange problem to that of a network with arbitrary capacity of available goods. Our main idea is that this problem and a couple of other related versions of non-bipartite fair allocation problem can be suitably transformed to one of fair allocations on bipartite networks for which we know of well studied fair allocation mechanisms.


title: Deep HyperNetwork-Based MIMO Detection

abstract: Optimal symbol detection for multiple-input multiple-output (MIMO) systems is known to be an NP-hard problem. Conventional heuristic algorithms are either too complex to be practical or suffer from poor performance. Recently, several approaches tried to address those challenges by implementing the detector as a deep neural network. However, they either still achieve unsatisfying performance on practical spatially correlated channels, or are computationally demanding since they require retraining for each channel realization. In this work, we address both issues by training an additional neural network (NN), referred to as the hypernetwork, which takes as input the channel matrix and generates the weights of the neural NN-based detector. Results show that the proposed approach achieves near state-of-the-art performance without the need for re-training.


title: Prediction of Discharge Capacity of Labyrinth Weir with Gene Expression Programming

abstract: This paper proposes a model based on gene expression programming for predicting the discharge coefficient of triangular labyrinth weirs. The parameters influencing discharge coefficient prediction were first examined and presented as crest height ratio to the head over the crest of the weir, a crest length of water to channel width, a crest length of water to the head over the crest of the weir, Froude number and vertex angle dimensionless parameters. Different models were then presented using sensitivity analysis in order to examine each of the dimensionless parameters presented in this study. In addition, an equation was presented through the use of nonlinear regression (NLR) for the purpose of comparison with GEP. The results of the studies conducted by using different statistical indexes indicated that GEP is more capable than NLR. This is to the extent that GEP predicts the discharge coefficient with an average relative error of approximately 2.5% in such a manner that the predicted values have less than 5% relative error in the worst model.


title: Numerical Analysis of Sensitivity Enhancement of Surface Plasmon Resonance Biosensors Using a Mirrored Bilayer Structure

abstract: A mirrored bilayer structure incorporating layers of Graphene and MoS2 is proposed here for Surface Plasmon Resonance (SPR) biosensing and its performance is evaluated numerically. Starting from the basic configuration, the structure with graphene and MoS2 layers is gradually developed for enhanced performance. Reflectance is the main considered parameter for performance analysis. A theoretical framework based on Fresnel's equations is presented and by measuring reflectance versus angle of incidence, sensitivity is calculated from the displacement of SPR angle using finite-difference time-domain (FDTD) technique. Our numerical analysis shows that using the proposed approach, about 4.2 times enhanced sensitivity can be achieved compared to the basic Kretschmann configuration. Notably, the structure provides an enhancement for both angular and wavelength interrogations. Furthermore, simulations have been repeated for various ligate-ligand pairs and consistent enhancement has been observed which proves the robustness of the structure. So, the proposed sensor architecture clearly provides pronounced improvement in sensitivity which can be significant in various practical applications.


title: Translating Diffusion, Wavelets, and Regularisation into Residual Networks

abstract: Convolutional neural networks (CNNs) often perform well, but their stability is poorly understood. To address this problem, we consider the simple prototypical problem of signal denoising, where classical approaches such as nonlinear diffusion, wavelet-based methods and regularisation offer provable stability guarantees. To transfer such guarantees to CNNs, we interpret numerical approximations of these classical methods as a specific residual network (ResNet) architecture. This leads to a dictionary which allows to translate diffusivities, shrinkage functions, and regularisers into activation functions, and enables a direct communication between the four research communities. On the CNN side, it does not only inspire new families of nonmonotone activation functions, but also introduces intrinsically stable architectures for an arbitrary number of layers.


title: The Existence of Extremizers of Blaschke-Santal\'o Type Inequalities

abstract: We discuss a topological structure on families of convex functions and then apply it to show the existence of extrimizers for the functional Santal\'{o} inequality with respect to polar transform and its reverse.


title: On-Device Information Extraction from SMS using Hybrid Hierarchical Classification

abstract: Cluttering of SMS inbox is one of the serious problems that users today face in the digital world where every online login, transaction, along with promotions generate multiple SMS. This problem not only prevents users from searching and navigating messages efficiently but often results in users missing out the relevant information associated with the corresponding SMS like offer codes, payment reminders etc. In this paper, we propose a unique architecture to organize and extract the appropriate information from SMS and further display it in an intuitive template. In the proposed architecture, we use a Hybrid Hierarchical Long Short Term Memory (LSTM)-Convolutional Neural Network (CNN) to categorize SMS into multiple classes followed by a set of entity parsers used to extract the relevant information from the classified message. The architecture using its preprocessing techniques not only takes into account the enormous variations observed in SMS data but also makes it efficient for its on-device (mobile phone) functionalities in terms of inference timing and size.


title: Collective movement of charges in an electromagnetic field and collective electrodynamics forces

abstract: The symmetric tensor energy-impulse of interaction of collective of electric charges with an electromagnetic field is received. A system of covariant energy and momentum conservation equations or a system of equations for the collective motion of charged particles is derived from this tensor. From this system Expressions are derived for collective electrodynamics forces. From the energy-momentum tensor derived the tensor of collective electrodynamics forces is.


title: Full nonuniversality of the symmetric 16-vertex model on the square lattice

abstract: We consider the symmetric two-state 16-vertex model on the square lattice whose vertex weights are invariant under any permutation of adjacent edge states. The vertex-weight parameters are restricted to a critical manifold which is self-dual under the gauge transformation. The critical properties of the model are studied numerically by using the Corner Transfer Matrix Renormalization Group method. Accuracy of the method is tested on two exactly solvable cases: the Ising model and a specific version of the Baxter 8-vertex model in a zero field that belong to different universality classes. Numerical results show that the two exactly solvable cases are connected by a line of critical points with the polarization as the order parameter. There are numerical indications that critical exponents vary continuously along this line in such a way that the weak universality hypothesis is violated.


title: Neural Machine Translation System of Indic Languages -- An Attention based Approach

abstract: Neural machine translation (NMT) is a recent and effective technique which led to remarkable improvements in comparison of conventional machine translation techniques. Proposed neural machine translation model developed for the Gujarati language contains encoder-decoder with attention mechanism. In India, almost all the languages are originated from their ancestral language - Sanskrit. They are having inevitable similarities including lexical and named entity similarity. Translating into Indic languages is always be a challenging task. In this paper, we have presented the neural machine translation system (NMT) that can efficiently translate Indic languages like Hindi and Gujarati that together covers more than 58.49 percentage of total speakers in the country. We have compared the performance of our NMT model with automatic evaluation matrices such as BLEU, perplexity and TER matrix. The comparison of our network with Google translate is also presented where it outperformed with a margin of 6 BLEU score on English-Gujarati translation.


title: Construction of an Engel manifold with trivial automorphism group

abstract: An Engel manifold is a 4-manifold with a completely non-integrable 2-distribution called Engel structure. I research the functorial relation between Engel manifolds and Contact 3-orbifolds. And I construct an Engel manifold that the automorphism group is trivial.


title: TarTar: A Timed Automata Repair Tool

abstract: We present TarTar, an automatic repair analysis tool that, given a timed diagnostic trace (TDT) obtained during the model checking of a timed automaton model, suggests possible syntactic repairs of the analyzed model. The suggested repairs include modified values for clock bounds in location invariants and transition guards, adding or removing clock resets, etc. The proposed repairs are guaranteed to eliminate executability of the given TDT, while preserving the overall functional behavior of the system. We give insights into the design and architecture of TarTar, and show that it can successfully repair 69% of the seeded errors in system models taken from a diverse suite of case studies.


title: NURE: An ERC project to study nuclear reactions for neutrinoless double beta decay

abstract: Neutrinoless double beta decay (0{\nu}\b{eta}\b{eta}) is considered the best potential resource to determine the absolute neutrino mass scale. Moreover, if observed, it will signal that the total lepton number is not conserved and neutrinos are their own anti-particles. Presently, this physics case is one of the most important research beyond Standard Model and might guide the way towards a Grand Unified Theory of fundamental interactions. Since the \b{eta}\b{eta} decay process involves nuclei, its analysis necessarily implies nuclear structure issues. The 0{\nu}\b{eta}\b{eta} decay rate can be expressed as a product of independent factors: the phase-space factors, the nuclear matrix elements (NME) and a function of the masses of the neutrino species. Thus the knowledge of the NME can give information on the neutrino mass scale, if the 0{\nu}\b{eta}\b{eta} decay rate is measured. In the NURE project, supported by a Starting Grant of the European Research Council, nuclear reactions of double charge-exchange (DCE) will be used as a tool to extract information on the \b{eta}\b{eta} NME. In DCE reactions and \b{eta}\b{eta} decay, the initial and final nuclear states are the same and the transition operators have similar structure. Thus the measurement of the DCE absolute crosssections can give crucial information on \b{eta}\b{eta} matrix elements.


title: A Categorical Semantics for Guarded Petri Nets

abstract: We build on the correspondence between Petri nets and free symmetric strict monoidal categories already investigated in the literature, and present a categorical semantics for Petri nets with guards. This comes in two flavors: Deterministic and with side-effects. Using the Grothendieck construction, we show how the guard semantics can be internalized in the net itself.


title: Slipping through the net: can data science approaches help target clean cooking policy interventions?

abstract: Reliance on solid biomass cooking fuels in India has negative health and socio-economic consequences for households, yet policies aimed at promoting uptake of LPG for cooking have not always been effective at promoting sustained transition to cleaner cooking amongst intended beneficiaries. This paper uses a two step approach combining predictive and descriptive analyses of the IHDS panel dataset to identify different groups of households that switched stove between 2004/5 and 2011/12. A tree-based ensemble machine learning predictive analysis identifies key determinants of a switch from biomass to non-biomass stoves. A descriptive clustering analysis is used to identify groups of stove-switching households that follow different transition pathways. There are three key findings of this study: Firstly non-income determinants of stove switching do not have a linear effect on stove switching, in particular variables on time of use and appliance ownership which offer a proxy for household energy practices; secondly location specific factors including region, infrastructure availability, and dwelling quality are found to be key determinants and as a result policies must be tailored to take into account local variations; thirdly clean cooking interventions must enact a range of measures to address the barriers faced by households on different energy transition pathways.


title: Identifying the formation mechanism of redback pulsars

abstract: We analyse the evolution of close binary systems containing a neutron star that lead to the formation of redback pulsars. Recently there has been some debate on the origin of such systems and the formation mechanism of redbacks may still be considered as an open problem. We show that the operation of a strong evaporation mechanism, starting from the moment when the donor star becomes fully convective (or alternatively since the formation of the neutron star by accretion induced collapse), produces systems with donor masses and orbital periods in the range corresponding to redbacks with donors appreciably smaller than their Roche lobes, i.e., they have low filling factors (lower than $0.75$). Models of redback pulsars can be constructed assuming the occurrence of irradiation feedback. They have been shown to undergo cyclic mass transfer during the epoch at which they attain donor masses and orbital periods corresponding to redbacks, and stay in quasi-Roche lobe overflow conditions with {\it high} filling factors. We show that, if irradiation feedback occurs and radio ejection inhibits further accretion onto the neutron star after the first mass transfer cycle, the redback systems feature {\it high} filling factors. We suggest that the filling factor should be considered as a useful tool for discriminating among those redback formation mechanisms. We compare theoretical results with available observations, and conclude that observations tend to favour models with high filling factors.


title: Field/Isolated lenticular galaxies with high $S_N$ values: the case of NGC 4546 and its globular cluster system

abstract: We present a photometric study of the field lenticular galaxy NGC 4546 using Gemini/GMOS imaging in g'r'i'z'. We perform a 2D image decomposition of the surface brightness distribution of the galaxy using GALFIT, finding that four components adequately describe it. The subtraction of this model from our images and the construction of a colour map allow us to examine in great detail the asymmetric dust structures around the galactic centre. In addition, we perform a detailed analysis of the globular cluster (GC) system of NGC 4546. Using a Gaussian Mixture Model algorithm in the colour-colour plane we detected hints of multiple groups of GC candidates: the classic blue and red subpopulations, a group with intermediate colours that present a concentrated spatial distribution towards the galaxy, and an additional group towards the red end of the colour distribution. We estimate a total GC population for NGC 4546 of $390\pm60$ members and specific frequency $S_N=3.3\pm0.7$, which is relatively high compared to the typical value for galaxies of similar masses and environment. We suggest that the unusual GC population substructures were possibly formed during the interaction that led to the formation of the young ultra-compact dwarf (NGC 4546-UCD1) found in this system. Finally, we estimate the distance modulus of NGC 4546 by analyzing its luminosity function, resulting in $(m-M)=30.75\pm0.12$ mag (14.1 Mpc).


title: Asymptotic Analysis of Transport Equation in Bounded Domains

abstract: Consider neutron transport equations in 3D convex domains with in-flow boundary. We mainly study the asymptotic limits as the Knudsen number $\epsilon\rightarrow 0^+$. Using Hilbert expansion, we rigorously justify that the solution of steady problem converges to that of the Laplace's equation, and the solution of unsteady problem converges to that of the heat equation. The proof relies on a detailed analysis on the boundary layer effect with geometric correction. This problem can be formulated in many different settings, and the above one is probably the most physically significant and most mathematically challenging. We have to utilize almost all methods and techniques we developed in a series of papers in the past decade, and bring novel ideas to treat the new complications. The difficulty mainly comes from three sources: 3D domain, boundary layer regularity, and time dependence. To fully solve this problem, we introduce several techniques: (1) boundary layer with geometric correction; (2) remainder estimates with $L^2-L^{2m}-L^{\infty}$ framework; boundary layer decomposition.


title: Does stability in Einstein frame guarantee stability in Jordan frame?

abstract: Scalar tensor theories of gravity can be formulated in the Einstein or in the Jordan frame, which are related by the conformal transformations. Although the two frames are describe the same physics, and are equivalent, the stability of the field equations in two frames are not the same. Here we implement dynamical system and phase space approach as a robustness tool to investigate this issue. We concentrate on the Brans Dicke theory, but the results can easily be generalized. Our analysis show that while there is one-to-one correspondence between critical points in two frames and each critical point in one frame is mapped to its corresponds in other frame , however stability of a critical points in one frame does not grantee the stability in other frame. Hence an unstable point in one frame may be mapped to a stable point in other frame. All trajectories between two critical points in phase space in one frame are different from their corresponds in other ones. This indicates that the dynamical behavior of variables and cosmological parameters are different in two frames. Hence for those features of the study which focus on observational measurements we must use the (JF) where experimental data have their usual interpretation


title: Joint numerical ranges and communtativity of matrices

abstract: The connection between the commutativity of a family of $n\times n$ matrices and the generalized joint numerical ranges is studied. For instance, it is shown that ${\cal F}$ is a family of mutually commuting normal matrices if and only if the joint numerical range $W_k(A_1, \dots, A_m)$ is a polyhedral set for some $k$ satisfying $|n/2-k|\le 1$, where $\{A_1, \dots, A_m\}$ is a basis for the linear span of the family; equivalently, $W_k(X,Y)$ is polyhedral for any two $X, Y \in {\cal F}$. More generally, characterization is given for the $c$-numerical range $W_c(A_1, \dots, A_m)$ to be polyhedral for any $n\times n$ matrices $A_1, \dots, A_m$. Other results connecting the geometrical properties of the joint numerical ranges and the algebraic properties of the matrices are obtained. Implications of the results to representation theory, and quantum information science are discussed.


title: Limits of multiplicative inhomogeneous random graphs and L\'evy trees: Limit theorems

abstract: We consider a natural model of inhomogeneous random graphs that extends the classical Erd\H os-R\'enyi graphs and shares a close connection with the multiplicative coalescence, as pointed out by Aldous [AOP 1997]. In this model, the vertices are assigned weights that govern their tendency to form edges. It is by looking at the asymptotic distributions of the masses (sum of the weights) of the connected components of these graphs that Aldous and Limic [EJP 1998] have identified the entrance boundary of the multiplicative coalescence, which is intimately related to the excursion lengths of certain L\'evy-type processes. We, instead, look at the metric structure of these components and prove their Gromov-Hausdorff-Prokhorov convergence to a class of random compact measured metric spaces that have been introduced in a companion paper. Our asymptotic regimes relate directly to the general convergence condition appearing in the work of Aldous and Limic. Our techniques provide a unified approach for this general "critical" regime, and relies upon two key ingredients: an encoding of the graph by some L\'evy process as well as an embedding of its connected components into Galton-Watson forests. This embedding transfers asymptotically into an embedding of the limit objects into a forest of L\'evy trees, which allows us to give an explicit construction of the limit objects from the excursions of the L\'evy-type process. The mains results combined with the ones in the other paper allow us to extend and complement several previous results that had been obtained via regime-specific proofs, for instance: the case of Erd\H os-R\'enyi random graphs obtained by Addario-Berry, Goldschmidt and B. [PTRF 2012], the asymptotic homogeneous case as studied by Bhamidi, Sen and Wang [PTRF 2017], or the power-law case as considered by Bhamidi, Sen and van der Hofstad [PTRF 2018].


title: A Survey on Causal Inference

abstract: Causal inference is a critical research topic across many domains, such as statistics, computer science, education, public policy and economics, for decades. Nowadays, estimating causal effect from observational data has become an appealing research direction owing to the large amount of available data and low budget requirement, compared with randomized controlled trials. Embraced with the rapidly developed machine learning area, various causal effect estimation methods for observational data have sprung up. In this survey, we provide a comprehensive review of causal inference methods under the potential outcome framework, one of the well known causal inference framework. The methods are divided into two categories depending on whether they require all three assumptions of the potential outcome framework or not. For each category, both the traditional statistical methods and the recent machine learning enhanced methods are discussed and compared. The plausible applications of these methods are also presented, including the applications in advertising, recommendation, medicine and so on. Moreover, the commonly used benchmark datasets as well as the open-source codes are also summarized, which facilitate researchers and practitioners to explore, evaluate and apply the causal inference methods.