title: Deep UQ: Learning deep neural network surrogate models for high dimensional uncertainty quantification

abstract: State-of-the-art computer codes for simulating real physical systems are often characterized by a vast number of input parameters. Performing uncertainty quantification (UQ) tasks with Monte Carlo (MC) methods is almost always infeasible because of the need to perform hundreds of thousands or even millions of forward model evaluations in order to obtain convergent statistics. One, thus, tries to construct a cheap-to-evaluate surrogate model to replace the forward model solver. For systems with large numbers of input parameters, one has to deal with the curse of dimensionality - the exponential increase in the volume of the input space, as the number of parameters increases linearly. In this work, we demonstrate the use of deep neural networks (DNN) to construct surrogate models for numerical simulators. We parameterize the structure of the DNN in a manner that lends the DNN surrogate the interpretation of recovering a low dimensional nonlinear manifold. The model response is a parameterized nonlinear function of the low dimensional projections of the input. We think of this low dimensional manifold as a nonlinear generalization of the notion of the active subspace. Our approach is demonstrated with a problem on uncertainty propagation in a stochastic elliptic partial differential equation (SPDE) with uncertain diffusion coefficient. We deviate from traditional formulations of the SPDE problem by not imposing a specific covariance structure on the random diffusion coefficient. Instead, we attempt to solve a more challenging problem of learning a map between an arbitrary snapshot of the diffusion field and the response.


title: Automated lattice data generation

abstract: The process of generating ensembles of gauge configurations (and measuring various observables over them) can be tedious and error-prone when done "by hand". In practice, most of this procedure can be automated with the use of a workflow manager. We discuss how this automation can be accomplished using Taxi, a minimal Python-based workflow manager built for generating lattice data. We present a case study demonstrating this technology.


title: Parameter and Uncertainty Estimation for Dynamical Systems Using Surrogate Stochastic Processes

abstract: Inference on unknown quantities in dynamical systems via observational data is essential for providing meaningful insight, furnishing accurate predictions, enabling robust control, and establishing appropriate designs for future experiments. Merging mathematical theory with empirical measurements in a statistically coherent way is critical and challenges abound, e.g.,: ill-posedness of the parameter estimation problem, proper regularization and incorporation of prior knowledge, and computational limitations on full uncertainty qualification. To address these issues, we propose a new method for learning parameterized dynamical systems from data. In many ways, our proposal turns the canonical framework on its head. We first fit a surrogate stochastic process to observational data, enforcing prior knowledge (e.g., smoothness), and coping with challenging data features like heteroskedasticity, heavy tails and censoring. Then, samples of the stochastic process are used as "surrogate data" and point estimates are computed via ordinary point estimation methods in a modular fashion. An attractive feature of this approach is that it is fully Bayesian and simultaneously parallelizable. We demonstrate the advantages of our new approach on a predator prey simulation study and on a real world application involving within-host influenza virus infection data paired with a viral kinetic model.


title: Incremental Classifier Learning with Generative Adversarial Networks

abstract: In this paper, we address the incremental classifier learning problem, which suffers from catastrophic forgetting. The main reason for catastrophic forgetting is that the past data are not available during learning. Typical approaches keep some exemplars for the past classes and use distillation regularization to retain the classification capability on the past classes and balance the past and new classes. However, there are four main problems with these approaches. First, the loss function is not efficient for classification. Second, there is unbalance problem between the past and new classes. Third, the size of pre-decided exemplars is usually limited and they might not be distinguishable from unseen new classes. Forth, the exemplars may not be allowed to be kept for a long time due to privacy regulations. To address these problems, we propose (a) a new loss function to combine the cross-entropy loss and distillation loss, (b) a simple way to estimate and remove the unbalance between the old and new classes , and (c) using Generative Adversarial Networks (GANs) to generate historical data and select representative exemplars during generation. We believe that the data generated by GANs have much less privacy issues than real images because GANs do not directly copy any real image patches. We evaluate the proposed method on CIFAR-100, Flower-102, and MS-Celeb-1M-Base datasets and extensive experiments demonstrate the effectiveness of our method.


title: Raising the $\mathcal{PT}$ transition threshold by strong coupling to neutral chains

abstract: The $\mathcal{PT}$ symmetry breaking threshold in discrete realizations of systems with balanced gain and loss is determined by the effective coupling between the gain and loss sites. In one dimensional chains, this threshold is maximum when the two sites are closest to each other or the farthest. We investigate the fate of this threshold in the presence of parallel, strongly coupled, Hermitian (neutral) chains, and find that it is increased by a factor proportional to the number of neutral chains. We present numerical results and analytical arguments for this enhancement. We then consider the effects of adding neutral sites to $\mathcal{PT}$ symmetric dimer and trimer configurations and show that the threshold is more than doubled, or tripled by their presence. Our results provide a surprising way to engineer the $\mathcal{PT}$ threshold in experimentally accessible samples.


title: Modeling Coating Flow and Surfactant Dynamics inside the Alveolar Compartment

abstract: We derive a new model for the coating flow inside the alveolar compartment, taking into account pulmonary surfactant production and recycling by Type 2 cells as well as its degradation. As the thickness of alveolar coating is much smaller than the average radius of the alveoli, we employ the classical lubrication approximation to describe the thin liquid film dynamics in the presence of pulmonary surfactant, which is a surface tension reducing agent and thus prevents the lungs from collapse. In the lubrication limit, we derive a degenerate system of two coupled parabolic partial differential equations that describe the time evolution of the thickness of the coating film inside the alveoli together with that of the surfactant concentration at the interface. We present numerical simulations using parameter values consistent with experimental measurements.


title: Non-universality of the adiabatic chiral magnetic effect in a clean Weyl semimetal slab

abstract: The adiabatic chiral magnetic effect (CME) is a phenomenon by which a slowly oscillating magnetic field applied to a conducting medium induces an electric current in the instantaneous direction of the field. Here we theoretically investigate the effect in a ballistic Weyl semimetal sample having the geometry of a slab. We discuss why in a general situation the bulk and the boundary contributions towards the CME are comparable. We show, however, that under certain conditions the adiabatic CME is dominated by the Fermi arc states at the boundary. We find that despite the topologically protected nature of the Fermi arcs, their contribution to the CME is neither related to any topological invariant nor can generally be calculated within the bulk low-energy effective theory framework. For certain types of boundary, however, the Fermi arcs contribution to the CME can be found from the effective low energy Weyl Hamiltonian and the scattering phase characterising the collision of a Weyl excitation with the boundary.


title: Impact of near-PT symmetry on exciting solitons and interactions based on a complex Ginzburg-Landau model

abstract: We present and theoretically report the influence of a class of near-parity-time-(PT-) symmetric potentials with spectral filtering parameter $\alpha_2$ and nonlinear gain-loss coefficient $\beta_2$ on solitons in the complex Ginzburg-Landau (CGL) equation. The potentials do not admit entirely-real linear spectra any more due to the existence of coefficients $\alpha_2$ or $\beta_2$. However, we find that most stable exact solitons can exist in the second quadrant of the $(\alpha_2, \beta_2)$ space, including on the corresponding axes. More intriguingly, the centrosymmetric two points in the $(\alpha_2, \beta_2)$ space possess imaginary-axis (longitudinal-axis) symmetric linear-stability spectra. Furthermore, an unstable nonlinear mode can be excited to another stable nonlinear mode by the adiabatic change of $\alpha_2$ and $\beta_2$. Other fascinating properties associated with the exact solitons are also examined in detail, such as the interactions and energy flux. These results are useful for the related experimental designs and applications.


title: Hierarchical evolutive systems, fuzzy categories and the living single cell

abstract: In this article, the theory of hierarchical evolutive systems of Ehresmann and Vandremeersch [Bull. Math. Bio. 49, 13-50 (1987)] is improved by considering the categories of the theory as fuzzy sets whose elements are the composite objects formed by the arrows and corresponding vertices of their embedded graphs. This way each category can be represented as a point in the states space [0.1]**N. The introduction of a diffeomorphism, that acts in this context as a functor between categories, allows to define a measure preserving dynamical system. In particular, we apply this formalism to describe a living single cell. We propose for its state at a given time a hirerchical category with three levels (molecular, coarse-grained and cellular levels) related by adequate colimits. Each level involves the main functional and structural modules in which the cell can be partitioned. The time evolution of the cell is drived by a transformation which is a N-dimensional generalization of the Ricker map whose parameters we propose to be determined by requiring that, as hallmark of its behavior, the living cell to evolve at the edge of chaos. From the dynamical point of view this property manifests in the fact that the largest Lyapunov exponent is equal to zero. Since in a rather complete model of the living cell the huge number of involved parameters can make of the calculations a hard task, we also propose a toy model, with fewer parameters to be determined, which emphasizes the cellular fission.


title: Seeds of Life in Space (SOLIS). III. Zooming into the methanol peak of the pre-stellar core L1544

abstract: Towards the pre-stellar core L1544, the methanol (CH$_3$OH) emission forms an asymmetric ring around the core centre, where CH$_3$OH is mostly in solid form, with a clear peak 4000~au to the north-east of the dust continuum peak. As part of the NOEMA Large Project SOLIS (Seeds of Life in Space), the CH$_3$OH peak has been spatially resolved to study its kinematics and physical structure and to investigate the cause behind the local enhancement. We find that methanol emission is distributed in a ridge parallel to the main axis of the dense core. The centroid velocity increases by about 0.2~km~s$^{-1}$ and the velocity dispersion increases from subsonic to transonic towards the central zone of the core, where the velocity field also shows complex structure. This could be indication of gentle accretion of material onto the core or interaction of two filaments, producing a slow shock. We measure the rotational temperature and show that methanol is in local thermodynamic equilibrium (LTE) only close to the dust peak, where it is significantly depleted. The CH$_3$OH column density, $N_{tot}({\rm CH_3OH})$, profile has been derived with non-LTE radiative transfer modelling and compared with chemical models of a static core. The measured $N_{tot}({\rm CH_3OH})$ profile is consistent with model predictions, but the total column densities are one order of magnitude lower than those predicted by models, suggesting that the efficiency of reactive desorption or atomic hydrogen tunnelling adopted in the model may be overestimated; or that an evolutionary model is needed to better reproduce methanol abundance.


