title: Modeling reverse thinking for machine learning

abstract: Human inertial thinking schemes can be formed through learning, which are then applied to quickly solve similar problems later. However, when problems are significantly different, inertial thinking generally presents the solutions that are definitely imperfect. In such cases, people will apply creative thinking, such as reverse thinking, to solve problems. Similarly, machine learning methods also form inertial thinking schemes through learning the knowledge from a large amount of data. However, when the testing data are vastly difference, the formed inertial thinking schemes will inevitably generate errors. This kind of inertial thinking is called illusion inertial thinking. Because all machine learning methods do not consider illusion inertial thinking, in this paper we propose a new method that uses reverse thinking to correct illusion inertial thinking, which increases the generalization ability of machine learning methods. Experimental results on benchmark datasets are used to validate the proposed method.


title: A Class-Incremental Learning Method Based on One Class Support Vector Machine

abstract: A method based on one class support vector machine (OCSVM) is proposed for class incremental learning. Several OCSVM models divide the input space into several parts. Then, the 1VS1 classifiers are constructed for the confuse part by using the support vectors. During the class incremental learning process, the OCSVM of the new class is trained at first. Then the support vectors of the old classes and the support vectors of the new class are reused to train 1VS1 classifiers for the confuse part. In order to bring more information to the certain support vectors, the support vectors are at the boundary of the distribution of samples as much as possible when the OCSVM is built. Compared with the traditional methods, the proposed method retains the original model and thus reduces memory consumption and training time cost. Various experiments on different datasets also verify the efficiency of the proposed method.


title: Buckling of thin composite plates reinforced with randomly oriented, straight single-walled carbon nanotubes using B3-Spline finite strip method

abstract: This paper is devoted to the mechanical buckling analysis of thin composite plates under straight single-walled carbon nanotubes reinforcement with uniform distribution and random orientations. In order to develop the fundamental equations, the B3-Spline finite strip method along with the classical plate theory is employed and the total potential energy is minimized which leads to an eigenvalue problem. For deriving the effective modulus of thin composite plates reinforced with carbon nanotubes, the Mori-Tanaka method is used in which each straight carbon nanotube is modeled as a fiber with transversely isotropic elastic properties. The results of our numerical experiments including the critical buckling loads for rectangular thin composite plates reinforced by carbon nanotubes with various boundary conditions and different volume fractions of nanotubes are provided and the positive effect of using carbon nanotubes reinforcement in mechanical buckling of thin plates is illustrated.


title: Reciprocal Sum of Palindromes

