title: Hierarchic Superposition Revisited

abstract: Many applications of automated deduction require reasoning in first-order logic modulo background theories, in particular some form of integer arithmetic. A major unsolved research challenge is to design theorem provers that are "reasonably complete" even in the presence of free function symbols ranging into a background theory sort. The hierarchic superposition calculus of Bachmair, Ganzinger, and Waldmann already supports such symbols, but, as we demonstrate, not optimally. This paper aims to rectify the situation by introducing a novel form of clause abstraction, a core component in the hierarchic superposition calculus for transforming clauses into a form needed for internal operation. We argue for the benefits of the resulting calculus and provide two new completeness results: one for the fragment where all background-sorted terms are ground and another one for a special case of linear (integer or rational) arithmetic as a background theory.


title: Heegaard Floer homology and splicing homology spheres

abstract: We prove a basic inequality for the d-invariants of a splice of knots in homology spheres. As a result, we are able to prove a new relation on the rank of reduced Floer homology under maps between Seifert fibered homology spheres, improving results of the first and second authors. As a corollary, a degree one map between two aspherical Seifert homology spheres is homotopic to a homeomorphism if and only if the Heegaard Floer homologies are isomorphic.


title: Regularity of inhomogeneous Quasi-linear equations on the Heisenberg Group

abstract: We establish Holder continuity of the horizontal gradient of weak solutions to quasi-linear p-Laplacian type non-homogeneous equations in the Heisenberg Group.


title: Cluster Developing 1-Bit Matrix Completion

abstract: Matrix completion has a long-time history of usage as the core technique of recommender systems. In particular, 1-bit matrix completion, which considers the prediction as a ``Recommended'' or ``Not Recommended'' question, has proved its significance and validity in the field. However, while customers and products aggregate into interacted clusters, state-of-the-art model-based 1-bit recommender systems do not take the consideration of grouping bias. To tackle the gap, this paper introduced Group-Specific 1-bit Matrix Completion (GS1MC) by first-time consolidating group-specific effects into 1-bit recommender systems under the low-rank latent variable framework. Additionally, to empower GS1MC even when grouping information is unobtainable, Cluster Developing Matrix Completion (CDMC) was proposed by integrating the sparse subspace clustering technique into GS1MC. Namely, CDMC allows clustering users/items and to leverage their group effects into matrix completion at the same time. Experiments on synthetic and real-world data show that GS1MC outperforms the current 1-bit matrix completion methods. Meanwhile, it is compelling that CDMC can successfully capture items' genre features only based on sparse binary user-item interactive data. Notably, GS1MC provides a new insight to incorporate and evaluate the efficacy of clustering methods while CDMC can be served as a new tool to explore unrevealed social behavior or market phenomenon.


title: A transferable machine-learning framework linking interstice distribution and plastic heterogeneity in metallic glasses

abstract: When metallic glasses (MGs) are subjected to mechanical loads, the plastic response of atoms is non-uniform. However, the extent and manner in which atomic environment signatures present in the undeformed structure determine this plastic heterogeneity remain elusive. Here, we demonstrate that novel site environment features that characterize interstice distributions around atoms combined with machine learning (ML) can reliably identify plastic sites in several Cu-Zr compositions. Using only quenched structural information as input, the ML-based plastic probability estimates ("quench-in softness" metric) can identify plastic sites that could activate at high strains, losing predictive power only upon the formation of shear bands. Moreover, we reveal that a quench-in softness model trained on a single composition and quenching rate substantially improves upon previous models in generalizing to different compositions and completely different MG systems (Ni62Nb38, Al90Sm10 and Fe80P20). Our work presents a general, data-centric framework that could potentially be used to address the structural origin of any site-specific property in MGs.


title: Implications of Symmetry and Pressure in Friedmann Cosmology. II. Stellar Remnant Black Hole Mass Function

abstract: We consider some observational consequences of replacing all black holes (BHs) with a class of non-singular solutions that mimic BHs but with Dark Energy (DE) interiors; GEneric Objects of Dark Energy (GEODEs). We focus on the BH mass function and chirp-mass redshift distribution of mergers visible to gravitational wave observatories. We incorporate the GEODE blueshift into an initially Salpeter stellar remnant distribution, and model the binary population by evolving synthesized binary remnant distributions, published before LIGO's first measurements. We find that a GEODE produced between $20 \lesssim z \lesssim 40$, and observed at $z \sim 7$, will have its initial mass amplified by $\sim 20-140\times$. This can relieve tension between accretion-only growth models and the inferred masses of BHs in quasars at $z \gtrsim 6$. Moreover, we find that merger rates of GEODE binaries increase by a factor of $\sim 2\times$ relative to classical BHs. The resulting GEODE mass function is consistent with the most recent LIGO constraints at $< 0.5\sigma$. In contrast, a Salpeter stellar distribution that evolves into classical remnants is in tension at $\gtrsim 2\sigma$. This agreement occurs without low-metallicity regions, abnormally massive progenitor stars, novel formation channels, or primordial object formation at extreme rates. In particular, we find that solar metallicity progenitors, which produce $1.1-1.8\mathrm{M}_\odot$ remnants, overlap with many LIGO observations when evolved as GEODEs.


title: Unilateral weighted shifts on $\ell^2$

abstract: Given a unilateral shift $B_w$ (determined by a bounded sequence $w$), a sequence $x \in \ell^2$ is "hypercyclic" for $w$ iff the forward iterates of $x$ under $B_w$ are dense in $\ell^2$. We show that it is possible to make the set of $x \in \ell^2$ which are simultaneously hypercyclic for all $w$ in a fixed $W \subseteq \ell^\infty$ arbitrarily complicated by choosing $W$ appropriately.


title: Supercurrent detection of topologically trivial zero-energy states in nanowire junctions

abstract: We report the emergence of zero-energy states in the trivial phase of a short nanowire junction with strong spin-orbit coupling and magnetic field, formed by strong coupling between the nanowire and two superconductors. The zero-energy states appear in the junction when the superconductors induce a large energy shift in the nanowire, such that the junction naturally forms a quantum dot, a process that is highly tunable by the superconductor width. Most importantly, we demonstrate that the zero-energy states produce a $\pi$-shift in the phase-biased supercurrent, which can be used as a simple tool for their unambiguous detection, ruling out any Majorana-like interpretation.


title: KL property of exponent $1/2$ of quadratic functions under nonnegative zero-norm constraints and applications

abstract: This paper focuses on the quadratic optimization over two classes of nonnegative zero-norm constraints: nonnegative zero-norm sphere constraint and zero-norm simplex constraint, which have important applications in nonnegative sparse eigenvalue problems and sparse portfolio problems, respectively. We establish the KL property of exponent 1/2 for the extended-valued objective function of these nonconvex and nonsmooth optimization problems, and use this crucial property to develop a globally and linearly convergent projection gradient descent (PGD) method. Numerical results are included for nonegative sparse principal component analysis and sparse portfolio problems with synthetic and real data to confirm the theoretical results.


title: Local and Global Solvability for Advection-Diffusion Equation on an Evolving Surface with a Boundary

abstract: This paper considers the existence of local and global-in-time strong solutions to the advection-diffusion equation with variable coefficients on an evolving surface with a boundary. We apply both the maximal $L^p$-in-time regularity for Hilbert space-valued functions and the semigroup theory to construct local and global-in-time strong solutions to an evolution equation. Using the approach and our function spaces on the evolving surface, we show the existence of local and global-in-time strong solutions to the advection-diffusion equation. Moreover, we derive the asymptotic stability of the global-in-time strong solution.


title: Resource Constrained Neural Network Architecture Search: Will a Submodularity Assumption Help?

abstract: The design of neural network architectures is frequently either based on human expertise using trial/error and empirical feedback or tackled via large scale reinforcement learning strategies performed over distinct discrete architecture choices. In the latter case, the optimization is often non-differentiable and also not very amenable to derivative-free optimization methods. Most methods in use today require sizable computational resources. And if we want networks that additionally satisfy resource constraints, the above challenges are exacerbated because the search must now balance accuracy with certain budget constraints on resources. We formulate this problem as the optimization of a set function -- we find that the empirical behavior of this set function often (but not always) satisfies marginal gain and monotonicity principles -- properties central to the idea of submodularity. Based on this observation, we adapt algorithms within discrete optimization to obtain heuristic schemes for neural network architecture search, where we have resource constraints on the architecture. This simple scheme when applied on CIFAR-100 and ImageNet, identifies resource-constrained architectures with quantifiably better performance than current state-of-the-art models designed for mobile devices. Specifically, we find high-performing architectures with fewer parameters and computations by a search method that is much faster.


title: Bayesian Non-Parametric Multi-Source Modelling Based Determined Blind Source Separation

abstract: This paper proposes a determined blind source separation method using Bayesian non-parametric modelling of sources. Conventionally source signals are separated from a given set of mixture signals by modelling them using non-negative matrix factorization (NMF). However in NMF, a latent variable signifying model complexity must be appropriately specified to avoid over-fitting or under-fitting. As real-world sources can be of varying and unknown complexities, we propose a Bayesian non-parametric framework which is invariant to such latent variables. We show that our proposed method adapts to different source complexities, while conventional methods require parameter tuning for optimal separation.


title: Tiling the Euclidean and Hyperbolic planes with ribbons

abstract: We describe a method to classify crystallographic tilings of the Euclidean and hyperbolic planes by tiles whose stabiliser group contains translation isometries or whose topology is not that of a closed disk. We tackle this problem from two different viewpoints, one with constructive techniques to enumerate such tilings and the other from a viewpoint of classification. The methods are purely topological and generalise Delaney-Dress combinatorial tiling theory. The classification is up to equivariant equivalence and is achieved by viewing tilings as decorations of orbifolds.


title: Classical Sturmian sequences

