title: DR Loss: Improving Object Detection by Distributional Ranking

abstract: Most of object detection algorithms can be categorized into two classes: two-stage detectors and one-stage detectors. Recently, many efforts have been devoted to one-stage detectors for the simple yet effective architecture. Different from two-stage detectors, one-stage detectors aim to identify foreground objects from all candidates in a single stage. This architecture is efficient but can suffer from the imbalance issue with respect to two aspects: the inter-class imbalance between the number of candidates from foreground and background classes and the intra-class imbalance in the hardness of background candidates, where only a few candidates are hard to be identified. In this work, we propose a novel distributional ranking (DR) loss to handle the challenge. For each image, we convert the classification problem to a ranking problem, which considers pairs of candidates within the image, to address the inter-class imbalance problem. Then, we push the distributions of confidence scores for foreground and background towards the decision boundary. After that, we optimize the rank of the expectations of derived distributions in lieu of original pairs. Our method not only mitigates the intra-class imbalance issue in background candidates but also improves the efficiency for the ranking algorithm. By merely replacing the focal loss in RetinaNet with the developed DR loss and applying ResNet-101 as the backbone, mAP of the single-scale test on COCO can be improved from 39.1% to 41.7% without bells and whistles, which demonstrates the effectiveness of the proposed loss function. Code is available at \url{https://github.com/idstcv/DR_loss}.


title: Simulation of a radiobiology facility for the Centre for the Clinical Application of Particles

abstract: The Centre for the Clinical Application of Particles' Laser-hybrid Accelerator for Radiobiological Applications (LhARA) facility is being studied and requires simulation of novel accelerator components (such as the Gabor lens capture system), detector simulation and simulation of the ion beam interaction with cells. The first stage of LhARA will provide protons up to 15 MeV for in vitro studies. The second stage of LhARA will use a fixed-field accelerator to increase the energy of the particles to allow in vivo studies with protons and in vitro studies with heavier ions. BDSIM, a Geant4 based accelerator simulation tool, has been used to perform particle tracking simulations to verify the beam optics design done by BeamOptics and these show good agreement. Design parameters were defined based on an EPOCH simulation of the laser source and a series of mono-energetic input beams were generated from this by BDSIM. The tracking results show the large angular spread of the input beam (0.2 rad) can be transported with a transmission of almost 100% whilst keeping divergence at the end station very low (<0.1 mrad). The legacy of LhARA will be the demonstration of technologies that could drive a step-change in the provision of proton and light ion therapy (i.e. a laser source coupled to a Gabor lens capture and a fixed-field accelerator), and a system capable of delivering a comprehensive set of experimental data that can be used to enhance the clinical application of proton and light ion therapy.


title: A photonic crystal Josephson traveling wave parametric amplifier

abstract: An amplifier combining noise performances as close as possible to the quantum limit with large bandwidth and high saturation power is highly desirable for many solid state quantum technologies such as high fidelity qubit readout or high sensitivity electron spin resonance for example. Here we introduce a new Traveling Wave Parametric Amplifier based on Superconducting QUantum Interference Devices. It displays a 3 GHz bandwidth, a -102 dBm 1-dB compression point and added noise near the quantum limit. Compared to previous state-of-the-art, it is an order of magnitude more compact, its characteristic impedance is in-situ tunable and its fabrication process requires only two lithography steps. The key is the engineering of a gap in the dispersion relation of the transmission line. This is obtained using a periodic modulation of the SQUID size, similarly to what is done with photonic crystals. Moreover, we provide a new theoretical treatment to describe the non-trivial interplay between non-linearity and such periodicity. Our approach provides a path to co-integration with other quantum devices such as qubits given the low footprint and easy fabrication of our amplifier.


title: Efficient Detection and Quantification of Timing Leaks with Neural Networks

abstract: Detection and quantification of information leaks through timing side channels are important to guarantee confidentiality. Although static analysis remains the prevalent approach for detecting timing side channels, it is computationally challenging for real-world applications. In addition, the detection techniques are usually restricted to 'yes' or 'no' answers. In practice, real-world applications may need to leak information about the secret. Therefore, quantification techniques are necessary to evaluate the resulting threats of information leaks. Since both problems are very difficult or impossible for static analysis techniques, we propose a dynamic analysis method. Our novel approach is to split the problem into two tasks. First, we learn a timing model of the program as a neural network. Second, we analyze the neural network to quantify information leaks. As demonstrated in our experiments, both of these tasks are feasible in practice --- making the approach a significant improvement over the state-of-the-art side channel detectors and quantifiers. Our key technical contributions are (a) a neural network architecture that enables side channel discovery and (b) an MILP-based algorithm to estimate the side-channel strength. On a set of micro-benchmarks and real-world applications, we show that neural network models learn timing behaviors of programs with thousands of methods. We also show that neural networks with thousands of neurons can be efficiently analyzed to detect and quantify information leaks through timing side channels.


title: Uniform convergence to the Airy line ensemble

abstract: We show that classical integrable models of last passage percolation and the related nonintersecting random walks converge uniformly on compact sets to the Airy line ensemble. Our core approach is to show convergence of nonintersecting Bernoulli random walks in all feasible directions in the parameter space. We then use coupling arguments to extend convergence to other models.


title: Dual black hole associated with obscured and unobscured AGN: CXO J101527.2+625911

abstract: We report the results of an investigation to determine the nature of the offset active galactic nucleus (AGN) found in the source CXO J101527.2+625911. Hubble Space Telescope and Chandra X-ray observatory data had suggested that the offset AGN, which has an angular separation of only 0\farcs26 from the center of the host galaxy, is a recoiled Super Massive Black Hole (rSMBH). We carried out high angular resolution observations with both the VLBA (1.54 GHz) and the VLA (10.0 GHz \& 33.0 GHz) and detected a single compact radio source in the center of the host galaxy, with no radio continuum emission associated with the offset AGN. The detected radio source has a high brightness temperature value of $T_b=7.2\times10^{7}$ K, indicating that the radio emission is associated with an AGN. Furthermore, we present the decomposition of high-resolution KECK spectra of the [O III]5007\AA line into two narrow emission line components, which is a characteristic sign of a dual black hole system. These new radio and optical wavelength results suggest that CXO J101527.2+625911 is the host of a dual black hole system rather than a rSMBH.


title: Fabrication and characterization of aluminum SQUID transmission lines

abstract: We report on the fabrication and characterization of 50 Ohms, flux-tunable, low-loss, SQUID-based transmission lines. The fabrication process relies on the deposition of a thin dielectric layer (few tens of nanometers) via Atomic Layer Deposition (ALD) on top of a SQUID array, the whole structure is then covered by a non-superconducting metallic top ground plane. We present experimental results from five different samples. We systematically characterize their microscopic parameters by measuring the propagating phase in these structures. We also investigate losses and discriminate conductor from dielectric losses. This fabrication method offers several advantages. First, the SQUID array fabrication does not rely on a Niobium tri-layer process but on a simpler double angle evaporation technique. Second, ALD provides high quality dielectric leading to low-loss devices. Further, the SQUID array fabrication is based on a standard, all-aluminum process, allowing direct integration with superconducting qubits. Moreover, our devices are in-situ flux tunable, allowing mitigation of incertitude inherent to any fabrication process. Finally, the unit cell being a single SQUID (no extra ground capacitance is needed), it is straightforward to modulate the size of the unit cell periodically, allowing band-engineering. This fabrication process can be directly applied to traveling wave parametric amplifiers.


title: A system for efficient 3D printed stop-motion face animation

abstract: Computer animation in conjunction with 3D printing has the potential to positively impact traditional stop-motion animation. As 3D printing every frame of a computer animation is prohibitively slow and expensive, 3D printed stop-motion can only be viable if animations can be faithfully reproduced using a compact library of 3D printed and efficiently assemblable parts. We thus present the first system for processing computer animation sequences (typically faces) to produce an optimal set of replacement parts for use in 3D printed stop-motion animation. Given an input animation sequence of topology invariant deforming meshes, our problem is to output a library of replacement parts and per-animation-frame assignment of the parts, such that we maximally approximate the input animation, while minimizing the amount of 3D printing and assembly. Inspired by current stop-motion workflows, a user manually indicates which parts of the model are preferred for segmentation; then, we find curves with minimal deformation along which to segment the mesh. We then present a novel algorithm to zero out deformations along the segment boundaries, so that replacement sets for each part can be interchangeably and seamlessly assembled together. The part boundaries are designed to ease 3D printing and instrumentation for assembly. Each part is then independently optimized using a graph-cut technique to find a set of replacements, whose size can be user defined, or automatically computed to adhere to a printing budget or allowed deviation from the original animation. Our evaluation is threefold: we show results on a variety of facial animations, both digital and 3D printed, critiqued by a professional animator; we show the impact of various algorithmic parameters; and compare our results to naive solutions. Our approach can reduce the printing time and cost significantly for stop-motion animated films.


title: Cap2Det: Learning to Amplify Weak Caption Supervision for Object Detection

abstract: Learning to localize and name object instances is a fundamental problem in vision, but state-of-the-art approaches rely on expensive bounding box supervision. While weakly supervised detection (WSOD) methods relax the need for boxes to that of image-level annotations, even cheaper supervision is naturally available in the form of unstructured textual descriptions that users may freely provide when uploading image content. However, straightforward approaches to using such data for WSOD wastefully discard captions that do not exactly match object names. Instead, we show how to squeeze the most information out of these captions by training a text-only classifier that generalizes beyond dataset boundaries. Our discovery provides an opportunity for learning detection models from noisy but more abundant and freely-available caption data. We also validate our model on three classic object detection benchmarks and achieve state-of-the-art WSOD performance. Our code is available at https://github.com/yekeren/Cap2Det.


title: Optimal Transport-based Alignment of Learned Character Representations for String Similarity

abstract: String similarity models are vital for record linkage, entity resolution, and search. In this work, we present STANCE --a learned model for computing the similarity of two strings. Our approach encodes the characters of each string, aligns the encodings using Sinkhorn Iteration (alignment is posed as an instance of optimal transport) and scores the alignment with a convolutional neural network. We evaluate STANCE's ability to detect whether two strings can refer to the same entity--a task we term alias detection. We construct five new alias detection datasets (and make them publicly available). We show that STANCE or one of its variants outperforms both state-of-the-art and classic, parameter-free similarity models on four of the five datasets. We also demonstrate STANCE's ability to improve downstream tasks by applying it to an instance of cross-document coreference and show that it leads to a 2.8 point improvement in B^3 F1 over the previous state-of-the-art approach.


title: Abstract homomorphisms from some topological groups to acylindrically hyperbolic groups

abstract: We describe homomorphisms $\varphi:H\rightarrow G$ for which the codomain is acylindrically hyperbolic and the domain is a topological group which is either completely metrizable or locally countably compact Hausdorff. It is shown that, in a certain sense, either the image of $\varphi$ is small or $\varphi$ is almost continuous. We also describe homomorphisms from the Hawaiian earring group to $G$ as above. We prove a more precise result for homomorphisms $\varphi:H\rightarrow {\rm Mod}(\Sigma)$, where $H$ as above and ${\rm Mod}(\Sigma)$ is the mapping class group of a connected compact surface $\Sigma$. In this case there exists an open normal subgroup $V\leqslant H$ such that $\varphi(V)$ is finite. We also prove the analogous statement for homomorphisms $\varphi:H\rightarrow {\rm Out}(G)$, where $G$ is a one-ended hyperbolic group. Some automatic continuity results for relatively hyperbolic groups and fundamental groups of graphs of groups are also deduced. As a by-product, we prove that the Hawaiian earring group is acylindrically hyperbolic, but does not admit any universal acylindrical action on a hyperbolic space.


title: Single-shot multi-keV X-ray absorption spectroscopy using an ultrashort laser wakefield accelerator source

abstract: Single-shot absorption measurements have been performed using the multi-keV X-rays generated by a laser wakefield accelerator. A 200 TW laser was used to drive a laser wakefield accelerator in a mode which produced broadband electron beams with a maximum energy above 1 GeV and a broad divergence of $\approx15$ miliradians FWHM. Betatron oscillations of these electrons generated $1.2\pm0.2\times10^6$ photons/eV in the 5 keV region, with a signal-to-noise ratio of approximately 300:1. This was sufficient to allow high-resolution XANES measurements at the K-edge of a titanium sample in a single shot. We demonstrate that this source is capable of single-shot, simultaneous measurements of both the electron and ion distributions in matter heated to eV temperatures by comparison with DFT simulations. The unique combination of a high-flux, large bandwidth, few femtosecond duration X-ray pulse synchronised to a high-power laser will enable key advances in the study of ultra-fast energetic processes such as electron-ion equilibration.


title: H$_3^+$ as a five-body problem described with explicitly correlated Gaussian basis sets

abstract: Various explicitly correlated Gaussian (ECG) basis sets are considered for the solution of the molecular Schr\"odinger equation with particular attention to the simplest polyatomic system, H$_3^+$. Shortcomings and advantages are discussed for plain ECGs, ECGs with the global vector representation, floating ECGs and their numerical projection, and ECGs with complex parameters. The discussion is accompanied with particle density plots to visualize the observations. In order to be able to use large complex ECG basis sets in molecular calculations, a numerically stable algorithm is developed, the efficiency of which is demonstrated for the lowest rotationally and vibrationally excited states of H$_2$ and H$_3^+$.


title: Distributed Model Predictive Control Under Inexact Primal-Dual Gradient Optimization Based on Contraction Analysis

abstract: This paper develops a distributed model predictive control (DMPC) strategy for a class of discrete-time linear systems with consideration of globally coupled constraints. The DMPC under study is based on the dual problem concerning all subsystems, which is solved by means of the primal-dual gradient optimization in a distributed manner using Laplacian consensus. To reduce the computational burden, the constraint tightening method is utilized to provide a capability of premature termination with guaranteeing the convergence of the DMPC optimization. The contraction theory is first adopted in the convergence analysis of the primal-dual gradient optimization under discrete-time updating dynamics towards a nonlinear objective function. Under some reasonable assumptions, the recursive feasibility and stability of the closed-loop system can be established under the inexact solution. A numerical simulation is given to verify the performance of the proposed strategy.


title: Generic Prediction Architecture Considering both Rational and Irrational Driving Behaviors

abstract: Accurately predicting future behaviors of surrounding vehicles is an essential capability for autonomous vehicles in order to plan safe and feasible trajectories. The behaviors of others, however, are full of uncertainties. Both rational and irrational behaviors exist, and the autonomous vehicles need to be aware of this in their prediction module. The prediction module is also expected to generate reasonable results in the presence of unseen and corner scenarios. Two types of prediction models are typically used to solve the prediction problem: learning-based model and planning-based model. Learning-based model utilizes real driving data to model the human behaviors. Depending on the structure of the data, learning-based models can predict both rational and irrational behaviors. But the balance between them cannot be customized, which creates challenges in generalizing the prediction results. Planning-based model, on the other hand, usually assumes human as a rational agent, i.e., it anticipates only rational behavior of human drivers. In this paper, a generic prediction architecture is proposed to address various rationalities in human behavior. We leverage the advantages from both learning-based and planning-based prediction models. The proposed approach is able to predict continuous trajectories that well-reflect possible future situations of other drivers. Moreover, the prediction performance remains stable under various unseen driving scenarios. A case study under a real-world roundabout scenario is provided to demonstrate the performance and capability of the proposed prediction architecture.


title: Contraction Analysis on Primal-Dual Gradient Optimization

abstract: This paper analyzes the contraction of the primal-dual gradient optimization via contraction theory in the context of discrete-time updating dynamics. The contraction theory based on Riemannian manifolds is first established for convergence analysis of a convex optimization algorithm. The equality and inequality constrained optimization cases are studied, respectively. Under some reasonable assumptions, we construct the Riemannian metric to characterize a contraction region. It is shown that if the step-sizes of the updating dynamics are properly designed, the convergence rates for both cases can be obtained according to the contraction region in which the convergence can be guaranteed. Moreover, the augmented Lagrangian function which is projection free is adopted to tackle the inequality constraints. Some numerical experiments are simulated to demonstrate the effectiveness of the presented contraction analysis results on primal-dual gradient optimization algorithm.


title: Utilizing Information Optimally to Influence Distributed Network Routing

abstract: How can a system designer exploit system-level knowledge to derive incentives to optimally influence social behavior? The literature on network routing contains many results studying the application of monetary tolls to influence behavior and improve the efficiency of self-interested network traffic routing. These results typically fall into two categories: (1) optimal tolls which incentivize socially-optimal behavior for a known realization of the network and population, or (2) robust tolls which provably reduce congestion given uncertainty regarding networks and user types, but may fail to optimize routing in general. This paper advances the study of robust influencing, mechanisms asking how a system designer can optimally exploit additional information regarding the network structure and user price sensitivities to design pricing mechanisms which influence behavior. We design optimal scaled marginal-cost pricing mechanisms for a class of parallel-network routing games and derive the tight performance guarantees when the network structure and/or the average user price-sensitivity is known. Our results demonstrate that from the standpoint of the system operator, in general it is more important to know the structure of the network than it is to know distributional information regarding the user population.


title: Uncertainty in the MAN Data Calibration & Trend Estimates

abstract: We investigate trend identification in the LML and MAN atmospheric ammonia data. The signals are mixed in the LML data, with just as many positive, negative, and no trends found. The start date for trend identification is crucial, with the trends claimed changing sign and significance depending on the start date. The MAN data is calibrated to the LML data. This calibration introduces uncertainty never heretofore accounted for in any downstream analysis, such as identifying trends. We introduce a method to do this, and find that the number of trends identified in the MAN data drop by about 50%. The missing data at MAN stations is also imputed; we show that this imputation again changes the number of trends identified, with more positive and fewer significant trends claimed. The sign and significance of the trends identified in the MAN data change with the introduction of the calibration and then again with the imputation. The conclusion is that great over-certainty exists in current methods of trend identification.


title: Squeezed state metrology with Bragg interferometers operating in a cavity

abstract: Bragg interferometers, operating using pseudospin-1/2 systems composed of two momentum states, have become a mature technology for precision measurements. State-of-the-art Bragg interferometers are rapidly surpassing technical limitations and are soon expected to operate near the projection noise limit set by uncorrelated atoms. Despite the use of large numbers of atoms, their operation is governed by single-atom physics. Motivated by recent proposals and demonstrations of Raman gravimeters in cavities, we propose a scheme to squeeze directly on momentum states for surpassing the projection noise limit in Bragg interferometers. In our modeling, we consider the unique issues that arise when a spin squeezing protocol is applied to momentum pseudospins. Specifically, we study the effects of the momentum width of the atomic cloud and the coupling to momentum states outside the pseudospin manifold, as these atoms interact via a mode of the cavity. We show that appreciable levels of spin squeezing can be demonstrated in suitable parameter regimes in spite of these complications. Using this setting, we show how beyond mean-field techniques developed for spin systems can be adapted to study the dynamics of momentum states of interacting atoms. Our scheme promises to be feasible using current technology and is experimentally attractive because it requires no additional setup beyond what will be required to operate Bragg interferometers in cavities.


title: CVC4SY for SyGuS-COMP 2019

abstract: CVC4Sy is a syntax-guided synthesis (SyGuS) solver based on bounded term enumeration and, for restricted fragments, quantifier elimination. The enumerative strategies are based on encoding term enumeration as an extension of the quantifier-free theory of algebraic datatypes and on a highly optimized brute-force algorithm. The quantifier elimination strategy extracts solutions from unsatisfiability proofs of the negated form of synthesis conjectures. It uses recent counterexample-guided techniques for quantifier instantiation that make finding such proofs practically feasible. CVC4Sy implements these strategies by extending the satisfiability modulo theories (SMT) solver CVC4. The strategy to be applied on a given problem is chosen heuristically based on the problem's structure. This document gives an overview of these techniques and their implementation in the SyGuS Solver CVC4Sy, an entry for SyGuS-Comp 2019.


title: Graph inference with clustering and false discovery rate control

abstract: In this paper, a noisy version of the stochastic block model (NSBM) is introduced and we investigate the three following statistical inferences in this model: estimation of the model parameters, clustering of the nodes and identification of the underlying graph. While the two first inferences are done by using a variational expectation-maximization (VEM) algorithm, the graph inference is done by controlling the false discovery rate (FDR), that is, the average proportion of errors among the edges declared significant, and by maximizing the true discovery rate (TDR), that is, the average proportion of edges declared significant among the true edges. Provided that the VEM algorithm provides reliable parameter estimates and clustering, we theoretically show that our procedure does control the FDR while satisfying an optimal TDR property, up to remainder terms that become small when the size of the graph grows. Numerical experiments show that our method outperforms the classical FDR controlling methods that ignore the underlying SBM topology. In addition, these simulations demonstrate that the FDR/TDR properties of our method are robust to model mis-specification, that is, are essentially maintained outside our model.


title: Hybrid Integrated Photonics Using Bulk Acoustic Resonators

abstract: Microwave frequency acousto-optic modulation is realized by exciting high overtone bulk acoustic wave resonances (HBAR resonances) in the photonic stack. These confined mechanical stress waves transmit exhibit vertically transmitting, high quality factor (Q) acoustic Fabry Perot resonances that extend into the Gigahertz domain, and offer stress-optical interaction with the optical modes of the microresonator. Although HBAR are ubiquitously used in modern communication, and often exploited in superconducting circuits, this is the first time they have been incorporated on a photonic circuit based chip. The electro-acousto-optical interaction observed within the optical modes exhibits high actuation linearity, low actuation power and negligible crosstalk. Using the electro-acousto-optic interaction, fast optical resonance tuning is achieved with sub-nanosecond transduction time. By removing the silicon backreflection, broadband acoustic modulation at 4.1 and 8.7 GHz is realized with a 3 dB bandwidth of 250 MHz each. The novel hybrid HBAR nanophotonic platform demonstrated here, allowing on chip integration of micron-scale acoustic and photonic resonators, can find immediate applications in tunable microwave photonics, high bandwidth soliton microcomb stabilization, compact opto-electronic oscillators, and in microwave to optical conversion schemes. Moreover the hybrid platform allows implementation of momentum biasing, which allows realization of on chip non-reciprocal devices such as isolators or circulators and topological photonic bandstructures.


title: Analyzing the Variety Loss in the Context of Probabilistic Trajectory Prediction

abstract: Trajectory or behavior prediction of traffic agents is an important component of autonomous driving and robot planning in general. It can be framed as a probabilistic future sequence generation problem and recent literature has studied the applicability of generative models in this context. The variety or Minimum over N (MoN) loss, which tries to minimize the error between the ground truth and the closest of N output predictions, has been used in these recent learning models to improve the diversity of predictions. In this work, we present a proof to show that the MoN loss does not lead to the ground truth probability density function, but approximately to its square root instead. We validate this finding with extensive experiments on both simulated toy as well as real world datasets. We also propose multiple solutions to compensate for the dilation to show improvement of log likelihood of the ground truth samples in the corrected probability density function.


title: Resource-aware Exact Decentralized Optimization Using Event-triggered Broadcasting

abstract: This work addresses the decentralized optimization problem where a group of agents with coupled private objective functions work together to exactly optimize the summation of local interests. Upon modeling the decentralized problem as an equality-constrained centralized one, we leverage the linearized augmented Lagrangian method (LALM) to design an event-triggered decentralized algorithm that only requires light local computation at generic time instants and peer-to-peer communication at sporadic triggering time instants. The triggering time instants for each agent are locally determined by comparing the deviation between true and broadcast primal variables with certain triggering thresholds. Provided that the threshold is summable over time, we established a new upper bound for the effect of triggering behavior on the primal-dual residual. Based on this, the same convergence rate $O(\frac{1}{k})$ with periodic algorithms is secured for nonsmooth convex problems. Stronger convergence results have been further established for strongly convex and smooth problems, that is, the iterates linearly converge with exponentially decaying triggering thresholds.} We examine the developed strategy in two common optimization problems; comparison results illustrate its performance and superiority in exploiting communication resources.


