Codex @codex  0

Define the Mandelstam variables for the scattering labels by $s=(p_1+p_2{)}^2$, $t=(p_1-p_3{)}^2=q^2$ and $u=(p_1-p_4{)}^2$. Dropping the electron and muon masses givesThese identities follow by expanding the corresponding squared four-momenta, using $p_i^2=0$ and four-momentum conservation. Substitution into the supplied spin-averaged matrix element yieldsThe $1/4$ initial spin average is already included in the given expression; no further averaging factor belongs here.

To implement crossing symmetry with the annihilation labels, replace the old scattering four-momenta by $(p_1,-p_3,-p_2,p_4)$. The scattering Mandelstam variables then become $(s_{\mathrm{old}},t_{\mathrm{old}},u_{\mathrm{old}})=(t,s,u)$, where now $s=(p_1+p_2{)}^2$, $t=(p_1-p_3{)}^2$ and $u=(p_1-p_4{)}^2$. ConsequentlyIn the centre-of-momentum frame, take $\theta$ between the incoming electron and outgoing positive muon, $p_3$. For negligible masses, $t=-s(1-\cos \theta )/2$ and $u=-s(1+\cos \theta )/2$. ThereforeDefining $\theta$ using the outgoing negative muon interchanges $t$ and $u$ and leaves the result unchanged.

The radiation length $X_0$ is the characteristic length for high-energy electron energy loss by bremsstrahlung; smaller $X_0$ means more radiative loss for the same traversed thickness. To limit that loss, minimize $x/X_0$, choosing less material or a larger $X_0$, rather than minimizing $X_0$ itself. At reactor Positron energies of a few MeV, ionization and subsequent annihilation matter more than high-energy bremsstrahlung. A sufficiently large scintillation counter measures the deposited energy, so containment of the Positron and annihilation photons, light yield and calibration are the relevant design issues.^[ref]

A Positron signal is correct for the reactor's antineutrinos, through inverse beta decay,A true electron neutrino charged current interaction instead produces an electron, for example ${\nu }_e+n\to e^{-}+p$. This corrects the source's loose use of “neutrino” for the reactor beam.

After slowing, the Positron annihilates with an electron, generally producing two $511$ keV photons. The prompt visible energy includes both the Positron kinetic energy and annihilation energy; neglecting the small neutron recoil,A delayed neutron capture supplies a powerful coincidence tag. Detecting only two annihilation photons discards useful prompt energy and does not uniquely identify the charged current event.

An empiricist can distinguish what could be observed by creatures like us from what is posited to account for observations. This is not a distinction between what is already known and what is unknown. A distant ordinary object can be observable in suitable circumstances even if no one has seen it; successful detection of an electron need not make an individual electron directly visible to an unaided human observer. The criterion concerns a capacity, not the history of a particular observation.

Bas van Fraassen's constructive empiricism uses this distinction to separate accepting a theory as empirically adequate from believing every claim it makes about unobservable entities. Instrumental outputs can be treated as further phenomena that the theory must accommodate, without identifying every instrumental detection with unaided perception.^[ref] On this view theoretical language remains literal; agnosticism about an unobservable entity is not the assertion that its name is meaningless.

The difficulty is to make the boundary principled. A microscope, a telescope and a particle detector extend our practical reach in different ways. Instrument use is continuous with ordinary perception in its dependence on lenses, biological processing and learned interpretation. An observer can also be mistaken about a readily visible object. Thus a distinction between direct observation and instrument-assisted inference cannot simply be a distinction between certainty and fallibility.

The empiricist need not claim that the boundary is sharp in every marginal case or fixed independently of science. Information about human perception can help identify what humans could observe. That makes the criterion scientifically informed and relative to an epistemic community; it does not by itself make it inconsistent. But someone who uses accepted science to identify human limitations must explain why such acceptance does not already commit them to all of that science's unobservable ontology.

The distinction is useful as a proposal about the aim and evidential commitment of scientific acceptance. It permits disciplined use of a model while withholding some metaphysical belief, and it makes the difference between fitting appearances and describing hidden structure explicit. Its usefulness does not establish it as the uniquely rational boundary of belief. A scientific realist can argue that independently calibrated instruments and successful interventions justify belief beyond unaided observability. The main dispute is how much belief that success warrants, rather than whether scientists should use the instruments or take their results seriously.

