title: Tidally Excited Oscillations in Heartbeat Binary Stars: Pulsation Phases and Mode Identification

abstract: Tidal forces in eccentric binary stars known as heartbeat stars excite detectable oscillations that shed light on the processes of tidal synchronization and circularization. We examine the pulsation phases of tidally excited oscillations (TEOs) in heartbeat binary systems. The target list includes four published heartbeat binaries and four additional systems observed by {\it Kepler}. To the first order, the pulsation phases of TEOs can be explained by the geometric effect of the dominant $l=2$, $m=0$, or $\pm 2$ modes assuming pulsations are adiabatic. We found that this simple theoretical interpretation can account for more than half of the systems on the list, assuming their spin and orbit axes are aligned. We do find significant deviations from the adiabatic predictions for some other systems, especially for the misaligned binary KIC 8164262. The deviations can potentially help to probe the non-adiabaticity of pulsation modes as well as resonances in the tidal forcing.


title: SSAH: Semi-supervised Adversarial Deep Hashing with Self-paced Hard Sample Generation

abstract: Deep hashing methods have been proved to be effective and efficient for large-scale Web media search. The success of these data-driven methods largely depends on collecting sufficient labeled data, which is usually a crucial limitation in practical cases. The current solutions to this issue utilize Generative Adversarial Network (GAN) to augment data in semi-supervised learning. However, existing GAN-based methods treat image generations and hashing learning as two isolated processes, leading to generation ineffectiveness. Besides, most works fail to exploit the semantic information in unlabeled data. In this paper, we propose a novel Semi-supervised Self-pace Adversarial Hashing method, named SSAH to solve the above problems in a unified framework. The SSAH method consists of an adversarial network (A-Net) and a hashing network (H-Net). To improve the quality of generative images, first, the A-Net learns hard samples with multi-scale occlusions and multi-angle rotated deformations which compete against the learning of accurate hashing codes. Second, we design a novel self-paced hard generation policy to gradually increase the hashing difficulty of generated samples. To make use of the semantic information in unlabeled ones, we propose a semi-supervised consistent loss. The experimental results show that our method can significantly improve state-of-the-art models on both the widely-used hashing datasets and fine-grained datasets.


title: Corruption-robust exploration in episodic reinforcement learning

abstract: We initiate the study of multi-stage episodic reinforcement learning under adversarial corruptions in both the rewards and the transition probabilities of the underlying system extending recent results for the special case of stochastic bandits. We provide a framework which modifies the aggressive exploration enjoyed by existing reinforcement learning approaches based on "optimism in the face of uncertainty", by complementing them with principles from "action elimination". Importantly, our framework circumvents the major challenges posed by naively applying action elimination in the RL setting, as formalized by a lower bound we demonstrate. Our framework yields efficient algorithms which (a) attain near-optimal regret in the absence of corruptions and (b) adapt to unknown levels corruption, enjoying regret guarantees which degrade gracefully in the total corruption encountered. To showcase the generality of our approach, we derive results for both tabular settings (where states and actions are finite) as well as linear-function-approximation settings (where the dynamics and rewards admit a linear underlying representation). Notably, our work provides the first sublinear regret guarantee which accommodates any deviation from purely i.i.d. transitions in the bandit-feedback model for episodic reinforcement learning.


title: Approximate Bayesian inference of seismic velocity and pore pressure uncertainty with basin modeling, rock physics and imaging constraints

abstract: We present a methodology for quantifying seismic velocity and pore pressure uncertainty that incorporates information regarding the geological history of a basin, rock physics, well log, drilling and seismic data. In particular, our approach relies on linking velocity models to the basin modeling outputs of porosity, mineral volume fractions and pore pressure through rock physics models. We account for geological uncertainty by defining prior probability distributions on uncertain parameters and performing Monte Carlo basin simulations. We perform probabilistic calibration of the basin model outputs by defining data likelihood distributions to represent well data uncertainty. Rock physics modeling transforms the basin modeling outputs to give us multiple velocity realizations used to perform multiple depth migrations. We present an approximate Bayesian inference framework which uses migration velocity analysis in conjunction with well data for updating velocity and basin modeling uncertainty. We apply our methodology in 2D to a real field case from Gulf of Mexico and demonstrate that our methodology allows building a geologic and physical model space for velocity and pore pressure prediction with reduced uncertainty.


title: DRNet: Dissect and Reconstruct the Convolutional Neural Network via Interpretable Manners

abstract: Convolutional neural networks (ConvNets) are widely used in real life. People usually use ConvNets which pre-trained on a fixed number of classes. However, for different application scenarios, we usually do not need all of the classes, which means ConvNets are redundant when dealing with these tasks. This paper focuses on the redundancy of ConvNet channels. We proposed a novel idea: using an interpretable manner to find the most important channels for every single class (dissect), and dynamically run channels according to classes in need (reconstruct). For VGG16 pre-trained on CIFAR-10, we only run 11\% parameters for two-classes sub-tasks on average with negligible accuracy loss. For VGG16 pre-trained on ImageNet, our method averagely gains 14.29\% accuracy promotion for two-classes sub-tasks. In addition, analysis show that our method captures some semantic meanings of channels, and uses the context information more targeted for sub-tasks of ConvNets.


title: Residual-based a posteriori error estimates of mixed methods for a three-field Biot's consolidation model

abstract: We present residual-based a posteriori error estimates of mixed finite element methods for the three-field formulation of Biot's consolidation model. The error estimator is an upper and lower bound of the space time discretization error up to data oscillation. As a by-product, we also obtain new a posteriori error estimate of mixed finite element methods for the heat equation.


title: Wigner functions in the Higher-Spin Einstein-Podolsky-Rosen-Bohm Experiment

abstract: The spin-$j$ extension of Bohm's version of the Einstein-Podolsky-Rosen experiment is is analysed in terms of the Wigner function when the two spins are in a singlet state. This function is calculated for all $j$, and it is shown that just as Bell inequalities are violated with undiminished range and magnitude for arbitarirly large $j$, this function does not become less negative. On the contrary, the oscillations between positive and negative values grow both in frequency and amplitude. It is argued that this is an alternative way to grasp the approach to classical behavior with increasing quantum number.


title: Photon statistics of quantum light on scattering from rotating ground glass

abstract: When a laser beam passes through a rotating ground glass (RGG), the scattered light exhibits thermal statistics. This is extensively used in speckle imaging. This scattering process has not been addressed in photon picture and is especially relevant if non-classical light is scattered by the RGG. We develop the photon picture for the scattering process using the Bose statistics for distributing $N$ photons in $M$ pixels. We obtain analytical form for the P-distribution of the output field in terms of the P-distribution of the input field. In particular we obtain a general relation for the $n$-th order correlation function of the scattered light, i.e., $g_{\text{out}}^{(n)}\simeq n!\,g_{\text{in}}^{(n)}$, which holds for any order-$n$ and for arbitrary input states. This result immediately recovers the classical transformation of coherent light to pseudo-thermal light by RGG.


title: Refined analysis on the parton distribution functions of the proton

abstract: We explore the application of a two-component model of proton structure functions in the analysis of deep-inelastic scattering (DIS) data at low $Q^2$ and small $x$. This model incorporates both vector meson dominance and the correct photo-production limit. The CJ15 parameterization is applied to the QCD component, in order to take into account effects of order $1/Q^2$ effects, such as target mass corrections and higher twist contributions. The parameters of the leading twist parton distribution functions and higher twist coefficient functions are determined by fitting deep inelastic scattering data. The second moments of the parton distribution functions are extracted and compared with other global fits and lattice determinations.


title: Where is the Bottleneck of Adversarial Learning with Unlabeled Data?

abstract: Deep neural networks (DNNs) are incredibly brittle due to adversarial examples. To robustify DNNs, adversarial training was proposed, which requires large-scale but well-labeled data. However, it is quite expensive to annotate large-scale data well. To compensate for this shortage, several seminal works are utilizing large-scale unlabeled data. In this paper, we observe that seminal works do not perform well, since the quality of pseudo labels on unlabeled data is quite poor, especially when the amount of unlabeled data is significantly larger than that of labeled data. We believe that the quality of pseudo labels is the bottleneck of adversarial learning with unlabeled data. To tackle this bottleneck, we leverage deep co-training, which trains two deep networks and encourages two networks diverged by exploiting peer's adversarial examples. Based on deep co-training, we propose robust co-training (RCT) for adversarial learning with unlabeled data. We conduct comprehensive experiments on CIFAR-10 and SVHN datasets. Empirical results demonstrate that our RCT can significantly outperform baselines (e.g., robust self-training (RST)) in both standard test accuracy and robust test accuracy w.r.t. different datasets, different network structures, and different types of adversarial training.


title: Linear quantum measurement theory of matter-wave interferometry

abstract: The theory of linear quantum measurement has been developed for analysing the sensitivities of experimental devices that measure extremely weak signals, such as gravitational waves. It has successfully contributed to the theoretical understanding of laser interferometer gravitational-wave detectors (used by LIGO, VIRGO and KaGRA) and helped many important experimental upgrades. In this work, we establish a linear quantum measurement theory for another kind of measurement device--- matter wave interferometers, which has been widely discussed as an important platform for many high-precision experiments. This theory allows us to account for both atom and light fluctuations, and leads to a detailed analysis of back-action in matter-wave interferometry (action of light back onto the atoms) and its effect on dynamics and measurement noise. From this analysis, we obtain a Standard Quantum Limit (SQL) for matter-wave interferometry. A comparison between the LIGO detector and matter wave interferometer is also given from the perspective of quantum measurement.


title: EmpDG: Multiresolution Interactive Empathetic Dialogue Generation

