title: Reconsidering Analytical Variational Bounds for Output Layers of Deep Networks

abstract: The combination of the re-parameterization trick with the use of variational auto-encoders has caused a sensation in Bayesian deep learning, allowing the training of realistic generative models of images and has considerably increased our ability to use scalable latent variable models. The re-parameterization trick is necessary for models in which no analytical variational bound is available and allows noisy gradients to be computed for arbitrary models. However, for certain standard output layers of a neural network, analytical bounds are available and the variational auto-encoder may be used both without the re-parameterization trick or the need for any Monte Carlo approximation. In this work, we show that using Jaakola and Jordan bound, we can produce a binary classification layer that allows a Bayesian output layer to be trained, using the standard stochastic gradient descent algorithm. We further demonstrate that a latent variable model utilizing the Bouchard bound for multi-class classification allows for fast training of a fully probabilistic latent factor model, even when the number of classes is very large.


title: Lie bracket derivation-derivations in Banach algebras

abstract: In this paper, we introduce and solve the following additive-additive $(s,t)$-functional inequality \begin{eqnarray}\label{0.1} && \|g\left(x+y\right) -g(x) -g(y)\| +\| h(x+y) + h(x-y) -2 h(x) \| && \le \left\|s\left( 2 g\left(\frac{x+y}{2}\right)-g(x)-g(y)\right)\right\|+ \left\|t \left( 2h\left(\frac{x+y}{2}\right)+ 2h \left(\frac{x-y}{2}\right)- 2h (x)\right) \right\| , \nonumber \end{eqnarray} where $s$ and $t$ are fixed nonzero complex numbers with $|s| <1$ and $ |t| <1$. Using the direct method and the fixed point method, we prove the Hyers-Ulam stability of Lie bracket derivation-derivations in complex Banach algebras, associated to the additive-additive $(s,t)$-functional inequality (\ref{0.1}) and the following functional inequality \begin{eqnarray} \label{0.2}\| [g, h](xy)-[g,h](x) y- x [g,h](y) \| +\| h(xy) - h(x) y -x h(y) \| \le \varphi(x,y). \end{eqnarray}


title: The Neural Moving Average Model for Scalable Variational Inference of State Space Models

abstract: Variational inference has had great success in scaling approximate Bayesian inference to big data by exploiting mini-batch training. To date, however, this strategy has been most applicable to models of independent data. We propose an extension to state space models of time series data based on a novel generative model for latent temporal states: the neural moving average model. This permits a subsequence to be sampled without drawing from the entire distribution, enabling training iterations to use mini-batches of the time series at low computational cost. We illustrate our method on autoregressive, Lotka-Volterra, FitzHugh-Nagumo and stochastic volatility models, achieving accurate parameter estimation in a short time.


title: A proof of a conjecture about a symmetric system of orthogonal polynomials

abstract: The purpose of this note is to give an affirmative answer to a conjecture appearing in [Integral Transforms Spec. Funct. 26 (2015) 90-95].


title: Scientific opportunies for bERLinPro 2020+, report with ideas and conclusions from bERLinProCamp 2019

abstract: The Energy Recovery Linac (ERL) paradigm offers the promise to generate intense electron beams of superior quality with extremely small six-dimensional phase space for many applications in the physical sciences, materials science, chemistry, health, information technology and security. Helmholtz-Zentrum Berlin started in 2010 an intensive R\&D programme to address the challenges related to the ERL as driver for future light sources by setting up the bERLinPro (Berlin ERL Project) ERL with 50 MeV beam energy and high average current. The project is close to reach its major milestone in 2020, acceleration and recovery of a high brightness electron beam. The goal of bERLinProCamp 2019 was to discuss scientific opportunities for bERLinPro 2020+. bERLinProCamp 2019 was held on Tue, 17.09.2019 at Helmholtz-Zentrum Berlin, Berlin, Germany. This paper summarizes the main themes and output of the workshop.


title: Pose Estimation for Omni-directional Cameras using Sinusoid Fitting

abstract: We propose a novel pose estimation method for geometric vision of omni-directional cameras. On the basis of the regularity of the pixel movement after camera pose changes, we formulate and prove the sinusoidal relationship between pixels movement and camera motion. We use the improved Fourier-Mellin invariant (iFMI) algorithm to find the motion of pixels, which was shown to be more accurate and robust than the feature-based methods. While iFMI works only on pin-hole model images and estimates 4 parameters (x, y, yaw, scaling), our method works on panoramic images and estimates the full 6 DoF 3D transform, up to an unknown scale factor. For that we fit the motion of the pixels in the panoramic images, as determined by iFMI, to two sinusoidal functions. The offsets, amplitudes and phase-shifts of the two functions then represent the 3D rotation and translation of the camera between the two images. We perform experiments for 3D rotation, which show that our algorithm outperforms the feature-based methods in accuracy and robustness. We leave the more complex 3D translation experiments for future work.


title: Exploiting BERT for End-to-End Aspect-based Sentiment Analysis

abstract: In this paper, we investigate the modeling power of contextualized embeddings from pre-trained language models, e.g. BERT, on the E2E-ABSA task. Specifically, we build a series of simple yet insightful neural baselines to deal with E2E-ABSA. The experimental results show that even with a simple linear classification layer, our BERT-based architecture can outperform state-of-the-art works. Besides, we also standardize the comparative study by consistently utilizing a hold-out validation dataset for model selection, which is largely ignored by previous works. Therefore, our work can serve as a BERT-based benchmark for E2E-ABSA.


title: Unexpected entanglement dynamics in semidilute blends of supercoiled and ring DNA

abstract: Blends of polymers of different topologies, such as ring and supercoiled, naturally occur in biology and often exhibit emergent viscoelastic properties coveted in industry. However, due to their complexity, along with the difficulty of producing polymers of different topologies, the dynamics of topological polymer blends remains poorly understood. We address this void by using both passive and active microrheology to characterize the linear and nonlinear rheological properties of blends of relaxed circular and supercoiled DNA. We characterize the dynamics as we vary the concentration from below the overlap concentration c* to above (0.5c* to 2c*). Surprisingly, despite working at the dilute-semidilute crossover, entanglement dynamics, such as shear-thinning, elastic plateaus, and multiple relaxation modes, emerge. Finally, blends exhibit an unexpected sustained elastic response to nonlinear strains not previously observed even in well-entangled linear polymer solutions.


title: Drinfel'd-Sokolov construction and exact solutions of vector modified KdV hierarchy

abstract: We construct the hierarchy of a multi-component generalisation of modified KdV equation and find exact solutions to its associated members. The construction of the hierarchy and its conservation laws is based on the Drinfel'd-Sokolov scheme, however, in our case the Lax operator contains a constant non-regular element of the underlying Lie algebra. We also derive the associated recursion operator of the hierarchy using the symmetry structure of the Lax operators. Finally, using the rational dressing method, we obtain the one soliton solution, and we find the one breather solution of general rank in terms of determinants.


title: Silicene nanosheet to discriminate the quality of pear fruit based on volatiles adsorption --- a DFT application

abstract: We report the interaction between the silicene nanosheet (Si-NS) and volatile organic compounds (VOCs) released from the pear fruit (Pyrus communis) in ripened and over-ripened stages using density functional theory (DFT) technique. The geometric stability of Si-NS is studied from the phonon band structure. Further, the electronic property of Si-NS is studied from the energy band gap structure, and the energy gap is found to be 0.46 eV, which exhibits semiconductor property. The outcomes infer that the adsorption of volatiles released from the pear fruit on silicene nanosheet is in the following order hexyl acetate $\rightarrow$ butyl acetate $\rightarrow$ butyl butyrate in the ripened stage whereas in the over-ripened stage the adsorption sequence is noticed to be acetic acid $\rightarrow$ ethyl acetate $\rightarrow$ 1-butanol. The adsorption property of pear fruit volatiles on silicene nanosheet is documented with the adsorption energy, average energy gap changes, and Bader charge transfer. Moreover, the adsorption of VOCs on silicene nanosheet is also explored using the energy band structure, electron density along with the adsorption sites and density of states (DOS) spectrum. Besides, the findings reveal that the silicene nanosheet can be used to discriminate the quality of pear fruit.


title: Node Multiway Cut and Subset Feedback Vertex Set on Graphs of Bounded Mim-width

abstract: The two weighted graph problems Node Multiway Cut (NMC) and Subset Feedback Vertex Set (SFVS) both ask for a vertex set of minimum total weight, that for NMC disconnects a given set of terminals, and for SFVS intersects all cycles containing a vertex of a given set. We design a meta-algorithm that allows to solve both problems in time $2^{O(rw^3)}\cdot n^{4}$, $2^{O(q^2\log(q))}\cdot n^{4}$, and $n^{O(k^2)}$ where $rw$ is the rank-width, $q$ the $\mathbb{Q}$-rank-width, and $k$ the mim-width of a given decomposition. This answers in the affirmative an open question raised by Jaffke et al. (Algorithmica, 2019) concerning an XP algorithm for SFVS parameterized by mim-width. By a unified algorithm, this solves both problems in polynomial-time on the following graph classes: Interval, Permutation, and Bi-Interval graphs, Circular Arc and Circular Permutation graphs, Convex graphs, $k$-Polygon, Dilworth-$k$ and Co-$k$-Degenerate graphs for fixed $k$; and also on Leaf Power graphs if a leaf root is given as input, on $H$-Graphs for fixed $H$ if an $H$-representation is given as input, and on arbitrary powers of graphs in all the above classes. Prior to our results, only SFVS was known to be tractable restricted only on Interval and Permutation graphs, whereas all other results are new.


title: On the estimation of the Wasserstein distance in generative models

abstract: Generative Adversarial Networks (GANs) have been used to model the underlying probability distribution of sample based datasets. GANs are notoriuos for training difficulties and their dependence on arbitrary hyperparameters. One recent improvement in GAN literature is to use the Wasserstein distance as loss function leading to Wasserstein Generative Adversarial Networks (WGANs). Using this as a basis, we show various ways in which the Wasserstein distance is estimated for the task of generative modelling. Additionally, the secrets in training such models are shown and summarized at the end of this work. Where applicable, we extend current works to different algorithms, different cost functions, and different regularization schemes to improve generative models.