title: The Black Hole Accretion Code: adaptive mesh refinement and constrained transport

abstract: With the forthcoming VLBI images of Sgr A* and M87, simulations of accretion flows onto black holes acquire a special importance to aid with the interpretation of the observations and to test the predictions of different accretion scenarios, including those coming from alternative theories of gravity. The Black Hole Accretion Code (BHAC) is a new multidimensional general-relativistic magnetohydrondynamics (GRMHD) module for the MPI-AMRVAC framework. It exploits its adaptive mesh refinement techniques (AMR) to solve the equations of ideal magnetohydrodynamics in arbitrary curved spacetimes with a significant speedup and saving in computational cost. In a previous work, this was shown using a Generalized Lagrange Multiplier (GLM) to enforce the solenoidal constraint of the magnetic field. While GLM is fully compatible with MPI-AMRVAC's AMR infrastructure, we found that simulations were sensible to the divergence control technique employed, resulting in an improved behavior for those using Constrained Transport (CT). However, cell-centered CT is incompatible with AMR, and several modifications were required to make AMR compatible with staggered CT. We present here preliminary results of these new additions, which achieved machine precision fulfillment of the solenoidal constraint and a significant speedup in a problem close to the intended scientific application.


title: Spin wave emission by spin-orbit torque antennas

abstract: We study the generation of propagating spin waves in Ta/CoFeB waveguides by spin-orbit torque antennas and compare them to conventional inductive antennas. The spin-orbit torque was generated by a transverse microwave current across the magnetic waveguide. The detected spin wave signals for an in-plane magnetization across the waveguide (Damon-Eshbach configuration) exhibited the expected phase rotation and amplitude decay upon propagation when the current spreading was taken into account. Wavevectors up to about 6 rad/$\mu$m could be excited by the spin-orbit torque antennas despite the current spreading, presumably due to the non-uniformity of the microwave current. The relative magnitude of generated anti-damping spin-Hall and Oersted fields was calculated within an analytic model and it was found that they contribute approximately equally to the total effective field generated by the spin-orbit torque antenna. Due to the ellipticity of the precession in the ultrathin waveguide and the different orientation of the anti-damping spin-Hall and Oersted fields, the torque was however still dominated by the Oersted field. The prospects for obtaining a pure spin-orbit torque response are discussed, as are the energy efficiency and the scaling properties of spin-orbit torque antennas.


title: Projections of the Aldous chain on binary trees: Intertwining and consistency

abstract: Consider the Aldous Markov chain on the space of rooted binary trees with $n$ labeled leaves in which at each transition a uniform random leaf is deleted and reattached to a uniform random edge. Now, fix $1\le k < n$ and project the leaf mass onto the subtree spanned by the first $k$ leaves. This yields a binary tree with edge weights that we call a "decorated $k$-tree with total mass $n$." We introduce label swapping dynamics for the Aldous chain so that, when it runs in stationarity, the decorated $k$-trees evolve as Markov chains themselves, and are projectively consistent over $k\le n$. The construction of projectively consistent chains is a crucial step in the construction of the Aldous diffusion on continuum trees by the present authors, which is the $n\rightarrow \infty$ continuum analogue of the Aldous chain and will be taken up elsewhere. Some of our results have been generalized to Ford's alpha model trees.


title: Note: Formation of the nematic splay-bend in two-dimensional systems of bow-shaped particles

abstract: Recently, Tavarone et al. (J. Chem. Phys. 143, 114505 (2015)) discussed phase behavior of zig-zag and bow-shaped particles composed of three needles. The authors presented very interesting results of extensive Monte Carlo simulations with periodic boundary conditions in the constant-NVT and the constant-NPT ensembles. In addition to isotropic, nematic, and smectic phases, they identified a modulated nematic, which is actually the nematic splay-bend phase ($N_{SB}$), long-anticipated for bent-core systems (Europhys. Lett. 56, 247 (2001)). They also described isotropic-nematic and nematic-smectic transitions using Density Functional Theory in mean-field approximation. The authors, however, did not provided a theoretical description of the $N_{SB}$. Here, we present a simple theory of a phase transition to the $N_{SB}$ phase to fill the gap. In our study, we use Onsager-type Density Functional Theory with perfect order approximation and Meyer parametrization of modulated structures. We present results for arbitrary ratios of the length of central and side segments and opening angles of bow-shaped particles.


title: Onto2Vec: joint vector-based representation of biological entities and their ontology-based annotations

abstract: We propose the Onto2Vec method, an approach to learn feature vectors for biological entities based on their annotations to biomedical ontologies. Our method can be applied to a wide range of bioinformatics research problems such as similarity-based prediction of interactions between proteins, classification of interaction types using supervised learning, or clustering.


title: Essential core of the Hawking--Ellis types

abstract: The Hawking-Ellis (Segre-Plebanski) classification of possible stress-energy tensors is an essential tool in analyzing the implications of the Einstein field equations in a more-or-less model-independent manner. In the current article the basic idea is to simplify the Hawking-Ellis type I, II, III, and IV classification by isolating the "essential core" of the type II, type III, and type IV stress-energy tensors; this being done by subtracting (special cases of) type I to simplify the (Lorentz invariant) eigenvalue structure as much as possible without disturbing the eigenvector structure. We will denote these "simplified cores" type II$_0$, type III$_0$, and type IV$_0$. These "simplified cores" have very nice and simple algebraic properties. Furthermore, types I and II$_0$ have very simple classical interpretations, while type IV$_0$ is known to arise semi-classically (in renormalized expectation values of standard stress-energy tensors). In contrast type III$_0$ stands out in that it has neither a simple classical interpretation, nor even a simple semi-classical interpretation. We will also consider the robustness of this classification considering the stability of the different Hawking-Ellis types under perturbations. We argue that types II and III are definitively unstable, whereas types I and IV are stable.


title: Is Self-Interference in Full-Duplex Communications a Foe or a Friend?

abstract: This paper studies the potential of harvesting energy from the self-interference of a full-duplex base station. The base station is equipped with a self-interference cancellation switch, which is turned-off for a fraction of the transmission period for harvesting the energy from the self-interference that arises due to the downlink transmission. For the remaining transmission period, the switch is on such that the uplink transmission takes place simultaneously with the downlink transmission. A novel energy-efficiency maximization problem is formulated for the joint design of downlink beamformers, uplink power allocations and transmission time-splitting factor. The optimization problem is nonconvex, and hence, a rapidly converging iterative algorithm is proposed by employing the successive convex approximation approach. Numerical simulation results show significant improvement in the energy-efficiency by allowing self-energy recycling.


title: Actions of semitopological groups

abstract: We investigate continuous transitive actions of semitopological groups on spaces, as well as separately continuous transitive actions of topological groups.


title: Bayesian Renewables Scenario Generation via Deep Generative Networks

abstract: We present a method to generate renewable scenarios using Bayesian probabilities by implementing the Bayesian generative adversarial network~(Bayesian GAN), which is a variant of generative adversarial networks based on two interconnected deep neural networks. By using a Bayesian formulation, generators can be constructed and trained to produce scenarios that capture different salient modes in the data, allowing for better diversity and more accurate representation of the underlying physical process. Compared to conventional statistical models that are often hard to scale or sample from, this method is model-free and can generate samples extremely efficiently. For validation, we use wind and solar times-series data from NREL integration data sets to train the Bayesian GAN. We demonstrate that proposed method is able to generate clusters of wind scenarios with different variance and mean value, and is able to distinguish and generate wind and solar scenarios simultaneously even if the historical data are intentionally mixed.


title: Flip Graphs, Yoke Graphs and Diameter

abstract: In this paper we introduce Yoke graphs, a family of flip graphs that generalizes several previously studied families of graphs: colored triangle free triangulations, arc permutations and caterpillars. Our main result is the computation of the diameter of an arbitrary Yoke graph.


title: Box counting dimensions of generalised fractal nests

abstract: Fractal nests are sets defined as unions of unit $n$-spheres scaled by a sequence of $k^{-\alpha}$ for some $\alpha>0$. In this article we generalise the concept to subsets of such spheres and find the formulas for their box counting dimensions. We introduce some novel classes of parameterised fractal nests and apply these results to compute the dimensions with respect to these parameters. We also show that these dimensions can be seen numerically. These results motivate further research that may explain the unintuitive behaviour of box counting dimensions for nest-type fractals, and in general the class of sets where the box-counting dimension differs from the Hausdorff dimension.


title: Two-Phase Heating in Flaring Loops

abstract: We analyze and model a C5.7 two-ribbon solar flare observed by SDO, Hinode and GOES on 2011 December 26. The flare is made of many loops formed and heated successively over one and half hours, and their footpoints are brightened in the UV 1600 A before enhanced soft X-ray and EUV missions are observed in flare loops. Assuming that anchored at each brightened UV pixel is a half flaring loop, we identify more than 6,700 half flaring loops, and infer the heating rate of each loop from the UV light curve at the foot-point. In each half loop, the heating rate consists of two phases, an intense impulsive heating followed by a low-rate heating persistent for more than 20 minutes. Using these heating rates, we simulate the evolution of their coronal temperatures and densities with the model of "enthalpy-based thermal evolution of loops" (EBTEL). In the model, suppression of thermal conduction is also considered. This model successfully reproduces total soft X-ray and EUV light curves observed in fifteen pass-bands by four instruments GOES, AIA, XRT, and EVE. In this flare, a total energy of 4.9x10^30 ergs is required to heat the corona, around 40% of this energy is in the slow heating phase. About two fifth of the total energy used to heat the corona is radiated by the coronal plasmas, and the other three fifth transported to the lower atmosphere by thermal conduction.


