title: Has the density of sources of gamma-ray burts been constant over the last ten billion years ?

abstract: A generic tired-light mechanism is examined in which a photon, like any particle moving in a medium, experiences friction, that is, a force resisting its motion. If the velocity of light is assumed to be constant, this hypothesis yields a Hubble-like law which is also a consequence of the Rh = ct cosmology. Herein, it is used for estimating matter density as a function of redshift, allowing to show that the density of sources of long gamma-ray bursts appears to be nearly constant, up to z $\approx$ 4. Assuming that the later is a fair probe of the former, this means that matter density has been roughly constant over the last ten billion years, implying that, at least over this period, matter has been in an overall state of equilibrium.


title: Gaussian Equation to Describe the Percent of Shadow Length in Satellite Image

abstract: The shadow is a separated feature in the satellite images specially high resolution images. It may be looked as a problem when it causes a loss in the ground ray response to the shaded area, and may be, from other view, considered as an indication to the height of the bodies or buildings, when it hidden due to top view of the satellite image usually. The location of the object on the earth affects its shadow length, direction and darkness. The ostensible sun path in the sky also affects the shadow length and direction, it is depending on the change of the rotation axis of planet about its center during the year. And it is clear that the shadow is changing with the sun transmission in the day times. The sun location needs complex equations, because there are several angles describing its location with taking into consideration the location of the shaded body on the earth spatially the latitude, and the shadow direction and length depend on the sun location so it need more equations. Some engineering purposes, and some engineers and designer can not process these complex astronomy equations every time they need to calculate the shadow effect on the urban region or garden for examples, or other architectural purposes, it is unpractical process to estimate the shadow direction and length for civil from these equation. So, we derived in this study a high accurate empirical Gaussian equation to find shadow length percent in the limits of the study area depends on single parameter which is the number of day during the year, and calculating the percent of shadow, so we can calculate the shadow length percent accurately in any day number by the suggested equation after knowing the real building height.


title: Resonance Capture and Dynamics of 3-Planet Systems

abstract: We present a series of dynamical maps for fictitious 3-planets systems in initially circular coplanar orbits. These maps have unveiled a rich resonant structure involving two or three planets, as well as indicating possible migration routes from secular to double resonances or pure 3-planet commensurabilities. These structures are then compared to the present-day orbital architecture of observed resonant chains. In a second part of the paper we describe N-body simulations of type-I migration. Depending on the orbital decay timescale, we show that 3-planet systems may be trapped in different combinations of independent commensurabilities: (i) double resonances, (ii) intersection between a 2-planet and a first-order 3-planet resonance, and (iii) simultaneous libration in two first-order 3-planet resonances. These latter outcomes are found for slow migrations, while double resonances are almost always the final outcome in high-density disks. Finally, we discuss an application to the TRAPPIST-1 system. We find that, for low migration rates and planetary masses of the order of the estimated values, most 3-planet sub-systems are able to reach the observed double resonances after following evolutionary routes defined by pure 3-planet resonances. The final orbital configuration shows resonance offsets comparable with present-day values without the need of tidal dissipation. For the 8/5 resonance proposed to dominate the dynamics of the two inner planets, we find little evidence of its dynamical significance; instead, we propose that this relation between mean motions could be a consequence of the interaction between a pure 3-planet resonance and a 2-planet commensurability between planets c and d.


title: On the Development of Testing Tool for a Satellite Gyro Sensor

abstract: Attitude determination and control system (ADCS) in a satellite takes an important role to make sure that the satellite mission will be achieved. In the development phase, the ADCS is required to pass whole testing levels, including component level verification. As an important component in the ADCS, the gyro sensors must meet in that requirement. However, the testing tool for the component level test often rely on another satellite component. Since the testing line is not directly connected to the gyro, some failures between those components will be hard to be identified. This paper proposes a testing tool that operates without involves any other satellite components. The proposed testing tool consists of software and hardware part.


title: Deep CNN based feature extractor for text-prompted speaker recognition

abstract: Deep learning is still not a very common tool in speaker verification field. We study deep convolutional neural network performance in the text-prompted speaker verification task. The prompted passphrase is segmented into word states - i.e. digits -to test each digit utterance separately. We train a single high-level feature extractor for all states and use cosine similarity metric for scoring. The key feature of our network is the Max-Feature-Map activation function, which acts as an embedded feature selector. By using multitask learning scheme to train the high-level feature extractor we were able to surpass the classic baseline systems in terms of quality and achieved impressive results for such a novice approach, getting 2.85% EER on the RSR2015 evaluation set. Fusion of the proposed and the baseline systems improves this result.


title: A generalization of Croot-Lev-Pach's Lemma and a new upper bound for the size of difference sets in polynomial rings

abstract: Croot, Lev and Pach used a new polynomial technique to give a new exponential upper bound for the size of three-term progression-free subsets in the groups $(\mathbb Z _4)^n$. The main tool in proving their striking result is a simple lemma about polynomials, which gives interesting new bounds for the size of subsets of the vector space $({\mathbb Z _p})^n$. Our main result is a generalization of this lemma. In the proof we combined Tao's slice rank bounding method with Gr\"obner basis technique. As an application, we improve Green's results and present new upper bounds for the size of difference sets in polynomial rings. We give a new, more concrete upper bound for the size of arithmetic progression-free subsets in $({\mathbb Z _p})^n$.


title: Direct sampling method for imaging small anomalies: real-data experiments

abstract: A direct sampling method (DSM) is designed herein for a real-time detection of small anomalies from scattering parameters measured by a small number of dipole antennas. Applicability of the DSM is theoretically demonstrated by proving that its indicator function can be represented in terms of an infinite series of Bessel functions of integer order and the antenna locations. Experiments using real-data then demonstrate both the effectiveness and limitations of this method.


title: Cosmic acceleration in screening hybrid quintessence model

abstract: A formalism for the appearance of dark energy in the matter dominated era, leading to a persistent de Sitter expansion at the late time is proposed. Our framework is a hybrid quintessence model with a non-minimal coupling to the Ricci scalar. Coupling to the curvature triggers the dark energy evolution, while the coupling of scalar fields drives this evolution to a de Sitter stable fixed point. These occur via successive $Z_2$ symmetry breakings.


title: Geo-Network Coding Function Virtualization for Reliable Communication over Satellite

abstract: In this paper, we propose a design solution for the implementation of Virtualized Network Coding Functionality (VNCF) over a service coverage area. Network Function Virtualization (NFV) and Network Coding (NC) architectural designs are integrated as a toolbox of NC design domains so that NC can be implemented over different underlying physical networks including satellite or hybrid networks. The design includes identifying theoretical limits of NC over wireless networks in terms of achievable rate region and optimizing coding rates for nodes that implement VNCF. The overall design target is to achieve a given multicast transmission target reliability at receiver sides. In addition, the optimization problem uses databases with geo-tagged link statistics and geo-location information of network nodes in the deployment area for some computational complexity/energy constraints. Numerical results provide validation of our design solution on how network conditions and system constraints impact the design and implementation of NC and how VNCF allows reliable communication over wireless networks with reliability and connectivity up to theoretical limits.


title: Second Order Perturbative Effects on the Acoustic Geometry

abstract: In this work, we have studied the effect of higher order perturbations, particularly the second order in details, on the sonic horizon. We have considered two different schemes of perturbations which are velocity potential perturbation and mass acceleration rate perturbation. These two schemes give us qualitatively similar behaviour. We have found that the analogue gravity formalism also holds for the higher order perturbations.


title: Variable stars in NGC 4147 revisited: RR Lyrae stars new CCD VI photometry and physical parameters

abstract: We have calculated the physical parameters of the RR Lyrae stars in the globular cluster NGC~4147 via the Fourier decomposition of their light curves, using new data and well-established semi-empirical calibrations and zero points. The mean metallicity and distance estimated using the RRc stars are [Fe/H]$_{ZW}=-1.72\pm0.15$ and $19.05\pm0.46$ kpc respectively. The star V18, whose variability has been previously in dispute, is confirmed to be a variable of the SR type with a period of about 24.8d, and it has been used to get and independent distance estimate of the cluster. It is observed that the RRab and RRc stars do not share the inter-mode region in the horizontal branch. The cluster can be classified as of intermediate Oosterhoff type. Its horizontal branch structure and metallicity make a good case for extragalactic origin. It follows the distribution of Oo~I type globular clusters in the $M_V-$[Fe/H] plane, as depicted from the RRc stars.


title: Cahn-Hilliard equation on the boundary with bulk condition of Allen-Cahn type

abstract: The well-posedness for a system of partial differential equations and dynamic boundary conditions is discussed. This system is a sort of transmission problem between the dynamics in the bulk $\Omega $ and on the boundary $\Gamma$. The Poisson equation for the chemical potential, the Allen-Cahn equation for the order parameter in the bulk $\Omega$ are considered as auxiliary conditions for solving the Cahn-Hilliard equation on the boundary $\Gamma$. Recently the well-posedness for the equation and dynamic boundary condition, both of Cahn-Hilliard type, was discussed. Based on this result, the existence of the solution and its continuous dependence on the data are proved.


title: Extreme walking behavior and SDE boundary conditions in a 331-TC model

abstract: The solution of the phenomenological problems of technicolor (TC) models may reside in the different dynamical behavior of the technifermions self-energy appearing in walking (or quasi-conformal) theories. Motivated by recent results where it is shown how the boundary conditions (bc) of the anharmonic oscillator representation of the Schwinger-Dyson gap equation (SDE) to $SU(N)$ are directly related with the mass anomalous dimensions, and different bc cause a change in the ultraviolet asymptotic behavior of the self-energies, in this work we verify that it is possible to have a hard technifermion self-energy in TC models originated through radiative corrections coming from the interactions mediated by the new massive neutral and charged gauge bosons, $Z'$ and $U^{\pm\pm}$ in the context of a 331-TC model.


title: Seven Sketches in Compositionality: An Invitation to Applied Category Theory