abstract: A humanized dialogue system is expected to generate empathetic replies, which should be sensitive to the users' expressed emotion. The task of empathetic dialogue generation is proposed to address this problem. The essential challenges lie in accurately capturing the nuances of human emotion and considering the potential of user feedback, which are overlooked by the majority of existing work. In response to this problem, we propose a multi-resolution adversarial model -- EmpDG, to generate more empathetic responses. EmpDG exploits both the coarse-grained dialogue-level and fine-grained token-level emotions, the latter of which helps to better capture the nuances of user emotion. In addition, we introduce an interactive adversarial learning framework which exploits the user feedback, to identify whether the generated responses evoke emotion perceptivity in dialogues. Experimental results show that the proposed approach significantly outperforms the state-of-the-art baselines in both content quality and emotion perceptivity.


title: Complexity Reduction in Density Functional Theory Calculations of Large Systems: System Partitioning and Fragment Embedding

abstract: With the development of low order scaling methods for performing Kohn-Sham Density Functional Theory, it is now possible to perform fully quantum mechanical calculations of systems containing tens of thousands of atoms. However, with an increase in the size of system treated comes an increase in complexity, making it challenging to analyze such large systems and determine the cause of emergent properties. To address this issue, in this paper we present a systematic complexity reduction methodology which can break down large systems into their constituent fragments, and quantify inter-fragment interactions. The methodology proposed here requires no a priori information or user interaction, allowing a single workflow to be automatically applied to any system of interest. We apply this approach to a variety of different systems, and show how it allows for the derivation of new system descriptors, the design of QM/MM partitioning schemes, and the novel application of graph metrics to molecules and materials.


title: Tightness of the semidefinite relaxation for orthogonal trace-sum maximization

abstract: This paper studies an optimization problem on the sum of traces of matrix quadratic forms on $m$ orthogonal matrices, which can be considered as a generalization of the synchronization of rotations. While the problem is nonconvex, the paper shows that its semidefinite programming relaxation can solve the original nonconvex problems exactly, under an additive noise model with small noise in the order of $O(-m^{1/4})$, where $m$ is the number of orthogonal matrices. This result can be considered as a generalization of existing results on phase synchronization.


title: Bayesian Curiosity for Efficient Exploration in Reinforcement Learning

abstract: Balancing exploration and exploitation is a fundamental part of reinforcement learning, yet most state-of-the-art algorithms use a naive exploration protocol like $\epsilon$-greedy. This contributes to the problem of high sample complexity, as the algorithm wastes effort by repeatedly visiting parts of the state space that have already been explored. We introduce a novel method based on Bayesian linear regression and latent space embedding to generate an intrinsic reward signal that encourages the learning agent to seek out unexplored parts of the state space. This method is computationally efficient, simple to implement, and can extend any state-of-the-art reinforcement learning algorithm. We evaluate the method on a range of algorithms and challenging control tasks, on both simulated and physical robots, demonstrating how the proposed method can significantly improve sample complexity.


title: Harmonic Partitions of Positive Integers and Bosonic Extension of Euler's Pentagonal Number Theorem

abstract: In this paper, we first propose a cohomological derivation of the celebrated Euler's Pentagonal Number Theorem. Then we prove an identity that corresponds to a bosonic extension of the theorem. The proof corresponds to a cohomological re-derivation of Euler's another celebrated identity.


title: Bayesian sparse convex clustering via global-local shrinkage priors

abstract: Sparse convex clustering is to cluster observations and conduct variable selection simultaneously in the framework of convex clustering. Although a weighted $L_1$ norm is usually employed for the regularization term in sparse convex clustering, its use increases the dependence on the data and reduces the estimation accuracy if the sample size is not sufficient. To tackle these problems, this paper proposes a Bayesian sparse convex clustering method based on the ideas of Bayesian lasso and global-local shrinkage priors. We introduce Gibbs sampling algorithms for our method using scale mixtures of normal distributions. The effectiveness of the proposed methods is shown in simulation studies and a real data analysis.


title: Node Max-Cut and Computing Equilibria in Linear Weighted Congestion Games

abstract: In this work, we seek a more refined understanding of the complexity of local optimum computation for Max-Cut and pure Nash equilibrium (PNE) computation for congestion games with weighted players and linear latency functions. We show that computing a PNE of linear weighted congestion games is PLS-complete either for very restricted strategy spaces, namely when player strategies are paths on a series-parallel network with a single origin and destination, or for very restricted latency functions, namely when the latency on each resource is equal to the congestion. Our results reveal a remarkable gap regarding the complexity of PNE in congestion games with weighted and unweighted players, since in case of unweighted players, a PNE can be easily computed by either a simple greedy algorithm (for series-parallel networks) or any better response dynamics (when the latency is equal to the congestion). For the latter of the results above, we need to show first that computing a local optimum of a natural restriction of Max-Cut, which we call \emph{Node-Max-Cut}, is PLS-complete. In Node-Max-Cut, the input graph is vertex-weighted and the weight of each edge is equal to the product of the weights of its endpoints. Due to the very restricted nature of Node-Max-Cut, the reduction requires a careful combination of new gadgets with ideas and techniques from previous work. We also show how to compute efficiently a $(1+\eps)$-approximate equilibrium for Node-Max-Cut, if the number of different vertex weights is constant.


title: Computer-Aided Clinical Skin Disease Diagnosis Using CNN and Object Detection Models

abstract: Skin disease is one of the most common types of human diseases, which may happen to everyone regardless of age, gender or race. Due to the high visual diversity, human diagnosis highly relies on personal experience; and there is a serious shortage of experienced dermatologists in many countries. To alleviate this problem, computer-aided diagnosis with state-of-the-art (SOTA) machine learning techniques would be a promising solution. In this paper, we aim at understanding the performance of convolutional neural network (CNN) based approaches. We first build two versions of skin disease datasets from Internet images: (a) Skin-10, which contains 10 common classes of skin disease with a total of 10,218 images; (b) Skin-100, which is a larger dataset that consists of 19,807 images of 100 skin disease classes. Based on these datasets, we benchmark several SOTA CNN models and show that the accuracy of skin-100 is much lower than the accuracy of skin-10. We then implement an ensemble method based on several CNN models and achieve the best accuracy of 79.01\% for Skin-10 and 53.54\% for Skin-100. We also present an object detection based approach by introducing bounding boxes into the Skin-10 dataset. Our results show that object detection can help improve the accuracy of some skin disease classes.


title: Controlling Neural Machine Translation Formality with Synthetic Supervision

abstract: This work aims to produce translations that convey source language content at a formality level that is appropriate for a particular audience. Framing this problem as a neural sequence-to-sequence task ideally requires training triplets consisting of a bilingual sentence pair labeled with target language formality. However, in practice, available training examples are limited to English sentence pairs of different styles, and bilingual parallel sentences of unknown formality. We introduce a novel training scheme for multi-task models that automatically generates synthetic training triplets by inferring the missing element on the fly, thus enabling end-to-end training. Comprehensive automatic and human assessments show that our best model outperforms existing models by producing translations that better match desired formality levels while preserving the source meaning.


title: Iterative classical superadiabatic algorithm for combinatorial optimization

abstract: We consider a classical and superadiabatic version of an iterative quantum adiabatic algorithm to solve combinatorial optimization problems. This algorithm is deterministic because it is based on purely classical dynamics, that is, it does not rely on any stochastic approach to mimic quantum dynamics. Moreover, use of shortcuts to adiabaticity makes the algorithm independent of the annealing time. We apply this algorithm to a certain class of hard instances of the 3-SAT problem. We find that more than 90\% of such 64-bits hard instances can be resolved by a few iteration. Our approach can also be used to analyze properties of instances themselves apart from stochastic uncertainty and shortage of adiabaticity.


title: Take an Emotion Walk: Perceiving Emotions from Gaits Using Hierarchical Attention Pooling and Affective Mapping

abstract: We present an autoencoder-based semi-supervised approach to classify perceived human emotions from walking styles obtained from videos or motion-captured data and represented as sequences of 3D poses. Given the motion on each joint in the pose at each time step extracted from 3D pose sequences, we hierarchically pool these joint motions in a bottom-up manner in the encoder, following the kinematic chains in the human body. We also constrain the latent embeddings of the encoder to contain the space of psychologically-motivated affective features underlying the gaits. We train the decoder to reconstruct the motions per joint per time step in a top-down manner from the latent embeddings. For the annotated data, we also train a classifier to map the latent embeddings to emotion labels. Our semi-supervised approach achieves a mean average precision of 0.84 on the Emotion-Gait benchmark dataset, which contains both labeled and unlabeled gaits collected from multiple sources. We outperform current state-of-art algorithms for both emotion recognition and action recognition from 3D gaits by 7%--23% on the absolute. More importantly, we improve the average precision by 10%--50% on the absolute on classes that each makes up less than 25% of the labeled part of the Emotion-Gait benchmark dataset.


title: Graph-Driven Generative Models for Heterogeneous Multi-Task Learning

abstract: We propose a novel graph-driven generative model, that unifies multiple heterogeneous learning tasks into the same framework. The proposed model is based on the fact that heterogeneous learning tasks, which correspond to different generative processes, often rely on data with a shared graph structure. Accordingly, our model combines a graph convolutional network (GCN) with multiple variational autoencoders, thus embedding the nodes of the graph i.e., samples for the tasks) in a uniform manner while specializing their organization and usage to different tasks. With a focus on healthcare applications (tasks), including clinical topic modeling, procedure recommendation and admission-type prediction, we demonstrate that our method successfully leverages information across different tasks, boosting performance in all tasks and outperforming existing state-of-the-art approaches.


title: Phase retrieval for sub-Gaussian measurements

abstract: Generally, phase retrieval problem can be viewed as the reconstruction of a function/signal from only the magnitude of the linear measurements. These measurements can be, for example, the Fourier transform of the density function. Computationally the phase retrieval problem is very challenging. Many algorithms for phase retrieval are based on i.i.d. Gaussian random measurements. However, Gaussian random measurements remain one of the very few classes of measurements. In this paper, we develop an efficient phase retrieval algorithm for sub-gaussian random frames. We provide a general condition for measurements and develop a modified spectral initialization. In the algorithm, we first obtain a good approximation of the solution through the initialization, and from there we useWirtinger Flow to solve for the solution. We prove that the algorithm converges to the global minimizer linearly.