title: Analytical Gradient Theory for Strongly Contracted (SC-) and Partially Contracted (PC-) N-Electron Valence State Perturbation Theory (NEVPT2)

abstract: An analytical gradient theory for single-state N-electron valence state perturbation theory (NEVPT2), using both strongly contracted (SC) and partially contracted (PC) internal contraction schemes, is developed. We demonstrate the utility of the developed algorithm in the optimization of the single-state molecular geometry of acrolein, benzyne, benzene, the retinal chromophore PSB3, the GFP chromophore pHBI, and porphine, with the cc-pVTZ basis sets. The SC-NEVPT2 analytical gradients exhibit numerical instability due to the lack of invariance with respect to the rotations among the inactive orbitals. On the other hand, PC-NEVPT2 gives molecular geometries comparable to CASPT2 in any tested cases. We discuss possible future developments that will make the NEVPT2 gradient algorithm a powerful tool for optimizing the molecular geometries and conducting molecular dynamics simulations of correlated systems.


title: Making the Case for Visualization

abstract: Visual representation of information is a fundamental tool for advancing our understanding of science. It enables the research community to extract new knowledge from complex datasets, and plays an equally vital role in communicating new results across a spectrum of public audiences. Visualizations which make research results accessible to the public have been popularized by the press, and are used in formal education, informal learning settings, and all aspects of lifelong learning. In particular, visualizations of astronomical data (hereafter astrovisualization or astroviz) have broadly captured the human imagination, and are in high demand. Astrovisualization practitioners need a wide variety of specialized skills and expertise spanning multiple disciplines (art, science, technology). As astrophysics research continues to evolve into a more data rich science, astroviz is also evolving from artists conceptions to data-driven visualizations, from two-dimensional images to three-dimensional prints, requiring new skills for development. Currently astroviz practitioners are spread throughout the country. Due to the specialized nature of the field there are seldom enough practitioners at one location to form an effective research group for the exchange of knowledge on best practices and new techniques. Because of the increasing importance of visualization in modern astrophysics, the fact that the astroviz community is small and spread out in disparate locations, and the rapidly evolving nature of this field, we argue for the creation and nurturing of an Astroviz Community of Practice. We first summarize our recommendations. We then describe the current make-up of astrovisualization practitioners, give an overview of the audiences they serve, and highlight technological considerations.


