title: Ensemble learning based linear power flow

abstract: This paper develops an ensemble learning-based linearization approach for power flow, which differs from the network-parameter based direct current (DC) power flow or other extended versions of linearization. As a novel data-driven linearization through data mining, it firstly applies the polynomial regression (PR) as a basic learner to capture the linear relationships between the bus voltage as the independent variable and the active or reactive power as the dependent variable in rectangular coordinates. Then, gradient boosting (GB) and bagging as ensemble learning methods are introduced to combine all basic learners to boost the model performance. The fitted linear power flow model is also relaxed to compute the optimal power flow (OPF). The simulating results of standard IEEE cases indicate that (1) ensemble learning methods outperform PR and GB works better than bagging; (2) as for solving OPF, the data-driven model excels the DC model and the SDP relaxation in the computational accuracy, and works faster than ACOPF and SDPOPF.


title: Cloud fragmentation cascades and feedback: on reconciling an unfettered inertial range with a low star formation rate

abstract: Molecular cloud complexes exhibit both (i) an unfettered Larson-type spectrum over much of their dynamic range, whilst (ii) still producing a much lower star-formation rate than were this cascade to remain unfettered all the way down to star-forming scales. Here we explain the compatibility of these attributes with minimalist considerations of a mass-conserving fragmentation cascade, combined with estimates of stellar feedback. Of importance is that the amount of feedback needed to abate fragmentation and truncate the complex decreases with decreasing scale. The scale at which the feedback momentum matches the free-fall momentum marks a transition scale below most of the cascade is truncated and the molecular cloud complex dissipated. For a $10^6M_\odot$ GMC complex starting with radius of $\sim 50$pc, the combined feedback from young stellar objects, supernovae, radiation, and stellar winds for a GMC cloud complex can truncate the cascade within an outer free-fall time but only after the cascade reaches parsec scales.


title: Temporal Network Sampling

abstract: Temporal networks representing a stream of timestamped edges are seemingly ubiquitous in the real-world. However, the massive size and continuous nature of these networks make them fundamentally challenging to analyze and leverage for descriptive and predictive modeling tasks. In this work, we propose a general framework for temporal network sampling with unbiased estimation. We develop online, single-pass sampling algorithms and unbiased estimators for temporal network sampling. The proposed algorithms enable fast, accurate, and memory-efficient statistical estimation of temporal network patterns and properties. In addition, we propose a temporally decaying sampling algorithm with unbiased estimators for studying networks that evolve in continuous time, where the strength of links is a function of time, and the motif patterns are temporally-weighted. In contrast to the prior notion of a $\bigtriangleup t$-temporal motif, the proposed formulation and algorithms for counting temporally weighted motifs are useful for forecasting tasks in networks such as predicting future links, or a future time-series variable of nodes and links. Finally, extensive experiments on a variety of temporal networks from different domains demonstrate the effectiveness of the proposed algorithms. A detailed ablation study is provided to understand the impact of the various components of the proposed framework.


title: Nuclear binding energy and transverse momentum imbalance in neutrino-nucleus reactions

abstract: We have measured new observables based on the final state kinematic imbalances in the mesonless production of $\nu_\mu+A\rightarrow\mu^-+p+X$ in the $\text{MINER}\nu\text{A}$ tracker. Components of the muon-proton momentum imbalances parallel ($\delta p_\mathrm{Ty}$) and perpendicular($\delta p_\mathrm{Tx}$) to the momentum transfer in the transverse plane are found to be sensitive to the nuclear effects such as Fermi motion, binding energy and non-QE contributions. The QE peak location in $\delta p_\mathrm{Ty}$ is particularly sensitive to the binding energy. Differential cross sections are compared to predictions from different neutrino interaction models. The Fermi gas models presented in this study cannot simultaneously describe features such as QE peak location, width and the non-QE events contributing to the signal process. Correcting the GENIE's binding energy implementation according to theory causes better agreement with data. Hints of proton left-right asymmetry are observed in $\delta p_\mathrm{Tx}$. Better modeling of the binding energy can reduce bias in neutrino energy reconstruction and these observables can be applied in current and future experiments to better constrain nuclear effects.


title: Revised Astrometric Calibration of the Gemini Planet Imager

abstract: We present a revision to the astrometric calibration of the Gemini Planet Imager (GPI), an instrument designed to achieve the high contrast at small angular separations necessary to image substellar and planetary-mass companions around nearby, young stars. We identified several issues with the GPI Data Reduction Pipeline (DRP) that significantly affected the determination of angle of north in reduced GPI images. As well as introducing a small error in position angle measurements for targets observed at small zenith distances, this error led to a significant error in the previous astrometric calibration that has affected all subsequent astrometric measurements. We present a detailed description of these issues, and how they were corrected. We reduced GPI observations of calibration binaries taken periodically since the instrument was commissioned in 2014 using an updated version of the DRP. These measurements were compared to observations obtained with the NIRC2 instrument on Keck II, an instrument with an excellent astrometric calibration, allowing us to derive an updated plate scale and north offset angle for GPI. This revised astrometric calibration should be used to calibrate all measurements obtained with GPI for the purposes of precision astrometry.


title: Space curves on surfaces with ordinary singularities

abstract: We show that smooth curves in the same biliaison class on a hypersurface in $\mathbf{P}^3$ with ordinary singularities are linearly equivalent. We compute the invariants $h^0(\mathscr{I}_C(d))$, $h^1(\mathscr{I}_C(d))$ and $h^1(\mathscr{O}_C(d))$ of a curve $C$ on such a surface $X$ in terms of the cohomologies of divisors on the normalization of $X$. We then study general projections in $\mathbf{P}^3$ of curves lying on the rational normal scroll $S(a,b)\subset\mathbf{P}^{a+b+1}$. If we vary the curves in a linear system on $S(a,b)$ as well as the projections, we obtain a family of curves in $\mathbf{P}^3$. We compute the dimension of the space of deformations of these curves in $\mathbf{P}^3$ as well as the dimension of the family. We show that the difference is a linear function in $a$ and $b$ which does not depend on the linear system. Finally, we classify maximal rank curves on ruled cubic surfaces in $\mathbf{P}^3$. We prove that the general projections of all but finitely many classes of projectively normal curves on $S(1,2)\subset\mathbf{P}^4$ fail to have maximal rank in $\mathbf{P}^3$. These give infinitely many classes of counter-examples to a question of Hartshorne.


title: Short proofs of some extremal results III

abstract: We prove a selection of results from different areas of extremal combinatorics, including complete or partial solutions to a number of open problems. These results, coming mainly from extremal graph theory and Ramsey theory, have been collected together because in each case the relevant proofs are reasonably short.


title: One-Loop Charge-Breaking Minima in the Two-Higgs Doublet Model

abstract: We analyze the vacuum structure of the one-loop effective potential in the two Higgs doublet model. We find that electroweak-breaking vacuua can coexist with charge breaking ones, contradicting a theorem valid at tree-level. We perform a numerical analysis of the model and supply explicit parameter values for which charge-breaking vacuua can be the global minimum of the theory, and deeper than charge-preserving ones.


title: Machine Learning Systems for Highly-Distributed and Rapidly-Growing Data