abstract: A positive integer $n$ is said to be a palindrome in base $b$ (or $b$-adic palindrome) if the representation of $n = (a_k a_{k-1} \cdots a_0)_b$ in base $b$ with $a_k \neq 0$ has the symmetric property $a_{k-i} = a_i$ for every $i=0,1,2,\ldots ,k$. Let $s_b$ be the reciprocal sum of all $b$-adic palindromes. It is not difficult to show that $s_b$ converges. In this article, we obtain upper and lower bounds for $s_b$ and the inequality $s_{b} <s_{b'}$ for $2\leq b<b'$. Its consequences and some numerical data are also given.


title: Towards Cooperation in Sequential Prisoner's Dilemmas: a Deep Multiagent Reinforcement Learning Approach

abstract: The Iterated Prisoner's Dilemma has guided research on social dilemmas for decades. However, it distinguishes between only two atomic actions: cooperate and defect. In real-world prisoner's dilemmas, these choices are temporally extended and different strategies may correspond to sequences of actions, reflecting grades of cooperation. We introduce a Sequential Prisoner's Dilemma (SPD) game to better capture the aforementioned characteristics. In this work, we propose a deep multiagent reinforcement learning approach that investigates the evolution of mutual cooperation in SPD games. Our approach consists of two phases. The first phase is offline: it synthesizes policies with different cooperation degrees and then trains a cooperation degree detection network. The second phase is online: an agent adaptively selects its policy based on the detected degree of opponent cooperation. The effectiveness of our approach is demonstrated in two representative SPD 2D games: the Apple-Pear game and the Fruit Gathering game. Experimental results show that our strategy can avoid being exploited by exploitative opponents and achieve cooperation with cooperative opponents.


title: The Historical Development of Algebraic Geometry: a lecture by Jean Dieudonn\'e

abstract: This article is a transcription of a video of a 1972 lecture by Jean Dieudonn\'e, enhanced with composite still images from the video. The lecture covers the same material as an earlier paper and lecture notes by Dieudonn\'e, but the live lecture has a character of its own.


title: Turing instability and Turing-Hopf bifurcation in diffusive Schnakenberg systems with gene expression time delay

abstract: For delayed reaction-diffusion Schnakenberg systems with Neumann boundary conditions, critical conditions for Turing instability are derived, which are necessary and sufficient. And existence conditions for Turing, Hopf and Turing-Hopf bifurcations are established. Normal forms truncated to order 3 at Turing-Hopf singularity of codimension 2, are derived. By investigating Turing-Hopf bifurcation, the parameter regions for the stability of a periodic solution, a pair of spatially inhomogeneous steady states and a pair of spatially inhomogeneous periodic solutions, are derived in $(\tau,\varepsilon)$ parameter plane ($\tau$ for time delay, $\varepsilon$ for diffusion rate). It is revealed that joint effects of diffusion and delay can lead to the occurrence of mixed spatial and temporal patterns. Moreover, it is also demonstrated that various spatially inhomogeneous patterns with different spatial frequencies can be achieved via changing the diffusion rate. And, the phenomenon that time delay may induce a failure of Turing instability observed by Gaffney and Monk (2006) are theoretically explained.


title: Minimizing the number of 5-cycles in graphs with given edge-density

abstract: Motivated by the work of Razborov about the minimal density of triangles in graphs we study the minimal density of the 5-cycle $C_5$. We show that every graph of order $n$ and size $\left( 1-\frac{1}{k}\right)\binom{n}{2}$, where $k\ge 3$ is an integer, contains at least \[ \left( \frac{1}{10} -\frac{1}{2k} + \frac{1}{k^2} - \frac{1}{k^3} + \frac{2}{5 k^4} \right)n^5 +o(n^5) \] copies of $C_5$. This bound is optimal, since a matching upper bound is given by the balanced complete $k$-partite graph. The proof is based on the flag algebras framework. We also provide a stability result. An SDP solver is not necessary to verify our proofs.


title: Round-Robin Differential Phase-Shift Quantum Key Distribution with Twisted Photons

abstract: Quantum key distribution (QKD) offers the possibility for two individuals to communicate a securely encrypted message. From the time of its inception in 1984 by Bennett and Brassard, QKD has been the result of intense research. One technical challenge is the monitoring of signal disturbance in a QKD system to bound the information leakage towards an unwanted eavesdropper. Recently, the round-robin differential phase-shift (RRDPS) protocol, which encodes bits of information in a high-dimensional state space, was proposed to solve this exact problem. Since its introduction, many realizations of the RRDPS protocol were demonstrated using trains of coherent pulses. Here, we propose and experimentally demonstrate an implementation of the RRDPS protocol using the photonic orbital angular momentum degree of freedom. In particular, we show that Alice's generation stage and Bob's detection stage can each be reduced to a single phase element, greatly simplifying its implementation. Our scheme offers a practical demonstration of the RRDPS protocol which will suppress the need for monitoring signal disturbance in free-space channels.


title: From Octopus to Dendrite - Semiflexible Polyelectrolyte Brush Condensates in Trivalent Counterion Solution

abstract: Interplay between counterion-mediated interaction and stiffness inherent to polymer chain can bring substantial complexity to the morphology and dynamics of polyelectrolyte brush condensates. Trivalent counterions induce collapse of flexible polyelectrolyte brushes, over a certain range of grafting density, into octopus-like surface micelles; however, if individual chains are rigid enough, the ion-mediated local nematic ordering assembles the brush chains into fractal-like dendritic condensates whose relaxation dynamics is significantly slower than that in the surface micelles. Notably, the trivalent ions condensed in the dendritic condensates are highly mobile displaying quasi-one-dimensional diffusion in parallel along the dendritic branches. Our findings in this study are potentially of great significance to understanding the response of cellular organization such as chromosomes and charged polysaccharides on membranes to the change in ionic environment.


title: On the Performance of Network NOMA in Uplink CoMP Systems: A Stochastic Geometry Approach

abstract: To improve the system throughput, this paper proposes a network non-orthogonal multiple access (N-NOMA) technique for the uplink coordinated multi-point transmission (CoMP). In the considered scenario, multiple base stations collaborate with each other to serve a single user, referred to as the CoMP user, which is the same as for conventional CoMP. However, unlike conventional CoMP, each base station in N-NOMA opportunistically serves an extra user, referred to as the NOMA user, while serving the CoMP user at the same bandwidth. The CoMP user is typically located at the cell-edge, whereas users close to the base stations are scheduled as NOMA users. Hence, the channel conditions of the two kind of users are very distinctive, which facilitates the implementation of NOMA. Compared to the conventional orthogonal multiple access based CoMP scheme, where multiple base stations serve a single CoMP user only, the proposed N-NOMA scheme can support larger connectivity by serving the extra NOMA users, and improve the spectral efficiency by avoiding the CoMP user solely occupying the spectrum. A stochastic geometry approach is applied to model the considered N-NOMA scenario as a Poisson cluster process, based on which closed-form analytical expressions for outage probabilities and ergodic rates are obtained. Numerical results are presented to show the accuracy of the analytical results and also demonstrate the superior performance of the proposed N-NOMA scheme.


title: The Effect of Instruction Padding on SFI Overhead

abstract: Software-based fault isolation (SFI) is a technique to isolate a potentially faulty or malicious software module from the rest of a system using instruction-level rewriting. SFI implementations on CISC architectures, including Google Native Client, use instruction padding to enforce an address layout invariant and restrict control flow. However this padding decreases code density and imposes runtime overhead. We analyze this overhead, and show that it can be reduced by allowing some execution of overlapping instructions, as long as those overlapping instructions are still safe according to the original per-instruction policy. We implemented this change for both 32-bit and 64-bit x86 versions of Native Client, and analyzed why the performance benefit is higher on 32-bit. The optimization leads to a consistent decrease in the number of instructions executed and savings averaging 8.6% in execution time (over compatible benchmarks from SPECint2006) for x86-32. We describe how to modify the validation algorithm to check the more permissive policy, and extend a machine-checked Coq proof to confirm that the system's security is preserved.


title: Sequential Detection of Deception Attacks in Networked Control Systems with Watermarking

abstract: In this paper, we investigate the role of a physical watermarking signal in quickest detection of a deception attack in a scalar linear control system where the sensor measurements can be replaced by an arbitrary stationary signal generated by an attacker. By adding a random watermarking signal to the control action, the controller designs a sequential test based on a Cumulative Sum (CUSUM) method that accumulates the log-likelihood ratio of the joint distribution of the residue and the watermarking signal (under attack) and the joint distribution of the innovations and the watermarking signal under no attack. As the average detection delay in such tests is asymptotically (as the false alarm rate goes to zero) upper bounded by a quantity inversely proportional to the Kullback-Leibler divergence(KLD) measure between the two joint distributions mentioned above, we analyze the effect of the watermarking signal variance on the above KLD. We also analyze the increase in the LQG control cost due to the watermarking signal, and show that there is a tradeoff between quick detection of attacks and the penalty in the control cost. It is shown that by considering a sequential detection test based on the joint distributions of residue/innovations and the watermarking signal, as opposed to the distributions of the residue/innovations only, we can achieve a higher KLD, thus resulting in a reduced average detection delay. Numerical results are provided to support our claims.


title: Charged Higgs boson contribution to $B^-_{q} \to \ell \bar \nu$ and $\bar B\to (P, V) \ell \bar\nu$ in a generic two-Higgs doublet model

abstract: We comprehensively study the charged-Higgs contributions to the leptonic $B^-_q \to \ell \bar \nu$ ($q=u,c$) and semileptonic $\bar B \to X_q \ell \bar\nu$ ($X_u=\pi, \rho; X_c=D,D^*$) decays in the type-III two-Higgs-doublet model (2HDM). We employ the Cheng-Sher ansatz to suppress the tree-level flavor-changing neutral currents (FCNCs) in the quark sector. When the strict constraints from the $\Delta B=2$ and $b\to s \gamma$ processes are considered, parameters $\chi^u_{tq}$ from the quark couplings and $\chi^\ell_\ell$ from the lepton couplings dictate the leptonic and semileptonic $B$ decays. It is found that when the measured $B^-_u\to \tau \bar \nu$ and indirect bound of $B^-_c \to \tau \bar \nu$ obtained by LEP1 data are taken into account, $R(D)$ and $R(\pi)$ can have broadly allowed ranges; however, the values of $R(\rho)$ and $R(D^*)$ are limited to approximately the standard model (SM) results. We also find that the same behaviors also occur in the $\tau$-lepton polarizations and forward-backward asymmetries ($A^{X_q,\tau}_{FB}$) of the semileptonic decays, with the exception of $A^{D^*,\tau}_{FB}$, for which the deviation from the SM due to the charged-Higgs effect is still sizable. In addition, the $q^2$-dependent $A^{\pi,\tau}_{FB}$ and $A^{D,\tau}_{FB}$ can be very sensitive to the charged-Higgs effects and have completely different shapes from the SM.


title: Lovelock action with nonsmooth boundaries

abstract: We examine the variational problem in Lovelock gravity when the boundary contains timelike and spacelike segments nonsmoothly glued. We show that two kinds of contributions have to be added to the action. The first one is associated to the presence of a boundary in every segment and it depends on intrinsic and extrinsic curvatures. We can think of this contribution as adding a total derivative to the usual surface term of Lovelock gravity. The second one appears in every joint between two segments and it involves the integral along the joint of the Jacobson-Myers entropy density weighted by the Lorentz boost parameter which relates the orthonormal frames in each segment. We argue that this term can be straightforwardly extended to the case of joints involving null boundaries. As an application, we compute the contribution of these terms to the complexity of global AdS in Lovelock gravity by using the "complexity = action" proposal and we identify possible universal terms for arbitrary values of the Lovelock couplings. We find that they depend on the charge $a^*$ controlling the holographic entanglement entropy and on a new constant that we characterize.


title: On the infinite tame-wild dichotomy conjecture and related problemns

abstract: We prove the tame-wild dichotomy conjecture, due to D. Simson, for infinite dimensional algebras and coalgebras. The key part of the approach is proving new representation theoretic characterizations local finiteness. Among other, we show that the Ext quiver of the category ${\rm f.d.-}A$ of finite dimensional representations of an arbitrary algebra $A$ is locally finite (i.e. $\dim(\Ext^1(S,T))<\infty$ for all simple finite dimensional $A$-modules $S,T$) if and only if for every dimension vector $\underline{d}$, the representations of $A$ of dimension vector $\underline{d}$ are all contained in a finite subcategory (a category of modules over a finite dimensional quotient algebra). This allows one reduce the tame/wild problem to the finite dimensional case and Drozd's classical result. Using this, we also prove a local-global principle for tame/wild (in the sense of non-commutative localization): a category of comodules is tame/not wild if and only if every ``finite" localization is so. We give the relations to Simson's f.c.tame/f.c.wild dichotomy, and use the methods and various embeddings we obtain to give connections to other problems in the literature. We list several questions that naturally arise.


title: Milne-like Spacetimes and their Symmetries

abstract: When developing a quantum theory for a physical system, one determines the system's symmetry group and its irreducible unitary representations. For Minkowski space, the symmetry group is the Poincar\'e group, $\mathbb{R}^4 \rtimes \text{O}(1,3)$, and the irreducible unitary representations are interpreted as elementary particles which determine the particle's mass and spin. We determine the symmetry group for Milne-like spacetimes, a class of cosmological spacetimes, to be $\mathbb{R} \times \text{O}(1,3)$ and classify their irreducible unitary representations. Again they represent particles with mass and spin. Unlike the classification for the Poincar\'e group, we do not obtain any faster-than-light particles. The factor $\mathbb{R}$ corresponds to cosmic time translations. These generate a mass Casimir operator which yields a Lorentz invariant Dirac equation on Milne-like spacetimes. In fact it's just the original Dirac equation multiplied by a conformal factor $\Omega$. Therefore many of the invariants and symmetries still hold. We offer a new interpretation of the negative energy states and propose a possible solution to the matter-antimatter asymmetry problem in our universe.


title: Separability of multi-qubit states in terms of diagonal and anti-diagonal entries

abstract: We give separability criteria for general multi-qubit states in terms of diagonal and anti-diagonal entries. We define two numbers which are obtained from diagonal and anti-diagonal entries, respectively, and compare them to get criteria. They give rise to characterizations of separability when all the entries are zero except for diagonal and anti-diagonal, like Greenberger-Horne-Zeilinger diagonal states. The criteria is strong enough to get nonzero volume of entanglement with positive partial transposes.


title: Reconstruction of primordial tensor power spectra from B-mode polarization of the cosmic microwave background

abstract: Given observations of B-mode polarization power spectrum of the cosmic microwave background (CMB), we can reconstruct power spectra of primordial tensor modes from the early Universe without assuming their functional form such as a power-law spectrum. Shape of the reconstructed spectra can then be used to probe the origin of tensor modes in a model-independent manner. We use the Fisher matrix to calculate the covariance matrix of tensor power spectra reconstructed in bins. We find that the power spectra are best reconstructed at wavenumbers in the vicinity of $k\approx 6\times 10^{-4}$ and $5\times 10^{-3}~{\rm Mpc}^{-1}$, which correspond to the "reionization bump" at $\ell\lesssim 6$ and "recombination bump" at $\ell\approx 80$ of the CMB B-mode power spectrum, respectively. The error bar between these two wavenumbers is larger because of lack of the signal between the reionization and recombination bumps. The error bars increase sharply towards smaller (larger) wavenumbers because of the cosmic variance (CMB lensing and instrumental noise). To demonstrate utility of the reconstructed power spectra we investigate whether we can distinguish between various sources of tensor modes including those from the vacuum metric fluctuation and SU(2) gauge fields during single-field slow-roll inflation, open inflation and massive gravity inflation. The results depend on the model parameters, but we find that future CMB experiments are sensitive to differences in these models. We make our calculation tool available on-line.


title: Discovery of an extremely-luminous dust-obscured galaxy observed with SDSS, WISE, JCMT, and SMA

abstract: We present the discovery of an extremely-luminous dust-obscured galaxy (DOG) at $z_{\rm spec}$ = 3.703, WISE J101326.25+611220.1. This DOG is selected as a candidate of extremely-luminous infrared (IR) galaxies based on the photometry from the Sloan Digital Sky Survey and Wide-field Infrared Survey Explorer. In order to derive its accurate IR luminosity, we perform follow-up observations at 450 and 850 $\mu$m using the Submillimetre Common User Bolometer Array 2 on the James Clerk Maxwell Telescope, and at 870 and 1300 $\mu$m using the Submillimeter Array, which enable us to pin down its IR Spectral Energy Distribution (SED). We perform SED fitting using 14 photometric data (0.4 - 1300 $\mu$m) and estimate its IR luminosity, $L_{\rm IR}$ (8-1000 $\mu$m), to be $2.2^{+1.5}_{-1.0}$ $\times 10^{14}$ $L_{\odot}$, making it one of the most luminous IR galaxies in the Universe. The energy contribution from an active galactic nucleus (AGN) to the IR luminosity is $94^{+6}_{-20}$%, which indicates it is an AGN-dominated DOG. On the other hand, its stellar mass ($M_*$) and star formation rate (SFR) are $\log \,(M_\ast/M_{\odot})$ = $11.2^{+0.6}_{-0.2}$ and $\log \,({\rm SFR}/M_{\odot}\,{\rm yr}^{-1}$) = $3.1^{+0.2}_{-0.1}$, respectively, which means that this DOG can be considered as a starburst galaxy in $M_*$--SFR plane. This extremely-luminous DOG shows significant AGN and star forming activity that provides us an important laboratory to probe the maximum phase of the co-evolution of galaxies and supermassive black holes.


title: Braiding a novel kind of Majorana-like quasiparticles in nanowire quantum dots

abstract: For an electrically driven electron confined in a nanowire quantum dot with spin-orbit coupling (SOC), we find a SOC-magnetism phase-locked condition under which we derive a complete set of Schr\"odinger kitten states which contains some novel degenerate ground states with oscillating wave packets or stationary double packets in undriven case. We identify such wave packets as Majorana-like quasiparticles and demonstrate that they obey non-Abelian statistics and behave similarly to neutral particles. The braiding operations based on the interchanges of the degenerate non-Abelian quasiparticles are shown, which shift the system between different ground states and may be insensitive to perturbations and weak noise from the environment. The results could be tested experimentally in the existing setups and could be treated as the leading-order results to directly extended to an array of weakly coupled single-electron quantum dots for topological quantum computation.


title: Matching Natural Language Sentences with Hierarchical Sentence Factorization

abstract: Semantic matching of natural language sentences or identifying the relationship between two sentences is a core research problem underlying many natural language tasks. Depending on whether training data is available, prior research has proposed both unsupervised distance-based schemes and supervised deep learning schemes for sentence matching. However, previous approaches either omit or fail to fully utilize the ordered, hierarchical, and flexible structures of language objects, as well as the interactions between them. In this paper, we propose Hierarchical Sentence Factorization---a technique to factorize a sentence into a hierarchical representation, with the components at each different scale reordered into a "predicate-argument" form. The proposed sentence factorization technique leads to the invention of: 1) a new unsupervised distance metric which calculates the semantic distance between a pair of text snippets by solving a penalized optimal transport problem while preserving the logical relationship of words in the reordered sentences, and 2) new multi-scale deep learning models for supervised semantic training, based on factorized sentence hierarchies. We apply our techniques to text-pair similarity estimation and text-pair relationship classification tasks, based on multiple datasets such as STSbenchmark, the Microsoft Research paraphrase identification (MSRP) dataset, the SICK dataset, etc. Extensive experiments show that the proposed hierarchical sentence factorization can be used to significantly improve the performance of existing unsupervised distance-based metrics as well as multiple supervised deep learning models based on the convolutional neural network (CNN) and long short-term memory (LSTM).


