A Logical Basis for Quantum Evolution and Entanglement

Richard Blute, A Guglielmi, Ivan Ivanov, Prakash Panangaden, Lutz Straßburger

Research output: Chapter in Book/Report/Conference proceedingChapter

2 Citations (Scopus)

Abstract

We reconsider discrete quantum causal dynamics where quantum systems are viewed as discrete structures, namely directed acyclic graphs. In such a graph, events are considered as vertices and edges depict propagation between events. Evolution is described as happening between a special family of spacelike slices, which were referred to as locative slices. Such slices are not so large as to result in acausal influences, but large enough to capture nonlocal correlations.
In our logical interpretation, edges are assigned logical formulas in a special logical system, called BV, an instance of a deep inference system. We demonstrate that BV, with its mix of commutative and noncommutative connectives, is precisely the right logic for such analysis. We show that the commutative tensor encodes (possible) entanglement, and the noncommutative seq encodes causal precedence. With this interpretation, the locative slices are precisely the derivable strings of formulas. Several new technical results about BV are developed as part of this analysis.
LanguageEnglish
Title of host publicationCategories and Types in Logic, Language, and Physics
PublisherSpringer
Pages90-107
Number of pages18
Volume8222
DOIs
StatusPublished - 2014

Publication series

NameLecture Notes in Computer Science
PublisherSpringer
Volume8222

Fingerprint

inference
logic
apexes
strings
tensors
propagation

Cite this

Blute, R., Guglielmi, A., Ivanov, I., Panangaden, P., & Straßburger, L. (2014). A Logical Basis for Quantum Evolution and Entanglement. In Categories and Types in Logic, Language, and Physics (Vol. 8222, pp. 90-107). (Lecture Notes in Computer Science; Vol. 8222). Springer. https://doi.org/10.1007/978-3-642-54789-8_6

A Logical Basis for Quantum Evolution and Entanglement. / Blute, Richard; Guglielmi, A; Ivanov, Ivan; Panangaden, Prakash; Straßburger, Lutz.

Categories and Types in Logic, Language, and Physics. Vol. 8222 Springer, 2014. p. 90-107 (Lecture Notes in Computer Science; Vol. 8222).

Research output: Chapter in Book/Report/Conference proceedingChapter

Blute, R, Guglielmi, A, Ivanov, I, Panangaden, P & Straßburger, L 2014, A Logical Basis for Quantum Evolution and Entanglement. in Categories and Types in Logic, Language, and Physics. vol. 8222, Lecture Notes in Computer Science, vol. 8222, Springer, pp. 90-107. https://doi.org/10.1007/978-3-642-54789-8_6
Blute R, Guglielmi A, Ivanov I, Panangaden P, Straßburger L. A Logical Basis for Quantum Evolution and Entanglement. In Categories and Types in Logic, Language, and Physics. Vol. 8222. Springer. 2014. p. 90-107. (Lecture Notes in Computer Science). https://doi.org/10.1007/978-3-642-54789-8_6
Blute, Richard ; Guglielmi, A ; Ivanov, Ivan ; Panangaden, Prakash ; Straßburger, Lutz. / A Logical Basis for Quantum Evolution and Entanglement. Categories and Types in Logic, Language, and Physics. Vol. 8222 Springer, 2014. pp. 90-107 (Lecture Notes in Computer Science).
@inbook{feb6aa3443d94b42b11382d50f3f8f5d,
title = "A Logical Basis for Quantum Evolution and Entanglement",
abstract = "We reconsider discrete quantum causal dynamics where quantum systems are viewed as discrete structures, namely directed acyclic graphs. In such a graph, events are considered as vertices and edges depict propagation between events. Evolution is described as happening between a special family of spacelike slices, which were referred to as locative slices. Such slices are not so large as to result in acausal influences, but large enough to capture nonlocal correlations.In our logical interpretation, edges are assigned logical formulas in a special logical system, called BV, an instance of a deep inference system. We demonstrate that BV, with its mix of commutative and noncommutative connectives, is precisely the right logic for such analysis. We show that the commutative tensor encodes (possible) entanglement, and the noncommutative seq encodes causal precedence. With this interpretation, the locative slices are precisely the derivable strings of formulas. Several new technical results about BV are developed as part of this analysis.",
author = "Richard Blute and A Guglielmi and Ivan Ivanov and Prakash Panangaden and Lutz Stra{\ss}burger",
year = "2014",
doi = "10.1007/978-3-642-54789-8_6",
language = "English",
volume = "8222",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "90--107",
booktitle = "Categories and Types in Logic, Language, and Physics",

}

TY - CHAP

T1 - A Logical Basis for Quantum Evolution and Entanglement

AU - Blute, Richard

AU - Guglielmi, A

AU - Ivanov, Ivan

AU - Panangaden, Prakash

AU - Straßburger, Lutz

PY - 2014

Y1 - 2014

N2 - We reconsider discrete quantum causal dynamics where quantum systems are viewed as discrete structures, namely directed acyclic graphs. In such a graph, events are considered as vertices and edges depict propagation between events. Evolution is described as happening between a special family of spacelike slices, which were referred to as locative slices. Such slices are not so large as to result in acausal influences, but large enough to capture nonlocal correlations.In our logical interpretation, edges are assigned logical formulas in a special logical system, called BV, an instance of a deep inference system. We demonstrate that BV, with its mix of commutative and noncommutative connectives, is precisely the right logic for such analysis. We show that the commutative tensor encodes (possible) entanglement, and the noncommutative seq encodes causal precedence. With this interpretation, the locative slices are precisely the derivable strings of formulas. Several new technical results about BV are developed as part of this analysis.

AB - We reconsider discrete quantum causal dynamics where quantum systems are viewed as discrete structures, namely directed acyclic graphs. In such a graph, events are considered as vertices and edges depict propagation between events. Evolution is described as happening between a special family of spacelike slices, which were referred to as locative slices. Such slices are not so large as to result in acausal influences, but large enough to capture nonlocal correlations.In our logical interpretation, edges are assigned logical formulas in a special logical system, called BV, an instance of a deep inference system. We demonstrate that BV, with its mix of commutative and noncommutative connectives, is precisely the right logic for such analysis. We show that the commutative tensor encodes (possible) entanglement, and the noncommutative seq encodes causal precedence. With this interpretation, the locative slices are precisely the derivable strings of formulas. Several new technical results about BV are developed as part of this analysis.

UR - http://cs.bath.ac.uk/ag/p/LBQEE.pdf

UR - http://dx.doi.org/10.1007/978-3-642-54789-8_6

U2 - 10.1007/978-3-642-54789-8_6

DO - 10.1007/978-3-642-54789-8_6

M3 - Chapter

VL - 8222

T3 - Lecture Notes in Computer Science

SP - 90

EP - 107

BT - Categories and Types in Logic, Language, and Physics

PB - Springer

ER -