pith. sign in

arxiv: 2601.12911 · v1 · pith:WDWT37MAnew · submitted 2026-01-19 · 🧮 math-ph · math.MP· physics.optics

Countable basis for free electromagnetic fields

Ivan Fernandez-Corbaton This is my paper

Pith reviewed 2026-05-16 13:28 UTC · model grok-4.3

classification 🧮 math-ph math.MPphysics.optics
keywords countable basispolychromatic fieldsfree Maxwell fieldsHilbert space separabilitysingle-photon waveswavelet temporal dependencelight-matter interactions
0
0 comments X

The pith

Free Maxwell fields admit a countable basis of polychromatic single-photon waves that lie inside the Hilbert space.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper establishes that the Hilbert space of free electromagnetic fields has a countable basis whose elements are simultaneous eigenstates of four commuting operators carrying integer eigenvalues. Each basis vector is a polychromatic wave packet carrying quantized energy and exhibiting a wavelet-like time dependence, so that its norm remains finite. This construction replaces the usual continuous integrals over monochromatic fields, which diverge in norm and complicate scattering calculations. Three concrete realizations are given: a regular version smooth everywhere and incoming and outgoing versions that are smooth away from the spatial origin. The result implies that the space is separable and isomorphic to the space of square-summable sequences.

Core claim

The central claim is that four commuting operators exist whose common eigenstates with integer eigenvalues furnish a complete countable basis for the Hilbert space of free Maxwell fields. Each such state corresponds to a single-photon wave that is polychromatic, carries a definite quantized energy, and displays a wavelet-like temporal profile. The regular, incoming, and outgoing families are defined explicitly; the first is smooth in space and time while the latter two remain smooth except at the origin. Because the basis is countable, the Hilbert space is separable and isomorphic to ℓ².

What carries the argument

Simultaneous eigenstates of four commuting operators with integer eigenvalues, which generate a countable complete basis for the Hilbert space of free Maxwell fields.

If this is right

  • Light-matter interactions can be expressed with discrete sums over basis vectors rather than continuous frequency integrals.
  • The scattering operator acts on a countable set of states whose energies are quantized.
  • Numerical computations of electromagnetic phenomena become feasible with expansions that remain inside the Hilbert space.
  • Each basis vector supplies a concrete polychromatic wave packet with a well-defined temporal wavelet shape for modeling photon fields.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The wavelet character of the time dependence may permit direct application of existing time-frequency analysis tools to free-field evolution.
  • Isomorphism to ℓ² opens the possibility of mapping the electromagnetic problem onto discrete quantum-information structures without continuous-spectrum overhead.
  • The construction could be tested by projecting known finite-energy field configurations onto the new basis and checking convergence of the coefficients.

Load-bearing premise

Four commuting operators exist whose simultaneous eigenstates with integer eigenvalues form a complete basis for the Hilbert space of free Maxwell fields.

What would settle it

An explicit demonstration that any candidate set of four commuting operators fails to produce a complete set of states with integer eigenvalues that exhaust the Hilbert space, or that some square-integrable free-field solution lies outside their span.

Figures

Figures reproduced from arXiv: 2601.12911 by Ivan Fernandez-Corbaton.

Figure 1
Figure 1. Figure 1: FIG. 1. Left panels: Multipolar expansion functions [PITH_FULL_IMAGE:figures/full_fig_p006_1.png] view at source ↗
Figure 2
Figure 2. Figure 2: FIG. 2. The derivatives of any order of a smooth function [PITH_FULL_IMAGE:figures/full_fig_p007_2.png] view at source ↗
Figure 3
Figure 3. Figure 3: FIG. 3. Faint lines: Time dependence of the [PITH_FULL_IMAGE:figures/full_fig_p008_3.png] view at source ↗
read the original abstract

