Journal article 690 views 33 downloads
Computability in Basic Quantum Mechanics
Logical Methods in Computer Science, Volume: 14, Issue: 2
Swansea University Author: Eike Neumann
-
PDF | Version of Record
Copyright: E. Neumann, M. Pape, and T. Streicher. This work is licensed under the Creative Commons Attribution License. To view a copy of this license
Download (433.89KB)
DOI (Published version): 10.23638/LMCS-14(2:14)2018
Abstract
The basic notions of quantum mechanics are formulated in terms of separable infinite dimensional Hilbert space H. In terms of the Hilbert lattice L of closed linear subspaces of H the notions of state and observable can be formulated as kinds of measures as in [21]. The aim of this paper is to show...
Published in: | Logical Methods in Computer Science |
---|---|
ISSN: | 1860-5974 |
Published: |
2018
|
Online Access: |
Check full text
|
URI: | https://cronfa.swan.ac.uk/Record/cronfa60139 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
first_indexed |
2022-06-07T12:17:17Z |
---|---|
last_indexed |
2023-01-11T14:41:54Z |
id |
cronfa60139 |
recordtype |
SURis |
fullrecord |
<?xml version="1.0"?><rfc1807><datestamp>2022-07-07T11:20:57.1430098</datestamp><bib-version>v2</bib-version><id>60139</id><entry>2022-06-07</entry><title>Computability in Basic Quantum Mechanics</title><swanseaauthors><author><sid>1bf535eaa8d6fcdfbd464a511c1c0c78</sid><firstname>Eike</firstname><surname>Neumann</surname><name>Eike Neumann</name><active>true</active><ethesisStudent>false</ethesisStudent></author></swanseaauthors><date>2022-06-07</date><deptcode>SCS</deptcode><abstract>The basic notions of quantum mechanics are formulated in terms of separable infinite dimensional Hilbert space H. In terms of the Hilbert lattice L of closed linear subspaces of H the notions of state and observable can be formulated as kinds of measures as in [21]. The aim of this paper is to show that there is a good notion of computability for these data structures in the sense of Weihrauch's Type Two Effectivity (TTE) [26]. Instead of explicitly exhibiting admissible representations for the data types under consideration we show that they do live within the category QCB0 which is equivalent to the category AdmRep of admissible representations and continuously realizable maps between them. For this purpose in case of observables we have to replace measures by valuations which allows us to prove an effective version of von Neumann's Spectral Theorem.</abstract><type>Journal Article</type><journal>Logical Methods in Computer Science</journal><volume>14</volume><journalNumber>2</journalNumber><paginationStart/><paginationEnd/><publisher/><placeOfPublication/><isbnPrint/><isbnElectronic/><issnPrint>1860-5974</issnPrint><issnElectronic/><keywords/><publishedDay>19</publishedDay><publishedMonth>6</publishedMonth><publishedYear>2018</publishedYear><publishedDate>2018-06-19</publishedDate><doi>10.23638/LMCS-14(2:14)2018</doi><url/><notes/><college>COLLEGE NANME</college><department>Computer Science</department><CollegeCode>COLLEGE CODE</CollegeCode><DepartmentCode>SCS</DepartmentCode><institution>Swansea University</institution><apcterm/><lastEdited>2022-07-07T11:20:57.1430098</lastEdited><Created>2022-06-07T13:13:15.4543042</Created><path><level id="1">Faculty of Science and Engineering</level><level id="2">School of Mathematics and Computer Science - Computer Science</level></path><authors><author><firstname>Eike</firstname><surname>Neumann</surname><order>1</order></author><author><firstname>Martin</firstname><surname>Pape</surname><order>2</order></author><author><firstname>Thomas</firstname><surname>Streicher</surname><order>3</order></author></authors><documents><document><filename>60139__24471__20f7c590481646e09513131ea191da9e.pdf</filename><originalFilename>60139_VoR.pdf</originalFilename><uploaded>2022-07-07T11:19:18.9733962</uploaded><type>Output</type><contentLength>444299</contentLength><contentType>application/pdf</contentType><version>Version of Record</version><cronfaStatus>true</cronfaStatus><documentNotes>Copyright: E. Neumann, M. Pape, and T. Streicher. This work is licensed under the Creative Commons Attribution License. To view a copy of this license</documentNotes><copyrightCorrect>true</copyrightCorrect><language>eng</language><licence>https://creativecommons.org/licenses/by/4.0/</licence></document></documents><OutputDurs/></rfc1807> |
spelling |
2022-07-07T11:20:57.1430098 v2 60139 2022-06-07 Computability in Basic Quantum Mechanics 1bf535eaa8d6fcdfbd464a511c1c0c78 Eike Neumann Eike Neumann true false 2022-06-07 SCS The basic notions of quantum mechanics are formulated in terms of separable infinite dimensional Hilbert space H. In terms of the Hilbert lattice L of closed linear subspaces of H the notions of state and observable can be formulated as kinds of measures as in [21]. The aim of this paper is to show that there is a good notion of computability for these data structures in the sense of Weihrauch's Type Two Effectivity (TTE) [26]. Instead of explicitly exhibiting admissible representations for the data types under consideration we show that they do live within the category QCB0 which is equivalent to the category AdmRep of admissible representations and continuously realizable maps between them. For this purpose in case of observables we have to replace measures by valuations which allows us to prove an effective version of von Neumann's Spectral Theorem. Journal Article Logical Methods in Computer Science 14 2 1860-5974 19 6 2018 2018-06-19 10.23638/LMCS-14(2:14)2018 COLLEGE NANME Computer Science COLLEGE CODE SCS Swansea University 2022-07-07T11:20:57.1430098 2022-06-07T13:13:15.4543042 Faculty of Science and Engineering School of Mathematics and Computer Science - Computer Science Eike Neumann 1 Martin Pape 2 Thomas Streicher 3 60139__24471__20f7c590481646e09513131ea191da9e.pdf 60139_VoR.pdf 2022-07-07T11:19:18.9733962 Output 444299 application/pdf Version of Record true Copyright: E. Neumann, M. Pape, and T. Streicher. This work is licensed under the Creative Commons Attribution License. To view a copy of this license true eng https://creativecommons.org/licenses/by/4.0/ |
title |
Computability in Basic Quantum Mechanics |
spellingShingle |
Computability in Basic Quantum Mechanics Eike Neumann |
title_short |
Computability in Basic Quantum Mechanics |
title_full |
Computability in Basic Quantum Mechanics |
title_fullStr |
Computability in Basic Quantum Mechanics |
title_full_unstemmed |
Computability in Basic Quantum Mechanics |
title_sort |
Computability in Basic Quantum Mechanics |
author_id_str_mv |
1bf535eaa8d6fcdfbd464a511c1c0c78 |
author_id_fullname_str_mv |
1bf535eaa8d6fcdfbd464a511c1c0c78_***_Eike Neumann |
author |
Eike Neumann |
author2 |
Eike Neumann Martin Pape Thomas Streicher |
format |
Journal article |
container_title |
Logical Methods in Computer Science |
container_volume |
14 |
container_issue |
2 |
publishDate |
2018 |
institution |
Swansea University |
issn |
1860-5974 |
doi_str_mv |
10.23638/LMCS-14(2:14)2018 |
college_str |
Faculty of Science and Engineering |
hierarchytype |
|
hierarchy_top_id |
facultyofscienceandengineering |
hierarchy_top_title |
Faculty of Science and Engineering |
hierarchy_parent_id |
facultyofscienceandengineering |
hierarchy_parent_title |
Faculty of Science and Engineering |
department_str |
School of Mathematics and Computer Science - Computer Science{{{_:::_}}}Faculty of Science and Engineering{{{_:::_}}}School of Mathematics and Computer Science - Computer Science |
document_store_str |
1 |
active_str |
0 |
description |
The basic notions of quantum mechanics are formulated in terms of separable infinite dimensional Hilbert space H. In terms of the Hilbert lattice L of closed linear subspaces of H the notions of state and observable can be formulated as kinds of measures as in [21]. The aim of this paper is to show that there is a good notion of computability for these data structures in the sense of Weihrauch's Type Two Effectivity (TTE) [26]. Instead of explicitly exhibiting admissible representations for the data types under consideration we show that they do live within the category QCB0 which is equivalent to the category AdmRep of admissible representations and continuously realizable maps between them. For this purpose in case of observables we have to replace measures by valuations which allows us to prove an effective version of von Neumann's Spectral Theorem. |
published_date |
2018-06-19T04:18:00Z |
_version_ |
1763754199263215616 |
score |
11.021648 |