title: Load Balancing for Ultra-Dense Networks: A Deep Reinforcement Learning Based Approach

abstract: In this paper, we propose a deep reinforcement learning (DRL) based mobility load balancing (MLB) algorithm along with a two-layer architecture to solve the large-scale load balancing problem for ultra-dense networks (UDNs). Our contribution is three-fold. First, this work proposes a two-layer architecture to solve the large-scale load balancing problem in a self-organized manner. The proposed architecture can alleviate the global traffic variations by dynamically grouping small cells into self-organized clusters according to their historical loads, and further adapt to local traffic variations through intra-cluster load balancing afterwards. Second, for the intra-cluster load balancing, this paper proposes an off-policy DRL-based MLB algorithm to autonomously learn the optimal MLB policy under an asynchronous parallel learning framework, without any prior knowledge assumed over the underlying UDN environments. Moreover, the algorithm enables joint exploration with multiple behavior policies, such that the traditional MLB methods can be used to guide the learning process thereby improving the learning efficiency and stability. Third, this work proposes an offline-evaluation based safeguard mechanism to ensure that the online system can always operate with the optimal and well-trained MLB policy, which not only stabilizes the online performance but also enables the exploration beyond current policies to make full use of machine learning in a safe way. Empirical results verify that the proposed framework outperforms the existing MLB methods in general UDN environments featured with irregular network topologies, coupled interferences, and random user movements, in terms of the load balancing performance.


title: Deep Feature Learning from a Hospital-Scale Chest X-ray Dataset with Application to TB Detection on a Small-Scale Dataset

abstract: The use of ImageNet pre-trained networks is becoming widespread in the medical imaging community. It enables training on small datasets, commonly available in medical imaging tasks. The recent emergence of a large Chest X-ray dataset opened the possibility for learning features that are specific to the X-ray analysis task. In this work, we demonstrate that the features learned allow for better classification results for the problem of Tuberculosis detection and enable generalization to an unseen dataset. To accomplish the task of feature learning, we train a DenseNet-121 CNN on 112K images from the ChestXray14 dataset which includes labels of 14 common thoracic pathologies. In addition to the pathology labels, we incorporate metadata which is available in the dataset: Patient Positioning, Gender and Patient Age. We term this architecture MetaChexNet. As a by-product of the feature learning, we demonstrate state of the art performance on the task of patient Age \& Gender estimation using CNN's. Finally, we show the features learned using ChestXray14 allow for better transfer learning on small-scale datasets for Tuberculosis.


title: On minimal model theory for log abundant lc pairs

abstract: Under the assumption of the minimal model theory for projective klt pairs of dimension $n$, we establish the minimal model theory for lc pairs $(X/Z,\Delta)$ such that the log canonical divisor is relatively log abundant and its restriction to any lc center has relative numerical dimension at most $n$. We also give another detailed proof of results by the second author, and study termination of log MMP with scaling.


title: Decentralized Multi-target Tracking in Urban Environments: Overview and Challenges

abstract: In multi-target tracking, sensor control involves dynamically configuring sensors to achieve improved tracking performance. Many of these techniques focus on sensors with memoryless states (e.g., waveform adaptation, beam scheduling, and sensor selection), lending themselves to computationally efficient control strategies. Mobile sensor control for multi-target tracking, however, is significantly more challenging due to the complexity of the platform state dynamics. This platform complexity necessitates high-fidelity, non-myopic control strategies in order to achieve strong tracking performance while maintaining safe operation. These sensor control techniques are particularly important in non-cooperative urban surveillance applications including person of interest, vehicle, and unauthorized UAV interdiction. In this overview paper, we highlight the current state of the art in mobile sensor control for multi-target tracking in urban environments. We use this application to motivate the need for closer collaboration between the information fusion, tracking, and control research communities across three challenge areas relevant to the urban surveillance problem.


title: A Mean Field Theory of Quantized Deep Networks: The Quantization-Depth Trade-Off

abstract: Reducing the precision of weights and activation functions in neural network training, with minimal impact on performance, is essential for the deployment of these models in resource-constrained environments. We apply mean-field techniques to networks with quantized activations in order to evaluate the degree to which quantization degrades signal propagation at initialization. We derive initialization schemes which maximize signal propagation in such networks and suggest why this is helpful for generalization. Building on these results, we obtain a closed form implicit equation for $L_{\max}$, the maximal trainable depth (and hence model capacity), given $N$, the number of quantization levels in the activation function. Solving this equation numerically, we obtain asymptotically: $L_{\max}\propto N^{1.82}$.


title: Dynamic Service Composition Orchestrated by Cognitive Agents in Mobile & Pervasive Computing

abstract: Automatic service composition in mobile and pervasive computing faces many challenges due to the complex nature of the environment. Common approaches address service composition from optimization perspectives which are not feasible in practice due to the intractability of the problem, limited computational resources of smart devices, service host's mobility, and time constraints. Our main contribution is the development of a cognitively-inspired agent-based service composition model focused on bounded rationality rather than optimality, which allows the system to compensate for limited resources by selectively filtering out continuous streams of data. The evaluation of our approach shows promising results when compared against state-of-the-art service composition models.


title: Multiwavelength analysis of brightness variations of 3C~279: Probing the relativistic jet structure and its evolution

abstract: We studied the correlation between brightness and polarization variations in 3C~279 at different wavelengths, over time intervals long enough to cover the time lags due to opacity effects. We used these correlations together with VLBI images to constrain the radio and high energy source position.We made 7 mm radio continuum and $R$-band polarimetric observations of 3C~279 between 2009 and 2014. The radio observations were performed at the Itapetinga Radio Observatory, while the polarimetric data were obtained at Pico dos Dias Observatory, both in Brazil. We compared our observations with the $\gamma$-ray Fermi/LAT and $R$-band SMARTS light curves. We found a good correlation between 7~mm and $R$-band light curves, with a delay of $170 \pm 30$ days in radio, but no correlation with the $\gamma$ rays. However, a group of several $\gamma$-ray flares in April 2011 could be associated with the start of the 7 mm strong activity observed at the end of 2011.We also detected an increase in $R$-band polarization degree and rotation of the polarization angle simultaneous with these flares. Contemporaneous VLBI images at the same radio frequency show two new strong components close to the core, ejected in directions very different from that of the jet.The good correlation between radio and $R$-band variability suggests that their origin is synchrotron radiation. The lack of correlation with $\gamma$-rays produced by the Inverse Compton process on some occasions could be due to the lack of low energy photons in the jet direction or to absorption of the high energy photons by the broad line region clouds. The variability of the polarization parameters during flares can be easily explained by the combination of the jet polarization parameters and those of newly formed jet components.


title: Gravitational Waves From Pulsars Due To Their Magnetic Ellipticity

abstract: We discuss some aspects of de Araujo, Coelho & Costa (2016, 2017) concerning the role of a time dependent magnetic ellipticity on the pulsars' braking indices and on the putative gravitational waves (GWs) these objects can emit. Since only nine of more than 2000 known pulsars have accurately measured braking indices, it is of interest to extend this study to all known pulsars, in particular as regards GW generation. In summary, our results show a pessimistic prospect for the detection of GWs generated by these pulsars, even for advanced detectors such as aLIGO and AdVirgo, and the planned Einstein Telescope, would not be able to detect these pulsar, if the ellipticity has magnetic origin.


title: K-Theoretic $I$-function of $V//_{\theta} \mathbf{G}$ and Application

abstract: In this paper, we compute K-theoretic $I$-function with level structure (defined by quasi-map theory) of GIT-quotient of a vector space via abelian and non-abelian correspondence. As a consequence, we generalize Givental-Lee's result to find the analogous "Toda operators" for the $I$-function with nontrivial level structures in the case of complete flag variety.


title: 3D Multi-Drone-Cell Trajectory Design for Efficient IoT Data Collection

abstract: Drone cell (DC) is an emerging technique to offer flexible and cost-effective wireless connections to collect Internet-of-things (IoT) data in uncovered areas of terrestrial networks. The flying trajectory of DC significantly impacts the data collection performance. However, designing the trajectory is a challenging issue due to the complicated 3D mobility of DC, unique DC-to-ground (D2G) channel features, limited DC-to-BS (D2B) backhaul link quality, etc. In this paper, we propose a 3D DC trajectory design for the DC-assisted IoT data collection where multiple DCs periodically fly over IoT devices and relay the IoT data to the base stations (BSs). The trajectory design is formulated as a mixed integer non-linear programming (MINLP) problem to minimize the average user-to-DC (U2D) pathloss, considering the state-of-the-art practical D2G channel model. We decouple the MINLP problem into multiple quasi-convex or integer linear programming (ILP) sub-problems, which optimizes the user association, user scheduling, horizontal trajectories and DC flying altitudes of DCs, respectively. Then, a 3D multi-DC trajectory design algorithm is developed to solve the MINLP problem, in which the sub-problems are optimized iteratively through the block coordinate descent (BCD) method. Compared with the static DC deployment, the proposed trajectory design can lower the average U2D pathloss by 10-15 dB, and reduce the standard deviation of U2D pathloss by 56%, which indicates the improvements in both link quality and user fairness.


title: Multi-Drone 3D Trajectory Planning and Scheduling in Drone Assisted Radio Access Networks