title: Dual Reconstruction with Densely Connected Residual Network for Single Image Super-Resolution

abstract: Deep learning-based single image super-resolution enables very fast and high-visual-quality reconstruction. Recently, an enhanced super-resolution based on generative adversarial network (ESRGAN) has achieved excellent performance in terms of both qualitative and quantitative quality of the reconstructed high-resolution image. In this paper, we propose to add one more shortcut between two dense-blocks, as well as add shortcut between two convolution layers inside a dense-block. With this simple strategy of adding more shortcuts in the proposed network, it enables a faster learning process as the gradient information can be back-propagated more easily. Based on the improved ESRGAN, the dual reconstruction is proposed to learn different aspects of the super-resolved image for judiciously enhancing the quality of the reconstructed image. In practice, the super-resolution model is pre-trained solely based on pixel distance, followed by fine-tuning the parameters in the model based on adversarial loss and perceptual loss. Finally, we fuse two different models by weighted-summing their parameters to obtain the final super-resolution model. Experimental results demonstrated that the proposed method achieves excellent performance in the real-world image super-resolution challenge. We have also verified that the proposed dual reconstruction does further improve the quality of the reconstructed image in terms of both PSNR and SSIM.


title: Instance-Invariant Domain Adaptive Object Detection via Progressive Disentanglement

abstract: Most state-of-the-art methods of object detection suffer from poor generalization ability when the training and test data are from different domains, e.g., with different styles. To address this problem, previous methods mainly use holistic representations to align feature-level and pixel-level distributions of different domains, which may neglect the instance-level characteristics of objects in images. Besides, when transferring detection ability across different domains, it is important to obtain the instance-level features that are domain-invariant, instead of the styles that are domain-specific. Therefore, in order to extract instance-invariant features, we should disentangle the domain-invariant features from the domain-specific features. To this end, a progressive disentangled framework is first proposed to solve domain adaptive object detection. Particularly, base on disentangled learning used for feature decomposition, we devise two disentangled layers to decompose domain-invariant and domain-specific features. And the instance-invariant features are extracted based on the domain-invariant features. Finally, to enhance the disentanglement, a three-stage training mechanism including multiple loss functions is devised to optimize our model. In the experiment, we verify the effectiveness of our method on three domain-shift scenes. Our method is separately 2.3\%, 3.6\%, and 4.0\% higher than the baseline method \cite{saito2019strong}.


title: A Decomposition Method for Distributionally-Robust Two-stage Stochastic Mixed-integer Cone Programs

abstract: We develop a decomposition algorithm for distributionally-robust two-stage stochastic mixed-integer convex cone programs, and its important special case of distributionally-robust two-stage stochastic mixed-integer second order cone programs. This generalizes the algorithm proposed by Sen and Sherali~[Mathematical Programming 106(2): 203-223, 2006]. We show that the proposed algorithm is finitely convergent if the second-stage problems are solved to optimality at incumbent first stage solutions, and solution to an optimization problem to identify worst-case probability distribution is available. The second stage problems can be solved using a branch-and-cut algorithm. The decomposition algorithm is illustrated with an example. Computational results on a stochastic programming generalization of a facility location problem show significant solution time improvements from the proposed approach. Solutions for many models that are intractable for an extensive form formulation become possible. Computational results suggest that solution time requirement does not increase significantly when considering distributional robust counterparts to the stochastic programming models.


title: Electron EM-mass melting in strong fields

abstract: We study the response of the electron mass to an externally applied electrical field. As a consequence of nonlinear electromagnetic (EM) effective action, the mass of a particle diminishes in the presence of an externally applied electric field. We consider modification of the muon anomalous magnetic moment $g-2$ due to electron loop insert in higher order. Since the virtual electron pair is in close proximity to the muon, it experiences strong field phenomena. We show that the current theory-experiment muon $g-2$ discrepancy could originate in the (virtual) electron mass \textit{non-perturbative} modification by the strong muon EM field. The magnitude of the electron mass modification can be also assessed via enhancement of $e^+e^-$-pair production in strong fields.


title: An Inception Inspired Deep Network to Analyse Fundus Images

abstract: A fundus image usually contains the optic disc, pathologies and other structures in addition to vessels to be segmented. This study proposes a deep network for vessel segmentation, whose architecture is inspired by inception modules. The network contains three sub-networks, each with a different filter size, which are connected in the last layer of the proposed network. According to experiments conducted in the DRIVE and IOSTAR, the performance of our network is found to be better than or comparable to that of the previous methods. We also observe that the sub-networks pay attention to different parts of an input image when producing an output map in the last layer of the proposed network; though, training of the proposed network is not constrained for this purpose.


title: DermGAN: Synthetic Generation of Clinical Skin Images with Pathology

abstract: Despite the recent success in applying supervised deep learning to medical imaging tasks, the problem of obtaining large and diverse expert-annotated datasets required for the development of high performant models remains particularly challenging. In this work, we explore the possibility of using Generative Adverserial Networks (GAN) to synthesize clinical images with skin condition. We propose DermGAN, an adaptation of the popular Pix2Pix architecture, to create synthetic images for a pre-specified skin condition while being able to vary its size, location and the underlying skin color. We demonstrate that the generated images are of high fidelity using objective GAN evaluation metrics. In a Human Turing test, we note that the synthetic images are not only visually similar to real images, but also embody the respective skin condition in dermatologists' eyes. Finally, when using the synthetic images as a data augmentation technique for training a skin condition classifier, we observe that the model performs comparably to the baseline model overall while improving on rare but malignant conditions.


title: Fine-Tuning by Curriculum Learning for Non-Autoregressive Neural Machine Translation

abstract: Non-autoregressive translation (NAT) models remove the dependence on previous target tokens and generate all target tokens in parallel, resulting in significant inference speedup but at the cost of inferior translation accuracy compared to autoregressive translation (AT) models. Considering that AT models have higher accuracy and are easier to train than NAT models, and both of them share the same model configurations, a natural idea to improve the accuracy of NAT models is to transfer a well-trained AT model to an NAT model through fine-tuning. However, since AT and NAT models differ greatly in training strategy, straightforward fine-tuning does not work well. In this work, we introduce curriculum learning into fine-tuning for NAT. Specifically, we design a curriculum in the fine-tuning process to progressively switch the training from autoregressive generation to non-autoregressive generation. Experiments on four benchmark translation datasets show that the proposed method achieves good improvement (more than $1$ BLEU score) over previous NAT baselines in terms of translation accuracy, and greatly speed up (more than $10$ times) the inference process over AT baselines.


title: Towards Ghost-free Shadow Removal via Dual Hierarchical Aggregation Network and Shadow Matting GAN

abstract: Shadow removal is an essential task for scene understanding. Many studies consider only matching the image contents, which often causes two types of ghosts: color in-consistencies in shadow regions or artifacts on shadow boundaries. In this paper, we tackle these issues in two ways. First, to carefully learn the border artifacts-free image, we propose a novel network structure named the dual hierarchically aggregation network~(DHAN). It contains a series of growth dilated convolutions as the backbone without any down-samplings, and we hierarchically aggregate multi-context features for attention and prediction, respectively. Second, we argue that training on a limited dataset restricts the textural understanding of the network, which leads to the shadow region color in-consistencies. Currently, the largest dataset contains 2k+ shadow/shadow-free image pairs. However, it has only 0.1k+ unique scenes since many samples share exactly the same background with different shadow positions. Thus, we design a shadow matting generative adversarial network~(SMGAN) to synthesize realistic shadow mattings from a given shadow mask and shadow-free image. With the help of novel masks or scenes, we enhance the current datasets using synthesized shadow images. Experiments show that our DHAN can erase the shadows and produce high-quality ghost-free images. After training on the synthesized and real datasets, our network outperforms other state-of-the-art methods by a large margin. The code is available: http://github.com/vinthony/ghost-free-shadow-removal/


title: A Geometric Branch and Bound Method for a Class of Robust Maximization Problems of Convex Functions

abstract: We investigate robust optimization problems defined for maximizing convex functions. For finite uncertainty set, we develop a geometric branch-and-bound algorithmic approach to solve this problem. The geometric branch-and-bound algorithm performs sequential piecewise-linear approximations of the convex objective, and solves linear programs to determine lower and upper bounds of nodes specified by the active linear pieces. Finite convergence of the algorithm to an $\epsilon-$optimal solution is proved. Numerical results are used to discuss the performance of the developed algorithm. The algorithm developed in this paper can be used as an oracle in the cutting surface method for solving robust optimization problems with compact ambiguity sets.


title: Generalized F-signatures of Hibi rings

abstract: The $F$-signature is a numerical invariant defined by the number of free direct summands in the Frobenius push-forward, and it measures singularities in positive characteristic. It can be generalized by focussing on the number of non-free direct summands. In this paper, we provide several methods to compute the (generalized) $F$-signature of a Hibi ring which is a special class of toric rings. In particular, we show that it can be computed by counting the elements in the symmetric group satisfying certain conditions. As an application, we also give the formula of the (generalized) $F$-signature for some Segre products of polynomial rings.


title: Probing Long-lived Particles at Higgs Factories

abstract: We study displaced vertex signatures of long-lived particles (LLPs) from exotic Higgs decays in the context of a Higgs-portal model and a neutral-naturalness model at the CEPC and FCC-ee. Such two models feature two representative mass ranges for LLPs, which show very different behavior in their decay signatures. The Higgs-portal model contains a very light sub-GeV scalar boson stemming from a singlet scalar field appended to the Standard Model. Such a light scalar LLP decays into a pair of muons or pions, giving rise to a distinctive signature of collimated muon-jet or pion-jet, thanks to the sub-GeV mass. On the other hand, the neutral-naturalness model, e.g., folded supersymmetry, predicts the lightest mirror glueball of mass $O(10)$ GeV, giving rise to long decays with a large transverse impact parameter because of the relatively large mass. Utilizing such distinct characteristics to remove the background, we estimate the sensitivities of searches for light scalar bosons and mirror glueballs at the CEPC and FCC-ee. We find either complementary or stronger coverage compared to the previous results in the similar contexts.


