Computability in Basic Quantum Mechanics

Neumann, Eike; Pape, Martin; Streicher, Thomas

doi:10.23638/LMCS-14(2:14)2018

Journal article 883 views 53 downloads

Computability in Basic Quantum Mechanics

Eike Neumann

, Martin Pape, Thomas Streicher

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)

Check full text

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...

Full description

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

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><ORCID>0009-0003-2907-1566</ORCID><firstname>Eike</firstname><surname>Neumann</surname><name>Eike Neumann</name><active>true</active><ethesisStudent>false</ethesisStudent></author></swanseaauthors><date>2022-06-07</date><deptcode>MACS</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>Mathematics and Computer Science School</department><CollegeCode>COLLEGE CODE</CollegeCode><DepartmentCode>MACS</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><orcid>0009-0003-2907-1566</orcid><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 0009-0003-2907-1566 Eike Neumann Eike Neumann true false 2022-06-07 MACS 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 Mathematics and Computer Science School COLLEGE CODE MACS 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 0009-0003-2907-1566 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-19T07:58:26Z
_version_	1826917928329543680
score	11.056552

Computability in Basic Quantum Mechanics

Similar Items