98,330 research outputs found
Topological surface states and Fermi arcs of the noncentrosymmetric Weyl semimetals TaAs, TaP, NbAs, and NbP
Very recently the topological Weyl semimetal (WSM) state was predicted in the
noncentrosymmetric compounds TaAs, TaP, NbAs, and NbP and soon led to
photoemission and transport experiments to verify the presumed topological
properties such as Fermi arcs (unclosed Fermi surfaces) and the chiral anomaly.
In this work, we have performed fully \textit{ab initio} calculations of the
surface band structures of these four WSM materials and revealed the Fermi arcs
with spin-momentum-locked spin texture. On the (001) polar surface, the shape
of the Fermi surface depends sensitively on the surface terminations (cations
or anions), although they exhibit the same topology with arcs. The anion (P or
As) terminated surfaces are found to fit recent photoemission measurements
well. Such surface potential dependence indicates that the shape of the Fermi
surface can be manipulated by depositing guest species (such as K atoms), as we
demonstrate. On the polar surface of a WSM without inversion symmetry,
Rashba-type spin polarization naturally exists in the surface states and leads
to strong spin texture. By tracing the spin polarization of the Fermi surface,
we can also distinguish Fermi arcs from trivial Fermi circles. The four
compounds NbP, NbAs, TaP, and TaAs present an increasing amplitude of
spin-orbit coupling (SOC) in the band structure. By comparing their surface
states, we reveal the evolution of topological Fermi arcs from the
spin-degenerate Fermi circle to spin-split arcs when the SOC increases from
zero to a finite value. Our work will help us understand the complicated
surface states of WSMs and allow us to manipulate them, especially for future
spin-revolved photoemission and transport experiments.Comment: This manuscript has been submitted to Physical Review B on 22 Jul.
201
Target Directed Event Sequence Generation for Android Applications
Testing is a commonly used approach to ensure the quality of software, of
which model-based testing is a hot topic to test GUI programs such as Android
applications (apps). Existing approaches mainly either dynamically construct a
model that only contains the GUI information, or build a model in the view of
code that may fail to describe the changes of GUI widgets during runtime.
Besides, most of these models do not support back stack that is a particular
mechanism of Android. Therefore, this paper proposes a model LATTE that is
constructed dynamically with consideration of the view information in the
widgets as well as the back stack, to describe the transition between GUI
widgets. We also propose a label set to link the elements of the LATTE model to
program snippets. The user can define a subset of the label set as a target for
the testing requirements that need to cover some specific parts of the code. To
avoid the state explosion problem during model construction, we introduce a
definition "state similarity" to balance the model accuracy and analysis cost.
Based on this model, a target directed test generation method is presented to
generate event sequences to effectively cover the target. The experiments on
several real-world apps indicate that the generated test cases based on LATTE
can reach a high coverage, and with the model we can generate the event
sequences to cover a given target with short event sequences
Hidden type-II Weyl points in the Weyl semimetal NbP
As one of Weyl semimetals discovered recently, NbP exhibits two groups of
Weyl points with one group lying inside the plane and the other group
staying away from this plane. All Weyl points have been assumed to be type-I,
for which the Fermi surface shrinks into a point as the Fermi energy crosses
the Weyl point. In this work, we have revealed that the second group of Weyl
points are actually type-II, which are found to be touching points between the
electron and hole pockets in the Fermi surface. Corresponding Weyl cones are
strongly tilted along a line approximately off the axis in the
(or ) plane, violating the Lorentz symmetry but still
giving rise to Fermi arcs on the surface. Therefore, NbP exhibits both type-I
( plane) and type-II ( plane) Weyl points.Comment: 5 pages and 4 figure
- β¦