title: Energy Conservation for the Compressible Euler and Navier-Stokes Equations with Vacuum

abstract: We consider the compressible isentropic Euler equations on $\mathbb{T}^d\times [0,T]$ with a pressure law $p\in C^{1,\gamma-1}$, where $1\le \gamma <2$. This includes all physically relevant cases, e.g.\ the monoatomic gas. We investigate under what conditions on its regularity a weak solution conserves the energy. Previous results have crucially assumed that $p\in C^2$ in the range of the density, however, for realistic pressure laws this means that we must exclude the vacuum case. Here we improve these results by giving a number of sufficient conditions for the conservation of energy, even for solutions that may exhibit vacuum: Firstly, by assuming the velocity to be a divergence-measure field; secondly, imposing extra integrability on $1/\rho$ near a vacuum; thirdly, assuming $\rho$ to be quasi-nearly subharmonic near a vacuum; and finally, by assuming that $u$ and $\rho$ are H\"older continuous. We then extend these results to show global energy conservation for the domain $\Omega\times [0,T]$ where $\Omega$ is bounded with a $C^2$ boundary. We show that we can extend these results to the compressible Navier-Stokes equations, even with degenerate viscosity.


title: Loop calculations for models of graphene

abstract: The various Gross-Neveu classes of quantum field theories are of interest in the study of a particular phase transition in graphene. We review recent activity in the determination of several critical exponents in the chiral Heisenberg Gross-Neveu universality class using the critical point large $N$ technique which includes the use of the large $N$ conformal bootstrap method.


title: Transition in relaxation paths in allosteric molecules: enzymatic kinetically constrained model

abstract: A hierarchy of timescales is ubiquitous in biological systems, where enzymatic reactions play an important role because they can hasten the relaxation to equilibrium. We introduced a statistical physics model of interacting spins that also incorporates enzymatic reactions to extend the classic model for allosteric regulation. Through Monte Carlo simulations, we found that the relaxation dynamics are much slower than the elementary reactions and are logarithmic in time with several plateaus, as is commonly observed for glasses. This is because of the kinetic constraints from the cooperativity via the competition for an enzyme, which has different affinity for molecules with different structures. Our model showed symmetry breaking in the relaxation trajectories that led to inherently kinetic transitions without any correspondence to the equilibrium state. In this paper, we discuss the relevance of these results for diverse responses in biology.


title: Deep RTS: A Game Environment for Deep Reinforcement Learning in Real-Time Strategy Games

abstract: Reinforcement learning (RL) is an area of research that has blossomed tremendously in recent years and has shown remarkable potential for artificial intelligence based opponents in computer games. This success is primarily due to the vast capabilities of convolutional neural networks, that can extract useful features from noisy and complex data. Games are excellent tools to test and push the boundaries of novel RL algorithms because they give valuable insight into how well an algorithm can perform in isolated environments without the real-life consequences. Real-time strategy games (RTS) is a genre that has tremendous complexity and challenges the player in short and long-term planning. There is much research that focuses on applied RL in RTS games, and novel advances are therefore anticipated in the not too distant future. However, there are to date few environments for testing RTS AIs. Environments in the literature are often either overly simplistic, such as microRTS, or complex and without the possibility for accelerated learning on consumer hardware like StarCraft II. This paper introduces the Deep RTS game environment for testing cutting-edge artificial intelligence algorithms for RTS games. Deep RTS is a high-performance RTS game made specifically for artificial intelligence research. It supports accelerated learning, meaning that it can learn at a magnitude of 50 000 times faster compared to existing RTS games. Deep RTS has a flexible configuration, enabling research in several different RTS scenarios, including partially observable state-spaces and map complexity. We show that Deep RTS lives up to our promises by comparing its performance with microRTS, ELF, and StarCraft II on high-end consumer hardware. Using Deep RTS, we show that a Deep Q-Network agent beats random-play agents over 70% of the time. Deep RTS is publicly available at https://github.com/cair/DeepRTS.


title: On the characterisation of a hitherto unreported icosahedral quasicrystal phase in additively manufactured aluminium alloy AA7075

abstract: Aluminium alloy AA7075 (Al-Zn-Mg-Cu) specimens were prepared using selective laser melting, also known as powder bed fusion additive manufacturing. In the as-manufactured state, which represents a locally rapidly solidified condition, the prevalence of a previously unreported icosahedral quasicrystal with 5-fold symmetry was observed. The icosahedral quasicrystal, which has been termed nu-phase, was comprised of Zn, Cu and Mg.


title: How the IMF $\mathit{B}_{y}$ Induces a Local $\mathit{B}_{y}$ Component During Northward IMF $\mathit{B}_{z}$ and Characteristic Timescales

abstract: We use the Lyon-Fedder-Mobarry global magnetohydrodynamics model to study the effects of the interplanetary magnetic field (IMF) $\mathit{B}_{y}$ component on the coupling between the solar wind and magnetosphere-ionosphere system when IMF $\mathit{B}_{z}$ $>$0. We describe the evolution of how a magnetospheric $\mathit{B}_{y}$ component is induced on closed field lines during these conditions. Starting from dayside lobe reconnection, the magnetic tension on newly reconnected field lines redistribute the open flux asymmetrically between the two hemispheres. This results in asymmetric magnetic energy density in the lobes. Shear flows are induced to restore equilibrium, and these flows are what effectively induces a local $\mathit{B}_{y}$ component. We show the radial dependence of the induced $\mathit{B}_{y}$ and compare the results to the induced $\mathit{B}_{y}$ during southward IMF conditions. We also show the response and reconfiguration time of the inner magnetosphere to IMF $\mathit{B}_{y}$ reversals during northward IMF $\mathit{B}_{z}$. A superposed epoch analysis of magnetic field measurements from seven Geostationary Operational Environmental Satellite spacecraft at different local times both for negative-to-positive and positive-to-negative IMF $\mathit{B}_{y}$ reversals is presented. We find that the induced $\mathit{B}_{y}$ responds within 16 min of the arrival of IMF $\mathit{B}_{y}$ at the bow shock, and it completely reconfigures within 47 min.


title: Structural transition in social networks: The role of homophily

abstract: We introduce a model for the formation of social networks, which takes into account the homophily or the tendency of individuals to associate and bond with similar others, and the mechanisms of global and local attachment as well as tie reinforcement due to social interactions between people. We generalize the weighted social network model such that the nodes or individuals have $F$ features and each feature can have $q$ different values. Here the tendency for the tie formation between two individuals due to the overlap in their features represents homophily. We find a phase transition as a function of $F$ or $q$, resulting in a phase diagram. For fixed $q$ and as a function of $F$ the system shows two phases separated at $F_c$. For $F{<}F_c$ large, homogeneous, and well separated communities can be identified within which the features match almost perfectly (segregated phase). When $F$ becomes larger than $F_c$, the nodes start to belong to several communities and within a community the features match only partially (overlapping phase). Several quantities reflect this transition, including the average degree, clustering coefficient, feature overlap, and the number of communities per node. We also make an attempt to interpret these results in terms of observations on social behavior of humans.


title: Real time optical observation and control of atomically thin transition metal dichalcogenide synthesis

abstract: Understanding the mechanisms involved in chemical vapour deposition (CVD) synthesis of atomically thin transition metal dichalcogenides (TMDCs) requires the precise control of numerous growth parameters. All the proposed mechanisms and their relation to the growth conditions are inferred from characterising intermediate formations obtained by stopping the growth blindly. To fully understand the reaction routes that lead to the monolayer formation, real time observation and control of the growth are needed. Here, we demonstrate how a custom-made CVD chamber that allows real time optical monitoring can be employed to study the reaction routes that are critical to the production of the desired layered thin crystals in salt assisted TMDC synthesis. Our real time observations reveal the reaction between the salt and the metallic precursor to form intermediate compounds which lead to the layered crystal formation. We identified that both the vapour-solid-solid and vapour-liquid-solid growth routes are in an interplay. Furthermore, we demonstrate the role H$_{2}$ plays in the salt-assisted WSe$_{2}$ synthesis. Finally, we guided the crystal formation by directing the liquid intermediate compound through pre-patterned channels. The methods presented in this article can be extended to other materials that can be synthesized via CVD.


title: Game-theoretic dynamic investment model with incomplete information: futures contracts

abstract: Over the past few years, the futures market has been successfully developing in the North-West region. Futures markets are one of the most effective and liquid-visible trading mechanisms. A large number of buyers are forced to compete with each other and raise their prices. A large number of sellers make them reduce prices. Thus, the gap between the prices of offers of buyers and sellers is reduced due to high competition, and this is a good criterion for the liquidity of the market. This high degree of liquidity contributed to the fact that futures trading took such an important role in commerce and finance. A multi-step, non-cooperative n persons game is formalized and studied


title: In-line detection and reconstruction of multi-photon quantum states

abstract: Integrated single-photon detectors open new possibilities for monitoring inside quantum photonic circuits. We present a concept for the in-line measurement of spatially-encoded multi-photon quantum states, while keeping the transmitted ones undisturbed. We theoretically establish that by recording photon correlations from optimally positioned detectors on top of coupled waveguides with detuned propagation constants, one can perform robust reconstruction of the density matrix describing the amplitude, phase, coherence and quantum entanglement. We report proof-of-principle experiments using classical light, which emulates single-photon regime. Our method opens a pathway towards practical and fast in-line quantum measurements for diverse applications in quantum photonics.


title: Planetary wave-like oscillations in the ionosphere retrieved with a longitudinal chain of ionosondes at high northern latitudes

abstract: This paper examines the influence of neutral dynamics on the high latitude ionosphere. Using a longitudinal chain of ionosondes at high northern latitudes ($52\,^{\circ}{\rm}$-$65\,^{\circ}{\rm}$N), planetary wave-like structures were observed in the spatial structure of the peak electron density in the ionosphere. Longitudinal wavenumbers S$_{0}$, S$_{1}$ and S$_{2}$ have been extracted from these variations of the F layer. The observed wave activity in wavenumber one and two does not show any significant correlation with indices of magnetic activity, suggesting that this is not the primary driver. In addition, the motion of the S$_{1}$ ionospheric wave structures parallels that of the S$_{1}$ planetary waves observed in the winds of the mesosphere-lower-thermosphere derived from a longitudinal array of SuperDARN meteor-radar wind measurements. The time delay between the motions of the wave structures would indicate a indirect coupling, commensurate with the diffusion to the ionosphere of mesospheric atomic oxygen perturbations.


