title: From Hopf algebras to topological quantum groups. A short history, various aspects and some problems

abstract: Quantum groups have been studied within several areas of mathematics and mathematical physics. This has led to different approaches, each of them with their own techniques and conventions. Starting with Hopf algebras, where there is a general consensus, moving in the direction of topological quantum groups, where there is no such consensus, it is easy to get lost. Not only many difficulties have to be overcome, but also several choices must be made. The way this is done is often confusing. Some choices even turn out to be rather annoying. As an introductory lecture at the conference on Topological quantum groups and Hopf algebras in 2016, we have explained these choices, difficulties and annoyances, encountered on the road from Hopf algebras to topological quantum groups. In these notes, we discuss more aspects of the development of locally compact quantum groups. We not only explain some of these difficulties in greater detail, but we also give background information about the different steps, combined with some historical comments. We start with finite quantum groups and continue with discrete quantum groups, compact quantum groups and algebraic quantum groups. Multiplicative unitaries are an important side track before we finally arrive at locally compact quantum groups. Along the way, we also formulate some interesting remaining problems in the theory.


title: Surface tension of small bubbles and droplets and the cavitation threshold

abstract: In this paper, using an unified approach, estimates are given of the magnitude of the surface tension of water for planar and curved interfaces in the pairwase interaction approximation based on the Lennard-Jones potential. It is shown that the surface tensions of a bubble and droplet have qualitatively different dependences on the curvature of the surface: for the bubble, as the radius of the surface's curvature decreases, the surface tension decreases, whereas it increases on the droplet. The corresponding values of the Tolman corrections are also determined. In addition, it is shown that the dependence of the surface tension on the surface's curvature is important for evaluating the critical negative pressure for the onset of cavitation.


title: Approximate cloaking for time-dependent Maxwell equations via transformation optics

abstract: We study approximate cloaking using transformation optics for electromagnetic waves in the time domain. Our approach is based on estimates of the degree of visibility in the frequency domain for all frequencies in which the frequency dependence is explicit. The difficulty and the novelty analysis parts are in the low and high frequency regimes. To this end, we implement a variational technique in the low frequency domain, and multiplier and duality techniques in the high frequency domain. Our approach is inspired by the work of Nguyen and Vogelius on the wave equation.


title: Quantum and Classical Information Theory with Disentropy

abstract: Entropy is a famous and well established concept in physics and engineering that can be used for explanation of basic fundamentals as well it finds applications in several areas, from quantum physics to astronomy, from network communication to medical image processing, for example. Now, entropy meets its dual, the disentropy. As such, the disentropy can be used everywhere entropy is used, offering a different point of view: since entropy is a measure of disorder or uncertainty, disentropy is a measure of order or certainty. Thus, important concepts of physics can be rewritten using disentropy instead of entropy. Although there is a large range of problems that can be solved using entropy or disentropy, there are situations where only the disentropy can be used. This happens because the disentropy can provide a real output value when its argument is negative, while the entropy cannot. Thus, it is possible to calculate, for example, the disentropy of quasi-probability distributions like the Wigner function of highly quantum states. In this direction, the present work shows applications of the disentropy in a small list of problems: quantum and classical information theory, black hole thermodynamics, image processing and number theory.


title: Derivation of general Maxwell type equations for open quantum systems

abstract: Using equations of motion with the anisotropic dissipative term for quantum particle and quantum-mechanical commutation rules, the general Maxwell-type differential equations are derived. The direct modifications of the well-known Maxwell equations due to the medium effects (openness of the system) are discussed.


title: Radii of starlikeness and convexity of generalized Mittag-Leffler functions

abstract: In this paper our aim is to find the radii of starlikeness and convexity of the generalized Mittag-Leffler function for three different kinds of normalization by using their Hadamard factorization in such a way that the resulting functions are analytic in the unit disk of the complex plane. The characterization of entire functions from Laguerre-P\'{o}lya class and a result of H. Kumar and M.A. Pathan on the reality of the zeros of generalized Mittag-Leffler functions, which origins goes back to Dzhrbashyan, Ostrovski\u{i} and Peresyolkova, play important roles in this paper. Moreover, the interlacing properties of the zeros of Mittag-Leffler function and its derivative is also useful in the proof of the main results. By using the Euler-Rayleigh inequalities for the real zeros of the generalized Mittag-Leffler function, we obtain some tight lower and upper bounds for the radii of starlikeness and convexity of order zero.


title: On a sharp Poincar\'e-type inequality on the 2-sphere and its application in micromagnetics

abstract: The main aim of this note is to prove a sharp Poincar\'e-type inequality for vector-valued functions on $\mathbb{S}^2$, that naturally emerges in the context of micromagnetics of spherical thin films.


title: A New Agent-Based Methodology for the Seismic Vulnerability Assessment of Urban Areas

abstract: In order to estimate the seismic vulnerability of a densely populated urban area, it would in principle be necessary to evaluate the dynamic behaviour of individual and aggregate buildings. These detailed seismic analyses, however, are extremely cost-intensive and require great processing time and expertise judgment. The aim of the present study is to propose a new methodology able to combine information and tools coming from different scientific fields in order to reproduce the effects of a seismic input in urban areas with known geological features and to estimate the entity of the damages caused on existing buildings. In particular, we present new software called ABES (Agent-Based Earthquake Simulator), based on a Self-Organized Criticality framework, which allows to evaluate the effects of a sequence of seismic events on a certain large urban area during a given interval of time. The integration of Geographic Information System (GIS) data sets, concerning both geological and urban information about the territory of Avola (Italy), allows performing a parametric study of these effects on a real context as a case study. The proposed new approach could be very useful in estimating the seismic vulnerability and defining planning strategies for seismic risk reduction in large urban areas


title: Summation of certain infinite Lucas-related series

abstract: In this paper, we find the sums in closed form of certain type of Lucas-related convergent series. More precisely, we generalize the results already obtained by the author in his arXiv paper entitled: "Summation of certain infinite Fibonacci related series".


title: Cheng Equation: A Revisit Through Symmetry Analysis

abstract: The symmetry analysis of the Cheng Equation is performed. The Cheng Equation is reduced to a first-order equation of either Abel's Equations, the analytic solution of which is given in terms of special functions. Moreover, for a particular symmetry the system is reduced to the Riccati Equation or to the linear nonhomogeneous equation of Euler type. Henceforth, the general solution of the Cheng Equation with the use of the Lie theory is discussed, as also the application of Lie symmetries in a generalized Cheng equation.


title: Study of gravity waves distribution and propagation in the thermosphere of Mars based on MGS, ODY, MRO and MAVEN density measurements

abstract: By measuring the regular oscillations of the density of CO$_{2}$ in the upper atmosphere (between 120 and 190~km), the mass spectrometer MAVEN/NGIMS (Atmosphere and Volatile EvolutioN/Neutral Gas Ion Mass Spectrometer) reveals the local impact of gravity waves (GWs). This yields precious information on the activity of GWs and the atmospheric conditions in which they propagate and break. The intensity of GWs measured by MAVEN in the upper atmosphere has been shown to be dictated by saturation processes in isothermal conditions. As a result, GWs activity is correlated to the evolution of the inverse of the background temperature. Previous data gathered at lower altitudes ($\sim$95 to $\sim$150~km) during aerobraking by the accelerometers on board MGS (Mars Global Surveyor), ODY (Mars Odyssey) and MRO (Mars Reconnaissance Orbiter) are analyzed in the light of those recent findings with MAVEN. The anti-correlation between GW-induced density perturbations and background temperature is plausibly found in the ODY data acquired in the polar regions, but not in he MGS and MRO data. MRO data in polar regions exhibit a correlation between the density perturbations and the Brunt-V\"{a}is\"{a}l\"{a} frequency, obtained from Global Climate Modeling. At lower altitude levels (between 100 and 120~km), although wave saturation might still be dominant, isothermal conditions are no longer verified. In this case, theory predicts that the intensity of GWs is no more correlated to background temperature, but to static stability. At other latitudes in the three aerobraking datasets, the GW-induced relative density perturbations are correlated with neither inverse temperature nor static stability; in this particular case, this means that the observed activity of GWs is not only controlled by saturation, but also by the effects of GWs sources and wind filtering through critical levels.


title: Low dimensional correlations under thermal fluctuations

abstract: We study the correlation functions of quantum spin $1/2$ ladders at finite temperature, under a magnetic field, in the gapless phase at various relevant temperatures $T\neq 0$, momentum $q$ and frequencies $\omega$. We compute those quantities using the time dependent density matrix renormalization group (T-DMRG) in some optimal numerical scheme. We compare these correlations with the ones of dimerized quantum spin chains and simple spin chains, that we compute by a similar technique. We analyze the intermediate energy modes and show that the effect of temperature lead to the formation of an essentially dispersive mode corresponding to the propagation of a triplet mode in an incoherent background, with a dispersion quite different from the one occurring at very low temperatures. We compare the low energy part of the spectrum with the predictions of the Tomonaga-Luttinger liquid field theory at finite temperature. We shows that the field theory describes in a remarkably robust way the low energy correlations for frequencies or temperatures up to the natural cutoff (the effective dispersion) of the system. We discuss how our results could be tested in e.g. neutron scattering experiments.


title: A sufficient optimality condition for delayed state-linear optimal control problems

abstract: We give answer to an open question by proving a sufficient optimality condition for state-linear optimal control problems with time delays in state and control variables. In the proof of our main result, we transform a delayed state-linear optimal control problem to an equivalent non-delayed problem. This allows us to use a well-known theorem that ensures a sufficient optimality condition for non-delayed state-linear optimal control problems. An example is given in order to illustrate the obtained result.


title: Non-existence of standard compact Clifford-Klein forms of homogeneous spaces of exceptional Lie groups

abstract: We use a computer-aided approach to prove that there are no standard compact Clifford-Klein forms of homogeneous spaces of exceptional Lie groups. This yields further support for Kobayashi's conjecture about possible compact Clifford-Klein forms. On one hand, our approach is based on the algorithms developed in this work which eliminate the majority of possibilities. On the other hand, we complete the proof using the algorithmic methods of classifying semisimple subalgebras in simple real Lie algebras developed by Faccin and de Graaf, as well as by calculating invariants like a-hyperbolic rank.


