
We analyze recent $K^+$ meson photoproduction data from the CLAS
collaboration for the reactions $\gamma p\rightarrow K^+\Lambda$ and $\gamma
p\rightarrow K^+\Sigma_0$, fitting measured forwardangle differential cross
sections to the form $Ae^{Bt}$. We develop a quantitative scheme for
determining the kinematic region where the fit is to be done, and, from the
extracted $t$slope $B$, determine whether singleReggeon exchange can explain
the production mechanism. We find that, in the region $5 < s < 8.1$ GeV$^2$,
production of the $K^+\Lambda$ channel can be explained by single $K^+$ Reggeon
exchange, but the $K^+\Sigma_0$ production channel cannot. We verify these
conclusions by fitting the data to a differential cross section produced by the
interfering sum of two exponential amplitudes.

To ensure compliance with the experimental requirement for ultralow
background, in this study the radioactivity of stainless steels manufactured by
smelting are thoroughly investigated. All raw materials, stage samples, and
commercial samples are investigated by glow discharge mass spectrometry (GDMS)
and/or with highpurity germanium detectors (HPGe) at both the ground level
and/or the China Jinping Underground Laboratory.It is found the custommade
stainless steel samples to have radioactivity levels comparable with other
lowbackground experiments. The comprehensive results regarding the
radioactivity level in materials to be used in the proposed Jinping Neutrino
Experiment are reported.

Opinions about the 2016 U.S. Presidential Candidates have been expressed in
millions of tweets that are challenging to analyze automatically. Crowdsourcing
the analysis of political tweets effectively is also difficult, due to large
interrater disagreements when sarcasm is involved. Each tweet is typically
analyzed by a fixed number of workers and majority voting. We here propose a
crowdsourcing framework that instead uses a dynamic allocation of the number of
workers. We explore two dynamicallocation methods: (1) The number of workers
queried to label a tweet is computed offline based on the predicted difficulty
of discerning the sentiment of a particular tweet. (2) The number of crowd
workers is determined online, during an iterative crowd sourcing process, based
on interrater agreements between labels.We applied our approach to 1,000
twitter messages about the four U.S. presidential candidates Clinton, Cruz,
Sanders, and Trump, collected during February 2016. We implemented the two
proposed methods using decision trees that allocate more crowd efforts to
tweets predicted to be sarcastic. We show that our framework outperforms the
traditional static allocation scheme. It collects opinion labels from the crowd
at a much lower cost while maintaining labeling accuracy.

When the objective function is not locally Lipschitz, constraint
qualifications are no longer sufficient for KarushKuhnTucker (KKT) conditions
to hold at a local minimizer, let alone ensuring an exact penalization. In this
paper, we extend quasinormality and relaxed constant positive linear
dependence (RCPLD) condition to allow the nonLipschitzness of the objective
function and show that they are sufficient for KKT conditions to be necessary
for optimality. Moreover, we derive exact penalization results for the
following two special cases. When the nonLipschitz term in the objective
function is the sum of a composite function of a separable lower
semicontinuous function with a continuous function and an indicator function
of a closed subset, we show that a local minimizer of our problem is also a
local minimizer of an exact penalization problem under a local error bound
condition for a restricted constraint region and a suitable assumption on the
outer separable function. When the nonLipschitz term is the sum of a
continuous function and an indicator function of a closed subset, we also show
that our problem admits an exact penalization under an extended quasinormality
involving the coderivative of the continuous function.

It is wellknown that the classical PID controller is by far the most widely
used ones in industrial processes, despite of the remarkable progresses of the
modern control theory over the past half a century. It is also true that the
existing theoretical studies on PID control mainly focus on linear systems,
although most of the practical control systems are inherently nonlinear with
uncertainties. Thus, a natural question is: can we establish a theory on PID
controller for nonlinear uncertain dynamical systems? This paper will initiate
an investigation on this fundamental problem, showing that any second order
uncertain nonlinear dynamical systems can be stabilized globally by the PID
controller as long as the nonlinearity satisfies a Lipschitz condition. We will
also demonstrate that this result can be generalized neither to systems with
order higher than 2, and nor to systems with nonlinear growth rate faster than
linear in general.