title: Small cap decoupling inequalities: Bilinear methods

abstract: We obtain sharp small cap decoupling inequalities associated to the moment curve for certain range of exponents $p$. Our method is based on the bilinearization argument due to Bourgain and Bourgain-Demeter. Our result generalizes theirs to all higher dimensions.


title: Deep Minimax Probability Machine

abstract: Deep neural networks enjoy a powerful representation and have proven effective in a number of applications. However, recent advances show that deep neural networks are vulnerable to adversarial attacks incurred by the so-called adversarial examples. Although the adversarial example is only slightly different from the input sample, the neural network classifies it as the wrong class. In order to alleviate this problem, we propose the Deep Minimax Probability Machine (DeepMPM), which applies MPM to deep neural networks in an end-to-end fashion. In a worst-case scenario, MPM tries to minimize an upper bound of misclassification probabilities, considering the global information (i.e., mean and covariance information of each class). DeepMPM can be more robust since it learns the worst-case bound on the probability of misclassification of future data. Experiments on two real-world datasets can achieve comparable classification performance with CNN, while can be more robust on adversarial attacks.


title: Fast and Flexible Image Blind Denoising via Competition of Experts

abstract: Fast and flexible processing are two essential requirements for a number of practical applications of image denoising. Current state-of-the-art methods, however, still require either high computational cost or limited scopes of the target. We introduce an efficient ensemble network trained via a competition of expert networks, as an application for image blind denoising. We realize automatic division of unlabeled noisy datasets into clusters respectively optimized to enhance denoising performance. The architecture is scalable, can be extended to deal with diverse noise sources/levels without increasing the computation time. Taking advantage of this method, we save up to approximately 90% of computational cost without sacrifice of the denoising performance compared to single network models with identical architectures. We also compare the proposed method with several existing algorithms and observe significant outperformance over prior arts in terms of computational efficiency.


title: Assessment and adjustment of approximate inference algorithms using the law of total variance

abstract: A common method for assessing validity of Bayesian sampling or approximate inference methods makes use of simulated data replicates for parameters drawn from the prior. Under continuity assumptions, quantiles of functions of the simulated parameter values within corresponding posterior distributions are uniformly distributed. Checking for uniformity when a posterior density is approximated numerically provides a diagnostic for algorithm validity. Furthermore, adjustments to achieve uniformity can improve the quality of approximate inference methods. A weakness of this general approach is that it seems difficult to extend beyond scalar functions of interest. The present article develops an alternative to quantile-based checking and adjustment methods which is inherently multivariate. The new approach is based on use of the tower property of conditional expectation and the law of total variance for relating prior and posterior expectations and covariances. For adjustment, approximate inferences are modified so that the correct prior to posterior relationships hold. We illustrate the method in three examples. The first uses an auxiliary model in a likelihood-free inference problem. The second considers corrections for variational Bayes approximations in a deep neural network generalized linear mixed model. Our final application considers a deep neural network surrogate for approximating Gaussian process regression predictive inference.


title: Cosmic cable

abstract: I investigate the relativistic mechanics of an extended "cable" in an arbitrary static, spherically symmetric spacetime. Such hypothetical bodies have been proposed as tests of energy and thermodynamics: by lowering objects toward a black hole, scooping up Hawking radiation, or mining energy from the expansion of the universe. I review existing work on stationary cables, which demonstrates an interesting "redshift" of tension, and extend to a case of rigid motion. By using a partly restrained cable to turn a turbine, the energy harvested is up to the equivalent of the cable's rest mass, concurring with the quasistatic case. Still, the total Killing energy of the system is conserved.


title: Layer-wise Adaptive Gradient Sparsification for Distributed Deep Learning with Convergence Guarantees

abstract: To reduce the long training time of large deep neural network (DNN) models, distributed synchronous stochastic gradient descent (S-SGD) is commonly used on a cluster of workers. However, the speedup brought by multiple workers is limited by the communication overhead. Two approaches, namely pipelining and gradient sparsification, have been separately proposed to alleviate the impact of communication overheads. Yet, the gradient sparsification methods can only initiate the communication after the backpropagation, and hence miss the pipelining opportunity. In this paper, we propose a new distributed optimization method named LAGS-SGD, which combines S-SGD with a novel layer-wise adaptive gradient sparsification (LAGS) scheme. In LAGS-SGD, every worker selects a small set of "significant" gradients from each layer independently whose size can be adaptive to the communication-to-computation ratio of that layer. The layer-wise nature of LAGS-SGD opens the opportunity of overlapping communications with computations, while the adaptive nature of LAGS-SGD makes it flexible to control the communication time. We prove that LAGS-SGD has convergence guarantees and it has the same order of convergence rate as vanilla S-SGD under a weak analytical assumption. Extensive experiments are conducted to verify the analytical assumption and the convergence performance of LAGS-SGD. Experimental results on a 16-GPU cluster show that LAGS-SGD outperforms the original S-SGD and existing sparsified S-SGD without losing obvious model accuracy.


title: A Locking-Free $P_0$ Finite Element Method for Linear Elasticity Equations on Polytopal Partitions

abstract: This article presents a $P_0$ finite element method for boundary value problems for linear elasticity equations. The new method makes use of piecewise constant approximating functions on the boundary of each polytopal element, and is devised by simplifying and modifying the weak Galerkin finite element method based on $P_1/P_0$ approximations for the displacement. This new scheme includes a tangential stability term on top of the simplified weak Galerkin to ensure the necessary stability due to the rigid motion. The new method involves a small number of unknowns on each element; it is user-friendly in computer implementation; and the element stiffness matrix can be easily computed for general polytopal elements. The numerical method is of second order accurate, locking-free in the nearly incompressible limit, ease polytopal partitions in practical computation. Error estimates in $H^1$, $L^2$, and some negative norms are established for the corresponding numerical displacement. Numerical results are reported for several 2D and 3D test problems, including the classical benchmark Cook's membrane problem in two dimensions as well as some three dimensional problems involving shear loaded phenomenon. The numerical results show clearly the simplicity, stability, accuracy, and the efficiency of the new method.


title: Response Transformation and Profit Decomposition for Revenue Uplift Modeling

abstract: Uplift models support decision-making in marketing campaign planning. Estimating the causal effect of a marketing treatment, an uplift model facilitates targeting communication to responsive customers and efficient allocation of marketing budgets. Research into uplift models focuses on conversion models to maximize incremental sales. The paper introduces uplift modeling strategies for maximizing incremental revenues. If customers differ in their spending behavior, revenue maximization is a more plausible business objective compared to maximizing conversions. The proposed methodology entails a transformation of the prediction target, customer-level revenues, that facilitates implementing a causal uplift model using standard machine learning algorithms. The distribution of campaign revenues is typically zero-inflated because of many non-buyers. Remedies to this modeling challenge are incorporated in the proposed revenue uplift strategies in the form of two-stage models. Empirical experiments using real-world e-commerce data confirm the merits of the proposed revenue uplift strategy over relevant alternatives including uplift models for conver-sion and recently developed causal machine learning algorithms. To quantify the degree to which improved targeting decisions raise return on marketing, the paper develops a decomposition of campaign profit. Applying the decomposition to a digital coupon targeting campaign, the paper provides evidence that revenue uplift modeling, as well as causal machine learning, can improve cam-paign profit substantially.


title: Event-based Object Detection and Tracking for Space Situational Awareness

abstract: In this work, we present optical space imaging using an unconventional yet promising class of imaging devices known as neuromorphic event-based sensors. These devices, which are modeled on the human retina, do not operate with frames, but rather generate asynchronous streams of events in response to changes in log-illumination at each pixel. These devices are therefore extremely fast, do not have fixed exposure times, allow for imaging whilst the device is moving and enable low power space imaging during daytime as well as night without modification of the sensors. Recorded at multiple remote sites, we present the first event-based space imaging dataset including recordings from multiple event-based sensors from multiple providers, greatly lowering the barrier to entry for other researchers given the scarcity of such sensors and the expertise required to operate them. The dataset contains 236 separate recordings and 572 labeled resident space objects. The event-based imaging paradigm presents unique opportunities and challenges motivating the development of specialized event-based algorithms that can perform tasks such as detection and tracking in an event-based manner. Here we examine a range of such event-based algorithms for detection and tracking. The presented methods are designed specifically for space situational awareness applications and are evaluated in terms of accuracy and speed and suitability for implementation in neuromorphic hardware on remote or space-based imaging platforms.


title: Distributionally Robust Neural Networks for Group Shifts: On the Importance of Regularization for Worst-Case Generalization

abstract: Overparameterized neural networks can be highly accurate on average on an i.i.d. test set yet consistently fail on atypical groups of the data (e.g., by learning spurious correlations that hold on average but not in such groups). Distributionally robust optimization (DRO) allows us to learn models that instead minimize the worst-case training loss over a set of pre-defined groups. However, we find that naively applying group DRO to overparameterized neural networks fails: these models can perfectly fit the training data, and any model with vanishing average training loss also already has vanishing worst-case training loss. Instead, the poor worst-case performance arises from poor generalization on some groups. By coupling group DRO models with increased regularization---a stronger-than-typical L2 penalty or early stopping---we achieve substantially higher worst-group accuracies, with 10-40 percentage point improvements on a natural language inference task and two image tasks, while maintaining high average accuracies. Our results suggest that regularization is important for worst-group generalization in the overparameterized regime, even if it is not needed for average generalization. Finally, we introduce a stochastic optimization algorithm, with convergence guarantees, to efficiently train group DRO models.