abstract: The Sturm sequence is generated by a pair of polynomials $P(x)$ and $P'(x)$, where $P(x)$ is assumed to have simple real roots. Euclidean algorithm generates then a finite sequence of polynomials orthogonal on the grid $x_s$ of roots of the polynomial $P(x)$. This algorithm can be exploited in order to find the number of roots of the polynomial $P(x)$ inside a given interval. We consider the "inverse" problem: what is the explicit system of orthogonal polynomials generated by the prescribed grid $x_s$ of "classical" type. The main results are the following. The generic linear grid generates a special case of the Hahn polynomials. The quadratic grids $x_s=x(s+1)$ and $x_s=s(s+2)$ correspond to two special cases of the Racah polynomials. The generic exponential grid is related to a special case of the q-Hahn polynomials. Finally, we show that two special trigonometric grids are related to the Chebyshev polynomials of the first and second kind.


title: Revisiting Metastable Dark Energy and Tensions in the Estimation of Cosmological Parameters

abstract: We investigate constraints on some key cosmological parameters by confronting metastable dark energy models with different combinations of the most recent cosmological observations. Along with the standard $\Lambda$CDM model, two phenomenological metastable dark energy models are considered: (\romannumeral1) DE decays exponentially, (\romannumeral2) DE decays into dark matter. We find that: (1) when considering the most recent supernovae and BAO data, and assuming a fiducial $\Lambda$CDM model, the inconsistency in the estimated value of the $\Omega_{\rm{m,0}}h^2$ parameter obtained by either including or excluding Planck CMB data becomes very much substantial and points to a clear tension~\citep{sahni2014model,zhao2017dynamical}; (2) although the two metastable dark energy models that we study provide greater flexibility in fitting the data, and they indeed fit the SNe Ia+BAO data substantially better than $\Lambda$CDM, they are not able to alleviate this tension significantly when CMB data are included; (3) while local measurements of the Hubble constant are significantly higher relative to the estimated value of $H_0$ in our models (obtained by fitting to SNe Ia and BAO data), the situation seems to be rather complicated with hints of inconsistency among different observational data sets (CMB, SNe Ia+BAO and local $H_0$ measurements). Our results indicate that we might not be able to remove the current tensions among different cosmological observations by considering simple modifications of the standard model or by introducing minimal dark energy models. A complicated form of expansion history, different systematics in different data and/or a non-conventional model of the early Universe might be responsible for these tensions.


title: Spectral and scattering theory of one-dimensional coupled photonic crystals

abstract: We study the spectral and scattering theory of light transmission in a system consisting of two asymptotically periodic waveguides, also known as one-dimensional photonic crystals, coupled by a junction. Using analyticity techniques and commutator methods in a two-Hilbert spaces setting, we determine the nature of the spectrum and prove the existence and completeness of the wave operators of the system.


title: Improved Speaker-Dependent Separation for CHiME-5 Challenge

abstract: This paper summarizes several follow-up contributions for improving our submitted NWPU speaker-dependent system for CHiME-5 challenge, which aims to solve the problem of multi-channel, highly-overlapped conversational speech recognition in a dinner party scenario with reverberations and non-stationary noises. We adopt a speaker-aware training method by using i-vector as the target speaker information for multi-talker speech separation. With only one unified separation model for all speakers, we achieve a 10\% absolute improvement in terms of word error rate (WER) over the previous baseline of 80.28\% on the development set by leveraging our newly proposed data processing techniques and beamforming approach. With our improved back-end acoustic model, we further reduce WER to 60.15\% which surpasses the result of our submitted CHiME-5 challenge system without applying any fusion techniques.


title: Deformations of Bi-conformal Energy and a new Characterization of Quasiconformality

abstract: The concept of hyperelastic deformations of bi-conformal energy is developed as an extension of quasiconformality. These are homeomorphisms $h:X \to Y$ between domains $ X, Y \subset \mathbb R^n$ of the Sobolev class $W^{1,n}_{loc} (X, Y)$ whose inverse $f =h^{-1}:Y \to X$ also belongs to $W^{1,n}_{loc}(Y, X)$. Thus the paper opens new topics in Geometric Function Theory with connections to mathematical models of Nonlinear Elasticity. In seeking differences and similarities with quasiconformal mappings we examine closely the modulus of continuity of deformations of bi-conformal energy. This leads us to a new characterization of quasiconformality. Specifically, it is observed that quasiconformal mappings behave locally at every point like radial stretchings. Without going into detail, if a quasiconformal map $h$ admits a function $\phi$ as its optimal modulus of continuity at a point $x_0$, then $f = h^{-1}$ admits the inverse function $\psi = \phi^{-1}$ as its modulus of continuity at $y_0 = h(x_0)$. That is to say; a poor continuity of $h$ at a given point $x_0$ is always compensated by a better continuity of $f$ at $y_0$, and vice versa. Such a gain/loss property, seemingly overlooked by many authors, is actually characteristic of quasiconformal mappings. It turns out that the elastic deformations of bi-conformal energy are very different in this respect. Unexpectedly, such a map may have the same optimal modulus of continuity as its inverse deformation. In line with Hooke's Law, when trying to restore the original shape of the body (by the inverse transformation) the modulus of continuity may neither be improved nor become worse. However, examples to confirm this phenomenon are far from being obvious. We eventually hope that our examples will gain an interest in the materials science, particularly in mathematical models of hyperelasticity.


title: Isovector Effects in Neutron Stars, Radii and the GW170817 Constraint

abstract: An isovector-scalar meson is incorporated self-consistently into the quark-meson coupling description of nuclear matter and its most prominent effects on the structure of neutron stars are investigated. The recent measurement of GW170817 is used to constrain the strength of the isovector-scalar channel. With the imminent measurements of the neutron star radii in the NICER mission it is particularly notable that the inclusion of the isovector-scalar force has a significant impact. Indeed, the effect of this interaction on the neutron star radii and masses is larger than the uncertainties introduced by variations in the parameters of symmetric nuclear matter at saturation, namely the density, binding energy per nucleon and the symmetry energy. In addition, since the analysis of GW170817 has provided constraints on the binary tidal deformability of merging neutron stars, the predictions for this parameter within the quark-meson coupling model are explored, as well as the moment of inertia and the quadrupole moment of slowly rotating neutron stars.


title: Quantum state smoothing: Why the types of observed and unobserved measurements matter

abstract: We investigate the estimation technique called quantum state smoothing introduced by Guevara and Wiseman [Phys.~Rev.~Lett.~{\bf 115}, 180407 (2015)], which offers a valid quantum state estimate for a partially monitored system, conditioned on the observed record both prior and posterior to an estimation time. Partial monitoring by an observer implies that there may exist records unobserved by that observer. It was shown that, given only the observed record, the observer can better estimate the underlying true quantum states, by inferring the unobserved record and using quantum state smoothing, rather than the usual quantum filtering approach. However, the improvement in estimation fidelity, originally examined for a resonantly driven qubit coupled to two vacuum baths, was also shown to vary depending on the types of detection used for the qubit's fluorescence. In this work, we analyse this variation in a systematic way for the first time. We first define smoothing power using an average purity recovery and a relative average purity recovery, of smoothing over filtering. Then, we explore the power for various combinations of fluorescence detection for both observed and unobserved channels. We next propose a method to explain the variation of the smoothing power, based on multi-time correlation strength between fluorescence detection records. The method gives a prediction of smoothing power for different combinations, which is remarkably successful in comparison with numerically simulated qubit trajectories.


title: Minimum Enclosing Ball Revisited: Stability and Sub-linear Time Algorithms

abstract: In this paper, we revisit the Minimum Enclosing Ball (MEB) problem and its robust version, MEB with outliers, in Euclidean space $\mathbb{R}^d$. Though the problem has been extensively studied before, most of the existing algorithms need at least linear time (in the number of input points $n$ and the dimensionality $d$) to achieve a $(1+\epsilon)$-approximation. Motivated by some recent developments on beyond worst-case analysis, we introduce the notion of stability for MEB (with outliers), which is natural and easy to understand. Roughly speaking, an instance of MEB is stable, if the radius of the resulting ball cannot be significantly reduced by removing a small fraction of the input points. Under the stability assumption, we present two sampling algorithms for computing approximate MEB with sample complexities independent of the number of input points $n$. In particular, the second algorithm has the sample complexity even independent of the dimensionality $d$. Further, we extend the idea to achieve a sub-linear time approximation algorithm for the MEB with outliers problem. Note that most existing sub-linear time algorithms for the problems of MEB and MEB with outliers usually result in bi-criteria approximations, where the "bi-criteria" means that the solution has to allow the approximations on the radius and the number of covered points. Differently, all the algorithms proposed in this paper yield single-criterion approximations (with respect to radius). We expect that our proposed notion of stability and techniques will be applicable to design sub-linear time algorithms for other optimization problems.


title: FoveaBox: Beyond Anchor-based Object Detector

abstract: We present FoveaBox, an accurate, flexible, and completely anchor-free framework for object detection. While almost all state-of-the-art object detectors utilize predefined anchors to enumerate possible locations, scales and aspect ratios for the search of the objects, their performance and generalization ability are also limited to the design of anchors. Instead, FoveaBox directly learns the object existing possibility and the bounding box coordinates without anchor reference. This is achieved by: (a) predicting category-sensitive semantic maps for the object existing possibility, and (b) producing category-agnostic bounding box for each position that potentially contains an object. The scales of target boxes are naturally associated with feature pyramid representations. In FoveaBox, an instance is assigned to adjacent feature levels to make the model more accurate.We demonstrate its effectiveness on standard benchmarks and report extensive experimental analysis. Without bells and whistles, FoveaBox achieves state-of-the-art single model performance on the standard COCO and Pascal VOC object detection benchmark. More importantly, FoveaBox avoids all computation and hyper-parameters related to anchor boxes, which are often sensitive to the final detection performance. We believe the simple and effective approach will serve as a solid baseline and help ease future research for object detection. The code has been made publicly available at https://github.com/taokong/FoveaBox .


title: Magnetism study on a triangular lattice antiferromagnet Cu$_2$(OH)$_3$Br