title: Load-Balanced Fractional Repetition Codes

abstract: We introduce load-balanced fractional repetition (LBFR) codes, which are a strengthening of fractional repetition (FR) codes. LBFR codes have the additional property that multiple node failures can be sequentially repaired by downloading no more than one block from any other node. This allows for better use of the network, and can additionally reduce the number of disk reads necessary to repair multiple nodes. We characterize LBFR codes in terms of their adjacency graphs, and use this characterization to present explicit constructions LBFR codes with storage capacity comparable existing FR codes. Surprisingly, in some parameter regimes, our constructions of LBFR codes match the parameters of the best constructions of FR codes.


title: Machine Learning Modeling of Wigner Intracule Functionals for Two Electrons in One Dimension

abstract: In principle, many-electron correlation energy can be precisely computed from a reduced Wigner distribution function ($\mathcal{W}$) thanks to a universal functional transformation ($\mathcal{F}$), whose formal existence is akin to that of the exchange-correlation functional in density functional theory. While the exact dependence of $\mathcal{F}$ on $\mathcal{W}$ is unknown, a few approximate parametric models have been proposed in the past. Here, for a dataset of 923 one-dimensional external potentials with two interacting electrons, we apply machine learning to model $\mathcal{F}$ within the kernel Ansatz. We deal with over-fitting of the kernel to a specific region of phase-space by a one-step regularization not depending on any hyperparameters. Reference correlation energies have been computed by performing exact and Hartree--Fock calculations using discrete variable representation. The resulting models require $\mathcal{W}$ calculated at the Hartree--Fock level as input while yielding monotonous decay in the predicted correlation energies of new molecules reaching sub-chemical accuracy with training.


title: Quantum phase diagram of spin-$1$ $J_1-J_2$ Heisenberg model on the square lattice: an infinite projected entangled-pair state and density matrix renormalization group study

abstract: We study the spin-$1$ Heisenberg model on the square lattice with the antiferromagnetic nearest-neighbor $J_1$ and the next-nearest-neighbor $J_2$ couplings by using the infinite projected entangled-pair state (iPEPS) ansatz and density matrix renormalization group (DMRG) calculation. The iPEPS simulation, which studies the model directly in the thermodynamic limit, finds a crossing of the ground state from the N\'eel magnetic state to the stripe magnetic state at $J_2/J_1 \simeq 0.549$, showing a direct phase transition. In the finite-size DMRG calculation on the cylinder geometry up to the cylinder width $L_y = 10$, we find a very small intermediate regime $\sim 0.005 J_1$ between the two magnetic order phases, which may imply the absent intermediate phase. Both calculations identify that the stripe order comes with a first-order transition at $J_2/J_1 \simeq 0.549$. Our results indicate that unlike the spin-$1/2$ $J_1-J_2$ square model, quantum fluctuations in the spin-$1$ model may be not strong enough to stabilize an intermediate non-magnetic phase.


title: On taking advantage of multiple requests in error correcting codes

abstract: In most notions of locality in error correcting codes -- notably locally recoverable codes (LRCs) and locally decodable codes (LDCs) -- a decoder seeks to learn a single symbol of a message while looking at only a few symbols of the corresponding codeword. However, suppose that one wants to recover r > 1 symbols of the message. The two extremes are repeating the single-query algorithm r times (this is the intuition behind LRCs with availability, primitive multiset batch codes, and PIR codes) or simply running a global decoding algorithm to recover the whole thing. In this paper, we investigate what can happen in between these two extremes: at what value of r does repetition stop being a good idea? In order to begin to study this question we introduce robust batch codes, which seek to find r symbols of the message using m queries to the codeword, in the presence of erasures. We focus on the case where r = m, which can be seen as a generalization of the MDS property. Surprisingly, we show that for this notion of locality, repetition is optimal even up to very large values of $r = \Omega(k)$.


title: Observation of guided acoustic waves in a human skull

abstract: Human skull poses a significant barrier for the propagation of ultrasound waves. Development of methods enabling more efficient ultrasound transmission into and from the brain is therefore critical for the advancement of ultrasound-mediated transcranial imaging or actuation techniques. We report on the first observation of guided acoustic waves in the near-field of an ex vivo human skull specimen in the frequency range between 0.2 and 1.5 MHz. In contrast to what was previously observed for the guided wave propagation in thin rodent skulls, the guided wave observed in a higher frequency regime corresponds to a quasi-Rayleigh wave, mostly confined to the cortical bone layer. The newly discovered near-field properties of the human skull are expected to facilitate the development of more efficient diagnostic and therapeutic techniques based on transcranial ultrasound.


title: Small sphere limit of the quasi-local energy with anti de-Sitter space reference

abstract: In [13], a new quasi-local energy is introduced for spacetimes with a non-zero cosmological constant. In this article, we study the small sphere limit of this newly defined quasi-local energy for spacetimes with a negative cosmological constant. For such spacetimes, the anti de-Sitter space is used as the reference for the quasi-local energy. Given a point $p$ in a spacetime $N$, we consider a canonical family of surfaces approaching $p$ along its future null cone and evaluate the limit of the quasi-local energy. The optimal embedding equation which identifies the critical points of the quasi-local energy is solved in order to evaluate the limit. Using the optimal embedding, we show that the limit recovers the stress-energy tensor of the matter field at $p$. For vacuum spacetimes, the quasi-local energy vanishes to a higher order. In this case, the limit of the quasi-local energy is related to the Bel-Robinson tensor at $p$.


title: DECam Survey for Low-Mass Stars and Substellar Objects in the UCL and LCC Subgroups of the Sco-Cen OB Association (SCOCENSUS)

abstract: Using images taken with the Dark Energy Camera (DECam), the first extensive survey of low mass and substellar objects is made in the 15-20 Myr Upper Centaurus Lupus (UCL) and Lower Centaurus Crux (LCC) subgroups of the Scorpius Centaurus OB Association (Sco-Cen). Due to the size of our dataset (>2Tb) we developed an extensive open source set of python libraries to reduce our images, including astrometry, coaddition, and PSF photometry. Our survey consists of 29$\times$3 deg$^2$ fields in the UCL and LCC subgroups of Sco-Cen and the creation of a catalog with over 11 million point sources. We create a prioritized list of candidate for members in UCL and LCC, with 118 \emph{best} and another 348 \emph{good} candidates. We show that the luminosity and mass functions of our low mass and substellar candidates are consistent with measurements for the younger Upper Scorpius subgroup and estimates of a universal IMF, with spectral types ranging from M1 down to L1.


title: ATLAS: A High-Cadence All-Sky Survey System

abstract: Technology has advanced to the point that it is possible to image the entire sky every night and process the data in real time. The sky is hardly static: many interesting phenomena occur, including variable stationary objects such as stars or QSOs, transient stationary objects such as supernovae or M dwarf flares, and moving objects such as asteroids and the stars themselves. Funded by NASA, we have designed and built a sky survey system for the purpose of finding dangerous near-Earth asteroids (NEAs). This system, the "Asteroid Terrestrial-impact Last Alert System" (ATLAS), has been optimized to produce the best survey capability per unit cost, and therefore is an efficient and competitive system for finding potentially hazardous asteroids (PHAs) but also for tracking variables and finding transients. While carrying out its NASA mission, ATLAS now discovers more bright ($m < 19$) supernovae candidates than any ground based survey, frequently detecting very young explosions due to its 2 day cadence. ATLAS discovered the afterglow of a gamma-ray burst independent of the high energy trigger and has released a variable star catalogue of 5$\times10^{6}$ sources. This, the first of a series of articles describing ATLAS, is devoted to the design and performance of the ATLAS system. Subsequent articles will describe in more detail the software, the survey strategy, ATLAS-derived NEA population statistics, transient detections, and the first data release of variable stars and transient lightcurves.


title: Study of SIC and RLS Channel Estimation for Large-Scale Antenna Systems with 1-Bit ADCs

abstract: We propose a novel low-resolution-aware recursive least squares channel estimation algorithm for uplink multi-user multiple-input multiple-output systems. In order to reduce the energy consumption, 1-bit ADCs are used on each receive antenna. The loss of performance can be recovered by the large-scale antenna arrays at the receiver. The proposed adaptive channel estimator can mitigate the distortions due to the coarse quantization. Moreover, we propose a low-resolution-aware minimum mean square error based successive interference canceler to successively mitigate the multiuser interference. Simulation results show good performance of the system in terms of mean square error and bit error rate.


title: A Protection Method in Active Distribution Grids with High Penetration of Renewable Energy Sources

abstract: A protection method in active distribution networks is proposed in this paper. In active distribution systems, fault currents flow in multiple directions and presents a varying range of value, which poses a great challenge of maintaining coordination among protective devices on feeders. The proposed protection method addresses this challenge by simultaneously adjusting DG's output power and protection devices' settings in pre-fault networks. Comparing to previous protection solutions, the proposed method considers the influences from renewable DG's intermittency, and explores the economic and protection benefits of DG's active participation. The formulation of proposed method is decomposed into two optimization sub-problems, coupling through the constraint on fuse-recloser coordination. This decomposed mathematical structure effectively extinguishes the non-linearity arising from reclosers' time-current inverse characteristics, and greatly reduces computation efforts.


title: Proportional Representation in Approval-based Committee Voting and Beyond

abstract: Proportional representation (PR) is one of the central principles in voting. Elegant rules with compelling PR axiomatic properties have the potential to be adopted for several important collective decision making settings. I survey some recent ideas and results on axioms and rules for proportional representation in committee voting.


title: Interplay between cost and benefits triggers nontrivial vaccination uptake

