• Let $X$ be a Fano manifold of Picard number one. We establish a lower bound for the second Chern class of $X$ in terms of its index and degree. As an application, if $Y$ is a $n$-dimensional Fano manifold with $-K_Y=(n-3)H$ for some ample divisor $H$, we prove that $h^0(Y,H)\geq n-2$. Moreover, we show that the rational map defined by $\vert mH\vert$ is birational for $m\geq 5$, and the linear system $\vert mH\vert$ is basepoint free for $m\geq 7$. As a by-product, the pluri-anti-canonical systems of singular weak Fano varieties of dimension at most $4$ are also investigated.
  • This paper summarizes our work on characterizing application memory error vulnerability to optimize datacenter cost via Heterogeneous-Reliability Memory (HRM), which was published in DSN 2014, and examines the work's significance and future potential. Memory devices represent a key component of datacenter total cost of ownership (TCO), and techniques used to reduce errors that occur on these devices increase this cost. Existing approaches to providing reliability for memory devices pessimistically treat all data as equally vulnerable to memory errors. Our key insight is that there exists a diverse spectrum of tolerance to memory errors in new data-intensive applications, and that traditional one-size-fits-all memory reliability techniques are inefficient in terms of cost. This presents an opportunity to greatly reduce server hardware cost by provisioning the right amount of memory reliability for different applications. Toward this end, in our DSN 2014 paper, we make three main contributions to enable highly-reliable servers at low datacenter cost. First, we develop a new methodology to quantify the tolerance of applications to memory errors. Second, using our methodology, we perform a case study of three new data-intensive workloads (an interactive web search application, an in-memory key--value store, and a graph mining framework) to identify new insights into the nature of application memory error vulnerability. Third, based on our insights, we propose several new hardware/software heterogeneous-reliability memory system designs to lower datacenter cost while achieving high reliability and discuss their trade-offs. We show that our new techniques can reduce server hardware cost by 4.7% while achieving 99.90% single server availability.
  • The conductance measurement of a half quantized plateau in a quantum anomalous Hall insulator-superconductor structure is reported by a recent experiment [Q. L. He \textit{et al.}, Science 357, 294-299 (2017)], which suggests the existence of the chiral Majorana fermion modes. However, such half quantized conductance plateau may also originates from a disorder-induced metallic phase. To identify the exact mechanism, we study the transport properties of such a system in the presence of strong disorders. Our results show that the local current density distributions of these two mechanisms are different. In particular, the current noises measurement can be used to distinguish them without any further fabrication of current experimental setup.
  • With the rapid growth of knowledge bases (KBs), question answering over knowledge base, a.k.a. KBQA has drawn huge attention in recent years. Most of the existing KBQA methods follow so called encoder-compare framework. They map the question and the KB facts to a common embedding space, in which the similarity between the question vector and the fact vectors can be conveniently computed. This, however, inevitably loses original words interaction information. To preserve more original information, we propose an attentive recurrent neural network with similarity matrix based convolutional neural network (AR-SMCNN) model, which is able to capture comprehensive hierarchical information utilizing the advantages of both RNN and CNN. We use RNN to capture semantic-level correlation by its sequential modeling nature, and use an attention mechanism to keep track of the entities and relations simultaneously. Meanwhile, we use a similarity matrix based CNN with two-directions pooling to extract literal-level words interaction matching utilizing CNNs strength of modeling spatial correlation among data. Moreover, we have developed a new heuristic extension method for entity detection, which significantly decreases the effect of noise. Our method has outperformed the state-of-the-arts on SimpleQuestion benchmark in both accuracy and efficiency.
  • Due to the intractable partition function, the exact likelihood function for a Markov random field (MRF), in many situations, can only be approximated. Major approximation approaches include pseudolikelihood and Laplace approximation. In this paper, we propose a novel way of approximating the likelihood function through first approximating the marginal likelihood functions of individual parameters and then reconstructing the joint likelihood function from these marginal likelihood functions. For approximating the marginal likelihood functions, we derive a particular likelihood function from a modified scenario of coin tossing which is useful for capturing how one parameter interacts with the remaining parameters in the likelihood function. For reconstructing the joint likelihood function, we use an appropriate copula to link up these marginal likelihood functions. Numerical investigation suggests the superior performance of our approach. Especially as the size of the MRF increases, both the numerical performance and the computational cost of our approach remain consistently satisfactory, whereas Laplace approximation deteriorates and pseudolikelihood becomes computationally unbearable.
  • The mixed spectral element method (MSEM) is applied to solve the waveguide problem with Bloch periodic boundary condition (BPBC). Based on the BPBC for the original Helmholtz equation and the periodic boundary condition (PBC) for the equivalent but modified Helmholtz equation, two equivalent mixed variational formulations are applied for the MSEM. Unlike the traditional finite element method and SEM, both these mixed SEM schemes are completely free of spurious modes because of their use of the Gauss' law and the curl-conforming vector basis functions structured by the Gauss-Legendre-Lobatto (GLL) points. A simple implementation method is used to deal with the BPBC and the PBC for the mixed variational formulations so that both schemes can save computational costs over the traditional methods. Several numerical results are also provided to verify that both schemes are free of spurious modes and have high accuracy with the propagation constants.
  • We study the transport properties of a superconductor-quantum spin Hall insulator-superconductor (S-QSHI-S) hybrid system in the presence of a microwave radiation. Instead of adiabatic analysis or using the resistively shunted junction model, we start from the microscopic Hamiltonian and calculate the DC current directly with the help of the non-equilibrium Green's Functions method. The numerical results show that (i) the I-V curves of background current due to multiple Andreev reflections (MAR) exhibit a different structure with that in the conventional junctions, (ii) all Shapiro steps are visible and appear one by one at high frequency, while at low frequency, the steps evolve exactly as the Bessel functions and the odd steps are completely suppressed, implying a fractional Josephson effect.
  • We investigate the role of a repulsive s-wave interaction in the two-body problem in the presence of spin orbit couplings, motivated by current interests in exploring exotic superfluid phases in spin-orbit coupled Fermi gases. For weak spin orbit coupling where the density of states is not significantly altered, we analytically show that the high-energy states become more important in determining the binding energy when the interaction strength decreases. Consequently, tuning the interaction gives rise to a rich ground state behavior, including a zigzag of the ground state momentum or inducing transitions among the meta-stable states. By exactly solving the two-body problem for a spin-orbit coupled Fermi mixture, we demonstrate that our analysis can also apply to the case when the density of states is significantly modified by the spin-orbit coupling. Our findings pave the way for understanding and controlling the paring of fermions in the presence of spin orbit couplings.
  • We have investigated the mode-changing properties of PSR B0329+54 using 31 epochs of simultaneous 13 cm/3 cm single-pulse observations obtained with Shanghai Tian Ma 65 m telescope. The pulsar was found in the abnormal emission mode 17 times, accounting for ~13% of the 41.6 hours total observation time. Single pulse analyses indicate that mode changes took place simultaneously at 13 cm/3 cm within a few rotational periods. We detected occasional bright and narrow pulses whose peak flux densities were 10 times higher than that of the integrated profile in both bands. At 3 cm, about 0.66% and 0.27% of single pulses were bright in the normal mode and abnormal mode respectively, but at 13 cm the occurrence rate was only about 0.007%. We divided the pulsar radiation window into three components (C1, C2 and C3) corresponding to the main peaks of the integrated profile. The bright pulses preferentially occurred at pulse phases corresponding to the peaks of C2 and C3. Fluctuation spectra showed that C2 had excess red noise in the normal mode, but broad quasi-periodic features with central frequencies around 0.12 cycles/period in the abnormal mode. At 3 cm, C3 had a stronger quasi-periodic modulation centered around 0.06 cycles/period in the abnormal mode. Although there were some asymmetries in the two-dimensional fluctuation spectra, we found no clear evidence for systematic subpulse drifting. Consistent with previous low-frequency observations, we found a very low nulling probability for B0329+54 with upper limits of 0.13% and 1.68% at 13 cm/3 cm respectively.
  • A high speed free-space optical communication system capable of self-bending signal transmission around line-of-sight obstacles is proposed and demonstrated. Airy beams are generated and controlled to achieve different propagating trajectories, and the signal transmission characteristics of these beams around the obstacle are investigated. Our results confirm that, by optimising their ballistic trajectories, Airy beams are able to bypass obstacles with more signal energy and thus improve the communication performance compared with normal Gaussian beams.
  • The $4\pi$ Josephson Effect is a distinguishing feature of a topological Josephson junction. However, stringent conditions make it hard to observe in experiments. Here we numerically study the transient transport properties in a topological Josephson junction. We show that the $4\pi$ Josephson current can be sustained for a significant time (around several $\mu s$ with suitable conditions). Furthermore, we compare the behaviors of Josephson current in different conditions, identifying three main regimes: First, when both the superconducting wires of the Josephson junction lie in the topologically nontrivial region, the $4\pi$ Josephson current can appear with a suddenly applied DC voltage. Second, when one superconducting wire lies in the trivial region and the other one lies in the non-trivial region, the Josephson current is $2\pi$ periodic but unstable with the evolving of time. Third, when both wires lie in the trivial region, a stable $2\pi$ Josephson current is observed. These results can facilitate fine-tuning of the experiment parameters in order to finally observe the $4\pi$ Josephson current in a topological Josephson junction.
  • Consider a polynomial optimisation problem, whose instances vary continuously over time. We propose to use a coordinate-descent algorithm for solving such time-varying optimisation problems. In particular, we focus on relaxations of transmission-constrained problems in power systems. On the example of the alternating-current optimal power flows (ACOPF), we bound the difference between the current approximate optimal cost generated by our algorithm and the optimal cost for a relaxation using the most recent data from above by a function of the properties of the instance and the rate of change to the instance over time. We also bound the number of floating-point operations that need to be performed between two updates in order to guarantee the error is bounded from above by a given constant.
  • Let $X$ be a projective manifold of dimension $n$. Suppose that $T_X$ contains an ample subsheaf. We show that $X$ is isomorphic to $\mathbb{P}^n$. As an application, we derive the classification of projective manifolds containing a $\mathbb{P}^r$-bundle as an ample divisor by the recent work of D.~Litt.
  • Moment tensor inversion is conducted to characterize the source properties of the September 3, M6.3, the September 3, M4.6, and the September 23, M3.4 seismic events occurred in 2017 in the nuclear test site of DPRK. To overcome the difficulties in the comparison, the inversion uses the same stations, the same structural model, the same algorithm, and nearly the same filters in the processing of waveforms. It is shown that the M6.3 event is with predominant explosion component, the M4.6 event is with predominant implosion component, while the M3.4 event is with a predominant double couple component (~74%) and a secondary explosion component (~25%). The three seismic events are with a similar centroid depth. The double couple component of the M3.4 event shows a normal fault striking northeastward.
  • Quantum anomalous Hall insulator/superconductor heterostructures emerged as a competitive platform to realize topological superconductors with chiral Majorana edge states as shown in recent experiments [He et al. Science {\bf 357}, 294 (2017)]. However, chiral Majorana modes, being extended, cannot be used for topological quantum computation. In this work, we show that quasi-one-dimensional quantum anomalous Hall structures exhibit a large topological regime (much larger than the two-dimensional case) which supports localized Majorana zero energy modes. The non-Abelian properties of a cross-shaped quantum anomalous Hall junction is shown explicitly by time-dependent calculations. We believe that networks of such quasi-one-dimensional quantum anomalous Hall systems can be easily fabricated for scalable topological quantum computation.
  • This paper addresses design, modeling and dynamic-compensation PID (dc-PID) control of a novel type of fully-actuated aerial manipulation (AM) system. Firstly, design of novel mechanical structure of the AM is presented. Secondly, kinematics and dynamics of AM are modeled using Craig parameters and recursion Newton-Euler equations respectively, which give rise to a more accurate dynamic relationship between aerial platform and manipulator. Then, the dynamic-compensation PID control is proposed to solve the problem of fully-actuated control of AM. Finally, uniform coupled matrix equations between driving forces/moments and rotor speeds are derived, which can support design and analysis of parameters and decoupling theoretically. It is taken into account practical problems including noise and perturbation, parameter uncertainty, and power limitation in simulations, and results from simulations shows that the AM system presented can be fully-actued controlled with advanced control performances, which can not achieved theoretically in traditional AM. And with compared to backstepping control dc-PID has better control accuracy and capability to disturbance rejection in two simulations of aerial operation tasks with motion of joint. The experiment of dc-pid proves the availability and effectiveness of the method proposed.
  • A remarkable quantitative agreement is found between the non-Markovian quantum kinetic approach and the time-dependent Dirac equation approach for a large region of Keldysh parameter, in the investigation of electron-positron pair production in the electric fields which is spatially homogeneous and envelope pulse shaped. If a sub-critical bound potential is immersed in this background field, the TDDE results show that the creation probability will be enhanced by the bound states resonance by two orders of magnitude. We also establish a computing resources greatly saved TDDE formalism for spatially homogeneous field.
  • In this paper, we propose a StochAstic Recursive grAdient algoritHm (SARAH), as well as its practical variant SARAH+, as a novel approach to the finite-sum minimization problems. Different from the vanilla SGD and other modern stochastic methods such as SVRG, S2GD, SAG and SAGA, SARAH admits a simple recursive framework for updating stochastic gradient estimates; when comparing to SAG/SAGA, SARAH does not require a storage of past gradients. The linear convergence rate of SARAH is proven under strong convexity assumption. We also prove a linear convergence rate (in the strongly convex case) for an inner loop of SARAH, the property that SVRG does not possess. Numerical experiments demonstrate the efficiency of our algorithm.
  • In this paper, we study and analyze the mini-batch version of StochAstic Recursive grAdient algoritHm (SARAH), a method employing the stochastic recursive gradient, for solving empirical loss minimization for the case of nonconvex losses. We provide a sublinear convergence rate (to stationary points) for general nonconvex functions and a linear convergence rate for gradient dominated functions, both of which have some advantages compared to other modern stochastic gradient algorithms for nonconvex losses.
  • We propose a projected semi-stochastic gradient descent method with mini-batch for improving both the theoretical complexity and practical performance of the general stochastic gradient descent method (SGD). We are able to prove linear convergence under weak strong convexity assumption. This requires no strong convexity assumption for minimizing the sum of smooth convex functions subject to a compact polyhedral set, which remains popular across machine learning community. Our PS2GD preserves the low-cost per iteration and high optimization accuracy via stochastic gradient variance-reduced technique, and admits a simple parallel implementation with mini-batches. Moreover, PS2GD is also applicable to dual problem of SVM with hinge loss.
  • he DArk Matter Particle Explorer (DAMPE) is a general purposed satellite-borne high energy $\gamma-$ray and cosmic ray detector, and among the scientific objectives of DAMPE are the searches for the origin of cosmic rays and an understanding of Dark Matter particles. As one of the four detectors in DAMPE, the Plastic Scintillator Detector (PSD) plays an important role in the particle charge measurement and the photons/electrons separation. The PSD has 82 modules, each consists of a long organic plastic scintillator bar and two PMTs at both ends for readout, in two layers and covers an overall active area larger than 82 cm $\times$ 82 cm. It can identify the charge states for relativistic ions from H to Fe, and the detector efficiency for Z=1 particles can reach 0.9999. The PSD has been successfully launched with DAMPE on Dec. 17, 2015. In this paper, the design, the assembly, the qualification tests of the PSD and some of the performance measured on the ground have been described in detail.
  • In this paper, an efficient divide-and-conquer (DC) algorithm is proposed for the symmetric tridiagonal matrices based on ScaLAPACK and the hierarchically semiseparable (HSS) matrices. HSS is an important type of rank-structured matrices.Most time of the DC algorithm is cost by computing the eigenvectors via the matrix-matrix multiplications (MMM). In our parallel hybrid DC (PHDC) algorithm, MMM is accelerated by using the HSS matrix techniques when the intermediate matrix is large. All the HSS algorithms are done via the package STRUMPACK. PHDC has been tested by using many different matrices. Compared with the DC implementation in MKL, PHDC can be faster for some matrices with few deflations when using hundreds of processes. However, the gains decrease as the number of processes increases. The comparisons of PHDC with ELPA (the Eigenvalue soLvers for Petascale Applications library) are similar. PHDC is usually slower than MKL and ELPA when using 300 or more processes on Tianhe-2 supercomputer.
  • Many steady-state problems in power systems, including rectangular power-voltage formulations of optimal power flows in the alternating-current model (ACOPF), can be cast as polynomial optimisation problems (POP). For a POP, one can derive strong convex relaxations, or rather hierarchies of ever stronger, but ever larger relaxations. We study means of switching from solving the convex relaxation to Newton method working on a non-convex Lagrangian of the POP.
  • We consider incorporating topic information into the sequence-to-sequence framework to generate informative and interesting responses for chatbots. To this end, we propose a topic aware sequence-to-sequence (TA-Seq2Seq) model. The model utilizes topics to simulate prior knowledge of human that guides them to form informative and interesting responses in conversation, and leverages the topic information in generation by a joint attention mechanism and a biased generation probability. The joint attention mechanism summarizes the hidden vectors of an input message as context vectors by message attention, synthesizes topic vectors by topic attention from the topic words of the message obtained from a pre-trained LDA model, and let these vectors jointly affect the generation of words in decoding. To increase the possibility of topic words appearing in responses, the model modifies the generation probability of topic words by adding an extra probability item to bias the overall distribution. Empirical study on both automatic evaluation metrics and human annotations shows that TA-Seq2Seq can generate more informative and interesting responses, and significantly outperform the-state-of-the-art response generation models.
  • Whether there exist independent transverse electric (TE) and transverse magnetic (TM) modes in a metallic waveguide filled with an anisotropic medium is a fundamental question in electromagnetics waveguide theory, but so far no definitive answers have been published. This paper establishes a necessary and sufficient condition for having independent TE and TM modes in a waveguide filled with a homogeneous lossless anisotropic medium based on both waveguide theory in electromagnetics and basic knowledge in mathematics. Moreover, for the independent TE modes, we prove the propagation constants obtained from both the longitudinal scalar magnetic field stimulation and the transverse vector electric field stimulation are the same; for the independent TM modes, the propagation constants obtained from both the longitudinal scalar electric field stimulation and the transverse vector magnetic field stimulation are the same. This necessary and sufficient condition is a new theoretical result in electromagnetic waveguide theory, and is expected to be valuable for the design of waveguides filled with anisotropic media.