title: Upcycle Your OCR: Reusing OCRs for Post-OCR Text Correction in Romanised Sanskrit

abstract: We propose a post-OCR text correction approach for digitising texts in Romanised Sanskrit. Owing to the lack of resources our approach uses OCR models trained for other languages written in Roman. Currently, there exists no dataset available for Romanised Sanskrit OCR. So, we bootstrap a dataset of 430 images, scanned in two different settings and their corresponding ground truth. For training, we synthetically generate training images for both the settings. We find that the use of copying mechanism (Gu et al., 2016) yields a percentage increase of 7.69 in Character Recognition Rate (CRR) than the current state of the art model in solving monotone sequence-to-sequence tasks (Schnober et al., 2016). We find that our system is robust in combating OCR-prone errors, as it obtains a CRR of 87.01% from an OCR output with CRR of 35.76% for one of the dataset settings. A human judgment survey performed on the models shows that our proposed model results in predictions which are faster to comprehend and faster to improve for a human than the other systems.


title: A Topological Kinematic Workspace Analysis of the Canfield Joint

abstract: We use topological techniques to do a workspace analysis of the Canfield Joint, a mechanical linkage constructed with two plates connected by three legs. The Canfield Joint has three degrees of freedom and can be controlled using three actuators attached to the base in strategic positions. In the process of performing the workspace analysis, we describe a new method of controlling the Joint which includes elements of both forward and inverse kinematics. This control process is then used to answer the question of how the workspace of the joint changes in the possibility of a failure mode where one degree of freedom is lost.


title: Squashing the Boundary of Supersymmetric AdS$_5$ Black Holes

abstract: We construct new supersymmetric black holes in five-dimensional supergravity with an arbitrary number of vector multiplets and Fayet-Iliopoulos gauging. These are asymptotically locally AdS$_5$ and the conformal boundary comprises a squashed three-sphere with $\text{SU}(2)\times \text{U}(1)$ symmetry. The solution depends on two parameters, of which one determines the angular momentum and the Page electric charges, while the other controls the squashing at the boundary. The latter is arbitrary, however in the flow towards the horizon it is attracted to a value that only depends on the other parameter of the solution. The entropy is reproduced by a simple formula involving the angular momentum and the Page charges, rather than the holographic charges. Choosing the appropriate five-dimensional framework, the solution can be uplifted to type IIB supergravity on $S^5$ and should thus be dual to $\mathcal{N}=4$ super Yang-Mills on a rotating, squashed Einstein universe.


title: A formula for the Voevodsky motive of the moduli stack of vector bundles on a curve

abstract: We prove a formula for the motive of the stack of vector bundles of fixed rank and degree over a smooth projective curve in Voevodsky's triangulated category of mixed motives with rational coefficients.


title: Zero-Field Splitting Parameters from Four-Component Relativistic Methods

abstract: We report an approach for determination of zero-field splitting parameters from four-component relativistic calculations. Our approach involves neither perturbative treatment of spin-orbit interaction nor truncation of the spin-orbit coupled states. We make use of a multi-state implementation of relativistic complete active space perturbation theory (CASPT2), partially contracted N-electron valence perturbation theory (NEVPT2), and multi-reference configuration interaction theory (MRCI), all with the fully internally contracted ansatz. A mapping is performed from the Dirac Hamiltonian to the pseudospin Hamiltonian, using correlated energies and the magnetic moment matrix elements of the reference wavefunctions. Direct spin-spin coupling is naturally included through the full 2-electron Breit interaction. Benchmark calculations on chalcogen diatomics and pseudotetrahedral cobalt(II) complexes show accuracy comparable to the commonly used state-interaction with spin-orbit (SI-SO) approach, while tests on a uranium(III) single-ion magnet suggest that for actinide complexes the strengths of our approach through the more robust treatment of spin-orbit effects and the avoidence of state truncation are of greater importance.


title: End-to-End Analysis of In-Browser Cryptojacking

abstract: In-browser cryptojacking involves hijacking the CPU power of a website's visitor to perform CPU-intensive cryptocurrency mining, and has been on the rise, with 8500% growth during 2017. While some websites advocate cryptojacking as a replacement for online advertisement, web attackers exploit it to generate revenue by embedding malicious cryptojacking code in highly ranked websites. Motivated by the rise of cryptojacking and the lack of any prior systematic work, we set out to analyze malicious cryptojacking statically and dynamically, and examine the economical basis of cryptojacking as an alternative to advertisement. For our static analysis, we perform content-, currency-, and code-based analyses. Through the content-based analysis, we unveil that cryptojacking is a wide-spread threat targeting a variety of website types. Through a currency-based analysis we highlight affinities between mining platforms and currencies: the majority of cryptojacking websites use Coinhive to mine Monero. Through code-based analysis, we highlight unique code complexity features of cryptojacking scripts, and use them to detect cryptojacking code among benign and other malicious JavaScript code, with an accuracy of 96.4%. Through dynamic analysis, we highlight the impact of cryptojacking on system resources, such as CPU and battery consumption (in battery-powered devices); we use the latter to build an analytical model that examines the feasibility of cryptojacking as an alternative to online advertisement, and show a huge negative profit/loss gap, suggesting that the model is impractical. By surveying existing countermeasures and their limitations, we conclude with long-term countermeasures using insights from our analysis.


title: Variational Bayesian Inference for Robust Streaming Tensor Factorization and Completion

abstract: Streaming tensor factorization is a powerful tool for processing high-volume and multi-way temporal data in Internet networks, recommender systems and image/video data analysis. Existing streaming tensor factorization algorithms rely on least-squares data fitting and they do not possess a mechanism for tensor rank determination. This leaves them susceptible to outliers and vulnerable to over-fitting. This paper presents a Bayesian robust streaming tensor factorization model to identify sparse outliers, automatically determine the underlying tensor rank and accurately fit low-rank structure. We implement our model in Matlab and compare it with existing algorithms on tensor datasets generated from dynamic MRI and Internet traffic.


title: From FATS to feets: Further improvements to an astronomical feature extraction tool based on machine learning

abstract: Machine learning algorithms are highly useful for the classification of time series data in astronomy in this era of peta-scale public survey data releases. These methods can facilitate the discovery of new unknown events in most astrophysical areas, as well as improving the analysis of samples of known phenomena. Machine learning algorithms use features extracted from collected data as input predictive variables. A public tool called Feature Analysis for Time Series (FATS) has proved an excellent workhorse for feature extraction, particularly light curve classification for variable objects. In this study, we present a major improvement to FATS, which corrects inconvenient design choices, minor details, and documentation for the re-engineering process. This improvement comprises a new Python package called "feets", which is important for future code-refactoring for astronomical software tools.


title: Normal elements in finite fields

abstract: We give a simple derivation of the formula for the number of normal elements in an extension of finite fields. Our proof is based on the fact that units in the Galois group ring of a field extension act simply transitively on normal elements.


title: Object Hallucination in Image Captioning

abstract: Despite continuously improving performance, contemporary image captioning models are prone to "hallucinating" objects that are not actually in a scene. One problem is that standard metrics only measure similarity to ground truth captions and may not fully capture image relevance. In this work, we propose a new image relevance metric to evaluate current models with veridical visual labels and assess their rate of object hallucination. We analyze how captioning model architectures and learning objectives contribute to object hallucination, explore when hallucination is likely due to image misclassification or language priors, and assess how well current sentence metrics capture object hallucination. We investigate these questions on the standard image captioning benchmark, MSCOCO, using a diverse set of models. Our analysis yields several interesting findings, including that models which score best on standard sentence metrics do not always have lower hallucination and that models which hallucinate more tend to make errors driven by language priors.


title: Scalable Learning in Reproducing Kernel Krein Spaces

abstract: We provide the first mathematically complete derivation of the Nystr\"om method for low-rank approximation of indefinite kernels and propose an efficient method for finding an approximate eigendecomposition of such kernel matrices. Building on this result, we devise highly scalable methods for learning in reproducing kernel Kre\u{\i}n spaces. The devised approaches provide a principled and theoretically well-founded means to tackle large scale learning problems with indefinite kernels. The main motivation for our work comes from problems with structured representations (e.g., graphs, strings, time-series), where it is relatively easy to devise a pairwise (dis)similarity function based on intuition and/or knowledge of domain experts. Such functions are typically not positive definite and it is often well beyond the expertise of practitioners to verify this condition. The effectiveness of the devised approaches is evaluated empirically using indefinite kernels defined on structured and vectorial data representations.


title: Gaussian statistics as an emergent symmetry of the stochastic Burgers equation

abstract: Symmetries play a conspicuous role in the large-scale behavior of critical systems. While in equilibrium they allow to classify asymptotics into different universality classes, out of equilibrium they can emerge, some times unexpectedly, as collective properties which are not explicit in the 'bare' interactions. Here we elucidate the emergence of an up-down symmetry in the asymptotic behavior of the stochastic scalar Burgers equation in one and two dimensions, manifested by the occurrence of Gaussian fluctuations for the physical field. This robustness of Gaussian behavior contradicts naive expectations, due to the detailed relation ---including the same set of symmetries--- between Burgers equation and the Kardar-Parisi-Zhang equation, which paradigmatically displays non-Gaussian fluctuations described by Tracy-Widom distributions. We reach our conclusions via a dynamic renormalization group study of the field statistics, confirmed by direct evaluation of the field probability distribution function from numerical simulations of the dynamical equation. All odd-order cumulants cancel exactly, while the excess kurtosis vanishes for large systems, indeed consistent with Gaussian behavior.

categories: cond-mat.stat-mech cond-mat.dis-nn cond-mat.quant-gas nlin.AO physics.data-an


title: DRAG: Deep Reinforcement Learning Based Base Station Activation in Heterogeneous Networks