abstract: The usability and practicality of any machine learning (ML) applications are largely influenced by two critical but hard-to-attain factors: low latency and low cost. Unfortunately, achieving low latency and low cost is very challenging when ML depends on real-world data that are highly distributed and rapidly growing (e.g., data collected by mobile phones and video cameras all over the world). Such real-world data pose many challenges in communication and computation. For example, when training data are distributed across data centers that span multiple continents, communication among data centers can easily overwhelm the limited wide-area network bandwidth, leading to prohibitively high latency and high cost. In this dissertation, we demonstrate that the latency and cost of ML on highly-distributed and rapidly-growing data can be improved by one to two orders of magnitude by designing ML systems that exploit the characteristics of ML algorithms, ML model structures, and ML training/serving data. We support this thesis statement with three contributions. First, we design a system that provides both low-latency and low-cost ML serving (inferencing) over large-scale and continuously-growing datasets, such as videos. Second, we build a system that makes ML training over geo-distributed datasets as fast as training within a single data center. Third, we present a first detailed study and a system-level solution on a fundamental and largely overlooked problem: ML training over non-IID (i.e., not independent and identically distributed) data partitions (e.g., facial images collected by cameras varies according to the demographics of each camera's location).


title: Latent Variable Model for Multivariate Data with Measure-specific Sample Weights and Its Application in Hospital Compare

abstract: We developed a single factor model with measure-specific sample weights for multivariate data with multiple observed indicators clustered within a higher level subject. The factor is therefore a latent variable shared by multiple indicators within a same subject and the sample weights are different across different indicators and different subjects. Even after integrating out the latent variable, the likelihood of the data cannot be written as the sum of weighted likelihood of each subject because a subject has different sample weights respectively for its multiple indicators. In addition, the number of available indicators varies across subjects. We derive a pseudo likelihood for the latent variable model with measure-specific weights. We investigate various statistical properties of the latent variable model with measure-specific sample weights and its connection to the traditional factor analysis. We found that the latent variable model provides consistent estimates for its variances when the measure-specific sample weights are properly re-scaled. Two estimation procedures are developed - EM algorithm for the pseudo likelihood and marginalization of the pseudo likelihood by directly integrating out the latent variable to obtain the parameter estimates. This approach is illustrated by the analysis of publicly reported hospitals with indicators and sample weights. Numerical studies are conducted to investigate the influence of weights and their sample distribution.


title: NASIB: Neural Architecture Search withIn Budget

abstract: Neural Architecture Search (NAS) represents a class of methods to generate the optimal neural network architecture and typically iterate over candidate architectures till convergence over some particular metric like validation loss. They are constrained by the available computation resources, especially in enterprise environments. In this paper, we propose a new approach for NAS, called NASIB, which adapts and attunes to the computation resources (budget) available by varying the exploration vs. exploitation trade-off. We reduce the expert bias by searching over an augmented search space induced by Superkernels. The proposed method can provide the architecture search useful for different computation resources and different domains beyond image classification of natural images where we lack bespoke architecture motifs and domain expertise. We show, on CIFAR10, that itis possible to search over a space that comprises of 12x more candidate operations than the traditional prior art in just 1.5 GPU days, while reaching close to state of the art accuracy. While our method searches over an exponentially larger search space, it could lead to novel architectures that require lesser domain expertise, compared to the majority of the existing methods.


title: Analytical models of Energy and Throughput for Caches in MPSoCs

abstract: General trends in computer architecture are shifting more towards parallelism. Multicore architectures have proven to be a major step in processor evolution. With the advancement in multicore architecture, researchers are focusing on finding different solutions to fully utilize the power of multiple cores. With an ever-increasing number of cores on a chip, the role of cache memory has become pivotal. An ideal memory configuration should be both large and fast, however, in fact, system architects have to strike a balance between the size and access time of the memory hierarchy. It is important to know the impact of a particular cache configuration on the throughput and energy consumption of the system at design time. This paper presents an enhanced version of previously proposed cache energy and throughput models for multicore systems. These models use significantly a smaller number of input parameters as compared to other models. This paper also validates the proposed models through cycle accurate simulator and a renowned processor power estimator. The results show that the proposed energy models provide accuracy within a maximum error range of 10% for single-core processors and around 5% for MPSoCs, and the throughput models result in a maximum error of up to 11.5% for both single and multicore architectures.


title: Are long-term $N$-body simulations reliable?

abstract: $N$-body integrations are used to model a wide range of astrophysical dynamics, but they suffer from errors which make their orbits diverge exponentially in time from the correct orbits. Over long time-scales, their reliability needs to be established. We address this reliability by running a three-body planetary system over about $200$ e-folding times. Using nearby initial conditions, we can construct statistics of the long-term phase-space structure and compare to rough estimates of resonant widths of the system. We compared statistics for a wide range of numerical methods, including a Runge--Kutta method, Wisdom--Holman method, symplectic corrector methods, and a method by Laskar and Robutel. "Improving" an integrator did not increase the phase space accuracy, but simply increasing the number of initial conditions did. In fact, the statistics of a higher order symplectic corrector method were inconsistent with the other methods in one test.


title: Anomalies in the switching dynamics of C-type antiferromagnets and antiferromagnetic nanowires

abstract: Antiferromagnets (AFMs) are widely believed to be superior than ferromagnets in spintronics because of their high stability due to the vanishingly small stray field. It is thus expected that the order parameter of AFM should always align along the easy-axis of the crystalline anisotropy. In contrast to this conventional wisdom, we find that the AFM order parameter switches away from the easy-axis below a critical anisotropy strength when an AFM is properly tailored into a nano-structure. The switching time first decreases and then increases with the damping. Above the critical anisotropy, the AFM order parameter is stable and precesses under a microwave excitation. However, the absorption peak is not at resonance frequency even for magnetic damping as low as 0.01. To resolve these anomalies, we first ascertain the hidden role of dipolar interaction that reconstructs the energy landscape of the nano-system and propose a model of damped non-linear pendulum to explain the switching behavior. In this framework, the second anomaly appears when an AFM is close to the boundary between underdamped and overdamped phases, where the observed absorption lineshape has small quality factor and thus is not reliable any longer. Our results should be significant to extract the magnetic parameters through resonance techniques.


title: Current-induced spin-orbit field in permalloy interfaced with ultrathin Ti and Cu

abstract: How spin-orbit torques emerge from materials with weak spin-orbit coupling (e.g., light metals) is an open question in spintronics. Here, we report on a field-like spin-orbit torque (i.e., in-plane spin-orbit field transverse to the current axis) in SiO$_2$-sandwiched permalloy (Py), with the top Py-SiO$_2$ interface incorporating ultrathin Ti or Cu. In both SiO$_2$/Py/Ti/SiO$_2$ and SiO$_2$/Py/Cu/SiO$_2$, this spin-orbit field opposes the classical Oersted field. While the magnitude of the spin-orbit field is at least a factor of 3 greater than the Oersted field, we do not observe evidence for a significant damping-like torque in SiO$_2$/Py/Ti/SiO$_2$ or SiO$_2$/Py/Cu/SiO$_2$. Our findings point to contributions from a Rashba-Edelstein effect or spin-orbit precession at the (Ti, Cu)-inserted interface.


title: Context-Driven Data Mining through Bias Removal and Data Incompleteness Mitigation

abstract: The results of data mining endeavors are majorly driven by data quality. Throughout these deployments, serious show-stopper problems are still unresolved, such as: data collection ambiguities, data imbalance, hidden biases in data, the lack of domain information, and data incompleteness. This paper is based on the premise that context can aid in mitigating these issues. In a traditional data science lifecycle, context is not considered. Context-driven Data Science Lifecycle (C-DSL); the main contribution of this paper, is developed to address these challenges. Two case studies (using data-sets from sports events) are developed to test C-DSL. Results from both case studies are evaluated using common data mining metrics such as: coefficient of determination (R2 value) and confusion matrices. The work presented in this paper aims to re-define the lifecycle and introduce tangible improvements to its outcomes.


title: Singularity for a multidimensional variational wave equation arising from nematic liquid crystals

abstract: This article is focused on a multidimensional nonlinear variational wave equation which is the Euler-Lagrange equation of a variational principle arising form the theory of nematic liquid crystals. By using the method of characteristics, we show that the smooth solutions for the spherically-symmetric variational wave equation breakdown in finite time, even for the arbitrarily small initial energy.


title: The Gorin-Shkolnikov identity and its random tree generalization

abstract: In a recent pair of papers Gorin and Shkolnikov (2018) and Hariya (2016) have shown that the area under normalized Brownian excursion minus one half the integral of the square of its total local time is a centered normal random variable with variance $\frac{1}{12}$. Gaudreau Lamarre and Shkolnikov (2019) generalized this to Brownian bridges, and ask for a combinatorial interpretation. We provide a combinatorial interpretation using random forests on $n$ vertices. In particular, we show that there is a process level generalization for a certain infinite forest model. We also show analogous results for a variety of other related models using stochastic calculus.


title: WSe2/WS2 moir\'e superlattices: a new Hubbard model simulator

abstract: The Hubbard model, first formulated by physicist John Hubbard in the 1960s, is a simple theoretical model of interacting quantum particles in a lattice. The model is thought to capture the essential physics of high-temperature superconductors, magnetic insulators, and other complex emergent quantum many-body ground states. Although the Hubbard model is greatly simplified as a representation of most real materials, it has nevertheless proved difficult to solve accurately except in the one-dimensional case. Physical realization of the Hubbard model in two or three dimensions, which can act as quantum simulators, therefore have a vital role to play in solving the strong-correlation puzzle. Here we obtain a quantum phase diagram of the two-dimensional triangular lattice Hubbard model by studying angle-aligned WSe2/WS2 bilayers, which form moir\'e superlattices because of the difference in lattice constant between the two two-dimensional materials. We probe both charge and magnetic properties of the system by measuring the dependence of optical response on out-of-plane magnetic field, and on gate-tuned carrier density. At half filling of the first hole moir\'e superlattice band, we observe a Mott insulating state with antiferromagnetic Curie-Weiss behavior as expected for a Hubbard model in the strong interaction regime. Past half filling, our experiment suggests an antiferromagnetic to paramagnetic quantum phase transition near 0.6 filling. Our results establish a new solid-state platform based on moir\'e superlattices which can be used to simulate outstanding problems in strong correlation physics that are manifested by triangular lattice Hubbard models.


title: Long-time behavior for the Cauchy problem of the 3-component Manakov system

abstract: In this work, the Riemann-Hilbert problem for the 3-component Manakov system is formulated on the basis of the corresponding $4\times 4$ matrix spectral problem. Furthermore, by applying the nonlinear steepest descent techniques to an associated $4\times 4$ matrix valued Riemann-Hilbert problem, we can find leading-order asymptotics for the Cauchy problem of the 3-component Manakov system.


title: Light emission properties in a double quantum dot molecule immersed in a cavity: phonon-assisted tunneling

abstract: Two main mechanisms dictate the tunneling process in a double quantum dot: overlap of excited wave functions, effectively described as a tunneling rate, and phonon-assisted tunneling. In this paper, we study different regimes of tunneling that arise from the competition between these two mechanisms in a double quantum dot molecule immersed in a unimodal optical cavity. We show how such regimes affect the mean number of excitations in each quantum dot and in the cavity, the spectroscopic resolution and emission peaks of the photoluminescence spectrum, and the second-order coherence function which is an indicator of the quantumness of emitted light from the cavity.


title: Precision of analytical approximations in calculations of Atmospheric Leptons

abstract: We use the Matrix Cascade Equation code (MCEq) to evaluate the range of applicability of simple analytic approximations parameterized by spectrum-weighted moments and power-law spectral indices that vary slowly with energy. We compare spectra of leptons as a function of zenith angle and energy between MCEq and the analytic approximation. We also compare fluxes obtained with different models of hadronic interactions. The goal is to quantify the effects of the approximations inherent in the simpler formulas in order to determine their limitations and the conditions under which they may be used. Specifically we look for the range of phase space for which the errors in the approximate formulas are smaller than the differences among several different hadronic interaction models. Potential applications include the muon charge ratio, the fraction of prompt leptons from decay of charm and seasonal variations of muons and neutrinos.


title: Optimal Immunization Policy Using Dynamic Programming

abstract: Decisions in public health are almost always made in the context of uncertainty. Policy makers are responsible for making important decisions, faced with the daunting task of choosing from amongst many possible options. This task is called planning under uncertainty, and is particularly acute when addressing complex systems, such as issues of global health and development. Uncertainty leads to cautious or incorrect decisions that cost time, money, and human life. It is with this understanding that we pursue greater clarity on, and methods to address optimal policy making in health. Decision making under uncertainty is a challenging task, and all too often this uncertainty is averaged away to simplify results for policy makers. Our goal in this work is to implement dynamic programming which provides basis for compiling planning results into reactive strategies. We present here a description of an AI-based method and illustrate how this method can improve our ability to find an optimal vaccination strategy. We model the problem as a partially observable Markov decision process, POMDP and show how a re-active policy can be computed using dynamic programming. In this paper, we developed a framework for optimal health policy design in an uncertain dynamic setting. We apply a stochastic dynamic programming approach to identify the optimal time to change the health intervention policy and the value of decision relevant information for improving the impact of the policy.


title: Effective Discovery of Meaningful Outlier Relationships

abstract: We propose PODS (Predictable Outliers in Data-trendS), a method that, given a collection of temporal data sets, derives data-driven explanations for outliers by identifying meaningful relationships between them. First, we formalize the notion of meaningfulness, which so far has been informally framed in terms of explainability. Next, since outliers are rare and it is difficult to determine whether their relationships are meaningful, we develop a new criterion that does so by checking if these relationships could have been predicted from non-outliers, i.e., if we could see the outlier relationships coming. Finally, searching for meaningful outlier relationships between every pair of data sets in a large data collection is computationally infeasible. To address that, we propose an indexing strategy that prunes irrelevant comparisons across data sets, making the approach scalable. We present the results of an experimental evaluation using real data sets and different baselines, which demonstrates the effectiveness, robustness, and scalability of our approach.


title: Improving Privacy in Graphs Through Node Addition

abstract: The rapid growth of computer systems which generate graph data necessitates employing privacy-preserving mechanisms to protect users' identity. Since structure-based de-anonymization attacks can reveal users' identity's even when the graph is simply anonymized by employing naive ID removal, recently, $k-$anonymity is proposed to secure users' privacy against the structure-based attack. Most of the work ensured graph privacy using fake edges, however, in some applications, edge addition or deletion might cause a significant change to the key property of the graph. Motivated by this fact, in this paper, we introduce a novel method which ensures privacy by adding fake nodes to the graph. First, we present a novel model which provides $k-$anonymity against one of the strongest attacks: seed-based attack. In this attack, the adversary knows the partial mapping between the main graph and the graph which is generated using the privacy-preserving mechanisms. We show that even if the adversary knows the mapping of all of the nodes except one, the last node can still have $k-$anonymity privacy. Then, we turn our attention to the privacy of the graphs generated by inter-domain routing against degree attacks in which the degree sequence of the graph is known to the adversary. To ensure the privacy of networks against this attack, we propose a novel method which tries to add fake nodes in a way that the degree of all nodes have the same expected value.


title: On anticyclotomic variants of the $p$-adic Birch and Swinnerton-Dyer conjecture

abstract: We formulate analogues of the Birch and Swinnerton-Dyer conjecture for the $p$-adic $L$-functions of Bertolini-Darmon-Prasanna attached to elliptic curves $E/\mathbf{Q}$ at primes $p$ of good ordinary reduction. Using Iwasawa theory, we then prove under mild hypotheses one of the inequalities predicted by the rank part of our conjectures, as well as the predicted leading coefficient formula up to a $p$-adic unit. Our conjectures are very closely related to conjectures of Birch and Swinnerton-Dyer type formulated by Bertolini-Darmon in 1996 for certain Heegner distributions, and as application of our results we also obtain the proof of an inequality in the rank part of their conjectures.


title: SPARK: Spatial-aware Online Incremental Attack Against Visual Tracking

abstract: Adversarial attacks of deep neural networks have been intensively studied on image, audio, natural language, patch, and pixel classification tasks. Nevertheless, as a typical, while important real-world application, the adversarial attacks of online video object tracking that traces an object's moving trajectory instead of its category are rarely explored. In this paper, we identify a new task for the adversarial attack to visual tracking: online generating imperceptible perturbations that mislead trackers along an incorrect (Untargeted Attack, UA) or specified trajectory (Targeted Attack, TA). To this end, we first propose a \textit{spatial-aware} basic attack by adapting existing attack methods, i.e., FGSM, BIM, and C&W, and comprehensively analyze the attacking performance. We identify that online object tracking poses two new challenges: 1) it is difficult to generate imperceptible perturbations that can transfer across frames, and 2) real-time trackers require the attack to satisfy a certain level of efficiency. To address these challenges, we further propose the spatial-aware online incremental attack (a.k.a. SPARK) that performs spatial-temporal sparse incremental perturbations online and makes the adversarial attack less perceptible. In addition, as an optimization-based method, SPARK quickly converges to very small losses within several iterations by considering historical incremental perturbations, making it much more efficient than basic attacks. The in-depth evaluation on state-of-the-art trackers (i.e., SiamRPN++ with AlexNet, MobileNetv2, and ResNet-50, and SiamDW) on OTB100, VOT2018, UAV123, and LaSOT demonstrates the effectiveness and transferability of SPARK in misleading the trackers under both UA and TA with minor perturbations.


title: Von Neumann equivalence and properly proximal groups

abstract: We introduce a new equivalence relation on groups, which we call von Neumann equivalence, that is coarser than both measure equivalence and $W^*$-equivalence. We introduce a general procedure for inducing actions in this setting and use this to show that many analytic properties, such as amenability, property (T), and the Haagerup property, are preserved under von Neumann equivalence. We also show that proper proximality, which was defined recently by Boutonnet, Ioana, and the second author using dynamics, is also preserved under von Neumann equivalence. In particular, proper proximality is preserved under both measure equivalence and $W^*$-equivalence, and from this we obtain examples of non-inner amenable groups that are not properly proximal.


title: ELSA: A Throughput-Optimized Design of an LSTM Accelerator for Energy-Constrained Devices

abstract: The next significant step in the evolution and proliferation of artificial intelligence technology will be the integration of neural network (NN) models within embedded and mobile systems. This calls for the design of compact, energy efficient NN models in silicon. In this paper, we present a scalable ASIC design of an LSTM accelerator named ELSA, that is suitable for energy-constrained devices. It includes several architectural innovations to achieve small area and high energy efficiency. To reduce the area and power consumption of the overall design, the compute-intensive units of ELSA employ approximate multiplications and still achieve high performance and accuracy. The performance is further improved through efficient synchronization of the elastic pipeline stages to maximize the utilization. The paper also includes a performance model of ELSA, as a function of the hidden nodes and time steps, permitting its use for the evaluation of any LSTM application. ELSA was implemented in RTL and was synthesized and placed and routed in 65nm technology. Its functionality is demonstrated for language modeling-a common application of LSTM. ELSA is compared against a baseline implementation of an LSTM accelerator with standard functional units and without any of the architectural innovations of ELSA. The paper demonstrates that ELSA can achieve significant improvements in power, area and energy-efficiency when compared to the baseline design and several ASIC implementations reported in the literature, making it suitable for use in embedded systems and real-time applications.


title: Sticking to the Facts: Confident Decoding for Faithful Data-to-Text Generation

abstract: We address the issue of hallucination in data-to-text generation, i.e., reducing the generation of text that is unsupported by the source. We conjecture that hallucination can be caused by an encoder-decoder model generating content phrases without attending to the source; so we propose a confidence score to ensure that the model attends to the source whenever necessary, as well as a variational Bayes training framework that can learn the score from data. Experiments on the WikiBio (Lebretet al., 2016) dataset show that our approach is more faithful to the source than existing state-of-the-art approaches, according to both PARENT score (Dhingra et al., 2019) and human evaluation. We also report strong results on the WebNLG (Gardent et al., 2017) dataset.


title: Real-Time Lip Sync for Live 2D Animation

abstract: The emergence of commercial tools for real-time performance-based 2D animation has enabled 2D characters to appear on live broadcasts and streaming platforms. A key requirement for live animation is fast and accurate lip sync that allows characters to respond naturally to other actors or the audience through the voice of a human performer. In this work, we present a deep learning based interactive system that automatically generates live lip sync for layered 2D characters using a Long Short Term Memory (LSTM) model. Our system takes streaming audio as input and produces viseme sequences with less than 200ms of latency (including processing time). Our contributions include specific design decisions for our feature definition and LSTM configuration that provide a small but useful amount of lookahead to produce accurate lip sync. We also describe a data augmentation procedure that allows us to achieve good results with a very small amount of hand-animated training data (13-20 minutes). Extensive human judgement experiments show that our results are preferred over several competing methods, including those that only support offline (non-live) processing. Video summary and supplementary results at GitHub link: https://github.com/deepalianeja/CharacterLipSync2D


title: Maximum-Area Rectangles in a Simple Polygon

abstract: We study the problem of finding maximum-area rectangles contained in a polygon in the plane. There has been a fair amount of work for this problem when the rectangles have to be axis-aligned or when the polygon is convex. We consider this problem in a simple polygon with $n$ vertices, possibly with holes, and with no restriction on the orientation of the rectangles. We present an algorithm that computes a maximum-area rectangle in $O(n^3\log n)$ time using $O(kn^2)$ space, where $k$ is the number of reflex vertices of $P$. Our algorithm can report all maximum-area rectangles in the same time using $O(n^3)$ space. We also present a simple algorithm that finds a maximum-area rectangle contained in a convex polygon with $n$ vertices in $O(n^3)$ time using $O(n)$ space.


title: Effects of the Metallicity on Li and B Production in Supernova Neutrino Process

abstract: The neutrino process ($\nu$-process) for the production of 7Li and 11B in core-collapse supernovae (SNe) is extensively investigated. Initial abundances of s-nuclei and other physical conditions are derived from an updated calculation of the SN 1987A progenitor. The nuclear reaction network including neutrino reactions is constructed with the variable order Bader-Deuflhard integration method. We find that yields of 7Li and 11B significantly depend on the stellar metallicity while they are independent of the weak s-process during the stellar evolution. When the metallicity is high, there are more neutron absorbers, i.e., 56Fe, 14N (from initial CNO nuclei), and 54Fe, and the neutron abundance is small during the $\nu$-process. Since 7Be is predominantly destroyed via 7Be(n,p)7Li, a change in the neutron abundance results in different 7Be yields. Then, the calculated yield ratio 7Li/11B=0.93 for the solar metallicity is larger than that for the SN 1987A 7Li/11B=0.80 by 16 % in the inverted mass hierarchy case. We analyze contributions of respective reactions as well as abundance evolution, and clarify the $\nu$-process of 7Li and 11B.


title: Einstein-type elliptic systems

abstract: In this paper we analyse semi-linear systems of partial differential equations which are motivated by the conformal formulation of the Einstein constraint equations coupled with realistic physical fields on asymptotically Euclidean (AE) manifolds. In particular, electromagnetic fields give rise to this kind of system. In this context, under suitable conditions, we prove a general existence theorem for such systems, and, in particular, under smallness assumptions on the free parameters of the problem, we prove existence of far from CMC (near CMC) Yamabe positive (Yamabe non-positive) solutions for charged dust coupled to the Einstein equations, satisfying a trapped surface condition on the boundary. As a bypass, we prove a Helmholtz decomposition on AE manifolds with boundary, which extends and clarifies previously known results.


title: The Mass-Metallicity Relation at $z\sim0.8$: Redshift Evolution and Parameter Dependency

abstract: The spectra of emission-line galaxies (ELGs) from the extended Baryon Oscillation Spectroscopic Survey (eBOSS) of the Sloan Digit Sky Survey (SDSS) are used to study the mass-metallicity relation (MZR) at $z\sim0.8$. The selected sample contains about 180,000 massive star-forming galaxies with $0.6 < z < 1.05$ and $9 < {\rm log}(M_{\star}/M_{\odot}) < 12$. The spectra are stacked in bins of different parameters including redshift, stellar mass, star formation rate (SFR), specific star formation rate (sSFR), half-light radius, mass density, and optical color. The average MZR at $z\sim0.83$ has a downward evolution in the MZR from local to high-redshift universe, which is consistent with previous works. At a specified stellar mass, galaxies with higher SFR/sSFR and larger half-light radius have systematically lower metallicity. This behavior is reversed for galaxies with larger mass density and optical color. Among the above physical parameters, the MZR has the most significant dependency on SFR. Our galaxy sample at $0.6<z<1.05$ approximately follows the fundamental metallicity relation (FMR) in the local universe, although the sample inhomogeneity and incompleteness might have effect on our MZR and FMR.


title: Robustifying multiple-set linear canonical analysis with S-estimator

abstract: We consider a robust version of multiple-set linear canonical analysis obtained by using a S-estimator of covariance operator. The related influence functions are derived. Asymptotic properties of this robust method are obtained and a robust test for mutual non-correlation is introduced.


title: Electroweak Quintessence Axion as Dark Energy

abstract: We discuss the electroweak quintessence axion as a candidate for dark energy, taking into account observational as well as quantum-gravity constraints.


title: An Improved Historical Embedding without Alignment

abstract: Many words have evolved in meaning as a result of cultural and social change. Understanding such changes is crucial for modelling language and cultural evolution. Low-dimensional embedding methods have shown promise in detecting words' meaning change by encoding them into dense vectors. However, when exploring semantic change of words over time, these methods require the alignment of word embeddings across different time periods. This process is computationally expensive, prohibitively time consuming and suffering from contextual variability. In this paper, we propose a new and scalable method for encoding words from different time periods into one dense vector space. This can greatly improve performance when it comes to identifying words that have changed in meaning over time. We evaluated our method on dataset from Google Books N-gram. Our method outperformed three other popular methods in terms of the number of words correctly identified to have changed in meaning. Additionally, we provide an intuitive visualization of the semantic evolution of some words extracted by our method


title: Online Pricing with Offline Data: Phase Transition and Inverse Square Law

abstract: This paper investigates the impact of pre-existing offline data on online learning, in the context of dynamic pricing. We study a single-product dynamic pricing problem over a selling horizon of $T$ periods. The demand in each period is determined by the price of the product according to a linear demand model with unknown parameters. We assume that before the start of the selling horizon, the seller already has some pre-existing offline data. The offline data set contains $n$ samples, each of which is an input-output pair consisting of a historical price and an associated demand observation. The seller wants to utilize both the pre-existing offline data and the sequential online data to minimize the regret of the online learning process. We characterize the joint effect of the size, location and dispersion of the offline data on the optimal regret of the online learning process. Specifically, the size, location and dispersion of the offline data are measured by the number of historical samples $n$, the distance between the average historical price and the optimal price $\delta$, and the standard deviation of the historical prices $\sigma$, respectively. We show that the optimal regret is $\widetilde \Theta\left(\sqrt{T}\wedge \frac{T}{(n\wedge T)\delta^2+n\sigma^2}\right)$, and design a learning algorithm based on the "optimism in the face of uncertainty" principle, whose regret is optimal up to a logarithmic factor. Our results reveal surprising transformations of the optimal regret rate with respect to the size of the offline data, which we refer to as phase transitions. In addition, our results demonstrate that the location and dispersion of the offline data also have an intrinsic effect on the optimal regret, and we quantify this effect via the inverse-square law.


title: Electromagnetic vacuum fluctuations and topologically induced motion of a charged particle

abstract: We show that a nontrivial topologies of the spatial section of Minkowski space-time allow for motion of a charged particle under quantum vacuum fluctuations of the electromagnetic field. This is a potentially observable effect of these vacuum fluctuations. We derive mean squared velocity dispersion when the charged particle lies in Minkowski space-time with compact spatial sections in one, two and/or three directions. We concretely examine the details of these stochastic motions when the spatial section is endowed with different globally homogeneous and inhomogeneous topologies. We also show that compactification in just one direction of the spatial section of Minkowski space-time is sufficient to give rise to velocity dispersion components in the compact and noncompact directions. The question as to whether these stochastic motions under vacuum fluctuations can locally be used to unveil global (topological) homogeneity and inhomogeneity is discussed. In globally homogeneous space topologically induced velocity dispersion of a charged particle is the same regardless of the particle's position, whereas in globally inhomogeneous the time-evolution of the velocity depends on the particle's position. Finally, by using the Minkowskian topological limit of globally homogeneous spaces we show that the greater is the value of the compact topological length the longer is the time interval within which the velocity dispersion of a charged particle is negligible. This means that no motion of a charged particle under electromagnetic quantum fluctuations is allowed when Minkowski space-time is endowed with the simply-connected spatial topology. The ultimate ground for such stochastic motion of charged particle under electromagnetic quantum vacuum fluctuations is a nontrivial space topology.


title: Fast Portrait Segmentation with Highly Light-weight Network

abstract: In this paper, we describe a fast and light-weight portrait segmentation method based on a new highly light-weight backbone (HLB) architecture. The core element of HLB is a bottleneck-based factorized block (BFB) that has much fewer parameters than existing alternatives while keeping good learning capacity. Consequently, the HLB-based portrait segmentation method can run faster than the existing methods yet retaining the competitive accuracy performance with state-of-the-arts. Experiments conducted on two benchmark datasets demonstrate the effectiveness and efficiency of our method.


title: Dimensionality Increment of PMU Data for Anomaly Detection in Low Observability Power Systems

abstract: Anomaly detection is an important task in power systems. To make better use of the phasor measurement unit (PMU) data collected from a low observability power system for anomaly detection, a data dimensionality increment algorithm is proposed in this paper. First, a low-dimensional spatio-temporal data matrix is formulated by using the synchrophasor measurements collected from a limited number of PMUs in a power system. Then, a data dimensionality increment algorithm based on random tensor theory (RTT) is proposed for anomaly detection. The proposed algorithm can help improve the sensitivity of random matrix theory (RMT) based and machine learning (ML) based anomaly detection approaches, and it is able to accelerate the convergence rate of model training in the ML based anomaly detection approach. Case studies on the IEEE 118-bus test system validate the effectiveness of the proposed algorithm.


title: Gastroscopic Panoramic View: Application to Automatic Polyps Detection under Gastroscopy

abstract: Endoscopic diagnosis is an important means for gastric polyp detection. In this paper, a panoramic image of gastroscopy is developed, which can display the inner surface of the stomach intuitively and comprehensively. Moreover, the proposed automatic detection solution can help doctors locate the polyps automatically, and reduce missed diagnosis. The main contributions of this paper are: firstly, a gastroscopic panorama reconstruction method is developed. The reconstruction does not require additional hardware devices, and can solve the problem of texture dislocation and illumination imbalance properly; secondly, an end-to-end multi-object detection for gastroscopic panorama is trained based on deep learning framework. Compared with traditional solutions, the automatic polyp detection system can locate all polyps in the inner wall of stomach in real time and assist doctors to find the lesions. Thirdly, the system was evaluated in the Affiliated Hospital of Zhejiang University. The results show that the average error of the panorama is less than 2 mm, the accuracy of the polyp detection is 95%, and the recall rate is 99%. In addition, the research roadmap of this paper has guiding significance for endoscopy-assisted detection of other human soft cavities.


title: Comparison studies between BHBT2:PC71BM composite nanotubes and its bulk-heterojunction properties

abstract: In this study, we investigate the morphological, structural, and optical properties of both bulk-heterojunction and composite nanotubes that composed of thiophene-based small molecules BHBT2 and fullerene PC71BM. Mix-blended and template-assisted methods were used to fabricate the bulk-heterojunction and composite nanotubes, respectively. A single material of BHBT2 thin films and nanotubes that fabricated via spin-coating and template-assisted methods, respectively, was also studied. Two different formations between bulk-heterojunction and composite nanotubes were compared to elaborate their advancement in properties. Absorption spectra of BHBT2:PC71BM bulk-heterojunction and composite nanotubes have fallen within the ultraviolet-visible (UV-vis) range. Field emission scanning electron microscope (FESEM) and high-resolution transmission electron microscope (HRTEM) images show that the carbon-rich of PC71BM, has successfully infiltrated into the BHBT2 nanotube to form the BHBT2:PC71BM composite nanotubes. However, due to the informality distribution of infiltration, charge carrier transfer is seen to be better in bulk-heterojunction rather than in the composite nanotubes.


title: Application of a new information priority accumulated grey model with time power to predict short-term wind turbine capacity

abstract: Wind energy makes a significant contribution to global power generation. Predicting wind turbine capacity is becoming increasingly crucial for cleaner production. For this purpose, a new information priority accumulated grey model with time power is proposed to predict short-term wind turbine capacity. Firstly, the computational formulas for the time response sequence and the prediction values are deduced by grey modeling technique and the definite integral trapezoidal approximation formula. Secondly, an intelligent algorithm based on particle swarm optimization is applied to determine the optimal nonlinear parameters of the novel model. Thirdly, three real numerical examples are given to examine the accuracy of the new model by comparing with six existing prediction models. Finally, based on the wind turbine capacity from 2007 to 2017, the proposed model is established to predict the total wind turbine capacity in Europe, North America, Asia, and the world. The numerical results reveal that the novel model is superior to other forecasting models. It has a great advantage for small samples with new characteristic behaviors. Besides, reasonable suggestions are put forward from the standpoint of the practitioners and governments, which has high potential to advance the sustainable improvement of clean energy production in the future.


title: Small strain induced large piezoelectric coefficient in $\alpha$-AsP monolayer

abstract: Strain engineering can effectively tune the electronic, topological and piezoelectric properties of materials. In this work, the small strain (-4\% to 4\%) effects on piezoelectric properties of $\alpha$-AsP monolayer are studied by density functional theory (DFT). The piezoelectric stress tensors $e_{ij}$ and elastic stiffness tensors $C_{ij}$ are reported by using density functional perturbation theory (DFPT) and finite difference method (FDM). It is found that the Young's modulus of $\alpha$-AsP monolayer shows very strong anisotropy, and the armchair direction is very softer than zigzag direction, which provides possibility for tuning easily piezoelectric coefficients along the armchair direction. In considered strain range, uniaxial compressive (tensile) strain along the armchair (zigzag) direction is found to raise observably both the $e_{22}$ and $d_{22}$ (absolute value). In fact, both compressive strain along the armchair direction and tensile strain along the zigzag direction essentially reduce the lattice constants along the armchair direction, which can enhance the piezoelectric coefficients. The $e_{ij}$ of $\beta$-AsP monolayer as a function of strain is also studied to illustrate the importance of particular puckered structure of $\alpha$-AsP in enhancing the piezoelectric coefficients. A classic SnSe monolayer with puckered structure is used to further declare that small strain along the armchair direction can effectively improve the piezoelectric coefficients. For example, the $d_{22}$ of SnSe monolayer at -3.5\% strain is up to 628.8 pm/V from unstrained 175.3 pm/V. For SnSe monolayer, a large peak is observed for $e_{22}$, which is due to a structural phase transition. For $e_{16}$ of SnSe monolayer, a large peak is also observed due to the cross of lattice constants $a$ along the zigzag direction and $b$ along the armchair direction.


title: Robust Distributed Accelerated Stochastic Gradient Methods for Multi-Agent Networks

abstract: We study distributed stochastic gradient (D-SG) method and its accelerated variant (D-ASG) for solving decentralized strongly convex stochastic optimization problems where the objective function is distributed over several computational units, lying on a fixed but arbitrary connected communication graph, subject to local communication constraints where noisy estimates of the gradients are available. We develop a framework which allows to choose the stepsize and the momentum parameters of these algorithms in a way to optimize performance by systematically trading off the bias, variance, robustness to gradient noise and dependence to network effects. When gradients do not contain noise, we also prove that distributed accelerated methods can \emph{achieve acceleration}, requiring $\mathcal{O}(\kappa \log(1/\varepsilon))$ gradient evaluations and $\mathcal{O}(\kappa \log(1/\varepsilon))$ communications to converge to the same fixed point with the non-accelerated variant where $\kappa$ is the condition number and $\varepsilon$ is the target accuracy. To our knowledge, this is the first acceleration result where the iteration complexity scales with the square root of the condition number in the context of \emph{primal} distributed inexact first-order methods. For quadratic functions, we also provide finer performance bounds that are tight with respect to bias and variance terms. Finally, we study a multistage version of D-ASG with parameters carefully varied over stages to ensure exact $\mathcal{O}(-k/\sqrt{\kappa})$ linear decay in the bias term as well as optimal $\mathcal{O}(\sigma^2/k)$ in the variance term. We illustrate through numerical experiments that our approach results in practical algorithms that are robust to gradient noise and that can outperform existing methods.


title: Community Microgrid Planning Considering Building Thermal Dynamics

abstract: In this paper, the building thermal dynamic characteristics are introduced in the community microgrid (MG) planning model. The proposed planning model is formulated as a mixed integer linear programming (MILP) which seeks to determine the optimal deployment strategy for various distributed energy resources (DER). The objective is to minimize the annualized cost of community MG, including investment cost in DER, operation cost for dispatchable fuel-generators (DFG), energy storage system (ESS) degradation cost, energy purchasing and peak demand charge at PCC, customer discomfort cost due to the room temperature deviation and load curtailment cost. Given the slow thermal dynamic characteristics of buildings, the heating, ventilation and air-conditioning (HVAC) system in the proposed model is treated as a demand side management (DSM) component, whose dispatch commands are provided by the central MG controller. Numerical results based on a community MG comprising of 20 residential buildings demonstrate the effectiveness of the proposed planning model and the benefits of introducing the building thermal dynamic model.


title: Charge Density Wave and Superconductivity in the Disordered Holstein Model

abstract: The interplay between electron-electron correlations and disorder has been a central theme of condensed matter physics over the last several decades, with particular interest in the possibility that interactions might cause delocalization of an Anderson insulator into a metallic state, and the disrupting effects of randomness on magnetic order and the Mott phase. Here we extend this physics to explore electron-phonon interactions and show, via exact quantum Monte Carlo simulations, that the suppression of the charge density wave correlations in the half-filled Holstein model by disorder can stabilize a superconducting phase. Our simulations thus capture qualitatively the suppression of charge ordered phases and emergent superconductivity recently seen experimentally.


title: S-DIGing: A Stochastic Gradient Tracking Algorithm for Distributed Optimization

abstract: In this paper, we study convex optimization problems where agents of a network cooperatively minimize the global objective function which consists of multiple local objective functions. Different from most of the existing works, the local objective function of each agent is presented as the average of finite instantaneous functions. The intention of this work is to solve large-scale optimization problems where the local objective function is complicated and numerous. Integrating the gradient tracking algorithm with stochastic averaging gradient technology, we propose a novel distributed stochastic gradient tracking (termed as S-DIGing) algorithm. At each time instant, only one randomly selected gradient of a instantaneous function is computed and applied to approximate the gradient of local objection function. Based on a primal-dual interpretation of the S-DIGing algorithm, we show that the S-DIGing algorithm linearly converges to the global optimal solution when step-size lies in an explicit internal under the assumptions that the instantaneous functions are strongly convex and have Lipschitz-continuous gradient. Numerical experiments on the logistic regression problem are presented to demonstrate the practicability of the algorithm and correctness of the theoretical results.


title: Attention Guided Metal Artifact Correction in MRI using Deep Neural Networks

abstract: An attention guided scheme for metal artifact correction in MRI using deep neural network is proposed in this paper. The inputs of the networks are two distorted images obtained with dual-polarity readout gradients. With MR image generation module and the additional data consistency loss to the previous work [1], the network is trained to estimate the frequency-shift map, off-resonance map, and attention map. The attention map helps to produce better distortion-corrected images by weighting on more relevant distortion-corrected images where two distortion-corrected images are produced with half of the frequency-shift maps. In this paper, we observed that in a real MRI environment, two distorted images obtained with opposite polarities of readout gradient showed artifacts in a different region. Therefore, we proved that using the attention map was important in that it reduced the residual ripple and pile-up artifacts near metallic implants.


title: A Survey for High-Mass Eclipsing Binaries

abstract: We report results from a search for Galactic high-mass eclipsing binaries. The photometric monitoring campaign was performed in Sloan $r$ and $i$ with the robotic twin refractor RoBoTT at the Universit\"atssternwarte Bochum in Chile and complemented by Johnson $UBV$ data. Comparison with the SIMBAD database reveals 260 variable high-mass stars. Based on well-sampled light curves we discovered 35 new eclipsing high-mass systems and confirm the properties of six previously known systems. For all objects, we provide the first light curves and determine orbital periods through the Lafler-Kinman algorithm. Apart from GSC 08173-0018 and Pismis 24-13 ($P = 19.47\,d$ and $20.14\,d$) and the exceptional short-period system TYC 6561-1765-1 ($P = 0.71\,d$), all systems have orbital periods between 1 and 9 days. We model the light curves of 26 systems within the framework of the Roche geometry and calculate fundamental parameters for each system component. The Roche lobe analysis indicates that 14 systems have a detached geometry while 12 systems have a semi-detached geometry; seven of them are near-contact systems. The deduced mass ratios $q = M_2/M_1$ reach from 0.4 to 1.0 with an average value of 0.8. The similarity of masses suggests that these high-mass binaries were created during the star formation process rather than by tidal capture.


title: Introduction to Coresets: Accurate Coresets

abstract: A coreset (or core-set) of an input set is its small summation, such that solving a problem on the coreset as its input, provably yields the same result as solving the same problem on the original (full) set, for a given family of problems (models, classifiers, loss functions). Over the past decade, coreset construction algorithms have been suggested for many fundamental problems in e.g. machine/deep learning, computer vision, graphics, databases, and theoretical computer science. This introductory paper was written following requests from (usually non-expert, but also colleagues) regarding the many inconsistent coreset definitions, lack of available source code, the required deep theoretical background from different fields, and the dense papers that make it hard for beginners to apply coresets and develop new ones. The paper provides folklore, classic and simple results including step-by-step proofs and figures, for the simplest (accurate) coresets of very basic problems, such as: sum of vectors, minimum enclosing ball, SVD/ PCA and linear regression. Nevertheless, we did not find most of their constructions in the literature. Moreover, we expect that putting them together in a retrospective context would help the reader to grasp modern results that usually extend and generalize these fundamental observations. Experts might appreciate the unified notation and comparison table that links between existing results. Open source code with example scripts are provided for all the presented algorithms, to demonstrate their practical usage, and to support the readers who are more familiar with programming than math.


title: Ringdown overtones, black hole spectroscopy, and no-hair theorem tests

abstract: Validating the black-hole no-hair theorem with gravitational-wave observations of compact binary coalescences provides a compelling argument that the remnant object is indeed a black hole as described by the general theory of relativity. This requires performing a spectroscopic analysis of the post-merger signal and resolving the frequencies of either different angular modes or overtones (of the same angular mode). For a nearly-equal mass binary black-hole system, only the dominant angular mode ($l=m=2$) is sufficiently excited and the overtones are instrumental to perform this test. Here we investigate the robustness of modelling the post-merger signal of a binary black hole coalescence as a superposition of overtones. Further, we study the bias expected in the recovered frequencies as a function of the start time of a spectroscopic analysis and provide a computationally cheap procedure to choose it based on the interplay between the expected statistical error due to the detector noise and the systematic errors due to waveform modelling. Moreover, since the overtone frequencies are closely spaced, we find that resolving the overtones is particularly challenging and requires a loud ringdown signal. Rayleigh's resolvability criterion suggests that in an optimistic scenario a ringdown signal-to-noise ratio larger than $\sim 30$ (achievable possibly with LIGO at design sensitivity and routinely with future interferometers such as Einstein Telescope, Cosmic Explorer, and LISA) is necessary to resolve the overtone frequencies. We then conclude by discussing some conceptual issues associated with black-hole spectroscopy with overtones.


title: Kinematic signatures of reverberation mapping of close binaries of supermassive black holes in active galactic nuclei III. The case of elliptical orbits

abstract: An intense search for kinematic signatures of reverberation mapping of close binary SMBH (SMBBH) is currently ongoing. Elliptical SMBBH systems (i.e. both orbits and disc-like broad-line regions (BLR) are elliptic) have not been assessed in two-dimensional transfer functions (2DTF) studies. We aim to numerically infer such a 2DTF because the geometry of the unresolved region is imprinted on their optical emission. Through this, we determine their specific kinematical signatures. We simulated the geometry and kinematics of SMBBH whose components are on elliptical orbits. Each SMBH had a disc-like elliptical BLR. The SMBHs were active and orbited each other tightly at a subparsec distance. Here we calculate for the first time 2DTF, as defined in the velocity-time delay plane, for several elliptical configurations of SMBBH orbits and their BLRs. We find that these very complex configurations are clearly resolved in maps. These results are distinct from those obtained from circular and disc-wind geometry. We calculate the expected line variability for all SMBBH configurations. We show that the line shapes are influenced by the orbital phase of the SMBBH. Some line profiles resemble observed profiles, but they can also be much deformed to look like those from the disc-wind model. First, our results imply that using our 2DTF, we can detect and quantify kinematic signatures of elliptical SMBBH. Second, the calculated expected line profiles share some intriguing similarities with observed profiles, but also with some profiles that are synthesised in disc-wind models. To overcome the non-uniqueness of the spectral line shapes as markers of SMBBH, they must be accompanied with 2DTF.


title: Multi-channel Time-Varying Covariance Matrix Model for Late Reverberation Reduction

abstract: In this paper, a multi-channel time-varying covariance matrix model for late reverberation reduction is proposed. Reflecting that variance of the late reverberation is time-varying and it depends on past speech source variance, the proposed model is defined as convolution of a speech source variance with a multi-channel time-invariant covariance matrix of late reverberation. The multi-channel time-invariant covariance matrix can be interpreted as a covariance matrix of a multi-channel acoustic transfer function (ATF). An advantageous point of the covariance matrix model against a deterministic ATF model is that the covariance matrix model is robust against fluctuation of the ATF. We propose two covariance matrix models. The first model is a covariance matrix model of late reverberation in the original microphone input signal. The second one is a covariance matrix model of late reverberation in an extended microphone input signal which includes not only current microphone input signal but also past microphone input signal. The second one considers correlation between the current microphone input signal and the past microphone input signal. Experimental results show that the proposed method effectively reduces reverberation especially in a time-varying ATF scenario and the second model is shown to be more effective than the first model.


title: Correlation Maximized Structural Similarity Loss for Semantic Segmentation

abstract: Most semantic segmentation models treat semantic segmentation as a pixel-wise classification task and use a pixel-wise classification error as their optimization criterions. However, the pixel-wise error ignores the strong dependencies among the pixels in an image, which limits the performance of the model. Several ways to incorporate the structure information of the objects have been investigated, \eg, conditional random fields (CRF), image structure priors based methods, and generative adversarial network (GAN). Nevertheless, these methods usually require extra model branches or additional memories, and some of them show limited improvements. In contrast, we propose a simple yet effective structural similarity loss (SSL) to encode the structure information of the objects, which only requires a few additional computational resources in the training phase. Inspired by the widely-used structural similarity (SSIM) index in image quality assessment, we use the linear correlation between two images to quantify their structural similarity. And the goal of the proposed SSL is to pay more attention to the positions, whose associated predictions lead to a low degree of linear correlation between two corresponding regions in the ground truth map and the predicted map. Thus the model can achieve a strong structural similarity between the two maps through minimizing the SSL over the whole map. The experimental results demonstrate that our method can achieve substantial and consistent improvements in performance on the PASCAL VOC 2012 and Cityscapes datasets. The code will be released soon.


title: Proceedings of the Fourteenth Workshop on Logical Frameworks and Meta-Languages: Theory and Practice

abstract: This volume contains a selection of papers presented at LFMTP 2019, the 14th International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP), held on June 22, 2019, in Vancouver, Canada. The workshop was affiliated with the Thirty-Fourth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). Logical frameworks and meta-languages form a common substrate for representing, implementing and reasoning about a wide variety of deductive systems of interest in logic and computer science. Their design, implementation and their use in reasoning tasks, ranging from the correctness of software to the properties of formal systems, have been the focus of considerable research over the last two decades. This workshop will bring together designers, implementors and practitioners to discuss various aspects impinging on the structure and utility of logical frameworks, including the treatment of variable binding, inductive and co-inductive reasoning techniques and the expressiveness and lucidity of the reasoning process.