title: Measuring the imaginary time dynamics of quantum materials

abstract: Theoretical analysis typically involves imaginary-time correlation functions. Inferring real-time dynamical response functions from this information is notoriously difficult. However, as we articulate here, it is straightforward to compute imaginary-time correlators from the measured frequency dependence of (real-time) response functions. In addition to facilitating comparison between theory and experiment, the proposed approach can be useful in extracting certain aspects of the (long-time relaxational) dynamics from a complex data set. We illustrate this with an analysis of the nematic response inferred from Raman scattering spectroscopy on the iron-based superconductor Ba(Fe$_{1-x}$Co$_x$)$_2$As$_2$, which includes a new method for identifying a putative quantum critical contribution to that response.


title: Complex Langevin and other approaches to the sign problem in quantum many-body physics

abstract: We review the theory and applications of complex stochastic quantization to the quantum many-body problem. Along the way, we present a brief overview of a number of ideas that either ameliorate or in some cases altogether solve the sign problem, including the classic reweighting method, alternative Hubbard-Stratonovich transformations, dual variables (for bosons and fermions), Majorana fermions, density-of-states methods, imaginary asymmetry approaches, and Lefschetz thimbles. We discuss some aspects of the mathematical underpinnings of conventional stochastic quantization, provide a few pedagogical examples, and summarize open challenges and practical solutions for the complex case. Finally, we review the recent applications of complex Langevin to quantum field theory in relativistic and nonrelativistic quantum matter, with an emphasis on the nonrelativistic case.


title: The asymptotics of reflectable weighted walks in arbitrary dimension

abstract: Gessel and Zeilberger generalized the reflection principle to handle walks confined to Weyl chambers, under some restrictions on the allowable steps. For those models that are invariant under the Weyl group action, they express the counting function for the walks with fixed starting and endpoint as a constant term in the Taylor series expansion of a rational function. Here, we focus on the simplest case, the Weyl groups $A_1^d$, which correspond to walks in the first orthant $\mathbb{N}^d$ taking steps from a subset of $\{\pm1, 0\}^d$ which is invariant under reflection across any axis. The principle novelty here is the incorporation of weights on the steps and the main result is a very general theorem giving asymptotic enumeration formulas for walks that end anywhere in the orthant. The formulas are determined by singularity analysis of multivariable rational functions, an approach that has already been successfully applied in numerous related cases.


title: Non-Parallel Voice Conversion with Cyclic Variational Autoencoder

