title: Tunable interlayer magnetism and band topology in van der Waals heterostructures of MnBi2Te4-family materials

abstract: Manipulating the interlayer magnetic coupling in van der Waals magnetic materials and heterostructures is the key to tailoring their magnetic and electronic properties for various electronic applications and fundamental studies in condensed matter physics. By utilizing the MnBi2Te4-family compounds and their heterostructures as a model system, we systematically studied the dependence of the sign and strength of interlayer magnetic coupling on constituent elements by using first-principles calculations. It was found that the coupling is a long-range superexchange interaction mediated by the chains of p orbitals between the magnetic atoms of neighboring septuple-layers. The interlayer exchange is always antiferromagnetic in the pure compounds, but can be tuned to ferromagnetic in some combinations of heterostructures, dictated by d orbital occupations. Strong interlayer magnetic coupling can be realized if the medial p electrons are delocalized and the d bands of magnetic atoms are near the Fermi level. The knowledge on the interlayer coupling mechanism enables us to engineer magnetic and topological properties of MnBi2Te4-family materials as well as many other insulating van der Waals magnetic materials and heterostructures.


title: The Turning Arcs: a Computationally Efficient Algorithm to Simulate Isotropic Vector-Valued Gaussian Random Fields on the $d$-Sphere

abstract: Random fields on the sphere play a fundamental role in the natural sciences. This paper presents a simulation algorithm parenthetical to the spectral turning bands method used in Euclidean spaces, for simulating scalar- or vector-valued Gaussian random fields on the $d$-dimensional unit sphere. The simulated random field is obtained by a sum of Gegenbauer waves, each of which is variable along a randomly oriented arc and constant along the parallels orthogonal to the arc. Convergence criteria based on the Berry-Ess\'een inequality are proposed to choose suitable parameters for the implementation of the algorithm, which is illustrated through numerical experiments. A by-product of this work is a closed-form expression of the Schoenberg coefficients associated with the Chentsov and exponential covariance models on spheres of dimensions greater than or equal to 2.


title: Accretion rate in AGN and X-ray-to-optical flux ratio at z $\le$ 0.2

abstract: We explored a sample of 545 local galaxies using data from the 3XMM-DR7 and SDSS-DR8 surveys. We carried out all analyses up to z\,$\sim$\,0.2, and we studied the relation between X/O flux ratio and accretion rate for different classes of active galaxies such as LINERs and Seyfert 2. We obtained a slight correlation between the two parameters if the whole sample of AGN is used. However, LINERs and Sy2 galaxies show different properties, slight correlation and slight anti-correlation, respectively. This could confirm that LINERs and Sy2 galaxies have different accretion efficiencies and maybe different accretion disc properties,as has been suggested previously. Keywords: galaxies - active; AGN - accretion rate; AGN - black hole masses; AGN - X-ray properties; AGN - optical properties


title: Secure Non-Orthogonal Multiple Access: An Interference Engineering Perspective

abstract: Non-orthogonal multiple access (NOMA) is an efficient approach that can improve spectrum utilization and support massive connectivity for next-generation wireless networks. However, over a wireless channel, the superimposed NOMA signals are highly susceptible to eavesdropping, potentially leading to severe leakage of confidential information. In this article, we unleash the potential of network interference and exploit it constructively to enhance physical-layer security in NOMA networks. Particularly, three different types of network interference, including artificial noise, specifically-designed jamming signals, and inter-user interference, are well engineered to intentionally reduce information leakage while mitigating the effect on signal reception quality of legitimate users, thereby significantly enhancing the transmission security of NOMA. Furthermore, we propose interference engineering strategies for more advanced full-duplex NOMA, intelligent reflecting surface NOMA, cognitive radio NOMA, and multi-cell NOMA networks, and discuss several open research problems and challenges, which could inspire innovative interference engineering designs for secure NOMA communications.


title: Performance Benchmarking of State-of-the-Art Software Switches for NFV

abstract: With the ultimate goal of replacing proprietary hardware appliances with Virtual Network Functions (VNFs) implemented in software, Network Function Virtualization (NFV) has been gaining popularity in the past few years. Software switches route traffic between VNFs and physical Network Interface Cards (NICs). It is of paramount importance to compare the performance of different switch designs and architectures. In this paper, we propose a methodology to compare fairly and comprehensively the performance of software switches. We first explore the design spaces of seven state-of-the-art software switches and then compare their performance under four representative test scenarios. Each scenario corresponds to a specific case of routing NFV traffic between NICs and/or VNFs. In our experiments, we evaluate the throughput and latency between VNFs in two of the most popular virtualization environments, namely virtual machines (VMs) and containers. Our experimental results show that no single software switch prevails in all scenarios. It is, therefore, crucial to choose the most suitable solution for the given use case. At the same time, the presented results and analysis provide a deeper insight into the design tradeoffs and identifies potential performance bottlenecks that could inspire new designs.


title: Functional central limit theorems for persistent Betti numbers on cylindrical networks

abstract: We study functional central limit theorems for persistent Betti numbers obtained from networks defined on a Poisson point process. The limit is formed in large volumes of cylindrical shape stretching only in one dimension. The results cover a directed sublevel-filtration for stabilizing networks and the Cech and Vietoris-Rips complex on the random geometric graph. The presented functional central limit theorems open the door to a variety of statistical applications in topological data analysis and we consider goodness-of-fit tests in a simulation study.


title: Non-exchangeable feature allocation models with sublinear growth of the feature sizes

abstract: Feature allocation models are popular models used in different applications such as unsupervised learning or network modeling. In particular, the Indian buffet process is a flexible and simple one-parameter feature allocation model where the number of features grows unboundedly with the number of objects. The Indian buffet process, like most feature allocation models, satisfies a symmetry property of exchangeability: the distribution is invariant under permutation of the objects. While this property is desirable in some cases, it has some strong implications. Importantly, the number of objects sharing a particular feature grows linearly with the number of objects. In this article, we describe a class of non-exchangeable feature allocation models where the number of objects sharing a given feature grows sublinearly, where the rate can be controlled by a tuning parameter. We derive the asymptotic properties of the model, and show that such model provides a better fit and better predictive performances on various datasets.


title: Classical and quantised resolvent algebras for the cylinder

abstract: Buchholz and Grundling (Comm. Math. Phys., 272, 699--750, 2007) introduced a C$^\ast$-algebra called the resolvent algebra as a canonical quantisation of a symplectic vector space, and demonstrated that this algebra has several desirable features. We define an analogue of their resolvent algebra on the cotangent bundle $T^*\mathbb{T}^n$ of an $n$-torus by first generalizing the classical analogue of the resolvent algebra defined by the first author of this paper in earlier work (J. Funct. Anal., 277, 2815--2838, 2019), and subsequently applying Weyl quantisation. We prove that this quantisation is almost strict in the sense of Rieffel and show that our resolvent algebra shares many features with the original resolvent algebra. We demonstrate that both our classical and quantised algebras are closed under the time evolutions corresponding to large classes of potentials. Finally, we discuss their relevance to lattice gauge theory.


title: Faster than FAST: GPU-Accelerated Frontend for High-Speed VIO

abstract: The recent introduction of powerful embedded graphics processing units (GPUs) has allowed for unforeseen improvements in real-time computer vision applications. It has enabled algorithms to run onboard, well above the standard video rates, yielding not only higher information processing capability, but also reduced latency. This work focuses on the applicability of efficient low-level, GPU hardware-specific instructions to improve on existing computer vision algorithms in the field of visual-inertial odometry (VIO). While most steps of a VIO pipeline work on visual features, they rely on image data for detection and tracking, of which both steps are well suited for parallelization. Especially non-maxima suppression and the subsequent feature selection are prominent contributors to the overall image processing latency. Our work first revisits the problem of non-maxima suppression for feature detection specifically on GPUs, and proposes a solution that selects local response maxima, imposes spatial feature distribution, and extracts features simultaneously. Our second contribution introduces an enhanced FAST feature detector that applies the aforementioned non-maxima suppression method. Finally, we compare our method to other state-of-the-art CPU and GPU implementations, where we always outperform all of them in feature tracking and detection, resulting in over 1000fps throughput on an embedded Jetson TX2 platform. Additionally, we demonstrate our work integrated in a VIO pipeline achieving a metric state estimation at ~200fps.


title: State-dependent Topological Invariants and Anomalous Bulk-Boundary Correspondence in non-Hermitian Topological Systems

abstract: The breakdown of the bulk-boundary correspondence in non-Hermitian (NH) topological systems is an open, controversial issue. In this paper, to resolve this issue, we ask the following question: Can a (global) topological invariant completely describe the topological properties of a NH system as its Hermitian counterpart? Our answer is no. One cannot use a global topological invariant (including non-Bloch topological invariant) to accurately characterize the topological properties of the NH systems. Instead, there exist a new type of topological invariants that are absence in its Hermitian counterpart -- the state dependent topological invariants. With the help of the state-dependent topological invariants, we develop a new topological theory for NH topological system beyond the general knowledge for usual Hermitian systems and obtain an exact formulation of the bulk-boundary correspondence, including state-dependent phase diagram, state-dependent phase transition and anomalous transport properties (spontaneous topological current). Therefore, these results will help people to understand the exotic topological properties of various non-Hermitian systems.


title: Long-range Rydberg molecule Rb$_2$: Two-electron \textit{R}-matrix calculations at intermediate internuclear distances

