title: High thermoelectric performance originating from the grooved bands in the ZrSe3 monolayer

abstract: Low-dimensional layered materials have attracted tremendous attentions due to their wide range of physical and chemical properties and potential applications in electronic devices. Using first-principles method taking into account the quasiparticle self-energy correction and Boltzmann transport theory, the electronic transport properties of ZrSe3 monolayer are investigated, where the carrier relaxation time is accurately calculated within the framework of electron-phonon coupling. It is demonstrated that the high power factor of the monolayer can be attributed to the grooved bands near the conduction band minimum. Combined with the low lattice thermal conductivity obtained by solving the phonon Boltzmann transport equation, a considerable n-type ZT value of ~2.4 can be achieved at 800 K in the ZrSe3 monolayer.


title: What is not where: the challenge of integrating spatial representations into deep learning architectures

abstract: This paper examines to what degree current deep learning architectures for image caption generation capture spatial language. On the basis of the evaluation of examples of generated captions from the literature we argue that systems capture what objects are in the image data but not where these objects are located: the captions generated by these systems are the output of a language model conditioned on the output of an object detector that cannot capture fine-grained location information. Although language models provide useful knowledge for image captions, we argue that deep learning image captioning architectures should also model geometric relations between objects.


title: Infinis morphismes de Leibniz pour les crochets d\'eriv\'es

abstract: The derived bracket of a Maurer-Cartan element in a differential graded Lie algebra (DGLA) is well-known to define a differential graded Leibniz algebra. It is also well-known that a Lie infinity morphism between DGLAs maps a Maurer-Cartan element to a Maurer-Cartan element. Given a Lie-infinity morphism, a Maurer-element and its image, we show that both derived differential graded Leibniz algebras are related by a Leibniz-infinity morphism, and we construct it explicitely. As an application, we recover a well-known formula of Dominique Manchon about the commutator of the star-product. Keywords: Leibniz algebras, Lie-infinity algebras, formality and quantization.


title: Integrating Feature and Image Pyramid: A Lung Nodule Detector Learned in Curriculum Fashion

abstract: Lung nodules suffer large variation in size and appearance in CT images. Nodules less than 10mm can easily lose information after down-sampling in convolutional neural networks, which results in low sensitivity. In this paper, a combination of 3D image and feature pyramid is exploited to integrate lower-level texture features with high-level semantic features, thus leading to a higher recall. However, 3D operations are time and memory consuming, which aggravates the situation with the explosive growth of medical images. To tackle this problem, we propose a general curriculum training strategy to speed up training. An dynamic sampling method is designed to pick up partial samples which give the best contribution to network training, thus leading to much less time consuming. In experiments, we demonstrate that the proposed network outperforms previous state-of-the-art methods. Meanwhile, our sampling strategy halves the training time of the proposal network on LUNA16.


title: On the Relevance of Blockchain in Identity Management

abstract: The ubiquitous application of emerging blockchain technology in numerous technological projects leads to a tremendous hype. The significantly high prices of digital currencies and initial coin offerings as the new funding approach has fostered the public perception of blockchain as a cure-all and driven the hype even further. In this evolution, a clear view of the reasonable application of blockchain technology is not given and therefore, the purposeful use of traditional technologies is undermined. To clarify this situation, we derive a novel decision model for evaluating the applicability of blockchain technology that considers two key factors: the remediation of central governance and the management of digital objects. Based on these key factors, we closely analyse the domain of identity management for conscious blockchain application. Finally, we examine uPort, Sovrin, and ShoCard as distinct projects in this scope with regard to the inevitable necessity to implement a blockchain by using our decision model.


title: Delta-Decision Procedures for Exists-Forall Problems over the Reals

abstract: Solving nonlinear SMT problems over real numbers has wide applications in robotics and AI. While significant progress is made in solving quantifier-free SMT formulas in the domain, quantified formulas have been much less investigated. We propose the first delta-complete algorithm for solving satisfiability of nonlinear SMT over real numbers with universal quantification and a wide range of nonlinear functions. Our methods combine ideas from counterexample-guided synthesis, interval constraint propagation, and local optimization. In particular, we show how special care is required in handling the interleaving of numerical and symbolic reasoning to ensure delta-completeness. In experiments, we show that the proposed algorithms can handle many new problems beyond the reach of existing SMT solvers.


title: $S_{12}$ and $P_{12}$-colorings of cubic graphs

abstract: If $G$ and $H$ are two cubic graphs, then an $H$-coloring of $G$ is a proper edge-coloring $f$ with edges of $H$, such that for each vertex $x$ of $G$, there is a vertex $y$ of $H$ with $f(\partial_G(x))=\partial_H(y)$. If $G$ admits an $H$-coloring, then we will write $H\prec G$. The Petersen coloring conjecture of Jaeger ($P_{10}$-conjecture) states that for any bridgeless cubic graph $G$, one has: $P_{10}\prec G$. The Sylvester coloring conjecture ($S_{10}$-conjecture) states that for any cubic graph $G$, $S_{10}\prec G$. In this paper, we introduce two new conjectures that are related to these conjectures. The first of them states that any cubic graph with a perfect matching admits an $S_{12}$-coloring. The second one states that any cubic graph $G$ whose edge-set can be covered with four perfect matchings, admits a $P_{12}$-coloring. We call these new conjectures $S_{12}$-conjecture and $P_{12}$-conjecture, respectively. Our first results justify the choice of graphs in $S_{12}$-conjecture and $P_{12}$-conjecture. Next, we characterize the edges of $P_{12}$ that may be fictive in a $P_{12}$-coloring of a cubic graph $G$. Finally, we relate the new conjectures to the already known conjectures by proving that $S_{12}$-conjecture implies $S_{10}$-conjecture, and $P_{12}$-conjecture and $(5,2)$-Cycle cover conjecture together imply $P_{10}$-conjecture. Our main tool for proving the latter statement is a new reformulation of $(5,2)$-Cycle cover conjecture, which states that the edge-set of any claw-free bridgeless cubic graph can be covered with four perfect matchings.


title: Sensitivity to Cumulative Perturbations for a Class of Piecewise Constant Hybrid Systems

abstract: We consider a class of continuous-time hybrid dynamical systems that correspond to subgradient flows of a piecewise linear and convex potential function with finitely many pieces, and which include the fluid-level dynamics of the Max-Weight scheduling policy as a special case. We study the effect of an external disturbance/perturbation on the state trajectory, and establish that the magnitude of this effect can be bounded by a constant multiple of the integral of the perturbation.


title: On the Analysis of Trajectories of Gradient Descent in the Optimization of Deep Neural Networks

abstract: Theoretical analysis of the error landscape of deep neural networks has garnered significant interest in recent years. In this work, we theoretically study the importance of noise in the trajectories of gradient descent towards optimal solutions in multi-layer neural networks. We show that adding noise (in different ways) to a neural network while training increases the rank of the product of weight matrices of a multi-layer linear neural network. We thus study how adding noise can assist reaching a global optimum when the product matrix is full-rank (under certain conditions). We establish theoretical foundations between the noise induced into the neural network - either to the gradient, to the architecture, or to the input/output to a neural network - and the rank of product of weight matrices. We corroborate our theoretical findings with empirical results.


title: A recursive estimation approach to distributed identification of large-scale multi-input-single-output FIR systems

abstract: The problem of identifying single modules in multiple-input-single-output (MISO) systems is considered. A novel approach to distributed identification of MISO finite impulse response systems is presented. The distributed identification is discerned by the local estimation of local parameters, which correspond to a module in the MISO system. The local estimators are derived from the standard recursive least squares estimator and require limited information exchange. By Lyapunov's second method, sufficient conditions are derived for asymptotic convergence of the estimators to the true parameters in the absence of disturbances, which lead to asymptotic unbiasedness in the presence of additive output disturbances.


title: {\em Crypto-Battleships} or How to play Battleships game over the Blockchain?

abstract: Battleships is a well known traditional board game for two players which dates from World War I. Though, the game has several digital version implementations, they are affected by similar major drawbacks such as fairness and a trust model that relies on third party. In this paper, we demonstrate how to implement a fair, resistant to denial-of-service, where the honest winner earns the deposit money {\em immediately}. The game is built on a permissionless Blockchain that supports Turing complete smart-contract computation.


title: Distributed Layered Grant-Free Non-Orthogonal Multiple Access for Massive MTC

abstract: Grant-free transmission is considered as a promising technology to support sporadic data transmission in massive machine-type communications (mMTC). Due to the distributed manner, high collision probability is an inherent drawback of grant-free access techniques. Non-orthogonal multiple access (NOMA) is expected to be used in uplink grant-free transmission, multiplying connection opportunities by exploiting power domain resources. However, it is usually applied for coordinated transmissions where the base station performs coordination with full channel state information, which is not suitable for grant-free techniques. In this paper, we propose a novel distributed layered grant-free NOMA framework. Under this framework, we divide the cell into different layers based on predetermined inter-layer received power difference. A distributed layered grant-free NOMA based hybrid transmission scheme is proposed to reduce collision probability. Moreover, we derive the closed-form expression of connection throughput. A joint access control and NOMA layer selection (JACNLS) algorithm is proposed to solve the connection throughput optimization problem. The numerical and simulation results reveal that, when the system is overloaded, our proposed scheme outperforms the grant-free-only scheme by three orders of magnitude in terms of expected connection throughput and outperforms coordinated OMA transmission schemes by 31.25\% with only 0.0189\% signaling overhead of the latter.


title: Faster Exact and Approximate Algorithms for $k$-Cut

abstract: In the $k$-cut problem, we are given an edge-weighted graph $G$ and an integer $k$, and have to remove a set of edges with minimum total weight so that $G$ has at least $k$ connected components. The current best algorithms are an $O(n^{(2-o(1))k})$ randomized algorithm due to Karger and Stein, and an $\smash{\tilde{O}}(n^{2k})$ deterministic algorithm due to Thorup. Moreover, several $2$-approximation algorithms are known for the problem (due to Saran and Vazirani, Naor and Rabani, and Ravi and Sinha). It has remained an open problem to (a) improve the runtime of exact algorithms, and (b) to get better approximation algorithms. In this paper we show an $O(k^{O(k)} \, n^{(2\omega/3 + o(1))k})$-time algorithm for $k$-cut. Moreover, we show an $(1+\epsilon)$-approximation algorithm that runs in time $O((k/\epsilon)^{O(k)} \,n^{k + O(1)})$, and a $1.81$-approximation in fixed-parameter time $O(2^{O(k^2)}\,\text{poly}(n))$.


