title: LORAKI: Autocalibrated Recurrent Neural Networks for Autoregressive MRI Reconstruction in k-Space

abstract: We propose and evaluate a new MRI reconstruction method named LORAKI that trains an autocalibrated scan-specific recurrent neural network (RNN) to recover missing k-space data. Methods like GRAPPA, SPIRiT, and AC-LORAKS assume that k-space data has shift-invariant autoregressive structure, and that the scan-specific autoregression relationships needed to recover missing samples can be learned from fully-sampled autocalibration (ACS) data. Recently, the structure of the linear GRAPPA method has been translated into a nonlinear deep learning method named RAKI. RAKI uses ACS data to train an artificial neural network to interpolate missing k-space samples, and often outperforms GRAPPA. In this work, we apply a similar principle to translate the linear AC-LORAKS method (simultaneously incorporating support, phase, and parallel imaging constraints) into a nonlinear deep learning method named LORAKI. Since AC-LORAKS is iterative and convolutional, LORAKI takes the form of a convolutional RNN. This new architecture admits a wide range of sampling patterns, and even calibrationless patterns are possible if synthetic ACS data is generated. The performance of LORAKI was evaluated with retrospectively undersampled brain datasets, with comparisons against other related reconstruction methods. Results suggest that LORAKI can provide improved reconstruction compared to other scan-specific autocalibrated reconstruction methods like GRAPPA, RAKI, and AC-LORAKS. LORAKI offers a new deep-learning approach to MRI reconstruction based on RNNs in k-space, and enables improved image quality and enhanced sampling flexibility.


title: Microscopic entropy of higher-dimensional nonminimally dressed Lifshitz black holes

abstract: In arbitrary dimension, we consider a theory described by the most general quadratic curvature corrections of Einstein gravity together with a self-interacting nonminimally coupled scalar field. This theory is shown to admit five different families of Lifshitz black holes dressed with a nontrivial scalar field. The entropy of these configurations is microscopically computed by means of a higher-dimensional anisotropic Cardy-like formula where the role of the ground state is played by the soliton obtained through a double analytic continuation. This involves to calculate the correct expressions for the masses of the higher-dimensional Lifshitz black hole as well as their corresponding soliton. The robustness of this Cardy-like formula is checked by showing that the microscopic entropy is in perfect agreement with the gravitational Wald entropy. Consequently, the calculated global charges are compatible with the first law of thermodynamics. We also verify that all the configurations satisfy an anisotropic higher-dimensional version of the Smarr formula.


title: Rational Approximations to Certain Algebraic Numbers

abstract: W.M.Schmit[11] conjectured that for any$\;\theta$ with deg$\;\theta\geq 3,$ there is no constant$\;C=C(\theta)$ so that$\;|p-q\theta|>Cq^{-1}$ for every rationa$\;p/q.$ [12,p26] states that the computations of the first several thousand partial quotients for such numbers as$\;\sqrt[3]{2}$ and$\;\sqrt[3]{3}$ support the conjecture that the sequence of partial quotients is unbounded. In this paper, applying Dirichlet's approximation theorem to certain algebraic numbers$\;\theta,$ e.g.$\;\theta=\sqrt[n]{d},d\in N,n\geq 3,d>0;$ $\;\theta^{3}+b_{1}\theta-b_{0}=0,b_{0}>0;$ $\;\theta^{4}+b_{2}\theta^{2}-b_{0}=0,\;b_{0}>0.$ We proved that there exists a effective constant$\;C=C(\theta)$ such that$\;|p-q\theta|>Cq^{-1}$ for all$\;p/q.$ Our theorem shows their sequence of partial quotients can not be unbounded.


title: On minimal 4-folds of general type with $p_g \geq 2$

abstract: We show that, for nonsingular projective 4-folds V of general type with geometric genus $p_g\geq 2$, the 33-canonical map is birational onto the image and the canonical volume has the lower bound $1/520$, which improves a previous theorem by Chen and Chen.


title: Estimating Sparse Networks with Hubs

abstract: Graphical modelling techniques based on sparse selection have been applied to infer complex networks in many fields, including biology and medicine, engineering, finance, and social sciences. One structural feature of some of the networks in such applications that poses a challenge for statistical inference is the presence of a small number of strongly interconnected nodes in a network which are called hubs. For example, in microbiome research hubs or microbial taxa play a significant role in maintaining stability of the microbial community structure. In this paper, we investigate the problem of estimating sparse networks in which there are a few highly connected hub nodes. Methods based on L1-regularization have been widely used for performing sparse selection in the graphical modelling context. However, while these methods encourage sparsity, they do not take into account structural information of the network. We introduce a new method for estimating networks with hubs that exploits the ability of (inverse) covariance selection methods to include structural information about the underlying network. Our proposed method is a weighted lasso approach with novel row/column sum weights, which we refer to as the hubs weighted graphical lasso. We establish large sample properties of the method when the number of parameters diverges with the sample size, and evaluate its finite sample performance via extensive simulations. We illustrate the method with an application to microbiome data.


title: Improved Upper Bounds on the Hermite and KZ Constants

abstract: The Korkine-Zolotareff (KZ) reduction is a widely used lattice reduction strategy in communications and cryptography. The Hermite constant, which is a vital constant of lattice, has many applications, such as bounding the length of the shortest nonzero lattice vector and orthogonality defect of lattices. The KZ constant can be used in quantifying some useful properties of KZ reduced matrices. In this paper, we first develop a linear upper bound on the Hermite constant and then use the bound to develop an upper bound on the KZ constant. These upper bounds are sharper than those obtained recently by the first two authors. Some examples on the applications of the improved upper bounds are also presented.


title: Learning Sparse Dynamical Systems from a Single Sample Trajectory

abstract: This paper addresses the problem of identifying sparse linear time-invariant (LTI) systems from a single sample trajectory generated by the system dynamics. We introduce a Lasso-like estimator for the parameters of the system, taking into account their sparse nature. Assuming that the system is stable, or that it is equipped with an initial stabilizing controller, we provide sharp finite-time guarantees on the accurate recovery of both the sparsity structure and the parameter values of the system. In particular, we show that the proposed estimator can correctly identify the sparsity pattern of the system matrices with high probability, provided that the length of the sample trajectory exceeds a threshold. Furthermore, we show that this threshold scales polynomially in the number of nonzero elements in the system matrices, but logarithmically in the system dimensions --- this improves on existing sample complexity bounds for the sparse system identification problem. We further extend these results to obtain sharp bounds on the $\ell_{\infty}$-norm of the estimation error and show how different properties of the system---such as its stability level and \textit{mutual incoherency}---affect this bound. Finally, an extensive case study on power systems is presented to illustrate the performance of the proposed estimation method.


title: A Combinatorial Algorithm for the Multi-commodity Flow Problem

abstract: This paper researches combinatorial algorithms for the multi-commodity flow problem. We relax the capacity constraints and introduce a penalty function $h$ for each arc. If the flow exceeds the capacity on arc $a$, arc $a$ would have a penalty cost. Based on the penalty function $h$, a new conception, equilibrium pseudo-flow, is introduced. Then we design a combinatorial algorithm to obtain equilibrium pseudo-flow. If the equilibrium pseudo-flow is a nonzero-equilibrium pseudo-flow, there exists no feasible solution for the multi-commodity flow problem; if the equilibrium pseudo-flow is a zero-equilibrium pseudo-flow, there exists a feasible solution for the multi-commodity flow problem and the zero-equilibrium pseudo-flow is the feasible solution. At last, a non-linear description of the multi-commodity flow problem is given, whose solution is equilibrium pseudo-flow. Besides, the content in this paper can be easily generalized to minimum cost multi-commodity flow problem.


title: Exact Sparse Signal Recovery via Orthogonal Matching Pursuit with Prior Information

abstract: The orthogonal matching pursuit (OMP) algorithm is a commonly used algorithm for recovering $K$-sparse signals $\x\in \mathbb{R}^{n}$ from linear model $\y=\A\x$, where $\A\in \mathbb{R}^{m\times n}$ is a sensing matrix. A fundamental question in the performance analysis of OMP is the characterization of the probability that it can exactly recover $\x$ for random matrix $\A$. Although in many practical applications, in addition to the sparsity, $\x$ usually also has some additional property (for example, the nonzero entries of $\x$ independently and identically follow the Gaussian distribution), none of existing analysis uses these properties to answer the above question. In this paper, we first show that the prior distribution information of $\x$ can be used to provide an upper bound on $\|\x\|_1^2/\|\x\|_2^2$, and then explore the bound to develop a better lower bound on the probability of exact recovery with OMP in $K$ iterations. Simulation tests are presented to illustrate the superiority of the new bound.


title: Mining Rules Incrementally over Large Knowledge Bases

abstract: Multiple web-scale Knowledge Bases, e.g., Freebase, YAGO, NELL, have been constructed using semi-supervised or unsupervised information extraction techniques and many of them, despite their large sizes, are continuously growing. Much research effort has been put into mining inference rules from knowledge bases. To address the task of rule mining over evolving web-scale knowledge bases, we propose a parallel incremental rule mining framework. Our approach is able to efficiently mine rules based on the relational model and apply updates to large knowledge bases; we propose an alternative metric that reduces computation complexity without compromising quality; we apply multiple optimization techniques that reduce runtime by more than 2 orders of magnitude. Experiments show that our approach efficiently scales to web-scale knowledge bases and saves over 90% time compared to the state-of-the-art batch rule mining system. We also apply our optimization techniques to the batch rule mining algorithm, reducing runtime by more than half compared to the state-of-the-art. To the best of our knowledge, our incremental rule mining system is the first that handles updates to web-scale knowledge bases.


title: Equality in the logarithmic Sobolev inequality

abstract: We investigate the rigidity problem for the logarithmic Sobolev inequality on weighted Riemannian manifolds satisfying $\mathrm{Ric}_{\infty} \ge K>0$. Assuming equality holds, we show that the $1$-dimensional Gaussian space is necessarily split off, similarly to the rigidity results of Cheng--Zhou on the spectral gap as well as Morgan on the isoperimetric inequality. The key ingredient of the proof is the needle decomposition method introduced on Riemannian manifolds by Klartag. We also present several related open problems.