abstract: This book is an invitation to discover advanced topics in category theory through concrete, real-world examples. It aims to give a tour: a gentle, quick introduction to guide later exploration. The tour takes place over seven sketches, each pairing an evocative application, such as databases, electric circuits, or dynamical systems, with the exploration of a categorical structure, such as adjoint functors, enriched categories, or toposes. No prior knowledge of category theory is assumed. A feedback form for typos, comments, questions, and suggestions is available here: https://docs.google.com/document/d/160G9OFcP5DWT8Stn7TxdVx83DJnnf7d5GML0_FOD5Wg/edit


title: Langevin equation in systems with also negative temperatures

abstract: We discuss how to derive a Langevin equation (LE) in non standard systems, i.e. when the kinetic part of the Hamiltonian is not the usual quadratic function. This generalization allows to consider also cases with negative absolute temperature. We first give some phenomenological arguments suggesting the shape of the viscous drift, replacing the usual linear viscous damping, and its relation with the diffusion coefficient modulating the white noise term. As a second step, we implement a procedure to reconstruct the drift and the diffusion term of the LE from the time-series of the momentum of a heavy particle embedded in a large Hamiltonian system. The results of our reconstruction are in good agreement with the phenomenological arguments. Applying the method to systems with negative temperature, we can observe that also in this case there is a suitable Langevin equation, obtained with a precise protocol, able to reproduce in a proper way the statistical features of the slow variables. In other words, even in this context, systems with negative temperature do not show any pathology.


title: On the structure theory of \L ukasiewicz near semirings

abstract: In a previous article by two of the present authors and S. Bonzio, \L ukasiewicz near semirings were introduced and it was proven that basic algebras can be represented (precisely, are term equivalent to) as near semirings. In the same work it has been shown that the variety of \L ukasiewicz near semirings is congruence regular. In other words, every congruence is uniquely determined by its $0$-coset. Thus, it seems natural to wonder wether it could be possible to provide a set-theoretical characterization of these cosets. This article addresses this question and shows that kernels can be neatly described in terms of two simple conditions. As an application, we obtain a concise characterization of ideals in \L ukasiewicz semirings. Finally, we close this article with a rather general Cantor-Bernstein type theorem for the variety of involutive idempotent integral near semirings.


title: Euler-Lagrangian approach to 3D stochastic Euler equations

abstract: 3D stochastic Euler equations with a special form of multiplicative noise are considered. A Constantin-Iyer type representation in Euler-Lagrangian form is given, based on stochastic characteristics. Local existence and uniqueness of solutions in suitable Hoelder spaces is proved from the Euler-Lagrangian formulation.


title: Efficient Realization of Givens Rotation through Algorithm-Architecture Co-design for Acceleration of QR Factorization

abstract: We present efficient realization of Generalized Givens Rotation (GGR) based QR factorization that achieves 3-100x better performance in terms of Gflops/watt over state-of-the-art realizations on multicore, and General Purpose Graphics Processing Units (GPGPUs). GGR is an improvement over classical Givens Rotation (GR) operation that can annihilate multiple elements of rows and columns of an input matrix simultaneously. GGR takes 33% lesser multiplications compared to GR. For custom implementation of GGR, we identify macro operations in GGR and realize them on a Reconfigurable Data-path (RDP) tightly coupled to pipeline of a Processing Element (PE). In PE, GGR attains speed-up of 1.1x over Modified Householder Transform (MHT) presented in the literature. For parallel realization of GGR, we use REDEFINE, a scalable massively parallel Coarse-grained Reconfigurable Architecture, and show that the speed-up attained is commensurate with the hardware resources in REDEFINE. GGR also outperforms General Matrix Multiplication (gemm) by 10% in-terms of Gflops/watt which is counter-intuitive.


title: Selective population of a large-angular-momentum state in an optical lattice

abstract: We propose a method to selectively populate a large angular momentum state of ultracold atoms (each with an orbital angular momentum $l \approx 2 \hbar$) in the Mott regime of a two-dimensional optical lattice. This is done by periodically modulating the lattice amplitude and implementing an additional rectangular lattice of shorter wavelength at an angle of $\pi/4$. The specific pulse sequences are designed using a four-level model for each well and are implemented sequentially. The results are confirmed with numerical simulations of the full Schroedinger equation. The methods of this paper are another step in constructing a modular toolbox of operations for creating higher orbital states in optical lattices.


title: Effects of localized spatial variations on the uniform persistence and spreading speeds of time periodic two species competition systems

abstract: The current paper is devoted to the study of two species competition systems of the form \begin{equation*} \begin{cases} u_t(t,x)= \mathcal{A} u+u(a_1(t,x)-b_1(t,x)u-c_1(t,x)v),\quad x\in\RR\cr v_t(t,x)= \mathcal{A} v+ v(a_2(t,x)-b_2(t,x)u-c_2(t,x) v),\quad x\in\RR \end{cases} \end{equation*} where $\mathcal{A}u=u_{xx}$, or $(\mathcal{A}u)(t,x)=\int_{\RR}\kappa(y-x)u(t,y)dy-u(t,x)$ ($\kappa(\cdot)$ is a smooth non-negative convolution kernel supported on an interval centered at the origin), $a_i(t+T,x)=a_i(t,x)$, $b_i(t+T,x)=b_i(t,x)$, $c_i(t+T,x)=c_i(t,x)$, and $a_i$, $b_i$, and $c_i$ ($i=1,2$) are spatially homogeneous when $|x|\gg 1$, that is, $a_i(t,x)=a_i^0(t)$, $b_i(t,x)=b_i^0(t)$, $c_i(t,x)=c_i^0(t)$ for some $a_i^0(t)$, $b_i^0(t)$, $c_i^0(t)$, and $|x|\gg 1$. Such a system can be viewed as a time periodic competition system subject to certain localized spatial variations. We, in particular, study the effects of localized spatial variations on the uniform persistence and spreading speeds of the system. Among others, it is proved that any localized spatial variation does not affect the uniform persistence of the system, does not slow down the spreading speeds of the system, and under some linear determinant condition, does not speed up the spreading speeds.


title: Superradiant Undulator Radiation for Selective THz Control Experiments at XFELs

abstract: The generation of frequency-tunable, narrow-bandwidth and carrier-envelope-phase stable THz pulses with fields in the MV/cm regime that can be appropriately timed to the femtosecond X-ray pulses from free-electron-lasers is of highest scientific interest. It will enable to follow the electronic and structural dynamics stimulated by (non)linear selective excitations of matter on few femtosecond time and {\AA}ngstrom length scales. In this article, a scheme based on superradiant undulator radiation generated just after the XFEL is proposed. The concept utilizes cutting edge superconducting undulator technology and provides THz pulses in a frequency range between 3 and 30 THz with exceptional THz pulse energies. Relevant aspects for realization and operation are discussed point by point on the example of the European XFEL.


title: Jumps of Milnor numbers of Brieskorn-Pham singularities in non-degenerate families

abstract: The jump of the Milnor number of an isolated singularity $f_{0}$ is the minimal non-zero difference between the Milnor numbers of $f_{0}$ and one of its deformation $(f_{s}).$ In the case $f_{s}$ are non-degenerate singularities we call the jump non-degenerate. We give a formula (an inductive algorithm using diophantine equations) for the non-degenerate jump of $f_{0}$ in the case $f_{0}$ is a convenient singularity with only one $(n-1)$-dimensional face of its Newton diagram which equivalently (in our problem) can be replaced by the Brieskorn-Pham singularities.


title: Berry curvature and symmetry broken induced Hall effect in MoS2

abstract: Inversion symmetry breaking and spin-orbit coupling lead to valley and spin Hall effect in MoS2. Because of the large valley separation in momentum space, the valley index is expected to be robust. In this paper, quantum Hall effect in MoS2 originated from Berry curvature is analyzed after review of symmetry structure and spin-orbit coupling Hamiltonian of MoS2. Finally an expression and rough calculation is given for valley and spin Hall effect.


title: $C^*$-rigidity of dynamical systems and \'etale groupoids

abstract: This is some lecture notes I wrote for the masterclass \emph{Rigidity of $C^*$-algebras associated to dynamics} held at the University of Copenhagen October 16-20, 2017. The notes is attempt to give an introduction to how \'etale groupoids can be used to obtain $C^*$-rigidity result for topological dynamical systems.


title: Model-independent exoplanet transit spectroscopy

abstract: We propose a new data analysis method for obtaining transmission spectra of exoplanet atmospheres and brightness variation across the stellar disk from transit observations. The new method is capable of recovering exoplanet atmosphere absorption spectra and stellar specific intensities without relying on theoretical models of stars and planets. We fit both stellar specific intensity and planetary radius simultaneously directly to transit light curves. This allows stellar models to be removed from the data analysis. Furthermore, we use a data-quality weighted filtering technique to achieve an optimal trade-off between spectral resolution and reconstruction fidelity homogenising the signal to noise ratio across the wavelength range. Such approach is more efficient than conventional data binning onto a low resolution wavelength grid. We demonstrate that our analysis is capable of re-producing results achieved by using explicit quadratic limb darkening equation, and that the filtering technique helps eliminating spurious spectral features in regions with strong telluric absorption. The method is applied to the VLT FORS2 observations of the exoplanets GJ 1214 b and WASP-49 b, and our results are in agreement with previous studies. Comparisons between obtained stellar specific intensity and numerical models indicates that the method is capable of accurately reconstructing the specific intensity. The proposed method enables more robust characterization of exoplanetary atmospheres by separating derivation of planetary transmission and stellar specific intensity spectra (that is model-independent) from chemical and physical interpretation.


title: Volumes of 3-ball quotients as intersection numbers

abstract: We give an explicit description of the 3-ball quotients constructed by Couwenberg-Heckman-Looijenga, and deduce the value of their orbifold Euler characteristics. For each lattice, we also give a presentation in terms of generators and relations.


title: Revealing neutral bremsstrahlung in two-phase argon electroluminescence