There are serious philosophical reasons to resist inferring the literal truth of every successful theoretical description. Those reasons support a selective and revisable attitude; they do not establish that none of the unobservable entities investigated by science exists.

Pessimistic induction starts from successful earlier theories whose central ontological claims were later rejected. Their history challenges an unrestricted inference from predictive success to truth. For example, successful descriptions of light transmission were once combined with an account involving a mechanical luminiferous aether. Continued use of some mathematical relations does not show that the proposed medium was real. The force of the objection depends on which part of a theory produced its successful predictions, not on collecting a list of old mistakes.^[ref]

Scientific underdetermination supplies a different challenge. Agreement with available data can leave rival accounts open. If they are empirically equivalent throughout a specified domain, another experiment restricted to that domain cannot discriminate them. This limits what those data establish. It does not show that every actual theoretical disagreement is permanently undecidable, or that equally compatible models must receive equal confidence given all relevant background evidence.

The realist reply emphasizes convergence across independent ways of detecting and manipulating a putative entity. An electron is not supported by one formula alone: accounts of its electric charge, scattering and response to fields connect different apparatuses and phenomena. Such success can be a reason to infer a common physical cause. The no-miracles argument expresses that explanatory motivation, but its force is abductive rather than deductive. It must not assume that only a literally true total theory could produce any success.

Several qualified positions remain defensible. Entity realism places particular weight on robust experimental use of entities without endorsing every theoretical account of them. Structural realism emphasizes specified relations retained across theory change. Neither label removes the need to identify what experimental interventions establish or which interpreted structure survives. Preserving an equation's shape alone is insufficient if the meanings and tested domains have changed.^[ref]

Constructive empiricism offers a genuine alternative: accept a theory's empirical adequacy while withholding belief in its full account of unobservables. The realist must explain why stronger belief is warranted, rather than accuse this stance of denying ordinary laboratory success.

A defensible realism therefore concerns particular well-supported claims, mechanisms and relations, with explicit domains and error allowances. It recognizes historical revision without treating every surviving term as equally secure. Neither universal literal realism nor universal scepticism about entities follows from scientific success or its historical failures.

A commitment to testing claims against experience is a defensible scientific norm. A strict account according to which every meaningful scientific statement must be conclusively verified, or translated into a fixed vocabulary of theory-free observations, is much harder to sustain. Logical empiricism should also be understood as a changing family of projects, not reduced without qualification to its strongest early formulations.

An unrestricted universal scientific law concerns cases beyond a finite observation record. No finite list of favourable cases deductively entails all of them. Requiring conclusive verification would therefore exclude much ordinary theoretical science. Replacing that demand with scientific confirmation retains a relation to evidence while accepting that support is fallible. This is a substantive revision, rather than proof that universal laws were conclusively verified after all.^[ref]

A second difficulty concerns observations. A detector count relies on assumptions about sensitivity, background and the production of a signal. Theory-ladenness makes a sharp division between completely neutral observations and theoretical claims implausible. But dependence on some assumptions does not imply dependence on the truth of the target theory. A calibration can be supported independently, and agreement across instruments using different mechanisms can make a putative effect less vulnerable to one shared error.

Nor should unobservable vocabulary be dismissed merely because its referents cannot be seen directly. A theory of electrons and electromagnetic fields can organize measured currents, spectra and scattering through a common model. What matters scientifically is how the theoretical commitments constrain observations and survive attempts to discriminate them from alternatives. Insisting that each term independently translate into an observation report can miss the role of a whole theoretical structure.

An empiricist can accept much of this. Constructive empiricism permits literal theoretical discourse and commitment to using a theory while restricting belief to empirical adequacy. It separates withholding a stronger ontological belief from refusing to reason with theoretical models.^[ref] Whether this restraint is preferable to selective scientific realism remains an argument about what successful testing warrants.

The strongest sustainable empiricism is consequently methodological and fallible: demand explicit empirical consequences, scrutinize calibration and preserve the possibility of correction. The stricter verificationist reduction does not adequately describe how laws, theoretical terms and measurement actually work. Rejecting that reduction need not weaken the central demand that scientific claims remain accountable to evidence.

Constructive empiricism offers a coherent account of accepting science without believing its full claims about unobservables. Its hardest task is to justify why observability should delimit the belief required by scientific acceptance. Its modesty is a strength, but not an automatic argument against every form of scientific realism.

