202,105 research outputs found
Quantum information and statistical mechanics: an introduction to frontier
This is a short review on an interdisciplinary field of quantum information
science and statistical mechanics. We first give a pedagogical introduction to
the stabilizer formalism, which is an efficient way to describe an important
class of quantum states, the so-called stabilizer states, and quantum
operations on them. Furthermore, graph states, which are a class of stabilizer
states associated with graphs, and their applications for measurement-based
quantum computation are also mentioned. Based on the stabilizer formalism, we
review two interdisciplinary topics. One is the relation between quantum error
correction codes and spin glass models, which allows us to analyze the
performances of quantum error correction codes by using the knowledge about
phases in statistical models. The other is the relation between the stabilizer
formalism and partition functions of classical spin models, which provides new
quantum and classical algorithms to evaluate partition functions of classical
spin models.Comment: 15pages, 4 figures, to appear in Proceedings of 4th YSM-SPIP (Sendai,
14-16 December 2012
Incremental Control Synthesis in Probabilistic Environments with Temporal Logic Constraints
In this paper, we present a method for optimal control synthesis of a plant
that interacts with a set of agents in a graph-like environment. The control
specification is given as a temporal logic statement about some properties that
hold at the vertices of the environment. The plant is assumed to be
deterministic, while the agents are probabilistic Markov models. The goal is to
control the plant such that the probability of satisfying a syntactically
co-safe Linear Temporal Logic formula is maximized. We propose a
computationally efficient incremental approach based on the fact that temporal
logic verification is computationally cheaper than synthesis. We present a
case-study where we compare our approach to the classical non-incremental
approach in terms of computation time and memory usage.Comment: Extended version of the CDC 2012 pape
Synthesis of Attributed Feature Models From Product Descriptions: Foundations
Feature modeling is a widely used formalism to characterize a set of products
(also called configurations). As a manual elaboration is a long and arduous
task, numerous techniques have been proposed to reverse engineer feature models
from various kinds of artefacts. But none of them synthesize feature attributes
(or constraints over attributes) despite the practical relevance of attributes
for documenting the different values across a range of products. In this
report, we develop an algorithm for synthesizing attributed feature models
given a set of product descriptions. We present sound, complete, and
parametrizable techniques for computing all possible hierarchies, feature
groups, placements of feature attributes, domain values, and constraints. We
perform a complexity analysis w.r.t. number of features, attributes,
configurations, and domain size. We also evaluate the scalability of our
synthesis procedure using randomized configuration matrices. This report is a
first step that aims to describe the foundations for synthesizing attributed
feature models
Parallel Processing of Large Graphs
More and more large data collections are gathered worldwide in various IT
systems. Many of them possess the networked nature and need to be processed and
analysed as graph structures. Due to their size they require very often usage
of parallel paradigm for efficient computation. Three parallel techniques have
been compared in the paper: MapReduce, its map-side join extension and Bulk
Synchronous Parallel (BSP). They are implemented for two different graph
problems: calculation of single source shortest paths (SSSP) and collective
classification of graph nodes by means of relational influence propagation
(RIP). The methods and algorithms are applied to several network datasets
differing in size and structural profile, originating from three domains:
telecommunication, multimedia and microblog. The results revealed that
iterative graph processing with the BSP implementation always and
significantly, even up to 10 times outperforms MapReduce, especially for
algorithms with many iterations and sparse communication. Also MapReduce
extension based on map-side join usually noticeably presents better efficiency,
although not as much as BSP. Nevertheless, MapReduce still remains the good
alternative for enormous networks, whose data structures do not fit in local
memories.Comment: Preprint submitted to Future Generation Computer System
- âŠ