Jinping Neutrino Experiment (Jinping) is proposed to significantly improve
measurements on solar neutrinos and geoneutrinos in China Jinping Laboratory 
a lab with a number of unparalleled features, thickest overburden, lowest
reactor neutrino background, etc., which identify it as the worldbest
lowenergy neutrino laboratory. The proposed experiment will have target mass
of 4 kilotons of liquid scintillator or waterbased liquid scintillator, with a
fiducial mass of 2 kilotons for neutrinoelectron scattering events and 3
kilotons for inversebeta interaction events. A number of initial sensitivities
studies have been carried out, including on the transition phase for the solar
neutrinos oscillation from the vacuum to the matter effect, the discovery of
solar neutrinos from the carbonnitrogenoxygen (CNO) cycle, the resolution of
the high and low metallicity hypotheses, and the unambiguous separation on U
and Th cascade decays from the dominant crustal antielectron neutrinos in
China.

LSMtree has been widely used in cloud computing systems by Google, Facebook,
and Amazon, to achieve high performance for writeintensive workloads. However,
in LSMtree, random keyvalue queries can experience long latency and low
throughput due to the interference from the compaction, a basic operation in
the algorithm, to caching. LSMtree relies on frequent compaction operations to
merge data into a sorted structure. After a compaction, the original data are
reorganized and written to other locations on the disk. As a result, the cached
data are invalidated since their referencing addresses are changed, causing
serious performance degradations.
We propose dLSM in order to reenable highspeed caching during intensive
writes. dLSM is an LSMtree with a compaction buffer on the disk, working as a
cushion to minimize the cache invalidation caused by compactions. The
compaction buffer maintains a series of snapshots of the frequently compacted
data, which represent a consistent view of the corresponding data in the
underlying LSMtree. Being updated in a much lower rate than that of
compactions, data in the compaction buffer are almost stationary. In dLSM, an
object is referenced by the disk address of the corresponding block either in
the compaction buffer for frequently compacted data, or in the underlying
LSMtree for infrequently compacted data. Thus, hot objects can be effectively
kept in the cache without harmful invalidations. With the help of a small
ondisk compaction buffer, dLSM achieves a high query performance by enabling
effective caching, while retaining all merits of LSMtree for writeintensive
data processing. We have implemented dLSM based on LevelDB. Our evaluations
show that with a standard DRAM cache, dLSM can achieve 58x performance
improvement over LSM with the same cache on HDD storage.

Recently, endtoend knowninterference cancellation (E2EKIC) has been
proposed as a promising technique for wireless networks. It sequentially
cancels out the known interferences at each node so that wireless multihop
transmission can achieve a similar throughput as singlehop transmission.
Existing work on E2EKIC assumed that the interference of a transmitter to
those nodes outside the transmitter's communication range is negligible. In
practice, however, this assumption is not always valid. There are many cases
where a transmitter causes notable interference to nodes beyond its
communication distance. From a wireless networking perspective, such
interference is caused by a node to other nodes that are multiple hops away,
thus we call it multihop interference. The presence of multihop interference
poses fundamental challenges to E2EKIC, where known procedures cannot be
directly applied. In this paper, we propose an E2EKIC approach which allows
the existence of multihop interference. In particular, we present a method
that iteratively cancels unknown interferences transmitted across multiple
hops. We analyze mathematically why and when this approach works and the
performance of it. The analysis is further supported by numerical results.

This paper introduces and studies the optimal control problem with
equilibrium constraints (OCPEC). The OCPEC is an optimal control problem with a
mixed state and control equilibrium constraint formulated as a complementarity
constraint and it can be seen as a dynamic mathematical program with
equilibrium constraints. It provides a powerful modeling paradigm for many
practical problems such as bilevel optimal control problems and dynamic
principalagent problems. In this paper, we propose weak, Clarke, Mordukhovich
and strong stationarities for the OCPEC. Moreover, we give some sufficient
conditions to ensure that the local minimizers of the OCPEC are Fritz John type
weakly stationary, Mordukhovich stationary and strongly stationary,
respectively. Unlike Pontryagain's maximum principle for the classical optimal
control problem with equality and inequality constraints, a counter example
shows that for general OCPECs, there may exist two sets of multipliers for the
complementarity constraints. A condition under which these two sets of
multipliers coincide is given.

