Semantic Abstraction and Quantum Computation

被引：0
|
作者：
Di Pierro, Alessandra [1 ]
Wiklicky, Herbert [2 ]
机构：
[1] Univ Pisa, Dipartimento Informat, Pisa, Italy
[2] Imperial Coll, Dept Comp, London, England
来源：
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE | 2008年 / 210卷 / 0C期
关键词：
Probabilistic abstract interpretation; quantum measurement; quantum computation;
D O I：
10.1016/j.entcs.2008.04.017
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
We present a logico-algebraic approach to probabilistic abstract interpretation based on the ortholattice structure of the projective measurement operators in quantum mechanics. On this base, we present a novel interpretation of quantum measurement as a probabilistic abstraction showing that the measurement of a physical observable essentially corresponds to a static analysis of the observed property.
引用
收藏
页码：49 / 63
页数：15
相关论文
共 50 条
  • [1] Geometry of abstraction in quantum computation
    Pavlovic, Dusko
    [J]. MATHEMATICAL FOUNDATIONS OF INFORMATION FLOW, 2012, 71 : 233 - 267
  • [2] Semantic Techniques in Quantum Computation
    Verma, Rashmi
    [J]. JOURNAL OF DISCRETE MATHEMATICAL SCIENCES & CRYPTOGRAPHY, 2010, 13 (04): : 400 - 400
  • [3] WAYS OF ABSTRACTION + SEMANTIC
    OSBORNE, H
    [J]. BRITISH JOURNAL OF AESTHETICS, 1976, 16 (03): : 243 - 253
  • [4] Abstraction and semantic presuppositions
    Assadian, Bahram
    [J]. ANALYSIS, 2023, 83 (03): : 419 - 428
  • [5] THE ABSTRACTION OF FORM IN SEMANTIC CATEGORIES
    RUBIN, DC
    STOLTZFUS, ER
    WALL, KL
    [J]. MEMORY & COGNITION, 1991, 19 (01) : 1 - 7
  • [6] Distributional Measures of Semantic Abstraction
    Schulte Im Walde, Sabine
    Frassinelli, Diego
    [J]. FRONTIERS IN ARTIFICIAL INTELLIGENCE, 2022, 4
  • [7] Regions: An abstraction for expressing array computation
    Chamberlain, BL
    Lewis, EC
    Lin, C
    Snyder, L
    [J]. PROCEEDINGS OF THE APL99 CONFERENCE - APL99: ON TRACK TO THE 21ST CENTURY, 1999, 29 (02): : 41 - 49
  • [8] Analog Abstraction, Computation, and Numerical Analysis
    Hasler, Jennifer
    [J]. 2018 IEEE INTERNATIONAL SYMPOSIUM ON CIRCUITS AND SYSTEMS (ISCAS), 2018,
  • [9] Data abstraction for parallel adaptive computation
    Wu, Q
    Field, AJ
    Kelly, PHJ
    [J]. ABSTRACT MACHINE MODELS FOR PARALLEL AND DISTRIBUTED COMPUTING, 1996, : 105 - 118
  • [10] Efficient computation of small abstraction refinements
    Li, B
    Somenzi, F
    [J]. ICCAD-2004: INTERNATIONAL CONFERENCE ON COMPUTER AIDED DESIGN, IEEE/ACM DIGEST OF TECHNICAL PAPERS, 2004, : 518 - 525
12345