title: Overview of Fault Tolerant Techniques in Underwater Sensor Networks

abstract: Sensor networks provide services to a broad range of applications ranging from intelligence service surveillance to weather forecasting. Most of the sensor networks are terrestrial, however much of our planet is covered by water and Underwater Sensor Networks (USN) are an emerging research area. One of the unavoidable increasing challenge for modern technology is tolerating faults - accepting that hardware is imperfect and cope with it. Fault tolerance may have more impact underwater than in terrestrial environment as terrestrial environment is more forgiving, reaching the malfunctioning devices for replacement underwater is harder and may be more costly. Current paper is the first to investigate fault tolerance, particularly cross layer fault tolerance, in USN-s.


title: Continuous Aharonov--Bohm effect

abstract: The Aharonov--Bohm effect in a model system described by the generalized Schr\"{o}dinger equation is considered. The scattering cross section is calculated in the standard formulation: an electron beam impinges on a long impenetrable solenoid encompassing a magnetic field. It is shown that the incident wave is scattered regardless of whether the magnetic flux through the solenoid is an integer of flux quanta whereby the scattering cross section becomes a continuously nonzero function of the total magnetic flux. The problem may find its application in investigations of the soliton-magnon interaction in the low-dimensional magnetism.


title: Optical properties of spherulite opals

abstract: Spherulites are birefringent sturctures with spherical symmetry, which are typically observed in crystallized polymers. We compute the band structure of opals made of close-packed assemblies of highly birefringent spherulites. We demonstrate that spherulitic birefringence of constituent spheres does not affect the symmetries of an opal, and yet significantly affects the dispersion of eigenmodes, leading to new pseudogaps in sections of the band structure, and consequently enhanced reflectivity.


title: General Perfect Fluid Perturbations of Homogeneous and Orthogonal Locally Rotationally Symmetric Class II Cosmologies

abstract: First order perturbations of homogeneous and hypersurface orthogonal LRS (Locally Rotationally Symmetric) class II cosmologies with a cosmological constant are considered in the framework of the 1+1+2 covariant decomposition of spacetime. The perturbations, which are of perfect fluid type, include general scalar, vector and tensor modes and extend some previous works where vorticity perturbations were excluded. A harmonic decomposition is performed and the field equations are then reduced to a set of eight evolution equations for eight harmonic coefficients, representing perturbations in density, shear, vorticity and the Weyl tensor, in terms of which all other variables can be expressed algebraically. This system decouples into two sub-systems, one for five and one for three coefficients. As previously known, vorticity perturbations cannot be generated to any order in a barytopic perfect fluid. Hence the time development of existing first order vorticity perturbations are seen to be completely determined by the background. However, an already existing vorticity will act as source terms in the evolution equations for the other quantities. In the high frequency approximation the four independent Weyl tensor harmonics evolve as gravitational waves on the anisotropic background in the same manner as in the case without vorticity, whereas vorticity gives a first order disturbance of sonic waves.


title: The current algebra representations of quantum many-particle Schr\"odinger type Hamiltonian models, their factorized structure and integrability

abstract: There is developed a current algebra representation scheme for reconstructing algebraically factorized quantum Hamiltonian and symmetry operators in the Fock type space and its application to quantum Hamiltonian and symmetry operators in case of quantum integrable spatially many- and one-dimensional dynamical systems. As examples, we have studied in detail the factorized structure of Hamiltonian operators, describing such quantum integrable spatially many- and one-dimensional models as generalized oscillatory, Calogero-Sutherland, Coulomb type and nonlinear Schr\"{o}dinger dynamical systems of spinless bose-particles.


title: The plasma $\beta$ evolution through the solar corona during solar cycles 23 and 24

abstract: The plasma $\beta$ is important to investigate the interchanging roles of plasma and magnetic pressure in the solar atmosphere. It can help to describe features over the photosphere and their changes at different heights. The goal is to obtain the plasma $\beta$ variations through the solar corona during the solar cycles 23 and 24. The plasma $\beta$ is reconstructed in different layers of the solar atmosphere. For this purpose, we use an updated version of COronal DEnsity and Temperature (CODET) model. In this version, we selected different features in the solar atmosphere such as Quiet Sun (QS), faculae and Active Regions (ARs). We calculate the $\beta$ variations at different layers in the solar corona (R= 1.14, 1.19, 1.23, 1.28, 1.34, 1.40, 1.46, 1.53, 1.61, 1.74, 1.79, 1.84 and 1.90 $R_{\odot}$). In the photosphere, we use temperature values from FALC model to obtain plasma $\beta$ in QS and faculae. Additionally, variations of the magnetic and kinetic pressure were modelled during the last solar cycles at coronal heights. Accepted for publication in ApJ.


title: Object Parsing in Sequences Using CoordConv Gated Recurrent Networks

abstract: We present a monocular object parsing framework for consistent keypoint localization by capturing temporal correlation on sequential data. In this paper, we propose a novel recurrent network based architecture to model long-range dependencies between intermediate features which are highly useful in tasks like keypoint localization and tracking. We leverage the expressiveness of the popular stacked hourglass architecture and augment it by adopting memory units between intermediate layers of the network with weights shared across stages for video frames. We observe that this weight sharing scheme not only enables us to frame hourglass architecture as a recurrent network but also prove to be highly effective in producing increasingly refined estimates for sequential tasks. Furthermore, we propose a new memory cell, we call CoordConvGRU which learns to selectively preserve spatio-temporal correlation and showcase our results on the keypoint localization task. The experiments show that our approach is able to model the motion dynamics between the frames and significantly outperforms the baseline hourglass network. Even though our network is trained on a synthetically rendered dataset, we observe that with minimal fine tuning on 300 real images we are able to achieve performance at par with various state-of-the-art methods trained with the same level of supervisory inputs. By using a simpler architecture than other methods enables us to run it in real time on a standard GPU which is desirable for such applications. Finally, we make our architectures and 524 annotated sequences of cars from KITTI dataset publicly available.


title: The merits of Universal Language Model Fine-tuning for Small Datasets -- a case with Dutch book reviews

abstract: We evaluated the effectiveness of using language models, that were pre-trained in one domain, as the basis for a classification model in another domain: Dutch book reviews. Pre-trained language models have opened up new possibilities for classification tasks with limited labelled data, because representation can be learned in an unsupervised fashion. In our experiments we have studied the effects of training set size (100-1600 items) on the prediction accuracy of a ULMFiT classifier, based on a language models that we pre-trained on the Dutch Wikipedia. We also compared ULMFiT to Support Vector Machines, which is traditionally considered suitable for small collections. We found that ULMFiT outperforms SVM for all training set sizes and that satisfactory results (~90%) can be achieved using training sets that can be manually annotated within a few hours. We deliver both our new benchmark collection of Dutch book reviews for sentiment classification as well as the pre-trained Dutch language model to the community.


title: The gift of gab: probing the limits of dynamic concentration-sensing across a network of communicating cells

abstract: Many systems in biology and beyond employ collaborative, collective communication strategies for improved efficiency and adaptive benefit. One such paradigm of particular interest is the community estimation of a dynamic signal, when, for example, an epithelial tissue of cells must decide whether to react to a given dynamic external concentration of stress signaling molecules. At the level of dynamic cellular communication, however, it remains unknown what effect, if any, arises from communication beyond the mean field level. What are the limits and benefits to communication across a network of neighbor interactions? What is the role of Poissonian vs. super Poissonian dynamics in such a setting? How does the particular topology of connections impact the collective estimation and that of the individual participating cells? In this letter we construct a robust and general framework of signal estimation over continuous time Markov chains in order to address and answer these questions. Our results show that in the case of Possonian estimators, the communication solely enhances convergence speed of the Mean Squared Error (MSE) of the estimators to their steady-state values while leaving these values unchanged. However, in the super-Poissonian regime, MSE of estimators significantly decreases by increasing the number of neighbors. Surprisingly, in this case, the clustering coefficient of an estimator does not enhance its MSE while reducing total MSE of the population.


title: A high accuracy nonconforming finite element scheme for Helmholtz transmission eigenvalue problem

abstract: In this paper, we consider a cubic $H^2$ nonconforming finite element scheme $B_{h0}^3$ which does not correspond to a locally defined finite element with Ciarlet$'$s triple but admit a set of local basis functions. For the first time, we deduce and write out the expression of basis functions explicitly. Distinguished from the most nonconforming finite element methods, $(\delta\Delta_h\cdot,\Delta_h\cdot)$ with non-constant coefficient $\delta>0$ is coercive on the nonconforming $B_{h0}^3$ space which makes it robust for numerical discretization. For fourth order eigenvalue problem, the $B_{h0}^3$ scheme can provide $\mathcal{O}(h^2)$ approximation for the eigenspace in energy norm and $\mathcal{O}(h^4)$ approximation for the eigenvalues. We test the $B_{h0}^3$ scheme on the vary-coefficient bi-Laplace source and eigenvalue problem, further, transmission eigenvalue problem. Finally, numerical examples are presented to demonstrate the effectiveness of the proposed scheme.


title: A theoretical framework for comparing noise characteristics of spectral, differential phase-contrast and spectral differential phase-contrast X-ray imaging

abstract: Spectral and grating-based differential phase-contrast X-ray imaging are two emerging technologies that offer additional information compared with conventional attenuation-based X-ray imaging. In the case of spectral imaging, energy-resolved measurements allow the generation of material-specific images by exploiting differences in the energy-dependent attenuation. Differential phase-contrast imaging uses the phase shift that an X-ray wave exhibits when traversing an object as contrast generation mechanism. Recently, we have investigated the combination of these two imaging techniques (spectral differential phase-contrast imaging) and demonstrated potential advantages compared with spectral imaging. In this work, we present a noise analysis framework that allows the prediction of (co-) variances and noise power spectra for all three imaging methods. Moreover, the optimum acquisition parameters for a particular imaging task can be determined. We use this framework for a performance comparison of all three imaging methods. The comparison is focused on (projected) electron density images since they can be calculated with all three imaging methods. Our study shows that spectral differential phase-contrast imaging enables the calculation of electron density images with strongly reduced noise levels compared with the other two imaging methods for a large range of clinically relevant pixel sizes. In contrast to conventional differential phase-contrast imaging, there are no long-range noise correlations for spectral differential phase-contrast imaging. This means that excessive low frequency noise can be avoided. We confirm the analytical predictions by numerical simulations.