title: The de Sitter swampland conjecture and supersymmetric AdS vacua

abstract: It has recently been conjectured that string theory does not admit de Sitter critical points. This note points out that in several cases, including KKLT or racetrack models, this statement is equivalent to the absence of supersymmetric Minkowski or AdS solutions. This equivalence arises from establishing the positivity of the potential in a large-radius limit, requiring a turnover of the potential before reaching an AdS vacuum. For example, this conjecture is incompatible with the simplest 1-modulus KKLT AdS supersymmetric solution.


title: A broadband fiber-optic nonlinear interferometer

abstract: We describe an all-fiber nonlinear interferometer based on four-wave mixing in highly nonlinear fiber. Our configuration realizes phase-sensitive interference with 97% peak visibility and >90% visibility over a broad 554 GHz optical band. By comparing the output noise power to the shot-noise level, we confirm noise cancellation at dark interference fringes, as required for quantum-enhanced sensitivity. Our device extends nonlinear interferometry to the important platform of highly nonlinear optical fiber, and could find application in a variety of fiber-based sensors.


title: An unusual series of autonomous discrete integrable equations on the square lattice

abstract: We present an infinite series of autonomous discrete equations on the square lattice possessing hierarchies of autonomous generalized symmetries and conservation laws in both directions. Their orders in both directions are equal to $\kappa N$, where $\kappa$ is an arbitrary natural number and $N$ is equation number in the series. Such a structure of hierarchies is new for discrete equations in the case $N>2$. Symmetries and conservation laws are constructed by means of the master symmetries. Those master symmetries are found in a direct way together with generalized symmetries. Such construction scheme seems to be new in the case of conservation laws. One more new point is that, in one of directions, we introduce the master symmetry time into coefficients of discrete equations. In most interesting case $N=2$ we show that a second order generalized symmetry is closely related to a relativistic Toda type integrable equation. As far as we know, this property is very rare in the case of autonomous discrete equations.


title: Atmospheres and wind properties of non-spherical AGB stars

abstract: The wind-driving mechanism of asymptotic giant branch (AGB) stars is commonly attributed to a two-step process: first, gas in the stellar atmosphere is levitated by shockwaves caused by stellar pulsation, then accelerated outwards by radiative pressure on newly formed dust, inducing a wind. Dynamical modelling of such winds usually assumes a spherically symmetric star. We explore the potential consequences of complex stellar surface structures, as predicted by three-dimensional (3D) star-in-a-box modelling of M-type AGB stars, on the resulting wind properties with the aim to improve the current wind models. Two different modelling approaches are used; the CO$^5$BOLD 3D star-in-a-box code to simulate the convective, pulsating interior and lower atmosphere of the star, and the DARWIN one-dimensional (1D) code to describe the dynamical atmosphere where the wind is accelerated. The gas dynamics of the inner atmosphere region at distances of $R\sim1-2R_\star$, which both modelling approaches simulate, are compared. Dynamical properties and luminosity variations derived from CO$^5$BOLD interior models are used as input for the inner boundary in DARWIN wind models in order to emulate the effects of giant convection cells and pulsation, and explore their influence on the dynamical properties. The CO$^5$BOLD models are inherently anisotropic, with non-uniform shock fronts and varying luminosity amplitudes, in contrast to the spherically symmetrical DARWIN wind models. DARWIN wind models with CO$^5$BOLD-derived inner boundary conditions produced wind velocities and mass-loss rates comparable to the standard DARWIN models, however the winds show large density variations on time-scales of 10-20 years.


title: Spin density wave as a superposition of two magnetic states of opposite chirality and its implications

abstract: A magnetic solid with weak spin frustration tends to adopt a noncollinear magnetic structure such as cycloidal structure below a certain temperature and a spin density wave (SDW) slightly above this temperature. The causes for these observa-tions were explored by studying the magnetic structures of BaYFeO4, which undergoes an SDW and a cycloidal phase transi-tion below 48 and 36 K, respectively, in terms of density func-tional theory calculations. We show that an SDW structure aris-es from a superposition of two magnetic states of opposite chi-rality, an SDW state precedes a chiral magnetic state due to the lattice relaxation, and whether an SDW is transversal or longitudinal is governed by the magnetic anisotropy of magnetic ions.


title: Viable Inflation in Scalar-Gauss-Bonnet Gravity and Reconstruction from Observational Indices

abstract: In this paper the focus is on inflationary dynamics in the context of Einstein Gauss-Bonnet gravitational theories. We investigate the implications of the slow-roll condition on the slow-roll indices and we investigate how the inflationary dynamical evolution is affected by the presence of the Gauss-Bonnet coupling to the scalar field. For exemplification of our analysis we investigate how the dynamics of inflationary cubic, quartic order and also exponential scalar potentials are affected by the non-trivial Gauss-Bonnet coupling to the scalar field. As we demonstrate it is possible to obtain a viable phenomenology compatible with the observational data, although the canonical scalar field theory with cubic and quartic order potentials does not yield phenomenologically acceptable results. In addition, with regard to the exponential potential example, the Einstein Gauss-Bonnet extension of the single canonical scalar field model has an inherent mechanism that can trigger the graceful exit from inflation. Furthermore we introduce a bottom-up reconstruction technique, in the context of which by fixing the tensor-to-scalar ratio and the Hubble rate as a function of the $e$-foldings number, one is capable of reproducing the Einstein Gauss-Bonnet theory which generates the aforementioned quantities. We illustrate how the method works by using some relatively simple examples.


title: Utilization of Water Supply Networks for Harvesting Renewable Energy

abstract: Renewable surplus power is increasing due to the increasing penetration of these intermittent resources. In practice, electric grid operators either curtail the surplus energy resulting from renewable-based generations or utilize energy storage resources to absorb it. In this paper, we propose a framework for utilizing water pumps and tanks in water supply networks to absorb the surplus electrical energy resulting from renewable-based electricity generation resources in the electrical grid. We model water supply networks analytically, and propose a two-step procedure that utilizes the water tanks in the water supply network to harvest the surplus energy from an electrical grid. In each step, the water network operator needs to solve an optimization problem that is non-convex. To compute optimal pump schedules and water flows, we develop a second-order cone relaxation and an approximation technique that enable us to transform the proposed problems into mixed-integer second-order cone programs. We then provide the conditions under which the proposed relaxation is exact, and present an algorithm for constructing an exact solution to the original problem from a solution to the relaxed problem. We demonstrate the effectiveness of the proposed framework via numerical simulations.


title: Dynamics of Many-Body Quantum Synchronisation

abstract: We analyse the properties of the synchronisation transition in a many-body system consisting of quantum van der Pol oscillators with all-to-all coupling using a self-consistent mean-field method. We find that the synchronised state, which the system can access for oscillator couplings above a critical value, is characterised not just by a lower phase uncertainty than the corresponding unsynchronised state, but also a higher number uncertainty. Just below the critical coupling the system can evolve to the unsynchronised steady state via a long-lived transient synchronised state. We investigate the way in which this transient state eventually decays and show that the critical scaling of its lifetime is consistent with a simple classical model.


title: Factorizations of Quantum Channels

abstract: We find a connection between the existence of a factorization of a quantum channel and the existence of low-rank solutions to certain linear matrix equations. Using this, we show that if a quantum channel is factorized by a direct integral of factors, it must lie in the convex hull of quantum channels which are factorized respectively by the factors in the direct integral. We use this to characterize some non-trivial extreme points in the set of factorizable quantum channels and give an example.


title: Coupled-channel effects in hadron-hadron correlation functions

abstract: Two-particle momentum correlation functions as measured in heavy ion collisions or in high-energetic proton-proton collisions are studied. Special emphasis is put on systems like $\Lambda\Lambda$ or $K^-p$ where effects from the coupling to other channels could be relevant. In both cases other channels open at relatively low momenta or are already open at the reaction threshold. To have a solid basis, realistic coupled-channel interactions for $\Lambda\Lambda-\Xi N-\Lambda\Sigma-\Sigma\Sigma$ and $\pi\Lambda-\pi\Sigma-\bar KN$ are utilized in the actual calculations. It is found that the opening of the $\Xi N$ channel leaves a trace in the $\Lambda\Lambda$ correlation function that could be detectable in experiments. Should the proposed $H$-dibaryon be located close to or below the $\Xi N$ it will have a very pronounced effect. The presence of open channels in systems like $\Xi^- p$ or $K^-p$ does influence the correlation functions significantly at low momenta and will certainly complicate any dedicated analysis.


title: A Comparative Study of Bug Algorithms for Robot Navigation

abstract: This paper presents a literature survey and a comparative study of Bug Algorithms, with the goal of investigating their potential for robotic navigation. At first sight, these methods seem to provide an efficient navigation paradigm, ideal for implementations on tiny robots with limited resources. Closer inspection, however, shows that many of these Bug Algorithms assume perfect global position estimate of the robot which in GPS-denied environments implies considerable expenses of computation and memory -- relying on accurate Simultaneous Localization And Mapping (SLAM) or Visual Odometry (VO) methods. We compare a selection of Bug Algorithms in a simulated robot and environment where they endure different types noise and failure-cases of their on-board sensors. From the simulation results, we conclude that the implemented Bug Algorithms' performances are sensitive to many types of sensor-noise, which was most noticeable for odometry-drift. This raises the question if Bug Algorithms are suitable for real-world, on-board, robotic navigation as is. Variations that use multiple sensors to keep track of their progress towards the goal, were more adept in completing their task in the presence of sensor-failures. This shows that Bug Algorithms must spread their risk, by relying on the readings of multiple sensors, to be suitable for real-world deployment.


title: Frame-validity games and lower bounds on the complexity of modal axioms