title: The potential of combining MATISSE and ALMA observations: Constraining the structure of the innermost region in protoplanetary discs

abstract: In order to study the initial conditions of planet formation, it is crucial to obtain spatially resolved multi-wavelength observations of the innermost region of protoplanetary discs. We evaluate the advantage of combining observations with MATISSE/VLTI and ALMA to constrain the radial and vertical structure of the dust in the innermost region of circumstellar discs in nearby star-forming regions. Based on a disc model with a parameterized dust density distribution, we apply 3D radiative-transfer simulations to obtain ideal intensity maps. These are used to derive the corresponding wavelength-dependent visibilities we would obtain with MATISSE as well as ALMA maps simulated with CASA. Within the considered parameter space, we find that constraining the dust density structure in the innermost $5\,$au around the central star is challenging with MATISSE alone, whereas ALMA observations with reasonable integration times allow us to derive significant constraints on the disc surface density. However, we find that the estimation of the different disc parameters can be considerably improved by combining MATISSE and ALMA observations. For example, combining a 30-minute ALMA observation (at 310 GHz with an angular resolution of 0.03$^{\prime\prime}$) for MATISSE observations in the L and M bands (with visibility accuracies of about $3\,\%$) allows the radial density slope and the dust surface density profile to be constrained to within $\Delta \alpha=0.3$ and $\Delta (\alpha-\beta)=0.15$, respectively. For an accuracy of ${\sim 1\%}$ even the disc flaring can be constrained to within $\Delta \beta=0.1$. To constrain the scale height to within $5\,$au, M band accuracies of $0.8\,\%$ are required. While ALMA is sensitive to the number of large dust grains settled to the disc midplane we find that the impact of the surface density distribution of the large grains on the observed quantities is small.


title: Half-space theorems for properly immersed surfaces in $\mathbb{R}^3$ with prescribed mean curvature

abstract: Motivated by the large ammount of results obtained for minimal and positive constant mean curvature surfaces in several ambient spaces, the aim of this paper is to obtain half-space theorems for properly immersed surfaces in $\mathbb{R}^3$ whose mean curvature is given as a prescribed function of its Gauss map. In order to achieve this purpose, we will study the behavior at infinity of a 1-parameter family of properly embedded annuli that are analogous to the usual minimal catenoids.


title: Isomonodromic deformations of a rational differential system and reconstruction with the topological recursion: the $\mathfrak{sl}_2$ case