abstract: Drone base station (DBS) is a promising technique to extend wireless connections for uncovered users of terrestrial radio access networks (RAN). To improve user fairness and network performance, in this paper, we design 3D trajectories of multiple DBSs in the drone assisted radio access networks (DA-RAN) where DBSs fly over associated areas of interests (AoIs) and relay communications between the base station (BS) and users in AoIs. We formulate the multi-DBS 3D trajectory planning and scheduling as a mixed integer non-linear programming (MINLP) problem with the objective of minimizing the average DBS-to-user (D2U) pathloss. The 3D trajectory variations in both horizontal and vertical directions, as well as the state-of-the-art DBS-related channel models are considered in the formulation. To address the non-convexity and NP-hardness of the MINLP problem, we first decouple it into multiple integer linear programming (ILP) and quasi-convex sub-problems in which AoI association, D2U communication scheduling, horizontal trajectories and flying heights of DBSs are respectively optimized. Then, we design a multi-DBS 3D trajectory planning and scheduling algorithm to solve the sub-problems iteratively based on the block coordinate descent (BCD) method. A k-means-based initial trajectory generation and a search-based start slot scheduling are considered in the proposed algorithm to improve trajectory design performance and ensure inter-DBS distance constraint, respectively. Extensive simulations are conducted to investigate the impacts of DBS quantity, horizontal speed and initial trajectory on the trajectory planning results. Compared with the static DBS deployment, the proposed trajectory planning can achieve 10-15 dB reduction on average D2U pathloss, and reduce the D2U pathloss standard deviation by 68%, which indicate the improvements of network performance and user fairness.


title: Data-driven Vector-measurement-sensor Selection based on Greedy Algorithm

abstract: A vector-measurement-sensor problem for the least squares estimation is considered, by extending a previous novel approach in this paper. An extension of the vector-measurement-sensor selection of the greedy algorithm is proposed and is applied to particle-image-velocimetry data to reconstruct the full state based on the information given by sparse vector-measurement sensors.


title: Radiation dose simulation during laser-plasma proton acceleration experiments and method to increase the measurement resolution of the proton energy spectrum

abstract: The paper discusses some 3D simulations to compute the ionizing radiation dose during laser-plasma experiments leading to the generation of accelerated protons and electrons. Also, we suggest a new method to increase the measurement resolution of the proton energy spectrum. Monte-Carlo simulations of the radiation doses map around the laser-foil interaction point are performed using Geant4 General Particle Source code and the particular geometry chosen for the experimental setup. We obtain the map of the radiation dose distribution for high-power laser - thin solid target experiments, considering a cubic geometry of the interaction chamber. The computed radiation dose distribution shows a good agreement with various, previously obtained experimental results, and could be a step towards simulating the radiation environment inside of a spacecraft. To characterize the laser-plasma accelerated protons, we introduce a new method to enhance the measurement resolution of the proton energy spectrum by employing a stack of thin solid detectors, preferably CR-39. Each detector is thinner than the Bragg peak region on the Bragg curve that characterizes the loss of kinetic energy as a function of the particle penetration depth in the detector material. The relevance of this method for space radiation characterization and cybersecurity insurance is highlighted.


title: Non-Maxwellian kinetic equations modeling the evolution of wealth distribution

abstract: We introduce a class of new one-dimensional linear Fokker--Planck type equations describing the evolution in time of the wealth in a multi-agent society. The equations are obtained, via a standard limiting procedure, by introducing an economically relevant variant to the kinetic model introduced in 2005 by Cordier, Pareschi and Toscani according to previous studies by Bouchaud and M\'ezard. The steady state of wealth predicted by these new Fokker--Planck equations remains unchanged with respect to the steady state of the original Fokker--Planck equation. However, unlike the original equation, it is proven by a new logarithmic Sobolev inequality with weight and classical entropy methods that the solution converges exponentially fast to equilibrium.


title: Learning Semantic Annotations for Tabular Data

abstract: The usefulness of tabular data such as web tables critically depends on understanding their semantics. This study focuses on column type prediction for tables without any meta data. Unlike traditional lexical matching-based methods, we propose a deep prediction model that can fully exploit a table's contextual semantics, including table locality features learned by a Hybrid Neural Network (HNN), and inter-column semantics features learned by a knowledge base (KB) lookup and query answering algorithm.It exhibits good performance not only on individual table sets, but also when transferring from one table set to another.


title: Dynamical analysis of biological signals with the 0-1 test

abstract: The 0-1 test distinguishes between regular and chaotic dynamics for a deterministic system using a time series. Here is presented how to use the test with biological signals. Between all the biological signals obtained as a times series, we present the results of applying the test and study with more details the photoplethysmogram (PPG) from different subjects; different biological signals of one subject are analyzed also with the test. PPG signal contains extensive physiological dynamics information; mainly used to heart rate monitoring and blood oxygen saturation. Based on its understandable statistics, several indices have been proposed and may apply to some clinical needs. However, continuous real-time monitoring, of the non-stationary biological signals, is frequently used on the modern intensive care unit. A deep understanding of the PPG signal will allow finding algorithms to evaluate other possible indices that give information about the dynamical system that constitutes the human body. We demonstrate that the PPG signal, as a time series, on a healthy individual, is a quasi-periodic signal. The parameters calculated for the analysis give some ideas of what the quasi-periodic properties mean. Results are on PPG signals from different healthy young people. The dynamical analysis of the PPG signal applying the 0-1 test allows distinguishing a regular dynamic, periodic o quasi-periodic, from a chaotic dynamics operating directly over the time series. The result obtained is compared with the results from well known time series that are random, chaotic, aperiodic, periodic, and quasi-periodic.


title: On the Cohomology Ring of Real Moment-Angle Complexes

abstract: In this article, we study the cohomology ring of real moment-angle complexes over a simplicial complex $K$. Combinatorial generators for the cohomology can be given in terms of $K$. For $K$ the boundary of an $n$-gon, we give a full description of the multiplicative structure of the cohomology ring in terms of the combinatorial generators. As a consequence, it is evident that these generators do not form a symplectic basis, unlike the case for moment-angle complexes.


title: A Modal Characterization Theorem for a Probabilistic Fuzzy Description Logic

abstract: The fuzzy modality `probably` is interpreted over probabilistic type spaces by taking expected truth values. The arising probabilistic fuzzy description logic is invariant under probabilistic bisimilarity; more informatively, it is non-expansive wrt. a suitable notion of behavioural distance. In the present paper, we provide a characterization of the expressive power of this logic based on this observation: We prove a probabilistic analogue of the classical van Benthem theorem, which states that modal logic is precisely the bisimulation-invariant fragment of first-order logic. Specifically, we show that every formula in probabilistic fuzzy first-order logic that is non-expansive wrt. behavioural distance can be approximated by concepts of bounded rank in probabilistic fuzzy description logic. For a modal logic perspective on the same result, see arXiv:1810.04722.


title: Bembel: The Fast Isogeometric Boundary Element C++ Library for Laplace, Helmholtz, and Electric Wave Equation

abstract: In this article, we present Bembel, the C++ library featuring higher order isogeometric Galerkin boundary element methods for Laplace, Helmholtz, and Maxwell problems. Bembel is compatible with geometries from the Octave NURBS package and provides an interface to the Eigen template library for linear algebra operations. For computational efficiency, it applies an embedded fast multipole method tailored to the isogeometric analysis framework and a parallel matrix assembly based on OpenMP.


title: Efficient Object Detection Model for Real-Time UAV Applications

abstract: Unmanned Aerial Vehicles (UAVs) especially drones, equipped with vision techniques have become very popular in recent years, with their extensive use in wide range of applications. Many of these applications require use of computer vision techniques, particularly object detection from the information captured by on-board camera. In this paper, we propose an end to end object detection model running on a UAV platform which is suitable for real-time applications. We propose a deep feature pyramid architecture which makes use of inherent properties of features extracted from Convolutional Networks by capturing more generic features in the images (such as edge, color etc.) along with the minute detailed features specific to the classes contained in our problem. We use VisDrone-18 dataset for our studies which contain different objects such as pedestrians, vehicles, bicycles etc. We provide software and hardware architecture of our platform used in this study. We implemented our model with both ResNet and MobileNet as convolutional bases. Our model combined with modified focal loss function, produced a desirable performance of 30.6 mAP for object detection with an inference time of 14 fps. We compared our results with RetinaNet-ResNet-50 and HAL-RetinaNet and shown that our model combined with MobileNet as backend feature extractor gave the best results in terms of accuracy, speed and memory efficiency and is best suitable for real time object detection with drones.


title: The behaviour of information flow near criticality

abstract: Recent experiments have indicated that many biological systems self-organise near their critical point, which hints at a common design principle. While it has been suggested that information transmission is optimized near the critical point, it remains unclear how information transmission depends on the dynamics of the input signal, the distance over which the information needs to be transmitted, and the distance to the critical point. Here we employ stochastic simulations of a driven 2D Ising system and study the instantaneous mutual information and the information transmission rate between a driven input spin and an output spin. The instantaneous mutual information varies non-monotonically with the temperature, but increases monotonically with the correlation time of the input signal. In contrast, the information transmission rate exhibits a maximum as a function of the input correlation time. Moreover, there exists an optimal temperature that maximizes this maximum information transmission rate. It arises from a tradeoff between the necessity to respond fast to changes in the input so that more information per unit amount of time can be transmitted, and the need to respond to reliably. The optimal temperature lies above the critical point, but moves towards it as the distance between the input and output spin is increased.

categories: cond-mat.stat-mech cond-mat.soft physics.bio-ph q-bio.OT


title: Basic properties of a generalized third order sequence of numbers

abstract: We study the properties of the third order sequence $(w_n)=\left(w_n(a,b,c; r, s,t)\right)$ defined by the recurrence relation $w_n = rw_{n - 1} + sw_{n - 2} + tw_{n - 3}\, (n \ge 3)$ with $w_0 = a,\,w_1 = b,\,w_2=c$, where $a$, $b$, $c$, $r$, $s$ and $t$ are arbitrary complex numbers and $t\ne 0$. Properties examined include the partial sum of the terms of the sequence, with indices in arithmetic progression, as well as double binomial summation identities.


title: Joint Radar and Communication Design: Applications, State-of-the-art, and the Road Ahead