abstract: Heterogeneous Network (HetNet), where Small cell Base Stations (SBSs) are densely deployed to offload traffic from macro Base Stations (BSs), is identified as a key solution to meet the unprecedented mobile traffic demand. The high density of SBSs are designed for peak traffic hours and consume an unnecessarily large amount of energy during off-peak time. In this paper, we propose a deep reinforcement-learning based SBS activation strategy that activates the optimal subset of SBSs to significantly lower the energy consumption without compromising the quality of service. In particular, we formulate the SBS on/off switching problem into a Markov Decision Process that can be solved by Actor Critic (AC) reinforcement learning methods. To avoid prohibitively high computational and storage costs of conventional tabular-based approaches, we propose to use deep neural networks to approximate the policy and value functions in the AC approach. Moreover, to expedite the training process, we adopt a Deep Deterministic Policy Gradient (DDPG) approach together with a novel action refinement scheme. Through extensive numerical simulations, we show that the proposed scheme greatly outperforms the existing methods in terms of both energy efficiency and computational efficiency. We also show that the proposed scheme can scale to large system with polynomial complexities in both storage and computation.


title: Detecting the Major Charge-Carrier Scattering Mechanism in Graphene Antidot Lattices

abstract: Charge carrier scattering is critical to the electrical properties of two-dimensional materials such as graphene, transition metal dichalcogenide monolayers, black phosphorene, and tellurene. Beyond pristine two-dimensional materials, further tailored properties can be achieved by nanoporous patterns such as nano- or atomic-scale pores (antidots) across the material. As one example, structure-dependent electrical/optical properties for graphene antidot lattices (GALs) have been studied in recent years. However, detailed charge carrier scattering mechanism is still not fully understood, which hinders the future improvement and potential applications of such metamaterials. In this paper, the energy sensitivity of charge-carrier scattering and thus the dominant scattering mechanisms are revealed for GALs by analyzing the maximum Seebeck coefficient with a tuned gate voltage and thus shifted Fermi levels. It shows that the scattering from pore-edge-trapped charges is dominant, especially at elevated temperatures. For thermoelectric interests, the gate-voltage-dependent power factor of different GAL samples are measured as high as 509 at 400 K for a GAL with the square pattern. Such a high power factor is improved by more than one order of magnitude from the values for the state-of-the-art bulk thermoelectric materials. With their high thermal conductivities and power factors, these GALs can be well suitable for "active coolers" within electronic devices, where heat generated at the hot spot can be removed with both passive heat conduction and active Peltier cooling.


title: Future Directions for Optimizing Compilers

abstract: As software becomes larger, programming languages become higher-level, and processors continue to fail to be clocked faster, we'll increasingly require compilers to reduce code bloat, eliminate abstraction penalties, and exploit interesting instruction sets. At the same time, compiler execution time must not increase too much and also compilers should never produce the wrong output. This paper examines the problem of making optimizing compilers faster, less buggy, and more capable of generating high-quality output.


title: Escaping Saddle Points in Constrained Optimization

abstract: In this paper, we study the problem of escaping from saddle points in smooth nonconvex optimization problems subject to a convex set $\mathcal{C}$. We propose a generic framework that yields convergence to a second-order stationary point of the problem, if the convex set $\mathcal{C}$ is simple for a quadratic objective function. Specifically, our results hold if one can find a $\rho$-approximate solution of a quadratic program subject to $\mathcal{C}$ in polynomial time, where $\rho<1$ is a positive constant that depends on the structure of the set $\mathcal{C}$. Under this condition, we show that the sequence of iterates generated by the proposed framework reaches an $(\epsilon,\gamma)$-second order stationary point (SOSP) in at most $\mathcal{O}(\max\{\epsilon^{-2},\rho^{-3}\gamma^{-3}\})$ iterations. We further characterize the overall complexity of reaching an SOSP when the convex set $\mathcal{C}$ can be written as a set of quadratic constraints and the objective function Hessian has a specific structure over the convex set $\mathcal{C}$. Finally, we extend our results to the stochastic setting and characterize the number of stochastic gradient and Hessian evaluations to reach an $(\epsilon,\gamma)$-SOSP.


title: Diffractive scattering on the deuteron projectile in the NLO: triple interaction of reggeized gluons

abstract: High-mass diffractive production of protons on the deuteron target is studied in the next-to-leading order (NLO) of the perturbative QCD in the BFKL approach. The non-trivial part of the NLO contributions coming from the triple interactions of the exchanged reggeons is considered. Analytic formulas are presented and shown to be infrared free and so ready for practical calculation.


title: Accurate and Efficient Numerical Simulation of Dielectrically Anisotropic Particles

abstract: A variety of electrostatic phenomena, including the structure of electric double layers and the aggregation of charged colloids and proteins, are affected by nonuniform electric permittivity. These effects are frequently ignored in analytical and computational studies, and particularly difficult to handle in situations where multiple dielectric contrasts are present, such as in colloids that are heterogeneous in permittivity. We present an extension to the Iterative Dielectric Solver developed by Barros and Luijten [Phys. Rev. Lett. 113, 017801 (2014)] that makes it possible to accurately compute the polarization of anisotropic particles with multiple dielectric contrasts. This efficient boundary-element method-based approach is applicable to geometries that are not amenable to other solvers, opening the possibility of studying collective phenomena of dielectrically anisotropic particles. We provide insight into the underlying physical reasons for this efficiency.


title: Deep Learning for Generic Object Detection: A Survey

abstract: Object detection, one of the most fundamental and challenging problems in computer vision, seeks to locate object instances from a large number of predefined categories in natural images. Deep learning techniques have emerged as a powerful strategy for learning feature representations directly from data and have led to remarkable breakthroughs in the field of generic object detection. Given this period of rapid evolution, the goal of this paper is to provide a comprehensive survey of the recent achievements in this field brought about by deep learning techniques. More than 300 research contributions are included in this survey, covering many aspects of generic object detection: detection frameworks, object feature representation, object proposal generation, context modeling, training strategies, and evaluation metrics. We finish the survey by identifying promising directions for future research.


title: Fine gradings and their Weyl groups for twisted Heisenberg Lie superalgebras

abstract: In this paper we define the so-called twisted Heisenberg superalgebras over the complex number field by adding derivations to Heisenberg superalgebras. We classify the fine gradings up to equivalence on twisted Heisenberg superalgebras and determine the Weyl groups of those gradings.


title: A Benchmarking of DCM Based Architectures for Position and Velocity Controlled Walking of Humanoid Robots

abstract: This paper contributes towards the development and comparison of Divergent-Component-of-Motion (DCM) based control architectures for humanoid robot locomotion. More precisely, we present and compare several DCM based implementations of a three layer control architecture. From top to bottom, these three layers are here called: trajectory optimization, simplified model control, and whole-body QP control. All layers use the DCM concept to generate references for the layer below. For the simplified model control layer, we present and compare both instantaneous and Receding Horizon Control controllers. For the whole-body QP control layer, we present and compare controllers for position and velocity control robots. Experimental results are carried out on the one-meter tall iCub humanoid robot. We show which implementation of the above control architecture allows the robot to achieve a walking velocity of 0.41 meters per second.


title: On the extrapolation of magneto-hydro-static equilibria on the sun

abstract: Modeling the interface region between solar photosphere and corona is challenging, because the relative importance of magnetic and plasma forces change by several orders of magnitude. While the solar corona can be modeled by the force-free assumption, we need to take care about plasma forces (pressure gradient and gravity) in photosphere and chromosphere, here within the magneto-hydro-static (MHS) model. We solve the MHS equations with the help of an optimization principle and use vector magnetogram as boundary condition. Positive pressure and density are ensured by replacing them with two new basic variables. The Lorentz force during optimization is used to update the plasma pressure on the bottom boundary, which makes the new extrapolation works even without pressure measurement on the photosphere. Our code is tested by using a linear MHS model as reference. From the detailed analyses, we find that the newly developed MHS extrapolation recovers the reference model at high accuracy. The MHS extrapolation is, however, numerically more expensive than the nonlinear force-free field (NLFFF) extrapolation and consequently one should limit their application to regions where plasma forces become important, e.g. in a layer of about 2 Mm above the photosphere.


title: Turning a Blind Eye: Explicit Removal of Biases and Variation from Deep Neural Network Embeddings

abstract: Neural networks achieve the state-of-the-art in image classification tasks. However, they can encode spurious variations or biases that may be present in the training data. For example, training an age predictor on a dataset that is not balanced for gender can lead to gender biased predicitons (e.g. wrongly predicting that males are older if only elderly males are in the training set). We present two distinct contributions: 1) An algorithm that can remove multiple sources of variation from the feature representation of a network. We demonstrate that this algorithm can be used to remove biases from the feature representation, and thereby improve classification accuracies, when training networks on extremely biased datasets. 2) An ancestral origin database of 14,000 images of individuals from East Asia, the Indian subcontinent, sub-Saharan Africa, and Western Europe. We demonstrate on this dataset, for a number of facial attribute classification tasks, that we are able to remove racial biases from the network feature representation.


title: A super Frobenius formula for the characters of cyclotomic Hecke algebras

abstract: We prove a super Frobenius formula for the characters of the cyclotomic Hecke algebras by applying the super Schur-Weyl reciprocity between the quantum superalgebras and cyclotomic Hecke algebras, which is a super analogue of the Frobenius formula in (T. Shoji, J. Algebra 226: 2000, 818--856) and a cyclotomic analogue of the super Frobeinus formula in (H. Mitsuhashi, Linear Multilinear Algebra 58: 2010, 941--955).


title: Prelinear Hilbert algebras

abstract: In this paper we give an explicit description of the left adjoint of the forgetful functor from the algebraic category of G\"odel algebras (i.e., prelinear Heyting algebras) to the algebraic category of bounded prelinear Hilbert algebras. We apply this result in order to study possible descriptions of the coproduct of two finite algebras in the algebraic category of prelinear Hilbert algebras.


title: On the tree-width of knot diagrams

abstract: We show that a small tree-decomposition of a knot diagram induces a small sphere-decomposition of the corresponding knot. This, in turn, implies that the knot admits a small essential planar meridional surface or a small bridge sphere. We use this to give the first examples of knots where any diagram has high tree-width. This answers a question of Burton and of Makowsky and Mari\~no.