Polychromatic electromagnetic fields are typically expanded as integrals over monochromatic fields, such as plane waves, multipolar fields, or Bessel beams. However, monochromatic fields do not belong to the Hilbert space of free Maxwell fields, since their norms diverge. Moreover, the continuous frequency integrals involved in such expansions complicate the treatment of light--matter interactions via the scattering operator. Here, we identify and study a polychromatic basis for free Maxwell fields whose basis vectors belong to the Hilbert space. These vectors are defined as simultaneous eigenstates of four commuting operators with integer eigenvalues. As a consequence, the basis set is countable, and the Hilbert space is separable and isomorphic to $\ell^2$, the Hilbert space of square-summable sequences. Each basis vector represents a polychromatic single-photon wave with quantized energy and a wavelet--like temporal dependence. Three versions of this basis are defined: Regular, incoming, and outgoing. The fields of the regular basis are smooth in both space and time. The incoming and outgoing fields are likewise smooth, except at the spatial origin. These results support and motivate the use of countable bases for both the theoretical description and the practical computation of light--matter interactions.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 1 minor

Summary. The manuscript claims to construct a countable polychromatic basis for the Hilbert space of free electromagnetic fields, consisting of simultaneous eigenstates of four commuting operators with integer eigenvalues. This yields a separable Hilbert space isomorphic to ℓ², with each basis vector representing a single-photon wave of quantized energy and wavelet-like temporal dependence. Three variants (regular, incoming, outgoing) are introduced, with the regular fields smooth in space and time and the others smooth except at the spatial origin.

Significance. If the operators can be exhibited explicitly and the completeness of their joint integer spectrum established, the result would provide a discrete basis for quantizing free Maxwell fields, eliminating divergent norms of monochromatic modes and continuous frequency integrals. This could simplify scattering-operator treatments of light-matter interactions and support numerical computations on ℓ².

major comments (2)
  1. [Abstract] The four commuting operators whose common eigenstates with integer eigenvalues are asserted to form a complete orthonormal basis are never given explicit differential or integral expressions, nor is any proof supplied that their joint point spectrum is complete and spans the transverse Maxwell Hilbert space. This assertion is the load-bearing step for the claimed isomorphism to ℓ².
  2. [Main construction] No verification is provided that the constructed fields satisfy the source-free Maxwell equations or that their L² norms are finite, as required for membership in the Hilbert space.
minor comments (1)
  1. The distinctions among the regular, incoming, and outgoing bases are stated only in terms of smoothness at the origin; a brief comparison of their explicit forms or boundary conditions would improve clarity.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive comments on our manuscript. We address each major comment below and will revise the paper accordingly to provide the requested explicit constructions and verifications.

read point-by-point responses

  1. Referee: [Abstract] The four commuting operators whose common eigenstates with integer eigenvalues are asserted to form a complete orthonormal basis are never given explicit differential or integral expressions, nor is any proof supplied that their joint point spectrum is complete and spans the transverse Maxwell Hilbert space. This assertion is the load-bearing step for the claimed isomorphism to ℓ².

    Authors: We agree that the explicit forms of the four commuting operators and a proof of completeness of their joint integer spectrum are central to the result and were not presented with sufficient detail. In the revised manuscript we will supply the explicit differential-operator expressions for the four operators (corresponding to quantized energy, helicity, and two additional conserved quantities with integer spectra) acting on the transverse electromagnetic fields, together with a sketch of the completeness argument showing that their common eigenfunctions form an orthonormal basis for the full Hilbert space of source-free Maxwell fields, thereby establishing the isomorphism to ℓ². revision: yes

  2. Referee: [Main construction] No verification is provided that the constructed fields satisfy the source-free Maxwell equations or that their L² norms are finite, as required for membership in the Hilbert space.

    Authors: The basis fields are constructed directly from solutions of the source-free wave equation in the radiation gauge, so they satisfy the homogeneous Maxwell equations by design. Nevertheless, we accept that an explicit verification step and a demonstration of finite L² norms are needed for clarity. The revised version will include a dedicated paragraph confirming that each regular, incoming, and outgoing basis vector satisfies ∇·E=0, ∇·B=0 and the time-dependent Maxwell equations, together with an argument (based on the rapid decay of the wavelet-like temporal profile) that the L² norms are finite and the vectors therefore belong to the Hilbert space. revision: yes

