• 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 forward-angle 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 single-Reggeon 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 ultra-low 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 high-purity germanium detectors (HPGe) at both the ground level and/or the China Jinping Underground Laboratory.It is found the custom-made stainless steel samples to have radioactivity levels comparable with other low-background 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 inter-rater 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 dynamic-allocation 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 inter-rater 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 Karush-Kuhn-Tucker (KKT) conditions to hold at a local minimizer, let alone ensuring an exact penalization. In this paper, we extend quasi-normality and relaxed constant positive linear dependence (RCPLD) condition to allow the non-Lipschitzness 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 non-Lipschitz term in the objective function is the sum of a composite function of a separable lower semi-continuous 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 non-Lipschitz 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 quasi-normality involving the coderivative of the continuous function.
  • It is well-known 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 world-best low-energy neutrino laboratory. The proposed experiment will have target mass of 4 kilotons of liquid scintillator or water-based liquid scintillator, with a fiducial mass of 2 kilotons for neutrino-electron scattering events and 3 kilotons for inverse-beta 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 carbon-nitrogen-oxygen (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 anti-electron neutrinos in China.
  • LSM-tree has been widely used in cloud computing systems by Google, Facebook, and Amazon, to achieve high performance for write-intensive workloads. However, in LSM-tree, random key-value queries can experience long latency and low throughput due to the interference from the compaction, a basic operation in the algorithm, to caching. LSM-tree 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 re-enable high-speed caching during intensive writes. dLSM is an LSM-tree 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 LSM-tree. 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 LSM-tree for infrequently compacted data. Thus, hot objects can be effectively kept in the cache without harmful invalidations. With the help of a small on-disk compaction buffer, dLSM achieves a high query performance by enabling effective caching, while retaining all merits of LSM-tree for write-intensive data processing. We have implemented dLSM based on LevelDB. Our evaluations show that with a standard DRAM cache, dLSM can achieve 5--8x performance improvement over LSM with the same cache on HDD storage.
  • Recently, end-to-end known-interference cancellation (E2E-KIC) has been proposed as a promising technique for wireless networks. It sequentially cancels out the known interferences at each node so that wireless multi-hop transmission can achieve a similar throughput as single-hop transmission. Existing work on E2E-KIC 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 multi-hop interference. The presence of multi-hop interference poses fundamental challenges to E2E-KIC, where known procedures cannot be directly applied. In this paper, we propose an E2E-KIC approach which allows the existence of multi-hop 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 principal-agent 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 physical-layer transmission methods based on known-interference 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 single-hop or two-hop networks, with physical-layer network coding (PNC) and full-duplex (FD) communications as typical examples. This paper extends the idea of KIC to general multi-hop networks, and proposes an end-to-end KIC (E2E-KIC) transmission method together with its MAC design. With E2E-KIC, 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 E2E-KIC in an idealized case. Then, to support E2E-KIC in multi-hop networks with arbitrary topology, we propose an E2E-KIC-supported MAC protocol (E2E-KIC MAC), which is based on an extension of the Request-to-Send/Clear-to-Send (RTS/CTS) mechanism in the IEEE 802.11 MAC. We also analytically analyze the performance of the proposed E2E-KIC MAC in the presence of hidden terminals. Simulation results illustrate that the proposed E2E-KIC MAC protocol can improve the network throughput and reduce the end-to-end delay.
  • The denoise-and-forward (DNF) method of physical-layer network coding (PNC) is a promising approach for wireless relaying networks. In this paper, we consider DNF-based PNC with M-ary quadrature amplitude modulation (M-QAM) and propose a mapping scheme that maps the superposed M-QAM signal to coded symbols. The mapping scheme supports both square and non-square M-QAM modulations, with various original constellation mappings (e.g. binary-coded or Gray-coded). Subsequently, we evaluate the symbol error rate and bit error rate (BER) of M-QAM 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 rate-adaptive PNC is advantageous in various scenarios.
  • Since the complexity of the practical environment, many distributed networked systems can not be illustrated with the integer-order dynamics and only be described as the fractional-order dynamics. Suppose multi-agent systems will show the individual diversity with difference agents, where the heterogeneous (integer-order and fractional-order) dynamics are used to illustrate the agent systems and compose integer-fractional compounded-order systems. Applying Laplace transform and frequency domain theory of the fractional-order operator, consensus of delayed multi-agent systems with directed weighted topologies is studied. Since integer-order model is the special case of fractional-order model, the results in this paper can be extend to the systems with integer-order models. Finally, numerical examples are used to verify our results.
  • Kijun Park, Ralf Gothe, Krishna Adhikari, Dasuni Adikaram-Mudiyanselage, Marco Anghinolfi, Hovhannes Baghdasaryan, Jacques Ball, Marco Battaglieri, Vitaly Baturin, Ivan Bedlinskiy, Robert Bennett, Angela Biselli, Craig Bookwalter, Sergey Boyarinov, Derek Branford, William Briscoe, William Brooks, Volker Burkert, Daniel Carman, Andrea Celentano, Shloka Chandavar, Gabriel Charles, Philip Cole, Marco Contalbrigo, Volker Crede, Annalisa D'Angelo, Aji Daniel, Natalya Dashyan, Raffaella De Vita, Enzo De Sanctis, Alexandre Deur, Chaden Djalali, David Doughty, Raphael Dupre, Ahmed El Alaoui, Lamiaa Elfassi, Paul Eugenio, Gleb Fedotov, Ahmed Fradi, Marianna Gabrielyan, Nerses Gevorgyan, Gerard Gilfoyle, Kevin Giovanetti, Francois-Xavier Girod, John Goetz, Wesley Gohn, Evgeny Golovach, Lewis Graham, Keith Griffioen, Michel Guidal, Lei Guo, Kawtar Hafidi, Hayk Hakobyan, Charles Hanretty, David Heddle, Kenneth Hicks, Maurik Holtrop, Yordanka Ilieva, David Ireland, Boris Ishkhanov, Evgeny Isupov, David Jenkins, Hyon-Suk Jo, Kyungseon Joo, Mahbubul Khandaker, Puneet Khetarpal, Andrey Kim, Wooyoung Kim, Andreas Klein, Franz Klein, A. Kubarovsky, Valery Kubarovsky, Sebastian Kuhn, Sergey Kuleshov, Nicholas Kvaltine, Kenneth Livingston, Haiyun Lu, Ian MacGregor, Nikolai Markov, Michael Mayer, Bryan McKinnon, Mac Mestayer, Curtis Meyer, Taisiya Mineeva, Marco Mirazita, Viktor Mokeev, Herve Moutarde, Edwin Munevar Espitia, Pawel Nadel-Turonski, Rakhsha Nasseripour, Silvia Niccolai, Gabriel Niculescu, Maria-Ioana Niculescu, Mikhail Osipenko, Alexander Ostrovidov, Michael Paolone, Luciano Pappalardo, Rafayel Paremuzyan, Seungkyung Park, Sergio Pereira, Evan Phelps, Silvia Pisano, Oleg Pogorelko, Sergey Pozdnyakov, John Price, Sebastien Procureur, Yelena Prok, Giovanni Ricco, Dipak Rimal, Marco Ripani, Barry Ritchie, Guenther Rosner, Patrizia Rossi, Franck Sabatie, Mukesh Saini, Carlos Salgado, Diane Schott, Reinhard Schumacher, Heghine Seraydaryan, Youri Sharabian, Elton Smith, Gregory Smith, Daniel Sober, Daria Sokhan, Samuel Stepanyan, Stepan Stepanyan, Paul Stoler, Igor Strakovski, Steffen Strauch, Mauro Taiuti, Wei Tang, Charles Taylor, Ye Tian, Svyatoslav Tkachenko, Arjun Trivedi, Maurizio Ungaro, Brian Vernarsky, Alexander Vlasov, Eric Voutier, Daniel Watts, Dennis Weygand, Michael Wood, Nicholas Zachariou, Bo Zhao, Zhiwen Zhao, N. Kalantarians, C. E. Hyde
    Feb. 21, 2012 nucl-ex
    We report the first extraction of the pion-nucleon 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 s-wave transverse multipole ($E_{0+}$), expected in this region, allowed us to access the generalized form factor $G_1$ within the light-cone 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 $\pi-N$-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 measurement-based 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 self-organized multi-agent 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 multi-agent 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 self-organized 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 polymer-polymer phase separation in a common good solvent by means of Monte Carlo simulations of the bond-fluctuation model. Below a critical, chain-length 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 renormalization-group prediction based on "blob" scaling arguments. We point out that earlier simulations and experiments have tested this power-law dependence at concentrations outside the validity regime of the scaling arguments. The critical amplitudes of the order parameter and the zero-angle scattering intensity also exhibit chain-length dependences that differ from the conventional predictions but are in excellent agreement with the renormalization-group 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 A-B-A triblock copolymers in aqueous solution. In order to mimic the structure of hydrogel-forming 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 alpha-helical part of the polypeptides whereas the central B-block is hydrophilic and semi-flexible. We have determined structural properties, such as the hydrophobic cluster-size 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 Stokes-Einstein relation. The dynamical properties show a temperature dependence that is strongly reminiscent of the behavior of glass-forming liquids. The appearance of a plateau in the stress autocorrelation function suggests that the system starts to exhibit a solid-like response to applied stress once the network structure has been formed, although the actual sol-gel 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 on-line 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, sampled-data systems and time-varying stochastic systems.