title: Scattering diagrams from asymptotic analysis on Maurer-Cartan equations

abstract: Let $\check{X}_0$ be a semi-flat Calabi-Yau manifold equipped with a Lagrangian torus fibration $\check{p}:\check{X}_0 \rightarrow B_0$. We investigate the asymptotic behavior of Maurer-Cartan solutions of the Kodaira-Spencer deformation theory on $\check{X}_0$ by expanding them into Fourier series along fibres of $\check{p}$ over a contractible open subset $U\subset B_0$, following a program set forth by Fukaya in 2005. We prove that semi-classical limits (i.e. leading order terms in asymptotic expansions) of the Fourier modes of a specific class of Maurer-Cartan solutions naturally give rise to consistent scattering diagrams, which are tropical combinatorial objects that have played a crucial role in works of Kontsevich-Soibelman and Gross-Siebert on the reconstruction problem in mirror symmetry.


title: Accurate Energy-Efficient Power Control for Uplink NOMA Systems under Delay Constraint

abstract: Machine-type communications (MTC) devices in 5G will use the Non-orthogonal multiple access (NOMA) technology for massive connections. These devices switch between the transmission mode and the sleep mode for battery saving; and their applications may have diverse quality of service (QoS) requirements. In this paper, we develop a new uplink energy-efficient power control scheme for multiple MTC devices with the above mode transition capability and different QoS requirements. By using the effective bandwidth and the effective capacity models, the system's energy efficiency can be formulated as the ratio of the sum effective capacity to the sum energy consumption. Two new analytical models are used in system's energy efficiency maximization problem: 1) two-mode circuitry model and 2) accurate delay-outage approximation model. Simulation shows our proposed scheme is capable of providing exact delay QoS guarantees for NOMA systems.


title: Singular nonlinear response in metals due to divergent Berry curvature: application to magneto-resistance in metals with type-II Weyl nodes

abstract: The physical properties of metals are often given by the sum of the contributions from the electrons consisting the Fermi surface (FS), and therefore, fine structures of the electronic bands and Bloch functions are often masked by the integral over FS. As a consequence, usually, the singular structures in the electronic bands are often not reflected to the macroscopic quantities. In this work, we investigate the anomaly-related magnetoresistance in metals with type-II Weyl nodes close to the FS, and find that the anomaly-related current increases divergently, showing a singular structure. Detailed analysis on a simple model with multiple Weyl nodes shows that the contribution to the magnetoresistance is dominated by the electrons in the vicinity of the Weyl nodes; this is related to the fact that the current is given by the square of the Berry curvature, which enhances the contribution from the electrons around the Weyl nodes. The above results potentially allows an estimate of the anomaly-induced current without precise information of the entire Band structure.


title: Energy-Efficient Adaptive Transmission in Machine Type Communications with Delay-Outage Constraints

abstract: In this paper, we propose a novel Adaptive Transmission Strategy to improve energy efficiency~(EE) in a wireless point-to-point transmission system with Quality of Service~(QoS) requirement, i.e., delay-outage probability considered. The transmitter is scheduled to use the channel that has better coefficients, and is forced into silent state when the channel suffers deep fading. The proposed strategy can be easily implemented by applying two-mode circuitry and is suitable for massive machine type communications (MTC) scenarios. In order to enhance EE, we formulate an EE maximization problem, which has a single optimum under a loose QoS constraint. We also show that the maximization problem can be solved efficiently by a binary search algorithm. Simulations demonstrate that our proposed strategy can obtain significant EE gains, hence confirming our theoretical analysis.


title: Software Citation in Theory and Practice

abstract: In most fields, computational models and data analysis have become a significant part of how research is performed, in addition to the more traditional theory and experiment. Mathematics is no exception to this trend. While the system of publication and credit for theory and experiment (journals and books, often monographs) has developed and has become an expected part of the culture, how research is shared and how candidates for hiring, promotion are evaluated, software (and data) do not have the same history. A group working as part of the FORCE11 community developed a set of principles for software citation that fit software into the journal citation system, allow software to be published and then cited, and there are now over 50,000 DOIs that have been issued for software. However, some challenges remain, including: promoting the idea of software citation to developers and users; collaborating with publishers to ensure that systems collect and retain required metadata; ensuring that the rest of the scholarly infrastructure, particularly indexing sites, include software; working with communities so that software efforts "count" and understanding how best to cite software that has not been published.


title: Comparing truth theories based on Weak and Strong Kleene logic

abstract: We compare the conceptual strength of two axiomatic theories of truth: KF and WKF. The first one has been designed to capture Kripke's fixed-point construction based on Strong Kleene logic. The second one is based on the Weak Kleene evaluation schema. In the paper "Relative truth definability of axiomatic truth theories", Kentaro Fujimoto proved that WKF is relatively truth-definable in KF. However, it has been an open question whether KF is relatively truth-definable in WKF. We provide the negative answer to this question, one that does not depend on the choice of language and coding. We consider this remarkable, because various important properties of Weak Kleene fixed-point construction are not absolute in this sense.


title: Applications of a formula on Beltrami flow

abstract: In this note, we obtain uniqueness results for Beltrami flow in both bounded and unbounded domain with nonempty boundary by establishing an elementary but useful formula involving operators $\divg$ and $\curl$. We also use this formula to deal with Maxwell and Stokes eigenvalue problems.


title: Quantum-dot circuit-QED thermoelectric diodes and transistors

abstract: Recent breakthroughs in quantum-dot circuit-quantum-electrodynamics (circuit-QED) systems are important both from a fundamental perspective and from the point of view of quantum photonic devices. However, understanding the applications of such setups as potential thermoelectric diodes and transistors has been missing. In this paper, via the Keldysh nonequilibrium Green's function approach, we show that cavity-coupled double quantum-dots can serve as excellent quantum thermoelectric diodes and transistors. Using an enhanced perturbation approach based on polaron-transformations, we find non-monotonic dependences of thermoelectric transport properties on the electron-photon interaction. Strong light-matter interaction leads to pronounced rectification effects for both charge and heat, as well as thermal transistor effects in the linear transport regime, which opens up a cutting-edge frontier for quantum thermoelectric devices.


title: Dynamical Evidence of a Solitonic Core of $10^{9}M_\odot$ in the Milky Way

abstract: A wavelike solution for the non-relativistic universal dark matter (wave-DM) is rapidly gaining interest, following distinctive predictions of pioneering simulations of cosmic structure as an interference pattern of coherently oscillating bosons. A prominent solitonic standing wave is predicted at the center of every galaxy, representing the ground state, that has been identified with the wide, kpc scale dark cores of common dwarf-spheroidal galaxies, providing a boson mass of, $\simeq 10^{-22}$ eV. A denser soliton is predicted for Milky Way sized galaxies where momentum is higher, so the de Broglie scale of the soliton is smaller, $\simeq 100$ pc, of mass $\simeq 10^9 M_\odot$. Here we show the central motion of bulge stars in the Milky Way implies the presence of such a dark core, where the velocity dispersion rises inversely with radius to a maximum of $\simeq 130$ km/s, corresponding to an excess central mass of $\simeq 1.5\times 10^9 M_\odot$ within $\simeq 100$ pc, favouring a boson mass of $\simeq 10^{-22}$ eV. This quantitative agreement with such a unique and distinctive prediction is therefore strong evidence for a light bosonic solution to the long standing Dark Matter puzzle, such as the axions generic in String Theory.


title: Comparison results for eigenvalues of curlcurl operator and Stokes operator

abstract: This paper mainly establishes comparison results for eigenvalues of $\curl\curl$ operator and Stokes operator. For three-dimensional simply connected bounded domains, the $k$-th eigenvalue of $\curl\curl$ operator under tangent boundary condition or normal boundary condition is strictly smaller than the $k$-th eigenvalue of Stokes operator. For any dimension $n\geq2$, the first eigenvalue of Stokes operator is strictly larger than the first eigenvalue of Dirichlet Laplacian. For three-dimensional strictly convex domains, the first eigenvalue of $\curl\curl$ operator under tangent boundary condition or normal boundary condition is strictly larger than the second eigenvalue of Neumann Laplacian.


title: Convex trigonometry with applications to sub-Finsler geometry

abstract: A new convenient method of describing flat convex compact sets is proposed. It generalizes classical trigonometric functions $\sin$ and $\cos$. Apparently, this method may be very useful for explicit description of solutions of optimal control problems with two-dimensional control. Using this method a series of sub-Finsler problems with two-dimensional control lying in an arbitrary convex set $\Omega$ is investigated. Namely, problems on the Heisenberg, Engel, and Cartan groups and also Grushin's and Martinet's cases are considered. A particular attention is paid to the case when $\Omega$ is a polygon.


title: On the anti-forcing number of graph powers