title: Sequence and structural patterns detected in entangled proteins reveal the importance of co-translational folding

abstract: Proteins must fold quickly to acquire their biologically functional three-dimensional native structures. Hence, these are mainly stabilized by local contacts, while intricate topologies such as knots are rare. Here, we reveal the existence of specific patterns adopted by protein sequences and structures to deal with backbone self-entanglement. A large scale analysis of the Protein Data Bank shows that loops significantly intertwined with another chain portion are typically closed by weakly bound amino acids. Why is this energetic frustration maintained? A possible picture is that entangled loops are formed only toward the end of the folding process to avoid kinetic traps. Consistently, these loops are more frequently found to be wrapped around a portion of the chain on their N-terminal side, the one translated earlier at the ribosome. Finally, these motifs are less abundant in natural native states than in simulated protein-like structures, yet they appear in 32% of proteins, which in some cases display an amazingly complex intertwining.


title: Dissipative Unified Dark Fluid Model

abstract: We consider a unified dissipative dark fluid model. Our fluid contains an adiabatic part plus a bulk viscous one. The adiabatic part has the ability to asymptote between two power laws and so can interpolate between the dust and dark energy equations of state at early and late times. The dissipative part is a bulk viscous part with constant viscosity coefficient. The model is analyzed using the phase space methodology which helps to understand the dynamical behavior of the model in a robust manner without reference to the system solution. The parameters of the model are constrained through its asymptotic behavior and also through many observational constraints. We solve the Hubble parameter equation using numerical methods and results are plotted against the newest set of Hubble data. The model is tested using the $Om(z)$ test which shows that this model although is a quintessence-like model, it slides through the phantom barrier. We study the model expectations for the evolution of the universe by studying the evolution of the deceleration parameter, the density of the universe, the effective equation of state parameter of the model and of its underlying dark energy package. We estimate the value of the present day viscosity coefficient of the cosmic fluid as $8 \times 10^6 Pa.s$, which agrees with the work of many authors, e.g., Velten and Schwartz [26], Wang and Meng [27], and Sasidharan and Mathew [29]. We argue that this model is able to explain the behavior of the universe evolution.


title: Optical frequency comb photoacoustic spectroscopy

abstract: We report the first photoacoustic detection scheme using an optical frequency comb - the optical frequency comb photoacoustic spectroscopy (OFC-PAS). OFC-PAS combines the broad spectral coverage and the high resolution of OFCs with the small sample volume of cantilever-enhanced PA detection. In OFC-PAS, a Fourier transform spectrometer (FTS) is used to modulate the intensity of the exciting comb source at a frequency determined by its scanning speed. One of the FTS outputs is directed to the PA cell and the other is measured simultaneously with a photodiode and used to normalize the PA signal. The cantilever-enhanced PA detector operates in a non-resonant mode, enabling detection of broadband frequency response. The broadband and the high-resolution capabilities of OFC-PAS are demonstrated by measuring the rovibrational spectra of the fundamental C-H stretch band of CH${_4}$, with no instrumental line shape distortions, at total pressures of 1000 mbar, 650 mbar, and 400 mbar. In this first demonstration, a spectral resolution two orders of magnitude higher than previously reported with broadband PAS is obtained, limited by the pressure broadening. A limit of detection of 0.8 ppm of methane in N${_2}$ is accomplished in a single interferogram measurement (200 s measurement time, 1000 MHz resolution, 1000 mbar total pressure) for an exciting power spectral density of 42 {\mu}W/cm${^{-1}}$. A normalized noise equivalent absorption of 8x10${^{-10}}$ W cm${^{-1}}$ Hz${^{-1/2}}$ is obtained, which is only a factor of three higher than the best reported with PAS based on continuous wave lasers. A wide dynamic range of up to four orders of magnitude and a very good linearity (limited by the Beer-Lambert law) over two orders of magnitude are realized. OFC-PAS extends the capability of optical sensors for multispecies trace gas analysis in small sample volume with high resolution and selectivity.


title: Multi-Adversarial Domain Adaptation

abstract: Recent advances in deep domain adaptation reveal that adversarial learning can be embedded into deep networks to learn transferable features that reduce distribution discrepancy between the source and target domains. Existing domain adversarial adaptation methods based on single domain discriminator only align the source and target data distributions without exploiting the complex multimode structures. In this paper, we present a multi-adversarial domain adaptation (MADA) approach, which captures multimode structures to enable fine-grained alignment of different data distributions based on multiple domain discriminators. The adaptation can be achieved by stochastic gradient descent with the gradients computed by back-propagation in linear-time. Empirical evidence demonstrates that the proposed model outperforms state of the art methods on standard domain adaptation datasets.


title: The Gamma and Strominger-Yau-Zaslow conjectures: a tropical approach to periods

abstract: We propose a new method to compute asymptotics of periods using tropical geometry, in which the Riemann zeta values appear naturally as error terms in tropicalization. Our method suggests how the Gamma class should arise from the Strominger-Yau-Zaslow conjecture. We use it to give a new proof of (a version of) the Gamma Conjecture for Batyrev pairs of mirror Calabi-Yau hypersurfaces.


title: Conductivities of magnetic quark-gluon plasma at strong coupling

abstract: In the presence of a strong magnetic field, the quark gluon plasma is magnetized, leading to anisotropic transport coefficients. In this work, we focus on the effect of magnetization on electric conductivity, ignoring the possible contribution from the axial anomaly. We generalize longitudinal and transverse conductivities to finite frequencies. For transverse conductivity, a separation of contribution from fluid velocity is needed. We study the dependence of the conductivities on the magnetic field and frequency using a holographic magnetic brane model. The longitudinal conductivity scales roughly linearly in the magnetic field, while the transverse conductivity is rather insensitive to the magnetic field. Furthermore, we find the conductivities can be significantly enhanced at large frequency. This can possibly extend the lifetime of the magnetic field, which is a key component of the chiral magnetic effect.


title: Higher spin theory

abstract: We provide a review of gauge field theories with higher spin, focusing on the classical theory of massless bosons in flat Minkowski spacetime. A brief introduction to the concept of spin is provided along with a historical review of some of the most important problems and accomplishments in higher spin theory, followed by a review of familiar lower spin theories. Using a particularly elegant formalism, we examine the free higher spin theory and the theory coupled to a generic external current. For both of these theories, we review their constrained and the unconstrained formulation, focusing our attention on the latter. We also review the existing literature, confirming the results for the non-local unconstrained formulation and correcting some calculational errors. We briefly discuss the geometrical motivation behind the construction of the basic building blocks of the theory and we entertain the possibility of there being a single equation of motion for all bosonic higher spin fields. Some explicit calculations obtained using computer-assisted methods are provided in the appendix, along with the relevant computer code.


title: Astrophysical Validation

abstract: We present examples of validating components of an astrophysical simulation code. Problems of stellar astrophysics are multi-dimensional and involve physics acting on large ranges of length and time scales that are impossible to include in macroscopic models on present computational resources. Simulating these events thus necessitates the development of sub-grid-scale models and the capability to post-process simulations with higher-fidelitymethods.We present an overview of the problem of validating astrophysical models and simulations illustrated with two examples. First, we present a study aimed at validating hydrodynamicswith high energy density laboratory experiments probing shocks and fluid instabilities. Second, we present an effort at validating code modules for use in both macroscopic simulations of astrophysical events and for post processing Lagrangian tracer particles to calculate detailed abundances from thermonuclear reactions occurring during an event.


title: Expected performance of the upgrade ATLAS experiment for HL-LHC

abstract: The Large Hadron Collider (LHC) has been successfully delivering proton-proton collision data at the unprecedented center of mass energy of 13 TeV. An upgrade is planned to increase the instantaneous luminosity delivered by the LHC in what is called the HL-LHC, aiming to deliver a total of up 3000 fb$^{-1}$ to 4000 fb$^{-1}$ of data per experiment. To cope with the expected data-taking conditions ATLAS is planning upgrades of the detector. Six Technical Design Reports (TDR) were produced by the ATLAS Collaboration. In these TDRs the physics motivation and benefits of such upgrades are discussed together with details on the upgrade project itself. In this contribution we review the expected performance of the upgraded ATLAS detector and the expected reach for physics measurements as well as the discovery potential for new physics that is expected by the end of the HL-LHC data-taking. The performance of object reconstruction under the expected pile-up conditions will be shown, including a fully re-optimized $b$-tagging algorithm. Important benchmark physics projections including di-Higgs boson production sensitivity will be discussed.


title: Chemical Abundances in the Ultra-Faint Dwarf Galaxies Grus I and Triangulum II: Neutron-Capture Elements as a Defining Feature of the Faintest Dwarfs

abstract: We present high-resolution of spectroscopy of four stars in two candidate ultra-faint dwarf galaxies (UFDs) Grus I (Gru I) and Triangulum II (Tri II). Neither object currently has a clearly determined velocity dispersion, placing them in an ambiguous region of parameter space between dwarf galaxies and globular clusters. No significant metallicity difference is found for the two Gru I stars, but both stars are deficient in neutron-capture elements. We verify previous results that Tri II displays significant spreads in metallicity and [$\alpha$/Fe]. Neutron-capture elements are not detected in our Tri II data, but we place upper limits at the lower envelope of Galactic halo stars, consistent with previous very low detections. Stars with similarly low neutron-capture element abundances are common in UFDs, but rare in other environments. This signature of low neutron-capture element abundances traces chemical enrichment in the least massive star-forming dark matter halos, and further shows that the dominant sources of neutron-capture elements in metal-poor stars are rare. In contrast, all known globular clusters have similar ratios of neutron-capture elements to those of halo stars, suggesting that globular clusters form as part of relatively massive galaxies rather than in their own dark matter halos. The low neutron-capture element abundances may be the strongest evidence that Gru I and Tri II are (or once were) galaxies rather than globular clusters, and we expect future observations of these systems to robustly find non-zero velocity dispersions or signs of tidal disruption. However, the nucleosynthetic origin of this low neutron-capture element floor remains unknown.


title: A density matrix approach to the convergence of the self-consistent field iteration