abstract: The adiabatic potential energy curves of Rb$_2$ in the long-range Rydberg electronic states are calculated using the two-electron \textit{R}-matrix method [M. Tarana, R. \v{C}ur\'{i}k, Phys. Rev. A \textbf{93}, 012515 (2016)] for the intermediate internuclear separations between 35 a.u. and 200 a.u. The results are compared with the zero-range models to find a region of the internuclear distances where the Fermi's pseudopotential approach provides accurate energies. A finite-range potential model of the atomic perturber is used to calculate the wave functions of the Rydberg electron and their features specific for the studied range of internuclear distances are identified.


title: Rapidity decorrelation of anisotropic flow caused by hydrodynamic fluctuations

abstract: We investigate the effect of hydrodynamic fluctuations on the rapidity decorrelations of anisotropic flow in high-energy nuclear collisions using a (3+1)-dimensional integrated dynamical model. The integrated dynamical model consists of twisted initial conditions, fluctuating hydrodynamics, and hadronic cascades on an event-by-event basis. To understand the rapidity decorrelation, we analyze the factorization ratio in the longitudinal direction. Comparing the factorization ratios between fluctuating hydrodynamics and ordinary viscous hydrodynamics, we find a sizable effect of hydrodynamic fluctuations on rapidity decorrelations. We also propose to calculate the Legendre coefficients of the flow magnitude and the event-plane angle to understand the decorrelation of anisotropic flow in the longitudinal direction.


title: Coronal Density and Temperature Profiles Calculated by Forward Modeling EUV Emission Observed by SDO/AIA

abstract: We present a model for the intensity of optically thin EUV emission for a plasma atmosphere. We apply our model to the solar corona as observed using the six optically thin EUV channels of the SDO/AIA instrument. The emissivity of the plasma is calculated from the density and temperature using CHIANTI tables and the intensity is then determined by integration along the line of sight. We consider several different profiles for the radial density and temperature profiles, each of which are constrained by the observational data alone with no further physical assumptions. We demonstrate the method first by applying it to a quiet region of the corona, and then use it as the background component of a model including coronal holes, allowing the plasma densities and temperatures inside and outside the hole to be estimated. We compare our results with differential emission measure (DEM) inversions. More accurate estimates for the coronal density and temperature profiles have the potential to help constrain plasma properties such as the magnetic field strength when used in combination with methods such as seismology.


title: New probability distributions in astrophysics: II. The generalized and double truncated Lindley

abstract: The statistical parameters of five generalizations of the Lindley distribution, such as the average, variance and moments, are reviewed. A new double truncated Lindley distribution with three parameters is derived. The new distributions are applied to model the initial mass function for stars.


title: Avoiding collisions at any (low) cost: ADS-B like position broadcast for UAVs

abstract: Unmanned Aerial Vehicles (UAVs), a.k.a. drones, are increasingly used for different tasks. With more drones in the sky, the risk of accidents rises, sparkling the need for conflict management solutions. Aircraft use a system called Automatic Dependent System-Broadcast (ADS-B) to continuously broadcast their position and speed but this system is not suitable for small drones because of its cost, complexity and capacity limitations. Broadband technologies such as Wi-Fi beacons are more suited for such dense scenarios, and they also offer the benefit of wide availability and low cost. The main challenges for Wi-Fi are (a) the multi-channel nature of the technology makes transmitter and receiver coordination difficult, and (b) standard chipsets are not designed for frequent broadcast transmission and reception. In this paper, we propose and analyze a multi-channel position broadcast solution that is robust against jamming and achieves a reliable location update within 125~ms. In addition, we implement the protocol on inexpensive embedded Wi-Fi modules and analyze the hardware limitations of such devices. Our conclusions are that even on the simplest Wi-Fi chipsets, our protocol can be implemented to achieve a realistic location broadcast solution that still perfectly mimics simulation and analytical results on the lab bench and still can achieve approximately 4~message/s throughput at a distance of 900~m on flying UAVs.


title: Unraveling the Topological Phase of ZrTe$_5$ via Magneto-infrared Spectroscopy

abstract: For materials near the phase boundary between weak and strong topological insulators (TIs), their band topology depends on the band alignment, with the inverted (normal) band corresponding to the strong (weak) TI phase. Here, taking the anisotropic transition-metal pentatelluride ZrTe$_5$ as an example, we show that the band inversion manifests itself as a second extremum (band gap) in the layer stacking direction, which can be probed experimentally via magneto-infrared spectroscopy. Specifically, we find that the band anisotropy of ZrTe$_5$ features a slow dispersion in the layer stacking direction, along with an additional set of optical transitions from a band gap away from the Brillouin zone center. Our work identifies ZrTe5 as a strong TI at liquid helium temperature and provides a new perspective in determining band inversion in layered topological materials.


title: MHV scattering of gluons and gravitons in chiral strong fields

abstract: We present all-multiplicity formulae for the tree-level scattering of gluons and gravitons in the maximal helicity violating (MHV) helicity configuration, calculated in certain chiral strong fields. The strong backgrounds we consider are self-dual plane waves in gauge theory and general relativity, which are treated exactly and admit a well-defined S-matrix. The gauge theory background-coupled MHV amplitude is simply a dressed analogue of the familiar Parke-Taylor formula, but the gravitational version has non-trivial new structures due to graviton tails. Both formulae have just one residual integral rather than the $n-2$ expected at $n$-points from space-time perturbation theory; this simplification arises from the integrability of self-dual backgrounds and their corresponding twistor description. The resulting formulae pass several consistency checks and limit to the well-known expressions for MHV scattering of gluons and gravitons when the background becomes trivial.


title: An Open-source Tool for Hyperspectral Image Augmentation in Tensorflow

abstract: Satellite imagery allows a plethora of applications ranging from weather forecasting to land surveying. The rapid development of computer vision systems could open new horizons to the utilization of satellite data due to the abundance of large volumes of data. However, current state-of-the-art computer vision systems mainly cater to applications that mainly involve natural images. While useful, those images exhibit a different distribution from satellite images in addition to having more spectral channels. This allows the use of pretrained deep learning models only in a subset of spectral channels that are equivalent to natural images thus discarding valuable information from other spectral channels. This calls for research effort to optimize deep learning models for satellite imagery to enable the assessment of their utility in the domain of remote sensing. Tensorflow tool allows for rapid prototyping and testing of deep learning models, however, its built-in image generator is designed to handle a maximum of four spectral channels. This manuscript introduces an open-source tool that allows the implementation of image augmentation for hyperspectral images in Tensorflow. Given how accessible and easy-to-use Tensorflow is, this tool would provide many researchers with the means to implement, test, and deploy deep learning models for remote sensing applications.


title: Diagnosis of Breast Cancer Based on Modern Mammography using Hybrid Transfer Learning

abstract: Breast cancer is a common cancer for women. Early detection of breast cancer can considerably increase the survival rate of women. This paper mainly focuses on transfer learning process to detect breast cancer. Modified VGG (MVGG), residual network, mobile network is proposed and implemented in this paper. DDSM dataset is used in this paper. Experimental results show that our proposed hybrid transfers learning model (Fusion of MVGG16 and ImageNet) provides an accuracy of 88.3% where the number of epoch is 15. On the other hand, only modified VGG 16 architecture (MVGG 16) provides an accuracy 80.8% and MobileNet provides an accuracy of 77.2%. So, it is clearly stated that the proposed hybrid pre-trained network outperforms well compared to single architecture. This architecture can be considered as an effective tool for the radiologists in order to reduce the false negative and false positive rate. Therefore, the efficiency of mammography analysis will be improved.


title: Slave-Spin 1 formulation: A simple approach to time-dependent transport through an interacting two level system

abstract: We introduce and develop a slave-spin mean-field technique for describing a generic interacting two level systems under time-dependent drivings, where an auxiliary S=1 spin is added to describe the localized character of the electrons. We show that the approach efficiently captures the main effects of the strong correlations as well as the dynamical nature of the driving, while remaining simple enough to allow for an analytical treatment. Our formalism provides a flexible solution method, which can be applied to different device configurations at an extremely small numerical cost. Furthermore, it leads to a very practical description of adiabatically driven systems in terms of frozen static solutions.


title: Using MetaPrisms for Performance Improvement in Wireless Communications

abstract: In this paper, we put forth the idea of metaprism, a passive and non-reconfigurable metasurface acting as a metamirror with frequency-dependent reflecting properties within the signal bandwidth. We show that, with an appropriate design of the metaprism, it is possible to control that each data stream in an orthogonal frequency division multiplexing (OFDM) system is reflected in the desired direction without the need for control channels and channel state information (CSI) estimation between the base station and the metaprism, but simply by correctly assigning subcarriers to users. Furthermore, the metaprism can also be designed so that it focuses the signal towards a specific position depending on the subcarrier, provided that it is in the near-field, with consequent path-loss reduction. A critical discussion is also presented about the path-loss gain obtainable from metaprisms and, more generally, from metasurfaces. The numerical results show that this solution is surprisingly effective in extending the coverage in areas experiencing severe non line-of-sight (NLOS) channel conditions, thus making it a very appealing alternative to reconfigurable metasurfaces when low-cost, no energy consumption, and backward compatibility with existing wireless standards are required.


title: Similarity between the kinematic viscosity of quark-gluon plasma and liquids at the viscosity minimum

abstract: Recently, it has been found that the kinematic viscosity of liquids at the minimum, $\nu_m$, can be expressed in terms of fundamental physical constants, giving $\nu_m$ on the order of $10^{-7}~{\rm m^2/s}$. Here, we show that the kinematic viscosity of quark-gluon plasma (QGP) has a similar value and support this finding by experimental data and theoretical estimations. The similarity is striking, given that the dynamic viscosity and the density of QGP are about 16 orders of magnitude larger than in liquids and that the two systems have disparate interactions and fundamental theories. We discuss the implications of this result for understanding the QGP including the similarity of flow and particle dynamics at the viscosity minimum, the associated dynamical crossover and universality of shear diffusivity.


title: Universal quantum transport and impurity band super metallicity in self-similar graphene carpets

abstract: Fractals, a fascinating mathematical concept made popular in the eighties, remained for decades a beautiful scientific curiosity mainly. With the tremendous advances in nanofabrication techniques, such as nanolithography, it has become possible to design self-similar materials with fine structures down to nanometer scale. Here, we investigate the effects of self similarity on quantum electronic transport in graphene Sierpinski carpets. We find that a gap opens up in the electron spectrum in the middle of which lies a flat band of zeros energy modes. Although these states have a zero velocity, a supermetallic phase is found at the neutrality point. For Fermi energy located in the valence/conduction band and in the presence of a small inelastic scattering the system stays metallic and the transport is found strongly anisotropic.


title: SHX: Search History Driven Crossover for Real-Coded Genetic Algorithm

abstract: In evolutionary algorithms, genetic operators iteratively generate new offspring which constitute a potentially valuable set of search history. To boost the performance of crossover in real-coded genetic algorithm (RCGA), in this paper we propose to exploit the search history cached so far in an online style during the iteration. Specifically, survivor individuals over past few generations are collected and stored in the archive to form the search history. We introduce a simple yet effective crossover model driven by the search history (abbreviated as SHX). In particular, the search history is clustered and each cluster is assigned a score for SHX. In essence, the proposed SHX is a data-driven method which exploits the search history to perform offspring selection after the offspring generation. Since no additional fitness evaluations are needed, SHX is favorable for the tasks with limited budget or expensive fitness evaluations. We experimentally verify the effectiveness of SHX over 4 benchmark functions. Quantitative results show that our SHX can significantly enhance the performance of RCGA, in terms of accuracy.


title: Modeling Network Security: Case Study of Email System

abstract: We study operational security in computer network security, including infrastructure, internal processes, resources, information, and physical environment. Current works on developing a security framework focus on a security ontology that contributes to applying common vocabulary, but such an approach does not assist in constructing a foundation for a holistic security methodology. We focus on defining the bounds and creating a representation of a security system by developing a diagrammatic representation (i.e. a model) as a means to describe computer network processes. The model, referred to a thinging machine, is a first step toward developing a security strategy and plan. The general aim is to demonstrate that the representation of the security system plays a key role in making thinking visible through conceptual description of the operational environment, a region in which active security operations are undertaken. We apply the proposed model for email security by conceptually describing a real email system.


title: Human Motion Transfer with 3D Constraints and Detail Enhancement

abstract: We propose a new method for realistic human motion transfer using a generative adversarial network (GAN), which generates a motion video of a target character imitating actions of a source character, while maintaining high authenticity of the generated results. We tackle the problem by decoupling and recombining the posture information and appearance information of both the source and target characters. The innovation of our approach lies in the use of the projection of a reconstructed 3D human model as the condition of GAN to better maintain the structural integrity of transfer results in different poses. We further introduce a detail enhancement net to enhance the details of transfer results by exploiting the details in real source frames. Extensive experiments show that our approach yields better results both qualitatively and quantitatively than the state-of-the-art methods.


title: Improved Gradient based Adversarial Attacks for Quantized Networks

abstract: Neural network quantization has become increasingly popular due to efficient memory consumption and faster computation resulting from bitwise operations on the quantized networks. Even though they exhibit excellent generalization capabilities, their robustness properties are not well-understood. In this work, we systematically study the robustness of quantized networks against gradient based adversarial attacks and demonstrate that these quantized models suffer from gradient vanishing issues and show a fake sense of robustness. By attributing gradient vanishing to poor forward-backward signal propagation in the trained network, we introduce a simple temperature scaling approach to mitigate this issue while preserving the decision boundary. Despite being a simple modification to existing gradient based adversarial attacks, experiments on multiple image classification datasets with multiple network architectures demonstrate that our temperature scaled attacks obtain near-perfect success rate on quantized networks while outperforming original attacks on adversarially trained models as well as floating-point networks. Code is available at https://github.com/kartikgupta-at-anu/attack-bnn.


title: The Subelliptic Heat Kernel of the Octonionic Anti-De Sitter Fibration

abstract: In this note, we study the sub-Laplacian of the 15-dimensional octonionic anti-de Sitter space which is obtained by lifting with respect to the anti-de Sitter fibration the Laplacian of the octonionic hyperbolic space $\mathbb{O}H^1$. We also obtain two integral representations for the corresponding subelliptic heat kernel.


title: Nonlinearity and discreteness: Solitons in lattices

abstract: An overview is given of basic models combining discreteness in their linear parts (i.e. the models are built as dynamical lattices) and nonlinearity acting at sites of the lattices or between the sites. The considered systems include the Toda and Frenkel-Kontorova lattices (including their dissipative versions), as well as equations of the discrete nonlinear Schroedinger (DNLS) and Ablowitz-Ladik (AL) types, and DNLS-AL combination in the form of the Salerno model. The interplay of discreteness and nonlinearity gives rise to a variety of states, most important ones being self-trapped discrete solitons. Basic results for one- and two-dimensional (1D and 2D) discrete solitons are collected in the review, including 2D solitons with embedded vorticity, and some results concerning mobility of discrete solitons. Main experimental findings are overviewed too. Models of the semi-discrete type, and basic results for solitons supported by them, are also considered, in a brief form. Perspectives for the development of topics covered the review are discussed throughout the text.


title: Quantum Integrable Systems from Supergroup Gauge Theories

abstract: In this note, we establish several interesting connections between the supergroup gauge theories and the super integrable systems, i.e. gauge theories with supergroups as their gauge groups and integrable systems defined on superalgebras. In particular, we construct the super-characteristic polynomials of super-Toda lattice and elliptic double Calogero-Moser system by considering certain orbifolded instanton partition functions of their corresponding supergroup gauge theories. We also derive an exotic generalization of sl(2) XXX spin chain arising from the instanton partition function of SQCD with supergauge group, and study its Bethe ansatz equation.


title: Templates and Recurrences: Better Together

abstract: This paper is the confluence of two streams of ideas in the literature on generating numerical invariants, namely: (1) template-based methods, and (2) recurrence-based methods. A template-based method begins with a template that contains unknown quantities, and finds invariants that match the template by extracting and solving constraints on the unknowns. A disadvantage of template-based methods is that they require fixing the set of terms that may appear in an invariant in advance. This disadvantage is particularly prominent for non-linear invariant generation, because the user must supply maximum degrees on polynomials, bases for exponents, etc. On the other hand, recurrence-based methods are able to find sophisticated non-linear mathematical relations, including polynomials, exponentials, and logarithms, because such relations arise as the solutions to recurrences. However, a disadvantage of past recurrence-based invariant-generation methods is that they are primarily loop-based analyses: they use recurrences to relate the pre-state and post-state of a loop, so it is not obvious how to apply them to a recursive procedure, especially if the procedure is non-linearly recursive (e.g., a tree-traversal algorithm). In this paper, we combine these two approaches and obtain a technique that uses templates in which the unknowns are functions rather than numbers, and the constraints on the unknowns are recurrences. The technique synthesizes invariants involving polynomials, exponentials, and logarithms, even in the presence of arbitrary control-flow, including any combination of loops, branches, and (possibly non-linear) recursion. For instance, it is able to show that (i) the time taken by merge-sort is $O(n \log(n))$, and (ii) the time taken by Strassen's algorithm is $O(n^{\log_2(7)})$.


title: LayoutMP3D: Layout Annotation of Matterport3D

abstract: Inferring the information of 3D layout from a single equirectangular panorama is crucial for numerous applications of virtual reality or robotics (e.g., scene understanding and navigation). To achieve this, several datasets are collected for the task of 360 layout estimation. To facilitate the learning algorithms for autonomous systems in indoor scenarios, we consider the Matterport3D dataset with their originally provided depth map ground truths and further release our annotations for layout ground truths from a subset of Matterport3D. As Matterport3D contains accurate depth ground truths from time-of-flight (ToF) sensors, our dataset provides both the layout and depth information, which enables the opportunity to explore the environment by integrating both cues.


title: Autocorrelation of returns in major cryptocurrency markets

abstract: This paper is the first of a series of short articles that explore the efficiency of major cryptocurrency markets. A number of statistical tests and properties of statistical distributions will be used to assess if cryptocurrency markets are efficient, and how their efficiency changes over time. In this paper, we analyze autocorrelation of returns in major cryptocurrency markets using the following methods: Pearson's autocorrelation coefficient of different orders, Ljung-Box test, and first-order Pearson's autocorrelation coefficient in a rolling window. All experiments are conducted on the BTC/USD, ETH/USD, ETH/BTC markets on Bitfinex exchange, and the XBT/USD market on Bitmex exchange, each on 5-minute, 1-hour, 1-day, and 1-week time frames. The results are represented visually on charts. Statistically significant autocorrelation is persistently present on the 5m and 1H time frames on all markets. The tests disagree on the 1D and 1W time frames. The results of this article are fully reproducible. Used datasets, source code, and a runnable Jupyter Notebook are available on GitHub.


title: Ramsey's contributions to probability and legal theory

abstract: Review of Cheryl Misak, Frank Ramsey: A Sheer Excess of Powers (Oxford University Press, 2020).


title: QRMine: A python package for triangulation in Grounded Theory

abstract: Grounded theory (GT) is a qualitative research method for building theory grounded in data. GT uses textual and numeric data and follows various stages of coding or tagging data for sense-making, such as open coding and selective coding. Machine Learning (ML) techniques, including natural language processing (NLP), can assist the researchers in the coding process. Triangulation is the process of combining various types of data. ML can facilitate deriving insights from numerical data for corroborating findings from the textual interview transcripts. We present an open-source python package (QRMine) that encapsulates various ML and NLP libraries to support coding and triangulation in GT. QRMine enables researchers to use these methods on their data with minimal effort. Researchers can install QRMine from the python package index (PyPI) and can contribute to its development. We believe that the concept of computational triangulation will make GT relevant in the realm of big data.


title: Exhausting all exact solutions of BPS domain wall networks in arbitrary dimensions

abstract: We obtain full moduli parameters for generic non-planar BPS networks of domain walls in an extended Abelian-Higgs model with $N$ complex scalar fields, and exhaust all exact solutions in the corresponding $\mathbb{C}P^{N -1}$ model. We develop a convenient description by grid diagrams which are polytopes determined by mass parameters of the model. To illustrate the validity of our method, we work out non-planar domain wall networks for lower $N$ in $3+1$ dimensions. In general, the networks can have compact vacuum bubbles, which are finite vacuum regions surrounded by domain walls, when the polytopes of the grid diagrams have inner vertices, and the size of bubbles can be controlled by moduli parameters. We also construct domain wall networks with bubbles in the shapes of the Platonic, Archimedean, Catalan, and Kepler-Poinsot solids.


title: Maker Breaker on Digraphs

abstract: We study two biassed Maker-Breaker games played on the complete digraph $\vec{K}_n$. In the strong connectivity game, Maker wants to build a strongly connected subgraph. We determine the asymptotic optimal bias for this game viz. $\frac{n}{\log n}$. In the Hamiltonian game, Maker wants to build a Hamiltonian subgraph. We determine the asymptotic optimal bias for this game up to a constant factor.


title: Primary thermometry of propagating microwaves in the quantum regime

abstract: The ability to control and measure the temperature of propagating microwave modes down to very low temperatures is indispensable for quantum information processing, and may open opportunities for studies of heat transport at the nanoscale, also in the quantum regime. Here we propose and experimentally demonstrate primary thermometry of propagating microwaves using a transmon-type superconducting circuit. Our device operates continuously, with a sensitivity down to $4\times 10^{-4}$ photons/$\sqrt{\mbox{Hz}}$ and a bandwidth of 40 MHz. We measure the thermal occupation of the modes of a highly attenuated coaxial cable in a range of 0.001 to 0.4 thermal photons, corresponding to a temperature range from 35 mK to 210 mK at a frequency around 5 GHz. To increase the radiation temperature in a controlled fashion, we either inject calibrated, wideband digital noise, or heat the device and its environment. This thermometry scheme can find applications in benchmarking and characterization of cryogenic microwave setups, temperature measurements in hybrid quantum systems, and quantum thermodynamics.


title: On the Existence and Uniqueness of Solution of Boundary-Domain Integral Equations for the Dirichlet Problem for the Non-Homogeneous Heat Transfer Equation defined on a 2D Unbounded Domain

abstract: A system of segregated boundary-domain integral equations (BDIEs) is obtained from the Dirichlet problem for the diffusion equation in non-homogeneous media defined on an exterior two-dimensional domain. We use a parametrix different from the one employed by in (Dufera, 2019). The system of BDIEs is formulated in terms of parametrix-based surface and volume potentials whose mapping properties are analysed in weighted Sobolev spaces. The system of BDIEs is shown to be equivalent to the original boundary value problem and uniquely solvable in appropriate weighted Sobolev spaces suitable for infinite domains.


title: OCmst: One-class Novelty Detection using Convolutional Neural Network and Minimum Spanning Trees

abstract: We present a novel model called One Class Minimum Spanning Tree (OCmst) for novelty detection problem that uses a Convolutional Neural Network (CNN) as deep feature extractor and graph-based model based on Minimum Spanning Tree (MST). In a novelty detection scenario, the training data is no polluted by outliers (abnormal class) and the goal is to recognize if a test instance belongs to the normal class or to the abnormal class. Our approach uses the deep features from CNN to feed a pair of MSTs built starting from each test instance. To cut down the computational time we use a parameter $\gamma$ to specify the size of the MST's starting to the neighbours from the test instance. To prove the effectiveness of the proposed approach we conducted experiments on two publicly available datasets, well-known in literature and we achieved the state-of-the-art results on CIFAR10 dataset.


title: Improving out-of-distribution generalization via multi-task self-supervised pretraining

abstract: Self-supervised feature representations have been shown to be useful for supervised classification, few-shot learning, and adversarial robustness. We show that features obtained using self-supervised learning are comparable to, or better than, supervised learning for domain generalization in computer vision. We introduce a new self-supervised pretext task of predicting responses to Gabor filter banks and demonstrate that multi-task learning of compatible pretext tasks improves domain generalization performance as compared to training individual tasks alone. Features learnt through self-supervision obtain better generalization to unseen domains when compared to their supervised counterpart when there is a larger domain shift between training and test distributions and even show better localization ability for objects of interest. Self-supervised feature representations can also be combined with other domain generalization methods to further boost performance.


title: Functionality-preserving Black-box Optimization of Adversarial Windows Malware

abstract: Windows malware detectors based on machine learning are vulnerable to adversarial examples, even if the attacker is only given black-box query access to the model. The main drawback of these attacks is that: (i) they are query-inefficient, as they rely on iteratively applying random transformations to the input malware; and (ii) they may also require executing the adversarial malware in a sandbox at each iteration of the optimization process, to ensure that its intrusive functionality is preserved. In this paper, we overcome these issues by presenting a novel family of black-box attacks that are both query-efficient and functionality-preserving, as they rely on the injection of benign content - which will never be executed - either at the end of the malicious file, or within some newly-created sections. Our attacks are formalized as a constrained minimization problem which also enables optimizing the trade-off between the probability of evading detection and the size of the injected payload. We empirically investigate this trade-off on two popular static Windows malware detectors, and show that our black-box attacks can bypass them with only few queries and small payloads, even when they only return the predicted labels. We also evaluate whether our attacks transfer to other commercial antivirus solutions, and surprisingly find that they can evade, on average, more than 12 commercial antivirus engines. We conclude by discussing the limitations of our approach, and its possible future extensions to target malware classifiers based on dynamic analysis.


title: Models of the Universe based on Jordan algebras

abstract: We propose a model for the universe based on Jordan algebras. The action consists of cubic terms with coefficients being the structure constants of a Jordan algebra. Coupling constants only enter the theory via symmetry breaking which also selects a physical vacuum. "Before" the symmetry breaking the universe is in a pre-geometric state where it makes no sense to talk about space or time, but time comes into existence with the symmetry breaking together with a Hamiltonian which can create space from "nothing" and in some cases can propagate the space to macroscopic size in a finite time. There exists symmetry breaking which results in macroscopic spacetime dimensions 3, 4, 6 and 10, based on the Jordan algebras of Hermitian 3x3 matrices with real, complex, quarternion and octonion entries,respectively.


title: SiTGRU: Single-Tunnelled Gated Recurrent Unit for Abnormality Detection

abstract: Abnormality detection is a challenging task due to the dependence on a specific context and the unconstrained variability of practical scenarios. In recent years, it has benefited from the powerful features learnt by deep neural networks, and handcrafted features specialized for abnormality detectors. However, these approaches with large complexity still have limitations in handling long term sequential data (e.g., videos), and their learnt features do not thoroughly capture useful information. Recurrent Neural Networks (RNNs) have been shown to be capable of robustly dealing with temporal data in long term sequences. In this paper, we propose a novel version of Gated Recurrent Unit (GRU), called Single Tunnelled GRU for abnormality detection. Particularly, the Single Tunnelled GRU discards the heavy weighted reset gate from GRU cells that overlooks the importance of past content by only favouring current input to obtain an optimized single gated cell model. Moreover, we substitute the hyperbolic tangent activation in standard GRUs with sigmoid activation, as the former suffers from performance loss in deeper networks. Empirical results show that our proposed optimized GRU model outperforms standard GRU and Long Short Term Memory (LSTM) networks on most metrics for detection and generalization tasks on CUHK Avenue and UCSD datasets. The model is also computationally efficient with reduced training and testing time over standard RNNs.


title: An Untethered Brittle Star-Inspired Soft Robot for Closed-Loop Underwater Locomotion

abstract: Soft robots are capable of inherently safer interactions with their environment than rigid robots since they can mechanically deform in response to unanticipated stimuli. However, their complex mechanics can make planning and control difficult, particularly with tasks such as locomotion. In this work, we present a mobile and untethered underwater crawling soft robot, PATRICK, paired with a testbed that demonstrates closed-loop locomotion planning. PATRICK is inspired by the brittle star, with five flexible legs actuated by a total of 20 shape-memory alloy (SMA) wires, providing a rich variety of possible motions via its large input space. We propose a motion planning infrastructure based on a simple set of PATRICK's motion primitives, and provide experiments showing that the planner can command the robot to locomote to a goal state. These experiments contribute the first examples of closed-loop, state-space goal seeking of an underwater, untethered, soft crawling robot, and make progress towards full autonomy of soft mobile robotic systems.


title: Bounding the expectation of the supremum of empirical processes indexed by H\"older classes

abstract: In this note, we provide upper bounds on the expectation of the supremum of empirical processes indexed by H\"older classes of any smoothness and for any distribution supported on a bounded set in $\mathbb R^d$. These results can be alternatively seen as non-asymptotic risk bounds, when the unknown distribution is estimated by its empirical counterpart, based on $n$ independent observations, and the error of estimation is quantified by the integral probability metrics (IPM). In particular, the IPM indexed by a H\"older class is considered and the corresponding rates are derived. These results interpolate between the two well-known extreme cases: the rate $n^{-1/d}$ corresponding to the Wassertein-1 distance (the least smooth case) and the fast rate $n^{-1/2}$ corresponding to very smooth functions (for instance, functions from an RKHS defined by a bounded kernel).


title: Polynomials under Ornstein-Uhlenbeck noise and an application to inference in stochastic Hodgkin-Huxley systems

abstract: We discuss estimation problems where a polynomial is observed under Ornstein Uhlenbeck noise over a long time interval. We prove local asymptotic normality (LAN) and specify asymptotically efficient estimators. We apply this to the following problem: feeding noise into the classical (deterministic) Hodgkin Huxley model of neuroscience, we are interested in asymptotically efficient estimation of the parameters of the noise process.


title: Re-purposing Heterogeneous Generative Ensembles with Evolutionary Computation

abstract: Generative Adversarial Networks (GANs) are popular tools for generative modeling. The dynamics of their adversarial learning give rise to convergence pathologies during training such as mode and discriminator collapse. In machine learning, ensembles of predictors demonstrate better results than a single predictor for many tasks. In this study, we apply two evolutionary algorithms (EAs) to create ensembles to re-purpose generative models, i.e., given a set of heterogeneous generators that were optimized for one objective (e.g., minimize Frechet Inception Distance), create ensembles of them for optimizing a different objective (e.g., maximize the diversity of the generated samples). The first method is restricted by the exact size of the ensemble and the second method only restricts the upper bound of the ensemble size. Experimental analysis on the MNIST image benchmark demonstrates that both EA ensembles creation methods can re-purpose the models, without reducing their original functionality. The EA-based demonstrate significantly better performance compared to other heuristic-based methods. When comparing both evolutionary, the one with only an upper size bound on the ensemble size is the best.


title: Robust mixing in self-consistent linearized augmented planewave calculations

abstract: We devise a mixing algorithm for full-potential (FP) all-electron calculations in the linearized augmented planewave (LAPW) method. Pulay's direct inversion in the iterative subspace is complemented with the Kerker preconditioner and further improvements to achieve smooth convergence, avoiding charge sloshing and noise in the exchange-correlation potential. As the Kerker preconditioner was originally designed for the planewave basis, we have adapted it to the FP-LAPW method and implemented in the exciting code. Applications to the $2\times 2$ Au(111) surface with a vacancy and to the Pd(111) surface demonstrate that this approach and our implementation work reliably with both density and potential mixing.


title: ALMA observations of NGC 6334S $-$ I: Forming massive stars and cluster in subsonic and transonic filamentary clouds

abstract: We present Atacama Large Millimeter/submillimeter Array (ALMA) and Karl G. Jansky Very Large Array (JVLA) observations of the massive infrared dark cloud NGC 6334S (also known as IRDC G350.56+0.44), located at the southwestern end of the NGC 6334 molecular cloud complex. The H$^{13}$CO$^{+}$ and the NH$_{2}$D lines covered by the ALMA observations at a $\sim$3$^{\prime\prime}$ angular resolution ($\sim$0.02 pc) reveal that the spatially unresolved non-thermal motions are predominantly subsonic and transonic, a condition analogous to that found in low-mass star-forming molecular clouds. The observed supersonic non-thermal velocity dispersions in massive star forming regions, often reported in the literature, might be significantly biased by poor spatial resolutions that broaden the observed line widths due to unresolved motions within the telescope beam. Our 3~mm continuum image resolves 49 dense cores, whose masses range from 0.17 to 14 $M_{\odot}$. The majority of them are resolved with multiple velocity components. Our analyses of these gas velocity components find an anti-correlation between the gas mass and the virial parameter. This implies that the more massive structures tend to be more gravitationally unstable. Finally, we find that the external pressure in the NGC 6334S cloud is important in confining these dense structures, and may play a role in the formation of dense cores, and subsequently, the embedded young stars.


title: Analytical evaluation of relativistic molecular integrals. III. Computation and results for molecular auxiliary functions

abstract: This work describes the fully analytical method for calculation of the molecular integrals over Slater-type orbitals with non-integer principal quantum numbers. These integrals are expressed through relativistic molecular auxiliary functions derived in our previous paper [Phys. Rev. E 91, 023303 (2015)]. The procedure for computation of the molecular auxiliary functions is detailed. It applies both in relativistic and non-relativistic electronic structure theory. It is capable of yielding highly accurate molecular integrals for all ranges of orbital parameters and quantum numbers.


title: Barycentric cuts through a convex body

abstract: Let $K$ be a convex body in $\mathbb{R}^n$ (i.e., a compact convex set with nonempty interior). Given a point $p$ in the interior of $K$, a hyperplane $h$ passing through $p$ is called barycentric if $p$ is the barycenter of $K \cap h$. In 1961, Gr\"{u}nbaum raised the question whether, for every $K$, there exists an interior point $p$ through which there are at least $n+1$ distinct barycentric hyperplanes. Two years later, this was seemingly resolved affirmatively by showing that this is the case if $p=p_0$ is the point of maximal depth in $K$. However, while working on a related question, we noticed that one of the auxiliary claims in the proof is incorrect. Here, we provide a counterexample; this re-opens Gr\"unbaum's question. It follows from known results that for $n \geq 2$, there are always at least three distinct barycentric cuts through the point $p_0 \in K$ of maximal depth. Using tools related to Morse theory we are able to improve this bound: four distinct barycentric cuts through $p_0$ are guaranteed if $n \geq 3$.


title: Super Resolution for Root Imaging

abstract: High-resolution cameras have become very helpful for plant phenotyping by providing a mechanism for tasks such as target versus background discrimination, and the measurement and analysis of fine-above-ground plant attributes. However, the acquisition of high-resolution (HR) imagery of plant roots is more challenging than above-ground data collection. Thus, an effective super-resolution (SR) algorithm is desired for overcoming resolution limitations of sensors, reducing storage space requirements, and boosting the performance of later analysis, such as automatic segmentation. We propose a SR framework for enhancing images of plant roots by using convolutional neural networks (CNNs). We compare three alternatives for training the SR model: i) training with non-plant-root images, ii) training with plant-root images, and iii) pretraining the model with non-plant-root images and fine-tuning with plant-root images. We demonstrate on a collection of publicly available datasets that the SR models outperform the basic bicubic interpolation even when trained with non-root datasets. Also, our segmentation experiments show that high performance on this task can be achieved independently of the SNR. Therefore, we conclude that the quality of the image enhancement depends on the application.