abstract: Proportional electroluminescence (EL) in noble gases has long been used in two-phase detectors for dark matter search, to record ionization signals induced by particle scattering in the noble-gas liquid (S2 signals). Until recently, it was believed that proportional electroluminescence was fully due to VUV emission of noble gas excimers produced in atomic collisions with excited atoms, the latter being in turn produced by drifting electrons. In this work we consider an additional mechanism of proportional electroluminescence, namely that of bremsstrahlung of drifting electrons scattered on neutral atoms (so-called neutral bremsstrahlung); it is systemically studied here both theoretically and experimentally. In particular, the absolute EL yield has for the first time been measured in pure gaseous argon in the two-phase mode, using a dedicated two-phase detector with EL gap optically read out by cryogenic PMTs and SiPMs. We show that the neutral bremsstrahlung effect can explain two intriguing observations in EL radiation: that of the substantial contribution of the non-VUV spectral component, extending from the UV to NIR, and that of the photon emission at lower electric fields, below the Ar excitation threshold. Possible applications of neutral bremsstrahlung effect in two-phase dark matter detectors are discussed.


title: The local and global dynamics of a cancer tumor growth and chemotherapy treatment model

abstract: In this paper, we studied phase-space analysis of a certain mathematical model of tumor growth with an immune responses and chemotherapy therapy. Mathematical modelling of this process is viewed as a potentially powerful tool in the development of improved treatment regimens. Mathematical analysis of the model equations with multipoint initial condition, regarding nature of equilibria, local and global stability have been investigated. We studied some features of behavior of one of three-dimensional tumor growth models with dynamics described in terms of densities of three cells populations: tumor cells, healthy host cells and effector immune cells. We found sufficient conditions, under which trajectories from the positive domain of feasible multipoint initial conditions tend to one of equilibrium points. The addition of a drug term to the system can move the solution trajectory into a desirable basin of attraction. We show that the solutions of the model with a time-varying drug term approach can be evaluated more fruitful way and down to earth style from the point of practical importance than the solutions of the system without drug treatment, in the condition of stimulated immune processes, only.


title: Asymptotic limits and optimal control for the Cahn-Hilliard system with convection and dynamic boundary conditions