abstract: We introduce frame-equivalence games tailored for reasoning about the size, modal depth, number of occurrences of symbols and number of different propositional variables of modal formulae defining a given frame-property. Using these games, we prove lower bounds on the above measures for a number of well-known modal axioms; what is more, for some of the axioms, we show that they are optimal among the formulae defining the respective class of frames.


title: Constraining the gap size in the disk around HD 100546 in the mid-infrared

abstract: We refine the gap size measurements of the disk surrounding the Herbig Ae star HD 100546 in the N band. Our new mid-infrared interferometric (MIDI) data have been taken with the UT baselines and span the full range of orientations. The correlated fluxes show a wavy pattern in which the minima separation links to a geometrical structure in the disk. We fit each correlated flux measurement with a spline function, deriving the corresponding spatial scale, while assuming that the pattern arises interferometrically due to the bright emission from the inner disk and the opposing sides of the wall of the outer disk. We then fit an ellipse to the derived separations at their corresponding position angles, thereby using the observations to constrain the disk inclination to i =47 +/- 1 degree and the disk position angle to PA =135.0 +/- 2.5 degree East of North, both of which are consistent with the estimated values in previous studies. We also derive the radius of the ellipse to 15.7 +/- 0.8 au. To confirm that the minima separations translate to a geometrical structure in the disk, we model the disk of HD 100546 using a semi-analytical approach taking into account the temperature and optical depth gradients. Using this model, we simultaneously reproduce the level and the minima of the correlated fluxes and constrain the gap size of the disk for each observation. The values obtained for the projected gap size in different orientations are consistent with the separation found by the geometrical model.


title: Google Scholar, Web of Science, and Scopus: a systematic comparison of citations in 252 subject categories

abstract: Despite citation counts from Google Scholar (GS), Web of Science (WoS), and Scopus being widely consulted by researchers and sometimes used in research evaluations, there is no recent or systematic evidence about the differences between them. In response, this paper investigates 2,448,055 citations to 2,299 English-language highly-cited documents from 252 GS subject categories published in 2006, comparing GS, the WoS Core Collection, and Scopus. GS consistently found the largest percentage of citations across all areas (93%-96%), far ahead of Scopus (35%-77%) and WoS (27%-73%). GS found nearly all the WoS (95%) and Scopus (92%) citations. Most citations found only by GS were from non-journal sources (48%-65%), including theses, books, conference papers, and unpublished materials. Many were non-English (19%-38%), and they tended to be much less cited than citing sources that were also in Scopus or WoS. Despite the many unique GS citing sources, Spearman correlations between citation counts in GS and WoS or Scopus are high (0.78-0.99). They are lower in the Humanities, and lower between GS and WoS than between GS and Scopus. The results suggest that in all areas GS citation data is essentially a superset of WoS and Scopus, with substantial extra coverage.


title: Shedding Light on Black Box Machine Learning Algorithms: Development of an Axiomatic Framework to Assess the Quality of Methods that Explain Individual Predictions

abstract: From self-driving vehicles and back-flipping robots to virtual assistants who book our next appointment at the hair salon or at that restaurant for dinner - machine learning systems are becoming increasingly ubiquitous. The main reason for this is that these methods boast remarkable predictive capabilities. However, most of these models remain black boxes, meaning that it is very challenging for humans to follow and understand their intricate inner workings. Consequently, interpretability has suffered under this ever-increasing complexity of machine learning models. Especially with regards to new regulations, such as the General Data Protection Regulation (GDPR), the necessity for plausibility and verifiability of predictions made by these black boxes is indispensable. Driven by the needs of industry and practice, the research community has recognised this interpretability problem and focussed on developing a growing number of so-called explanation methods over the past few years. These methods explain individual predictions made by black box machine learning models and help to recover some of the lost interpretability. With the proliferation of these explanation methods, it is, however, often unclear, which explanation method offers a higher explanation quality, or is generally better-suited for the situation at hand. In this thesis, we thus propose an axiomatic framework, which allows comparing the quality of different explanation methods amongst each other. Through experimental validation, we find that the developed framework is useful to assess the explanation quality of different explanation methods and reach conclusions that are consistent with independent research.


title: Impact-induced collapse of an inclined wet granular layer

abstract: The collapse of an inclined cohesive granular layer triggered by a certain perturbation can be a model for not only landslides on Earth but also relaxations of asteroidal surface terrains. To understand such terrain dynamics, we conduct a series of experiments of a solid-projectile impact onto an inclined wet granular layer with various water contents and inclination angles. As a result, we find two types of outcomes: "crater formation" and "collapse". The "collapse" phase is observed when the inclination angle is close to the maximum stable angle and the impact-induced vibration at the bottom of wet granular layer is sufficiently strong. To explain the collapse condition, we propose a simple block model considering the maximum stable angle, inclination angle, and impact-induced vibrational acceleration. Additionally, the attenuating propagation of the impact-induced vibrational acceleration is estimated on the basis of three-dimensional numerical simulations with discrete element method using dry particles. By combining wet-granular experiments and dry-granular simulations, we find that the impact-induced acceleration attenuates anisotropically in space. With a help of this attenuation form, the physical conditions to induce the collapse can be estimated using the block model.


title: libhclooc: Software Library Facilitating Out-of-core Implementations of Accelerator Kernels on Hybrid Computing Platforms

abstract: Hardware accelerators such as Graphics Processing Units (GPUs), Intel Xeon Phi co-processors (PHIs), and Field-Programmable Gate Arrays (FPGAs) are now ubiquitous in extreme-scale high performance computing (HPC), cloud, and Big data platforms to facilitate execution of workloads that demand high energy efficiency. They present unique interfaces and programming models therefore posing several limitations, which must be addressed to facilitate execution of large workloads. There is no library providing a unifying interface that allows programmers to write reusable out-of-core implementations of their data-parallel kernels that can run efficiently on different mainstream accelerators such as GPUs, PHIs, and FPGAs. We address this shortage in this paper. We present a library called libhclooc, which provides a unifying interface facilitating out-of-core implementations for data parallel kernels on the three different mainstream accelerators (GPUs, Intel Xeon Phis, FPGAs). We implement out-of-core matrix-matrix multiplication (MMOOC) using the libhclooc API and demonstrate its superior performance over vendor implementations. We show that it suffers from a maximum overhead of 10%, 4%, and 8% (due to abstraction) compared to the state-of-the-art optimised implementations for Nvidia K40c GPU, Nvidia P100 PCIe GPU, and Intel Xeon Phi 3120P respectively. We also show that using libhclooc API reduces the number of lines of code (LOC) by 75% thereby drastically improving programmer productivity.


title: Test of semi-local duality in a large $N_C$ framework

abstract: In this paper we test the semi-local duality based on the method of Ref.[1] for calculating final-state interactions at varying number of colors ($N_C$). We compute the amplitudes by dispersion relations that respect analyticity and coupled channel unitarity, as well as accurately describing experiment. The $N_C$ dependence of the $\pi\pi\to\pi\pi$ scattering amplitudes is obtained by comparing these amplitudes to the one of chiral perturbation theory. The semi-local duality is investigated by varying $N_C$. Our results show that the semi-local duality is not violated when $N_C$ is large. At large $N_C$, the contributions of the $f_2(1270)$, the $f_0(980)$ and the $f_0(1370)$ cancel that of the $\rho(770)$ in the finite energy sum rules, while the $f_0(500)$ has almost no effect. This gives further credit to the method developed in Ref.[1] for investigating the $N_C$ dependence of hadron-hadron scattering with final-state interactions. This study is also helpful to understand the structure of the scalar mesons.


title: Cold optical design for the Large Aperture Simons Observatory telescope

abstract: The Simons Observatory will consist of a single large (6 m diameter) telescope and a number of smaller (0.5 m diameter) refracting telescopes designed to measure the polarization of the Cosmic Microwave Background to unprecedented accuracy. The large aperture telescope is the same design as the CCAT-prime telescope, a modified Crossed Dragone design with a field-of-view of over 7.8 degrees diameter at 90 GHz. This paper presents an overview of the cold reimaging optics for this telescope and what drove our choice of 350-400 mm diameter silicon lenses in a 2.4 m cryostat over other possibilities. We will also consider the future expandability of this design to CMB Stage-4 and beyond.


title: An operational interpretation of coinductive types

abstract: We introduce an operational rewriting-based semantics for strictly positive nested higher-order (co)inductive types. The semantics takes into account the "limits" of infinite reduction sequences. This may be seen as a refinement and generalization of the notion of productivity in term rewriting to a setting with higher-order functions and with data specified by nested higher-order inductive and coinductive definitions. Intuitively, we interpret lazy data structures in a higher-order functional language by potentially infinite terms corresponding to their complete unfoldings. We prove an approximation theorem which essentially states that if a term reduces to an arbitrarily large finite approximation of an infinite object in the interpretation of a coinductive type, then it infinitarily (i.e. in the "limit") reduces to an infinite object in the interpretation of this type. We introduce a sufficient syntactic correctness criterion, in the form of a type system, for finite terms decorated with type information. Using the approximation theorem, we show that each well-typed term has a well-defined interpretation in our semantics.


title: Computing Modular Data for Pointed Fusion Categories

abstract: A formula for the modular data of $\mathcal{Z}(Vec^{\omega}G)$ was given by Coste, Gannon and Ruelle in arXiv:hep-th/0001158, but without an explicit proof for arbitrary 3-cocycles. This paper presents a derivation using the representation category of the quasi Hopf algebra $D^{\omega}G$. Further, we have written code to compute this modular data for many pairs of small finite groups and 3-cocycles. This code is optimised using Galois symmetries of the S and T matrices. We have posted a database of modular data for the Drinfeld center of every Morita equivalence class of pointed fusion categories of dimension less than 64.


title: Femtosecond laser crystallization of amorphous titanium oxide thin films

abstract: In this paper we demonstrate experimentally that crystalline phases appear in amorphous titanium oxide upon processing with ultrafast laser pulses. Amorphous titanium thin films were produced by plasma-enhanced chemical vapor deposition (PECVD) and exposed to femtosecond laser pulses. Formation of rutile phase was confirmed by X-ray diffraction, Raman measurements and electron backscattering diffraction. A rang of processing parameters for the crystallization is reported and possible background mechanisms are discussed.