title: A piecewise linear model of self-organized hierarchy formation

abstract: The Bonabeau model of self-organized hierarchy formation is studied by using a piecewise linear approximation to the sigmoid function. Simulations of the piecewise-linear agent model show that there exist two-level and three-level hierarchical solutions, and that each agent exhibits a transition from non-ergodic to ergodic behaviors. Furthermore, by using a mean-field approximation to the agent model, it is analytically shown that there are asymmetric two-level solutions, even though the model equation is symmetric (asymmetry is introduced only through the initial conditions), and that linearly stable and unstable three-level solutions coexist. It is also shown that some of these solutions emerge through supercritical-pitchfork-like bifurcations in invariant subspaces. Existence and stability of the linear hierarchy solution in the mean-field model are also presented.


title: Geometric Origin of the Tennis Racket Effect

abstract: The tennis racket effect is a geometric phenomenon which occurs in a free rotation of a three-dimensional rigid body. In a complex phase space, we show that this effect originates from a pole of a Riemann surface and can be viewed as a result of the Picard-Lefschetz formula. We prove that a perfect twist of the racket is achieved in the limit of an ideal asymmetric object. We give upper and lower bounds to the twist defect for any rigid body, which reveals the robustness of the effect. A similar approach describes the Dzhanibekov effect in which a wing nut, spinning around its central axis, suddenly makes a half-turn flip around a perpendicular axis and the Monster flip, an almost impossible skate board trick.