title: Towards Theory and Applications of Generalized Categories to Areas of Type Theory and Categorical Logic

abstract: Motivated by potential applications to theoretical computer science, in particular those areas where the Curry-Howard correspondence plays an important role, as well as by the ongoing search in pure mathematics for feasible approaches to higher category theory, we undertake a detailed study of a new mathematical abstraction, the generalized category. It is a partially defined monoid equipped with endomorphism maps defining sources and targets on arbitrary elements, possibly allowing a proximal behavior with respect to composition. We first present a formal introduction to the theory of generalized categories. We describe functors, equivalences, natural transformations, adjoints, and limits in the generalized setting. Next we indicate how the theory of monads extends to generalized categories. Next, we present a variant of the calculus of deductive systems developed by Lambek, and give a generalization of the Curry-Howard-Lambek theorem giving an equivalence between the category of typed lambda-calculi and the category of cartesian closed categories and exponential-preserving morphisms that leverages the theory of generalized categories. Next, we develop elementary topos theory in the generalized setting of ideal toposes, utilizing the formalism developed for the Curry-Howard-Lambek theorem. In particular, we prove that ideal toposes possess the same Heyting algebra structure and squares of adjoints that ordinary toposes do. Finally, we develop generalized sheaves, and show that such categories form ideal toposes. We extend Lawvere and Tierney's theorem relating $j$-sheaves and sheaves in the sense of Grothendieck to the generalized setting.


title: Breaking the habit - the peculiar 2016 eruption of the unique recurrent nova M31N 2008-12a

abstract: Since its discovery in 2008, the Andromeda galaxy nova M31N 2008-12a has been observed in eruption every single year. This unprecedented frequency indicates an extreme object, with a massive white dwarf and a high accretion rate, which is the most promising candidate for the single-degenerate progenitor of a type-Ia supernova known to date. The previous three eruptions of M31N 2008-12a have displayed remarkably homogeneous multi-wavelength properties: (i) From a faint peak, the optical light curve declined rapidly by two magnitudes in less than two days; (ii) Early spectra showed initial high velocities that slowed down significantly within days and displayed clear He/N lines throughout; (iii) The supersoft X-ray source (SSS) phase of the nova began extremely early, six days after eruption, and only lasted for about two weeks. In contrast, the peculiar 2016 eruption was clearly different. Here we report (i) the considerable delay in the 2016 eruption date, (ii) the significantly shorter SSS phase, and (iii) the brighter optical peak magnitude (with a hitherto unobserved cusp shape). Early theoretical models suggest that these three different effects can be consistently understood as caused by a lower quiescence mass-accretion rate. The corresponding higher ignition mass caused a brighter peak in the free-free emission model. The less-massive accretion disk experienced greater disruption, consequently delaying re-establishment of effective accretion. Without the early refueling, the SSS phase was shortened. Observing the next few eruptions will determine whether the properties of the 2016 outburst make it a genuine outlier in the evolution of M31N 2008-12a.


title: SIR Meta Distribution of K-Tier Downlink Heterogeneous Cellular Networks with Cell Range Expansion

abstract: Heterogeneous cellular networks (HCNs) constitute a necessary step in the evolution of cellular networks. In this paper, we apply the signal-to-interference ratio (SIR) meta distribution framework for a refined SIR performance analysis of HCNs, focusing on K-tier heterogeneous cellular networks based on the homogeneous independent Poisson point process (HIP) model, with range expansion bias (offloading bias) in each tier. Expressions for the b-th moment of the conditional success probability for both the entire network and each tier are derived, based on which the exact meta distributions and the beta approximations are evaluated and compared. Key performance metrics including the mean success probability, the variance of the conditional success probability, the mean local delay and the asymptotic SIR gains of each tier are obtained. The results show that the biases are detrimental to the overall mean success probability of the whole network and that the b-th moment curve (versus the SIR threshold) of the conditional success probability of each tier can be excellently approximated by the horizontal shifted versions of the first moment curve of the single-tier PPP network. We also provide lower bounds for the region of the active probabilities of the base stations to keep the mean local delay of each tier finite.


title: Learning with Correntropy-induced Losses for Regression with Mixture of Symmetric Stable Noise

abstract: In recent years, correntropy and its applications in machine learning have been drawing continuous attention owing to its merits in dealing with non-Gaussian noise and outliers. However, theoretical understanding of correntropy, especially in the statistical learning context, is still limited. In this study, within the statistical learning framework, we investigate correntropy based regression in the presence of non-Gaussian noise or outliers. Motivated by the practical way of generating non-Gaussian noise or outliers, we introduce mixture of symmetric stable noise, which include Gaussian noise, Cauchy noise, and their mixture as special cases, to model non-Gaussian noise or outliers. We demonstrate that under the mixture of symmetric stable noise assumption, correntropy based regression can learn the conditional mean function or the conditional median function well without resorting to the finite-variance or even the finite first-order moment condition on the noise. In particular, for the above two cases, we establish asymptotic optimal learning rates for correntropy based regression estimators that are asymptotically of type $\mathcal{O}(n^{-1})$. These results justify the effectiveness of the correntropy based regression estimators in dealing with outliers as well as non-Gaussian noise. We believe that the present study completes our understanding towards correntropy based regression from a statistical learning viewpoint, and may also shed some light on robust statistical learning for regression.


title: Learning Sparse Structured Ensembles with SG-MCMC and Network Pruning

abstract: An ensemble of neural networks is known to be more robust and accurate than an individual network, however usually with linearly-increased cost in both training and testing. In this work, we propose a two-stage method to learn Sparse Structured Ensembles (SSEs) for neural networks. In the first stage, we run SG-MCMC with group sparse priors to draw an ensemble of samples from the posterior distribution of network parameters. In the second stage, we apply weight-pruning to each sampled network and then perform retraining over the remained connections. In this way of learning SSEs with SG-MCMC and pruning, we not only achieve high prediction accuracy since SG-MCMC enhances exploration of the model-parameter space, but also reduce memory and computation cost significantly in both training and testing of NN ensembles. This is thoroughly evaluated in the experiments of learning SSE ensembles of both FNNs and LSTMs. For example, in LSTM based language modeling (LM), we obtain 21% relative reduction in LM perplexity by learning a SSE of 4 large LSTM models, which has only 30% of model parameters and 70% of computations in total, as compared to the baseline large LSTM LM. To the best of our knowledge, this work represents the first methodology and empirical study of integrating SG-MCMC, group sparse prior and network pruning together for learning NN ensembles.


title: Facial Expression Recognition Based on Complexity Perception Classification Algorithm

abstract: Facial expression recognition (FER) has always been a challenging issue in computer vision. The different expressions of emotion and uncontrolled environmental factors lead to inconsistencies in the complexity of FER and variability of between expression categories, which is often overlooked in most facial expression recognition systems. In order to solve this problem effectively, we presented a simple and efficient CNN model to extract facial features, and proposed a complexity perception classification (CPC) algorithm for FER. The CPC algorithm divided the dataset into an easy classification sample subspace and a complex classification sample subspace by evaluating the complexity of facial features that are suitable for classification. The experimental results of our proposed algorithm on Fer2013 and CK-plus datasets demonstrated the algorithm's effectiveness and superiority over other state-of-the-art approaches.


title: Smoothed analysis for low-rank solutions to semidefinite programs in quadratic penalty form

abstract: Semidefinite programs (SDP) are important in learning and combinatorial optimization with numerous applications. In pursuit of low-rank solutions and low complexity algorithms, we consider the Burer--Monteiro factorization approach for solving SDPs. We show that all approximate local optima are global optima for the penalty formulation of appropriately rank-constrained SDPs as long as the number of constraints scales sub-quadratically with the desired rank of the optimal solution. Our result is based on a simple penalty function formulation of the rank-constrained SDP along with a smoothed analysis to avoid worst-case cost matrices. We particularize our results to two applications, namely, Max-Cut and matrix completion.