title: Product domains, Multi-Cauchy transforms, and the $\bar \partial$ equation

abstract: Solution operators for the equation $\bar \partial u=f$ are constructed on general product domains in $\mathbb{C}^n$. When the factors are one-dimensional, the operator is a simple integral operator: it involves specific derivatives of $f$ integrated against iterated Cauchy kernels. For higher dimensional factors, the solution is constructed by solving sub-$\bar \partial$ equations with modified data on the factors. Estimates of the operators in several norms are proved.


title: Growth and transport properties under high pressure of PrOBiS2 single crystals

abstract: PrOBiS2 single crystals were successfully grown using a KCl flux. The obtained crystals had a plate-like shape with a typical size of 0.5-1.0 mm and well-developed ab-plane. The Pr valence of the grown crystals, as determined by an X-ray absorption fine structure spectroscopy analysis, was almost trivalent. The PrOBiS2 single crystals did not exhibit superconductivity down to 0.25 K. The transport properties under high pressures up to 50 GPa ensured semiconducting behavior for 2-300 K using a diamond anvil cell.


title: On the Evolution of Cryptocurrency Market Efficiency

abstract: This study examines whether the efficiency of cryptocurrency markets (Bitcoin and Ethereum) evolve over time based on Lo's (2004) adaptive market hypothesis (AMH). In particular, we measure the degree of market efficiency using a generalized least squares-based time-varying model that does not depend on sample size, unlike previous studies that used conventional methods. The empirical results show that (1) the degree of market efficiency varies with time in the markets, (2) Bitcoin's market efficiency level is higher than that of Ethereum over most periods, and (3) a market with high market liquidity has been evolving. We conclude that the results support the AMH for the most established cryptocurrency market.


title: Waterfall Bandits: Learning to Sell Ads Online

abstract: A popular approach to selling online advertising is by a waterfall, where a publisher makes sequential price offers to ad networks for an inventory, and chooses the winner in that order. The publisher picks the order and prices to maximize her revenue. A traditional solution is to learn the demand model and then subsequently solve the optimization problem for the given demand model. This will incur a linear regret. We design an online learning algorithm for solving this problem, which interleaves learning and optimization, and prove that this algorithm has sublinear regret. We evaluate the algorithm on both synthetic and real-world data, and show that it quickly learns high quality pricing strategies. This is the first principled study of learning a waterfall design online by sequential experimentation.


title: FACLSTM: ConvLSTM with Focused Attention for Scene Text Recognition

abstract: Scene text recognition has recently been widely treated as a sequence-to-sequence prediction problem, where traditional fully-connected-LSTM (FC-LSTM) has played a critical role. Due to the limitation of FC-LSTM, existing methods have to convert 2-D feature maps into 1-D sequential feature vectors, resulting in severe damages of the valuable spatial and structural information of text images. In this paper, we argue that scene text recognition is essentially a spatiotemporal prediction problem for its 2-D image inputs, and propose a convolution LSTM (ConvLSTM)-based scene text recognizer, namely, FACLSTM, i.e., Focused Attention ConvLSTM, where the spatial correlation of pixels is fully leveraged when performing sequential prediction with LSTM. Particularly, the attention mechanism is properly incorporated into an efficient ConvLSTM structure via the convolutional operations and additional character center masks are generated to help focus attention on right feature areas. The experimental results on benchmark datasets IIIT5K, SVT and CUTE demonstrate that our proposed FACLSTM performs competitively on the regular, low-resolution and noisy text images, and outperforms the state-of-the-art approaches on the curved text with large margins.


title: DeepMoD: Deep learning for Model Discovery in noisy data

abstract: We introduce DeepMoD, a Deep learning based Model Discovery algorithm. DeepMoD discovers the partial differential equation underlying a spatio-temporal data set using sparse regression on a library of possible functions and their derivatives. A neural network approximates the data and constructs the function library, but it also performs the sparse regression. This construction makes it extremely robust to noise, applicable to small data sets, and, contrary to other deep learning methods, does not require a training set. We benchmark our approach on several physical problems such as the Burgers', Korteweg-de Vries and Keller-Segel equations, and find that it requires as few as $\mathcal{O}(10^2)$ samples and works at noise levels up to $75\%$. Motivated by these results, we apply DeepMoD directly on noisy experimental time-series data from a gel electrophoresis experiment and find that it discovers the advection-diffusion equation describing this system.


title: Self-imitating Feedback Generation Using GAN for Computer-Assisted Pronunciation Training

abstract: Self-imitating feedback is an effective and learner-friendly method for non-native learners in Computer-Assisted Pronunciation Training. Acoustic characteristics in native utterances are extracted and transplanted onto learner's own speech input, and given back to the learner as a corrective feedback. Previous works focused on speech conversion using prosodic transplantation techniques based on PSOLA algorithm. Motivated by the visual differences found in spectrograms of native and non-native speeches, we investigated applying GAN to generate self-imitating feedback by utilizing generator's ability through adversarial training. Because this mapping is highly under-constrained, we also adopt cycle consistency loss to encourage the output to preserve the global structure, which is shared by native and non-native utterances. Trained on 97,200 spectrogram images of short utterances produced by native and non-native speakers of Korean, the generator is able to successfully transform the non-native spectrogram input to a spectrogram with properties of self-imitating feedback. Furthermore, the transformed spectrogram shows segmental corrections that cannot be obtained by prosodic transplantation. Perceptual test comparing the self-imitating and correcting abilities of our method with the baseline PSOLA method shows that the generative approach with cycle consistency loss is promising.


title: Language Models with Transformers

abstract: The Transformer architecture is superior to RNN-based models in computational efficiency. Recently, GPT and BERT demonstrate the efficacy of Transformer models on various NLP tasks using pre-trained language models on large-scale corpora. Surprisingly, these Transformer architectures are suboptimal for language model itself. Neither self-attention nor the positional encoding in the Transformer is able to efficiently incorporate the word-level sequential context crucial to language modeling. In this paper, we explore effective Transformer architectures for language model, including adding additional LSTM layers to better capture the sequential context while still keeping the computation efficient. We propose Coordinate Architecture Search (CAS) to find an effective architecture through iterative refinement of the model. Experimental results on the PTB, WikiText-2, and WikiText-103 show that CAS achieves perplexities between 20.42 and 34.11 on all problems, i.e. on average an improvement of 12.0 perplexity units compared to state-of-the-art LSTMs. The source code is publicly available.


title: Funnel Transform for Straight Line Detection

abstract: Most of the classical approaches to straight line detection only deal with a binary edge image and need to use 2D interpolation operation. This paper proposes a new transform method figuratively named as funnel transform which can efficiently and rapidly detect straight lines. The funnel transform consists of three 1D Fourier transforms and one nonlinear variable-metric transform (NVMT). It only needs to exploit 1D interpolation operation for achieving its NVMT, and can directly handle grayscale images by using its high-pass filter property, which significantly improves the performance of the closely-related approaches. Based on the slope-intercept line equation, the funnel transform can more uniformly turn the straight lines formed by ridge-typical and step-typical edges into the local maximum points (peaks). The parameters of each line can be uniquely extracted from its corresponding peak coordinates. Additionally, each peak can be theoretically specified by a 2D delta function, which makes the peaks and lines more easily identified and detected, respectively. Theoretical analysis and experimental results demonstrate that the funnel transform has advantages including smaller computational complexity, lower hardware cost, higher detection probability, greater location precision, better parallelization properties, stronger anti-occlusion and noise robustness.


title: LEARNet Dynamic Imaging Network for Micro Expression Recognition

abstract: Unlike prevalent facial expressions, micro expressions have subtle, involuntary muscle movements which are short-lived in nature. These minute muscle movements reflect true emotions of a person. Due to the short duration and low intensity, these micro-expressions are very difficult to perceive and interpret correctly. In this paper, we propose the dynamic representation of micro-expressions to preserve facial movement information of a video in a single frame. We also propose a Lateral Accretive Hybrid Network (LEARNet) to capture micro-level features of an expression in the facial region. The LEARNet refines the salient expression features in accretive manner by incorporating accretion layers (AL) in the network. The response of the AL holds the hybrid feature maps generated by prior laterally connected convolution layers. Moreover, LEARNet architecture incorporates the cross decoupled relationship between convolution layers which helps in preserving the tiny but influential facial muscle change information. The visual responses of the proposed LEARNet depict the effectiveness of the system by preserving both high- and micro-level edge features of facial expression. The effectiveness of the proposed LEARNet is evaluated on four benchmark datasets: CASME-I, CASME-II, CAS(ME)^2 and SMIC. The experimental results after investigation show a significant improvement of 4.03%, 1.90%, 1.79% and 2.82% as compared with ResNet on CASME-I, CASME-II, CAS(ME)^2 and SMIC datasets respectively.


title: Almost product structures on statistical manifolds and para-K\"ahler-like statistical submersions

abstract: The main purpose of the present work is to investigate statistical manifolds endowed with almost product structures. We prove that the statistical structure of a para-K\"{a}hler-like statistical manifold of constant curvature in the Kurose's sense is a Hessian structure. We also derive the main properties of statistical submersions which are compatible with almost product structures. The results are illustrated by several nontrivial examples.


title: Cubic LSTMs for Video Prediction

abstract: Predicting future frames in videos has become a promising direction of research for both computer vision and robot learning communities. The core of this problem involves moving object capture and future motion prediction. While object capture specifies which objects are moving in videos, motion prediction describes their future dynamics. Motivated by this analysis, we propose a Cubic Long Short-Term Memory (CubicLSTM) unit for video prediction. CubicLSTM consists of three branches, i.e., a spatial branch for capturing moving objects, a temporal branch for processing motions, and an output branch for combining the first two branches to generate predicted frames. Stacking multiple CubicLSTM units along the spatial branch and output branch, and then evolving along the temporal branch can form a cubic recurrent neural network (CubicRNN). Experiment shows that CubicRNN produces more accurate video predictions than prior methods on both synthetic and real-world datasets.


title: A conservative discrete velocity method for the ellipsoidal Fokker-Planck equation in gas-kinetic theory