title: Dynamics of the COVID-1 -- Comparison between the Theoretical Predictions and the Real Data, and Predictions about Returning to Normal Life

abstract: A new coronavirus disease, called COVID-19, appeared in the Chinese region of Wuhan at the end of last year; since then the virus spread to other countries, including most of Europe. We propose a differential equation governing the evolution of the COVID-19. This dynamic equation also describes the evolution of the number of infected people for 13 common respiratory viruses (including the SARS-CoV-2). We validate our theoretical predictions with experimental data for Italy, Belgium and Luxembourg, and compare them with the predictions of the logistic model. We find that our predictions are in good agreement with the real world since the beginning of the appearance of the COVID-19; this is not the case for the logistic model that only applies to the first days. The second part of the work is devoted to modelling the descending phase, i.e. the decrease of the number of people tested positive for COVID-19. Also in this case, we propose a new set of dynamic differential equations that we solved numerically. We use our differential equations parametrised with experimental data to make several predictions, such as the date when Italy, Belgium, and Luxembourg will reach a peak number of SARS-CoV-2 infected people. The descending curves provide valuable information such as the duration of the COVID-19 epidemic in a given Country and therefore when it will be possible to return to normal life. The study of the the dynamics of COVID-19 when the population have been subject to less restrictive measures is beyond the scope of this work and it will be matter of future works.


