• This paper studies a multiuser mobile edge computing (MEC) system, in which one base station (BS) serves multiple users with intensive computation tasks. We exploit the multi-antenna non-orthogonal multiple access (NOMA) technique for multiuser computation offloading, such that different users can simultaneously offload their computation tasks to the multi-antenna BS over the same time/frequency resources, and the BS can employ successive interference cancellation (SIC) to efficiently decode all users' offloaded tasks for remote execution. We aim to minimize the weighted sum-energy consumption at all users subject to their computation latency constraints, by jointly optimizing the communication and computation resource allocation as well as the BS's decoding order for SIC. For the case with partial offloading, the weighted sum-energy minimization is a convex optimization problem, for which an efficient algorithm based on the Lagrange duality method is presented to obtain the globally optimal solution. For the case with binary offloading, the weighted sum-energy minimization corresponds to a {\em mixed Boolean convex problem} that is generally more difficult to be solved. We first use the branch-and-bound (BnB) method to obtain the globally optimal solution, and then develop two low-complexity algorithms based on the greedy method and the convex relaxation, respectively, to find suboptimal solutions with high quality in practice. Via numerical results, it is shown that the proposed NOMA-based computation offloading design significantly improves the energy efficiency of the multiuser MEC system as compared to other benchmark schemes. It is also shown that for the case with binary offloading, the proposed greedy method performs close to the optimal BnB based solution, and the convex relaxation based solution achieves a suboptimal performance but with lower implementation complexity.
  • In this paper, we study the Cauchy problem of a higher-order $\mu$-Camassa-Holm equation. By employing the Green's function of $(\mu-\partial_{x}^{2})^{-2}$, we obtain the explicit formula of the inverse function $(\mu-\partial_{x}^{2})^{-2}w$ and local well-posedness for the equation in Sobolev spaces $H^{s}(\mathbb{S})$, $s>\frac{7}{2}$. Then we prove the existence of global strong solutions and weak solutions. Moreover, we show that the data-to-solution map is H\"{o}lder continuous in $H^{s}(\mathbb{S})$, $s\geq 4$, equipped with the $H^{r}(\mathbb{S})$-topology for $0\leq r<s$. Finally, the equation is shown to admit single peakon solutions which have continuous second derivatives and jump discontinuities in the third derivatives.
  • Rust is a new and promising high-level system programming language. It provides both memory safety and thread safety through its novel mechanisms such as ownership, moves and borrows. Ownership system ensures that at any point there is only one owner of any given resource. The ownership of a resource can be moved or borrowed according to the lifetimes. The ownership system establishes a clear lifetime for each value and hence does not necessarily need garbage collection. These novel features bring Rust high performance, fine low-level control of C and C++, and unnecessity in garbage collection, which differ Rust from other existing prevalent languages. For formal analysis of Rust programs and helping programmers learn its new mechanisms and features, a formal semantics of Rust is desired and useful as a fundament for developing related tools. In this paper, we present a formal executable operational semantics of a realistic subset of Rust, called KRust. The semantics is defined in K, a rewriting-based executable semantic framework for programming languages. The executable semantics yields automatically a formal interpreter and verification tools for Rust programs. KRust has been thoroughly validated by testing with hundreds of tests, including the official Rust test suite.
  • Unsupervised neural machine translation (NMT) is a recently proposed approach for machine translation which aims to train the model without using any labeled data. The models proposed for unsupervised NMT often use only one shared encoder to map the pairs of sentences from different languages to a shared-latent space, which is weak in keeping the unique and internal characteristics of each language, such as the style, terminology, and sentence structure. To address this issue, we introduce an extension by utilizing two independent encoders but sharing some partial weights which are responsible for extracting high-level representations of the input sentences. Besides, two different generative adversarial networks (GANs), namely the local GAN and global GAN, are proposed to enhance the cross-language translation. With this new approach, we achieve significant improvements on English-German, English-French and Chinese-to-English translation tasks.
  • Locating actions in long untrimmed videos has been a challenging problem in video content analysis. The performances of existing action localization approaches remain unsatisfactory in precisely determining the beginning and the end of an action. Imitating the human perception procedure with observations and refinements, we propose a novel three-phase action localization framework. Our framework is embedded with an Actionness Network to generate initial proposals through frame-wise similarity grouping, and then a Refinement Network to conduct boundary adjustment on these proposals. Finally, the refined proposals are sent to a Localization Network for further fine-grained location regression. The whole process can be deemed as multi-stage refinement using a novel non-local pyramid feature under various temporal granularities. We evaluate our framework on THUMOS14 benchmark and obtain a significant improvement over the state-of-the-arts approaches. Specifically, the performance gain is remarkable under precise localization with high IoU thresholds. Our proposed framework achieves mAP@IoU=0.5 of 34.2%.
  • This paper proposes an approach for applying GANs to NMT. We build a conditional sequence generative adversarial net which comprises of two adversarial sub models, a generator and a discriminator. The generator aims to generate sentences which are hard to be discriminated from human-translated sentences (i.e., the golden target sentences), And the discriminator makes efforts to discriminate the machine-generated sentences from human-translated ones. The two sub models play a mini-max game and achieve the win-win situation when they reach a Nash Equilibrium. Additionally, the static sentence-level BLEU is utilized as the reinforced objective for the generator, which biases the generation towards high BLEU points. During training, both the dynamic discriminator and the static BLEU objective are employed to evaluate the generated sentences and feedback the evaluations to guide the learning of the generator. Experimental results show that the proposed model consistently outperforms the traditional RNNSearch and the newly emerged state-of-the-art Transformer on English-German and Chinese-English translation tasks.
  • This paper presents a fast algorithm for obtaining high-accuracy subpixel translation of low PSNR images. Instead of locating the maximum point on the upsampled images or fitting the peak of correlation surface, the proposed algorithm is based on the measurement of centroid on the cross correlation surface by Modified Moment method. Synthetic images, real solar images and standard testing images with white Gaussian noise added were tested, and the results show that the accuracies of our algorithm are comparable with other subpixel registration techniques and the processing speed is higher. The drawback is also discussed at the end of this paper.
  • We use high spatial and temporal resolution observations, simultaneously obtained with the New Vacuum Solar Telescope and Atmospheric Imaging Assembly (AIA) on board the Solar Dynamics Observatory, to investigate the high-frequency oscillations above a sunspot umbra. A novel time--frequency analysis method, namely the synchrosqueezing transform (SST), is employed to represent their power spectra and to reconstruct the high-frequency signals at different solar atmospheric layers. A validation study with synthetic signals demonstrates that SST is capable to resolving weak signals even when their strength is comparable with the high-frequency noise. The power spectra, obtained from both SST and the Fourier transform, of the entire umbral region indicate that there are significant enhancements between 10 and 14 mHz (labeled as 12 mHz) at different atmospheric layers. Analyzing the spectrum of a photospheric region far away from the umbra demonstrates that this 12~mHz component exists only inside the umbra. The animation based on the reconstructed 12 mHz component in AIA 171 \AA\ illustrates that an intermittently propagating wave first emerges near the footpoints of coronal fan structures, and then propagates outward along the structures. A time--distance diagram, coupled with a subsonic wave speed ($\sim$ 49 km s$^{-1}$), highlights the fact that these coronal perturbations are best described as upwardly propagating magnetoacoustic slow waves. Thus, we first reveal the high-frequency oscillations with a period around one minute in imaging observations at different height above an umbra, and these oscillations seem to be related to the umbral perturbations in the photosphere.
  • A novel time--frequency technique, called the synchrosqueezing transform (SST), is used to investigate the midterm periodic variations of magnetic fields on the solar surface. The Magnetic Plage Strength Index (MPSI) and the Mount Wilson Sunspot Index (MWSI), measured daily by the Mount Wilson Observatory between 1970 January 19 and 2012 January 22, are selected. The short-, mid, and longer-term periodicities are represented and decomposed by the SST with hardly any mode mixing. This demonstrates that the SST is a useful time--frequency analysis technique to characterize the periodic modes of helioseismic data. Apart from the fundamental modes of the annual periodicity, $\sim$27 day rotational cycle and $\sim$11 year solar cycle, the SST reveals several midterm periodicities in the two magnetic activity indices, specifically, $\sim$157 day (i.e., Rieger-type periodicity), and $\sim$1.3 and 1.7 years. The periodic modes, with 116.4 and 276.2 day periodicity in the MPSI, with 108.5 and 251.6 day periodicity in the MWSI, and the 157.7 day periodicity in the two indices, are in better accord with those significant periodicities derived from the Rossby waves theoretical model. This study suggests that the modes are caused by the Rossby waves. For the 1.30 and 1.71 year periodicity of the MPSI, and the 1.33 and 1.67 year periodicity of the MWSI, our analysis infers that they are related to those periodicity with the same timescale in the interior of the Sun and in the high atmospheric layers.
  • Mott insulator plays a central role in strongly correlated physics, where the repulsive Coulomb interaction dominates over the electron kinetic energy and leads to insulating states with one electron occupying each unit cell. Doped Mott insulator is often described by the Hubbard model, which can give rise to other correlated phenomena such as unusual magnetism and even high temperature superconductivity. A tunable Mott insulator, where the competition between the Coulomb interaction and the kinetic energy can be varied in situ, can provide an invaluable model system for the study of Mott physics. Here we report the realization of such a tunable Mott insulator in the ABC trilayer graphene (TLG) and hexagonal boron nitride (hBN) heterostructure with a Moir\'e superlattice. Unlike massless Dirac electrons in monolayer graphene, electrons in pristine ABC TLG are characterized by quartic energy dispersion and large effective mass that are conducive for strongly correlated phenomena. The Moir\'e superlattice in TLG/hBN heterostructures leads to narrow electronic minibands that are gate-tunable. Each filled miniband contains 4 electrons in one Moir\'e lattice site due to the spin and valley degeneracy of graphene. The Mott insulator states emerge at 1/4 and 1/2 fillings, corresponding to one electron and two electrons per site, respectively. Moreover, the Mott states in the ABC TLG/hBN heterostructure exhibit unprecedented tunablility: the Mott gap can be modulated in situ by a vertical electrical field, and at the mean time the electron doping can be gate-tuned to fill the band from one Mott insulating state to another. Our observation of a tunable Mott insulator opens up tremendous opportunities to explore novel strongly correlated phenomena in two-dimensional Moir\'e superlattice heterostructures.
  • In massive MIMO (M-MIMO) systems, one of the key challenges in the implementation is the large-scale matrix inversion operation, as widely used in channel estimation, equalization, detection, and decoding procedures. Traditionally, to handle this complexity issue, several low-complexity matrix inversion approximation methods have been proposed, including the classic Cholesky decomposition and the Neumann series expansion (NSE). However, the conventional approaches failed to exploit neither the special structure of channel matrices nor the critical issues in the hardware implementation, which results in poorer throughput performance and longer processing delay. In this paper, by targeting at the correlated M-MIMO systems, we propose a modified NSE based on tridiagonal matrix inversion approximation (TMA) to accommodate the complexity as well as the performance issue in the conventional hardware implementation, and analyze the corresponding approximation errors. Meanwhile, we investigate the VLSI implementation for the proposed detection algorithm based on a Xilinx Virtex-7 XC7VX690T FPGA platform. It is shown that for correlated massive MIMO systems, it can achieve near-MMSE performance and $630$ Mb/s throughput. Compared with other benchmark systems, the proposed pipelined TMA detector can get high throughput-to-hardware ratio. Finally, we also propose a fast iteration structure for further research.
  • The RIBLL2 in-flight separator at IMP, the secondary beam line between two storage rings at the \blue{\uwave{Heavy Ion Research Facility in Lanzhou (HIRFL-CSR)}}, has been commissioned to study the rare-isotope beam (RIB) physics at around 300 MeV/nucleon for the first time, in combination of the external target facility (ETF). The unambiguous particle identification in mass and charge states for $^{18}$O and $^{40}$Ar fragments has been achieved in recent experiments. A full realization of RIBLL2 will open many potentials to address important RIB physics problems at around 300 MeV/nucleon.
  • Transition metal dichalcogenide (TMD) materials are unique in the wide variety of structural and electronic phases they exhibit in the two-dimensional (2D) single-layer limit. Here we show how such polymorphic flexibility can be used to achieve topological states at highly ordered phase boundaries in a new quantum spin Hall insulator (QSHI), 1T'-WSe2. We observe helical states at the crystallographically-aligned interface between quantum a spin Hall insulating domain of 1T'-WSe2 and a semiconducting domain of 1H-WSe2 in contiguous single layers grown using molecular beam epitaxy (MBE). The QSHI nature of single-layer 1T'-WSe2 was verified using ARPES to determine band inversion around a 120 meV energy gap, as well as STM spectroscopy to directly image helical edge-state formation. Using this new edge-state geometry we are able to directly confirm the predicted penetration depth of a helical interface state into the 2D bulk of a QSHI for a well-specified crystallographic direction. The clean, well-ordered topological/trivial interfaces observed here create new opportunities for testing predictions of the microscopic behavior of topologically protected boundary states without the complication of structural disorder.
  • We demonstrate to image asymmetric molecular orbitals via high-order harmonic generation in a one-color inhomogeneous field. Due to the broken inversion symmetry of the inhomogeneous field in space, the returning electrons with energy in a broad range can be forced to recollide from only one direction for all the orientation angles of molecules, which therefore can be used to reconstruct asymmetric molecular orbitals. Following the procedure of molecular orbital tomography, the highest occupied molecular orbital of CO is satisfactorily reconstructed with high-order harmonic spectra driven by the inhomogeneous field. This scheme is helpful to relax the requirement of laser conditions and also applicable to other asymmetric molecules.
  • In this paper, we propose a conceptually simple and geometrically interpretable objective function, i.e. additive margin Softmax (AM-Softmax), for deep face verification. In general, the face verification task can be viewed as a metric learning problem, so learning large-margin face features whose intra-class variation is small and inter-class difference is large is of great importance in order to achieve good performance. Recently, Large-margin Softmax and Angular Softmax have been proposed to incorporate the angular margin in a multiplicative manner. In this work, we introduce a novel additive angular margin for the Softmax loss, which is intuitively appealing and more interpretable than the existing works. We also emphasize and discuss the importance of feature normalization in the paper. Most importantly, our experiments on LFW BLUFR and MegaFace show that our additive margin softmax loss consistently performs better than the current state-of-the-art methods using the same network architecture and training dataset. Our code has also been made available at https://github.com/happynear/AMSoftmax
  • In this paper, we study the Cauchy problem of a higher-order $\mu$-Camassa-Holm equation. We first establish the Green's function of $(\mu-\partial_{x}^{2}+\partial_{x}^{4})^{-1}$ and local well-posedness for the equation in Sobolev spaces $H^{s}(\mathbb{S})$, $s>\frac{7}{2}$. Then we provide the global existence results for strong solutions and weak solutions. Moreover, we show that the solution map is non-uniformly continuous in $H^{s}(\mathbb{S})$, $s\geq 4$. Finally, we prove that the equation admits single peakon solutions.
  • Monolayer (ML) transition metal dichalcogenides (TMDs) undergo substantial changes in the single-particle band structure and excitonic optical response upon the addition of just one layer. As opposed to the single-layer limit, the bandgap of bilayer (BL) TMD semiconductors is indirect which results in reduced photoluminescence with richly structured spectra that have eluded a detailed understanding to date. Here, we provide a closed interpretation of the elementary optical responses of BL WSe$_2$ as a representative material for the wider class of TMD semiconductors. By combining theoretical calculations with comprehensive spectroscopy experiments, we identify the crucial role of momentum-indirect excitons for the understanding of basic absorption and emission spectra ubiquitously exhibited by various TMD BLs. Our results shed light on the origin of quantum dot (QD) formation in monolayer and bilayer crystals and will facilitate further advances directed at opto-electronic applications of layered TMD semiconductors in van der Waals heterostructures and devices.
  • In this paper, we develop the robust transceiver designs for the $K$-user multiple-input single-output (MISO) interference channels where each transmitter is equipped with multiple antennas and each single-antenna receiver performs simultaneous wireless information and power transfer (SWIPT) based on a power-splitting (PS) architecture. Assuming imperfect channel state information (CSI) at the transmitters, we design jointly optimal transmit beamforming and receive PS (BFPS) scheme that minimizes the total transmission power under the worst-case signal-to-interference-plus-noise ratio (SINR) and energy harvesting (EH) constraints at the receivers. When the CSI uncertainties are bounded by ellipsoidal regions, we show that the worst-case SINR and EH constraints per Rx can be recast into quadratic matrix inequality forms, and the intended robust BFPS problem can be relaxed as a tractable semidefinite program (SDP). More importantly, relying on the state-of-the-art alternating direction method of multipliers (ADMM), we propose a decentralized algorithm capable of computing the optimal beamforming and power-splitting schemes with local CSI and limited information exchange among the transmitters. It is shown the proposed decentralized algorithm is guaranteed to converge to the optimal centralized solution. Numerical results are provided to demonstrate the merit of the proposed approaches.
  • In this work we formulate the problem of image captioning as a multimodal translation task. Analogous to machine translation, we present a sequence-to-sequence recurrent neural networks (RNN) model for image caption generation. Different from most existing work where the whole image is represented by convolutional neural network (CNN) feature, we propose to represent the input image as a sequence of detected objects which feeds as the source sequence of the RNN model. In this way, the sequential representation of an image can be naturally translated to a sequence of words, as the target sequence of the RNN model. To represent the image in a sequential way, we extract the objects features in the image and arrange them in a order using convolutional neural networks. To further leverage the visual information from the encoded objects, a sequential attention layer is introduced to selectively attend to the objects that are related to generate corresponding words in the sentences. Extensive experiments are conducted to validate the proposed approach on popular benchmark dataset, i.e., MS COCO, and the proposed model surpasses the state-of-the-art methods in all metrics following the dataset splits of previous work. The proposed approach is also evaluated by the evaluation server of MS COCO captioning challenge, and achieves very competitive results, e.g., a CIDEr of 1.029 (c5) and 1.064 (c40).
  • Thanks to the recent developments of Convolutional Neural Networks, the performance of face verification methods has increased rapidly. In a typical face verification method, feature normalization is a critical step for boosting performance. This motivates us to introduce and study the effect of normalization during training. But we find this is non-trivial, despite normalization being differentiable. We identify and study four issues related to normalization through mathematical analysis, which yields understanding and helps with parameter settings. Based on this analysis we propose two strategies for training using normalized features. The first is a modification of softmax loss, which optimizes cosine similarity instead of inner-product. The second is a reformulation of metric learning by introducing an agent vector for each class. We show that both strategies, and small variants, consistently improve performance by between 0.2% to 0.4% on the LFW dataset based on two models. This is significant because the performance of the two models on LFW dataset is close to saturation at over 98%. Codes and models are released on https://github.com/happynear/NormFace
  • Integrating mobile edge computing (MEC) and wireless power transfer (WPT) has been regarded as a promising technique to improve computation capabilities for self-sustainable Internet of Things (IoT) devices. This paper investigates a wireless powered multiuser MEC system, where a multi-antenna access point (AP) (integrated with an MEC server) broadcasts wireless power to charge multiple users for mobile computing. We consider a time-division multiple access (TDMA) protocol for multiuser computation offloading. Under this setup, we aim to maximize the weighted sum of the computation rates (in terms of the number of computation bits) across all the users, by jointly optimizing the energy transmit beamformer at the AP, the task partition for the users (for local computing and offloading, respectively), and the time allocation among the users. We derive the optimal solution in a semi-closed form via convex optimization techniques. Numerical results show the merit of the proposed design over alternative benchmark schemes.
  • We present $ab$ $initio$ study of the electronic stopping power of protons and helium ions in an insulating material, HfO$_{2}$. The calculations are carried out in channeling conditions with different impact parameters by employing Ehrenfest dynamics and real--time, time--dependent density functional theory. The satisfactory comparison with available experiments demonstrates that this approach provides an accurate description of electronic stopping power. The velocity-proportional stopping power is predicted for protons and helium ions in the low energy region, which conforms the linear response theory. Due to the existence of wide band gap, a threshold effect in extremely low velocity regime below excitation is expected. For protons, the threshold velocity is observable, while it does not appear in helium ions case. This indicates the existence of extra energy loss channels beyond the electron--hole pair excitation when helium ions are moving through the crystal. To analyze it, we checked the charge state of the moving projectiles and an explicit charge exchange behavior between the ions and host atoms is found. The missing threshold effect for helium ions is attributed to the charge transfer, which also contributes to energy loss of the ion.
  • We report attosecond-scale probing of the laser-induced dynamics in molecules. We apply the method of high-harmonic spectroscopy, where laser-driven recolliding electrons on various trajec- tories record the motion of their parent ion. Based on the transient phase-matching mechanism of high-order harmonic generation, short and long trajectories contributing to the same harmonic order are distinguishable in both the spatial and frequency domains, giving rise to a one-to-one map between time and photon energy for each trajectory. The short and long trajectories in H2 and D2 are used simultaneously to retrieve the nuclear dynamics on the attosecond and angstrom scale. Compared to using only short trajectories, this extends the temporal range of the measurement to one optical cycle. The experiment is also applied to methane and ammonia molecules.
  • Joint extraction of entities and relations is an important task in information extraction. To tackle this problem, we firstly propose a novel tagging scheme that can convert the joint extraction task to a tagging problem. Then, based on our tagging scheme, we study different end-to-end models to extract entities and their relations directly, without identifying entities and relations separately. We conduct experiments on a public dataset produced by distant supervision method and the experimental results show that the tagging based methods are better than most of the existing pipelined and joint learning methods. What's more, the end-to-end model proposed in this paper, achieves the best results on the public dataset.
  • Limited labeled data are available for the research of estimating facial expression intensities. For instance, the ability to train deep networks for automated pain assessment is limited by small datasets with labels of patient-reported pain intensities. Fortunately, fine-tuning from a data-extensive pre-trained domain, such as face verification, can alleviate this problem. In this paper, we propose a network that fine-tunes a state-of-the-art face verification network using a regularized regression loss and additional data with expression labels. In this way, the expression intensity regression task can benefit from the rich feature representations trained on a huge amount of data for face verification. The proposed regularized deep regressor is applied to estimate the pain expression intensity and verified on the widely-used UNBC-McMaster Shoulder-Pain dataset, achieving the state-of-the-art performance. A weighted evaluation metric is also proposed to address the imbalance issue of different pain intensities.