abstract: In this paper, we show that it is always possible to deform a differential equation $\partial_x \Psi(x) = L(x) \Psi(x)$ with $L(x) \in \mathfrak{sl}_2(\mathbb{C})(x)$ by introducing a small formal parameter $\hbar$ in such a way that it satisfies the Topological Type properties of Berg\`ere, Borot and Eynard. This is obtained by including the former differential equation in an isomonodromic system and using some homogeneity conditions to introduce $\hbar$. The topological recursion is then proved to provide a formal series expansion of the corresponding tau-function whose coefficients can thus be expressed in terms of intersections of tautological classes in the Deligne-Mumford compactification of the moduli space of surfaces. We present a few examples including any Fuchsian system of $\mathfrak{sl}_2(\mathbb{C})(x)$ as well as some elements of Painlev\'e hierarchies.


title: High-dimensional structure learning of binary pairwise Markov networks: A comparative numerical study

abstract: Learning the undirected graph structure of a Markov network from data is a problem that has received a lot of attention during the last few decades. As a result of the general applicability of the model class, a myriad of methods have been developed in parallel in several research fields. Recently, as the size of the considered systems has increased, the focus of new methods has been shifted towards the high-dimensional domain. In particular, introduction of the pseudo-likelihood function has pushed the limits of score-based methods which were originally based on the likelihood function. At the same time, methods based on simple pairwise tests have been developed to meet the challenges arising from increasingly large data sets in computational biology. Apart from being applicable to high-dimensional problems, methods based on the pseudo-likelihood and pairwise tests are fundamentally very different. To compare the accuracy of the different types of methods, an extensive numerical study is performed on data generated by binary pairwise Markov networks. A parallelizable Gibbs sampler, based on restricted Boltzmann machines, is proposed as a tool to efficiently sample from sparse high-dimensional networks. The results of the study show that pairwise methods can be more accurate than pseudo-likelihood methods in settings often encountered in high-dimensional structure learning applications.


title: Research and Development for Near Detector Systems Towards Long Term Evolution of Ultra-precise Long-baseline Neutrino Experiments

abstract: With the discovery of non-zero value of $\theta_{13}$ mixing angle, the next generation of long-baseline neutrino (LBN) experiments offers the possibility of obtaining statistically significant samples of muon and electron neutrinos and anti-neutrinos with large oscillation effects. In this document we intend to highlight the importance of Near Detector facilities in LBN experiments to both constrain the systematic uncertainties affecting oscillation analyses but also to perform, thanks to their close location, measurements of broad benefit for LBN physics goals. A strong European contribution to these efforts is possible.


title: Beyond polarities: Generalizing Maxwell's reciprocal diagrams

abstract: A pair of ovservations on the role of projective geometrical dualities in graphic statics.


title: Groupoids and the algebra of rewriting in group presentations

abstract: Presentations of groups by rewriting systems (that is, by monoid presentations), have been fruitfully studied by encoding the rewriting system in a $2$--complex -- the Squier complex -- whose fundamental groupoid then describes the derivation of consequences of the rewrite rules. We describe a reduced form of the Squier complex, investigate the structure of its fundamental groupoid, and show that key properties of the presentation are still encoded in the reduced form.


title: Monadic Second-Order Logic with Path-Measure Quantifier is Undecidable

abstract: We prove that the theory of Monadic Second-Order logic (MSO) of the infinite binary tree extended with qualitative path-measure quantifier is undecidable. This quantifier says that the set of infinite paths in the tree that satisfies some formula has Lebesgue-measure one. To do this we prove that the emptiness problem of qualitative universal parity tree automata is undecidable. Qualitative means that a run of a tree automaton is accepting if the set of paths in the run that satisfy the acceptance condition has Lebesgue-measure one.


title: Quantum simulation scheme of two-dimensional xy-model Hamiltonian with controllable coupling

abstract: We study a scheme of quantum simulator for two-dimensional xy-model Hamiltonian. Previously the quantum simulator for a coupled cavity array spin model has been explored, but the coupling strength is fixed by the system parameters. In the present scheme several cavity resonators can be coupled with each other simultaneously via an ancilla qubit. In the two-dimensional Kagome lattice of the resonators the hopping of resonator photonic modes gives rise to the tight-binding Hamiltonian which in turn can be transformed to the quantum xy-model Hamiltonian. We employ the transmon as an ancilla qubit to achieve in situ controllable xy-coupling strength.


title: Penetrating particle ANalyzer (PAN)

abstract: PAN is a scientific instrument suitable for deep space and interplanetary missions. It can precisely measure and monitor the flux, composition, and direction of highly penetrating particles ($> \sim$100 MeV/nucleon) in deep space, over at least one full solar cycle (~11 years). The science program of PAN is multi- and cross-disciplinary, covering cosmic ray physics, solar physics, space weather and space travel. PAN will fill an observation gap of galactic cosmic rays in the GeV region, and provide precise information of the spectrum, composition and emission time of energetic particle originated from the Sun. The precise measurement and monitoring of the energetic particles is also a unique contribution to space weather studies. PAN will map the flux and composition of penetrating particles, which cannot be shielded effectively, precisely and continuously, providing valuable input for the assessment of the related health risk, and for the development of an adequate mitigation strategy. PAN has the potential to become a standard on-board instrument for deep space human travel. PAN is based on the proven detection principle of a magnetic spectrometer, but with novel layout and detection concept. It will adopt advanced particle detection technologies and industrial processes optimized for deep space application. The device will require limited mass (~20 kg) and power (~20 W) budget. Dipole magnet sectors built from high field permanent magnet Halbach arrays, instrumented in a modular fashion with high resolution silicon strip detectors, allow to reach an energy resolution better than 10\% for nuclei from H to Fe at 1 GeV/n.


title: How to relax the cosmological neutrino mass bound

abstract: We study the impact of non-standard momentum distributions of cosmic neutrinos on the anisotropy spectrum of the cosmic microwave background and the matter power spectrum of the large scale structure. We show that the neutrino distribution has almost no unique observable imprint, as it is almost entirely degenerate with the effective number of neutrino flavours, $N_{\mathrm{eff}}$, and the neutrino mass, $m_{\nu}$. Performing a Markov chain Monte Carlo analysis with current cosmological data, we demonstrate that the neutrino mass bound heavily depends on the assumed momentum distribution of relic neutrinos. The message of this work is simple and has to our knowledge not been pointed out clearly before: Cosmology allows that neutrinos have larger masses if their average momentum is larger than that of a perfectly thermal distribution. Here we provide an example in which the mass limits are relaxed by a factor of two.


title: Distribution of solutions of the fastest apparent convergence condition in optimized perturbation theory and its relation to anti-Stokes lines

abstract: We discuss fundamental properties of the fastest apparent convergence (FAC) condition which is used as a variational criterion in optimized perturbation theory (OPT). We examine an integral representation of the FAC condition and a distribution of the zeros of the integral in a complex artificial parameter space on the basis of theory of Lefschetz thimbles. We find that the zeros accumulate on a certain line segment so-called anti-Stokes line in the limit $K \to \infty$, where $K$ is a truncation order of a perturbation series. This phenomenon gives an underlying mechanism that physical quantities calculated by OPT can be insensitive to the choice of the artificial parameter.


title: Cutting towers of number fields

abstract: Given a prime $p$, a number field $\K$ and a finite set of places $S$ of $\K$, let $\K_S$ be the maximal pro-$p$ extension of $\K$ unramified outside $S$. Using the Golod-Shafarevich criterion one can often show that $\K_S/\K$ is infinite. In both the tame and wild cases we construct infinite subextensions with bounded ramification using the refined Golod-Shafarevich criterion. In the tame setting we achieve new records on Martinet constants (root discriminant bounds) in the totally real and totally complex cases. We are also able to answer a question of Ihara by producing infinite asymptotically good extensions in which infinitely many primes split completely.


title: Iterative Deep Learning Based Unbiased Stereology With Human-in-the-Loop

abstract: Lack of enough labeled data is a major problem in building machine learning based models when the manual annotation (labeling) is error-prone, expensive, tedious, and time-consuming. In this paper, we introduce an iterative deep learning based method to improve segmentation and counting of cells based on unbiased stereology applied to regions of interest of extended depth of field (EDF) images. This method uses an existing machine learning algorithm called the adaptive segmentation algorithm (ASA) to generate masks (verified by a user) for EDF images to train deep learning models. Then an iterative deep learning approach is used to feed newly predicted and accepted deep learning masks/images (verified by a user) to the training set of the deep learning model. The error rate in unbiased stereology count of cells on an unseen test set reduced from about 3 % to less than 1 % after 5 iterations of the iterative deep learning based unbiased stereology process.


title: On the relevance of Reynolds stresses in resolvent analyses of turbulent wall-bounded flows

abstract: The ability of linear stochastic response analysis to estimate coherent motions is investigated in turbulent channel flow at friction Reynolds number Re$_\tau$ = 1007. The analysis is performed for spatial scales characteristic of buffer-layer and large-scale motions by separating the contributions of different temporal frequencies. Good agreement between the measured spatio-temporal power spectral densities and those estimated by means of the resolvent is found when the effect of turbulent Reynolds stresses, modelled with an eddy-viscosity associated to the turbulent mean flow, is included in the resolvent operator. The agreement is further improved when the flat forcing power spectrum (white noise) is replaced with a power spectrum matching the measures. Such a good agreement is not observed when the eddy-viscosity terms are not included in the resolvent operator. In this case, the estimation based on the resolvent is unable to select the right peak frequency and wall-normal location of buffer-layer motions. Similar results are found when comparing truncated expansions of measured streamwise velocity power spectral densities based on a spectral proper orthogonal decomposition to those obtained with optimal resolvent modes.


title: X-ray Reverberation Observational Modelling in Active Galactic Nuclei

abstract: X-ray reverberation in Active Galactic Nuclei, believed to be the result of the reprocessing of coronal photons by the underlying accretion disc, has allowed us to probe the properties of the inner-most regions of the accretion flow and the central black hole. Our current model (KYNREFREV) computes the time-dependent reflection spectra of the disc as a response to a flash of primary power-law radiation from a point source corona located on the axis of the black hole accretion disc (lamp-post geometry). Full relativistic effects are taken into account. The ionization of the disc is set for each radius according to the amount of the incident primary flux and the density of the accretion disc. We detect wavy residuals around the best-fit reverberation model time lags at high frequencies. This result suggests that the simple lamp-post geometry does not fully explain the X-ray source/disc configuration in Active Galactic Nuclei. There has been a noticeable progress into the development of codes for extended coronae (Wilkins+16, Chainakun & Young 2017, Taylor & Reynolds 2018a,b). Indeed, the model from Chainakun & Young (2017), consisting of two axial point sources illuminating an accretion disc that produce the reverberation lags is able to reproduce the observed time-lag versus frequency spectra. The goal of this paper is to observationally justify the need for an extended corona in order to provide (in the near future) with a mathematical formulation of a model for an extended corona in its simplest form.


title: Quotient Hash Tables - Efficiently Detecting Duplicates in Streaming Data

abstract: This article presents the Quotient Hash Table (QHT) a new data structure for duplicate detection in unbounded streams. QHTs stem from a corrected analysis of streaming quotient filters (SQFs), resulting in a 33\% reduction in memory usage for equal performance. We provide a new and thorough analysis of both algorithms, with results of interest to other existing constructions. We also introduce an optimised version of our new data structure dubbed Queued QHT with Duplicates (QQHTD). Finally we discuss the effect of adversarial inputs for hash-based duplicate filters similar to QHT.


title: A Distributed Synchronous SGD Algorithm with Global Top-$k$ Sparsification for Low Bandwidth Networks

abstract: Distributed synchronous stochastic gradient descent (S-SGD) has been widely used in training large-scale deep neural networks (DNNs), but it typically requires very high communication bandwidth between computational workers (e.g., GPUs) to exchange gradients iteratively. Recently, Top-$k$ sparsification techniques have been proposed to reduce the volume of data to be exchanged among workers. Top-$k$ sparsification can zero-out a significant portion of gradients without impacting the model convergence. However, the sparse gradients should be transferred with their irregular indices, which makes the sparse gradients aggregation difficult. Current methods that use AllGather to accumulate the sparse gradients have a communication complexity of $O(kP)$, where $P$ is the number of workers, which is inefficient on low bandwidth networks with a large number of workers. We observe that not all top-$k$ gradients from $P$ workers are needed for the model update, and therefore we propose a novel global Top-$k$ (gTop-$k$) sparsification mechanism to address the problem. Specifically, we choose global top-$k$ largest absolute values of gradients from $P$ workers, instead of accumulating all local top-$k$ gradients to update the model in each iteration. The gradient aggregation method based on gTop-$k$ sparsification reduces the communication complexity from $O(kP)$ to $O(k\log P)$. Through extensive experiments on different DNNs, we verify that gTop-$k$ S-SGD has nearly consistent convergence performance with S-SGD, and it has only slight degradations on generalization performance. In terms of scaling efficiency, we evaluate gTop-$k$ on a cluster with 32 GPU machines which are interconnected with 1 Gbps Ethernet. The experimental results show that our method achieves $2.7-12\times$ higher scaling efficiency than S-SGD and $1.1-1.7\times$ improvement than the existing Top-$k$ S-SGD.


title: An Inelastic Bound on Chaos

abstract: We study a generalization of the chaos bound that applies to out-of-time-ordered correlators between four different operators. We prove this bound under the same assumptions that apply for the usual chaos bound and extend it to non-hermitian operators. In a holographic theory, these correlators are controlled by inelastic scattering in the bulk and we comment on implications. In particular, for holographic theories the bound together with the equivalence principle suggests that gravity is the highest spin force, and the strongest one with that spin.


title: $p$-adic $L$-functions on metaplectic groups

abstract: With respect to the analytic-algebraic dichotomy, the theory of Siegel modular forms of half-integral weight is lopsided; the analytic theory is strong whereas the algebraic lags behind. In this paper, we capitalise on this to establish the fundamental object needed for the analytic side of the Iwasawa main conjecture -- the $p$-adic $L$-function obtained by interpolating the complex $L$-function at special values. This is achieved through the Rankin-Selberg method and the explicit Fourier expansion of non-holomorphic Siegel Eisenstein series. The construction of the $p$-stabilisation in this setting is also of independent interest.


title: Iterative approach to arbitrary nonlinear optical response functions of graphene

abstract: Two-dimensional materials constitute an exciting platform for nonlinear optics with large nonlinearities that are tunable by gating. Hence, gate-tunable harmonic generation and intensity-dependent refraction have been observed in e.g. graphene and transition-metal dichalcogenides, whose electronic structures are accurately modelled by the (massive) Dirac equation. We exploit on the simplicity of this model and demonstrate here that arbitrary nonlinear response functions follow from a simple iterative approach. The power of this approach is illustrated by analytical expressions for harmonic generation and intensity-dependent refraction, both computed up to ninth order in the pump field. Moreover, the results allow for arbitrary band gaps and gating potentials. As illustrative applications, we consider (i) gate-dependence of third- and fifth-harmonic generation in gapped and gapless graphene, (ii) intensity-dependent refractive index of graphene up to ninth order, and (iii) intensity-dependence of high-harmonic generation.


title: Ramsey's coheirs

abstract: We use the model theoretic notion of coheir to give short proofs of old and new theorems in Ramsey Theory. As an illustration we start from Ramsey's theorem itself. Then we prove Hindman's theorem and the Hales-Jewett theorem. Finally, we prove two Ramsey theoretic principles that have among their consequences partition theorems of Carlson and of Gowers.


title: A Self-Correcting Deep Learning Approach to Predict Acute Conditions in Critical Care

abstract: In critical care, intensivists are required to continuously monitor high dimensional vital signs and lab measurements to detect and diagnose acute patient conditions. This has always been a challenging task. In this study, we propose a novel self-correcting deep learning prediction approach to address this challenge. We focus on an example of the prediction of acute kidney injury (AKI). Compared with the existing models, our method has a number of distinct features: we utilized the accumulative data of patients in ICU; we developed a self-correcting mechanism that feeds errors from the previous predictions back into the network; we also proposed a regularization method that takes into account not only the model's prediction error on the label but also its estimation errors on the input data. This mechanism is applied in both regression and classification tasks. We compared the performance of our proposed method with the conventional deep learning models on two real-world clinical datasets and demonstrated that our proposed model constantly outperforms these baseline models. In particular, the proposed model achieved area under ROC curve at 0.893 on the MIMIC III dataset, and 0.871 on the Philips eICU dataset.


title: Fourier series windowed by a bump function

abstract: We study the Fourier transform windowed by a bump function. We transfer Jackson's classical results on the convergence of the Fourier series of a periodic function to windowed series of a not necessarily periodic function. Numerical experiments illustrate the obtained theoretical results.


title: iPhys: An Open Non-Contact Imaging-Based Physiological Measurement Toolbox

abstract: Imaging-based, non-contact measurement of physiology (including imaging photoplethysmography and imaging ballistocardiography) is a growing field of research. There are several strengths of imaging methods that make them attractive. They remove the need for uncomfortable contact sensors and can enable spatial and concomitant measurement from a single sensor. Furthermore, cameras are ubiquitous and often low-cost solutions for sensing. Open source toolboxes help accelerate the progress of research by providing a means to compare new approaches against standard implementations of the state-of-the-art. We present an open source imaging-based physiological measurement toolbox with implementations of many of the most frequently employed computational methods. We hope that this toolbox will contribute to the advancement of non-contact physiological sensing methods.


title: Deep observations of the globular cluster M15 with the MAGIC telescopes

abstract: A population of globular clusters (GCs) has been recently established by the Fermi-LAT telescope as a new class of GeV $\gamma$-ray sources. Leptons accelerated to TeV energies, in the inner magnetospheres of MSPs or in their wind regions, should produce $\gamma$-rays through the inverse Compton scattering in the dense radiation field from the huge population of stars. We have conducted deep observations of the globular cluster M15 with the MAGIC telescopes and used 165 hrs in order to search for $\gamma$-ray emission. A strong upper limit on the TeV $\gamma$-ray flux $<3.2\times 10^{-13}\mathrm{cm^{-2}s^{-1}}$ above 300 GeV ($<0.26\%$ of the Crab nebula flux) has been obtained. We interpret this limit as a constraint on the efficiency of the acceleration of leptons in the magnetospheres of the MSPs. We constrain the injection rate of relativistic leptons, $\eta_{\rm e}$, from the MSPs magnetospheres and their surrounding. We conclude that $\eta_{\rm e}$ must be lower than expected from the modelling of high energy processes in MSP inner magnetospheres. For leptons accelerated with the power law spectrum in the MSP wind regions, $\eta_{\rm e}$ is constrained to be much lower than derived for the wind regions around classical pulsars. These constraints are valid for the expected range of magnetic field strengths within the GC and for the range of likely energies of leptons injected from the inner magnetospheres, provided that the leptons are not removed from the globular cluster very efficiently due to advection process. We discuss consequences of these constraints for the models of radiation processes around millisecond pulsars.


title: XRD: Scalable Messaging System with Cryptographic Privacy

abstract: Even as end-to-end encrypted communication becomes more popular, private messaging remains a challenging problem due to metadata leakages, such as who is communicating with whom. Most existing systems that hide communication metadata either (1) do not scale easily, (2) incur significant overheads, or (3) provide weaker guarantees than cryptographic privacy, such as differential privacy or heuristic privacy. This paper presents XRD (short for Crossroads), a metadata private messaging system that provides cryptographic privacy, while scaling easily to support more users by adding more servers. At a high level, XRD uses multiple mix networks in parallel with several techniques, including a novel technique we call aggregate hybrid shuffle. As a result, XRD can support 2 million users with 251 seconds of latency with 100 servers. This is 12x and 3.7x faster than Atom and Pung, respectively, which are prior scalable messaging systems with cryptographic privacy.


title: Hydrogen and the Abundances of Elements in Impulsive Solar Energetic-Particle Events

abstract: Hydrogen has been almost completely ignored in studies of the abundance patterns of the chemical elements in solar energetic particles (SEPs). We seek to find impulsive events where H fits these abundance patterns and document the events that do not, suggesting possible reasons for the disparity. For 24 % of the smaller impulsive SEP events, the relative abundance of H fits within one standard deviation of the power-law fit of the abundances of elements 6 <= Z <= 56, relative to coronal abundances. In impulsive events with high intensities, H can be 10 to 100 times its expected value. In a few of these larger events, increased scattering at high wavenumber may preferentially detain H, perhaps with self-amplified waves; in some events pre-event proton background may con-tribute. In most large impulsive SEP events, however, associated shock waves must play a much greater role than previously thought; fast (>500km/s) coronal mass ejections con-tribute to 62 % of impulsive events. Shocks may sample protons from the ambient coronal plasma or residual background as well as reaccelerating heavier impulsive SEP ions injected from the region of magnetic reconnection in solar jets. Excess H may be a signature of shock acceleration.


title: Spectral properties of Landau Hamiltonians with non-local potentials

abstract: We consider the Landau Hamiltonian $H_0$, self-adjoint in $L^2({\mathbb R^2})$, whose spectrum consists of an arithmetic progression of infinitely degenerate positive eigenvalues $\Lambda_q$, $q \in {\mathbb Z}_+$. We perturb $H_0$ by a non-local potential written as a bounded pseudo-differential operator ${\rm Op}^{\rm w}({\mathcal V})$ with real-valued Weyl symbol ${\mathcal V}$, such that ${\rm Op}^{\rm w}({\mathcal V}) H_0^{-1}$ is compact. We study the spectral properties of the perturbed operator $H_{{\mathcal V}} = H_0 + {\rm Op}^{\rm w}({\mathcal V})$. First, we construct symbols ${\mathcal V}$, possessing a suitable symmetry, such that the operator $H_{\mathcal V}$ admits an explicit eigenbasis in $L^2({\mathbb R^2})$, and calculate the corresponding eigenvalues. Moreover, for ${\mathcal V}$ which are not supposed to have this symmetry, we study the asymptotic distribution of the eigenvalues of $H_{\mathcal V}$ adjoining any given $\Lambda_q$. We find that the effective Hamiltonian in this context is the Toeplitz operator ${\mathcal T}_q({\mathcal V}) = p_q {\rm Op}^{\rm w}({\mathcal V}) p_q$, where $p_q$ is the orthogonal projection onto ${\rm Ker}(H_0 - \Lambda_q I)$, and investigate its spectral asymptotics.


title: Tides in merging neutron stars: Consistency of the GW170817 event with experimental data on finite nuclei

abstract: The agreement of the nuclear equation of state (EoS) deduced from the GW170817 based tidal deformability with the one obtained from empirical data on microscopic nuclei is examined. It is found that suitably chosen experimental data on isoscalar and isovector modes of nuclear excitations together with the observed maximum neutron star mass constrain the EoS which displays a very good congruence with the GW170817 inspired one. The giant resonances in nuclei are found to be instrumental in limiting the tidal deformability parameter and the radius of neutron star in somewhat narrower bounds. At the 1$\sigma$ level, the values of the canonical tidal deformability $\Lambda_{1.4}$ and the neutron star radius $R_{1.4}$ come out to be $267\pm144$ and $11.6\pm1.0$ km, respectively.


title: Online Inventory Management with Application to Energy Procurement in Data Centers

abstract: Motivated by the application of energy storage management in electricity markets, this paper considers the problem of online linear programming with inventory management constraints. Specifically, a decision maker should satisfy some units of an asset as her demand, either form a market with time-varying price or from her own inventory. The decision maker is presented a price in slot-by-slot manner, and must immediately decide the purchased amount with the current price to cover the demand or to store in inventory for covering the future demand. The inventory has a limited capacity and its critical role is to buy and store assets at low price and use the stored assets to cover the demand at high price. The ultimate goal of the decision maker is to cover the demands while minimizing the cost of buying assets from the market. We propose BatMan, an online algorithm for simple inventory models, and BatManRate, an extended version for the case with rate constraints. Both BatMan and BatManRate achieve optimal competitive ratios, meaning that no other online algorithm can achieve a better theoretical guarantee. To illustrate the results, we use the proposed algorithms to design and evaluate energy procurement and storage management strategies for data centers with a portfolio of energy sources including the electric grid, local renewable generation, and energy storage systems.


title: Shear Melting and Recovery of Crosslinkable Cellulose Nanocrystal-Polymer Gels

abstract: Cellulose nanocrystals (CNC) are naturally-derived nanostructures of growing importance for the production of composites having attractive mechanical properties, and offer improved sustainability over purely petroleum-based alternatives. Fabrication of CNC composites typically involves extrusion of CNC suspensions and gels in a variety of solvents, in the presence of additives such as polymers and curing agents. However, most studies so far have focused on aqueous CNC gels, yet the behavior of CNC-polymer gels in organic solvents is important to their wider processability. Here, we study the rheological behavior of composite polymer-CNC gels in dimethylformamide, which include additives for both UV and thermal crosslinking. Using rheometry coupled with in-situ infrared spectroscopy, we show that under external shear, CNC-polymer gels display progressive and irreversible failure of the hydrogen bond network that is responsible for their pronounced elastic properties. In the absence of cross-linking additives, the polymer-CNC gels show negligible recovery upon cessation of flow, while the presence of additives allows the gels to recover via van der Waals interactions. By exploring a broad range of shear history and CNC concentrations, we construct master curves for the temporal evolution of the viscoelastic properties of the polymer-CNC gels, illustrating universality of the observed dynamics with respect to gel composition and flow conditions. We therefore find that polymer-CNC composite gels display a number of the distinctive features of colloidal glasses and, strikingly, that their response to the flow conditions encountered during processing can be tuned by chemical additives. These findings have implications for processing of dense CNC-polymer composites in solvent casting, 3D printing, and other manufacturing techniques.


title: Rare mutations in the spatial Lambda-Fleming-Viot model in a fluctuating environment and SuperBrownian Motion

abstract: We investigate the behaviour of an establishing mutation which is subject to rapidly fluctuating selection under the Lambda-Fleming-Viot model and show that under a suitable scaling it converges to the Feller diffusion in a random environment. We then extend to a population that is distributed across a spatial continuum. In this setting the scaling limit is the SuperBrownian motion in a random environment.The scaling results for the behaviour of the rare allele are achieved via particle representations which belong to the family of `lookdown constructions'. This generalises the results obtained for the neutral version of the model by Chetwynd-Diggle and Etheridge (2018), which was proved using a duality argument. To our knowledge this is the first instance of the application of the lookdown approach in which other techniques seem unavailable.


