Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

arXiv:2407.03258 · The Mathematical Intelligencer

Feynman Checkers: Through the Looking-Glass

Fedor Ozhegov, Михаил Борисович Скопенков, Alexey Vladimirovich Ustinov

Published Feb 12, 2025• 0 citations
arXivHTMLPDF

Abstract

Feynman gave a famous elementary introduction to quantum theory by discussing the thin-film reflection of light. We make his discussion mathematically rigorous, keeping it elementary, using his other idea. The resulting model leads to accurate quantitative results and allows us to derive a well-known formula from optics. In the process, we get acquainted with mathematical tools such as Smirnov's fermionic observables, transfer matrices, and spectral radii. Quantum walks and the six-vertex model arise as the next step in this direction.

DOI
10.1007/s00283-024-10401-x

Related papers

Introduction

James Robert Brown

Feynman diagrams have fascinated physicists and philosophers since they were introduced to the world about 70 years ago. Clearly, they help in calculation; they have allowed nearly impossible problems to be solved with relative ease. This is agreed by all, but that is probably where the consensus ends. Are they pictures of physical processes? Are they just devices for keeping track of mathematical formulae, that do the real work? Are they some sort of mix of both?They are almost as famous as representations of the Bohr atom, even though most people could not give even a sketchy account of what they do. In spite of this they have taken on a role as a cultural icon. Feynman used them to decorate his own van (Fig. 1). The van was even used in an episode of the popular TV series The Big Bang Theory. They have been used as art work in everything from posters, to coffee mugs, to wallpaper. But none of this is particularly helpful in understanding how they work.If we ask working physicists who use Feynman diagrams what it is they are doing, we get a variety of responses. One is puzzlement; a shrug of indifference. Even those very skilled at using Feynman diagrams might be hard pressed to explain (to a philosopher’s satisfaction) what’s happening. After all, most of us can ride a bike but would be similarly hard pressed to explain in any detail what we’re doing. A more common response might go like this: The diagram, or series of diagrams, is a schematic picture of some physical process, say, two electrons interacting, which we then link to mathematical terms. After writing out the mathematical terms in the form of a series, we calculate and get the probability of an interaction happening. This sounds good initially, but runs into trouble when we ask what a “picture of a physical process” could mean? This is, after all, the quantum world where things do not move continuously through space and time. It seems doubtful the diagrams could be diagrams of things in the physical realm. They are connected to physical reality and they are connected to wonderfully accurate predictions. And yet, mystery remains.The following articles on Feynman diagrams address several timely issues, both historical and contemporary. These are metaphysical and epistemological questions related to models and how we represent the world. The papers are united by these themes, but otherwise are independent of one another. They are arranged alphabetically and can be read in any order.James Robert Brown, “How Do Feynman Diagrams Work?” takes the view that they are not representations or models of the world at all. Like others, he stresses that they cannot be pictures of reality, since, thanks to the Heisenberg relations, there can be no such thing as a trajectory. Rather than seek some other more abstract type of representation, he introduces a distinction between descriptive and prescriptive flow charts. The latter could be a representation of physical reality, but not the former. A prescriptive flow chart is more like a recipe to bake a cake. He takes Feynman diagrams to be this sort of thing.Mauro Dorato and Emanuele Rossanese, “The Nature of Representation in Feynman Diagrams,” also reject the idea that Feynman diagrams can be considered to be pictures or depictions of actual physical processes. But unlike Brown, they do not abandon the thought that they can be models in some sense. They appeal to a famous account by RIG Hughes, known as the Denotation, Deduction, and Interpretation theory of models, where “models” are to be interpreted as merely inferential, non-representational devices constructed in given social contexts by the community of physicists.Letitia Meynell, “Picturing Feynman Diagrams and the Epistemology of Understanding,” assumes that Feynman diagrams are pictorial representations but agrees with Brown and Dorato and Rossanese that they do not represent actual physical processes. She then takes up the following puzzle: If Feynman diagrams represent states of affairs, but do not do so truthfully, what can their epistemic value be? She argues that Feynman diagrams have been epistemically powerful (at least in part) because, as pictorial representations, they facilitate an understanding of QED, and particle physics more generally. Appealing to Feynman’s own remarks, she draws out what it might mean to have an understanding of something that is not factive. Although her approach allows for a thin sense of substantively non-factive epistemic success, it is continuous with a factive sense of understanding that is more familiar in the sciences.Michael Stöltzner, “Feynman Diagrams: Modeling between Physics and Mathematics,” analyzes Feynman diagrams within the context of recent debates about models in science and against the backdrop of other diagrammatic methods in mathematical physics when dealing with infinite or asymptotic series. This allows one to avoid the dichotomy of whether Feynman diagrams represent mathematical or physical objects, or a mere tool mediating between them. Along those lines one does not, however, obtain a universal answer to the question as to what Feynman diagrams represent. A single Feynman diagram, in actual scientific practice, can stand for a single mathematical expression or for a physical phenomenon depending on whether the diagram stands for a single term in an infinite series or for a subseries that is given a physical interpretation. Stöltzner’s reading of the representation problem also derives support from the historical fact that Feynman was initially motivated by the Breit-Schrödinger model of a quivering electron and from interpreting this model within the context of stochastic processes.Adrian Wüthrich, “The Exigencies of War and the Stink of a Theoretical Problem,” approaches these topics from an historian’s point of view, shedding light on the issues by focussing on debates in this historical context. As he put it in his subtitle, Wüthrich’s aim is to understand the genesis of Feynman’s electrodynamics as mechanistic modelling at different levels. Feynman’s idiosyncratic method of dealing with quantum electrodynamic phenomena has been cast as an instance of a non-rigorous, modular and rule-based style of theorizing. Given such a characterization, it seems natural that significant changes in Feynman’s style were triggered by work he was assigned during World War II, where quick fixes may have counted more than derivations from first principles. Indeed, Feynman’s theoretical proposals of an improved electrodynamics do bear traces of Feynman’s war-related work, which immediately preceded it. However, Wüthrich explains, the attempt to apply the vocabulary of the “new mechanistic philosophy” to lesser known pieces of archival evidence brings to the fore a new kind of shift in Feynman’s style. Feynman’s disposition for such a shift may also have been fostered during the war, but it was forced upon him by a specific theoretical difficulty, which was largely unrelated to his war-time research.These articles contain some technicalities, but they should all be sufficiently accessible to general readers who would like to know more about Feynman diagrams and how they relate to theories, models, mathematics, and the world. The best philosophy of science is intimately linked to and draws upon current science and its history. It pays close attention to details: the details of theorizing, the details of models and how they function, the details of experimentation and measurement, and so on. We hope this collection of five articles on Feynman diagrams, by focussing closely on detail, will contribute to a better understanding of these strange but highly productive ciphers and symbols.