title: $ \mu-\tau $ Reflection Symmetry and Its Explicit Breaking for Leptogenesis in a Minimal Seesaw Model

abstract: The minimal seesaw framework, embroiling the Dirac neutrino mass matrix $ M_D $ and the Majorana neutrino mass matrix $ M_R $, is quite successful to explain the current global-fit results of neutrino oscillation data. In this context, we consider most predictive forms of $ M_D $ and $ M_R $ with two simple parameters, respectively. Considering these matrices, we obtain the low energy neutrino mass matrix under type-I seesaw formalism which obeys $ \mu-\tau $ reflection symmetry and predicts $ \theta_{23} = \pi/4$ and $ \delta = \pm \pi/2 $. In the given set-up, we also evaluate the Baryon Asymmetry of the Universe (BAU) through successful leptogenesis and find that perturbation of $ \mathcal{O}(10^{-2}) $ leads to the observed BAU and breaks exactness of the symmetry. Moreover, we also perform various correlation studies among different parameters in the framework of broken symmetry.


title: Constraints on alternative theories of gravity with observations of the Galactic Center

abstract: To evaluate a potential usually one analyzes trajectories of test particles. For the Galactic Center case astronomers use bright stars or photons, so there are two basic observational techniques to investigate a gravitational potential, namely, (a) monitoring the orbits of bright stars near the Galactic Center as it is going on with 10m Keck twin and four 8m VLT telescopes equipped with adaptive optics facilities (in addition, recently the IR interferometer GRAVITY started to operate with VLT); (b) measuring the size and shape of shadows around black hole with VLBI-technique using telescopes operating in mm-band. At the moment, one can use a small relativistic correction approach for stellar orbit analysis, however, in the future the approximation will not be precise enough due to enormous progress of observational facilities and recently the GRAVITY team found that the first post-Newtonian correction has to be taken into account for the gravitational redshift in the S2 star orbit case. Meanwhile for smallest structure analysis in VLBI observations one really needs a strong gravitational field approximation. We discuss results of observations and their interpretations.


title: On optimal transport of matrix-valued measures

abstract: We suggest a new way of defining optimal transport of positive-semidefinite matrix-valued measures. It is inspired by a recent rendering of the incompressible Euler equations and related conservative systems as concave maximization problems. The main object of our attention is the Kantorovich-Bures metric space, which is a matricial analogue of the Wasserstein and Hellinger-Kantorovich metric spaces. We establish some topological, metric and geometric properties of this space, which includes the existence of the optimal transportation path.


title: Guided Unfoldings for Finding Loops in Standard Term Rewriting

abstract: In this paper, we reconsider the unfolding-based technique that we have introduced previously for detecting loops in standard term rewriting. We improve it by guiding the unfolding process, using distinguished positions in the rewrite rules. This results in a depth-first computation of the unfoldings, whereas the original technique was breadth-first. We have implemented this new approach in our tool NTI and compared it to the previous one on a bunch of rewrite systems. The results we get are promising (better times, more successful proofs).


title: Entropy-stable hybridized discontinuous Galerkin methods for the compressible Euler and Navier-Stokes equations

abstract: In the spirit of making high-order discontinuous Galerkin (DG) methods more competitive, researchers have developed the hybridized DG methods, a class of discontinuous Galerkin methods that generalizes the Hybridizable DG (HDG), the Embedded DG (EDG) and the Interior Embedded DG (IEDG) methods. These methods are amenable to hybridization (static condensation) and thus to more computationally efficient implementations. Like other high-order DG methods, however, they may suffer from numerical stability issues in under-resolved fluid flow simulations. In this spirit, we introduce the hybridized DG methods for the compressible Euler and Navier-Stokes equations in entropy variables. Under a suitable choice of the stabilization matrix, the scheme can be shown to be entropy stable and satisfy the Second Law of Thermodynamics in an integral sense. The performance and robustness of the proposed family of schemes are illustrated through a series of steady and unsteady flow problems in subsonic, transonic, and supersonic regimes. The hybridized DG methods in entropy variables show the optimal accuracy order given by the polynomial approximation space, and are significantly superior to their counterparts in conservation variables in terms of stability and robustness, particularly for under-resolved and shock flows.


title: Quantifying jet modifications with substructure

abstract: The striking suppression and modification patterns that are observed in jet observables measured in heavy-ion collisions with respect to the proton-proton baseline have the potential to constrain the spatio-temporal branching process of energetic partons in a dense QCD medium. The mechanism of jet energy loss is intricately associated with medium resolution of jet substructure fluctuations. This naturally affects the behavior of the suppression of jets at high-pT, inducing an explicit dependence on jet scales. In this contribution, we review recent work on using the insight from multi-parton quenching to calculate leading-logarithmic corrections to the single-inclusive jet spectrum, and discuss its impact on a wide range of observables, including jet substructure.


title: Temporal Phase Shifts in SCADA Networks

abstract: In Industrial Control Systems (ICS/SCADA), machine to machine data traffic is highly periodic. Previous work showed that in many cases, it is possible to create an automata-based model of the traffic between each individual Programmable Logic Controller (PLC) and the SCADA server, and to use the model to detect anomalies in the traffic. When testing the validity of previous models, we noticed that overall, the models have difficulty in dealing with communication patterns that change over time. In this paper we show that in many cases the traffic exhibits phases in time, where each phase has a unique pattern, and the transition between the different phases is rather sharp. We suggest a method to automatically detect traffic phase shifts, and a new anomaly detection model that incorporates multiple phases of the traffic. Furthermore we present a new sampling mechanism for training set assembly, which enables the model to learn all phases during the training stage with lower complexity. The model presented has similar accuracy and much less permissiveness compared to the previous general DFA model. Moreover, the model can provide the operator with information about the state of the controlled process at any given time, as seen in the traffic phases.


title: The Steady-State Behavior of Multivariate Exponentially Weighted Moving Average Control Charts

abstract: Multivariate Exponentially Weighted Moving Average, MEWMA, charts are popular, handy and effective procedures to detect distributional changes in a stream of multivariate data. For doing appropriate performance analysis, dealing with the steady-state behavior of the MEWMA statistic is essential. Going beyond early papers, we derive quite accurate approximations of the respective steady-state densities of the MEWMA statistic. It turns out that these densities could be rewritten as the product of two functions depending on one argument only which allows feasible calculation. For proving the related statements, the presentation of the non-central chisquare density deploying the confluent hypergeometric limit function is applied. Using the new methods it was found that for large dimensions, the steady-state behavior becomes different to what one might expect from the univariate monitoring field. Based on the integral equation driven methods, steady-state and worst-case average run lengths are calculated with higher accuracy than before. Eventually, optimal MEWMA smoothing constants are derived for all considered measures.


title: Towards the Kohayakawa--Kreuter conjecture on asymmetric Ramsey properties

abstract: For fixed graphs $F_1,\dotsc,F_r$, we prove an upper bound on the threshold function for the property that $G(n,p) \to (F_1,\dotsc,F_r)$. This establishes the $1$-statement of a conjecture of Kohayakawa and Kreuter.


title: Ensemble of Convolutional Neural Networks for Dermoscopic Images Classification

abstract: In this report, we are presenting our automated prediction system for disease classification within dermoscopic images. The proposed solution is based on deep learning, where we employed transfer learning strategy on VGG16 and GoogLeNet architectures. The key feature of our solution is preprocessing based primarily on image augmentation and colour normalization. The solution was evaluated on Task 3: Lesion Diagnosis of the ISIC 2018: Skin Lesion Analysis Towards Melanoma Detection.


title: Parallelisability of 3-manifolds via surgery

abstract: We present two proofs that all closed, orientable 3-manifolds are parallelisable. Both are based on the Lickorish-Wallace surgery presentation; one proof uses a refinement due to Kaplan and some basic contact geometry. This complements a recent paper by Benedetti-Lisca.


title: Electron-phonon coupling, superconductivity and nontrivial band topology in NbN polytypes

abstract: In this paper, we investigate the electronic band structure, lattice dynamics and electron-phonon interaction in $\delta$-NbN, $\varepsilon$-NbN and WC-NbN by performing systematic ab initio calculations based on DFT-GGA. The calculated electronic band structures show that all three polytypes are metallic with the Nb $d$-orbital dominated energy bands near the Fermi level ($E_F$). The calculated phonon dispersion relations of $\delta$-NbN are in good agreement with neutron scattering experiments. The electron-phonon coupling ($\lambda$) in $\delta$-NbN ($\lambda=0.98$) is much stronger than in $\varepsilon$-NbN ($\lambda=0.16$) and WC-NbN ($\lambda=0.11$). This results in a much higher superconducting transition temperature ($T_c =18.2$ K) than in $\varepsilon$-NbN and WC-NbN ($T_c \le 1.0$ K). The stronger $\lambda$ and higher $T_c$ in $\delta$-NbN are attributed to its large density of states at $E_F$ and small Debye temperature. The calculated $T_c$ of $\delta$-NbN is in good agreement with the experimental values. However, the predicted $T_c$ of $\varepsilon$-NbN is much smaller than the recent experiment (11.6 K) but agrees well with the earlier experiment. Finally, the calculated relativistic band structures reveal that all three NbN polytypes are topological metals. Specifically, $\varepsilon$-NbN and $\delta$-NbN are, respectively, type-I and type-II Dirac metals, while WC-NbN is an emergent topological metal that has rare triply degenerate nodes. All these results indicate that all the three NbN polytypes should be hard superconductors with nontrivial band topology that would provide valuable opportunities for studying fascinating phenomena arising from the interplay of band topology and superconductivity.


title: On "two important theorems" in canonical duality theory

abstract: In this short note we show, providing counterexamples, that the "two important theorems" in the recent paper [Y, Yuan, Global optimization solutions to a class of non-convex quadratic minimization problems with quadratic constraints, in Canonical Duality Theory, D.Y. Gao et al.\ (eds), (AMMA, volume 37), Springer, 2017] are false.


title: Multi-feature Fusion for Image Retrieval Using Constrained Dominant Sets