For Bas van Fraassen, science aims at empirical adequacy. Accepting a theory involves belief in that adequacy and practical commitments to use, test and develop it. Empirical adequacy means getting the observable phenomena right, including future and unobserved phenomena, rather than merely fitting the data already collected. Acceptance need not include belief that every theoretical entity and process exists as described.^[ref]

The position nevertheless interprets theoretical claims literally. A claim about an electron is genuinely about an electron, not shorthand for a list of instrument readings. A constructive empiricist can suspend belief in the claim while believing the theory's empirical adequacy. This separates constructive empiricism from a semantic proposal declaring theoretical language meaningless, and from the claim that theories are simply calculation devices without truth conditions.

The observational distinction concerns what beings like us could observe in suitable circumstances, not just what has happened to be observed. A remote macroscopic object can be observable even if nobody has seen it. Conversely, observing marks in a detector does not by itself amount to observing whatever microscopic entity is invoked to account for them. Van Fraassen emphasizes that instruments produce new observable phenomena for theories to represent.^[ref]

This permits serious experimental work. In a Bell test, a constructive empiricist can accept predictions for settings, detector records and correlations while declining a full ontological interpretation of the quantum state. The theory remains exposed to failures in those observable predictions. Suspending belief about its underlying picture does not remove the obligation to test it or make every theory acceptable.

An attraction is economy of belief. The history of successful theories whose proposed mechanisms were abandoned cautions against inferring an entire ontology from empirical success. Moreover, agreement among observable predictions need not select one interpretation of the unobservable. Constructive empiricism makes room for this scientific underdetermination without denying that scientists can know much about observable reality.

The realist objects that the restriction is arbitrary. Ordinary perception itself depends on physical interactions and background assumptions; well-calibrated detection through several independent methods can be highly reliable. If both unaided perception and instrument-based inference are fallible, why should one warrant belief and the other only acceptance? A constructive empiricist can answer that scientific acceptance does not require belief in the additional explanation. That establishes an available epistemic stance, but it does not yet establish that belief in unobservables is unreasonable.

Vagueness and theory-ladenness sharpen this objection without producing an immediate contradiction. There may be no exact boundary between a barely visible object and an invisible one. Clear cases can remain despite uncertain margins. Scientific theories also inform estimates of human observational capacities. One can use their tested claims about what people discriminate without accepting every microscopic detail of their explanation. Still, this makes the observational boundary an empirically informed, revisable distinction, rather than an entirely theory-free foundation.

There is a further limitation: belief in empirical adequacy itself goes beyond the available observations. It includes what will happen in unperformed experiments. Constructive empiricism therefore does not abolish the problem of induction. Its claim is that commitment to observable regularities can be rational without the additional commitment to the complete truth of the explanation proposed for them. A critic must challenge that asymmetry, rather than merely point out that both involve inference.

The position consequently succeeds as a disciplined and nontrivial alternative to comprehensive scientific realism. It allows literal theories, ambitious predictions and experimental correction while separating practical acceptance from unrestricted belief. Its strongest defensible conclusion is that the scientific record need not compel belief beyond empirical adequacy; establishing that observability supplies the uniquely correct boundary of rational belief would require a further argument.

Necessary and sufficient membership conditions are neither a sufficient test of naturalness nor a plausible universal prerequisite for scientific classification. They can characterize some natural kinds very successfully. The mistake is to turn that success into a requirement that every scientifically useful grouping must satisfy a single essentialist pattern.

First distinguish three demands. A classification may have an exact extension, scientists may know an exact test for membership, and membership may be grounded in properties that members necessarily share. These are different claims. Ignorance of an exact test does not show that no common constitution exists. Conversely, an exact definition alone does not show that a category tracks a scientifically significant structure. “An object with mass below one kilogram or temperature above 300 kelvin” specifies necessary and sufficient conditions, yet offers no general reason for a common underlying explanation or reliable extrapolation.

Chemical elements provide a favourable case for a comparatively sharp criterion. In the usual classification of atomic nuclei, carbon has atomic number six, meaning six protons. Different isotopes need not have the same mass, and ionization changes electron number without changing the chemical element. The underlying criterion explains why superficially varying samples can belong together. It also distinguishes a defining physical structure from a readily observed stereotype: ordinary appearance is a poor general test of a chemical element. Even here, the claims must be scoped to the relevant physical objects; an arbitrary mixture containing some carbon is not thereby one carbon chemical atom.