title: A Privacy-Preserving Distributed Architecture for Deep-Learning-as-a-Service

abstract: Deep-learning-as-a-service is a novel and promising computing paradigm aiming at providing machine/deep learning solutions and mechanisms through Cloud-based computing infrastructures. Thanks to its ability to remotely execute and train deep learning models (that typically require high computational loads and memory occupation), such an approach guarantees high performance, scalability, and availability. Unfortunately, such an approach requires to send information to be processed (e.g., signals, images, positions, sounds, videos) to the Cloud, hence having potentially catastrophic-impacts on the privacy of users. This paper introduces a novel distributed architecture for deep-learning-as-a-service that is able to preserve the user sensitive data while providing Cloud-based machine and deep learning services. The proposed architecture, which relies on Homomorphic Encryption that is able to perform operations on encrypted data, has been tailored for Convolutional Neural Networks (CNNs) in the domain of image analysis and implemented through a client-server REST-based approach. Experimental results show the effectiveness of the proposed architecture.


title: Bisimulation as a Logical Relation

abstract: We investigate how various forms of bisimulation can be characterised using the technology of logical relations. The approach taken is that each form of bisimulation corresponds to an algebraic structure derived from a transition system, and the general result is that a relation $R$ between two transition systems on state spaces $S$ and $T$ is a bisimulation if and only if the derived algebraic structures are in the logical relation automatically generated from $R$. We show that this approach works for the original Park-Milner bisimulation and that it extends to weak bisimulation, and branching and semi-branching bisimulation. The paper concludes with a discussion of probabilistic bisimulation, where the situation is slightly more complex, partly owing to the need to encompass bisimulations that are not just relations.