abstract: Aggregating different image features for image retrieval has recently shown its effectiveness. While highly effective, though, the question of how to uplift the impact of the best features for a specific query image persists as an open computer vision problem. In this paper, we propose a computationally efficient approach to fuse several hand-crafted and deep features, based on the probabilistic distribution of a given membership score of a constrained cluster in an unsupervised manner. First, we introduce an incremental nearest neighbor (NN) selection method, whereby we dynamically select k-NN to the query. We then build several graphs from the obtained NN sets and employ constrained dominant sets (CDS) on each graph G to assign edge weights which consider the intrinsic manifold structure of the graph, and detect false matches to the query. Finally, we elaborate the computation of feature positive-impact weight (PIW) based on the dispersive degree of the characteristics vector. To this end, we exploit the entropy of a cluster membership-score distribution. In addition, the final NN set bypasses a heuristic voting scheme. Experiments on several retrieval benchmark datasets show that our method can improve the state-of-the-art result.


title: Motifs, Coherent Configurations and Second Order Network Generation

abstract: In this paper we illuminate some algebraic-combinatorial structure underlying the second order networks (SONETS) random graph model of Nykamp, Zhao and collaborators. In particular we show that this algorithm is deeply connected with a certain homogeneous coherent configuration, a non-commuting generalization of the classical Johnson scheme. This algebraic structure underlies certain surprising identities (that do not appear to have been previously observed) satisfied by the covariance matrices in the Nykamp-Zhao scheme. We show that an understanding of this algebraic structure leads to simplified numerical methods for carrying out the linear algebra required to implement the SONETS algorithm. We also show that this structure extends naturally to the problem of generating random subgraphs of graphs other than the complete directed graph.


title: Exploiting Deep Learning for Persian Sentiment Analysis

abstract: The rise of social media is enabling people to freely express their opinions about products and services. The aim of sentiment analysis is to automatically determine subject's sentiment (e.g., positive, negative, or neutral) towards a particular aspect such as topic, product, movie, news etc. Deep learning has recently emerged as a powerful machine learning technique to tackle a growing demand of accurate sentiment analysis. However, limited work has been conducted to apply deep learning algorithms to languages other than English, such as Persian. In this work, two deep learning models (deep autoencoders and deep convolutional neural networks (CNNs)) are developed and applied to a novel Persian movie reviews dataset. The proposed deep learning models are analyzed and compared with the state-of-the-art shallow multilayer perceptron (MLP) based machine learning model. Simulation results demonstrate the enhanced performance of deep learning over state-of-the-art MLP.


title: StreamBox-TZ: Secure Stream Analytics at the Edge with TrustZone

abstract: While it is compelling to process large streams of IoT data on the cloud edge, doing so exposes the data to a sophisticated, vulnerable software stack on the edge and hence security threats. To this end, we advocate isolating the data and its computations in a trusted execution environment (TEE) on the edge, shielding them from the remaining edge software stack which we deem untrusted. This approach faces two major challenges: (1) executing high-throughput, low-delay stream analytics in a single TEE, which is constrained by a low trusted computing base (TCB) and limited physical memory; (2) verifying execution of stream analytics as the execution involves untrusted software components on the edge. In response, we present StreamBox-TZ (SBT), a stream analytics engine for an edge platform that offers strong data security, verifiable results, and good performance. SBT contributes a data plane designed and optimized for a TEE based on ARM TrustZone. It supports continuous remote attestation for analytics correctness and result freshness while incurring low overhead. SBT only adds 42.5 KB executable to the TCB (16% of the entire TCB). On an octa core ARMv8 platform, it delivers the state-of-the-art performance by processing input events up to 140 MB/sec (12M events/sec) with sub-second delay. The overhead incurred by SBT's security mechanism is less than 25%.


title: SentiALG: Automated Corpus Annotation for Algerian Sentiment Analysis

abstract: Data annotation is an important but time-consuming and costly procedure. To sort a text into two classes, the very first thing we need is a good annotation guideline, establishing what is required to qualify for each class. In the literature, the difficulties associated with an appropriate data annotation has been underestimated. In this paper, we present a novel approach to automatically construct an annotated sentiment corpus for Algerian dialect (a Maghrebi Arabic dialect). The construction of this corpus is based on an Algerian sentiment lexicon that is also constructed automatically. The presented work deals with the two widely used scripts on Arabic social media: Arabic and Arabizi. The proposed approach automatically constructs a sentiment corpus containing 8000 messages (where 4000 are dedicated to Arabic and 4000 to Arabizi). The achieved F1-score is up to 72% and 78% for an Arabic and Arabizi test sets, respectively. Ongoing work is aimed at integrating transliteration process for Arabizi messages to further improve the obtained results.


title: A Guide for CosmoMC Installation and Running

abstract: CosmoMC is a Cosmological Monte Carlo package that explores parameter space, finds the best-fit values, and makes contour plots for various observational data. The present manual assists you with the installation steps and running of CosmoMC. Also, we briefly explain Markov chains analysis and generating plots and tables for the parameters. This guide is for everyone who is not familiar with GNU/Linux and wants to install and run CosmoMC for the first time.


title: A.V. Usova's Contribution to the Field of Concept Learning in Physics Classroom

abstract: A.V. Usova (1921-2014) has always been one of the leading figures in Russian physics education. Her theory of physics concept formation was formulated during the 1970s and the 1980s and directly influenced the process of physics education in the 20th and the 21st century. Over the years there have been a lot of theories of concept formation. Her work contributed to our understanding of concept formation (learning, teaching) and the contemporary physics learning process. She formulated her original views on the problem of concept formation independently of Western researchers. She is perhaps the most important Russian educational theorist in the field of concept learning. A.V. Usova suggested to physics teachers the model of concept formation that describes: methods of learning concept in physics classroom, conditions of successful concept formation in physics teaching; structure of complex scientific concepts formation (stages of concept formation), the influence of interdisciplinary teaching on the scientific concept formation, criteria and levels of physics concept formation, methods and techniques of analysis of the quality of concept formation, the role of educational observation and experimentation in the scientific concepts formation, methodology formation for complex physics concepts "work" and "energy". This paper deals with both the historical A.V. Usova's contribution review and also issues raised by post-Usova approaches.


title: Search for pair production of second-generation leptoquarks at $\sqrt{s} =$ 13 TeV

abstract: A search for pair production of second-generation leptoquarks is performed using proton-proton collision data collected at $\sqrt{s}=$ 13 TeV in 2016 with the CMS detector at the CERN LHC, corresponding to an integrated luminosity of 35.9 fb$^{-1}$. Final states with two muons and two jets, or with one muon, two jets, and missing transverse momentum are considered. Second-generation scalar leptoquarks with masses less than 1530 (1285) GeV are excluded for $\beta =$ 1.0 (0.5), where $\beta$ is the branching fraction for the decay of a leptoquark to a charged lepton and a quark. The results of the search are also interpreted as limits on the pair production of long-lived top squarks in an $R$-parity violating supersymmetry model that has a final state with two muons and two jets. These limits represent the most stringent limits to date on these models.


title: Extended Weyl groups, Hurwitz transitivity and weighted projective lines I: Generalities and the tubular case

abstract: We start the systematic study of extended Weyl groups, and continue the combinatorial description of thick subcategories in hereditary categories started by Ingalls-Thomas, Igusa-Schiffler-Thomas and Krause. We show that for a weighted projective line $\mathbb{X}$ there exists an order preserving bijection between the thick subcategories of $\mathrm{coh}(\mathbb{X})$ generated by an exceptional sequence and a subposet of the interval poset of a Coxeter transformation $c$ in the Weyl group of a simply-laced extended root system if the Hurwitz action is transitive on the reduced reflection factorizations of $c$ that generate the Weyl group. By using combinatorial and group theoretical tools we show that this assumption on the transitivity of the Hurwitz action is fulfilled for a weighted projective line $\mathbb{X}$ of tubular type.


title: MARSIS observations of field-aligned irregularities and ducted radio propagation in the Martian ionosphere

abstract: Knowledge of Mars's ionosphere has been significantly advanced in recent years by observations from Mars Express (MEX) and lately MAVEN. A topic of particular interest are the interactions between the planet's ionospheric plasma and its highly structured crustal magnetic fields, and how these lead to the redistribution of plasma and affect the propagation of radio waves in the system. In this paper, we elucidate a possible relationship between two anomalous radar signatures previously reported in observations from the MARSIS instrument on MEX. Relatively uncommon observations of localized, extreme increases in the ionospheric peak density in regions of radial (cusp-like) magnetic fields and spread-echo radar signatures are shown to be coincident with ducting of the same radar pulses at higher altitudes on the same field lines. We suggest that these two observations are both caused by a high electric field (perpendicular to $\mathbf{B}$) having distinctly different effects in two altitude regimes. At lower altitudes, where ions are demagnetized and electrons magnetized, and recombination dominantes, a high electric field causes irregularities, plasma turbulence, electron heating, slower recombination and ultimately enhanced plasma densities. However, at higher altitudes, where both ions and electrons are magnetized and atomic oxygen ions cannot recombine directly, the high electric field instead causes frictional heating, a faster production of molecular ions by charge exchange, and so a density decrease. The latter enables ducting of radar pulses on closed field lines, in an analogous fashion to inter-hemispheric ducting in the Earth's ionosphere.


title: Temporal Sequence Distillation: Towards Few-Frame Action Recognition in Videos

abstract: Video Analytics Software as a Service (VA SaaS) has been rapidly growing in recent years. VA SaaS is typically accessed by users using a lightweight client. Because the transmission bandwidth between the client and cloud is usually limited and expensive, it brings great benefits to design cloud video analysis algorithms with a limited data transmission requirement. Although considerable research has been devoted to video analysis, to our best knowledge, little of them has paid attention to the transmission bandwidth limitation in SaaS. As the first attempt in this direction, this work introduces a problem of few-frame action recognition, which aims at maintaining high recognition accuracy, when accessing only a few frames during both training and test. Unlike previous work that processed dense frames, we present Temporal Sequence Distillation (TSD), which distills a long video sequence into a very short one for transmission. By end-to-end training with 3D CNNs for video action recognition, TSD learns a compact and discriminative temporal and spatial representation of video frames. On Kinetics dataset, TSD+I3D typically requires only 50\% of the number of frames compared to I3D, a state-of-the-art video action recognition algorithm, to achieve almost the same accuracies. The proposed TSD has three appealing advantages. Firstly, TSD has a lightweight architecture and can be deployed in the client, eg. mobile devices, to produce compressed representative frames to save transmission bandwidth. Secondly, TSD significantly reduces the computations to run video action recognition with compressed frames on the cloud, while maintaining high recognition accuracies. Thirdly, TSD can be plugged in as a preprocessing module of any existing 3D CNNs. Extensive experiments show the effectiveness and characteristics of TSD.


