• The surging interest in blockchain technology has revitalized the search for effective Byzantine consensus schemes. In particular, the blockchain community has been looking for ways to effectively integrate traditional Byzantine fault-tolerant (BFT) protocols into a blockchain consensus layer allowing various financial institutions to securely agree on the order of transactions. However, existing BFT protocols can only scale to tens of nodes due to their $O(n^2)$ message complexity. In this paper, we propose FastBFT, a fast and scalable BFT protocol. At the heart of FastBFT is a novel message aggregation technique that combines hardware-based trusted execution environments (TEEs) with lightweight secret sharing primitives. Combining this technique with several other optimizations (i.e., optimistic execution, tree topology and failure detection), FastBFT achieves low latency and high throughput even for large scale networks. Via systematic analysis and experiments, we demonstrate that FastBFT has better scalability and performance than previous BFT protocols.
  • Numbers of tabletop experiments have made efforts to detect large extra dimensions for the range from solar system to submillimeter system, but the direct evidence is still lacking. Here we present a scheme to test the gravitational law in 4+2 dimensions at microns by using cavity optomechanical method. We have investigated the probe spectrum for coupled quantum levitated oscillators in optical cavities. The results show that the spectral splitting can be obtained once the large extra dimensions present. Compare to the previous experiment, the sensitivity can be improved by the using of a specific geometry and a shield mirror to control and suppress the effect of the Casimir background. The weak frequency splitting can be optically read by the pump-probe scheme. Thus we can detect the gravitational deviation in the bulk based ADD model via spectroscopy without the isoelectronic technique.
  • We propose Human Pose Models that represent RGB and depth images of human poses independent of clothing textures, backgrounds, lighting conditions, body shapes and camera viewpoints. Learning such universal models requires training images where all factors are varied for every human pose. Capturing such data is prohibitively expensive. Therefore, we develop a framework for synthesizing the training data. First, we learn representative human poses from a large corpus of real motion captured human skeleton data. Next, we fit synthetic 3D humans with different body shapes to each pose and render each from 180 camera viewpoints while randomly varying the clothing textures, background and lighting. Generative Adversarial Networks are employed to minimize the gap between synthetic and real image distributions. CNN models are then learned that transfer human poses to a shared high-level invariant space. The learned CNN models are then used as invariant feature extractors from real RGB and depth frames of human action videos and the temporal variations are modelled by Fourier Temporal Pyramid. Finally, linear SVM is used for classification. Experiments on three benchmark cross-view human action datasets show that our algorithm outperforms existing methods by significant margins for RGB only and RGB-D action recognition.
  • Recent development of structure-preserving geometric particle-in-cell (PIC) algorithms for Vlasov-Maxwell systems is summarized. With the arriving of 100 petaflop and exaflop computing power, it is now possible to carry out direct simulations of multi-scale plasma dynamics based on first-principles. However, standard algorithms currently adopted by the plasma physics community do not possess the long-term accuracy and fidelity required in these large-scale simulations. This is because conventional simulation algorithms are based on numerically solving the underpinning differential (or integro-differential) equations, and the algorithms used in general do not preserve the geometric and physical structures of the systems, such as the local energy-momentum conservation law, the symplectic structure, and the gauge symmetry. As a consequence, numerical errors accumulate coherently with time and long-term simulation results are not reliable. To overcome this difficulty and to hardness the power of exascale computers, a new generation of structure-preserving geometric PIC algorithms have been developed. This new generation of algorithms utilizes modern mathematical techniques, such as discrete manifolds, interpolating differential forms, and non-canonical symplectic integrators, to ensure gauge symmetry, space-time symmetry and the conservation of charge, energy-momentum, and the symplectic structure. These highly desired properties are difficult to achieve using the conventional PIC algorithms. In addition to summarizing the recent development and demonstrating practical implementations, several new results are also presented, including a structure-preserving geometric relativistic PIC algorithm, the proof of the correspondence between discrete gauge symmetry and discrete charge conservation law, and a reformulation of the explicit non-canonical symplectic algorithm for the discrete ...
  • A fundamental difference between antiferromagnets and ferromagnets is the lack of linear coupling to a uniform magnetic field due to the staggered order parameter. Such coupling is possible via the Dzyaloshinskii-Moriya (DM) interaction but at the expense of reduced antiferromagnetic (AFM) susceptibility due to the canting-induced spin anisotropy. We solve this long-standing problem with a top-down approach that utilizes spin-orbit coupling in the presence of a hidden SU(2) symmetry. We demonstrate giant AFM responses to sub-Tesla external fields by exploiting the extremely strong two-dimensional critical fluctuations preserved under a symmetry-invariant exchange anisotropy, which is built into a square-lattice artificially synthesized as a superlattice of SrIrO3 and SrTiO3. The observed field-induced logarithmic increase of the ordering temperature enables highly efficient control of the AFM order. As antiferromagnets promise to afford switching speed and storage security far beyond ferromagnets, our symmetry-invariant approach unleashes the great potential of functional antiferromagnets.
  • Human skeleton joints are popular for action analysis since they can be easily extracted from videos to discard background noises. However, current skeleton representations do not fully benefit from machine learning with CNNs. We propose "Skepxels" a spatio-temporal representation for skeleton sequences to fully exploit the "local" correlations between joints using the 2D convolution kernels of CNN. We transform skeleton videos into images of flexible dimensions using Skepxels and develop a CNN-based framework for effective human action recognition using the resulting images. Skepxels encode rich spatio-temporal information about the skeleton joints in the frames by maximizing a unique distance metric, defined collaboratively over the distinct joint arrangements used in the skeletal image. Moreover, they are flexible in encoding compound semantic notions such as location and speed of the joints. The proposed action recognition exploits the representation in a hierarchical manner by first capturing the micro-temporal relations between the skeleton joints with the Skepxels and then exploiting their macro-temporal relations by computing the Fourier Temporal Pyramids over the CNN features of the skeletal images. We extend the Inception-ResNet CNN architecture with the proposed method and improve the state-of-the-art accuracy by 4.4% on the large scale NTU human activity dataset. On the medium-sized N-UCLA and UTH-MHAD datasets, our method outperforms the existing results by 5.7% and 9.3% respectively.
  • Recently, the validity of the guiding-center approach to model relativistic runaway electrons in tokamaks has been challenged by full-orbit simulations that demonstrate the breakdown of the standard magnetic moment conservation. In this paper, we derive a new expression for the magnetic moment of relativistic runaway electrons, which is conserved significantly better than the standard one. The new result includes one of the second-order corrections in the standard guiding-center theory which, in case of runaway electrons with $p_{\parallel}\gg p_{\perp}$, can peculiarly be of the same order as the lowest-order term. The better conservation of the new magnetic moment also explains the collisionless pitch-angle-scattering effect observed in full-orbit simulations since it allows momentum transfer between the perpendicular and parallel directions when the runaway electron is accelerated by an electric field. While the derivation of the second-order correction to the magnetic moment in general case would require the full extent of the relativistic second-order guiding-center theory, we exploit the Lie-perturbation method at the limit $p_{\parallel}\gg p_{\perp}$ which simplifies the computations significantly. Consequently, we present the corresponding guiding-center equations applicable to the highly relativistic runaway electrons.
  • Pyroelectricity is a very promising phenomenon in three- and two-dimensional (2D) materials, but first-principles calculations have not so far been used to elucidate the underlying mechanisms. Here we report density-functional theory (DFT) calculations based on the Born-Szigeti theory of pyroelectricity, by combining fundamental thermodynamics and the modern theory of polarization. We find satisfactory agreement with experimental data in the case of bulk benchmark materials, showing that the so-called electron-phonon renormalization, whose contribution has been viewed as negligible, is important. We predict out-of-plane pyroelectricity in the recently synthesized Janus MoSSe monolayer and in-plane pyroelectricity in the group-IV monochalcogenide GeS monolayer. It is notable that the so-called secondary pyroelectricity is found to be dominant in GeS monolayer. The present work opens a theoretical route to study the pyroelectric effect using DFT and provides a valuable tool in the search for new candidates for pyroelectric applications.
  • It is generally believed that Parity-Time (PT)-symmetry breaking occurs when eigenvalues or both eigenvalues and eigenvectors coincide. However, we show that this well-accepted picture of PT-symmetry breaking is incorrect. Instead, we demonstrate that the physical mechanism of PT-symmetry breaking is the resonance between positive- and negative-action modes. It is proved that PT-symmetry breaking occurs when and only when this resonance condition is satisfied, and this mechanism applies to all known PT-symmetry breakings observed in different branches of physics. The result is achieved by proving a remarkable fact that in finite dimensions, a PT-symmetric Hamiltonian is necessarily pseudo-Hermitian, regardless whether it is diagonalizable or not.
  • Recent advances in Deep Learning show the existence of image-agnostic quasi-imperceptible perturbations that when applied to `any' image can fool a state-of-the-art network classifier to change its prediction about the image label. These `Universal Adversarial Perturbations' pose a serious threat to the success of Deep Learning in practice. We present the first dedicated framework to effectively defend the networks against such perturbations. Our approach learns a Perturbation Rectifying Network (PRN) as `pre-input' layers to a targeted model, such that the targeted model needs no modification. The PRN is learned from real and synthetic image-agnostic perturbations, where an efficient method to compute the latter is also proposed. A perturbation detector is separately trained on the Discrete Cosine Transform of the input-output difference of the PRN. A query image is first passed through the PRN and verified by the detector. If a perturbation is detected, the output of the PRN is used for label prediction instead of the actual image. A rigorous evaluation shows that our framework can defend the network classifiers against unseen adversarial perturbations in the real-world scenarios with up to 97.5% success rate. The PRN also generalizes well in the sense that training for one targeted network defends another network with a comparable success rate.
  • Understanding the Raman spectroscopy at the atomistic level is important for the elucidation of dynamical processes in liquid water. Because the polarizability (or its time derivative) is often a highly nonlinear function of coordinates or/and momenta, we employ the linearized semiclassical initial value representation for quantum dynamical simulations of liquid water (and heavy water) under ambient conditions based on an ab initio based, flexible, polarizable model (the POLI2VS force field). It is shown that quantum dynamical effects play a critical role in reproducing the peaks in the intermediate region between the librational and bending bands, those between the bending and stretching bands, and the double-peak in the stretching band in the experimental isotropic Raman spectrum. In contrast, quantum dynamical effects are important but less decisive in the anisotropic Raman spectrum. By selectively freezing either the intramolecular O-H stretching or H-O-H bending mode, we demonstrate that the peak in the intermediate region (2000-2400 cm-1) of the isotropic Raman spectrum arises from the interplay of the stretching and bending motions while a substantial part of the peak in the same intermediate region of the anisotropic Raman spectrum may be attributed to the combined motion of the bending and librational modes.
  • Molecular dynamics with the stochastic process provides a convenient way to compute structural and thermodynamic properties of chemical, biological, and materials systems. It is demonstrated that the virtual dynamics case that we proposed for the Langevin equation [J. Chem. Phys. 147, 184104 (2017)] in principle exists in other types of stochastic thermostats as well. The recommended middle scheme [J. Chem. Phys. 147, 034109 (2017)] of the Andersen thermostat is investigated as an example. As shown by both analytic and numerical results, while the real and virtual dynamics cases approach the same plateau of the characteristic correlation time in the high collision frequency limit, the accuracy and efficiency of sampling are relatively insensitive to the value of the collision frequency in a broad range. After we compare the behaviors of the Andersen thermostat to those of Langevin dynamics, a heuristic schematic representation is proposed for understanding efficient stochastic thermostatting processes with molecular dynamics.
  • In video-based action recognition, viewpoint variations often pose major challenges because the same actions can appear different from different views. We use the complementary RGB and Depth information from the RGB-D cameras to address this problem. The proposed technique capitalizes on the spatio-temporal information available in the two data streams to the extract action features that are largely insensitive to the viewpoint variations. We use the RGB data to compute dense trajectories that are translated to viewpoint insensitive deep features under a non-linear knowledge transfer model. Similarly, the Depth stream is used to extract CNN-based view invariant features on which Fourier Temporal Pyramid is computed to incorporate the temporal information. The heterogeneous features from the two streams are combined and used as a dictionary to predict the label of the test samples. To that end, we propose a sparse-dense collaborative representation classification scheme that strikes a balance between the discriminative abilities of the dense and the sparse representations of the samples over the extracted heterogeneous dictionary.
  • In this paper, we seek to better understand Android obfuscation and depict a holistic view of the usage of obfuscation through a large-scale investigation in the wild. In particular, we focus on four popular obfuscation approaches: identifier renaming, string encryption, Java reflection, and packing. To obtain the meaningful statistical results, we designed efficient and lightweight detection models for each obfuscation technique and applied them to our massive APK datasets (collected from Google Play, multiple third-party markets, and malware databases). We have learned several interesting facts from the result. For example, malware authors use string encryption more frequently, and more apps on third-party markets than Google Play are packed. We are also interested in the explanation of each finding. Therefore we carry out in-depth code analysis on some Android apps after sampling. We believe our study will help developers select the most suitable obfuscation approach, and in the meantime help researchers improve code analysis systems in the right direction.
  • For Time-Domain Global Similarity (TDGS) method, which transforms the data cleaning problem into a binary classification problem about the physical similarity between channels, directly adopting common performance measures could only guarantee the performance for physical similarity. Nevertheless, practical data cleaning tasks have preferences for the correctness of original data sequences. To obtain the general expressions of performance measures based on the preferences of tasks, the mapping relations between performance of TDGS method about physical similarity and correctness of data sequences are investigated by probability theory in this paper. Performance measures for TDGS method in several common data cleaning tasks are set. Cases when these preference-based performance measures could be simplified are introduced.
  • The biggest challenge for the commercialization of layered structured nickel rich lithium transition metal oxide cathode is the capacity and voltage fading. Resolving this problem over the years follows an incremental progress. In this work, we report our finding of totally a new approach to revolutionize the cycle stability of aggregated cathode particles for lithium ion battery at both room and elevated temperatures. We discover that infusion of a solid electrolyte into the grain boundaries of the cathode secondary particles can dramatically enhance the capacity retention and voltage stability of the battery. We find that the solid electrolyte infused in the boundaries not only acts as a fast channel for Li ion transport, but also most importantly prevents penetration of the liquid electrolyte into the boundaries, consequently eliminating the detrimental factors that include solid-liquid interfacial reaction, intergranular cracking, and layer to spinel phase transformation. The present work, for the first time, reveals unprecedented insight as how the cathode behaves in the case of not contacting with the liquid electrolyte, ultimately points toward a general new route, via grain boundary engineering, for designing of better batteries of both solid-liquid and solid state systems.
  • Langevin dynamics has become a popular tool to simulate the Boltzmann equilibrium distribution. When the repartition of the Langevin equation involves the exact realization of the Ornstein-Uhlenbeck noise, in addition to the conventional density evolution, there exists another type of discrete evolution that may not correspond to a continuous, real dynamical counterpart. This virtual dynamics case is also able to produce the desired stationary distribution. Different types of repartition lead to different numerical schemes, of which the accuracy and efficiency are investigated through studying the harmonic oscillator potential, an analytical solvable model. By analyzing the asymptotic distribution and characteristic correlation time that are derived by either directly solving the discrete equations of motion or using the related phase space propagators, it is shown that the optimal friction coefficient resulting in the minimal characteristic correlation time depends on the time interval chosen in the numerical implementation. When the recommended "middle" scheme is employed, both analytical and numerical results demonstrate that for a good numerical performance in efficiency as well as accuracy, one may choose a friction coefficient in a wide range from around the optimal value to the high friction limit.
  • An exact approach to compute physical properties for general multi-electronic-state (MES) systems in thermal equilibrium is presented. The approach is extended from our recent progress on path integral molecular dynamics (PIMD) [J. Chem. Phys. 145, 024103 (2016); 147, 034109 (2017)] for quantum statistical mechanics when a single potential energy surface is involved. We first define an effective potential function that is numerically favorable for MES-PIMD, and then derive corresponding estimators in MES-PIMD for evaluating various physical properties. Its application to several representative one-dimensional and multi-dimensional models demonstrates that MES-PIMD in principle offers a practical tool in either of the diabatic and adiabatic representations for studying exact quantum statistics of complex/large MES systems.
  • Particles with electric charge 10^(-12)e in bulk mass are not excluded by present experiments. In the present letter we provide a feasible scheme to measure the millicharged particles via the optical cavity coupled to a levitated microsphere. The results show that the optical probe spectrum of the micro-oscillator presents a distinct shift due to the existence of millicharged particles. Owing to the very narrow linewidth(10^(-7) Hz) of the optical Kerr effect, this shift will be more obvious, which makes the millicharges more easy to be detectable. We propose a method to eliminate the polarization force background via the homogeneously charged ring, which makes the scheme displays strong advantages in precision than the current experiments. The technique proposed here paves the way for new applications for probing dark matter and nonzero charged neutrino in the condensed matter.
  • Model checking and automated theorem proving are two pillars of formal methods. This paper investigates model checking from an automated theorem proving perspective, aiming at combining the expressiveness of automated theorem proving and the complete automaticity of model checking. The focus of this paper is on the verification of temporal logic properties of Kripke models. The main contributions of this paper are: first the definition of an extended computation tree logic that allows polyadic predicate symbols, then a proof system for this logic, taking Kripke models as parameters, then, the design of a proof-search algorithm for this calculus and a new automated theorem prover to implement it. The verification process is completely automatic, and produces either a counterexample when the property does not hold, or a certificate when it does. The experimental result compares well to existing state-of-the-art tools on some benchmarks, including an application to air traffic control and the design choices that lead to this efficiency are discussed.
  • Boolean functions with good cryptographic criteria when restricted to the set of vectors with constant Hamming weight play an important role in the recent FLIP stream cipher. In this paper, we propose a large class of weightwise perfectly balanced (WPB) functions, which is not extended affinely (EA) equivalent to the known constructions. We also discuss the weightwise nonlinearity profile of these functions, and present general lower bounds on $k$-weightwise nonlinearity, where $k$ is a power of $2$. Moreover, we exhibit a subclass of the family. By a recursive lower bound, we show that these subclass of WPB functions have very high weightwise nonlinearity profile.
  • A lattice Maxwell system is developed with gauge-symmetry, symplectic structure and discrete space-time symmetry. Noether's theorem for Lie group symmetries is generalized to discrete symmetries for the lattice Maxwell system. As a result, the lattice Maxwell system is shown to admit a discrete local energy-momentum conservation law corresponding to the discrete space-time symmetry. These conservative properties make the discrete system an effective algorithm for numerically solving the governing differential equations on continuous space-time. Moreover, the lattice model, respecting all conservation laws and geometric structures, is as good as and probably more preferable than the continuous Maxwell model. Under the simulation hypothesis by Bostrom and in consistent with the discussion on lattice QCD by Beane et al., the two interpretations of physics laws on space-time lattice could be essentially the same.
  • To guarantee the availability and reliability of data source in Magnetic Confinement Fusion (MCF) devices, incorrect diagnostic data, which cannot reflect real physical properties of measured objects, should be sorted out before further analysis and study. Traditional data sorting cannot meet the growing demand of MCF research because of the low-efficiency, time-delay, and lack of objective criteria. In this paper, a Time-Domain Global Similarity (TDGS) method based on machine learning technologies is proposed for the automatic data cleaning of MCF devices. Traditional data sorting aims to the classification of original diagnostic data sequences, which are different in both length and evolution properties under various discharge parameters. Hence the classification criteria are affected by many discharge parameters and vary shot by shot. The focus of TDGS method is turned to the physical similarity between data sequences from different channels, which are more essential and independent of discharge parameters. The complexity arisen from real discharge parameters during data cleaning is avoided in the TDGS method by transforming the general data sorting problem into a binary classification problem about the physical similarity between data sequences. As a demonstration of its application to multi-channel measurement systems, the TDGS method is applied to the EAST POlarimeter-INterferomeTer (POINT) system. The optimized performance of the method has reached 0.9871.
  • An infinite dimensional canonical symplectic structure and structure-preserving geometric algorithms are developed for the photon-matter interactions described by the Schr\"odinger-Maxwell equations. The algorithms preserve the symplectic structure of the system and the unitary nature of the wavefunctions, and bound the energy error of the simulation for all time-steps. This new numerical capability enables us to carry out first-principle based simulation study of important photon-matter interactions, such as the high harmonic generation and stabilization of ionization, with long-term accuracy and fidelity.
  • Perpendicular magnetic anisotropy (PMA) plays a critical role in the development of spintronics, thereby demanding new strategies to control PMA. Here we demonstrate a conceptually new type of interface induced PMA that is controlled by oxygen octahedral rotation. In superlattices comprised of La$_{1-x}$Sr$_{x}$MnO$_{3}$ and SrIrO$_{3}$, we find that all superlattices (0$\leq$x$\leq$1) exhibit ferromagnetism despite the fact that La$_{1-x}$Sr$_{x}$MnO$_{3}$ is antiferromagnetic for x$>$0.5. PMA as high as 4$\times$10$^6$ erg/cm$^3$ is observed by increasing x and attributed to a decrease of oxygen octahedral rotation at interfaces. We also demonstrate that oxygen octahedral deformation cannot explain the trend in PMA. These results reveal a new degree of freedom to control PMA, enabling discovery of emergent magnetic textures and topological phenomena.