title: Characterizing and Predicting Email Deferral Behavior

abstract: Email triage involves going through unhandled emails and deciding what to do with them. This familiar process can become increasingly challenging as the number of unhandled email grows. During a triage session, users commonly defer handling emails that they cannot immediately deal with to later. These deferred emails, are often related to tasks that are postponed until the user has more time or the right information to deal with them. In this paper, through qualitative interviews and a large-scale log analysis, we study when and what enterprise email users tend to defer. We found that users are more likely to defer emails when handling them involves replying, reading carefully, or clicking on links and attachments. We also learned that the decision to defer emails depends on many factors such as user's workload and the importance of the sender. Our qualitative results suggested that deferring is very common, and our quantitative log analysis confirms that 12% of triage sessions and 16% of daily active users had at least one deferred email on weekdays. We also discuss several deferral strategies such as marking emails as unread and flagging that are reported by our interviewees, and illustrate how such patterns can be also observed in user logs. Inspired by the characteristics of deferred emails and contextual factors involved in deciding if an email should be deferred, we train a classifier for predicting whether a recently triaged email is actually deferred. Our experimental results suggests that deferral can be classified with modest effectiveness. Overall, our work provides novel insights about how users handle their emails and how deferral can be modeled.


title: Assessment of Regression Models with Discrete Outcomes Using Quasi-Empirical Residual Distribution Functions