title: Glucose availability but not changes in pancreatic hormones sensitizes hepatic AMPK activity during nutritional transition in rodents

abstract: The cellular energy sensor AMP-activated protein kinase (AMPK) is a metabolic regulator that mediates adaptation to nutritional variations in order to maintain a proper energy balance in cells. We show here that suckling-weaning and fasting-refeeding transitions in rodents are associated with changes in AMPK activation and the cellular energy state in the liver. These nutritional transitions were characterized by a metabolic switch from lipid to glucose utilization, orchestrated by modifications in glucose levels and the glucagon:insulin ratio in the bloodstream. We therefore investigated the respective roles of glucose and pancreatic hormones on AMPK activation in mouse primary hepatocytes. We found that glucose starvation transiently activates AMPK, whereas changes in glucagon and insulin levels had no impact on AMPK. Challenge of hepatocytes with metformin-induced metabolic stress strengthened both AMPK activation and cellular energy depletion limited-glucose conditions, whereas neither glucagon nor insulin altered AMPK activation. Although both insulin and glucagon induced AMPK$\alpha$ phosphorylation at its Ser-485/491 residue, they did not affect its activity. Finally, the decrease in cellular ATP levels in response to an energy stress was additionally exacerbated under fasting conditions and by AMPK deficiency in hepatocytes, revealing metabolic inflexibility and emphasizing the importance of AMPK for maintaining hepatic energy charge. Our results suggest that nutritional changes (i.e. glucose availability), rather than the related hormonal changes (i.e. the glucagon:insulin ratio), sensitize AMPK activation to the energetic stress induced by the dietary transition during fasting. This effect is critical for preserving the cellular energy state in the liver.


title: Images of point charges in conducting ellipses and prolate spheroids

abstract: This is an investigation into the exact forms of images of point charges in 2D conducting ellipses and 3D prolate spheroids. For an ellipse with exterior point source, we compare two previous expressions for the analytic continuation inside the ellipse down to the focal line, the location of the image charge. For an interior source, we discover a sequence of image charges lying outside. For a point source close the surface of a spheroid, series solutions for the potential diverge in a region that encompasses the singularities of the continuation of the reflected potential inside the spheroid. We uncover an image system for a point charge on the axis of a prolate spheroid that extends from the focal segment somewhat further up the axis. For an off axis charge we find a new approximate image charge. For a point charge at the center of the spheroid, the image singularity is found to lie on an infinitely wide, flat sheet with a hole around the spheroid. For a point charge located anywhere inside the spheroid, we find two new approximate image charge solutions, a point charge in real space which applies when source lies near the surface, or a point charge in complex space which projects as a ring in the real space which applies when the source lies near the rotation axis. When the point charge lies exactly on a focal point, a multipole of order 1/2 is an ideal image approximation.


title: Translating Behavioral Theory into Technological Interventions: Case Study of an mHealth App to Increase Self-reporting of Substance-Use Related Data

abstract: Mobile health (mHealth) applications are a powerful medium for providing behavioral interventions, and systematic reviews suggest that theory-based interventions are more effective. However, how exactly theoretical concepts should be translated into features of technological interventions is often not clear. There is a gulf between the abstract nature of psychological theory and the concreteness of the designs needed to build health technologies. In this paper, we use SARA, a mobile app we developed to support substance-use research among adolescents and young adults, as a case study of a process of translating behavioral theory into mHealth intervention design. SARA was designed to increase adherence to daily self-report in longitudinal epidemiological studies. To achieve this goal, we implemented a number of constructs from the operant conditioning theory. We describe our design process and discuss how we operationalized theoretical constructs in the light of design constraints, user feedback, and empirical data from four formative studies.


title: CMOS compatible high-performance nanolasing based on perovskite-SiN hybrid integration

abstract: Coherent light sources in silicon photonics are the long-sought holy grail because silicon-based materials have indirect bandgap. Traditional strategies for realizing such sources, e.g., heterogeneous photonic integration, strain engineering and nonlinear process, are technologically demanding. Here, we demonstrate a hybrid lasing device composing of perovskite nanocrystals and silicon nitride nanobeam cavity. We fabricate SiN photonic crystal naonobeam cavities on a solid substrate with significantly improved thermal and mechanical stabilities compared to conventional suspended ones. In addition, adding a PMMA-encapsulation layer on top of the SiN can significantly boost the Q-factor of the cavity mode. By dispersing perovskite nanocrystals as emitters in the PMMA layer, we obtained high-performance coherent emissions in terms of lasing threshold, linewidth and mode volumes. Our work offers a compelling way of creating solution-processed active integrated photonic devices based on the mature platform of silicon photonics for applications in optical information science and photonic quantum technology.


title: Sex Differences in Severity and Mortality Among Patients With COVID-19: Evidence from Pooled Literature Analysis and Insights from Integrated Bioinformatic Analysis

abstract: Objective: To conduct a meta-analysis of current studies that examined sex differences in severity and mortality in patients with COVID-19, and identify potential mechanisms underpinning these differences. Methods: We performed a systematic review to collate data from observational studies examining associations of sex differences with clinical outcomes of COVID-19. PubMed, Web of Science and four preprint servers were searched for relevant studies. Data were extracted and analyzed using meta-analysis where possible, with summary data presented otherwise. Publicly available bulk RNA sequencing (RNA-seq), single-cell RNA sequencing (scRNA-seq), and chromatin immunoprecipitation sequencing (ChIP-seq) data were analyzed to explore the potential mechanisms underlying the observed association. Results: 39 studies met inclusion criteria, representing 77932 patients, of which 41510 (53.3%) were males. Men were at a markedly increased risk of developing severe cases compared with women. Furthermore, the pooled odds ratio (OR) of mortality for male group compared with the female group indicated significant higher mortality rate for male. Data from scRNA-seq suggest that men have a higher amount of ACE2-expressing pulmonary alveolar type II cells than women. Sex-based immunological differences exist. The expression of androgen receptor (AR) is positively correlated with ACE2, and there is evidence that AR may directly regulate the expression of ACE2. Conclusions: This meta-analysis detected an increased severity and mortality rate in the male populations with COVID-19, which might be attributable to the sex-based differences in cellular compositions and immunological microenvironments of the lung. The host cell receptor ACE2 is likely regulated by AR signaling pathway, which is identified as a potential target for prevention and treatment of SARS-Cov-2 infections in men.


title: Hyperplane arrangements in polymake

abstract: Hyperplane arrangements form the latest addition to the zoo of combinatorial objects dealt with by polymake. We report on their implementation and on a algorithm to compute the associated cell decomposition. The implemented algorithm performs significantly better than brute force alternatives, as it requires less convex hulls computations.


title: Rethinking Depthwise Separable Convolutions: How Intra-Kernel Correlations Lead to Improved MobileNets

abstract: We introduce blueprint separable convolutions (BSConv) as highly efficient building blocks for CNNs. They are motivated by quantitative analyses of kernel properties from trained models, which show the dominance of correlations along the depth axis. Based on our findings, we formulate a theoretical foundation from which we derive efficient implementations using only standard layers. Moreover, our approach provides a thorough theoretical derivation, interpretation, and justification for the application of depthwise separable convolutions (DSCs) in general, which have become the basis of many modern network architectures. Ultimately, we reveal that DSC-based architectures such as MobileNets implicitly rely on cross-kernel correlations, while our BSConv formulation is based on intra-kernel correlations and thus allows for a more efficient separation of regular convolutions. Extensive experiments on large-scale and fine-grained classification datasets show that BSConvs clearly and consistently improve MobileNets and other DSC-based architectures without introducing any further complexity. For fine-grained datasets, we achieve an improvement of up to 13.7 percentage points. In addition, if used as drop-in replacement for standard architectures such as ResNets, BSConv variants also outperform their vanilla counterparts by up to 9.5 percentage points on ImageNet. Code and models are available under https://github.com/zeiss-microscopy/BSConv.


title: Dependence of the surface tension and contact angle on the temperature, as described by the diffuse-interface model

abstract: Four results associated with the diffuse-interface model (DIM) for contact lines are reported in this paper. First, a boundary condition is derived, which states that the fluid near a solid wall must have a certain density $\rho_{0}$ depending on the solid's properties. Unlike previous derivations, the one presented here is based on the same physics as the DIM itself and does not require additional assumptions. Second, asymptotic estimates are used to check a conjecture lying at the foundation of the DIM, as well as all other models of contact lines: that liquid-vapor interfaces are nearly isothermal. It turns out that, for water, they are not -- although, for a more viscous fluid, they can be. The non-isothermaility occurs locally, near the interface, but can still affect the contact-line dynamics. Third, the DIM coupled with a realistic equation of state for water is used to compute the dependence of the surface tension $\sigma$ on the temperature $T$, which agrees well with the empiric $\sigma(T)$. Fourth, the same framework is used to compute the static contact angle of a water-vapor interface. It is shown that, with increasing temperature, the contact angle becomes either $180^{\circ}$ (perfect hydrophobicity) or $0^{\circ}$ (perfect hydrophilicity), depending on whether $\rho_{0}$ matches the density of saturated vapor or liquid, respectively. Such behavior presumably occurs in all fluids, not just water, and for all sufficiently strong variations of parameters, not just that of the temperature -- as corroborated by existing observations of drops under variable electric field.


title: European Language Grid: An Overview

abstract: With 24 official EU and many additional languages, multilingualism in Europe and an inclusive Digital Single Market can only be enabled through Language Technologies (LTs). European LT business is dominated by hundreds of SMEs and a few large players. Many are world-class, with technologies that outperform the global players. However, European LT business is also fragmented, by nation states, languages, verticals and sectors, significantly holding back its impact. The European Language Grid (ELG) project addresses this fragmentation by establishing the ELG as the primary platform for LT in Europe. The ELG is a scalable cloud platform, providing, in an easy-to-integrate way, access to hundreds of commercial and non-commercial LTs for all European languages, including running tools and services as well as data sets and resources. Once fully operational, it will enable the commercial and non-commercial European LT community to deposit and upload their technologies and data sets into the ELG, to deploy them through the grid, and to connect with other resources. The ELG will boost the Multilingual Digital Single Market towards a thriving European LT community, creating new jobs and opportunities. Furthermore, the ELG project organises two open calls for up to 20 pilot projects. It also sets up 32 National Competence Centres (NCCs) and the European LT Council (LTC) for outreach and coordination purposes.