abstract: The containment of epidemic spreading is a major challenge in science. Vaccination, whenever available, is the best way to prevent the spreading, because it eventually immunizes individuals. However, vaccines are not perfect, and total immunization is not guaranteed. Imperfect immunization has driven the emergence of anti-vaccine movements that totally alter the predictions about the epidemic incidence. Here, we propose a mathematically solvable mean-field vaccination model to mimic the spontaneous adoption of vaccines against influenza-like diseases, and the expected epidemic incidence. The results are in agreement with extensive Monte Carlo simulations of the epidemics and vaccination co-evolutionary processes. Interestingly, the results reveal a non-monotonic behavior on the vaccination coverage, that increases with the imperfection of the vaccine and after decreases. This apparent counterintuitive behavior is analyzed and understood from stability principles of the proposed mathematical model.


title: A Model for Learned Bloom Filters and Related Structures

abstract: Recent work has suggested enhancing Bloom filters by using a pre-filter, based on applying machine learning to model the data set the Bloom filter is meant to represent. Here we model such learned Bloom filters, clarifying what guarantees can and cannot be associated with such a structure.


title: Measurement and subtraction of Schumann resonances at gravitational-wave interferometers

abstract: Correlated magnetic noise from Schumann resonances threatens to contaminate the observation of a stochastic gravitational-wave background in interferometric detectors. In previous work, we reported on the first effort to eliminate global correlated noise from the Schumann resonances using Wiener filtering, demonstrating as much as a factor of two reduction in the coherence between magnetometers on different continents. In this work, we present results from dedicated magnetometer measurements at the Virgo and KAGRA sites, which are the first results for subtraction using data from gravitational-wave detector sites. We compare these measurements to a growing network of permanent magnetometer stations, including at the LIGO sites. We show how dedicated measurements can reduce coherence to a level consistent with uncorrelated noise. We also show the effect of mutual magnetometer attraction, arguing that magnetometers should be placed at least one meter from one another.


title: Lattices with exponentially large kissing numbers

abstract: We construct a sequence of lattices $\{L_{n_i}\subset \mathbb R^{n_i}\}$ for $n_i\longrightarrow\infty$, with exponentially large kissing numbers, namely, $\log_2\tau(L_{n_i})> 0.0338\cdot n_i -o(n_i)$. We also show that the maximum lattice kissing number $ \tau^l_{n}$ in $n$ dimensions verifies $\log_2\tau^l_{n}> 0.0219\cdot n -o(n)$.


title: A rigidity theorem for surfaces in Schwarzschild manifold

abstract: In this article, we prove a rigidity theorem for isometric embeddings into the Schwarzschild manifold, by using the variational formula of quasi-local mass.


title: To Numerical Modeling With Strong Orders 1.0, 1.5, and 2.0 of Convergence for Multidimensional Dynamical Systems With Random Disturbances

abstract: The article is devoted to explicit one-step numerical methods with strong orders 1.0, 1.5, and 2.0 of convergence for Ito stochastic differential equations with multidimensional and non-commutative noise. For numerical modeling of iterated Ito stochastic integrals with multiplicities 1 to 4 we use the method of multiple Fourier-Legendre series converging in the sense of norm in Hilbert space $L_2([t, T]^k),$ $k=1,2,3,4.$ The article is addressed to engineers who use numerical modeling in stochastic control and for solving the nonlinear filtering problem.


title: Densely Connected Bidirectional LSTM with Applications to Sentence Classification

abstract: Deep neural networks have recently been shown to achieve highly competitive performance in many computer vision tasks due to their abilities of exploring in a much larger hypothesis space. However, since most deep architectures like stacked RNNs tend to suffer from the vanishing-gradient and overfitting problems, their effects are still understudied in many NLP tasks. Inspired by this, we propose a novel multi-layer RNN model called densely connected bidirectional long short-term memory (DC-Bi-LSTM) in this paper, which essentially represents each layer by the concatenation of its hidden state and all preceding layers' hidden states, followed by recursively passing each layer's representation to all subsequent layers. We evaluate our proposed model on five benchmark datasets of sentence classification. DC-Bi-LSTM with depth up to 20 can be successfully trained and obtain significant improvements over the traditional Bi-LSTM with the same or even less parameters. Moreover, our model has promising performance compared with the state-of-the-art approaches.


title: Modeling an Aquifer: Numerical Solution to the Groundwater Flow Equation

abstract: We present a model of groundwater dynamics under stationary flow and governed by Darcy's Law of water motion through porous media, we apply it to study a 2D aquifer with water table of constant slope comprised of an homogeneous and isotropic media, the more realistic case of an homogeneous anisotropic soil is also considered. Taking into account some geophysical parameters we develop a computational routine, in the Finite Difference Method, that solves the resulting elliptic partial equation, both in a homogeneous isotropic and homogeneous anisotropic media. After calibration of the numerical model, this routine is used to begin a study of the Ayamonte-Huelva aquifer in Spain, a modest analysis of the system is given, we compute the average discharge vector as well as its root mean square as a first predictive approximation of the flux in this system, providing us a signal of the location of best exploitation; long term goal is to develop a complete computational tool for the analysis of groundwater dynamics.


title: Joint Binary Neural Network for Multi-label Learning with Applications to Emotion Classification

abstract: Recently the deep learning techniques have achieved success in multi-label classification due to its automatic representation learning ability and the end-to-end learning framework. Existing deep neural networks in multi-label classification can be divided into two kinds: binary relevance neural network (BRNN) and threshold dependent neural network (TDNN). However, the former needs to train a set of isolate binary networks which ignore dependencies between labels and have heavy computational load, while the latter needs an additional threshold function mechanism to transform the multi-class probabilities to multi-label outputs. In this paper, we propose a joint binary neural network (JBNN), to address these shortcomings. In JBNN, the representation of the text is fed to a set of logistic functions instead of a softmax function, and the multiple binary classifications are carried out synchronously in one neural network framework. Moreover, the relations between labels are captured via training on a joint binary cross entropy (JBCE) loss. To better meet multi-label emotion classification, we further proposed to incorporate the prior label relations into the JBCE loss. The experimental results on the benchmark dataset show that our model performs significantly better than the state-of-the-art multi-label emotion classification methods, in both classification performance and computational efficiency.


title: Left-Center-Right Separated Neural Network for Aspect-based Sentiment Analysis with Rotatory Attention

abstract: Deep learning techniques have achieved success in aspect-based sentiment analysis in recent years. However, there are two important issues that still remain to be further studied, i.e., 1) how to efficiently represent the target especially when the target contains multiple words; 2) how to utilize the interaction between target and left/right contexts to capture the most important words in them. In this paper, we propose an approach, called left-center-right separated neural network with rotatory attention (LCR-Rot), to better address the two problems. Our approach has two characteristics: 1) it has three separated LSTMs, i.e., left, center and right LSTMs, corresponding to three parts of a review (left context, target phrase and right context); 2) it has a rotatory attention mechanism which models the relation between target and left/right contexts. The target2context attention is used to capture the most indicative sentiment words in left/right contexts. Subsequently, the context2target attention is used to capture the most important word in the target. This leads to a two-side representation of the target: left-aware target and right-aware target. We compare our approach on three benchmark datasets with ten related methods proposed recently. The results show that our approach significantly outperforms the state-of-the-art techniques.


title: D2D Big Data: Content Deliveries over Wireless Device-to-Device Sharing in Large Scale Mobile Networks

abstract: Recently the topic of how to effectively offload cellular traffic onto device-to-device (D2D) sharing among users in proximity has been gaining more and more attention of global researchers and engineers. Users utilize wireless short-range D2D communications for sharing contents locally, due to not only the rapid sharing experience and free cost, but also high accuracy on deliveries of interesting and popular contents, as well as strong social impacts among friends. Nevertheless, the existing related studies are mostly confined to small-scale datasets, limited dimensions of user features, or unrealistic assumptions and hypotheses on user behaviors. In this article, driven by emerging Big Data techniques, we propose to design a big data platform, named D2D Big Data, in order to encourage the wireless D2D communications among users effectively, to promote contents for providers accurately, and to carry out offloading intelligence for operators efficiently. We deploy a big data platform and further utilize a large-scale dataset (3.56 TBytes) from a popular D2D sharing application (APP), which contains 866 million D2D sharing activities on 4.5 million files disseminated via nearly 850 million users in 13 weeks. By abstracting and analyzing multidimensional features, including online behaviors, content properties, location relations, structural characteristics, meeting dynamics, social arborescence, privacy preservation policies and so on, we verify and evaluate the D2D Big Data platform regarding predictive content propagating coverage. Finally, we discuss challenges and opportunities regarding D2D Big Data and propose to unveil a promising upcoming future of wireless D2D communications.


title: Wireless MapReduce Distributed Computing

abstract: Motivated by mobile edge computing and wireless data centers, we study a wireless distributed computing framework where the distributed nodes exchange information over a wireless interference network. Our framework follows the structure of MapReduce. This framework consists of Map, Shuffle, and Reduce phases, where Map and Reduce are computation phases and Shuffle is a data transmission phase. In our setting, we assume that the transmission is operated over a wireless interference network. We demonstrate that, by duplicating the computation work at a cluster of distributed nodes in the Map phase, one can reduce the amount of transmission load required for the Shuffle phase. In this work, we characterize the fundamental tradeoff between computation load and communication load, under the assumption of one-shot linear schemes. The proposed scheme is based on side information cancellation and zero-forcing, and we prove that it is optimal in terms of computation-communication tradeoff. The proposed scheme outperforms the naive TDMA scheme with single node transmission at a time, as well as the coded TDMA scheme that allows coding across data, in terms of the computation-communication tradeoff.


title: Separation of Charge Instability and Lattice Symmetry Breaking in an Organic Ferroelectric