abstract: A conservative discrete velocity method (DVM) is developed for the ellipsoidal Fokker-Planck (ES-FP) equation in prediction of non-equilibrium neutral gas flows in this paper. The ES-FP collision operator is solved in discrete velocity space in a concise and quick finite difference framework. The conservation problem of discrete ES-FP collision operator is solved by multiplying each term in it by extra conservative coefficients whose values are very closed to unity. Their differences to unity are in the same order of the numerical error in approximating the ES-FP operator in discrete velocity space. All the macroscopic conservative variables (mass, momentum and energy) are conserved in the present modified discrete ES-FP collision operator. Since the conservation property in discrete element of physical space is very important for numerical scheme when discontinuity and large gradient exist in flow field, a finite volume framework is adopted for the transport term of ES-FP equation. For $nD$-$3V$ ($n<3$) cases, a $nD$-quasi $nV$ reduction is specially proposed for ES-FP equation and the corresponding FP-DVM method, which can greatly reduce the computational cost. The validity and accuracy of both ES-FP equation and FP-DVM method are examined using a series of $0D$-$3V$ homogenous relaxation cases and $1D$-$3V$ shock structure cases with different $Mach$ numbers, in which $1D$-$3V$ cases are reduced to $1D$-quasi $1V$ cases. Both the predictions of $0D$-$3V$ and $1D$-$3V$ cases match well with the benchmark results such as analytical Boltzmann solution, direct full-Boltzmann numerical solution and DSMC result. Especially, the FP-DVM predictions match well with the DSMC results in the $Mach$ 8.0 shock structure case, which is in high non-equilibrium, and is a challenge case of the model Boltzmann equation and the corresponding numerical methods.


title: New powerful outburst of the unusual young star V1318 Cyg S (LkH{\alpha} 225)

abstract: Young double star V1318 Cyg, which is associated with a small isolated star-forming region around HAeBe star BD+40o4124, has very unusual photometric and spectral behavior. We present results of photometric and spectroscopic observations in the optical range. We carried out BVRI CCD photometric observations of V1318 Cyg from 2015 Sept. to 2017 July. For the same period we acquired medium- and low-resolution spectra. Observations were performed with the 2.6 m telescope. We analyze the historical light curve for V1318 Cyg and demonstrate that the southern component, V1318 Cyg S, after being rather bright in the 1970s (V$\approx$14 mag) started to lower its brightness and in 1990 became practically invisible in the optical. After its reappearance in the second half of the 1990s the star started to become very slowly brighter. Between 2006 and 2010 V1318 Cyg S started brightening more quickly, and in 2015 had become brighter by more than five magnitudes in visible light. Since this time V1318 Cyg S has remained at this maximum. Its spectrum shows little variability and consists of a mixture of emission and absorption lines, which has allowed for estimates of its spectral type as early Ae, with obvious evidence of matter outflow. We derive its current A(V)$\approx$ 7.2 and L = 750 L(sun) thus confirming that V1318 Cyg S should belong to the Herbig Ae stars, making it, along with BD+40o4124 and V1686 Cyg, the third luminous young star in the group. It is very probable that we observe V1318 Cyg S near the pole and that the inclination of its dense and slow ($\approx$ 100 km/s) outflow is low. The unusual variability and other features of V1318 Cyg S make it difficult to classify this star among known types of eruptive young stars. It could be an extreme, higher-mass example of an EXor, or an object of intermediate class between EXors and FUors, like V1647 Ori.


title: Distributed generation of privacy preserving data with user customization

abstract: Distributed devices such as mobile phones can produce and store large amounts of data that can enhance machine learning models; however, this data may contain private information specific to the data owner that prevents the release of the data. We wish to reduce the correlation between user-specific private information and data while maintaining the useful information. Rather than learning a large model to achieve privatization from end to end, we introduce a decoupling of the creation of a latent representation and the privatization of data that allows user-specific privatization to occur in a distributed setting with limited computation and minimal disturbance on the utility of the data. We leverage a Variational Autoencoder (VAE) to create a compact latent representation of the data; however, the VAE remains fixed for all devices and all possible private labels. We then train a small generative filter to perturb the latent representation based on individual preferences regarding the private and utility information. The small filter is trained by utilizing a GAN-type robust optimization that can take place on a distributed device. We conduct experiments on three popular datasets: MNIST, UCI-Adult, and CelebA, and give a thorough evaluation including visualizing the geometry of the latent embeddings and estimating the empirical mutual information to show the effectiveness of our approach.


title: An Analysis of 35+ Million Jobs of Travis CI

abstract: Travis CI handles automatically thousands of builds every day to, amongst other things, provide valuable feedback to thousands of open-source developers. In this paper, we investigate Travis CI to firstly understand who is using it, and when they start to use it. Secondly, we investigate how the developers use Travis CI and finally, how frequently the developers change the Travis CI configurations. We observed during our analysis that the main users of Travis CI are corporate users such as Microsoft. And the programming languages used in Travis CI by those users do not follow the same popularity trend than on GitHub, for example, Python is the most popular language on Travis CI, but it is only the third one on GitHub. We also observe that Travis CI is set up on average seven days after the creation of the repository and the jobs are still mainly used (60%) to run tests. And finally, we observe that 7.34% of the commits modify the Travis CI configuration. We share the biggest benchmark of Travis CI jobs (to our knowledge): it contains 35,793,144 jobs from 272,917 different GitHub projects.


title: Converse estimates for the simultaneous approximation by Bernstein polynomials with integer coefficients

abstract: We prove a weak converse estimate for the simultaneous approximation by several forms of the Bernstein polynomials with integer coefficients. It is stated in terms of moduli of smoothness. In particular, it yields a big $O$-characterization of the rate of that approximation. We also show that the approximation process generated by these Bernstein polynomials with integer coefficients is saturated. We identify its saturation rate and the trivial class.


title: Quadratic $d$-numbers

abstract: Here we constructively classify quadratic $d$-numbers: algebraic integers in quadratic number fields generating Galois-invariant ideals. We prove the subset thereof maximal among their Galois conjugates in absolute value is discrete in $\mathbb{R}$. Our classification provides a characterization of those real quadratic fields containing a unit of norm -1 which is known to be equivalent to the existence of solutions to the negative Pell equation. The notion of a weakly quadratic fusion category is introduced whose Frobenius-Perron dimension necessarily lies in this discrete set. Factorization, divisibility, and boundedness results are proven for quadratic $d$-numbers allowing a systematic study of weakly quadratic fusion categories which constitute essentially all known examples of fusion categories having no known connection to classical representation theory.


title: Identification of organic molecules with a laboratory prototype based on the Laser Ablation-CosmOrbitrap

abstract: In the Solar System, extra-terrestrial organic molecules have been found on cometary primitive objects, on Titan and Enceladus icy moons and on Mars. Identification could be achieved for simple organic species by remote sensing based on spectroscopic methods. However in situ mass spectrometry is a key technology to determine the nature of more complex organic matter. A new concept of mass analyser offering ultra-high mass resolving power of more than 50,000 at m/z 56 (under high vacuum condition about 10-9 mbar) is currently being developed for space applications: the CosmOrbitrap (Briois et al., 2016), based on the OrbitrapTM technology. This work challenges the use of LAb-CosmOrbitrap, a space instrument prototype combining Laser Ablation ionisation and the CosmOrbitrap mass analyser, to identify solid organic molecules of relevance to the future space exploration. For this purpose a blind test was jointly organised by the JAXA-HRMS team (Japan Aerospace Exploration Agency-High Resolution Mass Spectrometry) and the CosmOrbitrap consortium. The JAXA team provided two organic samples, whereas the CosmOrbitrap consortium analysed them without prior information. Thanks to the high analytical performances of the prototype and our HRMS data post-processing, we successfully identified the two molecules as HOBt, hydroxybenzotriazole (C6H5N3O) and BBOT, 2,5-Bis(5-tert-butyl-benzoxazol-2-yl)thiophene (C26H26N2O2S), with a mass resolving power of, respectively, 123 540 and 69 219. The success of this blind test on complex organic molecules shows the strong potential of LAb-CosmOrbitrap for future space applications.


title: Stationary subspace analysis of nonstationary covariance processes: eigenstructure description and testing

abstract: Stationary subspace analysis (SSA) searches for linear combinations of the components of nonstationary vector time series that are stationary. These linear combinations and their number defne an associated stationary subspace and its dimension. SSA is studied here for zero mean nonstationary covariance processes. We characterize stationary subspaces and their dimensions in terms of eigenvalues and eigenvectors of certain symmetric matrices. This characterization is then used to derive formal statistical tests for estimating dimensions of stationary subspaces. Eigenstructure-based techniques are also proposed to estimate stationary subspaces, without relying on previously used computationally intensive optimization-based methods. Finally, the introduced methodologies are examined on simulated and real data.


title: Multi-modal gated recurrent units for image description

abstract: Using a natural language sentence to describe the content of an image is a challenging but very important task. It is challenging because a description must not only capture objects contained in the image and the relationships among them, but also be relevant and grammatically correct. In this paper a multi-modal embedding model based on gated recurrent units (GRU) which can generate variable-length description for a given image. In the training step, we apply the convolutional neural network (CNN) to extract the image feature. Then the feature is imported into the multi-modal GRU as well as the corresponding sentence representations. The multi-modal GRU learns the inter-modal relations between image and sentence. And in the testing step, when an image is imported to our multi-modal GRU model, a sentence which describes the image content is generated. The experimental results demonstrate that our multi-modal GRU model obtains the state-of-the-art performance on Flickr8K, Flickr30K and MS COCO datasets.


title: Specification-Driven Predictive Business Process Monitoring

abstract: Predictive analysis in business process monitoring aims at forecasting the future information of a running business process. The prediction is typically made based on the model extracted from historical process execution logs (event logs). In practice, different business domains might require different kinds of predictions. Hence, it is important to have a means for properly specifying the desired prediction tasks, and a mechanism to deal with these various prediction tasks. Although there have been many studies in this area, they mostly focus on a specific prediction task. This work introduces a language for specifying the desired prediction tasks, and this language allows us to express various kinds of prediction tasks. This work also presents a mechanism for automatically creating the corresponding prediction model based on the given specification. Differently from previous studies, instead of focusing on a particular prediction task, we present an approach to deal with various prediction tasks based on the given specification of the desired prediction tasks. We also provide an implementation of the approach which is used to conduct experiments using real-life event logs.