title: BVI-DVC: A Training Database for Deep Video Compression

abstract: Deep learning methods are increasingly being applied in the optimisation of video compression algorithms and can achieve significantly enhanced coding gains, compared to conventional approaches. Such approaches often employ Convolutional Neural Networks (CNNs) which are trained on databases with relatively limited content coverage. In this paper, a new extensive and representative video database, BVI-DVC, is presented for training CNN-based video compression systems, with specific emphasis on machine learning tools that enhance conventional coding architectures, including spatial resolution and bit depth up-sampling, post-processing and in-loop filtering. BVI-DVC contains 800 sequences at various spatial resolutions from 270p to 2160p and has been evaluated on ten existing network architectures for four different coding tools. Experimental results show that this database produces significant improvements in terms of coding gains over three existing (commonly used) image/video training databases under the same training and evaluation configurations. The overall additional coding improvements by using the proposed database for all tested coding modules and CNN architectures are up to 10.3% based on the assessment of PSNR and 8.1% based on VMAF.


title: Bordifications of hyperplane arrangements and their curve complexes

abstract: The complement of an arrangement of hyperplanes in $\mathbb C^n$ has a natural bordification to a manifold with corners formed by removing (or "blowing up") tubular neighborhoods of the hyperplanes and certain of their intersections. When the arrangement is the complexification of a real simplicial arrangement, the bordification closely resembles Harvey's bordification of moduli space. We prove that the faces of the universal cover of the bordification are parameterized by the simplices of a simplicial complex $\mathcal{C}$, the vertices of which are the irreducible "parabolic subgroups" of the fundamental group of the arrangement complement. So, the complex $\mathcal{C}$ plays a similar role for an arrangement complement as the curve complex does for moduli space. Also, in analogy with curve complexes and with spherical buildings, we prove that $\mathcal{C}$ has the homotopy type of a wedge of spheres.


title: Dynamic Resilient Network Games with Applications to Multi-Agent Consensus

abstract: A cyber security problem in a networked system formulated as a resilient graph problem based on a game-theoretic approach is considered. The connectivity of the underlying graph of the network system is reduced by an attacker who removes some of the edges whereas the defender attempts to recover them. Both players are subject to energy constraints so that their actions are restricted and cannot be performed continuously. For this two-stage game, which is played repeatedly over time, we characterize the optimal strategies for the attacker and the defender in terms of edge connectivity and the number of connected components of the graph. The resilient graph game is then applied to a multi-agent consensus problem. We study how the attacks and the recovery on the edges affect the consensus process. Finally, we also provide numerical simulation to illustrate the results.


title: Causal Inference with Spatio-temporal Data: Estimating the Effects of Airstrikes on Insurgent Violence in Iraq

abstract: Many causal processes have spatial and temporal dimensions. Yet the classic causal inference framework is not directly applicable when the treatment and outcome variables are generated by spatio-temporal point processes. We extend the potential outcomes framework to these settings by formulating the treatment point process as a stochastic intervention. Our causal estimands include the expected number of outcome events in a specified area under a particular stochastic treatment assignment strategy. Our methodology allows for arbitrary patterns of spatial spillover and temporal carryover effects. Using martingale theory, we show that the proposed estimator is consistent and asymptotically normal as the number of time periods increases. We propose a sensitivity analysis for the possible existence of unmeasured confounders, and extend it to the Hajek estimator. Simulation studies are conducted to examine the estimators' finite sample performance. Finally, we illustrate the proposed methods by estimating the effects of American airstrikes on insurgent violence in Iraq from February 2007 to July 2008. Our analysis suggests that increasing the average number of daily airstrikes for up to one month may result in more insurgent attacks. We also find some evidence that airstrikes can displace attacks from Baghdad to new locations up to 400 kilometers away


title: The use of the canonical approach in effective models of QCD

abstract: We clarify regions where the canonical approach works well at the finite temperature and density in the Nambu-Jona-Lasinio (NJL) and Polyakov-NJL (PNJL) models. The canonical approach is a useful method for avoiding the sign problem in lattice QCD simulations at finite density, but it involves some parameters. We find that number densities computed from the canonical approach are consistent with exact values in most of the confinement phase within the parameters, which are applicable in lattice QCD.


title: Connectivity of Triangulation Flip Graphs in the Plane

abstract: Given a finite point set P in general position in the plane, a full triangulation is a maximal straight-line embedded plane graph on P. A partial triangulation is a full triangulation of some subset P' of P containing all extreme points in P. A bistellar flip on a partial triangulation flips an edge (an edge flip), removes a non-extreme point of degree 3, or adds a point in P \ P' as vertex of degree 3. The bistellar flip graph has all partial triangulations as vertices, and a pair of partial triangulations is adjacent if they can be obtained from one another by a bistellar flip. The edge flip graph is defined with full triangulations as vertices, and edge flips determining the adjacencies. Lawson showed in the early 70s that these graphs are connected. Our goal is to investigate these graphs, with emphasis on vertex connectivity. For sets of n points in the plane in general position, we show that the edge flip graph is (n/2-2)-connected, and the bistellar flip graph is (n-3)-connected; both results are tight. The latter bound matches the situation for the subfamily of regular triangulations, ie. partial triangulations obtained by lifting the points to 3-space and projecting back the lower convex hull. Here (n-3)-connectivity has been known since the late 80s via the secondary polytope due to Gelfand, Kapranov & Zelevinsky and Balinski's Theorem. For the edge flip-graphs, the vertex connectivity can be shown to be at least as large as (and hence equal to) the minimum degree, provided n is large enough. Our methods yield several other results.


title: A faster algorithm for the FSSP in one-dimensional CA with multiple speeds

abstract: In cellular automata with multiple speeds for each cell $i$ there is a positive integer $p_i$ such that this cell updates its state still periodically but only at times which are a multiple of $p_i$. Additionally there is a finite upper bound on all $p_i$. Manzoni and Umeo have described an algorithm for these (one-dimensional) cellular automata which solves the Firing Squad Synchronization Problem. This algorithm needs linear time (in the number of cells to be synchronized) but for many problem instances it is slower than the optimum time by some positive constant factor. In the present paper we derive lower bounds on possible synchronization times and describe an algorithm which is never slower and in some cases faster than the one by Manzoni and Umeo and which is close to a lower bound (up to a constant summand) in more cases.


title: Classical and Quantum Dispersion Relations

abstract: It is showed that, in general, classical and quantum dispersion relations are different due to the presence of the Bohm potential. There are exact particular solutions of the quantum (wave) theory which obey the classical dispersion relation, but they differ in the general case. The dispersion relations may also coincide when additional assumptions are made, such as WKB or eikonal approximations, for instance. This general result also holds for non--quantum wave equations derived from classical counterparts, such as in ray and wave optics, for instance. Explicit examples are given for covariant scalar, vectorial and tensorial fields in flat and curved spacetimes.


title: Discriminatory Price Mechanism for Smart Grid

abstract: We consider a scenario where a retailer can set different prices for different consumers in a smart grid. The retailer's objective is to maximize the revenue, minimize the operating cost, and maximize the consumer's welfare. The retailer wants to optimize a convex combination of the above objectives using price signals specific to each consumer. However, variability in unit prices across consumers is bounded by a parameter $\eta$, hence limiting the discrimination. We formulate the pricing problem as a Stackelberg game where the retailer is the leader and consumers are followers. Since the retailer's optimization problem turns out to be non-convex, we convexify it via relaxations. We provide performance guarantees for the relaxations in the asymptotic sense (when number of consumers tends to $\infty$). Further, we show that despite the variability in pricing, the pricing scheme proposed by our model is fair as higher prices are charged to consumers who have higher willingness for demand. We extend our analysis to the scenario where consumers can feed energy back to the grid via net-metering. We show that our pricing policy promotes fairness even in this scenario as prosumers who contribute more to the grid, are given large cuts on buying rates. The policy is also found to incentivize more prosumers to invest in renewable energy, thus encouraging sustainability.


title: On Biased Random Walks, Corrupted Intervals, and Learning Under Adversarial Design

abstract: We tackle some fundamental problems in probability theory on corrupted random processes on the integer line. We analyze when a biased random walk is expected to reach its bottommost point and when intervals of integer points can be detected under a natural model of noise. We apply these results to problems in learning thresholds and intervals under a new model for learning under adversarial design.


title: Statistical Bounds on CMB Bell Violation

abstract: Inspired the low $\ell$ cosmic variance we present a study on the statistical variance expected in observing Bell's inequality violation by primordial quantum states violation. We consider the statistical variance inherent to three sets of pseudo-spin operators used to construct Bell's inequality. We find that for a highly squeezed state, such as the relevant CMB states, the statistical variation will vanish and does not contribute to theoretical uncertainties.


title: Stochastic Flows and Geometric Optimization on the Orthogonal Group

abstract: We present a new class of stochastic, geometrically-driven optimization algorithms on the orthogonal group $O(d)$ and naturally reductive homogeneous manifolds obtained from the action of the rotation group $SO(d)$. We theoretically and experimentally demonstrate that our methods can be applied in various fields of machine learning including deep, convolutional and recurrent neural networks, reinforcement learning, normalizing flows and metric learning. We show an intriguing connection between efficient stochastic optimization on the orthogonal group and graph theory (e.g. matching problem, partition functions over graphs, graph-coloring). We leverage the theory of Lie groups and provide theoretical results for the designed class of algorithms. We demonstrate broad applicability of our methods by showing strong performance on the seemingly unrelated tasks of learning world models to obtain stable policies for the most difficult $\mathrm{Humanoid}$ agent from $\mathrm{OpenAI}$ $\mathrm{Gym}$ and improving convolutional neural networks.


