Research

Knots In Washington XXVIII
Knots In Washington XXVIII

 

Publications

  • Logic and Algebraic Structures in Quantum Computing, eds. Jennifer Chubb, Ali Eskandarian, and Valentina Harizanov, Cambridge University Press, 336 pp., 2016.
    Contributors include: Allen Stairs (U. of Maryland), William C. Parke (GWU), Adam Brandenburger (New York U.), H. Jerome Keisler, (U. of Wisconsin) Samson Abramsky (U. of Oxford, UK), Chris Heunen (U. of Oxford, UK), Bart Jacobs (Radbound U. Nijmegen, Netherlands), Jorik Mandemaker (Radbound U. Nijmegen, Netherlands), Andreas Döring (U. of Oxford, UK), Bob Coecke (U. of Oxford, UK), Dimitri Kartsaklis (Queen Mary U. of London, UK), Mehrnoosh Sadrzadeh (U. of Oxford, UK), Stephen Pulman (U. of Oxford, UK), Louis H. Kauffman (U. of Illinois at Chicago).

    J. Chubb, A. Eskandarian, and V. Harizanov, Introduction
    J. Chubb and V. Harizanov: A (very) brief tour of quantum mechnics, computation, and category theory
    A. Stairs: Could logic be empirical? The Putnam-Kripke debate
    W. Parke: The essence of quantum theory for computers
    A. Brandenburger and J.Keisler: Fiber products of measures and quantum foundations
    S. Abramsky and C. Heunen: Operational theories and categorical quantum mechanics
    B. Jacobs and J. Mandemaker: Relating operator spaces via adjunctions
    A. Döring: Topos-based logic for quantum systems and bi-Heyting algebras
    B. Coecke: The logic of quantum mechanics – Take II
    D. Kartsaklis, M. Sadrzadeh, S. Pulman, B. Coecke, Reasoning about meaning in natural language with compact closed categories and Frobenius algebras
    L. Kauffman, Knot logic and topological quantum computing with Majorana fermions

  • The Einstein–Podolsky–Rosen Proposition on Quantum Theory and Its Implications for Intuitive Classical Logic, Ali Eskandarian. Journal of Knot Theory and Its Ramifications 19, Issue: 6(2010) pp. 799-807.
  • The Workshop on Knots and Quantum Computing, Volume I, special issue of the Journal of Knot Theory and Its Ramifications, vol. 19, no. 6, World Scientific, Singapore, 2010. Editors: V. Harizanov and J. Przytycki (with M. Dabkowski, L. Kauffman, and V. Ramakrishna). View the introduction.
  • The Quantum World and Quantum Computing: Fundamental Issues, W.C. Parke and A. Eskandarian.
  • The Workshop on Knots and Quantum Computing, Volume II, special issue of the Journal of Knot Theory and Its Ramifications, vol. 20, no. 6 World Scientific, Singapore, 2011. Editors: V. Harizanov and J. Przytycki (with M. Dabkowski, L. Kauffman, and V. Ramakrishna).
  • View additional publications by Harizanov at her website.
  • View additional publications by Przytycki at his website.

Any physical computing device can be simulated by a Turing machine in a number of steps polynomial in the resources used by the computing device.

— Alonzo Church, 1936