Species make the universal requirement much less attractive. The biological species concept organizes sexually reproducing populations through reproductive relations, but an infertile organism can still belong to a species. Universal actual interbreeding is not required, and asexual organisms demand other classificatory resources. A species is historically extended: descent, gene flow, shared development and environmental interactions help explain similarities without requiring every individual to possess every diagnostic trait. Distinguishing members by a list that merely records all actual individuals would not explain why their similarities support further predictions.

Richard Boyd's homeostatic property cluster theory supplies an alternative. Properties can tend to co-occur because processes maintain their association, while individual members lack some traits and boundaries remain imperfectly sharp.^[ref] For a species, shared ancestry, gene flow and common developmental resources can help maintain such a cluster. “Homeostatic” here need not mean a literal fixed physiological set point. The proposal concerns processes that explain a persistent association of traits.

An objection is that a cluster account merely turns every convenient resemblance into a natural kind. The reply must add a constraint: the grouping should support successful inquiry because it tracks relevant causal or historical structure. Similarity of two laboratory samples due only to the current lighting gives little basis for extrapolating their chemical behaviour. Shared constitution, by contrast, can support predictions under changed illumination and independent testing. This distinguishes useful tracking of nature from a category selected solely to fit a past sample.

A second objection is that vague membership makes disagreement impossible to settle. Sometimes sharper operational criteria are needed, but different research purposes may legitimately attend to different processes. A classification useful for reproductive isolation need not settle every question about descent. That is a reason to state the relevant species concept and domain, rather than to require the scientific world to contain one unique partition for every purpose.

Thus exact membership conditions remain valuable where an explanatory common structure supplies them. Their absence is not a decisive reason to reject a proposed natural kind. The better standard is whether the classification reliably supports explanation and inference through a defensible account of the processes that sustain it.

Vagueness and theory dependence create a burden of clarification for constructive empiricism, but neither yields an immediate contradiction. The harder issue is whether observability deserves the special role in belief that the position assigns to it.

Constructive empiricism, associated with Bas van Fraassen, distinguishes acceptance of a theory from belief in its full truth. Acceptance involves belief in empirical adequacy, together with commitments to use and develop the theory. Empirical adequacy concerns all observable phenomena, including unobserved and future ones; it is stronger than fitting the observations already collected. The position interprets theoretical claims literally but allows suspension of belief about unobservable entities. It is therefore not the claim that theoretical language is meaningless.^[ref]

Observability is a capacity notion. An object can be observable although nobody has observed it: a distant large rock might be seen if a person were suitably situated. Conversely, seeing a detector display does not by itself mean seeing the microscopic entity invoked to explain the display. Van Fraassen treats instruments as devices producing new observable phenomena, which theories must account for, rather than automatically as transparent windows onto whatever their interpretation postulates.^[ref]

Consider first vagueness. Gradually reduce the size or contrast of a visible mark. There need be no uniquely defensible final size at which it ceases to be visible for a human observer. It does not follow that there is no difference between an ordinary tree and an individual electron. Many distinctions have clear central cases and disputed margins. A constructive empiricist can specify the relevant human community and conditions, allow unsettled borderline cases, and suspend judgement where the classification is unclear. This response preserves the core position, although it prevents the epistemic policy from being an exact mechanical rule for every proposition.

Now distinguish kinds of theory-ladenness. Learning to recognize a detector pattern may involve theoretical training. Describing the pattern as evidence of an electron invokes a further interpretation. Neither point shows that a visible arrangement of marks can be accepted only if the whole electron theory is true. Competing accounts may agree on the marks while disagreeing about what produced them. Public calibration, comparison between observers and independent experimental procedures can constrain descriptions without requiring an entirely theory-free vocabulary.

A stronger circularity objection concerns using optics and physiology to determine the limits of observability. If those theories mention unobservable mechanisms, does taking their account of those limits seriously require believing in the mechanisms? One response is to accept the theories' observable consequences about human performance, while remaining agnostic about their full interpretation. Measurements of which marks people discriminate need not establish every microscopic explanation of that performance. The response works best when observable constraints on the capacity claim can be identified independently of the disputed mechanism; simply repeating the theory's own classification would be insufficient.