abstract: In this paper, we study initial-boundary value problems for the Cahn--Hilliard system with convection and nonconvex potential, where dynamic boundary conditions are assumed for both the associated order parameter and the corresponding chemical potential. While recent works addressed the case of viscous Cahn--Hilliard systems, the `pure' nonviscous case is investigated here. In its first part, the paper deals with the asymptotic behavior of the solutions as time approaches infinity. It is shown that the $\omega$-limit of any trajectory can be characterized in terms of stationary solutions, provided the initial data are sufficiently smooth. The second part of the paper deals with the optimal control of the system by the fluid velocity. Results concerning existence and first-order necessary optimality conditions are proved. Here, we have to restrict ourselves to the case of everywhere defined smooth potentials. In both parts of the paper, we start from corresponding known results for the viscous case, derive sufficiently strong estimates that are uniform with respect to the (positive) viscosity parameter, and then let the viscosity tend to zero to establish the sought results for the nonviscous case.


title: Semi-implicit second order schemes for numerical solution of level set advection equation on Cartesian grids

abstract: A new parametric class of semi-implicit numerical schemes for a level set advection equation on Cartesian grids is derived and analyzed. An accuracy and a stability study is provided for a linear advection equation with a variable velocity using partial Lax-Wendroff procedure and numerical von Neumann stability analysis. The obtained semi-implicit kappa-scheme is 2nd order accurate in space and time in any dimensional case when using a dimension by dimension extension of the one-dimensional scheme that is not the case for analogous fully explicit or fully implicit kappa-schemes. A further improvement is obtained by using so-called Corner Transport Upwind extension in two-dimensional case. The extended semi-implicit kappa-scheme with a specific (velocity dependent) value of kappa is 3rd order accurate in space and time for a constant advection velocity, and it is unconditional stable according to the numerical von Neumann stability analysis for the linear advection equation in general.


title: Observability of the Efimov spectrum in an electron-atom-atom system

abstract: The bound states of a system consisting of two heavy identical atoms and one light electron interacting through the finite-range pairwise potentials are explored, focusing on their dependence on the electron-atom scattering length. In the case of an exact resonance in the electron-atom interaction, the binding energy of an electron yields an effective $1/r^{2}$ potential for the relative motion of the atoms; One major finding is a universal potential that depends on the polarization length which goes beyond the Efimov region. An analytic expression for that potential is extracted from numerical calculations. The spectrum of the e+Rb+Rb system produced by the electron-atom polarization interaction exhibits three main sections, a non-universal transition region, a quasi-Efimov region, and a densely packed Efimov region.


title: A Statistical Mechanical Approach for the Parametrization of the Coupling in a Fast-Slow System

abstract: Constructing accurate, flexible, and efficient parametrizations is one of the great challenges in the numerical modelling of geophysical fluids. We consider here the simple yet paradigmatic case of a Lorenz 84 model forced by a Lorenz 63 model and derive a parametrization using a recently developed statistical mechanical methodology based on the Ruelle response theory. We derive an expression for the deterministic and the stochastic component of the parametrization and we show that the approach allows for dealing seamlessly with the case of the Lorenz 63 being a fast as well as a slow forcing compared to the characteristic time scales of the Lorenz 84 model. We test our results using both standard metrics based on the moments of the variables of interest as well as Wasserstein distance between the projected measure of the original system on the Lorenz 84 model variables and the measure of the parametrized one. By testing our methods on reduced phase spaces obtained by projection, we find support to the idea that comparisons based on the Wasserstein distance might be of relevance in many applications despite the curse of dimensionality.

categories: cond-mat.stat-mech math.DS nlin.CD physics.ao-ph


title: Fast and Parallel Runge-Kutta Approximation of Fractional Evolution Equations

abstract: We consider a linear inhomogeneous fractional evolution equation which is obtained from a Cauchy problem by replacing its first-order time derivative with Caputo's fractional derivative. The operator in the fractional evolution equation is assumed to be sectorial. By using the inverse Laplace transform a solution to the fractional evolution equation is obtained which can be written as a convolution. Based on $L$-stable Runge-Kutta methods a convolution quadrature is derived which allows a stable approximation of the solution. Here, the convolution quadrature weights are represented as contour integrals. On discretising these integrals, we are able to give an algorithm which computes the solution after $N$ time steps with step size $h$ up to an arbitrary accuracy $\varepsilon$. For this purpose the algorithm only requires $\mathcal{O}(N)$ Runge-Kutta steps for a large number of scalar linear inhomogeneous ordinary differential equations and the solutions of $\mathcal{O}(\log(N)\log(\frac{1}{\varepsilon}))$ linear systems what can be done in parallel. In numerical examples we illustrate the algorithm's performance.


title: Capturing the influence of geopolitical ties from Wikipedia with reduced Google matrix

abstract: Interactions between countries originate from diverse aspects such as geographic proximity, trade, socio-cultural habits, language, religions, etc. Geopolitics studies the influence of a country's geographic space on its political power and its relationships with other countries. This work reveals the potential of Wikipedia mining for geopolitical study. Actually, Wikipedia offers solid knowledge and strong correlations among countries by linking web pages together for different types of information (e.g. economical, historical, political, and many others). The major finding of this paper is to show that meaningful results on the influence of country ties can be extracted from the hyperlinked structure of Wikipedia. We leverage a novel stochastic matrix representation of Markov chains of complex directed networks called the reduced Google matrix theory. For a selected small size set of nodes, the reduced Google matrix concentrates direct and indirect links of the million-node sized Wikipedia network into a small Perron-Frobenius matrix keeping the PageRank probabilities of the global Wikipedia network. We perform a novel sensitivity analysis that leverages this reduced Google matrix to characterize the influence of relationships between countries from the global network. We apply this analysis to two chosen sets of countries (i.e. the set of 27 European Union countries and a set of 40 top worldwide countries). We show that with our sensitivity analysis we can exhibit easily very meaningful information on geopolitics from five different Wikipedia editions (English, Arabic, Russian, French and German).


title: Learning to Recognize Musical Genre from Audio

abstract: We here summarize our experience running a challenge with open data for musical genre recognition. Those notes motivate the task and the challenge design, show some statistics about the submissions, and present the results.


title: Efficient first principles simulation of electron scattering factors for transmission electron microscopy

abstract: Electron microscopy is a powerful tool for studying the properties of materials down to their atomic structure. In many cases, the quantitative interpretation of images requires simulations based on atomistic structure models. These typically use the independent atom approximation that neglects bonding effects, which may, however, be measurable and of physical interest. Since all electrons and the nuclear cores contribute to the scattering potential, simulations that go beyond this approximation have relied on computationally highly demanding all-electron calculations. Here, we describe a new method to generate ab initio electrostatic potentials when describing the core electrons by projector functions. Combined with an interface to quantitative image simulations, this implementation enables an easy and fast means to model electron microscopy images. We compare simulated transmission electron microscopy images and diffraction patterns to experimental data, showing an accuracy equivalent to earlier all-electron calculations at a much lower computational cost.


title: Predicting Oral Disintegrating Tablet Formulations by Neural Network Techniques

abstract: Oral Disintegrating Tablets (ODTs) is a novel dosage form that can be dissolved on the tongue within 3min or less especially for geriatric and pediatric patients. Current ODT formulation studies usually rely on the personal experience of pharmaceutical experts and trial-and-error in the laboratory, which is inefficient and time-consuming. The aim of current research was to establish the prediction model of ODT formulations with direct compression process by Artificial Neural Network (ANN) and Deep Neural Network (DNN) techniques. 145 formulation data were extracted from Web of Science. All data sets were divided into three parts: training set (105 data), validation set (20) and testing set (20). ANN and DNN were compared for the prediction of the disintegrating time. The accuracy of the ANN model has reached 85.60%, 80.00% and 75.00% on the training set, validation set and testing set respectively, whereas that of the DNN model was 85.60%, 85.00% and 80.00%, respectively. Compared with the ANN, DNN showed the better prediction for ODT formulations. It is the first time that deep neural network with the improved dataset selection algorithm is applied to formulation prediction on small data. The proposed predictive approach could evaluate the critical parameters about quality control of formulation, and guide research and process development. The implementation of this prediction model could effectively reduce drug product development timeline and material usage, and proactively facilitate the development of a robust drug product.


title: Measurement-based adaptation protocol with quantum reinforcement learning

abstract: Machine learning employs dynamical algorithms that mimic the human capacity to learn, where the reinforcement learning ones are among the most similar to humans in this respect. On the other hand, adaptability is an essential aspect to perform any task efficiently in a changing environment, and it is fundamental for many purposes, such as natural selection. Here, we propose an algorithm based on successive measurements to adapt one quantum state to a reference unknown state, in the sense of achieving maximum overlap. The protocol naturally provides many identical copies of the reference state, such that in each measurement iteration more information about it is obtained. In our protocol, we consider a system composed of three parts, the "environment" system, which provides the reference state copies; the register, which is an auxiliary subsystem that interacts with the environment to acquire information from it; and the agent, which corresponds to the quantum state that is adapted by digital feedback with input corresponding to the outcome of the measurements on the register. With this proposal we can achieve an average fidelity between the environment and the agent of more than $90\% $ with less than $30$ iterations of the protocol. In addition, we extend the formalism to $ d $-dimensional states, reaching an average fidelity of around $80\% $ in less than $400$ iterations for $d=$ 11, for a variety of genuinely quantum and semiclassical states. This work paves the way for the development of quantum reinforcement learning protocols using quantum data and for the future deployment of semi-autonomous quantum systems.

categories: quant-ph cond-mat.mes-hall cs.AI cs.LG stat.ML


title: All local gauge invariants for perturbations of the Kerr spacetime

abstract: We present two complex scalar gauge invariants for perturbations of the Kerr spacetime defined covariantly in terms of the Killing vectors and the conformal Killing-Yano tensor of the background together with the linearized curvature and its first derivatives. These invariants are in particular sensitive to variations of the Kerr parameters. Together with the Teukolsky scalars and the linearized Ricci tensor they form a minimal set that generates all local gauge invariants. We also present curvature invariants that reduce to the gauge invariants in linearized theory.


title: Zassenhaus Conjecture on torsion units holds for $\text{SL}(2,p)$ and $\text{SL}(2,p^2)$

abstract: H.J. Zassenhaus conjectured that any unit of finite order and augmentation $1$ in the integral group ring $\mathbb{Z}G$ of a finite group $G$ is conjugate in the rational group algebra $\mathbb{Q}G$ to an element of $G$. We prove the Zassenhaus Conjecture for the groups $\text{SL}(2,p)$ and $\text{SL}(2,p^2)$ with $p$ a prime number. This is the first infinite family of non-solvable groups for which the Zassenhaus Conjecture has been proved. We also prove that if $G=\text{SL}(2,p^f)$, with $f$ arbitrary and $u$ is a torsion unit of $\mathbb{Z}G$ with augmentation $1$ and order coprime with $p$ then $u$ is conjugate in $\mathbb{Q}G$ to an element of $G$. By known results, this reduces the proof of the Zassenhaus Conjecture for this groups to prove that every unit of $\mathbb{Z}G$ of order multiple of $p$ and augmentation $1$ has actually order $p$.


title: Generalized Bernstein operators defined by increasing nodes

abstract: We study certain generalizations of the classical Bernstein operators, defined via increasing sequences of nodes. Such operators are required to fix two functions, $f_0$ and $f_1$, such that $f_0 > 0$ and $f_1/ f_0$ is increasing on an interval $[a,b]$. A characterization regarding when this can be done is presented. From it we obtain, under rather general circumstances, the following necessary condition for existence: if nodes are non-{\guillemotleft}decreasing, then $(f_1/f_0)^\prime >0 $ on $(a,b)$, while if nodes are strictly increasing, then $(f_1/f_0)^\prime >0 $ on $[a,b]$.


title: Viscosity bound versus the universal relaxation bound

abstract: For gauge theories with an Einstein gravity dual, the AdS/CFT correspondence predicts a universal value for the ratio of the shear viscosity to the entropy density, $\eta/s=1/4\pi$. The holographic calculations have motivated the formulation of the celebrated KSS conjecture, according to which all fluids conform to the lower bound $\eta/s \geq 1/4\pi$. The bound on $\eta/s$ may be regarded as a lower bound on the {\it relaxation} properties of perturbed fluids and it has been the focus of much recent attention. In particular, it was argued that for a class of field theories with Gauss-Bonnet gravity dual, the shear viscosity to entropy density ratio, $\eta/s$, could violate the conjectured KSS bound. In the present paper we argue that the proposed violations of the KSS bound are strongly constrained by Bekenstein's generalized second law (GSL) of thermodynamics. In particular, it is shown that physical consistency of the Gauss-Bonnet theory with the GSL requires its coupling constant to be bounded by $\lambda_{GB}\lesssim 0.063$. We further argue that the genuine physical bound on the relaxation properties of physically consistent fluids is $\Im\omega(k>2\pi T)>\pi T$, where $\omega$ and $k$ are respectively the proper frequency and the wavenumber of a perturbation mode in the fluid.


title: The ngVLA's Role in Exoplanet Science: Constraining Exo-Space Weather

abstract: Radio observations are currently the only way to explore accelerated particles in cool stellar environments. We describe how a next generation VLA can contribute to the understanding of the stellar contribution to exo-space weather. This area holds both academic and popular interest, and is expected to grow in the next several decades.


title: Design of thermo-piezoelectric microstructured bending actuators via multi-field asymptotic homogenization

abstract: The use of integrated MicroElectroMechanical systems (MEMS) is recently spread thanks to their improved sensitivity, accuracy and reliability. Accurate preliminary computations born from the need of high precision in the manufacturing process of such devices. Piezoelectric materials are broadly employed in this field as direct converters between mechanical and electrical signals and some of these piezoelectric materials show pyroelectric features, which involve thermo-electrical interactions. Pyroelectric bending actuators are analyzed in the present study in plane conditions. They consists of active PZT layers with in-plane polarization and a microstructured composite layer characterized by a periodic microstructure where PZT fibers with an out of plane polarization are immersed in a polymeric matrix. The constitutive law of the composite layer at the macroscale has been determined by means of a multi-field asymptotic homogenization technique, recently developed for thermo-piezoelectric materials. Overall constitutive equations characterizing the behavior of the microstructured layer at the macroscale have been derived and the closed form of the overall constitutive tensors has been provided for the equivalent first-order (Cauchy) homogenized continuum. Deflection of unimorph and bimorph bender actuators has been investigated in relation to their geometrical features, exploiting the out of plane piezoelectric properties of the composite layer, which modify the stiffness of the entire bender. An accurate description of benders behavior at the structural length scale is of fundamental importance in order to design devices with high performances. In this regard, the influence of the microstructure on the global response of the actuator is investigated in the present study in order to understand how the composite material can be tailored to meet specific design requirements.


title: Illumination-aware Faster R-CNN for Robust Multispectral Pedestrian Detection

abstract: Multispectral images of color-thermal pairs have shown more effective than a single color channel for pedestrian detection, especially under challenging illumination conditions. However, there is still a lack of studies on how to fuse the two modalities effectively. In this paper, we deeply compare six different convolutional network fusion architectures and analyse their adaptations, enabling a vanilla architecture to obtain detection performances comparable to the state-of-the-art results. Further, we discover that pedestrian detection confidences from color or thermal images are correlated with illumination conditions. With this in mind, we propose an Illumination-aware Faster R-CNN (IAF RCNN). Specifically, an Illumination-aware Network is introduced to give an illumination measure of the input image. Then we adaptively merge color and thermal sub-networks via a gate function defined over the illumination value. The experimental results on KAIST Multispectral Pedestrian Benchmark validate the effectiveness of the proposed IAF R-CNN.


title: Asymptotic Analysis of Unsteady Neutron Transport Equation

abstract: Consider the unsteady neutron transport equation with diffusive boundary condition in 2D convex domains. We establish the diffusive limit with both initial layer and boundary layer corrections. The major difficulty is the lack of regularity in the boundary layer with geometric correction. Our contribution relies on a detailed analysis of asymptotic expansions inspired by the compatibility condition and an intricate $L^{2m}-L^{\infty}$ framework which yields stronger remainder estimates.


title: Dispersion relation formalism for the two-photon exchange correction to elastic muon-proton scattering: elastic intermediate state

abstract: We evaluate the two-photon exchange correction to the unpolarized cross section in the elastic muon-proton scattering within dispersion relations. One of the six independent invariant amplitudes requires a subtraction. We fix the subtraction function to the model estimate of the full two-photon exchange at one of three MUSE beam energies and make a prediction for the two other energies. Additionally, we present single and double polarization observables accounting for the lepton mass.


title: Optimal Bounds for Johnson-Lindenstrauss Transformations

abstract: In 1984, Johnson and Lindenstrauss proved that any finite set of data in a high-dimensional space can be projected to a lower-dimensional space while preserving the pairwise Euclidean distance between points up to a bounded relative error. If the desired dimension of the image is too small, however, Kane, Meka, and Nelson (2011) and Jayram and Woodruff (2013) independently proved that such a projection does not exist. In this paper, we provide a precise asymptotic threshold for the dimension of the image, above which, there exists a projection preserving the Euclidean distance, but, below which, there does not exist such a projection.


title: Symmetries on manifolds: Generalizations of the Radial Lemma of Strauss

abstract: For a compact subgroup $G$ of the group of isometries acting on a Riemannian manifold $M$ we investigate subspaces of Besov and Triebel-Lizorkin type which are invariant with respect to the group action. Our main aim is to extend the classical Strauss lemma under suitable assumptions on the Riemannian manifold by proving that $G$-invariance of functions implies certain decay properties and better local smoothness. As an application we obtain inequalities of Caffarelli-Kohn-Nirenberg type for $G$-invariant functions. Our results generalize those obtained by Skrzypczak. The main tool in our investigations are atomic decompositions adapted to the $G$-action in combination with trace theorems.


title: Probing the critical point of the Jaynes-Cummings second-order dissipative quantum phase transition

abstract: We highlight the importance of quantum fluctuations in organizing a dissipative quantum phase transition for the driven Jaynes-Cummings interaction with variable qubit-cavity detuning. The system response presents a substantial difference from the predictions of the semiclassical theory, the extent of which is revealed in the properties of quantum bistability, and visualized with the help of quasi-distribution functions for the cavity field, subject to an appropriate scale parameter. States anticipated by the neoclassical theory of radiation coexist in the quantum picture, following the occurrence of spontaneous dressed-state polarization and phase bistability at resonance.


title: MedShare: Medical Resource Sharing among Autonomous Healthcare Providers

abstract: Legacy Electronic Health Records (EHRs) systems were not developed with the level of connectivity expected from them nowadays. Therefore, interoperability weakness inherent in the legacy systems can result in poor patient care and waste of financial resources. Large hospitals are less likely to share their data with external hospitals due to economic and political reasons. Motivated by these facts, we aim to provide a set of software implementation guidelines, i.e., MedShare to deal with interoperability issues among disconnected healthcare systems. The proposed integrated architecture includes: 1) a data extractor to fetch legacy medical data from a hemodialysis center, 2) converting it to a common data model, 3) indexing patient information using the HashMap technique, and 4) a set of services and tools that can be installed as a coherent environment on top of stand-alone EHRs systems. Our work enabled three cooperating but autonomous hospitals to mutually exchange medical data and helped them develop a common reference architecture. It lets stakeholders retain control over their patient data, winning the trust and confidence much needed towards a successful deployment of MedShare. Security concerns were effectively addressed that also included patient consent in the data exchange process. Thereby, the implemented toolset offered a collaborative environment to share EHRs by the healthcare providers.


title: Observations of fast-moving features in the debris disk of AU Mic on a three-year timescale: Confirmation and new discoveries

abstract: The nearby and young M star AU Mic is surrounded by a debris disk in which we previously identified a series of large-scale arch-like structures that have never been seen before in any other debris disk and that move outward at high velocities. We initiated a monitoring program with the following objectives: 1) track the location of the structures and better constrain their projected speeds, 2) search for new features emerging closer in, and ultimately 3) understand the mechanism responsible for the motion and production of the disk features. AU Mic was observed at 11 different epochs between August 2014 and October 2017 with the IR camera and spectrograph of SPHERE. These high-contrast imaging data were processed with a variety of angular, spectral, and polarimetric differential imaging techniques to reveal the faintest structures in the disk. We measured the projected separations of the features in a systematic way for all epochs. We also applied the very same measurements to older observations from the Hubble Space Telescope (HST) with the visible cameras STIS and ACS. The main outcomes of this work are 1) the recovery of the five southeastern broad arch-like structures we identified in our first study, and confirmation of their fast motion (projected speed in the range 4-12 km/s); 2) the confirmation that the very first structures observed in 2004 with ACS are indeed connected to those observed later with STIS and now SPHERE; 3) the discovery of two new very compact structures at the northwest side of the disk (at 0.40" and 0.55" in May 2015) that move to the southeast at low speed; and 4) the identification of a new arch-like structure that might be emerging at the southeast side at about 0.4" from the star (as of May 2016). Abridged.


title: FEVER: a large-scale dataset for Fact Extraction and VERification

abstract: In this paper we introduce a new publicly available dataset for verification against textual sources, FEVER: Fact Extraction and VERification. It consists of 185,445 claims generated by altering sentences extracted from Wikipedia and subsequently verified without knowledge of the sentence they were derived from. The claims are classified as Supported, Refuted or NotEnoughInfo by annotators achieving 0.6841 in Fleiss $\kappa$. For the first two classes, the annotators also recorded the sentence(s) forming the necessary evidence for their judgment. To characterize the challenge of the dataset presented, we develop a pipeline approach and compare it to suitably designed oracles. The best accuracy we achieve on labeling a claim accompanied by the correct evidence is 31.87%, while if we ignore the evidence we achieve 50.91%. Thus we believe that FEVER is a challenging testbed that will help stimulate progress on claim verification against textual sources.


title: Hyperfine Paschen-Back regime of Potassium D$_2$ line observed by Doppler-free spectroscopy

abstract: Selective reflection of a laser radiation from an interface formed by a dielectric window and a potassium atomic vapour confined in a nano-cell with $350~$nm gap thickness is implemented for the first time to study the atomic transitions of K D$_2$ line in external magnetic fields. In moderate $B$-fields, there are 44 individual Zeeman transitions which reduce to two groups (one formed by $\sigma^+$ the other one by $\sigma^-$ circularly-polarised light), each containing eight atomic transitions, as the magnetic field increases. Each of these groups contains one so-called "guiding" transition whose particularities are to have a probability (intensity) as well as a frequency shift slope (in MHz/G) that are constant in the whole range of $0 - 10~$kG magnetic fields. In the case of $\pi$-polarised laser radiation, among eight transitions two are forbidden at $B = 0$, yet their probabilities undergo a giant modification under the influence of a magnetic field. We demonstrate that for $B$-fields $> 165~$G a complete hyperfine Paschen-Back regime is observed. Other peculiarities of K D$_2$ line behaviour in magnetic field are also presented. We show a very good agreement between theoretical calculations and experiments. The recording of the hyperfine Paschen-Back regime of K D$_2$ line with high spectral resolution is demonstrated for the first time.


title: Interplay between epidermal stem cell dynamics and dermal deformations

abstract: We introduce a particle-based model of self-replicating cells on a deformable substrate composed of the dermis and the basement membrane and investigate the relationship between dermal deformations and stem cell pattering on it. We show that our model reproduces the formation of dermal papillae, protuberances directing from the dermis to the epidermis, and the preferential stem cell distributions on the tips of the dermal papillae, which the basic buckling mechanism fails to explain. We argue that cell-type-dependent adhesion strength of the cells to the basement membrane is crucial factors of these patterns.


title: Effective spin-spin interactions in bilayers of Rydberg atoms and polar molecules

abstract: We show that indirect spin-spin interactions between effective spin-1/2 systems can be realized in two parallel 1D optical lattices loaded with polar molecules and/or Rydberg atoms. The effective spin can be encoded into low-energy rotational states of polar molecules or long-lived states of Rydberg atoms, tightly trapped in a deep optical lattice. The spin-spin interactions can be mediated by Rydberg atoms, placed in a parallel shallow optical lattice, interacting with the effective spins by charge-dipole (for polar molecules) or dipole-dipole (for Rydberg atoms) interaction. Indirect XX, Ising and XXZ interactions with interaction coefficients $J^{\bot}$ and $J^{zz}$ sign varying with interspin distance can be realized, in particular, the $J_{1}-J_{2}$ XXZ model with frustrated ferro-(antiferro-)magnetic nearest (next-nearest) neighbor interactions.


title: Lie-algebraic classification of effective theories with enhanced soft limits

abstract: A great deal of effort has recently been invested in developing methods of calculating scattering amplitudes that bypass the traditional construction based on Lagrangians and Feynman rules. Motivated by this progress, we investigate the long-wavelength behavior of scattering amplitudes of massless scalar particles: Nambu-Goldstone (NG) bosons. The low-energy dynamics of NG bosons is governed by the underlying spontaneously broken symmetry, which likewise allows one to bypass the Lagrangian and connect the scaling of the scattering amplitudes directly to the Lie algebra of the symmetry generators. We focus on theories with enhanced soft limits, where the scattering amplitudes scale with a higher power of momentum than expected based on the mere existence of Adler's zero. Our approach is complementary to that developed recently by Cheung et al., and in the first step we reproduce their result. That is, as far as Lorentz-invariant theories with a single physical NG boson are concerned, we find no other nontrivial theories featuring enhanced soft limits beyond the already well-known ones: the Galileon and the Dirac-Born-Infeld (DBI) scalar. Next, we show that in a certain sense, these theories do not admit a nontrivial generalization to non-Abelian internal symmetries. Namely, for compact internal symmetry groups, all NG bosons featuring enhanced soft limits necessarily belong to the center of the group. For noncompact symmetry groups such as the ISO($n$) group featured by some multi-Galileon theories, these NG bosons then necessarily belong to an Abelian normal subgroup. The Lie-algebraic consistency constraints admit two infinite classes of solutions, generalizing the known multi-Galileon and multi-flavor DBI theories.


title: On the irreducible components of the compactified Jacobian of a ribbon

abstract: In this paper we study the irreducible components of the compactified Jacobian of a ribbon $X$ of arithmetic genus $g$ over a smooth curve $X_{\mathrm{red}}$ of genus $\bar{g}$. We prove that when $g\geq 4\bar{g}-2$ the moduli space of rank $2$ semistable vector bundles over $X_{\mathrm{red}}$ is not an irreducible component and we determine the irreducible components in which it is contained. This answers a question of D. Chen and J.L. Kass in [CK] and completes their results.


title: Approximating Generalized Network Design under (Dis)economies of Scale with Applications to Energy Efficiency

abstract: In a generalized network design (GND) problem, a set of resources are assigned to multiple communication requests. Each request contributes its weight to the resources it uses and the total load on a resource is then translated to the cost it incurs via a resource specific cost function. For example, a request may be to establish a virtual circuit, thus contributing to the load on each edge in the circuit. Motivated by energy efficiency applications, recently, there is a growing interest in GND using cost functions that exhibit (dis)economies of scale ((D)oS), namely, cost functions that appear subadditive for small loads and superadditive for larger loads. The current paper advances the existing literature on approximation algorithms for GND problems with (D)oS cost functions in various aspects: (1) we present a generic approximation framework that yields approximation results for a much wider family of requests in both directed and undirected graphs; (2) our framework allows for unrelated weights, thus providing the first non-trivial approximation for the problem of scheduling unrelated parallel machines with (D)oS cost functions; (3) our framework is fully combinatorial and runs in strongly polynomial time; (4) the family of (D)oS cost functions considered in the current paper is more general than the one considered in the existing literature, providing a more accurate abstraction for practical energy conservation scenarios; and (5) we obtain the first approximation ratio for GND with (D)oS cost functions that depends only on the parameters of the resources' technology and does not grow with the number of resources, the number of requests, or their weights. The design of our framework relies heavily on Roughgarden's smoothness toolbox (JACM 2015), thus demonstrating the possible usefulness of this toolbox in the area of approximation algorithms.


title: Real-time System Modeling and Verification through Labeled Transition System Analyser (LTSA)

abstract: With the advancement of software engineering in recent years, the model checking techniques are widely applied in various areas to do the verification for the system model. However, it is difficult to apply the model checking to verify requirements due to lacking the details of the design. Unlike other model checking tools, LTSA provides the structure diagram, which can bridge the gap between the requirements and the design. In this paper, we demonstrate the abilities of LTSA shipped with the classic case study of the steam boiler system. The structure diagram of LTSA can specify the interactions between the controller and the steam boiler, which can be derived from UML requirements model such as system sequence diagram of the steam boiler system. The start-up design model of LTSA can be generated from the structure diagram. Furthermore, we provide a variation law of the steam rate to avoid the issue of state space explosion and show how explicitly and implicitly model the time that reflects the difference between system modeling and the physical world. Finally, the derived model is verified against the required properties. Our work demonstrates the potential power of integrating UML with model checking tools in requirement elicitation, system design, and verification.


title: A new exactly integrable hypergeometric potential for the Schr\"odinger equation

abstract: We introduce a new exactly integrable potential for the Schr\"odinger equation for which the solution of the problem may be expressed in terms of the Gauss hypergeometric functions. This is a potential step with variable height and steepness. We present the general solution of the problem, discuss the transmission of a quantum particle above the barrier, and derive explicit expressions for the reflection and transmission coefficients.


title: Temporal Correlation of Interference in Vehicular Networks with Shifted-Exponential Time Headways

abstract: We consider a one-dimensional vehicular network where the time headway (time difference between successive vehicles as they pass a point on the roadway) follows the shifted-exponential distribution. We show that neglecting the impact of shift in the deployment model, which degenerates the distribution of vehicles to a Poisson Point Process, overestimates the temporal correlation of interference at the origin. The estimation error becomes large at high traffic conditions and small time-lags.


title: The Hsu-Harn-Mu-Zhang-Zhu group key establishment protocol is insecure

abstract: A significant security vulnerability in a recently published group key establishment protocol is described. This vulnerability allows a malicious insider to fraudulently establish a group key with an innocent victim, with the key chosen by the attacker. This shortcoming is sufficiently serious that the protocol should not be used.


title: Imaginary part of Hall conductivity in tilted doped Weyl semimetal with both broken time reversal and inversion symmetry

abstract: We consider a Weyl semimetal (WSM) with finite doping and tilt within a continuum model Hamiltonian with both broken time reversal and inversion symmetry. We calculate the absorptive part of the anomalous AC Hall conductivity as a function of photon energy ($\Omega$) for both type I and type II Weyl semimetal. For a given Weyl node, changing the sign of its chirality or of its tilt changes the sign of its contribution to the absorptive Hall conductivity with no change in magnitude. For a noncentrosymmetric system we find that there are ranges of photon energies for which only the positive or only the negative chirality node contributes to the imaginary (absorptive) part of the Hall conductivity. There are also other photon energies where both chirality contribute and there can be other ranges of $\Omega$ where there is no absorption associated with the AC Hall conductivity in type I and regions where it is instead constant for type II. We comment on implications for the absorption of circular polarized light.


title: Integrating UML with Service Refinement for Requirements Modeling and Analysis

abstract: Unified Modeling Language (UML) is the de facto standard for requirements modeling and system design. UML as a visual language can tremendously help customers, project managers, and developers to specify the requirements of a target system. However, UML lacks the ability to specify the requirements precisely such as the contracts of the system operation, and verify the consistency and refinement of the requirements. These disadvantages result in that the potential faults of software are hard to be discovered in the early stage of software development process, and then requiring more efforts in software testing to find the bugs. Service refinement is a formal method, which could be a supplement to enhance the UML. In this paper, we show how to integrate UML with service refinement to specify requirements, and verify the consistency and refinements of the requirements through a case study of online shopping system. Particularly, requirements are modeled through UML diagrams, which includes a) use case diagram, b) system sequence diagrams and c) conceptual class diagram. Service refinement enhances the requirements model by introducing the contracts. Furthermore, the consistency and refinements of requirement model can be verified through service refinement. Our approach demonstrates integrating UML with service refinement can require fewer efforts to achieve the consistency requirements than only using UML for requirement modeling.


title: An Analysis of Home IoT Network Traffic and Behaviour

abstract: Internet-connected devices are increasingly present in our homes, and privacy breaches, data thefts, and security threats are becoming commonplace. In order to avoid these, we must first understand the behaviour of these devices. In this work, we analyse network traces from a testbed of common IoT devices, and describe general methods for fingerprinting their behavior. We then use the information and insights derived from this data to assess where privacy and security risks manifest themselves, as well as how device behavior affects bandwidth. We demonstrate simple measures that circumvent attempts at securing devices and protecting privacy.


title: Complex activity patterns generated by short-term synaptic plasticity

abstract: Short-term synaptic plasticity (STSP) affects the efficiency of synaptic transmission for persistent presynaptic activities. We consider attractor neural networks, for which the attractors are given, in the absence of STSP, by cell assemblies of excitatory cliques. We show that STSP may transform these attracting states into attractor relics, inducing ongoing transient-state dynamics in terms of sequences of transiently activated cell assemblies, the former attractors. Subsequent cell assemblies may be both disjoint or partially overlapping. It may hence be possible to use the resulting dynamics for the generation of motor control sequences.


title: Catalogue of >55 MeV Wide-longitude Solar Proton Events Observed by SOHO, ACE, and the STEREOs at $\approx$1 AU during 2009-2016

abstract: Based on energetic particle observations made at $\approx$1 AU, we present a catalogue of 46 wide-longitude (>45{\deg}) solar energetic particle (SEP) events detected at multiple locations during 2009-2016. The particle kinetic energies of interest were chosen as >55 MeV for protons and 0.18-0.31 MeV for electrons. We make use of proton data from the Solar and Heliospheric Observatory/Energetic and Relativistic Nuclei and Electron experiment (SOHO/ERNE) and the Solar Terrestrial Relations Observatory/High Energy Telescopes (STEREO/HET), together with electron data from the Advanced Composition Explorer/Electron, Proton, and Alpha Monitor (ACE/EPAM) and the STEREO/Solar Electron and Proton Telescopes (SEPT). We consider soft X-ray data from the Geostationary Operational Environmental Satellites (GOES) and coronal mass ejection (CME) observations made with the SOHO/Large Angle and Spectrometric Coronagraph (LASCO) and STEREO/Coronagraphs 1 and 2 (COR1, COR2) to establish the probable associations between SEP events and the related solar phenomena. Event onset times and peak intensities are determined; velocity dispersion analysis (VDA) and time-shifting analysis (TSA) are performed for protons; TSA is performed for electrons. In our event sample, there is a tendency for the highest peak intensities to occur when the observer is magnetically connected to solar regions west of the flare. Our estimates for the mean event width, derived as the standard deviation of a Gaussian curve modelling the SEP intensities (protons $\approx$44{\deg}, electrons $\approx$50{\deg}), largely agree with previous results for lower-energy SEPs. SEP release times with respect to event flares, as well as the event rise times, show no simple dependence on the observer's connection angle, suggesting that...


title: Two remarks about multicurve graphs on infinite-type surfaces

abstract: After Fossas-Parlier, we consider two graphs $\mathcal{G}_{0}(S)$ and $\mathcal{G}_{\infty}(S)$, constructed from multicurves on connected, orientable surfaces of infinite-type. Our first result asserts that $\mathcal{G}_{\infty}(S)$ has finite diameter, which extends a result of Fossas-Parlier. Next, we prove that the group of (label-preserving) automorphisms of $\mathcal{G}_{0}(S)$ is the extended mapping class group of $S$, which may be regarded as an infinite-type analog of a theorem of Margalit about pants complexes.


title: Deletion in abstract Voronoi diagrams in expected linear time and related problems

abstract: Updating an abstract Voronoi diagram after deletion of one site in linear time has been a well-known open problem; similarly, for concrete Voronoi diagrams of non-point sites. In this paper, we present an expected linear-time algorithm to update an abstract Voronoi diagram after deletion of one site. We introduce the concept of a Voronoi-like diagram, a relaxed version of an abstract Voronoi construct that has a structure similar to an ordinary Voronoi diagram, without, however, being one. We formalize the concept, and prove that it is robust under insertion, therefore, enabling its use in incremental constructions. The time-complexity analysis of the resulting simple randomized incremental construction is non-standard, and interesting in its own right, because the intermediate Voronoi-like structures are order-dependent. We further extend the approach to compute the following structures in expected linear time: the order-(k+1) subdivision within an order-k Voronoi region, and the farthest abstract Voronoi diagram after the order of its regions at infinity is known.


title: Rigid reflections and Kac--Moody algebras

abstract: Given any Coxeter group, we define rigid reflections and rigid roots using non-self-intersecting curves on a Riemann surface with labeled curves. When the Coxeter group arises from an acyclic quiver, they are related to the rigid representations of the quiver. For a family of rank 3 Coxeter groups, we show that there is a surjective map from the set of reduced positive roots of a rank 2 Kac--Moody algebra onto the set of rigid reflections. We conjecture that this map is bijective.


title: On the notion of parallel transport on $\sf RCD$ spaces

abstract: We propose a general notion of parallel transport on $\sf RCD$ spaces, prove an unconditioned uniqueness result and existence under suitable assumptions on the space.


title: Surface Composition of (99942) Apophis

abstract: On April 13, 2029, near-Earth asteroid (NEA) (99942) Apophis will pass at a distance of 6 Earth radii from Earth. This event will provide researchers with a unique opportunity to study the effects of tidal forces experienced by an asteroid during a close encounter with a terrestrial planet. Binzel et al. (2010) predicted that close flybys of terrestrial planets by NEAs would cause resurfacing of their regolith due to seismic shaking. In this work we present the best pre-encounter near-infrared spectra of Apophis obtained so far. These new data were obtained during the 2013 apparition using the NASA Infrared Telescope Facility (IRTF). We found that our spectral data is consistent with previous observations by Binzel et al. (2009) but with a much higher signal-to-noise ratio. Spectral band parameters were extracted from the spectra and were used to determine the composition of the asteroid. Using a naive Bayes classifier, we computed the likelihood of Apophis being an LL chondrite to be >99% based on mol% of Fa vs. Fs. Using the same method, we estimated a probability of 89% for Apophis being an LL chondrite based on ol/(ol+px) and Fs. The results from the dynamical model indicate that the most likely source region for Apophis is the nu6 resonance in the inner main belt. Data presented in this study (especially Band I depth) could serve as a baseline to verify seismic shaking during the 2029 encounter.


title: One Net Fits All: A unifying semantics of Dynamic Fault Trees using GSPNs

abstract: Dynamic Fault Trees (DFTs) are a prominent model in reliability engineering. They are strictly more expressive than static fault trees, but this comes at a price: their interpretation is non-trivial and leaves quite some freedom. This paper presents a GSPN semantics for DFTs. This semantics is rather simple and compositional. The key feature is that this GSPN semantics unifies all existing DFT semantics from the literature. All semantic variants can be obtained by choosing appropriate priorities and treatment of non-determinism.


title: When few survive to tell the tale: thymus and gonad as auditioning organs: historical overview

abstract: Unlike other organs, the thymus and gonads generate non-uniform cell populations, many members of which perish, and a few survive. While it is recognized that thymic cells are 'audited' to optimize an organism's immune repertoire, whether gametogenesis could be orchestrated similarly to favour high quality gametes is uncertain. Ideally, such quality would be affirmed at early stages before the commitment of extensive parental resources. A case is here made that, along the lines of a previously proposed lymphocyte quality control mechanism, gamete quality can be registered indirectly through detection of incompatibilities between proteins encoded by the grandparental DNA sequences within the parent from which haploid gametes are meiotically derived. This 'stress test' is achieved in the same way that thymic screening for potential immunological incompatibilities is achieved - by 'promiscuous' expression, under the influence of the AIRE protein, of the products of genes that are not normally specific for that organ. Consistent with this, the Aire gene is expressed in both thymus and gonads, and AIRE deficiency impedes function in both organs. While not excluding the subsequent emergence of hybrid incompatibilities due to the intermixing of genomic sequences from parents (rather than grandparents), many observations, such as the number of proteins that are aberrantly expressed during gametogenesis, can be explained on this basis. Indeed, promiscuous expression could have first evolved in gamete-forming cells where incompatible proteins would be manifest as aberrant protein aggregates that cause apoptosis. This mechanism would later have been co-opted by thymic epithelial cells which display peptides from aggregates to remove potentially autoreactive T cells.


title: Information Thermodynamics of Turing Patterns

abstract: We set up a rigorous thermodynamic description of reaction-diffusion systems driven out of equilibrium by time-dependent space-distributed chemostats. Building on the assumption of local equilibrium, nonequilibrium thermodynamic potentials are constructed exploiting the symmetries of the chemical network topology. It is shown that the canonical (resp. semigrand canonical) nonequilibrium free energy works as a Lyapunov function in the relaxation to equilibrium of a closed (resp. open) system and its variation provides the minimum amount of work needed to manipulate the species concentrations. The theory is used to study analytically the Turing pattern formation in a prototypical reaction-diffusion system, the one-dimensional Brusselator model, and to classify it as a genuine thermodynamic nonequilibrium phase transition.


title: Hypercontractivity and logarithmic Sobolev Inequality for non-primitive quantum Markov semigroups and estimation of decoherence rates

abstract: We generalize the concepts of weak quantum logarithmic Sobolev inequality (LSI) and weak hypercontractivity (HC), introduced in the quantum setting by Olkiewicz and Zegarlinski, to the case of non-primitive quantum Markov semigroups (QMS). The originality of this work resides in that this new notion of hypercontractivity is given in terms of the so-called amalgamated $\mathbb{L}_p$ norms introduced recently by Junge and Parcet in the context of operator spaces theory. We make three main contributions. The first one is a version of Gross' integration lemma: we prove that (weak) HC implies (weak) LSI. Surprisingly, the converse implication differs from the primitive case as we show that LSI implies HC but with a weak constant equal to the cardinal of the center of the decoherence-free algebra. Building on the first implication, our second contribution is the fact that strong LSI and therefore strong HC do not hold for non-trivially primitive QMS. This implies that the amalgamated $\mathbb{L}_p$ norms are not uniformly convex for $1\leq p \leq 2$. As a third contribution, we derive universal bounds on the (weak) logarithmic Sobolev constants for a QMS on a finite dimensional Hilbert space, using a similar method as Diaconis and Saloff-Coste in the case of classical primitive Markov chains, and Temme, Pastawski and Kastoryano in the case of primitive QMS. This leads to new bounds on the decoherence rates of decohering QMS. Additionally, we apply our results to the study of the tensorization of HC in non-commutative spaces in terms of the completely bounded norms (CB norms) recently introduced by Beigi and King for unital and trace preserving QMS. We generalize their results to the case of a general primitive QMS and provide estimates on the (weak) constants.


title: Greedy can beat pure dynamic programming

abstract: Many dynamic programming algorithms for discrete 0-1 optimizationproblems are "pure" in that their recursion equations only use min/max and addition operations, and do not depend on actual input weights. The well-known greedy algorithm of Kruskal solves the minimum weight spanning tree problem on $n$-vertex graphs using only $O(n^2\log n)$ operations. We prove that any pure DP algorithm for this problem must perform $2^{\Omega(\sqrt{n})}$ operations. Since the greedy algorithm can also badly fail on some optimization problems, easily solvable by pure DP algorithms, our result shows that the computational powers of these two types of algorithms are incomparable.


title: Deep Learning Analysis of Defect and Phase Evolution During Electron Beam Induced Transformations in WS2

abstract: Understanding elementary mechanisms behind solid-state phase transformations and reactions is the key to optimizing desired functional properties of many technologically relevant materials. Recent advances in scanning transmission electron microscopy (STEM) allow the real-time visualization of solid-state transformations in materials, including those induced by an electron beam and temperature, with atomic resolution. However, despite the ever-expanding capabilities for high-resolution data acquisition, the inferred information about kinetics and thermodynamics of the process and single defect dynamics and interactions is minima, due to the inherent limitations of manual ex-situ analysis of the collected volumes of data. To circumvent this problem, we developed a deep learning framework for dynamic STEM imaging that is trained to find the structures (defects) that break a crystal lattice periodicity and apply it for mapping solid state reactions and transformations in layered WS2 doped with Mo. This framework allows extracting thousands of lattice defects from raw STEM data (single images and movies) in a matter of seconds, which are then classified into different categories using unsupervised clustering methods. We further expanded our framework to extract parameters of diffusion for the sulfur vacancies and analyzed transition probabilities associated with switching between different configurations of defect complexes consisting of Mo dopant and sulfur vacancy, providing insight into point defect dynamics and reactions. This approach is universal and its application to beam induced reactions allows mapping chemical transformation pathways in solids at the atomic level.


title: $F$-rationality of Rees algebras

abstract: In this paper, we study the $F$-rationality of the Rees algebra and the extended Rees algebra of $\mathfrak{m}$-primary ideals in excellent local rings $(R, \mathfrak{m})$ of prime characteristic. We partially answer some conjectures and questions raised by N. Hara, K.-i. Watanabe and K.-i. Yoshida (J. Algebra, pp.153--190, vol 247, 2002).


title: Use of recurrent infomax to improve the memory capability of input-driven recurrent neural networks

abstract: The inherent transient dynamics of recurrent neural networks (RNNs) have been exploited as a computational resource in input-driven RNNs. However, the information processing capability varies from RNN to RNN, depending on their properties. Many authors have investigated the dynamics of RNNs and their relevance to the information processing capability. In this study, we present a detailed analysis of the information processing capability of an RNN optimized by recurrent infomax (RI), which is an unsupervised learning scheme that maximizes the mutual information of RNNs by adjusting the connection strengths of the network. Thus, we observe that a delay-line structure emerges from the RI and the network optimized by the RI possesses superior short-term memory, which is the ability to store the temporal information of the input stream in its transient dynamics.


title: Familywise error control in multi-armed response-adaptive trials

abstract: Response-adaptive designs allow the randomization probabilities to change during the course of a trial based on cumulated response data, so that a greater proportion of patients can be allocated to the better performing treatments. A major concern over the use of response-adaptive designs in practice, particularly from a regulatory viewpoint, is controlling the type I error rate. In particular, we show that the naive z-test can have an inflated type I error rate even after applying a Bonferroni correction. Simulation studies have often been used to demonstrate error control, but do not provide a guarantee. In this paper, we present adaptive testing procedures for normally distributed outcomes that ensure strong familywise error control, by iteratively applying the conditional invariance principle. Our approach can be used for fully sequential and block randomized trials, and for a large class of adaptive randomization rules found in the literature. We show there is a high price to pay in terms of power to guarantee familywise error control for randomization schemes with extreme allocation probabilities. However, for proposed Bayesian adaptive randomization schemes in the literature, our adaptive tests maintain or increase the power of the trial compared to the z-test. We illustrate our method using a three-armed trial in primary hypercholesterolemia.


title: Distributed Random Number Generation for the Needs of Public Governance

abstract: We propose distributed protocol for generation of random numbers via computer systems. The protocol is specifically designed to fit the needs of random selection as it is performed in public sphere and is inspired by real problems, which are posing difficulties for Bulgarian judicial system. Random selection in public sphere is meant to be mechanism for increasing the transparency and reducing the possibilities of collusion between various government actors. Usage of computers reduces transparency and when done improperly, can lead to disastrous consequences concerning the public trust in the institutions of government. This protocol tries to provide technical solution to the transparency problem by allowing third parties to guarantee for the fairness of the random selection without giving these parties the ability to influence maliciously the result.


title: Line and rational curve arrangements, and Walther's inequality

abstract: There are two invariants associated to any line arrangement: the freeness defect $\nu(C)$ and an upper bound for it, denoted by $\nu'(C)$, coming from a recent result by Uli Walther. We show that $\nu'(C)$ is combinatorially determined, at least when the number of lines in $C$ is odd, while the same property is conjectural for $\nu(C)$. In addition, we conjecture that the equality $\nu(C)=\nu'(C)$ holds if and only if the essential arrangement $C$ of $d$ lines has either a point of multiplicity $d-1$, or has only double and triple points. We prove both conjectures in some cases, in particular when the number of lines is at most 10. We also extend a result by H. Schenck on the Castenuovo-Mumford regularity of line arrangements to arrangements of possibly singular rational curves.


title: Towards Monocular Digital Elevation Model (DEM) Estimation by Convolutional Neural Networks - Application on Synthetic Aperture Radar Images

abstract: Synthetic aperture radar (SAR) interferometry (InSAR) is performed using repeat-pass geometry. InSAR technique is used to estimate the topographic reconstruction of the earth surface. The main problem of the range-Doppler focusing technique is the nature of the two-dimensional SAR result, affected by the layover indetermination. In order to resolve this problem, a minimum of two sensor acquisitions, separated by a baseline and extended in the cross-slant-range, are needed. However, given its multi-temporal nature, these techniques are vulnerable to atmosphere and Earth environment parameters variation in addition to physical platform instabilities. Furthermore, either two radars are needed or an interferometric cycle is required (that spans from days to weeks), which makes real time DEM estimation impossible. In this work, the authors propose a novel experimental alternative to the InSAR method that uses single-pass acquisitions, using a data driven approach implemented by Deep Neural Networks. We propose a fully Convolutional Neural Network (CNN) Encoder-Decoder architecture, training it on radar images in order to estimate DEMs from single pass image acquisitions. Our results on a set of Sentinel images show that this method is able to learn to some extent the statistical properties of the DEM. The results of this exploratory analysis are encouraging and open the way to the solution of single-pass DEM estimation problem with data driven approaches.


title: Recent advances in and future challenges for mesoscopic hydrodynamic modelling of complex wetting

abstract: We highlight some recent developments that widen the scope and reach of mesoscopic thin-film (or long-wave) hydrodynamic models employed to describe the dynamics of thin films, drops and contact lines of simple and complex liquids on solid substrates. The basis of the discussed developments is the reformulation of various mesoscopic thin-film hydrodynamic models as gradient dynamics on underlying energy functionals. After briefly presenting the general approach, the following sections discuss how to improve these models by amending the energy functional and the mobility function, how to obtain gradient dynamics models for some complex liquids, and how to incorporate processes beyond relaxational dynamics.


title: Self-Similar Epochs: Value in Arrangement

abstract: Optimization of machine learning models is commonly performed through stochastic gradient updates on randomly ordered training examples. This practice means that sub-epochs comprise of independent random samples of the training data that may not preserve informative structure present in the full data. We hypothesize that the training can be more effective with {\em self-similar} arrangements that potentially allow each epoch to provide benefits of multiple ones. We study this for "matrix factorization" -- the common task of learning metric embeddings of entities such as queries, videos, or words from example pairwise associations. We construct arrangements that preserve the weighted Jaccard similarities of rows and columns and experimentally observe training acceleration of 3\%-37\% on synthetic and recommendation datasets. Principled arrangements of training examples emerge as a novel and potentially powerful enhancement to SGD that merits further exploration.


title: Computational Techniques for the Analysis of Small Signals in High-Statistics Neutrino Oscillation Experiments

abstract: The current and upcoming generation of Very Large Volume Neutrino Telescopes---collecting unprecedented quantities of neutrino events---can be used to explore subtle effects in oscillation physics, such as (but not restricted to) the neutrino mass ordering. The sensitivity of an experiment to these effects can be estimated from Monte Carlo simulations. With the high number of events that will be collected, there is a trade-off between the computational expense of running such simulations and the inherent statistical uncertainty in the determined values. In such a scenario, it becomes impractical to produce and use adequately-sized sets of simulated events with traditional methods, such as Monte Carlo weighting. In this work we present a staged approach to the generation of binned event distributions in order to overcome these challenges. By combining multiple integration and smoothing techniques which address limited statistics from simulation it arrives at reliable analysis results using modest computational resources.


title: On the Universal Approximation Property and Equivalence of Stochastic Computing-based Neural Networks and Binary Neural Networks

abstract: Large-scale deep neural networks are both memory intensive and computation-intensive, thereby posing stringent requirements on the computing platforms. Hardware accelerations of deep neural networks have been extensively investigated in both industry and academia. Specific forms of binary neural networks (BNNs) and stochastic computing based neural networks (SCNNs) are particularly appealing to hardware implementations since they can be implemented almost entirely with binary operations. Despite the obvious advantages in hardware implementation, these approximate computing techniques are questioned by researchers in terms of accuracy and universal applicability. Also it is important to understand the relative pros and cons of SCNNs and BNNs in theory and in actual hardware implementations. In order to address these concerns, in this paper we prove that the "ideal" SCNNs and BNNs satisfy the universal approximation property with probability 1 (due to the stochastic behavior). The proof is conducted by first proving the property for SCNNs from the strong law of large numbers, and then using SCNNs as a "bridge" to prove for BNNs. Based on the universal approximation property, we further prove that SCNNs and BNNs exhibit the same energy complexity. In other words, they have the same asymptotic energy consumption with the growing of network size. We also provide a detailed analysis of the pros and cons of SCNNs and BNNs for hardware implementations and conclude that SCNNs are more suitable for hardware.


title: Automated Construction of Bounded-Loss Imperfect-Recall Abstractions in Extensive-Form Games

abstract: Extensive-form games (EFGs) model finite sequential interactions between players. The amount of memory required to represent these games is the main bottleneck of algorithms for computing optimal strategies and the size of these strategies is often impractical for real-world applications. A common approach to tackle the memory bottleneck is to use information abstraction that removes parts of information available to players thus reducing the number of decision points in the game. However, existing information-abstraction techniques are either specific for a particular domain, they do not provide any quality guarantees, or they are applicable to very small subclasses of EFGs. We present domain-independent abstraction methods for creating imperfect recall abstractions in extensive-form games that allow computing strategies that are (near) optimal in the original game. To this end, we introduce two novel algorithms, FPIRA and CFR+IRA, based on fictitious play and counterfactual regret minimization. These algorithms can start with an arbitrary domain specific, or the coarsest possible, abstraction of the original game. The algorithms iteratively detect the missing information they require for computing a strategy for the abstract game that is (near) optimal in the original game. This information is then included back into the abstract game. Moreover, our algorithms are able to exploit imperfect-recall abstractions that allow players to forget even history of their own actions. However, the algorithms require traversing the complete unabstracted game tree. We experimentally show that our algorithms can closely approximate Nash equilibrium of large games using abstraction with as little as 0.9% of information sets of the original game. Moreover, the results suggest that memory savings increase with the increasing size of the original games.


title: The Witt vectors for Green functors

abstract: We define twisted Hochschild homology for Green functors. This construction is the algebraic analogue of the relative topological Hochschild homology $THH_{C_n}(-)$, and it describes the $E_2$ term of the K\"unneth spectral sequence for relative $THH$. Applied to ordinary rings, we obtain new algebraic invariants. Extending Hesselholt's construction of the Witt vectors of noncommutative rings, we interpret our construction as providing Witt vectors for Green functors.


title: Super-positivity of a family of L-functions in the level aspect

abstract: An automorphic self dual L-function has the super-positivity property if all derivatives of the completed L-function at the central point $s=1/2$ are non-negative and all derivatives at a real point $s > 1/2$ are positive. In this paper we prove that at least 12% of L-functions associated to Hecke basis cusp forms of weight $2$ and large prime level $q$ have the super-positivity property. It is also shown that at least 49% of such L-functions have no real zeros on $ \Re(s) > 0$ except possibly at $s = 1/2.$


title: Shift-invert diagonalization of large many-body localizing spin chains

abstract: We provide a pedagogical review on the calculation of highly excited eigenstates of disordered interacting quantum systems which can undergo a many-body localization (MBL) transition, using shift-invert exact diagonalization. We also provide an example code at https://bitbucket.org/dluitz/sinvert_mbl/. Through a detailed analysis of the simulational parameters of the random field Heisenberg spin chain, we provide a practical guide on how to perform efficient computations. We present data for mid-spectrum eigenstates of spin chains of sizes up to $L=26$. This work is also geared towards readers with interest in efficiency of parallel sparse linear algebra techniques that will find a challenging application in the MBL problem.


title: $H$-colouring $P_t$-free graphs in subexponential time

abstract: A graph is called $P_t$-free if it does not contain the path on $t$ vertices as an induced subgraph. Let $H$ be a multigraph with the property that any two distinct vertices share at most one common neighbour. We show that the generating function for (list) graph homomorphisms from $G$ to $H$ can be calculated in subexponential time $2^{O\left(\sqrt{tn\log(n)}\right)}$ for $n=|V(G)|$ in the class of $P_t$-free graphs $G$. As a corollary, we show that the number of 3-colourings of a $P_t$-free graph $G$ can be found in subexponential time. On the other hand, no subexponential time algorithm exists for 4-colourability of $P_t$-free graphs assuming the Exponential Time Hypothesis. Along the way, we prove that $P_t$-free graphs have pathwidth that is linear in their maximum degree.