title: Microservices based Framework to Support Interoperable IoT Applications for Enhanced Data Analytics

abstract: Internet of things is growing with a large number of diverse objects which generate billions of data streams by sensing, actuating and communicating. Management of heterogeneous IoT objects with existing approaches and processing of myriads of data from these objects using monolithic services have become major challenges in developing effective IoT applications. The heterogeneity can be resolved by providing interoperability with semantic virtualization of objects. Moreover, monolithic services can be substituted with modular microservices. This article presents an architecture that enables the development of IoT applications using semantically interoperable microservices and virtual objects. The proposed framework supports analytic features with knowledge-driven and data-driven techniques to provision intelligent services on top of interoperable microservices in Web Objects enabled IoT environment. The knowledge-driven aspects are supported with reasoning on semantic ontology models and the data-driven aspects are realized with machine learning pipeline. The development of service functionalities is supported with microservices to enhance modularity and reusability. To evaluate the proposed framework a proof of concept implementation with a use case is discussed.


title: Solving Phase Retrieval via Graph Projection Splitting

abstract: Phase retrieval with prior information can be cast as a nonsmooth and nonconvex optimization problem. We solve the problem by graph projection splitting (GPS), where the two proximity subproblems and the graph projection step can be solved efficiently. With slight modification, we also propose a robust graph projection splitting (RGPS) method to stabilize the iteration for noisy measurements. Contrary to intuition, RGPS outperforms GPS with fewer iterations to locate a satisfying solution even for noiseless case. Based on the connection between GPS and Douglas-Rachford iteration, under mild conditions on the sampling vectors, we analyze the fixed point sets and provide the local convergence of GPS and RGPS applied to noiseless phase retrieval without prior information. For noisy case, we provide the error bound of the reconstruction. Compared to other existing methods, thanks for the splitting approach, GPS and RGPS can efficiently solve phase retrieval with prior information regularization for general sampling vectors which are not necessarily isometric. For Gaussian phase retrieval, compared to existing gradient flow approaches, numerical results show that GPS and RGPS are much less sensitive to the initialization. Thus they markedly improve the phase transition in noiseless case and reconstruction in the presence of noise respectively. GPS shows sharpest phase transition among existing methods including RGPS, while it needs more iterations than RGPS when the number of measurement is large enough. RGPS outperforms GPS in terms of stability for noisy measurements. When applying RGPS to more general non-Gaussian measurements with prior information, such as support, sparsity and TV minimization, RGPS either outperforms state-of-the-art solvers or can be combined with state-of-the-art solvers to improve their reconstruction quality.


