Quantum field theory and coalgebraic logic in theoretical computer science

被引:6
|
作者
Basti, Gianfranco [1 ]
Capolupo, Antonio [2 ]
Vitiello, Giuseppe [2 ]
机构
[1] Univ Lateranense, Dipartimento Filosofia, I-00184 Rome, Italy
[2] Univ Salerno, INFN, Grp Collegato Salerno, Dipartimento Fis ER Caianiello, I-84084 Fisciano, SA, Italy
关键词
Category Theory; Theoretical computer science; q-deformed Hopf Coalgebras; Thermal quantum field theory; Fibonacci progression; Topological quantum computing; NON-ABELIAN ANYONS; SELF-SIMILARITY; COHERENT STATES; DYNAMICS; SYSTEMS; THERMODYNAMICS; DISSIPATION; ALGEBRAS; FRACTALS; MEMORY;
D O I
10.1016/j.pbiomolbio.2017.04.006
中图分类号
Q5 [生物化学]; Q7 [分子生物学];
学科分类号
071010 ; 081704 ;
摘要
We suggest that in the framework of the Category Theory it is possible to demonstrate the mathematical and logical dual equivalence between the category of the q-deformed Hopf Coalgebras and the category of the q-deformed Hopf Algebras in quantum field theory (QFT), interpreted as a thermal field theory. Each pair algebra-coalgebra characterizes a QFT system and its mirroring thermal bath, respectively, so to model dissipative quantum systems in far-from-equilibrium conditions, with an evident significance also for biological sciences. Our study is in fact inspired by applications to neuroscience where the brain memory capacity, for instance, has been modeled by using the QFT unitarily inequivalent representations. The q-deformed Hopf Coalgebras and the q-deformed Hopf Algebras constitute two dual categories because characterized by the same functor T, related with the Bogoliubov transform, and by its contravariant application T-oP, respectively. The q-deformation parameter is related to the Bogoliubov angle, and it is effectively a thermal parameter. Therefore, the different values of q identify univocally, and label the vacua appearing in the foliation process of the quantum vacuum. This means that, in the framework of Universal Coalgebra, as general theory of dynamic and computing systems ("labelled state-transition systems"), the so labelled infinitely many quantum vacua can be interpreted as the Final Coalgebra of an "Infinite State Black-Box Machine". All this opens the way to the possibility of designing a new class of universal quantum computing architectures based on this coalgebraic QFT formulation, as its ability of naturally generating a Fibonacci progression demonstrates. (C) 2017 Elsevier Ltd. All rights reserved.
引用
收藏
页码:39 / 52
页数:14
相关论文
共 50 条
  • [1] Theoretical computer science - Logic, semantics and theory of programming
    Cerone, A
    Di Pierro, A
    [J]. THEORETICAL COMPUTER SCIENCE, 2005, 346 (01) : 1 - 2
  • [2] Theoretical Computer Science Logic, semantics and theory of programming Preface
    Bethke, Inge
    Ponse, Alban
    Rodenburg, Piet H.
    [J]. THEORETICAL COMPUTER SCIENCE, 2011, 412 (28) : 3033 - 3034
  • [3] Theoretical computer science - Logic, semantics and theory of programming - Preface
    Berger, U
    Niggl, KH
    Reus, B
    [J]. THEORETICAL COMPUTER SCIENCE, 2001, 264 (02) : 169 - 169
  • [4] Fibred Coalgebraic Logic and Quantum Protocols
    Marsden, Daniel
    [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2014, (171): : 90 - 99
  • [5] Coalgebraic methods in computer science - Foreword
    Jacobs, B
    Rutten, J
    [J]. THEORETICAL COMPUTER SCIENCE, 2002, 280 (1-2) : 1 - 1
  • [6] ProB and Jupyter for Logic, Set Theory, Theoretical Computer Science and Formal Methods
    Gelessus, David
    Leuschel, Michael
    [J]. RIGOROUS STATE-BASED METHODS, ABZ 2020, 2020, 12071 : 248 - 254
  • [7] COALGEBRAIC GEOMETRIC LOGIC: BASIC THEORY
    Bezhanishvili, Nick
    De Groot, Jim
    Venema, Yde
    [J]. LOGICAL METHODS IN COMPUTER SCIENCE, 2022, 18 (04)
  • [8] Coalgebraic methods in computer science - Foreword
    Jacobs, B
    Moss, L
    Reichel, H
    Rutten, J
    [J]. THEORETICAL COMPUTER SCIENCE, 2001, 260 (1-2) : 1 - 1
  • [9] Coalgebraic Methods in Computer Science Preface
    Bonsangue, Marcello
    [J]. THEORETICAL COMPUTER SCIENCE, 2015, 604 : 1 - 1
  • [10] From logic to theoretical computer science - An update
    Trakhtenbrot, Boris A.
    [J]. PILLARS OF COMPUTER SCIENCE, 2008, 4800 : 1 - 38