abstract: In this paper, we firstly overview the application scenarios and the research progress in the area of communication and radar spectrum sharing (CRSS). We then propose a novel transceiver architecture and frame structure for a dual-functional radar-communication (DFRC) base station (BS) operating in the millimeter wave (mmWave) band, using the hybrid analog-digital (HAD) beamforming technique. We assume that the BS is serving a multi-antenna aided user equipment (UE) operating in a mmWave channel, which in the meantime actively detects multiple targets. Note that part of the targets also play the role of scatterers for the communication signal. Given this framework, we propose a novel scheme for joint target search and communication channel estimation relying on the omni-directional pilot signals generated by the HAD structure. Given a fully-digital communication precoder and a desired radar transmit beampattern, we propose to design the analog and digital precoders under non-convex constant-modulus (CM) and power constraints, such that the BS can formulate narrow beams towards all the targets, while pre-equalizing the impact of the communication channel. Furthermore, we design an HAD receiver that can simultaneously process signals from the UE and echo waves from the targets. By tracking the angular variation of the targets, we show that it is possible to recover the target echoes and mitigate the potential interference imposed on the UE signals by invoking the successive interference cancellation (SIC) technique, even when the radar and communication signals share the equivalent signal-to-noise ratio (SNR). The feasibility and the efficiency of the proposed approaches in realizing DFRC are verified via numerical simulations. Finally, our discussions are summarized by overviewing the open problems in the research field of CRSS.


title: Multi-task Pairwise Neural Ranking for Hashtag Segmentation

abstract: Hashtags are often employed on social media and beyond to add metadata to a textual utterance with the goal of increasing discoverability, aiding search, or providing additional semantics. However, the semantic content of hashtags is not straightforward to infer as these represent ad-hoc conventions which frequently include multiple words joined together and can include abbreviations and unorthodox spellings. We build a dataset of 12,594 hashtags split into individual segments and propose a set of approaches for hashtag segmentation by framing it as a pairwise ranking problem between candidate segmentations. Our novel neural approaches demonstrate 24.6% error reduction in hashtag segmentation accuracy compared to the current state-of-the-art method. Finally, we demonstrate that a deeper understanding of hashtag semantics obtained through segmentation is useful for downstream applications such as sentiment analysis, for which we achieved a 2.6% increase in average recall on the SemEval 2017 sentiment analysis dataset.


title: Lieb-Robinson bounds for open quantum systems with long-ranged interactions

abstract: We state and prove four types of Lieb-Robinson bounds valid for many-body open quantum systems with power law decaying interactions undergoing out of equilibrium dynamics. We also provide an introductory and self-contained discussion of the setting and tools necessary to prove these results. The results found here apply to physical systems in which both long-ranged interactions and dissipation are present, as commonly encountered in certain quantum simulators, such as Rydberg systems or Coulomb crystals formed by ions.


title: Grade prediction with course and student specific models

abstract: The accurate estimation of students' grades in future courses is important as it can inform the selection of next term's courses and create personalized degree pathways to facilitate successful and timely graduation. This paper presents future-course grade predictions methods based on sparse linear models and low-rank matrix factorizations that are specific to each course or student-course tuple. These methods identify the predictive subsets of prior courses on a course-by-course basis and better address problems associated with the not-missing-at-random nature of the student-course historical grade data. The methods were evaluated on a dataset obtained from the University of Minnesota. This evaluation showed that the course-specific models outperformed various competing schemes with the best performing scheme achieving an RMSE across the different courses of 0.632 vs 0.661 for the best competing method.


title: Adaptive Model Refinement with Batch Bayesian Sampling for Optimization of Bio-inspired Flow Tailoring

abstract: This paper presents an advancement to an approach for model-independent surrogate-based optimization with adaptive batch sampling, known as Adaptive Model Refinement (AMR). While the original AMR method provides unique decisions with regards to "when" to sample and "how many" samples to add (to preserve the credibility of the optimization search process), it did not provide specific direction towards "where" to sample in the design variable space. This paper thus introduces the capability to identify optimum location to add new samples. The location of the infill points is decided by integrating a Gaussian Process-based criteria ("q-EI"), adopted from Bayesian optimization. The consideration of a penalization term to mitigate interaction among samples (in a batch) is crucial to effective integration of the q-EI criteria into AMR. The new AMR method, called AMR with Penalized Batch Bayesian Sampling (AMR-PBS) is tested on benchmark functions, demonstrating better performance compared to Bayesian EGO. In addition, it is successfully applied to design surface riblets for bio-inspired passive flow control (where high-fidelity samples are given by costly RANS CFD simulations), leading to a 10% drag reduction over the corresponding baseline (i.e., riblet-free aerodynamic surface).


title: Blow: a single-scale hyperconditioned flow for non-parallel raw-audio voice conversion

abstract: End-to-end models for raw audio generation are a challenge, specially if they have to work with non-parallel data, which is a desirable setup in many situations. Voice conversion, in which a model has to impersonate a speaker in a recording, is one of those situations. In this paper, we propose Blow, a single-scale normalizing flow using hypernetwork conditioning to perform many-to-many voice conversion between raw audio. Blow is trained end-to-end, with non-parallel data, on a frame-by-frame basis using a single speaker identifier. We show that Blow compares favorably to existing flow-based architectures and other competitive baselines, obtaining equal or better performance in both objective and subjective evaluations. We further assess the impact of its main components with an ablation study, and quantify a number of properties such as the necessary amount of training data or the preference for source or target speakers.


title: Stable models of plane quartics with hyperelliptic reduction

abstract: Let C/K: F = 0 be a smooth plane quartic over a complete discrete valuation field K. In a previous paper the authors togetehr with Q. Liu give various characterizations of the reduction (i.e. non-hyperelliptic genus 3 curve, hyperelliptic genus 3 curve or bad) of the stable model of C: in terms of the existence of a special plane quartic model and in terms of the valuations of the Dixmier-Ohno invariants of C. The last one gives in particular an easy computable criterion for the reduction type. However, it does not produce a stable model, even in the case of good reduction. In this paper we give an algorithm to obtain (an approximation of) the stable model when the reduction of the latter is hyperelliptic and the characteristic of the residue field is not 2. This is based on a new criterion giving the reduction type in terms of the valuations of the theta constants of C. Some examples of the computation of these models are given.


title: On the Conjugacy Problem of Cellular Automata

abstract: Cellular automata are topological dynamical systems. We consider the problem of deciding whether two cellular automata are conjugate or not. We also consider deciding strong conjugacy, that is, conjugacy by a map that commutes with the shift maps. We show that the following two sets of pairs of one-dimensional one-sided cellular automata are recursively inseparable: (i) pairs where the first cellular automaton has strictly higher entropy than the second one, and (ii) pairs that are strongly conjugate and both have zero topological entropies. This implies that the following decision problems are undecidable: Given two one-dimensional one-sided cellular automata $F$ and $G$: Are $F$ and $G$ conjugate? Is $F$ a factor of $G$? Is $F$ a subsystem of $G$? All of these are undecidable in both strong and weak variants (whether the homomorphism is required to commute with the shift or not, respectively). We also prove the same results for reversible two-dimensional cellular automata.


title: Deterministic and stochastic damage detection via dynamic response analysis

abstract: The paper proposes a method of damage detection in elastic materials, which is based on analyzing the time-dependent (dynamic) response of the material excited by an acoustic signal. A case study is presented consisting of experimental measurements and their mathematical analysis. The decisive parameters (wave speed and damping coefficient) of a mathematical model of the acoustic wave are calibrated by comparing the measurement data with the numerically evaluated exact solution predicted by the mathematical model. The calibration is done both deterministically by minimizing the square error over time and stochastically by a Bayesian approach, implemented through the Metropolis-Hastings algorithm. The resulting posterior distribution of the parameters can be used to construct a Bayesian test for damage.


title: RVHyper: A Runtime Verification Tool for Temporal Hyperproperties

abstract: We present RVHyper, a runtime verification tool for hyperproperties. Hyperproperties, such as non-interference and observational determinism, relate multiple computation traces with each other. Specifications are given as formulas in the temporal logic HyperLTL, which extends linear-time temporal logic (LTL) with trace quantifiers and trace variables. RVHyper processes execution traces sequentially until a violation of the specification is detected. In this case, a counter example, in the form of a set of traces, is returned. As an example application, we show how RVHyper can be used to detect spurious dependencies in hardware designs.


title: A counterexample to Batson's conjecture

abstract: We show that the torus knot $T_{4,9}$ bounds a smooth M\"obius band in the $4$-ball, giving a counterexample to Batson's non-orientable analogue of Milnor's conjecture on the smooth slice genera of torus knots.


title: Neural Network-based Object Classification by Known and Unknown Features (Based on Text Queries)

abstract: The article presents a method that improves the quality of classification of objects described by a combination of known and unknown features. The method is based on modernized Informational Neurobayesian Approach with consideration of unknown features. The proposed method was developed and trained on 1500 text queries of Promobot users in Russian to classify them into 20 categories (classes). As a result, the use of the method allowed to completely solve the problem of misclassification for queries with combining known and unknown features of the model. The theoretical substantiation of the method is presented by the formulated and proved theorem On the Model with Limited Knowledge. It states, that in conditions of limited data, an equal number of equally unknown features of an object cannot have different significance for the classification problem.


title: Global Mirrors and Discrepant Transformations for Toric Deligne-Mumford Stacks

abstract: We introduce a global Landau-Ginzburg model which is mirror to several toric Deligne-Mumford stacks and describe the change of the Gromov-Witten theories under discrepant transformations. We prove a formal decomposition of the quantum cohomology D-modules (and of the all-genus Gromov-Witten potentials) under a discrepant toric wall-crossing. In the case of weighted blowups of weak-Fano compact toric stacks along toric centres, we show that an analytic lift of the formal decomposition corresponds, via the $\widehat{\Gamma}$-integral structure, to an Orlov-type semiorthogonal decomposition of topological $K$-groups. We state a conjectural functoriality of Gromov-Witten theories under discrepant transformations in terms of a Riemann-Hilbert problem.


title: Aspects of wave turbulence in preheating III: The case of the two-fields models