title: Mode Domain Spatial Active Noise Control Using Sparse Signal Representation

abstract: Active noise control (ANC) over a sizeable space requires a large number of reference and error microphones to satisfy the spatial Nyquist sampling criterion, which limits the feasibility of practical realization of such systems. This paper proposes a mode-domain feedforward ANC method to attenuate the noise field over a large space while reducing the number of microphones required. We adopt a sparse reference signal representation to precisely calculate the reference mode coefficients. The proposed system consists of circular reference and error microphone arrays, which capture the reference noise signal and residual error signal, respectively, and a circular loudspeaker array to drive the anti-noise signal. Experimental results indicate that above the spatial Nyquist frequency,our proposed method can perform well compared to a conventional methods. Moreover, the proposed method can even reduce the number of reference microphones while achieving better noise attenuation.


title: XNMT: The eXtensible Neural Machine Translation Toolkit

abstract: This paper describes XNMT, the eXtensible Neural Machine Translation toolkit. XNMT distin- guishes itself from other open-source NMT toolkits by its focus on modular code design, with the purpose of enabling fast iteration in research and replicable, reliable results. In this paper we describe the design of XNMT and its experiment configuration system, and demonstrate its utility on the tasks of machine translation, speech recognition, and multi-tasked machine translation/parsing. XNMT is available open-source at https://github.com/neulab/xnmt


title: Growing Story Forest Online from Massive Breaking News

abstract: We describe our experience of implementing a news content organization system at Tencent that discovers events from vast streams of breaking news and evolves news story structures in an online fashion. Our real-world system has distinct requirements in contrast to previous studies on topic detection and tracking (TDT) and event timeline or graph generation, in that we 1) need to accurately and quickly extract distinguishable events from massive streams of long text documents that cover diverse topics and contain highly redundant information, and 2) must develop the structures of event stories in an online manner, without repeatedly restructuring previously formed stories, in order to guarantee a consistent user viewing experience. In solving these challenges, we propose Story Forest, a set of online schemes that automatically clusters streaming documents into events, while connecting related events in growing trees to tell evolving stories. We conducted extensive evaluation based on 60 GB of real-world Chinese news data, although our ideas are not language-dependent and can easily be extended to other languages, through detailed pilot user experience studies. The results demonstrate the superior capability of Story Forest to accurately identify events and organize news text into a logical structure that is appealing to human readers, compared to multiple existing algorithm frameworks.


title: On the Finite Number of Directional Stationary Values of Piecewise Programs

abstract: Extending a fundamental result for (indefinite) quadratic programs, this paper shows that certain non-convex piecewise programs have only a finite number of directional stationary values, and thus, possess only finitely many locally minimum values. We present various special cases of our main results, in particular, an application to a least-squares piecewise affine regression problem for which every directional stationary point is locally minimizing.


title: Yuanfudao at SemEval-2018 Task 11: Three-way Attention and Relational Knowledge for Commonsense Machine Comprehension

abstract: This paper describes our system for SemEval-2018 Task 11: Machine Comprehension using Commonsense Knowledge. We use Three-way Attentive Networks (TriAN) to model interactions between the passage, question and answers. To incorporate commonsense knowledge, we augment the input with relation embedding from the graph of general knowledge ConceptNet (Speer et al., 2017). As a result, our system achieves state-of-the-art performance with 83.95% accuracy on the official test data. Code is publicly available at https://github.com/intfloat/commonsense-rc


title: Recover Fine-Grained Spatial Data from Coarse Aggregation

abstract: In this paper, we study a new type of spatial sparse recovery problem, that is to infer the fine-grained spatial distribution of certain density data in a region only based on the aggregate observations recorded for each of its subregions. One typical example of this spatial sparse recovery problem is to infer spatial distribution of cellphone activities based on aggregate mobile traffic volumes observed at sparsely scattered base stations. We propose a novel Constrained Spatial Smoothing (CSS) approach, which exploits the local continuity that exists in many types of spatial data to perform sparse recovery via finite-element methods, while enforcing the aggregated observation constraints through an innovative use of the ADMM algorithm. We also improve the approach to further utilize additional geographical attributes. Extensive evaluations based on a large dataset of phone call records and a demographical dataset from the city of Milan show that our approach significantly outperforms various state-of-the-art approaches, including Spatial Spline Regression (SSR).


title: Magnetic field-induced evolution of intertwined orders in the Kitaev magnet $\beta$-Li$_2$IrO$_3$

