Question

In the late 1940s, the nascent field of quantum electrodynamics (QED)—the relativistic quantum field theory of electrodynamics—was plagued by a severe theoretical crisis: calculations of physical quantities, such as the self-energy of the electron, yielded meaningless infinite results. A resolution emerged independently from three disparate physicists, each employing a distinct mathematical architecture, which culminated in one of the most profound theoretical unifications in modern physics.

Julian Schwinger developed a highly formal, algebraically rigorous operator formalism. Grounded in the traditional Hamiltonian framework of quantum mechanics, Schwinger's method was mathematically irreproachable but notoriously labyrinthine, relying on complex differential equations that obscured the underlying physical intuition. His approach methodically isolated the infinite terms, allowing for their cancellation through a process known as mass and charge renormalization. However, the sheer density of his calculations made them accessible only to a select cohort of theoreticians. This computational burden meant that while his theory was undeniably correct, applying it to practical, higher-order physical phenomena remained an exhausting endeavor.

Conversely, Richard Feynman introduced a radically intuitive, visually oriented path-integral formulation. Eschewing the Hamiltonian approach, Feynman utilized a Lagrangian framework to calculate the probability amplitudes of particle interactions over all possible spacetime trajectories. His introduction of "Feynman diagrams" provided a deceptively simple pictorial representation of complex integrals. However, Feynman's initial presentation lacked the rigorous axiomatic foundation demanded by the physics establishment; his derivation was often perceived as a set of heuristic mnemonic devices rather than a systematic mathematical theory.

Simultaneously, isolated by the aftermath of World War II, Sin-Itiro Tomonaga in Japan independently formulated a solution that bridged the conceptual gap. Tomonaga developed a relativistically covariant formulation of the Schrödinger equation, known as the "super-many-time theory." This approach generalized the traditional time evolution of quantum states to arbitrary spacelike surfaces, offering a computationally elegant framework that managed the infinities without completely abandoning the established quantum mechanical formalism. Though separated from the global scientific community by the geopolitical realities of the era, his insights paralleled the core mathematical necessities of the field.

The disparate nature of these three methodologies—Schwinger’s algorithmic rigor, Feynman’s visual intuition, and Tomonaga’s covariant state evolution—created a fractured landscape in theoretical physics, with adherents of each method struggling to translate between the differing mathematical vernaculars. It was Freeman Dyson who, in 1949, provided the crucial synthesis. By demonstrating that the S-matrix (scattering matrix) generated by Feynman's path integrals was mathematically equivalent to the perturbative expansion derived from the Schwinger-Tomonaga operator formalism, Dyson proved that these seemingly incompatible frameworks were different representations of the same underlying physical reality. The resulting theoretical framework stands today as one of the most rigorously tested and highly accurate constructions in the history of science.

Based on the passage, match each physicist to the precise theoretical contribution or methodology explicitly attributed to them.