abstract: Making informed decisions about model adequacy has been an outstanding issue for regression models with discrete outcomes. Standard assessment tools for such outcomes (e.g. deviance residuals) often show a large discrepancy from the hypothesized pattern even under the true model and are not informative especially when data are highly discrete (e.g. binary). To fill this gap, we propose a quasi-empirical residual distribution function for general discrete (e.g. ordinal and count) outcomes that serves as an alternative to the empirical Cox-Snell residual distribution function. The assessment tool we propose is a principled approach and does not require injecting noise into the data. When at least one continuous covariate is available, we show asymptotically that the proposed function converges uniformly to the identity function under the correctly specified model, even with highly discrete outcomes. Through simulation studies, we demonstrate empirically that the proposed quasi-empirical residual distribution function outperforms commonly used residuals for various model assessment tasks, since it is close to the hypothesized pattern under the true model and significantly departs from this pattern under model misspecification, and is thus an effective assessment tool.


title: Lower bounds for multilinear bounded order ABPs

abstract: Proving super-polynomial size lower bounds for syntactic multilinear Algebraic Branching Programs(smABPs) computing an explicit polynomial is a challenging problem in Algebraic Complexity Theory. The order in which variables in $\{x_1,\ldots,x_n\}$ appear along source to sink paths in any smABP can be viewed as a permutation in $S_n$. In this article, we consider the following special classes of smABPs where the order of occurrence of variables along a source to sink path is restricted: Strict circular-interval ABPs: For every subprogram the index set of variables occurring in it is contained in some circular interval of $\{1,\ldots,n\}$. L-ordered ABPs: There is a set of L permutations of variables such that every source to sink path in the ABP reads variables in one of the L orders. We prove exponential lower bound for the size of a strict circular-interval ABP computing an explicit n-variate multilinear polynomial in VP. For the same polynomial, we show that any sum of L-ordered ABPs of small size will require exponential ($2^{n^{\Omega(1)}}$) many summands, when $L \leq 2^{n^{1/2-\epsilon}}, \epsilon>0$. At the heart of above lower bound arguments is a new decomposition theorem for smABPs: We show that any polynomial computable by an smABP of size S can be written as a sum of O(S) many multilinear polynomials where each summand is a product of two polynomials in at most 2n/3 variables computable by smABPs. As a corollary, we obtain a low bottom fan-in version of the depth reduction by Tavenas [MFCS 2013] in the case of smABPs. In particular, we show that a polynomial having size S smABPs can be expressed as a sum of products of multilinear polynomials on $O(\sqrt{n})$ variables, where the total number of summands is bounded by $2^{O(\sqrt{n}\log n \log S)}$. Additionally, we show that L-ordered ABPs can be transformed into L-pass smABPs with a polynomial blowup in size.


title: Multi-particle and charge-dependent azimuthal correlations in heavy-ion collisions at the Relativistic Heavy-Ion Collider

abstract: We study multi-particle azimuthal correlations in relativistic heavy-ion collisions at a center of mass energy of 200 GeV. We use the IP-Glasma model to initialize the viscous hydrodynamic simulation MUSIC and employ the UrQMD transport model for the low temperature region of the collisions. In addition, we study effects of local charge and global momentum conservation among the sampled particles. With the exception of the lowest order three particle correlator $C_{112}$, our framework provides a good description of the existing charge inclusive azimuthal correlation data for Au+Au and U+U collisions at RHIC. We also present results for charge dependent two and three particle correlators in Au+Au and U+U collisions, and make predictions for isobar (Ru+Ru & Zr+Zr) collisions to provide a much needed baseline for the search for the Chiral Magnetic Effect at RHIC.


title: Towards Using Context-Dependent Symbols in CTC Without State-Tying Decision Trees

abstract: Deep neural acoustic models benefit from context-dependent (CD) modeling of output symbols. We consider direct training of CTC networks with CD outputs, and identify two issues. The first one is frame-level normalization of probabilities in CTC, which induces strong language modeling behavior that leads to overfitting and interference with external language models. The second one is poor generalization in the presence of numerous lexical units like triphones or tri-chars. We mitigate the former with utterance-level normalization of probabilities. The latter typically requires reducing the CD symbol inventory with state-tying decision trees, which have to be transferred from classical GMM-HMM systems. We replace the trees with a CD symbol embedding network, which saves parameters and ensures generalization to unseen and undersampled CD symbols. The embedding network is trained together with the rest of the acoustic model and removes one of the last cases in which neural systems have to be bootstrapped from GMM-HMM ones.


title: Supervised Learning for Multi-Block Incomplete Data

abstract: In the supervised high dimensional settings with a large number of variables and a low number of individuals, one objective is to select the relevant variables and thus to reduce the dimension. That subspace selection is often managed with supervised tools. However, some data can be missing, compromising the validity of the sub-space selection. We propose a Partial Least Square (PLS) based method, called Multi-block Data-Driven sparse PLS mdd-sPLS, allowing jointly variable selection and subspace estimation while training and testing missing data imputation through a new algorithm called Koh-Lanta. This method was challenged through simulations against existing methods such as mean imputation, nipals, softImpute and imputeMFA. In the context of supervised analysis of high dimensional data, the proposed method shows the lowest prediction error of the response variables. So far this is the only method combining data imputation and response variable prediction. The superiority of the supervised multi-block mdd-sPLS method increases with the intra-block and inter-block correlations. The application to a real data-set from a rVSV-ZEBOV Ebola vaccine trial revealed interesting and biologically relevant results. The method is implemented in a R-package available on the CRAN and a Python-package available on pypi.


title: On the supersolubility of a finite group with NS-supplemented Sylow subgroups

abstract: A subgroup $A$ of a group~$G$ is said to be {\sl NS-supplemented} in $G$, if there exists a subgroup~$B$ of $G$ such that $G=AB$ and whenever $X$~is a normal subgroup of~$A$ and $p\in \pi(B)$, there exists a Sylow $p$-subgroup~$B_p$ of~$B$ such that $XB_p=B_pX$. In this paper, we proved the supersolubility of a group with NS-supplemented non-cyclic Sylow subgroups. The solubility of a group with NS-supplemented maximal subgroups is obtained.


title: On the Asymptotic Behaviour of some Positive Semigroups

abstract: Similar to the theory of finite Markov chains it is shown that in a Banach space $X$ ordered by a closed cone $K$ with nonempty interior int($K$) a power bounded positive operator $A$ with compact power such that its trajectories for positive vectors eventually flow into int($K$), defines a "limit distribution", i.e. its adjoint operator has a unique fixed point in the dual cone. Moreover, the sequence (A^n) converges with respect to the strong operator topology and for each functional $f\in X'$ the sequence $((A^*)^n(f))$ converges with respect to the weak*-topology (Theorem 5). If a positive bounded $C_0$-semigroup of linear continuous operators $(S_t)_{t\geq 0}$ on a Banach space contains a compact operator and the trajectories of the non-zero vectors $x\in K$ have the property from above then, in particular, $(S_t)$ and $(S^*_t)$ converge to their limit operator with repsect to the operator norm, respectively (Theorem 4). For weakly compact Markov operators in the space of real continuous functions on a compact topological space a corresponding result can be derived, that characterizes the long-term behaviour of regular Markov chains.


title: Excitable wave patterns in temporal systems with two long delays

abstract: Excitable waves arise in many spatially-extended systems of either biological, chemical, or physical nature due to the interplay between local reaction and diffusion processes. Here we demonstrate that similar phenomena are encoded in the time-dynamics of an excitable system with two, hierarchically long delays. The transition from 1D localized structures to curved wave-segments is experimentally observed in an excitable semiconductor laser with two feedback loops and reproduced by numerical simulations of a prototypical model. While closely related to those found in 2D excitable media, wave patterns in delayed systems exhibit unobserved features originating from causality-related constraints. An appropriate dynamical representation of the data uncovers these phenomena and permits to interpret them as the result of an effective 2D advection-reaction-diffusion process.


title: Many Body Localization Due to Correlated Disorder in Fock Space

abstract: In presence of strong enough disorder one dimensional systems of interacting spinless fermions at non-zero filling factor are known to be in a many body localized phase. When represented in Fock space, the Hamiltonian of such a system looks like that of a single particle hopping on a Fock lattice in the presence of a random disordered potential. The coordination number of the Fock lattice increases linearly with the system size L in 1D. Thus in the thermodynamic limit, the disordered interacting problem in 1D maps on to an Anderson model with infinite coordination number. Despite this, this system displays localization which appears counterintuitive. A close observation of the on-site disorders on the Fock lattice reveals a large degree of correlation among them as they are derived from an exponentially smaller number of on-site disorders in real space. This indicates that the correlations between the on-site disorders on a Fock lattice has a strong effect on the localization properties of the corresponding many-body system. In this work we perform a systematic quantitative exploration of the nature of correlations of the Fock space potential required for localization. Without changing the typical strength of the on-site disorders in Fock lattice we show that changing the correlation strength can induce thermalization or localization in systems. From among the various functional forms of correlations we study through exact diagonalization, we find that only the linear variation of correlations with Hamming distance in Fock space is able to drive a thermal-MBL phase transition where the transition is driven by the correlation strength. Systems with the other forms of correlations we study are found to be ergodic.