abstract: The present work is the continuation of the investigation of aspects of wave turbulence in preheating we have started in Refs. [1, 2] but considering several classes of inflationary two-fields models. We exhibit the main elements of the wave turbulence phase imprinted in the power spectra of relevant quantities in the time and space domains. As a general feature, the power spectra resemble in their structure to those obtained using the single nonminimally coupled scalar field of the previous work. As a consequence, we obtained an estimate of the temperature corresponding to the thermalized phase from the power spectrum of the total energy density. Another feature allowed by the simulations was the determination of the effective equation of state after taking into account the backreaction of the produced particles.


title: Experimental summary: QCD session of the 54th Rencontres de Moriond (Moriond QCD 2019)

abstract: The conference included about 90 talks covering a plethora of different sectors, like Higgs physics, electroweak physics, top physics, BSM physics, soft QCD, jets, PDFs, heavy ions, heavy flavours, spectroscopy, etc. A few experimental results are here highlighted.


title: DualDis: Dual-Branch Disentangling with Adversarial Learning

abstract: In computer vision, disentangling techniques aim at improving latent representations of images by modeling factors of variation. In this paper, we propose DualDis, a new auto-encoder-based framework that disentangles and linearizes class and attribute information. This is achieved thanks to a two-branch architecture forcing the separation of the two kinds of information, accompanied by a decoder for image reconstruction and generation. To effectively separate the information, we propose to use a combination of regular and adversarial classifiers to guide the two branches in specializing for class and attribute information respectively. We also investigate the possibility of using semi-supervised learning for an effective disentangling even using few labels. We leverage the linearization property of the latent spaces for semantic image editing and generation of new images. We validate our approach on CelebA, Yale-B and NORB by measuring the efficiency of information separation via classification metrics, visual image manipulation and data augmentation.


title: GazeCorrection:Self-Guided Eye Manipulation in the wild using Self-Supervised Generative Adversarial Networks

abstract: Gaze correction aims to redirect the person's gaze into the camera by manipulating the eye region, and it can be considered as a specific image resynthesis problem. Gaze correction has a wide range of applications in real life, such as taking a picture with staring at the camera. In this paper, we propose a novel method that is based on the inpainting model to learn from the face image to fill in the missing eye regions with new contents representing corrected eye gaze. Moreover, our model does not require the training dataset labeled with the specific head pose and eye angle information, thus, the training data is easy to collect. To retain the identity information of the eye region in the original input, we propose a self-guided pretrained model to learn the angle-invariance feature. Experiments show our model achieves very compelling gaze-corrected results in the wild dataset which is collected from the website and will be introduced in details. Code is available at https://github.com/zhangqianhui/GazeCorrection.


title: GROWTH on S190510g: DECam Observation Planning and Follow-Up of a Distant Binary Neutron Star Merger Candidate

abstract: The first two months of the third Advanced LIGO and Virgo observing run (2019 April-May) showed that distant gravitational wave (GW) events can now be readily detected. Three candidate mergers containing neutron stars (NS) were reported in a span of 15 days, all likely located more than 100 Mpc away. However, distant events such as the three new NS mergers are likely to be coarsely localized, which highlights the importance of facilities and scheduling systems that enable deep observations over hundreds to thousands of square degrees to detect the electromagnetic counterparts. On 2019-05-10 02:59:39.292 UT the GW candidate S190510g was discovered and initially classified as a BNS merger with 98% probability. The GW event was localized within an area of 3462 deg2, later refined to 1166 deg2 (90%) at a distance of 227 +- 92 Mpc. We triggered Target of Opportunity observations with the Dark Energy Camera (DECam), a wide-field optical imager mounted at the prime focus of the 4m Blanco Telescope at CTIO in Chile. This Letter describes our DECam observations and our real-time analysis results, focusing in particular on the design and implementation of the observing strategy. Within 24 hours of the merger time, we observed 65% of the total enclosed probability of the final skymap with an observing efficiency of 94%. We identified and publicly announced 13 candidate counterparts. S190510g was re-classified 1.7 days after the merger, after our observations were completed, with a "binary neutron star merger" probability reduced from 98% to 42% in favor of a "terrestrial" classification.


title: Spin chain network construction of chiral spin liquids

abstract: We show that a honeycomb lattice of Heisenberg spin-$1/2$ chains with three-spin junction interactions allows for controlled analytical studies of chiral spin liquids (CSLs). Tuning these interactions to a chiral fixed point, we find a Kalmeyer-Laughlin CSL phase which here is connected to the critical point of a boundary conformal field theory. Our construction directly yields a quantized spin Hall conductance and localized spinons with semionic statistics as elementary excitations. We also outline the phase diagram away from the chiral point where spinons may condense. Generalizations of our approach can provide microscopic realizations for many other CSLs.


title: Localized John--Nirenberg--Campanato Spaces

abstract: Let $p\in(1,\infty)$, $q\in[1,\infty)$, $s\in{\mathbb Z}_{+}$, $\alpha\in[0,\infty)$ and $\mathcal{X}$ be $\mathbb R^n$ or a cube $Q_0\subsetneqq\mathbb R^n$. In this article, the authors first introduce the localized John--Nirenberg--Campanato space $jn_{(p,q,s)_{\alpha}}(\mathcal{X})$ and show that the localized Campanato space is the limit case of $jn_{(p,q,s)_{\alpha}}(\mathcal{X})$ as $p\to\infty$. By means of local atoms and the weak-$*$ topology, the authors then introduce the localized Hardy-kind space $hk_{(p',q',s)_{\alpha}}(\mathcal{X})$ which proves the predual space of $jn_{(p,q,s)_{\alpha}}(\mathcal{X})$. Moreover, the authors prove that $hk_{(p',q',s)_{\alpha}}(\mathcal{X})$ is invariant when $1<q<p$, where $p'$ or $q'$ denotes the conjugate number of $p$ or $q$, respectively. All these results are new even for the localized John--Nirenberg space.


title: Rpair: Rescaling RePair with Rsync

abstract: Data compression is a powerful tool for managing massive but repetitive datasets, especially schemes such as grammar-based compression that support computation over the data without decompressing it. In the best case such a scheme takes a dataset so big that it must be stored on disk and shrinks it enough that it can be stored and processed in internal memory. Even then, however, the scheme is essentially useless unless it can be built on the original dataset reasonably quickly while keeping the dataset on disk. In this paper we show how we can preprocess such datasets with context-triggered piecewise hashing such that afterwards we can apply RePair and other grammar-based compressors more easily. We first give our algorithm, then show how a variant of it can be used to approximate the LZ77 parse, then leverage that to prove theoretical bounds on compression, and finally give experimental evidence that our approach is competitive in practice.


title: PBDW method for state estimation: error analysis for noisy data and nonlinear formulation

abstract: We present an error analysis and further numerical investigations of the Parameterized-Background Data-Weak (PBDW) formulation to variational Data Assimilation (state estimation), proposed in [Y Maday, AT Patera, JD Penn, M Yano, Int J Numer Meth Eng, 102(5), 933-965]. The PBDW algorithm is a state estimation method involving reduced models. It aims at approximating an unknown function $u^{\rm true}$ living in a high-dimensional Hilbert space from $M$ measurement observations given in the form $y_m = \ell_m(u^{\rm true}),\, m=1,\dots,M$, where $\ell_m$ are linear functionals. The method approximates $u^{\rm true}$ with $\hat{u} = \hat{z} + \hat{\eta}$. The \emph{background} $\hat{z}$ belongs to an $N$-dimensional linear space $\mathcal{Z}_N$ built from reduced modelling of a parameterized mathematical model, and the \emph{update} $\hat{\eta}$ belongs to the space $\mathcal{U}_M$ spanned by the Riesz representers of $(\ell_1,\dots, \ell_M)$. When the measurements are noisy {--- i.e., $y_m = \ell_m(u^{\rm true})+\epsilon_m$ with $\epsilon_m$ being a noise term --- } the classical PBDW formulation is not robust in the sense that, if $N$ increases, the reconstruction accuracy degrades. In this paper, we propose to address this issue with an extension of the classical formulation, {which consists in} searching for the background $\hat{z}$ either on the whole $\mathcal{Z}_N$ in the noise-free case, or on a well-chosen subset $\mathcal{K}_N \subset \mathcal{Z}_N$ in presence of noise. The restriction to $\mathcal{K}_N$ makes the reconstruction be nonlinear and is the key to make the algorithm significantly more robust against noise. We {further} present an \emph{a priori} error and stability analysis, and we illustrate the efficiency of the approach on several numerical examples.


title: The Evolution of Luminous Red Nova AT 2017jfs in NGC 4470

abstract: We present the results of our photometric and spectroscopic follow-up of the intermediate-luminosity optical transient AT 2017jfs. At peak, the object reaches an absolute magnitude of Mg=-15.46+-0.15 mag and a bolometric luminosity of 5.5x10^41 erg/s. Its light curve has the double-peak shape typical of Luminous Red Novae (LRNe), with a narrow first peak bright in the blue bands, while the second peak is longer lasting and more luminous in the red and near-infrared (NIR) bands. During the first peak, the spectrum shows a blue continuum with narrow emission lines of H and Fe II. During the second peak, the spectrum becomes cooler, resembling that of a K-type star, and the emission lines are replaced by a forest of narrow lines in absorption. About 5 months later, while the optical light curves are characterized by a fast linear decline, the NIR ones show a moderate rebrightening, observed until the transient disappeared in solar conjunction. At these late epochs, the spectrum becomes reminiscent of that of M-type stars, with prominent molecular absorption bands. The late-time properties suggest the formation of some dust in the expanding common envelope or an IR echo from foreground pre-existing dust. We propose that the object is a common-envelope transient, possibly the outcome of a merging event in a massive binary, similar to NGC4490-2011OT1.


title: Luminous Red Novae: Stellar Mergers or Giant Eruptions?

