title: Decidable Verification of Uninterpreted Programs

abstract: We study the problem of completely automatically verifying uninterpreted programs---programs that work over arbitrary data models that provide an interpretation for the constants, functions and relations the program uses. The verification problem asks whether a given program satisfies a postcondition written using quantifier-free formulas with equality on the final state, with no loop invariants, contracts, etc. being provided. We show that this problem is undecidable in general. The main contribution of this paper is a subclass of programs, called coherent programs that admits decidable verification, and can be decided in PSPACE. We then extend this class of programs to classes of programs that are $k$-coherent, where $k \in \mathbb{N}$, obtained by (automatically) adding $k$ ghost variables and assignments that make them coherent. We also extend the decidability result to programs with recursive function calls and prove several undecidability results that show why our restrictions to obtain decidability seem necessary.


title: Strangeons constitute bulk strong matter-- To test using GW170817

abstract: The fundamental strong interaction determines the nature of pulsar-like compact stars which are essentially in the form of bulk strong matter. From an observational point of view, it is proposed that bulk strong matter could be composed of strangeons, i.e. quark-clusters with there-light-flavor symmetry of quarks, and therefore pulsar-like compact objects could actually be strangeon stars. The equation of state (EOS) of strangeon stars is described in a Lennard-Jones model for the purpose of constraining the EOS by both the tidal deformability $\Lambda$ of GW170817 and $M_{\rm TOV}$. It is found that the allowed parameter space is quite large as most of the Lennard-Jones EOS models satisfy the tidal deformability constraint by GW170817. The future GW detections for smaller values of $\Lambda$ and mass measurement for larger values of $M_{\rm TOV}$ will help a better constraint on the strangeon star model.


title: Multiple messengers of fast radio bursts

abstract: We review the potential information that can be gleaned from multi-wavelength and multi-messenger detections of Fast Radio Bursts (FRBs). The primary function of such detections, following FRB localization, will be to reveal the progenitors of FRB events. However, these observations serve a more basic function in host galaxy identification, subsequent redshift measurement, and in disentangling the contributions of various line-of-sight contributions to properties of FRBs measured at radio wavelengths.


title: A decade of fast radio bursts

abstract: Modern astrophysics is undergoing a revolution. As detector technology has advanced, and astronomers have been able to study the sky with finer temporal detail, a rich diversity of sources which vary on timescales from years down to a few nanoseconds has been found. Among these are Fast Radio Bursts, with pulses of millisecond duration and anomalously high dispersion compared to Galactic pulsars, first seen a decade ago. Since then, a new research community is actively working on a variety of experiments and developing models to explain this new phenomenon, and devising ways to use them as astrophysical tools. In this article, I describe how astronomers have reached this point, review the highlights from the first decade of research in this field, give some current breaking news, and look ahead to what might be expected in the next few years.


title: Towards Explainable NLP: A Generative Explanation Framework for Text Classification

abstract: Building explainable systems is a critical problem in the field of Natural Language Processing (NLP), since most machine learning models provide no explanations for the predictions. Existing approaches for explainable machine learning systems tend to focus on interpreting the outputs or the connections between inputs and outputs. However, the fine-grained information is often ignored, and the systems do not explicitly generate the human-readable explanations. To better alleviate this problem, we propose a novel generative explanation framework that learns to make classification decisions and generate fine-grained explanations at the same time. More specifically, we introduce the explainable factor and the minimum risk training approach that learn to generate more reasonable explanations. We construct two new datasets that contain summaries, rating scores, and fine-grained reasons. We conduct experiments on both datasets, comparing with several strong neural network baseline systems. Experimental results show that our method surpasses all baselines on both datasets, and is able to generate concise explanations at the same time.


title: Probing the Universe's baryons with fast radio bursts

abstract: Fast radio bursts were discovered just over a decade ago, and their origin remains a mystery. Despite this, astronomers have been using them to investigate the matter through which their bright, impulsive radiation travels.


title: MOHONE: Modeling Higher Order Network Effects in KnowledgeGraphs via Network Infused Embeddings

abstract: Many knowledge graph embedding methods operate on triples and are therefore implicitly limited by a very local view of the entire knowledge graph. We present a new framework MOHONE to effectively model higher order network effects in knowledge-graphs, thus enabling one to capture varying degrees of network connectivity (from the local to the global). Our framework is generic, explicitly models the network scale, and captures two different aspects of similarity in networks: (a) shared local neighborhood and (b) structural role-based similarity. First, we introduce methods that learn network representations of entities in the knowledge graph capturing these varied aspects of similarity. We then propose a fast, efficient method to incorporate the information captured by these network representations into existing knowledge graph embeddings. We show that our method consistently and significantly improves the performance on link prediction of several different knowledge-graph embedding methods including TRANSE, TRANSD, DISTMULT, and COMPLEX(by at least 4 points or 17% in some cases).


title: Spectrum of itinerant fractional excitations in quantum spin ice

abstract: We study the quantum dynamics of fractional excitations in quantum spin ice. We focus on the density of states in the two-monopole sector, $\rho(\omega)$, as this can be connected to the wavevector-integrated dynamical structure factor accessible in neutron scattering experiments. We find that $\rho(\omega)$ exhibits a strikingly characteristic singular and asymmetric structure which provides a useful fingerprint for comparison to experiment. $\rho(\omega)$ obtained from exact diagonalisation of a finite cluster agrees well with that from the analytical solution of a hopping problem on a Husimi cactus representing configuration space, but not with the corresponding result on a face-centred cubic lattice, on which the monopoles move in real space. The main difference between the latter two lies in the inclusion of the emergent gauge field degrees of freedom under which the monopoles are charged. This underlines the importance of treating both sets of degrees of freedom together, and presents a novel instance of dimensional transmutation.


title: Online Learning Algorithms for Statistical Arbitrage

abstract: Statistical arbitrage is a class of financial trading strategies using mean reversion models. The corresponding techniques rely on a number of assumptions which may not hold for general non-stationary stochastic processes. This paper presents an alternative technique for statistical arbitrage based on online learning which does not require such assumptions and which benefits from strong learning guarantees.


title: Cogni-Net: Cognitive Feature Learning through Deep Visual Perception

abstract: Can we ask computers to recognize what we see from brain signals alone? Our paper seeks to utilize the knowledge learnt in the visual domain by popular pre-trained vision models and use it to teach a recurrent model being trained on brain signals to learn a discriminative manifold of the human brain's cognition of different visual object categories in response to perceived visual cues. For this we make use of brain EEG signals triggered from visual stimuli like images and leverage the natural synchronization between images and their corresponding brain signals to learn a novel representation of the cognitive feature space. The concept of knowledge distillation has been used here for training the deep cognition model, CogniNet\footnote{The source code of the proposed system is publicly available at {https://www.github.com/53X/CogniNET}}, by employing a student-teacher learning technique in order to bridge the process of inter-modal knowledge transfer. The proposed novel architecture obtains state-of-the-art results, significantly surpassing other existing models. The experiments performed by us also suggest that if visual stimuli information like brain EEG signals can be gathered on a large scale, then that would help to obtain a better understanding of the largely unexplored domain of human brain cognition.


title: Attention-Aware Generalized Mean Pooling for Image Retrieval