title: Detector R&D for ANNIE and Future Neutrino Experiments

abstract: The Accelerator Neutrino Neutron Interaction Experiment (ANNIE) is designed to serve as a test bed for new detector technologies in future water and liquid scintillator based neutrino experiments. Located on the Booster Neutrino Beam at Fermilab, ANNIE will be the first gadolinium-loaded water Cherenkov detector on a neutrino beam and will provide high statistics measurements of neutron yields from neutrino interactions in water. It is also the first particle physics application of the new photosensor technology: Large Area Picosecond Photodetectors (LAPPDs). With single photon time resolutions of roughly 50 psec and mm-level imaging capabilities, LAPPDs bring considerable new capabilities for neutrino reconstruction in Cherenkov and scintillator detectors. Leveraging this technology to make detailed neutrino measurements, ANNIE will serve as a first demonstration of their impact on physics. In addition to LAPPDs, the ANNIE R&D program will likely explore other new technologies such as the addition of water-based liquid scintillator. The ANNIE Phase II detector is currently under construction and will start to take data in the summer of 2019. In this talk, I will present on the ANNIE detector R&D program and its relevance to current and future neutrino experiments.


title: Adversarial Attacks on Spoofing Countermeasures of automatic speaker verification

abstract: High-performance spoofing countermeasure systems for automatic speaker verification (ASV) have been proposed in the ASVspoof 2019 challenge. However, the robustness of such systems under adversarial attacks has not been studied yet. In this paper, we investigate the vulnerability of spoofing countermeasures for ASV under both white-box and black-box adversarial attacks with the fast gradient sign method (FGSM) and the projected gradient descent (PGD) method. We implement high-performing countermeasure models in the ASVspoof 2019 challenge and conduct adversarial attacks on them. We compare performance of black-box attacks across spoofing countermeasure models with different network architectures and different amount of model parameters. The experimental results show that all implemented countermeasure models are vulnerable to FGSM and PGD attacks under the scenario of white-box attack. The more dangerous black-box attacks also prove to be effective by the experimental results.