Perspectives on Science•Jul 31, 2018•1 citation

Approach to Quantum Field Theory

Hans Christian Öttinger

In this introductory chapter, which actually is the core of the entire book, we make a serious effort to bring together a variety of ideas from philosophy and physics. We first lay the epistemological foundations for our approach to particle physics. These philosophical foundations, combined with tools borrowed from the amazingly sophisticated, but still not entirely satisfactory, mathematical apparatus of present-day quantum field theory and augmented by some new ideas, are then employed to develop a mathematical representation of fundamental particles and their interactions. In this process, also the relation between “fundamental particle physics” and “quantum field theory” is going to be clarified. This first chapter consists of two voluminous sections: a number of philosophical contemplations followed by a discussion of mathematical and physical elements . The reader might wonder why these massive sections are not presented as two separate chapters. The reason for keeping them together is the desire to emphasize the intimate relation between these two sections: the selection and construction of the mathematical and physical elements is directly based on our philosophical contemplations. The beauty of the entire approach is a fruit of this intimate relationship. The presentation of the material in this chapter is based on the assumption that the reader has a basic working knowledge of linear algebra and quantum mechanics. If that is not the case, the reader might want to consult the equally entertaining and serious introduction Quantum Mechanics: The Theoretical Minimum by Susskind and Friedman [4]. The book Quantum Mechanics and Experience by Albert [5] offers a fascinating introduction with a strong focus on the measurement problem. An almost equation-free discussion of the history and foundations of quantum mechanics can be found in the book Einstein, Bohr and the Quantum Dilemma: From Quantum Theory to Quantum Information by Whitaker [6]. Complex vector spaces, Hilbert space vectors and density matrices for describing states of quantum systems, bosons and fermions, canonical commutation relations, Heisenberg's uncertainty relation, the Schrodinger and Heisenberg pictures for the time evolution of quantum systems, as well as a basic idea of the measurement process are all referred or alluded to in Section 1.1; these basics of quantum mechanics are recapped only very briefly in Section 1.2. The crucial construct of Fock spaces is explained in a loose way in Section 1.1.3 and later elaborated in full detail in Section 1.2.1.