title: Continuity and Discontinuity of Seminorms on Infinite-Dimensional Vector Spaces

abstract: Let $S$ be a seminorm on an infinite-dimensional real or complex vector space $X$. Our purpose in this note is to study the continuity and discontinuity properties of $S$ with respect to certain norm-topologies on $X$.


title: Four-dimensional Riemannian product manifolds with circulant structures

abstract: A 4-dimensional Riemannian manifold equipped with an additional tensor structure, whose fourth power is the identity, is considered. This structure has a circulant matrix with respect to some basis, i.e. the structure is circulant, and it acts as an isometry with respect to the metric. The Riemannian product manifold associated with the considered manifold is studied. Conditions for the metric, which imply that the Riemannian product manifold belongs to each of the basic classes of Staikova-Gribachev's classification, are obtained. Examples of such manifolds are given.


title: Deep Learning for Large-Scale Real-World ACARS and ADS-B Radio Signal Classification

abstract: Radio signal classification has a very wide range of applications in the field of wireless communications and electromagnetic spectrum management. In recent years, deep learning has been used to solve the problem of radio signal classification and has achieved good results. However, the radio signal data currently used is very limited in scale. In order to verify the performance of the deep learning-based radio signal classification on real-world radio signal data, in this paper we conduct experiments on large-scale real-world ACARS and ADS-B signal data with sample sizes of 900,000 and 13,000,000, respectively, and with categories of 3,143 and 5,157 respectively. We use the same Inception-Residual neural network model structure for ACARS signal classification and ADS-B signal classification to verify the ability of a single basic deep neural network model structure to process different types of radio signals, i.e., communication bursts in ACARS and pulse bursts in ADS-B. We build an experimental system for radio signal deep learning experiments. Experimental results show that the signal classification accuracy of ACARS and ADS-B is 98.1% and 96.3%, respectively. When the signal-to-noise ratio (with injected additive white Gaussian noise) is greater than 9 dB, the classification accuracy is greater than 92%. These experimental results validate the ability of deep learning to classify large-scale real-world radio signals. The results of the transfer learning experiment show that the model trained on large-scale ADS-B datasets is more conducive to the learning and training of new tasks than the model trained on small-scale datasets.


title: Unfolding of Orbifold LG B-Models: A Case Study

abstract: In this note we explore the variation of Hodge structures associated to the orbifold Landau-Ginzburg B-model whose superpotential has two variables. We extend the Getzler-Gauss-Manin connection to Hochschild chains twisted by group action. As an application, we provide explicit computations for the Getzler-Gauss-Manin connection on the universal (noncommutative) unfolding of $\mathbb{Z}_2$-orbifolding of A-type singularities. The result verifies an example of deformed version of Mckay correspondence.


title: 3D reconstructions of EUV wave front heights and their influence on wave kinematics

abstract: EUV waves are large-scale disturbances in the solar corona initiated by coronal mass ejections. However, solar EUV images show only the wave fronts projections along the line-of-sight of the spacecraft. We perform 3D reconstructions of EUV wave front heights using multi-point observations from STEREO-A and STEREO-B, and study their evolution to properly estimate the EUV wave kinematics. We develop two different methods to solve the matching problem of the EUV wave crest on pairs of STEREO-A/-B images by combining epipolar geometry with the investigation of perturbation profiles. The proposed approaches are applicable at the early and maximum stage of the event when STEREO-A/-B see different facets of the EUV wave, but also at the later stage when the wave front becomes diffusive and faint. The techniques developed are demonstrated on two events observed at different separation of the STEREO spacecraft (42$^\circ$ and 91$^\circ$). For the 7 December 2007 event, we find that the emission of the EUV wave front mainly comes from a height range up to 90-104 Mm, decreasing later to 7-35 Mm. Including the varying height of the EUV wave front allows us to correct the wave kinematics for the projection effects, resulting in velocities in the range 217-266 km/s. For the 13 February 2009 event, the wave front height doubled from 54 to 93 Mm over 10 min, and the velocity derived is 205-208 km/s. In the two events under study, the corrected speeds differ by up to 25% from the uncorrected ones, depending on the wave front height evolution.


title: Searching for an Exotic Spin-Dependent Interaction between Electrons at the Nanometer Scale with Molecular Rulers

abstract: We propose that a type of molecular rulers, which contains two electron spins with precisely adjustable distance by varying the length of the shape-persistent polymer chains, can be utilized to constrain the axial-vector mediated interaction between electron spins at the nanometer scale. With measurements of the coupling strengths between two electron spins within different molecular rulers, an improved laboratory bound of exotic dipole-dipole interaction between electrons is established within the force range from 3 to 220 nm. The upper bound of the coupling $g_A^e g_A^e/4\pi\hbar c $ at 200 nm is $|g_A^e g_A^e/4\pi\hbar c| \leq 4.9\times10^{-13}$, which is about 20 times more stringent than previous limits.


title: Chaotic Compilation for Encrypted Computing: Obfuscation but Not in Name

abstract: An `obfuscation' for encrypted computing is quantified exactly here, leading to an argument that security against polynomial-time attacks has been achieved for user data via the deliberately `chaotic' compilation required for security properties in that environment. Encrypted computing is the emerging science and technology of processors that take encrypted inputs to encrypted outputs via encrypted intermediate values (at nearly conventional speeds). The aim is to make user data in general-purpose computing secure against the operator and operating system as potential adversaries. A stumbling block has always been that memory addresses are data and good encryption means the encrypted value varies randomly, and that makes hitting any target in memory problematic without address decryption, yet decryption anywhere on the memory path would open up many easily exploitable vulnerabilities. This paper `solves (chaotic) compilation' for processors without address decryption, covering all of ANSI C while satisfying the required security properties and opening up the field for the standard software tool-chain and infrastructure. That produces the argument referred to above, which may also hold without encryption.


title: GeV-TeV Cosmic Ray Leptons in the Solar System from the Bow Shock Wind Nebula of the Nearest Millisecond Pulsar J0437-4715

abstract: We consider acceleration of leptons up to GeV-TeV energies in the bow shock wind nebula of PSR J0437-4715 and their subsequent diffusion through the interstellar magnetic fields. The leptons accelerated at the pulsar wind termination surface are injected into re-acceleration in colliding shock flows. Modelled spectra of synchrotron emission from the accelerated electrons and positrons are consistent with the far-ultraviolet and X-ray observations of the nebula carried out with the Hubble Space Telescope and Chandra X-ray Observatory. These observations are employed to constrain the absolute fluxes of relativistic leptons, which are escaping from the nebula and eventually reaching the Solar System after energy-dependent diffusion through the local interstellar medium accompanied by synchrotron and Compton losses. It is shown that accelerated leptons from the nebula of PSR J0437-4715 can be responsible both for the enhancement of the positron fraction above a few GeV detected by PAMELA and AMS-02 spectrometers and for the TeV range lepton fluxes observed with H.E.S.S., VERITAS, Fermi, CALET, and DAMPE.


title: Electrocaloric effect in the two spin-1/2 XXZ Heisenberg edge-shared tetrahedra and spin-1/2 XXZ Heisenberg octahedron with Dzyaloshinskii-Moriya interaction

abstract: In the present paper, we consider two species of small spin clusters known as; two spin-1/2 Heisenberg edge-shared tetrahedra and spin-1/2 Heisenberg octahedron with the corresponding Dzyaloshinskii-Moriya terms in a longitudinal magnetic field, then we examine magnetization process and electric polarization of the models as functions of magnetic and electric fields at Low temperature using exact numerical diagonalization. Our exact results are in a good agreement with recent analysis carried out by J. Stre\v{c}ka and K. Kar{\v l}ova \cite{str18b,str17a}. It is demonstrated that the polarization behavior coincides the magnetization curves (including sequential intermediate plateaus), also it reflects the respective stepwise changes of ground-state phase transitions. We find that the polarization has significant effects on the magnetic field dependencies of the magnetization. Furthermore, we investigate other isothermal strategies such as cooling rate, magnetocaloric effect (MCE), as well as, electrocaloric effect(ECE) for both models. Since, new electrocaloric materials with high performance is of great interest and importance in condensed matter physics, here, we report on the ECE of the both aforedescribed spin-1/2 Heisenberg small clusters. We conclude that two spin-1/2 Heisenberg edge-shared tetrahedra is a material with significant reversible temperature change capability under an external electric field compared with the spin-1/2 Heisenberg octahedron, and can be used for cooling/heating process.


title: Qualitative and Quantitative Risk Analysis and Safety Assessment of Unmanned Aerial Vehicles Missions over the Internet

abstract: In the last few years, Unmanned Aerial Vehicles (UAVs) are making a revolution as an emerging technology with many different applications in the military, civilian, and commercial fields. The advent of autonomous drones has initiated serious challenges, including how to maintain their safe operation during their missions. The safe operation of UAVs remains an open and sensitive issue since any unexpected behavior of the drone or any hazard would lead to potential risks that might be very severe. The motivation behind this work is to propose a methodology for the safety assurance of drones over the Internet {(Internet of drones (IoD))}. Two approaches will be used in performing the safety analysis: (1) a qualitative safety analysis approach, and (2) a quantitative safety analysis approach. The first approach uses the international safety standards, namely ISO 12100 and ISO 13849 to assess the safety of drone's missions by focusing on qualitative assessment techniques. The methodology starts with hazard identification, risk assessment, risk mitigation, and finally, draws the safety recommendations associated with a drone delivery use case. The second approach presents a method for the quantitative safety assessment using Bayesian Networks (BN) for probabilistic modeling. BN utilizes the information provided by the first approach to model the safety risks related to UAVs' flights. An illustrative UAV crash scenario is presented as a case study, followed by scenario analysis, to demonstrate the applicability of the proposed approach. These two analyses, qualitative and quantitative, enable { all involved stakeholders} to detect, explore and address the risks of UAV flights, which will help the industry to better manage the safety concerns of UAVs.


title: Can Machine Learning Model with Static Features be Fooled: an Adversarial Machine Learning Approach