title: Polygon Queries for Convex Hulls of Points

abstract: We study the following range searching problem: Preprocess a set $P$ of $n$ points in the plane with respect to a set $\mathcal{O}$ of $k$ orientations % , for a constant, in the plane so that given an $\mathcal{O}$-oriented convex polygon $Q$, the convex hull of $P\cap Q$ can be computed efficiently, where an $\mathcal{O}$-oriented polygon is a polygon whose edges have orientations in $\mathcal{O}$. We present a data structure with $O(nk^3\log^2n)$ space and $O(nk^3\log^2n)$ construction time, and an $O(h+s\log^2 n)$-time query algorithm for any query $\mathcal{O}$-oriented convex $s$-gon $Q$, where $h$ is the complexity of the convex hull. Also, we can compute the perimeter or area of the convex hull of $P\cap Q$ in $O(s\log^2n)$ time using the data structure.


title: Infinite-Horizon Optimal Control of Switched Boolean Control Networks with Average Cost: An Efficient Graph-Theoretical Approach

abstract: This study investigates the infinite-horizon optimal control problem for switched Boolean control networks with an average-cost criterion. A primary challenge of this problem is the prohibitively high computational cost when dealing with large-scale networks. We attempt to develop a more efficient and scalable approach from a graph-theoretical perspective. First, a weighted directed graph structure called the $\textit{optimal state transition graph}$ (OSTG) is established, whose edges encode the optimal action for each one-step transition between states reachable from a given initial state subject to various constraints. Then, we reduce the infinite-horizon optimal control problem into a minimum mean cycle (MMC) problem in the OSTG. Finally, we develop a novel algorithm that can quickly find a particular MMC by resorting to Karp's algorithm in graph theory and construct afterward an optimal switching and control law based on state feedback. Time complexity analysis shows that our algorithm can outperform all existing methods in terms of time efficiency. A 16-node signaling network in leukemia is used as a benchmark to test its effectiveness. Results show that the proposed graph-theoretical approach is much more computationally efficient: it runs hundreds or even thousands of times faster than existing methods.


