Papers
Topics
Authors
Recent
Gemini 2.5 Flash
Gemini 2.5 Flash
129 tokens/sec
GPT-4o
28 tokens/sec
Gemini 2.5 Pro Pro
42 tokens/sec
o3 Pro
4 tokens/sec
GPT-4.1 Pro
38 tokens/sec
DeepSeek R1 via Azure Pro
28 tokens/sec
2000 character limit reached

Physical Computing: A Category Theoretic Perspective on Physical Computation and System Compositionality (2210.00392v4)

Published 1 Oct 2022 in quant-ph, cs.AI, cs.CL, physics.comp-ph, and q-bio.OT

Abstract: This paper introduces a category theory-based framework to redefine physical computing in light of advancements in quantum computing and non-standard computing systems. By integrating classical definitions within this broader perspective, the paper rigorously recontextualizes what constitutes physical computing devices and processes. It demonstrates how the compositional nature and relational structures of physical computing systems can be coherently formalized using category theory. This approach not only encapsulates recent formalisms in physical computing but also offers a structured method to explore the dynamic interactions within these systems.

Definition Search Book Streamline Icon: https://streamlinehq.com
References (65)
  1. Andrew Adamatzky. Physarum machines: computers from slime mould, volume 74. World Scientific, 2010.
  2. Leonard M. Adleman. Molecular computation of solutions to combinatorial problems. Science, 266(5187):1021–1024, 1994.
  3. The Physical Signature of Computation: A Robust Mapping Account. Oxford University Press (Unpublished manuscript under review), 2023.
  4. Conditional quantum dynamics and logic gates. Phys. Rev. Lett., 74:4083–4086, May 1995.
  5. Eshel Ben-Jacob. Learning from bacteria about natural information processing. Annals of the New York Academy of Sciences, 1178(1):78–90, 2009.
  6. John Bickle. Multiple Realizability. In Edward N. Zalta, editor, The Stanford Encyclopedia of Philosophy. Metaphysics Research Lab, Stanford University, Summer 2020 edition, 2020.
  7. Romain Brette. Brains as computers: Metaphor, analogy, theory or fact? Frontiers in Ecology and Evolution, 10, 2022.
  8. Douglas Ian Campbell and Yi Yang. Does the solar system compute the laws of motion? Synthese, 198(4):3203–3220, Apr 2021.
  9. Gregory Chaitin. Leibniz, randomness and the halting probability. In Thinking about Godel and Turing, pages 241–246. World Scientific Publishing, 2007.
  10. David J. Chalmers. On implementing a computation. Minds and Machines, 4(4):391–402, Nov 1994.
  11. David J. Chalmers. Does a rock implement every finite-state automaton? Synthese, 108(3):309–333, Sep 1996.
  12. Ronald L. Chrisley. Why everything doesn’t realize every computation. Minds and Machines, 4(4):403–420, Nov 1994.
  13. Alonzo Church. A note on the entscheidungsproblem. Journal of Symbolic Logic, 1(1):40–41, 1936.
  14. B. Coecke and É.O. Paquette. Categories for the Practising Physicist, pages 173–286. Springer Berlin Heidelberg, Berlin, Heidelberg, 2011.
  15. S Barry Cooper. Computability theory. Chapman and Hall/CRC, 2017.
  16. B. Jack Copeland. What is computation? Synthese, 108(3):335–359, Sep 1996.
  17. Computability: Turing, Godel, Church, and Beyond. The MIT Press, 06 2013.
  18. James P. Crutchfield. Between order and chaos. Nature Physics, 8(1):17–24, Jan 2012.
  19. Ashraf Darwish. Bio-inspired computing: Algorithms review, deep analysis, and the scope of applications. Future Computing and Informatics Journal, 3(2):231–246, 2018.
  20. Martin Davis. The universal computer: The road from Leibniz to Turing. AK Peters/CRC Press, 2018.
  21. David Deutsch. Quantum theory, the church–turing principle and the universal quantum computer. Proceedings of the Royal Society of London. A. Mathematical and Physical Sciences, 400(1818):97–117, 1985.
  22. Jérôme Durand-Lose. Computing Inside the Billiard Ball Model, pages 135–160. Springer London, London, 2002.
  23. Bell Eric Temple. Master of all trades: Leibniz. In Men of Mathematics, pages 117–130. Simon and Schuster, New York, first edition, 1986. original-date: 1937.
  24. Samuel C. Fletcher. Computers in abstraction/representation theory. Minds and Machines, 28(3):445–463, Sep 2018.
  25. Jerry A. Fodor. The mind-body problem. Scientific American, 244(1):114–123, 1981.
  26. An Invitation to Applied Category Theory: Seven Sketches in Compositionality. Cambridge University Press, 2019.
  27. Edward Fredkin. An informational process based on reversible universal cellular automata. Physica D: Nonlinear Phenomena, 45(1):254–270, 1990.
  28. Peter Godfrey-Smith. Triviality arguments against functionalism. Philosophical Studies, 145(2):273–295, Aug 2009.
  29. David Hilbert. Mathematical problems. Bulletin of the American Mathematical Society, 8(10):437 – 479, 1902.
  30. When does a physical system compute? Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences, 470(2169):20140182, 2014.
  31. Abstraction/Representation Theory and the Natural Science of Computation, page 127–150. Cambridge University Press, 2018.
  32. Alistair M. C. Isaac. The semantics latent in shannon information. The British Journal for the Philosophy of Science, 70(1):103–125, 2019.
  33. David Joslin. Real realization: Dennett’s real patterns versus putnam’s ubiquitous automata. Minds and Machines, 16(1):29–41, Feb 2006.
  34. Colin Klein. Dispositional implementation solves the superfluous structure problem. Synthese, 165(1):141–153, Nov 2008.
  35. Image processing using light-sensitive chemical waves. Nature, 337(6204):244–247, Jan 1989.
  36. Quantum cellular automata. Nanotechnology, 4(1):49–57, jan 1993.
  37. Quantum computation with quantum dots. Phys. Rev. A, 57:120–126, Jan 1998.
  38. Saunders Mac Lane. Categories for the working mathematician, volume 5. Springer Science & Business Media, 2013.
  39. Norman Margolus. Physics-like models of computation. Physica D: Nonlinear Phenomena, 10(1):81–95, 1984.
  40. Physics for neuromorphic computing. Nature Reviews Physics, 2(9):499–510, Sep 2020.
  41. David Marr. Vision: A Computational Investigation into the Human Representation and Processing of Visual Information. The MIT Press, 07 2010.
  42. From understanding computation to understanding neural circuitry. Technical report, Massachusetts Institute of Technology, USA, 1976.
  43. Melanie Mitchell. What is computation. Ubiquity, 2011:1–7, 2011.
  44. Gualtiero Piccinini. Computing mechanisms. Philosophy of Science, 74(4):501–526, 2007.
  45. Computation in Physical Systems. In Edward N. Zalta, editor, The Stanford Encyclopedia of Philosophy. Metaphysics Research Lab, Stanford University, Summer 2021 edition, 2021.
  46. Computation vs. information processing: why their difference matters to cognitive science. Studies in History and Philosophy of Science Part A, 41(3):237–246, 2010. Computation and cognitive science.
  47. A single-atom electron spin qubit in silicon. Nature, 489(7417):541–545, Sep 2012.
  48. Robots: Machines or artificially created life? The Journal of Philosophy, 61(21):668–691, 1964.
  49. Hilary Putnam. Minds and machines. In Sidney Hook, editor, Dimensions of Minds, pages 138–164. New York, USA: New York University Press, 1960.
  50. Hilary Putnam. Representation and reality. MIT press, 1988.
  51. A category theoretic interpretation of gandy's principles for mechanisms. Electronic Proceedings in Theoretical Computer Science, 293:85–92, apr 2019.
  52. The brain-computer metaphor debate is useless: A matter of semantics. Frontiers in Computer Science, 4, 2022.
  53. Matthias Scheutz. When physical systems realize functions… Minds and Machines, 9(2):161–196, May 1999.
  54. Mark J. Schnitzer. Biological computation: Amazing algorithms. Nature, 416(6882):683–683, Apr 2002.
  55. Oron Shagrir. Why we view the brain as a computer. Synthese, 153(3):393–416, Dec 2006.
  56. Oron Shagrir. The nature of physical computation. Oxford University Press, 2022.
  57. Computational mechanics: Pattern and prediction, structure and simplicity. Journal of Statistical Physics, 104(3):817–879, Aug 2001.
  58. Claude E. Shannon. A mathematical theory of communication. The Bell System Technical Journal, 27(3):379–423, 1948.
  59. Experimental demonstration of quantum-dot cellular automata. Semiconductor Science and Technology, 13(8A):A130–A134, aug 1998.
  60. Christof Teuscher. Unconventional computing catechism. Frontiers in Robotics and AI, 1, 2014.
  61. Tommaso Toffoli. Physics and computation. International Journal of Theoretical Physics, 21(3):165–175, Apr 1982.
  62. A. M. Turing. On Computable Numbers, with an Application to the Entscheidungsproblem. Proceedings of the London Mathematical Society, s2-42(1):230–265, 01 1937.
  63. Computational Theories and their Implementation in the Brain: The legacy of David Marr. Oxford University Press, 11 2016.
  64. Maud Vinet. The path to scalable quantum computing with silicon spin qubits. Nature Nanotechnology, 16(12):1296–1298, Dec 2021.
  65. John Archibald Wheeler. The computer and the universe. International Journal of Theoretical Physics, 21(6):557–572, Jun 1982.
Citations (3)
View on Semantic Scholar

Summary

We haven't generated a summary for this paper yet.

Ai Sparkles Streamline Icon: https://streamlinehq.com Summarize Now