title: Hypergraph Simplification: Linking the Path-sum Approach to the ZH-calculus

abstract: The ZH-calculus is a complete graphical calculus for linear maps between qubits that admits a straightforward encoding of hypergraph states and circuits arising from the Toffoli+Hadamard gate set. In this paper, we establish a correspondence between the ZH-calculus and the path-sum formalism, a technique recently introduced by Amy to verify quantum circuits. In particular, we find a bijection between certain canonical forms of ZH-diagrams and path-sum expressions. We then introduce and prove several new simplification rules for the ZH-calculus, which are in direct correspondence to the simplification rules of the path-sum formalism. The relatively opaque path-sum rules are shown to arise naturally from two powerful families of rewrite rules in the ZH-calculus. The first is the extension of the familiar graph-theoretic simplifications based on local complementation and pivoting to their hypergraph-theoretic analogues: hyper-local complementation and hyper-pivoting. The second is the graphical Fourier transform introduced by Kuijpers et al., which enables effective simplification of ZH-diagrams encoding multi-linear phase polynomials with arbitrary real coefficients.


title: Higher rank K-theoretic Donaldson-Thomas theory of points

abstract: We exploit the critical locus structure on the Quot scheme $\mathrm{Quot}_{\mathbb A^3}(\mathscr O^{\oplus r},n)$, in particular the associated symmetric obstruction theory, in order to define rank $r$ K-theoretic Donaldson-Thomas invariants of the Calabi-Yau $3$-fold $\mathbb A^3$. We compute the associated partition function as a plethystic exponential, proving a conjecture proposed in string theory by Awata-Kanno and Benini-Bonelli-Poggi-Tanzini. A crucial step in the proof is the fact that the invariants do not depend on the equivariant parameters of the framing torus $(\mathbb C^\ast)^r$. Reducing from K-theoretic to cohomological invariants, we compute the corresponding DT invariants, proving a conjecture of Szabo. Reducing further to enumerative DT invariants, we solve the higher rank DT theory of a pair $(X,F)$, where $F$ is an equivariant exceptional vector bundle on a projective toric $3$-fold $X$. Finally, we give a mathematical definition of the chiral elliptic genus studied in physics by Benini-Bonelli-Poggi-Tanzini. This allows us to define elliptic DT invariants of $\mathbb A^3$ in arbitrary rank, and to study their first properties.


title: Mechanics of a snap-fit

abstract: Snap-fits are versatile mechanical designs in industrial products, which enable the repeated assembling and disassembling of two solid parts. This important property is attributed to a fine balance between geometry, friction, and bending elasticity. In the present study, we combine theory, simulation, and experiment to reveal the fundamental physical principles of snap-fit functions in the simplest possible setup consisting of a rigid cylinder and a thin elastic shell. We construct a phase diagram using geometric parameters and identify four distinct mechanical phases. We develop analytical predictions based on the linear elasticity theory combined with the law of static friction and rationalize the numerical and experimental results. The study reveals how an operational asymmetry of snap-fits (i.e., easy to assemble but difficult to disassemble) emerges from an exquisite combination of geometry, elasticity, and friction and suggests optimization of the tunable functionalities for a range of mechanical designs.


title: Energy of a free Brownian particle coupled to thermal vacuum

abstract: Experimentalists have come to temperatures very close to absolute zero at which physics that was once ordinary becomes extraordinary. In such a regime quantum effects and fluctuations start to play a dominant role. In this context we study the simplest open quantum system, namely, a free quantum Brownian particle coupled to thermal vacuum, i.e. thermostat in the limiting case of absolute zero temperature. We analyze the average energy $E=E(c)$ of the particle from a weak to strong interaction strength $c$ between the particle and thermal vacuum. The impact of various dissipation mechanisms is considered. In the weak coupling regime the energy tends to zero as $E(c) \sim c\, \ln{(1/c)}$ while in the strong coupling regime it diverges to infinity as $E(c) \sim \sqrt{c}$. We demonstrate it for selected examples of the dissipation mechanisms defined by the memory kernel $\gamma(t)$ of the Generalized Langevin Equation. We reveal how at a fixed value of $c$ the energy $E(c)$ depends on the dissipation model: one has to compare values of the derivative $\gamma'(t)$ of the dissipation function $\gamma(t)$ at time $t=0$ or at the memory time $t=\tau_c$ which characterizes the degree of non-Markovianity of the Brownian particle dynamics. The impact of low temperature is also presented.


title: How to generate intense isolated attosecond pulses from relativistic plasma mirrors?

abstract: Doppler harmonic generation of a high-power laser on a relativistic plasma mirror is a promising path to produce bright attosecond light bursts. Yet, a major challenge has been to find a way to generate isolated attosecond pulses, better suited to timed-resolved experiments, rather than trains of pulses. A promising technique is the attosecond lighthouse effect, which consists in imprinting different propagation directions to successive attosecond pulses of the train, and then spatially filtering one pulse in the far field. However, in the relativistic regime, plasma mirrors get curved by the radiation pressure of the incident laser and thus focus the generated harmonic beams. This increases the harmonic beam divergence and makes it difficult to separate the attosecond pulses angularly. In this article, we propose two novel techniques readily applicable in experiments to significantly reduce the divergence of Doppler harmonics, and achieve the generation of isolated attosecond pulses from the lighthouse effect without requiring few-cycle laser pulses. Their validity is demonstrated using state-of-the-art simulations, which show that isolated attosecond pulses with $10$TW peak power in the X-UV range can be generated with PW-class lasers. These techniques can equally be applied to other generation mechanisms to alleviate the constraints on the duration on the laser pulses needed to generate isolated attosecond pulses.


title: Fast and accurate high-order method for high dimensional space-fractional reaction-diffusion equation with general boundary conditions

abstract: To achieve efficient and accurate long-time integration, we propose a fast, accurate, and stable high-order numerical method for solving fractional-in-space reaction-diffusion equations. The proposed method is explicit in nature and utilizes the fourth-order compact finite difference scheme and matrix transfer technique (MTT) in space with FFT-based implementation. Time integration is done through the accurate fourth-order modified exponential time differencing Runge-Kutta scheme. The linear stability analysis and various numerical experiments including two-dimensional (2D) Fitzhugh-Nagumo, Gierer-Meinhardt, Gray-Scott and three-dimensional (3D) Schnakenberg models are presented to demonstrate the accuracy, efficiency, and stability of the proposed method.


title: An Accurate Reconstruction of CMB E Mode Signal over Large Angular Scales using Prior Information of CMB Covariance Matrix in ILC Algorithm

abstract: In the recent years, the internal-linear-combination (ILC) method was investigated extensively in the context of reconstruction of Cosmic Microwave Background (CMB) temperature anisotropy signal using observations obtained by WMAP and Planck satellite missions. In this article, we, for the first time, apply the ILC method to reconstruct the large scale CMB E mode polarization signal, which serves as the unique probe of ionization history of the Universe, using simulated observations of 15 frequency CMB polarization maps of future generation COrE satellite mission. We find that usual ILC cleaned E mode map is highly erroneous due to presence of a chance-correlation between CMB and astrophysical foreground components in the empirical covariance matrix which is used to estimate the weight factors. The cleaned angular power spectrum for E mode is strongly biased and erroneous due to these chance correlation factors. In order to address the issues of bias and errors we extend and improve the usual ILC method for CMB E mode reconstruction by incorporating prior information of theoretical E mode angular power spectrum while estimating the weights for linear combination of input maps. Using the E mode covariance matrix effectively suppresses the CMB-foreground chance correlation power leading to an accurate reconstruction of cleaned CMB E mode map and its angular power spectrum. We provide a comparative study of the performance of the usual ILC and the new method over large angular scales of the sky and show that the later produces significantly statistically improved results than the former. The new E mode CMB angular power spectrum contains neither any significant negative bias at the low multipoles nor any positive foreground bias at relatively higher mutlipoles. The error estimates of the cleaned spectrum agree very well with the cosmic variance induced error.


title: Solvable delay model for epidemic spreading: the case of Covid-19 in Italy

abstract: We study a simple realistic model for describing the diffusion of an infectious disease on a population of individuals. The dynamics is governed by a single functional delay differential equation, which, in the case of a large population, can be solved exactly, even in the presence of a time-dependent infection rate. This delay model has a higher degree of accuracy than that of the so-called SIR model, commonly used in epidemiology, which, instead, is formulated in terms of ordinary differential equations. We apply this model to describe the outbreak of the new infectious disease, Covid-19, in Italy, taking into account the containment measures implemented by the government in order to mitigate the spreading of the virus and the social costs for the population.


title: Dominating surface-group representations into $\mathrm{PSL}_2 (\mathbb{C})$ in the relative representation variety

abstract: Let $\rho$ be a representation of the fundamental group of a punctured surface into $\mathrm{PSL}_2 (\mathbb{C})$ that is not Fuchsian. We prove that there exists a Fuchsian representation that strictly dominates $\rho$ in the simple length spectrum, and preserves the boundary lengths. This extends a result of Gueritaud-Kassel-Wolff to the case of $\mathrm{PSL}_2 (\mathbb{C})$-representations. Our proof involves straightening the pleated plane in $\mathbb{H}^3$ determined by the Fock-Goncharov coordinates of a framed representation, and applying strip-deformations.


title: Invariant subspaces of the integration operators on H\"ormander algebras and Korenblum type spaces

abstract: We describe the proper closed invariant subspaces of the integration operator when it acts continuously on countable intersections and countable unions of weighted Banach spaces of holomorphic functions on the unit disc or the complex plane. Applications are given to the case of Korenblum type spaces and H\"ormander algebras of entire functions.