title: Dynamical uniform boundedness and the $abc$-conjecture

abstract: We address the Uniform Boundedness Conjecture of Morton and Silverman in the case of unicritical polynomials, assuming a generalization of the $abc$-conjecture. For unicritical polynomials of degree at least five, we require only the standard $abc$-conjecture.


title: Influence of technological innovations on industrial production: A motif analysis on the multilayer network

abstract: We study whether specific combinations of technological advancements can signal the presence of local capabilities allowing for a given industrial production. To this end, we generate a multi-layer network using country-level patent and trade data, and perform a motif-based analysis on this network using a statistical validation approach derived from maximum entropy arguments. We show that in many cases the signal far exceeds the noise, providing robust evidence of synergies between different technologies that can lead to a competitive advantage in specific markets. Our results can be highly useful for policy makers to inform industrial and innovation policies.


title: (Un)distorted stabilisers in the handlebody group

abstract: We study geometric properties of stabilisers in the handlebody group. We find that stabilisers of meridians are undistorted, while stabilisers of primitive curves or annuli are exponentially distorted for large enough genus.


title: Ramsey-like theorems and moduli of computation

abstract: Ramsey's theorem asserts that every $k$-coloring of $[\omega]^n$ admits an infinite monochromatic set. Whenever $n \geq 3$, there exists a computable $k$-coloring of $[\omega]^n$ whose solutions compute the halting set. On the other hand, for every computable $k$-coloring of $[\omega]^2$ and every non-computable set $C$, there is an infinite monochromatic set $H$ such that $C \not \leq_T H$. The latter property is known as cone avoidance. In this article, we design a natural class of Ramsey-like theorems encompassing many statements studied in reverse mathematics. We prove that this class admits a maximal statement satisfying cone avoidance and use it as a criterion to re-obtain many existing proofs of cone avoidance. This maximal statement asserts the existence, for every $k$-coloring of $[\omega]^n$, of an infinite subdomain $H \subseteq \omega$ over which the coloring depends only on the sparsity of its elements. This confirms the intuition that Ramsey-like theorems compute Turing degrees only through the sparsity of its solutions.


title: Additivity of entanglement of formation via entanglement-breaking space

abstract: We study the entanglement-breaking (EB) space, such that the entanglement of formation (EOF) of a bipartite quantum state is additive when its range is an EB subspace. We systematically construct the EB spaces in the Hilbert space $\bbC^m\otimes\bbC^3$, and the $2$-dimensional EB space in $\bbC^2\otimes\bbC^n$. We characterize the expression of two-qubit states of rank two with nonadditive EOF, if they exist. We further apply our results to construct EB spaces of an arbitrarily given dimensions. We show that the example in [PRL 89,027901(2002)] is a special case of our results. We further work out the entanglement cost of a qubit-qutrit state in terms of the two-atom system of the .


title: The closed range property for the $\overline{\partial}$-operator on planar domains

abstract: Let $\Omega\subset\mathbb{C}$ be an open set. We show that $\overline{\partial}$ has closed range in $L^{2}(\Omega)$ if and only if the Poincar\'e-Dirichlet inequality holds. Moreover, we give necessary and sufficient potential-theoretic conditions for the $\overline{\partial}$-operator to have closed range in $L^{2}(\Omega)$. We also give a new necessary and sufficient potential-theoretic condition for the Bergman space of $\Omega$ to be infinite dimensional.


title: Fundamental exciton linewidth broadening in monolayer transition metal dichalcogenides

abstract: Monolayer Transition Metal Dichalcogenides (TMDS) are highly luminescent materials despite being sub-nanometer thick due to the ultra-short ($<1$ ps) radiative lifetime of the strongly bound bright excitons hosted by these materials. The intrinsically short radiative lifetime results in a large broadening in the exciton band with a magnitude that is about two orders greater than the spread of the light cone itself. The situation calls for a need to revisit the conventional light cone picture. We present a modified light cone concept which places the light line $(\hbar cQ)$ as the generalized lower bound for allowed radiative recombination. A self-consistent methodology, which becomes crucial upon inclusion of large radiative broadening in the exciton band, is proposed to segregate the radiative and the non-radiative components of the homogeneous exciton linewidth. We estimate a fundamental radiative linewidth of $1.54\pm0.17\ $meV, owing purely to finite radiative lifetime in the absence of non-radiative dephasing processes. As a direct consequence of the large radiative limit, we find a surprisingly large ($\sim 0.27 $ meV) linewidth broadening due to zero-point energy of acoustic phonons. This obscures the precise experimental determination of the intrinsic radiative linewidth and sets a fundamental limit on the non-radiative linewidth broadening at $T = 0$ K.


title: Unsupervised Visual Feature Learning with Spike-timing-dependent Plasticity: How Far are we from Traditional Feature Learning Approaches?

abstract: Spiking neural networks (SNNs) equipped with latency coding and spike-timing dependent plasticity rules offer an alternative to solve the data and energy bottlenecks of standard computer vision approaches: they can learn visual features without supervision and can be implemented by ultra-low power hardware architectures. However, their performance in image classification has never been evaluated on recent image datasets. In this paper, we compare SNNs to auto-encoders on three visual recognition datasets, and extend the use of SNNs to color images. The analysis of the results helps us identify some bottlenecks of SNNs: the limits of on-center/off-center coding, especially for color images, and the ineffectiveness of current inhibition mechanisms. These issues should be addressed to build effective SNNs for image recognition.


title: The Real Graded Brauer group

abstract: We introduce a version of the Brauer--Wall group for Real vector bundles of algebras (in the sense of Atiyah), and compare it to the topological analogue of the Witt group. For varieties over the reals, these invariants capture the topological parts of the Brauer--Wall and Witt groups.


title: A compact gaseous accretion disk in Keplerian rotation around MWC147

abstract: The disks around some Herbig Be stars have been observed to be more compact than the expected dust sublimation radius for such objects, with highly refractory dust grains and optically thick gas emission having been proposed as possible explanations for this phenomenon. Our aim is to search for direct evidence for the presence of hot gas inside of the expected dust sublimation radius of MWC147. By combining VLTI/AMBER spectro-interferometry (R=12,000) with CRIRES spectroscopy (R=100,000) we can both spectrally and spatially resolve the Br-gamma line-emitting gas around MWC147. Our interferometric visibility modelling of MWC147 indicates the presence of a compact continuum disk with a close to face-on orientation. We model the continuum with an inclined Gaussian, as well as a ring with a radius of 0.60mas (0.39au) which is well within the expected dust sublimation radius of 1.52au. We detect no significant change in the measured visibilities across the Br-gamma line, indicating that the line-emitting gas is located in the same region as the continuum-emitting disk. We fit our AMBER spectro-interferometry data with a kinematic model of a disk in Keplerian rotation, with both the line-emitting and continuum-emitting components of the disk originating from the same compact region close to the central star. The presence of line-emitting gas in the same region as the K-band continuum supports the interpretation that the K-band continuum traces an optically-thick gas disk. Our spatially and spectrally resolved observations of MWC147 reveal that the K-band continuum and Br-gamma emission both originate from a similar compact region, with Br-gamma emitted from the accretion disk or disk wind region and exhibiting a rotational velocity profile. We conclude that we detect the presence of a compact, gaseous accretion disk in Keplerian rotation around MWC147.


title: Relaxation to the equilibrium in the hard disk dynamics

abstract: We examine the question of the criteria of the relaxation to the equilibrium in the hard disk dynamics. In the Event-Chain Monte Carlo, we check the displacement distributions which follows to the exponential law.


title: Direct evaluation of the force constant matrix in quantum Monte Carlo

abstract: We develop a formalism to directly evaluate the matrix of force constants within a Quantum Monte Carlo calculation. We utilize the matrix of force constants to accurately relax the positions of atoms in molecules and determine their vibrational modes, using a combination of Variational and Diffusion Monte Carlo. The computed bond lengths differ by less than 0.007{\AA} from the experimental results for all four tested molecules. For hydrogen and hydrogen chloride, we obtain fundamental vibrational frequencies within 0.1% of experimental results and ~10 times more accurate than leading computational methods. For carbon dioxide and methane, the vibrational frequency obtained is on average within 1.1% of the experimental result, which is at least 3 times closer than results using Restricted Hartree-Fock and Density Functional Theory with a Perdew-Burke-Ernzerhof (PBE) functional and comparable or better than Density Functional Theory with a semi-empirical functional.


title: Vectorial vortex generation and phase singularities upon Brewster reflection

abstract: We experimentally demonstrate the emergence of a purely azimuthally polarized vectorial vortex beam with a phase singularity upon Brewster reflection of focused circularly polarized light from a dielectric substrate. The effect originates from the polarizing properties of the Fresnel reflection coefficients described in Brewster's law. An astonishing consequence of this effect is that the reflected field's Cartesian components acquire local phase singularities at Brewster's angle. Our observations are crucial for polarization microscopy and open new avenues for the generation of exotic states of light based on spin-to-orbit coupling, without the need for sophisticated optical elements.


title: Dismantlability, connectedness, and mixing in relational structures

abstract: The Constraint Satisfaction Problem (CSP) and its counting counterpart appears under different guises in many areas of mathematics, computer science, and elsewhere. Its structural and algorithmic properties have demonstrated to play a crucial role in many of those applications. For instance, in the decision CSPs, structural properties of the relational structures involved---like, for example, dismantlability---and their logical characterizations have been instrumental for determining the complexity and other properties of the problem. Topological properties of the solution set such as connectedness are related to the hardness of CSPs over random structures. Additionally, in approximate counting and statistical physics, where CSPs emerge in the form of spin systems, mixing properties and the uniqueness of Gibbs measures have been heavily exploited for approximating partition functions and free energy. In spite of the great diversity of those features, there are some eerie similarities between them. These were observed and made more precise in the case of graph homomorphisms by Brightwell and Winkler, who showed that dismantlability of the target graph, connectedness of the set of homomorphisms, and good mixing properties of the corresponding spin system are all equivalent. In this paper we go a step further and demonstrate similar connections for arbitrary CSPs. This requires much deeper understanding of dismantling and the structure of the solution space in the case of relational structures, and new refined concepts of mixing introduced by Brice\~no. In addition, we develop properties related to the study of valid extensions of a given partially defined homomorphism, an approach that turns out to be novel even in the graph case. We also add to the mix the combinatorial property of finite duality and its logic counterpart, FO-definability, studied by Larose, Loten, and Tardif.


