
This paper shows that the integral equivariant cohomology Chern numbers
completely determine the equivariant geometric unitary bordism classes of
closed unitary $G$manifolds, which gives an affirmative answer to the
conjecture posed by GuilleminGinzburgKarshon in [20, Remark H.5, $\S3$,
Appendix H], where $G$ is a torus. As a further application, we also obtain a
satisfactory solution of [20, Question (A), $\S1.1$, Appendix H] on unitary
Hamiltonian $G$manifolds. Our key ingredients in the proof are the universal
toric genus defined by BuchstaberPanovRay and the Kronecker pairing of
bordism and cobordism. Our approach heavily exploits Quillen's geometric
interpretation of homotopic unitary cobordism theory. Moreover, this method can
also be applied to the study of $({\Bbb Z}_2)^k$equivariant unoriented bordism
and can still derive the classical result of tom Dieck.

Internet communication channels, e.g., Facebook, Twitter, and email, are
multiplex networks that facilitate interaction and informationsharing among
individuals. During brief time periods users often use a single communication
channel, but then communication channel alteration (CCA) occurs. This means
that we must refine our understanding of the dynamics of social contagions. We
propose a nonMarkovian behavior spreading model in multiplex networks that
takes into account the CCA mechanism, and we develop a generalized edgebased
compartmental method to describe the spreading dynamics. Through extensive
numerical simulations and theoretical analyses we find that the time delays
induced by CCA slow the behavior spreading but do not affect the final adoption
size. We also find that the CCA suppresses behavior spreading. On two coupled
random regular networks, the adoption size exhibits hybrid growth, i.e., it
grows first continuously and then discontinuously with the information
transmission probability. CCA in ERSF multiplex networks in which two
subnetworks are Erd\H{o}sR\'{e}nyi (ER) and scalefree (SF) introduces a
crossover from continuous to hybrid growth in adoption size versus information
transmission probability. Our results extend our understanding of the role of
CCA in spreading dynamics, and may elicit further research.

In this paper, a novel strategy of Secure Steganograpy based on Generative
Adversarial Networks is proposed to generate suitable and secure covers for
steganography. The proposed architecture has one generative network, and two
discriminative networks. The generative network mainly evaluates the visual
quality of the generated images for steganography, and the discriminative
networks are utilized to assess their suitableness for information hiding.
Different from the existing work which adopts Deep Convolutional Generative
Adversarial Networks, we utilize another form of generative adversarial
networks. By using this new form of generative adversarial networks,
significant improvements are made on the convergence speed, the training
stability and the image quality. Furthermore, a sophisticated steganalysis
network is reconstructed for the discriminative network, and the network can
better evaluate the performance of the generated images. Numerous experiments
are conducted on the publicly available datasets to demonstrate the
effectiveness and robustness of the proposed method.

Let $G=(X,Y;E)$ be a bipartite graph, where $X$ and $Y$ are color classes and
$E$ is the set of edges of $G$. Lov\'asz and Plummer \cite{LoPl86} asked
whether one can decide in polynomial time that a given bipartite graph $G=(X,Y;
E)$ admits a 1antifactor, that is subset $F$ of $E$ such that $d_F(v)=1$ for
all $v\in X$ and $d_F(v)\neq 1$ for all $v\in Y$. Cornu\'ejols \cite{CHP}
answered this question in the affirmative. Yu and Liu \cite{YL09} asked
whether, for a given integer $k\geq 3$, every $k$regular bipartite graph
contains a 1antifactor. This paper answers this question in the affirmative.