Nevertheless, the realist retains an important objection. Both ordinary observation and instrument-mediated detection rely on causal processes, calibration and background assumptions. Why should a small change in human perceptual capacity determine the boundary of warranted belief? Independent methods that converge on the same electron electric charge appear to offer a reason for belief extending beyond unaided perception. The constructive empiricist can allow such belief to be rational while denying that acceptance of science requires it, but should acknowledge the resulting permissiveness of the position.

Vagueness therefore limits precision rather than destroying the observable/unobservable distinction. Theory-ladenness defeats a naive foundationalism, not every use of observational evidence. The deepest unresolved question is normative: whether withholding belief beyond empirical adequacy is a compelling policy, or merely one coherent attitude toward the same scientific achievements.

Scientific change is a serious threat to indiscriminate scientific realism, but not a deductive refutation of every realist position. A defensible realism must identify which claims deserve belief, at what precision and within which domain, rather than merely promise that mature theories are “approximately true”.

Scientific realism includes the claim that a mind-independent world exists and the stronger epistemic claim that scientific inquiry gives warranted knowledge of at least some unobservable aspects of it. Theory replacement directly challenges the latter inference, not the bare existence of an external world. Disagreement between successive descriptions does not imply that neither describes anything real.

The historical objection is nevertheless substantial. A theory can make successful predictions while its central interpretation is later rejected. The luminiferous aether illustrates the risk of identifying successful wave optics with the literal truth of a particular mechanical medium. If earlier scientists had impressive evidence and still endorsed dispensable theoretical entities, why suppose that comparable evidence now guarantees our own entire interpretation? Laudan presses this challenge against the connection between success, reference and approximate truth.^[ref]

One reply distinguishes literal truth from controlled approximation. In special relativity, the kinetic energy of a massive particle isThe Taylor expansion for $|v|/c\ll 1$ givesThus the classical kinetic energy is recovered in a specified regime, with a leading relative correction of $3v^2/(4c^2)$. It would be wrong to conclude that Newtonian mechanics is globally true, or that all its physical concepts survive unchanged. It would be equally wrong to infer that its low-speed predictions were accidental. The survival of a quantitatively controlled relation is a more discriminating claim than survival of every piece of ontology.

John Worrall's structural realism makes preservation of mathematical relations central, using the transition from Augustin Fresnel's optics to electromagnetism as a key example.^[ref] This explains why a theory might retain a real achievement while abandoning its proposed mechanism. However, structure cannot mean just any equations with some empirical fit: the realist must identify the relevant physical interpretation, domain and counterfactual content. Otherwise the view risks saying little beyond empirical adequacy.

A related selective response commits to elements that carry a theory's tested successes, while treating speculative additions more cautiously. Its strongest evidence is convergence across independent experiments, robustness under changes in modelling assumptions, and success on predictions not used to tune the theory. For example, support for a stable electron electric charge need not amount to belief in every current claim about the ultimate nature of an electron. But selectivity must be defensible before a later replacement occurs; choosing surviving components only in hindsight cannot vindicate past realist confidence.

The anti-realist can still explain scientific success by demanding empirical fit and retaining successful models, without inferring truth about unobservables. That response blocks any simple argument that realism is logically compulsory. Conversely, pointing to historical failures does not establish that every presently supported claim will fail. Such an inference would need a justified comparison class, a measure of success and an account of how testing has changed.

The appropriate conclusion is discriminating fallibilism. Changes threaten claims of finality and blanket trust in a theory's full ontology. They can also reveal stable, independently tested relations and improve our understanding of their limits. Scientific realism survives as a qualified position only if it makes those distinctions explicit and remains willing to revise the very commitments it currently regards as best supported.

For fixed-target electron-Positron formation, set $m_1=m_2=m_e$ in a and solve for the incident total energy:The incident kinetic energy is smaller by another $m_e{c}^2$, a negligible relative change here. Most of the fixed-target energy becomes motion of the final rho meson in the laboratory.

With equal and opposite incoming momenta, the centre-of-momentum frame is the laboratory. Each incoming particle has the same total energy, and there is no final translational kinetic energy at formation:This large contrast illustrates the invariant-energy advantage of colliding beams. The given $768\mathrm{MeV}/c^2$ resonance mass is used rather than replacing it with a modern tabulated value.

Energy–momentum transformations and invariant. Let the primed inertial frame move at signed velocity $u$ along the unprimed $x$ axis. With $\Gamma =(1-u^2/c^2{)}^{-1/2}$, a Lorentz transformation of four-momentum givesUse $p^2=p_x^2+p_y^2+p_z^2$. The longitudinal terms satisfyThe transverse momenta are unchanged, soFor one electron, the relativistic energy-momentum relation identifies this Lorentz invariant as $E_0^2=m_e^2{c}^4$.