title: Large magneto-optical effects and magnetic anisotropy energy in two-dimensional Cr$_2$Ge$_2$Te$_6$

abstract: By performing systematic $ab$ $initio$ density functional calculations, here we study two relativity-induced properties of atomically thin ferromagnetic (FM) Cr$_2$Ge$_2$Te$_6$ films [monolayer (ML), bilayer (BL) and trilayer (TL) as well as bulk], namely, magnetic anisotropy energy (MAE) and magneto-optical (MO) effects. Competing contributions of both magneto-crystalline anisotropy energy (C-MAE) and magnetic dipolar anisotropy energy (D-MAE) to the MAE, are computed. Calculated MAEs of these materials are large, being in the order of $\sim$0.1 meV/Cr. Interestingly, we find that the out-of-plane magnetic anisotropy is preferred in all the systems except the ML where an in-plane magnetization is favored because here the D-MAE is larger than the C-MAE. Crucially, this explains why long-range FM order was observed in all the few-layer Cr$_2$Ge$_2$Te$_6$ except the ML because the out-of-plane magnetic anisotropy would open a spin-wave gap and thus suppress magnetic fluctuations so that long-range FM order could be stabilized at finite temperature. In the visible frequency range, large Kerr rotations up to $\sim$1.0 deg in these materials are predicted and they are comparable to that observed in famous MO materials such as PtMnSb and Y$_3$Fe$_5$O$_{12}$. Moreover, they are $\sim$100 times larger than that of 3$d$ transition metal MLs deposited on Au surfaces. Faraday rotation angles in these 2D materials are also large, being up to $\sim$120 deg/$\mu$m, and are thus comparable to the best-known MO semiconductor Bi$_3$Fe$_5$O$_{12}$. These findings thus suggest that with large MAE and MO effects, atomically thin Cr$_2$Ge$_2$Te$_6$ films would have potential applications in novel magnetic, MO and spintronic nanodevices.


title: On Common Divisors of Fox Derivatives with towards to Zero Divisors of Group Rings

abstract: Using Composition--Diamond Lemma we construct presentations of groups $G = \langle x_1,\ldots,x_n \, | \, r_1,\ldots, r_m \rangle$ with the following property; for a fixed $1 \le i \le n$, and for all $1 \le j \le m$, Fox derivatives $\partial r_j / \partial x_i$ have common divisor. It follows that if $\pi_2(K) \ne 0$, where $K$ is the standard $2$-complex associated with $G$ then the group ring $\mathbb{Z}[G]$ has nontrivial zero divisors.


title: Multiparty Classical Choreographies

abstract: We present Multiparty Classical Choreographies (MCC), a language model where global descriptions of communicating systems (choreographies) implement typed multiparty sessions. Typing is achieved by generalising classical linear logic to judgements that explicitly record parallelism by means of hypersequents. Our approach unifies different lines of work on choreographies and processes with multiparty sessions, as well as their connection to linear logic. Thus, results developed in one context are carried over to the others. Key novelties of MCC include support for server invocation in choreographies, as well as logic-driven compilation of choreographies with replicated processes.


title: On Optimizing VLC Networks for Downlink Multi-User Transmission: A Survey

abstract: The evolving explosion in high data rate services and applications will soon require the use of untapped, abundant unregulated spectrum of the visible light for communications to adequately meet the demands of the fifth-generation (5G) mobile technologies. Radio-frequency (RF) networks are proving to be scarce to cover the escalation in data rate services. Visible light communication (VLC) has emerged as a great potential solution, either in replacement of, or complement to, existing RF networks, to support the projected traffic demands. Despite of the prolific advantages of VLC networks, VLC faces many challenges that must be resolved in the near future to achieve a full standardization and to be integrated to future wireless systems. Here, we review the new, emerging research in the field of VLC networks and lay out the challenges, technological solutions, and future work predictions. Specifically, we first review the VLC channel capacity derivation, discuss the performance metrics and the associated variables; the optimization of VLC networks are also discussed, including resources and power allocation techniques, user-to-access point (AP) association and APs-to-clustered-users-association, APs coordination techniques, non-orthogonal multiple access (NOMA) VLC networks, simultaneous energy harvesting and information transmission using the visible light, and the security issue in VLC networks. Finally, we propose several open research problems to optimize the various VLC networks by maximizing either the sum rate, fairness, energy efficiency, secrecy rate, or harvested energy.


title: The action of a Coxeter element on an affine root system

abstract: The characterization of orbits of roots under the action of a Coxeter element is a fundamental tool in the study of finite root systems and their reflection groups. This paper develops the analogous tool in the affine setting, adding detail and uniformity to a result of Dlab and Ringel.


title: Inequalities for the overpartition function

abstract: Let $\overline{p}(n)$ denote the overpartition funtion. Engel showed that for $n\geq2$, $\overline{p}(n)$ satisfied the Tur\'{a}n inequalities, that is, $\overline{p}(n)^2-\overline{p}(n-1)\overline{p}(n+1)>0$ for $n\geq2$. In this paper, we prove several inequalities for $\overline{p}(n)$. Moreover, motivated by the work of Chen, Jia and Wang, we find that the higher order Tur\'{a}n inequalities of $\overline{p}(n)$ can also be determined.


title: ACVAE-VC: Non-parallel many-to-many voice conversion with auxiliary classifier variational autoencoder

abstract: This paper proposes a non-parallel many-to-many voice conversion (VC) method using a variant of the conditional variational autoencoder (VAE) called an auxiliary classifier VAE (ACVAE). The proposed method has three key features. First, it adopts fully convolutional architectures to construct the encoder and decoder networks so that the networks can learn conversion rules that capture time dependencies in the acoustic feature sequences of source and target speech. Second, it uses an information-theoretic regularization for the model training to ensure that the information in the attribute class label will not be lost in the conversion process. With regular CVAEs, the encoder and decoder are free to ignore the attribute class label input. This can be problematic since in such a situation, the attribute class label will have little effect on controlling the voice characteristics of input speech at test time. Such situations can be avoided by introducing an auxiliary classifier and training the encoder and decoder so that the attribute classes of the decoder outputs are correctly predicted by the classifier. Third, it avoids producing buzzy-sounding speech at test time by simply transplanting the spectral details of the input speech into its converted version. Subjective evaluation experiments revealed that this simple method worked reasonably well in a non-parallel many-to-many speaker identity conversion task.


title: Exciting determinants in Quantum Monte Carlo: Loading the dice with fast, low memory weights

abstract: High-quality excitation generators are crucial to the effectiveness of Coupled cluster Monte Carlo (CCMC) and full configuration interaction Quantum Monte Carlo (FCIQMC) calculations. The heat bath sampling of Holmes et al. [A. A. Holmes, H. J. Changlani, and C. J. Umrigar, J. Chem. Theory Comput. 12, 1561 (2016)] dramatically increases the efficiency of the spawn step of such algorithms but requires memory storage scaling quartically with system size which can be prohibitive for large systems. Alavi et al. [S. D. Smart, G. H. Booth, and A. Alavi, unpublished] then approximated these weights with weights based on Cauchy--Schwarz-like inequalities calculated on-the-fly. While reducing the memory cost, this algorithm scales linearly in system size computationally. We combine both these ideas with the single reference nature of many systems, and introduce a spawn-sampling algorithm that has low memory requirements (quadratic in basis set size) compared to the heat bath algorithm and only scales either independently of system size (CCMC) or linearly in the number of electrons (FCIQMC). On small water chains with localized orbitals, we show that it is equally efficient as the other excitation generators. As the system gets larger, it converges faster than the on-the-fly weight algorithm, while having a much more favourable memory scaling than the heat bath algorithm.


title: Scalar scattering in Schwarzschild spacetime: Integral equation method

abstract: An integral equation method for scalar scattering in Schwarzschild spacetime is constructed. The zeroth-order and first-order scattering phase shift is obtained.


title: Frame related operators for woven frames

abstract: A new notion in frame theory has been introduced recently under the name woven-weaving frames by Bemrose et. al. In the studying of frames, some operators like analysis, synthesis, Gram and frame operator play the central role. In this paper, for the first time, we introduce and define these operators for woven-weaving frames and review some properties of them. In continuation, we investigate the effect of different types of operators on the woven frames and their bounds. Also, we provide some conditions that shows sum of woven frames are also woven frames. Finally, we apply these properties with an example.


title: We Value Your Privacy ... Now Take Some Cookies: Measuring the GDPR's Impact on Web Privacy

abstract: The European Union's General Data Protection Regulation (GDPR) went into effect on May 25, 2018. Its privacy regulations apply to any service and company collecting or processing personal data in Europe. Many companies had to adjust their data handling processes, consent forms, and privacy policies to comply with the GDPR's transparency requirements. We monitored this rare event by analyzing the GDPR's impact on popular websites in all 28 member states of the European Union. For each country, we periodically examined its 500 most popular websites - 6,579 in total - for the presence of and updates to their privacy policy. While many websites already had privacy policies, we find that in some countries up to 15.7 % of websites added new privacy policies by May 25, 2018, resulting in 84.5 % of websites having privacy policies. 72.6 % of websites with existing privacy policies updated them close to the date. Most visibly, 62.1 % of websites in Europe now display cookie consent notices, 16 % more than in January 2018. These notices inform users about a site's cookie use and user tracking practices. We categorized all observed cookie consent notices and evaluated 16 common implementations with respect to their technical realization of cookie consent. Our analysis shows that core web security mechanisms such as the same-origin policy pose problems for the implementation of consent according to GDPR rules, and opting out of third-party cookies requires the third party to cooperate. Overall, we conclude that the GDPR is making the web more transparent, but there is still a lack of both functional and usable mechanisms for users to consent to or deny processing of their personal data on the Internet.