Cambridge University Press eBooks•Dec 21, 2017•0 citations

Feynman checkers: the probability of direction reversal

Il'ya Igorevich Bogdanov

We study the most elementary model of electron motion introduced by R.Feynman in 1965. It is a game, in which a checker moves on a checkerboard by simple rules, and we count the turnings. The model is also known as one-dimensional quantum walk. In his publication, R.Feynman introduces a discrete version of path integral and poses the problem of computing the limit of the model when the lattice step and the average velocity tend to zero and time tends to infinity. We get a nontrivial advance in the problem on the mathematical level of rigor in a simple particular case; even this case requires methods not known before. We also prove a conjecture by I.Gaidai-Turlov, T.Kovalev, and A.Lvov on the limit probability of direction reversal in the model generalizing a recent result by A.Ustinov.

arXiv:2010.04583•Oct 9, 2020•3 citations

Quantum optics

Gennaro Auletta, Mauro Fortunato, Giorgio Parisi A

The behavior of light and its interaction with matter is certainly one of the most interesting phenomena of physics. It has puzzled thinkers and scientists in ancient Greece (Archimedes) and through the Middle Ages, at least since the times of Robert Grosseteste (1168–1235), right up to the theories of Galileo Galilei and Isaac Newton. The classical electromagnetic theory of light (see Tab. 13.1) was beautifully established in the second half of the nineteenth century with the Maxwell equations. Quantum optics is nothing other than the quantum theory of light. It finds its roots in Planck's discovery (1900) that the assumption of energy quantization for a harmonic oscillator allowed us to solve the black-body problem (see Subsec. 1.5.1). The successive early steps that led to the quantization of the electromagnetic field include Einstein's explanation of the photoelectric effect with the introduction of the quantum of light (see Subsec. 1.2.1) and the interpretation of atomic spectra (see Subsec. 1.5.4). Quantum optics is usually not covered by conventional textbooks on quantum mechanics. We include its discussion here for two main reasons: first, because it is a fundamental and advanced application of the basic framework of quantum mechanics, and, second, because in the last 30 years quantum optics has played (and is still playing) a major role in the advancement and understanding of quantum mechanics.

Cambridge University Press eBooks•Apr 16, 2009•0 citations

Mathematical Fundamentals of Modern Linear Optics

A. V. Gitin

All known quantum-mechanical approaches to wave and statistical optics are united into a single theory, using Feynman's path integral as a fundamental principle. In short-wave approximations, this principle, the Fourier transformations, and concepts of the theory reproduce Fermat's principle, the Legendre transformations, and concepts of Hamilton's optics and radiometry in a one-to-one fashion.

International Journal of Antennas and Propagation•Jan 1, 2012•4 citations

Feynman checkers: towards algorithmic quantum theory

Mihail Borisovich Skopenkov, Alexey Vladimirovich Ustinov