abstract: Recent scattering experiments in the 3D Kitaev magnet $\beta$-Li$_2$IrO$_3$ have shown that a relatively weak magnetic field along the crystallographic ${\bf b}$-axis drives the system from its incommensurate counter-rotating order to a correlated paramagnet, with a significant uniform `zigzag' component superimposing the magnetization along the field. Here it is shown that the zigzag order is not emerging from its linear coupling to the field (via a staggered, off-diagonal element of the ${\bf g}$-tensor), but from its intertwining with the incommensurate order and the longitudinal magnetization. The emerging picture explains all qualitative experimental findings at zero and finite fields, including the rapid decline of the incommensurate order with field and the so-called intensity sum rule. The latter are shown to be independent signatures of the smallness of the Heisenberg exchange $J$, compared to the Kitaev coupling $K$ and the off-diagonal anisotropy $\Gamma$. Remarkably, in the regime of interest, the field $H^\ast$ at which the incommensurate component vanishes, depends essentially only on $J$, which allows to extract an estimate of $J\!\simeq\!4K$ from reported measurements of $H^\ast$. We also comment on recent experiments in pressurized $\beta$-Li$_2$IrO$_3$ and conclude that $J$ decreases with pressure.


title: Chordal Komatu-Loewner equation for a family of continuously growing hulls

abstract: In this paper, we discuss the chordal Komatu-Loewner equation on standard slit domains in a manner applicable not just to a simple curve but also a family of continuously growing hulls. Especially a conformally invariant characterization of the Komatu-Loewner evolution is obtained. As an application, we prove a sort of conformal invariance, or locality, of the stochastic Komatu-Loewner evolution $\mathrm{SKLE}_{\sqrt{6}, -b_{\mathrm{BMD}}}$ in a fully general setting, which solves an open problem posed by Chen, Fukushima and Suzuki [Stochastic Komatu-Loewner evolutions and SLEs, Stoch. Proc. Appl. 127 (2017), 2068-2087].


title: The Anisotropic Noise in Stochastic Gradient Descent: Its Behavior of Escaping from Sharp Minima and Regularization Effects

abstract: Understanding the behavior of stochastic gradient descent (SGD) in the context of deep neural networks has raised lots of concerns recently. Along this line, we study a general form of gradient based optimization dynamics with unbiased noise, which unifies SGD and standard Langevin dynamics. Through investigating this general optimization dynamics, we analyze the behavior of SGD on escaping from minima and its regularization effects. A novel indicator is derived to characterize the efficiency of escaping from minima through measuring the alignment of noise covariance and the curvature of loss function. Based on this indicator, two conditions are established to show which type of noise structure is superior to isotropic noise in term of escaping efficiency. We further show that the anisotropic noise in SGD satisfies the two conditions, and thus helps to escape from sharp and poor minima effectively, towards more stable and flat minima that typically generalize well. We systematically design various experiments to verify the benefits of the anisotropic noise, compared with full gradient descent plus isotropic diffusion (i.e. Langevin dynamics).


title: Learning Flexible and Reusable Locomotion Primitives for a Microrobot

abstract: The design of gaits for robot locomotion can be a daunting process which requires significant expert knowledge and engineering. This process is even more challenging for robots that do not have an accurate physical model, such as compliant or micro-scale robots. Data-driven gait optimization provides an automated alternative to analytical gait design. In this paper, we propose a novel approach to efficiently learn a wide range of locomotion tasks with walking robots. This approach formalizes locomotion as a contextual policy search task to collect data, and subsequently uses that data to learn multi-objective locomotion primitives that can be used for planning. As a proof-of-concept we consider a simulated hexapod modeled after a recently developed microrobot, and we thoroughly evaluate the performance of this microrobot on different tasks and gaits. Our results validate the proposed controller and learning scheme on single and multi-objective locomotion tasks. Moreover, the experimental simulations show that without any prior knowledge about the robot used (e.g., dynamics model), our approach is capable of learning locomotion primitives within 250 trials and subsequently using them to successfully navigate through a maze.


title: Temporally Identity-Aware SSD with Attentional LSTM

abstract: Temporal object detection has attracted significant attention, but most popular detection methods cannot leverage rich temporal information in videos. Very recently, many algorithms have been developed for video detection task, yet very few approaches can achieve \emph{real-time online} object detection in videos. In this paper, based on attention mechanism and convolutional long short-term memory (ConvLSTM), we propose a temporal single-shot detector (TSSD) for real-world detection. Distinct from previous methods, we take aim at temporally integrating pyramidal feature hierarchy using ConvLSTM, and design a novel structure including a low-level temporal unit as well as a high-level one (LH-TU) for multi-scale feature maps. Moreover, we develop a creative temporal analysis unit, namely, attentional ConvLSTM (AC-LSTM), in which a temporal attention mechanism is specially tailored for background suppression and scale suppression while a ConvLSTM integrates attention-aware features across time. An association loss and a multi-step training are designed for temporal coherence. Besides, an online tubelet analysis (OTA) is exploited for identification. Our framework is evaluated on ImageNet VID dataset and 2DMOT15 dataset. Extensive comparisons on the detection and tracking capability validate the superiority of the proposed approach. Consequently, the developed TSSD-OTA achieves a fast speed and an overall competitive performance in terms of detection and tracking. Finally, a real-world maneuver is conducted for underwater object grasping. The source code is publicly available at https://github.com/SeanChenxy/TSSD-OTA.


title: Numbers of the connected components of the solution sets of monotone affine vector variational inequalities

abstract: This paper establishes several upper and lower estimates for the maximal number of the connected components of the solution sets of monotone affine vector variational inequalities. Our results give a partial solution to Question~2 in [N.D. Yen and J.-C. Yao, \textit{Monotone affine vector variational inequalities}, Optimization 60 (2011), pp. 53--68] and point out that the number depends not only on the number of the criteria but also on the number of variables of the vector variational inequality under investigation.


title: An extension of polynomial integrability to dual quermassintegrals

abstract: A body $K$ is called polynomially integrable if its parallel section function $V_{n-1}(K\cap\{\xi^\perp+t\xi\})$ is a polynomial of $t$ (on its support) for every $\xi$. A complete characterization of such bodies was given recently. Here we obtain a generalization of these results in the setting of dual quermassintegrals. We also address the associated smoothness issues.


title: Probability-Scale Residuals in HIV/AIDS Research: Diagnostics and Inference

abstract: The probability-scale residual (PSR) is well defined across a wide variety of variable types and models, making it useful for studies of HIV/AIDS. In this manuscript, we highlight some of the properties of the PSR and illustrate its application with HIV data. As a residual, it can be useful for model diagnostics; we demonstrate its use with ordered categorical data and semiparametric transformation models. The PSR can also be used to construct tests of residual correlation. In fact, partial Spearman's rank correlation between $X$ and $Y$ while adjusting for covariates $Z$ can be constructed as the correlation between PSRs from models of $Y$ on $Z$ and of $X$ on $Z$. The covariance of PSRs is also useful in some settings. We apply these methods to a variety of HIV datasets including 1) a study examining risk factors for more severe forms of cervical lesions among 145 women living with HIV in Zambia, 2) a study investigating the association between 21 metabolomic biomarkers among 70 HIV-positive patients in the southeastern United States, and 3) a genome wide association study investigating the association between single nucleotide polymorphisms and tenofovir clearance among 501 HIV-positive persons participating in a multi-site randomized clinical trial.


title: An Application of the Tarski-Seidenberg Theorem with Quantifiers to Vector Variational Inequalities

abstract: We study the connectedness structure of the proper Pareto solution sets, the Pareto solution sets, the weak Pareto solution sets of polynomial vector variational inequalities, as well as the connectedness structure of the efficient solution sets and the weakly efficient solution sets of polynomial vector optimization problems. By using the Tarski-Seidenberg Theorem with quantifiers, we are able to prove that these solution sets are semi-algebraic without imposing the Mangasarian-Fromovitz constraint qualification on the system of constraints.


title: Collaborative Metric Learning Recommendation System: Application to Theatrical Movie Releases

abstract: Product recommendation systems are important for major movie studios during the movie greenlight process and as part of machine learning personalization pipelines. Collaborative Filtering (CF) models have proved to be effective at powering recommender systems for online streaming services with explicit customer feedback data. CF models do not perform well in scenarios in which feedback data is not available, in cold start situations like new product launches, and situations with markedly different customer tiers (e.g., high frequency customers vs. casual customers). Generative natural language models that create useful theme-based representations of an underlying corpus of documents can be used to represent new product descriptions, like new movie plots. When combined with CF, they have shown to increase the performance in cold start situations. Outside of those cases though in which explicit customer feedback is available, recommender engines must rely on binary purchase data, which materially degrades performance. Fortunately, purchase data can be combined with product descriptions to generate meaningful representations of products and customer trajectories in a convenient product space in which proximity represents similarity. Learning to measure the distance between points in this space can be accomplished with a deep neural network that trains on customer histories and on dense vectorizations of product descriptions. We developed a system based on Collaborative (Deep) Metric Learning (CML) to predict the purchase probabilities of new theatrical releases. We trained and evaluated the model using a large dataset of customer histories, and tested the model for a set of movies that were released outside of the training window. Initial experiments show gains relative to models that do not train on collaborative preferences.


title: An indecomposable continuum as subpower Higson corona

abstract: In this paper, we study the topological properties of the subpower Higson corona of proper metric spaces and show that the subpower Higson corona of the half open interval with the usual metric is an indecomposable continuum. Some surjective maps from the Higson type coronas onto the Higson type compactifications of the half open interval are also constructed.


title: Scalar Quantization as Sparse Least Square Optimization

abstract: Quantization can be used to form new vectors/matrices with shared values close to the original. In recent years, the popularity of scalar quantization for value-sharing applications has been soaring as it has been found huge utilities in reducing the complexity of neural networks. Existing clustering-based quantization techniques, while being well-developed, have multiple drawbacks including the dependency of the random seed, empty or out-of-the-range clusters, and high time complexity for a large number of clusters. To overcome these problems, in this paper, the problem of scalar quantization is examined from a new perspective, namely sparse least square optimization. Specifically, inspired by the property of sparse least square regression, several quantization algorithms based on $l_1$ least square are proposed. In addition, similar schemes with $l_1 + l_2$ and $l_0$ regularization are proposed. Furthermore, to compute quantization results with a given amount of values/clusters, this paper designed an iterative method and a clustering-based method, and both of them are built on sparse least square. The paper shows that the latter method is mathematically equivalent to an improved version of k-means clustering-based quantization algorithm, although the two algorithms originated from different intuitions. The algorithms proposed were tested with three types of data and their computational performances, including information loss, time consumption, and the distribution of the values of the sparse vectors, were compared and analyzed. The paper offers a new perspective to probe the area of quantization, and the algorithms proposed can outperform existing methods especially under some bit-width reduction scenarios, when the required post-quantization resolution (number of values) is not significantly lower than the original number.


title: Composite Difference-Max Programs for Modern Statistical Estimation Problems

abstract: Many modern statistical estimation problems are defined by three major components: a statistical model that postulates the dependence of an output variable on the input features; a loss function measuring the error between the observed output and the model predicted output; and a regularizer that controls the overfitting and/or variable selection in the model. We study the sampling version of this generic statistical estimation problem where the model parameters are estimated by empirical risk minimization, which involves the minimization of the empirical average of the loss function at the data points weighted by the model regularizer. In our setup we allow all three component functions discussed above to be of the difference-of-convex (dc) type and illustrate them with a host of commonly used examples, including those in continuous piecewise affine regression and in deep learning (where the activation functions are piecewise affine). We describe a nonmonotone majorization-minimization (MM) algorithm for solving the unified nonconvex, nondifferentiable optimization problem which is formulated as a specially structured composite dc program of the pointwise max type, and present convergence results to a directional stationary solution. An efficient semismooth Newton method is proposed to solve the dual of the MM subproblems. Numerical results are presented to demonstrate the effectiveness of the proposed algorithm and the superiority of continuous piecewise affine regression over the standard linear model.


title: All-optical quantum signal demultiplexer

abstract: Dense wavelength division multiplexing (DWDM) is one of the most successful methods for enhancing data transmission rates in both classical and quantum communication networks. Although signal multiplexing and demultiplexing are equally important, traditional multiplexing and demultiplexing methods are based on passive devices such as arrayed waveguides and fiber Bragg cascade filters, which, although widely used in commercial devices, lack any active tuning ability. In this work, we propose a signal demultiplexing method based on sum frequency generation (SFG) with two significant features: first, any signal from the common communication channel can be demultiplexed to a single user by switching the pump wavelength; second, a cheap high-performance detector can be used for signal detection. These two features were demonstrated by demultiplexing multi-channel energy-time entanglement generated by a micro-cavity silicon chip. High interference visibilities over three channels after demultiplexing showed that entanglement was preserved and verified the high performance of the demultiplexer, which will find wide application in high-capacity quantum communication networks.


title: Revealing photons behaviors in a birefringent interferometer

abstract: The interferometer is one of the most important devices for revealing the nature of light and for precision optical metrology. Though lots of experiments were performed for probing photons behaviors in various configurations, a complete study of photons behavior in a birefringent interferometer has not ever been performed. Based on an environmental turbulence immune Mach-Zehnder interferometer, tunable photonic beatings by rotating a birefringent crystal versus the temperature of the crystal for both single-photon and two-photon are observed. Furthermore, the two-photon interference fringes beat two times faster than the single-photon interference fringes. This beating effect is used to determine the thermal dispersion coefficients of the two principal refractive axes with a single measurement, the two-photon interference shows super-resolution and high sensitivity. Obvious differences between two-photon and single photon interference are also revealed in an unbalanced situations. In addition, influences of the photon bandwidth to the beating behaviors that come from polarization-dependent decoherence are also investigated. Our findings will be important for better understanding the behavior of two-photon interference in a birefringent interferometer and for precision optical metrology with quantum enhancement.


title: Topological time-series analysis with delay-variant embedding

abstract: Identifying the qualitative changes in time-series data provides insights into the dynamics associated with such data. Such qualitative changes can be detected through topological approaches, which first embed the data into a high-dimensional space using a time-delay parameter and subsequently extract topological features describing the shape of the data from the embedded points. However, the essential topological features that are extracted using a single time delay are considered to be insufficient for evaluating the aforementioned qualitative changes, even when a well-selected time delay is used. We therefore propose a delay-variant embedding method that constructs the extended topological features by considering the time delay as a variable parameter instead of considering it as a single fixed value. This delay-variant embedding method reveals multiple-time-scale patterns in a time series by allowing the observation of the variations in topological features, with the time delay serving as an additional dimension in the topological feature space. We theoretically prove that the constructed topological features are robust when the time series is perturbed by noise. Furthermore, we combine these features with the kernel technique in machine learning algorithms to classify the general time-series data. We demonstrate the effectiveness of our method for classifying the synthetic noisy biological and real time-series data. Our method outperforms a method that is based on a single time delay and, surprisingly, achieves the highest classification accuracy on an average among the standard time-series analysis techniques.


title: Anisotropic Mimetic Cosmology

abstract: We consider a mimetic set up in which the mimetic scalar is coupled to a vector field. It is shown that such a field with a time-like component does not contribute to the background equations and yet produces healthy isocurvature perturbations with respect to ghost and gradient instabilities in spite of the absence of any propagating curvature perturbations at the level of the quadratic action. We then consider a vector field with space-like components which leads to an anisotropic Bianchi universe and show that the ghost and gradient instabilities are absent in the limit of high momenta and that the propagating curvature perturbations have healthy UV behavior.


title: A Hybrid Artificial-Noise and Secret-Key Scheme for Securing OFDM Transmissions in V2G Networks

abstract: We propose a new scheme to enhance the physical-layer security of wireless single-input single-output orthogonal-frequency division-multiplexing (OFDM) transmissions from an electric vehicle, Alice, to the aggregator, Bob, in the presence of an eavesdropper, Eve. To prevent information leakage to Eve, Alice exploits the wireless channel randomness to extract secret key symbols that are used to encrypt some data symbols which are then multiplexed in the frequency domain with the remaining unencrypted data symbols. To secure the unencrypted data symbols, Alice transmits an artificial-noise (AN) signal superimposed over her data signal. We propose a three-level optimization procedure to increase the average secrecy rate of this wiretap channel by optimizing the transmit power allocation between the encrypted data symbols, unencrypted data symbols and the AN symbols. Our numerical results show that the proposed scheme achieves considerable secrecy rate gains compared to the benchmark cases


title: Securing OFDM-Based Wireless Links Using Temporal Artificial-Noise Injection

abstract: We investigate the physical layer security of wireless single-input single-output orthogonal-division multiplexing (OFDM) when a transmitter, which we refer to as Alice, sends her information to a receiver, which we refer to as Bob, in the presence of an eavesdropping node, Eve. To prevent information leakage, Alice sends an artificial-noise (AN) signal superimposed over her information signal. We investigate the impact of the channel delay spread, OFDM cyclic prefix, information/AN power allocation, and information and AN precoders design on the achievable average secrecy rate. We consider the two cases of known and unknown channel state information (CSI) at Alice. Furthermore, we compare both cases of per-sub-channel processing and joint sub-channels processing at Eve's receiver. Our numerical results show the gain of AN injection in terms of average secrecy rate for different OFDM operating conditions. Moreover, based on our new insights, we demonstrate that the AN-aided scheme is effective and achieves almost the same average secrecy rate as the full-CSI case without the need for Eve's instantaneous CSI at Alice.


title: prDeep: Robust Phase Retrieval with a Flexible Deep Network

abstract: Phase retrieval algorithms have become an important component in many modern computational imaging systems. For instance, in the context of ptychography and speckle correlation imaging, they enable imaging past the diffraction limit and through scattering media, respectively. Unfortunately, traditional phase retrieval algorithms struggle in the presence of noise. Progress has been made recently on more robust algorithms using signal priors, but at the expense of limiting the range of supported measurement models (e.g., to Gaussian or coded diffraction patterns). In this work we leverage the regularization-by-denoising framework and a convolutional neural network denoiser to create prDeep, a new phase retrieval algorithm that is both robust and broadly applicable. We test and validate prDeep in simulation to demonstrate that it is robust to noise and can handle a variety of system models. A MatConvNet implementation of prDeep is available at https://github.com/ricedsp/prDeep.


title: Charge density functional plus $U$ theory of LaMnO$_3$: Phase diagram, electronic structure, and magnetic interaction

abstract: We perform charge density functional theory plus $U$ calculation of LaMnO$_3$. While all the previous calculations were based on spin density functionals, our result and analysis show that the use of spin-unpolarized charge-only density is crucial to correctly describe the phase diagram, electronic structure and magnetic property. Using magnetic force linear response calculation, a long-standing issue is clarified regarding the second neighbor out-of-plane interaction strength. We also estimate the orbital-resolved magnetic couplings. Remarkably, the inter-orbital $e_g$-$t_{2g}$ interaction is quite significant due to the Jahn-Teller distortion and orbital ordering.


title: Topological design of graphene

abstract: Topological defects (e.g. pentagons, heptagons and pentagon-heptagon pairs) have been widely observed in large scale graphene and have been recognized to play important roles in tailoring the mechanical and physical properties of two-dimensional materials in general. Thanks to intensive studies over the past few years, optimizing properties of graphene through topological design has become a new and promising direction of research. In this chapter, we review some of the recent advances in experimental, computational and theoretical studies on the effects of topological defects on mechanical and physical properties of graphene and applications of topologically designed graphene. The discussions cover out-of-plane effects, inverse problems of designing distributions of topological defects that make a graphene sheet conform to a targeted three-dimensional surface, grain boundary engineering for graphene strength, curved graphene for toughness enhancement and applications in engineering energy materials, multifunctional materials and interactions with biological systems. Despite the rapid developments in experiments and simulations, our understanding on the relations between topological defects and mechanical and physical properties of graphene and other 2D materials is still in its infancy. The intention here is to draw the attention of the research community to some of the open questions in this field.


title: The continued importance of habitability studies

abstract: This is a white paper in response to the National Academy of Sciences "Exoplanet Science Strategy" call. We summarize recent advances in theoretical habitability studies and argue that such studies will remain important for guiding and interpreting observations. Interactions between 1-D and 3-D climate modelers will be necessary to resolve recent discrepancies in model results and improve habitability studies. Observational capabilities will also need improvement. Although basic observations can be performed with present capabilities, technological advances will be necessary to improve climate models to the level needed for planetary habitability studies.


title: Comment on (t, n) Threshold d-level Quantum Secret Sharing

abstract: This comment points out a problem in Song et al.'s (t, n) threshold quantum secret sharing [Scientific Reports, Vol. 7, No. 1 (2017), pp. 6366], indicating that the agent is unable to obtain the expected information.


title: Theory of orbital magnetic quadrupole moment and magnetoelectric susceptibility

abstract: We derive a quantum-mechanical formula of the orbital magnetic quadrupole moment (MQM) in periodic systems by using the gauge-covariant gradient expansion. This formula is valid for insulators and metals at zero and finite temperature. We also prove a direct relation between the MQM and magnetoelectric (ME) susceptibility for insulators at zero temperature. It indicates that the MQM is a microscopic origin of the ME effect. Using the formula, we quantitatively estimate these quantities for room-temperature antiferromagnetic semiconductors BaMn$_2$As$_2$ and CeMn$_2$Ge$_{2 - x}$Si$_x$. We find that the orbital contribution to the ME susceptibility is comparable with or even dominant over the spin contribution.


title: Interval-based Prediction Uncertainty Bound Computation in Learning with Missing Values

abstract: The problem of machine learning with missing values is common in many areas. A simple approach is to first construct a dataset without missing values simply by discarding instances with missing entries or by imputing a fixed value for each missing entry, and then train a prediction model with the new dataset. A drawback of this naive approach is that the uncertainty in the missing entries is not properly incorporated in the prediction. In order to evaluate prediction uncertainty, the multiple imputation (MI) approach has been studied, but the performance of MI is sensitive to the choice of the probabilistic model of the true values in the missing entries, and the computational cost of MI is high because multiple models must be trained. In this paper, we propose an alternative approach called the Interval-based Prediction Uncertainty Bounding (IPUB) method. The IPUB method represents the uncertainties due to missing entries as intervals, and efficiently computes the lower and upper bounds of the prediction results when all possible training sets constructed by imputing arbitrary values in the intervals are considered. The IPUB method can be applied to a wide class of convex learning algorithms including penalized least-squares regression, support vector machine (SVM), and logistic regression. We demonstrate the advantages of the IPUB method by comparing it with an existing method in numerical experiment with benchmark datasets.


title: Tongue image constitution recognition based on Complexity Perception method

abstract: Background and Object: In China, body constitution is highly related to physiological and pathological functions of human body and determines the tendency of the disease, which is of great importance for treatment in clinical medicine. Tongue diagnosis, as a key part of Traditional Chinese Medicine inspection, is an important way to recognize the type of constitution.In order to deploy tongue image constitution recognition system on non-invasive mobile device to achieve fast, efficient and accurate constitution recognition, an efficient method is required to deal with the challenge of this kind of complex environment. Methods: In this work, we perform the tongue area detection, tongue area calibration and constitution classification using methods which are based on deep convolutional neural network. Subject to the variation of inconstant environmental condition, the distribution of the picture is uneven, which has a bad effect on classification performance. To solve this problem, we propose a method based on the complexity of individual instances to divide dataset into two subsets and classify them separately, which is capable of improving classification accuracy. To evaluate the performance of our proposed method, we conduct experiments on three sizes of tongue datasets, in which deep convolutional neural network method and traditional digital image analysis method are respectively applied to extract features for tongue images. The proposed method is combined with the base classifier Softmax, SVM, and DecisionTree respectively. Results: As the experiments results shown, our proposed method improves the classification accuracy by 1.135% on average and achieves 59.99% constitution classification accuracy. Conclusions: Experimental results on three datasets show that our proposed method can effectively improve the classification accuracy of tongue constitution recognition.


title: Interstellar Scintillation observations for PSR B0355+54

abstract: In this paper, we report our investigation of pulsar scintillation phenomena by monitoring PSR B0355$+$54 at 2.25 GHz for three successive months using \emph{Kunming 40-m radio telescope}. We have measured the dynamic spectrum, the two-dimensional correlation function, and the secondary spectrum. In those observations with high signal-to-noise ratio ($S/N\ge100$), we have detected the scintillation arcs, which are rarely observable using such a small telescope. The sub-microsecond scale width of the scintillation arc indicates that the transverse scale of structures on scattering screen is as compact as AU size. Our monitoring has also shown that both the scintillation bandwidth, timescale, and arc curvature of PSR B0355$+$54 were varying temporally. The plausible explanation would need to invoke multiple-scattering-screen or multiple-scattering-structure scenario that different screens or ray paths dominate the scintillation process at different epochs.


title: The inverses of tails of the Riemann zeta function

abstract: We present some bounds of the inverses of tails of the Riemann zeta function on $0 < s < 1$ and compute the integer parts of the inverses of tails of the Riemann zeta function for $s=\frac{1}{2}, \frac{1}{3}$ and $\frac{1}{4}$.


title: Extreme learning machine for reduced order modeling of turbulent geophysical flows

abstract: We investigate the application of artificial neural networks to stabilize proper orthogonal decomposition based reduced order models for quasi-stationary geophysical turbulent flows. An extreme learning machine concept is introduced for computing an eddy-viscosity closure dynamically to incorporate the effects of the truncated modes. We consider a four-gyre wind-driven ocean circulation problem as our prototype setting to assess the performance of the proposed data-driven approach. Our framework provides a significant reduction in computational time and effectively retains the dynamics of the full-order model during the forward simulation period beyond the training data set. Furthermore, we show that the method is robust for larger choices of time steps and can be used as an efficient and reliable tool for long time integration of general circulation models.


title: High-energy transients: thermonuclear (type-I) X-ray bursts

abstract: Many distinct classes of high-energy variability have been observed in astrophysical sources, on a range of timescales. The widest range (spanning microseconds-decades) is found in accreting, stellar-mass compact objects, including neutron stars and black holes. Neutron stars are of particular observational interest, as they exhibit surface effects giving rise to phenomena (thermonuclear bursts and pulsations) not seen in black holes. Here we briefly review the present understanding of thermonuclear (type-I) X-ray bursts. These events are powered by an extensive chain of nuclear reactions, which are in many cases unique to these environments. Thermonuclear bursts have been exploited over the last few years as an avenue to measure the neutron star mass and radius, although the contribution of systematic errors to these measurements remains contentious. We describe recent efforts to better match burst models to observations, with a view to resolving some of the astrophysical uncertainties related to these events. These efforts have good prospects for providing complementary information to nuclear experiments.


title: Measure density and Embeddings of Haj{\l}asz-Besov and Haj{\l}asz-Triebel-Lizorkin spaces

abstract: In this paper, we investigate the relation between Sobolev-type embeddings of Haj{\l}asz-Besov spaces (and also Haj{\l}asz-Triebel-Lizorkin spaces) defined on a metric measure space $(X,d,\mu)$ and lower bound for the measure $\mu.$ We prove that if the measure $\mu$ satisfies $\mu(B(x,r))\geq cr^Q$ for some $Q>0$ and for any ball $B(x,r)\subset X,$ then the Sobolev-type embeddings hold on balls for both these spaces. On the other hand, if the Sobolev-type embeddings hold in a domain $\Omega\subset X,$ then we prove that the domain $\Omega$ satisfies the so-called measure density condition, i.e., $\mu(B(x,r)\cap\Omega)\geq cr^Q$ holds for any ball $B(x,r)\subset X,$ where $X=(X,d,\mu)$ is an Ahlfors $Q$-regular and geodesic metric measure space.


title: Global Convergence of Block Coordinate Descent in Deep Learning

abstract: Deep learning has aroused extensive attention due to its great empirical success. The efficiency of the block coordinate descent (BCD) methods has been recently demonstrated in deep neural network (DNN) training. However, theoretical studies on their convergence properties are limited due to the highly nonconvex nature of DNN training. In this paper, we aim at providing a general methodology for provable convergence guarantees for this type of methods. In particular, for most of the commonly used DNN training models involving both two- and three-splitting schemes, we establish the global convergence to a critical point at a rate of ${\cal O}(1/k)$, where $k$ is the number of iterations. The results extend to general loss functions which have Lipschitz continuous gradients and deep residual networks (ResNets). Our key development adds several new elements to the Kurdyka-{\L}ojasiewicz inequality framework that enables us to carry out the global convergence analysis of BCD in the general scenario of deep learning.


title: Simulating the cloudy atmospheres of HD 209458 b and HD 189733 b with the 3D Met Office Unified Model

abstract: To understand and compare the 3D atmospheric structure of HD 209458 b and HD 189733 b, focusing on the formation and distribution of cloud particles, as well as their feedback on the dynamics and thermal profile. We couple the 3D Met Office Unified Model (UM), including detailed treatments of atmospheric radiative transfer and dynamics, to a kinetic cloud formation scheme. The resulting model self--consistently solves for the formation of condensation seeds, surface growth and evaporation, gravitational settling and advection, cloud radiative feedback via absorption and, crucially, scattering. Fluxes directly obtained from the UM are used to produce synthetic SEDs and phase curves. Our simulations show extensive cloud formation in both planets, however, cooler temperatures in the HD 189733 b result in higher cloud particle number densities. Sub-micron particles are suspended by vertical flows leading to extensive upper-atmosphere cloud cover. A combination of meridional advection and efficient cloud formation in cooler high latitude regions, result in enhanced cloud coverage for latitudes > 30 degrees and leads to a zonally banded structure for all our simulations. The cloud bands extend around the entire planet(s), as the temperatures, even on the day side, remain below the condensation temperature of silicates and oxides. Therefore, our simulated optical phase curve for HD 209458 b shows no `offset', in contrast to observations. Efficient scattering by cloud results an atmospheric cooling of up to 250K, and an advection-driven fluctuating cloud opacity causes temporal variability in the thermal emission. The inclusion of this fundamental cloud-atmosphere radiative feedback leads to significant differences with approaches neglecting these physical elements and suggests both a note of caution of interpretations neglecting such cloud feedback and scattering, and merits further study.