abstract: Let $G=(V,E)$ be a simple connected graph. A perfect matching (or Kekul\'e structure in chemical literature) of $G$ is a set of disjoint edges which covers all vertices of $G$. The anti-forcing number of $G$ is the smallest number of edges such that the remaining graph obtained by deleting these edges has a unique perfect matching and is denoted by $af(G)$. For every $m\in\mathbb{N}$, the $m$th power of $G$, denoted by $G^m$, is a graph with the same vertex set as $G$ such that two vertices are adjacent in $G^m$ if and only if their distance is at most $m$ in $G$. In this paper, we study the anti-forcing number of the powers of some graphs.


title: Some Leibniz bimodules of $\mathfrak{sl}_2$

abstract: We study complex finite-dimensional Leibniz algebra bimodule over $\mathfrak{sl}_2$ that as a Lie algebra module is split into a direct sum of two simple $\mathfrak{sl}_2$-modules. We prove that in this case there are only two non-split Leibniz $\mathfrak{sl}_2$-bimodules and we describe the actions.


title: Linear density-based clustering with a discrete density model

abstract: Density-based clustering techniques are used in a wide range of data mining applications. One of their most attractive features con- sists in not making use of prior knowledge of the number of clusters that a dataset contains along with their shape. In this paper we propose a new algorithm named Linear DBSCAN (Lin-DBSCAN), a simple approach to clustering inspired by the density model introduced with the well known algorithm DBSCAN. Designed to minimize the computational cost of density based clustering on geospatial data, Lin-DBSCAN features a linear time complexity that makes it suitable for real-time applications on low-resource devices. Lin-DBSCAN uses a discrete version of the density model of DBSCAN that takes ad- vantage of a grid-based scan and merge approach. The name of the algorithm stems exactly from its main features outlined above. The algorithm was tested with well known data sets. Experimental results prove the efficiency and the validity of this approach over DBSCAN in the context of spatial data clustering, enabling the use of a density-based clustering technique on large datasets with low computational cost.


title: Tropical counting from asymptotic analysis on Maurer-Cartan equations

abstract: Let $X = X_\Sigma$ be a toric surface and $(\check{X}, W)$ be its Landau-Ginzburg (LG) mirror where $W$ is the Hori-Vafa potential. We apply asymptotic analysis to study the extended deformation theory of the LG model $(\check{X}, W)$, and prove that semi-classical limits of Fourier modes of a specific class of Maurer-Cartan solutions naturally give rise to tropical disks in $X$ with Maslov index 0 or 2, the latter of which produces a universal unfolding of $W$. For $X = \mathbb{P}^2$, our construction reproduces Gross' perturbed potential $W_n$ which was proven to be the universal unfolding of $W$ written in canonical coordinates. We also explain how the extended deformation theory can be used to reinterpret the jumping phenomenon of $W_n$ across walls of the scattering diagram formed by the Maslov index 0 tropical disks originally observed by Gross (in the case of $X = \mathbb{P}^2$).


title: Non-standard signatures of vector-like quarks in a leptophobic 221 model

abstract: We consider vector-like quarks in a leptophobic 221 model characterized by the gauge group $SU(2)_L\times SU(2)_2 \times U(1)_X$, where the $SU(2)_2$ is leptophobic in nature. We discuss about the pattern of mixing between Standard Model quarks and vector-like quarks and how we prevent tree level flavour-changing interactions in the model. The model also predicts tauphilic scalars decaying mostly to tau leptons. We consider a typical signal of the model in the form of pair production of top-type vector-like quarks which decays to the tauphilic scalars and a third generation quark. We analyze the resulting final state signal for the 13 TeV LHC, containing $\geq 3j(1b) \, + \geq 2\tau \, + \geq 1l$ and discuss the discovery prospects of such vector-like quarks with non-standard decay modes.


title: A Cancellation Nanoflare Model for Solar Chromospheric and Coronal Heating

abstract: Nanoflare models for heating the solar corona usually assume magnetic braiding and reconnection as the source of the energy. However, recent observations at record spatial resolution from the {\sc Sunrise} balloon mission suggest that photospheric magnetic flux cancellation is much more common than previously realised. We therefore examine the possibility of three-dimensional reconnection driven by flux cancellation as a cause of chromospheric and coronal heating. In particular, we estimate how the heights and amount of energy release produced by flux cancellation depend on flux size, flux cancellation speed and overlying field strength.


title: The Chow ring of a cubic hypersurface

abstract: We study the product structure on the Chow ring (with rational coefficients) of a cubic hypersurface in projective space and prove that the image of the product map is as small as possible.


title: Rost nilpotence and higher unramified cohomology

abstract: We develop an approach to proving the Rost nilpotence principle involving higher unramified cohomology. We use this to prove the principle for certain varieties of dimension $\leq 3$ over a perfect field.


title: Disassortativity of percolating clusters in random networks

abstract: We provide arguments for the property of the degree-degree correlations of giant components formed by the percolation process on uncorrelated random networks. Using the generating functions, we derive a general expression for the assortativity of a giant component, $r$, which is defined as Pearson's correlation coefficient for degrees of directly connected nodes. For uncorrelated random networks in which the third moment for the degree distribution is finite, we prove the following two points. (1) Assortativity $r$ satisfies the relation $r\le 0$ for $p\ge p_{\rm c}$. (2) The average degree of nodes adjacent to degree-$k$ nodes at the percolation threshold is proportional to $k^{-1}$ independently of the degree distribution function. These results claim that disassortativity emerges in giant components near the percolation threshold. The accuracy of the analytical treatment is confirmed by extensive Monte Carlo simulations.


title: On Computational Infraestruture Requirements to Smart and Autonomic Cities Framework

abstract: Smart cities are an actual trend being pursued by research that, fundamentally, tries to improve city's management on behalf of a better human quality of live. This paper proposes a new autonomic complementary approach for smart cities management. It is argued that smart city management systems with autonomic characteristics will improve and facilitate management functionalities in general. A framework is also presented as use case considering specific application scenarios like smart-health, smart-grid, smart-environment and smart-streets.


title: The prime end capacity of inaccessible prime ends, resolutivity, and the Kellogg property

abstract: Prime end boundaries $\partial_P\Omega$ of domains $\Omega$ are studied in the setting of complete doubling metric measure spaces supporting a $p$-Poincar\'e inequality. Notions of rectifiably (in)accessible- and (in)finitely far away prime ends are introduced and employed in classification of prime ends. We show that, for a given domain, the prime end capacity of the collection of all rectifiably inaccessible prime ends together will all non-singleton prime ends is zero. We show the resolutivity of continouous functions on $\partial_P\Omega$ which are Lipschitz continuous with respect to the Mazurkiewicz metric when restricted to the collection $\partial_{SP}\Omega$ of all accessible prime ends. Furthermore, bounded perturbations of such functions in $\partial_P\Omega\setminus\partial_{SP}\Omega$ yield the same Perron solution. In the final part of the paper, we demonstrate the (resolutive) Kellogg property with respect to the prime end boundary of bounded domains in the metric space. Notions given in this paper are illustrated by a number of examples.


title: Charged scalars confronting neutrino mass and muon g-2 anomaly

abstract: The present work introduces two possible extensions of the Standard Model Higgs sector. In the first case, the Zee-Babu type model for the generation of neutrino mass is augmented with a scalar triplet and additional singly charged scalar singlets. The second scenario, on the other hand, generalizes the Type-II seesaw model by replicating the number of the scalar triplets. A $\mathbb{Z}_3$ symmetry is imposed in case of both the scenarios, but, allowed to be violated by terms of mass dimension two and three for generating neutrino masses and mixings. We examine how the models so introduced can explain the experimental observation on the muon anomalous magnetic moment. We estimate the two-loop contribution to neutrino mass induced by the scalar triplet, in addition to what comes from the doubly charged singlet in the usual Zee-Babu framework, in the first model. On the other hand, the neutrino mass arises in the usual Type-II fashion in the second model. In addition, the role of the $\mathbb{Z}_3$ symmetry in suppressing lepton flavor violation is also elucidated.


title: Localization for random walks among random obstacles in a single Euclidean ball

abstract: Place an obstacle with probability $1-p$ independently at each vertex of $\mathbb Z^d$, and run a simple random walk until hitting one of the obstacles. For $d\geq 2$ and $p$ strictly above the critical threshold for site percolation, we condition on the environment where the origin is contained in an infinite connected component free of obstacles, and we show that for environments with probability tending to one as $n\to \infty$ there exists a unique discrete Euclidean ball of volume $d \log_{1/p} n$ asymptotically such that the following holds: conditioned on survival up to time $n$ we have that at any time $t \in [o(n),n]$ with probability tending to one the simple random walk is in this ball. This work relies on and substantially improves a previous result of the authors on localization in a region of volume poly-logarithmic in $n$ for the same problem.


title: Recent Advances in Deep Learning: An Overview

abstract: Deep Learning is one of the newest trends in Machine Learning and Artificial Intelligence research. It is also one of the most popular scientific research trends now-a-days. Deep learning methods have brought revolutionary advances in computer vision and machine learning. Every now and then, new and new deep learning techniques are being born, outperforming state-of-the-art machine learning and even existing deep learning techniques. In recent years, the world has seen many major breakthroughs in this field. Since deep learning is evolving at a huge speed, its kind of hard to keep track of the regular advances especially for new researchers. In this paper, we are going to briefly discuss about recent advances in Deep Learning for past few years.


title: Size effects in elastic-plastic functionally graded materials

abstract: We develop a strain gradient plasticity formulation for composite materials with spatially varying volume fractions to characterize size effects in functionally graded materials (FGMs). The model is grounded on the mechanism-based strain gradient plasticity theory and effective properties are determined by means of a linear homogenization scheme. Several paradigmatic boundary value problems are numerically investigated to gain insight into the strengthening effects associated with plastic strain gradients and geometrically necessary dislocations (GNDs). The analysis of bending in micro-size functionally graded foils shows a notably stiffer response with diminishing thickness. Micro-hardness measurements from indentation reveal a significant increase with decreasing indenter size. And large dislocation densities in the vicinity of the crack substantially elevate stresses in cracked FGM components. We comprehensively assess the influence of the length scale parameter and material gradation profile to accurately characterize the micro-scale response and identify regimes of GNDs relevance in FGMs.


title: Contextual Wavefunction Collapse: An integrated theory of quantum measurement

abstract: This paper is an in depth implementation of the proposal that the quantum measurement issue can be resolved by carefully looking at top-down contextual effects within realistic measurement contexts. The specific setup of the measurement apparatus determines the possible events that can take place. The interaction of local heat baths with a quantum system plays a key role in the process. In contrast to the usual attempts to explain quantum measurement by decoherence, we argue that the heat bath follows unitary time evolution only over limited length and time scales and thus leads to localization and stochastic dynamics of quantum particles that interact with it. We show furthermore that a theory that describes all the steps from the initial arrival of the quantum particle to the final pointer deflection must use elements from classical physics. This proposal also provides a contextual answer to the puzzle of the origin of the arrow of time when quantum measurements take place: it derives from the cosmological Direction of Time. Overall, our proposal is for Contextual Wavefunction Collapse (CWC).


title: Cluster crystals for Brownian particles with combined soft and hard-core repulsive interactions

abstract: Particle systems interacting with a soft repulsion, at thermal equilibrium and under some circumstances, are known to form cluster crystals, i.e. periodic arrangements of particle aggregates. We study here how these states are modified by the presence of an additional hard-core repulsion, accounting for particle size. To this end we consider a two-dimensional system of Brownian particles interacting through a potential which includes a hard-core and a soft-core (of the GEM-{\alpha} type) repulsive terms. The system shows different phases, and we focus in the regime where cluster crystals form. We consider two situations: the low-temperature one in which particles inside the clusters also show an ordered structure (crystal cluster-crystal phase), and the one occurring at higher temperature in which particles within the clusters are spatially disordered (fluid cluster crystal). An explicit expression for the energy in terms of the typical distance among clusters and the typical distance of the particles within the clusters is obtained for vanishing temperature, which helps to understand the balance between the different forces involved. Finite-temperature corrections are also discussed.


title: Modeling Taxi Drivers' Behaviour for the Next Destination Prediction

abstract: In this paper, we study how to model taxi drivers' behaviour and geographical information for an interesting and challenging task: the next destination prediction in a taxi journey. Predicting the next location is a well studied problem in human mobility, which finds several applications in real-world scenarios, from optimizing the efficiency of electronic dispatching systems to predicting and reducing the traffic jam. This task is normally modeled as a multiclass classification problem, where the goal is to select, among a set of already known locations, the next taxi destination. We present a Recurrent Neural Network (RNN) approach that models the taxi drivers' behaviour and encodes the semantics of visited locations by using geographical information from Location-Based Social Networks (LBSNs). In particular, RNNs are trained to predict the exact coordinates of the next destination, overcoming the problem of producing, in output, a limited set of locations, seen during the training phase. The proposed approach was tested on the ECML/PKDD Discovery Challenge 2015 dataset - based on the city of Porto -, obtaining better results with respect to the competition winner, whilst using less information, and on Manhattan and San Francisco datasets.


title: The AMY (Air Microwave Yield) experiment to measure the GHz emission from air shower plasma

abstract: The aim of the Air Microwave Yield (AMY) experiment is to investigate the Molecular Bremsstrahlung Radiation (MBR) emitted from an electron beam induced air-shower. The measurements have been performed with a 510 MeV electron beam at the Beam Test Facility (BTF) of Frascati INFN National Laboratories in a wide frequency range between 1 and 20 GHz. We present the experimental apparatus and the first results of the measurements. Contrary to what have been reported in a previous similar experiment~\cite{Gorham-SLAC}, we have found that the intensity of the emission is strongly influenced by the particular time structure of the accelerator beam. This makes very difficult the interpretation of the emission process and a realistic extrapolation of the emission yield to the plasma generated during the development of an atmospheric shower.


title: Tunable Microwave Magnetic Field Detection based on Rabi Resonance with a Single Cesium-Rubidium Hybrid Vapor Cell

abstract: We experimentally investigated Rabi resonance-based continuously frequency-tunable microwave (MW) magnetic field detection using a single hybrid vapor cell filled with cesium and rubidium atoms. The multispecies atomic systems, with their tunable abilities in transition frequencies, enabled this atomic sensing head to cover a broader detectable MW field scope compared to the use of a single metal atom. Here, we demonstrated the simultaneous observation of atomic Rabi resonance signals with 85Rb, 87Rb, and 133Cs in the same vapor cell. Using an experimentally feasible static magnetic field (DC field) below 500 Gauss, we realized a MW magnetic field strength detection with bandwidths of 4.8 GHz around 8.1 GHz. The use of these three atomic systems confined in a single vapor cell also enabled the establishment of an identical MW field with the help of DC field, allowing us to perform a perfect comparison for different applications that require the same electromagnetic environment. The results may be useful for the realization and application of many atomic detectors based on different physical principles.


title: A Convolutional Neural Networks Denoising Approach for Salt and Pepper Noise

abstract: The salt and pepper noise, especially the one with extremely high percentage of impulses, brings a significant challenge to image denoising. In this paper, we propose a non-local switching filter convolutional neural network denoising algorithm, named NLSF-CNN, for salt and pepper noise. As its name suggested, our NLSF-CNN consists of two steps, i.e., a NLSF processing step and a CNN training step. First, we develop a NLSF pre-processing step for noisy images using non-local information. Then, the pre-processed images are divided into patches and used for CNN training, leading to a CNN denoising model for future noisy images. We conduct a number of experiments to evaluate the effectiveness of NLSF-CNN. Experimental results show that NLSF-CNN outperforms the state-of-the-art denoising algorithms with a few training images.


title: Seeded x-ray free-electron laser generating radiation with laser statistical properties

abstract: The invention of optical lasers led to a revolution in the field of optics and even to the creation of completely new fields of research such as quantum optics. The reason was their unique statistical and coherence properties. The newly emerging, short-wavelength free-electron lasers (FELs) are sources of very bright coherent extreme-ultraviolet (XUV) and x-ray radiation with pulse durations on the order of femtoseconds, and are presently considered to be laser sources at these energies. Most existing FELs are highly spatially coherent but in spite of their name, they behave statistically as chaotic sources. Here, we demonstrate experimentally, by combining Hanbury Brown and Twiss (HBT) interferometry with spectral measurements that the seeded XUV FERMI FEL-2 source does indeed behave statistically as a laser. The first steps have been taken towards exploiting the first-order coherence of FELs, and the present work opens the way to quantum optics experiments that strongly rely on high-order statistical properties of the radiation.


title: DP-Colorings of Hypergraphs

abstract: Classical problems in hypergraph coloring theory are to estimate the minimum number of edges, $m_2(r)$ (respectively, $m^\ast_2(r)$), in a non-$2$-colorable $r$-uniform (respectively, $r$-uniform and simple) hypergraph. The best currently known bounds are \[c \cdot \sqrt{r/\log r} \cdot 2^r \,\leqslant\, m_2(r) \,\leqslant\, C \cdot r^2 \cdot 2^r \qquad \text{and} \qquad c' \cdot r^{-\varepsilon} \cdot 4^r \,\leqslant\, m_2^\ast(r) \,\leqslant\, C' \cdot r^4 \cdot 4^r,\] for any fixed $\varepsilon > 0$ and some $c$, $c'$, $C$, $C' > 0$ (where $c'$ may depend on $\varepsilon$). In this paper we consider the same problems in the context of DP-coloring (also known as correspondence coloring), which is a generalization of list coloring introduced by Dvo\v{r}\'{a}k and Postle and related to local conflict coloring studied independently by Fraigniaud, Heinrich, and Kosowski. Let $\tilde{m}_2(r)$ (respectively, $\tilde{m}^\ast_2(r)$) denote the minimum number of edges in a non-$2$-DP-colorable $r$-uniform (respectively, $r$-uniform and simple) hypergraph. By definition, $\tilde{m}_2(r) \leqslant m_2(r)$ and $\tilde{m}^\ast_2(r)\leqslant m^\ast_2(r)$. While the proof of the bound $m^\ast_2(r) = \Omega( r^{-3} 4^r)$ due to Erd\H{o}s and Lov\'{a}sz also works for $\tilde{m}^\ast_2(r)$, we show that the trivial lower bound $\tilde{m}_2(r) \geqslant 2^{r-1}$ is asymptotically tight, i.e., $\tilde{m}_2(r) \leqslant (1 + o(1))2^{r-1}$. On the other hand, when $r \geqslant 2$ is even, we prove that the lower bound $\tilde{m}_2(r) \geqslant 2^{r-1}$ is not sharp, i.e., $\tilde{m}_2(r) \geqslant 2^{r-1}+1$. Whether this result holds for any odd values of $r$ remains an open problem. Nevertheless, we conjecture that the difference $\tilde{m}_2(r) - 2^{r-1}$ can be arbitrarily large.


title: Inductive Visual Localisation: Factorised Training for Superior Generalisation

abstract: End-to-end trained Recurrent Neural Networks (RNNs) have been successfully applied to numerous problems that require processing sequences, such as image captioning, machine translation, and text recognition. However, RNNs often struggle to generalise to sequences longer than the ones encountered during training. In this work, we propose to optimise neural networks explicitly for induction. The idea is to first decompose the problem in a sequence of inductive steps and then to explicitly train the RNN to reproduce such steps. Generalisation is achieved as the RNN is not allowed to learn an arbitrary internal state; instead, it is tasked with mimicking the evolution of a valid state. In particular, the state is restricted to a spatial memory map that tracks parts of the input image which have been accounted for in previous steps. The RNN is trained for single inductive steps, where it produces updates to the memory in addition to the desired output. We evaluate our method on two different visual recognition problems involving visual sequences: (1) text spotting, i.e. joint localisation and reading of text in images containing multiple lines (or a block) of text, and (2) sequential counting of objects in aerial images. We show that inductive training of recurrent models enhances their generalisation ability on challenging image datasets.


title: Affine Symmetry, Geodesics, and Homogeneous Spacetimes

abstract: We show that the conservation laws for the geodesic equation which are associated to affine symmetries can be obtained from symmetries of the Lagrangian for affinely parametrized geodesics according to Noether's theorem, in contrast to claims found in the literature. In particular, using Aminova's classification of affine motions of Lorentzian manifolds, we show in detail how affine motions define generalized symmetries of the geodesic Lagrangian. We compute all infinitesimal proper affine symmetries and the corresponding geodesic conservation laws for all homogeneous solutions to the Einstein field equations in four spacetime dimensions with each of the following energy-momentum contents: vacuum, cosmological constant, perfect fluid, pure radiation, and homogeneous electromagnetic fields.


title: Counting odd numbers in truncations of Pascal's triangle

abstract: A "truncation" of Pascal's triangle is a triangular array of numbers that satisfies the usual Pascal recurrence but with a boundary condition that declares some terminal set of numbers along each row of the array to be zero. Presented here is a family of natural truncations of Pascal's triangle that generalize a kind of Catalan triangle. The numbers in each array are realized as differences of binomial coefficients, as counts of certain lattice paths and tableaux, and as entries of representing matrices for certain linear transformations of polynomial spaces. Lucas's theorem is applied to determine precisely those truncations for which the number of odd entries on each row is a power of two.


title: On the usage of lines in $GC_n$ sets

abstract: A planar node set $\mathcal X,$ with $|\mathcal X|=\binom{n+2}{2}$ is called $GC_n$ set if each node possesses fundamental polynomial in form of a product of $n$ linear factors. We say that a node uses a line $Ax+By+C=0$ if $Ax+By+C$ divides the fundamental polynomial of the node. A line is called $k$-node line if it passes through exactly $k$-nodes of $\mathcal X.$ At most $n+1$ nodes can be collinear in $GC_n$ sets and an $(n+1)$-node line is called maximal line. The Gasca - Maeztu conjecture (1982) states that every $GC_n$ set has a maximal line. Until now the conjecture has been proved only for the cases $n \le 5.$ Here we adjust and prove a conjecture proposed in the paper - V. Bayramyan, H. H., Adv Comput Math, 43: 607-626, 2017. Namely, by assuming that the Gasca-Maeztu conjecture is true, we prove that for any $GC_n$ set $\mathcal X$ and any $k$-node line $\ell$ the following statement holds: Either the line $\ell$ is not used at all, or it is used by exactly $\binom{s}{2}$ nodes of $\mathcal X,$ where $s$ satisfies the condition $\sigma:=2k-n-1\le s\le k.$ If in addition $\sigma \ge 3$ and $\mu(\mathcal X)>3$ then the first case here is excluded, i.e., the line $\ell$ is necessarily a used line. Here $\mu(\mathcal X)$ denotes the number of maximal lines of $\mathcal X.$ At the end, we bring a characterization for the usage of $k$-node lines in $GC_n$ sets when $\sigma=2$ and $\mu(\mathcal X)>3.$


title: Surgery principles for the spectral analysis of quantum graphs

abstract: We present a systematic collection of spectral surgery principles for the Laplacian on a metric graph with any of the usual vertex conditions (natural, Dirichlet or $\delta$-type), which show how various types of changes of a local or localised nature to a graph impact the spectrum of the Laplacian. Many of these principles are entirely new, these include "transplantation" of volume within a graph based on the behaviour of its eigenfunctions, as well as "unfolding" of local cycles and pendants. In other cases we establish sharp generalisations, extensions and refinements of known eigenvalue inequalities resulting from graph modification, such as vertex gluing, adjustment of vertex conditions and introducing new pendant subgraphs. To illustrate our techniques we derive a new eigenvalue estimate which uses the size of the doubly connected part of a metric graph to estimate the spectral gap. This quantitative isoperimetric-type inequality interpolates between two known estimates---one assuming the entire graph is doubly connected and the other making no connectivity assumption (and producing a weaker bound)---and includes them as special cases.


title: Relations between Schoenberg Coefficients on Real and Complex Spheres of Different Dimensions

abstract: Positive definite functions on spheres have received an increasing interest in many branches of mathematics and statistics. In particular, the Schoenberg sequences in the spectral representation of positive definite functions have been studied by several mathematicians in the last years. This paper provides a set of relations between Schoenberg sequences defined over real as well as complex spheres of different dimensions. We illustrate our findings describing an application to strict positive definiteness.


title: A family of diameter-based eigenvalue bounds for quantum graphs

abstract: We establish a sharp lower bound on the first non-trivial eigenvalue of the Laplacian on a metric graph equipped with natural (i.e., continuity and Kirchhoff) vertex conditions in terms of the diameter and the total length of the graph. This extends a result of, and resolves an open problem from, [J. B. Kennedy, P. Kurasov, G. Malenov\'a and D. Mugnolo, Ann. Henri Poincar\'e 17 (2016), 2439--2473, Section 7.2], and also complements an analogous lower bound for the corresponding eigenvalue of the combinatorial Laplacian on a discrete graph. We also give a family of corresponding lower bounds for the higher eigenvalues under the assumption that the total length of the graph is sufficiently large compared with its diameter. These inequalities are sharp in the case of trees.


title: Decouple Learning for Parameterized Image Operators

abstract: Many different deep networks have been used to approximate, accelerate or improve traditional image operators, such as image smoothing, super-resolution and denoising. Among these traditional operators, many contain parameters which need to be tweaked to obtain the satisfactory results, which we refer to as "parameterized image operators". However, most existing deep networks trained for these operators are only designed for one specific parameter configuration, which does not meet the needs of real scenarios that usually require flexible parameters settings. To overcome this limitation, we propose a new decouple learning algorithm to learn from the operator parameters to dynamically adjust the weights of a deep network for image operators, denoted as the base network. The learned algorithm is formed as another network, namely the weight learning network, which can be end-to-end jointly trained with the base network. Experiments demonstrate that the proposed framework can be successfully applied to many traditional parameterized image operators. We provide more analysis to better understand the proposed framework, which may inspire more promising research in this direction. Our codes and models have been released in https://github.com/fqnchina/DecoupleLearning


title: Optical vortex trapping and annihilation by means of nonlinear Bessel beams in nonlinearly absorbing media

abstract: In nonlinear Kerr media at intensities such that multiphoton absorption is significant, a vortex of topological charge m in the center of a high-order nonlinear Bessel beam (NBB) can be stable and subsist endlessly. We show that the m-charged NBB is not only stable but is formed spontaneously from any other n-charged NBB and N "foreign" vortices of total charge s randomly nested in the beam cross section if n + s = m. All nested vortices merge in the center of the original NBB, which undergoes a mode conversion to the NBB that preserves the topological charge and the inward-directed power current that sustains the diffraction-free and attenuation-free propagation in the medium with nonlinear absorption. We foresee different applications such as the creation of stable, multiply charged vortices without tight alignment requirements but by spontaneous vortex combination, mixing waves or particles that the vortices can guide, fast annihilation of vortex dipoles, and cleaning of speckled beams by massive annihilation of vortices.


title: A priori error analysis of the $hp$-mortar FEM for parabolic problems

abstract: In this article we derive a priori error estimates for the $hp$-version of the mortar finite element method for parabolic initial-boundary value problems. Both semidiscrete and fully discrete methods are analysed in $L^2$- and $H^1$-norms. The superconvergence results for the solution of the semidiscrete problem are studied in an eqivalent negative norm, with an extra regularity assumption. Numerical experiments are conducted to validate the theoretical findings.


title: Laying the Groundwork for a Worker-Centric Peer Economy

abstract: The "gig economy" has transformed the ways in which people work, but in many ways these markets stifle the growth of workers and the autonomy and protections that workers have grown to expect. We explored the viability of a "worker centric peer economy"--a system wherein workers benefit as well as consumers-- and conducted ethnographic field work across fields ranging from domestic labor to home health care. We discovered seven facets that system designers ought to consider when designing a labor market for "gig workers," consisting principally of the following: constructive feedback, assigning work fairly, managing customer expectations, protecting vulnerable workers, reconciling worker identities, assessing worker qualifications, & communicating worker quality. We discuss these considerations and provide guidance toward the design of a mutually beneficial market for gig workers.


title: Many-body effects in twisted bilayer graphene at low twist angles

abstract: We study the zero-temperature many-body properties of twisted bilayer graphene with a twist angle equal to the so-called `first magic angle'. The system low-energy single-electron spectrum consists of four (eight, if spin label is accounted) weakly-dispersing partially degenerate bands, each band accommodating one electron per Moir{\'{e}} cell per spin projection. This weak dispersion makes electrons particularly susceptible to the effects of interactions. Introducing several excitonic order parameters with spin-density-wave-like structure, we demonstrate that (i)~the band degeneracy is partially lifted by the interaction, and (ii)~the details of the low-energy spectrum becomes doping-dependent. For example, at or near the undoped state, interactions separate the eight bands into two quartets (one quartet is almost filled, the other is almost empty), while for two electrons per Moir\'{e} cell, the quartets are pulled apart, and doublets emerge. When the doping is equal to one or three electrons per cell, the doublets split into singlets. Hole doping produces similar effects. As a result, electronic properties (e.g., the density of states at the Fermi energy) demonstrate oscillating dependence on the doping concentration. This allows us to reproduce qualitatively the behavior of the conductance observed recently in experiments [Cao et al., Nature {\bf 556}, 80 (2018)]. Near half-filling, the electronic spectrum loses hexagonal symmetry indicating the appearance of a many-body nematic state.


title: Sofic homological invariants and the Weak Pinsker Property

abstract: A probability-measure-preserving transformation has the Weak Pinsker Property (WPP) if for every $\epsilon>0$ it is measurably conjugate to the direct product of a transformation with entropy $<\epsilon$ and a Bernoulli shift. In a recent breakthrough, Tim Austin proved that every ergodic transformation satisfies this property. Moreover, the natural analog for amenable group actions is also true. By contrast, this paper provides a counterexample in which the group $\Gamma$ is a non-abelian free group and the notion of entropy is sofic entropy. The counterexample is a limit of hardcore models on random regular graphs. In order to prove that it does not have the WPP, this paper introduces new measure conjugacy invariants based on the growth of homology of the model spaces of the action. The main result is obtained by showing that any action with the WPP has subexponential homology growth in dimension $0$, while the counterexample has exponential homology growth in dimension $0$.


title: Randomness quantification of coherent detection

abstract: Continuous-variable quantum cryptographic systems, including random number generation and key distribution, are often based on coherent detection. The essence of the security analysis lies in the randomness quantification. Previous analyses employ a semi-quantum picture, where the strong local oscillator limit is assumed. Here, we investigate the randomness of homodyne detection in a full quantum scenario by accounting for the shot noise in the local oscillator, which requires us to develop randomness measures in the infinite-dimensional scenario. Similar to the finite-dimensional case, our introduced measure of randomness corresponds to the relative entropy of coherence defined for an infinite-dimensional system. Our results are applicable to general coherent detection systems, in which the local oscillator is inevitably of finite power. As an application example, we employ the analysis method to a practical vacuum-fluctuation quantum random number generator and explore the limits of generation rate given a continuous-wave laser.


title: Onto Interpolation for the Dirichlet Space and for $H_1(\mathbb{D})$

abstract: We give a characterization of onto interpolating sequences with finite associated measure for the Dirichlet space in terms of condenser capacity. In the Sobolev space $H_1(\mathbb{D})$ we define a natural notion of onto interpolation and we prove that the same condenser capacity condition characterizes all onto interpolating sequences. As a result, for sequences with finite associated measure, the problem of interpolation by an analytic function reduces to a problem of interpolation by a function in $H_1(\mathbb{D})$.


title: Towards Distributed Coevolutionary GANs

abstract: Generative Adversarial Networks (GANs) have become one of the dominant methods for deep generative modeling. Despite their demonstrated success on multiple vision tasks, GANs are difficult to train and much research has been dedicated towards understanding and improving their gradient-based learning dynamics. Here, we investigate the use of coevolution, a class of black-box (gradient-free) co-optimization techniques and a powerful tool in evolutionary computing, as a supplement to gradient-based GAN training techniques. Experiments on a simple model that exhibits several of the GAN gradient-based dynamics (e.g., mode collapse, oscillatory behavior, and vanishing gradients) show that coevolution is a promising framework for escaping degenerate GAN training behaviors.


title: Creativity and Artificial Intelligence: A Digital Art Perspective

abstract: This paper describes the application of artificial intelligence to the creation of digital art. AI is a computational paradigm that codifies intelligence into machines. There are generally three types of artificial intelligence and these are machine learning, evolutionary programming and soft computing. Machine learning is the statistical approach to building intelligent systems. Evolutionary programming is the use of natural evolutionary systems to design intelligent machines. Some of the evolutionary programming systems include genetic algorithm which is inspired by the principles of evolution and swarm optimization which is inspired by the swarming of birds, fish, ants etc. Soft computing includes techniques such as agent based modelling and fuzzy logic. Opportunities on the applications of these to digital art are explored.


title: Area-dependent quantum field theory with defects

abstract: Area-dependent quantum field theory is a modification of two-dimensional topological quantum field theory, where one equips each connected component of a bordism with a positive real number - interpreted as area - which behaves additively under glueing. As opposed to topological theories, in area-dependent theories the state spaces can be infinite-dimensional. We introduce the notion of regularised Frobenius algebras and show that area-dependent theories are in one-to-one correspondence to commutative regularised Frobenius algebras. We provide a state-sum construction for area-dependent theories, which includes theories with defects. Defect lines are labeled by dualisable bimodules over regularised algebras. We show that the tensor product of such bimodules agrees with the fusion of defect lines, which is defined as the limit where the area separating two defect lines is taken to zero. All these constructions are exemplified by two-dimensional Yang-Mills theory with compact gauge group and with Wilson lines as defects, which we treat in detail.


title: On Numerical Estimation of Joint Probability Distribution from Lebesgue Integral Quadratures

abstract: An important application of Lebesgue integral quadrature arXiv:1807.06007 is developed. Given two random processes, $f(x)$ and $g(x)$, two generalized eigenvalue problems can be formulated and solved. In addition to obtaining two Lebesgue quadratures (for $f$ and $g$) from two eigenproblems, the projections of $f$- and $g$- eigenvectors on each other allow to build a joint distribution estimator, the most general form of which is a density-matrix correlation. Examples of the density-matrix correlation can be a value-correlation $V_{f^{[i]};g^{[j]}}$, similar to a regular correlation concept, and a new one, a probability-correlation $P_{f^{[i]};g^{[j]}}$. If Christoffel function average is used instead of regular average the approach can be extended to an estimation of joint probability of three and more random processes. The theory is implemented numerically; the software is available under the GPLv3 license.


title: The dearth of difference between central and satellite galaxies II. Comparison of observations with L-GALAXIES and EAGLE in star formation quenching

abstract: As we demonstrated in Paper I, the quenched fractions of central and satellite galaxies as function of halo mass are extremely similar, as long as one controls for stellar mass. The same holds for the quenched fractions as a function of central velocity dispersion, which is tightly correlated with black hole mass, as long as one controls for both stellar and halo mass. Here we use mock galaxy catalogs constructed from the latest semi-analytic model, L-GALAXIES, and the state-of-the-art hydrodynamical simulation, EAGLE, to investigate whether these models can reproduce the trends seen in the data. We also check how the group finder used to identify centrals and satellites impacts our results. We find that L-GALAXIES fails to reproduce the trends. The predicted quenched fraction of central galaxies increases sharply with halo mass around $10^{12.5}h^{-1}M_{\odot}$ and with black hole mass around $\sim10^{6.5}M_{\odot}$, while the predicted quenched fraction of satellites increases with both halo and black hole masses gradually. In contrast, centrals and satellites in EAGLE follow almost the same trend as seen in the data. We discuss the implications of our results for how feedback processes regulate galaxy quenching.


title: Quantum e-commerce: A comparative study of possible protocols for online shopping and other tasks related to e-commerce

abstract: A set of quantum protocols for online shopping is proposed and analyzed to establish that it is possible to perform secure online shopping using different types of quantum resources. Specifically, a single photon based, a Bell state based and two 3-qubit entangled state based quantum online shopping schemes are proposed. The Bell state based scheme, being a completely orthogonal state based protocol, is fundamentally different from the earlier proposed schemes which were based on conjugate coding. One of the 3-qubit entangled state based scheme is build on the principle of entanglement swapping which enables us to accomplish the task without transmission of the message encoded qubits through the channel. Possible ways of generalizing the entangled state based schemes proposed here to the schemes which use multiqubit entangled states is also discussed. Further, all the proposed protocols are shown to be free from the limitations of the recently proposed protocol of Huang et al. (Quantum Inf. Process. 14, 2211-2225, 2015) which allows the buyer (Alice) to change her order at a later time (after initially placing the order and getting it authenticated by the controller). The proposed schemes are also compared with the existing schemes using qubit efficiency.


title: Some results of $K$-frames and their multipliers

abstract: K-frames are strongly tools for the reconstruction elements from the range of a bounded linear operator K on a separable Hilbert space H. In this paper, we study some properties of K-frames and introduce the K-frame multipliers. We also focus to represent elements from the range of K by K-frame multipliers.


title: Rotational sound in disordered granular materials

abstract: We employ numerical simulations to understand the evolution of elastic standing waves in disordered frictional disk systems, where the dispersion relations of rotational sound modes are analyzed in detail. As in the case of frictional particles on a lattice, the rotational modes exhibit an "optical-like" dispersion relation in the high frequency regime, representing a shoulder of the vibrational density of states and fast oscillations of the autocorrelations of rotational velocities. A lattice-based model describes the dispersion relations of the rotational modes for small wave numbers. The rotational modes are perfectly explained by the model if tangential elastic forces between the disks in contact are large enough. If the tangential forces are comparable with or smaller than normal forces, the model fails for short wave lengths. However, the dispersion relation of the rotational modes then follows the model prediction for transverse modes, implying that the fast oscillations of disks' rotations switch to acoustic sound behavior. We evidence such a transition of the rotational modes by analyzing the eigen vectors of disordered frictional disks and identify upper and lower limits of the frequency-bands. We find that those are not reversed over the whole range of tangential stiffness as a remarkable difference from the rotational sound in frictional particles on a lattice.


title: Kondo Breakdown via Fractionalization in a Frustrated Kondo Lattice Model

abstract: We consider Dirac electrons on the honeycomb lattice Kondo coupled to spin-1/2 degrees of freedom on the kagome lattice. The interactions between the spins are chosen along the lines of the Balents-Fisher-Girvin model that is known to host a $\mathbb{Z}_2$ spin liquid and a ferromagnetic phase. The model is amenable to sign free auxiliary field quantum Monte Carlo simulations. While in the ferromagnetic phase the Dirac electrons acquire a gap, they remain massless in the $\mathbb{Z}_2$ spin liquid phase due to the breakdown of Kondo screening. Since our model has an odd number of spins per unit cell, this phase is a non-Fermi liquid that violates the conventional Luttinger theorem which relates the Fermi surface volume to the particle density in a Fermi liquid. This non-Fermi liquid is a specific realization of the so called fractionalized Fermi liquid proposed in the context of heavy fermions. We probe the Kondo breakdown in this non-Fermi liquid phase via conventional observables such as the spectral function, and also by studying the mutual information between the electrons and the spins.


title: From LTL to rLTL Monitoring: Improved Monitorability through Robust Semantics

abstract: Runtime monitoring is commonly used to detect the violation of desired properties in safety critical cyber-physical systems by observing its executions. Bauer et al. introduced an influential framework for monitoring Linear Temporal Logic (LTL) properties based on a three-valued semantics: the formula is already satisfied by the given prefix, it is already violated, or it is still undetermined, i.e., it can still be satisfied and violated by appropriate extensions. However, a wide range of formulas are not monitorable under this approach, meaning that they have a prefix for which satisfaction and violation will always remain undetermined no matter how it is extended. In particular, Bauer et al. report that 44% of the formulas they consider in their experiments fall into this category. Recently, a robust semantics for LTL was introduced to capture different degrees by which a property can be violated. In this paper we introduce a robust semantics for finite strings and show its potential in monitoring: every formula considered by Bauer et al. is monitorable under our approach. Furthermore, we discuss which properties that come naturally in LTL monitoring - such as the realizability of all truth values - can be transferred to the robust setting. Lastly, we show that LTL formulas with robust semantics can be monitored by deterministic automata and report on a prototype implementation.


title: Towards Neural Theorem Proving at Scale

abstract: Neural models combining representation learning and reasoning in an end-to-end trainable manner are receiving increasing interest. However, their use is severely limited by their computational complexity, which renders them unusable on real world datasets. We focus on the Neural Theorem Prover (NTP) model proposed by Rockt{\"{a}}schel and Riedel (2017), a continuous relaxation of the Prolog backward chaining algorithm where unification between terms is replaced by the similarity between their embedding representations. For answering a given query, this model needs to consider all possible proof paths, and then aggregate results - this quickly becomes infeasible even for small Knowledge Bases (KBs). We observe that we can accurately approximate the inference process in this model by considering only proof paths associated with the highest proof scores. This enables inference and learning on previously impracticable KBs.


title: Equal But Not The Same: Understanding the Implicit Relationship Between Persuasive Images and Text

abstract: Images and text in advertisements interact in complex, non-literal ways. The two channels are usually complementary, with each channel telling a different part of the story. Current approaches, such as image captioning methods, only examine literal, redundant relationships, where image and text show exactly the same content. To understand more complex relationships, we first collect a dataset of advertisement interpretations for whether the image and slogan in the same visual advertisement form a parallel (conveying the same message without literally saying the same thing) or non-parallel relationship, with the help of workers recruited on Amazon Mechanical Turk. We develop a variety of features that capture the creativity of images and the specificity or ambiguity of text, as well as methods that analyze the semantics within and across channels. We show that our method outperforms standard image-text alignment approaches on predicting the parallel/non-parallel relationship between image and text.


title: Geometrical conditions for the existence of a Milnor vector field

abstract: We introduce several sufficient conditions to guarantee the existence of the Milnor vector field for new classes of singularities of map germs. This special vector field is related with the equivalence problem of the Milnor fibrations for real and complex singularities, if they exit.


title: Predicting purchasing intent: Automatic Feature Learning using Recurrent Neural Networks

abstract: We present a neural network for predicting purchasing intent in an Ecommerce setting. Our main contribution is to address the significant investment in feature engineering that is usually associated with state-of-the-art methods such as Gradient Boosted Machines. We use trainable vector spaces to model varied, semi-structured input data comprising categoricals, quantities and unique instances. Multi-layer recurrent neural networks capture both session-local and dataset-global event dependencies and relationships for user sessions of any length. An exploration of model design decisions including parameter sharing and skip connections further increase model accuracy. Results on benchmark datasets deliver classification accuracy within 98% of state-of-the-art on one and exceed state-of-the-art on the second without the need for any domain / dataset-specific feature engineering on both short and long event sequences.


title: Adaptive Metrics for Adaptive Samples

abstract: In this paper we consider adaptive sampling's local-feature size, used in surface reconstruction and geometric inference, with respect to an arbitrary landmark set rather than the medial axis and relate it to a path-based adaptive metric on Euclidean space. We prove a near-duality between adaptive samples in the Euclidean metric space and uniform samples in this alternate metric space which results in topological interleavings between the offsets generated by this metric and those generated by an linear approximation of it. After smoothing the distance function associated to the adaptive metric, we apply a result from the theory of critical points of distance functions to the interleaved spaces which yields a computable homology inference scheme assuming one has Hausdorff-close samples of the domain and the landmark set.


title: The HOSTS Survey for Exozodiacal Dust: Preliminary results and future prospects

abstract: [abridged] The presence of large amounts of dust in the habitable zones of nearby stars is a significant obstacle for future exo-Earth imaging missions. We executed an N band nulling interferometric survey to determine the typical amount of such exozodiacal dust around a sample of nearby main sequence stars. The majority of our data have been analyzed and we present here an update of our ongoing work. We find seven new N band excesses in addition to the high confidence confirmation of three that were previously known. We find the first detections around Sun-like stars and around stars without previously known circumstellar dust. Our overall detection rate is 23%. The inferred occurrence rate is comparable for early type and Sun-like stars, but decreases from 71% [+11%/-20%] for stars with previously detected mid- to far-infrared excess to 11% [+9%/-4%] for stars without such excess, confirming earlier results at high confidence. For completed observations on individual stars, our sensitivity is five to ten times better than previous results. Assuming a lognormal luminosity function of the dust, we find upper limits on the median dust level around all stars without previously known mid to far infrared excess of 11.5 zodis at 95% confidence level. The corresponding upper limit for Sun-like stars is 16 zodis. An LBTI vetted target list of Sun-like stars for exo-Earth imaging would have a corresponding limit of 7.5 zodis. We provide important new insights into the occurrence rate and typical levels of habitable zone dust around main sequence stars. Exploiting the full range of capabilities of the LBTI provides a critical opportunity for the detailed characterization of a sample of exozodiacal dust disks to understand the origin, distribution, and properties of the dust.


title: Prospects for the characterisation of exo-zodiacal dust with the VLTI

abstract: Exo-zodiacal dust, exozodi for short, is warm (~300K) or hot (up to ~2000K) dust found in the inner regions of planetary systems around main sequence stars. In analogy to our own zodiacal dust, it may be located in or near the habitable zone or closer in, down to the dust sublimation distance. The study of the properties, distribution, and evolution of exozodis can inform about the architecture and dynamics of the innermost regions of planetary systems, close to their habitable zones. On the other hand, the presence of large amounts of exo-zodiacal dust may be an obstacle for future space missions aiming to image Earth-like exoplanets. The dust can be the most luminous component of extrasolar planetary systems, but predominantly emits in the near- to mid-infrared where it is outshone by the host star. Interferometry provides a unique method of separating the dusty from the stellar emission. We discuss the prospects of exozodi observations with the next generation VLTI instruments and summarize critical instrument specifications.


title: Raman evidence for dimerization and Mott collapse in $\alpha$-RuCl$_3$ under pressures

abstract: We perform Raman spectroscopy studies on $\alpha$-RuCl$_3$ at room temperature to explore its phase transitions of magnetism and chemical bonding under pressures. The Raman measurements resolve two critical pressures, about $p_1=1.1$~GPa and $p_2=1.7$~GPa, involving very different intertwining behaviors between the structural and magnetic excitations. With increasing pressures, a stacking order phase transition of $\alpha$-RuCl$_3$ layers develops at $p_1=1.1$~GPa, indicated by the new Raman phonon modes and the modest Raman magnetic susceptibility adjustment. The abnormal softening and splitting of the Ru in-plane Raman mode provide direct evidence of the in-plane dimerization of the Ru-Ru bonds at $p_2=1.7$~GPa. The Raman susceptibility is greatly enhanced with pressure increasing and sharply suppressed after the dimerization. We propose that the system undergoes Mott collapse at $p_2=1.7$~GPa and turns into a dimerized correlated band insulator. Our studies demonstrate competitions between Kitaev physics, magnetism, and chemical bondings in Kitaev compounds.


title: Choreographies in the $n$-vortex problem

abstract: We consider the equations of motion of $n$ vortices of equal circulation in the plane, in a disk and on a sphere. The vortices form a polygonal equilibrium in a rotating frame of reference. We use numerical continuation in a boundary value setting to determine the Lyapunov families of periodic orbits that arise from the polygonal relative equilibrium. When the frequency of a Lyapunov orbit and the frequency of the rotating frame have a rational relationship then the orbit is also periodic in the inertial frame. A dense set of Lyapunov orbits, with frequencies satisfying a diophantine equation, corresponds to choreographies of the $n$ vortices. We include numerical results for all cases, for various values of $n$, and we provide key details on the computational approach.


title: T-optimal designs for multi-factor polynomial regression models via a semidefinite relaxation method

abstract: We consider T-optimal experiment design problems for discriminating multi-factor polynomial regression models where the design space is defined by polynomial inequalities and the regression parameters are constrained to given convex sets. Our proposed optimality criterion is formulated as a convex optimization problem with a moment cone constraint. When the regression models have one factor, an exact semidefinite representation of the moment cone constraint can be applied to obtain an equivalent semidefinite program. When there are two or more factors in the models, we apply a moment relaxation technique and approximate the moment cone constraint by a hierarchy of semidefinite-representable outer approximations. When the relaxation hierarchy converges, an optimal discrimination design can be recovered from the optimal moment matrix, and its optimality is confirmed by an equivalence theorem. The methodology is illustrated with several examples.


title: On further refinements for Young inequalities

abstract: In this paper, sharp results on operator Young's inequality are obtained. We first obtain sharp multiplicative refinements and reverses for the operator Young's inequality. Secondly, we give an additive result, which improves a well-known inequality due to Tominaga. We also provide some estimates for $A{{\sharp}_{v}}B-A{{\nabla }_{v}}B$ in which $v\notin \left[ 0,1 \right]$.


title: Icy Grains from the Nucleus of Comet C/2013 US10 (Catalina)

abstract: We present IRTF/SpeX and NEOWISE observations of the dynamically new comet C/2013 US$_{10}$ (Catalina), hereafter US10, from 5.8 au inbound, to near perihelion at 1.3 au, and back to 5.0 au outbound. We detect water ice in the coma of US10, assess and monitor the physical properties of the ice as insolation varies with heliocentric distance, and investigate the relationship between water ice and CO$_{2}$. This set of measurements is unique in orbital coverage and can be used to infer the physical evolution of the ice and, potentially, the nucleus composition. We report (1) nearly identical near-infrared spectroscopic measurements of the coma at $-$5.8 au, $-$5.0 au, +3.9 au (where $<$0 au indicates pre-perihelion epochs), all presenting evidence of water-ice grains, (2) a dust-dominated coma at 1.3 au and 2.3 au and, (3) an increasing CO$_{2}$/$Af\rho$ ratio from $-$4.9 au to 1.8 au. We propose that sublimation of the hyper-volatile CO$_{2}$ is responsible for dragging water-ice grains into the coma throughout the orbit. Once in the coma, the observability of the water-ice grains is controlled by the ice grain sublimation lifetime, which seems to require some small dust contaminant (i.e., non-pure ice grains). At |R$_{h}$|>=3.9 au, the ice grains are long-lived and may be unchanged since leaving the comet nucleus. We find the nucleus of comet US10 is made of, among other components, $\sim$1-micron water-ice grains containing up to 1% refractory materials.


title: Sign-Perturbed Sums: A New System Identification Approach for Constructing Exact Non-Asymptotic Confidence Regions in Linear Regression Models

abstract: We propose a new system identification method, called Sign-Perturbed Sums (SPS), for constructing non-asymptotic confidence regions under mild statistical assumptions. SPS is introduced for linear regression models, including but not limited to FIR systems, and we show that the SPS confidence regions have exact confidence probabilities, i.e., they contain the true parameter with a user-chosen exact probability for any finite data set. Moreover, we also prove that the SPS regions are star convex with the Least-Squares (LS) estimate as a star center. The main assumptions of SPS are that the noise terms are independent and symmetrically distributed about zero, but they can be nonstationary, and their distributions need not be known. The paper also proposes a computationally efficient ellipsoidal outer approximation algorithm for SPS. Finally, SPS is demonstrated through a number of simulation experiments.


title: Asynchronous Advantage Actor-Critic Agent for Starcraft II

abstract: Deep reinforcement learning, and especially the Asynchronous Advantage Actor-Critic algorithm, has been successfully used to achieve super-human performance in a variety of video games. Starcraft II is a new challenge for the reinforcement learning community with the release of pysc2 learning environment proposed by Google Deepmind and Blizzard Entertainment. Despite being a target for several AI developers, few have achieved human level performance. In this project we explain the complexities of this environment and discuss the results from our experiments on the environment. We have compared various architectures and have proved that transfer learning can be an effective paradigm in reinforcement learning research for complex scenarios requiring skill transfer.


title: Cellular-Connected UAV: Uplink Association, Power Control and Interference Coordination

abstract: The line-of-sight (LoS) air-to-ground channel brings both opportunities and challenges in cellular-connected unmanned aerial vehicle (UAV) communications. On one hand, the LoS channels make more cellular base stations (BSs) visible to a UAV as compared to the ground users, which leads to a higher macro-diversity gain for UAV-BS communications. On the other hand, they also render the UAV to impose/suffer more severe uplink/downlink interference to/from the BSs, thus requiring more sophisticated inter-cell interference coordination (ICIC) techniques with more BSs involved. In this paper, we consider the uplink transmission from a UAV to cellular BSs, under spectrum sharing with the existing ground users. To investigate the optimal ICIC design and air-ground performance trade-off, we maximize the weighted sum-rate of the UAV and existing ground users by jointly optimizing the UAV's uplink cell associations and power allocations over multiple resource blocks. However, this problem is non-convex and difficult to be solved optimally. We first propose a centralized ICIC design to obtain a locally optimal solution based on the successive convex approximation (SCA) method. As the centralized ICIC requires global information of the network and substantial information exchange among an excessively large number of BSs, we further propose a decentralized ICIC scheme of significantly lower complexity and signaling overhead for implementation, by dividing the cellular BSs into small-size clusters and exploiting the LoS macro-diversity for exchanging information between the UAV and cluster-head BSs only. Numerical results show that the proposed centralized and decentralized ICIC schemes both achieve a near-optimal performance, and draw important design insights based on practical system setups.


title: Immersed-finite-element method for deformable particle suspensions in viscous and viscoelastic media

abstract: Deformable elastic bodies in viscous and viscoelastic media constitute a large portion of synthetic and biological complex fluids. We present a parallelized 3D-simulation methodology which fully resolves the momentum balance in the solid and fluid domains. An immersed boundary algorithm is exploited known as the immersed finite element method (IFEM) which accurately determines the internal forces in the solid domain. The scheme utilized has the advantages of requiring no costly re-meshing, handling finite Reynold's number, as well as incorporating non-linear viscoelasticity in the fluid domain. Our algorithm is designed for computationally efficient simulation of multi-particle suspensions with mixed structure types. The internal force calculation in the solid domain in the IFEM is coupled with a finite volume based incompressible fluid solver, both of which are massively parallelized for distributed memory architectures. We performed extensive case studies to ensure the fidelity of our algorithm. Namely, a series of single particle simulations for capsules, red blood cells, and elastic solid deformable particles were conducted in viscous and viscoelastic media. All of our results are in excellent quantitative agreement with the corresponding reported data in the literature which are based on different simulation platforms. Furthermore, we assess the accuracy of multi-particle simulation of blood suspensions (red blood cells in plasma) with and without platelets. Finally, we present the results of a novel simulation of multiple solid deformable objects in a viscoelastic medium.


title: Creativity: Linchpin in the Quest for a Viable Theory of Cultural Evolution

abstract: This paper outlines the implications of neural-level accounts of insight, and models of the conceptual interactions that underlie creativity, for a theory of cultural evolution. Since elements of human culture exhibit cumulative, adaptive, open-ended change, it seems reasonable to view culture as an evolutionary process, one fueled by creativity. Associative memory models of creativity and mathematical models of how concepts combine and transform through interaction with a context, support a view of creativity that is incompatible with a Darwinian (selectionist) framework for cultural evolution, but compatible with a non-Darwinian (Self-Other Reorganization) framework. A theory of cultural evolution in which creativity is centre stage could provide the kind of integrative framework for the behavioral sciences that Darwin provided for the life sciences.


title: A Preliminary Study On the Sustainability of Android Malware Detection

abstract: Machine learning-based malware detection dominates current security defense approaches for Android apps. However, due to the evolution of Android platforms and malware, existing such techniques are widely limited by their need for constant retraining that are costly, and reliance on new malware samples that may not be timely available. As a result, new and emerging malware slips through, as seen from the continued surging of malware in the wild. Thus, a more practical detector needs not only to be accurate but, more critically, to be able to sustain its capabilities over time without frequent retraining. In this paper, we study how Android apps evolve as a population over time, in terms of their behaviors related to accesses to sensitive information and operations. We first perform a longitudinal characterization of 6K benign and malicious apps developed across seven years, with focus on these sensitive accesses in app executions. Our study reveals, during the long evolution, a consistent, clear differentiation between malware and benign apps regarding such accesses, measured by relative statistics of relevant method calls. Following these findings, we developed DroidSpan, a novel classification system based on a new behavioral profile for Android apps. Through an extensive evaluation, we showed that DroidSpan can not only effectively detect malware but sustain high detection accuracy (93% F1 measure) for four years (with 81% F1 for five years). Through a dedicated study, we also showed its resiliency to sophisticated evasion schemes. By comparing to a state-of-the-art malware detector, we demonstrated the largely superior sustainability of our approach at reasonable costs.


title: Backward SDEs for Control with Partial Information

abstract: This paper considers a non-Markov control problem arising in a financial market where asset returns depend on hidden factors. The problem is non-Markov because nonlinear filtering is required to make inference on these factors, and hence the associated dynamic program effectively takes the filtering distribution as one of its state variables. This is of significant difficulty because the filtering distribution is a stochastic probability measure of infinite dimension, and therefore the dynamic program has a state that cannot be differentiated in the traditional sense. This lack of differentiability means that the problem cannot be solved using a Hamilton-Jacobi-Bellman (HJB) equation. This paper will show how the problem can be analyzed and solved using backward stochastic differential equations (BSDEs), with a key tool being the problem's dual formulation.


title: Local $h^*$-Polynomials of Some Weighted Projective Spaces

abstract: There is currently a growing interest in understanding which lattice simplices have unimodal local $h^\ast$-polynomials (sometimes called box polynomials); specifically in light of their potential applications to unimodality questions for Ehrhart $h^\ast$-polynomials. In this note, we compute a general form for the local $h^\ast$-polynomial of a well-studied family of lattice simplices whose associated toric varieties are weighted projective spaces. We then apply this formula to prove that certain such lattice simplices, whose combinatorics are naturally encoded using common systems of numeration, all have real-rooted, and thus unimodal, local $h^\ast$-polynomials. As a consequence, we discover a new restricted Eulerian polynomial that is real-rooted, symmetric, and admits intriguing number theoretic properties.


title: On Riemann curvature of singular square metrics

abstract: Square metrics is an important class of Finsler metrics. Recently, we introduced a special class of non-regular Finsler metrics called singular square metrics. The main purpose of this paper is to provide a necessary and sufficient condition for singular square metrics to be of constant Ricci or flag curvature when dimension $n\geq3$.


title: The Hyperedge Event Model

abstract: We introduce the hyperedge event model (HEM)---a generative model for events that can be represented as directed edges with one sender and one or more receivers or one receiver and one or more senders. We integrate a dynamic version of the exponential random graph model (ERGM) of edge structure with a survival model for event timing to jointly understand who interacts with whom, and when. The HEM offers three innovations with respect to the literature---first, it extends a growing class of dynamic network models to model hyperedges. The current state-of-the-art approach to dealing with hyperedges is to inappropriately break them into separate edges/events. Second, our model involves a novel receiver selection distribution that is based on established edge formation models, but assures non-empty receiver lists. Third, the HEM integrates separate, but interacting, equations governing edge formation and event timing. We use the HEM to analyze emails sent among department managers in Montgomery County government in North Carolina. Our application demonstrates that the model is effective at predicting and explaining time-stamped network data involving edges with multiple receivers. We present an out-of-sample prediction experiment to illustrate how researchers can select between different specifications of the model.


title: Model Structures for Correspondences and Bifibrations

abstract: We study the notion of a bifibration in simplicial sets which generalizes the classical notion of two-sided discrete fibration studied in category theory. If $A$ and $B$ are simplicial sets we equip the category of simplicial sets over $A\times B$ with the structure of a model category for which the fibrant objects are the bifibrations from $A$ to $B$. We also equip the category of correspondences of simplicial sets from $A$ to $B$ with the structure of a model category. We describe several Quillen equivalences relating these model structure with the covariant model structure on the category of simplicial sets over $B^{\mathrm{op}}\times A$.


title: Transport properties of semimetallic transition metal dichalcogenides

abstract: The Weyl semimetal requires the breaking of either the time-reversal symmetry (TRS) or the lattice inversion symmetry. When the TRS and inversion symmetry coexist, a pair of degenerate Weyl points may exist, leading to the related Dirac semimetal phase. In other words, a Dirac semimetallic state can be regarded as two copies of Weyl semimetal states. In this dissertation, we study tellurium based compounds like the Weyl semimetal candidate MoTe2 and the Dirac semimetal candidate PtTe2 within the transition metal dichalcogenides family.


title: Tree-structured multi-stage principal component analysis (TMPCA): theory and applications

abstract: A PCA based sequence-to-vector (seq2vec) dimension reduction method for the text classification problem, called the tree-structured multi-stage principal component analysis (TMPCA) is presented in this paper. Theoretical analysis and applicability of TMPCA are demonstrated as an extension to our previous work (Su, Huang & Kuo). Unlike conventional word-to-vector embedding methods, the TMPCA method conducts dimension reduction at the sequence level without labeled training data. Furthermore, it can preserve the sequential structure of input sequences. We show that TMPCA is computationally efficient and able to facilitate sequence-based text classification tasks by preserving strong mutual information between its input and output mathematically. It is also demonstrated by experimental results that a dense (fully connected) network trained on the TMPCA preprocessed data achieves better performance than state-of-the-art fastText and other neural-network-based solutions.