title: A crystal on decreasing factorizations in the $0$-Hecke monoid

abstract: We introduce a type $A$ crystal structure on decreasing factorizations of fully-commutative elements in the 0-Hecke monoid which we call $\star$-crystal. This crystal is a $K$-theoretic generalization of the crystal on decreasing factorizations in the symmetric group of the first and last author. We prove that under the residue map the $\star$-crystal intertwines with the crystal on set-valued tableaux recently introduced by Monical, Pechenik and Scrimshaw. We also define a new insertion from decreasing factorization to pairs of semistandard Young tableaux and prove several properties, such as its relation to the Hecke insertion and the uncrowding algorithm. The new insertion also intertwines with the crystal operators.


title: Scattering rate collapse driven by a van Hove singularity in the Dirac semi-metal PdTe$_{2}$

abstract: We present optical measurements of the transition metal dichalcogenide PdTe$_{2}$. The reflectivity displays an unusual temperature and energy dependence in the far-infrared, which we show can only be explained by a collapse of the scattering rate at low temperature, resulting from the vicinity of a van Hove singularity near the Fermi energy. An analysis of the optical conductivity suggests that below 150 K a reduction in the available phase space for scattering takes place, resulting in long-lived quasiparticle excitations. We suggest that this reduction in phase space provides experimental evidence for a van Hove singularity close to the Fermi level. Our data furthermore indicates a very weak electron-phonon coupling. Combined this suggests that the superconducting transition temperature is set by the density of states associated with the van Hove singularity.


title: Cluster correlation and nuclear vorticity in low-lying $1^-$ states of $^{24}$Mg

abstract: We investigated cluster correlation and nuclear voricity in low-lying $1^-$ states of $^{24}$Mg within antisymmetrized molecular dynamics framework. We found that the toroidal and compressional dipole modes separately appear as the $K=1$ and $K=0$ states. The $1^-$ ($K=1$) state is the toroidal dipole state with the strong nuclear vorticity but no prominent cluster structure, and the $1^-$ ($K=0$) state is the compressional dipole state having enhanced cluster structure but has the weaker vorticity.


title: The role of Hume-Rothery's rules play in the MAX phases formability

abstract: MAX phases are a family of layered, hexagonal-structure ternary carbides or nitrides of a transitional metal and an A-group element. What makes this type of material fascinating and potentially useful is their remarkable combinations of metallic and ceramic characteristics; as well as the indispensable role in 'top-down' synthesis of their 2D counterparts, MXenes. To enhance the efficiency in the successful search for potential novel MAX phases, the main efforts could go toward creating an informationprediction system incorporating all MAX phases' databases, as well as generally valid principles and the high-quality regularities. In this work, we employ structure mapping methodology, which has shown its merit of being useful guides in materials design, with Hume-Rothery parameters to provide guiding principles in the search of novel MAX phases. The formable/non-formable data on MAX phases can be ordered within a twodimensional plot by using proposed expression of geometrical and electron concentration factors.


title: Pan-Cancer Diagnostic Consensus Through Searching Archival Histopathology Images Using Artificial Intelligence

abstract: The emergence of digital pathology has opened new horizons for histopathology and cytology. Artificial-intelligence algorithms are able to operate on digitized slides to assist pathologists with diagnostic tasks. Whereas machine learning involving classification and segmentation methods have obvious benefits for image analysis in pathology, image search represents a fundamental shift in computational pathology. Matching the pathology of new patients with already diagnosed and curated cases offers pathologist a novel approach to improve diagnostic accuracy through visual inspection of similar cases and computational majority vote for consensus building. In this study, we report the results from searching the largest public repository (The Cancer Genome Atlas [TCGA] program by National Cancer Institute, USA) of whole slide images from almost 11,000 patients depicting different types of malignancies. For the first time, we successfully indexed and searched almost 30,000 high-resolution digitized slides constituting 16 terabytes of data comprised of 20 million 1000x1000 pixels image patches. The TCGA image database covers 25 anatomic sites and contains 32 cancer subtypes. High-performance storage and GPU power were employed for experimentation. The results were assessed with conservative "majority voting" to build consensus for subtype diagnosis through vertical search and demonstrated high accuracy values for both frozen sections slides (e.g., bladder urothelial carcinoma 93%, kidney renal clear cell carcinoma 97%, and ovarian serous cystadenocarcinoma 99%) and permanent histopathology slides (e.g., prostate adenocarcinoma 98%, skin cutaneous melanoma 99%, and thymoma 100%). The key finding of this validation study was that computational consensus appears to be possible for rendering diagnoses if a sufficiently large number of searchable cases are available for each cancer subtype.


title: The $\phi$ meson with finite momentum in a dense medium

abstract: The dispersion relation of the $\phi$ meson in nuclear matter is studied in a QCD sum rule approach. In a dense medium, longitudinal and transverse modes of vector particles can have independently modified dispersion relations due to broken Lorentz invariance. Employing the full set of independent operators and corresponding Wilson coefficients up to operator dimension 6, the $\phi$ meson QCD sum rules are analyzed with changing densities and momenta. The non-trivial momentum dependence of the $\phi$ meson mass is found to have opposite signs for the longitudinal and transverse modes. Specifically, the mass is reduced by 5 MeV for the longitudinal mode, while its increase amounts to 7 Mev for the transverse mode, both at a momentum scale of 1 GeV. In an experiment which does not distinguish between longitudinal and transverse polarizations, this could in principle be seen as two separated peaks at large momenta. Taking however broadening effects into account, the momentum dependence will most likely be seen as a small but positive effective mass shift and an increased effective width for non-zero momenta.


title: On the asymptotic behavior of the eigenvalues of nonlinear elliptic problems in domains becoming unbounded

abstract: We analyze the asymptotic behavior of the eigenvalues of nonlinear elliptic problems under Dirichlet boundary conditions and mixed (Dirichlet, Neumann) boundary conditions on domains becoming unbounded. We make intensive use of Picone identity to overcome nonlinearity complications. Altogether the use of Picone identity makes the proof easier with respect to the known proof in the linear case. Surprisingly the asymptotic behavior under mixed boundary conditions critically differs from the case of pure Dirichlet boundary conditions for some class of problems.


title: Vision: A Deep Learning Approach to provide walking assistance to the visually impaired

abstract: Blind people face a lot of problems in their daily routines. They have to struggle a lot just to do their day-to-day chores. In this paper, we have proposed a system with the objective to help the visually impaired by providing audio aid guiding them to avoid obstacles, which will assist them to move in their surroundings. Object Detection using YOLO will help them detect the nearby objects and Depth Estimation using monocular vision will tell the approximate distance of the detected objects from the user. Despite a higher accuracy, stereo vision has many hardware constraints, which makes monocular vision the preferred choice for this application.


title: New insights in giant molecular cloud hosting S147/S153 complex: signatures of interacting clouds