title: WRPN & Apprentice: Methods for Training and Inference using Low-Precision Numerics

abstract: Today's high performance deep learning architectures involve large models with numerous parameters. Low precision numerics has emerged as a popular technique to reduce both the compute and memory requirements of these large models. However, lowering precision often leads to accuracy degradation. We describe three schemes whereby one can both train and do efficient inference using low precision numerics without hurting accuracy. Finally, we describe an efficient hardware accelerator that can take advantage of the proposed low precision numerics.


title: Multilinear representations of Free PROs

abstract: We describe a structure of PRO on hypermatrices. This structure allows us to define multilinear representations of PROs and in particular of free Pros. As an example of applications, we investigate the relations of the representations of Pros with the theory of automata.


title: Magnetic moments of the spin-$1\over 2$ singly charmed baryons in chiral perturbation theory

abstract: We systematically derive the analytical expressions of the magnetic moments of the spin-$1\over 2$ singly charmed baryons to the next-to-next-to-leading order in the heavy baryon chiral perturbation theory (HBChPT). We discuss the analytical relations between the magnetic moments. We estimate the-low energy constants (LECs) in two scenarios. In the first scenario, we use the quark model and Lattice QCD simulation results as input. In the second scenario, the heavy quark symmetry is adopted to reduce the number of the independent LECs, which are then fitted using the data from the Lattice QCD simulations. We give the numerical results to the next-to-leading order for the antitriplet charmed baryons and to the next-to-next-to-leading order for the sextet states.