abstract: We present extensive datasets for a class of intermediate-luminosity optical transients known as "luminous red novae" (LRNe). They show double-peaked light curves, with an initial rapid luminosity rise to a blue peak (at -13 to -15 mag), which is followed by a longer-duration red peak that sometimes is attenuated, resembling a plateau. The progenitors of three of them (NGC4490-2011OT1, M101-2015OT1, and SNhunt248), likely relatively massive blue to yellow stars, were also observed in a pre-eruptive stage when their luminosity was slowly increasing. Early spectra obtained during the first peak show a blue continuum with superposed prominent narrow Balmer lines, with P Cygni profiles. Lines of Fe II are also clearly observed, mostly in emission. During the second peak, the spectral continuum becomes much redder, Halpha is barely detected, and a forest of narrow metal lines is observed in absorption. Very late-time spectra (~6 months after blue peak) show an extremely red spectral continuum, peaking in the infrared (IR) domain. Halpha is detected in pure emission at such late phases, along with broad absorption bands due to molecular overtones (such as TiO, VO). We discuss a few alternative scenarios for LRNe. Although major instabilities of single massive stars cannot be definitely ruled out, we favour a common envelope ejection in a close binary system, with possibly a final coalescence of the two stars. The similarity between LRNe and the outburst observed a few months before the explosion of the Type IIn SN 2011ht is also discussed.


title: Efficient computation of demagnetising fields for magnetic multilayers using multilayered convolution

abstract: As research into magnetic thin films and spintronics devices is moving from single to multiple magnetic layers, there is a need for micromagnetics modelling tools specifically designed to efficiently handle magnetic multilayers. Here we show an exact method of computing demagnetising fields in magnetic multilayers, which is able to handle layers with arbitrary spacing, arbitrary thicknesses, and arbitrary relative positioning between them without impacting on the computational performance, or sacrificing numerical accuracy. The multilayered convolution method is a generalisation of the well-known convolution method used to compute demagnetising fields in a single magnetic body. In typical use cases, such as multilayered stacks used to study skyrmions, we show the multilayered convolution method can be up to 8 times faster, implemented both for central processors and graphics processors, compared to the simple convolution method.


title: A luminous stellar outburst during a long-lasting eruptive phase first, and then SN IIn 2018cnf

abstract: We present the results of the monitoring campaign of the Type IIn supernova (SN) 2018cnf (aka ASASSN-18mr). It was discovered about 10 days before the maximum light (on MJD = 58293.4+-5.7 in the V band, with MV = -18.13+-0.15 mag). The multiband light curves show an immediate post-peak decline with some minor luminosity fluctuations, followed by a flattening starting about 40 days after maximum. The early spectra are relatively blue and show narrow Balmer lines with P Cygni profiles. Additionally, Fe II, O I, He I and Ca II are detected. The spectra show little evolution with time, with intermediate-width features becoming progressively more prominent, indicating stronger interaction of the SN ejecta with the circumstellar medium. The inspection of archival images from the Panoramic Survey Telescope and Rapid Response System (Pan-STARRS) survey has revealed a variable source at the SN position, with a brightest detection in December 2015 at Mr = -14.66+-0.17 mag. This was likely an eruptive phase from the massive progenitor star started from at least mid-2011, and that produced the circumstellar environment within which the star exploded as a Type IIn SN. The overall properties of SN 2018cnf closely resemble those of transients such as SN 2009ip. This similarity favours a massive hypergiant, perhaps a luminous blue variable, as progenitor for SN 2018cnf.


title: Static Code Analysis of Multilanguage Software Systems

abstract: Identifying dependency call graphs of multilanguage software systems using static code analysis is challenging. The different languages used in developing today's systems often have different lexical, syntactical, and semantic rules that make thorough analysis difficult. Also, they offer different modularization and dependency mechanisms, both within and between components. Finally, they promote and--or require varieties of frameworks offering different sets of services, which introduce hidden dependencies, invisible with current static code analysis approaches. In this paper, we identify five important challenges that static code analysis must overcome with multilanguage systems and we propose requirements to handle them. Then, we present solutions of these requirements to handle JEE applications, which combine server-side Java source code with a number of client-side Web dialects (e.g., JSP, JSF) while relying on frameworks (e.g., Web and EJB containers) that create hidden dependencies. Finally, we evaluate our implementations of the solutions by developing a set of tools to analyze JEE applications to build a dependency call graph and by applying these tools on two sample JEE applications. Our evaluation shows that our tools can solve the identified challenges and improve the recall in the identification of multilanguage dependencies compared to standard JEE static code analysis and, thus, indirectly that the proposed requirements are useful to build multilanguage static code analysis.


title: Bayesian Evidential Deep Learning with PAC Regularization

abstract: We propose a novel method for closed-form predictive distribution modeling with neural nets. In quantifying prediction uncertainty, we build on Evidential Deep Learning, which has been impactful as being both simple to implement and giving closed-form access to predictive uncertainty. We employ it to model aleatoric uncertainty and extend it to account also for epistemic uncertainty by converting it to a Bayesian Neural Net. While extending its uncertainty quantification capabilities, we maintain its analytically accessible predictive distribution model by performing progressive moment matching for the first time for approximate weight marginalization. The eventual model introduces a prohibitively large number of hyperparameters for stable training. We overcome this drawback by deriving a vacuous PAC bound that comprises the marginal likelihood of the predictor and a complexity penalty. We observe on regression, classification, and out-of-domain detection benchmarks that our method improves model fit and uncertainty quantification.


title: Zero-Shot Semantic Segmentation

abstract: Semantic segmentation models are limited in their ability to scale to large numbers of object classes. In this paper, we introduce the new task of zero-shot semantic segmentation: learning pixel-wise classifiers for never-seen object categories with zero training examples. To this end, we present a novel architecture, ZS3Net, combining a deep visual segmentation model with an approach to generate visual representations from semantic word embeddings. By this way, ZS3Net addresses pixel classification tasks where both seen and unseen categories are faced at test time (so called "generalized" zero-shot classification). Performance is further improved by a self-training step that relies on automatic pseudo-labeling of pixels from unseen classes. On the two standard segmentation datasets, Pascal-VOC and Pascal-Context, we propose zero-shot benchmarks and set competitive baselines. For complex scenes as ones in the Pascal-Context dataset, we extend our approach by using a graph-context encoding to fully leverage spatial context priors coming from class-wise segmentation maps.


title: Statistical methods for biomarker data pooled from multiple nested case-control studies

abstract: Pooling biomarker data across multiple studies allows for examination of a wider exposure range than generally possible in individual studies, evaluation of population subgroups and disease subtypes with more statistical power, and more precise estimation of biomarker-disease associations. However, biomarker measurements often require calibration to a reference assay prior to pooling due to assay and laboratory variability across studies. We propose several methods for calibrating and combining biomarker data from nested case-control studies when reference assay data are obtained from a subset of controls in each contributing study. Specifically, we describe a two-stage method and two aggregated methods, named the internalized and full calibration methods, to evaluate the main effect of the biomarker exposure on disease risk and whether that association is modified by a potential covariate. The internalized method uses the reference laboratory measurement in the analysis when available and otherwise uses the calibrated measurement. The full calibration method uses calibrated biomarker measurements for all subjects, even those with reference laboratory measurements. Our results demonstrate that the full calibration method is the preferred aggregated approach to minimize bias in point estimates regardless of the inclusion of an interaction term in the model. We also observe that the two-stage and full calibration methods provide similar effect and variance estimates, but that the variance estimates for these two methods are slightly larger than those from the internalized approach. As an illustrative example, we apply the methods in a pooling project of nested case-control studies to evaluate (i) the association between circulating vitamin D levels and risk of stroke, and (ii) how BMI modifies the association between circulating vitamin D levels and cardiovascular disease.


title: The XENON1T Data Acquisition System

abstract: The XENON1T liquid xenon time projection chamber is the most sensitive detector built to date for the measurement of direct interactions of weakly interacting massive particles with normal matter. The data acquisition system (DAQ) is constructed from commercial, open source, and custom components to digitize signals from the detector and store them for later analysis. The system achieves an extremely low signal threshold below a tenth of a photoelectron using a parallelized readout with the global trigger deferred to a later, software stage. The event identification is based on MongoDB database queries and has over 97% efficiency at recognizing interactions at the analysis energy threshold. A readout bandwidth over 300 MB/s is reached in calibration modes and is further expandable via parallelization. This DAQ system was successfully used during three years of operation of XENON1T.


title: One-Way Prototypical Networks

abstract: Few-shot models have become a popular topic of research in the past years. They offer the possibility to determine class belongings for unseen examples using just a handful of examples for each class. Such models are trained on a wide range of classes and their respective examples, learning a decision metric in the process. Types of few-shot models include matching networks and prototypical networks. We show a new way of training prototypical few-shot models for just a single class. These models have the ability to predict the likelihood of an unseen query belonging to a group of examples without any given counterexamples. The difficulty here lies in the fact that no relative distance to other classes can be calculated via softmax. We solve this problem by introducing a "null class" centered around zero, and enforcing centering with batch normalization. Trained on the commonly used Omniglot data set, we obtain a classification accuracy of .98 on the matched test set, and of .8 on unmatched MNIST data. On the more complex MiniImageNet data set, test accuracy is .8. In addition, we propose a novel Gaussian layer for distance calculation in a prototypical network, which takes the support examples' distribution rather than just their centroid into account. This extension shows promising results when a higher number of support examples is available.


title: X-ray studies of the gamma-ray pulsar J1826-1256 and its pulsar wind nebula with Chandra and XMM-Newton

abstract: We have analyzed archival XMM-Newton and Chandra observations of the gamma-ray radio-quiet pulsar J1826-1256 and its pulsar wind nebula. The pulsar spectrum can be described by a power-law model with a photon index $\Gamma\approx1$. We find that the nebular spectrum softens with increasing distance from the pulsar, implying synchrotron cooling. The empirical interstellar absorption-distance relation gives a distance of $\approx3.5$ kpc to J1826-1256. We also discuss the nebula geometry and association between the pulsar, the very high energy source HESS J1826-130, the supernova remnant candidate G18.45-0.42 and the open star cluster Bica 3.


title: Functional extrapolations to tame unbound anions in density-functional theory calculations

