Constant gap between conventional strategies and those based on C*-dynamics for self-embezzlement

We consider a bipartite transformation that we call \emph{self-embezzlement} and use it to prove a constant gap between the capabilities of two models of quantum information: the conventional model, where bipartite systems are represented by tensor products of Hilbert spaces; and a natural model of quantum information processing for abstract states on C*-algebras, where joint systems are represented by tensor products of C*-algebras. We call this the C*-circuit model and show that it is a special case of the commuting-operator model (in that it can be translated into such a model). For the conventional model, we show that there exists a constant $\epsilon_0 > 0$ such that self-embezzlement cannot be achieved with precision parameter less than $\epsilon_0$ (i.e., the fidelity cannot be greater than $1 - \epsilon_0$); whereas, in the C*-circuit model---as well as in a commuting-operator model---the precision can be $0$ (i.e., fidelity~$1$)

A Process Algebraical Approach to Modelling Compartmentalized Biological Systems

This paper introduces Protein Calculus, a special modeling language designed for encoding and calculating the behaviors of compartmentilized biological systems. The formalism combines, in a unified framework, two successful computational paradigms - process algebras and membrane systems. The goal of Protein Calculus is to provide a formal tool for transforming collected information from in vivo experiments into coded definition of the different types of proteins, complexes of proteins, and membrane-organized systems of such entities. Using this encoded information as input, our calculus computes, in silico, the possible behaviors of a living system. This is the preliminary version of a paper that was published in Proceedings of International Conference of Computational Methods in Sciences and Engineering (ICCMSE), American Institute of Physics, AIP Proceedings, N 2: 642-646, 2007 (http://scitation.aip.org/dbt/dbt.jsp?KEY=APCPCS&Volume=963&Issue=2)