title: Homeomorphic Embedding modulo Combinations of Associativity and Commutativity Axioms

abstract: The Homeomorphic Embedding relation has been amply used for defining termination criteria of symbolic methods for program analysis, transformation, and verification. However, homeomorphic embedding has never been investigated in the context of order-sorted rewrite theories that support symbolic execution methods modulo equational axioms. This paper generalizes the symbolic homeomorphic embedding relation to order-sorted rewrite theories that may contain various combinations of associativity and/or commutativity axioms for different binary operators. We systematically measure the performance of increasingly efficient formulations of the homeomorphic embedding relation modulo associativity and commutativity axioms. From our experimental results, we conclude that our most efficient version indeed pays off in practice.


title: Transitions across Melancholia States in a Climate Model: Reconciling the Deterministic and Stochastic Points of View

abstract: The Earth is well-known to be, in the current astronomical configuration, in a regime where two asymptotic states can be realised. The warm state we live in is in competition with the ice-covered snowball state. The bistability exists as a result of the positive ice-albedo feedback. In a previous investigation performed on a intermediate complexity climate model we have identified the unstable climate states (Melancholia states) separating the co-existing climates, and studied their dynamical and geometrical properties. The Melancholia states are ice-covered up to the mid-latitudes and attract trajectories initialised on the basins boundary. In this paper, we study how stochastically perturbing the parameter controlling the intensity of the incoming solar radiation impacts the stability of the climate. We detect transitions between the warm and the snowball state and analyse in detail the properties of the noise-induced escapes from the corresponding basins of attraction. We determine the most probable paths for the transitions and find evidence that the Melancholia states act as gateways, similarly to saddle points in an energy landscape.

categories: physics.ao-ph astro-ph.EP cond-mat.stat-mech nlin.CD physics.geo-ph


title: Asteroid mining with small spacecraft and its economic feasibility

abstract: Asteroid mining offers the possibility to revolutionize supply of resources vital for human civilization. Preliminary analysis suggests that Near-Earth Asteroids (NEA) contain enough volatile and high value minerals to make the mining process economically feasible. Considering possible applications, specifically the mining of water in space has become a major focus for near-term options. Most proposed projects for asteroid mining involve spacecraft based on traditional designs resulting in large, monolithic and expensive systems. An alternative approach is presented in this paper, basing the asteroid mining process on multiple small spacecraft. To the best knowledge of the authors, only limited analysis of the asteroid mining capability of small spacecraft has been conducted. This paper explores the possibility to perform asteroid mining operations with spacecraft that have a mass under 500 kg and deliver 100 kg of water per trip. The mining process considers water extraction through microwave heating with an efficiency of 2 Wh/g.The proposed, small spacecraft can reach NEAs within a range of $\sim 0.03$ AU relative to earth's orbit, offering a delta V of 437 m/s per one-way trip. A high-level systems engineering and economic analysis provides a closed spacecraft design as a baseline and puts the cost of the proposed spacecraft at $ 113.6 million/unit. The results indicate that more than one hundred spacecraft and their successful operation for over five years are required to achieve a financial break-even point. Pros and cons of using small spacecraft swarms are highlighted and the uncertainties associated with cost and profit of space related business ventures are analyzed.


title: Noise-tolerant Detection of $Z_N$ Topological Orders in Quantum Many-body States

abstract: Topologically ordered states are fundamentally important in theoretical physics, which are also suggested as promising candidates to build fault-tolerant quantum devices. However, it is still elusive how topological orders can be affected or detected under noises. In this work, we find a quantity, termed as the ring degeneracy $\mathcal{D}$, which is robust under pure noise to detect both trivial and intrinsic topological orders. The ring degeneracy is defined as the degeneracy of the solutions of the self-consistent equations that encode the contraction of the corresponding tensor network(TN). For the $Z_N$ orders, we find that the ring degeneracy satisfies a simple relation $\mathcal{D} = (N + 1)/2 + d$, with $d = 0$ for odd $N$ and $d = 1/2$ for even $N$. Simulations on several non-trivial states (two-dimensional Ising model, $Z_N$ topological states, and resonating valence bond states) show that the ring degeneracy can tolerate noises up to a strength associated to the gap of the TN boundary theory.


title: Far Sidelobes from Baffles and Telescope Support Structures in the Atacama Cosmology Telescope

abstract: The Atacama Cosmology Telescope (ACT) is a 6 m telescope located in the Atacama Desert, designed to measure the cosmic microwave background (CMB) with arcminute resolution. ACT, with its third generation polarization sensitive array, Advanced ACTPol, is being used to measure the anisotropies of the CMB in five frequency bands in large areas of the sky ($\sim 15,000$ $\rm deg^2$). These measurements are designed to characterize the large scale structure of the universe, test cosmological models and constrain the sum of the neutrino masses. As the sensitivity of these wide surveys increases, the control and validation of the far sidelobe response becomes increasingly important and is particularly challenging as multiple reflections, spillover, diffraction and scattering become difficult to model and characterize at the required levels. In this work, we present a ray trace model of the ACT upper structure which is used to describe much of the observed far sidelobe pattern. This model combines secondary mirror spillover measurements with a 3D CAD model based on photogrammetry measurements to simulate the beam of the camera and the comoving ground shield. This simulation shows qualitative agreement with physical optics tools and features observed in far sidelobe measurements. We present this method as an efficient first-order calculation that, although it does not capture all diffraction effects, informs interactions between the structural components of the telescope and the optical path, which can then be combined with more computationally intensive physical optics calculations. This method can be used to predict sidelobe patterns in the design stage of future optical systems such as the Simons Observatory, CCAT-prime, and CMB Stage IV.


title: Chiral symmetry breaking for fermions charged under large Lie groups

abstract: We reexamine the dynamical generation of mass for fermions charged under various Lie groups with equal charge and mass at a high Grand Unification scale, extending the Renormalization Group Equations in the perturbative regime to two-loops and matching to the Dyson-Schwinger Equations in the strong coupling regime.


title: Hypothesis about semi-weak interaction and experiments with solar neutrinos. II. Deuteron disintegration by neutral currents

abstract: The present work provides one more evidence of that the solar neutrino problem has an elegant solution based on the hypothesis about the existence of a new, semi-weak, interaction. The analysis of the deuteron disintegration by neutral currents of solar neutrinos, generated by both the electroweak and semi-weak interactions, is fulfilled. A good agreement between the theoretical and experimental results for this process is obtained, which is in harmony with the conclusions of the first part of the work on the other four observed processes with solar neutrinos.


title: A Spectrum Sharing Solution for the Efficient Use of mmWave Bands in 5G Cellular Scenarios

abstract: Regulators all around the world have started identifying the portions of the spectrum that will be used for the next generation of cellular networks. A band in the mmWave spectrum will be exploited to increase the available capacity. In response to the very high expected traffic demand, a sharing mechanism may make it possible to use the spectrum more efficiently. In this work, moving within the European and Italian regulatory conditions, we propose the use of Licensed Spectrum Access (LSA) to coordinate sharing among cellular operators. Additionally, we show some preliminary results on our research activities which are focused on a dynamic spectrum sharing approach applied in simulated 5G cellular scenarios.


title: Inequalities for some basic hypergeometric functions

abstract: We establish conditions for the discrete versions of logarithmic concavity and convexity of the higher order regularized basic hypergeometric function with respect simultaneous shift of all its parameters. For a particular case of Heine's basic hypergeometric function we prove logarithmic concavity and convexity with respect to the bottom parameter. We further establish a linearization identity for the generalized Tur\'{a}nian formed by a particular case of Heine's basic hypergeometric function. Its $q=1$ case also appears to be new.


title: A Primary Radiation Standard Based on Quantum Nonlinear Optics

abstract: The spectrum of vacuum fluctuations of the electromagnetic field is determined solely from first physical principles and can be seen as a fundamental property that qualifies as a primary radiation standard. We demonstrate that the amplitude of these quantum fluctuations triggering nonlinear optical processes can be used as a reference for radiometry. In the spontaneous regime of photon pair generation, the shape of the emitted spectrum is nearly independent of laboratory parameters. In the high-gain regime, where spontaneous emission turns to stimulated emission, the shape of the frequency spectrum is uniquely determined by the number of created photons. Both aspects allow us to determine the quantum efficiency of a spectrometer over a broad range of wavelengths without the need of any external calibrated source or detector.


title: Post breakup dynamics of fragments produced in nuclear multifragmentation

abstract: The deexcitation of the primary hot fragments, produced in the breakup of an excited nuclear source, during their propagation under the influence of their mutual Coulomb repulsion is studied in the framework of a recently developed hybrid model. The latter is based on the Statistical Mul- tifragmentation Model (SMM), describing the prompt breakup of the source, whereas the particle emission from the hot fragments, that decay while traveling away from each other, is treated by the Weisskopf-Ewing evaporation model. Since this treatment provides an event by event descrip- tion of the process, in which the classical trajectories of the fragments are followed using molecular dynamics techniques, it allows one to study observables such as two-particle correlations and infer the extent to which the corresponding observables may provide information on the multifragment production mechanisms. Our results suggest that the framework on which these treatments are based may be considerably constrained by such analyses. Furthermore, they imply that information obtained from these model calculations may provide feedback to the theory of nuclear interferome- try. We also found that neutron deficient fragments should hold information more closely related to the breakup region than neutron rich ones, as they are produced in much earlier stages of the post breakup dynamics than the latter.


title: Analytic eigenvalue structure of a coupled oscillator system beyond the ground state

abstract: By analytically continuing the eigenvalue problem of a system of two coupled harmonic oscillators in the complex coupling constant $g$, we have found a continuation structure through which the conventional ground state of the decoupled system is connected to three other lower {\it unconventional} ground states that describe the different combinations of the two constituent oscillators, taking all possible spectral phases of these oscillators into account. In this work we calculate the connecting structures for the higher excitation states of the system and argue that - in contrast to the four-fold Riemann surface identified for the ground state - the general structure is eight-fold instead. Furthermore we show that this structure in principle remains valid for equal oscillator frequencies as well and comment on the similarity of the connection structure to that of the single complex harmonic oscillator.