abstract: We investigate the charge and lattice states in a quasi-one-dimensional organic ferroelectric material, TTF-QCl$_{4}$, under pressures of up to 35 kbar by nuclear quadrupole resonance experiments. The results reveal a global pressure-temperature phase diagram, which spans the electronic and ionic regimes of ferroelectric transitions, which have so far been studied separately, in a single material. The revealed phase diagram clearly shows that the charge-transfer instability and the lattice symmetry breaking, which coincide in the electronic ferroelectric regime at low pressures, bifurcate at a certain pressure, leading to the conventional ferroelectric regime. The present results reveal that the crossover from electronic to ionic ferroelectricity occurs through the separation of charge and lattice instabilities.


title: A note on degenerate Stirling numbers of the first kind

abstract: Recently, the degenerate Stirling numbers of the first kind were introduced. In this paper, we give some formulas for the degenerate Stirling numbers of the first kind in the terms of the complete Bell polynomials with higher-order harmonic number arguments. Also, we derive an identity connecting the degenerate Stirling numbers of the first kind and the degenerate derangement numbers by using probabilistic method.


title: Representations of quadratic combinatorial optimization problems: A case study using the quadratic set covering problem

abstract: The objective function of a quadratic combinatorial optimization problem (QCOP) can be represented by two data points, a quadratic cost matrix Q and a linear cost vector c. Different, but equivalent, representations of the pair (Q, c) for the same QCOP are well known in literature. Research papers often state that without loss of generality we assume Q is symmetric, or upper-triangular or positive semidefinite, etc. These representations however have inherently different properties. Popular general purpose 0-1 QCOP solvers such as GUROBI and CPLEX do not suggest a preferred representation of Q and c. Our experimental analysis discloses that GUROBI prefers the upper triangular representation of the matrix Q while CPLEX prefers the symmetric representation in a statistically significant manner. Equivalent representations, although preserve optimality, they could alter the corresponding lower bound values obtained by various lower bounding schemes. For the natural lower bound of a QCOP, symmetric representation produced tighter bounds, in general. Effect of equivalent representations when CPLEX and GUROBI run in a heuristic mode are also explored. Further, we review various equivalent representations of a QCOP from the literature that have theoretical basis to be viewed as strong and provide new theoretical insights for generating such equivalent representations making use of constant value property and diagonalization (linearization) of QCOP instances.


title: Path Planning for Minimizing the Expected Cost until Success

abstract: Consider a general path planning problem of a robot on a graph with edge costs, and where each node has a Boolean value of success or failure (with respect to some task) with a given probability. The objective is to plan a path for the robot on the graph that minimizes the expected cost until success. In this paper, it is our goal to bring a foundational understanding to this problem. We start by showing how this problem can be optimally solved by formulating it as an infinite horizon Markov Decision Process, but with an exponential space complexity. We then formally prove its NP-hardness. To address the space complexity, we then propose a path planner, using a game-theoretic framework, that asymptotically gets arbitrarily close to the optimal solution. Moreover, we also propose two fast and non-myopic path planners. To show the performance of our framework, we do extensive simulations for two scenarios: a rover on Mars searching for an object for scientific studies, and a robot looking for a connected spot to a remote station (with real data from downtown San Francisco). Our numerical results show a considerable performance improvement over existing state-of-the-art approaches.


title: Learning Parametric Closed-Loop Policies for Markov Potential Games

abstract: Multiagent systems where agents interact among themselves and with a stochastic environment can be formalized as stochastic games. We study a subclass named Markov potential games (MPGs) that appear often in economic and engineering applications when the agents share a common resource. We consider MPGs with continuous state-action variables, coupled constraints and nonconvex rewards. Previous analysis followed a variational approach that is only valid for very simple cases (convex rewards, invertible dynamics, and no coupled constraints); or considered deterministic dynamics and provided open-loop (OL) analysis, studying strategies that consist in predefined action sequences, which are not optimal for stochastic environments. We present a closed-loop (CL) analysis for MPGs and consider parametric policies that depend on the current state. We provide easily verifiable, sufficient and necessary conditions for a stochastic game to be an MPG, even for complex parametric functions (e.g., deep neural networks); and show that a closed-loop Nash equilibrium (NE) can be found (or at least approximated) by solving a related optimal control problem (OCP). This is useful since solving an OCP--which is a single-objective problem--is usually much simpler than solving the original set of coupled OCPs that form the game--which is a multiobjective control problem. This is a considerable improvement over the previously standard approach for the CL analysis of MPGs, which gives no approximate solution if no NE belongs to the chosen parametric family, and which is practical only for simple parametric forms. We illustrate the theoretical contributions with an example by applying our approach to a noncooperative communications engineering game. We then solve the game with a deep reinforcement learning algorithm that learns policies that closely approximates an exact variational NE of the game.


title: Gate-Induced Interfacial Superconductivity in 1T-SnSe2

abstract: Layered metal chalcogenide materials provide a versatile platform to investigate emergent phenomena and two-dimensional (2D) superconductivity at/near the atomically thin limit. In particular, gate-induced interfacial superconductivity realized by the use of an electric-double-layer transistor (EDLT) has greatly extended the capability to electrically induce superconductivity in oxides, nitrides and transition metal chalcogenides and enable one to explore new physics, such as the Ising pairing mechanism. Exploiting gate-induced superconductivity in various materials can provide us with additional platforms to understand emergent interfacial superconductivity. Here, we report the discovery of gate-induced 2D superconductivity in layered 1T-SnSe2, a typical member of the main-group metal dichalcogenide (MDC) family, using an EDLT gating geometry. A superconducting transition temperature Tc around 3.9 K was demonstrated at the EDL interface. The 2D nature of the superconductivity therein was further confirmed based on 1) a 2D Tinkham description of the angle-dependent upper critical field, 2) the existence of a quantum creep state as well as a large ratio of the coherence length to the thickness of superconductivity. Interestingly, the in-plane approaching zero temperature was found to be 2-3 times higher than the Pauli limit, which might be related to an electric field-modulated spin-orbit interaction. Such results provide a new perspective to expand the material matrix available for gate-induced 2D superconductivity and the fundamental understanding of interfacial superconductivity.


title: Nucleation of superfluid-light domains in a quenched dynamics

abstract: Strong correlation effects emerge from light-matter interactions in coupled resonator arrays, such as the Mott-insulator to superfluid phase transition of atom-photon excitations. We demonstrate that the quenched dynamics of a finite-sized complex array of coupled resonators induces a first-order like phase transition. The latter is accompanied by domain nucleation that can be used to manipulate the photonic transport properties of the emerging superfluid phase; this in turn leads to an empirical scaling law. This universal behavior emerges from the light-matter interaction and the topology of the array. The validity of our results over a wide range of complex architectures might lead to to a promising device for use in scaled quantum simulations.


title: Invariant measure construction at a fixed mass

abstract: In this paper we analyze the derivative nonlinear Schr\"odinger equation on $\mathbb{T}$ with randomized initial data in $\cap_{s < \frac{1}{2}} H^{s}(\mathbb{T})$ according to a Wiener measure. We construct an invariant measure at each sufficiently small, fixed mass $m$ through an argument that emulates the divergence theorem in infinitely many dimensions. We also prove that the density function needed to construct the Wiener measure is in $L^p$, even after scaling of the Fourier coefficients of the intial data.


title: Weak order in averaging principle for two-time-scale stochastic partial differential equations

abstract: This work is devoted to averaging principle of a two-time-scale stochastic partial differential equation on a bounded interval $[0, l]$, where both the fast and slow components are directly perturbed by additive noises. Under some regular conditions on drift coefficients, it is proved that the rate of weak convergence for the slow variable to the averaged dynamics is of order $1-\varepsilon$ for arbitrarily small $\varepsilon>0$. The proof is based on an asymptotic expansion of solutions to Kolmogorov equations associated with the multiple-time-scale system.


title: Build a Compact Binary Neural Network through Bit-level Sensitivity and Data Pruning

abstract: Convolutional neural network (CNN) has been widely used for vision-based tasks. Due to the high computational complexity and memory storage requirement, it is hard to directly deploy a full-precision CNN on embedded devices. The hardware-friendly designs are needed for re-source-limited and energy-constrained embed-ded devices. Emerging solutions are adopted for the neural network compression, e.g., bina-ry/ternary weight network, pruned network and quantized network. Among them, Binarized Neural Network (BNN) is believed to be the most hardware-friendly framework due to its small network size and low computational com-plexity. No existing work has further shrunk the size of BNN. In this work, we explore the redun-dancy in BNN and build a compact BNN (CBNN) based on the bit-level sensitivity analy-sis and bit-level data pruning. The input data is converted to a high dimensional bit-sliced for-mat. In post-training stage, we analyze the im-pact of different bit slices to the accuracy. By pruning the redundant input bit slices and shrinking the network size, we are able to build a more compact BNN. Our result shows that we can further scale down the network size of the BNN up to 3.9x with no more than 1% accuracy drop. The actual runtime can be reduced up to 2x and 9.9x compared with the baseline BNN and its full-precision counterpart, respectively.


title: Hybrid Nodal Loop Metal: Unconventional Magnetoresponse and Material Realization

abstract: A nodal loop is formed by band crossing along a one-dimensional closed manifold, with each point on the loop a linear nodal point in the transverse dimensions and can be classified as type-I or type-II depending on the band dispersion. Here, we propose a class of nodal loops composed of both type-I and type-II points, which are hence termed as hybrid nodal loops. Based on firstprinciples calculations, we predict the realization of such loops in the existing electride material Ca2As. For a hybrid loop, the Fermi surface consists of coexisting electron and hole pockets that touch at isolated points for an extended range of Fermi energies, without the need for fine-tuning. This leads to unconventional magnetic responses, including the zero-field magnetic breakdown and the momentum space Klein tunneling observable in the magnetic quantum oscillations, as well as the peculiar anisotropy in the cyclotron resonance.


title: Leader Tracking of Euler-Lagrange Agents on Directed Switching Networks Using A Model-Independent Algorithm