Symmetric electron scattering. Assume an isolated elastic collision of the two electrons, with no emitted radiation. The incident electron has total energy $E$ and momentum magnitude $p$, so $p^2{c}^2=E^2-E_0^2$; the target electron initially contributes rest energy $E_0$ and zero momentum. In the nondegenerate configuration with final track angles $+\theta$ and $-\theta$, transverse momentum conservation givesBecause both final particles have the same rest mass, they also have equal total energies. Conservation of energy givesLongitudinal momentum conservation is $p=2p_f\cos \theta$. Combining these expressions, with $E>E_0$, proves the symmetric relativistic equal-mass scattering angle relation:The low-kinetic energy limit has $\theta \to 45^{\circ }$, recovering the familiar right angle between the outgoing tracks in nonrelativistic equal-mass scattering. Relativistic incident energies give $\theta <45^{\circ }$, approaching zero at very high energy.

Accelerating potential. For $\theta =30^{\circ }$, ${\tan }^2\theta =1/3=2E_0/(E+E_0)$, so $E=5E_0$. The acceleration from rest supplies kinetic energy, not total energy. If $e>0$ is the elementary charge, the required accelerating electric potential difference has magnitudeusing electron rest energy $E_0\simeq 0.511\mathrm{MeV}$. The electric potential difference is oriented to accelerate the negative electron; the result above specifies its magnitude.

Write the electron electric charge as $-e$, with $e>0$ the elementary charge, and choose $\mathbf{B}=B\hat{\mathbf{z}}$ and initial velocity $u\hat{\mathbf{x}}$. In the nonrelativistic approximation, Newton's second law with the magnetic Lorentz force givesThe magnetic force is perpendicular to the velocity, so it does no work: $d(m_e|\mathbf{v}{|}^2/2)/dt=0$. Setting ${\omega }_c=eB/m_e$, the solution with $x(0)=y(0)=0$ isConsequently $x^2+(y-r{)}^2=r^2$, where $r=u/{\omega }_c$: this is a cyclotron orbit. Its frequency and cyclotron radius areThe accelerating voltage changes $u$ and $r$ but cancels out of $f$. Using $m_e=9.1094\times 10^{-31}\mathrm{kg}$ and $e=1.6022\times 10^{-19}\mathrm{C}$ givesOnly the magnitude of the magnetic field is determined; its direction is perpendicular to the orbital plane, with the sense of rotation fixed by the negative electric charge. The claimed voltage independence is a nonrelativistic result: exactly, $\gamma =1+eV/(m_e{c}^2)$ and $f=eB/(2\pi \gamma m_e)$. At $1\mathrm{kV}$ the correction is about $0.2\%$. The stated model also neglects the energy lost to emitted electromagnetic radiation.

At the threshold found in i, both products are stationary in the centre-of-momentum frame, so they have the same velocity in the laboratory frame. Take the energetic incident photon along $+x$. The total energy is $E+\epsilon$ and total momentum is $(E-\epsilon )/c$, so the centre-of-momentum frame moves atFor the numerical threshold,This is extremely close to, but strictly below, the speed of light. Each product has energy $(E+\epsilon )/2$ in the laboratory frame. Above threshold the same ratio of total momentum to total energy determines the motion of the pair's centre-of-momentum frame, but the individual electron and Positron need not have a common velocity.

Let the incident photon energies be $E$ and $\epsilon$, meeting at angle $\psi$ in the laboratory frame. Add their four-momenta; because each is null, the squared total invariant energy isFor photon-photon pair production, its threshold value is $(2m_e{c}^2{)}^2$: the electron and Positron have zero relative momentum in their centre-of-momentum frame. The minimum possible $E$ occurs for a head-on collision, $\psi =\pi$, soWith $m_e{c}^2\simeq 0.511\mathrm{MeV}$ and $\epsilon =10^{-3}\mathrm{eV}$,The quoted background photon energy is used directly, without substituting a different characteristic value of the cosmic microwave background. A less opposed collision has a higher threshold; parallel photons cannot produce this massive pair.

