\documentclass[12pt,onecolumn]{article}
\usepackage[utf8]{inputenc}
\usepackage[T1]{fontenc}
\usepackage{lmodern}
\usepackage[margin=1in]{geometry}
\usepackage{setspace}
\usepackage{microtype}
\usepackage{amsmath,amssymb,amsthm,bm}
\usepackage{booktabs}
\usepackage{float}
\PassOptionsToPackage{capitalise,nameinlink,noabbrev}{cleveref}
\usepackage[numbers,sort&compress]{natbib}
\usepackage[colorlinks=true,linkcolor=blue,citecolor=blue,urlcolor=blue]{hyperref}
\usepackage{cleveref}
\usepackage{orcidlink}
\usepackage{fancyhdr}
\newcommand\blfootnote[1]{%
\begingroup
\renewcommand\thefootnote{}\footnote{#1}%
\addtocounter{footnote}{-1}%
\endgroup
}
\setlength{\headheight}{14pt}
\pagestyle{fancy}
\fancyhf{}
\lhead{Fermion Fields Are Not Licensed as Things in Space}
\rhead{John C. W. McKinley}
\cfoot{\thepage}
\newtheorem{proposition}{Proposition}[section]
\newtheorem{definition}[proposition]{Definition}
\newtheorem{remark}[proposition]{Remark}
\newtheorem{corollary}[proposition]{Corollary}
\title{\textbf{Fermion Fields Are Not Licensed as Things in Space}\\
\large A Structural No-Go on Substrate Ontology in Quantum Field Theory}
\author{John C. W. McKinley \orcidlink{0009-0005-7097-5035}}
\date{May 8, 2026}
\begin{document}
\maketitle
\blfootnote{\scriptsize This version prepared for Zenodo. DOI: \href{https://doi.org/10.5281/zenodo.20092059}{10.5281/zenodo.20092059}.}
\begin{abstract}
This note states a second matter-side no-go. Once fermions are denied the status of tiny hard bits of primitive stuff~\cite{McKinleyFermionBead}, the same ontological instinct is often relocated into the fermion field. The field is then read as a thing in space, with fermions treated as local modes of that thing. This paper denies the inference from successful field description to material field-existence. The hinge is sharp: \emph{a fermion field describes lawful actions; neither the success of that description nor the occurrence of the actions described proves that the field materially exists as a thing in space}. Quantum field theory licenses an operator-valued formal structure of states, amplitudes, anticommutation relations, interaction terms, and lawful outcome behavior; the actions so described occur. Lawful action structure, however, is not field substance. The no-go does not deny quantum fields, QFT, the Standard Model, or fermionic excitations, and it does not adjudicate against defended field-realist positions on their own grounds. It denies only the unargued default move from \textit{field used successfully} to \textit{field is material stuff}.
\end{abstract}
\section{Introduction}
The companion no-go denies that fermions are tiny bits of primitive material stuff~\cite{McKinleyFermionBead}. That denial closes the particle-side smuggle. But a second smuggle remains.
Once the bead picture is rejected, the imagination shifts to the field. It says: perhaps the fermion is not a little pellet, but the fermion field is the real stuff. The bead is abandoned; the field-substance picture is retained. The ontology changes location but not character. Matter-stuff is moved from the particle to the field.
This paper denies that move.
The hinge of the denial is a single distinction. A fermion field describes lawful actions: admissible states, transformations, interactions, anticommutation relations, amplitudes, correlations, exclusions, couplings, and observable outcomes. That description is successful and the actions it describes occur. Neither point, taken on its own or jointly, proves that the field itself materially exists as a thing in space. Lawful action structure is one claim; field substance is another. The success of the first does not certify the second, and the occurrence of the actions described does not certify it either.
The mirror with the photon-side wavefunction no-go is exact. There: lawful predictive success does not license photon-path ontology~\cite{McKinleyWavefunction}. Here: lawful action structure does not license field-substance ontology. Lawful outcome structure is not path ontology; lawful action structure is not field substance.
The denial is narrow. It does not deny quantum field theory. It does not deny fermion fields. It does not deny field operators, states, excitations, interactions, scattering amplitudes, or the Standard Model. It denies only the automatic move from \textit{field used successfully} to \textit{field is material stuff}.
A clarification on scope. There are defended positions in the philosophy of physics that read fields as fundamental physical entities of one or another kind: spacetime-state realism, wavefunction realism, structural realism, and various readings tied to algebraic quantum field theory. The present no-go is not a refutation of those positions on their own grounds. It targets the unargued default in which the move from successful field use to field-substance is performed silently, without recognition that an interpretive step has been taken. Defended field-realist readings argue for the additional commitment; the default smuggles it.
This second no-go is needed because the particle-side no-go alone is not enough. Without it, the reader escapes by saying: ``Fine, fermions are not tiny beads; the field is the real substance.'' The present note closes that escape route, while leaving the substantive interpretive debate over field realism untouched.
\section{Scope}
This paper makes no new physical proposal. It introduces no new equation and no new empirical claim. Its function is interpretive restriction.
\begin{itemize}
\item It does not modify quantum field theory.
\item It does not deny fermion fields.
\item It does not deny Standard Model interactions.
\item It does not deny field excitations.
\item It does not deny the use of fields in calculations.
\item It does not adjudicate against defended field-realist readings of QFT on their own grounds.
\item It denies only the automatic inference from \textit{fermion fields used successfully} and \textit{the actions they describe occurring} to the conclusion that those fields materially exist as things in space.
\end{itemize}
The claim is therefore conservative: keep the formal machinery and the lawful action structure, refuse the unargued field-substance inference.
\section{Definitions}
\begin{definition}[Fermion field]
A fermion field is the standard quantum-field-theoretic structure associated with fermionic degrees of freedom: operators, states, transformation properties, anticommutation relations, interaction terms, and admissible fermionic excitations.
\end{definition}
\begin{definition}[Substrate ontology / field-substance]
Substrate ontology, also called here the field-substance claim, is the interpretation according to which a field materially exists as a thing in space, with excitations treated as local modes of that thing.
\end{definition}
\begin{definition}[Field]
A field is a mathematical structure that defines lawful relations and admissible
outcomes over a domain. Its use in a theory does not, by itself, establish that
the field is a material substance occupying that domain.
\end{definition}
\begin{definition}[Lawful field structure]
Lawful field structure is the role played by a field as a mathematical
law-structure: it defines admissible states, operators, amplitudes,
correlations, interactions, and observable outcome constraints over a domain,
without thereby fixing whether the field itself is a material thing occupying
that domain.
\end{definition}
\section{The No-Go}
\begin{proposition}[Lawful action structure is not field substance]
A fermion field may successfully describe lawful actions, admissible states, interactions, correlations, amplitudes, and observable outcomes without thereby proving that the field materially exists as a thing in space.
\end{proposition}
\begin{proof}
The success of a field description establishes that the formal structure correctly organizes lawful behavior under the theory. The occurrence of the described actions establishes that the relevant physical behavior occurs. Neither point adds the further ontological predicate that the field itself materially exists as a thing in space. Lawful action structure and field-substance are therefore distinct claims. The former does not prove the latter.
\end{proof}
\begin{remark}
This is the engine of the paper. The proposition is a non-licensing claim, in the same sense as the photon-side wavefunction no-go~\cite{McKinleyWavefunction}: there, predictive success does not license a photon path between endpoints; here, descriptive success and the occurrence of the actions described do not license field-substance. Lawful outcome structure is not path ontology. Lawful action structure is not field substance. The proposition does not say field-substance is incoherent, nor that no defensible argument for it exists; it says the description and the actions described do not, on their own, certify it. A defended field-realist reading is therefore not a counterexample to the proposition. It is an additional argument that lies outside the proposition's scope.
\end{remark}
\begin{corollary}[The bead cannot be recovered as field-substance by default]
If fermions are not licensed as tiny bits of primitive stuff~\cite{McKinleyFermionBead}, the same stuff-ontology is not recovered, by default and without further argument, merely by relocating it into the fermion field.
\end{corollary}
\begin{proof}
The rejected corpuscular ontology says that matter is fundamentally tiny stuff. The default substrate move says that the field is fundamentally spread-out stuff. These differ in geometry, not in ontological instinct. Both add a substance claim beyond what the lawful action structure of the theory delivers. Relocating the substance claim from localized particle to distributed field does not, on its own, make it licensed; the relocation needs its own argument, which the default move does not supply.
\end{proof}
\begin{remark}
This result does not make the field unreal. It denies one default route to field-substance ontology. The field remains real as lawful action structure and as part of the successful predictive machinery of quantum field theory. What fails is the silent conversion of that structure into a material thing in space.
\end{remark}
\section{The Source of the Mistake}
The default substrate move is natural because the word ``field'' carries classical baggage. A classical field is easily pictured as something spread out: pressure and temperature fields are mapped over regions, and electromagnetic fields are commonly diagrammed with lines across space. The picture then drifts into substance language. The field becomes a stuff-like presence, often colloquially imagined as a kind of invisible material goo through which excitations propagate.
Quantum field theory does not require that picture. Its fields are not classical fluids. Fermion fields are not visible substances thinned out across space. They are formal structures used to compute and classify lawful fermionic behavior.
The mistake, in the form targeted here, is therefore a category shift performed without notice:
\begin{center}
\textit{Lawful action is silently converted into field-substance.}
\end{center}
That silent shift is the target of the no-go. Versions of field-realism defended with explicit argument are a different matter and lie outside the present claim.
\section{Relation to the Wavefunction No-Go}
The present no-go is the field-side counterpart of the wavefunction no-go on the photon side~\cite{McKinleyWavefunction}. The wavefunction paper denied the inference from predictive success to a definite spacetime path: the mathematical success of the wavefunction in predicting lawful absorption outcomes does not license the conclusion that a photon follows an intermediate spacetime path. The present paper denies the parallel inference: descriptive success and the occurrence of the actions described do not license the conclusion that the fermion field is a material thing in space.
The two no-gos can be stated in a single mirrored line:
\begin{center}
\textit{Lawful outcome structure is not path ontology. Lawful action structure is not field substance.}
\end{center}
In both cases the same structural error is blocked. A successful organization of admissible behavior is silently converted into a positive ontological picture: a path in the photon case, a substance in the fermion-field case. The success and the behavior are real. The added picture is not delivered by either.
The iron-filings no-go~\cite{McKinleyIronFilings} is a related but distinct argument, working on visible response patterns rather than on field-theoretic descriptive success; readers may consult it for the phenomenological version of the same instinct.
\section{Relation to the Fermion No-Go}
The companion no-go establishes that fermions are not licensed as little bits of primitive stuff~\cite{McKinleyFermionBead}. The present no-go establishes that fermion fields are not licensed as material things in space.
Together they close the two most common routes by which classical matter ontology re-enters the discussion without argument:
\begin{enumerate}
\item The fermion is not a bead.
\item The fermion field is not a thing in space.
\end{enumerate}
The two papers form a pair, but the burdens are not symmetric. The bead picture is a folk default; few defend it in print. The field-substance picture has a more serious life in the philosophy of physics literature. The companion paper closes a folk smuggle. The present paper closes the corresponding default smuggle while explicitly leaving room for the defended versions of field realism, which lie outside its scope.
The result is not nihilism about matter. It is cleanup. Fermions remain. Fields remain. QFT remains. What disappears, as a default inference, is primitive matter-stuff.
\begin{proposition}[No bead, no field-substance]
The denial of corpuscular fermion ontology and the denial of fermion-field substance ontology together exclude the unargued inference from Standard Model matter structure to primitive matter-stuff.
\end{proposition}
\begin{proof}
The corpuscular interpretation locates primitive stuff in the fermion. The field-substance interpretation locates primitive stuff in the fermion field. If neither is delivered by lawful action structure, then the Standard Model matter structure does not by itself license primitive matter-stuff. It licenses a lawful inventory of fields, states, labels, interactions, and outcomes; any further substance commitment requires an additional argument that the default move does not provide.
\end{proof}
\section{Compatibility with Quantum Field Theory}
This paper is compatible with ordinary quantum field theory because it removes no formal element from the theory. Fermion fields remain in the mathematics. Their anticommutation structure remains. Their transformation properties remain. Their interaction terms remain. Their role in scattering calculations remains. Their use in the Standard Model remains.
Only one inference is denied: the automatic step from \textit{fermion fields used successfully} to \textit{fermion fields are material things in space}.
\begin{proposition}[Formal retention without field-substance]
One may retain fermion fields in quantum field theory while declining the inference that those fields materially exist as things in space.
\end{proposition}
\begin{proof}
The role of a fermion field in the predictive content of QFT is filled by its place in the theory's mathematical and computational structure and the lawful actions it organizes. The further claim of field-substance is not required for that role. Removing the field-substance inference therefore does not remove the field.
\end{proof}
\section{Relation to TLM}
The Timeless Light Model treats the photon-side null case as a discipline against unauthorized traveler language~\cite{McKinleyBedrock,McKinleyWavefunction,McKinleyRetrocausal}. The present paper treats the matter-side field case as a discipline against unauthorized substance language.
The pattern is the same:
\begin{center}
\textit{Lawful behavior is not material certification.}
\end{center}
For the photon, the unauthorized picture is the traveler. For the fermion, it is the bead. For the fermion field, it is the substance. In each case, the lawful structure is retained; the silent promotion from lawful structure to material thinghood is refused. Defended versions of any of these readings, advanced with explicit argument, are debates on their own grounds and are not the subject of these no-gos.
\section{Falsifier}
This no-go fails if the predictive content of quantum field theory cannot be stated, and the lawful actions it describes cannot be accounted for, without committing to fermion fields as material things in space. That is, the no-go fails if the operator structure, anticommutation relations, interaction terms, and computational rules of QFT, together with the actual occurrence of the behavior they describe, jointly require a field-substance reading.
The bar is non-licensing, not refutation of every defended field-realist reading. A defended position that adds field-substance to the formalism by argument, rather than by silent default, does not falsify a no-go that targets the automatic move.
\section{Conclusion}
Fermion fields are part of quantum field theory. They are indispensable to the Standard Model's formal machinery. They organize lawful states, excitations, interactions, amplitudes, and observable outcomes, and the actions they describe occur. But neither the success of that description nor the occurrence of those actions, taken on its own or jointly, proves that the fermion field materially exists as a thing in space.
The result is narrow and useful. The fermion is not a bead. Lawful action structure is not field substance. Matter-stuff is not recovered, without further argument, by shifting from particle language to field language. What remains is the formal inventory and lawful action structure of standard physics. Whether any defended interpretation supplies an additional argument for field-substance is a separate debate, on which this paper does not rule.
\section*{TLM Summary}
The Timeless Light Model is a minimal interpretive framework that leaves standard predictive machinery intact while refusing unauthorized ontological pictures. Its photon-side claim, expressed through the wavefunction no-go~\cite{McKinleyWavefunction}, denies that predictive success licenses photon-path ontology. The companion fermion no-go~\cite{McKinleyFermionBead} denies that fermions are tiny matter beads. The present paper denies the field-side mirror of the wavefunction case: descriptive success and the occurrence of the actions described do not license field-substance ontology. Lawful outcome structure is not path ontology. Lawful action structure is not field substance. Defended interpretive positions on field realism are explicitly out of scope.
\section*{Glossary}
\begin{description}
\item[Bead ontology] The picture of a fermion as a tiny hard bit of primitive material stuff.
\item[Field-substance] The claim that a field materially exists as a thing in space; the matter-side analog of the photon-path picture refused in the wavefunction no-go.
\item[Field-goo] Informal label for field-substance, in which the field is imagined as invisible material stuff spread through space.
\item[Lawful action structure] The field's role as mathematical law-structure: defining admissible states, interactions, amplitudes, correlations, and observable outcomes.
\item[Material certification] The illicit move from successful lawful description or observed lawful behavior to the conclusion that a material thing exists beneath it.
\item[No-go] A structural restriction showing that a familiar interpretive move is not licensed by the formal commitments being used.
\end{description}
\begin{thebibliography}{9}
\bibitem{Peskin}
M. E. Peskin and D. V. Schroeder,
\textit{An Introduction to Quantum Field Theory}.
Westview Press, 1995.
\bibitem{Weinberg}
S. Weinberg,
\textit{The Quantum Theory of Fields, Volume I: Foundations}.
Cambridge University Press, 1995.
\bibitem{Schwartz}
M. D. Schwartz,
\textit{Quantum Field Theory and the Standard Model}.
Cambridge University Press, 2014.
\bibitem{Zee}
A. Zee,
\textit{Quantum Field Theory in a Nutshell}.
Princeton University Press, 2010.
\bibitem{PDG}
Particle Data Group,
Review of Particle Physics.
\textit{Progress of Theoretical and Experimental Physics}, 2022.
\href{https://doi.org/10.1093/ptep/ptac097}{doi:10.1093/ptep/ptac097}.
\bibitem{McKinleyBedrock}
J. C. W. McKinley,
\textit{A Minimal Structural Statement of the Timeless Light Model}.
Zenodo, 2026.
\href{https://doi.org/10.5281/zenodo.19167403}{doi:10.5281/zenodo.19167403}.
\bibitem{McKinleyWavefunction}
J. C. W. McKinley,
\textit{Wavefunction Prediction Does Not License a Photon Path}.
Zenodo, 2026.
\href{https://doi.org/10.5281/zenodo.19504771}{doi:10.5281/zenodo.19504771}.
\bibitem{McKinleyRetrocausal}
J. C. W. McKinley,
\textit{Retrocausal Objections Are Disallowed for the Photon}.
Zenodo, 2026.
\href{https://doi.org/10.5281/zenodo.19648209}{doi:10.5281/zenodo.19648209}.
\bibitem{McKinleyIronFilings}
J. C. W. McKinley,
\textit{Iron Filings Do Not Prove Field Substance: A Short Interpretive No-Go}.
Zenodo, 2026.
\href{https://doi.org/10.5281/zenodo.19639455}{doi:10.5281/zenodo.19639455}.
\bibitem{McKinleyFermionBead}
J. C. W. McKinley,
\textit{Fermions Are Not Little Bits of Stuff: A Structural No-Go on Corpuscular Matter Ontology}.
Zenodo, 2026.
\href{https://doi.org/10.5281/zenodo.20078211}{doi:10.5281/zenodo.20078211}.
\end{thebibliography}
\end{document}