title: Holomorphic Distributions and Connectivity by Integral Curves of Distributions

abstract: It is known that the classical Frobenius theorem on conditions of integrability for distributions of planes can be extended to the case of complex holomorphic distributions. We show that an alternative criterion for integrability, namely, non-connectivity, discovered (or at least, marked and explicitly formulated) by Carath\'eodory in relation to classical thermodynamics, also admits a holomorphic formulation.


title: GRN: Gated Relation Network to Enhance Convolutional Neural Network for Named Entity Recognition

abstract: The dominant approaches for named entity recognition (NER) mostly adopt complex recurrent neural networks (RNN), e.g., long-short-term-memory (LSTM). However, RNNs are limited by their recurrent nature in terms of computational efficiency. In contrast, convolutional neural networks (CNN) can fully exploit the GPU parallelism with their feedforward architectures. However, little attention has been paid to performing NER with CNNs, mainly owing to their difficulties in capturing the long-term context information in a sequence. In this paper, we propose a simple but effective CNN-based network for NER, i.e., gated relation network (GRN), which is more capable than common CNNs in capturing long-term context. Specifically, in GRN we firstly employ CNNs to explore the local context features of each word. Then we model the relations between words and use them as gates to fuse local context features into global ones for predicting labels. Without using recurrent layers that process a sentence in a sequential manner, our GRN allows computations to be performed in parallel across the entire sentence. Experiments on two benchmark NER datasets (i.e., CoNLL2003 and Ontonotes 5.0) show that, our proposed GRN can achieve state-of-the-art performance with or without external knowledge. It also enjoys lower time costs to train and test.We have made the code publicly available at https://github.com/HuiChen24/NER-GRN.


title: A Criterion to identify maximally entangled nine-qubit state

abstract: We present a generalized criterion for maximally entangled nine-qubit states, whose minimum averaged subsystem purity should be equal to 1/14. In this note, we prove that absolutely maximally entangled state for nine qubits does not exist. Further, we construct a new genuine nine-qubit maximally entangled states of 110,15 and 1 balanced purities equal to 1/16, , 1/8 and and 1/4, respectively. We found that, the marginal density matrices for subsystems of 1,2,3- qubits all completely mixed in these states, therefore, maximally entangled nine-qubit state is a 3-uniform state.


title: Inertial drag in granular media

abstract: Like in liquids, objects moving in granular materials experience a drag force. We investigate here whether and how the object acceleration affect this drag force. The study is based on simulations of a canonical drag test, which involves vertically uplifting a plate through a granular packing with a prescribed acceleration pattern. Depending on the plate size, plate depth and acceleration pattern, results evidence a rate-independent regime and an inertial regime where the object acceleration strongly enhances the drag force. We introduce an elasto-inertial drag force model that captures the measured drag forces in these two regimes. The model is based on observed physical processes including a gradual, elasto-inertial mobilisation of grains located above the plate. These results and analysis point out fundamental differences between mobility in granular materials upon steady and unsteady loadings.


title: A cure for instabilities due to advection-dominance in POD solution to advection-diffusion-reaction equations

abstract: In this paper, we propose to improve the stabilized POD-ROM introduced by S. Rubino in [37] to deal with the numerical simulation of advection-dominated advection-diffusion-reaction equations. In particular, we introduce a stabilizing post-processing strategy that will be very useful when considering very low diffusion coefficients, i.e. in the strongly advection-dominated regime. This strategy is applied both for the offline phase, to produce the snapshots, and the reduced order method to simulate the new solutions. The new process of a posteriori stabilization is detailed in a general framework and applied to advection-diffusion-reaction problems. Numerical studies are performed to discuss the accuracy and performance of the new method in handling strongly advection-dominated cases.


title: Effective interactions in Ricci-Based Gravity models below the non-metricity scale

abstract: We show how minimally-coupled matter fields of arbitrary spin, when coupled to Ricci-Based Gravity theories, develop non-trivial effective interactions that can be treated perturbatively only below a characteristic high-energy scale $\Lambda_Q$. Our results generalize to arbitrary matter fields those recently obtained for spin 1/2 fields in \cite{Latorre:2017uve}. We then use this interactions to set bounds on the high-energy scale $\Lambda_Q$ that controls departures of Ricci-Based Gravity theories from General Relativity. Particularly, for Eddington-inspired Born-Infeld gravity we obtain the strong bound $ |\kappa|<3.5 \times 10^{-14} \text{ m}^5 \text{kg}^{-1}\text{s}^{-2} $.


title: Theory perspectives on rare Kaon decays and CPV

abstract: The following proceedings contain a theory perspective on rare Kaon decays. I review rare kaon decays in the LHC era: we discuss interplay with B-anomalies and possible New Physics in direct CP violation in $K\to 2\pi$: very rare kaon decays like $K \to \pi \nu \bar{\nu}$ are very important to this purpose. We discuss also the decays $K^0 \to \mu ^+ \mu ^-$ due to the LHCB measurement


title: NanoCarb part 2: Performance assessment for total column CO2 monitoring from a nano-satellite

abstract: NanoCarb is an innovative Fourier Transform imaging spectrometer dedicated to the measurement of CO2 and CH4. Both its unusual optical principle and sampling strategy allows to reach a compact design, ideal for small satellite constellation as investigated by the European project SCARBO. The NanoCarb performance assessment as well as a proof of concept are required in this framework. A strategy of design is developed to optimize the performances and reach the sensitivity target of the space mission, demonstrating the potential of the concept without drastic complexity gain. A preliminary bias mitigation in the retrieval strategy is presented concerning water for CO2 measurement, illustrating the efficiency and the flexibility of the NanoCarb partial interferogram sampling technic. The presented design reaches a random error sub-ppm for CO2 and sub-10ppb for CH4, considering a 128 to 192 km swath, respectively, for 2 or 3 km of resolution at ground. A full mitigation of the water bias is performed on CO2 band thanks to partial interferograms.


title: Detecting coherent explorations in SQL workloads

abstract: This paper presents a proposal aiming at better understanding a workload of SQL queries and detecting coherent explorations hidden within the workload. In particular, our work investigates SQLShare [11], a database-as-a-service platform targeting scientists and data scientists with minimal database experience, whose workload was made available to the research community. According to the authors of [11], this workload is the only one containing primarily ad-hoc hand-written queries over user-uploaded datasets. We analyzed this workload by extracting features that characterize SQL queries and we show how to use these features to separate sequences of SQL queries into meaningful explorations. We ran several tests over various query workloads to validate empirically our approach.


title: Spectral Gap of The Discrete Laplacian On Triangulations

abstract: Our goal in this paper is to find an estimate for the spectral gap of the Laplacian on a 2-simplicial complex consisting on a triangulation of a complete graph. An upper estimate is given by generalizing the Cheeger constant. The lower estimate is obtained from the first non-zero eigenvalue of the discrete Laplacian acting on the functions of certain sub-graphs.


title: iFixR: Bug Report driven Program Repair

abstract: Issue tracking systems are commonly used in modern software development for collecting feedback from users and developers. An ultimate automation target of software maintenance is then the systematization of patch generation for user-reported bugs. Although this ambition is aligned with the momentum of automated program repair, the literature has, so far, mostly focused on generate-and-validate setups where fault localization and patch generation are driven by a well-defined test suite. On the one hand, however, the common (yet strong) assumption on the existence of relevant test cases does not hold in practice for most development settings: many bugs are reported without the available test suite being able to reveal them. On the other hand, for many projects, the number of bug reports generally outstrips the resources available to triage them. Towards increasing the adoption of patch generation tools by practitioners, we investigate a new repair pipeline, iFixR, driven by bug reports: (1) bug reports are fed to an IR-based fault localizer; (2) patches are generated from fix patterns and validated via regression testing; (3) a prioritized list of generated patches is proposed to developers. We evaluate iFixR on the Defects4J dataset, which we enriched (i.e., faults are linked to bug reports) and carefully-reorganized (i.e., the timeline of test-cases is naturally split). iFixR generates genuine/plausible patches for 21/44 Defects4J faults with its IR-based fault localizer. iFixR accurately places a genuine/plausible patch among its top-5 recommendation for 8/13 of these faults (without using future test cases in generation-and-validation).


title: Personalized Decision Making for Biopsies in Prostate Cancer Active Surveillance Programs

abstract: Background: Low-risk prostate cancer patients enrolled in active surveillance programs commonly undergo biopsies for examination of cancer progression. Biopsies are conducted as per a fixed and frequent schedule (e.g., annual biopsies). Since biopsies are burdensome, patients do not always comply with the schedule, which increases the risk of delayed detection of cancer progression. Objective: Our aim is to better balance the number of biopsies (burden) and the delay in detection of cancer progression (less is beneficial), by personalizing the decision of conducting biopsies. Data Sources: We use patient data of the world's largest active surveillance program (PRIAS). It enrolled 5270 patients, had 866 cancer progressions, and an average of nine prostate-specific antigen (PSA) and five digital rectal examination (DRE) measurements per patient. Methods: Using joint models for time-to-event and longitudinal data, we model the historical DRE and PSA measurements, and biopsy results of a patient at each follow-up visit. This results in a visit and patient-specific cumulative risk of cancer progression. If this risk is above a certain threshold, we schedule a biopsy. We compare this personalized approach with the currently practiced biopsy schedules via an extensive and realistic simulation study, based on a replica of the patients from the PRIAS program. Results: The personalized approach saved a median of six biopsies (median: 4, IQR: 2-5), compared to the annual schedule (median: 10, IQR: 3-10). However, the delay in detection of progression (years) is similar for the personalized (median: 0.7, IQR: 0.3-1.0) and the annual schedule (median: 0.5, IQR: 0.3-0.8). Conclusions: We conclude that personalized schedules provide substantially better balance in the number of biopsies per detected progression for men with low-risk prostate cancer.


title: Gotzmann Monomials In Four Variables