The volume of time series data has exploded due to the popularity of new
applications, such as data center management and IoT. Subsequence matching is a
fundamental task in mining time series data. All indexbased approaches only
consider raw subsequence matching (RSM) and do not support subsequence
normalization. UCR Suite can deal with normalized subsequence match problem
(NSM), but it needs to scan full time series. In this paper, we propose a novel
problem, named constrained normalized subsequence matching problem (cNSM),
which adds some constraints to NSM problem. The cNSM problem provides a knob to
flexibly control the degree of offset shifting and amplitude scaling, which
enables users to build the index to process the query. We propose a new index
structure, KVindex, and the matching algorithm, KVmatch. With a single index,
our approach can support both RSM and cNSM problems under either ED or DTW
distance. KVindex is a keyvalue structure, which can be easily implemented on
local files or HBase tables. To support the query of arbitrary lengths, we
extend KVmatch to KVmatch$_{DP}$, which utilizes multiple variedlength
indexes to process the query. We conduct extensive experiments on synthetic and
realworld datasets. The results verify the effectiveness and efficiency of our
approach.

Penrose's twospinor notation for $4$dimensional Lorentzian manifolds can be
extended to twocomponent notation for quaternionic manifolds, which is a very
useful tool for calculation. We construct a family of quaternionic complexes
over unimodular quaternionic manifolds by elementary calculation. On complex
quaternionic manifolds, which are essentially the complexification of real
analytic quaternionic K\"ahler manifolds, the existence of these complexes was
established by Baston by using twistor transformations and spectral sequences.
Unimodular quaternionic manifolds constitute a nice and large class of
quaternionic manifolds: the conformal change of a unimodular quaternionic
structure is still unimodular quaternionic and the complexes over such
manifolds are conformally invariant. This class of manifolds, including
quaternionic K\"ahler manifolds, are the real version of torsionfree QCFs
introduced by Bailey and Eastwood. We show the ellipticity of these complexes
and its Hodgetype decomposition. We also obtain a Weitzenb\"ock formula to
establish vanishing of the cohomology groups of these complexes for
quaternionic K\"ahler manifolds with negative scalar curvatures.

A crossed module constitutes a strict $2$groupoid $\mathcal{G}$ and a
$\mathcal{G}$valued cocycle on a manifold defines a $2$bundle. A
$2$connection on this $2$bundle is given by a Lie algebra $\mathfrak g$
valued $1$form $A $ and a Lie algebra $\mathfrak h$ valued $2$form $B $ over
each coordinate chart together with $2$gauge transformations between them,
which satisfy the compatibility condition. Locally, the pathordered integral
of $A $ gives us the local $1$holonomy, and the surfaceordered integral of
$(A ,B )$ gives us the local $2$holonomy. The transformation of local
$2$holonomies from one coordinate chart to another is provided by the
transition $2$arrow, which is constructed from a $2$gauge transformation. We
can use the transition $2$arrows and the $2$arrows provided by the
$\mathcal{G}$valued cocycle to glue such local $2$holonomies together to get
a global one, which is well defined. Namely we give an explicit algorithm for
calculating the global $2$holonomy.

The $k$CauchyFueter operators and complexes are quaternionic counterparts
of the CauchyRiemann operator and the Dolbeault complex in the theory of
several complex variables. To develop the function theory of several
quaternionic variables, we need to solve the nonhomogeneous $k$CauchyFueter
equation over a domain under the compatibility condition, which naturally leads
to a Neumann problem. The method of solving the $\overline{\partial}$Neumann
problem in the theory of several complex variables is applied to this Neumann
problem. We introduce notions of $k$plurisubharmonic functions and
$k$pseudoconvex domains, establish the $L^2$ estimate and solve this Neumann
problem over $k$pseudoconvex domains in $\mathbb{R}^4$. Namely, we get a
vanishing theorem for the first cohomology groups of the $k$CauchyFueter
complex over such domains.

Antiferromagnetic spintronics actively introduces new principles of magnetic
memory, in which the most fundamental spindependent phenomena, i.e.
anisotropic magnetoresistance effects, are governed by an antiferromagnet
instead of a ferromagnet. A general scenario of the antiferromagnetic
anisotropic magnetoresistance effects mainly stems from the magnetocrystalline
anisotropy related to spinorbit coupling. Here we demonstrate magnetic field
driven contour rotation of the fourfold anisotropic magnetoresistance in bare
antiferromagnetic Sr2IrO4/SrTiO3 (001) thin films hosting a strong spinorbit
coupling induced Jeff=1/2 Mott state. Concurrently, an intriguing minimal in
the magnetoresistance emerges. Through first principles calculations, the
bandgap engineering due to rotation of the Ir isospins is revealed to be
responsible for these emergent phenomena, different from the traditional
scenario where relatively more conductive state was obtained usually when
magnetic field was applied along the magnetic easy axis. Our findings
demonstrate a new efficient route, i.e. via the novel Jeff=1/2 state, to
realize controllable anisotropic magnetoresistance in antiferromagnetic
materials.