abstract: In this paper, we present a local convergence analysis of the self-consistent field (SCF) iteration using the density matrix as the state of a fixed-point iteration. Sufficient and almost necessary conditions for local convergence are formulated in terms of the spectral radius of the Jacobian of a fixed-point map. The relationship between convergence and certain properties of the problem is explored by deriving upper bounds expressed in terms of higher gaps. This gives more information regarding how the gaps between eigenvalues of the problem affect the convergence, and hence these bounds are more insightful on the convergence behaviour than standard convergence results. We also provide a detailed analysis to describe the difference between the bounds and the exact convergence factor for an illustrative example. Finally we present numerical examples and compare the exact value of the convergence factor with the observed behaviour of SCF, along with our new bounds and the characterization using the higher gaps. We provide heuristic convergence factor estimates in situations where the bounds fail to well capture the convergence.


title: The Albedos, Sizes, Colors and Satellites of Dwarf Planets Compared with Newly Measured Dwarf Planet 2013 FY27

abstract: 2013 FY27 is the ninth intrinsically brightest Trans-Neptunian Object (TNO). We observed 2013 FY27 at thermal wavelengths with ALMA and in the optical with Magellan to determine its size and albedo for the first time and compare it to other dwarf planets. The geometric albedo of 2013 FY27 was found to be 0.17 -0.030+0.045, giving an effective diameter of D = 765 +80-85 km. 2013 FY27 has a size within the transition region between the largest few TNOs that have higher albedos and higher densities than smaller TNOs. No significant short-term optical light curve was found, with variations less than 0.06 mags over hours and days. The Sloan optical colors of 2013 FY27 are g-r=0.76 +-0.02 and r-i=0.31 +-0.03 mags, which is a moderately red color. This color is different than the neutral or ultra-red colors found for the ten largest TNOs, making 2013 FY27 one of the largest known moderately red TNOs, which only start to be seen, and in abundance, at diameters less than 800 km. This suggests something physically different might be associated with TNOs larger than 800 km. It could be that moderately red surfaces are older or less ice rich and TNOs larger than 800 km have fresher surfaces or are able to hold onto more volatile ices. Its also possible TNOs larger than 800 km are more fully differentiated, giving them different surface compositions. A satellite at 0.17 arcsec away and 3.0 +-0.2 mags fainter than 2013 FY27 was found through Hubble Space Telescope observations. Almost all the largest TNOs have satellites, and the relative small size of 2013 FY27's satellite suggests it was created through a direct collision, similar to satellites known around the largest TNOs. Assuming the satellite has a similar albedo as the primary, it is about 190 km in diameter, making the primary D = 740 +85-90 km.


title: Signature Ranks of Units in Cyclotomic Extensions of Abelian Number Fields

abstract: We prove the rank of the group of signatures of the circular units (hence also the full group of units) of ${\mathbb Q}( \zeta_m)^+$ tends to infinity with $m$. We also show the signature rank of the units differs from its maximum possible value by a bounded amount for all the real subfields of the composite of an abelian field with finitely many odd prime-power cyclotomic towers. In particular, for any prime $p$ the signature rank of the units of ${\mathbb Q}( \zeta_{p^n})^+$ differs from $\varphi(p^n)/2$ by an amount that is bounded independent of $n$. Finally, we show conditionally that for general cyclotomic fields the unit signature rank can differ from its maximum possible value by an arbitrarily large amount.


title: New Insights into Time Series Analysis III - Setting constraints on period analysis

abstract: E-science of photometric data requires automatic procedures and a precise recognition of periodic patterns to perform science as well as possible on large data. Analytical equations that enable us to set the best constraints to properly reduce processing time and hence optimize signal searches play a crucial role in this matter. These are increasingly important because the production of unbiased samples from variability indices and statistical parameters has not been achievable so far. We discuss the constraints used in periodic signals detection methods as well as the uncertainties in the estimation of periods and amplitudes. The frequency resolution necessary to investigate a time series is assessed with a new approach that estimates the necessary sampling resolution from shifts on the phase diagrams for successive frequency grid points.We demonstrate the underlying meaning of the oversampling factor. We reassess the frequency resolutions required to find the variability periods of EA stars and use the new resolutions to analyse a small sample of EA up Catalina stars, i.e. EA stars previously classified as having insufficient number of observations at the eclipses. As a result, the variability periods of four EA up stars were determined. Moreover, we have a new approach to estimate the amplitude and period variations. From these estimations information about the intrinsic variations of the sources are obtained. For a complete characterization of the light curve signal the period uncertainty and period variation must be determined. Constraints on periodic signal searches were analysed and delimited.


title: Orbital Decay in Binaries Containing Post-Main Sequence Stars

abstract: The orbital decay of binaries containing a primary sub-giant or red giant star and a stellar or substellar companion is investigated. The tide raised in the primary by the companion leads to an exchange of angular momentum between the orbit and the stellar spin, causing the orbit to contract and the primary to spin up. The rate of orbital decay is computed including both the equilibrium tide, damped by turbulent viscosity in the convective envelope, and the dynamical tide, assumed to be a traveling internal-gravity wave in the radiative core. For close binaries, the tidal forcing period is expected to be much shorter than the eddy turnover timescale in the convective envelope, and the prescription for "reduced" viscosity is an important consideration. The dynamical tide tends to dominate for the closest orbits, while the equilibrium tide dominates for more distant orbits, with the crossover point depending on the stellar mass. The spin up of the primary to synchronous rotation occurs for sufficiently massive secondaries, and this greatly slows the orbital decay until the Darwin instability occurs. A parameter survey is presented for orbital decay as a function of primary and secondary mass, as well as turbulent viscosity prescription. These results are summarized with analytic formulae and numerical results for the age-dependent critical separation, $a_{\rm crit}$, inside of which orbital decay is rapid, and few systems are expected to be observed. The calculations of $a_{\rm crit}$ are compared with APOGEE binaries, as well as solar mass exoplanet host stars.


title: Differentially Private Bayesian Inference for Exponential Families

abstract: The study of private inference has been sparked by growing concern regarding the analysis of data when it stems from sensitive sources. We present the first method for private Bayesian inference in exponential families that properly accounts for noise introduced by the privacy mechanism. It is efficient because it works only with sufficient statistics and not individual data. Unlike other methods, it gives properly calibrated posterior beliefs in the non-asymptotic data regime.


title: Global Solution to a Nonlinear Fractional Differential Equation for the Caputo-Fabrizio Derivative

abstract: This paper deals with the fractional Caputo--Fabrizio derivative and some basic properties related. A computation of this fractional derivative to power functions is given in terms of Mittag--Lefler functions. The inverse operator named the fractional Integral of Caputo--Fabrizio is also analyzed. The main result consists in the proof of existence and uniqueness of a global solution to a nonlinear fractional differential equation, which has been solved previously for short times by Lozada and Nieto (Progr. Fract. Differ. Appl., 1(2):87--92, 2015). The effects of memory as well as the convergence of the obtained results when $\al \nearrow 1$ (and the classical first derivative is recovered) are analyzed throughout the paper.


title: Structure invariant wave packets

abstract: We show that by adding a quadratic phase to an initial arbitrary wavefunction, its free evolution maintains an invariant structure while it spreads by the action of an squeeze operator. Although such invariance is an approximation, we show that it matches perfectly the exact evolution.


title: Bootstrap approach to geometrical four-point functions in the two-dimensional critical $Q$-state Potts model: A study of the $s$-channel spectra

abstract: We revisit in this paper the problem of connectivity correlations in the Fortuin-Kasteleyn cluster representation of the two-dimensional $Q$-state Potts model conformal field theory. In a recent work [M. Picco, S. Ribault and R. Santachiara, SciPost Phys. 1, 009 (2016); arXiv:1607.07224], results for the four-point functions were obtained, based on the bootstrap approach, combined with simple conjectures for the spectra in the different fusion channels. In this paper, we test these conjectures using lattice algebraic considerations combined with extensive numerical studies of correlations on infinite cylinders. We find that the spectra in the scaling limit are much richer than those proposed in [arXiv:1607.07224]: they involve in particular fields with conformal weight $h_{r,s}$ where $r$ is dense on the real axis.

categories: math-ph cond-mat.stat-mech hep-th math.MP


title: Direct Serendipity and Mixed Finite Elements on Convex Quadrilaterals

abstract: The classical serendipity and mixed finite element spaces suffer from poor approximation on nondegenerate, convex quadrilaterals. In this paper, we develop $\textit{direct serendipity}$ and $\textit{direct mixed}$ finite element spaces, which achieve optimal approximation properties and have minimal local dimension. The set of local shape functions for either the serendipity or mixed elements contains the full set of scalar or vector polynomials of degree $r$, respectively, defined directly on each element (i.e., not mapped from a reference element). Because there are not enough degrees of freedom for global $H^1$ or $H(\textrm{div})$ conformity, exactly two supplemental shape functions must be added to each element. The specific choice of supplemental functions gives rise to different families of direct elements. These new spaces are related through a de Rham complex. For index $r\ge1$, the new families of serendipity spaces ${\cal{DS}}_{r+1}$ are the precursors under the curl operator of our direct mixed finite element spaces ${\mathbf{V}}_r$, which can be constructed to have full or reduced $H(\textrm{div})$ approximation properties. One choice of direct serendipity supplements is the precursor of the recently introduced Arbogast-Correa spaces [SIAM J. Numer. Anal., 54 (2016), pp.~3332--3356]. Other $\textit{fully}$ direct serendipity supplements can be defined without the use of mappings from reference elements, and these give rise in turn to $\textit{fully}$ direct mixed spaces. Numerical results are presented to illustrate the properties of the new spaces.


title: Logical Rule Induction and Theory Learning Using Neural Theorem Proving