We survey and develop the most elementary model of electron motion introduced by Feynman. In this game, a checker moves on a checkerboard by simple rules, and we count the turns. Feynman checkers are also known as a one-dimensional quantum walk or an Ising model at imaginary temperature. We solve mathematically a Feynman problem from 1965, which was to prove that the discrete model (for large time, small average velocity, and small lattice step) is consistent with the continuum one. We study asymptotic properties of the model (for small lattice step and large time) improving the results due to Narlikar from 1972 and to Sunada and Tate from 2012. For the first time we observe and prove concentration of measure in the small-lattice-step limit. We perform the second quantization of the model. We also present a survey of known results on Feynman checkers. Bibliography: 53 titles.

Russian Mathematical Surveys•Jan 1, 2022•10 citations
Feynman gave a famous elementary introduction to quantum theory by discussing the thin-film reflection of light. We make his discussion mathematically rigorous, keeping it elementary, using his other idea. The resulting model leads to accurate quantitative results and allows us to derive a well-known formula from optics. In the process, we get acquainted with mathematical tools such as Smirnov's fermionic observables, transfer matrices, and spectral radii. Quantum walks and the six-vertex model arise as the next step in this direction.
Feynman diagrams have fascinated physicists and philosophers since they were introduced to the world about 70 years ago. Clearly, they help in calculation; they have allowed nearly impossible problems to be solved with relative ease. This is agreed by all, but that is probably where the consensus ends. Are they pictures of physical processes? Are they just devices for keeping track of mathematical formulae, that do the real work? Are they some sort of mix of both?They are almost as famous as representations of the Bohr atom, even though most people could not give even a sketchy account of what they do. In spite of this they have taken on a role as a cultural icon. Feynman used them to decorate his own van (Fig. 1). The van was even used in an episode of the popular TV series The Big Bang Theory. They have been used as art work in everything from posters, to coffee mugs, to wallpaper. But none of this is particularly helpful in understanding how they work.If we ask working physicists who use Feynman diagrams what it is they are doing, we get a variety of responses. One is puzzlement; a shrug of indifference. Even those very skilled at using Feynman diagrams might be hard pressed to explain (to a philosopher’s satisfaction) what’s happening. After all, most of us can ride a bike but would be similarly hard pressed to explain in any detail what we’re doing. A more common response might go like this: The diagram, or series of diagrams, is a schematic picture of some physical process, say, two electrons interacting, which we then link to mathematical terms. After writing out the mathematical terms in the form of a series, we calculate and get the probability of an interaction happening. This sounds good initially, but runs into trouble when we ask what a “picture of a physical process” could mean? This is, after all, the quantum world where things do not move continuously through space and time. It seems doubtful the diagrams could be diagrams of things in the physical realm. They are connected to physical reality and they are connected to wonderfully accurate predictions. And yet, mystery remains.The following articles on Feynman diagrams address several timely issues, both historical and contemporary. These are metaphysical and epistemological questions related to models and how we represent the world. The papers are united by these themes, but otherwise are independent of one another. They are arranged alphabetically and can be read in any order.James Robert Brown, “How Do Feynman Diagrams Work?” takes the view that they are not representations or models of the world at all. Like others, he stresses that they cannot be pictures of reality, since, thanks to the Heisenberg relations, there can be no such thing as a trajectory. Rather than seek some other more abstract type of representation, he introduces a distinction between descriptive and prescriptive flow charts. The latter could be a representation of physical reality, but not the former. A prescriptive flow chart is more like a recipe to bake a cake. He takes Feynman diagrams to be this sort of thing.Mauro Dorato and Emanuele Rossanese, “The Nature of Representation in Feynman Diagrams,” also reject the idea that Feynman diagrams can be considered to be pictures or depictions of actual physical processes. But unlike Brown, they do not abandon the thought that they can be models in some sense. They appeal to a famous account by RIG Hughes, known as the Denotation, Deduction, and Interpretation theory of models, where “models” are to be interpreted as merely inferential, non-representational devices constructed in given social contexts by the community of physicists.Letitia Meynell, “Picturing Feynman Diagrams and the Epistemology of Understanding,” assumes that Feynman diagrams are pictorial representations but agrees with Brown and Dorato and Rossanese that they do not represent actual physical processes. She then takes up the following puzzle: If Feynman diagrams represent states of affairs, but do not do so truthfully, what can their epistemic value be? She argues that Feynman diagrams have been epistemically powerful (at least in part) because, as pictorial representations, they facilitate an understanding of QED, and particle physics more generally. Appealing to Feynman’s own remarks, she draws out what it might mean to have an understanding of something that is not factive. Although her approach allows for a thin sense of substantively non-factive epistemic success, it is continuous with a factive sense of understanding that is more familiar in the sciences.Michael Stöltzner, “Feynman Diagrams: Modeling between Physics and Mathematics,” analyzes Feynman diagrams within the context of recent debates about models in science and against the backdrop of other diagrammatic methods in mathematical physics when dealing with infinite or asymptotic series. This allows one to avoid the dichotomy of whether Feynman diagrams represent mathematical or physical objects, or a mere tool mediating between them. Along those lines one does not, however, obtain a universal answer to the question as to what Feynman diagrams represent. A single Feynman diagram, in actual scientific practice, can stand for a single mathematical expression or for a physical phenomenon depending on whether the diagram stands for a single term in an infinite series or for a subseries that is given a physical interpretation. Stöltzner’s reading of the representation problem also derives support from the historical fact that Feynman was initially motivated by the Breit-Schrödinger model of a quivering electron and from interpreting this model within the context of stochastic processes.Adrian Wüthrich, “The Exigencies of War and the Stink of a Theoretical Problem,” approaches these topics from an historian’s point of view, shedding light on the issues by focussing on debates in this historical context. As he put it in his subtitle, Wüthrich’s aim is to understand the genesis of Feynman’s electrodynamics as mechanistic modelling at different levels. Feynman’s idiosyncratic method of dealing with quantum electrodynamic phenomena has been cast as an instance of a non-rigorous, modular and rule-based style of theorizing. Given such a characterization, it seems natural that significant changes in Feynman’s style were triggered by work he was assigned during World War II, where quick fixes may have counted more than derivations from first principles. Indeed, Feynman’s theoretical proposals of an improved electrodynamics do bear traces of Feynman’s war-related work, which immediately preceded it. However, Wüthrich explains, the attempt to apply the vocabulary of the “new mechanistic philosophy” to lesser known pieces of archival evidence brings to the fore a new kind of shift in Feynman’s style. Feynman’s disposition for such a shift may also have been fostered during the war, but it was forced upon him by a specific theoretical difficulty, which was largely unrelated to his war-time research.These articles contain some technicalities, but they should all be sufficiently accessible to general readers who would like to know more about Feynman diagrams and how they relate to theories, models, mathematics, and the world. The best philosophy of science is intimately linked to and draws upon current science and its history. It pays close attention to details: the details of theorizing, the details of models and how they function, the details of experimentation and measurement, and so on. We hope this collection of five articles on Feynman diagrams, by focussing closely on detail, will contribute to a better understanding of these strange but highly productive ciphers and symbols.
In this introductory chapter, which actually is the core of the entire book, we make a serious effort to bring together a variety of ideas from philosophy and physics. We first lay the epistemological foundations for our approach to particle physics. These philosophical foundations, combined with tools borrowed from the amazingly sophisticated, but still not entirely satisfactory, mathematical apparatus of present-day quantum field theory and augmented by some new ideas, are then employed to develop a mathematical representation of fundamental particles and their interactions. In this process, also the relation between “fundamental particle physics” and “quantum field theory” is going to be clarified. This first chapter consists of two voluminous sections: a number of philosophical contemplations followed by a discussion of mathematical and physical elements . The reader might wonder why these massive sections are not presented as two separate chapters. The reason for keeping them together is the desire to emphasize the intimate relation between these two sections: the selection and construction of the mathematical and physical elements is directly based on our philosophical contemplations. The beauty of the entire approach is a fruit of this intimate relationship. The presentation of the material in this chapter is based on the assumption that the reader has a basic working knowledge of linear algebra and quantum mechanics. If that is not the case, the reader might want to consult the equally entertaining and serious introduction Quantum Mechanics: The Theoretical Minimum by Susskind and Friedman [4]. The book Quantum Mechanics and Experience by Albert [5] offers a fascinating introduction with a strong focus on the measurement problem. An almost equation-free discussion of the history and foundations of quantum mechanics can be found in the book Einstein, Bohr and the Quantum Dilemma: From Quantum Theory to Quantum Information by Whitaker [6]. Complex vector spaces, Hilbert space vectors and density matrices for describing states of quantum systems, bosons and fermions, canonical commutation relations, Heisenberg's uncertainty relation, the Schrodinger and Heisenberg pictures for the time evolution of quantum systems, as well as a basic idea of the measurement process are all referred or alluded to in Section 1.1; these basics of quantum mechanics are recapped only very briefly in Section 1.2. The crucial construct of Fock spaces is explained in a loose way in Section 1.1.3 and later elaborated in full detail in Section 1.2.1.
We study the most elementary model of electron motion introduced by R.Feynman in 1965. It is a game, in which a checker moves on a checkerboard by simple rules, and we count the turnings. The model is also known as one-dimensional quantum walk. In his publication, R.Feynman introduces a discrete version of path integral and poses the problem of computing the limit of the model when the lattice step and the average velocity tend to zero and time tends to infinity. We get a nontrivial advance in the problem on the mathematical level of rigor in a simple particular case; even this case requires methods not known before. We also prove a conjecture by I.Gaidai-Turlov, T.Kovalev, and A.Lvov on the limit probability of direction reversal in the model generalizing a recent result by A.Ustinov.
The behavior of light and its interaction with matter is certainly one of the most interesting phenomena of physics. It has puzzled thinkers and scientists in ancient Greece (Archimedes) and through the Middle Ages, at least since the times of Robert Grosseteste (1168–1235), right up to the theories of Galileo Galilei and Isaac Newton. The classical electromagnetic theory of light (see Tab. 13.1) was beautifully established in the second half of the nineteenth century with the Maxwell equations. Quantum optics is nothing other than the quantum theory of light. It finds its roots in Planck's discovery (1900) that the assumption of energy quantization for a harmonic oscillator allowed us to solve the black-body problem (see Subsec. 1.5.1). The successive early steps that led to the quantization of the electromagnetic field include Einstein's explanation of the photoelectric effect with the introduction of the quantum of light (see Subsec. 1.2.1) and the interpretation of atomic spectra (see Subsec. 1.5.4). Quantum optics is usually not covered by conventional textbooks on quantum mechanics. We include its discussion here for two main reasons: first, because it is a fundamental and advanced application of the basic framework of quantum mechanics, and, second, because in the last 30 years quantum optics has played (and is still playing) a major role in the advancement and understanding of quantum mechanics.
We survey and develop the most elementary model of electron motion introduced by Feynman. In this game, a checker moves on a checkerboard by simple rules, and we count the turns. Feynman checkers are also known as a one-dimensional quantum walk or an Ising model at imaginary temperature. We solve mathematically a Feynman problem from 1965, which was to prove that the discrete model (for large time, small average velocity, and small lattice step) is consistent with the continuum one. We study asymptotic properties of the model (for small lattice step and large time) improving the results due to Narlikar from 1972 and to Sunada and Tate from 2012. For the first time we observe and prove concentration of measure in the small-lattice-step limit. We perform the second quantization of the model. We also present a survey of known results on Feynman checkers. Bibliography: 53 titles.