abstract: It is a widely open problem to determine which monomials in the n-variable polynomial ring $K[x_1,...,x_n]$ over a field $K$ have the Gotzmann property, i.e. induce a Borel-stable Gotzmann monomial ideal. Since 2007, only the case $n \le 3$ was known. Here we solve the problem for the case $n = 4$. The solution involves a surprisingly intricate characterization.


title: A paradigm for developing earthquake probability forecasts based on geoelectric data

abstract: We examine the precursory behavior of geoelectric signals before large earthquakes by means of an algorithm including an alarm-based model and binary classification. This algorithm, introduced originally by Chen and Chen [Nat. Hazards., 84, 2016], is improved by removing a time parameter for coarse-graining of earthquake occurrences, as well as by extending the single station method into a joint stations method. We also determine the optimal frequency bands of earthquake-related geoelectric signals with the highest signal-to-noise ratio. Using significance tests, we also provide evidence of an underlying seismoelectric relationship. It is appropriate for machine learning to extract this underlying relationship, which could be used to quantify probabilistic forecasts of impending earthquakes, and to get closer to operational earthquake prediction.


title: A scalar radiative transfer model including the coupling between surface and body waves

abstract: To describe the energy transport in the seismic coda, we introduce a system of radiative transfer equations for coupled surface and body waves in a scalar approximation. Our model is based on the Helmholtz equation in a half-space geometry with mixed boundary conditions. In this model, Green's function can be represented as a sum of body waves and surface waves, which mimics the situation on Earth. In a first step, we study the single-scattering problem for point-like objects in the Born approximation. Using the assumption that the phase of body waves is randomized by surface reflection or by interaction with the scatterers, we show that it becomes possible to define, in the usual manner, the cross-sections for surface-to-body and body-to-surface scattering. Adopting the independent scattering approximation, we then define the scattering mean free paths of body and surface waves including the coupling between the two types of waves. Using a phenomenological approach, we then derive a set of coupled transport equations satisfied by the specific energy density of surface and body waves in a medium containing a homogeneous distribution of point scatterers. In our model, the scattering mean free path of body waves is depth dependent as a consequence of the body-to-surface coupling. We demonstrate that an equipartition between surface and body waves is established at long lapse-time, with a ratio which is predicted by usual mode counting arguments. We derive a diffusion approximation from the set of transport equations and show that the diffusivity is both anisotropic and depth dependent. The physical origin of the two properties is discussed. Finally, we present Monte-Carlo solutions of the transport equations which illustrate the convergence towards equipartition at long lapse-time as well as the importance of the coupling between surface and body waves in the generation of coda waves.


title: Generation of Schubert polynomial series by nanophotonics

abstract: Generation of irregular time series based on physical processes is indispensable in computing and artificial intelligence. In this report, we propose and experimentally demonstrate the generation of Schubert polynomials, which is the foundation of versatile permutations in mathematics, via optical near-field processes introduced in a photochromic crystal of diarylethene, which optical near-field excitation on the surface of a photochromic single crystal yields a chain of local photoisomerization, forming a complex pattern on the opposite side of the crystal. The incoming photon travels through the nanostructured photochromic crystal, and the exit position of the photon exhibits a versatile pattern. We experimentally generated Schubert matrices, corresponding to Schubert polynomials, via optical near-field density mapping. The versatility and correlations of the generated patterns could be reconfigured in either a soft or hard manner by adjusting the photon detection sensitivity. This is the first study of Schubert polynomial generation by physical processes or nanophotonics, paving the way toward future nano-scale intelligence devices and systems.

categories: physics.optics math-ph math.MP physics.app-ph


title: Origin of energy shift in kaonic atom and kaon-nucleus interaction

abstract: The $K^-$-nucleus optical potential is revisited to investigate its global feature phenomenologically. It is a puzzle that the energy shift is found to be repulsive in all of the observed kaonic atom, although the $K^-N$ interaction is known to be so attractive as to form the $\Lambda(1405)$ resonance. To solve this puzzle, we examine the $K^-$ optical potential in the linear density approximation and determine the potential parameters of each kaonic atom so as to reproduce the observed energy shift and absorption width. We find two types of the potentials. One potential has a so large real part as to provide nuclear states with the same quantum number to the atomic state in the last orbit. The level repulsion between the atomic state and the nuclear states takes place due to their mixing, and it makes the atomic state shifted repulsively. The other type of the potential has a large imaginary part and the imaginary part works repulsively for atomic states. We find that only the latter solution reproduce a wide of the observed data, and thus is realized as a $K^-$-nucleus potential for kaonic atom. In the linear nuclear density optical potential, the picture that the repulsive shifts in the atomic states stem from the existence of the nuclear states does not globally stand up. This implies that the $K^-$-nucleus optical potential should have a large imaginary part. We examine some nonlinear density effects and find that the conclusion does not change. We also confirm that the conventionally known optical potentials are categorized into the latter type of the potential.


title: A variational approach to regularity theory in optimal transportation