title: Explainable AI: Deep Reinforcement Learning Agents for Residential Demand Side Cost Savings in Smart Grids

abstract: Motivated by recent advancements in Deep Reinforcement Learning (RL), we have developed an RL agent to manage the operation of storage devices in a household and is designed to maximize demand-side cost savings. The proposed technique is data-driven, and the RL agent learns from scratch how to efficiently use the energy storage device given variable tariff structures. In most of the studies, the RL agent is considered as a black box, and how the agent has learned is often ignored. We explain the learning progression of the RL agent, and the strategies it follows based on the capacity of the storage device.


title: Neural Spectrum Alignment: Empirical Study

abstract: Expressiveness and generalization of deep models was recently addressed via the connection between neural networks (NNs) and kernel learning, where first-order dynamics of NN during a gradient-descent (GD) optimization were related to gradient similarity kernel, also known as Neural Tangent Kernel (NTK). In the majority of works this kernel is considered to be time-invariant, with its properties being defined entirely by NN architecture and independent of the learning task at hand. In contrast, in this paper we empirically explore these properties along the optimization and show that in practical applications the NTK changes in a very dramatic and meaningful way, with its top eigenfunctions aligning toward the target function learned by NN. Moreover, these top eigenfunctions serve as basis functions for NN output - a function represented by NN is spanned almost completely by them for the entire optimization process. Further, since the learning along top eigenfunctions is typically fast, their alignment with the target function improves the overall optimization performance. In addition, we study how the neural spectrum is affected by learning rate decay, typically done by practitioners, showing various trends in the kernel behavior. We argue that the presented phenomena may lead to a more complete theoretical understanding behind NN learning.