abstract: In this paper, we propose a discontinuous distributed model-independent algorithm for a directed network of Euler-Lagrange agents to track the trajectory of a leader with non-constant velocity. We initially study a fixed network and show that the leader tracking objective is achieved semi-globally exponentially fast if the graph contains a directed spanning tree. By model-independent, we mean that each agent executes its algorithm with no knowledge of the parameter values of any agent's dynamics. Certain bounds on the agent dynamics (including any disturbances) and network topology information are used to design the control gain. This fact, combined with the algorithm's model-independence, results in robustness to disturbances and modelling uncertainties. Next, a continuous approximation of the algorithm is proposed, which achieves practical tracking with an adjustable tracking error. Last, we show that the algorithm is stable for networks that switch with an explicitly computable dwell time. Numerical simulations are given to show the algorithm's effectiveness.


title: Cuspidal integrals and subseries for $\mathrm{SL}(3)/K_{\epsilon}$

abstract: We show that for the symmetric spaces $\mathrm{SL}(3,\mathbb{R})/\mathrm{SO}(1,2)_{e}$ and $\mathrm{SL}(3,\mathbb{C})/\mathrm{SU}(1,2)$ the cuspidal integrals are absolutely convergent. We further determine the behavior of the corresponding Radon transforms and relate the kernels of the Radon transforms to the different series of representations occurring in the Plancherel decomposition of these spaces. Finally we show that for the symmetric space $\mathrm{SL}(3,\mathbb{H})/\mathrm{Sp}(1,2)$ the cuspidal integrals are not convergent for all Schwartz functions.


title: The Power Allocation Game on Dynamic Networks: Subgame Perfection

abstract: In the game theory literature, there appears to be little research on equilibrium selection for normal-form games with an infinite strategy space and discontinuous utility functions. Moreover, many existing selection methods are not applicable to games involving both cooperative and noncooperative scenarios (e.g., "games on signed graphs"). With the purpose of equilibrium selection, the power allocation game developed in \cite{allocation}, which is a static, resource allocation game on signed graphs, will be reformulated into an extensive form. Results about the subgame perfect Nash equilibria in the extensive-form game will be given. This appears to be the first time that subgame perfection based on time-varying graphs is used for equilibrium selection in network games. This idea of subgame perfection proposed in the paper may be extrapolated to other network games, which will be illustrated with a simple example of congestion games.


title: Brauer characters and normal Sylow $p$-subgroups

abstract: In this paper, we study some variations of the well-known It\^{o}-Michler theorem for $p$-Brauer characters using various inequalities involving the $p$-Brauer character degrees of finite groups. Several new criteria for the existence of a normal Sylow $p$-subgroup of finite groups are obtained using the $p$-parts and $p'$-parts of the $p$-Brauer character degrees.


title: GeniePath: Graph Neural Networks with Adaptive Receptive Paths

abstract: We present, GeniePath, a scalable approach for learning adaptive receptive fields of neural networks defined on permutation invariant graph data. In GeniePath, we propose an adaptive path layer consists of two complementary functions designed for breadth and depth exploration respectively, where the former learns the importance of different sized neighborhoods, while the latter extracts and filters signals aggregated from neighbors of different hops away. Our method works in both transductive and inductive settings, and extensive experiments compared with competitive methods show that our approaches yield state-of-the-art results on large graphs.


title: Segregation growth and self-organization of ordered S atomic superlattices confined at interface between graphene and substrates

abstract: Ordered atomic-scale superlattices on surface hold great interest both for basic science and for potential applications in advanced technology. However, controlled fabrication of superlattices down to atomic scale has proven exceptionally challenging. Here we demonstrate the segregation-growth and self-organization of ordered S atomic superlattices confined at the interface between graphene and S-rich Cu substrates. Scanning tunneling microscope (STM) studies show that, by finely controlling the growth temperature, we obtain well-ordered S (sub)nanometer-cluster superlattice and monoatomic superlattices with various periods at the interface. These atomic superlattices are stable in atmospheric environment and robust even after high-temperature annealing (~ 350 oC). Our experiments demonstrate that the S monoatomic superlattice can drive graphene into the electronic Kekul\'e distortion phase when the period of the ordered S adatoms is commensurate with graphene lattice. Our results not only open a road to realize atomic-scale superlattices at interfaces, but also provide a new route to realize exotic electronic states in graphene.


title: Active, Continual Fine Tuning of Convolutional Neural Networks for Reducing Annotation Efforts

abstract: The splendid success of convolutional neural networks (CNNs) in computer vision is largely attributable to the availability of massive annotated datasets, such as ImageNet and Places. However, in medical imaging, it is challenging to create such large annotated datasets, as annotating medical images is not only tedious, laborious, and time consuming, but it also demands costly, specialty-oriented skills, which are not easily accessible. To dramatically reduce annotation cost, this paper presents a novel method to naturally integrate active learning and transfer learning (fine-tuning) into a single framework, which starts directly with a pre-trained CNN to seek "worthy" samples for annotation and gradually enhances the (fine-tuned) CNN via continual fine-tuning. We have evaluated our method using three distinct medical imaging applications, demonstrating that it can reduce annotation efforts by at least half compared with random selection.


title: Geodesic conformal transformation optics: manipulating light with continuous refractive index profile

abstract: Conformal transformation optics provides a simple scheme for manipulating light rays with inhomogeneous isotropic dielectrics. However, there is usually discontinuity for refractive index profile at branch cuts of different virtual Riemann sheets, hence compromising the functionalities. To deal with that, we present a special method for conformal transformation optics based on the concept of geodesic lens. The requirement is a continuous refractive index profile of dielectrics, which shows almost perfect performance of designed devices. We demonstrate such a proposal by achieving conformal transparency and reflection. We can further achieve conformal invisible cloaks by two techniques with perfect electromagnetic conductors. The geodesic concept may also find applications in other waves that obey the Helmholtz equation in two dimensions.


title: Arrow Update Synthesis

abstract: In this contribution we present arbitrary arrow update model logic (AAUML). This is a dynamic epistemic logic or update logic. In update logics, static/basic modalities are interpreted on a given relational model whereas dynamic/update modalities induce transformations (updates) of relational models. In AAUML the update modalities formalize the execution of arrow update models, and there is also a modality for quantification over arrow update models. Arrow update models are an alternative to the well-known action models. We provide an axiomatization of AAUML. The axiomatization is a rewrite system allowing to eliminate arrow update modalities from any given formula, while preserving truth. Thus, AAUML is decidable and equally expressive as the base multi-agent modal logic. Our main result is to establish arrow update synthesis: if there is an arrow update model after which phi, we can construct (synthesize) that model from phi. We also point out some pregnant differences in update expressivity between arrow update logics, action model logics, and refinement modal logic.


title: The Legendre Spectral-Collocation method for a class of fractional integral equations

abstract: In this paper, we consider spectral-collocation method base on Legendre-Gauss-Lobatto point. We present a computational method for solving a class of fractional integral equation of the second kind. Then based on Legendre-Gauss-Lobatto point and using, we derive a system of algebraic equations. The method is illustrated by applications and the results obtained are compared with the exact solutions in open literature. The obtained numerical results show that our proposed method is efficient and accurate for fractional integral equations of second kind. In addition, we prove that the error of the approximate solution decay exponentially in L^2 norm.


title: Three-dimensional black holes and solitons in higher-dimensional theories with compactification

abstract: Several types of static solutions to Einstein's equations coupled with antisymmetric tensor fields are found in $(2+N+1)$-dimensional spacetime. The solutions describe a product of a three-dimensional radially symmetric spacetime and an internal maximally symmetric manifold. The scale of the internal space may depend on the radial distance from the origin in these solutions.


title: Delay Analysis of Random Scheduling and Round Robin in Small Cell Networks

abstract: We analyze the delay performance of small cell networks operating under random scheduling (RS) and round robin (RR) protocols. Based on stochastic geometry and queuing theory, we derive accurate and tractable expressions for the distribution of mean delay, which accounts for the impact of random traffic arrivals, queuing interactions, and failed packet retransmissions. Our analysis asserts that RR outperforms RS in terms of mean delay, regardless of traffic statistic. Moreover, the gain from RR is more pronounced in the presence of heavy traffic, which confirms the importance of accounting fairness in the design of scheduling policy. We also find that constrained on the same delay outage probability, RR is able to support more user equipments (UEs) than that of RS, demonstrating it as an appropriate candidate for the traffic scheduling policy of internet-of-things (IoT) network.


title: Typicality Matching for Pairs of Correlated Graphs

abstract: In this paper, the problem of matching pairs of correlated random graphs with multi-valued edge attributes is considered. Graph matching problems of this nature arise in several settings of practical interest including social network de-anonymization, study of biological data, web graphs, etc. An achievable region for successful matching is derived by analyzing a new matching algorithm that we refer to as typicality matching. The algorithm operates by investigating the joint typicality of the adjacency matrices of the two correlated graphs. Our main result shows that the achievable region depends on the mutual information between the variables corresponding to the edge probabilities of the two graphs. The result is based on bounds on the typicality of permutations of sequences of random variables that might be of independent interest.


title: Precursor of Superfluidity in a Strongly Interacting Fermi Gas with Negative Effective Range

abstract: We theoretically investigate the effects of pairing fluctuations in an ultracold Fermi gas near a Feshbach resonance with a negative effective range. By employing a many-body T-matrix theory with a coupled boson-fermion model, we show that the single-particle density of states exhibits the so-called pseudogap phenomenon which is a precursor of superfluidity induced by strong pairing fluctuations. We clarify the region where strong pairing fluctuations play a crucial role in single-particle properties, from the broad-resonance region to the narrow-resonance limit at the divergent two-body scattering length. We also extrapolate the effects of pairing fluctuations to the positive-effective-range region from our results near the narrow Feshbach resonance. Results shown in this paper are relevant to the connection between ultracold Fermi gases and low-density neutron matter from the viewpoint of finite-effective-range corrections.