Circularity Check

0 steps flagged

No circularity in the derivation chain

full rationale

The paper constructs the basis directly by defining its vectors as simultaneous eigenstates of four commuting operators with integer eigenvalues, from which countability and the isomorphism to ℓ² follow immediately as a consequence of the discrete spectrum. No equations or claims reduce by construction to fitted parameters, self-referential definitions, or load-bearing self-citations. Completeness is asserted as part of identifying the basis rather than derived in a loop. This is a standard direct-construction approach with no circular steps.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The construction rests on standard properties of the Hilbert space of free Maxwell fields and the existence of the four commuting operators; no free parameters or new physical entities are introduced.

axioms (2)
  • domain assumption The Hilbert space of square-integrable free Maxwell fields is separable.
    Background assumption required for the isomorphism to ℓ².
  • ad hoc to paper Four commuting operators with integer eigenvalues exist whose common eigenstates form a complete basis.
    Central assumption stated in the abstract that enables the countable basis.

pith-pipeline@v0.9.0 · 5499 in / 1192 out tokens · 51228 ms · 2026-05-16T13:28:31.811988+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

47 extracted references · 47 canonical work pages · 1 internal anchor

  1. [1]

    The second row, which contains Eq

    in its first and second columns, respectively. The second row, which contains Eq. (4.4) from [6], applies to massless fields of arbitrary helicity. The third row ap- plies to Maxwell fields. Only the expressions in the third row are dimensionally consistent thanks to the inclusion of a fixed length scalek −1 0 (see Sec. IV B in the main text). The factor ...

    work page

  2. [2]

    J. S. Lomont and H. E. Moses, The representations of the inhomogeneous lorentz group in terms of an angular momentum basis, Journal of Mathematical Physics5, 294 (1964)

    work page 1964

  3. [3]

    H. A. Kastrup, Conformal group and its connection with an indefinite metric in hilbert space, Phys. Rev.140, B183 (1965)

    work page 1965

  4. [4]

    H. E. Moses, Transformation from a linear momentum to an angular momentum basis for particles of zero mass and finite spin, Journal of Mathematical Physics6, 928 (1965)

    work page 1965

  5. [5]

    H. E. Moses, Transformation from a linear momentum to an angular momentum basis for relativistic particles of nonzero mass and any spin, Journal of Mathematical Physics6, 1244 (1965)

    work page 1965

  6. [6]

    H. E. Moses, Integration of the infinitesimal generators of the inhomogeneous Lorentz group and application to the transformation of the wave function, Annals of Physics 41, 158 (1967)

    work page 1967

  7. [7]

    Mack and I

    G. Mack and I. Todorov, Irreducibility of the ladder rep- resentations of u(2, 2) when restricted to the poincar´ e subgroup, J. Math. Phys.10, 2078 (1969)

    work page 2078

  8. [8]

    H. E. Moses, Photon wave functions and the exact elec- tromagnetic matrix elements for hydrogenic atoms, Phys. Rev. A8, 1710 (1973)

    work page 1973

  9. [9]

    Bialynicki-Birula and Z

    I. Bialynicki-Birula and Z. Bialynicka-Birula,Quantum Electrodynamics(Pergamon, Oxford, UK, 1975)

    work page 1975

  10. [10]

    Bialynicki-Birula, Photon wave function, Prog

    I. Bialynicki-Birula, Photon wave function, Prog. Optics 36, 245 (1996)

    work page 1996

  11. [11]

    H. E. Moses, The role of the irreducible representations of the poincar´ e group in solving maxwell’s equations, Jour- nal of Mathematical Physics45, 1887 (2004)

    work page 2004

  12. [12]

    Kastrup, On the advancements of conformal transfor- mations and their associated symmetries in geometry and theoretical physics, Annalen der Physik520, 631 (2008)

    H. Kastrup, On the advancements of conformal transfor- mations and their associated symmetries in geometry and theoretical physics, Annalen der Physik520, 631 (2008)

    work page 2008

  13. [13]

    Todorov, The lure of conformal symmetry, Bulg

    I. Todorov, The lure of conformal symmetry, Bulg. J. Phys.16, 117 (2019)

    work page 2019

  14. [14]

    Y. B. Zel’dovich, The number of quanta as an invariant of classical electromagnetic field, Doklady Akademii Nauk SSSR (USSR) English translation currently published in a number of subject-oriented journals163(1965)

    work page 1965

  15. [15]

    Fernandez-Corbaton, An algebraic approach to light– matter interactions, Advanced Physics Research4, 2400088 (2025)

    I. Fernandez-Corbaton, An algebraic approach to light– matter interactions, Advanced Physics Research4, 2400088 (2025)

    work page 2025

  16. [16]

    P. C. Waterman, Matrix formulation of electromagnetic scattering, Proc. IEEE53, 805 (1965)

    work page 1965

  17. [17]

    G. Gouesbet, T-matrix methods for electromagnetic structured beams: A commented reference database for the period 2014–2018, Journal of Quantitative Spec- troscopy and Radiative Transfer230, 247 (2019)

    work page 2014

  18. [18]

    M. I. Mishchenko, Comprehensive thematic t-matrix ref- erence database: a 2017-2019 update, Journal of Quanti- tative Spectroscopy and Radiative Transfer242, 106692 (2020)

    work page 2017

  19. [19]

    Vavilin and I

    M. Vavilin and I. Fernandez-Corbaton, The polychro- matic t-matrix, JQSRT314, 108853 (2024)

    work page 2024

  20. [20]

    Vavilin, J

    M. Vavilin, J. D. Mazo-V´ asquez, and I. Fernandez- Corbaton, Computing the interaction of light pulses with objects moving at relativistic speeds, Phys. Rev. Res.7, 013132 (2025)

    work page 2025

  21. [21]

    M. R. Whittam, B. Zerulla, M. Krsti´ c, M. Vav- ilin, C. Holzer, M. Nyman, L. Rebholz, I. Fernandez- Corbaton, and C. Rockstuhl, Circular dichroism of relativistically–moving chiral molecules, Scientific Re- ports14, 16812 (2024)

    work page 2024

  22. [22]

    L. A. Ambrosio, J. O. de Sarro, and G. Gouesbet, An approach for a polychromatic generalized lorenz–mie the- ory, Journal of Quantitative Spectroscopy and Radiative Transfer312, 108824 (2024)

    work page 2024

  23. [23]

    von Neumann,Mathematical Foundations of Quantum Mechanics(Princeton University Press, Princeton, NJ,

    J. von Neumann,Mathematical Foundations of Quantum Mechanics(Princeton University Press, Princeton, NJ,

    work page

  24. [24]

    translated by Robert T. Beyer

    work page

  25. [25]

    R. F. Streater and A. S. Wightman,PCT, Spin and Statistics, and All That(Princeton University Press, 1989)

    work page 1989

  26. [26]

    Earman, Quantum physics in non-separable hilbert spaces (2020)

    J. Earman, Quantum physics in non-separable hilbert spaces (2020)

    work page 2020

  27. [27]

    H. A. Kastrup and D. H. Mayer, On some classes of so- lutions of the wave equation, Journal of Mathematical Physics11, 1041 (1970)

    work page 1970

  28. [28]

    Gross, Norm invariance of Mass-Zero equations under the conformal group, J

    L. Gross, Norm invariance of Mass-Zero equations under the conformal group, J. Math. Phys.5, 687 (1964)

    work page 1964

  29. [29]

    Wigner, On unitary representations of the inhomo- geneous lorentz group, Annals of Mathematics40, 149 (1939)

    E. Wigner, On unitary representations of the inhomo- geneous lorentz group, Annals of Mathematics40, 149 (1939)

    work page 1939

  30. [30]

    Bateman, The transformation of the electrodynami- 12 cal equations, Proceedings of the London Mathematical Societys2-8, 223 (1910)

    H. Bateman, The transformation of the electrodynami- 12 cal equations, Proceedings of the London Mathematical Societys2-8, 223 (1910)

    work page 1910

  31. [31]

    Cunningham, The principle of relativity in electro- dynamics and an extension thereof, Proceedings of the London Mathematical Societys2-8, 77 (1910)

    E. Cunningham, The principle of relativity in electro- dynamics and an extension thereof, Proceedings of the London Mathematical Societys2-8, 77 (1910)

    work page 1910

  32. [32]

    H. A. Kastrup, Zur physikalischen deutung und darstel- lungstheoretischen analyse der konformen transformatio- nen von raum und zeit, Annalen der Physik464, 388 (1962)

    work page 1962

  33. [33]

    M. G. Calkin, An invariance property of the free electro- magnetic field, Am. J. Phys.33, 958 (1965)

    work page 1965

  34. [34]

    Zwanziger, Quantum field theory of particles with both electric and magnetic charges, Phys

    D. Zwanziger, Quantum field theory of particles with both electric and magnetic charges, Phys. Rev.176, 1489 (1968)

    work page 1968

  35. [35]

    L¨ uscher and G

    M. L¨ uscher and G. Mack, Global conformal invariance in quantum field theory, Communications in Mathematical Physics41, 203 (1975)

    work page 1975

  36. [36]

    Budinich and R

    P. Budinich and R. Raczka, Global properties of confor- mally flat momentum space and their implications, Foun- dations of Physics23, 599 (1993)

    work page 1993

  37. [37]

    J. W. Dalhuisen,The Robinson congruence in electrody- namics and general relativity, Ph.D. thesis, Leiden Uni- versity (2014)

    work page 2014

  38. [38]

    Array´ as, D

    M. Array´ as, D. Bouwmeester, and J. Trueba, Knots in electromagnetism, Physics Reports667, 1 (2017), knots in Electromagnetism

    work page 2017

  39. [39]

    Helicity and duality symmetry in light matter interactions: Theory and applications

    I. Fernandez-Corbaton,Helicity and duality symmetry in light matter interactions: Theory and applications, Ph.D. thesis, Macquarie University (2014), arXiv: 1407.4432

    work page internal anchor Pith review Pith/arXiv arXiv 2014

  40. [40]

    Tung,Group Theory in Physics(World Scientific: Singapore, 1985)

    W.-K. Tung,Group Theory in Physics(World Scientific: Singapore, 1985)

    work page 1985

  41. [41]

    Barut and H

    A. Barut and H. Kleinert, Transition probabilities of the hydrogen atom from noncompact dynamical groups, Physical Review156, 1541 (1967)

    work page 1967

  42. [42]

    Fuschchich and A

    W. Fuschchich and A. Nikitin,Symmetries of Equations of Quantum Mechanics(Allerton Press, New York, 1994)

    work page 1994

  43. [43]

    Fernandez-Corbaton, M

    I. Fernandez-Corbaton, M. Vavilin, and M. Nyman, A polychromatic theory of emission, arXiv preprint arXiv:2403.01319 (2024)

    work page arXiv 2024

  44. [44]

    Hintz,An introduction to microlocal analysis(Springer Cham, 2025)

    P. Hintz,An introduction to microlocal analysis(Springer Cham, 2025)

    work page 2025

  45. [45]

    I. M. Gel’fand, R. A. Minlos, and Z. Y. Shapiro,Repre- sentations of the Rotation and Lorentz Groups and their Applications(Pergamon Press, Oxford, 1963)

    work page 1963

  46. [46]

    Sansone,Orthogonal Functions, Pure and Applied Mathematics, Vol

    G. Sansone,Orthogonal Functions, Pure and Applied Mathematics, Vol. 9 (Interscience Publishers, Inc., New York, 1959) p. 411, revised English Edition

    work page 1959

  47. [47]

    Wolfram Research, Associated laguerre polynomial (2024)

    work page 2024