To improve the efficiency of wireless data communications, new physicallayer
transmission methods based on knowninterference cancellation (KIC) have been
developed. These methods share the common idea that the interference can be
cancelled when the content of it is known. Existing work on KIC mainly focuses
on singlehop or twohop networks, with physicallayer network coding (PNC) and
fullduplex (FD) communications as typical examples. This paper extends the
idea of KIC to general multihop networks, and proposes an endtoend KIC
(E2EKIC) transmission method together with its MAC design. With E2EKIC,
multiple nodes in a flow passing through a few nodes in an arbitrary topology
can simultaneously transmit and receive on the same channel. We first present a
theoretical analysis on the effectiveness of E2EKIC in an idealized case.
Then, to support E2EKIC in multihop networks with arbitrary topology, we
propose an E2EKICsupported MAC protocol (E2EKIC MAC), which is based on an
extension of the RequesttoSend/CleartoSend (RTS/CTS) mechanism in the IEEE
802.11 MAC. We also analytically analyze the performance of the proposed
E2EKIC MAC in the presence of hidden terminals. Simulation results illustrate
that the proposed E2EKIC MAC protocol can improve the network throughput and
reduce the endtoend delay.

The denoiseandforward (DNF) method of physicallayer network coding (PNC)
is a promising approach for wireless relaying networks. In this paper, we
consider DNFbased PNC with Mary quadrature amplitude modulation (MQAM) and
propose a mapping scheme that maps the superposed MQAM signal to coded
symbols. The mapping scheme supports both square and nonsquare MQAM
modulations, with various original constellation mappings (e.g. binarycoded or
Graycoded). Subsequently, we evaluate the symbol error rate and bit error rate
(BER) of MQAM modulated PNC that uses the proposed mapping scheme. Afterwards,
as an application, a rate adaptation scheme for the DNF method of PNC is
proposed. Simulation results show that the rateadaptive PNC is advantageous in
various scenarios.

Since the complexity of the practical environment, many distributed networked
systems can not be illustrated with the integerorder dynamics and only be
described as the fractionalorder dynamics. Suppose multiagent systems will
show the individual diversity with difference agents, where the heterogeneous
(integerorder and fractionalorder) dynamics are used to illustrate the agent
systems and compose integerfractional compoundedorder systems. Applying
Laplace transform and frequency domain theory of the fractionalorder operator,
consensus of delayed multiagent systems with directed weighted topologies is
studied. Since integerorder model is the special case of fractionalorder
model, the results in this paper can be extend to the systems with
integerorder models. Finally, numerical examples are used to verify our
results.

We report the first extraction of the pionnucleon multipoles near the
production threshold for the $n\pi^+$ channel at relatively high momentum
transfer ($Q^2$ up to 4.2 $\rm{GeV^2}$). The dominance of the swave transverse
multipole ($E_{0+}$), expected in this region, allowed us to access the
generalized form factor $G_1$ within the lightcone sum rule (LCSR) framework
as well as the axial form factor $G_A$. The data analyzed in this work were
collected by the nearly $4\pi$ CEBAF Large Acceptance Spectrometer (CLAS) using
a 5.754 $\rm{GeV}$ electron beam on a proton target. The differential cross
section and the $\piN$multipole $E_{0+}/G_D$ were measured using two
different methods, the LCSR and a direct multipole fit. The results from the
two methods are found to be consistent and almost $Q^2$ independent.

