### Abstract

Language | English |
---|---|

Title of host publication | Logic in Computer Science (LICS), 2012 27th Annual IEEE Symposium on |

Place of Publication | Piscataway, NJ |

Publisher | IEEE |

Pages | 245-254 |

Number of pages | 10 |

ISBN (Print) | 9781467322638 |

DOIs | |

Publication status | Published - 2012 |

Event | 27th Annual IEEE Symposium on Logic in Computer Science. (LiCS2012) - , Croatia Duration: 25 Jun 2012 → … |

### Conference

Conference | 27th Annual IEEE Symposium on Logic in Computer Science. (LiCS2012) |
---|---|

Country | Croatia |

Period | 25/06/12 → … |

### Fingerprint

### Cite this

*Logic in Computer Science (LICS), 2012 27th Annual IEEE Symposium on*(pp. 245-254). Piscataway, NJ: IEEE. https://doi.org/10.1109/LICS.2012.35

}

*Logic in Computer Science (LICS), 2012 27th Annual IEEE Symposium on .*IEEE, Piscataway, NJ, pp. 245-254, 27th Annual IEEE Symposium on Logic in Computer Science. (LiCS2012), Croatia, 25/06/12. https://doi.org/10.1109/LICS.2012.35

**Strong complementarity and non-locality in categorical quantum mechanics.** / Coecke, Bob; Duncan, Ross; Kissinger, Aleks; Wang, Quanlong.

Research output: Chapter in Book/Report/Conference proceeding › Chapter

TY - CHAP

T1 - Strong complementarity and non-locality in categorical quantum mechanics

AU - Coecke, Bob

AU - Duncan, Ross

AU - Kissinger, Aleks

AU - Wang, Quanlong

N1 - Proceedings of the 27th Annual IEEE Symposium on Logic in Computer Science. (LiCS2012) pp 245--254 IEEE Computer Society Press

PY - 2012

Y1 - 2012

N2 - Categorical quantum mechanics studies quantum theory in the framework of dagger-compact closed categories. Using this framework, we establish a tight relationship between two key quantum theoretical notions: non-locality and complementarity. In particular, we establish a direct connection between Mermin-type non-locality scenarios, which we generalise to an arbitrary number of parties, using systems of arbitrary dimension, and performing arbitrary measurements, and a new stronger notion of complementarity which we introduce here. Our derivation of the fact that strong complementarity is a necessary condition for a Mermin scenario provides a crisp operational interpretation for strong complementarity. We also provide a complete classification of strongly complementary observables for quantum theory, something which has not yet been achieved for ordinary complementarity. Since our main results are expressed in the (diagrammatic) language of dagger-compact categories, they can be applied outside of quantum theory, in any setting which supports the purely algebraic notion of strongly complementary observables. We have therefore introduced a method for discussing non-locality in a wide variety of models in addition to quantum theory. The diagrammatic calculus substantially simplifies (and sometimes even trivialises) many of the derivations, and provides new insights. In particular, the diagrammatic computation of correlations clearly shows how local measurements interact to yield a global overall effect. In other words, we depict non-locality.

AB - Categorical quantum mechanics studies quantum theory in the framework of dagger-compact closed categories. Using this framework, we establish a tight relationship between two key quantum theoretical notions: non-locality and complementarity. In particular, we establish a direct connection between Mermin-type non-locality scenarios, which we generalise to an arbitrary number of parties, using systems of arbitrary dimension, and performing arbitrary measurements, and a new stronger notion of complementarity which we introduce here. Our derivation of the fact that strong complementarity is a necessary condition for a Mermin scenario provides a crisp operational interpretation for strong complementarity. We also provide a complete classification of strongly complementary observables for quantum theory, something which has not yet been achieved for ordinary complementarity. Since our main results are expressed in the (diagrammatic) language of dagger-compact categories, they can be applied outside of quantum theory, in any setting which supports the purely algebraic notion of strongly complementary observables. We have therefore introduced a method for discussing non-locality in a wide variety of models in addition to quantum theory. The diagrammatic calculus substantially simplifies (and sometimes even trivialises) many of the derivations, and provides new insights. In particular, the diagrammatic computation of correlations clearly shows how local measurements interact to yield a global overall effect. In other words, we depict non-locality.

UR - http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6275587

U2 - 10.1109/LICS.2012.35

DO - 10.1109/LICS.2012.35

M3 - Chapter

SN - 9781467322638

SP - 245

EP - 254

BT - Logic in Computer Science (LICS), 2012 27th Annual IEEE Symposium on

PB - IEEE

CY - Piscataway, NJ

ER -