title: Five-Particle Phase-Space Integrals in QCD

abstract: We present analytical expressions for the 31 five-particle phase-space master integrals in massless QCD as an $\epsilon$-series with coefficients being multiple zeta values of weight up to 12. In addition, we provide a computer code for the Monte-Carlo integration in higher dimensions, based on the RAMBO algorithm, that has been used to numerically cross-check the obtained results in 4, 6, and 8 dimensions.


title: Joint & Progressive Learning from High-Dimensional Data for Multi-Label Classification

abstract: Despite the fact that nonlinear subspace learning techniques (e.g. manifold learning) have successfully applied to data representation, there is still room for improvement in explainability (explicit mapping), generalization (out-of-samples), and cost-effectiveness (linearization). To this end, a novel linearized subspace learning technique is developed in a joint and progressive way, called \textbf{j}oint and \textbf{p}rogressive \textbf{l}earning str\textbf{a}teg\textbf{y} (J-Play), with its application to multi-label classification. The J-Play learns high-level and semantically meaningful feature representation from high-dimensional data by 1) jointly performing multiple subspace learning and classification to find a latent subspace where samples are expected to be better classified; 2) progressively learning multi-coupled projections to linearly approach the optimal mapping bridging the original space with the most discriminative subspace; 3) locally embedding manifold structure in each learnable latent subspace. Extensive experiments are performed to demonstrate the superiority and effectiveness of the proposed method in comparison with previous state-of-the-art methods.


title: Crystal Field Levels and Magnetic Anisotropy in the Kagome Compounds $\rm{Nd_3Sb_3Mg_2O_{14}}$, $\rm{Nd_3Sb_3Zn_2O_{14}}$, and $\rm{Pr_3Sb_3Mg_2O_{14}}$

abstract: We report the crystal field levels of several newly-discovered rare-earth kagome compounds: $\rm{Nd_3Sb_3Mg_2O_{14}}$, $\rm{Nd_3Sb_3Zn_2O_{14}}$, and $\rm{Pr_3Sb_3Mg_2O_{14}}$. We determine the CEF Hamiltonian by fitting to neutron scattering data using a point-charge Hamiltonian as an intermediate fitting step. The fitted Hamiltonians accurately reproduce bulk susceptibility measurements, and the results indicate easy-axis ground state doublets for $\rm{Nd_3Sb_3Mg_2O_{14}}$ and $\rm{Nd_3Sb_3Zn_2O_{14}}$, and a singlet ground state for $\rm{Pr_3Sb_3Mg_2O_{14}}$. These results provide the groundwork for future investigations of these compounds and a template for CEF analysis of other low-symmetry materials.


title: Possible ~ 1 hour quasi-periodic oscillation in narrow-line Seyfert 1 galaxy MCG--06--30--15

abstract: We found a possible ~ 1 hour quasi-periodic oscillation (QPO) in a ~ 55 ks X-ray observation of the narrow-line Seyfert 1 galaxy MCG--06--30--15 made with the XMM-Newton EPIC/pn detector in the energy range 0.3 -- 10 keV. We identify a total modulation of ~ 16% in the light curve and find a $\simeq$ 3670~s quasi-period using Lomb-Scargle periodogram (LSP) and weighted wavelet Z-transform (WWZ) techniques. Our analyses of eight light curves of MCG--06--30--15, indicated the possible presence of an oscillation during one of them. The LSP indicates a statistically significant ($\simeq$ 3$\sigma$) QPO detection. A WWZ analysis shows that the signal at this possible roughly 3670s period is present, and rather persistent, throughout the observation; however, a signal around 8735s is more persistent. We briefly discuss models that can produce X-ray QPOs with such periods in narrow line Seyfert 1 galaxies, as both other claimed QPO detections in this class of AGN had very similar periods.


title: Hysteresis in the zero-temperature random field Ising model on directed random graphs

abstract: We use zero-temperature Glauber dynamics to study hysteresis in the random-field Ising model on directed random graphs. The critical behavior of the model depends on the connectivity $z$ of the graph rather differently from that on undirected graphs. Directed graphs and zero-temperature dynamics are relevant to a wide class of social phenomena including opinion dynamics. We discuss the efficacy of increasing external influence in inducing a first-order phase transition in opinion dynamics. The numerical results are supported by an analytic solution of the model.


title: A quantitative analysis of systematic differences in positions and proper motions of Gaia DR2 with respect to VLBI

abstract: We have analyzed the differences in positions of 9081 matched sources between the Gaia DR2 and VLBI catalogues. The median position uncertainty of matched sources in the VLBI catalogue is a factor of two larger than the median position uncertainty in the Gaia DR2. There are 9% matched sources with statistically significant offsets between both catalogues. We found that reported positional errors should be re-scaled by a factor of 1.3 for VLBI and 1.06 for Gaia, and in addition, Gaia errors should be multiplied by the square root of chi square per degree of freedom in order to best fit the normalized position differences to the Rayleigh distribution. We have established that the major contributor to statistically significant position offsets is the presence of optical jets. Among the sources for which the jet direction was determined, the position offsets are parallel to the jet directions for 62% of the outliers. Among the matched sources with significant proper motion, the fraction of objects with proper motion directions parallel to jets is a factor of 3 greater than on average. Such sources have systematically higher chi square per degree of freedom. We explain these proper motions as a manifestation of the source position jitter caused by flares that we have predicted earlier. Therefore, the assumption that quasars are fixed points and therefore, differential proper motions determined with respect to quasar photocenters can be regarded as absolute proper motions, should be treated with a great caution.


title: Dissecting the AGN disk-jet system with joint VLBI-Gaia analysis

abstract: We analyze differences in positions of active galactic nuclei between Gaia data release 2 and VLBI and compare the significant VLBI-to-Gaia offsets in more than 1000 objects with their jet directions. Remarkably at least 3/4 of the significant offsets are confirmed to occur downstream or upstream the jet representing a genuine astrophysical effect. Introducing redshift and Gaia color into analysis can help distinguish between the contribution of the host galaxy, jet, and accretion disk emission. We find that strong optical jet emission at least 20-50pc long is required to explain the Gaia positions located downstream from VLBI ones. Offsets in the upstream direction of up to 2 mas are at least partly due to the dominant impact of the accretion disk on the Gaia coordinates and by the effects of parsec-scale radio jet. The host galaxy was found not to play an important role in the detected offsets. BL Lacertae object and Seyfert 2 galaxies are observationally confirmed to have a relatively weak disk and consequently downstream offsets. The disk emission drives upstream offsets in a significant fraction of quasars and Seyfert 1 galaxies when it dominates over the jet in the optical band. The observed behaviour of the different AGN classes is consistent with the unified scheme assuming varying contribution of the obscuring dusty torus and jet beaming.


title: Probabilistic Waring problems for finite simple groups

abstract: The probabilistic Waring problem for finite simple groups asks whether every word of the form $w_1w_2$, where $w_1$ and $w_2$ are non-trivial words in disjoint sets of variables, induces almost uniform distribution on finite simple groups with respect to the $L^1$ norm. Our first main result provides a positive solution to this problem. We also provide a geometric characterization of words inducing almost uniform distribution on finite simple groups of Lie type of bounded rank, and study related random walks. Our second main result concerns the probabilistic $L^{\infty}$ Waring problem for finite simple groups. We show that for every $l \ge 1$ there exists $N = N(l)$, such that if $w_1, \ldots , w_N$ are non-trivial words of length at most $l$ in pairwise disjoint sets of variables, then their product $w_1 \cdots w_N$ is almost uniform on finite simple groups with respect to the $L^{\infty}$ norm. The dependence of $N$ on $l$ is genuine. This result implies that, for every word $w = w_1 \cdots w_N$ as above, the word map induced by $w$ on a semisimple algebraic group over an arbitrary field is a flat morphism. Applications to representation varieties, subgroup growth, and random generation are also presented.


title: The paradox of Vito Volterra's predator-prey model

abstract: This article is dedicated to the late Giorgio Israel. R{\'e}sum{\'e}. The aim of this article is to propose on the one hand a brief history of modeling starting from the works of Fibonacci, Robert Malthus, Pierre Francis Verhulst and then Vito Volterra and, on the other hand, to present the main hypotheses of the very famous but very little known predator-prey model elaborated in the 1920s by Volterra in order to solve a problem posed by his son-in-law, Umberto D'Ancona. It is thus shown that, contrary to a widely-held notion, Volterra's model is realistic and his seminal work laid the groundwork for modern population dynamics and mathematical ecology, including seasonality, migration, pollution and more. 1. A short history of modeling 1.1. The Malthusian model. If the rst scientic view of population growth seems to be that of Leonardo Fibonacci [2], also called Leonardo of Pisa, whose famous sequence of numbers was presented in his Liber abaci (1202) as a solution to a population growth problem, the modern foundations of population dynamics clearly date from Thomas Robert Malthus [20]. Considering an ideal population consisting of a single homogeneous animal species, that is, neglecting the variations in age, size and any periodicity for birth or mortality, and which lives alone in an invariable environment or coexists with other species without any direct or indirect inuence, he founded in 1798, with his celebrated claim Population, when unchecked, increases in a geometrical ratio, the paradigm of exponential growth. This consists in assuming that the increase of the number N (t) of individuals of this population, during a short interval of time, is proportional to N (t). This translates to the following dierential equation : (1) dN (t) dt = $\epsilon$N (t) where $\epsilon$ is a constant factor of proportionality that represents the growth coe-cient or growth rate. By integrating (1) we obtain the law of exponential growth or law of Malthusian growth (see Fig. 1). This law, which does not take into account the limits imposed by the environment on growth and which is in disagreement with the actual facts, had a profound inuence on Charles Darwin's work on natural selection. Indeed, Darwin [1] founded the idea of survival of the ttest on the 1. According to Frontier and Pichod-Viale [3] the correct terminology should be population kinetics, since the interaction between species cannot be represented by forces. 2. A population is dened as the set of individuals of the same species living on the same territory and able to reproduce among themselves.