abstract: A hallmark of human cognition is the ability to continually acquire and distill observations of the world into meaningful, predictive theories. In this paper we present a new mechanism for logical theory acquisition which takes a set of observed facts and learns to extract from them a set of logical rules and a small set of core facts which together entail the observations. Our approach is neuro-symbolic in the sense that the rule pred- icates and core facts are given dense vector representations. The rules are applied to the core facts using a soft unification procedure to infer additional facts. After k steps of forward inference, the consequences are compared to the initial observations and the rules and core facts are then encouraged towards representations that more faithfully generate the observations through inference. Our approach is based on a novel neural forward-chaining differentiable rule induction network. The rules are interpretable and learned compositionally from their predicates, which may be invented. We demonstrate the efficacy of our approach on a variety of ILP rule induction and domain theory learning datasets.


title: Four-legged starfish-shaped Cooper pairs with ultrashort antinodal length scales in cuprate superconductors

abstract: Cooper pairs of mutually attracting electrons form the building blocks of superconductivity. Thirty years after the discovery of high-temperature superconductivity in cuprates, many details of the pairs remain unknown, including their size and shape. Here we apply brand new ARPES-based methods that allow us to reconstruct the shape and size of the pairs in Bi$_2$Sr$_2$CaCu$_2$O$_{8+{\delta}}$. The pairs are seen to form a characteristic starfish shape that is very long (>50{\AA}) in the near-nodal direction but extremely short (~4.5{\AA}) in the antinodal (Cu-O) direction. We find that this ultrashort antinodal length scale, which is of order a lattice constant, is approximately constant over a wide range of doping levels even as many other parameters including the pairing strength change. This suggests that this new length scale, along with the pair shape, is one of the most fundamental characteristics of the pairs. Further, the shape and ultrashort length scale should make the pairs create or intertwine with variations in charge and pair density, center on various types of lattice positions, and potentially explain aspects of the nematic order in these materials.


title: On Nonlinear Amplification: Improved Quantum Limits for Photon Counting

abstract: We show that detection of single photons is not subject to the fundamental limitations that accompany quantum linear amplification of bosonic mode amplitudes, even though a photodetector does amplify a few-photon input signal to a macroscopic output signal. Alternative limits are derived for \emph{nonlinear} photon-number amplification schemes with optimistic implications for single-photon detection. Four commutator-preserving transformations are presented: one idealized (which is optimal) and three more realistic (less than optimal). Our description makes clear that nonlinear amplification takes place, in general, at a different frequency $\omega'$ than the frequency $\omega$ of the input photons. This can be exploited to suppress thermal noise even further up to a fundamental limit imposed by amplification into a single bosonic mode. A practical example that fits our description very well is electron-shelving.


title: Bayesian Nonparametric Spectral Estimation

abstract: Spectral estimation (SE) aims to identify how the energy of a signal (e.g., a time series) is distributed across different frequencies. This can become particularly challenging when only partial and noisy observations of the signal are available, where current methods fail to handle uncertainty appropriately. In this context, we propose a joint probabilistic model for signals, observations and spectra, where SE is addressed as an exact inference problem. Assuming a Gaussian process prior over the signal, we apply Bayes' rule to find the analytic posterior distribution of the spectrum given a set of observations. Besides its expressiveness and natural account of spectral uncertainty, the proposed model also provides a functional-form representation of the power spectral density, which can be optimised efficiently. Comparison with previous approaches, in particular against Lomb-Scargle, is addressed theoretically and also experimentally in three different scenarios. Code and demo available at https://github.com/GAMES-UChile/BayesianSpectralEstimation.


title: A Queueing Model for Sleep as a Vacation

abstract: Vacation queueing systems are widely used as an extension of the classical queueing theory. We consider both working vacations and regular vacations in this paper, and compare systems with vacations to the regular $M/M/1$ system via mean service rates and expected numbers of customers, using matrix-analytic methods.


title: ABP inequalities for singular submanifolds of bounded mean curvature

abstract: Employing a notion of curvature for arbitrary closed sets we prove an ABP-type estimate for a class of singular submanifolds of arbitrary codimension and bounded mean curvature recently introduced by B. White. A weak-Harnack-type estimate is then derived using the ABP estimate. These results generalize analogous results by O. Savin for viscosity solutions of the minimal surface equation.


title: Unistructurality of cluster algebras from surfaces without punctures

abstract: A cluster algebra is unistructural if the set of its cluster variables determines its clusters and seeds. It is conjectured that all cluster algebras are unistructural. In this paper, we show that any cluster algebra arising from a triangulation of a marked surface without punctures is unistructural. Our proof relies on the existence of a positive basis known as the bracelet basis, and on the skein relations. We also prove that a cluster algebra defined from a disjoint union of quivers is unistructural if and only if the cluster algebras defined from the connected components of the quiver are unistructural.


title: Forming Gliese 876 Through Smooth Disk Migration

abstract: We run a suite of dissipative N-body simulations to determine which regions of phase space for smooth disk migration are consistent with the GJ876 system, an M-dwarf hosting three planets orbiting in a chaotic 4:2:1 Laplace resonance. We adopt adaptive mesh refinement (AMR) methods which are commonly used in hydrodynamical simulations to efficiently explore the parameter space defined by the semi-major axis and eccentricity damping timescales. We find that there is a large region of phase space which produces systems in the chaotic Laplace resonance and a smaller region consistent with the observed eccentricities and libration amplitudes for the resonant angles. Under the assumptions of Type I migration for the outer planet, we translate these damping timescales into constraints on the protoplanetary disk surface density and thickness. When we strongly (weakly) damp the eccentricities of the inner two Laplace planets, these timescales correspond to disk surface densities around ten thousand (a few hundred) grams per square centimeter and disk aspect ratios between 1-10%. Additionally, smooth migration produces systems with a range of chaotic timescales, from decades and centuries to upwards of thousands of years. In agreement with previous studies, the less chaotic regions of phase space coincide with the system being in a low energy double apsidal corotation resonance. Our detailed modeling of multi-planetary systems coupled with our AMR exploration method enhances our ability to map out the parameter space of planet formation models, and is well suited to study other resonant chain systems such as Trappist-1, Kepler-60, and others.


title: Issues Encountered Deploying Differential Privacy

abstract: When differential privacy was created more than a decade ago, the motivating example was statistics published by an official statistics agency. In attempting to transition differential privacy from the academy to practice, the U.S. Census Bureau has encountered many challenges unanticipated by differential privacy's creators. These challenges include obtaining qualified personnel and a suitable computing environment, the difficulty accounting for all uses of the confidential data, the lack of release mechanisms that align with the needs of data users, the expectation on the part of data users that they will have access to micro-data, and the difficulty in setting the value of the privacy-loss parameter, $\epsilon$ (epsilon), and the lack of tools and trained individuals to verify the correctness of differential privacy implementations.


title: Spectral energy cascade and decay in nonlinear acoustic waves

abstract: We present a numerical and theoretical investigation of nonlinear spectral energy cascade of decaying finite-amplitude planar acoustic waves in a single-component ideal gas at standard temperature and pressure (STP). We analyze various one-dimensional canonical flow configurations: a propagating traveling wave (TW), a standing wave (SW), and randomly initialized Acoustic Wave Turbulence (AWT). We use shock-resolved mesh-adaptive direct numerical simulations (DNS) of the fully compressible one-dimensional Navier-Stokes equations to simulate the spectral energy cascade in nonlinear acoustic waves. We also derive a new set of nonlinear acoustics equations truncated to second order and the corresponding perturbation energy corollary yielding the expression for a new perturbation energy norm $E^{(2)}$. Its spatial average, <$E^{(2)}$> satisfies the definition of a Lyapunov function, correctly capturing the inviscid (or lossless) broadening of spectral energy in the initial stages of evolution -- analogous to the evolution of kinetic energy during the hydrodynamic break down of three-dimensional coherent vorticity -- resulting in the formation of smaller scales. Upon saturation of the spectral energy cascade i.e. fully broadened energy spectrum, the onset of viscous losses causes a monotonic decay of <$E^{(2)}$> in time.


title: Stochastic Geometry Interference Analysis of Radar Network Performance

abstract: This work characterises the effect of mutual interference in a planar network of pulsed-radar devices. Using stochastic geometry tools and a strongest interferer approximation, we derive simple closed-form expressions that pinpoint the role played by key system parameters on radar detection range and false alarm rate in the interference-limited region. The fundamental tradeoffs of the system between radar performance, network density and antenna directivity are captured for different path-loss exponents in the no-fading and Rayleigh-fading cases. The discussion highlights practical design hints for tuning the radar parameters. The accuracy of the model is verified through network simulations, and the role of random noise on detection in sparse, non interference-limited networks is characterised.


title: Splitting of single-particle levels in clusters potentials

abstract: In analogy with the Nilsson model, we calculate the splitting of spherical single-particle levels in a deformed field, but for cluster potentials. We study applications to alpha-cluster nuclei with two, three and four alpha particles, in which the deformation corresponds to the relative distance between the alpha particles. The splitting of the single-particle levels is studied for the cases of a dumbbell, equilateral triangle and a regular tetrahedron. The observed patterns may be used to gain insight into how the single-particle levels evolve with deformation.


title: Two short pieces around the Wigner problem

abstract: We revisit the classic Wigner semi-circle from two different angles. One consists in studying the Stieltjes transform directly on the real axis, which does not converge to a fixed value but follows a Cauchy distribution that depends on the local eigenvalue density. This result was recently proven by Aizenman \& Warzel for a wide class of eigenvalue distributions. We shed new light onto their result using a Coulomb gas method. The second angle is to derive a Langevin equation for the full (matrix) resolvent, extending Dyson's Brownian motion framework. The full matrix structure of this equation allows one to recover known results on the overlaps between the eigenvectors of a fixed matrix and its noisy counterpart.


title: Challenges of Context and Time in Reinforcement Learning: Introducing Space Fortress as a Benchmark