abstract: In this paper, we present a novel technique for a non-parallel voice conversion (VC) with the use of cyclic variational autoencoder (CycleVAE)-based spectral modeling. In a variational autoencoder(VAE) framework, a latent space, usually with a Gaussian prior, is used to encode a set of input features. In a VAE-based VC, the encoded latent features are fed into a decoder, along with speaker-coding features, to generate estimated spectra with either the original speaker identity (reconstructed) or another speaker identity (converted). Due to the non-parallel modeling condition, the converted spectra can not be directly optimized, which heavily degrades the performance of a VAE-based VC. In this work, to overcome this problem, we propose to use CycleVAE-based spectral model that indirectly optimizes the conversion flow by recycling the converted features back into the system to obtain corresponding cyclic reconstructed spectra that can be directly optimized. The cyclic flow can be continued by using the cyclic reconstructed features as input for the next cycle. The experimental results demonstrate the effectiveness of the proposed CycleVAE-based VC, which yields higher accuracy of converted spectra, generates latent features with higher correlation degree, and significantly improves the quality and conversion accuracy of the converted speech.


title: Electronic Structure of First and Second Row Atoms under Harmonic Confinement

abstract: Atoms under pressure undergo a series of processes and modification of its electronic structure. Examples are the spontaneous ionization, stabilization of excited-state configurations that result in a level-crossing with the ground state of the free atom, and contraction of atomic shells. In this work, we do a systematic study of the effects of confinement with harmonic potential on the electronic structure of atoms from H to Ne. Dynamic and static correlation is taken into account by performing CCSD and CASSCF calculations, respectively. Because the strength of harmonic confinement cannot be translated into pressure, we envisioned a "calibration" method to transform confinement into pressure. We focused on the effect of confinement on: i) changes of electron distribution and localization within the $K$ and $L$ atomic shells, ii) confinement-induced ionization pressure, iii) level crossing of electronic states, and iv) the electron correlation energy. We found that contraction of valence and core shells are not negligible and that the use of standard pseudopotentials might be not adequate to study solids under extreme pressures. The critical pressure at which and atom ionizes follows a periodic trend, and it ranges from $28$ GPa for Li to $10.8$ TPa for Ne. In Li and a Be, pressure induces mixing of the ground state configuration with excited states. At high pressure, the ground state of Li and Be becomes a doublet and a triplet with configurations $1s^22p$ and $1s^22s2p$ respectively. The potential consequences of these changes of configuration on the chemistry of Be are discussed. Finally, the changes in the amount of electron correlation are characterized and analyzed in terms of the RPA approximation. For atoms with fewer electrons in the valence shell correlation increases, but for atoms with more electron, the increasing of kinetic energy dominates over electron correlation.


title: High-dimensional inference using the extremal skew-$t$ process

abstract: Max-stable processes are a popular tool for the study of environmental extremes, and the extremal skew-$t$ process is a general model that allows for a flexible extremal dependence structure. For inference on max-stable processes with high-dimensional data, exact likelihood-based estimation is computationally intractable. Composite likelihoods, using lower dimensional components, and Stephenson-Tawn likelihoods, using occurrence times of maxima, are both attractive methods to circumvent this issue for moderate dimensions. In this article we establish the theoretical formulae for simulations of and inference for the extremal skew-$t$ process. We also incorporate the Stephenson-Tawn concept into the composite likelihood framework, giving greater statistical and computational efficiency for higher-order composite likelihoods. We compare 2-way (pairwise), 3-way (triplewise), 4-way, 5-way and 10-way composite likelihoods for models of up to 100 dimensions. Furthermore, we propose cdf approximations for the Stephenson-Tawn likelihood function, leading to large computational gains, and enabling accurate fitting of models in large dimensions in only a few minutes. We illustrate our methodology with an application to a 90-dimensional temperature dataset from Melbourne, Australia.


title: Galaxy Structural Analysis with the Curvature of the Brightness Profile

abstract: In this work we introduce the curvature of a galaxy brightness profile to identify its structural subcomponents in a non-parametrically fashion. Bulges, bars, disks, lens, rings and spiral arms are key to understand the formation and evolution path the galaxy undertook. Identifying them is also crucial for morphological classification of galaxies. We measure and analyse in detail the curvature of $14$ galaxies with varied morphology. High (low) steepness profiles show high (low) curvature measures. Transitions between components are identified as local peaks oscillations in the values of the curvature. We identify patterns that characterise bulges (pseudo or classic), disks, bars and rings. This method can be automated to identify galaxy components in large datasets or to provide a reliable starting point for traditional multicomponent modelling of galaxy light distribution.


title: Ab initio Study of Ground-State CS Photodissociation Via Highly Excited Electronic States

abstract: Photodissociation by ultraviolet radiation is the key destruction pathway for CS in photon-dominated regions, such as diffuse clouds. However, the large uncertainties of photodissociation cross sections and rates of CS, resulting from a lack of both laboratory experiments and theoretical calculations, limit the accuracy of calculated abundances of S-bearing molecules by modern astrochemical models. Here we show a detailed \textit{ab initio} study of CS photodissociation. Accurate potential energy curves of CS electronic states were obtained by choosing an active space CAS(8,10) in MRCI+Q/aug-cc-pV(5+d)Z calculation with additional diffuse functions, with a focus on the \(B\) and \(C\,^1\Sigma^+\) states. Cross sections for both direct photodissociation and predissociation from the vibronic ground state were calculated by applying the coupled-channel method. We found that the \(C-X\) \((0-0)\) transition has extremely strong absorption due to a large transition dipole moment in the Franck-Condon region and the upper state is resonant with several triplet states via spin-orbit couplings, resulting in predissociation to the main atomic products C \((^3P)\) and S \((^1D)\). Our new calculations show the photodissociation rate under the standard interstellar radiation field is \(2.9\ee{-9}\)\,s\(^{-1}\), with a 57\% contribution from \(C-X\) \((0-0)\) transition. This value is larger than that adopted by the Leiden photodissociation and photoionization database by a factor of 3.0. Our accurate \textit{ab initio} calculations will allow more secure determination of S-bearing molecules in astrochemical models.


title: The X-ray Polarization Probe mission concept

abstract: The X-ray Polarization Probe (XPP) is a second generation X-ray polarimeter following up on the Imaging X-ray Polarimetry Explorer (IXPE). The XPP will offer true broadband polarimetery over the wide 0.2-60 keV bandpass in addition to imaging polarimetry from 2-8 keV. The extended energy bandpass and improvements in sensitivity will enable the simultaneous measurement of the polarization of several emission components. These measurements will give qualitatively new information about how compact objects work, and will probe fundamental physics, i.e. strong-field quantum electrodynamics and strong gravity.


title: Appsent A Tool That Analyzes App Reviews

abstract: Enterprises are always on the lookout for tools that analyze end-users perspectives on their products. In particular, app reviews have been assessed as useful for guiding improvement efforts and software evolution, however, developers find reading app reviews to be a labor intensive exercise. If such a barrier is eliminated, however, evidence shows that responding to reviews enhances end-users satisfaction and contributes towards the success of products. In this paper, we present Appsent, a mobile analytics tool as an app, to facilitate the analysis of app reviews. This development was led by a literature review on the problem and subsequent evaluation of current available solutions to this challenge. Our investigation found that there was scope to extend currently available tools that analyze app reviews. These gaps thus informed the design and development of Appsent. We subsequently performed an empirical evaluation to validate Appsent usability and the helpfulness of analytics features from users perspective. Outcomes of this evaluation reveal that Appsent provides user-friendly interfaces, helpful functionalities and meaningful analytics. Appsent extracts and visualizes important perceptions from end-users feedback, identifying insights into end-users opinions about various aspects of software features. Although Appsent was developed as a prototype for analyzing app reviews, this tool may be of utility for analyzing product reviews more generally.


title: Handling Numerous Stakeholders Requirements A Research Agenda and Preliminary Outcomes

abstract: This research aims to design and develop a new requirements prioritization approach for analyzing and prioritizing stakeholders requirements which are mentioned in the feedback for software products. This paper presents a PhD research agenda and preliminary outcomes from the early analysis. A roadmap to the proposed research methodology that is to be followed to achieve the targeted outcomes is also outlined. Outcomes to date show that the requirements prioritization problem has been researched extensively, however, gaps still remain when considering techniques that handle a large number of crowdsourced requirements. Furthermore, requirements prioritization as a problem affects many domains beyond software engineering. Hence, knowledge from other fields could be useful for informing requirements prioritization practice in the software engineering space.


title: Self-triggered radio detection and identification of cosmic air showers with the OVRO-LWA

abstract: A successful ground array Radio Frequency (RF)-only self-trigger on 10 high-energy cosmic ray events is demonstrated with 256 dual-polarization antennas of the Owens Valley Radio Observatory Long Wavelength Array (OVRO-LWA). This RF-only capability is predicated on novel techniques for Radio Frequency Interference (RFI) identification and mitigation with an analysis efficiency of 45\% for shower-driven events with a Signal-to-noise ratio $\gtrsim$ 5 against the galactic background noise power of individual antennas. This technique enables more efficient detection of cosmic rays over a wider range of zenith angles than possible via triggers from in-situ particle detectors and can be easily adapted by neutrino experiments relying on RF-only detection. This paper discusses the system design, RFI characterization and mitigation techniques, and initial results from 10 cosmic ray events identified within a 40-hour observing window. A design for a future optimized commensal cosmic-ray detector for the OVRO-LWA is presented, as well as recommendations for developing a similar capability for other experiments -- these designs either reduce data-rate or increase sensitivity by an order of magnitude for many configurations of radio instruments.


title: Unique diagram of a spatial arc and the knotting probability

abstract: It is shown that the projection image of an oriented spatial arc to any oriented plane is approximated by a unique arc diagram (up to isomorphic arc diagrams) determined from the spatial arc and the projection. In a separated paper, the knotting probability of an arc diagram is defined as an invariant under isomorphic arc diagrams. By combining them, the knotting probability of every oriented spatial arc is defined.


title: Few-body perspective of a quantum anomaly in two-dimensional Fermi gases