title: Eigen-Inference Precoding for Coarsely Quantized Massive MU-MIMO System with Imperfect CSI

abstract: This work considers the precoding problem in massive multiuser multiple-input multiple-output (MU-MIMO) systems equipped with low-resolution digital-to-analog converters (DACs). In previous literature on this topic, it is commonly assumed that the channel state information (CSI) is perfectly known. However, in practical applications the CSI is inevitably contaminated by noise. In this paper, we propose, for the first time, an eigen-inference (EI) precoding scheme to improve the error performance of the coarsely quantized massive MU-MIMO systems under imperfect CSI, which is mathematically modeled by a sum of two rectangular random matrices (RRMs). Instead of performing analysis based on the RRM, using Girko's Hermitization trick, the proposed method leverages the block random matrix theory by augmenting the RRM into a block symmetric channel matrix (BSCA). Specially, we derive the empirical distribution of the eigenvalues of the BSCA and establish the limiting spectra distribution connection between the true BSCA and its noisy observation. Then, based on these theoretical results, we propose an EI-based moments matching method for CSI-related noise level estimation and a rotation invariant estimation method for CSI reconstruction. Based on the cleaned CSI, the quantized precoding problem is tackled via the Bussgang theorem and the Lagrangian multiplier method. The prosed methods are lastly verified by numerical simulations and the results demonstrate the effectiveness of the proposed precoder.


title: Pseudo-differential operators on $\mathbb{Z}^n$ with applications to discrete fractional integral operators

abstract: In this manuscript we provide necessary and sufficient conditions for the $\textnormal{weak}(1,p)$ boundedness, $1< p<\infty,$ of discrete Fourier multipliers (Fourier multipliers on $\mathbb{Z}^n$). Our main goal is to apply the results obtained to discrete fractional integral operators. Discrete versions of the Calder\'on-Vaillancourt Theorem and the Gohberg Lemma also are proved.


title: DRUNET: A Dilated-Residual U-Net Deep Learning Network to Digitally Stain Optic Nerve Head Tissues in Optical Coherence Tomography Images

abstract: Given that the neural and connective tissues of the optic nerve head (ONH) exhibit complex morphological changes with the development and progression of glaucoma, their simultaneous isolation from optical coherence tomography (OCT) images may be of great interest for the clinical diagnosis and management of this pathology. A deep learning algorithm was designed and trained to digitally stain (i.e. highlight) 6 ONH tissue layers by capturing both the local (tissue texture) and contextual information (spatial arrangement of tissues). The overall dice coefficient (mean of all tissues) was $0.91 \pm 0.05$ when assessed against manual segmentations performed by an expert observer. We offer here a robust segmentation framework that could be extended for the automated parametric study of the ONH tissues.


title: Scalable Dense Non-rigid Structure-from-Motion: A Grassmannian Perspective

abstract: This paper addresses the task of dense non-rigid structure-from-motion (NRSfM) using multiple images. State-of-the-art methods to this problem are often hurdled by scalability, expensive computations, and noisy measurements. Further, recent methods to NRSfM usually either assume a small number of sparse feature points or ignore local non-linearities of shape deformations, and thus cannot reliably model complex non-rigid deformations. To address these issues, in this paper, we propose a new approach for dense NRSfM by modeling the problem on a Grassmann manifold. Specifically, we assume the complex non-rigid deformations lie on a union of local linear subspaces both spatially and temporally. This naturally allows for a compact representation of the complex non-rigid deformation over frames. We provide experimental results on several synthetic and real benchmark datasets. The procured results clearly demonstrate that our method, apart from being scalable and more accurate than state-of-the-art methods, is also more robust to noise and generalizes to highly non-linear deformations.


title: Searching for Metastable Particles with Sub-Millimeter Displaced Vertices at Hadron Colliders

