<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE article PUBLIC "-//TaxonX//DTD Taxonomic Treatment Publishing DTD v0 20100105//EN" "../../nlm/tax-treatment-NS0.dtd">
<article xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:tp="http://www.plazi.org/taxpub" article-type="research-article" dtd-version="3.0" xml:lang="en">
  <front>
    <journal-meta>
      <journal-id journal-id-type="publisher-id">109</journal-id>
      <journal-id journal-id-type="index">urn:lsid:arphahub.com:pub:3dc5f44e-8666-58db-bc76-a455210e8891</journal-id>
      <journal-title-group>
        <journal-title xml:lang="en">JUCS - Journal of Universal Computer Science</journal-title>
        <abbrev-journal-title xml:lang="en">jucs</abbrev-journal-title>
      </journal-title-group>
      <issn pub-type="ppub">0948-695X</issn>
      <issn pub-type="epub">0948-6968</issn>
      <publisher>
        <publisher-name>Journal of Universal Computer Science</publisher-name>
      </publisher>
    </journal-meta>
    <article-meta>
      <article-id pub-id-type="doi">10.3217/jucs-011-12-1884</article-id>
      <article-id pub-id-type="publisher-id">28515</article-id>
      <article-categories>
        <subj-group subj-group-type="heading">
          <subject>Research Article</subject>
        </subj-group>
        <subj-group subj-group-type="scientific_subject">
          <subject>F.1.1 - Models of Computation</subject>
          <subject>F.4.1 - Mathematical Logic</subject>
          <subject>G.1 - NUMERICAL ANALYSIS</subject>
        </subj-group>
      </article-categories>
      <title-group>
        <article-title>Computability of the Spectrum of Self-Adjoint Operators</article-title>
      </title-group>
      <contrib-group content-type="authors">
        <contrib contrib-type="author" corresp="yes">
          <name name-style="western">
            <surname>Brattka</surname>
            <given-names>Vasco</given-names>
          </name>
          <email xlink:type="simple">brattkav@maths.uct.ac.za</email>
          <xref ref-type="aff" rid="A1">1</xref>
        </contrib>
        <contrib contrib-type="author" corresp="no">
          <name name-style="western">
            <surname>Dillhage</surname>
            <given-names>Ruth</given-names>
          </name>
          <xref ref-type="aff" rid="A2">2</xref>
        </contrib>
      </contrib-group>
      <aff id="A1">
        <label>1</label>
        <addr-line content-type="verbatim">Laboratory of Foundational Aspects of Computer Science, Department of Mathematics and Applied Mathematics, University of Cape Town, , South Africa</addr-line>
        <institution>Laboratory of Foundational Aspects of Computer Science, Department of Mathematics and Applied Mathematics, University of Cape Town</institution>
        <country>South Africa</country>
      </aff>
      <aff id="A2">
        <label>2</label>
        <addr-line content-type="verbatim">Computability and Logic Group, Department of Computer Science, University of Hagen, , Germany</addr-line>
        <institution>Computability and Logic Group, Department of Computer Science, University of Hagen</institution>
        <country>Germany</country>
      </aff>
      <author-notes>
        <fn fn-type="corresp">
          <p>Corresponding author: Vasco Brattka (<email xlink:type="simple">brattkav@maths.uct.ac.za</email>).</p>
        </fn>
        <fn fn-type="edited-by">
          <p>Academic editor: </p>
        </fn>
      </author-notes>
      <pub-date pub-type="collection">
        <year>2005</year>
      </pub-date>
      <pub-date pub-type="epub">
        <day>28</day>
        <month>12</month>
        <year>2005</year>
      </pub-date>
      <volume>11</volume>
      <issue>12</issue>
      <fpage>1884</fpage>
      <lpage>1900</lpage>
      <uri content-type="arpha" xlink:href="http://openbiodiv.net/5ED7248B-910D-5C19-94CD-AEAE3BD3A287">5ED7248B-910D-5C19-94CD-AEAE3BD3A287</uri>
      <uri content-type="zenodo_dep_id" xlink:href="https://zenodo.org/record/6996904">6996904</uri>
      <permissions>
        <copyright-statement>Vasco Brattka, Ruth Dillhage</copyright-statement>
        <license license-type="creative-commons-attribution" xlink:href="" xlink:type="simple">
          <license-p>This article is freely available under the J.UCS Open Content License.</license-p>
        </license>
      </permissions>
      <abstract>
        <label>Abstract</label>
        <p>Self-adjoint operators and their spectra play a crucial role in analysis and physics. For instance, in quantum physics self-adjoint operators are used to describe measurements and the spectrum represents the set of possible measurement results. Therefore, it is a natural question whether the spectrum of a self-adjoint operator can be computed from a description of the operator. We prove that given a "program" of the operator one can obtain positive information on the spectrum as a compact set in the sense that a dense subset of the spectrum can be enumerated (or equivalently: its distance function can be computed from above) and a bound on the set can be computed. This generalizes some non-uniform results obtained by Pour-El and Richards, which imply that the spectrum of any computable self-adjoint operator is a recursively enumerable compact set. Additionally, we show that the spectrum of compact self-adjoint operators can even be computed in the sense that also negative information is available (i.e. the distance function can be fully computed). Finally, we also discuss computability properties of the resolvent map.</p>
      </abstract>
    </article-meta>
  </front>
</article>