title: Learning to Reconstruct Crack Profiles for Eddy Current Nondestructive Testing

abstract: Eddy current testing (ECT) is one of the most popular Nondestructive Testing (NDT) techniques, especially for conductive materials. Reconstructing the crack profile from measured EC signals is one of the main goals of ECT. This task is highly challenging, as the EC signals are nonlinear responses resulted from the presence of cracks, and reconstructing the crack profile requires establishing the forward model of the nonlinear electromagnetic dynamics and solving its inverse problem, which is an ill-posed numerical optimization problem. Instead of solving the inverse problem numerically, we propose to directly learn the inverse mapping from EC signals to crack profiles with a deep encoder-decoder convolutional neural network named EddyNet. EddyNet is trained on a set of randomly generated crack profiles and the corresponding simulated EC responses generated from a realistic forward model. On the held-out test data, EddyNet achieved a mean absolute error of 0.198 between predicted profiles and ground truth ones. Qualitatively, the geometries of predicted profiles are visually similar to the ground truth profiles. Our method greatly reduces the usual reliance on domain experts, and the reconstruction is extremely fast both on GPUs and on CPUs. The source code of EddyNet is released on https://github.com/askerlee/EddyNet.


title: Reverberation Measurements of the Inner Radii of the Dust Tori in Quasars

abstract: We present the results of a dust-reverberation survey of quasars at redshifts z<0.6. We found a delayed response of the K-band flux variation after the optical flux variation in 25 out of 31 targets, and obtained the lag time between them for 22 targets. Combined with the results for nearby Seyfert galaxies, we provide the largest homogeneous collection of K-band dust-reverberation data for 36 type 1 active galactic nuclei (AGNs). This doubles the sample and includes the most distant AGN and the largest lag so far measured. We estimated the optical luminosity of the AGN component of each target using three different methods: spectral decomposition, the flux-variation-gradient method, and image decomposition. We found a strong correlation between the reverberation radius for the innermost dust torus and the optical luminosity over a range of approximately four orders of magnitude in luminosity, as is already known for Seyfert galaxies. We estimated the luminosity distances of the AGNs based on their dust-reverberation lags, and found that the data in the redshift-distance diagram are consistent with the current standard estimates of the cosmological parameters. We also present the radius-luminosity relations for isotropic luminosity indicators such as the hard X-ray (14--195 keV), [OIV] 25.89 um, and mid-infrared (12 um) continuum luminosities, which are applicable to obscured AGNs.


title: Dynamic Content Update for Wireless Edge Caching via Deep Reinforcement Learning

abstract: This letter studies a basic wireless caching network where a source server is connected to a cache-enabled base station (BS) that serves multiple requesting users. A critical problem is how to improve cache hit rate under dynamic content popularity. To solve this problem, the primary contribution of this work is to develop a novel dynamic content update strategy with the aid of deep reinforcement learning. Considering that the BS is unaware of content popularities, the proposed strategy dynamically updates the BS cache according to the time-varying requests and the BS cached contents. Towards this end, we model the problem of cache update as a Markov decision process and put forth an efficient algorithm that builds upon the long short-term memory network and external memory to enhance the decision making ability of the BS. Simulation results show that the proposed algorithm can achieve not only a higher average reward than deep Q-network, but also a higher cache hit rate than the existing replacement policies such as the least recently used, first-in first-out, and deep Q-network based algorithms.


title: Design Efficient Exponential Time Differencing method For Hodgkin-Huxley Neural Networks

