Science-advisor
REGISTER info/FAQ
Login
username
password
     
forgot password?
register here
 
Research articles
  search articles
  reviews guidelines
  reviews
  articles index
My Pages
my alerts
  my messages
  my reviews
  my favorites
 
 
Stat
Members: 3643
Articles: 2'487'895
Articles rated: 2609

28 March 2024
 
  » » arxiv » 132534

 Article forum


The Sasaki Hook is not a [Static] Implicative Connective but Induces a Backward [in Time] Dynamic One that Assigns Causes
Bob Coecke ; Sonja Smets ;
Date 13 Nov 2001
Subject Quantum Physics; Mathematical Physics; Logic | quant-ph math-ph math.LO math.MP
AbstractIn this paper we argue that the Sasaki adjunction, which formally encodes the logicality that different authors tried to attach to the Sasaki hook as a `quantum implicative connective’, has a fundamental dynamic nature and encodes the so-called `causal duality’ (Coecke, Moore and Stubbe 2001; quant-ph/0009100) for the particular case of a quantum measurement with a projector as corresponding self-adjoint operator. In particular: The action of the Sasaki hook $(astackrel{S}{ o}-)$ for fixed antecedent $a$ assigns to some property ``the weakest cause before the measurement of actuality of that property after the measurement’’, i.e. ${(astackrel{S}{ o}b)}$ is the weakest property that guarantees actuality of $b$ after performing the measurement represented by the projector that has the `subspace $a$’ as eigenstates for eigenvalue 1, say, the measurement that `tests’ $a$ . From this we conclude that the logicality attributable to quantum systems contains a fundamentally dynamic ingredient: Causal duality actually provides a new dynamic interpretation of orthomodularity. We also reconsider the status of the Sasaki hook within `dynamic (operational) quantum logic’ (DOQL). We can derive two labeled dynamic hooks (forwardly and backwardly) that encode how quantum measurements act on properties. In an even more radical perspective one could say that the transition from either classical or constructive/intuitionistic logic to quantum logic entails besides the introduction of an additional unary connective `operational resolution’ (Coecke 2001a; math.LO/0011208) the shift from a binary connective implication to a ternary connective where two of the arguments refer to qualities of the system and the third, the new one, to an obtained outcome (in a measurement).
Source arXiv, quant-ph/0111076
Services Forum | Review | PDF | Favorites   
 

No message found in this article forum.  You have a question or message about this article? Ask the community and write a message in the forum.
If you want to rate this article, please use the review section..

Subject of your forum message:
Write your forum message below (min 50, max 2000 characters)

2000 characters left.
Please, read carefully your message since you cannot modify it after submitting.

  To add a message in the forum, you need to login or register first. (free): registration page






ScienXe.org
» my Online CV
» Free


News, job offers and information for researchers and scientists:
home  |  contact  |  terms of use  |  sitemap
Copyright © 2005-2024 - Scimetrica