abstract: Research in deep reinforcement learning (RL) has coalesced around improving performance on benchmarks like the Arcade Learning Environment. However, these benchmarks conspicuously miss important characteristics like abrupt context-dependent shifts in strategy and temporal sensitivity that are often present in real-world domains. As a result, RL research has not focused on these challenges, resulting in algorithms which do not understand critical changes in context, and have little notion of real world time. To tackle this issue, this paper introduces the game of Space Fortress as a RL benchmark which incorporates these characteristics. We show that existing state-of-the-art RL algorithms are unable to learn to play the Space Fortress game. We then confirm that this poor performance is due to the RL algorithms' context insensitivity and reward sparsity. We also identify independent axes along which to vary context and temporal sensitivity, allowing Space Fortress to be used as a testbed for understanding both characteristics in combination and also in isolation. We release Space Fortress as an open-source Gym environment.


title: Simulating Radiative Magnetohydrodynamical Flows with AstroBEAR: Implementation and Applications of Non-equilibrium Cooling

abstract: Radiative cooling plays a crucial role in the dynamics of many astrophysical flows, and is particularly important in the dense shocked gas within Herbig-Haro (HH) objects and stellar jets. Simulating cooling processes accurately is necessary to compare numerical simulations with existing and planned observations of HH objects, such as those from the Hubble Space Telescope and the James Webb Space Telescope. In this paper we discuss a new, non-equilibrium cooling scheme we have implemented into the 3-D magnetohydrodynamic (MHD) code AstroBEAR. The new cooling function includes ionization, recombination, and excitation of all the important atomic species that cool below 10000 K. We tested the routine by comparing its predictions with those from the well-tested 1-D Cox-Raymond shock code (Raymond 1979). The results show thatAstroBEAR accurately tracks the ionization fraction, temperature, and other MHD variables for all low-velocity (.90 km/s) magnetized radiative shock waves. The new routine allows us to predict synthetic emission maps in all the bright forbidden and permitted lines observed in stellar jets, including H{\alpha}, [NII], [OI], and [SII]. We present an example as to how these synthetic maps facilitate a direct comparison with narrowband images of HH objects.


title: Assessing Gender Bias in Machine Translation -- A Case Study with Google Translate

abstract: Recently there has been a growing concern about machine bias, where trained statistical models grow to reflect controversial societal asymmetries, such as gender or racial bias. A significant number of AI tools have recently been suggested to be harmfully biased towards some minority, with reports of racist criminal behavior predictors, Iphone X failing to differentiate between two Asian people and Google photos' mistakenly classifying black people as gorillas. Although a systematic study of such biases can be difficult, we believe that automated translation tools can be exploited through gender neutral languages to yield a window into the phenomenon of gender bias in AI. In this paper, we start with a comprehensive list of job positions from the U.S. Bureau of Labor Statistics (BLS) and used it to build sentences in constructions like "He/She is an Engineer" in 12 different gender neutral languages such as Hungarian, Chinese, Yoruba, and several others. We translate these sentences into English using the Google Translate API, and collect statistics about the frequency of female, male and gender-neutral pronouns in the translated output. We show that GT exhibits a strong tendency towards male defaults, in particular for fields linked to unbalanced gender distribution such as STEM jobs. We ran these statistics against BLS' data for the frequency of female participation in each job position, showing that GT fails to reproduce a real-world distribution of female workers. We provide experimental evidence that even if one does not expect in principle a 50:50 pronominal gender distribution, GT yields male defaults much more frequently than what would be expected from demographic data alone. We are hopeful that this work will ignite a debate about the need to augment current statistical translation tools with debiasing techniques which can already be found in the scientific literature.


title: ProdSumNet: reducing model parameters in deep neural networks via product-of-sums matrix decompositions

abstract: We consider a general framework for reducing the number of trainable model parameters in deep learning networks by decomposing linear operators as a product of sums of simpler linear operators. Recently proposed deep learning architectures such as CNN, KFC, Dilated CNN, etc. are all subsumed in this framework and we illustrate other types of neural network architectures within this framework. We show that good accuracy on MNIST and Fashion MNIST can be obtained using a relatively small number of trainable parameters. In addition, since implementation of the convolutional layer is resource-heavy, we consider an approach in the transform domain that obviates the need for convolutional layers. One of the advantages of this general framework over prior approaches is that the number of trainable parameters is not fixed and can be varied arbitrarily. In particular, we illustrate the tradeoff of varying the number of trainable variables and the corresponding error rate. As an example, by using this decomposition on a reference CNN architecture for MNIST with over 3x10^6 trainable parameters, we are able to obtain an accuracy of 98.44% using only 3554 trainable parameters.


title: Topological Hall Effect in Magnetic Topological Insulator Films

abstract: Geometric Berry phase can be induced either by spin-orbit coupling, giving rise to the anomalous Hall effect in ferromagnetic materials, or by chiral spin texture, such as skyrmions, leading to the topological Hall effect. Recent experiments have revealed that both phenomena can occur in topological insulator films with magnetic doping, thus providing us with an intriguing platform to study the interplay between these two phenomena. In this work, we numerically study the anomalous Hall and topological Hall effects in a four-band model that can properly describe the quantum well states in the magnetic topological insulator films by combining Landauer-Buttiker formula and the iterative Green's function method. Our numerical results suggest that spin-orbit coupling in this model plays a different role in the quantum transport in the clean and disordered limits. In the clean limit, spin-orbit coupling mainly influences the longitudinal transport but does not have much effect on topological Hall conductance. Such behavior is further studied through the analytical calculation of scattering cross-section due to skyrmion within the four-band model. In the disordered limit, the longitudinal transport is determined by disorder scattering and spin-orbit coupling is found to affect strongly the topological Hall conductance. This sharp contrast unveils a dramatic interplay between spin-orbit coupling and disorder effect in topological Hall effect in magnetic topological insulator systems.


title: True Gaussian shaping for high count rate measurements of pulse amplitudes

abstract: A digital shaper for high-count-rate detection and amplitude measurement of pulses is proposed and analysed in this paper. The proposed shaper converts pulses with a short leading edge and a long exponential tail into a true Gaussian form. The width of Gaussian pulses can be several times smaller than the rise time of the input pulses, i.e. considerably shorter than the undistorted output pulses provided by standard shapers. Therefore, the proposed true Gaussian shaper resolves strongly overlapped pulses better and provides a higher output count rate. The capabilities of the proposed true Gaussian shaper are analysed with real and simulated output signals of a silicon drift detector of soft X-ray radiation, operating at a high count rate of the collected quanta. Our analysis shows that true Gaussian shapers can increase the count rate of spectrometer systems several times compared with the widely used trapezoidal shapers, while maintaining their amplitude resolution.


title: Solutal convection in porous media: Comparison between boundary conditions of constant concentration and constant flux

abstract: We numerically examine solutal convection in porous media, driven by the dissolution of carbon dioxide (CO2) into water---an effective mechanism for CO2 storage in saline aquifers. Dissolution is associated with slow diffusion of free-phase CO2 into the underlying aqueous phase followed by density-driven convective mixing of CO2 throughout the water-saturated layer. We study the fluid dynamics of CO2 convection in the single aqueous-phase region. A comparison is made between two different boundary conditions in the top of the formation: (i) a constant, maximum aqueous-phase concentration of CO2, and (ii) a constant, low injection-rate of CO2, such that all CO2 dissolves instantly and the system remains in single phase. The latter model is found to involve a nonlinear evolution of CO2 composition and associated aqueous-phase density, which depend on the formation permeability. We model the full nonlinear phase behavior of water-CO2 mixtures in a confined domain, consider dissolution and fluid compressibility, and relax the common Boussinesq approximation. We discover new flow regimes and present quantitative scaling relations for global characteristics of spreading, mixing, and a dissolution flux in two- and three-dimensional media for both boundary conditions. We also revisit the scaling behavior of Sherwood number (Sh) with Rayleigh number (Ra), which has been under debate for porous-media convection. Our measurements from the solutal convection in the range 1, 500<Ra<135, 000 show that the classical linear scaling Sh ~ Ra is attained asymptotically for the constant-concentration case. Similarly linear scaling is recovered for the constant-flux model problem.


title: Dynamic Hierarchical Empirical Bayes: A Predictive Model Applied to Online Advertising

abstract: Predicting keywords performance, such as number of impressions, click-through rate (CTR), conversion rate (CVR), revenue per click (RPC), and cost per click (CPC), is critical for sponsored search in the online advertising industry. An interesting phenomenon is that, despite the size of the overall data, the data are very sparse at the individual unit level. To overcome the sparsity and leverage hierarchical information across the data structure, we propose a Dynamic Hierarchical Empirical Bayesian (DHEB) model that dynamically determines the hierarchy through a data-driven process and provides shrinkage-based estimations. Our method is also equipped with an efficient empirical approach to derive inferences through the hierarchy. We evaluate the proposed method in both simulated and real-world datasets and compare to several competitive models. The results favor the proposed method among all comparisons in terms of both accuracy and efficiency. In the end, we design a two-phase system to serve prediction in real time.


title: An improved sum-product bound for quaternions

abstract: We show that there exists an absolute constant $c > 0$, such that, for any finite set $A$ of quaternions, \[ \max\{|A+A, |AA| \} \gtrsim |A|^{4/3 + c}. \] This generalizes a sum-product bound for real numbers proved by Konyagin and Shkredov.


title: Inner-shell clock transition in atomic thulium with small BBR shift

abstract: With direct polarizability measurements we demonstrated extremely low sensitivity of the inner-shell clock transition at $1.14\,\mu$m in Tm atoms to external dc electric fields and black-body radiation (BBR). We measured differential polarizabilities of clock levels in Tm at wavelengths of 810--860\,nm and at 1064\,nm and inferred the static scalar differential polarizability of the inner-shell clock transition of $-0.047(18)$ atomic units corresponding to only $2\times10^{-18}$ fractional frequency shift from BBR at the room temperature. This is a few orders of magnitude smaller compared to the BBR shift of the clock transitions in the neutral atoms (Sr, Yb, Hg) and competes with the least sensitive ion species (e.g. Al$^+$ or Lu$^+$). For the $1.14\,\mu$m clock transition, we experimentally determined the "magic" wavelength of $813.320(6)$\,nm, recorded the transition spectral linewidth of $10$\,Hz, and measured its absolute frequency of $262\,954\,938\,269\,213(30)$\,Hz.


title: Well-posedness of distribution dependent SDEs with singular drifts