title: Stability of the Euler Resting N-Body Relative Equlilbria

abstract: The stability of a system of $N$ equal sized mutually gravitating spheres resting on each other in a straight line and rotating in inertial space is considered. This is a generalization of the "Euler Resting" configurations previously analyzed in the finite density 3 and 4 body problems. Specific questions for the general case are how rapidly the system must spin for the configuration to stabilize, how rapidly it can spin before the components separate from each other, and how these results change as a function of $N$. This paper shows that the Euler Resting configuration can only be stable for up to 5 bodies, and that for 6 or more bodies the configuration can never be stable. This places an ideal limit of 5:1 on the aspect ratio of a rubble pile body's shape.


title: A deep tree-based model for software defect prediction

abstract: Defects are common in software systems and can potentially cause various problems to software users. Different methods have been developed to quickly predict the most likely locations of defects in large code bases. Most of them focus on designing features (e.g. complexity metrics) that correlate with potentially defective code. Those approaches however do not sufficiently capture the syntax and different levels of semantics of source code, an important capability for building accurate prediction models. In this paper, we develop a novel prediction model which is capable of automatically learning features for representing source code and using them for defect prediction. Our prediction system is built upon the powerful deep learning, tree-structured Long Short Term Memory network which directly matches with the Abstract Syntax Tree representation of source code. An evaluation on two datasets, one from open source projects contributed by Samsung and the other from the public PROMISE repository, demonstrates the effectiveness of our approach for both within-project and cross-project predictions.


title: Realizing Uncertainty-Aware Timing Stack in Embedded Operating System

abstract: Time awareness is critical to a broad range of emerging applications -- in Cyber-Physical Systems and Internet of Things -- running on commodity platforms and operating systems. Traditionally, time is synchronized across devices through a best-effort background service whose performance is neither observable nor controllable, thus consuming system resources independently of application needs while not allowing the applications and OS services to adapt to changes in uncertainty in system time. We advocate for rethinking how time is managed in a system stack. In this paper, we propose a new clock model that characterizes various sources of timing uncertainties in true time. We then present a Kalman filter based time synchronization protocol that adapts to the uncertainties exposed by the clock model. Our realization of a uncertainty-aware clock model and synchronization protocol is based on a standard embedded Linux platform.


title: Multi-attention Recurrent Network for Human Communication Comprehension

abstract: Human face-to-face communication is a complex multimodal signal. We use words (language modality), gestures (vision modality) and changes in tone (acoustic modality) to convey our intentions. Humans easily process and understand face-to-face communication, however, comprehending this form of communication remains a significant challenge for Artificial Intelligence (AI). AI must understand each modality and the interactions between them that shape human communication. In this paper, we present a novel neural architecture for understanding human communication called the Multi-attention Recurrent Network (MARN). The main strength of our model comes from discovering interactions between modalities through time using a neural component called the Multi-attention Block (MAB) and storing them in the hybrid memory of a recurrent component called the Long-short Term Hybrid Memory (LSTHM). We perform extensive comparisons on six publicly available datasets for multimodal sentiment analysis, speaker trait recognition and emotion recognition. MARN shows state-of-the-art performance on all the datasets.


title: Multimodal Sentiment Analysis with Word-Level Fusion and Reinforcement Learning

abstract: With the increasing popularity of video sharing websites such as YouTube and Facebook, multimodal sentiment analysis has received increasing attention from the scientific community. Contrary to previous works in multimodal sentiment analysis which focus on holistic information in speech segments such as bag of words representations and average facial expression intensity, we develop a novel deep architecture for multimodal sentiment analysis that performs modality fusion at the word level. In this paper, we propose the Gated Multimodal Embedding LSTM with Temporal Attention (GME-LSTM(A)) model that is composed of 2 modules. The Gated Multimodal Embedding alleviates the difficulties of fusion when there are noisy modalities. The LSTM with Temporal Attention performs word level fusion at a finer fusion resolution between input modalities and attends to the most important time steps. As a result, the GME-LSTM(A) is able to better model the multimodal structure of speech through time and perform better sentiment comprehension. We demonstrate the effectiveness of this approach on the publicly-available Multimodal Corpus of Sentiment Intensity and Subjectivity Analysis (CMU-MOSI) dataset by achieving state-of-the-art sentiment classification and regression results. Qualitative analysis on our model emphasizes the importance of the Temporal Attention Layer in sentiment prediction because the additional acoustic and visual modalities are noisy. We also demonstrate the effectiveness of the Gated Multimodal Embedding in selectively filtering these noisy modalities out. Our results and analysis open new areas in the study of sentiment analysis in human communication and provide new models for multimodal fusion.


title: First-principles theory of magnetic multipoles in condensed matter systems

abstract: The multipole concept, which characterizes the spacial distribution of scalar and vector objects by their angular dependence, has already become widely used in various areas of physics. In recent years it has become employed to systematically classify the anisotropic distribution of electrons and magnetization around atoms in solid state materials. This has been fuelled by the discovery of several physical phenomena that exhibit unusual higher rank multipole moments, beyond that of the conventional degrees of freedom as charge and magnetic dipole moment. Moreover, the higher rank electric/magnetic multipole moments have been suggested as promising order parameters in exotic hidden order phases. While the experimental investigations of such anomalous phases have provided encouraging observations of multipolar order, theoretical approaches have developed at a slower pace. In particular, a materials' specific theory has been missing. The multipole concept has furthermore been recognized as the key quantity which characterizes the resultant configuration of magnetic moments in a cluster of atomic moments. This cluster multipole moment has then been introduced as macroscopic order parameter for a noncollinear antiferromagnetic structure in crystals that can explain unusual physical phenomena whose appearance is determined by the magnetic point group symmetry. It is the purpose of this review to discuss the recent developments in the first-principles theory investigating multipolar degrees of freedom in condensed matter systems. These recent developments exemplify that ab initio electronic structure calculations can unveil detailed insight in the mechanism of physical phenomena caused by the unconventional, multipole degree of freedom.


title: On the Minimax Misclassification Ratio of Hypergraph Community Detection

abstract: Community detection in hypergraphs is explored. Under a generative hypergraph model called "d-wise hypergraph stochastic block model" (d-hSBM) which naturally extends the Stochastic Block Model from graphs to d-uniform hypergraphs, the asymptotic minimax mismatch ratio is characterized. For proving the achievability, we propose a two-step polynomial time algorithm that achieves the fundamental limit. The first step of the algorithm is a hypergraph spectral clustering method which achieves partial recovery to a certain precision level. The second step is a local refinement method which leverages the underlying probabilistic model along with parameter estimation from the outcome of the first step. To characterize the asymptotic performance of the proposed algorithm, we first derive a sufficient condition for attaining weak consistency in the hypergraph spectral clustering step. Then, under the guarantee of weak consistency in the first step, we upper bound the worst-case risk attained in the local refinement step by an exponentially decaying function of the size of the hypergraph and characterize the decaying rate. For proving the converse, the lower bound of the minimax mismatch ratio is set by finding a smaller parameter space which contains the most dominant error events, inspired by the analysis in the achievability part. It turns out that the minimax mismatch ratio decays exponentially fast to zero as the number of nodes tends to infinity, and the rate function is a weighted combination of several divergence terms, each of which is the Renyi divergence of order 1/2 between two Bernoulli's. The Bernoulli's involved in the characterization of the rate function are those governing the random instantiation of hyperedges in d-hSBM. Experimental results on synthetic data validate our theoretical finding that the refinement step is critical in achieving the optimal statistical limit.


title: Memory Fusion Network for Multi-view Sequential Learning

abstract: Multi-view sequential learning is a fundamental problem in machine learning dealing with multi-view sequences. In a multi-view sequence, there exists two forms of interactions between different views: view-specific interactions and cross-view interactions. In this paper, we present a new neural architecture for multi-view sequential learning called the Memory Fusion Network (MFN) that explicitly accounts for both interactions in a neural architecture and continuously models them through time. The first component of the MFN is called the System of LSTMs, where view-specific interactions are learned in isolation through assigning an LSTM function to each view. The cross-view interactions are then identified using a special attention mechanism called the Delta-memory Attention Network (DMAN) and summarized through time with a Multi-view Gated Memory. Through extensive experimentation, MFN is compared to various proposed approaches for multi-view sequential learning on multiple publicly available benchmark datasets. MFN outperforms all the existing multi-view approaches. Furthermore, MFN outperforms all current state-of-the-art models, setting new state-of-the-art results for these multi-view datasets.


title: NMR Evidence of Charge Fluctuations in Multiferroic CuBr2

abstract: We report combined magnetic susceptibility, dielectric constant, nuclear quadruple resonance (NQR) and zero-field nuclear magnetic resonance (NMR) measurements on single crystals of multiferroics CuBr$_2$. High quality of the sample is demonstrated by the sharp magnetic and magnetic-driven ferroelectric transition at $T_N=T_C\approx$ 74~K. The zero-field $^{79}$Br and $^{81}$Br NMR are resolved below $T_N$. The spin-lattice relaxation rates reveal charge fluctuations when cooled below 60~K. Evidences of an increase of NMR linewidth, a reduction of dielectric constant, and an increase of magnetic susceptibility are also seen at low temperatures. These data suggest an emergent instability which competes with the spiral magnetic ordering and the ferroelectricity. Candidate mechanisms are discussed based on the quasi-one-dimensional (1D) nature of the magnetic system.


title: On OTFS Modulation for High-Doppler Fading Channels

