Typing Quantum Superpositions and Measurement View Full Text


Ontology type: schema:Chapter      Open Access: True


Chapter Info

DATE

2017-11-19

AUTHORS

Alejandro Díaz-Caro , Gilles Dowek

ABSTRACT

We propose a way to unify two approaches of non-cloning in quantum lambda-calculi. The first approach is to forbid duplicating variables, while the second is to consider all lambda-terms as algebraic-linear functions. We illustrate this idea by defining a quantum extension of first-order simply-typed lambda-calculus, where the type is linear on superposition, while allows cloning base vectors. In addition, we provide an interpretation of the calculus where superposed types are interpreted as vector spaces and non-superposed types as their basis. More... »

PAGES

281-293

References to SciGraph publications

  • 2012. Linearity in the Non-deterministic Call-by-Value Setting in LOGIC, LANGUAGE, INFORMATION AND COMPUTATION
  • Book

    TITLE

    Theory and Practice of Natural Computing

    ISBN

    978-3-319-71068-6
    978-3-319-71069-3

    Identifiers

    URI

    http://scigraph.springernature.com/pub.10.1007/978-3-319-71069-3_22

    DOI

    http://dx.doi.org/10.1007/978-3-319-71069-3_22

    DIMENSIONS

    https://app.dimensions.ai/details/publication/pub.1092754948


    Indexing Status Check whether this publication has been indexed by Scopus and Web Of Science using the SN Indexing Status Tool
    Incoming Citations Browse incoming citations for this publication using opencitations.net

    JSON-LD is the canonical representation for SciGraph data.

    TIP: You can open this SciGraph record using an external JSON-LD service: JSON-LD Playground Google SDTT

    [
      {
        "@context": "https://springernature.github.io/scigraph/jsonld/sgcontext.json", 
        "about": [
          {
            "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/0101", 
            "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
            "name": "Pure Mathematics", 
            "type": "DefinedTerm"
          }, 
          {
            "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/01", 
            "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
            "name": "Mathematical Sciences", 
            "type": "DefinedTerm"
          }
        ], 
        "author": [
          {
            "affiliation": {
              "alternateName": "National University of Quilmes", 
              "id": "https://www.grid.ac/institutes/grid.11560.33", 
              "name": [
                "Universidad Nacional de Quilmes and CONICET, Roque S\u00e1enz Pe\u00f1a 352, B1876BXD, Bernal, Buenos Aires, Argentina"
              ], 
              "type": "Organization"
            }, 
            "familyName": "D\u00edaz-Caro", 
            "givenName": "Alejandro", 
            "id": "sg:person.013447702720.46", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013447702720.46"
            ], 
            "type": "Person"
          }, 
          {
            "affiliation": {
              "alternateName": "Laboratoire Sp\u00e9cification et V\u00e9rification", 
              "id": "https://www.grid.ac/institutes/grid.464035.0", 
              "name": [
                "Inria, LSV, ENS Paris-Saclay, 61, avenue du Pr\u00e9sident Wilson, 94235, Cachan Cedex, France"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Dowek", 
            "givenName": "Gilles", 
            "id": "sg:person.010061201407.37", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.010061201407.37"
            ], 
            "type": "Person"
          }
        ], 
        "citation": [
          {
            "id": "https://doi.org/10.1145/322248.322251", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1010290207"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/0304-3975(93)90181-r", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1016597929"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/0304-3975(87)90045-4", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1030539676"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1017/cbo9781139193313.005", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1035626161"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1017/s0960129514000425", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1037597506"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-642-32621-9_16", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1039629279", 
              "https://doi.org/10.1007/978-3-642-32621-9_16"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1145/2491956.2462177", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1050833834"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.2168/lmcs-10(4:8)2014", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1069150740"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.2168/lmcs-8(1:11)2012", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1069151150"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/j.ic.2017.04.001", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1085044816"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1109/lics.2005.1", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1095823159"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1145/2535838.2535879", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1098915369"
            ], 
            "type": "CreativeWork"
          }
        ], 
        "datePublished": "2017-11-19", 
        "datePublishedReg": "2017-11-19", 
        "description": "We propose a way to unify two approaches of non-cloning in quantum lambda-calculi. The first approach is to forbid duplicating variables, while the second is to consider all lambda-terms as algebraic-linear functions. We illustrate this idea by defining a quantum extension of first-order simply-typed lambda-calculus, where the type is linear on superposition, while allows cloning base vectors. In addition, we provide an interpretation of the calculus where superposed types are interpreted as vector spaces and non-superposed types as their basis.", 
        "editor": [
          {
            "familyName": "Mart\u00edn-Vide", 
            "givenName": "Carlos", 
            "type": "Person"
          }, 
          {
            "familyName": "Neruda", 
            "givenName": "Roman", 
            "type": "Person"
          }, 
          {
            "familyName": "Vega-Rodr\u00edguez", 
            "givenName": "Miguel A.", 
            "type": "Person"
          }
        ], 
        "genre": "chapter", 
        "id": "sg:pub.10.1007/978-3-319-71069-3_22", 
        "inLanguage": [
          "en"
        ], 
        "isAccessibleForFree": true, 
        "isPartOf": {
          "isbn": [
            "978-3-319-71068-6", 
            "978-3-319-71069-3"
          ], 
          "name": "Theory and Practice of Natural Computing", 
          "type": "Book"
        }, 
        "name": "Typing Quantum Superpositions and Measurement", 
        "pagination": "281-293", 
        "productId": [
          {
            "name": "doi", 
            "type": "PropertyValue", 
            "value": [
              "10.1007/978-3-319-71069-3_22"
            ]
          }, 
          {
            "name": "readcube_id", 
            "type": "PropertyValue", 
            "value": [
              "223ebbcff5c3e2755b1277715e1a5379a4958a67157b2c4e3599239685210f9a"
            ]
          }, 
          {
            "name": "dimensions_id", 
            "type": "PropertyValue", 
            "value": [
              "pub.1092754948"
            ]
          }
        ], 
        "publisher": {
          "location": "Cham", 
          "name": "Springer International Publishing", 
          "type": "Organisation"
        }, 
        "sameAs": [
          "https://doi.org/10.1007/978-3-319-71069-3_22", 
          "https://app.dimensions.ai/details/publication/pub.1092754948"
        ], 
        "sdDataset": "chapters", 
        "sdDatePublished": "2019-04-16T05:00", 
        "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
        "sdPublisher": {
          "name": "Springer Nature - SN SciGraph project", 
          "type": "Organization"
        }, 
        "sdSource": "s3://com-uberresearch-data-dimensions-target-20181106-alternative/cleanup/v134/2549eaecd7973599484d7c17b260dba0a4ecb94b/merge/v9/a6c9fde33151104705d4d7ff012ea9563521a3ce/jats-lookup/v90/0000000325_0000000325/records_100797_00000000.jsonl", 
        "type": "Chapter", 
        "url": "https://link.springer.com/10.1007%2F978-3-319-71069-3_22"
      }
    ]
     

    Download the RDF metadata as:  json-ld nt turtle xml License info

    HOW TO GET THIS DATA PROGRAMMATICALLY:

    JSON-LD is a popular format for linked data which is fully compatible with JSON.

    curl -H 'Accept: application/ld+json' 'https://scigraph.springernature.com/pub.10.1007/978-3-319-71069-3_22'

    N-Triples is a line-based linked data format ideal for batch operations.

    curl -H 'Accept: application/n-triples' 'https://scigraph.springernature.com/pub.10.1007/978-3-319-71069-3_22'

    Turtle is a human-readable linked data format.

    curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/978-3-319-71069-3_22'

    RDF/XML is a standard XML format for linked data.

    curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/pub.10.1007/978-3-319-71069-3_22'


     

    This table displays all metadata directly associated to this object as RDF triples.

    122 TRIPLES      23 PREDICATES      38 URIs      19 LITERALS      8 BLANK NODES

    Subject Predicate Object
    1 sg:pub.10.1007/978-3-319-71069-3_22 schema:about anzsrc-for:01
    2 anzsrc-for:0101
    3 schema:author Nefc57ddb219345af9cfc5f98fc6c8465
    4 schema:citation sg:pub.10.1007/978-3-642-32621-9_16
    5 https://doi.org/10.1016/0304-3975(87)90045-4
    6 https://doi.org/10.1016/0304-3975(93)90181-r
    7 https://doi.org/10.1016/j.ic.2017.04.001
    8 https://doi.org/10.1017/cbo9781139193313.005
    9 https://doi.org/10.1017/s0960129514000425
    10 https://doi.org/10.1109/lics.2005.1
    11 https://doi.org/10.1145/2491956.2462177
    12 https://doi.org/10.1145/2535838.2535879
    13 https://doi.org/10.1145/322248.322251
    14 https://doi.org/10.2168/lmcs-10(4:8)2014
    15 https://doi.org/10.2168/lmcs-8(1:11)2012
    16 schema:datePublished 2017-11-19
    17 schema:datePublishedReg 2017-11-19
    18 schema:description We propose a way to unify two approaches of non-cloning in quantum lambda-calculi. The first approach is to forbid duplicating variables, while the second is to consider all lambda-terms as algebraic-linear functions. We illustrate this idea by defining a quantum extension of first-order simply-typed lambda-calculus, where the type is linear on superposition, while allows cloning base vectors. In addition, we provide an interpretation of the calculus where superposed types are interpreted as vector spaces and non-superposed types as their basis.
    19 schema:editor N6460b339960a456689eec14bf9a1b3e9
    20 schema:genre chapter
    21 schema:inLanguage en
    22 schema:isAccessibleForFree true
    23 schema:isPartOf N8c53227fc50043f590ccc514dce8c877
    24 schema:name Typing Quantum Superpositions and Measurement
    25 schema:pagination 281-293
    26 schema:productId N603340bc99af45e3abe6ce6e992a9fcc
    27 N9bbc3c444fa24a7d865ee9e27b370956
    28 Na15e6e4e28eb482b9453884a7c501730
    29 schema:publisher N05c9f1946ea149d6a34adb188762a0d0
    30 schema:sameAs https://app.dimensions.ai/details/publication/pub.1092754948
    31 https://doi.org/10.1007/978-3-319-71069-3_22
    32 schema:sdDatePublished 2019-04-16T05:00
    33 schema:sdLicense https://scigraph.springernature.com/explorer/license/
    34 schema:sdPublisher Nc52a4da31cad4cea9d88bfd9f94ae4ae
    35 schema:url https://link.springer.com/10.1007%2F978-3-319-71069-3_22
    36 sgo:license sg:explorer/license/
    37 sgo:sdDataset chapters
    38 rdf:type schema:Chapter
    39 N05c9f1946ea149d6a34adb188762a0d0 schema:location Cham
    40 schema:name Springer International Publishing
    41 rdf:type schema:Organisation
    42 N11683e4fdecf429c869a3bc476d86f6d rdf:first N6f7a4863352f4bc28ac83b66748aa096
    43 rdf:rest rdf:nil
    44 N1b0b30ea7308412fa42e4ea18f2d1c1e schema:familyName Martín-Vide
    45 schema:givenName Carlos
    46 rdf:type schema:Person
    47 N2ec2ad3403e9478e96c2a4a8ac09faf7 rdf:first sg:person.010061201407.37
    48 rdf:rest rdf:nil
    49 N603340bc99af45e3abe6ce6e992a9fcc schema:name dimensions_id
    50 schema:value pub.1092754948
    51 rdf:type schema:PropertyValue
    52 N6460b339960a456689eec14bf9a1b3e9 rdf:first N1b0b30ea7308412fa42e4ea18f2d1c1e
    53 rdf:rest Na8fbd2c996d443da8f79c57a2572cbb3
    54 N6f7a4863352f4bc28ac83b66748aa096 schema:familyName Vega-Rodríguez
    55 schema:givenName Miguel A.
    56 rdf:type schema:Person
    57 N8c53227fc50043f590ccc514dce8c877 schema:isbn 978-3-319-71068-6
    58 978-3-319-71069-3
    59 schema:name Theory and Practice of Natural Computing
    60 rdf:type schema:Book
    61 N9bbc3c444fa24a7d865ee9e27b370956 schema:name readcube_id
    62 schema:value 223ebbcff5c3e2755b1277715e1a5379a4958a67157b2c4e3599239685210f9a
    63 rdf:type schema:PropertyValue
    64 Na15e6e4e28eb482b9453884a7c501730 schema:name doi
    65 schema:value 10.1007/978-3-319-71069-3_22
    66 rdf:type schema:PropertyValue
    67 Na8fbd2c996d443da8f79c57a2572cbb3 rdf:first Nbfe8f0bdb754461bb8bf7efeba31fff0
    68 rdf:rest N11683e4fdecf429c869a3bc476d86f6d
    69 Nbfe8f0bdb754461bb8bf7efeba31fff0 schema:familyName Neruda
    70 schema:givenName Roman
    71 rdf:type schema:Person
    72 Nc52a4da31cad4cea9d88bfd9f94ae4ae schema:name Springer Nature - SN SciGraph project
    73 rdf:type schema:Organization
    74 Nefc57ddb219345af9cfc5f98fc6c8465 rdf:first sg:person.013447702720.46
    75 rdf:rest N2ec2ad3403e9478e96c2a4a8ac09faf7
    76 anzsrc-for:01 schema:inDefinedTermSet anzsrc-for:
    77 schema:name Mathematical Sciences
    78 rdf:type schema:DefinedTerm
    79 anzsrc-for:0101 schema:inDefinedTermSet anzsrc-for:
    80 schema:name Pure Mathematics
    81 rdf:type schema:DefinedTerm
    82 sg:person.010061201407.37 schema:affiliation https://www.grid.ac/institutes/grid.464035.0
    83 schema:familyName Dowek
    84 schema:givenName Gilles
    85 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.010061201407.37
    86 rdf:type schema:Person
    87 sg:person.013447702720.46 schema:affiliation https://www.grid.ac/institutes/grid.11560.33
    88 schema:familyName Díaz-Caro
    89 schema:givenName Alejandro
    90 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013447702720.46
    91 rdf:type schema:Person
    92 sg:pub.10.1007/978-3-642-32621-9_16 schema:sameAs https://app.dimensions.ai/details/publication/pub.1039629279
    93 https://doi.org/10.1007/978-3-642-32621-9_16
    94 rdf:type schema:CreativeWork
    95 https://doi.org/10.1016/0304-3975(87)90045-4 schema:sameAs https://app.dimensions.ai/details/publication/pub.1030539676
    96 rdf:type schema:CreativeWork
    97 https://doi.org/10.1016/0304-3975(93)90181-r schema:sameAs https://app.dimensions.ai/details/publication/pub.1016597929
    98 rdf:type schema:CreativeWork
    99 https://doi.org/10.1016/j.ic.2017.04.001 schema:sameAs https://app.dimensions.ai/details/publication/pub.1085044816
    100 rdf:type schema:CreativeWork
    101 https://doi.org/10.1017/cbo9781139193313.005 schema:sameAs https://app.dimensions.ai/details/publication/pub.1035626161
    102 rdf:type schema:CreativeWork
    103 https://doi.org/10.1017/s0960129514000425 schema:sameAs https://app.dimensions.ai/details/publication/pub.1037597506
    104 rdf:type schema:CreativeWork
    105 https://doi.org/10.1109/lics.2005.1 schema:sameAs https://app.dimensions.ai/details/publication/pub.1095823159
    106 rdf:type schema:CreativeWork
    107 https://doi.org/10.1145/2491956.2462177 schema:sameAs https://app.dimensions.ai/details/publication/pub.1050833834
    108 rdf:type schema:CreativeWork
    109 https://doi.org/10.1145/2535838.2535879 schema:sameAs https://app.dimensions.ai/details/publication/pub.1098915369
    110 rdf:type schema:CreativeWork
    111 https://doi.org/10.1145/322248.322251 schema:sameAs https://app.dimensions.ai/details/publication/pub.1010290207
    112 rdf:type schema:CreativeWork
    113 https://doi.org/10.2168/lmcs-10(4:8)2014 schema:sameAs https://app.dimensions.ai/details/publication/pub.1069150740
    114 rdf:type schema:CreativeWork
    115 https://doi.org/10.2168/lmcs-8(1:11)2012 schema:sameAs https://app.dimensions.ai/details/publication/pub.1069151150
    116 rdf:type schema:CreativeWork
    117 https://www.grid.ac/institutes/grid.11560.33 schema:alternateName National University of Quilmes
    118 schema:name Universidad Nacional de Quilmes and CONICET, Roque Sáenz Peña 352, B1876BXD, Bernal, Buenos Aires, Argentina
    119 rdf:type schema:Organization
    120 https://www.grid.ac/institutes/grid.464035.0 schema:alternateName Laboratoire Spécification et Vérification
    121 schema:name Inria, LSV, ENS Paris-Saclay, 61, avenue du Président Wilson, 94235, Cachan Cedex, France
    122 rdf:type schema:Organization
     




    Preview window. Press ESC to close (or click here)


    ...