title: How to correctly quantify neuronal phase-response curves from noisy recordings

abstract: At the level of individual neurons, various coding properties can be inferred from the input-output relationship of a cell. For small inputs, this relation is captured by the phase-response curve (PRC), which measures the effect of a small perturbation on the timing of the subsequent spike. Experimentally, however, an accurate experimental estimation of PRCs is challenging. Despite elaborate measurement efforts, experimental PRC estimates often cannot be related to those from modeling studies. In particular, experimental PRCs rarely resemble the generic PRC expected close to spike initiation, which is indicative of the underlying spike-onset bifurcation. Here, we show for conductance-based model neurons that the correspondence between theoretical and measured phase-response curve is lost when the stimuli used for the estimation are too large. In this case, the derived phase-response curve is distorted beyond recognition and takes on a generic shape that reflects the measurement protocol, but not the real neuronal dynamics. We discuss how to identify appropriate stimulus strengths for perturbation and noise-stimulation methods, which permit to estimate PRCs that reliably reflect the spike-onset bifurcation -- a task that is particularly difficult if a lower bound for the stimulus amplitude is dictated by prominent intrinsic neuronal noise.


title: Sharp Constants of Approximation Theory. I. Multivariate Bernstein-Nikolskii Type Inequalities

abstract: We prove limit relations between the sharp constants in the multivariate Bernstein-Nikolskii type inequalities for trigonometric polynomials and entire functions of exponential type with the spectrum in a centrally symmetric convex body.


title: Recovery of the Interface Velocity for the Incompressible Flow in Enhanced Velocity Mixed Finite Element Method

abstract: The velocity, coupling term in the flow and transport problems, is important in the accurate numerical simulation or in the posteriori error analysis for adaptive mesh refinement. We consider Enhanced Velocity Mixed Finite Element Method for the incompressible Darcy flow. In this paper, our aim to study the improvement of velocity at interface to achieve the better approximation of velocity between subdomains. We propose the reconstruction of velocity at interface by using the post-processed pressure. Numerical results at the interface show improvement on convergence rate.


title: How order melts after quantum quenches

abstract: Injecting a sufficiently large energy density into an isolated many-particle system prepared in a state with long-range order will lead to the melting of the order over time. Detailed information about this process can be derived from the quantum mechanical probability distribution of the order parameter. We study this process for the paradigmatic case of the spin-1/2 Heisenberg XXZ chain. We determine the full quantum mechanical distribution function of the staggered subsystem magnetization as a function of time after a quantum quench from the classical N\'eel state. This provides a detailed picture of how the N\'eel order melts and reveals the existence of an interesting regime at intermediate times that is characterized by a very broad probability distribution.


title: Tensor Network Simulation of compact one-dimensional lattice Quantum Chromodynamics at finite density

abstract: We perform a zero temperature analysis of a non-Abelian lattice gauge model corresponding to an SU(3) Yang Mills theory in 1+1D at low energies. Specifically, we characterize the model ground states via gauge-invariant Matrix Product States, identifying its phase diagram at finite density as a function of the matter-gauge interaction coupling, the quark filling, and their bare mass. Overall, we observe an extreme robustness of baryons: For positive free-field energy couplings, all detected phases exhibit colorless quasiparticles, a strong numerical hint that QCD does not deconfine in 1D. Additionally, we show that having access to finite-density properties, it is possible to study the stability of composite particles, including multi-baryon bound states, such as the deuteron.


title: A basis of Casimirs in 3D magnetohydrodynamics

abstract: We prove that any regular Casimir in 3D magnetohydrodynamics is a function of the magnetic helicity and cross-helicity. In other words, these two helicities are the only independent regular integral invariants of the coadjoint action of the MHD group $\text{SDiff}(M)\ltimes\mathfrak X^*(M)$, which is the semidirect product of the group of volume-preserving diffeomorphisms and the dual space of its Lie algebra.


title: Quadratization in discrete optimization and quantum mechanics

abstract: A book about turning high-degree optimization problems into quadratic optimization problems that maintain the same global minimum (ground state). This book explores quadratizations for pseudo-Boolean optimization, perturbative gadgets used in QMA completeness theorems, and also non-perturbative k-local to 2-local transformations used for quantum mechanics, quantum annealing and universal adiabatic quantum computing. The book contains ~70 different Hamiltonian transformations, each of them on a separate page, where the cost (in number of auxiliary binary variables or auxiliary qubits, or number of sub-modular terms, or in graph connectivity, etc.), pros, cons, examples, and references are given. One can therefore look up a quadratization appropriate for the specific term(s) that need to be quadratized, much like using an integral table to look up the integral that needs to be done. This book is therefore useful for writing compilers to transform general optimization problems, into a form that quantum annealing or universal adiabatic quantum computing hardware requires; or for transforming quantum chemistry problems written in the Jordan-Wigner or Bravyi-Kitaev form, into a form where all multi-qubit interactions become 2-qubit pairwise interactions, without changing the desired ground state. Applications cited include computer vision problems (e.g. image de-noising, un-blurring, etc.), number theory (e.g. integer factoring), graph theory (e.g. Ramsey number determination), and quantum chemistry. The book is open source, and anyone can make modifications here: https://github.com/HPQC-LABS/Book_About_Quadratization.

categories: quant-ph cs.CV cs.DM math.OC physics.chem-ph


title: Dynamics of growth and form in prebiotic vesicles

abstract: The growth, form, and division of prebiotic vesicles, membraneous bags of fluid of varying components and shapes is hypothesized to have served as the substrate for the origin of life. The dynamics of these out-of-equilibrium structures is controlled by physicochemical processes that include the intercalation of amphiphiles into the membrane, fluid flow across the membrane, and elastic deformations of the membrane. To understand prebiotic vesicular forms and their dynamics, we construct a minimal model that couples membrane growth, deformation, and fluid permeation, ultimately couched in terms of two dimensionless parameters that characterize the relative rate of membrane growth and the membrane permeability. Numerical simulations show that our model captures the morphological diversity seen in extant precursor mimics of cellular life, and might provide simple guidelines for the synthesis of these complex shapes from simple ingredients.


title: Self-Driving Cars: A Survey

abstract: We survey research on self-driving cars published in the literature focusing on autonomous cars developed since the DARPA challenges, which are equipped with an autonomy system that can be categorized as SAE level 3 or higher. The architecture of the autonomy system of self-driving cars is typically organized into the perception system and the decision-making system. The perception system is generally divided into many subsystems responsible for tasks such as self-driving-car localization, static obstacles mapping, moving obstacles detection and tracking, road mapping, traffic signalization detection and recognition, among others. The decision-making system is commonly partitioned as well into many subsystems responsible for tasks such as route planning, path planning, behavior selection, motion planning, and control. In this survey, we present the typical architecture of the autonomy system of self-driving cars. We also review research on relevant methods for perception and decision making. Furthermore, we present a detailed description of the architecture of the autonomy system of the self-driving car developed at the Universidade Federal do Esp\'irito Santo (UFES), named Intelligent Autonomous Robotics Automobile (IARA). Finally, we list prominent self-driving car research platforms developed by academia and technology companies, and reported in the media.


title: Top-quark pair production in association with a $Z$ boson in the 4$\ell$ channel with the ATLAS experiment

abstract: The cross section of the $t\bar{t}Z$~and $t\bar{t}W$~processes are measured in a simultaneous fit using 36.1 $\text{fb}^{-1}$ of of proton--proton collisions at a centre-of-mass energy of $\sqrt{s}=13$ TeV recorded by the ATLAS experiment at the LHC. In addition, a fit is performed in the 4$\ell$ channel only, resulting in a cross section of $\sigma_{t\bar{t}Z} = 1.07 \pm 0.26 \,\text{pb}$. This result is consistent with the combined fit and agrees with the prediction by the Standard Model.


title: Permutation-based presentations for Brin's higher-dimensional Thompson groups $nV$

abstract: The higher-dimensional Thompson groups $nV$, for $n \geq 2$, were introduced by Brin in 2005. We provide new presentations for each of these infinite simple groups. The first is an infinite presentation, analogous to the Coxeter presentation for the finite symmetric group, with generating set equal to the set of transpositions in $nV$ and reflecting the self-similar structure of $n$-dimensional Cantor space. We then exploit this infinite presentation to produce further finite presentations that are considerably smaller than those previously known.


title: Phase Control of Attosecond Pulses in a Train

abstract: Ultrafast processes in matter can be captured and even controlled by using sequences of few-cycle optical pulses, which need to be well characterized, both in amplitude and phase. The same degree of control has not yet been achieved for few-cycle extreme ultraviolet pulses generated by high-order harmonic generation in gases, with duration in the attosecond range. Here, we show that by varying the spectral phase and carrier-envelope phase (CEP) of a high-repetition rate laser, using dispersion in glass, we achieve a high degree of control of the relative phase and CEP between consecutive attosecond pulses. The experimental results are supported by a detailed theoretical analysis based upon the semiclassical three-step model for high-order harmonic generation.


title: Uncovering Vulnerable Industrial Control Systems from the Internet Core

abstract: Industrial control systems (ICS) are managed remotely with the help of dedicated protocols that were originally designed to work in walled gardens. Many of these protocols have been adapted to Internet transport and support wide-area communication. ICS now exchange insecure traffic on an inter-domain level, putting at risk not only common critical infrastructure but also the Internet ecosystem (e.g., DRDoS~attacks). In this paper, we uncover unprotected inter-domain ICS traffic at two central Internet vantage points, an IXP and an ISP. This traffic analysis is correlated with data from honeypots and Internet-wide scans to separate industrial from non-industrial ICS traffic. We provide an in-depth view on Internet-wide ICS communication. Our results can be used i) to create precise filters for potentially harmful non-industrial ICS traffic, and ii) to detect ICS sending unprotected inter-domain ICS traffic, being vulnerable to eavesdropping and traffic manipulation attacks.


