Corpus ID: 11091296

Groupoid Semantics for Thermal Computing

  title={Groupoid Semantics for Thermal Computing},
  author={Krzysztof Bar and Jamie Vicary},
  • Krzysztof Bar, Jamie Vicary
  • Published 2014
  • Computer Science, Mathematics
  • ArXiv
  • A groupoid semantics is presented for systems with both logical and thermal degrees of freedom. We apply this to a syntactic model for encryption, and obtain an algebraic characterization of the heat produced by the encryption function, as predicted by Landauer's principle. Our model has a linear representation theory that reveals an underlying quantum semantics, giving for the first time a functorial classical model for quantum teleportation and other quantum phenomena. 

    Topics from this paper.

    Categorical Probabilistic Theories
    • 23
    • PDF
    Mixed quantum states in higher categories
    • 6
    • PDF
    Categorical quantum dynamics
    • 4
    • PDF
    A classical groupoid model for quantum networks
    • 1
    • PDF
    A 2-Categorical Analysis of Complementary Families, Quantum Key Distribution and the Mean King Problem
    • 1
    • PDF
    A Higher Categories Approach for Stochastic Modelling of Biological Processes
    A Classical Groupoid Model for Quantum Networks


    Publications referenced by this paper.
    Conservative logic
    • 1,762
    • PDF
    Categories for the Working Mathematician
    • 5,649
    • Highly Influential
    • PDF
    A categorical semantics of quantum protocols
    • 235
    Interacting Quantum Observables: Categorical Algebra and Diagrammatics
    • 268
    • PDF
    Une théorie combinatoire des séries formelles
    • 544
    A Survey of Graphical Languages for Monoidal Categories
    • 548
    • PDF
    Physics, Topology, Logic and Computation: A Rosetta Stone
    • 188
    • PDF