abstract: The widespread adoption of smartphones dramatically increases the risk of attacks and the spread of mobile malware, especially on the Android platform. Machine learning-based solutions have been already used as a tool to supersede signature-based anti-malware systems. However, malware authors leverage features from malicious and legitimate samples to estimate statistical difference in-order to create adversarial examples. Hence, to evaluate the vulnerability of machine learning algorithms in malware detection, we propose five different attack scenarios to perturb malicious applications (apps). By doing this, the classification algorithm inappropriately fits the discriminant function on the set of data points, eventually yielding a higher misclassification rate. Further, to distinguish the adversarial examples from benign samples, we propose two defense mechanisms to counter attacks. To validate our attacks and solutions, we test our model on three different benchmark datasets. We also test our methods using various classifier algorithms and compare them with the state-of-the-art data poisoning method using the Jacobian matrix. Promising results show that generated adversarial samples can evade detection with a very high probability. Additionally, evasive variants generated by our attack models when used to harden the developed anti-malware system improves the detection rate up to 50% when using the Generative Adversarial Network (GAN) method.


title: Analytic structures and harmonic measure at bifurcation locus

abstract: We study conformal quantities at generic parameters with respect to the harmonic measure on the boundary of the connectedness loci ${\cal M}_d$ for unicritical polynomials $f_c(z)=z^d+c$. It is known that these parameters are structurally unstable and have stochastic dynamics. We prove $C^{1+\frac{\alpha}{d}-\epsilon}$-conformality, $\alpha = 2-\mbox{HD}\,({\cal J}_{c_0})$, of the parameter-phase space similarity maps $\Upsilon_{c_0}(z):\mathbb{C}\mapsto \mathbb{C}$ at typical $c_0\in \partial {\cal M}_d$ and establish that globally quasiconformal similarity maps $\Upsilon_{c_0}(z)$, $c_0\in \partial {\cal M}_d$, are $C^1$-conformal along external rays landing at $c_0$ in $\mathbb{C}\setminus {\cal J}_{c_0}$ mapping onto the corresponding rays of ${\cal M}_d$. This conformal equivalence leads to the proof that the $z$-derivative of the similarity map $\Upsilon_{c_0}(z)$ at typical $c_0\in \partial {\cal M}_d$ is equal to $1/{\cal T}'(c_0)$, where ${\cal T}(c_0)=\sum_{n=0}^{\infty}(D(f_{c_0}^n)(c_0))^{-1}$ is the transversality function. The paper builds analytical tools for a further study of the extremal properties of the harmonic measure on $\partial {\cal M}_d$. In particular, we will explain how a non-linear dynamics creates abundance of hedgehog neighborhoods in $\partial {\cal M}_d$ effectively blocking a good access of $\partial {\cal M}_d $ from the outside.


title: Estimating Emotional Intensity from Body Poses for Human-Robot Interaction

abstract: Equipping social and service robots with the ability to perceive human emotional intensities during an interaction is in increasing demand. Most of existing work focuses on determining which emotion(s) participants are expressing from facial expressions but largely overlooks the emotional intensities spontaneously revealed by other social cues, especially body languages. In this paper, we present a real-time method for robots to capture fluctuations of participants' emotional intensities from their body poses. Unlike conventional joint-position-based approaches, our method adopts local joint transformations as pose descriptors which are invariant to subject body differences as well as the pose sensor positions. In addition, we use a Long Short-Term Memory Recurrent Neural Network (LSTM-RNN) architecture to take the specific emotion context into account when estimating emotional intensities from body poses. The dataset evaluation suggests that the proposed method is effective and performs better than baseline method on the test dataset. Also, a series of succeeding field tests on a physical robot demonstrates that the proposed method effectively estimates subjects emotional intensities in real-time. Furthermore, the robot equipped with our method is perceived to be more emotion-sensitive and more emotionally intelligent.


title: Vanishing theorems on complete Riemannian manifold with a parallel $1$-form

abstract: In this article, we first consider the $L^{2}$ \textit{Morse-Novikov cohomology} on a complete Riemannian manifold $M$ equipped with a parallel $1$-form which includes Vaisman manifold. Based on a vanishing theorem of $L^{2}$ \textit{Morse-Novikov cohomology}, we prove that the $L^{2}$-harmonic forms on $M$ are identically zero.


title: Hybridization-induced resonances with high quality factor in a plasmonic concentric ring-disk nanocavity

abstract: Plasmonic resonators have drawn more attention due to the ability to confine light into subwavelength scale. However, they always suffer from a low quality (Q) factor owing to the intrinsic loss of metal. Here, we numerically propose a plasmonic resonator with ultra-high Q factor based on plasmonic metal-insulator-metal (MIM) waveguide structures. The resonator consists of a disk cavity surrounded by a concentric ring cavity, possessing an ultra-small volume. Arising from the plasmon hybridization between plasmon modes in the disk and ring cavity, the induced bonding hybridized modes have ultra-narrow full wave at half maximum (FWHM) as well as ultra-high Q factors. The FWHM can be nearly 1 nm and Q factor can be more than 400. Furthermore, such device can act as a refractive index sensor with ultra-high figure of merit (FOM). This work provides a novel approach to design plasmonic high-Q-factor resonators, and has potential on-chip applications such as filters, sensors and nanolasers.


title: Decomposing a Graph into Unigraphs

abstract: Unigraphs are graphs uniquely determined by their own degree sequence up to isomorphism. There are many subclasses of unigraphs such as threshold graphs, split matrogenic graphs, matroidal graphs, and matrogenic graphs. Unigraphs and these subclasses are well studied in the literature. Nevertheless, there are few results on superclasses of unigraphs. In this paper, we introduce two types of generalizations of unigraphs: $k$-unigraphs and $k$-strong unigraphs. We say that a graph $G$ is a $k$-unigraph if $G$ can be partitioned into $k$ unigraphs. $G$ is a $k$-strong unigraph if not only each subgraph is a unigraph but also the whole graph can be uniquely determined up to isomorphism, by using the degree sequences of all the subgraphs in the partition. We describe a relation between $k$-strong unigraphs and the subgraph isomorphism problem. We show some properties of $k$-(strong) unigraphs and algorithmic results on calculating the minimum $k$ such that a graph $G$ is a $k$-(strong) unigraph. This paper will open many other research topics.


title: New Types of the Chromospheric Anemone Microflares: Case Study

abstract: The chromospheric anemone microflares (AMF) are the transient solar phenomena whose emission regions have a multi-ribbon configuration. As distinct from the so-called "atypical" solar flares, also possessing a few ribbons, the temporal and spatial scales of AMFs are a few times less, and the configuration of their ribbons is more specific (star-like). The previously reported AMFs had typically three or, less frequently, four ribbons; and it was shown in our recent paper (Dumin and Somov: 2019, Astron. Astrophys. 623, L4) that they can be reasonably described by the so-called GKSS model of magnetic field, involving as few as four point-like magnetic sources with various polarity and arrangement. To seek for the new types of AMFs, we performed inspection of the large set of the emission patterns in the chromospheric line Ca II H recorded by Hinode/SOT and confronted them with the respective magnetograms obtained by SDO/HMI. As follows from this analysis, it is really possible to identify the new unusual AMFs. Firstly, these are the flares occurring in the regions with unbalanced magnetic flux. Secondly, and most interesting, it is possible to identify the AMFs with much more complex spatial configurations, e.g., involving five luminous ribbons with a nontrivial arrangement. As follows from the corresponding magnetograms, they are produced by the effective magnetic sources (sunspots) of different polarity with intermittent arrangement, but their number is greater than in the standard GKSS model.


title: On bicomplex Fourier--Wigner transforms

abstract: We consider the $1$- and $2$-d bicomplex analogs of the classical Fourier--Wigner transform. Their basic properties, including Moyal's identity and characterization of their ranges giving rise to new bicomplex--polyanalytic functional spaces are discussed. Particular case of special window is also considered. An orthogonal basis for the space of bicomplex--valued square integrable functions on the bicomplex numbers is constructed by means of the polyanalytic complex Hermite functions.


title: On the weak convergence rate of an exponential Euler scheme for SDEs governed by coefficients with superlinear growth

abstract: We consider the problem of the approximation of the solution of a one-dimensional SDE with non-globally Lipschitz drift and diffusion coefficients behaving as $x^\alpha$, with $\alpha>1$. We propose an (semi-explicit) exponential-Euler scheme and study its convergence through its weak approximation error. To this aim, we analyze the $C^{1,4}$ regularity of the solution of the associated backward Kolmogorov PDE using its Feynman-Kac representation and the flow derivative of the involved processes. From this, under some suitable hypotheses on the parameters of the model ensuring the control of its positive moments, we recover a rate of weak convergence of order one for the proposed exponential Euler scheme. Finally, numerical experiments are shown in order to support and complement our theoretical result.


title: Personalized sentence generation using generative adversarial networks with author-specific word usage

abstract: The author-specific word usage is a vital feature to let readers perceive the writing style of the author. In this work, a personalized sentence generation method based on generative adversarial networks (GANs) is proposed to cope with this issue. The frequently used function word and content word are incorporated not only as the input features but also as the sentence structure constraint for the GAN training. For the sentence generation with the related topics decided by the user, the Named Entity Recognition (NER) information of the input words is also used in the network training. We compared the proposed method with the GAN-based sentence generation methods, and the experimental results showed that the generated sentences using our method are more similar to the original sentences of the same author based on the objective evaluation such as BLEU and SimHash score.


title: Learning the Right Expansion-ordering Heuristics for Satisfiability Testing in OWL Reasoners

abstract: Web Ontology Language (OWL) reasoners are used to infer new logical relations from ontologies. While inferring new facts, these reasoners can be further optimized, e.g., by properly ordering disjuncts in disjunction expressions of ontologies for satisfiability testing of concepts. Different expansion-ordering heuristics have been developed for this purpose. The built-in heuristics in these reasoners determine the order for branches in search trees while each heuristic choice causes different effects for various ontologies depending on the ontologies' syntactic structure and probably other features as well. A learning-based approach that takes into account the features aims to select an appropriate expansion-ordering heuristic for each ontology. The proper choice is expected to accelerate the reasoning process for the reasoners. In this paper, the effect of our methodology is investigated on a well-known reasoner that is JFact. Our experiments show the average speedup by a factor of one to two orders of magnitude for satisfiability testing after applying learning methodology for selecting the right expansion-ordering heuristics.