abstract: This paper describes recent results obtained in collaboration with M. Huesmann and F. Otto on the regularity of optimal transport maps. The main result is a quantitative version of the well-known fact that the linearization of the Monge-Amp{\`e}re equation around the identity is the Poisson equation. We present two applications of this result. The first one is a variational proof of the partial regularity theorem of Figalli and Kim and the second is the rigorous validation of some predictions made by Carraciolo and al. on the structure of the optimal transport maps in matching problems.


title: Towards Probabilistic Generative Models Harnessing Graph Neural Networks for Disease-Gene Prediction

abstract: Disease-gene prediction (DGP) refers to the computational challenge of predicting associations between genes and diseases. Effective solutions to the DGP problem have the potential to accelerate the therapeutic development pipeline at early stages via efficient prioritization of candidate genes for various diseases. In this work, we introduce the variational graph auto-encoder (VGAE) as a promising unsupervised approach for learning powerful latent embeddings in disease-gene networks that can be used for the DGP problem, the first approach using a generative model involving graph neural networks (GNNs). In addition to introducing the VGAE as a promising approach to the DGP problem, we further propose an extension (constrained-VGAE or C-VGAE) which adapts the learning algorithm for link prediction between two distinct node types in heterogeneous graphs. We evaluate and demonstrate the effectiveness of the VGAE on general link prediction in a disease-gene association network and the C-VGAE on disease-gene prediction in the same network, using popular random walk driven methods as baselines. While the methodology presented demonstrates potential solely based on utilizing the topology of a disease-gene association network, it can be further enhanced and explored through the integration of additional biological networks such as gene/protein interaction networks and additional biological features pertaining to the diseases and genes represented in the disease-gene association network.


title: The structure of Schmidt subspaces of Hankel operators: a short proof

abstract: We give a short proof of the main result of our previous paper [2]: every Schmidt subspace of a Hankel operator is the image of a model space by an isometric multiplier. This class of subspaces is closely related to nearly $S^*$-invariant subspaces, and our proof uses Hitt's theorem on the structure of such subspaces. We also give a formula for the action of a Hankel operator on its Schmidt subspace.


title: Semi-classical quantum maps of semi-hyperbolic type

abstract: Let M = R n or possibly a Riemannian, non compact manifold. We consider semi-excited resonances for a h-differential operator H(x, hD x ; h) on L 2 (M) induced by a non-degenerate periodic orbit $\gamma$ 0 of semi-hyperbolic type, which is contained in the non critical energy surface {H 0 = 0}. By semi-hyperbolic, we mean that the linearized Poincar{\'e} map dP 0 associated with $\gamma$ 0 has at least one eigenvalue of modulus greater (or less) than 1, and one eigenvalue of modulus equal to 1, and by non-degenerate that 1 is not an eigenvalue, which implies a family $\gamma$(E) with the same properties. It is known that an infinite number of periodic orbits generally cluster near $\gamma$ 0 , with periods approximately multiples of its primitive period. We construct the monodromy and Grushin operator, adapting some arguments by [NoSjZw], [SjZw], and compare with those obtained in [LouRo], which ignore the additional orbits near $\gamma$ 0 , but still give the right quantization rule for the family $\gamma$(E).


title: Limit behavior of the Rosenblatt Ornstein-Uhlenbeck process with respect to the Hurst index

abstract: We study the convergence in distribution, as $H\to \frac{1}{2}$ and as $H\to 1$, of the integral $\int_{\mathbb{R}} f(u) dZ^{H}(u) $, where $Z ^{H}$ is a Rosenblatt process with self-similarity index $H\in \left( \frac{1}{2}, 1\right) $ and $f$ is a suitable deterministic function. We focus our analysis on the case of the Rosenblatt Ornstein-Uhlenbeck process, which is the solution of the Langevin equation driven by the Rosenblatt process.


title: Laplacian-regularized graph bandits: Algorithms and theoretical analysis

abstract: We consider a stochastic linear bandit problem with multiple users, where the relationship between users is captured by an underlying graph and user preferences are represented as smooth signals on the graph. We introduce a novel bandit algorithm where the smoothness prior is imposed via the random-walk graph Laplacian, which leads to a single-user cumulative regret scaling as $\tilde{\mathcal{O}}(\Psi d \sqrt{T})$ with time horizon $T$, feature dimensionality $d$, and the scalar parameter $\Psi \in (0,1)$ that depends on the graph connectivity. This is an improvement over $\tilde{\mathcal{O}}(d \sqrt{T})$ in \algo{LinUCB}~\Ccite{li2010contextual}, where user relationship is not taken into account. In terms of network regret (sum of cumulative regret over $n$ users), the proposed algorithm leads to a scaling as $\tilde{\mathcal{O}}(\Psi d\sqrt{nT})$, which is a significant improvement over $\tilde{\mathcal{O}}(nd\sqrt{T})$ in the state-of-the-art algorithm \algo{Gob.Lin} \Ccite{cesa2013gang}. To improve scalability, we further propose a simplified algorithm with a linear computational complexity with respect to the number of users, while maintaining the same regret. Finally, we present a finite-time analysis on the proposed algorithms, and demonstrate their advantage in comparison with state-of-the-art graph-based bandit algorithms on both synthetic and real-world data.


title: Behavior with respect to the Hurst index of the Wiener Hermite integrals and application to SPDEs

abstract: We consider the Wiener integral with respect to a $d$-parameter Hermite process with Hurst multi-index ${\bf H}= (H_{1},\ldots, H_{d}) \in \left( \frac{1}{2}, 1\right) ^{d}$ and we analyze the limit behavior in distribution of this object when the components of ${\bf H}$ tend to $1$ and/or $\frac{1}{2}$. As examples, we focus on the solution to the stochastic heat equation with additive Hermite noise and to the Hermite Ornstein-Uhlenbeck process.


title: Learning Self-Correctable Policies and Value Functions from Demonstrations with Negative Sampling

abstract: Imitation learning, followed by reinforcement learning algorithms, is a promising paradigm to solve complex control tasks sample-efficiently. However, learning from demonstrations often suffers from the covariate shift problem, which results in cascading errors of the learned policy. We introduce a notion of conservatively-extrapolated value functions, which provably lead to policies with self-correction. We design an algorithm Value Iteration with Negative Sampling (VINS) that practically learns such value functions with conservative extrapolation. We show that VINS can correct mistakes of the behavioral cloning policy on simulated robotics benchmark tasks. We also propose the algorithm of using VINS to initialize a reinforcement learning algorithm, which is shown to outperform significantly prior works in sample efficiency.


title: Anti-electron Neutrino Event Selection from Backgrounds Based on Machine Learning

abstract: For reactor neutrino experiments including the next--generation experiments will be adopting the liquid scintillator technique, criteria and time to select neutrino--induced inverse beta decay events from the background events need to be established. For higher performance efficiency, we investigated the results of applying a machine learning technique embedded in a standard ROOT package to select IBD signals. To obtain a higher statistics, the signals and background events in a gadolinium-loaded liquid scintillation detector were reproduced by Monte Carlo simulation. We report the efficiencies of neutrino--induced $n-H$ and $n-Gd$ events selection using the machine learning technique.


title: From Observability to Significance in Distributed Information Systems

abstract: To understand and explain process behaviour we need to be able to see it, and decide its significance, i.e. be able to tell a story about its behaviours. This paper describes a few of the modelling challenges that underlie monitoring and observation of processes in IT, by human or by software. The topic of the observability of systems has been elevated recently in connection with computer monitoring and tracing of processes for debugging and forensics. It raises the issue of well-known principles of measurement, in bounded contexts, but these issues have been left implicit in the Computer Science literature. This paper aims to remedy this omission, by laying out a simple promise theoretic model, summarizing a long standing trail of work on the observation of distributed systems, based on elementary distinguishability of observations, and classical causality, with history. Three distinct views of a system are sought, across a number of scales, that described how information is transmitted (and lost) as it moves around the system, aggregated into journals and logs.


title: Concolic Testing Heap-Manipulating Programs

abstract: Concolic testing is a test generation technique which works effectively by integrating random testing generation and symbolic execution. Existing concolic testing engines focus on numeric programs. Heap-manipulating programs make extensive use of complex heap objects like trees and lists. Testing such programs is challenging due to multiple reasons. Firstly, test inputs for such program are required to satisfy non-trivial constraints which must be specified precisely. Secondly, precisely encoding and solving path conditions in such programs are challenging and often expensive. In this work, we propose the first concolic testing engine called CSF for heap-manipulating programs based on separation logic. CSF effectively combines specification-based testing and concolic execution for test input generation. It is evaluated on a set of challenging heap-manipulating programs. The results show that CSF generates valid test inputs with high coverage efficiently. Furthermore, we show that CSF can be potentially used in combination with precondition inference tools to reduce the user effort.


title: Learning Functions over Sets via Permutation Adversarial Networks

abstract: In this paper, we consider the problem of learning functions over sets, i.e., functions that are invariant to permutations of input set items. Recent approaches of pooling individual element embeddings can necessitate extremely large embedding sizes for challenging functions. We address this challenge by allowing standard neural networks like LSTMs to succinctly capture the function over the set. However, to ensure invariance with respect to permutations of set elements, we propose a novel architecture called SPAN that simultaneously learns the function as well as adversarial or worst-case permutations for each input set. The learning problem reduces to a min-max optimization problem that is solved via a simple alternating block coordinate descent technique. We conduct extensive experiments on a variety of set-learning tasks and demonstrate that SPAN learns nearly permutation-invariant functions while still ensuring accuracy on test data. On a variety of tasks sampled from the domains of statistics, graph functions and linear algebra, we show that our method can significantly outperform state-of-the-art methods such as DeepSets and Janossy Pooling. Finally, we present a case study of how learning set-functions can help extract powerful features for recommendation systems, and show that such a method can be as much as 2% more accurate than carefully hand-tuned features on a real-world recommendation system.


title: Good and bad predictions: Assessing and improving the replication of chaotic attractors by means of reservoir computing

abstract: The prediction of complex nonlinear dynamical systems with the help of machine learning techniques has become increasingly popular. In particular, reservoir computing turned out to be a very promising approach especially for the reproduction of the long-term properties of a nonlinear system. Yet, a thorough statistical analysis of the forecast results is missing. Using the Lorenz and R\"ossler system we statistically analyze the quality of prediction for different parametrizations - both the exact short-term prediction as well as the reproduction of the long-term properties (the "climate") of the system as estimated by the correlation dimension and largest Lyapunov exponent. We find that both short and longterm predictions vary significantly among the realizations. Thus special care must be taken in selecting the good predictions as predictions which deliver better short-term prediction also tend to better resemble the long-term climate of the system. Instead of only using purely random Erd\"os-Renyi networks we also investigate the benefit of alternative network topologies such as small world or scale-free networks and show which effect they have on the prediction quality. Our results suggest that the overall performance with respect to the reproduction of the climate of both the Lorenz and R\"ossler system is worst for scale-free networks. For the Lorenz system there seems to be a slight benefit of using small world networks while for the R\"ossler system small world and Erd\"os -Renyi networks performed equivalently well. In general the observation is that reservoir computing works for all network topologies investigated here.


title: AVD: Adversarial Video Distillation

abstract: In this paper, we present a simple yet efficient approach for video representation, called Adversarial Video Distillation (AVD). The key idea is to represent videos by compressing them in the form of realistic images, which can be used in a variety of video-based scene analysis applications. Representing a video as a single image enables us to address the problem of video analysis by image analysis techniques. To this end, we exploit a 3D convolutional encoder-decoder network to encode the input video as an image by minimizing the reconstruction error. Furthermore, weak supervision by an adversarial training procedure is imposed on the output of the encoder to generate semantically realistic images. The encoder learns to extract semantically meaningful representations from a given input video by mapping the 3D input into a 2D latent representation. The obtained representation can be simply used as the input of deep models pre-trained on images for video classification. We evaluated the effectiveness of our proposed method for video-based activity recognition on three standard and challenging benchmark datasets, i.e. UCF101, HMDB51, and Kinetics. The experimental results demonstrate that AVD achieves interesting performance, outperforming the state-of-the-art methods for video classification.


title: Perpetual generation of two-photon quantum beats

abstract: We consider a recursive device that is based on a Mach-Zehnder interferometer and linear optical elements which allow self-feedback through multiple internal reflection of radiation between two parallel arrays of opposite faced mirrors. By a carefully chosen experimental arrangement and for certain input states it is possible to observe at the open ends of the device time generated coherent superpositions \textit{in perpetuum}.


title: Neural Epitome Search for Architecture-Agnostic Network Compression

abstract: The recent WSNet [1] is a new model compression method through sampling filterweights from a compact set and has demonstrated to be effective for 1D convolutionneural networks (CNNs). However, the weights sampling strategy of WSNet ishandcrafted and fixed which may severely limit the expression ability of the resultedCNNs and weaken its compression ability. In this work, we present a novel auto-sampling method that is applicable to both 1D and 2D CNNs with significantperformance improvement over WSNet. Specifically, our proposed auto-samplingmethod learns the sampling rules end-to-end instead of being independent of thenetwork architecture design. With such differentiable weight sampling rule learning,the sampling stride and channel selection from the compact set are optimized toachieve better trade-off between model compression rate and performance. Wedemonstrate that at the same compression ratio, our method outperforms WSNetby6.5% on 1D convolution. Moreover, on ImageNet, our method outperformsMobileNetV2 full model by1.47%in classification accuracy with25%FLOPsreduction. With the same backbone architecture as baseline models, our methodeven outperforms some neural architecture search (NAS) based methods such asAMC [2] and MNasNet [3].


title: A Teflon-based system for applying multidirectional voltages to lipid bilayers as a novel platform for membrane proteins

abstract: Artificial bilayer lipid membranes (BLMs), along with patch-clamped membranes, are frequently used for functional analyses of membrane proteins. In both methods, the electric properties of membranes are characterized by only one parameter, namely, transmembrane potential. Here the construction of a novel BLM system was reported, in which membrane voltages can be controlled in a lateral direction in addition to conventional transmembrane direction. A microaperture was fabricated in a Teflon film and Ti electrodes were evaporated around the aperture. BLMs were reproducibly formed in the aperture without being affected by the presence of the electrodes. The application of a lateral voltage induced no significant changes in the electric properties of the BLMs, such as baseline current, transmembrane resistance, and transmembrane capacitance. In contrast, lateral voltages clearly affected the activities of biological ion channels, suggesting that the lateral voltage might be a useful parameter for analyzing channel activities. The present Teflon-based system in which multidirectional voltages can be applied to BLMs represent a promising platform for the analysis of underlying functional properties of membrane proteins.


title: Data-driven materials science: status, challenges and perspectives

abstract: Data-driven science is heralded as a new paradigm in materials science. In this field, data is the new resource, and knowledge is extracted from materials data sets that are too big or complex for traditional human reasoning - typically with the intent to discover new or improved materials or materials phenomena. Multiple factors, including the open science movement, national funding, and progress in information technology, have fueled its development. Such related tools as materials databases, machine learning, and high-throughput methods are now established as parts of the materials research toolset. However, there are a variety of challenges that impede progress in data-driven materials science: data veracity, integration of experimental and computational data, data longevity, standardization, and the gap between industrial interests and academic efforts. In this perspective article, we discuss the historical development and current state of data-driven materials science, building from the early evolution of open science to the rapid expansion of materials data infrastructures. We also review key successes and challenges so far, providing a perspective on the future development of the field.


title: Quantum codes from a new construction of self-orthogonal algebraic geometry codes

abstract: We present new quantum codes with good parameters which are constructed from self-orthogonal algebraic geometry codes. Our method permits a wide class of curves to be used in the formation of these codes, which greatly extends the class of a previous paper due to Munuera, Ten\'orio and Torres. These results demonstrate that there is a lot more scope for constructing self-orthogonal AG codes than was previously known.


title: Local rigidity for periodic generalised interval exchange transformations

abstract: In this article we study local rigidity properties of generalised interval exchange maps using renormalisation methods. We study the dynamics of the renormalisation operator $\mathcal{R}$ acting on the space of $\mathcal{C}^{3}$-generalised interval exchange transformations at fixed points (which are standard periodic type IETs). We show that $\mathcal{R}$ is hyperbolic and that the number of unstable direction is exactly that predicted by the ergodic theory of IETs and the work of Forni and Marmi-Moussa-Yoccoz. As a consequence we prove that the local $\mathcal{C}^1$-conjugacy class of a periodic interval exchange transformation, with $d$ intervals, whose associated surface has genus $g$ and whose Lyapounoff exponents are all non zero is a codimension $g-1 +d-1$ $\mathcal{C}^1$-submanifold of the space of $\mathcal{C}^{3}$-generalised interval exchange transformations. This solves a particular case of a conjecture of Marmi-Moussa-Yoccoz.


title: Automatic Generation of Atomic Consistency Preserving Search Operators for Search-Based Model Engineering

abstract: Recently there has been increased interest in combining the fields of Model-Driven Engineering (MDE) and Search-Based Software Engineering (SBSE). Such approaches use meta-heuristic search guided by search operators (model mutators and sometimes breeders) implemented as model transformations. The design of these operators can substantially impact the effectiveness and efficiency of the meta-heuristic search. Currently, designing search operators is left to the person specifying the optimisation problem. However, developing consistent and efficient search-operator rules requires not only domain expertise but also in-depth knowledge about optimisation, which makes the use of model-based meta-heuristic search challenging and expensive. In this paper, we propose a generalised approach to automatically generate atomic consistency preserving search operators (aCPSOs) for a given optimisation problem. This reduces the effort required to specify an optimisation problem and shields optimisation users from the complexity of implementing efficient meta-heuristic search mutation operators. We evaluate our approach with a set of case studies, and show that the automatically generated rules are comparable to, and in some cases better than, manually created rules at guiding evolutionary search towards near-optimal solutions. This paper is an extended version of the paper with the same title published in the proceedings of the 22nd International Conference on Model Driven Engineering Languages and Systems (MODELS '19).


title: rcosmo: R Package for Analysis of Spherical, HEALPix and Cosmological Data

abstract: The analysis of spatial observations on a sphere is important in areas such as geosciences, physics and embryo research, just to name a few. The purpose of the package rcosmo is to conduct efficient information processing, visualisation, manipulation and spatial statistical analysis of Cosmic Microwave Background (CMB) radiation and other spherical data. The package was developed for spherical data stored in the Hierarchical Equal Area isoLatitude Pixelation (Healpix) representation. rcosmo has more than 100 different functions. Most of them initially were developed for CMB, but also can be used for other spherical data as rcosmo contains tools for transforming spherical data in cartesian and geographic coordinates into the HEALPix representation. We give a general description of the package and illustrate some important functionalities and benchmarks.


title: Augmenting Type Signatures for Program Synthesis

abstract: Effective program synthesis requires a way to minimise the number of candidate programs being searched. A type signature, for example, places some small restrictions on the structure of potential candidates. We introduce and motivate a distilled program synthesis problem where a type signature is the only machine-readable information available, but does not sufficiently minimise the search space. To address this, we develop a system of property relations that can be used to flexibly encode and query information that was not previously available to the synthesiser. Our experience using these tools has been positive: by encoding simple properties and by using a minimal set of synthesis primitives, we have been able to synthesise complex programs in novel contexts


title: Asymptotic Reversibility of Thermal Operations for Interacting Quantum Spin Systems via Generalized Quantum Stein's Lemma

abstract: For quantum spin systems in any spatial dimension with a local, translation-invariant Hamiltonian, we prove that asymptotic state convertibility from a quantum state to another one by a thermodynamically feasible class of quantum dynamics, called thermal operations, is completely characterized by the Kullback-Leibler (KL) divergence rate, if the state is translation-invariant and spatially ergodic. Our proof consists of two parts and is phrased in terms of a branch of the quantum information theory called the resource theory. First, we prove that any states, for which the min and max R\'enyi divergences collapse approximately to a single value, can be approximately reversibly converted into one another by thermal operations with the aid of a small source of quantum coherence. Second, we prove that these divergences collapse asymptotically to the KL divergence rate for any translation-invariant ergodic state. We show this via a generalization of the quantum Stein's lemma for quantum hypothesis testing beyond independent and identically distributed (i.i.d.) situations. Our result implies that the KL divergence rate serves as a thermodynamic potential that provides a complete characterization of thermodynamic convertibility of ergodic states of quantum many-body systems in the thermodynamic limit, including out-of-equilibrium and fully quantum situations.


title: Macroscopic Thermodynamic Reversibility in Quantum Many-Body Systems

abstract: The resource theory of thermal operations, an established model for small-scale thermodynamics, provides an extension of equilibrium thermodynamics to nonequilibrium situations. On a lattice of any dimension with any translation-invariant local Hamiltonian, we identify a large set of translation-invariant states that can be reversibly converted to and from the thermal state with thermal operations and a small amount of coherence. These are the spatially ergodic states, i.e., states that have sharp statistics for any translation-invariant observable, and mixtures of such states with the same thermodynamic potential. As an intermediate result, we show for a general state that if the min- and the max-relative entropy to the thermal state coincide approximately, this implies the approximately reversible interconvertibility to and from the thermal state with thermal operations and a small source of coherence. Our results provide a strong link between the abstract resource theory of thermodynamics and more realistic physical systems, as we achieve a robust and operational characterization of the emergence of a thermodynamic potential in translation-invariant lattice systems.


title: Characteristics of the two sequences seen in the high-velocity Hertzsprung-Russell diagram in Gaia DR2

abstract: In this study we use a sample of about 9 million SkyMapper stars with metallicities to investigate the properties of the two stellar populations seen in the high-velocity ($V_{\rm T} > 200$ km/s) Gaia DR2 Hertzsprung-Russell diagram. Based on 10,000 red giant branch (RGB) stars (out of 75,000 with high velocity), we find that the two sequences have different metallicity distribution functions; one peaks at $-1.4$ dex (blue sequence) and the other at $-0.7$ dex (red sequence). Isochrones with ages in the range $11$-$13.5$ Gyr, and metallicities chosen to match the observations for each sequence, fit the turnoffs and broad RGBs well, indicating that the two populations formed at comparable times within the uncertainties. We find that the mean tangential velocity of disk stars increases steadily with decreasing metallicity, and that the red sequence is made up of the high-velocity stars at the lowest metallicities of the thick-disk population. Using relative number densities, we further find that the red-sequence stars are more centrally concentrated in the Galaxy, and we estimate the radial scale length of this population to be on the order of $2$-$3$ kpc. The blue-sequence stars, on the other hand, follow a nearly flat radial density profile. These findings tighten the link between the red-sequence stars and the chemically defined thick disk.


title: VarGNet: Variable Group Convolutional Neural Network for Efficient Embedded Computing

abstract: In this paper, we propose a novel network design mechanism for efficient embedded computing. Inspired by the limited computing patterns, we propose to fix the number of channels in a group convolution, instead of the existing practice that fixing the total group numbers. Our solution based network, named Variable Group Convolutional Network (VarGNet), can be optimized easier on hardware side, due to the more unified computing schemes among the layers. Extensive experiments on various vision tasks, including classification, detection, pixel-wise parsing and face recognition, have demonstrated the practical value of our VarGNet.


title: Topological realizations of groups in Alexandroff spaces

abstract: We prove that every group can be realized as the homeomorphism group and as the group of (pointed) homotopy classes of (pointed) self-homotopy equivalences of infinitely many non-homotopy-equivalent Alexandroff spaces.


title: Good rings and homogeneous polynomials

abstract: In 2011, Khurana, Lam and Wang define the following property. (*)A commutative unital ring A satisfies the property ''power stable range one'' if for all a, b $\in$ A with aA + bA = A there are an integer N = N (a, b) $\ge$ 1 and $\lambda$ = $\lambda$(a, b) $\in$ A such that b N + $\lambda$a $\in$ A x , the unit group of A. In 2019, Berman and Erman consider rings with the following property (**) A commutative unital ring A has enough homogeneous polynomials if for any k $\ge$ 1 and set S := {p 1 , p 2 , ..., p k } , of primitive points in A n and any n $\ge$ 2, there exists an homogeneous polynomial P (X 1 , X 2 , ..., X n) $\in$ A[X 1 , X 2 , ..., X n ]) with deg P $\ge$ 1 and P (p i) $\in$ A x for 1 $\le$ i $\le$ k. We show in this article that the two properties (*) and (**) are equivalent and we shall call a commutative unital ring with these properties a good ring. When A is a commutative unital ring of pictorsion as defined by Gabber, Lorenzini and Liu in 2015, we show that A is a good ring. Using a Dedekind domain we built by Goldman in 1963,we show that the converse is false.


title: Filiform Lie algebras with low derived length

abstract: We construct, for any integer n greater than or equal to 5, a family of complex filiform Lie algebras with derived length at most 3 and dimension n. We also give examples of n-dimensional filiform Lie algebras with derived length greater than 3.


title: Energy Aware Wireless System based Software Defined Radio

abstract: Development of green telecommunication systems is already being considered highly attractive by standard bodies and recently is attracting research attention. While most of the research focuses on modeling and simulation, in this work we implement a lab setup to test an energy aware wireless system based on software defined radio and solar energy power system. In addition, we proposed an energy aware adaptive modulation algorithm that considers the state of charge of the solar energy batteries before setting up the modulation order. Moreover, the algorithm adapts to user preferences between the connectivity mode and the quality mode.


title: Analytic functions in shift-invariant spaces and analytic limits of level dependent subdivision

abstract: The structure of exponential subspaces of finitely generated shift-invariant spaces is well understood and the role of such subspaces for the approximation power of refinable function vectors and related multi-wavelets is well studied. In this paper, in the univariate setting, we characterize all analytic subspaces of finitely generated shift-invariant spaces and provide explicit descriptions of elements of such subspaces. Consequently, we depict the analytic functions generated by level dependent (non-stationary) subdivision schemes with masks of unbounded support. And we confirm the belief that the exponential polynomials are indeed the only analytic functions generated by such subdivision schemes with finitely supported masks.


title: Extended bodies moving on geodesic trajectories

abstract: This work investigates whether an extended test body obeying the Mathisson-Papapetrou- Dixon equations under the Ohashi-Kyrian-Semerak spin supplementary condition can follow geodesic trajectories in curved spacetimes. In particular, we explore what are the requirements under which pole-dipole and pole-dipole-quadrupole approximated bodies moving in the Schwarzschild or Kerr spacetimes can follow equatorial geodesic trajectories. We do this exploration thoroughly in the pole-dipole case, while we focus just on particular trajectories in the pole-dipole-quadrupole case. Using the Ohashi-Kyrian-Semerak spin supplementary condition to fix the center of the mass of a pole-dipole body has the advantage that the hidden momentum is eliminated. This allows the four-velocity to be parallel to the four-momentum, which provides a convenient framework for our investigation. We discuss how this feature can be recovered at a pole-dipole-quadrupole approximation and what are the consequences.


title: Finite $N$ corrections to the superconformal index of orbifold quiver gauge theories

abstract: We investigate the AdS/CFT correspondence for quiver gauge theories realized on D3-branes put on abelian orbifolds by using the superconformal index. We assume that on the gravity side the finite $N$ corrections of the index are reproduced by D3-branes wrapped on three particular three-cycles in the internal space ${\cal Y}$, the abelian orbifold of $\boldsymbol{S}^5$. We first establish the relation between baryonic charges on the gauge theory side and the D3-brane wrapping numbers and holonomies on D3-branes. Then we confirm our proposal by comparing the results of localization for gauge theories and the results on the AdS side including the contributions of D3-branes and excitation on them for many examples. We only focus on the leading finite $N$ corrections starting from $q^N$, and leave the sub-leading corrections starting at $q^{kN}$ ($k\geq2$) as a task for the future. We find complete agreement for the leading corrections in all examples.


title: Diffractive coupling for photonic networks: how big can we go?

abstract: Photonic networks are considered a promising substrate for high-performance future computing systems. Compared to electronics, photonics has significant advantages for a fully parallel implementation of networks. A promising approach for parallel large-scale photonic networks is realizing the connections using diffraction. Here, we characterize the scalability of such diffractive coupling in great detail. Based on experiments, analytically obtained bounds and numerical simulations considering real-world optical imaging setups, we find that the concept in principle enables networks hosting over a million optical emitters. This would be a breakthrough in multiple areas, illustrating a clear path toward future, large scale photonic networks.


title: Non-Relativistic D-brane from T-duality Along Null Direction

abstract: We construct new type of non-relativistic D-branes which are defined with the help of T-duality along null direction. We find Lagrangian and Hamiltonian formulation of these D-branes and study their properties under T-duality transformations.


title: Modularization of Research Software for Collaborative Open Source Development

abstract: Software systems evolve over their lifetime. Changing conditions, such as requirements or customer requests make it inevitable for developers to perform adjustments to the underlying code base. Especially in the context of open source software where everybody can contribute, requirements can change over time and new user groups may be addressed. In particular, research software is often not structured with a maintainable and extensible architecture. In combination with obsolescent technologies, this is a challenging task for new developers, especially, when students are involved. In this paper, we report on the modularization process and architecture of our open source research project ExplorViz towards a microservice architecture. The new architecture facilitates a collaborative development process for both researchers and students. We describe the modularization measures and present how we solved occurring issues and enhanced our development process. Afterwards, we illustrate our modularization approach with our modernized, extensible software system architecture and highlight the improved collaborative development process. Finally, we present a proof-of-concept implementation featuring several developed extensions in terms of architecture and extensibility.


title: Saliency Maps Generation for Automatic Text Summarization

abstract: Saliency map generation techniques are at the forefront of explainable AI literature for a broad range of machine learning applications. Our goal is to question the limits of these approaches on more complex tasks. In this paper we apply Layer-Wise Relevance Propagation (LRP) to a sequence-to-sequence attention model trained on a text summarization dataset. We obtain unexpected saliency maps and discuss the rightfulness of these "explanations". We argue that we need a quantitative way of testing the counterfactual case to judge the truthfulness of the saliency maps. We suggest a protocol to check the validity of the importance attributed to the input and show that the saliency maps obtained sometimes capture the real use of the input features by the network, and sometimes do not. We use this example to discuss how careful we need to be when accepting them as explanation.


title: Structure, Stability and Mechanical Properties of Boron-Rich Mo-B Phases: A Computational Study

abstract: Molybdenum borides were studied theoretically using first-principles calculations, empirical total energy model and global optimization techniques to determine stable crystal structures. Our calculations reveal the structures of known Mo-B phases, attaining close agreement with experiment. Following our developed lattice model, we describe in detail the crystal structure of boron-rich $MoB_x$ phases with 3<x<9 as the hexagonal $P6_3/mmc$-$MoB_3$ structure with Mo atoms partially replaced by triangular boron units. The most energetically stable arrangement of these $B_3$ units corresponds to their uniform distribution in the bulk of the crystal structure, which leads to the formation of a disordered nonstoichiometric phase, with ordering arising at compositions close to x=5 due to a strong repulsive interaction between neighboring $B_3$ units. The most energetically favorable structures of $MoB_x$ correspond to the compositions 4<x<5, with $MoB_5$ being the boron-richest stable phase. The estimated hardness of $MoB_5$ is 37-39 GPa, suggesting that the boron-rich phases are potentially superhard.


title: Adaptive Regularization Parameter Choice Rules for Large-Scale Problems

abstract: This paper derives a new class of adaptive regularization parameter choice strategies that can be effectively and efficiently applied when regularizing large-scale linear inverse problems by combining standard Tikhonov regularization and projection onto Krylov subspaces of increasing dimension (computed by the Golub-Kahan bidiagonalization algorithm). The success of this regularization approach heavily depends on the accurate tuning of two parameters (namely, the Tikhonov parameter and the dimension of the projection subspace): these are simultaneously set using new strategies that can be regarded as special instances of bilevel optimization methods, which are solved by using a new paradigm that interlaces the iterations performed to project the Tikhonov problem (lower-level problem) with those performed to apply a given parameter choice rule (higher-level problem). The discrepancy principle, the GCV, the quasi-optimality criterion, and Regi\'{n}ska criterion can all be adapted to work in this framework. The links between Gauss quadrature and Golub-Kahan bidiagonalization are exploited to prove convergence results for the discrepancy principle, and to give insight into the behavior of the other considered regularization parameter choice rules. Several numerical tests modeling inverse problems in imaging show that the new parameter choice strategies lead to regularization methods that are reliable, and intrinsically simpler and cheaper than other strategies already available in the literature.


title: Tulczyjew's derivations and intrinsic field equations in classical field theories

abstract: This work presents the variational principles and the intrinsic versions of several equations in field theories, in particular, for the Classical Euler-Lagrange field equations, the implicit Euler-Lagrange field equations and the non-holonomic implicit Euler-Lagrange field equations. The advantages of the variational and intrinsic versions of these equations is that the Lagrangians functions are not necessary regular Lagrangians. We present two examples of this situation: Navier's equations and the non-holonomic Cosserat rod. Finally we comment the Hamiltonian case when the Lagrangian is a hyperregular function.


title: Surface and bulk Landau levels in thin films of Weyl semimetals

abstract: We show that the thin films of Weyl semimetals have a regime of parameters in which they develop very flat Landau bands under strong magnetic fields. Addressing the case of thin films in a perpendicular magnetic field, we observe that two different types of Landau states may arise depending on whether the line connecting a pair of opposite Weyl nodes is parallel or perpendicular to the direction of the magnetic field. In the latter instance, we show that the flat Landau bands are made of states peaked at the two faces of the thin film. When the line connecting the Weyl nodes is parallel to the magnetic field, we see instead that the states in the Landau bands take the form of stationary waves with significant amplitude across the bulk of the material. In either case, the states in the flat levels are confined along longitudinal sections of the thin film, turning into edge states with distinctive profiles at the lateral boundaries for the two different types of Hall effect.


title: The four dimensional Yang--Mills partition function in the vicinity of the vacuum

abstract: The partition function of four dimensional Euclidean, non-supersymmetric SU(2) Yang--Mills theory is calculated in the perturbative and weak coupling regime i.e. in a small open ball about the flat connection (what we call the vicinity of the vacuum) and when the gauge coupling constant acquires a small but finite value. The computation is based on various known inequalities, valid only in four dimensions, providing two-sided estimates for the exponentiated Yang--Mills action in terms of the $L^2$-norm of the derivative of the gauge potential only; these estimates then give rise to Gaussian-like infinite dimensional integrals involving the Laplacian hence can be formally computed via zeta-function and heat kernel techniques. It then turns out that these integrals give a sharp value for the partition function in the aforementioned perturbative and weak coupling regime of the theory. In the resulting expression for the partition function the original classical coupling constant is shifted to a smaller one which can be interpreted as the manifestation, in this approach, of the existence a non-trivial trivial $\beta$-function and asymptotic freedom in non-Abelian gauge theories.


title: Deformations of Vector Bundles over Lie Groupoids

abstract: VB-groupoids are vector bundles in the category of Lie groupoids. They encompass several classical objects, including Lie group representations and 2-vector spaces. Moreover, they provide geometric pictures for 2-term representations up to homotopy of Lie groupoids. We attach to every VB-groupoid a cochain complex controlling its deformations and discuss its fundamental features, such as Morita invariance and a van Est theorem. Several examples and applications are given.


title: Justifying Diagnosis Decisions by Deep Neural Networks

abstract: An integrated approach is proposed across visual and textual data to both determine and justify a medical diagnosis by a neural network. As deep learning techniques improve, interest grows to apply them in medical applications. To enable a transition to workflows in a medical context that are aided by machine learning, the need exists for such algorithms to help justify the obtained outcome so human clinicians can judge their validity. In this work, deep learning methods are used to map a frontal X-Ray image to a continuous textual representation. This textual representation is decoded into a diagnosis and the associated textual justification that will help a clinician evaluate the outcome. Additionally, more explanatory data is provided for the diagnosis by generating a realistic X-Ray that belongs to the nearest alternative diagnosis. With a clinical expert opinion study on a subset of the X-Ray data set from the Indiana University hospital network, we demonstrate that our justification mechanism significantly outperforms existing methods that use saliency maps. While performing multi-task training with multiple loss functions, our method achieves excellent diagnosis accuracy and captioning quality when compared to current state-of-the-art single-task methods.


title: Global optimization of quantum dynamics with AlphaZero deep exploration

abstract: While a large number of algorithms for optimizing quantum dynamics for different objectives have been developed, a common limitation is the reliance on good initial guesses, being either random or based on heuristics and intuitions. Here we implement a tabula rasa deep quantum exploration version of the Deepmind AlphaZero algorithm for systematically averting this limitation. AlphaZero employs a deep neural network in conjunction with deep lookahead in a guided tree search, which allows for predictive hidden variable approximation of the quantum parameter landscape. To emphasize transferability, we apply and benchmark the algorithm on three classes of control problems using only a single common set of algorithmic hyperparameters. AlphaZero achieves substantial improvements in both the quality and quantity of good solution clusters compared to earlier methods. It is able to spontaneously learn unexpected hidden structure and global symmetry in the solutions, going beyond even human heuristics.


title: Sampling and Reconstruction of Bandlimited Signals with Multi-Channel Time Encoding

abstract: Sampling is classically performed by recording the amplitude of an input signal at given time instants; however, sampling and reconstructing a signal using multiple devices in parallel becomes a more difficult problem to solve when the devices have an unknown shift in their clocks. Alternatively, one can record the times at which a signal (or its integral) crosses given thresholds. This can model integrate-and-fire neurons, for example, and has been studied by Lazar and T\'oth under the name of ``Time Encoding Machines''. This sampling method is closer to what is found in nature. In this paper, we show that, when using time encoding machines, reconstruction from multiple channels has a more intuitive solution, and does not require the knowledge of the shifts between machines. We show that, if single-channel time encoding can sample and perfectly reconstruct a $\mathbf{2\Omega}$-bandlimited signal, then $\mathbf{M}$-channel time encoding with shifted integrators can sample and perfectly reconstruct a signal with $\mathbf{M}$ times the bandwidth. Furthermore, we present an algorithm to perform this reconstruction and prove that it converges to the correct unique solution, in the noiseless case, without knowledge of the relative shifts between the integrators of the machines. This is quite unlike classical multi-channel sampling, where unknown shifts between sampling devices pose a problem for perfect reconstruction.


title: Deep Learning with ConvNET Predicts Imagery Tasks Through EEG

abstract: Deep learning with convolutional neural networks (ConvNets) have dramatically improved learning capabilities of computer vision applications just through considering raw data without any prior feature extraction. Nowadays, there is rising curiosity in interpreting and analyzing electroencephalography (EEG) dynamics with ConvNets. Our study focused on ConvNets of different structures, constructed for predicting imagined left and right movements on a subject-independent basis through raw EEG data. Results showed that recently advanced methods in machine learning field, i.e. adaptive moments and batch normalization together with dropout strategy, improved ConvNets predicting ability, outperforming that of conventional fully-connected neural networks with widely-used spectral features.


title: Advancement study in skin bacteria protection using UV light

abstract: UVC radiation has been recently used to disinfect hospital, daycare and public places. It can be used to reduce bacteria by deactivating their DNA. Our work is to examine the effectiveness of UVC radiation (254 nm) in inactivating the SkinBorn bacteria. Mathematical models of these microorganisms placed in different positions on a human skin have been developed and solved numerically. Heat transfer equation is linked to Lambert Beer relationship by taking into account the conduction, the convection and the radiation phenomena. The experimental set-up is realized in order to verify our purposes. Swabs from skin and under nails of different individuals were inoculated on nutrient agar plates. Our experimental results achieved 97.43% of microorganisms killing. Both experimental and numerical results demonstrate that secured using of UVC is extremely effective in killing bacteria without damaging the human skin.


title: Electronic Stripes and Transport Properties in Borophene Heterostructures

abstract: We performed a theoretical investigation of the structural and electronic properties of (i) pristine, and (ii) superlattice structures of borophene. In (i), by combining first-principles calculations, based on the density functional theory (DFT), and simulations of the X-ray Absorption Near-Edge Structure (XANES) we present a comprehensive picture connecting the atomic arrangement of borophene and the X-ray absorption spectra. Once we have characterized the electronic properties of the pristine systems, we next examined the electronic confinement effects in 2D borophene superlattices (BSLs) [(ii)]. Here, the BSL structures were made by attaching laterally two different structural phases of borophene. The energetic stability, and the electronic properties of those BSLs were examined based on total energy DFT calculations. We find a highly anisotropic electronic structure, characterized by the electronic confinement effects, and the formation of metallic channels along the superlattices. Combining DFT and the Landauer-B\"uttiker formalism, we investigate the electronic transport properties in the BSLs. Our results of the transmission probability reveal that the electronic transport is ruled by {\pi} or a combination of {\pi} and {\sigma} transmission channels, depending on the atomic arrangement and periodicity of the superlattices. Finally we show that there is huge magnification on the directional dependence of the electronic transport properties in BSLs, in comparision with the pristine borophene phase. Those findings indicate that BSLs are quite interesting systems in order to design conductive nanoribbons in a 2D platform.


title: Optimal paths of non-equilibrium stochastic fields: the Kardar-Parisi-Zhang interface as a test case

abstract: Atypically large fluctuations in macroscopic non-equilibrium systems continue to attract interest. Their probability can often be determined by the optimal fluctuation method (OFM). The OFM brings about a conditional variational problem, the solution of which describes the "optimal path" of the system which dominates the contribution of different stochastic paths to the desired statistics. The OFM proved efficient in evaluating the probabilities of rare events in a host of systems. However, theoretically predicted optimal paths were observed in stochastic simulations only in diffusive lattice gases, where the predicted optimal density patterns are either stationary, or travel with constant speed. Here we focus on the one-point height distribution of the paradigmatic Kardar-Parisi-Zhang interface. Here the optimal paths, corresponding to the distribution tails at short times, are intrinsically non-stationary and can be predicted analytically. Using the mapping to the directed polymer in a random potential at high temperature, we obtain "snapshots" of the optimal paths in Monte-Carlo simulations which probe the tails with an importance sampling algorithm. For each tail we observe a very narrow "tube" of height profiles around a single optimal path which agrees with the analytical prediction. The agreement holds even at long times, supporting earlier assertions of the validity of the OFM in the tails well beyond the weak-noise limit.


title: Rationality of Fano threefolds with terminal Gorenstein singularities, I

abstract: We classify some special classes of non-rational Fano threefolds with terminal singularities. In particular, all such hyperelliptic and trigonal varieties are found.


title: A Sturm Liouville theorem for quadratic operator pencils

abstract: We establish a Sturm{Liouville theorem for quadratic operator pencils counting their unstable real roots, with applications to stability of waves. Such pencils arise, for example, in reduction of eigenvalue systems to higher-order scalar problems.


title: On Searches for Gravitational Dark Matter with Quantum Sensors

abstract: The possibility of searching for dark matter with quantum sensors has recently received a lot of attention. In this short paper, we discuss the possibility of searching for gravitational dark matter with quantum sensors and identify a very narrow window of opportunity for future quantum sensors with improved sensitivity. Gravitational dark matter candidates with masses in the range $[10^{-3}, 1] \, \text{eV}$ could lead to an effective time variation of the proton mass that could be measured with, e.g., future atomic clocks.


title: Adversarial Lipschitz Regularization

abstract: Generative adversarial networks (GANs) are one of the most popular approaches when it comes to training generative models, among which variants of Wasserstein GANs are considered superior to the standard GAN formulation in terms of learning stability and sample quality. However, Wasserstein GANs require the critic to be 1-Lipschitz, which is often enforced implicitly by penalizing the norm of its gradient, or by globally restricting its Lipschitz constant via weight normalization techniques. Training with a regularization term penalizing the violation of the Lipschitz constraint explicitly, instead of through the norm of the gradient, was found to be practically infeasible in most situations. Inspired by Virtual Adversarial Training, we propose a method called Adversarial Lipschitz Regularization, and show that using an explicit Lipschitz penalty is indeed viable and leads to competitive performance when applied to Wasserstein GANs, highlighting an important connection between Lipschitz regularization and adversarial training.


title: The Legacy of George Sudarshan

abstract: Ennackal Chandy George Sudarshan was born on 16 September 1931 in Pallam, a small village in the Kottayam District of Kerala State, South India.


title: Evolution of Incommensurate Superstructure and Electronic Structure with Pb Substitution in (Bi$_{2-x}$Pb$_{x}$)Sr$_2$CaCu$_2$O$_{8+\delta}$ Superconductors

abstract: High-quality Bi$_{2-x}$Pb$_{x}$Sr$_2$CaCu$_2$O$_{8+\delta}$ (Bi2212) single crystals have been successfully grown by the traveling solvent floating zone technique with a wide range of Pb substitution ($x=0-0.8$). The samples are characterized by transmission electron microscope (TEM) and measured by high resolution laser-based angle-resolved photoemission spectroscopy (ARPES) with different photon energies. A systematic evolution of the electronic structure and superstructure with Pb substitution has been revealed for the first time. The superstructure shows a significant change with Pb substitution and the incommensurate modulation vector ($\textbf{Q}$) decreases with increasing Pb substitution. In the meantime, the superstructure intensity from ARPES measurements also decreases dramatically with increasing Pb concentration. The superstructure in Bi2212 can be effectively suppressed by Pb substitution and it nearly disappears with a Pb substitution of $x=0.8$. We also find that the superstructure bands in ARPES measurements depend sensitively on the photon energy of lasers used; they can become even stronger than the main band when using a laser photon energy of 10.897 eV. These results provide important information on the origin of the incommensurate superstructure and its control and suppression in bismuth-based high temperature superconductors.


title: The boundary of the $p$-rank $0$ stratum of the moduli space of cyclic covers of the projective line

abstract: We study the $p$-rank stratification of the moduli space of cyclic degree $\ell$ covers of the projective line in characteristic $p$ for distinct primes $p$ and $\ell$. The main result is about the intersection of the $p$-rank $0$ stratum with the boundary of the moduli space of curves. When $\ell=3$ and $p \equiv 2 \bmod 3$ is an odd prime, we prove that there exists a smooth trielliptic curve in characteristic $p$, with every genus $g$, signature type $(r,s)$ and $p$-rank $f$ satisfying the clear necessary conditions.


title: X-Ray spectral evolution of PSR~J2032+4127 during the 2017 periastron passage

abstract: We report X-ray data analysis results obtained from Chandra, XMM-Newton, NuSTAR and Swift observations of PSR J2032+4127 taken before, during, and after the periastron on 2017 November 13. We found the first clear evidence of a change in the X-ray spectral index over the passage period, thanks to a broad and sensitive spectral coverage by XMM-Newton and NuSTAR. We analysed the joint XMM-Newton and NuSTAR observation epochs with power-law and broken power-law model. We have obtained change in spectral parameters before and after the periastron passage for both models. The spectra get softened after the passage. The evolution of the spectral index and break energy before and after the periastron may indicate a change in the physical state of shock-accelerated electrons.


title: And the Bit Goes Down: Revisiting the Quantization of Neural Networks

abstract: In this paper, we address the problem of reducing the memory footprint of convolutional network architectures. We introduce a vector quantization method that aims at preserving the quality of the reconstruction of the network outputs rather than its weights. The principle of our approach is that it minimizes the loss reconstruction error for in-domain inputs. Our method only requires a set of unlabelled data at quantization time and allows for efficient inference on CPU by using byte-aligned codebooks to store the compressed weights. We validate our approach by quantizing a high performing ResNet-50 model to a memory size of 5MB (20x compression factor) while preserving a top-1 accuracy of 76.1% on ImageNet object classification and by compressing a Mask R-CNN with a 26x factor.


title: High-Harmonic Generation in a Correlated Electron System

abstract: High-harmonic generation (HHG) in crystalline solids have been examined so far on the basis of one-body energy-band structures arising from electron itineracy in a periodic potential. Here, we show emergence of HHG signals which are attributed to dynamics of many-body states in a low-dimensional correlated electron system. An interacting fermion model and its effective pseudo-spin model on a one-dimensional dimer-type lattice are analyzed. Observed HHG signals in a spontaneously symmetry-broken state, where charge densities are polarized inside of dimer units, show threshold behavior with respect to light amplitude and are interpreted in terms of tunneling and recombination of kink-antikink excitations in an electric field.


title: A semi-holographic hyperdimensional representation system for hardware-friendly cognitive computing

abstract: One of the main, long-term objectives of artificial intelligence is the creation of thinking machines. To that end, substantial effort has been placed into designing cognitive systems; i.e. systems that can manipulate semantic-level information. A substantial part of that effort is oriented towards designing the mathematical machinery underlying cognition in a way that is very efficiently implementable in hardware. In this work we propose a 'semi-holographic' representation system that can be implemented in hardware using only multiplexing and addition operations, thus avoiding the need for expensive multiplication. The resulting architecture can be readily constructed by recycling standard microprocessor elements and is capable of performing two key mathematical operations frequently used in cognition, superposition and binding, within a budget of below 6 pJ for 64- bit operands. Our proposed 'cognitive processing unit' (CoPU) is intended as just one (albeit crucial) part of much larger cognitive systems where artificial neural networks of all kinds and associative memories work in concord to give rise to intelligence.


title: Gittins' theorem under uncertainty

abstract: We study dynamic allocation problems for discrete time multi-armed bandits under uncertainty, based on the the theory of nonlinear expectations. We show that, under strong independence of the bandits and with some relaxation in the definition of optimality, a Gittins allocation index gives optimal choices. This involves studying the interaction of our uncertainty with controls which determine the filtration. We also run a simple numerical example which illustrates the interaction between the willingness to explore and uncertainty aversion of the agent when making decisions.

categories: math.OC math.PR math.ST q-fin.CP stat.TH


title: Mercem: Method Name Recommendation Based on Call Graph Embedding

abstract: Comprehensibility of source code is strongly affected by identifier names, therefore software developers need to give good (e.g. meaningful but short) names to identifiers. On the other hand, giving a good name is sometimes a difficult and time-consuming task even for experienced developers. To support naming identifiers, several techniques for recommending identifier name candidates have been proposed. These techniques, however, still have challenges on the goodness of suggested candidates and limitations on applicable situations. This paper proposes a new approach to recommending method names by applying graph embedding techniques to the method call graph. The evaluation experiment confirms that the proposed technique can suggest more appropriate method name candidates in difficult situations than the state of the art approach.


title: Pointwise dynamics under Orbital Convergence

abstract: We obtain sufficient conditions under which the limit of a sequence of functions exhibits a particular dynamical behaviour at a point like expansivity, shadowing, mixing, sensitivity and transitivity. We provide examples to show that the set of all expansive, positively expansive and sensitive points are neither open nor closed in general. We also observe that the set of all transitive and mixing points are closed but not open in general. We give examples to show that properties like expansivity, sensitivity, shadowing, transitivity and mixing at a point need not be preserved under uniform convergence and properties like topological stability and $\alpha$-persistence at a point need not be preserved under pointwise convergence.


title: Low PAPR Reference Signal Transceiver Design for 3GPP 5G NR Uplink

abstract: Low peak-to-average-power ratio (PAPR) transmissions significantly improve the cell coverage as they enable high power transmissions without saturating the power amplifier. A new modulation scheme, namely, pi/2-BPSK was introduced in the Rel-15 3GPP 5G NR specifications to support low PAPR transmissions using the DFT-spread-OFDM waveform in the uplink transmissions. To enable data demodulation using this modulation scheme, Zadoff-Chu sequences are used as reference signals. However, the PAPR of Zadoff-Chu sequences is higher when compared to the pi/2-BPSK data. Therefore, even though the data transmissions have low PAPR, the high PAPR of the reference signal limits the cell coverage in the uplink of Rel-15 3GPP 5G NR design. In this paper we propose a transceiver design which minimizes the PAPR of the reference signals to avoid the aforementioned issues. We show via simulations that the proposed architecture results in more than 2 dB PAPR reduction when compared to the existing design. In addition, when multiple stream transmission is supported, we show that PAPR of the reference signal transmission remains the same for any stream (also referred to as baseband antenna port in 3GPP terminology) when the proposed transceiver design is employed, which is not the case for the current 3GPP 5G NR design


title: Finiteness and infiniteness results for Torelli groups of (hyper-)K\"ahler manifolds

abstract: The Torelli group $\mathcal T(X)$ of a closed smooth manifold $X$ is the subgroup of the mapping class group $\pi_0(\mathrm{Diff}^+(X))$ consisting of elements which act trivially on the integral cohomology of $X$. In this note we give counterexamples to Theorem 3.4 of Verbitsky's paper "Mapping class group and a global Torelli theorem for hyperk\"ahler manifolds" (Duke Math.~J.~162 (2013), no.~15, 2929-2986) which states that the Torelli group of simply connected K\"ahler manifolds of complex dimension $\ge 3$ is finite. This is done by constructing under some mild conditions homomorphisms $J: \mathcal T(X) \to H^3(X;\mathbb Q)$ and showing that for certain K\"ahler manifolds this map is non-trivial. We also give a counterexample to Theorem 3.5 (iv) in this paper where Verbitsky claims that the Torelli group of hyperk\"ahler manifolds are finite. These examples are detected by the action of diffeomorphsims on $\pi_4(X)$. Finally we confirm the finiteness result for the special case of the hyperk\"ahler manifold $K^{[2]}$.


title: On exponential stabilization of nonholonomic systems with time-varying drift

abstract: A class of nonlinear control-affine systems with bounded time-varying drift is considered. It is assumed that the control vector fields together with their iterated Lie brackets satisfy Hormander's condition in a neighborhood of the origin. Then the problem of exponential stabilization is treated by exploiting periodic time-varying feedback controls. An explicit parametrization of such controllers is proposed under a suitable non-resonance assumption. It is shown that these controllers ensure the exponential stability of the closed-loop system provided that the period is small enough. The proposed control design methodology is applied for the stabilization of an underwater vehicle model and a front-wheel drive car.


title: Leveraging Socioeconomic Information and Deep Learning for Residential Load Pattern Prediction

abstract: Advanced metering infrastructure systems record a high volume of residential load data, opening up an opportunity for utilities to understand consumer energy consumption behaviors. Existing studies have focused on load profiling and prediction, but neglected the role of socioeconomic characteristics of consumers in their energy consumption behaviors. In this paper, we develop a prediction model using deep neural networks to predict load patterns of consumers based on their socioeconomic information. We analyze load patterns using the K-means clustering method and use an entropy-based feature selection method to select the key socioeconomic characteristics that affect consumers' load patterns. Our prediction method with feature selection achieves a higher prediction accuracy compared with the benchmark schemes, e.g. 80% reduction in the prediction error.


title: Visual Curve Completion and Rotational Surfaces of Constant Negative Curvature

abstract: If a piece of the contour of a picture is missing to the eye vision, then the brain tends to complete it using some kind of sub-Riemannian geodesics of the unit tangent bundle of the plane, R2xS1. These geodesics can be obtained by lifting extremal curves of a total curvature type energy in the plane. We completely solve this variational problem, geometrically. Moreover, we also show a way of constructing rotational surfaces of constant negative curvature in R3 by evolving these extremal curves under their associated binormal flow with prescribed velocity. Finally, we prove that, locally, all rotational constant negative curvature surfaces of R3 are foliated by extremal curves of these energies. Therefore, we conclude that there exists a one-to-one correspondence between the sub-Riemannian geodesics used by the brain for visual curve completion and these rotational surfaces of R3.


title: Dreaming machine learning: Lipschitz extensions for reinforcement learning on financial markets

abstract: We consider a quasi-metric topological structure for the construction of a new reinforcement learning model in the framework of financial markets. It is based on a Lipschitz type extension of reward functions defined in metric spaces. Specifically, the McShane and Whitney extensions are considered for a reward function which is defined by the total evaluation of the benefits produced by the investment decision at a given time. We define the metric as a linear combination of a Euclidean distance and an angular metric component. All information about the evolution of the system from the beginning of the time interval is used to support the extension of the reward function, but in addition this data set is enriched by adding some artificially produced states. Thus, the main novelty of our method is the way we produce more states -- which we call "dreams" -- to enrich learning. Using some known states of the dynamical system that represents the evolution of the financial market, we use our technique to simulate new states by interpolating real states and introducing some random variables. These new states are used to feed a learning algorithm designed to improve the investment strategy by following a typical reinforcement learning scheme.


title: Teach an all-rounder with experts in different domains

abstract: In many automatic speech recognition (ASR) tasks, an ideal model has to be applicable over multiple domains. In this paper, we propose to teach an all-rounder with experts in different domains. Concretely, we build a multi-domain acoustic model by applying the teacher-student training framework. First, for each domain, a teacher model (domain-dependent model) is trained by fine-tuning a multi-condition model with domain-specific subset. Then all these teacher models are used to teach one single student model simultaneously. We perform experiments on two predefined domain setups. One is domains with different speaking styles, the other is nearfield, far-field and far-field with noise. Moreover, two types of models are examined: deep feedforward sequential memory network (DFSMN) and long short term memory (LSTM). Experimental results show that the model trained with this framework outperforms not only multi-condition model but also domain-dependent model. Specially, our training method provides up to 10.4% relative character error rate improvement over baseline model (multi-condition model).


title: Well-posedness and H(div)-conforming finite element approximation of a linearised model for inviscid incompressible flow

abstract: We consider a linearised model of incompressible inviscid flow. Using a regularisation based on the Hodge Laplacian we prove existence and uniqueness of weak solutions for smooth domains. The model problem is then discretised using H(div)-conforming finite element methods, for which we prove error estimates for the velocity approximation in the $L^2$-norm of order $O(h^{k+\frac12})$. We also prove error estimates for the pressure error in the $L^2$-norm.


title: Efficient Uncertainty Modeling for System Design via Mixed Integer Programming

abstract: The post-Moore era casts a shadow of uncertainty on many aspects of computer system design. Managing that uncertainty requires new algorithmic tools to make quantitative assessments. While prior uncertainty quantification methods, such as generalized polynomial chaos (gPC), show how to work precisely under the uncertainty inherent to physical devices, these approaches focus solely on variables from a continuous domain. However, as one moves up the system stack to the architecture level many parameters are constrained to a discrete (integer) domain. This paper proposes an efficient and accurate uncertainty modeling technique, named mixed generalized polynomial chaos (M-gPC), for architectural uncertainty analysis. The M-gPC technique extends the generalized polynomial chaos (gPC) theory originally developed in the uncertainty quantification community, such that it can efficiently handle the mixed-type (i.e., both continuous and discrete) uncertainties in computer architecture design. Specifically, we employ some stochastic basis functions to capture the architecture-level impact caused by uncertain parameters in a simulator. We also develop a novel mixed-integer programming method to select a small number of uncertain parameter samples for detailed simulations. With a few highly informative simulation samples, an accurate surrogate model is constructed in place of cycle-level simulators for various architectural uncertainty analysis. In the chip-multiprocessor (CMP) model, we are able to estimate the propagated uncertainties with only 95 samples whereas Monte Carlo requires 5*10^4 samples to achieve the similar accuracy. We also demonstrate the efficiency and effectiveness of our method on a detailed DRAM subsystem.


title: A Highly Efficient Distributed Deep Learning System For Automatic Speech Recognition

abstract: Modern Automatic Speech Recognition (ASR) systems rely on distributed deep learning to for quick training completion. To enable efficient distributed training, it is imperative that the training algorithms can converge with a large mini-batch size. In this work, we discovered that Asynchronous Decentralized Parallel Stochastic Gradient Descent (ADPSGD) can work with much larger batch size than commonly used Synchronous SGD (SSGD) algorithm. On commonly used public SWB-300 and SWB-2000 ASR datasets, ADPSGD can converge with a batch size 3X as large as the one used in SSGD, thus enable training at a much larger scale. Further, we proposed a Hierarchical-ADPSGD (H-ADPSGD) system in which learners on the same computing node construct a super learner via a fast allreduce implementation, and super learners deploy ADPSGD algorithm among themselves. On a 64 Nvidia V100 GPU cluster connected via a 100Gb/s Ethernet network, our system is able to train SWB-2000 to reach a 7.6% WER on the Hub5-2000 Switchboard (SWB) test-set and a 13.2% WER on the Call-home (CH) test-set in 5.2 hours. To the best of our knowledge, this is the fastest ASR training system that attains this level of model accuracy for SWB-2000 task to be ever reported in the literature.


title: Smart Cities: The Hopes and Hypes

abstract: Smart cities are being planned for several advanced applications and services for the inhabitants. Smart cities initiative promise many new services which are not possible in the traditional city frameworks. In the smart city framework, the basic aim is to provide all the essential services through sensor based systems which does not need much human intervention. This system is designed to operate on its own in a self-organizing manner. Therefore, the hopes are really big from the smart cities to enhance the quality of lives and the economy. However, some of the promises in the smart cities are very much over hyped. In this article, we analyse the realities of the smart cities and their practical significances based on the technological aspects of these projects. We also address the false promises that are around which are just the hypes. We clarify these hypes with appropriate logical explanations.


title: Influence of Backside Energy Leakages from Hadronic Calorimeters on Fluctuation Measures in Relativistic Heavy-Ion Collisions

abstract: The phase diagram of the strongly interacting matter is the main research subject for different current and future experiments in high-energy physics. System size and energy scan programs aim to find a possible critical point. One of such programs was accomplished by the fixed-target NA61/SHINE experiment in 2018. It includes six beam energies and six colliding systems: p + p, Be + Be, Ar + Sc, Xe + La, Pb + Pb and p + Pb. In this study, we discuss how the efficiency of centrality selection by forward spectators influences multiplicity and fluctuation measures and how this influence depends on the size of colliding systems. We use SHIELD and EPOS Monte-Carlo (MC) generators along with the wounded nucleon model, introduce a probability to lose a forward spectator and spectator energy loss. We show that for light colliding systems such as Be or Li even a small inefficiency in centrality selection has a dramatic impact on multiplicity scaled variance. Conversely, heavy systems such as Ar + Sc are much less prone to the effect.


title: Partial stabilization of stochastic systems with application to rotating rigid bodies

abstract: This paper addresses the problem of stabilizing a part of variables for control systems described by stochastic differential equations of the Ito type. The considered problem is related to the asymptotic stability property of invariant sets and has important applications in mechanics and engineering. Sufficient conditions for the asymptotic stability of an invariant set are proposed by using a stochastic version of LaSalle's invariance principle. These conditions are applied for constructing the state feedback controllers in the problem of single-axis stabilization of a rigid body. The cases of control torques generated by jet engines and rotors are considered as illustrations of the proposed control design methodology.


title: Study of reflectors for illumination via conformal maps

abstract: We present an approach for the study and design of reflectors with rotational or translational symmetry that redirect light from a point source into any desired radiant intensity distribution. This method is based on a simple conformal map that transforms the reflectors' shape into a curve that describes light's direction after reflection. Both segmented and continuous reflectors are discussed, illustrating how certain reflector characteristics become apparent under this transformation. This method can also be used to study extended sources via translations.