abstract: Magnetism of Cu$_2$(OH)$_3$Br single crystals based on a triangular lattice is studied by means of magnetic susceptibility, pulsed-field magnetization, and specific heat measurements. There are two inequivalent Cu$^{2+}$ sites in an asymmetric unit. Both Cu$^{2+}$ sublattices undergo a long-range antiferromagnetic (AFM) order at $T\rm_N$ = 9.3 K. Upon cooling, an anisotropy crossover from Heisenberg to $XY$ behavior is observed below 7.5 K from the anisotropic magnetic susceptibility. The magnetic field applied within the $XY$ plane induces a spin-flop transition of Cu$^{2+}$ ions between 4.9 T and 5.3 T. With further increasing fields, the magnetic moment is gradually increased but is only about half of the saturation of a Cu$^{2+}$ ion even in 30 T. The individual reorientation of the inequivalent Cu$^{2+}$ spins under field is proposed to account for the magnetization behavior. The observed spin-flop transition is likely related to one Cu site, and the AFM coupling among the rest Cu spins is so strong that the 30-T field cannot overcome the anisotropy. The temperature dependence of the magnetic specific heat, which is well described by a sum of two gapped AFM contributions, is a further support for the proposed scenario.


title: Enriching Rare Word Representations in Neural Language Models by Embedding Matrix Augmentation

abstract: The neural language models (NLM) achieve strong generalization capability by learning the dense representation of words and using them to estimate probability distribution function. However, learning the representation of rare words is a challenging problem causing the NLM to produce unreliable probability estimates. To address this problem, we propose a method to enrich representations of rare words in pre-trained NLM and consequently improve its probability estimation performance. The proposed method augments the word embedding matrices of pre-trained NLM while keeping other parameters unchanged. Specifically, our method updates the embedding vectors of rare words using embedding vectors of other semantically and syntactically similar words. To evaluate the proposed method, we enrich the rare street names in the pre-trained NLM and use it to rescore 100-best hypotheses output from the Singapore English speech recognition system. The enriched NLM reduces the word error rate by 6% relative and improves the recognition accuracy of the rare words by 16% absolute as compared to the baseline NLM.


title: Towards Concurrent Stateful Stream Processing on Multicore Processors (Technical Report)

abstract: Recent data stream processing systems (DSPSs) can achieve excellent performance when processing large volumes of data under tight latency constraints. However, they sacrifice support for concurrent state access that eases the burden of developing stateful stream applications. Recently, some have proposed managing concurrent state access during stream processing by modeling state accesses as transactions. However, these are realized with locks involving serious contention overhead. Their coarse-grained processing paradigm further magnifies contention issues and tends to poorly utilize modern multicore architectures. This paper introduces TStream , a novel DSPS supporting efficient concurrent state access on multicore processors. Transactional semantics is employed like previous work, but scalability is greatly improved due to two novel designs: 1) dual-mode scheduling, which exposes more parallelism opportunities, 2) dynamic restructuring execution, which aggressively exploits the parallelism opportunities from dual-mode scheduling without centralized lock contentions. To validate our proposal, we evaluate TStream with a benchmark of four applications on a modern multicore machine. The experimental results show that 1) TStream achieves up to 4.8 times higher throughput with similar processing latency compared to the state-of-the-art and 2) unlike prior solutions, TStream is highly tolerant of varying application workloads such as key skewness and multi-partition state accesses.


title: pdbmine: A Node.js API for the RCSB Protein Data Bank (PDB)

abstract: Summary: The advent of Web-based tools that assist in the analysis and visualization of macromolecules require application programming interfaces (APIs) designed for modern web frameworks. To this end, we have developed a Node.js module pdbmine that allows any user to generate faster data-request queries to the RCSB Protein Data Bank (PDB). This JavaScript API acts as a layer over the XML-based RCSB PDB RESTful API. The relatively simple nature of the function calls within this module allows the user to easily implement and integrate pdbmine into larger Node.js web applications. Availability: This module can be installed via the Node Package Manager (NPM) at https://www.npmjs.com/package/pdbmine/, and is hosted on GitHub under the open-source MIT license at https://github.com/nnj1/pdbmine/. Relevant documentation is detailed at https://nnj1.github.io/pdbmine/


title: Constrained Output Embeddings for End-to-End Code-Switching Speech Recognition with Only Monolingual Data

abstract: The lack of code-switch training data is one of the major concerns in the development of end-to-end code-switching automatic speech recognition (ASR) models. In this work, we propose a method to train an improved end-to-end code-switching ASR using only monolingual data. Our method encourages the distributions of output token embeddings of monolingual languages to be similar, and hence, promotes the ASR model to easily code-switch between languages. Specifically, we propose to use Jensen-Shannon divergence and cosine distance based constraints. The former will enforce output embeddings of monolingual languages to possess similar distributions, while the later simply brings the centroids of two distributions to be close to each other. Experimental results demonstrate high effectiveness of the proposed method, yielding up to 4.5% absolute mixed error rate improvement on Mandarin-English code-switching ASR task.


title: Visual Localization Using Sparse Semantic 3D Map

abstract: Accurate and robust visual localization under a wide range of viewing condition variations including season and illumination changes, as well as weather and day-night variations, is the key component for many computer vision and robotics applications. Under these conditions, most traditional methods would fail to locate the camera. In this paper we present a visual localization algorithm that combines structure-based method and image-based method with semantic information. Given semantic information about the query and database images, the retrieved images are scored according to the semantic consistency of the 3D model and the query image. Then the semantic matching score is used as weight for RANSAC's sampling and the pose is solved by a standard PnP solver. Experiments on the challenging long-term visual localization benchmark dataset demonstrate that our method has significant improvement compared with the state-of-the-arts.


title: Meromorphic projective structures, grafting and the monodromy map

abstract: A meromorphic projective structure on a punctured Riemann surface $X\setminus P$ is determined, after fixing a standard projective structure on $X$, by a meromorphic quadratic differential with poles of order three or more at each puncture in $P$. In this article we prove the analogue of Thurston's grafting theorem for such meromorphic projective structures, that involves grafting crowned hyperbolic surfaces. This also provides a grafting description for projective structures on $\mathbb{C}$ that have polynomial Schwarzian derivatives. As an application of our main result, we prove the analogue of a result of Hejhal, namely, we show that the monodromy map to the decorated character variety (in the sense of Fock-Goncharov) is a local homeomorphism.


title: Supervised-Learning for Multi-Hop MU-MIMO Communications with One-Bit Transceivers

abstract: This paper considers a nonlinear multi-hop multi-user multiple-input multiple-output (MU-MIMO) relay channel, in which multiple users send information symbols to a multi-antenna base station (BS) with one-bit analog-to-digital converters via intermediate relays, each with one-bit transceiver. To understand the fundamental limit of the detection performance, the optimal maximum-likelihood (ML) detector is proposed with the assumption of perfect and global channel state information (CSI) at the BS. This multi-user detector, however, is not practical due to the unrealistic CSI assumption and the overwhelming detection complexity. These limitations are addressed by presenting a novel detection framework inspired by supervised-learning. The key idea is to model the complicated multihop MU-MIMO channel as a simplified channel with much fewer and learnable parameters. One major finding is that, even using the simplified channel model, a near ML detection performance is achievable with a reasonable amount of pilot overheads in a certain condition. In addition, an online supervised-learning detector is proposed, which adaptively tracks channel variations. The idea is to update the model parameters with a reliably detected data symbol by treating it as a new training (labelled) data. Lastly, a multi-user detector using a deep neural network is proposed. Unlike the model-based approaches, this model-free approach enables to remove the errors in the simplified channel model, while increasing the computational complexity for parameter learning. Via simulations, the detection performances of classical, model-based, and model-free detectors are thoroughly compared to demonstrate the effectiveness of the supervised-learning approaches in this channel.


title: Entangled Photon Resonance Energy Transfer in Arbitrary Media

abstract: Inspired by the unique nonclassical character of two-photon interactions induced by entangled photons, we develop a new comprehensive F\"orster-type formulation for entangled two-photon resonance energy transfer (E2P-RET) mediated by inhomogeneous, dispersive and absorptive media with any space-dependent and frequency-dependent dielectric function and with any size of donor/acceptor. In our theoretical framework, two uncoupled particles are jointly excited by the temporally entangled field associated with two virtual photons that are produced by three-level radiative cascade decay in a donor particle. The temporal entanglement leads to frequency anticorrelation in the virtual photon's field, and vanishing of one of the time-ordered excitation pathways. The underlying mechanism leads to more than three orders of magnitude enhancement in the E2P-RET rate compared with the uncorrelated photon case. With the power of our new formulation, we propose a way to characterize E2P-RET through an effective rate coefficient $K_{E2P}$, introduced here. This coefficient shows how energy transfer can be enhanced or suppressed depending on rate parameters in the radiative cascade, and by varying the donor-acceptor frequency differences.


title: Binary matrix completion with nonconvex regularizers

abstract: Many practical problems involve the recovery of a binary matrix from partial information, which makes the binary matrix completion (BMC) technique received increasing attention in machine learning. In particular, we consider a special case of BMC problem, in which only a subset of positive elements can be observed. In recent years, convex regularization based methods are the mainstream approaches for this task. However, the applications of nonconvex surrogates in standard matrix completion have demonstrated better empirical performance. Accordingly, we propose a novel BMC model with nonconvex regularizers and provide the recovery guarantee for the model. Furthermore, for solving the resultant nonconvex optimization problem, we improve the popular proximal algorithm with acceleration strategies. It can be guaranteed that the convergence rate of the algorithm is in the order of ${1/T}$, where $T$ is the number of iterations. Extensive experiments conducted on both synthetic and real-world data sets demonstrate the superiority of the proposed approach over other competing methods.


title: Parallel three-dimensional simulations of quasi-static elastoplastic solids

abstract: Hypo-elastoplasticity is a flexible framework for modeling the mechanics of many hard materials under small elastic deformation and large plastic deformation. Under typical loading rates, most laboratory tests of these materials happen in the quasi-static limit, but there are few existing numerical methods tailor-made for this physical regime. In this work, we extend to three dimensions a recent projection method for simulating quasi-static hypo-elastoplastic materials. The method is based on a mathematical correspondence to the incompressible Navier-Stokes equations, where the projection method of Chorin (1968) is an established numerical technique. We develop and utilize a three-dimensional parallel geometric multigrid solver employed to solve a linear system for the quasi-static projection. Our method is tested through simulation of three-dimensional shear band nucleation and growth, a precursor to failure in many materials. As an example system, we employ a physical model of a bulk metallic glass based on the shear transformation zone theory, but the method can be applied to any elastoplasticity model. We consider several examples of three-dimensional shear banding, and examine shear band formation in physically realistic materials with heterogeneous initial conditions under both simple shear deformation and boundary conditions inspired by friction welding.