title: A Comparison of Explosion Energies for Simulated and Observed Core-Collapse Supernovae

abstract: There are now $\sim$20 multi-dimensional core-collapse supernova (CCSN) simulations that explode. However, these simulations have explosion energies that are a few times $10^{50}$ erg, not $10^{51}$ erg. In this manuscript, we compare the inferred explosion energies of these simulations and observations of 38 SN~IIP. Assuming a log-normal distribution, the mean explosion energy for the observations is $\mu_{\rm obs} = -0.13\pm 0.05$ ($\log_{10}(E/10^{51}\, {\rm erg})$) and the width is $\sigma_{\rm obs} = 0.21^{+0.05}_{-0.04}$. Only three CCSN codes have sufficient simulations to compare with observations: CHIMERA, CoCoNuT-FMT, and FORNAX. Currently, FORNAX has the largest sample of simulations. The two-dimensional FORNAX simulations show a correlation between explosion energy and progenitor mass, ranging from linear to quadratic, $E_{\rm sim} \propto M^{1-2}$; this correlation is consistent with inferences from observations. In addition, we infer the ratio of the observed-to-simulated explosion energies, $\Delta=\log_{10}(E_{\rm obs}/E_{\rm sim})$. For the CHIMERA set, $\Delta=0.33\pm0.06$; for CoCoNuT-FMT, $\Delta=0.62\pm0.05$; for FORNAX2D, $\Delta=0.73\pm0.05$, and for FORNAX3D, $\Delta=0.95\pm0.06$. On average, the simulations are less energetic than inferred energies from observations ($\Delta \approx 0.7$), but we also note that the variation among the simulations (max($\Delta$)-min($\Delta$) $\approx 0.6$) is as large as this average offset. This suggests that further improvements to the simulations could resolve the discrepancy. Furthermore, both the simulations and the observations are heavily biased. In this preliminary comparison, we model these biases, but to more reliably compare the explosion energies, we recommend strategies to un-bias both the simulations and observations.


title: Performance and Resilience of Cyber-Physical Control Systems with Reactive Attack Mitigation

abstract: This paper studies the performance and resilience of a linear cyber-physical control system (CPCS) with attack detection and reactive attack mitigation in the context of power grids. It addresses the problem of deriving an optimal sequence of false data injection attacks that maximizes the state estimation error of the power system. The results provide basic understanding about the limit of the attack impact. The design of the optimal attack is based on a Markov decision process (MDP) formulation, which is solved efficiently using the value iteration method. We apply the proposed framework to the voltage control system of power grids and run extensive simulations using PowerWorld. The results show that our framework can accurately characterize the maximum state estimation errors caused by an attacker who carefully designs the attack sequence to strike a balance between the attack magnitude and stealthiness, due to the simultaneous presence of attack detection and mitigation. Moreover, based on the proposed framework, we analyze the impact of false positives and negatives in detecting attacks on the system performance. The results are important for the system defenders in the joint design of attack detection and mitigation to reduce the impact of these attack detection errors.Finally, as MDP solutions are not scalable for high-dimensional systems, we apply Q-learning with linear and non-linear (neural networks based) function approximators to solve the attacker's problem in these systems and compare their performances.


title: Weakly-Supervised Concept-based Adversarial Learning for Cross-lingual Word Embeddings

abstract: Distributed representations of words which map each word to a continuous vector have proven useful in capturing important linguistic information not only in a single language but also across different languages. Current unsupervised adversarial approaches show that it is possible to build a mapping matrix that align two sets of monolingual word embeddings together without high quality parallel data such as a dictionary or a sentence-aligned corpus. However, without post refinement, the performance of these methods' preliminary mapping is not good, leading to poor performance for typologically distant languages. In this paper, we propose a weakly-supervised adversarial training method to overcome this limitation, based on the intuition that mapping across languages is better done at the concept level than at the word level. We propose a concept-based adversarial training method which for most languages improves the performance of previous unsupervised adversarial methods, especially for typologically distant language pairs.


title: An Unsupervised Joint System for Text Generation from Knowledge Graphs and Semantic Parsing

abstract: Knowledge graphs (KGs) can vary greatly from one domain to another. Therefore supervised approaches to both graph-to-text generation and text-to-graph knowledge extraction (semantic parsing) will always suffer from a shortage of domain-specific parallel graph-text data; at the same time, adapting a model trained on a different domain is often impossible due to little or no overlap in entities and relations. This situation calls for an approach that (1) does not need large amounts of annotated data and thus (2) does not need to rely on domain adaptation techniques to work well in different domains. To this end, we present the first approach to unsupervised text generation from KGs and show simultaneously how it can be used for unsupervised semantic parsing. We evaluate our approach on WebNLG v2.1 and a new benchmark leveraging scene graphs from Visual Genome. Our system outperforms strong baselines for both text$\leftrightarrow$graph conversion tasks without any manual adaptation from one dataset to the other. In additional experiments, we investigate the impact of using different unsupervised objectives.


title: LIBS2ML: A Library for Scalable Second Order Machine Learning Algorithms