abstract: Standard flavors of density-functional theory (DFT) calculations are known to fail in describing anions, due to large self-interaction errors. The problem may be circumvented by using localized basis sets of reduced size, leaving no variational flexibility for the extra electron to delocalize. Alternatively, a recent approach exploiting DFT evaluations of total energies on electronic densities optimized at the Hartree-Fock (HF) level has been reported, showing that the self-interaction-free HF densities are able to lead to an improved description of the additional electron, returning affinities in close agreement with the experiments. Nonetheless, such an approach can fail when the HF densities are too inaccurate. Here, an alternative approach is presented, in which an embedding environment is used to stabilize the anion in a bound configuration. Similarly to the HF case, when computing total energies at the DFT level on these corrected densities, electron affinities in very good agreement with experiments can be recovered. The effect of the environment can be evaluated and removed by an extrapolation of the results to the limit of vanishing embedding. Moreover, the approach can be easily applied to DFT calculations with delocalized basis sets, e.g. plane-waves, for which alternative approaches are either not viable or more computationally demanding. The proposed extrapolation strategy can be thus applied also to extended systems, as often studied in condensed-matter physics and materials science, and we illustrate how the embedding environment can be exploited to determine the energy of an adsorbing anion - here a chloride ion on a metal surface - whose charge configuration would be incorrectly predicted by standard density functionals.


title: Data-driven Estimation of Sinusoid Frequencies

abstract: Frequency estimation is a fundamental problem in signal processing, with applications in radar imaging, underwater acoustics, seismic imaging, and spectroscopy. The goal is to estimate the frequency of each component in a multisinusoidal signal from a finite number of noisy samples. A recent machine-learning approach uses a neural network to output a learned representation with local maxima at the position of the frequency estimates. In this work, we propose a novel neural-network architecture that produces a significantly more accurate representation, and combine it with an additional neural-network module trained to detect the number of frequencies. This yields a fast, fully-automatic method for frequency estimation that achieves state-of-the-art results. In particular, it outperforms existing techniques by a substantial margin at medium-to-high noise levels.


title: Interlayer Charge Transfer and Defect Creation in Type I van der Waals Heterostructures

abstract: Van der Waals heterostructures give access to a wide variety of new phenomena that emerge thanks to the combination of properties brought in by the constituent layered materials. We show here that owing to an enhanced interaction cross section with electrons in a type I van der Waals heterostructure, made of single layer molybdenum disulphide and thin boron nitride films, electrons and holes created in boron nitride can be transferred to the dichalcogenide where they form electron-hole pairs yielding luminescence. This cathodoluminescence can be mapped with a spatial resolution far exceeding what can be achieved in a typical photoluminescence experiment, and is highly valuable to understand the optoelectronic properties at the nanometer scale. We find that in heterostructures prepared following the mainstream dry transfer technique, cathodoluminescence is locally extinguished, and we show that this extinction is associated with the formation of defects, that are detected in Raman spectroscopy and photoluminescence. We establish that to avoid defect formation induced by low-energy electron beams and to ensure efficient transfer of electrons and holes at the interface between the layers, flat and uniform interlayer interfaces are needed, that are free of trapped species, airborne ones or contaminants associated with sample preparation. We show that heterostructure fabrication using a pick-up technique leads to superior, intimate interlayer contacts associated with significantly more homogeneous cathodoluminescence.


title: Self-supervised Body Image Acquisition Using a Deep Neural Network for Sensorimotor Prediction

abstract: This work investigates how a naive agent can acquire its own body image in a self-supervised way, based on the predictability of its sensorimotor experience. Our working hypothesis is that, due to its temporal stability, an agent's body produces more consistent sensory experiences than the environment, which exhibits a greater variability. Given its motor experience, an agent can thus reliably predict what appearance its body should have. This intrinsic predictability can be used to automatically isolate the body image from the rest of the environment. We propose a two-branches deconvolutional neural network to predict the visual sensory state associated with an input motor state, as well as the prediction error associated with this input. We train the network on a dataset of first-person images collected with a simulated Pepper robot, and show how the network outputs can be used to automatically isolate its visible arm from the rest of the environment. Finally, the quality of the body image produced by the network is evaluated.


title: Sound velocity in dense stellar matter with strangeness and compact stars

abstract: The phase state of dense matter in the intermediate density range ($\sim$1-10 times the nuclear saturation density) is both intriguing and unclear and could have important observable effects in the present gravitational wave era of neutron stars. As the matter density increases in compact stars, the sound velocity is expected to approach the conformal limit ($c_s/c=1/\sqrt{3}$) at high densities and should also fulfill the causality limit ($c_s/c<1$). However, its detailed behavior remains a hot topic of debate. It was suggested that the sound velocity of dense matter could be an important indicator for a deconfinement phase transition, where a particular shape might be expected for its density dependence. In this work, we explore the general properties of the sound velocity and the adiabatic index of dense matter in hybrid stars, as well as in neutron stars and quark stars. Various conditions are employed for hadron-quark phase transition with varying interface tension. We find that the expected behavior of the sound velocity can also be achieved by the nonperturbative properties of the quark phase, in addition to a deconfinement phase transition. And it leads to a more compact star with a similar mass. We then propose a new class of quark star equation of states, which could be tested by future high-precision radius measurements of pulsar-like objects.


title: Strong pathwise solution and large deviation principle for the stochastic Boussinesq equations with partial diffusion term

abstract: We establish the existence and uniqueness of local strong pathwise solutions to the stochastic Boussinesq equations with partial diffusion term forced by multiplicative noise on the torus in $\mathbb{R}^{d},d=2,3$. The solution is strong in both PDE and probabilistic sense.In the two dimensional case, we prove the global existence of strong solutions to the Boussinesq equations forced by additive noise using a suitable stochastic analogue of a logarithmic Gronwall's lemma. After the global existence and uniqueness of strong solutions are established, the large deviation principle (LDP) is proved by the weak convergence method. The weak convergence is shown by a tightness argument in the appropriate functional space.


title: Subcritical and critical generalized Zakharov-Kuznetsov equation posed on bounded rectangles

abstract: Initial-boundary value problem for the generalized Zakharov-Kuznetsov equation posed on a bounded rectangle is considered. Critical and subcritical powers in nonlinearity are studied.


title: An adaptive multiresolution discontinuous Galerkin method with artificial viscosity for scalar hyperbolic conservation laws in multidimensions

abstract: In this paper, we develop an adaptive multiresolution discontinuous Galerkin (DG) scheme for scalar hyperbolic conservation laws in multidimensions. Compared with previous work for linear hyperbolic equations \cite{guo2016transport, guo2017adaptive}, a class of interpolatory multiwavelets are applied to efficiently compute the nonlinear integrals over elements and edges in DG schemes. The resulting algorithm, therefore can achieve similar computational complexity as the sparse grid DG method for smooth solutions. Theoretical and numerical studies are performed taking into consideration of accuracy and stability with regard to the choice of the interpolatory multiwavelets. Artificial viscosity is added to capture the shock and only acts on the leaf elements taking advantages of the multiresolution representation. Adaptivity is realized by auto error thresholding based on hierarchical surplus. Accuracy and robustness are demonstrated by several numerical tests.


title: DAWN: Dynamic Adversarial Watermarking of Neural Networks

abstract: Training machine learning (ML) models is expensive in terms of computational power, amounts of labeled data and human expertise. Thus, ML models constitute intellectual property (IP) and business value for their owners. Embedding digital watermarks during model training allows a model owner to later identify their models in case of theft or misuse. However, model functionality can also be stolen via model extraction, where an adversary trains a surrogate model using results returned from a prediction API of the original model. Recent work has shown that model extraction is a realistic threat. Existing watermarking schemes are ineffective against IP theft via model extraction since it is the adversary who trains the surrogate model. In this paper, we introduce DAWN (Dynamic Adversarial Watermarking of Neural Networks), the first approach to use watermarking to deter model extraction IP theft. Unlike prior watermarking schemes, DAWN does not impose changes to the training process but it operates at the prediction API of the protected model, by dynamically changing the responses for a small subset of queries (e.g., <0.5%) from API clients. This set is a watermark that will be embedded in case a client uses its queries to train a surrogate model. We show that DAWN is resilient against two state-of-the-art model extraction attacks, effectively watermarking all extracted surrogate models, allowing model owners to reliably demonstrate ownership (with confidence $>1- 2^{-64}$), incurring negligible loss of prediction accuracy (0.03-0.5%).


title: Evidence for $Z_{c}^{\pm}$ decays into the $\rho^{\pm} \eta_{c}$ final state

abstract: We study $e^{+}e^{-}$ collisions with a $\pi^{+}\pi^{-}\pi^{0}\eta_{c}$ final state using data samples collected with the BESIII detector at center-of-mass energies $\sqrt{s}=4.226$, $4.258$, $4.358$, $4.416$, and $4.600$ GeV. Evidence for the decay $\zcpm\to\rhopm\etac$ is reported with a statistical significance of $3.9\sigma$ with various systematic uncertainties taken into account at $\sqrt{s} = 4.226$ GeV, and the Born cross section times branching fraction $\sigma^{B}(\EE\to \pimp\zcpm)\times \BR(\zcpm\to\rhopm\etac)$ is measured to be $(48 \pm 11 \pm 11)\,\rm{pb}$. The $\zcpm\to \rhopm\etac$ signal is not significant at the other center-of-mass energies and the corresponding upper limits are determined. In addition, no significant signal is observed in a search for $\zcppm\to \rho^{\pm}\etac$ with the same data samples. The ratios $R_{\zc}=\BR(\zcpm\to \rho^{\pm} \etac)/\BR(\zcpm\to \pi^{\pm} \jpsi)$ and $R_{\zcp}=\BR(\zcppm\to \rho^{\pm} \etac)/\BR(\zcppm\to \pi^{\pm} \hc)$ are obtained and used to discriminate between different theoretical interpretations of the $\zcpm$ and $\zcppm$.


title: Physical properties of CeIrSi with trillium-lattice frustrated magnetism