abstract: Quantum anomaly manifests itself in the deviation of breathing mode frequency from the scale invariant value of $2\omega$ in two-dimensional harmonically trapped Fermi gases, where $\omega$ is the trapping frequency. Its recent experimental observation with cold-atoms reveals an unexpected role played by the effective range of interactions, which requires quantitative theoretical understanding. Here we provide accurate, benchmark results on quantum anomaly from a few-body perspective. We consider the breathing mode of a few trapped interacting fermions in two dimensions up to six particles and present the mode frequency as a function of scattering length for a wide range of effective range. We show that the maximum quantum anomaly gradually reduces as effective range increases while the maximum position shifts towards the weak-coupling limit. We extrapolate our few-body results to the many-body limit and find a good agreement with the experimental measurements. Our results may also be directly applicable to a few-fermion system prepared in microtraps and optical tweezers.


title: A reverse Aldous/Broder algorithm

abstract: The Aldous--Broder algorithm provides a way of sampling a uniformly random spanning tree for finite connected graphs using simple random walk. Namely, start a simple random walk on a connected graph and stop at the cover time. The tree formed by all the first-entrance edges has the law of a uniform spanning tree. Here we show that the tree formed by all the last-exit edges also has the law of a uniform spanning tree. This answers a question of Tom Hayes and Cris Moore from 2010. The proof relies on a bijection that is related to the BEST theorem in graph theory. We also give other applications of our results, including new proofs of the reversibility of loop-erased random walk, of the Aldous--Broder algorithm itself, and of Wilson's algorithm.


title: Exploring the nature of 2HWC J2006+341 with HAWC and Fermi-LAT

abstract: The High Altitude Water Cherenkov (HAWC) gamma-ray observatory is carrying out a detailed survey of the northern sky at TeV energies. 2HWC J2006+341 is a newly discovered source reported by the point source search in the 2HWC HAWC Observatory Gamma Ray Catalog. Using $\sim$1038 days of HAWC data we carried out a detailed analysis of the region revealing extended emission. No emission has been detected by other TeV instruments at the location of 2HWC J2006+341. We also analyzed publicly available data from the \textit{Fermi}-LAT that show for the first time the existence of an extended GeV source with a hard spectrum in the region of 2HWC J2006+341. Combined modeling of the data from HAWC and the \textit{Fermi}-LAT allowed us to explore different scenarios for the origin of 2HWC J2006+341.


title: Two classes of events in sheared particulate matter

abstract: Under shear, a system of particles changes its contact network and becomes unstable as it transitions between mechanically stable states. For hard spheres at zero pressure, contact breaking events necessarily generate an instability, but this is not the case at finite pressure, where we identify two types of contact changes: network events that do not correspond to instabilities and rearrangement events that do. The relative fraction of such events is constant as a function of system size, pressure and interaction potential, consistent with our observation that both nonlinearities obey the same finite-size scaling. Thus, the zero-pressure limit of the nonlinear response is highly singular.


title: Algebraic cycles on fiber bundles of Leray-Hirsch type

abstract: We give a theorem of Leray-Hirsch type for Chow groups and use it to study the Hogde and Grothendieck's standard conjectures for algebraic fiber bundles of Leray-Hirsch type. Morevoer, the Hodge conjecture for product varieties will also be considered.


title: The Riemann-Roch Theorem on higher dimensional complex noncommutative tori

abstract: We prove analogues of the Riemann-Roch Theorem and the Hodge Theorem for noncommutative tori (of any dimension) equipped with complex structures, and discuss implications for the question of how to distinguish "noncommutative abelian varieties" from "non-algebraic" noncommutative complex tori.


title: DevOps Capabilities, Practices, and Challenges: Insights from a Case Study

abstract: DevOps is a set of principles and practices to improve collaboration between development and IT Operations. Against the backdrop of the growing adoption of DevOps in a variety of software development domains, this paper describes empirical research into factors influencing its implementation. It presents findings of an in-depth exploratory case study that explored DevOps implementation in a New Zealand product development organisation. The study involved interviewing six experienced software engineers who continuously monitored and reflected on the gradual implementation of DevOps principles and practices. For this case study the use of DevOps practices led to significant benefits, including increase in deployment frequency from about 30 releases a month to an average of 120 releases per month, as well as improved natural communication and collaboration between IT development and operations personnel. We found that the support of a number of technological enablers, such as implementing an automation pipeline and cross functional organisational structures, were critical to delivering the expected benefits of DevOps.


title: Pose-variant 3D Facial Attribute Generation

abstract: We address the challenging problem of generating facial attributes using a single image in an unconstrained pose. In contrast to prior works that largely consider generation on 2D near-frontal images, we propose a GAN-based framework to generate attributes directly on a dense 3D representation given by UV texture and position maps, resulting in photorealistic, geometrically-consistent and identity-preserving outputs. Starting from a self-occluded UV texture map obtained by applying an off-the-shelf 3D reconstruction method, we propose two novel components. First, a texture completion generative adversarial network (TC-GAN) completes the partial UV texture map. Second, a 3D attribute generation GAN (3DA-GAN) synthesizes the target attribute while obtaining an appearance consistent with 3D face geometry and preserving identity. Extensive experiments on CelebA, LFW and IJB-A show that our method achieves consistently better attribute generation accuracy than prior methods, a higher degree of qualitative photorealism and preserves face identity information.


title: Live Forensics for Distributed Storage Systems

abstract: We present Kaleidoscope an innovative system that supports live forensics for application performance problems caused by either individual component failures or resource contention issues in large-scale distributed storage systems. The design of Kaleidoscope is driven by our study of I/O failures observed in a peta-scale storage system anonymized as PetaStore. Kaleidoscope is built on three key features: 1) using temporal and spatial differential observability for end-to-end performance monitoring of I/O requests, 2) modeling the health of storage components as a stochastic process using domain-guided functions that accounts for path redundancy and uncertainty in measurements, and, 3) observing differences in reliability and performance metrics between similar types of healthy and unhealthy components to attribute the most likely root causes. We deployed Kaleidoscope on PetaStore and our evaluation shows that Kaleidoscope can run live forensics at 5-minute intervals and pinpoint the root causes of 95.8% of real-world performance issues, with negligible monitoring overhead.


title: A Narrow-stencil finite difference method for approximating viscosity solutions of fully nonlinear elliptic partial differential equations with applications to Hamilton-Jacobi-Bellman equations

abstract: This paper presents a new narrow-stencil finite difference method for approximating the viscosity solution of second order fully nonlinear elliptic partial differential equations including Hamilton-Jacobi-Bellman equations. The proposed finite difference method naturally extends the Lax-Friedrichs method for first order problems to second order problems by introducing a key stabilization and guiding term called a "numerical moment". The numerical moment uses the difference of two (central) Hessian approximations to resolve the potential low-regularity of viscosity solutions. It is proved that the proposed scheme is well posed (i.e, it has a unique solution) and stable in both the l-2 norm and the l-infinity norm. The highlight of the paper is to prove the convergence of the proposed scheme to the viscosity solution of the underlying fully nonlinear second order problem using a novel discrete comparison argument. This paper extends the one-dimensional analogous method of Feng, Kao, and Lewis to the higher-dimensional setting. Numerical tests are presented to gauge the performance of the proposed finite difference methods and to validate the convergence result of the paper.


title: A Compactness Theorem for $SO(3)$ Anti-Self-Dual Equation with Translation Symmetry

abstract: Motivated by the Atiyah-Floer conjecture, we consider $SO(3)$ Santi-self-dual instantons on the product of the real line and a three-manifold with cylindrical end. We prove a Gromov-Uhlenbeck type compactness theorem, namely, any sequence of such instantons with uniform energy bound has a subsequence converging to a type of singular objects which may have both instanton and holomorphic curve components. This result is the first step towards constructing a natural bounding cochain proposed by Fukaya for the $SO(3)$ Atiyah-Floer conjecture.


title: Effective team onboarding in Agile software development: techniques and goals

abstract: Context: It is not uncommon for a new team member to join an existing Agile software development team, even after development has started. This new team member faces a number of challenges before they are integrated into the team and can contribute productively to team progress. Ideally, each newcomer should be supported in this transition through an effective team onboarding program, although prior evidence suggests that this is challenging for many organisations. Objective: We seek to understand how Agile teams address the challenge of team onboarding in order to inform future onboarding design. Method: We conducted an interview survey of eleven participants from eight organisations to investigate what onboarding activities are common across Agile software development teams. We also identify common goals of onboarding from a synthesis of literature. A repertory grid instrument is used to map the contributions of onboarding techniques to onboarding goals. Results: Our study reveals that a broad range of team onboarding techniques, both formal and informal, are used in practice. It also shows that particular techniques that have high contributions to a given goal or set of goals. Conclusions: In presenting a set of onboarding goals to consider and an evidence-based mechanism for selecting techniques to achieve the desired goals it is expected that this study will contribute to better-informed onboarding design and planning. An increase in practitioner awareness of the options for supporting new team members is also an expected outcome.


title: Hypothesis Testing in Nonlinear Function on Scalar Regression with Application to Child Growth Study

abstract: We propose a kernel machine based hypothesis testing procedure in nonlinear function-on-scalar regression model. Our research is motivated by the Newborn Epigenetic Study (NEST) where the question of interest is whether a pre-specified group of toxic metals or methylation at any of 9 differentially methylated regions (DMRs) is associated with child growth. We take the child growth trajectory as the functional response, and model the toxic metal measurements jointly using a nonlinear function. We use a kernel machine approach to model the unknown function and transform the hypothesis of no effect to an appropriate variance component test. We demonstrate our proposed methodology using a simulation study and by applying it to analyze the NEST data.


title: Spectral Visualization Sharpening

abstract: In this paper, we propose a perceptually-guided visualization sharpening technique. We analyze the spectral behavior of an established comprehensive perceptual model to arrive at our approximated model based on an adapted weighting of the bandpass images from a Gaussian pyramid. The main benefit of this approximated model is its controllability and predictability for sharpening color-mapped visualizations. Our method can be integrated into any visualization tool as it adopts generic image-based post-processing, and it is intuitive and easy to use as viewing distance is the only parameter. Using highly diverse datasets, we show the usefulness of our method across a wide range of typical visualizations.