Motivated by a number of theoretical considerations, predicting the deeply
bound doubleheavy tetraquarks $T^{\{bb\}}_{[\bar u \bar d]}$,
$T^{\{bb\}}_{[\bar u \bar s]}$ and $T^{\{bb\}}_{[\bar d \bar s]}$, we explore
the potential of their discovery at Tera$Z$ factories. Using the process $Z
\to b \bar b b \bar b$, we calculate, employing the Monte Carlo generators
MadGraph5$\_$aMC@NLO and Pythia6, the phase space configuration in which the~$b
b$ pair is likely to fragment as a diquark. In a jetcone, defined by an
invariant mass interval $m_{bb} < M_{T^{\{bb\}}_{[\bar q \bar q']}} + \Delta
M$, the soughtafter tetraquarks $T^{\{bb\}}_{[\bar q \bar q^\prime]}$ as well
as the doublebottom baryons,~$\Xi_{bb}^{0,}$, and $\Omega_{bb}^$, can be
produced. Using the heavy quarkdiquark symmetry, we estimate $\mathcal{B} (Z
\to T^{\{bb\}}_{[\bar u \bar d]} + \; \bar b \bar b) = (1.4^{+1.1}_{0.5})
\times 10^{6}$, and about a half of this for the
$T^{\{bb\}}_{[\bar{u}\bar{s}]}$ and $T^{\{bb\}}_{[\bar d \bar s]}$. We also
present an estimate of their lifetimes using the heavy quark expansion,
yielding $\tau(T^{\{bb\}}_{[\bar q \bar q^\prime]}) \simeq 800$~fs. Measuring
the tetraquark masses would require decays, such as $T^{\{bb\} }_{[\bar u \bar
d]} \to B^ D^ \pi^+$, $T^{\{bb\} }_{[\bar u \bar d]} \to J/\psi \overline
K^0 B^$, $T^{\{bb\} }_{[\bar u \bar d]} \to J/\psi K^ \overline B^0$,
$T^{\{bb\} }_{[\bar u \bar s]} \to \Xi_{bc}^0 \Sigma^$, and $T^{\{bb\}
0}_{[\bar d \bar s]} \to \Xi_{bc}^0 \bar\Sigma^0$, with subsequent decay chains
in exclusive nonleptonic final states. We estimate a couple of the decay
widths and find that the product branching ratios do not exceed~$10^{5}$.
Hence, a good fraction of these modes will be required for a discovery of
$T^{\{bb\}}_{[\bar q \bar q']}$ at a Tera$Z$ factory.

We present a statistical study of the planetmetallicity (PM) correlation,
by comparing the 744 stars with candidate planets (SWPs) in the Kepler field
which have been observed with LAMOST, and a sample of distanceindependent,
fake "twin" stars in the Kepler field with no planet reported (CKSNPs) yet.
With the welldefined and carefullyselected large samples, we find for the
first time a turnoff PM correlation of Delta [Fe/H]_(SWPsSNPs), which in
average increases from ~0.00+0.03 dex to 0.06+0.03 dex, and to 0.12+0.03 for
stars with Earth, Neptune, Jupitersized planets successively, and then
declines to ~0.01+0.03 dex for more massive planets or brown dwarfs.
Moreover, the percentage of those systems with positive Delta[Fe/H] has the
same turnoff pattern. We also find FGtype stars follow this general trend,
but Ktype stars are different. Moderate metal enhancement (~0.10.2 dex) for
Ktype stars with planets of radii between 2 to 4 Earth radius as compared to
CKSNPs is observed, which indicates much higher metallicities are required for
SuperEarths, Neptunesized planets to form around Ktype stars. We point out
that the PM correlation is actually metallicitydependent, i.e., the
correlation is positive at solar and supersolar metallicities, and negative at
subsolar metallicities. No steady increase of Delta[Fe/H] against planet sizes
is observed for rocky planets, excluding the pollution scenario as a major
mechanism for the PM correlation. All these clues suggest that giant planets
probably form differently from rocky planets or more massive planets/brown
dwarfs, and the coreaccretion scenario is highly favoured, and high
metallicity is a prerequisite for massive planets to form.

Skeletonbased action recognition has made great progress recently, but many
problems still remain unsolved. For example, most of the previous methods model
the representations of skeleton sequences without abundant spatial structure
information and detailed temporal dynamics features. In this paper, we propose
a novel model with spatial reasoning and temporal stack learning (SRTSL) for
skeleton based action recognition, which consists of a spatial reasoning
network (SRN) and a temporal stack learning network (TSLN). The SRN can capture
the highlevel spatial structural information within each frame by a residual
graph neural network, while the TSLN can model the detailed temporal dynamics
of skeleton sequences by a composition of multiple skipclip LSTMs. During
training, we propose a clipbased incremental loss to optimize the model. We
perform extensive experiments on the SYSU 3D HumanObject Interaction dataset
and NTU RGB+D dataset and verify the effectiveness of each network of our
model. The comparison results illustrate that our approach achieves much better
results than stateoftheart methods.

A great deal of significant progress has been seen in the study of
information spreading on populations of networked individuals. A common point
in many of past studies is that there is only one transition in the phase
diagram of the final accepted size versus the transmission probability.
However, whether other factors alter this phenomenology is still under debate,
especially for the case of information spreading through many channels and
platforms. In the present study, we adopt a twolayered network to represent
the interactions of multiple channels and propose a SAR
(SusceptibleAcceptedRecovered) information spreading model. Interestingly,
our model shows a novel double transition including a continuous transition and
a following discontinuous transition in the phase diagram, which originates
from two outbreaks between the two layers of the network. Further, we reveal
that the key factors are a weak coupling condition between the two layers, a
large adoption threshold and the difference of the degree distributions between
the two layers. Then, an edgebased compartmental theory is developed which
fully explains all numerical results. Our findings may be of significance for
understanding the secondary outbreaks of the information in real life.

Information spreading has been studied for decades, but its underlying
mechanism is still under debate, especially for those ones spreading extremely
fast through Internet. By focusing on the information spreading data of six
typical events on Sina Weibo, we surprisingly find that the spreading of modern
information shows some new features, i.e. either extremely fast or slow,
depending on the individual events. To understand its mechanism, we present a
SusceptibleAcceptedRecovered (SAR) model with both information sensitivity
and social reinforcement. Numerical simulations show that the model can
reproduce the main spreading patterns of the six typical events. By this model
we further reveal that the spreading can be speeded up by increasing either the
strength of information sensitivity or social reinforcement. Depending on the
transmission probability and information sensitivity, the final accepted size
can change from continuous to discontinuous transition when the strength of the
social reinforcement is large. Moreover, an edgebased compartmental theory is
presented to explain the numerical results. These findings may be of
significance on the control of information spreading in modern society.

Community structure is an important factor in the behavior of realworld
networks because it strongly affects the stability and thus the phase
transition order of the spreading dynamics. We here propose a reversible social
contagion model of community networks that includes the factor of social
reinforcement. In our model an individual adopts a social contagion when the
number of received units of information exceeds its adoption threshold. We use
meanfield approximation to describe our proposed model, and the results agree
with numerical simulations. The numerical simulations and theoretical analyses
both indicate that there is a firstorder phase transition in the spreading
dynamics, and that a hysteresis loop emerges in the system when there is a
variety of initiallyadopted seeds. We find an optimal community structure that
maximizes spreading dynamics. We also find a rich phase diagram with a triple
point that separates the nodiffusion phase from the two diffusion phases.

The intense demands for higher data rates and ubiquitous network coverage
have raised the stakes on developing new network topology and architecture to
meet these everincreasing demands in a costeffective manner. The
telecommunication industry and international standardization bodies have placed
considerable attention to the deployment of ultradense heterogeneous
smallscale cells over existing cellular systems. Those smallscale cells,
although provide higher data rates and better indoor coverage by reducing the
distance between base stations (BSs) and end users, have raised severe
configuration concerns. As the deployments are becoming irregular and flexible,
inappropriate configurations occur frequently and undermine the network
reliability and service quality. We envision that the finegrained
characterization of user traffic is a key pillar to diagnosing inappropriate
configurations. In this article, we investigate the finegrained traffic
patterns of mobile users by analyzing the network data containing millions of
subscribers and covering thousands of cells in a large metropolitan area. We
characterize traffic patterns and mobility behaviors of users and geospatial
properties of cells, and discuss how the heterogeneity of these characteristics
affects network configurations and diagnosis in future ultradense small cells.
Based on these observations from our measurements, we investigate possible
models and corresponding challenges, and propose a heterogeneityaware scheme
that takes into account the disparity of user mobility behaviors and geospatial
properties among small cells.

Recent advances in artificial intelligence (AI) and machine learning have
created a general perception that AI could be used to solve complex problems,
and in some situations overhyped as a tool that can be so easily used.
Unfortunately, the barrier to realization of mass adoption of AI on various
business domains is too high because most domain experts have no background in
AI. Developing AI applications involves multiple phases, namely data
preparation, application modeling, and product deployment. The effort of AI
research has been spent mostly on new AI models (in the model training stage)
to improve the performance of benchmark tasks such as image recognition. Many
other factors such as usability, efficiency and security of AI have not been
well addressed, and therefore form a barrier to democratizing AI. Further, for
many real world applications such as healthcare and autonomous driving,
learning via huge amounts of possibility exploration is not feasible since
humans are involved. In many complex applications such as healthcare, subject
matter experts (e.g. Clinicians) are the ones who appreciate the importance of
features that affect health, and their knowledge together with existing
knowledge bases are critical to the end results. In this paper, we take a new
perspective on developing AI solutions, and present a solution for making AI
usable. We hope that this resolution will enable all subject matter experts
(eg. Clinicians) to exploit AI like data scientists.

A graph $G$ is said to be \emph{determined by its spectrum} if any graph
having the same spectrum as $G$ is isomorphic to $G$. Let $K_n \setminus
P_{\ell}$ be the graph obtained from $K_n$ by removing edges of $P_\ell$, where
$P_\ell$ is a path of length $\ell1$ which is a subgraph of a complete graph
$K_n$. C\'{a}mara and Haemers~\cite{MC} conjectured that $K_n \backslash
P_{\ell}$ is determined by its adjacency spectrum for every $2\leq \ell \leq
n$. In this paper we show that the conjecture is true for $7\leq \ell \leq9$.

Communitybased question answering (CQA) websites represent an important
source of information. As a result, the problem of matching the most valuable
answers to their corresponding questions has become an increasingly popular
research topic. We frame this task as a binary (relevant/irrelevant)
classification problem, and propose a Multiscale Matching model that inspects
the correlation between words and ngrams (wordtongrams) of different levels
of granularity. This is in addition to wordtoword correlations which are used
in most prior work. In this way, our model is able to capture rich context
information conveyed in ngrams, therefore can better differentiate good answers
from bad ones. Furthermore, we present an adversarial training framework to
iteratively generate challenging negative samples to fool the proposed
classification model. This is completely different from previous methods, where
negative samples are uniformly sampled from the dataset during training
process. The proposed method is evaluated on SemEval 2017 and Yahoo Answer
dataset and achieves stateoftheart performance.

In this paper, we prove there are at least two closed geodesics on any
compact bumpy Finsler $n$manifold with $n\ge 2$. Thus generically there are at
least two closed geodesics on compact Finsler manifolds. Furthermore, there are
at least two closed geodesics on any compact Finsler $2$manifold, and this
lower bound is achieved by the Katok 2sphere, cf. \cite{Kat}.

Big data analytics is gaining massive momentum in the last few years.
Applying machine learning models to big data has become an implicit requirement
or an expectation for most analysis tasks, especially on highstakes
applications.Typical applications include sentiment analysis against reviews
for analyzing online products, image classification in food logging
applications for monitoring user's daily intake and stock movement prediction.
Extending traditional database systems to support the above analysis is
intriguing but challenging. First, it is almost impossible to implement all
machine learning models in the database engines. Second, expertise knowledge is
required to optimize the training and inference procedures in terms of
efficiency and effectiveness, which imposes heavy burden on the system users.
In this paper, we develop and present a system, called Rafiki, to provide the
training and inference service of machine learning models, and facilitate
complex analytics on top of cloud platforms. Rafiki provides distributed
hyperparameter tuning for the training service, and online ensemble modeling
for the inference service which trades off between latency and accuracy.
Experimental results confirm the efficiency, effectiveness, scalability and
usability of Rafiki.

It's well known that the nsphere $S^n$ is the universal double covering of
the $n$dimensional real projective space $\mathbb{R}P^n$ and then any Finsler
metric on $\mathbb{R}P^n$ induces a Finsler metric of $S^n$. In this paper, we
prove that for every Finsler $(S^n, F)$ for $n\geq3$ whose metric is induced by
irreversible Finsler $(\mathbb{R}P^n,F)$ with reversibility $\lambda$ and flag
curvature $K$ satisfying $(\frac{\lambda}{\lambda+1})^2<K\leq 1$, there exist
at least $n1$ prime closed geodesics on $(S^n, F)$. Furthermore, if there
exist finitely many distinct closed geodesics on $(S^n, F)$, then there exist
at least $2[\frac{n}{2}]1$ of them are nonhyperbolic.

Let $r$ be an integer with $r\ge 2$ and $G$ be a connected $r$uniform
hypergraph with $m$ edges. By refining the broken cycle theorem for
hypergraphs, we show that if $k>\frac{m1}{\ln(1+\sqrt{2})}\approx 1.135 (m1)$
then the $k$list assignment of $G$ admitting the fewest colorings is the
constant list assignment. This extends the previous results of Donner,
Thomassen and the current authors for graphs.

To better understand the energy response of the Antineutrino Detector (AD),
the Daya Bay Reactor Neutrino Experiment installed a full Flash ADC readout
system on one AD that allowed for simultaneous data taking with the current
readout system. This paper presents the design, data acquisition, and
simulation of the Flash ADC system, and focuses on the PMT waveform
reconstruction algorithms. For liquid scintillator calorimetry, the most
critical requirement to waveform reconstruction is linearity. Several common
reconstruction methods were tested but the linearity performance was not
satisfactory. A new method based on the deconvolution technique was developed
with 1% residual nonlinearity, which fulfills the requirement. The performance
was validated with both data and Monte Carlo (MC) simulations, and 1%
consistency between them has been achieved.

Androidbased devices like smartphones have become ideal mobile
cyberphysical systems (MCPS) due to their powerful processors and variety of
sensors. In recent years, an explosively and continuously growing number of
malicious applications (malapps) have posed a great threat to Androidbased
MCPS as well as users' privacy. The effective detection of malapps is an
emerging yet crucial task. How to establish relationships among malapps,
discover their potential communities, and explore their evolution process has
become a challenging issue in effective detection of malapps. To deal with this
issue, in this work, we are motivated to propose an automated community
detection method for Android malapps by building a relation graph based on
their static features. First, we construct a large feature set to profile the
behaviors of malapps. Second, we propose an EN algorithm by combining epsilon
graph and knearest neighbor (kNN) graph for graph construction. It solves the
problem of an incomplete graph led by epsilon method and the problem of noise
generated by kNN graph. Finally, a community detection method, Infomap, is
employed to explore the underlying structures of the relation graph, and obtain
the communities of malapps. We evaluate our community detection method with
3996 malapp samples. Extensive experimental results show that our method
outperforms the traditional clustering methods and achieves the best
performance with rand statistic of 94.93% and accuracy of 79.53%.