title: River Ice Segmentation with Deep Learning

abstract: This paper deals with the problem of computing surface ice concentration for two different types of ice from digital images of river surface. It presents the results of attempting to solve this problem using several state of the art semantic segmentation methods based on deep convolutional neural networks (CNNs). This task presents two main challenges - very limited availability of labeled training data and presence of noisy labels due to the great difficulty of visually distinguishing between the two types of ice, even for human experts. The results are used to analyze the extent to which some of the best deep learning methods currently in existence can handle these challenges. The code and data used in the experiments are made publicly available to facilitate further work in this domain.


title: Transferable MARTINI Model of Poly(ethylene Oxide)

abstract: Motivated by the deficiencies of the previous MARTINI models of poly(ethylene oxide) (PEO), we present a new model featuring a high degree of transferability. The model is parametrized on (a) a set of 8 free energies of transfer of dimethoxyethane (PEO dimer) from water to solvents of varying polarity; (b) the radius of gyration in water at high dilution; and (c) matching angle and dihedral distributions from atomistic simulations. We demonstrate that our model behaves well in five different areas of application: (1) it produces accurate densities and phase behavior or small PEO oligomers and water mixtures; (2) it yields chain dimensions in good agreement with the experiment in three different solvents (water, diglyme, and benzene) over a broad range of molecular weights (1.2 kg/mol to 21 kg/mol); (3) it reproduces qualitatively the structural features of lipid bilayers containing PEGylated lipids in the brush and mushroom regime; (4) it is able to reproduce the phase behavior of several PEO-based nonionic surfactants in water; and (5) it can be combined with the existing MARTINI PS to model PS/PEO block copolymers. Overall, the new PEO model outperforms previous models and features a high degree of transferability.


title: Spectroscopic confirmation and modelling of two lensed quadruple quasars in the Dark Energy Survey public footprint

abstract: Quadruply lensed quasars are extremely rare objects, but incredibly powerful cosmological tools. Only few dozen are known in the whole sky. Here we present the spectroscopic confirmation of two new quadruplets WG0214-2105 and WG2100-4452 discovered by Agnello & Spiniello (2018) within the Dark Energy Survey (DES) public footprints. We have conducted spectroscopic follow-up of these systems with the Southern African Large Telescope as part of a program that aims at confirming the largest possible number of optically selected strong gravitational lensing systems in the Equatorial and Southern Hemisphere. For both systems, we present the spectra for the sources and deflectors that allowed us to estimate the source redshifts and unambiguously confirm their lensing nature. For the brighter deflector (WG2100-4452), we measure the stellar velocity dispersion from the spectrum. We also obtain photometry for both lenses, directly from DES multi-band images, isolating the lens galaxies from the quasar images. One of the quadruplets, WG0214-2105, was also observed by Pan-STARRS, allowing us to estimate the apparent brightness of each quasar image at two different epochs, and thus to find evidence for flux variability. This result could suggest a microlensing event for the faintest components, although intrinsic variability cannot be excluded with only two epochs. Finally, we present simple lens models for both quadruplets, obtaining Einstein radii, SIE velocity dispersions, ellipticities, and position angles of the lens systems, as well as time delay predictions assuming a concordance cosmological model.


title: On Riemannian submersions

abstract: We prove that the image of a real analytic Riemannian manifold under a smooth Riemannian submersion is necessarily real analytic.


title: Disordered contacts can localize helical edge electrons

abstract: It is well known that quantum spin Hall (QSH) edge modes being helical are immune to backscattering due to non-magnetic disorder within the sample. Thus, quantum spin Hall edge modes are non-localized and show a vanishing Hall resistance along with quantized 2-terminal, longitudinal and non-local resistances even in presence of sample disorder. However, this is not the case for contact disorder. This paper shows that when all contacts are disordered in an N-terminal quantum spin Hall sample, then transport via these helical QSH edge modes can have a significant localization correction. All the resistances in an N-terminal quantum spin Hall sample deviate from their values derived while neglecting the phase acquired at disordered contacts, and this deviation is called the quantum localization correction. This correction term increases with the increase of disorderedness of contacts but decreases with the increase in the number of contacts in an N terminal sample. The presence of inelastic scattering, however, can completely destroy the quantum localization correction.


title: Decoherence benchmarking of superconducting qubits

abstract: We benchmark the decoherence of superconducting qubits to examine the temporal stability of energy-relaxation and dephasing. By collecting statistics during measurements spanning multiple days, we find the mean parameters $\overline{T_{1}}$ = 49 $\mu$s and $\overline{T_{2}^{*}}$ = 95 $\mu$s, however, both of these quantities fluctuate explaining the need for frequent re-calibration in qubit setups. Our main finding is that fluctuations in qubit relaxation are local to the qubit and are caused by instabilities of near-resonant two-level-systems (TLS). Through statistical analysis, we determine switching rates of these TLS and observe the coherent coupling between an individual TLS and a transmon qubit. Finally, we find evidence that the qubit's frequency stability is limited by capacitance noise. Importantly, this produces a 0.8 ms limit on the pure dephasing which we also observe. Collectively, these findings raise the need for performing qubit metrology to examine the reproducibility of qubit parameters, where these fluctuations could affect qubit gate fidelity.


title: Coexistence of ac and pp spectrum for kicked quasi-periodic potentials

abstract: We introduce a class of real analytic "peaky" potentials for which the corresponding quasi-periodic 1D Schr\"odinger operators exhibit, for quasiperiodic frequencies in a set of positive Lebesgue measure, both absolutely continuous and pure point spectrum.


title: Explicit constructions of MSR codes for clustered distributed storage: The rack-aware storage model

abstract: The paper is devoted to the problem of erasure coding in distributed storage. We consider a model of storage that assumes that nodes are organized into equally sized groups, called racks, that within each group the nodes can communicate freely without taxing the system bandwidth, and that the only information transmission that counts is the one between the racks. This assumption implies that the nodes within each of the racks can collaborate before providing information to the failed node. The main emphasis of the paper is on code construction for this storage model. We present an explicit family of MDS array codes that support recovery of a single failed node from any number of helper racks using the minimum possible amount of inter-rack communication (such codes are said to provide optimal repair). The codes are constructed over finite fields of size comparable to the code length. We also derive a bound on the number of symbols accessed at helper nodes for the purposes of repair, and construct a code family that approaches this bound, while still maintaining the optimal repair property. Finally, we present a construction of scalar Reed-Solomon codes that support optimal repair for the rack-oriented storage model.


title: Data Augmentation with Manifold Exploring Geometric Transformations for Increased Performance and Robustness

abstract: In this paper we propose a novel augmentation technique that improves not only the performance of deep neural networks on clean test data, but also significantly increases their robustness to random transformations, both affine and projective. Inspired by ManiFool, the augmentation is performed by a line-search manifold-exploration method that learns affine geometric transformations that lead to the misclassification on an image, while ensuring that it remains on the same manifold as the training data. This augmentation method populates any training dataset with images that lie on the border of the manifolds between two-classes and maximizes the variance the network is exposed to during training. Our method was thoroughly evaluated on the challenging tasks of fine-grained skin lesion classification from limited data, and breast tumor classification of mammograms. Compared with traditional augmentation methods, and with images synthesized by Generative Adversarial Networks our method not only achieves state-of-the-art performance but also significantly improves the network's robustness.


title: Generative framework for dimensionality reduction of large scale network of non-linear dynamical systems driven by external input

abstract: Several studies have proposed constraints under which a low dimensional representation can be derived from large-scale real-world networks exhibiting complex nonlinear dynamics. Typically, these representations are formulated under certain assumptions, such as when solutions converge to attractor states using linear stability analysis or using projections of large-scale dynamical data into a set of lower dimensional modes that are selected heuristically. Here, we propose a generative framework for selection of lower dimensional modes onto which the entire network dynamics can be projected based on the symmetry of the input distribution for a large-scale network driven by external inputs, thus relaxing the heuristic selection of modes made in the earlier reduction approaches. The proposed mode reduction technique is tractable analytically and applied to different kinds of real-world large-scale network scenarios with nodes comprising of a) Van der Pol oscillators b) Hindmarsh-Rose neurons. These two demonstrations elucidate how order parameter is conserved at original and reduced descriptions thus validating our proposition.


title: Interstellar Probes: The Benefits to Astronomy & Astrophysics

abstract: Long range observations in the field of astronomy have opened up our understanding of the Solar System, the Galaxy and the wider Universe. In this paper we discuss the idea of direct in-situ reconnaissance of nearby stellar systems, using robotic probes. In particular, we consider what additional knowledge can be learned that can only be obtained by such close encounters. This may include calibration of existing measurements, detailed observations of stellar winds, astrometry measurements of stellar parallax, refinement of our understanding of physics through the use of long baseline interferometers. In addition, getting close to an exoplanet will enable detailed knowledge of planetary interiors, surface processes, geological evolution, atmospheric composition and climate, internal seismology, detailed surface morphology and even the speculative possibility of detecting the presence of microbial life, detailed palaeontology or even indigenous life-forms. We argue that astronomical remote sensing should be pursued in parallel with in-situ reconnaissance missions by robotic probes, so that both can enhance the discoveries and performance of the other. This work is in support of Project Starshot; an effort to send a Gram-scale probe towards another star at 0.2c within the next two decades, and return images and other data to the Earth. Presented at the 47th IAA Symposium on Future Space Astronomy and Solar System Science Missions. Session on Space Agency Strategies and Plans.


title: Hyperbolicity of bases of log Calabi-Yau families

abstract: In this paper, we prove that the quasi-projective base of any maximally variational smooth family of Calabi-Yau klt pairs is both of log general type, and pseudo Kobayashi hyperbolic. Moreover, such a base is Brody hyperbolic if the family is effectively parametrized.