title: The vorticity equations in a half plane with measures as initial data

abstract: We consider the two-dimensional Navier-Stokes equations subject to the Dirichlet boundary condition in a half plane for initial vorticity with finite measures. We study local well-posedness of the associated vorticity equations for measures with a small pure point part and global well-posedness for measures with a small total variation. Our construction is based on an $L^{1}$-estimate of a solution operator for the vorticity equations associated with the Stokes equations.


title: A twisted local index formula for curved noncommutative two tori

abstract: We consider the Dirac operator of a general metric in the canonical conformal class on the noncommutative two torus, twisted by an idempotent (representing the $K$-theory class of a general noncommutative vector bundle), and derive a local formula for the Fredholm index of the twisted Dirac operator. Our approach is based on the McKean-Singer index formula, and explicit heat expansion calculations by making use of Connes' pseudodifferential calculus. As a technical tool, a new rearrangement lemma is proved to handle challenges posed by the noncommutativity of the algebra and the presence of an idempotent in the calculations in addition to a conformal factor.


title: First microscopic coupled-channel calculation of $\alpha$ inelastic cross sections on $^{16}$O

abstract: The $\alpha$ inelastic scattering on $^{16}$O is investigated with the coupled-channel calculation using the $\alpha$-nucleus coupled-channel potentials, which are microscopically derived by folding the the Melbourne $g$-matrix $NN$ interaction with the $^{16}$O and $\alpha$ densities. The matter and transition densities of $^{16}$O are calculated by a microscopic structure model of the variation after the spin-parity projections combined with the generator coordinate method of $^{12}$C+$\alpha$ in the framework of the antisymmetrized molecular dynamics. The calculation reproduces the observed elastic and inelastic cross sections at incident energies of $E_\alpha$=104 MeV, 130 MeV, 146 MeV, and 386 MeV. The coupled-channel effect on the cross sections is also discussed.


title: A new approach to hypergeometric transformation formulas

abstract: We give a new method to prove in a uniform and easy way various transformation formulas for Gauss hypergeometric functions. The key is Jacobi's canonical form of the hypergeometric differential equation. Analogy for $q$-hypergeometric functions is also studied.


title: Raman stimulated neutrino pair emission

abstract: A new scheme using macroscopic coherence is proposed from a theoretical point to experimentally determine the neutrino mass matrix, in particular the absolute value of neutrino masses, and the mass type, Majorana or Dirac. The proposed process is a collective, coherent Raman scattering followed by neutrino-pair emission from an excited state $|e\rangle$ of a long lifetime to a lower energy state $|g\rangle$; $\gamma_0 + | e\rangle \rightarrow \gamma + \sum_{ij} \nu_i \bar{\nu_j} + | g\rangle $ with $ \nu_i \bar{\nu_j}$ consisting of six massive neutrino-pairs. Calculated angular distribution has six $(ij)$ thresholds of massive neutrino-pair emission which show up as steps at different angles in the distribution. Angular locations of thresholds and event rates of the angular distribution make it possible to experimentally determine the smallest neutrino mass to the level of less than 1 meV (accordingly all three masses using neutrino oscillation data) , the mass ordering pattern , normal or inverted, and to distinguish whether neutrinos are of Majorana or Dirac type. Event rates of neutrino-pair emission, when the mechanism of macroscopic coherence amplification works, may become large enough for realistic experiments by carefully selecting certain types of target atoms or ions doped in crystals. The problem to be overcome is macro-coherently amplified quantum electrodynamic background of the process, $\gamma_0 + | e\rangle \rightarrow \gamma +\gamma_2 + \gamma_3+ | g\rangle $, when two extra photons, $\gamma_2\,, \gamma_3$, escape detection. We illustrate our idea using neutral Xe and trivalent Ho ion doped in dielectric crystals.

categories: hep-ph cond-mat.other hep-ex physics.atom-ph


title: Temporal Convolution for Real-time Keyword Spotting on Mobile Devices

abstract: Keyword spotting (KWS) plays a critical role in enabling speech-based user interactions on smart devices. Recent developments in the field of deep learning have led to wide adoption of convolutional neural networks (CNNs) in KWS systems due to their exceptional accuracy and robustness. The main challenge faced by KWS systems is the trade-off between high accuracy and low latency. Unfortunately, there has been little quantitative analysis of the actual latency of KWS models on mobile devices. This is especially concerning since conventional convolution-based KWS approaches are known to require a large number of operations to attain an adequate level of performance. In this paper, we propose a temporal convolution for real-time KWS on mobile devices. Unlike most of the 2D convolution-based KWS approaches that require a deep architecture to fully capture both low- and high-frequency domains, we exploit temporal convolutions with a compact ResNet architecture. In Google Speech Command Dataset, we achieve more than \textbf{385x} speedup on Google Pixel 1 and surpass the accuracy compared to the state-of-the-art model. In addition, we release the implementation of the proposed and the baseline models including an end-to-end pipeline for training models and evaluating them on mobile devices.


title: Quasi-Direct Drive for Low-Cost Compliant Robotic Manipulation

abstract: Robots must cost less and be force-controlled to enable widespread, safe deployment in unconstrained human environments. We propose Quasi-Direct Drive actuation as a capable paradigm for robotic force-controlled manipulation in human environments at low-cost. Our prototype - Blue - is a human scale 7 Degree of Freedom arm with 2kg payload. Blue can cost less than $5000. We show that Blue has dynamic properties that meet or exceed the needs of human operators: the robot has a nominal position-control bandwidth of 7.5Hz and repeatability within 4mm. We demonstrate a Virtual Reality based interface that can be used as a method for telepresence and collecting robot training demonstrations. Manufacturability, scaling, and potential use-cases for the Blue system are also addressed. Videos and additional information can be found online at berkeleyopenarms.github.io


title: Towards Real-Time Automatic Portrait Matting on Mobile Devices