title: The physical studies and interaction with anti-apoptotic proteins of 2-(bis(cyanomethyl)amino)-2-oxoethyl methacrylate molecule

abstract: In this work 2-(bis(cyanomethyl)amino)-2-oxoethyl methacrylate (CMA2OEM) molecule has been characterized theoretically. First, the potential energy surface has been calculated to find the lowest energy state of the molecule. After the most stable state of the molecule, Mulliken atomic charge and nonlinear-optical properties were investigated. Also in the study, binding poses of CMA2OEM molecule and anti-apoptotic proteins, such as BCL-2, BCL-w, MCL-1, AKT1 and BRAF were investigated. The molecular docking results showed that the most stable complex was obtained with this molecule and BRAF protein. The molecular docking results showed that the most stable complex was obtained with this molecule and serine/threonine-protein kinase protein. This study suggested that molecular docking approach may be a potential tool to identify the hydrogen bond interactions in order to treat a disease. Finally, this new ligand could pave the way to experimental studies.


title: Sublinear Algorithms for Gap Edit Distance

abstract: The edit distance is a way of quantifying how similar two strings are to one another by counting the minimum number of character insertions, deletions, and substitutions required to transform one string into the other. A simple dynamic programming computes the edit distance between two strings of length $n$ in $O(n^2)$ time, and a more sophisticated algorithm runs in time $O(n+t^2)$ when the edit distance is $t$ [Landau, Myers and Schmidt, SICOMP 1998]. In pursuit of obtaining faster running time, the last couple of decades have seen a flurry of research on approximating edit distance, including polylogarithmic approximation in near-linear time [Andoni, Krauthgamer and Onak, FOCS 2010], and a constant-factor approximation in subquadratic time [Chakrabarty, Das, Goldenberg, Kouck\'y and Saks, FOCS 2018]. We study sublinear-time algorithms for small edit distance, which was investigated extensively because of its numerous applications. Our main result is an algorithm for distinguishing whether the edit distance is at most $t$ or at least $t^2$ (the quadratic gap problem) in time $\tilde{O}(\frac{n}{t}+t^3)$. This time bound is sublinear roughly for all $t$ in $[\omega(1), o(n^{1/3})]$, which was not known before. The best previous algorithms solve this problem in sublinear time only for $t=\omega(n^{1/3})$ [Andoni and Onak, STOC 2009]. Our algorithm is based on a new approach that adaptively switches between uniform sampling and reading contiguous blocks of the input strings. In contrast, all previous algorithms choose which coordinates to query non-adaptively. Moreover, it can be extended to solve the $t$ vs $t^{2-\epsilon}$ gap problem in time $\tilde{O}(\frac{n}{t^{1-\epsilon}}+t^3)$.


title: Regularity results for rough solutions of the incompressible Euler equations via interpolation methods

abstract: Given any solution $u$ of the Euler equations which is assumed to have some regularity in space - in terms of Besov norms, natural in this context - we show by interpolation methods that it enjoys a corresponding regularity in time and that the associated pressure $p$ is twice as regular as $u$. This generalizes a recent result by Isett [16] (see also Colombo and De Rosa [8]), which covers the case of H\"older spaces.


title: New Failure Rate Model for Iterative Software Development Life Cycle Process

abstract: Software reliability models are one of the most generally used mathematical tool for estimation of reliability, failure rate and number of remaining faults in the software. Existing software reliability models are designed to follow waterfall software development life cycle process. These existing models do not take advantage of iterative software development process. In this paper, a new failure rate model centered on iterative software development life cycle process has been developed. It aims to integrate a new modulation factor for incorporating varying needs in each phase of iterative software development process. It comprises imperfect debugging with the possibility of fault introduction and removal of multiple faults in an interval as iterative development of the software proceeds. The proposed model has been validated on twelve iterations of Eclipse software failure dataset and nine iterations of Java Development toolkit (JDT) software failure dataset. Parameter estimation for the proposed model has been done by hybrid Particle Swarm Optimization and Gravitational Search Algorithm. Experimental results in-terms of goodness-of-fit shows that proposed model has outperformed Jelinski Moranda, Shick Wolverton, Goel Okummotto Imperfect debugging, GS Mahapatra, Modified Shick Wolverton in 83.33 % of iterations for eclipse dataset and 77.77% of iterations for JDT dataset.


title: On $p$-adic entropy of some solenoid dynamical systems

abstract: To a dynamical system is attached a non-negative real number called entropy. In 1990, Lind, Schmidt and Ward proved that the entropy for the dynamical system induced by the Laurent polynomial algebra over the ring of the rational integers is described by the Mahler measure. In 2009, Deninger introduced the $p$-adic entropy and obtained a $p$-adic analogue of Lind-Schmidt-Ward's theorem by using the $p$-adic Mahler measures. In this paper, we prove the existence and the explicit formula about $p$-adic entropies for two dynamical systems; one is induced by the Laurent polynomial algebra over the ring of the integers of a number field $K$, and the other is defined by the solenoid.


title: Compositional Non-Interference for Fine-Grained Concurrent Programs

abstract: Non-interference is a program property that ensures the absence of information leaks. In the context of programming languages, there exist two common approaches for establishing non-interference: type systems and program logics. Type systems provide strong automation (by means of type checking), but they are inherently restrictive in the kind of programs they support. Program logics support challenging programs, but they typically require significant human assistance, and cannot handle modules or higher-order programs. To connect these two approaches, we present SeLoC---a separation logic for non-interference, on top of which we build a type system using the technique of logical relations. By building a type system on top of separation logic, we can compositionally verify programs that consist of typed and untyped parts. The former parts are verified through type checking, while the latter parts are verified through manual proof. The core technical contribution of SeLoC is a relational form of weakest preconditions that can track information flow using separation logic resources. SeLoC is fully machine-checked, and built on top of the Iris framework for concurrent separation logic in Coq. The integration with Iris provides seamless support for fine-grained concurrency, which was beyond the reach of prior type systems and program logics for non-interference.


title: Short- and long-range contributions to equilibrium and transport properties of solid electrolytes

abstract: Condensed ionic systems are described in the framework of a combined approach that takes into account both long-range and short-range interactions. Short-range interaction is expressed in terms of mean potentials and long-range interaction is considered in terms of screening potentials. A system of integral equations for these potentials is constructed based on the condition of the best agreement of the system of study with the reference system. In contrast to the description of media with short-range interactions, in this text the reference distribution includes not only the field of mean potentials but also Coulomb interaction between particles. A one-component system made of ions in a neutralizing background of fixed counterions is considered. The model can be used to describe solid ionic conductors. In order to study the movement of cations on the sites of their sub-lattice, the lattice approximation of the theory is employed based on the calculation of the pair distribution function. Using the collective variables approach, a technique improving the starting expression for this function is proposed. Notably, the neglected terms in the expansion of this function are approximated by single-particle terms ensuring that the normalization condition is satisfied. As a result, the applicability of the theory is extended to a wide region of thermodynamic parameters. The chemical potential and the diffusion coefficient are calculated showing the possibility of phase transitions characteristic of the system.


title: Complete Intuitionistic Temporal Logics in Topological Dynamics

abstract: The language of linear temporal logic can be interpreted over the class of dynamic topological systems, giving rise to the intuitionistic temporal logic ${{\sf ITL}^{\sf c}}_{\Diamond,\forall}$, recently shown to be decidable by Fern\'andez-Duque. In this article we axiomatize this logic, some fragments, and prove completeness for several familiar spaces.


title: Phase diagrams and critical behaviours of the mixed spin-5/2 and spin-7/2 Ising system

abstract: We used mean-field theory based on the Bogoliubov inequality for the Gibbs free energy to examine the magnetic properties of a mixed spin-5/2 and spin-7/2 Blume-Capel ferrimagnetic system. The thermal behaviours of the system magnetization are classified according to the extended N\'eel nomenclature. The system exhibits compensation phenomena where a complete cancellation of sublattice magnetizations is observed below the critical temperature. Temperature-dependent phase diagrams are constructed for the case of unequal sublattice crystal field interactions. Under appropriate conditions, our calculations reveal first-order transitions in addition to second-order ones previously observed in Monte Carlo simulations.


title: PyStokes: phoresis and Stokesian hydrodynamics in Python

abstract: We present a modular Python library for computing many-body hydrodynamic and phoretic interactions between spherical active particles in suspension, when these are given by solutions of the Stokes and Laplace equations. Underpinning the library is a grid-free methodology that combines dimensionality reduction, spectral expansion, and Ritz-Galerkin discretization, thereby reducing the computation to the solution of a linear system. The system can be solved analytically as a series expansion or numerically at a cost quadratic in the number of particles. Suspension-scale quantities like fluid flow, entropy production, and rheological response are obtained at a small additional cost. The library is agnostic to boundary conditions and includes, amongst others, confinement by plane walls or liquid-liquid interfaces. The use of the library is demonstrated with six fully coded examples simulating active phenomena of current experimental interest.

categories: cond-mat.soft cond-mat.stat-mech physics.comp-ph physics.flu-dyn


title: Estimating Lower Limb Kinematics using a Reduced Wearable Sensor Count

abstract: Goal: This paper presents an algorithm for accurately estimating pelvis, thigh, and shank kinematics during walking using only three wearable inertial sensors. Methods: The algorithm makes novel use of a constrained Kalman filter (CKF). The algorithm iterates through the prediction (kinematic equation), measurement (pelvis position pseudo-measurements, zero velocity update, flat-floor assumption, and covariance limiter), and constraint update (formulation of hinged knee joints and ball-and-socket hip joints). Results: Evaluation of the algorithm using an optical motion capture-based sensor-to-segment calibration on nine participants ($7$ men and $2$ women, weight $63.0 \pm 6.8$ kg, height $1.70 \pm 0.06$ m, age $24.6 \pm 3.9$ years old), with no known gait or lower body biomechanical abnormalities, who walked within a $4 \times 4$ m$^2$ capture area shows that it can track motion relative to the mid-pelvis origin with mean position and orientation (no bias) root-mean-square error (RMSE) of $5.21 \pm 1.3$ cm and $16.1 \pm 3.2^\circ$, respectively. The sagittal knee and hip joint angle RMSEs (no bias) were $10.0 \pm 2.9^\circ$ and $9.9 \pm 3.2^\circ$, respectively, while the corresponding correlation coefficient (CC) values were $0.87 \pm 0.08$ and $0.74 \pm 0.12$. Conclusion: The CKF-based algorithm was able to track the 3D pose of the pelvis, thigh, and shanks using only three inertial sensors worn on the pelvis and shanks. Significance: Due to the Kalman-filter-based algorithm's low computation cost and the relative convenience of using only three wearable sensors, gait parameters can be computed in real-time and remotely for long-term gait monitoring. Furthermore, the system can be used to inform real-time gait assistive devices.


title: Influence of nanoparticle surface and shape on the dipole magnetic absorption of ultrashort laser pulses

abstract: The theory on the magnetic field energy absorption by metal nanoparticles of a nonspherical shape irradiated with ultrashort laser pulses of different duration is developed. The effect of both the particle surface and the particle shape on the absorbed energy is studied. For the particles having an oblate or prolate spheroidal shape, the dependence of this energy on the orientation of the magnetic field upon a particle, the degree of its deviation from a spherical shape, a pulse duration, and the carrier frequency of the laser ray are found. A significant increase in the absorption is established when an electron mean free path coincides with the size of the particle. The Drude and kinetic approaches are used and the results are compared with each other.


title: Hierarchical Multi-Task Natural Language Understanding for Cross-domain Conversational AI: HERMIT NLU

abstract: We present a new neural architecture for wide-coverage Natural Language Understanding in Spoken Dialogue Systems. We develop a hierarchical multi-task architecture, which delivers a multi-layer representation of sentence meaning (i.e., Dialogue Acts and Frame-like structures). The architecture is a hierarchy of self-attention mechanisms and BiLSTM encoders followed by CRF tagging layers. We describe a variety of experiments, showing that our approach obtains promising results on a dataset annotated with Dialogue Acts and Frame Semantics. Moreover, we demonstrate its applicability to a different, publicly available NLU dataset annotated with domain-specific intents and corresponding semantic roles, providing overall performance higher than state-of-the-art tools such as RASA, Dialogflow, LUIS, and Watson. For example, we show an average 4.45% improvement in entity tagging F-score over Rasa, Dialogflow and LUIS.


title: Predictive Control Based on Reduced Order Model for temperature homogeneity in a resin transfer molding tool for thermoset materials

abstract: Resin Transfer Molding (RTM), which has attracted much attention in the last years for lightweight manufacturing, represents an important challenge in terms of control technology. During the process, a resin fills the cavity where a reinforcement fabric has previously been layered. This resin undergoes a chemical reaction which is thermically activated. Therefore, assuring a proper reaction requires a precise control of temperature in the entire mold cavity. Three factors make this control problem especially hard: the coupling among the large number of actuators and sensors, the variability of the test conditions and the power limitations of the electric actuators which do not offer cooling capability. The present work describes an optimized Model Predictive Control (MPC) architecture capable of handling these difficulties and also achieving the tight control requirements needed in the application. The thermal distribution inside the mold cavity is included into the controller by a simplified Reduced Order Model (ROM). This representation is obtained by data from an experimentally validated Finite Element Model (FEM), using AutoRegressive model with eXogenous terms (ARX) identification. In order to maintain the simplicity of this linear representation, the time-varying model parameters are estimated by using a perturbation observer. Additionally, the performance of the basic algorithm is improved: firstly, an augmented observer to estimate the temperature distribution of an extended spatial resolution; and secondly, a symmetry condition in the calculation of the control commands. The developed architectures have successfully been implemented in a RTM tool with the fulfillment of the control requirements.


title: Model Order Reduction for Efficient Descriptor-Based Shape Analysis

abstract: In order to investigate correspondences between 3D shapes, many methods rely on a feature descriptor which is invariant under almost isometric transformations. An interesting class of models for such descriptors relies on partial differential equations (PDEs) based on the Laplace-Beltrami operator for constructing intrinsic shape signatures. In order to conduct the construction, not only a variety of PDEs but also several ways to solve them have been considered in previous works. In particular, spectral methods have been used derived from the series expansion of analytic solutions of the PDEs, and alternatively numerical integration schemes have been proposed. In this paper we show how to define a computational framework by model order reduction (MOR) that yields efficient PDE integration and much more accurate shape signatures as in previous works. Within the construction of our framework we introduce some technical novelties that contribute to these advances, and in doing this we present some improvements for virtually all considered methods. As part of the main contributions, we show for the first time an extensive and detailed comparison between the spectral and integration techniques, which is possible by the advances documented in this paper. We also propose here to employ soft correspondences in the context of the MOR methods which turns out to be highly beneficial with this approach.


title: Investigation of structural and elastic properties of monoclinic Ba$_2$P$_7$X (X $=$ Cl, Br, I) Zintl Salts compounds

abstract: Structural and elastic properties of Ba$_{2}$P$_{7}$X (X=Cl, Br, I) (Barium Phosphide Halides) Zintl compounds have been investigated using the pseudo-potential plane-wave (PP-PW) method based on the density functional theory (DFT) within the generalized gradient approximation (GGA-PBESOL). The calculated lattice constants and internal parameters are in a good agreement with the experimental results reported in literature. In this paper, we present an investigation of the relative changes of the structural parameters and elastic constants as function of hydrostatic pressure. Isotropic elastic moduli and their related properties for single-crystal and polycrystalline phase, including the namely bulk modulus, shear modulus, Young's modulus, Poisson's ratio, elastic anisotropy indexes, Pugh's indicator of brittle/ductile behavior, elastic wave velocities and Debye temperature have been estimated from $C_{ij}$ using Voigt, Russ and Hill approximations. Two different methods have been used to study the elastic anisotropy of these compounds.


title: Scheduling Stochastic Real-Time Jobs in Unreliable Workers

abstract: We consider a distributed computing network consisting of a master and multiple workers processing tasks of different types. The master is running multiple applications. Each application stochastically generates real-time jobs with a strict job deadline, where each job is a collection of tasks of some types specified by the application. A real-time job is completed only when all its tasks are completed by the corresponding workers within the deadline. Moreover, we consider unreliable workers, whose processing speeds are uncertain. Because of the limited processing abilities of the workers, an algorithm for scheduling the jobs in the workers is needed to maximize the average number of completed jobs for each application. The scheduling problem is not only critical but also practical in distributed computing networks. In this paper, we develop two scheduling algorithms, namely, a feasibility-optimal scheduling algorithm and an approximate scheduling algorithm. The feasibility-optimal scheduling algorithm can fulfill the largest region of applications' requirements for the average number of completed jobs. However, the feasibility-optimal scheduling algorithm suffers from high computational complexity when the number of applications is large. To address the issue, the approximate scheduling algorithm is proposed with a guaranteed approximation ratio in the worst-case scenario. The approximate scheduling algorithm is also validated in the average-case scenario via computer simulations.


title: Multifractality and the distribution of the Kondo temperature at the Anderson transition

abstract: Using numerical simulations, we investigate the distribution of Kondo temperatures at the Anderson transition. In agreement with previous work, we find that the distribution has a long tail at small Kondo temperatures. Recently, an approximation for the tail of the distribution was derived analytically. This approximation takes into account the multifractal distribution of the wavefunction amplitudes (in the parabolic approximation), and power law correlations between wave function intensities, at the Anderson transition. It was predicted that the distribution of Kondo temperatures has a power law tail with a universal exponent. Here, we attempt to check that this prediction holds in a numerical simulation of Anderson's model of localisation in three dimensions.


title: Method of successive separation and summing of multiplicative diagrams of mass operator for the multi-level quasiparticle interacting with polarization phonons

abstract: The theory of renormalized energy spectrum of a multi-level quasiparticle interacting with polarization phonons at $T=0$ K is developed within the Feynman-Pines diagram technique in a new approach. It permits a successive separation of multiplicative diagrams from non-multiplicative ones for all orders of mass operator, and their partial summing as well. The obtained mass operator is presented as a sum of branched chain fractions, which effectively take into account the multi-phonon processes. For the two-level quasiparticle it is shown that just the interlevel (non-diagonal) interaction with phonons fundamentally changes the properties of the spectrum. In the vicinity of all threshold energies, the quasi-equidistant phonon satellite bands (i.e., groups of energy levels) are formed. They correspond to the complexes of bound states of a quasi-particle with many phonons.


title: Bose-Fermi-Hubbard model in the truncated Hilbert space limit

abstract: It is shown that in the Bose-Fermi-Hubbard model which is used for a description of the ultracold atomic boson-fermion mixture in the optical lattice, the $n_\text{B}\leqslant 2$ restriction enables one to analyze a more general case of separated lobes Mott insulator in comparison with the case of $n_\text{B} \leqslant 1$ (hard-core bosons). It also showed that the restriction to no more than 2 bosons on site is enough to comprehend the structure of $(\mu, |t_0|)$ diagrams at arbitrary $n^\text{b}$ values with an account of a possibility of the 1st order phase transition.


title: Race and Religion in Online Abuse towards UK Politicians: Working Paper

abstract: Against a backdrop of tensions related to EU membership, we find levels of online abuse toward UK MPs reach a new high. Race and religion have become pressing topics globally, and in the UK this interacts with "Brexit" and the rise of social media to create a complex social climate in which much can be learned about evolving attitudes. In 8 million tweets by and to UK MPs in the first half of 2019, religious intolerance scandals in the UK's two main political parties attracted significant attention. Furthermore, high profile ethnic minority MPs started conversations on Twitter about race and religion, the responses to which provide a valuable source of insight. We found a significant presence for disturbing racial and religious abuse. We also explore metrics relating to abuse patterns, which may affect its impact. We find "burstiness" of abuse doesn't depend on race or gender, but individual factors may lead to politicians having very different experiences online.


title: Exponential stability for the nonlinear Schr\"odinger equation with locally distributed damping

abstract: In this paper, we study the defocusing nonlinear Schr\"{o}dinger equation with a locally distributed damping on a smooth bounded domain as well as on the whole space and on an exterior domain. We first construct approximate solutions using the theory of monotone operators. We show that approximate solutions decay exponentially fast in the $L^2$-sense by using the multiplier technique and a unique continuation property. Then, we prove the global existence as well as the $L^2$-decay of solutions for the original model by passing to the limit and using a weak lower semicontinuity argument, respectively. The distinctive feature of the paper is the monotonicity approach, which makes the analysis independent from the commonly used Strichartz estimates and allows us to work without artificial smoothing terms inserted into the main equation. We, in addition, implement a precise and efficient algorithm for studying the exponential decay established in the first part of the paper numerically. Our simulations illustrate the efficacy of the proposed control design.


title: Classifying superconductivity in ThH-ThD superhydrides/superdeuterides

abstract: Satterthwaite and Toepke (1970 Phys. Rev. Lett. 25 741) discovered that Th4H15-Th4D15 superhydrides are superconducting but exhibit no isotope effect. As the isotope effect is a fundamental prediction of electron-phonon mediated superconductivity described by Bardeen, Cooper, and Schrieffer (BCS) its absence alludes to some other mechanism. Soon after this work, Stritzker and Buckel (1972 Zeitschrift f\"ur Physik A Hadrons and nuclei 257 1-8) reported that superconductors in the PdHx-PdDx system exhibit the reverse isotope effect. Yussouff et al (1995 Solid State Communications 94 549) extended this finding in PdHx-PdDx-PdTx systems. Renewed interest in hydrogen- and deuterium-rich superconductors is driven by the discovery of near-room-temperature superconductivity in highly-compressed H3S (Drozdov et al. 2015 Nature 525 73) and LaH10 (Somayazulu et al 2019 Phys. Rev. Lett. 122 027001) as well as two recently discovered high-pressure hydrogen-rich phases of ThH9 and ThH10 (Semenok et al 2019 Materials Today, DOI: 10.1016/j.mattod.2019.10.005). We conclude that all known thorium super-hydrides/deuterides, to date, are unconventional superconductors - along with the heavy fermions, fullerenes, pnictides, cuprates, where we find they have Tc/Tf ratios within a range of of 0.008 < Tc/Tf < 0.120, where Tc is the superconducting transition temperature and Tf is the Fermi temperature.


title: Efficient composite pulse sequences for arbitrarily accurate z-axis rotation gates

abstract: We propose various composite $\pi$-pulse sequences for implementing robust z-axis rotation gates widely used in quantum information processing (QIP) scenarios, and discuss their error tolerance of the pulse strength error (PSE) and off-resonance error (ORE), i.e., two typical systematic errors in NMR systems. Compared to existing composite gates, our designed composite pulses exhibit higher gate fidelity and shorter sequence time cost. Furthermore, such short pulse sequences are generalized by simple analytic formulas which can suppress these errors to any desired order simultaneously with linear length scaling, indicating an efficient construction of them with arbitrary accuracy.


title: A beastiary of sets having extremal Sidon constant, or, there must be more than one theorem somewhere here

abstract: New sets (typically found by computer search) with Sidon constant equal to the square root of their cardinalities are given. For each integer $N$ there are only a finite number of groups of prime order containing $N$-element extreme sets. Some extreme sets appear to fit a pattern; others do not. Various conjectures and questions are given.


title: Neural network augmented wave-equation simulation

abstract: Accurate forward modeling is important for solving inverse problems. An inaccurate wave-equation simulation, as a forward operator, will offset the results obtained via inversion. In this work, we consider the case where we deal with incomplete physics. One proxy of incomplete physics is an inaccurate discretization of Laplacian in simulation of wave equation via finite-difference method. We exploit intrinsic one-to-one similarities between timestepping algorithm with Convolutional Neural Networks (CNNs), and propose to intersperse CNNs between low-fidelity timesteps. Augmenting neural networks with low-fidelity timestepping algorithms may allow us to take large timesteps while limiting the numerical dispersion artifacts. While simulating the wave-equation with low-fidelity timestepping algorithm, by correcting the wavefield several time during propagation, we hope to limit the numerical dispersion artifact introduced by a poor discretization of the Laplacian. As a proof of concept, we demonstrate this principle by correcting for numerical dispersion by keeping the velocity model fixed, and varying the source locations to generate training and testing pairs for our supervised learning algorithm.

categories: physics.comp-ph cs.LG physics.geo-ph stat.ML


title: Definable selector for $\bf\Delta^0_2$ sets modulo countable

abstract: A set is effectively chosen in every class of $\bf\Delta^0_2$ sets modulo countable.


title: Stabilizing Generative Adversarial Networks: A Survey

abstract: Generative Adversarial Networks (GANs) are a type of generative model which have received much attention due to their ability to model complex real-world data. Despite their recent successes, the process of training GANs remains challenging, suffering from instability problems such as non-convergence, vanishing or exploding gradients, and mode collapse. In recent years, a diverse set of approaches have been proposed which focus on stabilizing the GAN training procedure. The purpose of this survey is to provide a comprehensive overview of the GAN training stabilization methods which can be found in the literature. We discuss the advantages and disadvantages of each approach, offer a comparative summary, and conclude with a discussion of open problems.


title: Deep learning at scale for subgrid modeling in turbulent flows

abstract: Modeling of turbulent flows is still challenging. One way to deal with the large scale separation due to turbulence is to simulate only the large scales and model the unresolved contributions as done in large-eddy simulation (LES). This paper focuses on two deep learning (DL) strategies, regression and reconstruction, which are data-driven and promising alternatives to classical modeling concepts. Using three-dimensional (3-D) forced turbulence direct numerical simulation (DNS) data, subgrid models are evaluated, which predict the unresolved part of quantities based on the resolved solution. For regression, it is shown that feedforward artificial neural networks (ANNs) are able to predict the fully-resolved scalar dissipation rate using filtered input data. It was found that a combination of a large-scale quantity, such as the filtered passive scalar itself, and a small-scale quantity, such as the filtered energy dissipation rate, gives the best agreement with the actual DNS data. Furthermore, a DL network motivated by enhanced super-resolution generative adversarial networks (ESRGANs) was used to reconstruct fully-resolved 3-D velocity fields from filtered velocity fields. The energy spectrum shows very good agreement. As size of scientific data is often in the order of terabytes or more, DL needs to be combined with high performance computing (HPC). Necessary code improvements for HPC-DL are discussed with respect to the supercomputer JURECA. After optimizing the training code, 396.2 TFLOPS were achieved.

categories: physics.comp-ph cs.DC cs.LG physics.flu-dyn


title: Relativistic Correction of the Field Emission Current in the Fowler-Nordheim Formalism

abstract: As the title implies the article describes the possibility of taking into account the relativistic correction to the field current density of the field emission of electrons from the metal. The article provides the reader with some analytic generalization of the Fowler-Nordheim equation with the relativistic correction. The relativistic correction to the Fowler-Nordheim equation makes it possible to take into account the influence of the relativism on the field emission current. It is especially noted that the consideration of this correction is necessary in the case of sufficiently strong electric fields and relatively large interelectrode distances. It should be stressed that this correction is valid for fixed interelectrode distances that decrease with increasing electric field strength. It means that for the electric field strength of 0.1 to 1 GV/m the interelectrode distance should not exceed values of 1 to 0.1 cm. First in the article it is spoken in detail about finding of the electron wave function. Next the field emission current calculations are given. As a result the transmission coefficient of the potential step from the Klein-Gordon equation within the framework of the Fowler-Nordheim approximation is found. It is shown that in the case of the interelectrode distance less than 1 cm, an analytical expression for the field electron emission current density is obtained. The conclusion that usually relativistic correction does not exceed a tenth of a percent is made. But in the case of the field electron emission from pulsars (where the work function and electric field strength are much higher) the contribution of the relativistic correction about 10 % has been established.


title: A CCG-based Compositional Semantics and Inference System for Comparatives

abstract: Comparative constructions play an important role in natural language inference. However, attempts to study semantic representations and logical inferences for comparatives from the computational perspective are not well developed, due to the complexity of their syntactic structures and inference patterns. In this study, using a framework based on Combinatory Categorial Grammar (CCG), we present a compositional semantics that maps various comparative constructions in English to semantic representations and introduces an inference system that effectively handles logical inference with comparatives, including those involving numeral adjectives, antonyms, and quantification. We evaluate the performance of our system on the FraCaS test suite and show that the system can handle a variety of complex logical inferences with comparatives.


title: Iteration of functions and contractibility of acyclic 2-complexes

abstract: We show that there can be no algorithm to decide whether infinite recursively described acyclic aspherical 2-complexes are contractible. We construct such a complex that is contractible if and only if the Collatz conjecture holds.


title: Training Kinetics in 15 Minutes: Large-scale Distributed Training on Videos

abstract: Deep video recognition is more computationally expensive than image recognition, especially on large-scale datasets like Kinetics [1]. Therefore, training scalability is essential to handle a large amount of videos. In this paper, we study the factors that impact the training scalability of video networks. We recognize three bottlenecks, including data loading (data movement from disk to GPU), communication (data movement over networking), and computation FLOPs. We propose three design guidelines to improve the scalability: (1) fewer FLOPs and hardware-friendly operator to increase the computation efficiency; (2) fewer input frames to reduce the data movement and increase the data loading efficiency; (3) smaller model size to reduce the networking traffic and increase the networking efficiency. With these guidelines, we designed a new operator Temporal Shift Module (TSM) that is efficient and scalable for distributed training. TSM model can achieve 1.8x higher throughput compared to previous I3D models. We scale up the training of the TSM model to 1,536 GPUs, with a mini-batch of 12,288 video clips/98,304 images, without losing the accuracy. With such hardware-aware model design, we are able to scale up the training on Summit supercomputer and reduce the training time on Kinetics dataset from 49 hours 55 minutes to 14 minutes 13 seconds, achieving a top-1 accuracy of 74.0%, which is 1.6x and 2.9x faster than previous 3D video models with higher accuracy. The code and more details can be found here: http://tsm-hanlab.mit.edu.


title: Realizing the two-dimensional hard-core Bose-Hubbard model with superconducting qubits

abstract: The pursuit of superconducting-based quantum computers has advanced the fabrication of and experimentation with custom lattices of qubits and resonators. Here, we describe a roadmap to use present experimental capabilities to simulate an interacting many-body system of bosons and measure quantities that are exponentially difficult to calculate numerically. We focus on the two-dimensional hard-core Bose-Hubbard model implemented as an array of floating transmon qubits. We describe a control scheme for such a lattice that can perform individual qubit readout and show how the scheme enables the preparation of a highly-excited many-body state, in contrast with atomic implementations restricted to the ground state or thermal equilibrium. We discuss what observables could be accessed and how they could be used to better understand the properties of many-body systems, including the observation of the transition of eigenstate entanglement entropy scaling from area law behavior to volume law behavior


title: Answering two open problems on Banks theorem for non-autonomous dynamical systems

abstract: This paper shows that (1) there exists a topologically transitive NADS having two disjoint invariant periodic orbits with dense periodic points, which is finitely generated but not periodic; (2) there exists a topologically transitive non-finitely generated NADS having two disjoint invariant periodic orbits with dense periodic point, which is not sensitive. This answers positively the Open Problems 4.1 and 4.2 posed in [8].


title: DiffTaichi: Differentiable Programming for Physical Simulation

abstract: We present DiffTaichi, a new differentiable programming language tailored for building high-performance differentiable physical simulators. Based on an imperative programming language, DiffTaichi generates gradients of simulation steps using source code transformations that preserve arithmetic intensity and parallelism. A light-weight tape is used to record the whole simulation program structure and replay the gradient kernels in a reversed order, for end-to-end backpropagation. We demonstrate the performance and productivity of our language in gradient-based learning and optimization tasks on 10 different physical simulators. For example, a differentiable elastic object simulator written in our language is 4.2x shorter than the hand-engineered CUDA version yet runs as fast, and is 188x faster than the TensorFlow implementation. Using our differentiable programs, neural network controllers are typically optimized within only tens of iterations.


title: Controllable Kuznetsov Ma-like breather generation via dispersion modulation in the nonlinear Schr\"{o}dinger equation with variable coefficients

abstract: The nonlinear Schr\"{o}dinger equation with variable coefficients has applications in numerous areas of physics,specifically in the context of nonlinear optics and Bose-Einstein condensate. Apart from the usual bright and dark-soliton solutions, the so-called rational soliton solutions are perceived to have tremendous impact in futuristic applications and understanding many natural phenomena. In this work, we have studied various orders of rational solution of the variable coefficient nonlinear Schr\"{o}dinger equation. It is possible to extract the first and the second-order controlled KM-like breather by periodic modulation of the dispersion along the propagation direction. The amplitude of the dispersion modulation controls the background as well as the breather peak power in the case of the first-order rational soliton solution, whereas the spatial frequency controls the breathing frequency of the KM-like breather. Our study reveals that it is possible to obtain various new features in the third order rational soliton by modulating the dispersion parameter.


title: Families of divisors

abstract: We establish a new moduli theory for divisors, that interpolates between the Hilbert scheme and the Cayley-Chow variety. This completes the last step in the construction of a good moduli theory for stable pairs $(X,\Delta)$.


title: Masking of Quantum Information into Restricted Set of states

abstract: Masking of data is a method to protect information by shielding it from a third party, however keeping it usable for further usages like application development, building program extensions to name a few. Whereas it is possible for classical information encoded in composite quantum states to be completely masked from reduced sub-systems, it has to be checked if quantum information can also be masked when the future possibilities of a quantum computer are increasing day by day. Newly proposed no-masking theorem [Phys. Rev. Lett. 120, 230501 (2018)], one of the no-go theorems, demands that except for some restricted sets of non-orthogonal states, it's impossible to mask arbitrary quantum states. Here, we explore the possibility of masking in the IBM quantum experience platform by designing the quantum circuits and running them on the 5-qubit quantum computer. We choose two particular states considering both the orthogonal and non-orthogonal basis states and illustrate their masking through both the theoretical calculation as well as verification in the quantum computer. By quantum state tomography, it is concluded that the experimental results are collected with high fidelity and hence the possibility of masking is realized.


title: Quasinormal modes of magnetized black hole

abstract: We investigate charged, massive scalar field around static, spherically symmetric black hole immersed into an external asymptotically uniform magnetic field $B$. It is shown that for given multipole number $\ell$ there are $2\ell+1$ numbers of modes due to the Zeeman effect appearing by an interaction of the external magnetic and charged scalar fields introducing an effective mass of the scalar field $\mu_{\rm eff}=\sqrt{\mu^2-mqB}$ where $m$ is the azimuthal number and $q$ is the charge coupling constant. We calculate threshold value of effective mass in which quasinormal modes are arbitrarily long lived and beyond that value quasinormal modes vanish. In the case of $m qB<0$ quasinormal modes are longer lived with larger oscillation frequencies. Whenever, magnetic and massive scalar fields satisfies condition $\mu_{\rm eff}^2<0$, an instability appears, i.e., if $qB>0$ or $qB<0$ there is an instability for the values of azimuthal number $m>\mu^2/qB$ or $m<\mu^2/qB$, respectively.


title: Life on Miller's Planet: The Habitable Zone Around Supermassive Black Holes

abstract: In the science fiction film $Interstellar$, a band of intrepid astronauts sets out to explore a system of planets orbiting a supermassive black hole, searching for a world that may be conducive to hosting human life. While the film legitimately boasts a relatively high level of scientific accuracy, it is still restricted by Hollywood sensitivities and limitations. In this paper, we discuss a number of additional astrophysical effects that may be important in determining the (un)inhabitable environment of a planet orbiting close to a giant, accreting black hole. Foremost among these effects is the blueshift and beaming of incident radiation on the planet, due to the time dilation of an observer orbiting very close to the black hole. This results in high-energy flux incoming from surrounding stars and background radiation, with significant implications for habitability.


title: A Self-contained Analysis of the Lempel-Ziv Compression Algorithm

abstract: This article gives a self-contained analysis of the performance of the Lempel-Ziv compression algorithm on (hidden) Markovian sources. Specifically we include a full proof of the assertion that the compression rate approaches the entropy rate of the chain being compressed.


title: Keep It Simple: Graph Autoencoders Without Graph Convolutional Networks

abstract: Graph autoencoders (AE) and variational autoencoders (VAE) recently emerged as powerful node embedding methods, with promising performances on challenging tasks such as link prediction and node clustering. Graph AE, VAE and most of their extensions rely on graph convolutional networks (GCN) to learn vector space representations of nodes. In this paper, we propose to replace the GCN encoder by a simple linear model w.r.t. the adjacency matrix of the graph. For the two aforementioned tasks, we empirically show that this approach consistently reaches competitive performances w.r.t. GCN-based models for numerous real-world graphs, including the widely used Cora, Citeseer and Pubmed citation networks that became the de facto benchmark datasets for evaluating graph AE and VAE. This result questions the relevance of repeatedly using these three datasets to compare complex graph AE and VAE models. It also emphasizes the effectiveness of simple node encoding schemes for many real-world applications.


title: Models under which random forests perform badly; consequences for applications

abstract: We give examples of data-generating models under which Breiman's random forest may be extremely slow to converge to the optimal predictor or even fail to be consistent. The evidence provided for these properties is based on mostly intuitive arguments, similar to those used earlier with simpler examples, and on numerical experiments. Although one can always choose models under which random forests perform very badly, we show that simple methods based on statistics of `variable use' and `variable importance' can often be used to construct a much better predictor based on a `many-armed' random forest obtained by forcing initial splits on variables which the default version of the algorithm tends to ignore.


title: Bio-Inspired Foveated Technique for Augmented-Range Vehicle Detection Using Deep Neural Networks

abstract: We propose a bio-inspired foveated technique to detect cars in a long range camera view using a deep convolutional neural network (DCNN) for the IARA self-driving car. The DCNN receives as input (i) an image, which is captured by a camera installed on IARA's roof; and (ii) crops of the image, which are centered in the waypoints computed by IARA's path planner and whose sizes increase with the distance from IARA. We employ an overlap filter to discard detections of the same car in different crops of the same image based on the percentage of overlap of detections' bounding boxes. We evaluated the performance of the proposed augmented-range vehicle detection system (ARVDS) using the hardware and software infrastructure available in the IARA self-driving car. Using IARA, we captured thousands of images of real traffic situations containing cars in a long range. Experimental results show that ARVDS increases the Average Precision (AP) of long range car detection from 29.51% (using a single whole image) to 63.15%.


title: Optimising Optimisers with Push GP

abstract: This work uses Push GP to automatically design both local and population-based optimisers for continuous-valued problems. The optimisers are trained on a single function optimisation landscape, using random transformations to discourage overfitting. They are then tested for generality on larger versions of the same problem, and on other continuous-valued problems. In most cases, the optimisers generalise well to the larger problems. Surprisingly, some of them also generalise very well to previously unseen problems, outperforming existing general purpose optimisers such as CMA-ES. Analysis of the behaviour of the evolved optimisers indicates a range of interesting optimisation strategies that are not found within conventional optimisers, suggesting that this approach could be useful for discovering novel and effective forms of optimisation in an automated manner.


title: Performance Analysis and Design of Non-orthogonal Multiple Access for Wireless Communications

abstract: In this thesis, we study performance analysis and resource allocation designs for non-orthogonal multiple access (NOMA) in wireless communication systems. In contrast to conventional orthogonal multiple access (OMA) schemes, NOMA allows multiple users to share the same degree of freedom via superposition coding and the successive interference cancelation (SIC) decoding. Inspired by the solid foundations from the information theory perspective, NOMA has rekindled the interests of researchers as a benefit of the recent advancement in signal processing and silicon technologies. However, comprehensive performance analysis on NOMA and practical resource allocation designs to exploit potential gains of NOMA in terms of spectral and energy efficiency have not been fully studied and investigated in the literature. This thesis attempts to address these problems by providing a unified performance analysis and a systematic resource allocation design for NOMA in wireless communication systems.


title: Interdiction in Practice -- Hardware Trojan Against a High-Security USB Flash Drive

abstract: As part of the revelations about the NSA activities, the notion of interdiction has become known to the public: the interception of deliveries to manipulate hardware in a way that backdoors are introduced. Manipulations can occur on the firmware or at hardware level. With respect to hardware, FPGAs are particular interesting targets as they can be altered by manipulating the corresponding bitstream which configures the device. In this paper, we demonstrate the first successful real-world FPGA hardware Trojan insertion into a commercial product. On the target device, a FIPS-140-2 level 2 certified USB flash drive from Kingston, the user data are encrypted using AES-256 in XTS mode, and the encryption/decryption is processed by an off-the-shelf SRAM-based FPGA. Our investigation required two reverse-engineering steps, related to the proprietary FPGA bitstream and to the firmware of the underlying ARM CPU. In our Trojan insertion scenario, the targeted USB flash drive is intercepted before being delivered to the victim. The physical Trojan insertion requires the manipulation of the SPI flash memory content, which contains the FPGA bitstream as well as the ARM CPU code. The FPGA bitstream manipulation alters the exploited AES-256 algorithm in a way that it turns into a linear function which can be broken with 32 known plaintext-ciphertext pairs. After the manipulated USB flash drive has been used by the victim, the attacker is able to obtain all user data from the ciphertexts. Our work indeed highlights the security risks and especially the practical relevance of bitstream modification attacks that became realistic due to FPGA bitstream manipulations.


title: Reverse Engineering x86 Processor Microcode

abstract: Microcode is an abstraction layer on top of the physical components of a CPU and present in most general-purpose CPUs today. In addition to facilitate complex and vast instruction sets, it also provides an update mechanism that allows CPUs to be patched in-place without requiring any special hardware. While it is well-known that CPUs are regularly updated with this mechanism, very little is known about its inner workings given that microcode and the update mechanism are proprietary and have not been throughly analyzed yet. In this paper, we reverse engineer the microcode semantics and inner workings of its update mechanism of conventional COTS CPUs on the example of AMD's K8 and K10 microarchitectures. Furthermore, we demonstrate how to develop custom microcode updates. We describe the microcode semantics and additionally present a set of microprograms that demonstrate the possibilities offered by this technology. To this end, our microprograms range from CPU-assisted instrumentation to microcoded Trojans that can even be reached from within a web browser and enable remote code execution and cryptographic implementation attacks.


title: Stealthy Opaque Predicates in Hardware -- Obfuscating Constant Expressions at Negligible Overhead

abstract: Opaque predicates are a well-established fundamental building block for software obfuscation. Simplified, an opaque predicate implements an expression that provides constant Boolean output, but appears to have dynamic behavior for static analysis. Even though there has been extensive research regarding opaque predicates in software, techniques for opaque predicates in hardware are barely explored. In this work, we propose a novel technique to instantiate opaque predicates in hardware, such that they (1) are resource-efficient, and (2) are challenging to reverse engineer even with dynamic analysis capabilities. We demonstrate the applicability of opaque predicates in hardware for both, protection of intellectual property and obfuscation of cryptographic hardware Trojans. Our results show that we are able to implement stealthy opaque predicates in hardware with minimal overhead in area and no impact on latency.


title: CNN-based Semantic Segmentation using Level Set Loss

abstract: Thesedays, Convolutional Neural Networks are widely used in semantic segmentation. However, since CNN-based segmentation networks produce low-resolution outputs with rich semantic information, it is inevitable that spatial details (e.g., small bjects and fine boundary information) of segmentation results will be lost. To address this problem, motivated by a variational approach to image segmentation (i.e., level set theory), we propose a novel loss function called the level set loss which is designed to refine spatial details of segmentation results. To deal with multiple classes in an image, we first decompose the ground truth into binary images. Note that each binary image consists of background and regions belonging to a class. Then we convert level set functions into class probability maps and calculate the energy for each class. The network is trained to minimize the weighted sum of the level set loss and the cross-entropy loss. The proposed level set loss improves the spatial details of segmentation results in a time and memory efficient way. Furthermore, our experimental results show that the proposed loss function achieves better performance than previous approaches.


title: Quasipolynomial generalization of Lotka-Volterra mappings

abstract: In the last years it has been shown that Lotka-Volterra mappings constitute a valuable tool from both the theoretical and the applied points of view, with developments in very diverse fields such as Physics, Population Dynamics, Chemistry and Economy. The purpose of this work is to demonstrate that many of the most important ideas and algebraic methods that constitute the basis of the quasipolynomial formalism (originally conceived for the analysis of ordinary differential equations) can be extended into the mapping domain. The extension of the formalism into the discrete-time context is remarkable as far as the quasipolynomial methodology had never been shown to be applicable beyond the differential case. It will be demonstrated that Lotka-Volterra mappings play a central role in the quasipolynomial formalism for the discrete-time case. Moreover, the extension of the formalism into the discrete-time domain allows a significant generalization of Lotka-Volterra mappings as well as a whole transfer of algebraic methods into the discrete-time context. The result is a novel and more general conceptual framework for the understanding of Lotka-Volterra mappings, as well as a new range of possibilities that becomes open not only for the theoretical analysis of Lotka-Volterra mappings and their generalizations, but also for the development of new applications.


title: Revisiting the TeV detection prospects for radio galaxies

abstract: Radio galaxies host relativistic jets oriented away from our line of sight, making them challenging targets for Very High Energy (VHE, E$>$100 GeV) $\gamma$-ray detectors. Indeed, out of $\sim100$ extragalactic sources detected at $E>100$ GeV, only six are radio galaxies. The new Cherenkov Telescope Array (CTA) will provide order-of-magnitude improvements in sensitivity with respect to the present generation of ground-based $\gamma$-ray observatories, opening new frontiers for high-energy studies of radio galaxies. In a previous paper, we studied the CTA detection prospects of misaligned jets from the Third Fermi-LAT catalog (3FGL) sample. In this work, we take advantage of the expanded sample from the Fourth Fermi-LAT catalog (4FGL), including roughly double the number of sources. We simulate CTA observations of 41 $\gamma$-ray radio galaxies, extrapolating their GeV spectrum into the TeV range assuming different spectral shapes. We predict that the CTA will detect eleven new TeV radio galaxies with an observational campaign of 50 hours per source, under the realistic assumption of a spectral cutoff at 0.5 TeV. This would increase the sample of VHE radio galaxies by a factor of three, and result in the first detection of FR II radio galaxies at these energies. By simulating CTA observations with 5 hours exposure, we predict that two Fermi-LAT radio galaxies should already be within reach of current TeV observatories. Finally we have investigated the prospects for a CTA detection of extended VHE emission from the lobe-dominated FR I Fornax A, and predict that this will be possible for integration times $\gtrsim\!50$ hours. We conclude that the CTA will significantly impact our understanding of misaligned jets at TeV energies, allowing us to perform population studies and compare the two main radio galaxy subclasses for the first time in this energy band.


title: Reversible Thermal Strain Control of Oxygen Vacancy Ordering in an Epitaxial La$_{0.5}$Sr$_{0.5}$CoO$_{3-\delta}$ Film

abstract: Reversible topotactic transitions between oxygen-vacancy-ordered structures in transition metal oxides provide a promising strategy for active manipulation of material properties. While transformations between various oxygen-deficient phases have been attained in bulk ABO$_{3-\delta}$ perovskites, substrate clamping restricts the formation of distinct ordering patterns in epitaxial films. Using in-situ scanning transmission electron microscopy (STEM), we image a thermally driven reversible transition in La$_{0.5}$Sr$_{0.5}$CoO$_{3-\delta}$ films on SrTiO$_3$ from a multidomain brownmillerite (BM) structure to a uniform phase wherein oxygen vacancies order in every third CoO$_x$ plane. Because temperature cycling is performed over a limited temperature range (25 {\deg}C - 385 {\deg}C), the oxygen deficiency parameter $\delta$ does not vary measurably. Under constant $\delta$, the topotactic transition proceeds via local reordering of oxygen vacancies driven by thermal strain. Atomic-resolution imaging reveals a two-step process whereby alternating vertically and horizontally oriented BM domains first scale in size to accommodate the strain induced by different thermal expansions of La$_{0.5}$Sr$_{0.5}$CoO$_{3-\delta}$ and SrTiO$_3$, before the new phase nucleates and quickly grows above 360 {\deg}C. Upon cooling, the film transform back to the mixed BM phase. As the structural transition is fully reversible and $\delta$ does not change upon temperature cycling, we rule out electron-beam irradiation during STEM as the driving mechanism. Instead, our findings demonstrate that thermal strain can solely drive topotactic phase transitions in perovskite oxide films, presenting opportunities for switchable ionic devices.


title: Nilpotent varieties of some finite dimensional restricted Lie algebras

abstract: In the late 1980s, A. Premet conjectured that the variety of nilpotent elements of any finite dimensional restricted Lie algebra over an algebraically closed field of characteristic $p>0$ is irreducible. This conjecture remains open, but it is known to hold for a large class of simple restricted Lie algebras, e.g. for Lie algebras of connected algebraic groups, and for Cartan series $W, S$ and $H$. In this thesis we start by proving that Premet's conjecture can be reduced to the semisimple case. The proof is straightforward. However, the reduction of the semisimple case to the simple case is very non-trivial in prime characteristic as semisimple Lie algebras are not always direct sums of simple ideals. Then we consider some semisimple restricted Lie algebras. Under the assumption that $p>2$, we prove that Premet's conjecture holds for the semisimple restricted Lie algebra whose socle involves the special linear Lie algebra $\mathfrak{sl}_2$ tensored by the truncated polynomial ring $k[X]/(X^{p})$. Then we extend this example to the semisimple restricted Lie algebra whose socle involves $S\otimes \mathcal{O}(m; \underline{1})$, where $S$ is any simple restricted Lie algebra such that $\text{ad} S=\text{Der} S$ and its nilpotent variety $\mathcal{N}(S)$ is irreducible, and $\mathcal{O}(m; \underline{1})=k[X_1, \dots, X_m]/(X_1^p, \dots, X_m^p)$ is the truncated polynomial ring in $m\geq 2$ variables. In the final chapter we assume that $p>3$. We confirm Premet's conjecture for the minimal $p$-envelope $W(1; n)_{p}$ of the Zassenhaus algebra $W(1; n)$ for all $n\geq 2$. This is the main result of the research paper [3] (see thesis) which was published in the Journal of Algebra and Its Applications.


title: An arm length stabilization system for KAGRA and future gravitational-wave detectors

abstract: Modern ground-based gravitational wave (GW) detectors require a complex interferometer configuration with multiple coupled optical cavities. Since achieving the resonances of the arm cavities is the most challenging among the lock acquisition processes, the scheme called arm length stabilization (ALS) had been employed for lock acquisition of the arm cavities. We designed a new type of the ALS, which is compatible with the interferometers having long arms like the next generation GW detectors. The features of the new ALS are that the control configuration is simpler than those of previous ones and that it is not necessary to lay optical fibers for the ALS along the kilometer-long arms of the detector. Along with simulations of its noise performance, an experimental test of the new ALS was performed utilizing a single arm cavity of KAGRA. This paper presents the first results of the test where we demonstrated that lock acquisition of the arm cavity was achieved using the new ALS and residual noise was measured to be $8.2\,\mathrm{Hz}$ in units of frequency, which is smaller than the linewidth of the arm cavity and thus low enough to lock the full interferometer of KAGRA in a repeatable and reliable manner.


title: Deep learning within a priori temporal feature spaces for large-scale dynamic MR image reconstruction: Application to 5-D cardiac MR Multitasking

abstract: High spatiotemporal resolution dynamic magnetic resonance imaging (MRI) is a powerful clinical tool for imaging moving structures as well as to reveal and quantify other physical and physiological dynamics. The low speed of MRI necessitates acceleration methods such as deep learning reconstruction from under-sampled data. However, the massive size of many dynamic MRI problems prevents deep learning networks from directly exploiting global temporal relationships. In this work, we show that by applying deep neural networks inside a priori calculated temporal feature spaces, we enable deep learning reconstruction with global temporal modeling even for image sequences with >40,000 frames. One proposed variation of our approach using dilated multi-level Densely Connected Network (mDCN) speeds up feature space coordinate calculation by 3000x compared to conventional iterative methods, from 20 minutes to 0.39 seconds. Thus, the combination of low-rank tensor and deep learning models not only makes large-scale dynamic MRI feasible but also practical for routine clinical application.


title: Discretizations of the generalized AKNS scheme

abstract: We consider space discretizations of the matrix Zakharov-Shabat AKNS scheme, in particular the discrete matrix non-linear Scrhr\"odinger (DNLS) model, and the matrix generalization of the Ablowitz-Ladik (AL) model, which is the more widely acknowledged discretization. We focus on the derivation of solutions via local Darboux transforms for both discretizations, and we derive novel solutions via generic solutions of the associated discrete linear equations. The continuum analogue is also discussed, and as an example we identify solutions of the matrix NLS equation in terms of the heat kernel. In this frame we also derive a discretization of the Burgers equation via the analogue of the Cole-Hopf transform. Using the basic Darboux transforms for each scheme we identify both matrix DNLS-like and AL hierarchies, i.e. we extract the associated Lax pairs, via the dressing process. We also discuss the global Darboux transform, which is the discrete analogue of the integral transform, through the discrete Gelfand-Levitan-Marchenko (GLM) equation. The derivation of the discrete matrix GLM equation and associated solutions are also presented together with explicit linearizations. Particular emphasis is given in the discretization schemes, i.e. forward/backward in the discrete matrix DNLS scheme versus symmetric in the discrete matrix AL model.


title: A new family of entire functions with no wandering domains

abstract: The issue of whether an analytic function has wandering domains has long been of interest in complex dynamics. Sullivan proved in 1985 that rational maps do not have wandering domains. On the other hand, several transcendental entire functions have wandering domains. Using recent results on the relationship between Fatou components and the postsingular set, we find a new family of transcendental entire functions that does not have wandering domains. We also prove that the Julia set of a certain subfamily is the whole plane.


title: MIMO Assisted Networks Relying on Intelligent Reflective Surfaces

abstract: Intelligent reflective surfaces (IRSs) are invoked for improving both spectral efficiency (SE) and energy efficiency (EE). Specifically, an IRS-aided multiple-input multiple-output network is considered, where the performance of randomly roaming users is analyzed by utilizing stochastic geometry tools. As such, to distinguish the superposed signals at each user, the passive beamforming weight at the IRSs and detection weight vectors at the users are jointly designed. As a benefit, by adopting a zero-forcing-based design, the intra-cell interference imposed by the IRS can be suppressed. In order to evaluate the performance of the proposed network, we first derive the approximated channel statistics in the high signal-to-noise-ratio (SNR) regime. Then, we derive the closed-form expressions both for the outage probability and for the ergodic rate of users. Both the high-SNR slopes of ergodic rate and the diversity orders of outage probability are derived for gleaning further insights. The network's SE and EE are also derived. Our numerical results are provided to confirm that: i) the high-SNR slope of the proposed network is one; ii) the SE and EE can be significantly enhanced by increasing the number of IRS elements.


title: A Framework for Differential Calculus on Persistence Barcodes

abstract: We define notions of differentiability for maps from and to the space of persistence barcodes. Inspired by the theory of diffeological spaces, the proposed framework uses lifts to the space of ordered barcodes, from which derivatives can be computed. The two derived notions of differentiability (respectively from and to the space of barcodes) combine together naturally to produce a chain rule that enables the use of gradient descent for objective functions factoring through the space of barcodes. We illustrate the versatility of this framework by showing how it can be used to analyze the smoothness of various parametrized families of filtrations arising in topological data analysis.


title: Matrix elements of bound states in a finite volume

abstract: Recently, a framework was developed for studying form factors of two-body states probed with an external current. Finite volume matrix elements that may be computed via lattice QCD are converted to infinite volume generalized form factors. These generalized form factors allow us to study the structure of composite states. In this talk, we consider the application of this formalism to bound states, and compare the leading finite volume effects to the general results of the framework. Specifically, we consider the implications for the deuteron at the physical point, and conclude that it's necessary to use the full formalism to not be saturated by systematics


title: Privacy-preserving Federated Brain Tumour Segmentation

abstract: Due to medical data privacy regulations, it is often infeasible to collect and share patient data in a centralised data lake. This poses challenges for training machine learning algorithms, such as deep convolutional networks, which often require large numbers of diverse training examples. Federated learning sidesteps this difficulty by bringing code to the patient data owners and only sharing intermediate model training updates among them. Although a high-accuracy model could be achieved by appropriately aggregating these model updates, the model shared could indirectly leak the local training examples. In this paper, we investigate the feasibility of applying differential-privacy techniques to protect the patient data in a federated learning setup. We implement and evaluate practical federated learning systems for brain tumour segmentation on the BraTS dataset. The experimental results show that there is a trade-off between model performance and privacy protection costs.


title: Age of Information with Finite Horizon and Partial Updates

abstract: A resource-constrained system monitors a source of information by requesting a finite number of updates subject to random transmission delays. An a priori fixed update request policy is shown to minimize a polynomial penalty function of the age of information over arbitrary time horizons. Partial updates, compressed updates with reduced transmission and information content, in the presented model are shown to incur an age penalty independent of the compression. Finite horizons are shown to have better performance in terms of second order statistic relative to infinite horizons.


title: Benchmarking machine learning models on multi-centre eICU critical care dataset

abstract: Progress of machine learning in critical care has been difficult to track, in part due to absence of public benchmarks. Other fields of research (such as computer vision and natural language processing) have established various competitions and public benchmarks. Recent availability of large clinical datasets has enabled the possibility of establishing public benchmarks. Taking advantage of this opportunity, we propose a public benchmark suite to address four areas of critical care, namely mortality prediction, estimation of length of stay, patient phenotyping and risk of decompensation. We define each task and compare the performance of both clinical models as well as baseline and deep learning models using eICU critical care dataset of around 73,000 patients. This is the first public benchmark on a multi-centre critical care dataset, comparing the performance of clinical gold standard with our predictive model. We also investigate the impact of numerical variables as well as handling of categorical variables on each of the defined tasks. The source code, detailing our methods and experiments is publicly available such that anyone can replicate our results and build upon our work.


title: Learning Maximally Predictive Prototypes in Multiple Instance Learning

abstract: In this work, we propose a simple model that provides permutation invariant maximally predictive prototype generator from a given dataset, which leads to interpretability of the solution and concrete insights to the nature and the solution of a problem. Our aim is to find out prototypes in the feature space to map the collection of instances (i.e. bags) to a distance feature space and simultaneously learn a linear classifier for multiple instance learning (MIL). Our experiments on classical MIL benchmark datasets demonstrate that proposed framework is an accurate and efficient classifier compared to the existing approaches.


title: Deformation and failure in nanomaterials via a data driven modelling approach

abstract: A data driven computational model that accounts for more than two material states has been presented in this work. Presented model can account for multiple state variables, such as stresses, strains, strain rates and failure stress, as compared to previously reported models with two states. Model is used to perform deformation and failure simulations of carbon nanotubes and carbon nanotube/epoxy nanocomposites. The model capability of capturing the strain rate dependent deformation and failure has been demonstrated through predictions against uniaxial test data taken from literature. The predicted results show a good agreement between data set taken from literature and simulations.