23,948 research outputs found
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
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
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 the poison is
released 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
- …