title: Mixed-Supervised Dual-Network for Medical Image Segmentation

abstract: Deep learning based medical image segmentation models usually require large datasets with high-quality dense segmentations to train, which are very time-consuming and expensive to prepare. One way to tackle this challenge is by using the mixed-supervised learning framework, in which only a part of data is densely annotated with segmentation label and the rest is weakly labeled with bounding boxes. The model is trained jointly in a multi-task learning setting. In this paper, we propose Mixed-Supervised Dual-Network (MSDN), a novel architecture which consists of two separate networks for the detection and segmentation tasks respectively, and a series of connection modules between the layers of the two networks. These connection modules are used to transfer useful information from the auxiliary detection task to help the segmentation task. We propose to use a recent technique called "Squeeze and Excitation" in the connection module to boost the transfer. We conduct experiments on two medical image segmentation datasets. The proposed MSDN model outperforms multiple baselines.


title: A CNN-based tool for automatic tongue contour tracking in ultrasound images

abstract: For speech research, ultrasound tongue imaging provides a non-invasive means for visualizing tongue position and movement during articulation. Extracting tongue contours from ultrasound images is a basic step in analyzing ultrasound data but this task often requires non-trivial manual annotation. This study presents an open source tool for fully automatic tracking of tongue contours in ultrasound frames using neural network based methods. We have implemented and systematically compared two convolutional neural networks, U-Net and DenseU-Net, under different conditions. Though both models can perform automatic contour tracking with comparable accuracy, Dense U-Net architecture seems more generalizable across test datasets while U-Net has faster extraction speed. Our comparison also shows that the choice of loss function and data augmentation have a greater effect on tracking performance in this task. This public available segmentation tool shows considerable promise for the automated tongue contour annotation of ultrasound images in speech research.


title: Motion-Aware Feature for Improved Video Anomaly Detection

abstract: Motivated by our observation that motion information is the key to good anomaly detection performance in video, we propose a temporal augmented network to learn a motion-aware feature. This feature alone can achieve competitive performance with previous state-of-the-art methods, and when combined with them, can achieve significant performance improvements. Furthermore, we incorporate temporal context into the Multiple Instance Learning (MIL) ranking model by using an attention block. The learned attention weights can help to differentiate between anomalous and normal video segments better. With the proposed motion-aware feature and the temporal MIL ranking model, we outperform previous approaches by a large margin on both anomaly detection and anomalous action recognition tasks in the UCF Crime dataset.


title: Effective topological complexity of orientable-surface groups

abstract: We use rewriting systems to spell out cup-products in the (twisted) cohomology groups of a product of surface groups. This allows us to detect a non-trivial obstruction bounding from below the effective topological complexity of an orientable surface with respect to its antipodal involution. Our estimates are at most one unit from being optimal, and are closely related to the (regular) topological complexity of non-orientable surfaces.


title: Image Super-Resolution Using a Wavelet-based Generative Adversarial Network

abstract: In this paper, we consider the problem of super-resolution recons-truction. This is a hot topic because super-resolution reconstruction has a wide range of applications in the medical field, remote sensing monitoring, and criminal investigation. Compared with traditional algorithms, the current super-resolution reconstruction algorithm based on deep learning greatly improves the clarity of reconstructed pictures. Existing work like Super-Resolution Using a Generative Adversarial Network (SRGAN) can effectively restore the texture details of the image. However, experimentally verified that the texture details of the image recovered by the SRGAN are not robust. In order to get super-resolution reconstructed images with richer high-frequency details, we improve the network structure and propose a super-resolution reconstruction algorithm combining wavelet transform and Generative Adversarial Network. The proposed algorithm can efficiently reconstruct high-resolution images with rich global information and local texture details. We have trained our model by PyTorch framework and VOC2012 dataset, and tested it by Set5, Set14, BSD100 and Urban100 test datasets.


title: Eigenvalues for the Minors of Wigner Matrices

abstract: The eigenvalues for the minors of real symmetric ($\beta=1$) and complex Hermitian ($\beta=2$) Wigner matrices form the Wigner corner process, which is a multilevel interlacing particle system. In this paper, we study the microscopic scaling limit of the Wigner corner process both near the spectral edge and in the bulk, and prove they are universal. We show: (i) Near the spectral edge, the corner process exhibit a decoupling phenomenon, as first observed in [24]. Individual extreme particles have Tracy-Widom$_{\beta}$ distribution; the spacings between the extremal particles on adjacent levels converge to independent Gamma distributions in a much smaller scale. (ii) In the bulk, the microscopic scaling limit of the Wigner corner process is given by the bead process for general Sine$_\beta$ process, as constructed recently in [34].


title: How support lines touch an arc

abstract: We prove that each simple polygonal arc {\gamma} attains at most two pairs of support lines of given angle difference such that each pair has s1 < s2 < s3 that {\gamma}(s1) and {\gamma}(s3) are on one such line and {\gamma}(s2) is on the other line.


title: $\mathbb{Z}_k$-code vertex operator algebras

abstract: We introduce a simple, self-dual, rational, and $C_2$-cofinite vertex operator algebra of CFT-type associated with a $\mathbb{Z}_k$-code for $k \ge 2$ based on the $\mathbb{Z}_k$-symmetry among the simple current modules for the parafermion vertex operator algebra $K(\mathfrak{sl}_2,k)$. We show that it is naturally realized as the commutant of a certain subalgebra in a lattice vertex operator algebra. Furthermore, we construct all the irreducible modules inside a module for the lattice vertex operator algebra.


title: Vector Self-Interacting Dark Matter

abstract: We present a model of vector dark matter that interacts through a low-mass vector mediator based on the Higgsing of an SU(2) dark sector. The dark matter is charged under a U(1) gauge symmetry. Even though this symmetry is broken, the residual global symmetries of the theory prevent dark matter decay. We present the behavior of the model subject to the assumption that the dark matter abundance is due to thermal freeze out, including self-interaction targets for small scale structure anomalies and the possibility of interacting with the Standard Model through the vector mediator.


title: Boosting Privately: Privacy-Preserving Federated Extreme Boosting for Mobile Crowdsensing

abstract: Recently, Google and other 24 institutions proposed a series of open challenges towards federated learning (FL), which include application expansion and homomorphic encryption (HE). The former aims to expand the applicable machine learning models of FL. The latter focuses on who holds the secret key when applying HE to FL. For the naive HE scheme, the server is set to master the secret key. Such a setting causes a serious problem that if the server does not conduct aggregation before decryption, a chance is left for the server to access the user's update. Inspired by the two challenges, we propose FedXGB, a federated extreme gradient boosting (XGBoost) scheme supporting forced aggregation. FedXGB mainly achieves the following two breakthroughs. First, FedXGB involves a new HE based secure aggregation scheme for FL. By combining the advantages of secret sharing and homomorphic encryption, the algorithm can solve the second challenge mentioned above, and is robust to the user dropout. Then, FedXGB extends FL to a new machine learning model by applying the secure aggregation scheme to the classification and regression tree building of XGBoost. Moreover, we conduct a comprehensive theoretical analysis and extensive experiments to evaluate the security, effectiveness, and efficiency of FedXGB. The results indicate that FedXGB achieves less than 1% accuracy loss compared with the original XGBoost, and can provide about 23.9% runtime and 33.3% communication reduction for HE based model update aggregation of FL.


title: Efficient Circle-Based Camera Pose Tracking Free of PnP

abstract: Camera pose tracking attracts much interest both from academic and industrial communities, of which the methods based on planar markers are easy to be implemented. However, most of the existing methods need to identify multiple points in the marker images for matching to space points. Then, PnP and RANSAC are used to compute the camera pose. If cameras move fast or are far away from markers, matching is easy to generate errors and even RANSAC cannot remove incorrect matching. Then, the result by PnP cannot have good performance. To solve this problem, we design circular markers and represent 6D camera pose analytically and unifiedly as very concise forms from each of the marker by projective invariance. Afterwards, the pose is further optimized by a proposed nonlinear cost function based on a polar-n-direction geometric distance. The method is from imaged circle edges and without PnP/RANSAC, making pose tracking robust and accurate. Experimental results show that the proposed method outperforms the state of the arts in terms of noise, blur, and distance from camera to marker. Simultaneously, it can still run at about 100 FPS on a consumer computer with only CPU.


title: Evidence for the weakly coupled electron mechanism in an Anderson-Blount polar metal

abstract: Over 50 years ago, Anderson and Blount proposed that ferroelectric-like structural phase transitions may occur in metals, despite the expected screening of the Coulomb interactions that often drive polar transitions. Recently, theoretical treatments have suggested that such transitions require the itinerant electrons be decoupled from the soft transverse optical phonons responsible for polar order. However, this decoupled electron mechanism (DEM) has yet to be experimentally observed. Here we utilize ultrafast spectroscopy to uncover evidence of the DEM in LiOsO$_3$, the first known band metal to undergo a thermally driven polar phase transition ($T_c$ =140 K). We demonstrate that intra-band photo-carriers relax by selectively coupling to only a subset of the phonon spectrum, leaving as much as 60 % of the lattice heat capacity decoupled. This decoupled heat capacity is shown to be consistent with a previously undetected and partially displacive TO polar mode, indicating the DEM in LiOsO$_3$.


title: Boosted Kerr black hole in the presence of plasma

abstract: In this work, we obtain the deflection angle for a boosted Kerr black hole in the weak field approximation using the optics in a curved spacetime developed by J.L. Synge in 1960. We study the behavior of light in the presence of plasma by considering different distributions: uniform plasma, singular isothermal sphere, non-singular isothermal gas sphere, and plasma in a galaxy cluster. We found that the dragging of the inertial system along with the boosted parameter $\Lambda$ affect the value of the deflection angle. As an application, we studied the magnification for both uniform and singular isothermal distributions.