abstract: In order to understand the formation of massive OB stars, we report a multi-wavelength observational study of a giant molecular cloud hosting the S147/S153 complex (size ~90 pc X 50 pc). The selected complex is located in the Perseus arm, and contains at least five HII regions (S147, S148, S149, S152, and S153) powered by massive OB stars having dynamical ages of ~0.2 - 0.6 Myr. The Canadian Galactic Plane Survey 12CO line data (beam size ~100".4) trace the complex in a velocity range of [-59, -43] km/s, and also reveal the presence of two molecular cloud components around -54 and -49 km/s in the direction of the complex. Signatures of the interaction/collision between these extended cloud components are investigated through their spatial and velocity connections. These outcomes suggest the collision of these molecular cloud components about 1.6 Myr ago. Based on the observed overlapping zones of the two clouds, the collision axis appears to be parallel to the line-of-sight. Deep near-infrared photometric analysis of point-like sources shows the distribution of infrared-excess sources in the direction of the overlapping zones of the molecular cloud components, where all the HII regions are also spatially located. All elements put together, the birth of massive OB stars and embedded infrared-excess sources seems to be triggered by two colliding molecular clouds in the selected site. High resolution observations of dense gas tracer will be required to further confirm the proposed scenario.


title: Point-assigned distance-like functions on non-compact geodesic spaces

abstract: On a complete, connected, locally compact, non-compact geodesic space $(X,d)$, we assign each compact set a distance-like function. With the help of these functions, we obtain a pseudo-metric on the space of (non-empty) compact subsets of $X$ which is less than the Hausdorff distance. The quotient metric space is closely related to the large scale geometry of the ambient metric space. In particular, we study both extreme cases --the pseudo-metric either vanishes or equals the original distance. The compactness of the level sets as well as stability under the Gromov-Hausdorff topology of such dl-functions are also investigated. As an application, we also give a representation formula of any distance-like function in terms of the singleton-assigned distance-like functions defined here.


title: On Galois extensions with prescribed decomposition groups

abstract: We study the inverse Galois problem with local conditions. In particular, we ask whether every finite group occurs as the Galois group of a Galois extension of $\mathbb{Q}$ all of whose decomposition groups are cyclic (resp., abelian). This property is known for all solvable groups due to Shafarevich's solution of the inverse Galois problem for those groups. It is however completely open for nonsolvable groups. In this paper, we provide general criteria to attack such questions via specialization of function field extensions, and in particular give the first infinite families of Galois realizations with only cyclic decomposition groups and with nonsolvable Galois group. We also investigate the analogous problem over global function fields.


title: SemanticZ at SemEval-2016 Task 3: Ranking Relevant Answers in Community Question Answering Using Semantic Similarity Based on Fine-tuned Word Embeddings

abstract: We describe our system for finding good answers in a community forum, as defined in SemEval-2016, Task 3 on Community Question Answering. Our approach relies on several semantic similarity features based on fine-tuned word embeddings and topics similarities. In the main Subtask C, our primary submission was ranked third, with a MAP of 51.68 and accuracy of 69.94. In Subtask A, our primary submission was also third, with MAP of 77.58 and accuracy of 73.39.


title: Log Message Anomaly Detection and Classification Using Auto-B/LSTM and Auto-GRU

abstract: Log messages are now widely used in software systems. They are important for classification as millions of logs are generated each day. Most logs are unstructured which makes classification a challenge. In this paper, Deep Learning (DL) methods called Auto-LSTM, Auto-BLSTM and Auto-GRU are developed for anomaly detection and log classification. These models are used to convert unstructured log data to extracted features which is suitable for classification algorithms. They are evaluated using four data sets, namely BGL, Openstack, Thunderbird and IMDB. The first three are popular log data sets while the fourth is a movie review data set which is used for sentiment classification. The results obtained show that Auto-LSTM, Auto-BLSTM and Auto-GRU perform better than other well-known algorithms.


title: Scattering Activities Bounded by Reciprocity and Parity Conservation

abstract: Scattering activities are generally manifest through different optical responses of scattering bodies to circularly polarized light of opposite handedness. Similar to the ubiquitous roles played by scattering theory across different branches of photonics, scattering activities can serve as a fundamental concept to clarify underlying mechanisms of various chiroptical effects, both within and beyond scattering systems. In this work we investigate scattering activities for reciprocal systems that exhibit various geometric symmetries but are intrinsically achiral. We reveal how scattering activities are generally bounded by reciprocity and parity conservation, demonstrating that though extinction activity is usually eliminated by symmetry, scattering activities in forms of distinct absorptions, scatterings or angular scattering patterns can more widely emerge. Since our analyses are solely based on fundamental laws of reciprocity and parity conservation, regardless of geometric and optical parameters of the scattering systems studied, the principles revealed are generically applicable. The intuitive and pictorial framework we have established is beyond any specific coupling models, able to reveal hidden connections between seemingly unrelated chiral manifestations, and thus more accessible for a unified understanding of various chiroptical effects.


title: Path tracking control of self-reconfigurable robot hTetro with four differential drive units

abstract: The research interest in mobile robots with independent steering wheels has been increasing over recent years due to their high mobility and better payload capacity over the systems using omnidirectional wheels. However, with more controllable degrees of freedom, almost all of the platforms include redundancy which is modeled using the instantaneous center of rotation (ICR). This paper deals with a Tetris inspired floor cleaning robot hTetro which consists of four interconnected differential-drive units, i.e., each module has a differential drive unit, which can steer individually. Differing from most other steerable wheeled mobile robots, the wheel arrangement of this robot changes because of its self-reconfigurability. In this paper, we proposed a robust path tracking controller that can handle discontinuous trajectories and sudden orientation changes. Singularity problems are resolved on both the mechanical aspect and control aspect. The controller is tested experimentally with the self-reconfigurable robotic platform hero, and results are discussed.


title: CAT: CRF-based ASR Toolkit

abstract: In this paper, we present a new open source toolkit for automatic speech recognition (ASR), named CAT (CRF-based ASR Toolkit). A key feature of CAT is discriminative training in the framework of conditional random field (CRF), particularly with connectionist temporal classification (CTC) inspired state topology. CAT contains a full-fledged implementation of CTC-CRF and provides a complete workflow for CRF-based end-to-end speech recognition. Evaluation results on Chinese and English benchmarks such as Switchboard and Aishell show that CAT obtains the state-of-the-art results among existing end-to-end models with less parameters, and is competitive compared with the hybrid DNN-HMM models. Towards flexibility, we show that i-vector based speaker-adapted recognition and latency control mechanism can be explored easily and effectively in CAT. We hope CAT, especially the CRF-based framework and software, will be of broad interest to the community, and can be further explored and improved.


title: Yottixel -- An Image Search Engine for Large Archives of Histopathology Whole Slide Images

abstract: With the emergence of digital pathology, searching for similar images in large archives has gained considerable attention. Image retrieval can provide pathologists with unprecedented access to the evidence embodied in already diagnosed and treated cases from the past. This paper proposes a search engine specialized for digital pathology, called Yottixel, a portmanteau for "one yotta pixel," alluding to the big-data nature of histopathology images. The most impressive characteristic of Yottixel is its ability to represent whole slide images (WSIs) in a compact manner. Yottixel can perform millions of searches in real-time with a high search accuracy and low storage profile. Yottixel uses an intelligent indexing algorithm capable of representing WSIs with a mosaic of patches by converting them into a small number of methodically extracted barcodes, called "Bunch of Barcodes" (BoB), the most prominent performance enabler of Yottixel. The performance of the prototype platform is qualitatively tested using 300 WSIs from the University of Pittsburgh Medical Center (UPMC) and 2,020 WSIs from The Cancer Genome Atlas Program (TCGA) provided by the National Cancer Institute. Both datasets amount to more than 4,000,000 patches of 1000x1000 pixels. We report three sets of experiments that show that Yottixel can accurately retrieve organs and malignancies, and its semantic ordering shows good agreement with the subjective evaluation of human observers.


title: Loop group actions on Cuntz algebras and geometric higher twists

abstract: We consider representations of the Cuntz algebras ${\mathcal O}_N$ as constructed by Bratteli-Jorgensen and use these to define a faithful action of the analytic loop group $L_{\text{an}}U(n)$ on ${\mathcal O}_N$ for $N \geq n$. This extends to a faithful action on the infinite Cuntz algebra ${\mathcal O}_{\infty}$, and we show that this action can be used to explicitly construct ${\mathcal O}_\infty \otimes \mathcal K$-bundles (where $ \mathcal K$ is the algebra of compact operators) over spaces, which are geometric twists in higher twisted $K$-theory.


title: Gravitational clock compass and the detection of gravitational waves

abstract: We present an alternative derivation of the gravitational clock compass and show how such a device can be used for the detection of gravitational waves. Explicit compass setups are constructed in special types of space--times, namely for exact plane gravitational waves and for waves moving radially relative to an observer.


title: Extended Dynamic Mode Decomposition with Learned Koopman Eigenfunctions for Prediction and Control

abstract: This paper presents a novel learning framework to construct Koopman eigenfunctions for unknown, nonlinear dynamics using data gathered from experiments. The learning framework can extract spectral information from the full nonlinear dynamics by learning the eigenvalues and eigenfunctions of the associated Koopman operator. We then exploit the learned Koopman eigenfunctions to learn a lifted linear state-space model. To the best of our knowledge, our method is the first to utilize Koopman eigenfunctions as lifting functions for EDMD-based methods. We demonstrate the performance of the framework in state prediction and closed loop trajectory tracking of a simulated cart pole system. Our method is able to significantly improve the controller performance while relying on linear control methods to do nonlinear control.


title: On the properties of Northcott and Narkiewicz for elliptic curves

abstract: In this paper, for an elliptic curve $E$ defined over the algebraic numbers and for any subfield $F$ of algebraic numbers, we say that $E$ has the Northcott property over $F$ if there are at most finitely many $F$-rational points on $E$ of uniformly bounded height, and we say that $E$ has the property (P) over $F$ if for any infinite subset $S$ of $F$-rational points on $E$, $f(S) = S$ for an $F$-endomorphism $f$ of $E$ implies that $f$ is an automorphism. We establish some criteria for both properties and provide typical examples. We also show that the Northcott property implies the property (P).


title: Evidence for an Additional Symmetry Breaking from Direct Observation of Band Splitting in the Nematic State of FeSe Superconductor

abstract: The iron-based superconductor FeSe has attracted much recent attention because of its simple crystal structure, distinct electronic structure and rich physics exhibited by itself and its derivatives. Determination of its intrinsic electronic structure is crucial to understand its physical properties and superconductivity mechanism. Both theoretical and experimental studies so far have provided a picture that FeSe consists of one hole-like Fermi surface around the Brillouin zone center in its nematic state. Here we report direct observation of two hole-like Fermi surface sheets around the Brillouin zone center, and the splitting of the associated bands, in the nematic state of FeSe by taking high resolution laser-based angle-resolved photoemission measurements. These results indicate that, in addition to nematic order and spin-orbit coupling, there is an additional order in FeSe that breaks either inversion or time reversal symmetries. The new Fermi surface topology asks for reexamination of the existing theoretical and experimental understanding of FeSe and stimulates further efforts to identify the origin of the hidden order in its nematic state.


title: Generating NOON states in circuit QED using multi-photon resonance in the presence of counter-rotating interactions

abstract: The NOON states are valuable quantum resources, which have a wide range of applications in quantum communication, quantum metrology, and quantum information processing. Here we propose a fast, concise and reliable protocol for deterministically generating the NOON states of two resonators coupled to a single $\triangle$-type superconducting qutrit. In particular, we derive the effective Hamiltonians at the multi-photon resonances by virtue of the strong counter-rotating interaction between the resonator modes and the qutrit. Based on these crucial effective Hamiltonians, our protocol simplifies the previous ones using the single-photon resonance and consequently reduces the number of operations for state preparation. To test the robustness of this protocol, we analyze the effects from both the decoherence including dissipation and dephasing and the crosstalk of resonator modes on the state fidelity through a Lindblad master equation in the eigenstates of the full Hamiltonian.


title: Global Thread-Level Inference for Comment Classification in Community Question Answering

abstract: Community question answering, a recent evolution of question answering in the Web context, allows a user to quickly consult the opinion of a number of people on a particular topic, thus taking advantage of the wisdom of the crowd. Here we try to help the user by deciding automatically which answers are good and which are bad for a given question. In particular, we focus on exploiting the output structure at the thread level in order to make more consistent global decisions. More specifically, we exploit the relations between pairs of comments at any distance in the thread, which we incorporate in a graph-cut and in an ILP frameworks. We evaluated our approach on the benchmark dataset of SemEval-2015 Task 3. Results improved over the state of the art, confirming the importance of using thread level information.


title: Classification with Costly Features in Hierarchical Deep Sets

abstract: Classification with Costly Features (CwCF) is a classification problem that includes the cost of features in the optimization criteria. Individually for each sample, its features are sequentially acquired to maximize accuracy while minimizing the acquired features' cost. However, existing approaches can only process data that can be expressed as vectors of fixed length. In real life, the data often possesses rich and complex structure, which can be more precisely described with formats such as XML or JSON. The data is hierarchical and often contains nested lists of objects. In this work, we extend an existing deep reinforcement learning-based algorithm with hierarchical deep sets and hierarchical softmax, so that it can directly process this data. The extended method has greater control over which features it can acquire and, in experiments with seven datasets, we show that this leads to superior performance. To showcase the real usage of the new method, we apply it to a real-life problem of classifying malicious web domains, using an online service.


title: Determinant-based Fast Greedy Sensor Selection Algorithm

abstract: In this paper, the sparse sensor placement problem for least-squares estimation is considered, and the previous novel approach of the sparse sensor selection algorithm is extended. The maximization of the determinant of the matrix which appears in pseudo-inverse matrix operations is employed as an objective function of the problem in the present extended approach. The procedure for the maximization of the determinant of the corresponding matrix is proved to be mathematically the same as that of the previously proposed QR method when the number of sensors is less than that of state variables (undersampling). On the other hand, the authors have developed a new algorithm for when the number of sensors is greater than that of state variables (oversampling). Then, a unified formulation of the two algorithms is derived, and the lower bound of the objective function given by this algorithm is shown using the monotone submodularity of the objective function. The effectiveness of the proposed algorithm on the problem using real datasets is demonstrated by comparing with the results of other algorithms. The numerical results show that the proposed algorithm improves the estimation error by approximately 10% compared with the conventional methods in the oversampling case, where the estimation error is defined as the ratio of the difference between the reconstructed data and the full observation data to the full observation. For the NOAA-SST sensor problem, which has more than ten thousand sensor candidate points, the proposed algorithm selects the sensor positions in few seconds, which required several hours with the other algorithms in the oversampling case on a 3.40 GHz computer.


title: Counting the number of the twists of certain polarized abelian varieties

abstract: We count the number of isomorphism classes of degree $d$-twists of some polarized abelian varieties over finite fields of odd prime dimension. This can be seen as a higher dimensional analogue of the counting problem for elliptic curves case.


title: A new staggered DG method for the Brinkman problem robust in the Darcy and Stokes limits

abstract: In this paper we propose a novel staggered discontinuous Galerkin method for the Brinkman problem on general quadrilateral and polygonal meshes. The proposed method is robust in the Stokes and Darcy limits, in addition, hanging nodes can be automatically incorporated in the construction of the method, which are desirable features in practical applications. There are three unknowns involved in our formulation, namely velocity gradient, velocity and pressure. Unlike the original staggered DG formulation proposed for the Stokes equations in \cite{KimChung13}, we relax the tangential continuity of velocity and enforce different staggered continuity properties for the three unknowns, which is tailored to yield an optimal $L^2$ error estimates for velocity gradient, velocity and pressure independent of the viscosity coefficient. Moreover, by choosing suitable projection, superconvergence can be proved for $L^2$ error of velocity. Finally, several numerical results illustrating the good performances of the proposed method and confirming the theoretical findings are presented.


title: Network Flows that Solve Sylvester Matrix Equations

abstract: In this paper, we study distributed methods for solving a Sylvester equation in the form of AX+XB=C for matrices A, B, C$\in R^{n\times n}$ with X being the unknown variable. The entries of A, B and C (called data) are partitioned into a number of pieces (or sometimes we permit these pieces to overlap). Then a network with a given structure is assigned, whose number of nodes is consistent with the partition. Each node has access to the corresponding set of data and holds a dynamic state. Nodes share their states among their neighbors defined from the network structure, and we aim to design flows that can asymptotically converge to a solution of this equation. The decentralized data partitions may be resulted directly from networks consisting of physically isolated subsystems, or indirectly from artificial and strategic design for processing large data sets. Natural partial row/column partitions, full row/column partitions and clustering block partitions of the data A, B and C are assisted by the use of the vectorized matrix equation. We show that the existing "consensus + projection" flow and the "local conservation + global consensus" flow for distributed linear algebraic equations can be used to drive distributed flows that solve this kind of equations. A "consensus + projection + symmetrization" flow is also developed for equations with symmetry constraints on the solution matrices. We reveal some fundamental convergence rate limitations for such flows regardless of the choices of node interaction strengths and network structures. For a special case with B=A$^T$, where the equation mentioned is reduced to a classical Lyapunov equation, we demonstrate that by exploiting the symmetry of data, we can obtain flows with lower complexity for certain partitions.


title: Constructions of mutually unbiased entangled bases

abstract: We construct two mutually unbiased bases by maximally entangled states (MUMEB$s$) in $\mathbb{C}^{2}\otimes \mathbb{C}^{3}$. This is the first example of MUMEB$s$ in $\mathbb{C}^{d}\otimes \mathbb{C}^{d'}$ when $d\nmid d'$, namely $d'$ is not divisible by $d$. We show that they cannot be extended to four MUBs in $\mathbb{C}^6$. We propose a recursive construction of mutually unbiased bases formed by special entangled states with a fixed Schmidt number $k$ (MUSEB$k$s). It shows that $\min \{t_{1},t_{2}\}$ MUSEB$k_{1}k_{2}$s in $\mathbb{C}^{pd}\otimes \mathbb{C}^{qd'}$ can be constructed from $t_{1}$ MUSEB$k_{1}$s in $\mathbb{C}^{d}\otimes \mathbb{C}^{d'}$ and $t_{2}$ MUSEB$k_{2}$s in $\mathbb{C}^{p}\otimes \mathbb{C}^{q}$ for any $d,d',p,q$. Further, we show that three MUMEB$s$ exist in $\mathbb{C}^{d}\otimes \mathbb{C}^{d'}$ for any $d,d'$ with $d\mid d'$, and two MUMEB$s$ exist in $\mathbb{C}^{d}\otimes \mathbb{C}^{d'}$ for infinitely many $d,d'$ with $d\nmid d'$.


title: Paraphrasing Verbs for Noun Compound Interpretation

abstract: An important challenge for the automatic analysis of English written text is the abundance of noun compounds: sequences of nouns acting as a single noun. In our view, their semantics is best characterized by the set of all possible paraphrasing verbs, with associated weights, e.g., malaria mosquito is carry (23), spread (16), cause (12), transmit (9), etc. Using Amazon's Mechanical Turk, we collect paraphrasing verbs for 250 noun-noun compounds previously proposed in the linguistic literature, thus creating a valuable resource for noun compound interpretation. Using these verbs, we further construct a dataset of pairs of sentences representing a special kind of textual entailment task, where a binary decision is to be made about whether an expression involving a verb and two nouns can be transformed into a noun compound, while preserving the sentence meaning.


title: Decoding Polar Codes via Weighted-Window Soft Cancellation for Slowly-Varying Channel

abstract: Polar codes are a class of {\bf structured} channel codes proposed by Ar{\i}kan based on the principle of {\bf channel polarization}, and can {\bf achieve} the symmetric capacity of any Binary-input Discrete Memoryless Channel (B-DMC). The Soft CANcellation (SCAN) is a {\bf low-complexity} {\bf iterative} decoding algorithm of polar codes outperforming the widely-used Successive Cancellation (SC). Currently, in most cases, it is assumed that channel state is perfectly {\bf known} at the decoder and remains {\bf constant} during each codeword, which, however, is usually unrealistic. To decode polar codes for {\bf slowly-varying} channel with {\bf unknown} state, on the basis of SCAN, we propose the Weighted-Window SCAN (W$^2$SCAN). Initially, the decoder is seeded with a coarse estimate of channel state. Then after {\bf each} SCAN iteration, the decoder progressively refines the estimate of channel state with the {\bf quadratic programming}. The experimental results prove the significant superiority of W$^2$SCAN to SCAN and SC. In addition, a simple method is proposed to verify the correctness of SCAN decoding which requires neither Cyclic Redundancy Check (CRC) checksum nor Hash digest.


title: Learning mappings onto regularized latent spaces for biometric authentication

abstract: We propose a novel architecture for generic biometric authentication based on deep neural networks: RegNet. Differently from other methods, RegNet learns a mapping of the input biometric traits onto a target distribution in a well-behaved space in which users can be separated by means of simple and tunable boundaries. More specifically, authorized and unauthorized users are mapped onto two different and well behaved Gaussian distributions. The novel approach of learning the mapping instead of the boundaries further avoids the problem encountered in typical classifiers for which the learnt boundaries may be complex and difficult to analyze. RegNet achieves high performance in terms of security metrics such as Equal Error Rate (EER), False Acceptance Rate (FAR) and Genuine Acceptance Rate (GAR). The experiments we conducted on publicly available datasets of face and fingerprint confirm the effectiveness of the proposed system.


title: Measurement and microscopic description of odd-even staggering of charge radii of exotic copper isotopes

abstract: The mesoscopic nature of the atomic nucleus gives rise to a wide array of macroscopic and microscopic phenomena. The size of the nucleus is a window into this duality: while the charge radii globally scale as $A^{1/3}$, their evolution across isotopic chains reveals unanticipated structural phenomena [1-3]. The most ubiquitous of these is perhaps the Odd-Even Staggering (OES) [4]: isotopes with an odd number of neutrons are usually smaller in size than the trend of their even-neutron neighbours suggests. This OES effect varies with the number of protons and neutrons and poses a significant challenge for nuclear theory [5-7]. Here, we examine this problem with new measurements of the charge radii of short-lived copper isotopes up to the very exotic $^{78}$Cu $(Z=29, N=49)$, produced at only 20 ions/s, using the highly-sensitive Collinear Resonance Ionisation Spectroscopy (CRIS) method at ISOLDE-CERN. Due to the presence of a single proton outside of the closed Z=28 shell, these measurements provide crucial insights into the single-particle proton structure and how this affects the charge radii. We observe an unexpected reduction in the OES for isotopes approaching the $N=50$ shell gap. To describe the data, we applied models based on nuclear Density Functional Theory [2,8] (DFT) and ab-initio Valence-Space In-Medium Similarity Renormalization Group (VS-IMSRG) theory [9,10]. Through these comparisons, we demonstrate a relation between the global behavior of charge radii and the saturation density of nuclear matter, and show that the local charge radii variations, which reflect the many-body polarization effects due to the odd neutron, naturally emerge from the VS-IMSRG calculations.


title: From iterated integrals and chronological calculus to Hopf and Rota-Baxter algebras

abstract: Gian-Carlo Rota mentioned in one of his last articles the problem of developing a theory around the notion of integration algebras, which should be dual to the one of differential algebras. This idea has been developed historically along three lines: using properties of iterated integrals and generalisations thereof, as in the theory of rough paths; using the algebraic structures underlying chronological calculus such as shuffle and pre-Lie products, as they appear in theoretical physics and control theory; and, more generally, using a particular operator identity which came to be known as Rota-Baxter relation. The recent developments along each of these lines of research and their various application domains are not always known to other communities in mathematics and related fields. The general aim of this survey is therefore to present a modern and unified perspective on these approaches, featuring among others non-commutative Rota-Baxter algebras and related Hopf and Lie algebraic structures such as descent algebras, algebras of simplices as well as shuffle, pre- and post-Lie algebras and their enveloping algebras. Accordingly, two viewpoints are proposed. A geometric one, that can be derived using combinatorial properties of Euclidean simplices and the duality between integrands and integration domains in iterated integrals. An algebraic one, provided by the axiomatisation of integral calculus in terms of Rota-Baxter algebra.


title: Groups, Jacobi functions and rigged Hilbert spaces

abstract: This paper is a contribution to the study of the relations between special functions, Lie algebras and rigged Hilbert spaces. The discrete indices and continuous variables of special functions are in correspondence with the representations of their algebra of symmetry, that induce discrete and continuous bases coexisting on a rigged Hilbert space supporting the representation. Meaningful operators are shown to be continuous on the spaces of test vectors and its dual. Here, the chosen special functions, called "Algebraic Jacobi Functions" are related to the Jacobi polynomials and the Lie algebra is su(2,2). These functions with m and q fixed, also exhibit a su(1,1)-symmetry. Different discrete and continuous bases are introduced. An extension in the spirit of the associated Legendre polynomials and the spherical harmonics is presented introducing the "Jacobi Harmonics" that are a generalization of the spherical harmonics to the three-dimensional hypersphere S^3.


title: Coexistence of full-gap superconductivity and pseudogap in two-dimensional fullerides

abstract: Alkali-fulleride superconductors with a maximum critical temperature Tc of 40 K exhibit similar electronic phase diagram with unconventional high-Tc superconductors where the superconductivity resides proximate to a magnetic Mott-insulating state. However, distinct from cuprate compounds, which superconduct through two-dimensional (2D) CuO2 planes, alkali fullerides are attributed to the three-dimensional (3D) members of high-Tc family. Here, we employ scanning tunneling microscopy to show that trilayer K3C60 displays fully gapped strong coupling s-wave superconductivity that coexists spatially with a cuprate-like pseudogap state above Tc = 22 K and within vortices. A precise control of electronic correlations and doping reveals that superconductivity occurs near a superconductor-Mott insulator transition and reaches maximum at half-filling. The s-wave symmetry retains over the entire phase diagram, which, in conjunction with an abrupt decline of superconductivity below half-filling, demonstrates that alkali fullerides are predominantly phonon-mediated superconductors, although the multiorbital electronic correlations also come into play.


title: Inspect Transfer Learning Architecture with Dilated Convolution

abstract: There are many award-winning pre-trained Convolutional Neural Network (CNN), which have a common phenomenon of increasing depth in convolutional layers. However, I inspect on VGG network, which is one of the famous model submitted to ILSVRC-2014, to show that slight modification in the basic architecture can enhance the accuracy result of the image classification task. In this paper, We present two improve architectures of pre-trained VGG-16 and VGG-19 networks that apply transfer learning when trained on a different dataset. I report a series of experimental result on various modification of the primary VGG networks and achieved significant out-performance on image classification task by: (1) freezing the first two blocks of the convolutional layers to prevent over-fitting and (2) applying different combination of dilation rate in the last three blocks of convolutional layer to reduce image resolution for feature extraction. Both the proposed architecture achieves a competitive result on CIFAR-10 and CIFAR-100 dataset.


title: Intrinsic Schreier split extensions

abstract: In the context of regular unital categories we introduce an intrinsic version of the notion of a Schreier split epimorphism, originally considered for monoids. We show that such split epimorphisms satisfy the same homological properties as Schreier split epimorphisms of monoids do. This gives rise to new examples of S-protomodular categories, and allows us to better understand the homological behaviour of monoids from a categorical perspective.


title: Reinforcement Learning for a Cellular Internet of UAVs: Protocol Design, Trajectory Control, and Resource Management

abstract: Unmanned aerial vehicles (UAVs) can be powerful Internet-of-Things components to execute sensing tasks over the next-generation cellular networks, which are generally referred to as the cellular Internet of UAVs. However, due to the high mobility of UAVs and the shadowing in the air-to-ground channels, UAVs operate in an environment with dynamics and uncertainties. Therefore, UAVs need to improve the quality of service (QoS) of sensing and communication without complete information, which makes reinforcement learning suitable to be employed in the cellular Internet of UAVs. In this article, we propose a distributed sense-and-send protocol to coordinate the UAVs for sensing and transmission. Then, we apply reinforcement learning in the cellular Internet of UAVs to solve key problems such as trajectory control and resource management. Finally, we point out several potential future research directions.


title: Understanding Top-k Sparsification in Distributed Deep Learning

abstract: Distributed stochastic gradient descent (SGD) algorithms are widely deployed in training large-scale deep learning models, while the communication overhead among workers becomes the new system bottleneck. Recently proposed gradient sparsification techniques, especially Top-$k$ sparsification with error compensation (TopK-SGD), can significantly reduce the communication traffic without an obvious impact on the model accuracy. Some theoretical studies have been carried out to analyze the convergence property of TopK-SGD. However, existing studies do not dive into the details of Top-$k$ operator in gradient sparsification and use relaxed bounds (e.g., exact bound of Random-$k$) for analysis; hence the derived results cannot well describe the real convergence performance of TopK-SGD. To this end, we first study the gradient distributions of TopK-SGD during the training process through extensive experiments. We then theoretically derive a tighter bound for the Top-$k$ operator. Finally, we exploit the property of gradient distribution to propose an approximate top-$k$ selection algorithm, which is computing-efficient for GPUs, to improve the scaling efficiency of TopK-SGD by significantly reducing the computing overhead. Codes are available at: \url{https://github.com/hclhkbu/GaussianK-SGD}.


title: CleanQ: a lightweight, uniform, formally specified interface for intra-machine data transfer

abstract: We present CleanQ, a high-performance operating-system interface for descriptor-based data transfer with rigorous formal semantics, based on a simple, formally-verified notion of ownership transfer, with a fast reference implementation. CleanQ aims to replace the current proliferation of similar, but subtly diverse, and loosely specified, descriptor-based interfaces in OS kernels and device drivers. CleanQ has strict semantics that not only clarify both the implementation of the interface for different hardware devices and software usecases, but also enable composition of modules as in more heavyweight frameworks like Unix streams. We motivate CleanQ by showing that loose specifications derived from implementation lead to security and correctness bugs in production systems that a clean, formal, and easilyunderstandable abstraction helps eliminate. We further demonstrate by experiment that there is negligible performance cost for a clean design: we show overheads in the tens of cycles for operations, and comparable end-to-end performance to the highly-tuned Virtio and DPDK implementations on Linux.


title: Implement Liquid Democracy on Ethereum: A Fast Algorithm for Realtime Self-tally Voting System

abstract: We study the liquid democracy problem, where each voter can either directly vote to a candidate or delegate his voting power to a proxy. We consider the implementation of liquid democracy on the blockchain through Ethereum smart contract and to be compatible with the realtime self-tallying property, where the contract itself can record ballots and update voting status upon receiving each voting massage. A challenge comes due to the gas fee limitation of Ethereum mainnet, that the number of instruction for processing a voting massage can not exceed a certain amount, which restrict the application scenario with respect to algorithms whose time complexity is linear to the number of voters. We propose a fast algorithm to overcome the challenge, such that i) shifts the on-chain initialization to off-chain and ii) the on-chain complexity for processing each voting massage is O(\log n), where n is the number of voters.


title: Do disruption index indicators measure what they propose to measure? The comparison of several indicator variants with assessments by peers

abstract: Recently, Wu, Wang, and Evans (2019) and Bu, Waltman, and Huang (2019) proposed a new family of indicators, which measure whether a scientific publication is disruptive to a field or tradition of research. Such disruptive influences are characterized by citations to a focal paper, but not its cited references. In this study, we are interested in the question of convergent validity, i.e., whether these indicators of disruption are able to measure what they propose to measure ('disruptiveness'). We used external criteria of newness to examine convergent validity: in the post-publication peer review system of F1000Prime, experts assess papers whether the reported research fulfills these criteria (e.g., reports new findings). This study is based on 120,179 papers from F1000Prime published between 2000 and 2016. In the first part of the study we discuss the indicators. Based on the insights from the discussion, we propose alternate variants of disruption indicators. In the second part, we investigate the convergent validity of the indicators and the (possibly) improved variants. Although the results of a factor analysis show that the different variants measure similar dimensions, the results of regression analyses reveal that one variant (DI5) performs slightly better than the others.