abstract: Magnetic ($\chi$), transport ($\rho$) and heat capacity ($C_m$)properties of CeIrSi are investigated to elucidate the effect of geometric frustration in this compound with trillium type structure because, notwithstanding its robust effective moment, $\mu_{\rm eff}\approx 2.46\mu_B$, this Ce-lattice compound does not undergo a magnetic transition. In spite of that it shows broad $C_m(T)/T$ and $\chi(T)$ maxima centered at $T_{max}\approx 1.5$\,K, while a $\rho \propto T^2$ thermal dependence, characteristic of electronic spin coherent fluctuations, is observed below $T_{coh} \approx 2.5$\,K. Magnetic field does not affect significantly the position of the mentioned maxima up to $\approx 1$\,T, though $\chi(T)$ shows an incipient structure that completely vanishes at $\mu_0 H \approx 1$\,T. Concerning the $\rho \propto T^2$ dependence, it is practically not affected by magnetic field up to $\mu_0 H = 9$\,T, with the residual resistivity $\rho_0(H)$ slightly decreasing and $T_{coh}(H)$ increasing. These results are compared with the physical properties observed in other frustrated intermetallic compounds


title: Turning the nuclear energy density functional method into a proper effective field theory: reflections

abstract: Nuclear energy density functionals (EDFs) have a long history of success in reproducing properties of nuclei across the table of the nuclides. They capture quantitatively the emergent features of bound nuclei, such as nuclear saturation and pairing, yet greater accuracy and improved uncertainty quantification are actively sought. Implementations of phenomenological EDFs are suggestive of effective field theory (EFT) formulations and there are hints of an underlying power counting. Multiple paths are possible in trying to turn the nuclear EDF method into a proper EFT. I comment on the current situation and speculate on how to proceed using an effective action formulation.


title: Cache Contention on Multicore Systems: An Ontology-based Approach

abstract: Multicore processors have proved to be the right choice for both desktop and server systems because it can support high performance with an acceptable budget expenditure. In this work, we have compared several works in cache contention and found that such works have identified several techniques for cache contention other than cache size including FSB, Memory Controller and prefetching hardware. We found that Distributed Intensity Online (DIO) is a very promising cache contention algorithm since it can achieve up to 2% from the optimal technique. Moreover, we propose a new framework for cache contention based on resource ontologies. In which ontologies instances will be used for communication between diverse processes instead of grasping schedules based on hardware.


title: Motional Dynamical Decoupling for Matter-Wave Interferometry

abstract: Matter-wave interferometry provides a remarkably sensitive tool for probing minute forces and, potentially, the foundations of quantum physics by making use of interference between spatially separated matter waves. Furthering this development requires ever-increasing stability of the interferometer, typically achieved by improving its physical isolation from the environment. Here we introduce as an alternative strategy the concept of dynamical decoupling applied to spatial degrees of freedom of massive objects. We show that the superposed matter waves can be driven along paths in space that render their superposition resilient to many important sources of noise. As a concrete implementation, we present the case of matter-wave interferometers in a magnetic field gradient based on either levitated or free-falling nanodiamonds hosting a color center. We present an in-depth analysis of potential sources of decoherence in such a setup and of the ability of our protocol to suppress them. These effects include gravitational forces, interactions of the net magnetic and dipole moments of the diamond with magnetic and electric fields, surface dangling bonds, rotational degrees of freedom, Casimir-Polder forces, and diamagnetic forces. Contrary to previous analyses, diamagnetic forces are not negligible in this type of interferometers and, if not acted upon lead to small separation distances that scale with the inverse of the magnetic field gradient. We show that our motional dynamical decoupling strategy renders the system immune to such limitations while continuing to protect its coherence from environmental influences, achieving a linear-in-time growth of the separation distance independent of the magnetic field gradient. Hence, motional dynamical decoupling may become an essential tool in driving the sensitivity of matter-wave interferometry to the next level.


title: Fast component re-emission in Xe-doped liquid argon

abstract: We present the first direct experimental confirmation of the fast component re-emission in liquid argon (LAr) doped with xenon (Xe). This effect was studied at various Xe concentrations up to $\sim$3000 ppm. The rate constant of energy transfer for the fast component was quantified. It was shown that LAr doped with a high concentration of Xe without TPB has a better PSD efficiency than pure LAr or Xe-doped LAr with TPB. The stability of LAr+Xe mixture was tested for the first time at high Xe concentration for long continuous runtimes.


title: Optomechanical cooling with intracavity squeezed light

abstract: We analyze the performance of optomechanical cooling of a mechanical resonator in the presence of a degenerate optical parametric amplifier within the optomechanical cavity, which squeezes the cavity light. We demonstrate that this allows to significantly enhance the cooling efficiency via the coherent suppression of Stokes scattering. The enhanced cooling occurs also far from the resolved sideband regime, and we show that this cooling scheme can be more efficient than schemes realized by injecting a squeezed field into the optomechanical cavity.


title: Searching for black hole echoes from the LIGO-Virgo Catalog GWTC-1

abstract: We have examined gravitational wave echo signals for nine binary black hole merger events observed by Advanced LIGO and Virgo during the first and second observation runs. To construct an echo template, we consider Kerr spacetime, where the event horizon is replaced by a reflective membrane. We use frequency-dependent reflection rate at the angular potential barrier, which is fitted to the numerical data obtained by solving Teukolsky equations. This reflection rate gives a frequency-dependent transmission rate that is suppressed at lower frequencies in the template. We also take into account the overall phase shift of the waveform as a parameter, which arises when the wave is reflected at the membrane and potential barrier. Using this template based on black hole perturbation, we find no significant echo signals in the binary black hole merger events.


title: Gendered Ambiguous Pronouns Shared Task: Boosting Model Confidence by Evidence Pooling

abstract: This paper presents a strong set of results for resolving gendered ambiguous pronouns on the Gendered Ambiguous Pronouns shared task. The model presented here draws upon the strengths of state-of-the-art language and coreference resolution models, and introduces a novel evidence-based deep learning architecture. Injecting evidence from the coreference models compliments the base architecture, and analysis shows that the model is not hindered by their weaknesses, specifically gender bias. The modularity and simplicity of the architecture make it very easy to extend for further improvement and applicable to other NLP problems. Evaluation on GAP test data results in a state-of-the-art performance at 92.5% F1 (gender bias of 0.97), edging closer to the human performance of 96.6%. The end-to-end solution presented here placed 1st in the Kaggle competition, winning by a significant lead. The code is available at https://github.com/sattree/gap.


title: Bismuth-doped Ga2O3 as candidate for p-type transparent conducting material

abstract: Gallium oxide (Ga2O3) is a wide-band-gap semiconductor promising for UV sensors and high power transistor applications, with Baliga's figure of merit that far exceeds those of GaN and SiC, second only to diamond. Engineering its band structure through alloying will broaden its range of applications. Using hybrid density functional calculations we study the effects on adding Bi to Ga2O3. While in III-V semiconductors, such as GaAs and InAs, Bi tend to substitute on the pnictide site, we find that in Ga2O3, Bi prefers to substitute on the Ga site, resulting in dilute (Ga_{1-x}Bi_{x})2O3 alloys with unique electronic structure properties. Adding a few percent of Bi reduces the band gap of Ga2O3 by introducing an intermediate valence band that is significantly higher in energy than the valence band of the host material. This intermediate valence band is composed mainly of Bi 6s and O 2p orbitals, and it is sufficiently high in energy to provide opportunity for p-type doping.


title: A Beurling-Blecher-Labuschagne theorem for Haagerup noncommutative $L^p$ spaces

abstract: Let $\mathcal{M}$ be a $\sigma$-finite von Neumann algebra, equipped with a normal faithful state $\varphi$, and let $\mathcal{A}$ be maximal subdiagonal subalgebra of $\mathcal{M}$ and $1\le p<\8$. We prove a Beurling-Blecher-Labuschagne type theorem for $\mathcal{A}$-invariant subspaces of Haagerup noncommutative $L^p(\mathcal{M})$ and give a characterization of outer operators in Haagerup noncommutative $H^{p}$-spaces associated with $\mathcal{A}$.


title: Electron Correlation in the Lanthanides: $4f^2$ spectrum of Ce$^{2+}$

abstract: Atoms and ions of Lanthanides have multiple opens shells along with an open $4f^k$ subshell. This paper studies the effect of electron correlation in such systems and how wave functions can be determined for the accurate prediction of atomic properties in the case of Ce$^{2+}$ where $k=2$, using the multireference single- and double-excitation method. An efficient higher-order method is recommended for more reliable results.


title: Towers and gaps at uncountable cardinals

abstract: Our goal is to study the pseudo-intersection and tower numbers on uncountable regular cardinals, whether these two cardinal characteristics are necessarily equal, and related problems on the existence of gaps. First, we prove that either $\mathfrak p(\kappa)=\mathfrak t(\kappa)$ or there is a $(\mathfrak p(\kappa),\lambda)$-gap of club-supported slaloms for some $\lambda< \mathfrak p(\kappa)$. While the existence of such gaps is unclear, this is a promising step to lift Malliaris and Shelah's proof of $\mathfrak p=\mathfrak t$ to uncountable cardinals. We do analyze gaps of slaloms and, in particular, show that $\mathfrak p(\kappa)$ is always regular; the latter extends results of Garti. Finally, we turn to club variants of $\mathfrak p(\kappa)$ and present a new model for the inequality $\mathfrak{p}(\kappa) = \kappa^+ < \mathfrak{p}_{cl}(\kappa) = 2^\kappa$. In contrast to earlier arguments by Shelah and Spasojevic, we achieve this by adding $\kappa$-Cohen reals and then successively diagonalising the club-filter; the latter is shown to preserve a Cohen witness to $\mathfrak{p}(\kappa) = \kappa^+$.


title: Single-atom quantum probes for ultracold gases using nonequilibrium spin dynamics