title: Local Stability of Einstein Metrics Under the Ricci Iteration

abstract: We provide a sufficient condition for the local stability of closed Einstein manifolds of positive Ricci curvature under the Ricci iteration in terms of the spectrum of the Lichnerowicz Laplacian acting on divergence-free tensor fields. We use this result to consider the stability of several Einstein manifolds under the Ricci iteration, including symmetric spaces of compact type.


title: Chemical complexity in high entropy alloys: A pair-interaction perspective

abstract: The recently proposed pair-interaction model is applied to study a series of refractory high entropy alloys. The results demonstrate the simplicity, robustness, and high accuracy of this model in predicting the configuration energies of NbMoTaW, NbMoTaWV and NbMoTaWTi. The element-element pair interaction parameters obtained from the linear regression of first-principle data provide a new perspective to understand the strengthening mechanism in HEAs, as revealed by comparing the effects of adding vanadium and titanium. Using the pair-interaction model, an expression for the intrinsic energy fluctuation is derived, which provides guidance on both theoretical modeling and first principles calculation.


title: Effects of infall and outflow on massive star-forming regions

abstract: A total of 188 high-mass outflows have been identified from a sample of 694 clumps from the Millimetre Astronomy Legacy Team 90 GHz survey, representing a detection rate of approximately 27%. The detection rate of outflows increases from the protostellar stage to the H II stage, but decreases again at the photodissociation (PDR) stage suggesting that outflows are being switched off during the PDR stage. An intimate relationship is found between outflow action and the presence of masers, and water masers appear together with 6.7 GHz methanol masers. Comparing the infall detection rate of clumps with and without outflows, we find that outflow candidates have a lower infall detection rate. Finally, we find that outflow action has some influence on the local environment and the clump itself, and this influence decreases with increasing evolutionary time as the outflow action ceases.


title: Classification from Triplet Comparison Data

abstract: Learning from triplet comparison data has been extensively studied in the context of metric learning, where we want to learn a distance metric between two instances, and ordinal embedding, where we want to learn an embedding in an Euclidean space of the given instances that preserves the comparison order as well as possible. Unlike fully-labeled data, triplet comparison data can be collected in a more accurate and human-friendly way. Although learning from triplet comparison data has been considered in many applications, an important fundamental question of whether we can learn a classifier only from triplet comparison data has remained unanswered. In this paper, we give a positive answer to this important question by proposing an unbiased estimator for the classification risk under the empirical risk minimization framework. Since the proposed method is based on the empirical risk minimization framework, it inherently has the advantage that any surrogate loss function and any model, including neural networks, can be easily applied. Furthermore, we theoretically establish an estimation error bound for the proposed empirical risk minimizer. Finally, we provide experimental results to show that our method empirically works well and outperforms various baseline methods.


title: Movement science needs different pose tracking algorithms

abstract: Over the last decade, computer science has made progress towards extracting body pose from single camera photographs or videos. This promises to enable movement science to detect disease, quantify movement performance, and take the science out of the lab into the real world. However, current pose tracking algorithms fall short of the needs of movement science; the types of movement data that matter are poorly estimated. For instance, the metrics currently used for evaluating pose tracking algorithms use noisy hand-labeled ground truth data and do not prioritize precision of relevant variables like three-dimensional position, velocity, acceleration, and forces which are crucial for movement science. Here, we introduce the scientific disciplines that use movement data, the types of data they need, and discuss the changes needed to make pose tracking truly transformative for movement science.


title: Microsecond electro-optic switching of nematic liquid crystals with giant dielectric anisotropy

abstract: Nematic liquid crystals exhibit a fast optical response when the applied electric field modifies the degree of order but does not change the direction of molecular orientation. The effect requires a relatively high electric field, on the order of 10^8 V/m for a field induced birefringence change of 0.01. To address this detrimental issue, this work explores electrically induced modification of the order parameter in a material with a giant dielectric anisotropy of +200. A relatively weak field 3X10^7 V/m causes a significant change of birefringence, by about 0.04. Both switching on and off times are ~10 microseconds. The effect is called a microsecond electrically modified order parameter (MEMOP) and can be used in electro-optical devices, such as fast electro-optic shutters, phase modulators, and beam-steerers that require microsecond response times.


title: Zero-shifting Technique for Deep Neural Network Training on Resistive Cross-point Arrays

abstract: A resistive memory device-based computing architecture is one of the promising platforms for energy-efficient Deep Neural Network (DNN) training accelerators. The key technical challenge in realizing such accelerators is to accumulate the gradient information without a bias. Unlike the digital numbers in software which can be assigned and accessed with desired accuracy, numbers stored in resistive memory devices can only be manipulated following the physics of the device, which can significantly limit the training performance. Therefore, additional techniques and algorithm-level remedies are required to achieve the best possible performance in resistive memory device-based accelerators. In this paper, we analyze asymmetric conductance modulation characteristics in RRAM by Soft-bound synapse model and present an in-depth analysis on the relationship between device characteristics and DNN model accuracy using a 3-layer DNN trained on the MNIST dataset. We show that the imbalance between up and down update leads to a poor network performance. We introduce a concept of symmetry point and propose a zero-shifting technique which can compensate imbalance by programming the reference device and changing the zero value point of the weight. By using this zero-shifting method, we show that network performance dramatically improves for imbalanced synapse devices.


title: An Observational Study for Grain Dynamics in the AS 209 Disk with Submillimeter Polarization

abstract: We present 870 $\mu$m ALMA polarization observation toward the Class I\hspace{-.1em}I protoplanetary disk around AS 209, which has concentric, multiple gaps and rings. We successfully detect the polarized emission and find that the polarization orientations and fractions have distinct characteristics between the inner and outer regions. In the inner region, the polarization orientations are parallel to the minor axis of the disk, which is consistent with the self-scattering model. The mean polarization fraction in the region is $\sim$0.2\%, which is lower than the expected value when the grains have the maximum polarization efficiency, which corresponds to $\lambda$/2$\pi$ $\sim$ 140 $\mu$m in grain radius. In the outer region, we detect $\sim$1.0\% polarization and find that the polarization orientations are almost in the azimuthal directions. Moreover, the polarization orientations have systematic angular deviations from the azimuthal directions with $\Delta$$\theta$ $\sim$ 4\fdg5 $\pm$ 1\fdg6. The pattern is consistent with a model that radially drifting dust grains are aligned by the gas flow against the dust grains. We consider possible scenarios of the grain dynamics at the AS 209 ring which can reproduce the polarization pattern. However, the directions of the observed angular deviations are opposite to what is predicted under the fact that the disk rotates clockwise. This poses a question in our understandings of the alignment processes and/or grain dynamics in protoplanetary disks.


title: An FPT algorithm for orthogonal buttons and scissors

abstract: We study the puzzle game Buttons and Scissors in which the goal is to remove all buttons from an $n\times m$ grid by a series of horizontal and vertical cuts. We show that the corresponding parameterized problem has an algorithm with time complexity $2^{O(k^2 \log k)} (n+m)^{O(1)}$, where $k$ is an upper bound on the number of cuts.


title: Functoriality of Principal Bundles and Connections

abstract: Perhaps the most important contribution of gauge theory to general mathematics is to point out the importance of association functors. Emphasizing category theory we characterize association functors by two of their natural properties and use this characterization to establish an equivalence between the category of principal bundles and a suitably defined category of functors. From the point of view of differential geometry we detail the specialization of non-linear or Ehresmann to principal and linear connections and discuss the widely known and very useful universality of principal curvature in order to characterize the vector bundles in the image of a given association functor. This is the second version.


title: Basis Glass States: New Insights from the Potential Energy Landscape

abstract: Using the potential energy landscape formalism we show that, in the temperature range in which the dynamics of a glass forming system is thermally activated, there exists a unique set of "basis glass states" each of which is confined to a single metabasin of the energy landscape of a glass forming system. These basis glass states tile the entire configuration space of the system, exhibit only secondary relaxation and are solid-like. Any macroscopic state of the system (whether liquid or glass) can be represented as a superposition of basis glass states and can be described by a probability distribution over these states. During cooling of a liquid from a high temperature, the probability distribution freezes at sufficiently low temperatures describing the process of liquid to glass transition. The time evolution of the probability distribution towards the equilibrium distribution during subsequent aging describes the primary relaxation of a glass.


title: Stochastic trajectory prediction with social graph network

abstract: Pedestrian trajectory prediction is a challenging task because of the complexity of real-world human social behaviors and uncertainty of the future motion. For the first issue, existing methods adopt fully connected topology for modeling the social behaviors, while ignoring non-symmetric pairwise relationships. To effectively capture social behaviors of relevant pedestrians, we utilize a directed social graph which is dynamically constructed on timely location and speed direction. Based on the social graph, we further propose a network to collect social effects and accumulate with individual representation, in order to generate destination-oriented and social-aware representations. For the second issue, instead of modeling the uncertainty of the entire future as a whole, we utilize a temporal stochastic method for sequentially learning a prior model of uncertainty during social interactions. The prediction on the next step is then generated by sampling on the prior model and progressively decoding with a hierarchical LSTMs. Experimental results on two public datasets show the effectiveness of our method, especially when predicting trajectories in very crowded scenes.


title: Set-theoretical solutions to the reflection equation associated to the quantum affine algebra of type $A^{(1)}_{n-1}$

abstract: A trick to obtain a systematic solution to the set-theoretical reflection equation is presented from a known one to the Yang-Baxter equation. Examples are given from crystals and geometric crystals associated to the quantum affine algebra of type $A^{(1)}_{n-1}$.


title: Predicting Different Types of Conversions with Multi-Task Learning in Online Advertising

