literature
Literature
Authors
Jobs
Seminars
Conferences
DataBETA

A Short History of Rocks: or, How to Invent Quantum Computing

Feb 14, 2025
14 pages
e-Print:
View in:
pdf
reference search0 citations

Citations per year

0 Citations
Abstract: (arXiv)
This essay gives a short, informal account of the development of digital logic from the Pleistocene to the Manhattan Project, the introduction of reversible circuits, and Richard Feynman's allied proposal for quantum computing. We argue that Feynman's state-based analogy is not the only way to arrive at quantum computing, nor indeed the simplest. To illustrate, we imagine an alternate timeline in which John von Neumann skipped Operation Crossroads to debug a military computer, got tickled by the problem, and discovered a completely different picture of quantum computing -- in 1946. Feynman suggested we "quantize" state, and turn classically reversible circuits into quantum reversible, unitary ones. In contrast, we speculate that von Neumann, with his background in functional analysis and quantum logic, would seek to "quantize" the operators of Boolean algebra, and with tools made available in 1946 could successfully do so. This leads to a simpler, more flexible circuit calculus and beautiful parallels to classical logic, as we detail in a forthcoming companion paper.
Note:
  • 14 pages, many figures, comments welcome
  • [1]
    Irving Ezra Segal (1918-1998). In Notices of the American Mathematical Society, A. M
    • J.C. Baez
      ,
    • E.F. Beschler
      ,
    • L. Gross
      ,
    • B. Kostant
      ,
    • E. Nelson
    et al.
  • [2]
    Von Neumann and lattice theory
    • G. Birkhoff
      • Bull.Am.Math.Soc. 64 (1958) 3
  • [3]
    Blair, Jr
    • C. Passing
  • [4]
    An Investigation of the Laws of Thought: On Which Are Founded the Mathematical Theories of Logic and Probabilities. Cambridge University Press
    • G. Boole
  • [5]
    The Mathematical Analysis of Logic: Being an Essay Towards a Calculus of Deductive Reasoning. Cambridge University Press
    • G. Boole
  • [6]
    Preliminary discussion of the logical design of an electronic computing instrument
    • A.W. Burks
      ,
    • H.H. Goldstine
      ,
    • J. von Neumann
  • [7]
    An Eden after the Fall. Reviews in American History 21, 3 , 514-519
    • C.L. Carson
  • [8]
    Numerical integration of the barotropic vorticity equation. Tellus 2 , 237-254
    • J.G. Charney
      ,
    • R. Fjörtoft
      ,
    • J. von Neumann
  • [9]

    Surely You’re Joking, Mr. Feynman!

    • R. Feynman
      ,
    • R. Leighton
      ,
    • E. Hutchings
  • [10]
    There’s plenty of room at the bottom: An invitation to enter a new field of physics. In Miniaturization, H. D
    • R.P. Feynman
  • [11]
    Simulating physics with computers
    • R.P. Feynman
      • Int.J.Theor.Phys. 21 (1982) 6
  • [12]
    Conservative logic
    • E.F. Fredkin
      ,
    • T. Toffoli
      • Int.J.Theor.Phys. 21 (1982) 3
  • [13]
    On the imbedding of normed rings into the ring of operators in hilbert space. Sbornik
    • I. Gelfand
      ,
    • M. Naimark
      • Mathematics 54 (1943) 2
  • [14]
    The Idea Factory: Bell Labs and the great age of American innovation. Penguin Books, New York
    • J. Gertner
  • [15]
    Über die grundlagen der quantenmechanik
    • D. Hilbert
      ,
    • J. von Neumann
      ,
    • L. Nordheim
      • Math.Ann. 98 (1928) 1-30
  • [16]
    Letters To Nicolas Remond
    • G.W. Leibniz
  • [17]
    On the General Characteristic
    • G.W. Leibniz
  • [18]
    Nondeterministic testing of sequential quantum logic propositions on a quantum computer
    • M.S. Leifer
  • [19]
    J., Buescher, K. L., Cagliostro, D. J., Clark, D. A., Clark, D. J., Espinoza, C. J., Ferm, E. N., Gallegos, R. A., Gardner, S. D., Gomez, J. J., Greene, G. A., Hanson, A., Hartouni, E. P., Hogan, G. E., King, N. S. P., Kwiatkowski, K., Liljestrand, R. P., Mariam, F. G., Merrill, F. E., Morgan, D. V., Morley, K. B., Mottershead, C. T., Murray, M. M., Pazuchanics, P. D., Pearson, J. E., Sarracino, J. S., Saunders, A., Scaduto, J
    • C.L. Morris
      ,
    • E. Ables
      ,
    • K.R. Alrick
      ,
    • M.B. Aufderheide
      ,
    • P.D. Barnes
      • J.Appl.Phys. 109 (2011) 10
  • [20]
    On rings of operators. Bulletin of the American Mathematical Society 42
    • F.J. Murray
      ,
    • J. von Neumann
  • [21]
    On rings of operators (II)
    • F.J. Murray
      ,
    • J. von Neumann
      • Trans.Am.Math.Soc. 41 (1937) 2
  • [22]
    Why John von Neumann did not like the Hilbert space formalism of quantum mechanics (and what he liked instead)
    • M. Rédei
      • Stud.Hist.Phil.Sci.B 27 (1996) 4
  • [23]
    Irreducible representations of operator algebras
    • I.E. Segal
      • Bull.Am.Math.Soc. 53 (1947) 2
  • [24]
    mathematical theory of cryptography
    • C.E.A Shannon
  • [25]
    mathematical theory of communication
    • C.E.A Shannon
      • Bell Syst.Tech.J. 27 (1948) 379-423
  • 1-25 of 28
  • 1
  • 2
  • 25 / page