
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=(n3)H$ for
some ample divisor $H$, we prove that $h^0(Y,H)\geq n2$. 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
byproduct, the plurianticanonical 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 HeterogeneousReliability 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 dataintensive applications, and
that traditional onesizefitsall 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 highlyreliable 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 dataintensive
workloads (an interactive web search application, an inmemory keyvalue
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 heterogeneousreliability memory system
designs to lower datacenter cost while achieving high reliability and discuss
their tradeoffs. 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 insulatorsuperconductor structure is reported by a recent
experiment [Q. L. He \textit{et al.}, Science 357, 294299 (2017)], which
suggests the existence of the chiral Majorana fermion modes. However, such half
quantized conductance plateau may also originates from a disorderinduced
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 encodercompare 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 (ARSMCNN) model, which is able to capture comprehensive hierarchical
information utilizing the advantages of both RNN and CNN. We use RNN to capture
semanticlevel 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 twodirections pooling to
extract literallevel 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 stateofthearts 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
curlconforming vector basis functions structured by the GaussLegendreLobatto
(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 superconductorquantum spin Hall
insulatorsuperconductor (SQSHIS) 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 nonequilibrium Green's Functions
method. The numerical results show that (i) the IV 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 swave interaction in the twobody
problem in the presence of spin orbit couplings, motivated by current interests
in exploring exotic superfluid phases in spinorbit coupled Fermi gases. For
weak spin orbit coupling where the density of states is not significantly
altered, we analytically show that the highenergy 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 metastable states. By exactly solving the twobody
problem for a spinorbit coupled Fermi mixture, we demonstrate that our
analysis can also apply to the case when the density of states is significantly
modified by the spinorbit 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 modechanging properties of PSR B0329+54 using 31
epochs of simultaneous 13 cm/3 cm singlepulse 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 quasiperiodic features
with central frequencies around 0.12 cycles/period in the abnormal mode. At 3
cm, C3 had a stronger quasiperiodic modulation centered around 0.06
cycles/period in the abnormal mode. Although there were some asymmetries in the
twodimensional fluctuation spectra, we found no clear evidence for systematic
subpulse drifting. Consistent with previous lowfrequency 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 freespace optical communication system capable of selfbending
signal transmission around lineofsight 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 nontrivial 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 finetuning 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 coordinatedescent algorithm for solving such
timevarying optimisation problems. In particular, we focus on relaxations of
transmissionconstrained problems in power systems.
On the example of the alternatingcurrent 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 floatingpoint
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
quasionedimensional quantum anomalous Hall structures exhibit a large
topological regime (much larger than the twodimensional case) which supports
localized Majorana zero energy modes. The nonAbelian properties of a
crossshaped quantum anomalous Hall junction is shown explicitly by
timedependent calculations. We believe that networks of such
quasionedimensional quantum anomalous Hall systems can be easily fabricated
for scalable topological quantum computation.

This paper addresses design, modeling and dynamiccompensation PID (dcPID)
control of a novel type of fullyactuated 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
NewtonEuler equations respectively, which give rise to a more accurate dynamic
relationship between aerial platform and manipulator. Then, the
dynamiccompensation PID control is proposed to solve the problem of
fullyactuated 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 fullyactued controlled with advanced
control performances, which can not achieved theoretically in traditional AM.
And with compared to backstepping control dcPID has better control accuracy
and capability to disturbance rejection in two simulations of aerial operation
tasks with motion of joint. The experiment of dcpid proves the availability
and effectiveness of the method proposed.

A remarkable quantitative agreement is found between the nonMarkovian
quantum kinetic approach and the timedependent Dirac equation approach for a
large region of Keldysh parameter, in the investigation of electronpositron
pair production in the electric fields which is spatially homogeneous and
envelope pulse shaped. If a subcritical 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 finitesum
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 minibatch 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 semistochastic gradient descent method with
minibatch 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 lowcost per iteration and
high optimization accuracy via stochastic gradient variancereduced technique,
and admits a simple parallel implementation with minibatches. Moreover, PS2GD
is also applicable to dual problem of SVM with hinge loss.

he DArk Matter Particle Explorer (DAMPE) is a general purposed
satelliteborne 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 divideandconquer (DC) algorithm is proposed for
the symmetric tridiagonal matrices based on ScaLAPACK and the hierarchically
semiseparable (HSS) matrices. HSS is an important type of rankstructured
matrices.Most time of the DC algorithm is cost by computing the eigenvectors
via the matrixmatrix 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 Tianhe2
supercomputer.

Many steadystate problems in power systems, including rectangular
powervoltage formulations of optimal power flows in the alternatingcurrent
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 nonconvex Lagrangian of
the POP.

We consider incorporating topic information into the sequencetosequence
framework to generate informative and interesting responses for chatbots. To
this end, we propose a topic aware sequencetosequence (TASeq2Seq) 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 pretrained 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 TASeq2Seq can generate more informative and
interesting responses, and significantly outperform thestateoftheart
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.