abstract: Conversion prediction plays an important role in online advertising since Cost-Per-Action (CPA) has become one of the primary campaign performance objectives in the industry. Unlike click prediction, conversions have different types in nature, and each type may be associated with different decisive factors. In this paper, we formulate conversion prediction as a multi-task learning problem, so that the prediction models for different types of conversions can be learned together. These models share feature representations, but have their specific parameters, providing the benefit of information-sharing across all tasks. We then propose Multi-Task Field-weighted Factorization Machine (MT-FwFM) to solve these tasks jointly. Our experiment results show that, compared with two state-of-the-art models, MT-FwFM improve the AUC by 0.74% and 0.84% on two conversion types, and the weighted AUC across all conversion types is also improved by 0.50%.


title: Electric field-induced chiral d+id superconducting state in AA-stacked bilayer graphene: A quantum Monte Carlo study

abstract: Using constrained-path quantum Monte Carlo method, we systematically study the Hubbard model on AA-stacked honeycomb lattices with electric field. Our simulation demonstrates a dominant chiral d+id wave pairing induced by the electric field at half filling. In particular, as the on-site Coulomb interaction increases, the effective pairing correlation of chiral d+id superconducting state exhibits increasing behavior. We attribute the electric field induced d+id superconductivity to an increased density of states near the Fermi energy and an suppressed antiferromagnetic spin correlation after turning on the electric field. Our results strongly suggest the AA-stacked graphene system with electric field is a good candidate for chiral d+id superconductors.


title: Coarse Baum-Connes conjecture and rigidity for Roe algebras

abstract: In this paper, we connect the rigidity problem and the coarse Baum-Connes conjecture for Roe algebras. In particular, we show that if $X$ and $Y$ are two uniformly locally finite metric spaces such that their Roe algebras are $*$-isomorphic, then $X$ and $Y$ are coarsely equivalent provided either $X$ or $Y$ satisfies the coarse Baum-Connes conjecture with coefficients. It is well-known that coarse embeddability into a Hilbert space implies the coarse Baum-Connes conjecture with coefficients. On the other hand, we provide a new example of a finitely generated group satisfying the coarse Baum-Connes conjecture with coefficients but which does not coarsely embed into a Hilbert space.


title: Calculating $\beta$-function coefficients of Renormalization Group Equations

abstract: Renormalization Group Equations (RGEs) are indispensable tool to know the behavior of physical parameters at different energy scales. They are also extremely crucial if we want to extend our known Standard Model gauge group by some extra gauge groups and the $\beta$-functions are the soul of these RGEs. In literature although it is quite common to find long, final expressions of the RGEs, unfortunately it is difficult to find any pedagogical review to calculate these $\beta$-function coefficients explicitly from the known formulae. Therefore in this note we shall try to explain the detail calculations of RGEs by giving some explicit examples taken from the literature. The goal and hope is to provide a hand on experience on calculating these RGEs for the young readers.


title: On pointwise products of symmetric quasi Banach spaces and applications

abstract: Let $E_1,\;E_2$ be symmetric quasi Banach function spaces on $(0,\alpha)\;(0<\alpha\le\8)$. We study some properties of several constructions (the products $E_1(\M)\odot E_2(\M)$, the Calder$\rm\acute{o}$n spaces $E_1(\M)^\theta E_2(\M)^{1-\theta}$, the complex interpolation spaces $(E_1(\M),E_2(\M))_\theta$, the real interpolation method $(E_1(\M),E_2(\M))_{\theta,p}$) in the context of noncommutative symmetric quasi Banach spaces. Under some natural assumptions, we prove $$ (E_1(\M), E_2(\M))_\theta=E_1(\M)^\theta E_2(\M)^{1-\theta}=E_1^{(\frac{1}{\theta})}(\M)\odot E_2^{(\frac{1}{1-\theta})}(\M)\;(0<\theta<1). $$ As application, we extend these result to the noncommutative symmetric quasi Hardy spaces case. We also obtained the real case of Peter Jones' theorem for noncommutative symmetric quasi Hardy spaces.


title: Dark Matter and HI in Ultra-Diffuse Galaxy UGC 2162

abstract: Our GMRT HI observations of the ultra diffuse galaxy (UDG) UGC 2162, projected $\sim$ 300 kpc from the centre of the M77 group, reveal it to a have an extended HI disk (R$_{HI}$/R$_{25}$ $\sim$ 3.3) with a moderate rotational velocity (V$_{rot} \sim$ 31 km/s). This V$_{rot}$ is in line with that of dwarf galaxies with similar HI mass. We estimate an M$_{dyn}$ of $\sim$ 1.14 $\times$ 10$^{9}$ M$_\odot$ within the galaxy's R$_{HI}$ $\sim$ 5.2 kpc. Additionally, our estimates of M$_{200}$ for the galaxy from NFW models are in the range of 5.0 to 8.8 $\times$ 10$^{10}$ M$_\odot$. Comparing UGC 2162 to samples of UDGs with HI detections show it to have amongst the smallest R$_e$ with its M$_{HI}$/M$_{\star}$ being distinctly higher and g -- i colour slightly bluer than typical values in those samples. We also compared HI and dark matter (DM) halo properties of UGC 2162 with dwarf galaxies in the LITTLE THINGS sample and find its DM halo mass and profile are within the range expected for a dwarf galaxy. While we were unable to to determine the origin of the galaxy's present day optical form from our study, its normal HI rotation velocity in relation to its HI mass, HI morphology, environment and dwarf mass DM halo ruled out some of the proposed ultra diffuse galaxy formation scenarios for this galaxy.


title: Chiral spin liquids with crystalline $\mathbb{Z}_2$ gauge order in a three-dimensional Kitaev model

abstract: Chiral spin liquids (CSLs) are time-reversal symmetry breaking ground states of frustrated quantum magnets that show no long-range magnetic ordering, but instead exhibit topological order and fractional excitations. Their realization in simple and tractable microscopic models has, however, remained an open challenge for almost two decades until it was realized that Kitaev models on lattices with odd-length loops are natural hosts for such states, even in the absence of a time-reversal symmetry breaking magnetic field. Here we report on the formation of CSLs in a three-dimensional Kitaev model, which differ from their widely studied two-dimensional counterparts, namely, they exhibit a crystalline ordering of the $\mathbb{Z}_2$ gauge fluxes and thereby break some of the underlying lattice symmetries. We study the formation of these unconventional CSLs via extensive quantum Monte Carlo simulations and demonstrate that they are separated from the featureless paramagnet at high temperatures by a single first-order transition at which both time-reversal and lattice symmetries are simultaneously broken. Using variational approaches for the ground state, we explore the effect of varying the Kitaev couplings and find at least five distinct CSL phases, all of which possess crystalline ordering of the $\mathbb{Z}_2$ gauge fluxes. For some of these phases, the complementary itinerant Majorana fermions exhibit gapless band structures with topological features such as Weyl nodes or nodal lines in the bulk and Fermi arc or drumhead surface states.


title: Receding Horizon Optimization for Energy-Efficient UAV Communication

abstract: In this letter, we study a wireless communication system with a fixed-wing unmanned aerial vehicle (UAV) employed to collect information from a group of ground nodes (GNs). Our objective is to maximize the UAV's energy efficiency (EE), which is defined as the achievable rate among all GNs per unit propulsion energy consumption of the UAV. To efficiently solve this problem with continuous-time functions, we propose a new method based on receding horizon optimization (RHO), which significantly reduces the computational complexity compared to the conventional time discretization method. Specifically, we sequentially solve the EE maximization problem over a moving time-window of finite duration, for each of which the number of optimization variables is greatly reduced. Simulation results are provided to show the effectiveness of the proposed method.


title: An Overview for Markov Decision Processes in Queues and Networks

abstract: Markov decision processes (MDPs) in queues and networks have been an interesting topic in many practical areas since the 1960s. This paper provides a detailed overview on this topic and tracks the evolution of many basic results. Also, this paper summarizes several interesting directions in the future research. We hope that this overview can shed light to MDPs in queues and networks, and also to their extensive applications in various practical areas.


title: AdaCoF: Adaptive Collaboration of Flows for Video Frame Interpolation

abstract: Video frame interpolation is one of the most challenging tasks in video processing research. Recently, many studies based on deep learning have been suggested. Most of these methods focus on finding locations with useful information to estimate each output pixel using their own frame warping operations. However, many of them have Degrees of Freedom (DoF) limitations and fail to deal with the complex motions found in real world videos. To solve this problem, we propose a new warping module named Adaptive Collaboration of Flows (AdaCoF). Our method estimates both kernel weights and offset vectors for each target pixel to synthesize the output frame. AdaCoF is one of the most generalized warping modules compared to other approaches, and covers most of them as special cases of it. Therefore, it can deal with a significantly wide domain of complex motions. To further improve our framework and synthesize more realistic outputs, we introduce dual-frame adversarial loss which is applicable only to video frame interpolation tasks. The experimental results show that our method outperforms the state-of-the-art methods for both fixed training set environments and the Middlebury benchmark.


title: Approximate Numerical Integration of the Chemical Master Equation for Stochastic Reaction Networks

abstract: Numerical solution of the chemical master equation for stochastic reaction networks typically suffers from the state space explosion problem due to the curse of dimensionality and from stiffness due to multiple time scales. The dimension of the state space equals the number of molecular species involved in the reaction network and the size of the system of differential equations equals the number of states in the corresponding continuous-time Markov chain, which is usually enormously huge and often even infinite. Thus, efficient numerical solution approaches must be able to handle huge, possibly infinite and stiff systems of differential equations efficiently. We present an approximate numerical integration approach that combines a dynamical state space truncation procedure with efficient numerical integration schemes for systems of ordinary differential equations including adaptive step size selection based on local error estimates. The efficiency and accuracy is demonstrated by numerical examples.