-
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.