abstract: Orthogonal time frequency space (OTFS) modulation is a 2-dimensional (2D) modulation scheme designed in the delay-Doppler domain, unlike traditional modulation schemes which are designed in the time-frequency domain. Through a series of 2D transformations, OTFS converts a doubly-dispersive channel into an almost non-fading channel in the delay-Doppler domain. In this domain, each symbol in a frame experiences an almost constant fade, thus achieving significant performance gains over existing modulation schemes such as OFDM. The sparse delay-Doppler impulse response which reflects the actual physical geometry of the wireless channel enables efficient channel estimation, especially in high-Doppler fading channels. This paper investigates OTFS from a signal detection and channel estimation perspective, and proposes a Markov chain Monte-Carlo sampling based detection scheme and a pseudo-random noise (PN) pilot based channel estimation scheme in the delay-Doppler domain.


title: Mixed Precision Training of Convolutional Neural Networks using Integer Operations

abstract: The state-of-the-art (SOTA) for mixed precision training is dominated by variants of low precision floating point operations, and in particular, FP16 accumulating into FP32 Micikevicius et al. (2017). On the other hand, while a lot of research has also happened in the domain of low and mixed-precision Integer training, these works either present results for non-SOTA networks (for instance only AlexNet for ImageNet-1K), or relatively small datasets (like CIFAR-10). In this work, we train state-of-the-art visual understanding neural networks on the ImageNet-1K dataset, with Integer operations on General Purpose (GP) hardware. In particular, we focus on Integer Fused-Multiply-and-Accumulate (FMA) operations which take two pairs of INT16 operands and accumulate results into an INT32 output.We propose a shared exponent representation of tensors and develop a Dynamic Fixed Point (DFP) scheme suitable for common neural network operations. The nuances of developing an efficient integer convolution kernel is examined, including methods to handle overflow of the INT32 accumulator. We implement CNN training for ResNet-50, GoogLeNet-v1, VGG-16 and AlexNet; and these networks achieve or exceed SOTA accuracy within the same number of iterations as their FP32 counterparts without any change in hyper-parameters and with a 1.8X improvement in end-to-end training throughput. To the best of our knowledge these results represent the first INT16 training results on GP hardware for ImageNet-1K dataset using SOTA CNNs and achieve highest reported accuracy using half-precision


title: Deep Learning Framework for Multi-class Breast Cancer Histology Image Classification

abstract: In this work, we present a deep learning framework for multi-class breast cancer image classification as our submission to the International Conference on Image Analysis and Recognition (ICIAR) 2018 Grand Challenge on BreAst Cancer Histology images (BACH). As these histology images are too large to fit into GPU memory, we first propose using Inception V3 to perform patch level classification. The patch level predictions are then passed through an ensemble fusion framework involving majority voting, gradient boosting machine (GBM), and logistic regression to obtain the image level prediction. We improve the sensitivity of the Normal and Benign predicted classes by designing a Dual Path Network (DPN) to be used as a feature extractor where these extracted features are further sent to a second layer of ensemble prediction fusion using GBM, logistic regression, and support vector machine (SVM) to refine predictions. Experimental results demonstrate our framework shows a 12.5$\%$ improvement over the state-of-the-art model.


title: Demand-driven Alias Analysis : Formalizing Bidirectional Analyses for Soundness and Precision

abstract: A demand-driven approach to program analysis have been viewed as efficient algorithms to compute only the information required to serve a target demand. In contrast, an exhaustive approach computes all information in anticipation of it being used later. However, for a given set of demands, demand-driven methods are believed to compute the same information that would be computed by the corresponding exhaustive methods. We investigate the precision and bidirectional nature of demand-driven methods and show that: (a) demand-driven methods can be formalized inherently as bidirectional data flow analysis because the demands are propagated against the control flow and the information to satisfy the demands is propagated along the control flow. We extend the formalization of the Meet Over Paths solution to bidirectional flows. This formalization helps us to prove the soundness and precision of our analysis, and (b) since a demand-driven method computes only the required information to meet a demand, it should be able to reduce the imprecision caused by data abstractions and hence should be more precise than an exhaustive method. We show that while this is indeed the case with Java, for C/C++, the precision critically hinges on how indirect assignments are handled. We use this insight and propose a demand-driven alias analysis that is more precise than an exhaustive analysis for C/C++ too. We have chosen devirtualization as an application. Our measurements show that our method is not only more efficient but more precise than the existing demand-driven method, as well as the corresponding exhaustive method.


title: The $L_p$ dual Minkowski problem for $p>1$ and $q>0$

abstract: General $L_p$ dual curvature measures have recently been introduced by Lutwak, Yang and Zhang. These new measures unify several other geometric measures of the Brunn-Minkowski theory and the dual Brunn-Minkowski theory. $L_p$ dual curvature measures arise from $q$th dual inrinsic volumes by means of Alexandrov-type variational formulas. Lutwak, Yang and Zhang formulated the $L_p$ dual Minkowski problem, which concerns the characterization of $L_p$ dual curvature measures. In this paper, we solve the existence part of the $L_{p}$ dual Minkowski problem for $p>1$ and $q>0$, and we also discuss the regularity of the solution.


title: Incorporating Literals into Knowledge Graph Embeddings

abstract: Knowledge graphs, on top of entities and their relationships, contain other important elements: literals. Literals encode interesting properties (e.g. the height) of entities that are not captured by links between entities alone. Most of the existing work on embedding (or latent feature) based knowledge graph analysis focuses mainly on the relations between entities. In this work, we study the effect of incorporating literal information into existing link prediction methods. Our approach, which we name LiteralE, is an extension that can be plugged into existing latent feature methods. LiteralE merges entity embeddings with their literal information using a learnable, parametrized function, such as a simple linear or nonlinear transformation, or a multilayer neural network. We extend several popular embedding models based on LiteralE and evaluate their performance on the task of link prediction. Despite its simplicity, LiteralE proves to be an effective way to incorporate literal information into existing embedding based methods, improving their performance on different standard datasets, which we augmented with their literals and provide as testbed for further research.


title: Randomness induced spin-liquid-like phase in the spin-$1/2$ $J_1 - J_2$ triangular Heisenberg model

abstract: We study the effects of bond randomness in the spin-$1/2$ $J_1-J_2$ triangular Heisenberg model using exact diagonalization and density matrix renormalization group. With increasing bond randomness, we identify a randomness induced spin-liquid-like phase without any magnetic order, dimer order, spin glass order, or valence-bond glass order. The finite-size scaling of gaps suggests the gapless nature of both spin triplet and singlet excitations, which is further supported by the broad continuum of dynamical spin structure factor. By studying the bipartite entanglement spectrum of the system on cylinder geometry, we identify the features of the low-lying entanglement spectrum in the spin-liquid-like phase, which may distinguish this randomness induced spin-liquid-like phase and the intrinsic spin liquid phase in the clean $J_1 - J_2$ triangular Heisenberg model. We further discuss the nature of this spin-liquid-like phase and the indication of our results for understanding spin-liquid-like materials with triangular-lattice structure.


title: Frequency of Rational Fractions on [0, 1]

abstract: In this paper, the authors design a trial to count rational ratios on the interval [0, 1], and plot a normalized frequency statistical graph. Patterns, symmetry and co-linear properties reflected in the graph are confirmed. The main objective is to present a new view of Farey sequence and to explain the inner principle of its procedure. In addition, we compare Farey sequence and Continued fraction in terms of numerical approximation track and clarify the internal reason why we iteratively choose mediant as the next suitable approximation for the first time. Besides, all sorts of Fibonacci-Lucas sequences emerge from the statistical graph.


title: ProFound: Source Extraction and Application to Modern Survey Data

abstract: We introduce ProFound, a source finding and image analysis package. ProFound provides methods to detect sources in noisy images, generate segmentation maps identifying the pixels belonging to each source, and measure statistics like flux, size and ellipticity. These inputs are key requirements of ProFit, our recently released galaxy profiling package, where the design aim is that these two software packages will be used in unison to semi-automatically profile large samples of galaxies. The key novel feature introduced in ProFound is that all photometry is executed on dilated segmentation maps that fully contain the identifiable flux, rather than using more traditional circular or ellipse based photometry. Also, to be less sensitive to pathological segmentation issues, the de-blending is made across saddle points in flux. We apply ProFound in a number of simulated and real world cases, and demonstrate that it behaves reasonably given its stated design goals. In particular, it offers good initial parameter estimation for ProFit, and also segmentation maps that follow the sometimes complex geometry of resolved sources, whilst capturing nearly all of the flux. A number of bulge-disc decomposition projects are already making use of the ProFound and ProFit pipeline, and adoption is being encouraged by publicly releasing the software for the open source R data analysis platform under an LGPL-3 license on GitHub (github.com/asgr/ProFound).


title: DeepProcess: Supporting business process execution using a MANN-based recommender system

abstract: Process-aware Recommender systems can provide critical decision support functionality to aid business process execution by recommending what actions to take next. Based on recent advances in the field of deep learning, we present a novel memory-augmented neural network (MANN) based approach for constructing a process-aware recommender system. We propose a novel network architecture, namely Write-Protected Dual Controller Memory-Augmented Neural Network (DCw-MANN), for building prescriptive models. To evaluate the feasibility and usefulness of our approach, we consider three real-world datasets and show that our approach leads to better performance on several baselines for the task of suffix recommendation and next task prediction.


title: Recent Advances in Efficient Computation of Deep Convolutional Neural Networks

abstract: Deep neural networks have evolved remarkably over the past few years and they are currently the fundamental tools of many intelligent systems. At the same time, the computational complexity and resource consumption of these networks also continue to increase. This will pose a significant challenge to the deployment of such networks, especially in real-time applications or on resource-limited devices. Thus, network acceleration has become a hot topic within the deep learning community. As for hardware implementation of deep neural networks, a batch of accelerators based on FPGA/ASIC have been proposed in recent years. In this paper, we provide a comprehensive survey of recent advances in network acceleration, compression and accelerator design from both algorithm and hardware points of view. Specifically, we provide a thorough analysis of each of the following topics: network pruning, low-rank approximation, network quantization, teacher-student networks, compact network design and hardware accelerators. Finally, we will introduce and discuss a few possible future directions.