abstract: Consider the following distribution dependent SDE: $$ {\mathrm d} X_t=\sigma_t(X_t,\mu_{X_t}){\mathrm d} W_t+b_t(X_t,\mu_{X_t}){\mathrm d} t, $$ where $\mu_{X_t}$ stands for the distribution of $X_t$. In this paper for non-degenerate $\sigma$, we show the strong well-posedness of the above SDE under some integrability assumptions in the spatial variable and Lipschitz continuity in $\mu$ about $b$ and $\sigma$. In particular, we extend the results of Krylov-R\"ockner \cite{Kr-Ro} to the distribution dependent case.


title: Combined effects of nonmetallic impurities and planned metallic dopants on grain boundary energy and strength

abstract: Most research on nanocrystalline alloys has been focused on planned doping of metals with other metallic elements, but nonmetallic impurities are also prevalent in the real world. In this work, we report on the combined effects of metallic dopants and nonmetallic impurities on grain boundary energy and strength using first-principles calculations, with a $\Sigma$5 (310) grain boundary in Cu chosen as a model system. We find a clear correlation between the grain boundary energy and the change in excess free volume of doped grain boundaries. A combination of a larger substitutional dopant and an interstitial impurity can fill the excess free volume more efficiently and further reduce the grain boundary energy. We also find that the strengthening effects of dopants and impurities are dominated by the electronic interactions between the host Cu atoms and the two types of dopant elements. For example, the significant competing effects of metal dopants such as Zr, Nb, and Mo with impurities on the grain boundary strength are uncovered from the density of states of the d electrons. As a whole, this work deepens the field's understanding of the interaction between metallic dopants and nonmetallic impurities on grain boundary properties, providing a guide for improving the thermal stability of materials while avoiding embrittling effects.


title: Atomistic modeling of interfacial segregation and structural transitions in ternary alloys

abstract: Grain boundary engineering via dopant segregation can dramatically change the properties of a material. For metallic systems, most current studies concerning interfacial segregation and subsequent transitions of grain boundary structure are limited to binary alloys, yet many important alloy systems contain more than one type of dopant. In this work, hybrid Monte Carlo/molecular dynamics simulations are performed to investigate the behavior of dopants at interfaces in two model ternary alloy systems: Cu-Zr-Ag and Al-Zr-Cu. Trends in boundary segregation are studied, as well as the propensity for the grain boundary structure to become disordered at high temperature and doping concentration. For Al-Zr-Cu, we find that the two solutes prefer to occupy different sites at the grain boundary, leading to a synergistic doping effect. Alternatively, for Cu-Zr-Ag, there is site competition because the preferred segregation sites are the same. Finally, we find that thicker amorphous intergranular films can be formed in ternary systems by controlling the concentration ratio of different solute elements.


title: Configurational entropy of polydisperse systems can never reach zero

abstract: We present examples of systems whose configurational entropy $S_{\text{conf}}$ can never reach zero and is instead limited from below by the entropy of mixing $S_{\text{mix}}$ of the corresponding ideal gas. We use $S_{\text{conf}}$ defined through the local minima of the potential energy landscape, $S_{\text{conf}}^{\text{PEL}}$. We show that this happens in mean-field models, in collections of hard spheres with infinitesimal polydispersity, and for one-dimensional hard rods. We demonstrate that these results match recent advances in understanding the configurational entropy defined in the free energy landscape, $S_{\text{conf}}^{\text{FEL}}$. We demonstrate that if $\min( S_{\text{conf}}^{\text{FEL}} ) = 0$, then for an arbitrary system $\min( S_{\text{conf}}^{\text{PEL}} ) = A N + S_{\text{mix}}$, where $N$ is the number of particles and $A$ is some constant determined by the interaction potential. We discuss which implications these results have on the Adam--Gibbs (AG) and RFOT relations and show that the latter retain a physically meaningful shape for both configurational entropies, $S_{\text{conf}}^{\text{FEL}}$ and $S_{\text{conf}}^{\text{PEL}}$.


title: 2PFPCE: Two-Phase Filter Pruning Based on Conditional Entropy

abstract: Deep Convolutional Neural Networks~(CNNs) offer remarkable performance of classifications and regressions in many high-dimensional problems and have been widely utilized in real-word cognitive applications. However, high computational cost of CNNs greatly hinder their deployment in resource-constrained applications, real-time systems and edge computing platforms. To overcome this challenge, we propose a novel filter-pruning framework, two-phase filter pruning based on conditional entropy, namely \textit{2PFPCE}, to compress the CNN models and reduce the inference time with marginal performance degradation. In our proposed method, we formulate filter pruning process as an optimization problem and propose a novel filter selection criteria measured by conditional entropy. Based on the assumption that the representation of neurons shall be evenly distributed, we also develop a maximum-entropy filter freeze technique that can reduce over fitting. Two filter pruning strategies -- global and layer-wise strategies, are compared. Our experiment result shows that combining these two strategies can achieve a higher neural network compression ratio than applying only one of them under the same accuracy drop threshold. Two-phase pruning, that is, combining both global and layer-wise strategies, achieves 10 X FLOPs reduction and 46% inference time reduction on VGG-16, with 2% accuracy drop.


title: Time-dependent balls and bins model with positive feedback

abstract: Balls and bins models are classical probabilistic models where balls are added to bins at random according to a certain rule. The balls and bins model with feedback is a non-linear generalisation of the P\'olya urn, where the probability of a new ball choosing a bin with $m$ balls is proportional to $m^{\alpha}$, with $\alpha$ being the feedback parameter. It is known that if the feedback is positive (i.e. $\alpha>1$) then the model is monopolistic: there is a finite time after which one of the bins will receive all incoming balls. We consider a time-dependent version of this model, where $\sigma_n$ independent balls are added at time $n$ instead of just one. We show that if $\alpha>1$ then one of the bins gets all but a negligible number of balls, and identify a phase transition in the growth of $(\sigma_n)$ between the monopolistic and non-monopolistic behaviour. We also describe the critical regime, where the probability of monopoly is strictly between zero and one. Finally, we show that in the feedback-less case $\alpha=1$ no dominance occurs, that is, each bin gets a non-negligible proportion of balls eventually. This is in sharp contrast with a similar model where new balls added at time $n$ are all placed in the same bin rather than independently.


title: Derivations of octonion matrix algebras

abstract: It is well-known that the exceptional Lie algebras $\mathfrak{f}_4$ and $\mathfrak{g}_2$ arise from the octonions as the derivation algebras of the $3\times3$ hermitian and $1\times1$ antihermitian matrices, respectively. Inspired by this, we compute the derivation algebras of the spaces of hermitian and antihermitian matrices over an octonion algebra in all dimensions.


title: Character-Aware Decoder for Translation into Morphologically Rich Languages

abstract: Neural machine translation (NMT) systems operate primarily on words (or sub-words), ignoring lower-level patterns of morphology. We present a character-aware decoder designed to capture such patterns when translating into morphologically rich languages. We achieve character-awareness by augmenting both the softmax and embedding layers of an attention-based encoder-decoder model with convolutional neural networks that operate on the spelling of a word. To investigate performance on a wide variety of morphological phenomena, we translate English into 14 typologically diverse target languages using the TED multi-target dataset. In this low-resource setting, the character-aware decoder provides consistent improvements with BLEU score gains of up to $+3.05$. In addition, we analyze the relationship between the gains obtained and properties of the target language and find evidence that our model does indeed exploit morphological patterns.


title: On universal realizability of spectra

abstract: A list $\Lambda =\{\lambda _{1},\lambda_{2},\ldots ,\lambda _{n}\}$ of complex numbers is said to be realizable if it is the spectrum of an entrywise nonnegative matrix. The list $\Lambda $ is said to be universally realizable ($\mathcal{UR}$) if it is the spectrum of a nonnegative matrix for each possible Jordan canonical form allowed by $\Lambda $. It is well known that an $n\times n$ nonnegative matrix $A$ is co-spectral to a nonnegative matrix $B$ with constant row sums. In this paper, we extend the co-spectrality between $A$ and $B$ to a similarity between $A$ and $B$, when the Perron eigenvalue is simple. We also show that if $\epsilon \geq 0$ and $\Lambda =\{\lambda _{1},\lambda_{2},\ldots ,\lambda _{n}\}$ is $\mathcal{UR},$ then $\{\lambda _{1}+\epsilon ,\lambda _{2},\ldots,\lambda _{n}\}$ is also $\mathcal{UR}$. We give counter-examples for the cases: $\Lambda =\{\lambda_{1},\lambda_{2},\ldots ,\lambda _{n}\}$ is $\mathcal{UR}$ implies $\{\lambda _{1}+\epsilon ,\lambda _{2}-\epsilon ,\lambda_{3},\ldots ,\lambda_{n}\}$ is $\mathcal{UR},$ and $\Lambda _{1},\Lambda _{2}$ are $\mathcal{UR}$ implies $\Lambda _{1}\cup \Lambda _{2}$ is $\mathcal{UR}$.


title: The Complicated Evolution of the ACIS Contamination Layer over the Mission Life of the Chandra X-ray Observatory

abstract: The Chandra X-ray Observatory was launched almost 19 years ago and has been delivering spectacular science over the course of its mission. The Advanced CCD Imager Spectrometer is the prime instrument on the satellite, conducting over 90% of the observations. The CCDs operate at a temperature of -120 C and the optical blocking filter in front of the CCDs is at a temperature of approximately -60C. The surface of the OBF has accumulated a layer of contamination over the course of the mission. We have been characterizing the thickness, chemical composition, and spatial distribution of the contamination layer as a function of time over the mission. All three have exhibited significant changes with time. There has been a dramatic decrease in the accumulation rate of the contaminant starting in 2017. The lower accumulation rate may be due to a decrease in the deposition rate or an increase in the vaporization rate or a combination of the two. We show that the current calibration file which models the additional absorption of the contamination layer is significantly overestimating that additional absorption by using the standard model spectrum for the supernova remnant 1E 0102.2-7219 developed by the International Astronomical Consortium for High Energy Calibration. In addition, spectral data from the cluster of galaxies known as Abell 1795 and the Blazar Markarian 421 are used to generate a model of the absorption produced by the contamination layer. The Chandra X-ray Center calibration team is preparing a revised calibration file that more accurately represents the complex time dependence of the accumulation rate, the spatial dependence, and the chemical composition of the contaminant. Given the rapid changes in the contamination layer over the past year, future calibration observations at a higher cadence will be necessary to more accurately monitor such changes.