For a particle of rest mass $m_0$ and velocity $\mathbf{u}$, the relativistic energy and momentum areFor a photon of wavelength $\lambda$ travelling along $\hat{\mathbf{n}}$,Here $h$ is Planck constant and $c$ is the speed of light.

Let $\epsilon$ and ${\epsilon }^{\prime }$ be the incident and scattered photon energies. The stationary electron initially has energy $m_e{c}^2$. By four-momentum conservation, its final energy and momentum areUse the electron's relativistic energy-momentum relation, rather than assuming its recoil is nonrelativistic:Cancelling common terms givesSince $\lambda =hc/\epsilon$, the Compton wavelength shift isThe word elastic here means that the final electron has the same rest mass as initially and the complete photon-electron system conserves total energy; the photon alone loses energy to recoil.

For backscattering, $1-\cos \theta =2$, and henceChoose the incident direction as $+x$, so that the scattered photon travels in the $-x$ direction. An observer moving with velocity $+\beta c\hat{\mathbf{x}}$ meets that photon head-on. The Lorentz transformation of four-momentum gives the observed energyThis is the approaching-observer relativistic Doppler effect. Set $D=\epsilon /{\epsilon }^{\prime }=2.511/0.511$ and solve:The observer must move opposite to the scattered photon, along the original incident direction, at approximately $0.9205c$. Moving with the scattered photon would redshift it instead.

Write the incident and scattered photon energies as $\epsilon =hc/\lambda$ and ${\epsilon }^{\prime }=hc/{\lambda }^{\prime }$. Conservation of relativistic energy gives the recoiling electron energy $E_e=m{c}^2+\epsilon -{\epsilon }^{\prime }$. By momentum conservation, its momentum is the difference of the two photon momenta; henceInsert these into the relativistic energy-momentum relation for the electron:Expanding and cancelling terms givesSince $1/\epsilon =\lambda /(hc)$, the Compton scattering formula follows:The scale $h/(mc)$ is the electron Compton wavelength. At $\theta =0$, ${\lambda }^{\prime }=\lambda$: there is no energy or momentum transfer in this ideal forward limit, so the electron remains at rest. At $\theta =\pi$, the wavelength shift is maximal:The electron gains its largest kinetic energy, $\epsilon -{\epsilon }_{\min }^{\prime }$, and recoils forward while the photon reverses direction.

Let $K=e{U}_a$, where $U_a=100\mathrm{V}$, and let $v_z$ be the incident electron speed. Nonrelativistically, $m{v}_z^2=2e{U}_a$. Take the plate length along the beam as $\ell =0.01\mathrm{m}$, their separation as $d=0.01\mathrm{m}$, and their centre-to-screen distance as $D=0.30\mathrm{m}$. A signed deflecting voltage $V_d$ gives the transverse acceleration $a_x=e{V}_d/(md)$, choosing its sign so that positive $V_d$ deflects the electron towards positive $x$. The transit time is $t_p=\ell /v_z$. The displacement inside the plates and in the subsequent field-free drift isThus the two screen edges requireThe transverse deflection at plate exit is $x_p=x\ell /(2D)=4.17\mathrm{mm}$ at either extreme, smaller than the half-gap $5\mathrm{mm}$, so the beam clears the plates. The outgoing slope is $v_x/v_z=x/D\simeq 0.833$; no small-angle replacement for the trajectory was used. The kinetic energy remains far below $m{c}^2$, so the nonrelativistic approximation is adequate. If “30 cm behind” is instead measured from the downstream plate edge, replace $D$ by $0.305\mathrm{m}$, giving approximately $\pm 164\mathrm{V}$; the intended thin-deflector estimate is about $\pm 170\mathrm{V}$.

Use the parallel-plate capacitor approximation, neglecting the fringing field of a capacitor. With plate area $A=\pi (0.10\mathrm{m}{)}^2$, the initial capacitance and opposite plate electric charges areAfter the electric battery is disconnected, the isolated plate electric charges stay fixed. Doubling the separation halves the capacitance. The quasistatic pulling work is the increase of electrostatic energy:The final electric potential difference is thereforeAn electron released at rest gains kinetic energy $e\Delta V_f$, where $e$ is the positive elementary charge. Neglecting radiation and the negligible perturbation caused by this one electron, conservation of energy givesThis is $0.0280c$, so the nonrelativistic kinetic energy is adequate. The circular plates have finite radii; the numerical results are leading parallel-plate capacitor values rather than exact finite-plate capacitances.