abstract: Quantum probes are atomic-sized devices mapping information of their environment to quantum mechanical states. By improving measurements and at the same time minimizing perturbation of the environment, they form a central asset for quantum technologies. We realize spin-based quantum probes by immersing individual Cs atoms into an ultracold Rb bath. Controlling inelastic spin-exchange processes between probe and bath allows mapping motional and thermal information onto quantum-spin states. We show that the steady-state spin-population is well suited for absolute thermometry, reducing temperature measurements to detection of quantum spin distributions. Moreover, we find that the information gain per inelastic collision can be maximized by accessing the nonequilibrium spin dynamic. The sensitivity of nonequilibrium quantum probing effectively beats the steady-state Cram\'er Rao limit of quantum probing by almost an order of magnitude, while reducing the perturbation of the bath to only three quanta of angular momentum. Our work paves the way for local probing of quantum systems at the Heisenberg limit, and moreover for optimizing measurement strategies via control of nonequilibrium dynamics.


title: Non-Orthogonal Bases for Quantum Metrology

abstract: Many quantum statistical models are most conveniently formulated in terms of non-orthonormal bases. This is the case, for example, when mixtures and superpositions of coherent states are involved. In these instances, we show that the analytical evaluation of the quantum Fisher information may be greatly simplified by bypassing both the diagonalization of the density matrix and the orthogonalization of the basis. The key ingredient in our method is the Gramian matrix (i.e. the matrix of scalar products between basis elements), which may be interpreted as a metric tensor for index contraction. As an application, we derive novel analytical results for several estimation problems involving noisy Schroedinger cat states.


title: A first-principles study on the lattice thermal conductivity of irradiated glassy states of the Ge$_2$Sb$_2$Te$_5$ phase-change memory material

abstract: An analysis of thermal transients from non-equilibrium ab initio molecular-dynamics simulations can be used to calculate the thermal conductivity of materials with a short phonon mean-free path. We adapt the approach-to-equilibrium methodology to the three-dimensional case of a simulation that consists of a cubic core region at higher temperature approaching thermal equilibrium with a thermostatted boundary. This leads to estimates of the lattice thermal conductivity for the glassy state of the phase-change memory material, Ge$_2$Sb$_2$Te$_5$, which are close to previously reported experimental measurements. Self-atom irradiation of the material, modelled using thermal spikes and stochastic-boundary conditions, results in glassy models with a significant reduction of the lattice thermal conductivity compared to the pristine glassy structure. This approach may prove to be useful in technological applications, e.g. for the suppression of thermal cross-talk in phase-change memory and data-storage devices.


title: A novel approach to the study of critical systems

abstract: We introduce a novel approach to study the critical behavior of equilibrium and non-equilibrium systems which is based on the concept of an instantaneous correlation length. We analyze in detail two classical statistical mechanical systems: the XY model and the Ising model, and one of the prototype models of Self-Organized Criticality: the forest fire model (FFM). The proposed method can both capture the critical behavior of the XY model and the Ising model and discriminate between the nature of the phase transition in the two scenarios. When applied to the FFM, it gives surprising results, suggesting that the model could be critical despite displaying broken scaling in the distribution of cluster sizes.


title: On equivalence problem for 2--nondegenerate CR geometries with simple models

abstract: In this article, we solve the equivalence problem for 2--nondegenerate CR geometries that have (at every point) a homogeneous space $G/H$ as a maximally symmetric model for $G$ simple real Lie group of CR automorphisms. This completes the classification of real submanifolds in complex space that are maximally symmetric models with a real simple CR automorphism group. In particular, we construct (local) embeddings of these models into complex space.


title: On the complexity of classes of uncountable structures: trees on $\aleph_1$

abstract: We analyse the complexity of the class of (special) Aronszajn, Suslin and Kurepa trees in the projective hierarchy of the higher Baire-space $\omega_1^{\omega_1}$. First, we will show that none of these classes have the Baire property (unless they are empty). Moreover, under $(V=L)$, (a) the class of Aronszajn and Suslin trees is $\Pi_1^1$-complete, (b) the class of special Aronszajn trees is $\Sigma_1^1$-complete, and (c) the class of Kurepa trees is $\Pi^1_2$-complete. We achieve these results by finding nicely definable reductions that map subsets $X$ of $\omega_1$ to trees $T_X$ so that $T_X$ is in a given tree-class $\mathcal T$ if and only if $X$ is stationary/non-stationary (depending on the class $\mathcal T$). Finally, we present models of CH where these classes have lower projective complexity.


title: Opportunistic Data Ferrying in Areas with Limited Information and Communications Infrastructure

abstract: Interest in smart cities is rapidly rising due to the global rise in urbanization and the wide-scale instrumentation of modern cities. Due to the considerable infrastructural cost of setting up smart cities and smart communities, researchers are exploring the use of existing vehicles on the roads as "message ferries" for the transport data for smart community applications to avoid the cost of installing new communication infrastructure. In this paper, we propose an opportunistic data ferry selection algorithm that strives to select vehicles that can minimize the overall delay for data delivery from a source to a given destination. Our proposed opportunistic algorithm utilizes an ensemble of online hiring algorithms, which are run together in passive mode, to select the online hiring algorithm that has performed the best in recent history. The proposed ensemble based algorithm is evaluated empirically using real-world traces from taxies plying routes in Shanghai, China, and its performance is compared against a baseline of four state-of-the-art online hiring algorithms. A number of experiments are conducted and our results indicate that the proposed algorithm can reduce the overall delay compared to the baseline by an impressive 13% to 258%.


title: SpikeGrad: An ANN-equivalent Computation Model for Implementing Backpropagation with Spikes

abstract: Event-based neuromorphic systems promise to reduce the energy consumption of deep learning tasks by replacing expensive floating point operations on dense matrices by low power sparse and asynchronous operations on spike events. While these systems can be trained increasingly well using approximations of the back-propagation algorithm, these implementations usually require high precision errors for training and are therefore incompatible with the typical communication infrastructure of neuromorphic circuits. In this work, we analyze how the gradient can be discretized into spike events when training a spiking neural network. To accelerate our simulation, we show that using a special implementation of the integrate-and-fire neuron allows us to describe the accumulated activations and errors of the spiking neural network in terms of an equivalent artificial neural network, allowing us to largely speed up training compared to an explicit simulation of all spike events. This way we are able to demonstrate that even for deep networks, the gradients can be discretized sufficiently well with spikes if the gradient is properly rescaled. This form of spike-based backpropagation enables us to achieve equivalent or better accuracies on the MNIST and CIFAR10 dataset than comparable state-of-the-art spiking neural networks trained with full precision gradients. The algorithm, which we call SpikeGrad, is based on accumulation and comparison operations and can naturally exploit sparsity in the gradient computation, which makes it an interesting choice for a spiking neuromorphic systems with on-chip learning capacities.


title: Hierarchical Auxiliary Learning

abstract: Conventional application of convolutional neural networks (CNNs) for image classification and recognition is based on the assumption that all target classes are equal(i.e., no hierarchy) and exclusive of one another (i.e., no overlap). CNN-based image classifiers built on this assumption, therefore, cannot take into account an innate hierarchy among target classes (e.g., cats and dogs in animal image classification) or additional information that can be easily derived from the data (e.g.,numbers larger than five in the recognition of handwritten digits), thereby resulting in scalability issues when the number of target classes is large. Combining two related but slightly different ideas of hierarchical classification and logical learning by auxiliary inputs, we propose a new learning framework called hierarchical auxiliary learning, which not only address the scalability issues with a large number of classes but also could further reduce the classification/recognition errors with a reasonable number of classes. In the hierarchical auxiliary learning, target classes are semantically or non-semantically grouped into superclasses, which turns the original problem of mapping between an image and its target class into a new problem of mapping between a pair of an image and its superclass and the target class. To take the advantage of superclasses, we introduce an auxiliary block into a neural network, which generates auxiliary scores used as additional information for final classification/recognition; in this paper, we add the auxiliary block between the last residual block and the fully-connected output layer of the ResNet. Experimental results demonstrate that the proposed hierarchical auxiliary learning can reduce classification errors up to 0.56, 1.6 and 3.56 percent with MNIST, SVHN and CIFAR-10 datasets, respectively.


title: Induced Charge Anisotropy: a Hidden Variable Affecting Ion Transport through Membranes

abstract: The ability of semipermeable membranes to selectively impede the transport of undesirable solutes is key to many applications. Yet, obtaining a systematic understanding of how membrane structure affects selectivity remains elusive due to the insufficient spatiotemporal resolution of existing experimental techniques, and the inaccessibility of relevant solute transport timescales to conventional molecular simulations. Here, we utilize jumpy forward-flux sampling to probe the transport of sodium and chloride ions through a graphitic membrane with sub-nm pores. We find chlorides to traverse the pore at rates over two orders of magnitude faster than sodiums. We also identify two major impediments to the transport of both ion types. In addition to the partial dehydration of the leading ion, its traversal induces charge anisotropy at its rear, which exerts a net restraining force on the ion. Charge anisotropy is therefore a crucial hidden variable controlling the kinetics of ion transport through nanopores.


title: Designing for Emergent Security in Heterogeneous Human-Machine Teams

abstract: This work seeks to design decisionmaking rules for autonomous agents to jointly influence and optimize the behavior of teamed human decisionmakers in the presence of an adversary. We study a situation in which computational jobs are scheduled on servers by a collection of autonomous machines in concert with self-interested human decisionmakers, and the human and machine schedulers must react to an adversary's attack on one of the servers. We show a simple machine scheduling policy such that if all schedulers have permission to schedule jobs on all servers, increasing the penetration of machine schedulers always increases the level of security in the system, even when the machine schedulers have no explicit coordination or communication amongst themselves. However, we show a companion result in which simple constraints on server availability can nullify the machine schedulers' ability to effectively influence human schedulers; here, even if machine schedulers control an overwhelming majority of jobs, are socially-aware, and fully coordinated amongst themselves, they are incapable of influencing human decisionmakers to mitigate the harm of an attack.