abstract: LIBS2ML is a library based on scalable second order learning algorithms for solving large-scale problems, i.e., big data problems in machine learning. LIBS2ML has been developed using MEX files, i.e., C++ with MATLAB/Octave interface to take the advantage of both the worlds, i.e., faster learning using C++ and easy I/O using MATLAB. Most of the available libraries are either in MATLAB/Python/R which are very slow and not suitable for large-scale learning, or are in C/C++ which does not have easy ways to take input and display results. So LIBS2ML is completely unique due to its focus on the scalable second order methods, the hot research topic, and being based on MEX files. Thus it provides researchers a comprehensive environment to evaluate their ideas and it also provides machine learning practitioners an effective tool to deal with the large-scale learning problems. LIBS2ML is an open-source, highly efficient, extensible, scalable, readable, portable and easy to use library. The library can be downloaded from the URL: \url{https://github.com/jmdvinodjmd/LIBS2ML}.


title: Spectral properties of the Neumann-Poincar\'e operator in 3D elasticity

abstract: We consider the double layer potential (Neumann-Poincar\'e) operator appearing in 3-dimensional elasticity. We show that the recent result about the polynomial compactness of this operator for the case of a homogeneous media follows without additional calculations from previous considerations by Agranovich et.al., based upon pseudodifferential operators. Further on, we define the NP operator for the case of a nonhomogeneous isotropic media and show that its properties depend crucially on the character of non-homogeneity. If the Lam\'e parameters are constant along the boundary, the NP operator is still polynomially compact. On the other hand, if these parameters are not constant, two or more intervals of continuous spectrum may appear, so the NP operator ceases to be polynomially compact. However, after a certain modification, it becomes polynomially compact again. Finally, we evaluate the rate of convergence of discrete eigenvalues of the NP operator to the tips of the essential spectrum.


title: Detecting subsystem symmetry protected topological order via entanglement entropy

abstract: Subsystem symmetry protected topological (SSPT) order is a type of quantum order that is protected by symmetries acting on lower-dimensional subsystems of the entire system. In this paper, we show how SSPT order can be characterized and detected by a constant correction to the entanglement area law, similar to the topological entanglement entropy. Focusing on the paradigmatic two-dimensional cluster phase as an example, we use tensor network methods to give an analytic argument that almost all states in the phase exhibit the same correction to the area law, such that this correction may be used to reliably detect the SSPT order of the cluster phase. Based on this idea, we formulate a numerical method that uses tensor networks to extract this correction from ground-state wave functions. We use this method to study the fate of the SSPT order of the cluster state under various external fields and interactions, and find that the correction persists unless a phase transition is crossed, or the subsystem symmetry is explicitly broken. Surprisingly, these results uncover that the SSPT order of the cluster state persists beyond the cluster phase, thanks to a new type of subsystem time-reversal symmetry. Finally, we discuss the correction to the area law found in three-dimensional cluster states on different lattices, indicating rich behavior for general subsystem symmetries


title: Constructing extremal compatible quantum observables by means of two mutually unbiased bases

abstract: We describe a particular class of pairs of quantum observables which are extremal in the convex set of all pairs of compatible quantum observables. The pairs in this class are constructed as uniformly noisy versions of two mutually unbiased bases (MUB) with possibly different noise intensities affecting each basis. We show that not all pairs of MUB can be used in this construction, and we provide a criterion for determiniing those MUB that actually do yield extremal compatible observables. We apply our criterion to all pairs of Fourier conjugate MUB, and we prove that in this case extremality is achieved if and only if the quantum system Hilbert space is odd-dimensional. Remarkably, this fact is no longer true for general non-Fourier conjugate MUB, as we show in an example. Therefore, the presence or the absence of extremality is a concrete geometric manifestation of MUB inequivalence, that already materializes by comparing sets of no more than two bases at a time.


title: Second order phase dispersion by optimised rotation pulses

abstract: We show that the duration of broadband universal control pulses can be halved by choosing control targets with a quadratic function of phase dispersion. This class of control pulses perform a broadband universal rotation around an axis, in the Bloch sphere representation of two-level systems, given by this phase dispersion function. We present an effective optimal control method to avoid the problem of convergence to local extrema traps.


title: 3-micron Reflectance Spectroscopy of Carbonaceous Chondrites under Asteroid-like Conditions

abstract: We measured 3-micron reflectance spectra of 21 meteorites that represent all carbonaceous chondrite types available in terrestrial meteorite collections. The measurements were conducted at the Laboratory for Spectroscopy under Planetary Environmental Conditions (LabSPEC) at the Johns Hopkins University Applied Physics Laboratory (JHU APL) under vacuum and thermally-desiccated conditions (asteroid-like conditions). This is the most comprehensive 3-micron dataset of carbonaceous chondrites ever acquired in environments similar to the ones experienced by asteroids. The 3-micron reflectance spectra are extremely important for direct comparisons with and appropriate interpretations of reflectance data from ground-based telescopic and spacecraft observations of asteroids. We found good agreement between 3-{\mu}m spectral characteristics of carbonaceous chondrites and carbonaceous chondrite classifications. The 3-{\mu}m band is diverse, indicative of varying composition, thus suggesting that these carbonaceous chondrites experienced distinct parent body aqueous alteration and metamorphism environments.


title: E$_0$-semigroups and product systems of W$^*$-bimodules

abstract: Product systems have been originally introduced to classify E$_0$-semigroups on type I factors by Arveson. We develop the classification theory of E$_0$-semigroups on a general von Neumann algebra and the dilation theory of CP$_0$-semigroups in terms of W$^*$-bimodules. For this, we provide a notion of product system of W$^*$-bimodules. This is a W$^*$-bimodule version of Arveson's and Bhat-Skeide's product systems. There exists a one-to-one correspondence between CP$_0$-semigroups and units of product systems of W$^*$-bimodules. The correspondence implies a construction of a dilation of a given CP$_0$-semigroup, a classification of E$_0$-semigroups on a von Neumann algebra up to cocycle equivalence and a relationship between Bhat-Skeide's and Muhly-Solel's constructions of minimal dilations of CP$_0$-semigroups.


title: Quantizations of local surfaces and rebel instantons

abstract: We construct explicit deformation quantizations of the noncompact complex surfaces $Z_k := \operatorname{Tot} (\mathcal O_{\mathbb P^1} (-k))$ and describe their effect on moduli spaces of vector bundles and instanton moduli spaces. We introduce the concept of rebel instantons, as being those which react badly to some quantizations, misbehaving by shooting off extra families of noncommutative instantons. We then show that the quantum instanton moduli space can be viewed as the \'etale space of a constructible sheaf over the classical instanton moduli space with support on rebel instantons.


title: Certainty Equivalent and Utility Indifference Pricing for Incomplete Preferences via Convex Vector Optimization

abstract: For incomplete preference relations that are represented by multiple priors and/or multiple -- possibly multivariate -- utility functions, we define a certainty equivalent as well as the utility buy and sell prices and indifference price bounds as set-valued functions of the claim. Furthermore, we motivate and introduce the notion of a weak and a strong certainty equivalent. We will show that our definitions contain as special cases some definitions found in the literature so far on complete or special incomplete preferences. We prove monotonicity and convexity properties of utility buy and sell prices that hold in total analogy to the properties of the scalar indifference prices for complete preferences. We show how the (weak and strong) set-valued certainty equivalent as well as the indifference price bounds can be computed or approximated by solving convex vector optimization problems. Numerical examples and their economic interpretations are given for the univariate as well as for the multivariate case.


title: Condensation of degrees emerging through a first-order phase transition in classical random graphs

abstract: Due to their conceptual and mathematical simplicity, Erd\"os-R\'enyi or classical random graphs remain as a fundamental paradigm to model complex interacting systems in several areas. Although condensation phenomena have been widely considered in complex network theory, the condensation of degrees has hitherto eluded a careful study. Here we show that the degree statistics of the classical random graph model undergoes a first-order phase transition between a Poisson-like distribution and a condensed phase, the latter characterized by a large fraction of nodes having degrees in a limited sector of their configuration space. The mechanism underlying the first-order transition is discussed in light of standard concepts in statistical physics. We uncover the phase diagram characterizing the ensemble space of the model and we evaluate the rate function governing the probability to observe a condensed state, which shows that condensation of degrees is a rare statistical event akin to similar condensation phenomena recently observed in several other systems. Monte Carlo simulations confirm the exactness of our theoretical results.


title: Physical insights into the operation of a 1-nm gate length transistor based on MoS2 with metallic carbon nanotube gate

abstract: Low-dimensional materials such as layered semiconductors or carbon nanotubes (CNTs) have been attracting increasing attention in the last decades due to their inherent scaling properties, which become fundamental to sustain the scaling in electronic devices. Inspired by recent experimental results (S.B. Desai, S.R. Madhvapathy, A.B. Sachid, J.P. Llinas, Q. Wang, G.H. Ahn, G. Pitner, M.J. Kim, J. Bokor, C. Hu, H.-S. P. Wong, and A. Javey, Science 354, 99 (2016)), in this work we examined the ultimate performance of of MoS$_2$-channel Field Effect Transistors with 1-nm gate length by means of quantum transport simulations based on Poisson equation and Non-equilibrium Green's function formalism. We considered uniformly scaled devices, with channel lengths ranging from 5 to 20 nm controlled by a cylindrical gate with a 1-nm diameter, as would be required in realistic integrated circuits. Moreover, we also evaluated the effect of the finite density of states of a carbon nanotube gate on the loss of device performance. We noticed that the sub-threshold swing for all short-channel structures was greater than the ideal limit of thermionic devices and we attributed this to the presence of tunneling currents and gate-drain interactions. We tailored the transistor architecture in order to improve the gate control. We concluded that the limited CNT-channel capacitive coupling poses severe limitations on the operation and thus exploitation of the device.


title: A Differential Approach for Gaze Estimation

abstract: Non-invasive gaze estimation methods usually regress gaze directions directly from a single face or eye image. However, due to important variabilities in eye shapes and inner eye structures amongst individuals, universal models obtain limited accuracies and their output usually exhibit high variance as well as biases which are subject dependent. Therefore, increasing accuracy is usually done through calibration, allowing gaze predictions for a subject to be mapped to his/her actual gaze. In this paper, we introduce a novel image differential method for gaze estimation. We propose to directly train a differential convolutional neural network to predict the gaze differences between two eye input images of the same subject. Then, given a set of subject specific calibration images, we can use the inferred differences to predict the gaze direction of a novel eye sample. The assumption is that by allowing the comparison between two eye images, annoyance factors (alignment, eyelid closing, illumination perturbations) which usually plague single image prediction methods can be much reduced, allowing better prediction altogether. Experiments on 3 public datasets validate our approach which constantly outperforms state-of-the-art methods even when using only one calibration sample or when the latter methods are followed by subject specific gaze adaptation.


title: Data-Driven Neuron Allocation for Scale Aggregation Networks

abstract: Successful visual recognition networks benefit from aggregating information spanning from a wide range of scales. Previous research has investigated information fusion of connected layers or multiple branches in a block, seeking to strengthen the power of multi-scale representations. Despite their great successes, existing practices often allocate the neurons for each scale manually, and keep the same ratio in all aggregation blocks of an entire network, rendering suboptimal performance. In this paper, we propose to learn the neuron allocation for aggregating multi-scale information in different building blocks of a deep network. The most informative output neurons in each block are preserved while others are discarded, and thus neurons for multiple scales are competitively and adaptively allocated. Our scale aggregation network (ScaleNet) is constructed by repeating a scale aggregation (SA) block that concatenates feature maps at a wide range of scales. Feature maps for each scale are generated by a stack of downsampling, convolution and upsampling operations. The data-driven neuron allocation and SA block achieve strong representational power at the cost of considerably low computational complexity. The proposed ScaleNet, by replacing all 3x3 convolutions in ResNet with our SA blocks, achieves better performance than ResNet and its outstanding variants like ResNeXt and SE-ResNet, in the same computational complexity. On ImageNet classification, ScaleNets absolutely reduce the top-1 error rate of ResNets by 1.12 (101 layers) and 1.82 (50 layers). On COCO object detection, ScaleNets absolutely improve the mmAP with backbone of ResNets by 3.6 (101 layers) and 4.6 (50 layers) on Faster RCNN, respectively. Code and models are released at https://github.com/Eli-YiLi/ScaleNet.


title: Commensurability in Artin groups of spherical type

abstract: Let $A$ and $A'$ be two Artin groups of spherical type, and let $A_1,\dots,A_p$ (resp. $A'_1,\dots,A'_q$) be the irreducible components of $A$ (resp. $A'$). We show that $A$ and $A'$ are commensurable if and only if $p=q$ and, up to permutation of the indices, $A_i$ and $A'_i$ are commensurable for every $i$. We prove that, if two Artin groups of spherical type are commensurable, then they have the same rank. For a fixed $n$, we give a complete classification of the irreducible Artin groups of rank $n$ that are commensurable with the group of type $A_n$. Note that it will remain 6 pairs of groups to compare to get the complete classification of Artin groups of spherical type up to commensurability.


title: Hints of Modified Gravity in Cosmos and in the Lab?

abstract: General Relativity (GR) is consistent with a wide range of experiments/observations from millimeter scales up to galactic scales and beyond. However, there are reasons to believe that GR may need to be modified because it includes singularities (it is an incomplete theory) and also it requires fine-tuning to explain the accelerating expansion of the universe through the cosmological constant. Thus, it is important to check various experiments and observations beyond the above range of scales for possible hints of deviations from the predictions of GR. If such hints are found it is important to understand which classes of modified gravity theories are consistent with them. The goal of this review is to summarize recent progress on these issues. On sub millimeter scales we show an analysis of the data of the Washington experiment (Kapner et al. (2007)) searching for modifications of Newton's Law on sub-millimeter scales and demonstrate that a spatially oscillating signal is hidden in this dataset. We show that even though this signal cannot be explained in the context of standard modified theories (viable scalar tensor and $f(R)$ theories), it is a rather generic prediction of nonlocal gravity theories. On cosmological scales we review recent analyses of Redshift Space Distortion data which measure the growth rate of cosmological perturbations at various redshifts and show that these data are in some tension with the $\Lambda$CDM parameter values indicated by Planck/2015 CMB data at about 3$\sigma$ level. This tension can be reduced by allowing for an evolution of the effective Newton constant that determines the growth rate of cosmological perturbations. We conclude that even though this tension between the data and the predictions of GR could be due to systematic/statistical uncertainties of the data, it could also constitute early hints of a new gravitational theory.


title: Entropy driven transformations of statistical hypersurfaces

abstract: Deformations of geometric characteristics of statistical hypersurfaces governed by the law of growth of entropy are studied. Both general and special cases of deformations are considered. The basic structure of the statistical hypersurface is explored through a differential relation for the variables, and connections with the replicator dynamics for Gibbs' weights are highlighted. Ideal and super-ideal cases are analysed, also considering their integral characteristics.


title: Facial Feature Embedded CycleGAN for VIS-NIR Translation

abstract: VIS-NIR face recognition remains a challenging task due to the distinction between spectral components of two modalities and insufficient paired training data. Inspired by the CycleGAN, this paper presents a method aiming to translate VIS face images into fake NIR images whose distributions are intended to approximate those of true NIR images, which is achieved by proposing a new facial feature embedded CycleGAN. Firstly, to learn the particular feature of NIR domain while preserving common facial representation between VIS and NIR domains, we employ a general facial feature extractor (FFE) to replace the encoder in the original generator of CycleGAN. For implementing the facial feature extractor, herein the MobileFaceNet is pretrained on a VIS face database, and is able to extract effective features. Secondly, the domain-invariant feature learning is enhanced by considering a new pixel consistency loss. Lastly, we establish a new WHU VIS-NIR database which varies in face rotation and expressions to enrich the training data. Experimental results on the Oulu-CASIA NIR-VIS database and the WHU VIS-NIR database show that the proposed FFE-based CycleGAN (FFE-CycleGAN) outperforms state-of-the-art VIS-NIR face recognition methods and achieves 96.5\% accuracy.


title: A perturbative study of holographic mABJM theory

abstract: Recently the calculation of holographic free energy for mass-deformed ABJM model (mABJM) with ${\cal N}=2$ supersymmetry and $SU(3)\times U(1)$ global symmetry was tackled by Bobev et al. in arXiv:1812.01026. We solve the associated BPS equations, requiring IR regularity, using a perturbative method proposed by one of us recently in axXiv:1902.00418. In particular, we provide an analytic proof of a crucial conjecture made in arXiv:1812.01026 based on numerical solutions: that the R-charge values of three chiral multiplets in mABJM should be independent of the IR values of a hypermultiplet scalar, which is holographically dual to the superpotential mass term.


title: Self-induced topological transition in phononic crystals by nonlinearity management

abstract: A new design paradigm of topology has recently emerged to manipulate the flow of phonons. At its heart lies a topological transition to a nontrivial state with exotic properties. This framework has been limited to linear lattice dynamics so far. Here we show a topological transition in a nonlinear regime and its implication in emerging nonlinear solutions. We employ nonlinearity management such that the system consists of masses connected with two types of nonlinear springs, "stiffening" and "softening" types, alternating along the length. We show, analytically and numerically, that the lattice makes a topological transition simply by changing the excitation amplitude and invoking nonlinear dynamics. Consequently, we witness the emergence of a new family of finite-frequency edge modes, not observed in linear phononic systems. We also report the existence of kink solitons at the topological transition point. These correspond to heteroclinic orbits that form a closed curve in the phase portrait separating the two topologically-distinct regimes. These findings suggest that nonlinearity can be used as a strategic tuning knob to alter topological characteristics of phononic crystals. These also provide fresh perspectives towards understanding a new family of nonlinear solutions in light of topology.


title: Oscillatory Breuer-Major theorem with application to the random corrector problem

abstract: In this paper, we present an oscillatory version of the celebrated Breuer-Major theorem that is motivated by the random corrector problem. As an application, we are able to prove new results concerning the Gaussian fluctuation of the random corrector. We also provide a variant of this theorem involving homogeneous measures.


title: Stability and uniqueness for piecewise smooth solutions to Burgers-Hilbert among a large class of solutions

abstract: In this paper, we show uniqueness and stability for the piecewise-smooth solutions to the Burgers--Hilbert equation constructed in Bressan and Zhang [Commun. Math. Sci., 15(1):165--184, 2017]. The Burgers--Hilbert equation is $u_t+(\frac{u^2}{2})_x=\mathbf{H}[u]$ where $\mathbf{H}$ is the Hilbert transform, a nonlocal operator. We show stability and uniqueness for solutions amongst a larger class than the uniqueness result in Bressan and Zhang. The solutions we consider are measurable and bounded, satisfy at least one entropy condition, and verify a strong trace condition. We do not have smallness assumptions. We use the relative entropy method and theory of shifts (see Vasseur [Handbook of Differential Equations: Evolutionary Equations, 4:323 -- 376, 2008]).


title: Induced dynamics

abstract: Induced dynamics is defined as dynamics of real zeros with respect to $x$ of equation $f(q_1-x,\ldots,q_N-x,p_1,\ldots,p_N)=0$, where $f$ is a function, and $q_i$ and $p_j$ are canonical variables obeying some (free) evolution. Identifying zero level lines with the world lines of particles, we show that the resulting dynamical system demonstrates highly nontrivial collisions of particles. In particular, induced dynamical systems can describe such ``quantum'' effects as bound states and creation/annihilation of particles, both in nonrelativistic and relativistic cases. On the other side, induced dynamical systems inherit properties of the $(p,q)$-systems being Hamiltonian and Liouville integrable.


title: Cluster Deletion on Interval Graphs and Split Related Graphs

abstract: In the {\sc Cluster Deletion} problem the goal is to remove the minimum number of edges of a given graph, such that every connected component of the resulting graph constitutes a clique. It is known that the decision version of {\sc Cluster Deletion} is NP-complete on ($P_5$-free) chordal graphs, whereas {\sc Cluster Deletion} is solved in polynomial time on split graphs. However, the existence of a polynomial-time algorithm of {\sc Cluster Deletion} on interval graphs, a proper subclass of chordal graphs, remained a well-known open problem. Our main contribution is that we settle this problem in the affirmative, by providing a polynomial-time algorithm for {\sc Cluster Deletion} on interval graphs. Moreover, despite the simple formulation of the algorithm on split graphs, we show that {\sc Cluster Deletion} remains NP-complete on a natural and slight generalization of split graphs that constitutes a proper subclass of $P_5$-free chordal graphs. To complement our results, we provide two polynomial-time algorithms for {\sc Cluster Deletion} on subclasses of such generalizations of split graphs.


title: Saliency-Guided Attention Network for Image-Sentence Matching

abstract: This paper studies the task of matching image and sentence, where learning appropriate representations across the multi-modal data appears to be the main challenge. Unlike previous approaches that predominantly deploy symmetrical architecture to represent both modalities, we propose Saliency-guided Attention Network (SAN) that asymmetrically employs visual and textual attention modules to learn the fine-grained correlation intertwined between vision and language. The proposed SAN mainly includes three components: saliency detector, Saliency-weighted Visual Attention (SVA) module, and Saliency-guided Textual Attention (STA) module. Concretely, the saliency detector provides the visual saliency information as the guidance for the two attention modules. SVA is designed to leverage the advantage of the saliency information to improve discrimination of visual representations. By fusing the visual information from SVA and textual information as a multi-modal guidance, STA learns discriminative textual representations that are highly sensitive to visual clues. Extensive experiments demonstrate SAN can substantially improve the state-of-the-art results on the benchmark Flickr30K and MSCOCO datasets by a large margin.


title: ChoiceNet: CNN learning through choice of multiple feature map representations

abstract: We introduce a new architecture called ChoiceNet where each layer of the network is highly connected with skip connections and channelwise concatenations. This enables the network to alleviate the problem of vanishing gradients, reduces the number of parameters without sacrificing performance, and encourages feature reuse. We evaluate our proposed architecture on three benchmark datasets for object recognition tasks (ImageNet, CIFAR- 10, CIFAR-100, SVHN) and on a semantic segmentation dataset (CamVid).


title: Many-Body Dynamical Localization in a Kicked Lieb-Liniger Gas

abstract: The kicked rotor system is a textbook example of how classical and quantum dynamics can drastically differ. The energy of a classical particle confined to a ring and kicked periodically will increase linearly in time whereas in the quantum version the energy saturates after a finite number of kicks. The quantum system undergoes Anderson localization in the angular-momentum space. Conventional wisdom says that in a many-particle system with short-range interactions the localization will be destroyed due to the coupling of widely separated momentum states. Here we provide evidence that for an interacting one-dimensional Bose gas, the Lieb-Linger model, the dynamical localization can persist.


title: Repetition Cat Qubits for Fault-Tolerant Quantum Computation

abstract: We present a 1D repetition code based on the so-called cat qubits as a viable approach toward hardware-efficient universal and fault-tolerant quantum computation. The cat qubits that are stabilized by a two-photon driven-dissipative process, exhibit a tunable noise bias where the effective bit-flip errors are exponentially suppressed with the average number of photons. We propose a realization of a set of gates on the cat qubits that preserve such a noise bias. Combining these base qubit operations, we build, at the level of the repetition cat qubit, a universal set of fully protected logical gates. This set includes single-qubit preparations and measurements, NOT, controlled-NOT, and controlled-controlled-NOT (Toffoli) gates. Remarkably, this construction avoids the costly magic state preparation, distillation, and injection. Finally, all required operations on the cat qubits could be performed with slight modifications of existing experimental setups.


title: Criteria for the a-contraction and stability for the piecewise-smooth solutions to hyperbolic balance laws

abstract: We show uniqueness and stability in $L^2$ and for all time for piecewise-smooth solutions to hyperbolic balance laws. We have in mind applications to gas dynamics, the isentropic Euler system and the full Euler system for a polytropic gas in particular. We assume the discontinuity in the piecewise smooth solution is an extremal shock. We use only mild hypotheses on the system. Our techniques and result hold without smallness assumptions on the solutions. We can handle shocks of any size. We work in the class of bounded, measurable solutions satisfying a single entropy condition. We also assume a strong trace condition on the solutions, but this is weaker than $BV_{\text{loc}}$. We use the theory of a-contraction (see Kang and Vasseur [Arch. Ration. Mech. Anal., 222(1):343--391, 2016]) developed for the stability of pure shocks in the case without source.


title: A statistical method to detect non-stationarities of gamma-ray burst jets

abstract: We propose a method to detect possible non-stationarities of gamma-ray burst jets. Assuming that the dominant source of variability in the prompt gamma light curve is the non-stationarity of the jet, we show that there should be a connection between the variability measure and the characteristic angle of the jet derived from the jet break time of the afterglow. We carried out Monte Carlo simulations of long gamma-ray burst observations assuming three radial luminosity density profiles for jets and randomizing all burst parameters, and created samples of gamma light curves by simulating jets undergoing Brownian motions with linear restoring forces. We were able to demonstrate that the connection between the variability and the characteristic angle is an anti-correlation in case of uniform and power-law jet profiles, and a correlation in case of a Gaussian profile. We have found that as low as $50$ $(144)$ gamma-ray burst observations with jet angle measurements can be sufficient for a $3\sigma\ (5\sigma) $ detection of the connection. The number of observations required for the detection depends on the underlying jet beam profile, ranging from 50 (144) to 237 (659) for the four specific profile models we tested.