1,399 research outputs found
Detection of Asynchronous Message Passing Errors Using Static Analysis
Concurrent programming is hard and prone to subtle errors. In this paper we present a static analysis that is able to detect some commonly occurring kinds of message passing errors in languages with dynamic process creation and communication based on asynchronous message passing. Our analysis is completely automatic, fast, and strikes a proper balance between soundness and completeness: it is effective in detecting errors and avoids false alarms by computing a close approximation of the interprocess communication topology of programs. We have integrated our analysis in dialyzer, a widely used tool for detecting software defects in Erlang programs, and demonstrate its effectiveness on libraries and applications of considerable size. Despite the fact that these applications have been developed over a long period of time and are reasonably well-tested, our analysis has managed to detect a significant number of previously unknown message passing errors in their code
Generalized Limits for Parameter Sensitivity via Quantum Ziv-Zakai Bound
We study the generalized limit for parameter sensitivity in quantum
estimation theory considering the effects of repeated and adaptive
measurements. Based on the quantum Ziv-Zakai bound, we derive some lower bounds
for parameter sensitivity when the Hamiltonian of system is unbounded and when
the adaptive measurements are implemented on the system. We also prove that the
parameter sensitivity is bounded by the limit of the minimum detectable
parameter. In particular, we examine several known states in quantum phase
estimation with non-interacting photons, and show that they can not perform
better than Heisenberg limit in a much simpler way with our result.Comment: 8pages, 5 figure
Positional Disorder, Spin-Orbit Coupling and Frustration in GaMnAs
We study the magnetic properties of metallic GaMnAs. We calculate the
effective RKKY interaction between Mn spins using several realistic models for
the valence band structure of GaAs. We also study the effect of positional
disorder of the Mn on the magnetic properties. We find that the interaction
between two Mn spins is anisotropic due to spin-orbit coupling within both the
so-called spherical approximation and in the more realistic six band model. The
spherical approximation strongly overestimates this anistropy, especially for
short distances between Mn ions. Using the obtained effective Hamiltonian we
carry out Monte Carlo simulations of finite and zero temperature magnetization
and find that, due to orientational frustration of the spins, non-collinear
states appear in both valence band approximations for disordered, uncorrelated
Mn impurities in the small concentration regime. Introducing correlations among
the substitutional Mn positions or increasing the Mn concentration leads to an
increase in the remnant magnetization at zero temperature and an almost fully
polarized ferromagnetic state.Comment: 17 Pages, 13 Figure
Disorder, spin-orbit, and interaction effects in dilute
We derive an effective Hamiltonian for in
the dilute limit, where can be described in
terms of spin polarons hopping between the {\rm Mn} sites and coupled
to the local {\rm Mn} spins. We determine the parameters of our model from
microscopic calculations using both a variational method and an exact
diagonalization within the so-called spherical approximation. Our approach
treats the extremely large Coulomb interaction in a non-perturbative way, and
captures the effects of strong spin-orbit coupling and Mn positional disorder.
We study the effective Hamiltonian in a mean field and variational calculation,
including the effects of interactions between the holes at both zero and finite
temperature. We study the resulting magnetic properties, such as the
magnetization and spin disorder manifest in the generically non-collinear
magnetic state. We find a well formed impurity band fairly well separated from
the valence band up to for which finite size
scaling studies of the participation ratios indicate a localization transition,
even in the presence of strong on-site interactions, where is the fraction of magnetically active Mn. We study the
localization transition as a function of hole concentration, Mn positional
disorder, and interaction strength between the holes.Comment: 15 pages, 12 figure
Probabilistic abstract interpretation: From trace semantics to DTMC’s and linear regression
In order to perform probabilistic program analysis we need to consider probabilistic languages or languages with a probabilistic semantics, as well as a corresponding framework for the analysis which is able to accommodate probabilistic properties and properties of probabilistic computations. To this purpose we investigate the relationship between three different types of probabilistic semantics for a core imperative language, namely Kozen’s Fixpoint Semantics, our Linear Operator Semantics and probabilistic versions of Maximal Trace Semantics. We also discuss the relationship between Probabilistic Abstract Interpretation (PAI) and statistical or linear regression analysis. While classical Abstract Interpretation, based on Galois connection, allows only for worst-case analyses, the use of the Moore-Penrose pseudo inverse in PAI opens the possibility of exploiting statistical and noisy observations in order to analyse and identify various system properties
Single-qubit gates and measurements in the surface acoustic wave quantum computer
In the surface acoustic wave quantum computer, the spin state of an electron
trapped in a moving quantum dot comprises the physical qubit of the scheme. Via
detailed analytic and numerical modeling of the qubit dynamics, we discuss the
effect of excitations into higher-energy orbital states of the quantum dot that
occur when the qubits pass through magnetic fields. We describe how
single-qubit quantum operations, such as single-qubit rotations and
single-qubit measurements, can be performed using only localized static
magnetic fields. The models provide useful parameter regimes to be explored
experimentally when the requirements on semiconductor gate fabrication and the
nanomagnetics technology are met in the future.Comment: 13 pages, 10 figures, submitted to Phys. Rev.
A Taxonomy of Causality-Based Biological Properties
We formally characterize a set of causality-based properties of metabolic
networks. This set of properties aims at making precise several notions on the
production of metabolites, which are familiar in the biologists' terminology.
From a theoretical point of view, biochemical reactions are abstractly
represented as causal implications and the produced metabolites as causal
consequences of the implication representing the corresponding reaction. The
fact that a reactant is produced is represented by means of the chain of
reactions that have made it exist. Such representation abstracts away from
quantities, stoichiometric and thermodynamic parameters and constitutes the
basis for the characterization of our properties. Moreover, we propose an
effective method for verifying our properties based on an abstract model of
system dynamics. This consists of a new abstract semantics for the system seen
as a concurrent network and expressed using the Chemical Ground Form calculus.
We illustrate an application of this framework to a portion of a real
metabolic pathway
- …