abstract: A variety of new-physics models predict metastable particles whose decay length is $\lesssim 1$ mm. Conventional displaced-vertex searches are less sensitive to this sub-millimeter decay range, and thus such metastable particles have been looked for only in usual prompt decay searches. In this paper, we show that an additional event-selection cut based on the vertex reconstruction using charged tracks considerably improves the sensitivity of ordinary searches which rely only on kinematic selection criteria, for particles with a decay length of $\gtrsim 100$ $\mu \text{m}$. To that end, we consider a metastable gluino as an example, and study the impact of this new event-selection cut on gluino searches at the LHC by simulating both the signal and Standard Model background processes. Uncertainty of the displaced-vertex reconstruction due to the limited resolution of track reconstruction is taken into account. We also discuss possibilities for optimization of the kinematic selection criteria, which takes advantage of significant reduction of background through the requirement of displaced vertices. In addition, we demonstrate that using the method discussed in this paper it is possible to measure the lifetime of metastable particles with an ${\cal O}(1)$ accuracy at the high-luminosity LHC. Implications for a future 100 TeV collider are also studied, where produced particles tend to be more boosted and thus it is easier to detect the longevity of metastable particles.


title: Calculating the Magnetic Anisotropy of Rare-Earth-Transition-Metal Ferrimagnets

abstract: Magnetocrystalline anisotropy, the microscopic origin of permanent magnetism, is often explained in terms of ferromagnets. However, the best performing permanent magnets based on rare earths and transition metals (RE-TM) are in fact ferrimagnets, consisting of a number of magnetic sublattices. Here we show how a naive calculation of the magnetocrystalline anisotropy of the classic RE-TM ferrimagnet GdCo$_5$ gives numbers which are too large at 0 K and exhibit the wrong temperature dependence. We solve this problem by introducing a first-principles approach to calculate temperature-dependent magnetization vs. field (FPMVB) curves, mirroring the experiments actually used to determine the anisotropy. We pair our calculations with measurements on a recently-grown single crystal of GdCo$_5$, and find excellent agreement. The FPMVB approach demonstrates a new level of sophistication in the use of first-principles calculations to understand RE-TM magnets.


title: Characterisation of slip and twinning in high rate deformed zirconium with electron backscatter diffraction

abstract: Zirconium alloys are used in the nuclear industry as structural materials, and can be subject to high strain rate loading conditions during forming and in the case of a reactor accident. In this context, the relationship between strain rate dependent mechanical properties, crystallographic texture and deformation modes, such as slip and deformation twinning, are explored in this work. Commercially pure zirconium is deformed to 10 % engineering strain under quasi-static and high strain rate loading, and post-mortem analysis of the samples is performed using electron backscatter diffraction (EBSD) to observe different twin and slip systems activated. Twin types are identified from local intergranular misorientation maps, and active slip systems are identified from long range intragranular misorientation maps. We link characterisation of the mechanical responses, twin types and morphologies, and relative slip system activation as a function of loading mode. We find that variations in strength and hardening can be related to the relative propensity of twinning and the number of active slip systems.


title: Monomial-type Toeplitz operators on some weakly pseudoconvex domains

abstract: In this paper, we completely characterize the finite rank commutator and semi-commutator of two monomial-type Toeplitz operators on the Bergman space of certain weakly pseudoconvex domains. Somewhat surprisingly, there are not only plenty of commuting monomial-type Toeplitz operators but also non-trivial semi-commuting monomial-type Toeplitz operators. Our results are new even for the unit ball.%The situation is different from the case of unit disk. %Our results extend several known results using completely different arguments. Some interesting higher-dimensional phenomena appear on the unit polydisk.


title: Shape model of the asteroid (2501) Lohja from long-term photometric observations

abstract: We present lightcurves, shapes, and a 3D convex spin-axis model for the main-belt asteroid (2501) Lohja. The models were obtained with the lightcurve inversion process using combined dense photometric data from the apparitions between years 2006 and 2017. The analysis found a sidereal period of 3.80835\,hours, and a possible ecliptic pole solution (J2000.0), the prograde sense of rotation and main ratios of the ellipsoidal model.


title: Dual skew codes from annihilators: Transpose Hamming ring extensions

abstract: In this paper a framework to study the dual of skew cyclic codes is proposed. The transposed Hamming ring extensions are based in the existence of an anti-isomorphism of algebras between skew polynomial rings. Our construction is applied to left ideal convolutional codes, skew constacyclic codes and skew Reed-Solomon code, showing that the dual of these codes belong to the same class.


title: On a new generalization of metric spaces

abstract: In this paper, we introduce the $\mathcal{F}$-metric space concept, which generalizes the metric space notion. We define a natural topology $\tau_{\mathcal{F}}$ in such spaces and we study their topological properties. Moreover, we establish a new version of the Banach contraction principle in the setting of $\mathcal{F}$-metric spaces. Several examples are presented to illustrate our study.


title: Radial extensions in fractional Sobolev spaces

abstract: Given $f:\partial (-1,1)^n\to{\mathbb R}$, consider its radial extension $Tf(X):=f(X/\|X\|_{\infty})$, $\forall\, X\in [-1,1]^n\setminus\{0\}$. In "On some questions of topology for $S^1$-valued fractional Sobolev spaces" (RACSAM 2001), the first two authors (HB and PM) stated the following auxiliary result (Lemma D.1). If $0<s<1$, $1< p<\infty$ and $n\ge 2$ are such that $1<sp<n$, then $f\mapsto Tf$ is a bounded linear operator from $W^{s,p}(\partial (-1,1)^n)$ into $W^{s,p}((-1,1)^n)$. The proof of this result contained a flaw detected by the third author (IS). We present a correct proof. We also establish a variant of this result involving higher order derivatives and more general radial extension operators. More specifically, let $B$ be the unit ball for the standard Euclidean norm $|\ |$ in ${\mathbb R}^n$, and set $U_af(X):=|X|^a\, f(X/|X|)$, $\forall\, X\in \overline B\setminus\{0\}$, ${\forall\,} f:\partial B\to{\mathbb R}$. Let $a\in{\mathbb R}$, $s>0$, $1\le p<\infty$ and $n\ge 2$ be such that $(s-a)p<n$. Then $f\mapsto U_af$ is a bounded linear operator from $W^{s,p}(\partial B)$ into $W^{s,p}(B)$.


title: Inorbit Performance of the Hard X-ray Telescope (HXT) on board the Hitomi (ASTRO-H) satellite

abstract: Hitomi (ASTRO-H) carries two Hard X-ray Telescopes (HXTs) that can focus X-rays up to 80 keV. Combined with the Hard X-ray Imagers (HXIs) that detect the focused X-rays, imaging spectroscopy in the high-energy band from 5 keV to 80 keV is made possible. We studied characteristics of HXTs after the launch such as the encircled energy function (EEF) and the effective area using the data of a Crab observation. The half power diameters (HPDs) in the 5--80 keV band evaluated from the EEFs are 1.59 arcmin for HXT-1 and 1.65 arcmin for HXT-2. Those are consistent with the HPDs measured with ground experiments when uncertainties are taken into account. We can conclude that there is no significant change in the characteristics of the HXTs before and after the launch. The off-axis angle of the aim point from the optical axis is evaluated to be less than 0.5 arcmin for both HXT-1 and HXT-2. The best-fit parameters for the Crab spectrum obtained with the HXT-HXI system are consistent with the canonical values.


title: Fundamental parameters of massive stars in multiple systems: The cases of HD17505A and HD206267A

abstract: Many massive stars are part of binary or higher multiplicity systems. The present work focusses on two higher multiplicity systems: HD17505A and HD206267A. Determining the fundamental parameters of the components of the inner binary of these systems is mandatory to quantify the impact of binary or triple interactions on their evolution. We analysed high-resolution optical spectra to determine new orbital solutions of the inner binary systems. After subtracting the spectrum of the tertiary component, a spectral disentangling code was applied to reconstruct the individual spectra of the primary and secondary. We then analysed these spectra with the non-LTE model atmosphere code CMFGEN to establish the stellar parameters and the CNO abundances of these stars. The inner binaries of these systems have eccentric orbits with e ~ 0.13 despite their relatively short orbital periods of 8.6 and 3.7 days for HD17505Aa and HD206267Aa, respectively. Slight modifications of the CNO abundances are found in both components of each system. The components of HD17505Aa are both well inside their Roche lobe, whilst the primary of HD206267Aa nearly fills its Roche lobe around periastron passage. Whilst the rotation of the primary of HD206267Aa is in pseudo-synchronization with the orbital motion, the secondary displays a rotation rate that is higher. The CNO abundances and properties of HD17505Aa can be explained by single star evolutionary models accounting for the effects of rotation, suggesting that this system has not yet experienced binary interaction. The properties of HD206267Aa suggest that some intermittent binary interaction might have taken place during periastron passages, but is apparently not operating anymore.


title: Minimal time control of exact synchronization for parabolic systems

abstract: This paper studies a kind of minimal time control problems related to the exact synchronization for a controlled linear system of parabolic equations. Each problem depends on two parameters: the bound of controls and the initial state. The purpose of such a problem is to find a control (from a constraint set) synchronizing components of the corresponding solution vector for the controlled system in the shortest time. In this paper, we build up a necessary and sufficient condition for the optimal time and the optimal control; we also obtain how the existence of optimal controls depends on the above mentioned two parameters.


title: Vertex types in threshold and chain graphs

abstract: A graph is called a chain graph if it is bipartite and the neighborhoods of the vertices in each color class form a chain with respect to inclusion. A threshold graph can be obtained from a chain graph by making adjacent all pairs of vertices in one color class. Given a graph $G$, let $\lambda$ be an eigenvalue (of the adjacency matrix) of $G$ with multiplicity $k \geq 1$. A vertex $v$ of $G$ is a downer, or neutral, or Parter depending whether the multiplicity of $\lambda$ in $G-v$ is $k-1$, or $k$, or $k+1$, respectively. We consider vertex types in the above sense in threshold and chain graphs. In particular, we show that chain graphs can have neutral vertices, disproving a conjecture by Alazemi {\em et al.}