abstract: It has been shown that image descriptors extracted by convolutional neural networks (CNNs) achieve remarkable results for retrieval problems. In this paper, we apply attention mechanism to CNN, which aims at enhancing more relevant features that correspond to important keypoints in the input image. The generated attention-aware features are then aggregated by the previous state-of-the-art generalized mean (GeM) pooling followed by normalization to produce a compact global descriptor, which can be efficiently compared to other image descriptors by the dot product. An extensive comparison of our proposed approach with state-of-the-art methods is performed on the new challenging ROxford5k and RParis6k retrieval benchmarks. Results indicate significant improvement over previous work. In particular, our attention-aware GeM (AGeM) descriptor outperforms state-of-the-art method on ROxford5k under the `Hard' evaluation protocal.


title: Latent Gaussian Count Time Series

abstract: This paper develops the theory and methods for modeling a stationary count time series via Gaussian transformations. The techniques use a latent Gaussian process and a distributional transformation to construct stationary series with very flexible correlation features that can have any pre-specified marginal distribution, including the classical Poisson, generalized Poisson, negative binomial, and binomial structures. Gaussian pseudo-likelihood and implied Yule-Walker estimation paradigms, based on the autocovariance function of the count series, are developed via a new Hermite expansion. Particle filtering and sequential Monte Carlo methods are used to conduct likelihood estimation. Connections to state space models are made. Our estimation approaches are evaluated in a simulation study and the methods are used to analyze a count series of weekly retail sales.


title: Etale and crystalline companions, I

abstract: Let $X$ be a smooth scheme over a finite field of characteristic $p$. Consider the coefficient objects of locally constant rank on $X$ in $\ell$-adic Weil cohomology: these are lisse Weil sheaves in \'etale cohomology when $\ell \neq p$, and overconvergent $F$-isocrystals in rigid cohomology when $\ell=p$. Using the Langlands correspondence for global function fields in both the \'etale and crystalline settings (work of Lafforgue and Abe, respectively), one sees that on a curve, any coefficient object in one category has "companions" in the other categories with matching characteristic polynomials of Frobenius at closed points. A similar statement is expected for general $X$; building on work of Deligne, Drinfeld showed that any \'etale coefficient object has \'etale companions. We adapt Drinfeld's method to show that any crystalline coefficient object has \'etale companions; this has been shown independently by Abe--Esnault. We also prove some auxiliary results relevant for the construction of crystalline companions of \'etale coefficient objects; this subject will be pursued in a subsequent paper.


title: Capacities and the Free Passage of Entropic Barriers

abstract: We propose an approach for estimating the probability that a given small target, among many, will be the first to be reached in a molecular dynamics simulation. Reaching small targets out of a vast number of possible configurations constitutes an entropic barrier. Experimental evidence suggests that entropic barriers are ubiquitous in biomolecular systems, and often characterize the rate-limiting step of biomolecular processes. Presumably for the same reasons, they often characterize the rate-limiting step in simulations. To the extent that first-passage probabilities can be computed without requiring direct simulation, the process of traversing entropic barriers can replaced by a single choice from the computed ("first-passage") distribution. We will show that in the presence of certain entropic barriers, first-passage probabilities are approximately invariant to the initial configuration, provided that it is modestly far away from each of the targets. We will further show that as a consequence of this invariance, the first-passage distribution can be well-approximated in terms of "capacities" of local sets around the targets. Using these theoretical results and a Monte Carlo mechanism for approximating capacities, we provide a method for estimating the hitting probabilities of small targets in the presence of entropic barriers. In numerical experiments with an idealized ("golf-course") potential, the estimates are as accurate as the results of direct simulations, but far faster to compute.


title: Balanced Sparsity for Efficient DNN Inference on GPU

abstract: In trained deep neural networks, unstructured pruning can reduce redundant weights to lower storage cost. However, it requires the customization of hardwares to speed up practical inference. Another trend accelerates sparse model inference on general-purpose hardwares by adopting coarse-grained sparsity to prune or regularize consecutive weights for efficient computation. But this method often sacrifices model accuracy. In this paper, we propose a novel fine-grained sparsity approach, balanced sparsity, to achieve high model accuracy with commercial hardwares efficiently. Our approach adapts to high parallelism property of GPU, showing incredible potential for sparsity in the widely deployment of deep learning services. Experiment results show that balanced sparsity achieves up to 3.1x practical speedup for model inference on GPU, while retains the same high model accuracy as fine-grained sparsity.


title: Towards Empathetic Open-domain Conversation Models: a New Benchmark and Dataset

abstract: One challenge for dialogue agents is recognizing feelings in the conversation partner and replying accordingly, a key communicative skill. While it is straightforward for humans to recognize and acknowledge others' feelings in a conversation, this is a significant challenge for AI systems due to the paucity of suitable publicly-available datasets for training and evaluation. This work proposes a new benchmark for empathetic dialogue generation and EmpatheticDialogues, a novel dataset of 25k conversations grounded in emotional situations. Our experiments indicate that dialogue models that use our dataset are perceived to be more empathetic by human evaluators, compared to models merely trained on large-scale Internet conversation data. We also present empirical comparisons of dialogue model adaptations for empathetic responding, leveraging existing models or datasets without requiring lengthy re-training of the full model.


title: Multi-Label Robust Factorization Autoencoder and its Application in Predicting Drug-Drug Interactions

abstract: Drug-drug interactions (DDIs) are a major cause of preventable hospitalizations and deaths. Predicting the occurrence of DDIs helps drug safety professionals allocate investigative resources and take appropriate regulatory action promptly. Traditional DDI prediction methods predict DDIs based on the similarity between drugs. Recently, researchers revealed that predictive performance can be improved by better modeling the interactions between drug pairs with bilinear forms. However, the shallow models leveraging bilinear forms suffer from limitations on capturing complicated nonlinear interactions between drug pairs. To this end, we propose Multi-Label Robust Factorization Autoencoder (abbreviated to MuLFA) for DDI prediction, which learns a representation of interactions between drug pairs and has the capability of characterizing complicated nonlinear interactions more precisely. Moreover, a novel loss called CuXCov is designed to effectively learn the parameters of MuLFA. Furthermore, the decoder is able to generate high-risk chemical structures of drug pairs for specific DDIs, assisting pharmacists to better understand the relationship between drug chemistry and DDI. Experimental results on real-world datasets demonstrate that MuLFA consistently outperforms state-of-the-art methods; particularly, it increases 21:3% predictive performance compared to the best baseline for top 50 frequent DDIs.We also illustrate various case studies to demonstrate the efficacy of the chemical structures generated by MuLFA in DDI diagnosis.


title: Strong many-body interactions in ultrathin anisotropic tin (II) monosulfide

abstract: Two-dimensional (2D) tin(II) monosulfide (SnS) with strong structural anisotropy has been proven to be a phosphorene analogue. However, difficulty in isolating very thin layer of SnS pose challenges in practical utilization. Here, we prepare ultrathin SnS via liquid phase exfoliation. With transmission electron microscopy, we identify the buckled structure of 2D SnS. We employ temperature dependent Raman spectroscopy to elucidate electron-phonon interactions, which reveals a linear phonon shifts. The active Raman modes of ultrathin SnS exhibit higher sensitivity to temperature than other 2D materials. Moreover, we demonstrate strong light-matter interaction in ultrathin SnS using Z-scan and ultrafast spectroscopy. Rich exciton-exciton and coherent exciton-photon interactions arising from many-particle excited effects in ultrathin SnS eventually enhances the nonlinear optical properties. Our findings highlight the prospects for the synthesis of ultrathin anisotropic SnS towards the betterment of thermoelectric and photonic devices.


title: Online Planner Selection with Graph Neural Networks and Adaptive Scheduling

abstract: Automated planning is one of the foundational areas of AI. Since no single planner can work well for all tasks and domains, portfolio-based techniques have become increasingly popular in recent years. In particular, deep learning emerges as a promising methodology for online planner selection. Owing to the recent development of structural graph representations of planning tasks, we propose a graph neural network (GNN) approach to selecting candidate planners. GNNs are advantageous over a straightforward alternative, the convolutional neural networks, in that they are invariant to node permutations and that they incorporate node labels for better inference. Additionally, for cost-optimal planning, we propose a two-stage adaptive scheduling method to further improve the likelihood that a given task is solved in time. The scheduler may switch at halftime to a different planner, conditioned on the observed performance of the first one. Experimental results validate the effectiveness of the proposed method against strong baselines, both deep learning and non-deep learning based. The code is available at \url{https://github.com/matenure/GNN_planner}.


title: Construction of quantum dark soliton in one-dimensional Bose gas

abstract: Dark soliton solutions in the one-dimensional classical nonlinear Schr\"odinger equation has been considered to be related to the yrast states corresponding to the type-II excitations in the Lieb-Liniger model. However, the relation is nontrivial and remains unclear because a dark soliton localized in space breaks the translation symmetry, while yrast states are translationally invariant. In this work, we construct a symmetry-broken quantum soliton state and investigate the relation to the yrast states. By interpreting a quantum dark soliton as a Bose-Einstein condensation to the wave function of a classical dark soliton, we find that the quantum soliton state has a large weight only on the yrast states, which is analytically proved in the free-boson limit and numerically verified in the weak-coupling regime. By extending these results, we derive a parameter-free expression of a quantum soliton state that is written as a superposition of yrast states with Gaussian weights. The density profile of this quantum soliton state excellently agrees to that of the classical dark soliton. The dynamics of a quantum dark soliton is also studied, and it turns out that the density profile of a dark soliton decays, but the decay time increases as the inverse of the coupling constant in the weak-coupling limit.


title: Expander Datacenters: From Theory to Practice

abstract: Recent work has shown that expander-based data center topologies are robust and can yield superior performance over Clos topologies. However, to achieve these benefits, previous proposals use routing and transport schemes that impede quick industry adoption. In this paper, we examine if expanders can be effective for the technology and environments practical in today's data centers, including the use of traditional protocols, at both small and large scale while complying with common practices such as over-subscription. We study bandwidth, latency and burst tolerance of topologies, highlighting pitfalls of previous topology comparisons. We consider several other metrics of interest: packet loss during failures, queue occupancy and topology degradation. Our experiments show that expanders can realize 3x more throughput than an equivalent fat tree, and 1.5x more throughput than an equivalent leaf-spine topology, for a wide range of scenarios, with only traditional protocols. We observe that expanders achieve lower flow completion times, are more resilient to bursty load conditions like incast and outcast and degrade more gracefully with increasing load. Our results are based on extensive simulations and experiments on a hardware testbed with realistic topologies and real traffic patterns.


title: Resummation at finite conformal spin

abstract: We generalize the computation of anomalous dimension and correction to OPE coefficients at finite conformal spin considered recently in \cite{arXiv:1806.10919, arXiv:1808.00612} to arbitrary space-time dimensions. By using the inversion formula of Caron-Huot and the integral (Mellin) representation of conformal blocks, we show that the contribution from individual exchanges to anomalous dimensions and corrections to the OPE coefficients for "double-twist" operators $[\mathcal{O}_1\mathcal{O}_2]_{\Delta,J}$ in $s-$channel can be written at finite conformal spin in terms of generalized Wilson polynomials. This approach is democratic {\it wrt} space-time dimensions, thus generalizing the earlier findings to cases where closed form expressions of the conformal blocks are not available.


title: The Vietoris monad and weak distributive laws

abstract: The Vietoris monad on the category of compact Hausdorff spaces is a topological analogue of the power-set monad on the category of sets. Exploiting Manes' characterisation of the compact Hausdorff spaces as algebras for the ultrafilter monad on sets, we give precise form to the above analogy by exhibiting the Vietoris monad as induced by a weak distributive law, in the sense of B\"ohm, of the power-set monad over the ultrafilter monad.


title: Robust Markov Decision Process: Beyond Rectangularity

abstract: We consider a robust approach to address uncertainty in model parameters in Markov Decision Processes (MDPs), which are widely used to model dynamic optimization in many applications. Most prior works consider the case where the uncertainty on transitions related to different states is uncoupled and the adversary is allowed to select the worst possible realization for each state unrelated to others, potentially leading to highly conservative solutions. On the other hand, the case of general uncertainty sets is known to be intractable. We consider a factor model for probability transitions where the transition probability is a linear function of a factor matrix that is uncertain and belongs to a factor matrix uncertainty set. This is a fairly general model of uncertainty in probability transitions, allowing the decision maker to model dependence between probability transitions across different states and it is significantly less conservative than prior approaches. We show that under an underlying rectangularity assumption, we can efficiently compute an optimal robust policy under the factor matrix uncertainty model. Furthermore, we show that there is an optimal robust policy that is deterministic, which is of interest from an interpretability standpoint. We also introduce the robust counterpart of important structural results of classical MDPs, including the maximum principle and Blackwell optimality, and we provide a computational study to demonstrate the effectiveness of our approach in mitigating the conservativeness of robust policies.


abstract: Hereditary effects of exponentially damped oscillators with past histories are considered in this paper. Nonviscously damped oscillators involve hereditary damping forces which depend on time-histories of vibrating motions via convolution integrals over exponentially decaying functions. As a result, this kind of oscillators are said to have memory. In this work, initialization for nonviscously damped oscillators is firstly proposed. Unlike the classical viscously damped ones, information of the past history of response velocity is necessary to fully determine the dynamic behaviors of nonviscously damped oscillators. Then, initialization response of exponentially damped oscillators is obtained to characterize the hereditary effects on the dynamic response. At last, stability of initialization response is proved and the hereditary effects are shown to gradually recede with increasing of time.


title: META-DES.Oracle: Meta-learning and feature selection for ensemble selection

abstract: The key issue in Dynamic Ensemble Selection (DES) is defining a suitable criterion for calculating the classifiers' competence. There are several criteria available to measure the level of competence of base classifiers, such as local accuracy estimates and ranking. However, using only one criterion may lead to a poor estimation of the classifier's competence. In order to deal with this issue, we have proposed a novel dynamic ensemble selection framework using meta-learning, called META-DES. An important aspect of the META-DES framework is that multiple criteria can be embedded in the system encoded as different sets of meta-features. However, some DES criteria are not suitable for every classification problem. For instance, local accuracy estimates may produce poor results when there is a high degree of overlap between the classes. Moreover, a higher classification accuracy can be obtained if the performance of the meta-classifier is optimized for the corresponding data. In this paper, we propose a novel version of the META-DES framework based on the formal definition of the Oracle, called META-DES.Oracle. The Oracle is an abstract method that represents an ideal classifier selection scheme. A meta-feature selection scheme using an overfitting cautious Binary Particle Swarm Optimization (BPSO) is proposed for improving the performance of the meta-classifier. The difference between the outputs obtained by the meta-classifier and those presented by the Oracle is minimized. Thus, the meta-classifier is expected to obtain results that are similar to the Oracle. Experiments carried out using 30 classification problems demonstrate that the optimization procedure based on the Oracle definition leads to a significant improvement in classification accuracy when compared to previous versions of the META-DES framework and other state-of-the-art DES techniques.


title: Tattoo Image Search at Scale: Joint Detection and Compact Representation Learning

abstract: The explosive growth of digital images in video surveillance and social media has led to the significant need for efficient search of persons of interest in law enforcement and forensic applications. Despite tremendous progress in primary biometric traits (e.g., face and fingerprint) based person identification, a single biometric trait alone cannot meet the desired recognition accuracy in forensic scenarios. Tattoos, as one of the important soft biometric traits, have been found to be valuable for assisting in person identification. However, tattoo search in a large collection of unconstrained images remains a difficult problem, and existing tattoo search methods mainly focus on matching cropped tattoos, which is different from real application scenarios. To close the gap, we propose an efficient tattoo search approach that is able to learn tattoo detection and compact representation jointly in a single convolutional neural network (CNN) via multi-task learning. While the features in the backbone network are shared by both tattoo detection and compact representation learning, individual latent layers of each sub-network optimize the shared features toward the detection and feature learning tasks, respectively. We resolve the small batch size issue inside the joint tattoo detection and compact representation learning network via random image stitch and preceding feature buffering. We evaluate the proposed tattoo search system using multiple public-domain tattoo benchmarks, and a gallery set with about 300K distracter tattoo images compiled from these datasets and images from the Internet. In addition, we also introduce a tattoo sketch dataset containing 300 tattoos for sketch-based tattoo search. Experimental results show that the proposed approach has superior performance in tattoo detection and tattoo search at scale compared to several state-of-the-art tattoo retrieval algorithms.


title: Spectroscopic signature of trimer Mott insulator and charge disproportionation in BaIrO$_3$

abstract: We have measured the reflectivity spectra of the barium iridate $9R$ BaIrO$_3$, the crystal structure of which consists of characteristic Ir$_3$O$_{12}$ trimers. In the high-temperature phase above the transition temperature $T_c\simeq180$ K, we find that the optical conductivity involves two temperature-dependent optical transitions with an ill-defined Drude response. These features are reminiscent of the optical spectra in the organic dimer Mott insulators, implying a possible emergence of an unusual electronic state named trimer Mott insulator in BaIrO$_3$, where the carrier is localized on the trimer owing to the strong Coulomb repulsion. Along with a pronounced splitting of the phonon peak observed below $T_c$, which is a hallmark of charge disproportionation, we discuss a possible phase transition from the trimer Mott insulator to a charge-ordered insulating phase in BaIrO$_3$.


title: Consistent estimation of the max-flow problem: Towards unsupervised image segmentation

abstract: Advances in the image-based diagnostics of complex biological and manufacturing processes have brought unsupervised image segmentation to the forefront of enabling automated, on the fly decision making. However, most existing unsupervised segmentation approaches are either computationally complex or require manual parameter selection (e.g., flow capacities in max-flow/min-cut segmentation). In this work, we present a fully unsupervised segmentation approach using a continuous max-flow formulation over the image domain while optimally estimating the flow parameters from the image characteristics. More specifically, we show that the maximum a posteriori estimate of the image labels can be formulated as a continuous max-flow problem given the flow capacities are known. The flow capacities are then iteratively obtained by employing a novel Markov random field prior over the image domain. We present theoretical results to establish the posterior consistency of the flow capacities. We compare the performance of our approach on two real-world case studies including brain tumor image segmentation and defect identification in additively manufactured components using electron microscopic images. Comparative results with several state-of-the-art supervised as well as unsupervised methods suggest that the present method performs statistically similar to the supervised methods, but results in more than 90% improvement in the Dice score when compared to the state-of-the-art unsupervised methods.


title: Point Defects and Localized Excitons in 2D WSe2

abstract: Identifying the point defects in 2D materials is important for many applications. Recent studies have proposed that W vacancies are the predominant point defect in 2D WSe2, in contrast to theoretical studies, which predict that chalcogen vacancies are the most likely intrinsic point defects in transition metal dichalcogenide semiconductors. We show using first principles calculations, scanning tunneling microscopy (STM) and scanning transmission electron microscopy experiments, that W vacancies are not present in our CVD-grown 2D WSe2. We predict that O-passivated Se vacancies (O_Se) and O interstitials (Oins) are present in 2D WSe2, because of facile O2 dissociation at Se vacancies, or due to the presence of WO3 precursors in CVD growth. These defects give STM images in good agreement with experiment. The optical properties of point defects in 2D WSe2 are important because single photon emission (SPE) from 2D WSe2 has been observed experimentally. While strain gradients funnel the exciton in real space, point defects are necessary for the localization of the exciton at length scales that enable photons to be emitted one at a time. Using state-of-the-art GW-Bethe-Salpeter-equation calculations, we predict that only Oins defects give localized excitons within the energy range of SPE in previous experiments, making them a likely source of previously observed SPE. No other point defects (O_Se, Se vacancies, W vacancies and Se_W antisites) give localized excitons in the same energy range. Our predictions suggest ways to realize SPE in related 2D materials and point experimentalists toward other energy ranges for SPE in 2D WSe2.


title: CariGANs: Unpaired Photo-to-Caricature Translation

abstract: Facial caricature is an art form of drawing faces in an exaggerated way to convey humor or sarcasm. In this paper, we propose the first Generative Adversarial Network (GAN) for unpaired photo-to-caricature translation, which we call "CariGANs". It explicitly models geometric exaggeration and appearance stylization using two components: CariGeoGAN, which only models the geometry-to-geometry transformation from face photos to caricatures, and CariStyGAN, which transfers the style appearance from caricatures to face photos without any geometry deformation. In this way, a difficult cross-domain translation problem is decoupled into two easier tasks. The perceptual study shows that caricatures generated by our CariGANs are closer to the hand-drawn ones, and at the same time better persevere the identity, compared to state-of-the-art methods. Moreover, our CariGANs allow users to control the shape exaggeration degree and change the color/texture style by tuning the parameters or giving an example caricature.


title: Neural Music Synthesis for Flexible Timbre Control

abstract: The recent success of raw audio waveform synthesis models like WaveNet motivates a new approach for music synthesis, in which the entire process --- creating audio samples from a score and instrument information --- is modeled using generative neural networks. This paper describes a neural music synthesis model with flexible timbre controls, which consists of a recurrent neural network conditioned on a learned instrument embedding followed by a WaveNet vocoder. The learned embedding space successfully captures the diverse variations in timbres within a large dataset and enables timbre control and morphing by interpolating between instruments in the embedding space. The synthesis quality is evaluated both numerically and perceptually, and an interactive web demo is presented.


title: A Two-layer Decentralized Control Architecture for DER Coordination

abstract: This paper presents a two-layer distributed energy resource (DER) coordination architecture that allows for separate ownership of data, operates with data subjected to a large buffering delay, and employs a new measure of power quality. The two-layer architecture comprises a centralized model predictive controller (MPC) and several decentralized MPCs each operating independently with no direct communication between them and with infrequent communication with the centralized controller. The goal is to minimize a combination of total energy cost and a measure of power quality while obeying cyber-physical constraints. The global controller utilizes a fast AC optimal power flow (OPF) solver and extensive parallelization to scale the solution to large networks. Each local controller attempts to maximize arbitrage profit while following the load profile and constraints dictated by the global controller. Extensive simulations are performed for two distribution networks under a wide variety of possible storage and solar penetrations enabled by the controller speed. The simulations show that (i) the two-layer architecture can achieve tenfold improvement in power quality relative to no coordination, while capturing nearly all of the available arbitrage profit for a moderate amount of storage penetration, and (ii) both power quality and arbitrage profits are optimized when the solar and storage are distributed more widely over the network, hence it is more effective to install storage closer to the consumer.


title: Understanding Learning Dynamics Of Language Models with SVCCA

abstract: Research has shown that neural models implicitly encode linguistic features, but there has been no research showing \emph{how} these encodings arise as the models are trained. We present the first study on the learning dynamics of neural language models, using a simple and flexible analysis method called Singular Vector Canonical Correlation Analysis (SVCCA), which enables us to compare learned representations across time and across models, without the need to evaluate directly on annotated data. We probe the evolution of syntactic, semantic, and topic representations and find that part-of-speech is learned earlier than topic; that recurrent layers become more similar to those of a tagger during training; and embedding layers less similar. Our results and methods could inform better learning algorithms for NLP models, possibly to incorporate linguistic information more effectively.


title: Social Learning with Questions

abstract: This work studies sequential social learning (also known as Bayesian observational learning), and how private communication can enable agents to avoid herding to the wrong action/state. Starting from the seminal BHW (Bikhchandani, Hirshleifer, and Welch, 1992) model where asymptotic learning does not occur, we allow agents to ask private and finite questions to a bounded subset of their predecessors. While retaining the publicly observed history of the agents and their Bayes rationality from the BHW model, we further assume that both the ability to ask questions and the questions themselves are common knowledge. Then interpreting asking questions as partitioning information sets, we study whether asymptotic learning can be achieved with finite capacity questions. Restricting our attention to the network where every agent is only allowed to query her immediate predecessor, an explicit construction shows that a 1-bit question from each agent is enough to enable asymptotic learning.


title: Heavy quark scaling of $B\to\pi\ell\nu$ form factors with M\"{o}bius domain wall fermions

abstract: We report on the progress of our calculation of form factors for the exclusive semileptonic decay of $B$ mesons to pions on $2+1$ flavour lattices with spacings from $0.080~\mathrm{fm}$ down to $0.044~\mathrm{fm}$. Using the M\"{o}bius domain wall fermion action for all quarks, we simulate pions with masses down to $230~\mathrm{MeV}$ and extrapolate to the physical bottom quark mass by utilizing a range of heavy quark masses up to $2.44$ times the mass of the charm quark. We discuss the dependence on the pion mass, heavy quark mass and lattice spacing in our form factors results.


title: A sequential guiding network with attention for image captioning

abstract: The recent advances of deep learning in both computer vision (CV) and natural language processing (NLP) provide us a new way of understanding semantics, by which we can deal with more challenging tasks such as automatic description generation from natural images. In this challenge, the encoder-decoder framework has achieved promising performance when a convolutional neural network (CNN) is used as image encoder and a recurrent neural network (RNN) as decoder. In this paper, we introduce a sequential guiding network that guides the decoder during word generation. The new model is an extension of the encoder-decoder framework with attention that has an additional guiding long short-term memory (LSTM) and can be trained in an end-to-end manner by using image/descriptions pairs. We validate our approach by conducting extensive experiments on a benchmark dataset, i.e., MS COCO Captions. The proposed model achieves significant improvement comparing to the other state-of-the-art deep learning models.


title: Invariants and matrix elements of the quantum group $U_q[gl(n,\mathbb{C})]$ revisited

abstract: In a previous paper the generator matrix elements and (dual) vector reduced Wigner coefficients (RWCs) were evaluated via the polynomial identities satisfied by a certain matrix constructed from the $R$-matrix $R$ and its twisted counterpart $R^T=T\circ R$. Here we provide an alternative evaluation utilising the $R$-matrix $\tilde{R} = (R^T)^{-1}$. This provides a new direct derivation of the vector RWCs obtained indirectly in earlier work via a symmetry relation. This approach has the advantage that it generalises to the Lie superalgebra case, which will be investigated elsewhere.


title: On the Cheeger constant for distance-regular graphs

abstract: The Cheeger constant of a graph is the smallest possible ratio between the size of a subgraph and the size of its boundary. It is well known that this constant must be at least $\frac{\lambda_1}{2}$, where $\lambda_1$ is the smallest positive eigenvalue of the Laplacian matrix. The subject of this paper is a conjecture of the authors that for distance-regular graphs the Cheeger constant is at most $\lambda_1$. In particular, we prove the conjecture for the known infinite families of distance-regular graphs, distance-regular graphs of diameter 2 (the strongly regular graphs), several classes of imprimitive distance-regular graphs, and most distance-regular graphs with small valency.


title: Towards learning-to-learn

abstract: In good old-fashioned artificial intelligence (GOFAI), humans specified systems that solved problems. Much of the recent progress in AI has come from replacing human insights by learning. However, learning itself is still usually built by humans -- specifically the choice that parameter updates should follow the gradient of a cost function. Yet, in analogy with GOFAI, there is no reason to believe that humans are particularly good at defining such learning systems: we may expect learning itself to be better if we learn it. Recent research in machine learning has started to realize the benefits of that strategy. We should thus expect this to be relevant for neuroscience: how could the correct learning rules be acquired? Indeed, cognitive science has long shown that humans learn-to-learn, which is potentially responsible for their impressive learning abilities. Here we discuss ideas across machine learning, neuroscience, and cognitive science that matter for the principle of learning-to-learn.


title: Textbook Question Answering with Multi-modal Context Graph Understanding and Self-supervised Open-set Comprehension

abstract: In this work, we introduce a novel algorithm for solving the textbook question answering (TQA) task which describes more realistic QA problems compared to other recent tasks. We mainly focus on two related issues with analysis of the TQA dataset. First, solving the TQA problems requires to comprehend multi-modal contexts in complicated input data. To tackle this issue of extracting knowledge features from long text lessons and merging them with visual features, we establish a context graph from texts and images, and propose a new module f-GCN based on graph convolutional networks (GCN). Second, scientific terms are not spread over the chapters and subjects are split in the TQA dataset. To overcome this so called "out-of-domain" issue, before learning QA problems, we introduce a novel self-supervised open-set learning process without any annotations. The experimental results show that our model significantly outperforms prior state-of-the-art methods. Moreover, ablation studies validate that both methods of incorporating f-GCN for extracting knowledge from multi-modal contexts and our newly proposed self-supervised learning process are effective for TQA problems.


title: Survey on Vision-based Path Prediction

abstract: Path prediction is a fundamental task for estimating how pedestrians or vehicles are going to move in a scene. Because path prediction as a task of computer vision uses video as input, various information used for prediction, such as the environment surrounding the target and the internal state of the target, need to be estimated from the video in addition to predicting paths. Many prediction approaches that include understanding the environment and the internal state have been proposed. In this survey, we systematically summarize methods of path prediction that take video as input and and extract features from the video. Moreover, we introduce datasets used to evaluate path prediction methods quantitatively.


title: Joint Fleet Sizing and Charging System Planning for Autonomous Electric Vehicles

abstract: This paper studies the joint fleet sizing and charging system planning problem for a company operating a fleet of autonomous electric vehicles (AEVs) for passenger and goods transportation. Most of the relevant published papers focus on intracity scenarios and adopt heuristic approaches, e.g., agent based simulation, which do not guarantee optimality. In contrast, we propose a mixed integer linear programming model for intercity scenarios. This model incorporates comprehensive considerations of 1) limited AEV driving range; 2) optimal AEV routing and relocating operations; 3) time-varying origin-destination transport demands; and 4) differentiated operation cost structure of passenger and goods transportation. The proposed model can be computational expensive when the scale of the transportation network is large. We then exploit the structure of this program to expedite its solution. Numerical experiments are conducted to validate the proposed method. Our experimental results show that AEVs in passenger and goods transportation have remarkable planning and operation differences. We also demonstrate that intelligent routing and relocating operations, charging system and vehicle parameters, e.g., charging power, battery capacity, driving speed etc., can significantly affect the economic efficiency and the planning results of an AEV fleet.


title: Typical Purification Reproducing the Time Evolution of an Open Quantum System

abstract: It is known that an arbitrary quantum state can always be expressed in a pure state by preparing an appropriate ancilla system, which is called purification. The purification can always be performed when considering only a quantity not dependent on the quantum state of the ancilla system. Otherwise, the possibility of purification cannot be elucidated. In this study, we focus on the cases where a quantum system S and the ancilla system interact with each other, and investigate whether purification, which correctly reproduces the time evolution of the system S, is possible. Accordingly, when the ancilla system is a macrosystem, it can be shown that this purification is possible for a specific initial state.

categories: cond-mat.stat-mech math-ph math.MP quant-ph


title: Encryption-then-Compression Systems using Grayscale-based Image Encryption for JPEG Images

abstract: A block scrambling-based encryption scheme is presented to enhance the security of Encryption-then-Compression (EtC) systems with JPEG compression, which allow us to securely transmit images through an untrusted channel provider, such as social network service providers. The proposed scheme enables the use of a smaller block size and a larger number of blocks than the conventional scheme. Images encrypted using the proposed scheme include less color information due to the use of grayscale images even when the original image has three color channels. These features enhance security against various attacks such as jigsaw puzzle solver and brute-force attacks. In an experiment, the security against jigsaw puzzle solver attacks is evaluated. Encrypted images were uploaded to and then downloaded from Facebook and Twitter, and the results demonstrated that the proposed scheme is effective for EtC systems.


title: Time Quantified Monte Carlo Method for Long-range Interacting Systems

abstract: We propose a method for simulating the stochastic dynamics of classical spin systems with long-range interactions. The method incorporates the stochastic cutoff (SCO) method, which is originally specialized for simulating equilibrium state, into time quantified Monte Carlo (TQMC) method. We analytically prove that the present method gives the same real-time dynamics with the stochastic Landau-Lifshitz-Gilbert (s-LLG) equation, i.e., both method derives the same Fokker-Planck coefficients. We demonstrate magnetization reversal processes and confirm that the result is in good agreement with the result obtained by s-LLG. Using our method enables us to analyze complicated lattice systems consisting of many spins in a unit cell. Technical improvement of TQMC is also proposed.


title: Spelling Error Correction Using a Nested RNN Model and Pseudo Training Data

abstract: We propose a nested recurrent neural network (nested RNN) model for English spelling error correction and generate pseudo data based on phonetic similarity to train it. The model fuses orthographic information and context as a whole and is trained in an end-to-end fashion. This avoids feature engineering and does not rely on a noisy channel model as in traditional methods. Experiments show that the proposed method is superior to existing systems in correcting spelling errors.


title: Progressive Memory Banks for Incremental Domain Adaptation

abstract: This paper addresses the problem of incremental domain adaptation (IDA) in natural language processing (NLP). We assume each domain comes one after another, and that we could only access data in the current domain. The goal of IDA is to build a unified model performing well on all the domains that we have encountered. We adopt the recurrent neural network (RNN) widely used in NLP, but augment it with a directly parameterized memory bank, which is retrieved by an attention mechanism at each step of RNN transition. The memory bank provides a natural way of IDA: when adapting our model to a new domain, we progressively add new slots to the memory bank, which increases the number of parameters, and thus the model capacity. We learn the new memory slots and fine-tune existing parameters by back-propagation. Experimental results show that our approach achieves significantly better performance than fine-tuning alone. Compared with expanding hidden states, our approach is more robust for old domains, shown by both empirical and theoretical results. Our model also outperforms previous work of IDA including elastic weight consolidation and progressive neural networks in the experiments.


title: GlobalTrait: Personality Alignment of Multilingual Word Embeddings

abstract: We propose a multilingual model to recognize Big Five Personality traits from text data in four different languages: English, Spanish, Dutch and Italian. Our analysis shows that words having a similar semantic meaning in different languages do not necessarily correspond to the same personality traits. Therefore, we propose a personality alignment method, GlobalTrait, which has a mapping for each trait from the source language to the target language (English), such that words that correlate positively to each trait are close together in the multilingual vector space. Using these aligned embeddings for training, we can transfer personality related training features from high-resource languages such as English to other low-resource languages, and get better multilingual results, when compared to using simple monolingual and unaligned multilingual embeddings. We achieve an average F-score increase (across all three languages except English) from 65 to 73.4 (+8.4), when comparing our monolingual model to multilingual using CNN with personality aligned embeddings. We also show relatively good performance in the regression tasks, and better classification results when evaluating our model on a separate Chinese dataset.


title: On the End-to-End Solution to Mandarin-English Code-switching Speech Recognition

abstract: Code-switching (CS) refers to a linguistic phenomenon where a speaker uses different languages in an utterance or between alternating utterances. In this work, we study end-to-end (E2E) approaches to the Mandarin-English code-switching speech recognition (CSSR) task. We first examine the effectiveness of using data augmentation and byte-pair encoding (BPE) subword units. More importantly, we propose a multitask learning recipe, where a language identification task is explicitly learned in addition to the E2E speech recognition task. Furthermore, we introduce an efficient word vocabulary expansion method for language modeling to alleviate data sparsity issues under the code-switching scenario. Experimental results on the SEAME data, a Mandarin-English CS corpus, demonstrate the effectiveness of the proposed methods.


title: Radical factorization in commutative rings, monoids and multiplicative lattices

abstract: In this paper we study the concept of radical factorization in the context of abstract ideal theory in order to obtain a unified approach to the theory of factorization into radical ideals and elements in the literature of commutative rings, monoids and ideal systems. Using this approach we derive new characterizations of classes of rings whose ideals are a product of radical ideals, and we obtain also similar characterizations for classes of ideal systems in monoids and star ideals in integral domains.


title: A Single-Crystal Neutron Diffraction Study on Magnetic Structure of CsCo2Se2

abstract: The magnetic structure of CsCo2Se2 was investigated using single-crystal neutron diffraction technique. An antiferromagnetic transition with the propagation vector (0,0,1) was observed at T_N = 78 K. The Co magnetic moment 0.772(6) {\mu}_B at 10 K pointing in the basal plane couples ferromagnetically in the plane which stacks antiferromagnetically along the c direction. Tuning and suppressing the interplane antiferromagnetic interaction may be crucial to induce the material to a superconducting state.


title: A Variational Step for Reduction of Mixed Gaussian-Impulse Noise from Images

abstract: Reduction of mixed noise is an ill posed problem for the occurrence of contrasting distributions of noise in the image. The mixed noise that is usually encountered is the simultaneous presence of additive white Gaussian noise (AWGN) and impulse noise (IN). A standard approach to denoise an image with such corruption is to apply a rank order filter (ROF) followed by an efficient linear filter to remove the residual noise. However, ROF cannot completely remove the heavy tail of the noise distribution originating from the IN and thus the denoising performance can be suboptimal. In this paper, we present a variational step to remove the heavy tail of the noise distribution. Through experiments, it is shown that this approach can significantly improve the denoising performance of mixed AWGN-IN using well-established methods.


title: Chromatic Schultz Polynomial of Certain Graphs

abstract: A topological index of a graph $G$ is a real number which is preserved under isomorphism. Extensive studies on certain polynomials related to these topological indices have also been done recently. In a similar way, chromatic versions of certain topological indices and the related polynomials have also been discussed in the recent literature. In this paper, the chromatic version of the Schultz polynomial is introduced and determined this polynomial for certain fundamental graph classes.


title: SARN: Relational Reasoning through Sequential Attention

abstract: This paper proposes an attention module augmented relational network called SARN(Sequential Attention Relational Network) that can carry out relational reasoning by extracting reference objects and making efficient pairing between objects. SARN greatly reduces the computational and memory requirements of the relational network, which computes all object pairs. It also shows high accuracy on the Sort-of-CLEVR dataset compared to other models, especially on relational questions.


title: FNNC: Achieving Fairness through Neural Networks

abstract: In classification models fairness can be ensured by solving a constrained optimization problem. We focus on fairness constraints like Disparate Impact, Demographic Parity, and Equalized Odds, which are non-decomposable and non-convex. Researchers define convex surrogates of the constraints and then apply convex optimization frameworks to obtain fair classifiers. Surrogates serve only as an upper bound to the actual constraints, and convexifying fairness constraints might be challenging. We propose a neural network-based framework, \emph{FNNC}, to achieve fairness while maintaining high accuracy in classification. The above fairness constraints are included in the loss using Lagrangian multipliers. We prove bounds on generalization errors for the constrained losses which asymptotically go to zero. The network is optimized using two-step mini-batch stochastic gradient descent. Our experiments show that FNNC performs as good as the state of the art, if not better. The experimental evidence supplements our theoretical guarantees. In summary, we have an automated solution to achieve fairness in classification, which is easily extendable to many fairness constraints.


title: Hankel determinants for convolution powers of Catalan numbers

abstract: The Hankel determinants $\left(\frac{r}{2(i+j)+r}\binom{2(i+j)+r}{i+j}\right)_{0\leq i,j \leq n-1}$ of the convolution powers of Catalan numbers were considered by Cigler and by Cigler and Krattenthaler. We evaluate these determinants for $r\le 31$ by finding shifted periodic continued fractions, which arose in application of Sulanke and Xin's continued fraction method. These include some of the conjectures of Cigler as special cases. We also conjectured a polynomial characterization of these determinants. The same technique is used to evaluate the Hankel determinants $\left(\binom{2(i+j)+r}{i+j}\right)_{0\leq i,j \leq n-1} $. Similar results are obtained.


title: Examining Performance of Sketch-to-Image Translation Models with Multiclass Automatically Generated Paired Training Data

abstract: Image translation is a computer vision task that involves translating one representation of the scene into another. Various approaches have been proposed and achieved highly desirable results. Nevertheless, its accomplishment requires abundant paired training data which are expensive to acquire. Therefore, models for translation are usually trained on a set of paired training data which are carefully and laboriously designed. Our work is focused on learning through automatically generated paired data. We propose a method to generate fake sketches from images using an adversarial network and then pair the images with corresponding fake sketches to form large-scale multi-class paired training data for training a sketch-to-image translation model. Our model is an encoder-decoder architecture where the encoder generates fake sketches from images and the decoder performs sketch-to-image translation. Qualitative results show that the encoder can be used for generating large-scale multi-class paired data under low supervision. Our current dataset now contains 61255 image and (fake) sketch pairs from 256 different categories. These figures can be greatly increased in the future thanks to our weak reliance on manually labeled data.


title: Filter Pruning via Geometric Median for Deep Convolutional Neural Networks Acceleration

abstract: Previous works utilized ''smaller-norm-less-important'' criterion to prune filters with smaller norm values in a convolutional neural network. In this paper, we analyze this norm-based criterion and point out that its effectiveness depends on two requirements that are not always met: (1) the norm deviation of the filters should be large; (2) the minimum norm of the filters should be small. To solve this problem, we propose a novel filter pruning method, namely Filter Pruning via Geometric Median (FPGM), to compress the model regardless of those two requirements. Unlike previous methods, FPGM compresses CNN models by pruning filters with redundancy, rather than those with ''relatively less'' importance. When applied to two image classification benchmarks, our method validates its usefulness and strengths. Notably, on CIFAR-10, FPGM reduces more than 52% FLOPs on ResNet-110 with even 2.69% relative accuracy improvement. Moreover, on ILSVRC-2012, FPGM reduces more than 42% FLOPs on ResNet-101 without top-5 accuracy drop, which has advanced the state-of-the-art. Code is publicly available on GitHub: https://github.com/he-y/filter-pruning-geometric-median


title: Decay properties of singly charmed baryons

abstract: The magnetic moments, transition magnetic moments and the radiative decay widths of singly charmed baryons are calculated with $ {J^P = \frac{1}{2}}^+$ and $ {J^P = \frac{3}{2}}^+$ in the constitute quark model. Further, the strong decay rates for $ S $, $ P $ and $ D $ wave transitions are also presented. The singly charmed baryon masses used in the calculations were obtained from the hypercentral Constitute Quark Model (hCQM) without and with first order relativistic correction. Obtained results are compared with experimental observation as well as with the other theoretical predictions.


title: Persistent-Homology-based Machine Learning and its Applications -- A Survey

abstract: A suitable feature representation that can both preserve the data intrinsic information and reduce data complexity and dimensionality is key to the performance of machine learning models. Deeply rooted in algebraic topology, persistent homology (PH) provides a delicate balance between data simplification and intrinsic structure characterization, and has been applied to various areas successfully. However, the combination of PH and machine learning has been hindered greatly by three challenges, namely topological representation of data, PH-based distance measurements or metrics, and PH-based feature representation. With the development of topological data analysis, progresses have been made on all these three problems, but widely scattered in different literatures. In this paper, we provide a systematical review of PH and PH-based supervised and unsupervised models from a computational perspective. Our emphasizes are the recent development of mathematical models and tools, including PH softwares and PH-based functions, feature representations, kernels, and similarity models. Essentially, this paper can work as a roadmap for the practical application of PH-based machine learning tools. Further, we consider different topological feature representations in different machine learning models, and investigate their impacts on the protein secondary structure classification.


title: Hybrid Self-Attention Network for Machine Translation

abstract: The encoder-decoder is the typical framework for Neural Machine Translation (NMT), and different structures have been developed for improving the translation performance. Transformer is one of the most promising structures, which can leverage the self-attention mechanism to capture the semantic dependency from global view. However, it cannot distinguish the relative position of different tokens very well, such as the tokens located at the left or right of the current token, and cannot focus on the local information around the current token either. To alleviate these problems, we propose a novel attention mechanism named Hybrid Self-Attention Network (HySAN) which accommodates some specific-designed masks for self-attention network to extract various semantic, such as the global/local information, the left/right part context. Finally, a squeeze gate is introduced to combine different kinds of SANs for fusion. Experimental results on three machine translation tasks show that our proposed framework outperforms the Transformer baseline significantly and achieves superior results over state-of-the-art NMT systems.


title: Performance of trajectory surface hopping method in the treatment of ultrafast intersystem crossing dynamics

abstract: We carried out extensive studies to examine the performance of the fewest-switches surface hopping method in the description of the ultrafast intersystem crossing dynamic of various singlet-triplet (S-T) models by comparison with the results of the exact full quantum dynamics. Different implementation details and some derivative approaches were examined. As expected, it is better to perform the trajectory surface hopping calculations in the spin-adiabatic representation or by the local diabatization approach, instead of in the spin-diabatic representation. The surface hopping method provides reasonable results for the short-time dynamics in the S-T model with weak spin-orbital coupling (diabatic coupling), although it does not perform well in the models with strong spin-orbital coupling (diabatic coupling). When the system accesses the S-T potential energy crossing with rather high kinetic energy, the trajectory surface hopping method tends to produce the good description of the nonadiabatic intersystem crossing dynamics. The impact of the decoherence correction on the performance of the trajectory surface hopping is system dependent. It improves the result accuracy in many cases, while its influence may also be minor for other cases.


title: HMLasso: Lasso with High Missing Rate

abstract: Sparse regression such as the Lasso has achieved great success in handling high-dimensional data. However, one of the biggest practical problems is that high-dimensional data often contain large amounts of missing values. Convex Conditioned Lasso (CoCoLasso) has been proposed for dealing with high-dimensional data with missing values, but it performs poorly when there are many missing values, so that the high missing rate problem has not been resolved. In this paper, we propose a novel Lasso-type regression method for high-dimensional data with high missing rates. We effectively incorporate mean imputed covariance, overcoming its inherent estimation bias. The result is an optimally weighted modification of CoCoLasso according to missing ratios. We theoretically and experimentally show that our proposed method is highly effective even when there are many missing values.


title: Skeleton-based Activity Recognition with Local Order Preserving Match of Linear Patches

abstract: Human activity recognition has drawn considerable attention recently in the field of computer vision due to the development of commodity depth cameras, by which the human activity is represented as a sequence of 3D skeleton postures. Assuming human body 3D joint locations of an activity lie on a manifold, the problem of recognizing human activity is formulated as the computation of activity manifold-manifold distance (AMMD). In this paper, we first design an efficient division method to decompose a manifold into ordered continuous maximal linear patches (CMLPs) that denote meaningful action snippets of the action sequence. Then the CMLP is represented by its position (average value of points) and the first principal component, which specify the major posture and main evolving direction of an action snippet, respectively. Finally, we compute the distance between CMLPs by taking both the posture and direction into consideration. Based on these preparations, an intuitive distance measure that preserves the local order of action snippets is proposed to compute AMMD. The performance on two benchmark datasets demonstrates the effectiveness of the proposed approach.


title: Initial Sampling in Symmetrical Quasiclassical Dynamics Based on Li-Miller Mapping Hamiltonian

abstract: A symmetrical quasiclassical (SQC) dynamics approach based on the Li-Miller (LM) mapping Hamiltonian (SQC-LM) was employed to describe nonadiabatic dynamics. In principle, the different initial sampling procedures may be applied in the SQC-LM dynamics, and the results may be dependent on the initial sampling. We provided various initial sampling approaches and checked their influence. We selected two groups of models including site-exciton models for exciton dynamics and linear vibronic coupling models for conical intersections to test the performance of SQC-LM dynamics with the different initial sampling methods. The results were examined with respect to those of the accurate multilayer multiconfigurational time-dependent Hartree (ML-MCTDH) quantum dynamics. For both two models, the SQC-LM method more-or-less gives a reasonable description of the population dynamics, while the influence of the initial sampling approaches on the final results is noticeable. It seems that the proper initial sampling methods should be determined by the system under study. This indicates that the combination of the SQC-LM method with a suitable sampling approach may be a potential method in the description of nonadiabatic dynamics.


title: Language-Independent Representor for Neural Machine Translation

abstract: Current Neural Machine Translation (NMT) employs a language-specific encoder to represent the source sentence and adopts a language-specific decoder to generate target translation. This language-dependent design leads to large-scale network parameters and makes the duality of the parallel data underutilized. To address the problem, we propose in this paper a language-independent representor to replace the encoder and decoder by using weight sharing. This shared representor can not only reduce large portion of network parameters, but also facilitate us to fully explore the language duality by jointly training source-to-target, target-to-source, left-to-right and right-to-left translations within a multi-task learning framework. Experiments show that our proposed framework can obtain significant improvements over conventional NMT models on resource-rich and low-resource translation tasks with only a quarter of parameters.


title: Effect of sputter deposited ZnO thin layers on magnetoimpedance response and field sensitivity of Co-based micro-wires

abstract: Semiconductive ZnO has shown to be a fascinating element for application in high-performance sensors. ZnO with various thicknesses (87-500 nm) was deposited on the surface of Co-based amorphous micro-wire (Co68.15Fe4.35Si12.5B15) using magnetron sputtering technique and the magnetoimpedance (MI) response was evaluated. The MI% increases monotonously up to the 240 nm thickness of the ZnO layer. By further increase in the ZnO layer thickness the MI% decreases. MI response and field sensitivity increased from 227% and 1.7 %/Oe for bare micro-wire up to 406% and 4.99 %/Oe for ZnO deposited micro-wire with a thickness of 240 nm. The x-ray diffraction (XRD) and scanning electron microscopy (SEM) were used to characterize the structural grown ZnO layers. Vibrating sample magnetometry (VSM) was used to reveal the role of the ZnO thin layer in the MI response. The same trend of increase and decrease in the MI% by thickness was observed for the transverse permeability of the samples determined by VSM. The obtained results address a simple way to achieve high MI response and sensitivity with selective surface sensing.


title: Horizon: Facebook's Open Source Applied Reinforcement Learning Platform

abstract: In this paper we present Horizon, Facebook's open source applied reinforcement learning (RL) platform. Horizon is an end-to-end platform designed to solve industry applied RL problems where datasets are large (millions to billions of observations), the feedback loop is slow (vs. a simulator), and experiments must be done with care because they don't run in a simulator. Unlike other RL platforms, which are often designed for fast prototyping and experimentation, Horizon is designed with production use cases as top of mind. The platform contains workflows to train popular deep RL algorithms and includes data preprocessing, feature transformation, distributed training, counterfactual policy evaluation, optimized serving, and a model-based data understanding tool. We also showcase and describe real examples where reinforcement learning models trained with Horizon significantly outperformed and replaced supervised learning systems at Facebook.


title: The multiplier and cohomology of Lie superalgebras

abstract: In this paper, all (super)algebras are over a field $\mathbb{F}$ of characteristic different from $2, 3$. We construct the so-called 5-sequences of cohomology for central extensions of a Lie superalgebra and prove that they are exact. Then we prove that the multipliers of a Lie superalgebra are isomorphic to the second cohomology group with coefficients in the trivial module for the Lie superalgebra under consideration.


title: Semi-Finite Length Analysis for Information Theoretic Tasks

abstract: We focus on the optimal value for various information-theoretical tasks. There are several studies for the asymptotic expansion for these optimal values up to the order $\sqrt{n}$ or $\log n$. However, these expansions have errors of the order $o(\sqrt{n})$ or $o(\log n)$, which does not goes to zero asymptotically. To resolve this problem, we derive the asymptotic expansion up to the constant order for upper and lower bounds of these optimal values. While the expansions of upper and lower bonds do not match, they clarify the ranges of these optimal values, whose errors go to zero asymptotically.


title: Simulation of Focusing Effect of Traveling Ionospheric Disturbances on Meter-Decameter Solar Dynamic Spectra

abstract: For the first time we present simulation results of the focusing effect of the ionospheric plasma density irregularities, namely, Medium Scale Traveling Ionospheric Disturbances (MSTIDs), on solar radio emission by applying a ray-tracing method to the Earth's ionosphere with MSTIDs. With this technique we investigate the focusing effect which manifests itself in the form of peculiar spectral disturbances in intensity with specific morphology, so-called Spectral Caustics (SCs), occasionally appearing in dynamic spectra of different solar radio instruments operating in the meter-decameter wavelength range. We show that the simulated spectral shapes of SCs are in good agreement with the ones detected in real solar radio spectrograms. In particular, SCs that are classified as inverted V-like, V-like, X-like, and fiber-like types have been reproduced. It is also found that the seasonal dependence in the occurrence of SCs, which has been discovered recently, can be understood through a strong relation between the focusing frequency - the most important characteristic point in most SCs patterns - and the elevation angle of the Sun. We find that under typical parameters of MSTIDs with spatial and temporal periods set to be 300 km and 40 min, respectively, the focusing frequency decreases with the growth of the elevation angle. Physical interpretations of the results and implications on the analysis of solar radio data with SCs are discussed.


title: Multiple Kernel $k$-Means Clustering by Selecting Representative Kernels

abstract: To cluster data that are not linearly separable in the original feature space, $k$-means clustering was extended to the kernel version. However, the performance of kernel $k$-means clustering largely depends on the choice of kernel function. To mitigate this problem, multiple kernel learning has been introduced into the $k$-means clustering to obtain an optimal kernel combination for clustering. Despite the success of multiple kernel $k$-means clustering in various scenarios, few of the existing work update the combination coefficients based on the diversity of kernels, which leads to the result that the selected kernels contain high redundancy and would degrade the clustering performance and efficiency. In this paper, we propose a simple but efficient strategy that selects a diverse subset from the pre-specified kernels as the representative kernels, and then incorporate the subset selection process into the framework of multiple $k$-means clustering. The representative kernels can be indicated as the significant combination weights. Due to the non-convexity of the obtained objective function, we develop an alternating minimization method to optimize the combination coefficients of the selected kernels and the cluster membership alternatively. We evaluate the proposed approach on several benchmark and real-world datasets. The experimental results demonstrate the competitiveness of our approach in comparison with the state-of-the-art methods.


title: ATM:Adversarial-neural Topic Model

abstract: Topic models are widely used for thematic structure discovery in text. But traditional topic models often require dedicated inference procedures for specific tasks at hand. Also, they are not designed to generate word-level semantic representations. To address these limitations, we propose a topic modeling approach based on Generative Adversarial Nets (GANs), called Adversarial-neural Topic Model (ATM). The proposed ATM models topics with Dirichlet prior and employs a generator network to capture the semantic patterns among latent topics. Meanwhile, the generator could also produce word-level semantic representations. To illustrate the feasibility of porting ATM to tasks other than topic modeling, we apply ATM for open domain event extraction. Our experimental results on the two public corpora show that ATM generates more coherence topics, outperforming a number of competitive baselines. Moreover, ATM is able to extract meaningful events from news articles.


title: Learning to Describe Phrases with Local and Global Contexts

abstract: When reading a text, it is common to become stuck on unfamiliar words and phrases, such as polysemous words with novel senses, rarely used idioms, internet slang, or emerging entities. If we humans cannot figure out the meaning of those expressions from the immediate local context, we consult dictionaries for definitions or search documents or the web to find other global context to help in interpretation. Can machines help us do this work? Which type of context is more important for machines to solve the problem? To answer these questions, we undertake a task of describing a given phrase in natural language based on its local and global contexts. To solve this task, we propose a neural description model that consists of two context encoders and a description decoder. In contrast to the existing methods for non-standard English explanation [Ni+ 2017] and definition generation [Noraset+ 2017; Gadetsky+ 2018], our model appropriately takes important clues from both local and global contexts. Experimental results on three existing datasets (including WordNet, Oxford and Urban Dictionaries) and a dataset newly created from Wikipedia demonstrate the effectiveness of our method over previous work.


title: Precise asymptotics: robust stochastic volatility models

abstract: We present a new methodology to analyze large classes of (classical and rough) stochastic volatility models, with special regard to short-time and small noise formulae for option prices. Our main tool is the theory of regularity structures, which we use in the form of [Bayer et al; A regularity structure for rough volatility, 2017]. In essence, we implement a Laplace method on the space of models (in the sense of Hairer), which generalizes classical works of Azencott and Ben Arous on path space and then Aida, Inahama--Kawabi on rough path space. When applied to rough volatility models, e.g. in the setting of [Forde-Zhang, Asymptotics for rough stochastic volatility models, 2017], one obtains precise asymptotic for European options which refine known large deviation asymptotics.


title: Old and New in Strangeness Nuclear Physics

abstract: Several persistent problems in strangeness nuclear physics are discussed in this opening talk at HYP2018, Portsmouth-Norfolk VA, June 2018: (i) the $^3_{\Lambda}$H and $^3_{\Lambda}$n (if existing) lifetimes; (ii) charge symmetry breaking in $\Lambda$ hypernuclei; (iii) the overbinding of $^5_{\Lambda}$He which might be related to the hyperon puzzle in neutron stars; and (iv) does $\Lambda^\ast$(1405) survive in strange hadronic matter?


title: Multiplication operators on non-commutative spaces

abstract: Boundedness and compactness properties of multiplication operators on quantum (non-commutative) function spaces are investigated. For endomorphic multiplication operators these properties can be characterized in the setting of quantum symmetric spaces. For non-endomorphic multiplication operators these properties can be completely characterized in the setting of quantum $L^p$-spaces and a partial solution obtained in the more general setting of quantum Orlicz spaces.


title: Hierarchical Long Short-Term Concurrent Memory for Human Interaction Recognition

abstract: In this paper, we aim to address the problem of human interaction recognition in videos by exploring the long-term inter-related dynamics among multiple persons. Recently, Long Short-Term Memory (LSTM) has become a popular choice to model individual dynamic for single-person action recognition due to its ability of capturing the temporal motion information in a range. However, existing RNN models focus only on capturing the dynamics of human interaction by simply combining all dynamics of individuals or modeling them as a whole. Such models neglect the inter-related dynamics of how human interactions change over time. To this end, we propose a novel Hierarchical Long Short-Term Concurrent Memory (H-LSTCM) to model the long-term inter-related dynamics among a group of persons for recognizing the human interactions. Specifically, we first feed each person's static features into a Single-Person LSTM to learn the single-person dynamic. Subsequently, the outputs of all Single-Person LSTM units are fed into a novel Concurrent LSTM (Co-LSTM) unit, which mainly consists of multiple sub-memory units, a new cell gate and a new co-memory cell. In a Co-LSTM unit, each sub-memory unit stores individual motion information, while this Co-LSTM unit selectively integrates and stores inter-related motion information between multiple interacting persons from multiple sub-memory units via the cell gate and co-memory cell, respectively. Extensive experiments on four public datasets validate the effectiveness of the proposed H-LSTCM by comparing against baseline and state-of-the-art methods.


title: Contact representation of short range correlation in light nuclei studied by the High-Momentum Antisymmetrized Molecular Dynamics

abstract: The high-momentum antisymmetrized molecular dynamics (HMAMD) is a new promising framework with significant analytical simplicity and efficiency inherited from its antisymmetrized molecular dynamics in describing the high momentum correlations in various nuclear states. In the aim of further improving the numerical efficiency for the description of nucleon-nucleon correlation, we introduce a new formulation by including a new Gaussian weighted basis of high momentum pairs in the HMAMD wave function, with which very rapid convergence is obtained in numerical calculation. It is surprising that the very high-momentum components in the new HMAMD basis are found to be almost equivalent to the contact representation of the nucleon-nucleon pairs with very small nucleon-nucleon distance. The explicit formulation for the contact term significantly improves the numerical efficiency of the HMAMD method, which shows the importance of the contact correlation in the formulation of light nuclei.


title: Flag matroids: algebra and geometry

abstract: Matroids are ubiquitous in modern combinatorics. As discovered by Gelfand, Goresky, MacPherson and Serganova there is a beautiful connection between matroid theory and the geometry of Grassmannians: realizable matroids correspond to torus orbits in Grassmannians. Further, as observed by Fink and Speyer general matroids correspond to classes in the $K$-theory of Grassmannians. This yields in particular a geometric description of the Tutte polynomial. In this review we describe all these constructions in detail, and moreover we generalise some of them to polymatroids. More precisely, we study the class of flag matroids and their relations to flag varieties. In this way, we obtain an analogue of the Tutte polynomial for flag matroids.


title: A Cascaded Channel-Power Allocation for D2D Underlaid Cellular Networks Using Matching Theory

abstract: We consider a device-to-device (D2D) underlaid cellular network, where each cellular channel can be shared by several D2D pairs and only one channel can be allocated to each D2D pair. We try to maximize the sum rate of D2D pairs while limiting the interference to cellular links. Due to the lack of global information in large scale networks, resource allocation is hard to be implemented in a centralized way. Therefore, we design a novel distributed resource allocation scheme which is based on local information and requires little coordination and communication between D2D pairs. Specifically, we decompose the original problem into two cascaded subproblems, namely channel allocation and power control. The cascaded structure of our scheme enables us to cope with them respectively. Then a two-stage algorithm is proposed. In the first stage, we model the channel allocation problem as a many-to-one matching with externalities and try to find a strongly swap-stable matching. In the second stage, we adopt a pricing mechanism and develop an iterative two-step algorithm to solve the power control problem.


title: Efficient Multi-Domain Dictionary Learning with GANs

abstract: In this paper, we propose the multi-domain dictionary learning (MDDL) to make dictionary learning-based classification more robust to data representing in different domains. We use adversarial neural networks to generate data in different styles, and collect all the generated data into a miscellaneous dictionary. To tackle the dictionary learning with many samples, we compute the weighting matrix that compress the miscellaneous dictionary from multi-sample per class to single sample per class. We show that the time complexity solving the proposed MDDL with weighting matrix is the same as solving the dictionary with single sample per class. Moreover, since the weighting matrix could help the solver rely more on the training data, which possibly lie in the same domain with the testing data, the classification could be more accurate.


title: Learning Unsupervised Word Mapping by Maximizing Mean Discrepancy

abstract: Cross-lingual word embeddings aim to capture common linguistic regularities of different languages, which benefit various downstream tasks ranging from machine translation to transfer learning. Recently, it has been shown that these embeddings can be effectively learned by aligning two disjoint monolingual vector spaces through a linear transformation (word mapping). In this work, we focus on learning such a word mapping without any supervision signal. Most previous work of this task adopts parametric metrics to measure distribution differences, which typically requires a sophisticated alternate optimization process, either in the form of \emph{minmax game} or intermediate \emph{density estimation}. This alternate optimization process is relatively hard and unstable. In order to avoid such sophisticated alternate optimization, we propose to learn unsupervised word mapping by directly maximizing the mean discrepancy between the distribution of transferred embedding and target embedding. Extensive experimental results show that our proposed model outperforms competitive baselines by a large margin.


title: Progress in the lattice simulations of Sp(2N) gauge theories

abstract: We report on the status of our programme to simulate Sp($2N$) gauge theories on the lattice. Motivated by the potential realization of an SU($4$)/Sp($4$)$\sim$SO($6$)/SO($5$) composite Higgs model and the applications to self interacting dark matter, we first perform dynamical simulations of Sp($4$) theories with two Dirac flavors in the fundamental representation. Preliminary results of the meson spectrum are presented, along with discussion of the lattice systematics. We also introduce two-index anti-symmetric Dirac fermions. Such fermions are relevant in the context of partial top compositeness, provided they carry SU($3$) color quantum numbers, and hence we introduce three (Dirac) copies of them. We present the quenched meson spectrum and explore the phase space of bare lattice parameters. For all the numerical simulations we use the standard Wilson lattice gauge and fermion actions.


title: Good approximate quantum LDPC codes from spacetime circuit Hamiltonians

abstract: We study approximate quantum low-density parity-check (QLDPC) codes, which are approximate quantum error-correcting codes specified as the ground space of a frustration-free local Hamiltonian, whose terms do not necessarily commute. Such codes generalize stabilizer QLDPC codes, which are exact quantum error-correcting codes with sparse, low-weight stabilizer generators (i.e. each stabilizer generator acts on a few qubits, and each qubit participates in a few stabilizer generators). Our investigation is motivated by an important question in Hamiltonian complexity and quantum coding theory: do stabilizer QLDPC codes with constant rate, linear distance, and constant-weight stabilizers exist? We show that obtaining such optimal scaling of parameters (modulo polylogarithmic corrections) is possible if we go beyond stabilizer codes: we prove the existence of a family of $[[N,k,d,\varepsilon]]$ approximate QLDPC codes that encode $k = \widetilde{\Omega}(N)$ logical qubits into $N$ physical qubits with distance $d = \widetilde{\Omega}(N)$ and approximation infidelity $\varepsilon = \mathcal{O}(1/\textrm{polylog}(N))$. The code space is stabilized by a set of 10-local noncommuting projectors, with each physical qubit only participating in $\mathcal{O}(\textrm{polylog} N)$ projectors. We prove the existence of an efficient encoding map, and we show that arbitrary Pauli errors can be locally detected by circuits of polylogarithmic depth. Finally, we show that the spectral gap of the code Hamiltonian is $\widetilde{\Omega}(N^{-3.09})$ by analyzing a spacetime circuit-to-Hamiltonian construction for a bitonic sorting network architecture that is spatially local in $\textrm{polylog}(N)$ dimensions.


title: High-field Magnetism of the Honeycomb-lattice Antiferromagnet Cu$_2$(pymca)$_3$(ClO$_4$)

abstract: We report on the experimental results of magnetic susceptibility, specific heat, electron spin resonance (ESR), and high-field magnetization measurements on a polycrystalline sample of the spin-$1/2$ distorted honeycomb-lattice antiferromagnet Cu$_2$(pymca)$_3$(ClO$_4$). Magnetic susceptibility shows a broad peak at about 25~K, which is typical of a low dimensional antiferromagnet, and no long range magnetic order is observed down to 0.6~K in the specific heat measurements. Magnetization curve up to 70~T at 1.4~K shows triple stepwise jumps. Assuming three different exchange bonds $J_{\rm A}$, $J_{\rm B}$ and $J_{\rm C}$ from the structure, the calculated magnetization curve reproduces the observed one when $J_{\rm A}/k_{\rm B} = 43.7~{\rm K}$, $J_{\rm B}/J_{\rm A} = 1$ and $J_{\rm C}/J_{\rm A} = 0.2$ except the magnetization near 70~T, where the observed magnetization indicates another step while the calculated magnetization becomes saturated. The relationship between magnetization plateaus and exchange bonds is discussed based on the numerical calculations.


title: Approximation of scattering phases for Reid93 potential

abstract: For a single-channel nucleon-nucleon scattering, a well-known and convenient variable phase approach is considered, which is widely used for practical problems of atomic and nuclear physics. Approximation of the $pp$- and $np$- scattering phases obtained for the modern realistic phenomenological nucleon-nucleon potential Reid93 was carried out. The approximation function is used as a well-known formula for a parabolic-type quadratic function.


title: Unitarity and CP violation in leptogenesis at NLO: general considerations and top Yukawa contributions

abstract: With an emphasis on unitarity and CPT requirements, we study the inclusion of CP-violating processes in baryogenesis at next-to-leading order, particularly those involving the top Yukawa interaction in leptogenesis. We show that there are more contributions than previously considered, but also important cancellations. Some of these involve the interference of connected with disconnected diagrams. We also discuss on the application of the Kinoshita-Lee-Nauenberg theorem to treat the infrared divergences that are common at next-to-leading order. Finally, we calculate the CP asymmetry in the three-body decay of a sterile neutrino into a lepton and top quarks.


title: Solar jet-like features rooted in flare ribbons

abstract: Employing the high spatio-temporal Interface Region Imaging Spectrograph 1330 {\AA} observations, we investigated the jet-like features that occurred during the X8.2 class flare in NOAA active region (AR) 12673 on 2017 September 10. These jet-like features were rooted in the flare ribbons. We examined 15 features, and the mean values of the lifetimes, projected widths, lengths and velocities of these features were 87 s, 890 km, 2.7 Mm and 70 km s$^{-1}$, respectively. We also observed many jet-like features which happened during the X1.0 class flare on 2014 October 25. We studied the spectra at the base of a jet-like feature during its development. The Fe XXI 1354.08 {\AA} line in the corona displays blueshift, while the Si IV 1402.77 {\AA} line in the transition region exhibits redshift, which indicates the chromospheric evaporation. This is the first time that the jet-like features are reported to be rooted in the flare ribbons, and we suggest that these jet-like features were driven by the mechanism of chromospheric evaporation.


title: Supernova lightCURVE POPulation Synthesis I: including interacting binaries is key to understanding the diversity of type II supernova lightcurves

abstract: We present results of a supernova light-curve population synthesis, predicting the range of possible supernova lightcurves arising from a population of progenitor stars that include interacting binary systems. We show that the known diversity of supernova lightcurves can be interpreted as arising from binary interactions. Given detailed models of the progenitor stars, we are able to the determine what parameters within these stars determine the shape of their supernova lightcurve. The primary factors are the mass of supernova ejecta and the mass of hydrogen in the final progenitor. We find that there is a continuum of light-curve behaviour from type IIP, IIL to IIb supernovae related to the range of hydrogen and ejecta masses. Most type IIb supernovae arise from a relatively narrow range of initial masses from 10 to 15 M$_{\odot}$. We also find a few distinct lightcurves that are the result of stellar mergers.


title: A unified joint reconstruction approach in structured illumination microscopy using unknown speckle patterns

abstract: The structured illumination microscopy using unknown speckle patterns has shown the capacity to surpass the Abbe's diffraction barrier, giving the possibility to design cheap and versatile SIM devices. However, the state-of-the-art joint reconstruction methods in this framework has a relatively low contrast in super-resolution part in comparison to conventional SIM and the hyper-parameter is not easy to tune. In this paper, a unified joint reconstruction approach is proposed with the hyper-parameter proportional to the noise level. Different regularization terms could be evaluated under the same model. Moreover, the degradation entailed by out-of-focus light could be solved in speckle illumination setup easily.


title: First-Order Continuous Induction, and a Logical Study of Real Closed Fields

abstract: Over the last century, the principle of "induction on the continuum" has been studied by different authors in different formats. All of these different readings are equivalent to one of the three versions that we isolate in this paper. We also formalize those three forms (of "continuous induction") in first-order logic and prove that two of them are equivalent and sufficiently strong to completely axiomatize the first-order theory of the real closed (ordered) fields. We show that the third weaker form of continuous induction is equivalent with the Archimedean property. We study some equivalent axiomatizations for the theory of real closed fields and propose a first-order scheme of the fundamental theorem of algebra as an alternative axiomatization for this theory (over the theory of ordered fields).