As a key method in dealing with uncertainties, feedback has been understood
fairly well in classical control theory. But for quantum control systems, the
capability of measurementbased feedback control (MFC) has not been
investigated systematically. In contrast to the control of classical systems
where the measurement effect is negligible, the quantum measurement will cause
a quantum state to collapse, which will inevitably introduce additional
uncertainties besides the system initial uncertainty. Therefore, there is a
complicated tradeoff between the uncertainty introduced and the information
gained by the measurement, and thus a theoretical investigation of the
capability of MFC is of fundamental importance. In this paper, inspired by both
the Heisenberg uncertainty principle for quantum systems and the investigation
of the feedback capability for classical systems, we try to answer the
following three basic questions: (i) How to choose the measurement channel
appropriately? (ii) Is the MFC still superior to the open loop control in
dealing with the system information uncertainties? and (iii) What is the
maximum capability or limitation of the MFC? These questions will be answered
theoretically by establishing several theorems concerning the asymptotic
reachability of eigenstates of a typical class of Hamiltonian control mode.

This paper asks a new question: how can we control the collective behavior of
selforganized multiagent systems? We try to answer the question by proposing
a new notion called 'Soft Control', which keeps the local rule of the existing
agents in the system. We show the feasibility of soft control by a case study.
Consider the simple but typical distributed multiagent model proposed by
Vicsek et al. for flocking of birds: each agent moves with the same speed but
with different headings which are updated using a local rule based on the
average of its own heading and the headings of its neighbors. Most studies of
this model are about the selforganized collective behavior, such as
synchronization of headings. We want to intervene in the collective behavior
(headings) of the group by soft control. A specified method is to add a special
agent, called a 'Shill', which can be controlled by us but is treated as an
ordinary agent by other agents. We construct a control law for the shill so
that it can synchronize the whole group to an objective heading. This control
law is proved to be effective analytically and numerically. Note that soft
control is different from the approach of distributed control. It is a natural
way to intervene in the distributed systems. It may bring out many interesting
issues and challenges on the control of complex systems.

We study polymerpolymer phase separation in a common good solvent by means
of Monte Carlo simulations of the bondfluctuation model. Below a critical,
chainlength dependent concentration, no phase separation occurs. For higher
concentrations, the critical demixing temperature scales nonlinearly with the
total monomer concentration, with a power law relatively close to a
renormalizationgroup prediction based on "blob" scaling arguments. We point
out that earlier simulations and experiments have tested this powerlaw
dependence at concentrations outside the validity regime of the scaling
arguments. The critical amplitudes of the order parameter and the zeroangle
scattering intensity also exhibit chainlength dependences that differ from the
conventional predictions but are in excellent agreement with the
renormalizationgroup results. In addition, we characterize the variation of
the average coil shape upon phase separation.

Molecular dynamics simulations have been employed to study the formation of a
physical (thermoreversible) gel by amphiphilic ABA triblock copolymers in
aqueous solution. In order to mimic the structure of hydrogelforming
polypeptides employed in experiments [W.A. Petka et al., Science 281, 389
(1998)], the endblocks of the polymer chains are modeled as hydrophobic rods
representing the alphahelical part of the polypeptides whereas the central
Bblock is hydrophilic and semiflexible. We have determined structural
properties, such as the hydrophobic clustersize distribution function, the
geometric percolation point and pair correlation functions, and related these
to the dynamical properties of the system. Upon decrease of the temperature, a
network structure is formed in which bundles of endblocks act as network
junctions. Both at short and medium distances an increased ordering is
observed, as characterized by the pair correlation function. Micelle formation
and the corresponding onset of geometric percolation induce a strong change in
dynamical quantities, e.g., in the diffusion constant and the viscosity, and
causes the system to deviate from the StokesEinstein relation. The dynamical
properties show a temperature dependence that is strongly reminiscent of the
behavior of glassforming liquids. The appearance of a plateau in the stress
autocorrelation function suggests that the system starts to exhibit a
solidlike response to applied stress once the network structure has been
formed, although the actual solgel transition occurs only at a considerably
lower temperature.

Feedback is a most important concept in control systems, its main purpose is
to deal with internal and/or external uncertainties in dynamical systems, by
using the online observed information. Thus, a fundamental problem in control
theory is to understand the maximum capability and potential limits of the
feedback mechanism. This paper gives a survey of some basic ideas and results
developed recently in this direction, for several typical classes of uncertain
dynamical systems including parametric and nonparametric nonlinear systems,
sampleddata systems and timevarying stochastic systems.