abstract: The exponential time differencing (ETD) method allows using a large time step to efficiently evolve the stiff system such as Hodgkin-Huxley (HH) neural networks. For pulse-coupled HH networks, the synaptic spike times cannot be predetermined and are convoluted with neuron's trajectory itself. This presents a challenging issue for the design of an efficient numerical simulation algorithm. The stiffness in the HH equations are quite different between the spike and non-spike regions. Here, we design a second-order adaptive exponential time differencing algorithm (AETD2) for the numerical evolution of HH neural networks. Compared with the regular second-order Runge-Kutta method (RK2), our AETD2 method can use time steps one order of magnitude larger and improve computational efficiency more than ten times while excellently capturing accurate traces of membrane potentials of HH neurons. This high accuracy and efficiency can be robustly obtained and do not depend on the dynamical regimes, connectivity structure or the network size.


title: Anisotropies of the g-factor tensor and diamagnetic coefficient in crystal-phase quantum dots in InP nanowires

abstract: Crystal-phase low-dimensional structures offer great potential for the implementation of photonic devices of interest for quantum information processing. In this context, unveiling the fundamental parameters of the crystal phase structure is of much relevance for several applications. Here, we report on the anisotropy of the g-factor tensor and diamagnetic coefficient in wurtzite/zincblende (WZ/ZB) crystal-phase quantum dots (QDs) realized in single InP nanowires. The WZ and ZB alternating axial sections in the NWs are identified by high-angle annular dark-field scanning transmission electron microscopy. The electron (hole) g-factor tensor and the exciton diamagnetic coefficients in WZ/ZB crystal-phase QDs are determined through micro-photoluminescence measurements at low temperature (4.2 K) with different magnetic field configurations, and rationalized by invoking the spin-correlated orbital current model. Our work provides key parameters for band gap engineering and spin states control in crystal-phase low-dimensional structures in nanowires.


title: The perils of minimal coupling to electromagnetic field in quantum many-body systems

abstract: Consistency with the Maxwell equations determines how matter must be coupled to the electro-magnetic field (EMF) within the minimal coupling scheme. Specifically, if the Hamiltonian includes just a short-range repulsion among the conduction electrons, as is commonly the case for models of correlated metals, those electrons must be coupled to the full internal EMF, whose longitudinal and transverse components are self-consistently related to the electron charge and current densities through Gauss's and circuital laws, respectively. Since such self-consistency relation is hard to implement when modelling the non-equilibrium dynamics caused by the EMF, as in pump-probe experiments, it is common to replace in model calculations the internal EMF by the external one. Here we show that such replacement may be extremely dangerous, especially when the frequency of the external EMF is below the intra-band plasma edge.


title: Emergence of strongly correlated electronic states driven by the Andreev bound state in d-wave superconductors

abstract: As the surface Andreev bound state (ABS) forms at the open ($1,1$) edge of a $d_{x^2-y^2}$-wave superconductor, the local density of states (LDOS) increases. Therefore, a strong electron correlation and drastic phenomena may occur. However, a theoretical study on the effects of the ABS on the electron correlation has not been performed yet. To understand these effects, we study large cluster Hubbard model with an open ($1,1$) edge in the presence of a bulk $d$-wave gap. We calculate the site-dependent spin susceptibility by performing random-phase-approximation (RPA) and modified fluctuation-exchange (FLEX) approximation in the real space. We find that near the ($1,1$) edge, drastic ferromagnetic (FM) fluctuations occur owing to the ABS. In addition, as the temperature decreases, the system rapidly approaches a magnetic-order phase slightly below the transition temperature of the bulk $d$-wave superconductivity (SC). In this case, the FM fluctuations are expected to induce interesting phenomena such as edge-induced triplet SC and quantum critical phenomena.


title: MixModule: Mixed CNN Kernel Module for Medical Image Segmentation

abstract: Convolutional neural networks (CNNs) have been successfully applied to medical image classification, segmentation, and related tasks. Among the many CNNs architectures, U-Net and its improved versions based are widely used and achieve state-of-the-art performance these years. These improved architectures focus on structural improvements and the size of the convolution kernel is generally fixed. In this paper, we propose a module that combines the benefits of multiple kernel sizes and we apply the proposed module to U-Net and its variants. We test our module on three segmentation benchmark datasets and experimental results show significant improvement.


title: Periodic orbits of linear Filippov systems with a line of discontinuity

abstract: In this paper we consider periodic orbits of planar linear Filippov systems with a line of discontinuity. Unlike many publications researching only the maximum number of crossing periodic orbits, we investigate not only the number and configuration of sliding periodic orbits, but also the coexistence of sliding periodic orbits and crossing ones. Firstly, we prove that the number of sliding periodic orbits is at most 2, and give all possible configurations of one or two sliding periodic orbits. Secondly, we prove that two sliding periodic orbits coexist with at most one crossing periodic orbit, and one sliding periodic orbit can coexist with two crossing ones.


title: A brief survey on the obstacle problem

abstract: We discuss some regularity issues in the study of the obstacle problem. In particular, we present a recent result by O. Savin and the author on the regularity of the singular set for the obstacle problem with a fully nonlinear elliptic operator. This survey is based on a lecture by the author at the 8th International Congress of Chinese Mathematicians.


title: A Type of Virtual Force based Energy-hole Mitigation Strategy for Sensor Networks

abstract: In the era of Big Data and Mobile Internet, how to ensure the terminal devices (e.g., sensor nodes) work steadily for a long time is one of the key issues to improve the efficiency of the whole network. However, a lot of facts have shown that the unattended equipments are prone to failure due to energy exhaustion, physical damage and other reasons. This may result in the emergence of energy-hole, seriously affecting network performance and shortening its lifetime. To reduce data redundancy and avoid the generation of sensing blind areas, a type of Virtual Force based Energy-hole Mitigation strategy (VFEM) is proposed in this paper. Firstly, the virtual force (gravitation and repulsion) between nodes is introduced that makes nodes distribute as uniformly as possible. Secondly, in order to alleviate the "energy-hole problem", the network is divided into several annuluses with the same width. Then, another type of virtual force, named "virtual gravity generated by annulus", is proposed to further optimize the positions of nodes in each annulus. Finally, with the help of the "data forwarding area", the optimal paths for data uploading can be selected out, which effectively balances energy consumption of nodes. Experiment results show that, VFEM has a relatively good performance on postponing the generation time of energy-holes as well as prolonging the network lifetime compared with other typical energy-hole mitigation methods.


title: Coordinated Joint Multimodal Embeddings for Generalized Audio-Visual Zeroshot Classification and Retrieval of Videos

abstract: We present an audio-visual multimodal approach for the task of zeroshot learning (ZSL) for classification and retrieval of videos. ZSL has been studied extensively in the recent past but has primarily been limited to visual modality and to images. We demonstrate that both audio and visual modalities are important for ZSL for videos. Since a dataset to study the task is currently not available, we also construct an appropriate multimodal dataset with 33 classes containing 156,416 videos, from an existing large scale audio event dataset. We empirically show that the performance improves by adding audio modality for both tasks of zeroshot classification and retrieval, when using multimodal extensions of embedding learning methods. We also propose a novel method to predict the `dominant' modality using a jointly learned modality attention network. We learn the attention in a semi-supervised setting and thus do not require any additional explicit labelling for the modalities. We provide qualitative validation of the modality specific attention, which also successfully generalizes to unseen test classes.


title: A characteristic free approach to secant varieties of triple Segre products

abstract: The goal of this short note is to study the secant varieties of the triple Segre product of type (1,a,b) by means of the standard tools of combinatorial commutative algebra. We reprove and extend to arbitrary characteristic results of Landsberg and Weyman regarding the defining ideal and the Cohen-Macaulay property of the secant varieties. Furthermore for these varieties we compute the degree and give a bound for their Castelnuovo-Mumford regularity which is sharp in many cases.


title: CreditPrint: Credit Investigation via Geographic Footprints by Deep Learning

abstract: Credit investigation is critical for financial services. Whereas, traditional methods are often restricted as the employed data hardly provide sufficient, timely and reliable information. With the prevalence of smart mobile devices, peoples' geographic footprints can be automatically and constantly collected nowadays, which provides an unprecedented opportunity for credit investigations. Inspired by the observation that locations are somehow related to peoples' credit level, this research aims to enhance credit investigation with users' geographic footprints. To this end, a two-stage credit investigation framework is designed, namely CreditPrint. In the first stage, CreditPrint explores regions' credit characteristics and learns a credit-aware embedding for each region by considering both each region's individual characteristics and cross-region relationships with graph convolutional networks. In the second stage, a hierarchical attention-based credit assessment network is proposed to aggregate the credit indications from a user's multiple trajectories covering diverse regions. The results on real-life user mobility datasets show that CreditPrint can increase the credit investigation accuracy by up to 10% compared to baseline methods.


title: Tracking-Assisted Segmentation of Biological Cells

abstract: U-Net and its variants have been demonstrated to work sufficiently well in biological cell tracking and segmentation. However, these methods still suffer in the presence of complex processes such as collision of cells, mitosis and apoptosis. In this paper, we augment U-Net with Siamese matching-based tracking and propose to track individual nuclei over time. By modelling the behavioural pattern of the cells, we achieve improved segmentation and tracking performances through a re-segmentation procedure. Our preliminary investigations on the Fluo-N2DH-SIM+ and Fluo-N2DH-GOWT1 datasets demonstrate that absolute improvements of up to 3.8 % and 3.4% can be obtained in segmentation and tracking accuracy, respectively.


title: On weighted sums of numbers of convex polygons in point sets

abstract: Let $S$ be a set of $n$ points in general position in the plane, and let $X_{k,\ell}(S)$ be the number of convex $k$-gons with vertices in $S$ that have exactly $\ell$ points of $S$ in their interior. We prove several equalities for the numbers $X_{k,\ell}(S)$. This problem is related to the Erd\H{o}s-Szekeres theorem. Some of the obtained equations also extend known equations for the numbers of empty convex polygons to polygons with interior points. Analogous results for higher dimension are shown as well.