Dynamic-Epistemic reasoning on distributed systems

We propose a new logic designed for modelling and reasoning about information flow and information exchange between spatially located (but potentially mobile), interconnected agents witnessing a distributed computation. This is a major problem in the field of distributed systems, covering many different issues, with potential applications from Computer Science and Economy to Chemistry and Systems Biology. Underpinning on the dual algebraical-coalgebraical characteristics of process calculi, we design a decidable and completely axiomatizad logic that combines the processalgebraical/ equational and the modal/coequational features and is developed for process-algebraical semantics. The construction is done by mixing operators from dynamic and epistemic logics with operators from spatial logics for distributed and mobile systems. This is the preliminary version of a paper that will appear in Proceedings of the second Conference on Algebra and Coalgebra in Computer Science (CALCO2007), LNCS 4624, Springer, 2007. The original publication is available at www.springerlink.co

Schr\"odinger's Cat: Where Does The Entanglement Come From?

Schr\"odinger's cat is one of the most striking paradoxes of quantum mechanics that reveals the counterintuitive aspects of the microscopic world. Here, I discuss the paradox in the framework of quantum information. Using a quantum networks formalism, I analyse the information flow between the atom and the cat. This reveals that the atom and the cat are connected only through a classical information channel: the detector clicks $\rightarrow$ the poison is released $\rightarrow$ the cat is killed. No amount of local operations and classical communication can entangle the atom and the cat, which are initially in a separable state. This casts a new light on the paradox

Matrix Model Description of Baryonic Deformations

We investigate supersymmetric QCD with N_c+1 flavors using an extension of the recently proposed relation between gauge theories and matrix models. The impressive agreement between the two sides provides a beautiful confirmation of the extension of the gauge theory-matrix model relation to this case.Comment: 33pages, late