title: Content-based Propagation of User Markings for Interactive Segmentation of Patterned Images

abstract: Efficient and easy segmentation of images and volumes is of great practical importance. Segmentation problems that motivate our approach originate from microscopy imaging commonly used in materials science, medicine, and biology. We formulate image segmentation as a probabilistic pixel classification problem, and we apply segmentation as a step towards characterising image content. Our method allows the user to define structures of interest by interactively marking a subset of pixels. Thanks to the real-time feedback, the user can place new markings strategically, depending on the current outcome. The final pixel classification may be obtained from a very modest user input. An important ingredient of our method is a graph that encodes image content. This graph is built in an unsupervised manner during initialisation and is based on clustering of image features. Since we combine a limited amount of user-labelled data with the clustering information obtained from the unlabelled parts of the image, our method fits in the general framework of semi-supervised learning. We demonstrate how this can be a very efficient approach to segmentation through pixel classification.


title: Adaptive Strategic Cyber Defense for Advanced Persistent Threats in Critical Infrastructure Networks

abstract: Advanced Persistent Threats (APTs) have created new security challenges for critical infrastructures due to their stealthy, dynamic, and adaptive natures. In this work, we aim to lay a game-theoretic foundation by establishing a multi-stage Bayesian game framework to capture incomplete information of deceptive APTs and their multi-stage multi-phase movement. The analysis of the perfect Bayesian Nash equilibrium (PBNE) enables a prediction of attacker's behaviors and a design of defensive strategies that can deter the adversaries and mitigate the security risks. A conjugate-prior method allows online computation of the belief and reduces Bayesian update into an iterative parameter update. The forwardly updated parameters are assimilated into the backward dynamic programming computation to characterize a computationally tractable and time-consistent equilibrium solution based on the expanded state space. The Tennessee Eastman (TE) process control problem is used as a case study to demonstrate the dynamic game under the information asymmetry and show that APTs tend to be stealthy and deceptive during their transitions in the cyber layer and behave aggressively when reaching the targeted physical plant. The online update of the belief allows the defender to learn the behavior of the attacker and choose strategic defensive actions that can thwart adversarial behaviors and mitigate APTs. Numerical results illustrate the defender's tradeoff between the immediate reward and the future expectation as well as the attacker's goal to reach an advantageous system state while making the defender form a positive belief.


title: Obstacle Detection Quality as a Problem-Oriented Approach to Stereo Vision Algorithms Estimation in Road Situation Analysis

abstract: In this work we present a method for performance evaluation of stereo vision based obstacle detection techniques that takes into account the specifics of road situation analysis to minimize the effort required to prepare a test dataset. This approach has been designed to be implemented in systems such as self-driving cars or driver assistance and can also be used as problem-oriented quality criterion for evaluation of stereo vision algorithms.


title: Extending set functors to generalised metric spaces

abstract: For a commutative quantale $\mathcal{V}$, the category $\mathcal{V}-cat$ can be perceived as a category of generalised metric spaces and non-expanding maps. We show that any type constructor $T$ (formalised as an endofunctor on sets) can be extended in a canonical way to a type constructor $T_{\mathcal{V}}$ on $\mathcal{V}-cat$. The proof yields methods of explicitly calculating the extension in concrete examples, which cover well-known notions such as the Pompeiu-Hausdorff metric as well as new ones. Conceptually, this allows us to to solve the same recursive domain equation $X\cong TX$ in different categories (such as sets and metric spaces) and we study how their solutions (that is, the final coalgebras) are related via change of base. Mathematically, the heart of the matter is to show that, for any commutative quantale $\mathcal{V}$, the `discrete' functor $D:\mathsf{Set}\to \mathcal{V}-cat$ from sets to categories enriched over $\mathcal{V}$ is $\mathcal{V}-cat$-dense and has a density presentation that allows us to compute left-Kan extensions along $D$.


title: Deep Neural Net with Attention for Multi-channel Multi-touch Attribution

abstract: Customers are usually exposed to online digital advertisement channels, such as email marketing, display advertising, paid search engine marketing, along their way to purchase or subscribe products( aka. conversion). The marketers track all the customer journey data and try to measure the effectiveness of each advertising channel. The inference about the influence of each channel plays an important role in budget allocation and inventory pricing decisions. Several simplistic rule-based strategies and data-driven algorithmic strategies have been widely used in marketing field, but they do not address the issues, such as channel interaction, time dependency, user characteristics. In this paper, we propose a novel attribution algorithm based on deep learning to assess the impact of each advertising channel. We present Deep Neural Net With Attention multi-touch attribution model (DNAMTA) model in a supervised learning fashion of predicting if a series of events leads to conversion, and it leads us to have a deep understanding of the dynamic interaction effects between media channels. DNAMTA also incorporates user-context information, such as user demographics and behavior, as control variables to reduce the estimation biases of media effects. We used computational experiment of large real world marketing dataset to demonstrate that our proposed model is superior to existing methods in both conversion prediction and media channel influence evaluation.


title: Distributed and Optimal Resilient Planning of Large-Scale Interdependent Critical Infrastructures

abstract: The complex interconnections between heterogeneous critical infrastructure sectors make the system of systems (SoS) vulnerable to natural or human-made disasters and lead to cascading failures both within and across sectors. Hence, the robustness and resilience of the interdependent critical infrastructures (ICIs) against extreme events are essential for delivering reliable and efficient services to our society. To this end, we first establish a holistic probabilistic network model to model the interdependencies between infrastructure components. To capture the underlying failure and recovery dynamics of ICIs, we further propose a Markov decision processes (MDP) model in which the repair policy determines a long-term performance of the ICIs. To address the challenges that arise from the curse of dimensionality of the MDP, we reformulate the problem as an approximate linear program and then simplify it using factored graphs. We further obtain the distributed optimal control for ICIs under mild assumptions. Finally, we use a case study of the interdependent power and subway systems to corroborate the results and show that the optimal resilience resource planning and allocation can reduce the failure probability and mitigate the impact of failures caused by natural or artificial disasters.


title: Automated Game Design via Conceptual Expansion

abstract: Automated game design has remained a key challenge within the field of Game AI. In this paper, we introduce a method for recombining existing games to create new games through a process called conceptual expansion. Prior automated game design approaches have relied on hand-authored or crowd-sourced knowledge, which limits the scope and applications of such systems. Our approach instead relies on machine learning to learn approximate representations of games. Our approach recombines knowledge from these learned representations to create new games via conceptual expansion. We evaluate this approach by demonstrating the ability for the system to recreate existing games. To the best of our knowledge, this represents the first machine learning-based automated game design system.


title: Deeply Learning Derivatives

abstract: This paper uses deep learning to value derivatives. The approach is broadly applicable, and we use a call option on a basket of stocks as an example. We show that the deep learning model is accurate and very fast, capable of producing valuations a million times faster than traditional models. We develop a methodology to randomly generate appropriate training data and explore the impact of several parameters including layer width and depth, training data quality and quantity on model speed and accuracy.


title: Slotted ALOHA Overlay on LoRaWAN: a Distributed Synchronization Approach

abstract: LoRaWAN is one of the most promising standards for IoT applications. Nevertheless, the high density of end-devices expected for each gateway, the absence of an effective synchronization scheme between gateway and end-devices, challenge the scalability of these networks. In this article, we propose to regulate the communication of LoRaWAN networks using a Slotted-ALOHA (S-ALOHA) instead of the classic ALOHA approach used by LoRa. The implementation is an overlay on top of the standard LoRaWAN; thus no modification in pre-existing LoRaWAN firmware and libraries is necessary. Our method is based on a novel distributed synchronization service that is suitable for low-cost IoT end-nodes. S-ALOHA supported by our synchronization service significantly improves the performance of traditional LoRaWAN networks regarding packet loss rate and network throughput.


title: A Bandit Approach to Multiple Testing with False Discovery Control

abstract: We propose an adaptive sampling approach for multiple testing which aims to maximize statistical power while ensuring anytime false discovery control. We consider $n$ distributions whose means are partitioned by whether they are below or equal to a baseline (nulls), versus above the baseline (actual positives). In addition, each distribution can be sequentially and repeatedly sampled. Inspired by the multi-armed bandit literature, we provide an algorithm that takes as few samples as possible to exceed a target true positive proportion (i.e. proportion of actual positives discovered) while giving anytime control of the false discovery proportion (nulls predicted as actual positives). Our sample complexity results match known information theoretic lower bounds and through simulations we show a substantial performance improvement over uniform sampling and an adaptive elimination style algorithm. Given the simplicity of the approach, and its sample efficiency, the method has promise for wide adoption in the biological sciences, clinical testing for drug discovery, and online A/B/n testing problems.


title: Analyzing Privacy Policies Using Contextual Integrity Annotations

abstract: In this paper, we demonstrate the effectiveness of using the theory of contextual integrity (CI) to annotate and evaluate privacy policy statements. We perform a case study using CI annotations to compare Facebook's privacy policy before and after the Cambridge Analytica scandal. The updated Facebook privacy policy provides additional details about what information is being transferred, from whom, by whom, to whom, and under what conditions. However, some privacy statements prescribe an incomprehensibly large number of information flows by including many CI parameters in single statements. Other statements result in incomplete information flows due to the use of vague terms or omitting contextual parameters altogether. We then demonstrate that crowdsourcing can effectively produce CI annotations of privacy policies at scale. We test the CI annotation task on 48 excerpts of privacy policies from 17 companies with 141 crowdworkers. The resulting high precision annotations indicate that crowdsourcing could be used to produce a large corpus of annotated privacy policies for future research.