686 research outputs found
Inequalities for quantum skew information
We study quantum information inequalities and show that the basic inequality
between the quantum variance and the metric adjusted skew information generates
all the multi-operator matrix inequalities or Robertson type determinant
inequalities studied by a number of authors. We introduce an order relation on
the set of functions representing quantum Fisher information that renders the
set into a lattice with an involution. This order structure generates new
inequalities for the metric adjusted skew informations. In particular, the
Wigner-Yanase skew information is the maximal skew information with respect to
this order structure in the set of Wigner-Yanase-Dyson skew informations.
Key words and phrases: Quantum covariance, metric adjusted skew information,
Robertson-type uncertainty principle, operator monotone function,
Wigner-Yanase-Dyson skew information
Implementing SOS with active objects: A case study of a multicore memory system
This paper describes the development of a parallel simulator of a multicore memory system from a model formalized as a structural operational semantics (SOS). Our implementation uses the Abstract Behavioral Specification (ABS) language, an executable, active object modelling language with a formal semantics, targeting distributed systems. We develop general design patterns in ABS for implementing SOS, and describe their application to the SOS model of multicore memory systems. We show how these patterns allow a formal correctness proof that the implementation simulates the formal operational model and discuss further parallelization and fairness of the simulator
- …