abstract: We tackle the problem of automatic portrait matting on mobile devices. The proposed model is aimed at attaining real-time inference on mobile devices with minimal degradation of model performance. Our model MMNet, based on multi-branch dilated convolution with linear bottleneck blocks, outperforms the state-of-the-art model and is orders of magnitude faster. The model can be accelerated four times to attain 30 FPS on Xiaomi Mi 5 device with moderate increase in the gradient error. Under the same conditions, our model has an order of magnitude less number of parameters and is faster than Mobile DeepLabv3 while maintaining comparable performance. The accompanied implementation can be found at \url{https://github.com/hyperconnect/MMNet}.


title: Unbiased variance reduction in randomized experiments

abstract: This paper develops a flexible method for decreasing the variance of estimators for complex experiment effect metrics (e.g. ratio metrics) while retaining asymptotic unbiasedness. This method uses the auxiliary information about the experiment units to decrease the variance. The method can incorporate almost any arbitrary predictive model (e.g. linear regression, regularization, neural networks) to adjust the estimators. The adjustment involves some free parameters which can be optimized to achieve the smallest variance reduction given the predictive model performance. Also we approximate the achievable reduction in variance in fairly general settings mathematically. Finally, we use simulations to show the method works.


title: Minimum degree conditions for the existence of cycles of all lengths modulo $k$ in graphs

abstract: Thomassen, in 1983, conjectured that for a positive integer $k$, every $2$-connected non-bipartite graph of minimum degree at least $k + 1$ contains cycles of all lengths modulo $k$. In this paper, we settle this conjecture affirmatively.


title: WeNet: Weighted Networks for Recurrent Network Architecture Search

abstract: In recent years, there has been increasing demand for automatic architecture search in deep learning. Numerous approaches have been proposed and led to state-of-the-art results in various applications, including image classification and language modeling. In this paper, we propose a novel way of architecture search by means of weighted networks (WeNet), which consist of a number of networks, with each assigned a weight. These weights are updated with back-propagation to reflect the importance of different networks. Such weighted networks bear similarity to mixture of experts. We conduct experiments on Penn Treebank and WikiText-2. We show that the proposed WeNet can find recurrent architectures which result in state-of-the-art performance.


title: Real-time Soft Body 3D Proprioception via Deep Vision-based Sensing

abstract: Soft bodies made from flexible and deformable materials are popular in many robotics applications, but their proprioceptive sensing has been a long-standing challenge. In other words, there has hardly been a method to measure and model the high-dimensional 3D shapes of soft bodies with internal sensors. We propose a framework to measure the high-resolution 3D shapes of soft bodies in real-time with embedded cameras. The cameras capture visual patterns inside a soft body, and a convolutional neural network (CNN) produces a latent code representing the deformation state, which can then be used to reconstruct the body's 3D shape using another neural network. We test the framework on various soft bodies, such as a Baymax-shaped toy, a latex balloon, and some soft robot fingers, and achieve real-time computation ($\leq$2.5ms/frame) for robust shape estimation with high precision ($\leq$1% relative error) and high resolution. We believe the method could be applied to soft robotics and human-robot interaction for proprioceptive shape sensing. Our code is available at https://ai4ce.github.io/Deep-Soft-Prorioception/


title: Creating Pro-Level AI for a Real-Time Fighting Game Using Deep Reinforcement Learning

abstract: Reinforcement learning combined with deep neural networks has performed remarkably well in many genres of games recently. It has surpassed human-level performance in fixed game environments and turn-based two player board games. However, to the best of our knowledge, current research has yet to produce a result that has surpassed human-level performance in modern complex fighting games. This is due to the inherent difficulties with real-time fighting games, including: vast action spaces, action dependencies, and imperfect information. We overcame these challenges and made 1v1 battle AI agents for the commercial game "Blade & Soul". The trained agents competed against five professional gamers and achieved a win rate of 62%. This paper presents a practical reinforcement learning method that includes a novel self-play curriculum and data skipping techniques. Through the curriculum, three different styles of agents were created by reward shaping and were trained against each other. Additionally, this paper suggests data skipping techniques that could increase data efficiency and facilitate explorations in vast spaces. Since our method can be generally applied to all two-player competitive games with vast action spaces, we anticipate its application to game development including level design and automated balancing.


title: Local existence and uniqueness of Skew Mean Curvature Flow

abstract: The Skew Mean Curvature Flow(SMCF) is a Schr\"odinger-type geometric flow canonically defined on a co-dimension two submanifold, which generalizes the famous vortex filament equation in fluid dynamics. In this paper, we prove the local existence and uniqueness of general dimensional SMCF in Euclidean spaces.


title: Electric circuits for non-Hermitian Chern insulators

abstract: We analyze the non-Hermitian Haldane model where the spin-orbit interaction is made non-Hermitian. The Dirac mass becomes complex. We propose to realize it by an $LC$ circuit with operational amplifiers. A topological phase transition is found to occur at a critical point where the real part of the bulk spectrum is closed. The Chern number changes its value when the real part of the mass becomes zero. In the topological phase of a nanoribbon, two non-Hermitian chiral edges emerge connecting well separated conduction and valence bands. The emergence of the chiral edge states is signaled by a strong enhancement in impedance. Remarkably it is possible to observe either the left-going or right-going chiral edge by measuring the one-point impedance. Furthermore, it is also possible to distinguish them by the phase of the two-point impedance. Namely, the phase of the impedance acquires a dynamical degree of freedom in the non-Hermitian system.


title: Cohen Macaulay Hybrid Graphs

abstract: We introduce a new family of graphs, namely, hybrid graphs. There are infinitely many hybrid graphs associated to a single graph. We show that every hybrid graph associated to a given graph is Cohen Macaulay. Furthermore, we show that every CohenMacaulay chordal graph is a hybrid graph.


title: Application of data compression techniques to time series forecasting

abstract: In this study we show that standard well-known file compression programs (zlib, bzip2, etc.) are able to forecast real-world time series data well. The strength of our approach is its ability to use a set of data compression algorithms and "automatically" choose the best one of them during the process of forecasting. Besides, modern data-compressors are able to find many kinds of latent regularities using some methods of artificial intelligence (for example, some data-compressors are based on finding the smallest formal grammar that describes the time series). Thus, our approach makes it possible to apply some particular methods of artificial intelligence for time-series forecasting. As examples of the application of the proposed method, we made forecasts for the monthly T-index and the Kp-index time series using standard compressors. In both cases, we used the Mean Absolute Error (MAE) as an accuracy measure. For the monthly T-index time series, we made 18 forecasts beyond the available data for each month since January 2011 to July 2017. We show that, in comparison with the forecasts made by the Australian Bureau of Meteorology, our method more accurately predicts one value ahead. The Kp-index time series consists of 3-hour values ranging from 0 to 9. For each day from February 4, 2018 to March 28, 2018, we made forecasts for 24 values ahead. We compared our forecasts with the forecasts made by the Space Weather Prediction Center (SWPC). The results showed that the accuracy of our method is similar to the accuracy of the SWPC's method. As in the previous case, we also obtained more accurate one-step forecasts.


title: Species Tree Estimation Using ASTRAL: Practical Considerations

abstract: ASTRAL is a method for reconstructing species trees after inferring a set of gene trees and is increasingly used in phylogenomic analyses. It is statistically consistent under the multi-species coalescent model, is scalable, and has shown high accuracy in simulated and empirical studies. This chapter discusses practical considerations in using ASTRAL, starting with a review of published results and pointing to the strengths and weaknesses of species tree estimation using ASTRAL. It then continues to detail the best ways to prepare input gene trees, interpret ASTRAL outputs, and perform follow-up analyses.


title: Piercing Through Highly Obscured and Compton-thick AGNs in the Chandra Deep Fields: I. X-ray Spectral and Long-term Variability Analyses

abstract: We present a detailed X-ray spectral analysis of 1152 AGNs selected in the Chandra Deep Fields (CDFs), in order to identify highly obscured AGNs ($N_{\rm H} > 10^{23}\ \rm cm^{-2}$). By fitting spectra with physical models, 436 (38%) sources with $L_{\rm X} > 10^{42}\ \rm erg\ s^{-1}$ are confirmed to be highly obscured, including 102 Compton-thick (CT) candidates. We propose a new hardness-ratio measure of the obscuration level which can be used to select highly obscured AGN candidates. The completeness and accuracy of applying this method to our AGNs are 88% and 80%, respectively. The observed logN-logS relation favors cosmic X-ray background models that predict moderate (i.e., between optimistic and pessimistic) CT number counts. 19% (6/31) of our highly obscured AGNs that have optical classifications are labeled as broad-line AGNs, suggesting that, at least for part of the AGN population, the heavy X-ray obscuration is largely a line-of-sight effect, i.e., some high-column-density clouds on various scales (but not necessarily a dust-enshrouded torus) along our sightline may obscure the compact X-ray emitter. After correcting for several observational biases, we obtain the intrinsic NH distribution and its evolution. The CT-to-highly-obscured fraction is roughly 52% and is consistent with no evident redshift evolution. We also perform long-term (~17 years in the observed frame) variability analyses for 31 sources with the largest number of counts available. Among them, 17 sources show flux variabilities: 31% (5/17) are caused by the change of NH, 53% (9/17) are caused by the intrinsic luminosity variability, 6% (1/17) are driven by both effects, and 2 are not classified due to large spectral fitting errors.


title: Ensemble Teaching for Hybrid Label Propagation

abstract: Label propagation aims to iteratively diffuse the label information from labeled examples to unlabeled examples over a similarity graph. Current label propagation algorithms cannot consistently yield satisfactory performance due to two reasons: one is the instability of single propagation method in dealing with various practical data, and the other one is the improper propagation sequence ignoring the labeling difficulties of different examples. To remedy above defects, this paper proposes a novel propagation algorithm called hybrid diffusion under ensemble teaching (HyDEnT). Specifically, HyDEnT integrates multiple propagation methods as base learners to fully exploit their individual wisdom, which helps HyDEnT to be stable and obtain consistent encouraging results. More importantly, HyDEnT conducts propagation under the guidance of an ensemble of teachers. That is to say, in every propagation round the simplest curriculum examples are wisely designated by a teaching algorithm, so that their labels can be reliably and accurately decided by the learners. To optimally choose these simplest examples, every teacher in the ensemble should comprehensively consider the examples' difficulties from its own viewpoint, as well as the common knowledge shared by all the teachers. This is accomplished by a designed optimization problem, which can be efficiently solved via the block coordinate descent method. Thanks to the efforts of the teachers, all the unlabeled examples are logically propagated from simple to difficult, leading to better propagation quality of HyDEnT than the existing methods.


title: Adversarial Audio: A New Information Hiding Method and Backdoor for DNN-based Speech Recognition Models

abstract: Audio is an important medium in people's daily life, hidden information can be embedded into audio for covert communication. Current audio information hiding techniques can be roughly classed into time domain-based and transform domain-based techniques. Time domain-based techniques have large hiding capacity but low imperceptibility. Transform domain-based techniques have better imperceptibility, but the hiding capacity is poor. This paper proposes a new audio information hiding technique which shows high hiding capacity and good imperceptibility. The proposed audio information hiding method takes the original audio signal as input and obtains the audio signal embedded with hidden information (called stego audio) through the training of our private automatic speech recognition (ASR) model. Without knowing the internal parameters and structure of the private model, the hidden information can be extracted by the private model but cannot be extracted by public models. We use four other ASR models to extract the hidden information on the stego audios to evaluate the security of the private model. The experimental results show that the proposed audio information hiding technique has a high hiding capacity of 48 cps with good imperceptibility and high security. In addition, our proposed adversarial audio can be used to activate an intrinsic backdoor of DNN-based ASR models, which brings a serious threat to intelligent speakers.


title: A Hybrid Compositional Approach to Optimal Mission Planning for Multi-rotor UAVs using Metric Temporal Logic

abstract: This paper investigates a hybrid compositional approach to optimal mission planning for multi-rotor Unmanned Aerial Vehicles (UAVs). We consider a time critical search and rescue scenario with two quadrotors in a constrained environment. Metric Temporal Logic (MTL) is used to formally describe the task specifications. In order to capture the various modes of UAV operation, we utilize a hybrid model for the system with linearized dynamics around different operating points. We divide the mission into several sub-tasks by exploiting the invariant nature of various task specifications i.e., the mutual independence of safety and timing constraints along the way, and the different modes (i,e., dynamics) of the robot. For each sub-task, we translate the MTL formulae into linear constraints, and solve the associated optimal control problem for desired path using a Mixed Integer Linear Program (MILP) solver. The complete path is constructed by the composition of individual optimal sub-paths. We show that the resulting trajectory satisfies the task specifications, and the proposed approach leads to significant reduction in computational complexity of the problem, making it possible to implement in real-time.


title: A Note on Chern-Yamabe Problem

abstract: We propose a flow to study the Chern-Yamabe problem and discuss the long time existence of the flow. In the balanced case we show that the Chern-Yamabe problem is the Euler-Lagrange equation of some functional. The monotonicity of the functional along the flow is derived. We also show that the functional is not bounded from below.


title: Weakly Supervised Person Re-Identification

abstract: In the conventional person re-id setting, it is assumed that the labeled images are the person images within the bounding box for each individual; this labeling across multiple nonoverlapping camera views from raw video surveillance is costly and time-consuming. To overcome this difficulty, we consider weakly supervised person re-id modeling. The weak setting refers to matching a target person with an untrimmed gallery video where we only know that the identity appears in the video without the requirement of annotating the identity in any frame of the video during the training procedure. Hence, for a video, there could be multiple video-level labels. We cast this weakly supervised person re-id challenge into a multi-instance multi-label learning (MIML) problem. In particular, we develop a Cross-View MIML (CV-MIML) method that is able to explore potential intraclass person images from all the camera views by incorporating the intra-bag alignment and the cross-view bag alignment. Finally, the CV-MIML method is embedded into an existing deep neural network for developing the Deep Cross-View MIML (Deep CV-MIML) model. We have performed extensive experiments to show the feasibility of the proposed weakly supervised setting and verify the effectiveness of our method compared to related methods on four weakly labeled datasets.


title: Direct Modelling of Speech Emotion from Raw Speech

abstract: Speech emotion recognition is a challenging task and heavily depends on hand-engineered acoustic features, which are typically crafted to echo human perception of speech signals. However, a filter bank that is designed from perceptual evidence is not always guaranteed to be the best in a statistical modelling framework where the end goal is for example emotion classification. This has fuelled the emerging trend of learning representations from raw speech especially using deep learning neural networks. In particular, a combination of Convolution Neural Networks (CNNs) and Long Short Term Memory (LSTM) have gained great traction for the intrinsic property of LSTM in learning contextual information crucial for emotion recognition; and CNNs been used for its ability to overcome the scalability problem of regular neural networks. In this paper, we show that there are still opportunities to improve the performance of emotion recognition from the raw speech by exploiting the properties of CNN in modelling contextual information. We propose the use of parallel convolutional layers to harness multiple temporal resolutions in the feature extraction block that is jointly trained with the LSTM based classification network for the emotion recognition task. Our results suggest that the proposed model can reach the performance of CNN trained with hand-engineered features from both IEMOCAP and MSP-IMPROV datasets.


title: A Statistical Investigation of Long Memory in Language and Music

abstract: Representation and learning of long-range dependencies is a central challenge confronted in modern applications of machine learning to sequence data. Yet despite the prominence of this issue, the basic problem of measuring long-range dependence, either in a given data source or as represented in a trained deep model, remains largely limited to heuristic tools. We contribute a statistical framework for investigating long-range dependence in current applications of deep sequence modeling, drawing on the well-developed theory of long memory stochastic processes. This framework yields testable implications concerning the relationship between long memory in real-world data and its learned representation in a deep learning architecture, which are explored through a semiparametric framework adapted to the high-dimensional setting.


title: Kaon oscillations and baryon asymmetry of the universe

abstract: Baryon asymmetry of the universe (BAU) is naturally explained with $K^0-K^{0'}$ oscillations of a newly developed mirror-matter model and new understanding of quantum chromodynamics (QCD) phase transitions. A consistent picture for the origin of both BAU and dark matter is presented with the aid of $n-n'$ oscillations of the new model. The global symmetry breaking transitions in QCD are proposed to be staged depending on condensation temperatures of strange, charm, bottom, and top quarks in the early universe. The long-standing BAU puzzle can then be understood with $K^0-K^{0'}$ oscillations that occur at the stage of strange quark condensation and baryon number violation via a non-perturbative sphaleron-like (coined "quarkiton") process. Similar processes at charm, bottom, and top quark condensation stages are also discussed including an interesting idea for top quark condensation to break both the QCD global $U_t(1)_A$ symmetry and the electroweak gauge symmetry at the same time. Meanwhile, the $U(1)_A$ or strong CP problem of particle physics is simply solved under the same framework.


title: A Fast MCMC for the Uniform Sampling of Binary Matrices with Fixed Margins

abstract: Uniform sampling of binary matrix with fixed margins is an important and difficult problem in statistics, computer science, ecology and so on. The well-known swap algorithm would be inefficient when the size of the matrix becomes large or when the matrix is too sparse/dense. Here we propose the Rectangle Loop algorithm, a Markov chain Monte Carlo algorithm to sample binary matrices with fixed margins uniformly. Theoretically the Rectangle Loop algorithm is better than the swap algorithm in Peskun's order. Empirically studies also demonstrates the Rectangle Loop algorithm is remarkablely more efficient than the swap algorithm.


title: Centripetal SGD for Pruning Very Deep Convolutional Networks with Complicated Structure

abstract: The redundancy is widely recognized in Convolutional Neural Networks (CNNs), which enables to remove unimportant filters from convolutional layers so as to slim the network with acceptable performance drop. Inspired by the linear and combinational properties of convolution, we seek to make some filters increasingly close and eventually identical for network slimming. To this end, we propose Centripetal SGD (C-SGD), a novel optimization method, which can train several filters to collapse into a single point in the parameter hyperspace. When the training is completed, the removal of the identical filters can trim the network with NO performance loss, thus no finetuning is needed. By doing so, we have partly solved an open problem of constrained filter pruning on CNNs with complicated structure, where some layers must be pruned following others. Our experimental results on CIFAR-10 and ImageNet have justified the effectiveness of C-SGD-based filter pruning. Moreover, we have provided empirical evidences for the assumption that the redundancy in deep neural networks helps the convergence of training by showing that a redundant CNN trained using C-SGD outperforms a normally trained counterpart with the equivalent width.


title: Criteria and Approaches for Virtualization on Modern FPGAs

abstract: Modern field programmable gate arrays (FPGAs) can produce high performance in a wide range of applications, and their computational capacity is becoming abundant in personal computers. Regardless of this fact, FPGA virtualization is an emerging research field. Nowadays, challenges of the research area come from not only technical difficulties but also from the ambiguous standards of virtualization. In this paper, we introduce novel criteria of FPGA virtualization and discuss several approaches to accomplish those criteria. In addition, we present and describe in detail the specific FPGA virtualization architecture that we developed on Intel Arria 10 FPGA. We evaluate our solution with a combination of applications and microbenchmarks. The result shows that our virtualization solution can provide a full abstraction of FPGA device in both user and developer perspective while maintaining a reasonable performance compared to native FPGA.


title: Photon cooling by dispersive atom-field coupling with atomic postselection

abstract: We propose, in a Ramsey interferometer, to cool the cavity field to its ground state, starting from a thermal distribution by a dispersive atom-field coupling followed by an atomic postselection. We also analyze the effect of the cavity and atomic losses. The proposed experiment can be realized with realistic parameters with high fidelity.


title: On the Wilson Monoid of a Pairwise Balanced Design

abstract: We give a new perspective of the relationship between simple matroids of rank 3 and pairwise balanced designs, connecting Wilson's theorems and tools with the theory of truncated boolean representable simplicial complexes. We also introduce the concept of Wilson monoid W(X) of a pairwise balanced design X. We present some general algebraic properties and study in detail the cases of Steiner triple systems up to 19 points, as well as the case where a single block has more than 2 elements


title: Duration robust weakly supervised sound event detection

abstract: Task 4 of the DCASE2018 challenge demonstrated that substantially more research is needed for a real-world application of sound event detection. Analyzing the challenge results it can be seen that most successful models are biased towards predicting long (e.g., over 5s) clips. This work aims to investigate the performance impact of fixed-sized window median filter post-processing and advocate the use of double thresholding as a more robust and predictable post-processing method. Further, four different temporal subsampling methods within the CRNN framework are proposed: mean-max, alpha-mean-max, Lp-norm and convolutional. We show that for this task subsampling the temporal resolution by a neural network enhances the F1 score as well as its robustness towards short, sporadic sound events. Our best single model achieves 30.1% F1 on the evaluation set and the best fusion model 32.5%, while being robust to event length variations.


title: The transmission problem in linear isotropic elasticity

abstract: We study the isotropic elastic wave equation in a bounded domain with boundary with coefficients having jumps at a nested set of interfaces satisfying the natural transmission conditions there. We analyze in detail the microlocal behavior of such solution like reflection, transmission and mode conversion of S and P waves, evanescent modes, Rayleigh and Stoneley waves. In particular, we recover Knott's equations in this setting. We show that knowledge of the Dirichlet-to-Neumann map determines uniquely the speed of the P and the S waves if there is a strictly convex foliation with respect to them, under an additional condition of lack of full internal reflection of some of the waves.


title: Truncated Boolean Representable Simplicial Complexes

abstract: We extend, in significant ways, the theory of truncated boolean representable simplicial complexes introduced in 2015. This theory, which includes all matroids, represents the largest class of finite simplicial complexes for which combinatorial geometry can be meaningfully applied


title: Minimizing the Number of Detrimental Objects in Multi-Dimensional Graph-Based Codes

abstract: In order to meet the demands of data-hungry applications, data storage devices are required to be increasingly denser. Various sources of error appear with this increase in density. Multi-dimensional (MD) graph-based codes are capable of mitigating error sources like interference and channel non-uniformity in dense storage devices. Recently, a technique was proposed to enhance the performance of MD spatially-coupled codes that are based on circulants. The technique carefully relocates circulants to minimize the number of short cycles. However, cycles become more detrimental when they combine together to form more advanced objects, e.g., absorbing sets, including low-weight codewords. In this paper, we show how MD relocations can be exploited to minimize the number of detrimental objects in the graph of an MD code. Moreover, we demonstrate the savings in the number of relocation arrangements earned by focusing on objects rather than cycles. Our technique is applicable to a wide variety of one-dimensional (OD) codes. Simulation results reveal significant lifetime gains in practical Flash systems achieved by MD codes designed using our technique compared with OD codes having similar parameters.


title: Weakly Supervised Person Re-ID: Differentiable Graphical Learning and A New Benchmark

abstract: Person re-identification (Re-ID) benefits greatly from the accurate annotations of existing datasets (e.g., CUHK03 [1] and Market-1501 [2]), which are quite expensive because each image in these datasets has to be assigned with a proper label. In this work, we ease the annotation of Re-ID by replacing the accurate annotation with inaccurate annotation, i.e., we group the images into bags in terms of time and assign a bag-level label for each bag. This greatly reduces the annotation effort and leads to the creation of a large-scale Re-ID benchmark called SYSU-30$k$. The new benchmark contains $30k$ individuals, which is about $20$ times larger than CUHK03 ($1.3k$ individuals) and Market-1501 ($1.5k$ individuals), and $30$ times larger than ImageNet ($1k$ categories). It sums up to 29,606,918 images. Learning a Re-ID model with bag-level annotation is called the weakly supervised Re-ID problem. To solve this problem, we introduce a differentiable graphical model to capture the dependencies from all images in a bag and generate a reliable pseudo label for each person image. The pseudo label is further used to supervise the learning of the Re-ID model. When compared with the fully supervised Re-ID models, our method achieves state-of-the-art performance on SYSU-30$k$ and other datasets. The code, dataset, and pretrained model will be available at \url{https://github.com/wanggrun/SYSU-30k}.


title: Decomposition-Based Transfer Distance Metric Learning for Image Classification

abstract: Distance metric learning (DML) is a critical factor for image analysis and pattern recognition. To learn a robust distance metric for a target task, we need abundant side information (i.e., the similarity/dissimilarity pairwise constraints over the labeled data), which is usually unavailable in practice due to the high labeling cost. This paper considers the transfer learning setting by exploiting the large quantity of side information from certain related, but different source tasks to help with target metric learning (with only a little side information). The state-of-the-art metric learning algorithms usually fail in this setting because the data distributions of the source task and target task are often quite different. We address this problem by assuming that the target distance metric lies in the space spanned by the eigenvectors of the source metrics (or other randomly generated bases). The target metric is represented as a combination of the base metrics, which are computed using the decomposed components of the source metrics (or simply a set of random bases); we call the proposed method, decomposition-based transfer DML (DTDML). In particular, DTDML learns a sparse combination of the base metrics to construct the target metric by forcing the target metric to be close to an integration of the source metrics. The main advantage of the proposed method compared with existing transfer metric learning approaches is that we directly learn the base metric coefficients instead of the target metric. To this end, far fewer variables need to be learned. We therefore obtain more reliable solutions given the limited side information and the optimization tends to be faster. Experiments on the popular handwritten image (digit, letter) classification and challenge natural image annotation tasks demonstrate the effectiveness of the proposed method.


title: Fast and robust creation of an arbitrary single qubit state by nonadiabatic shortcut pulses in a three-level system

abstract: High-fidelity qubit initialization is of significance for efficient error correction in fault tolerant quantum algorithms. Combining two best worlds, speed and robustness, to achieve high-fidelity state preparation and manipulation is challenging in quantum systems, where qubits are closely spaced in frequency. Motivated by the concept of shortcut to adiabaticity, we theoretically propose the shortcut pulses via inverse engineering and further optimize the pulses with respect to systematic errors in frequency detuning and Rabi frequency. Such protocol, relevant to frequency selectivity, is applied to rare-earth ions qubit system, where the excitation of frequency-neighboring qubits should be prevented as well. Furthermore, comparison with adiabatic complex hyperbolic secant pulses shows that these dedicated initialization pulses can reduce the time that ions spend in the excited state by a factor of 6, which is important in coherence time limited systems to approach an error rate manageable by quantum error correction. The approach may also be applicable to superconducting qubits, and any other systems where qubits are addressed in frequency.


title: Unsupervised Deep Epipolar Flow for Stationary or Dynamic Scenes

abstract: Unsupervised deep learning for optical flow computation has achieved promising results. Most existing deep-net based methods rely on image brightness consistency and local smoothness constraint to train the networks. Their performance degrades at regions where repetitive textures or occlusions occur. In this paper, we propose Deep Epipolar Flow, an unsupervised optical flow method which incorporates global geometric constraints into network learning. In particular, we investigate multiple ways of enforcing the epipolar constraint in flow estimation. To alleviate a "chicken-and-egg" type of problem encountered in dynamic scenes where multiple motions may be present, we propose a low-rank constraint as well as a union-of-subspaces constraint for training. Experimental results on various benchmarking datasets show that our method achieves competitive performance compared with supervised methods and outperforms state-of-the-art unsupervised deep-learning methods.


title: Retarded hydrodynamic interaction between two spheres immersed in a viscous incompressible fluid

abstract: Retarded or frequency-dependent hydrodynamic interactions are relevant for velocity relaxation of colloidal particles immersed in a fluid, sufficiently close that their flow patterns interfere. The interactions are also important for periodic motions, such as occur in swimming. Analytic expressions are derived for the set of scalar mobility functions of a pair of spheres. Mutual hydrodynamic interactions are evaluated in one-propagator approximation, characterized by a single Green function acting between the two spheres. Self-mobility functions are evaluated in a two-propagator approximation, characterized by a single reflection between the two spheres. The approximations should yield accurate results for intermediate and long distances between the spheres. Both translations and rotations are considered. For motions perpendicular to the line of centers there is translation-rotation coupling. Extensive use is made of Fax\'en theorems which yield the hydrodynamic force and torque acting on a sphere in an incident oscillating flow.


title: On The Period and Light Curve of the A-Type W UMa Binary GSC 3208 1986

abstract: We present a new period study and light-curve solutions for the A-Type W UMa binary GSC 3208 1986. Contrary to a previous claim by R.G. Samec et al. of a rapidly decreasing period, the system's period is increasing moderately on a timescale of two million years. The light curve is variable on the time scale of years, which can be understood by changes in how much it overfills its Roche lobe.


title: Extreme Image Coding via Multiscale Autoencoders With Generative Adversarial Optimization

abstract: We propose a MultiScale AutoEncoder(MSAE) based extreme image compression framework to offer visually pleasing reconstruction at a very low bitrate. Our method leverages the "priors" at different resolution scale to improve the compression efficiency, and also employs the generative adversarial network(GAN) with multiscale discriminators to perform the end-to-end trainable rate-distortion optimization. We compare the perceptual quality of our reconstructions with traditional compression algorithms using High-Efficiency Video Coding(HEVC) based Intra Profile and JPEG2000 on the public Cityscapes and ADE20K datasets, demonstrating the significant subjective quality improvement.


title: Native point defects in $Ti_3GeC_2$ and $Ti_2GeC$

abstract: Using density functional theory, we calculated the formation energy of native point defects (vacancies, interstitials and antisites) in MAX phase $Ti_2GeC$ and $Ti_3GeC_2$ compounds. Ge vacancy with formation energy of 2.87 eV was the most stable defect in $Ti_2GeC$ while C vacancy with formation energy of 2.47 eV was the most stable defect in $Ti_3GeC_2$. Ge vacancies, in particular, were found to be strong phonon scattering centres that reduce the lattice contribution to thermal conductivity in $Ti_2GeC$. In both compounds, the reported high thermal and electrical conductivity is attributed to the electronic contribution that originates from the high density of states at the Fermi level.


title: Transformation of hydrogen bond network during the CO2 clathrate hydrate dissociation

abstract: The object of this study is the kinetic process of solid-liquid first-order phase transition - melting of carbon dioxide CS-I hydrate with various cavity occupation ratios. The work was done within a framework of study on the local structure of water molecules. These include the time depending change of the short-range order at temperatures close to the melting point and comparison with hexagonal ice structure. Using molecular dynamics method, dependencies of the internal energy of the studied systems on the time of heating were found. Jumps in the internal energy of solids in the range at 275-300 K indicate a phase transition. The study of oxygen-oxygen radial distribution and hydrogen-oxygen-oxygen mutual orientation angles between molecules detached at no more than 3.2 angstroms allowed to find the H-bond coordination number of all molecules and full number of H-bonds and showed the instant (less than 1 nanosecond) reorganization of short-range order of all molecules. The structure analysis of every neighbor water molecules pairs showed the ~10-15 percents decrease of H-bond number after the melting whereas all molecules form single long-range hydrogen bond network. The analysis of hydrogen bond network showed the minor changes in the H-bond interaction energy at solid-liquid phase transition.


title: High-energy spin fluctuation in low-$T_{\rm c}$ iron-based superconductor LaFePO$_{0.9}$

abstract: Spin fluctuations are widely believed to play an important role in the superconducting mechanisms of unconventional high-temperature superconductors. Spin fluctuations have been observed in iron-based superconductors as well. However, in some iron-based superconductors such as LaFePO$_{0.9}$, they have not been observed by inelastic neutron scattering (INS). LaFePO$_{0.9}$ is an iron-based superconductor with a low superconducting transition temperature ($T_{\rm c}$= 5 K), where line nodes are observed in the superconducting gap function. The line-node symmetry typically originates from sign reversal of the order parameter in spin-fluctuation-mediated superconductivity. This contradiction has been a long-standing mystery of this superconductor. Herein, spin fluctuations were found at high energies such as 30$-$50 meV with comparable intensities to an optimally doped LaFeAs(O,F). Based on this finding, the line-node symmetry can be explained naturally as spin-fluctuation-mediated superconductivity.


title: Evolved embodied phase coordination enables robust quadruped robot locomotion

abstract: Overcoming robotics challenges in the real world requires resilient control systems capable of handling a multitude of environments and unforeseen events. Evolutionary optimization using simulations is a promising way to automatically design such control systems, however, if the disparity between simulation and the real world becomes too large, the optimization process may result in dysfunctional real-world behaviors. In this paper, we address this challenge by considering embodied phase coordination in the evolutionary optimization of a quadruped robot controller based on central pattern generators. With this method, leg phases, and indirectly also inter-leg coordination, are influenced by sensor feedback.By comparing two very similar control systems we gain insight into how the sensory feedback approach affects the evolved parameters of the control system, and how the performances differs in simulation, in transferal to the real world, and to different real-world environments. We show that evolution enables the design of a control system with embodied phase coordination which is more complex than previously seen approaches, and that this system is capable of controlling a real-world multi-jointed quadruped robot.The approach reduces the performance discrepancy between simulation and the real world, and displays robustness towards new environments.


title: A refined criterion and lower bounds for the blow--up time in a parabolic--elliptic chemotaxis system with nonlinear diffusion

abstract: This paper deals with unbounded solutions to the following zero--flux chemotaxis system \begin{equation}\label{ProblemAbstract} \tag{$\Diamond$} \begin{cases} % about u u_t=\nabla \cdot [(u+\alpha)^{m_1-1} \nabla u-\chi u(u+\alpha)^{m_2-2} \nabla v] & (x,t) \in \Omega \times (0,T_{max}), \\[1mm] % about v 0=\Delta v-M+u & (x,t) \in \Omega \times (0,T_{max}), \end{cases} \end{equation} where $\alpha>0$, $\Omega$ is a smooth and bounded domain of $\mathbb{R}^n$, with $n\geq 1$, $t\in (0, T_{max})$, where $T_{max}$ the blow-up time, and $m_1,m_2$ real numbers. Given a sufficiently smooth initial data $u_0:=u(x,0)\geq 0$ and set $M:=\frac{1}{|\Omega|}\int_{\Omega}u_0(x)\,dx$, from the literature it is known that under a proper interplay between the above parameters $m_1,m_2$ and the extra condition $\int_\Omega v(x,t)dx=0$, system \eqref{ProblemAbstract} possesses for any $\chi>0$ a unique classical solution which becomes unbounded at $t\nearrow T_{max}$. In this investigation we first show that for $p_0>\frac{n}{2}(m_2-m_1)$ any blowing up classical solution in $L^\infty(\Omega)$--norm blows up also in $L^{p_0}(\Omega)$--norm. Then we estimate the blow--up time $T_{max}$ providing a lower bound $T$.


title: Accidental scale-invariant Majorana dark matter in leptoquark-Higgs portals

abstract: We study a classically accidental scale-invariant extension of the Standard Model (SM) containing three additional fields, a vector leptoquark ($ V_{\mu} $), a real scalar ($ \phi $), and a neutral Majorana fermion ($ \chi $) as a dark matter (DM) candidate. The scalar $ \phi $ (scalon) and Majorana fermion $ \chi $ are both singlets under the SM gauge group, while $ V_{\mu} $ has (\textbf{3}, \textbf{1}, 2/3) quantum numbers under the $ SU(3)_{c} \times SU(2)_{L} \times U(1)_{Y} $. The Majorana DM couples to the SM sector via both Higgs and leptoquark portals. We perform a scan over the independent parameters to determine the viable parameter space consistent with the Planck data for DM relic density, and with the PandaX-II and LUX direct detection limits for the spin-independent (SI) and spin-dependent (SD) DM-nucleon cross section. The model generally evades indirect detection constraints while being consistent with collider data.


title: The Kikuchi Hierarchy and Tensor PCA

abstract: For the tensor PCA (principal component analysis) problem, we propose a new hierarchy of increasingly powerful algorithms with increasing runtime. Our hierarchy is analogous to the sum-of-squares (SOS) hierarchy but is instead inspired by statistical physics and related algorithms such as belief propagation and AMP (approximate message passing). Our level-$\ell$ algorithm can be thought of as a linearized message-passing algorithm that keeps track of $\ell$-wise dependencies among the hidden variables. Specifically, our algorithms are spectral methods based on the Kikuchi Hessian, which generalizes the well-studied Bethe Hessian to the higher-order Kikuchi free energies. It is known that AMP, the flagship algorithm of statistical physics, has substantially worse performance than SOS for tensor PCA. In this work we 'redeem' the statistical physics approach by showing that our hierarchy gives a polynomial-time algorithm matching the performance of SOS. Our hierarchy also yields a continuum of subexponential-time algorithms, and we prove that these achieve the same (conjecturally optimal) tradeoff between runtime and statistical power as SOS. Our proofs are much simpler than prior work, and also apply to the related problem of refuting random $k$-XOR formulas. The results we present here apply to tensor PCA for tensors of all orders, and to $k$-XOR when $k$ is even. Our methods suggest a new avenue for systematically obtaining optimal algorithms for Bayesian inference problems, and our results constitute a step toward unifying the statistical physics and sum-of-squares approaches to algorithm design.

categories: cs.DS cond-mat.stat-mech cs.LG math.ST stat.ML stat.TH


title: Efficient estimation of divergence-based sensitivity indices with Gaussian process surrogates

abstract: We consider the estimation of sensitivity indices based on divergence measures such as Hellinger distance. For sensitivity analysis of complex models, these divergence-based indices can be estimated by Monte-Carlo sampling (MCS) in combination with kernel density estimation (KDE). In a direct approach, the complex model must be evaluated at every input point generated by MCS, resulting in samples in the input-output space that can be used for density estimation. However, if the computational cost of the complex model strongly limits the number of model evaluations, this direct method gives large errors. We propose to use Gaussian process (GP) surrogates to increase the number of samples in the combined input-output space. By enlarging this sample set, the KDE becomes more accurate, leading to improved estimates. To compare the GP surrogates, we use a surrogate constructed by samples obtained with stochastic collocation, combined with Lagrange interpolation. Furthermore, we propose a new estimation method for these sensitivity indices based on minimum spanning trees. Finally, we also propose a new type of sensitivity indices based on divergence measures, namely direct sensitivity indices. These are useful when the input data is dependent.


title: A shape optimization algorithm for cellular composites

abstract: We propose and investigate a mesh deformation technique for PDE constrained shape optimization. Introducing a gradient penalization to the inner product for linearized shape spaces, mesh degeneration can be prevented within the optimization iteration allowing for the scalability of employed solvers. We illustrate the approach by a shape optimization for cellular composites with respect to linear elastic energy under tension. The influence of the gradient penalization is evaluated and the parallel scalability of the approach demonstrated employing a geometric multigrid solver on hierarchically distributed meshes.


title: Ready Player One: UAV Clustering based Multi-Task Offloading for Vehicular VR/AR Gaming

abstract: With rapid development of unmanned aerial vehicle (UAV) technology, application of the UAVs for task offloading has received increasing interest in the academia. However, real-time interaction between one UAV and the mobile edge computing (MEC) node is required for processing the tasks of mobile end users, which significantly increases the system overhead and is unable to meet the demands of large-scale artificial intelligence (AI) based applications. To tackle this problem, in this article, we propose a new architecture for UAV clustering to enable efficient multi-modal multi-task task offloading. By the proposed architecture, the computing, caching and communication resources are collaboratively optimized using AI based decision-making. This not only increases the efficiency of UAV clusters, but also provides insight into the fusion of computation and communication.


title: Cohomological induction and uniform measure equivalence

abstract: We construct a general cohomological induction isomorphism from a uniform measure equivalence of locally compact, second countable, unimodular groups which, as a special case, yields that the graded cohomology rings of quasi-isometric, connected, simply connected, nilpotent Lie groups are isomorphic. This unifies results of Shalom and Sauer and also provides new insight into the quasi-isometry classification problem for low dimensional nilpotent Lie groups.


title: Energy dependence study of directed flow in Au+Au collisions using an improved coalescence in AMPT model

abstract: The rapidity-odd component of directed flow ($v_{1}$) of identified hardons ($\pi^{\pm}$, $K^{\pm}$, $K^{0}_{S}$, $p$, $\bar{p}$, $\phi$, $\Xi$, $\bar{\Xi}$, $\Lambda$, $\bar{\Lambda}$) and partons ($u$, $\bar{u}$, $d$, $\bar{d}$, $s$, $\bar{s}$) in Au+Au collisions at various beam energies ($\sqrt{s_{\rm NN}}$ = 7.7, 11.5, 14.5, 19.6, 27, 39, 54.4, 62.4, 200 GeV) using a multi-phase transport model is analyzed. A data driven approach (inspired from the experimental analysis) is performed here to distinguish the transported and produced quarks which are found to have different directed flow values at various collision beam energies. The coalescence sum rule (Number of Constituent Quark scaling) violation is observed at lower energies where hadronic matters dominate. The strange quark ($s$) and $\phi$ meson slope (d$v_{1}$/d$y$) show a double sign change around 14.5 GeV, unlike other partons and hadrons. It suggests that strange quark is more sensitive to the softening of Equation of State (EoS).


title: Analysis of Channel Model for LAA-WLAN Coexistence with different OFDM Parameters between LAA and Wi-Fi

abstract: In this work, the channel model for the asynchronous Wi-Fi and LAA signals is investigated, also taking into consideration the impairment of the OFDM parameters between LAA and Wi-Fi. Even for the same bandwidth, e.g., 20 MHz channel, OFDM parameters of LAA-LTE and Wi-Fi are different [1], [2]. In addition, the legacy Wi-Fi devices cannot receive or transmit synchronously with LAA-LTE. Thus, the orthogonality between the subcarriers is broken if LAA-LTE's signals are received at Wi-Fi devices and vice versa. In order to facilitate an analysis of the throughput, we should derive the distortion of LAA-LTE's signals received at Wi-Fi devices and the distortion of Wi-Fi's signals received at LAA-LTE devices due to the difference in OFDM parameters of LAA-LTE and Wi-Fi.


title: Implicit-Explicit multistep methods for hyperbolic systems with multiscale relaxation

abstract: We consider the development of high order space and time numerical methods based on Implicit-Explicit (IMEX) multistep time integrators for hyperbolic systems with relaxation. More specifically, we consider hyperbolic balance laws in which the convection and the source term may have very different time and space scales. As a consequence the nature of the asymptotic limit changes completely, passing from a hyperbolic to a parabolic system. From the computational point of view, standard numerical methods designed for the fluid-dynamic scaling of hyperbolic systems with relaxation present several drawbacks and typically lose efficiency in describing the parabolic limit regime. In this work, in the context of Implicit-Explicit linear multistep methods we construct high order space-time discretizations which are able to handle all the different scales and to capture the correct asymptotic behavior, independently from its nature, without time step restrictions imposed by the fast scales. Several numerical examples confirm the theoretical analysis.


title: On the Learnability of Deep Random Networks

abstract: In this paper we study the learnability of deep random networks from both theoretical and practical points of view. On the theoretical front, we show that the learnability of random deep networks with sign activation drops exponentially with its depth. On the practical front, we find that the learnability drops sharply with depth even with the state-of-the-art training methods, suggesting that our stylized theoretical results are closer to reality.


title: Quantifying Model Complexity via Functional Decomposition for Better Post-Hoc Interpretability

abstract: Post-hoc model-agnostic interpretation methods such as partial dependence plots can be employed to interpret complex machine learning models. While these interpretation methods can be applied regardless of model complexity, they can produce misleading and verbose results if the model is too complex, especially w.r.t. feature interactions. To quantify the complexity of arbitrary machine learning models, we propose model-agnostic complexity measures based on functional decomposition: number of features used, interaction strength and main effect complexity. We show that post-hoc interpretation of models that minimize the three measures is more reliable and compact. Furthermore, we demonstrate the application of these measures in a multi-objective optimization approach which simultaneously minimizes loss and complexity.