Phasor 2026-10-18
A phasor is a complex amplitude representing a sinusoid at one specified angular frequency: . Its modulus gives the peak amplitude and its complex argument gives the wave phase in this convention. Both may instead use root mean square magnitudes if that normalization is stated.
Thorlabs' silicon FDS100 experiment sends a collimated, fibre-coupled laser beam through a beam splitter to the photodiode and a reference optical power meter. Varying reverse bias and electrical load tests linearity. The measured readout approaches saturation when its electric potential difference consumes the bias.[ref] A separate low-signal setup uses a laser, polarizers, an optical chopper, optical attenuators and a lock-in amplifier inside a light-tight enclosure. These are actual apparatus choices, not the parameters of the constructed example above.[ref]
For an independent dark current check, Thorlabs enclosed a photodiode in nested metal boxes to exclude light and suppress interference, used a Keithley 6487 ammeter supplying reverse bias, and monitored temperature. Only one specimen per type was tested; the nearby temperature sensor did not directly contact the semiconductor. Such a dark control measures the baseline but cannot certify spectral responsivity.[ref]
To infer spectral responsivity at a selected wavelength, measure the radiant flux actually reaching the test photodiode, rather than just the reference arm. A reference-arm measurement calibration must include the beam splitter ratio and path losses. With signed readouts in one fixed orientation, subtract a beam-blocked baseline and use
for direct electric current readout or a calibrated linear transimpedance amplifier, respectively. Repeating at several incident powers tests whether this ratio is constant. Blocking only the source estimates ambient light plus electronic baseline; covering the detector excludes ambient light too. Their difference distinguishes optical background from dark current and readout offset. For a broad optical spectrum, the ratio is a spectrum-weighted response, not generally at one wavelength.
For independent Poisson distribution collection, the root mean square shot noise in a one-sided rectangular frequency band of signal bandwidth is
Here is reverse dark current; thermal electrical noise and amplifier noise also contribute.[ref]
Subtracting a mean dark current removes its offset, not its fluctuations: subtracting a constant leaves the variance unchanged. Consequently makes dark current shot noise small relative to signal shot noise; it does not by itself establish high signal-to-noise ratio. With an independently measured baseline, the variance of that estimate must also be propagated. Increasing the measurement signal bandwidth raises the admitted noise. Calibration of wavelength, reference radiant flux, readout gain and collection geometry, together with drift and linearity, determines what measurement uncertainty can be claimed.
For free planar turning with constant , no imposed torque and negligible inertia, model an unwrapped angle by the stochastic differential equation
Here is standard one-dimensional Brownian motion, with increment variance , and brackets denote expected values over repeated realizations. The angular variance is conventionally reported in . “Unwrapped” means recording accumulated turns continuously, rather than resetting the angle at each revolution. Directly subtracting wrapped camera angles creates artificial jumps; for an unmarked ellipsoid the wrapping period is , and resolving successive turns additionally requires sufficiently frequent images.
For a planar arrow , the orientational autocorrelation is
For an unoriented planar axis, use an autocorrelation unchanged by replacing either endpoint angle by that angle plus :
The same thus gives arrow and axis correlation times and , respectively, where a correlation time here is the lag at which the relevant curve reaches . A short explanation is enough: has a Gaussian distribution of variance , so its characteristic function gives . The integer selects what the observable can distinguish; it does not change the underlying angular spreading.
For an original numerical example, choose . After , the angular variance is and its root mean square displacement is , although the mean displacement is zero. The planar arrow autocorrelation is , while the planar axis autocorrelation is . Calling both “the orientation correlation” without specifying the observable would hide a factor of four in decay rate.
Figure 1.
Planar rotational diffusion: arrows, unoriented axes and loss of angular memory
. Original schematics, three simulated Brownian motion angle paths and exact ensemble autocorrelation curves for the chosen . The paths use independent Gaussian distribution increments of variance with . The curves are model predictions, not fits to these three paths or experimental measurements. Both curves concern planar turning; neither is the three-dimensional unit-vector law. Details.
Rayleigh moments Created 2026-10-18 Updated 2026-10-20
Using in the defining expected value integral gives
The last integral is the gamma function. Near zero, the integrand before substitution behaves as , explaining the threshold ; at infinity the Gaussian tail controls every power. In particular,
[ref]
For the chosen , the mean radius is about , its median is , and its mode is . Its root mean square is . Different summaries answer different questions; the component scale is neither the radial mean nor the radial standard deviation.
The geometrical optics account of an optical trap adds the momentum flux changes of refracted and reflected light rays. It applies when the bead is large compared with the surrounding medium's wavelength. When the bead is much smaller, an induced electric dipole gives a different approximation. For a homogeneous dielectric sphere of radius , define , with the peak complex electric field and its SI polarizability. In a transparent, nonmagnetic, nondispersive host,
where are particle and host refractive indices, is cycle-averaged light intensity, is the vacuum permittivity and is the speed of light. The quasistatic electric dipole approximation requires , with the vacuum wavelength, and a field nearly uniform across the bead.
For real quasistatic , building an induced electric dipole gives instantaneous potential energy . Averaging over one optical cycle gives
Thus gives positive polarizability and attraction toward larger light intensity; reverses this contribution. The factor uses a peak field: substituting a root mean square field without changing that factor would halve the force incorrectly. Dimensionally is energy, so its gradient is force.
This leading conservative term does not remove the optical scattering force. Even a nonabsorbing induced electric dipole reradiates light: at fixed wavelength and index contrast, its Rayleigh scattering cross-section scales as , while scales as . A smaller bead can therefore improve the ratio of gradient to scattering forces while weakening the well relative to , where is the Boltzmann constant and the temperature. Optical force balance and resistance to thermal escape are separate questions. Intermediate bead sizes require a wave-scattering calculation; neither a ray calculation nor this small-dipole expression is uniformly valid there.
Use complex amplitudes only for signals at one common positive angular frequency . Define the real terminal voltage and electric current by
The complex amplitudes here use peak magnitudes; both can instead use root mean square magnitudes without changing their ratio. Choose positive electric current entering the terminal assigned positive voltage, so is absorbed power. For an ideal linear inductor and capacitor, their terminal laws and give
The derivative multiplies a complex amplitude by : this single algebraic step explains both signs. Taking as a reference gives and for the sinusoidal response. Thus inductor voltage leads electric current by , while capacitor voltage lags electric current by . A constant offset or a free transient is outside this single-frequency representation. [ref].
With the alternative convention, the same real signals use conjugated complex amplitudes and , . Their physical leads and lags stay the same; the sign of changes. Also, some textbooks call the positive magnitude the capacitive reactance and write the series expression as . This article consistently uses signed and hence . [ref].
Connect one physical resistor across an ideal lossless capacitor , with no applied source and an ideal readout that draws no electric current. Represent the resistor by its noisy Thévenin equivalent. The resulting RC low-pass frequency response gives the stationary capacitor voltage power spectral density
Its mean square follows by the effective noise bandwidth calculation:
This is also the equipartition theorem: the mean capacitor energy is . Raising makes the low-frequency spectrum taller and its width narrower in exactly compensating proportions. It changes the equilibration time , not the final variance.
The integral to infinity belongs to the ideal classical model. For a physical electrical circuit, assume thermal equilibrium, linear components with negligible extra dissipation, and a corner far below the frequencies where parasitic effects, frequency-dependent electrical resistance, or invalidate the model; the omitted high-frequency tail must be negligible. A finite-bandwidth instrument measures only part of this variance. Its input capacitance contributes to the total , and its finite input electrical resistance introduces both loading and its own thermal electrical noise.
For and , the predicted equilibrium variance is and the root mean square voltage is . At , and . At , and ; the equilibrium root mean square voltage is identical.
Figure 1.
Changing electrical resistance changes noise timescales but preserves
. Original calculated comparison at and . Left: the physical parallel resistor and capacitor and their noisy Thévenin equivalent. Middle: equilibrium one-sided voltage spectra for and have the same full integral. Right: mean square voltage grows toward the same equilibrium value from an exactly discharged initial capacitor. Curves describe ensemble expected values, not measured or simulated voltage traces. Details.
To obtain the growth curve, prepare exactly and connect the resistor at while maintaining its temperature. The RC low-pass filter's causal impulse response is for . Classical ideal white noise with two-sided power spectral density gives
The factor here is the two-sided time-domain noise intensity; the equilibrium spectral integral above used the one-sided . They give the same long-time limit. The variance approaches equilibrium with time constant , although a deterministic initial voltage decays with time constant . If the capacitor already starts in thermal equilibrium, its initial variance supplies the missing exponentially decaying term and the total variance stays constant.
The raw root mean square of a random variable is , whereas its r.m.s. fluctuation about its mean is the standard deviation . The former cannot be smaller than . Experimental phrases such as r.m.s. noise or temperature spread usually refer to the latter and should state the reference level.
Series RC impedance 2026-10-18
Consider a stipulated series circuit containing an ideal resistor of electrical resistance and an ideal capacitor of capacitance . The same electric current passes through both. Their terminal electric potential differences add by Kirchhoff's voltage law, so
A quick derivation uses : taking the derivative of the complex exponential multiplies the capacitor voltage phasor by , hence . Dimensionally, has units , matching .
At frequency , the angular frequency is . The signed capacitive electrical reactance, modulus and complex argument of the total electrical impedance are
Apply across the complete series circuit. Its root mean square electric current is
With voltage as the zero-phase reference, the current phasor has complex argument : electric current leads. The phasor drops have moduli and ; these add as complex numbers, not as positive magnitudes. Their squared magnitudes sum to .
Figure 1. . Original calculated ideal , model, not measured data or a filter transfer function. Left: the electrical impedance remains on and approaches the real axis as frequency increases. Right: its modulus and voltage-minus-current phase difference. The marked case matches the worked example; marks , , and . Details.
The mean absorbed power uses the root mean square values:
The ideal capacitor has zero cycle-averaged absorbed power; all the mean absorbed power becomes Joule heating in the resistor.[ref] To see why the phase factor appears, average over a full cycle with and . The cosine addition formula reduces the average to ; the term at averages to zero. Independently, , and the capacitor energy returns to its starting value after each cycle.
At fixed applied , the limit gives , and : the ideal capacitor blocks steady electric current. The limit gives , and . These are limits of the ideal lumped electrical circuit; unwanted lead inductance and component losses can invalidate that model at high frequency. At , the equal legs of the impedance right triangle give and without numerical evaluation. Measuring both the magnitude and the sign of the phase difference distinguishes this capacitor response from an equally large positive electrical reactance.
MIT's guide uses an illuminated vacuum photodiode, with collecting anode positive relative to the emitting cathode. A transimpedance amplifier gives ; a multimeter reads its mean. The fluctuation path rejects below , adds roughly tenfold voltage gain, then nominal hundredfold preamplification and a – band-pass filter; the readout measures root mean square voltage. With diode bias off, a sinusoid at the test port calibrates . Restore bias, retain gain settings, vary lamp brightness, and repeat both readings. The guide warns about overload; it supplies a procedure, not measured results.[ref]
Figure 1.
Functional photocurrent measurement: separate mean-current, fluctuation and calibration paths
. Original functional diagram organizing the laboratory's measurement roles; it is not a component-level circuit reproduction. includes current-to-voltage conversion and the complete fluctuation path. The dark comparison below is an additional control. Details.
The inference can be expressed without relying on nominal passband edges. Let denote the calibrated voltage transfer after the conversion, so and define . Under independent arrivals and an unchanged additive background,
The slope of voltage variance against mean electric current can therefore estimate . A free intercept accounts for a constant background; forcing the line through zero generally biases the slope. The root mean square readings must have their mean removed and then be squared. Subtracting two root mean square amplitudes does not subtract independent variances. Estimate the variance from successive records; averaging the waveforms first would suppress the fluctuation being measured.
Additional controls sharpen this interpretation. Block the light with detector bias, temperature, and gain unchanged; this preserves dark current and electronics while removing photocurrent. Repeat this dark comparison between illumination settings to check drift. If independent dark arrivals have mean magnitude and illuminated arrivals add , their spectra add: . Subtracting the unchanged dark variance isolates . This subtraction model assumes unchanged transfers and independence; switching off bias for gain calibration is a different control and need not preserve the dark background.
Vary measured rather than assuming lamp knob position is proportional to photocurrent. Check collection versus bias to identify a range where incomplete collection is negligible; a space charge limited tube can correlate transfers. Verify that the transimpedance amplifier remains linear and that its frequency response is unchanged over the illumination range. Changing signal bandwidth should change the excess variance through ; compare inferred input spectra in several bands. Correlated fluctuations of the light source can add a contribution scaling approximately as , while an electronics floor can hide the linear term at small electric currents. A fitted line over a short range alone does not establish independent transfers.
The gain calibration must include the same detector-to-readout path used for noise, or explicitly supply any omitted transfer. Detector capacitance, finite collection time, amplifier voltage and current noise, thermal electrical noise, pickup, clipping, and finite recording precision limit the inference. Current-dependent electrical impedance or heating can make a background current-dependent too. Since contains squared gain, a small fractional error in gain produces approximately twice that fractional error in the predicted variance scale. Knowing a nominal gain and two cutoff settings is insufficient.
Write an ideal point-transfer model using the Dirac delta function:
For this arrival stream with independent increments, distinct arrivals contribute the product of the means, which cancels when centering. The same-arrival term leaves the autocovariance
Its Fourier transform gives the two-sided power spectral density, while folding negative frequencies onto positive ones gives the one-sided convention:
These spectra describe , excluding the spectral line from the mean direct current. The amplitude spectral density is in ; it is not a root mean square electric current until a measurement signal bandwidth is specified. Approximate white noise requires frequencies low enough that the single-transfer pulse shape and any correlations can be neglected. Neither the ideal impulses nor a flat spectrum extending to infinity describe a real detector at every timescale.
All spectra above are per hertz, with in cycles per second. One possible angular frequency convention defines a density integrated using alone. Since , it has
Another common convention keeps the numerical density but integrates it with . State the integration measure as well as whether a spectrum is one-sided: a change of variable and a folding of signs are separate operations.
Signal-to-noise ratio 2026-10-18
A signal-to-noise ratio compares a chosen measure of a signal with the corresponding noise measure. For a constant measured electric potential difference and a root mean square noise voltage , an amplitude ratio is ; the corresponding power ratio under equal electrical resistance is its square. State the convention and measurement signal bandwidth, since changing either changes the numerical ratio.
Use a complex envelope normalized so that ; its units are . The optical carrier convention is : the physical electric field is proportional to the real part of for a fixed transverse mode. With angular frequency offset , fix the Fourier transform convention
Write with real . A dispersive element adds spectral phase
Constant phase rotates the envelope; the linear term delays it by . The group delay is . The quadratic coefficient is group delay dispersion, abbreviated GDD, with units of time squared. Positive GDD makes higher frequencies arrive later with this convention. It is accumulated dispersion of a component; material group velocity dispersion is its corresponding coefficient per unit length.
To undo a quadratic stretcher spectral phase, the compressor must supply opposite GDD. Include the amplifier and all intervening optics in the sum:
Setting this sum to zero does not cancel third-order dispersion, , or still higher orders. Residual spectral phase can produce asymmetry and satellite pulses even when the quadratic term vanishes. A diffraction grating system can make path length depend on frequency; matching the complete spectral phase over the occupied spectrum is more demanding than merely choosing opposite quadratic coefficients.
There is a useful proof of what phase correction can accomplish. By Parseval's identity,
For a smooth decaying spectrum, the Fourier transform of is . Consequently the power-weighted mean arrival time and variance obey
At fixed spectral amplitude, constant group delay minimizes this root mean square duration. Such a pulse is a transform-limited pulse, up to a time shift and constant phase. The nonnegative second term measures temporal broadening from unequal arrival times; the first term remains even after perfect phase correction.
Thermal noise measurement 2026-10-18
MIT's laboratory guide mounts resistors on an aluminum box beneath a metal beaker shield, with short twisted leads. Its SR560 amplifier uses nominal gain before a Krohn-Hite – band-pass filter; an oscilloscope reads root mean square voltage. Calibration sweeps an attenuated sinusoid and measures the actual gain . Students alternate the resistor and a short circuit, subtracting squared readings , and disconnect the ohmmeter during noise acquisition. Lead and input capacitance enter the gain-squared integral. With settings unchanged, varying electrical resistance or temperature tests the predicted mean square. The guide prescribes repeated readings and warns against averaging noise waveforms to zero. This is a documented teaching protocol, not a supplied dataset of measured outcomes.[ref]
The subtraction requires care: shorting the input changes the source electrical impedance. An amplifier's input current noise can therefore produce different voltage noise in the two configurations; a shorted baseline alone does not remove that contribution. Gain drift, interference and insufficient observation time also limit the inference. These are limitations of interpreting the measurement, not corrections that can be inferred from the nominal signal bandwidth alone. In an independent analysis one would compare the measured difference with
where represents the measured shunt capacitance and excludes that separately modeled shunt. If calibration already includes the same shunt response, applying the denominator again counts the attenuation twice. The thermal noise worked example and both original figures illustrate ideal models; they claim no measured agreement or measured value of the Boltzmann constant.
Model an ideal resistor of constant electrical resistance at uniform absolute temperature by its Thévenin equivalent: a zero-mean random voltage source in series with a noiseless . In the classical range its one-sided, open-circuit voltage power spectral density, per hertz, is
where is the Boltzmann constant. Thus a positive-frequency interval of width contributes to the mean square voltage. This is approximately white noise only where the electrical resistance is effectively constant and , with the Planck constant. The ideal constant spectrum cannot describe arbitrarily high frequencies.[ref]
For a real voltage, an equivalent two-sided power spectral density is over signed frequencies. With a real linear time-invariant system of frequency response , the same output mean square is
Angle brackets denote an expected value; for this zero-mean noise the mean square is its variance. Do not integrate over both signs of frequency: that counts the same fluctuations twice. All integrals here use frequency in hertz, not angular frequency . The amplitude spectral density is in , whereas the root mean square voltage requires a specified measurement signal bandwidth.
For an original hypothetical calculation, stipulate , , and an ideal rectangular measurement signal bandwidth . Using gives
A matched electrical load receives root mean square from the source resistor, giving . These are stipulated model predictions, not laboratory measurements. Increasing raises the open-circuit voltage noise but does not increase the matched available power. Restricting the measurement signal bandwidth reduces root mean square noise as its square root; it improves signal-to-noise ratio only if the desired signal is preserved.
For a nearly flat interface, the extra surface energy in the small-slope approximation is . Each nonzero Fourier mode therefore has thermal variance in a convention with height reconstructed as the sum of its mode amplitudes. Summing over a two-dimensional annulus of wavevectors gives
The smallest wavevector is set by the lateral size or pinning, and the largest by the breakdown of the continuum description, commonly a molecular length. A fixed mean height removes the zero mode. Gravity supplies an additional restoring term and changes the long-wavelength cutoff when it is retained. Roughness here means a height variance; its square root is the root mean square amplitude, even when the mean height fluctuation is zero.
A useful original model treats the thermopile absorber as one approximately uniform temperature with heat capacity , connected to a fixed reference temperature by thermal conductance . Both parameters are positive constants here. Let be an added absorbed power above the initial background. Linearize the outgoing heat transfer about that background. With measured from an initial state having , conservation of energy gives the first-order linear differential equation
The left side is the rate of stored energy; the two terms on the right are added power and outgoing heat transfer. The effective thermal conductance can include several paths, rather than just heat conduction along the wires. The model assumes a stable reference, negligible electrical loading, a common absorber temperature, and changes small enough for constant parameters.
For a step from zero to constant at , subtract the steady solution . The difference obeys exponential decay, so the initial condition fixes
The time constant has units . With the same constructed and , choose , and . Then
At one time constant, the response is of its final value: . Reaching requires . A voltmeter read too soon therefore underestimates the steady signal even when its electrical calibration is perfect.
Figure 1. . Original model curves for added absorbed power , and relative Seebeck coefficient . The solid curve uses and , giving time constant and final voltage . The dashed comparison halves only : final voltage doubles, but so does the time constant. Neither curve is an experimental observation. Details.
The steady ratio is in this constructed model. Halving thermal conductance doubles this ratio but also doubles the time constant if heat capacity stays fixed. Reducing heat capacity alone speeds the response without changing its steady value. Increasing gives a larger signal only at fixed individual temperature differences: adding legs can also change thermal conductance, heat capacity and electrical resistance. The algebra identifies coupled design choices, rather than predicting a particular manufactured detector.
A finite electrical resistance produces Thermal electrical noise. For nearly uniform absolute temperature and effective measurement signal bandwidth , its root mean square open-circuit voltage is
Here is the Boltzmann constant. Thermal electrical noise in the sensing element is an important contribution, and the signal bandwidth enters its voltage variance.[ref] If identical pairs have fixed electrical resistance and fixed , then : the signal grows as while this noise grows as . The resulting signal-to-noise ratio grows only as under those assumptions. Reference temperature drift, environmental electromagnetic radiation, and meter noise remain separate limits; reducing signal bandwidth trades fast information for less integrated electrical noise.
An original teaching model exposes the roles of input loading, output loading and the supply. Choose a small-signal model with positive input electrical resistance , transconductance , and output electrical resistance . Its controlled output current source draws from the output node toward the reference node. This chosen sign gives an inverting voltage gain; it is not the historical contact circuit's sign convention.
Assume a fixed operating point, negligible reverse coupling, a frequency range where coupling capacitors pass the signal, and negligible other capacitances and transit delays. A collector resistor connects the output to a steady ideal supply ; an external electrical load is coupled through a capacitor, so it draws no direct current. The input source has series electrical resistance . All voltages below are small departures from the operating point. An ideal fixed supply has zero incremental voltage and therefore becomes the reference node in the small-signal model.
Define and , where . Input voltage division and output Kirchhoff's current law give
Consequently the port voltage gain, overall source-to-output voltage gain, and load current gain magnitudes are
This current gain uses load electric current, not all the controlled-source electric current. It is also a different port definition from the historical emitter-to-collector current gain. Larger attenuates the input; smaller attenuates the output.
For a sinusoid input signal, use root mean square voltages. The power gain from accepted input signal power to useful load power is
Unlike , this tends to zero as either or . Differentiation gives
Thus matching the output electrical load maximizes delivered power in this unilateral resistive model. For fixed source voltage, input loading multiplies by ; the accepted-input power gain above excludes the loss in .
Choose , , , and . Then . With and root mean square, the input is and the inverted output has magnitude root mean square. Hence and : . These are calculated values of the chosen model, not historical measurements.
With the same parameters but , while . At , while . Neither current gain nor voltage gain alone establishes power gain.
Figure 1.
Chosen transistor model: transconductance, load and supply
. Original calculated illustration. Top: incremental electrical circuit. Lower left: the no-external-load direct current load line intersects three chosen local device curves. Lower right: port voltage gain, load current gain and power gain as changes. All parameters are stipulated teaching values. Source. Details.
For the direct current load line in the figure, choose , and , consistent with . Locally extend the model as . With the external electrical load isolated at direct current, its intersection with is . Keeping small compared with the available voltage headroom is essential; extrapolation to arbitrarily large signals would be unphysical.
At the chosen operating point the collector supply delivers : is dissipated in and in the output device. Under a small signal, that energy flow is redistributed to provide load power. The incremental controlled current source hides the supply's steady energy flow; it does not create energy. A real complete amplifier also needs its input biasing network and has further losses. This calculation establishes neither its total efficiency nor a universal law for point-contact transistors.
Two-electron Laughlin relative probability Created 2026-10-18 Updated 2026-10-20
Consider the original two-electron example obtained by taking in the Laughlin wavefunction, with no additional polynomial for the centre of mass. Introduce , relative complex coordinate , separation , and dimensionless separation . Since , the probability density factorizes:
Integrating out leaves an isotropic relative probability density. Define per unit dimensionless area and per unit dimensionless separation:
The physical areal probability density is . The probability of a separation between and is . The extra comes from the Jacobian determinant in polar coordinates: a thin annulus has area . Omitting that factor changes the question being answered.
Figure 1.
Pair avoidance and the annular Jacobian determinant in a two-electron Laughlin wavefunction
. Original normalized model curves for chosen odd exponents and . Left: relative probability density per unit dimensionless area. Right: probability density of dimensionless separation, including the annular factor . Markers identify the respective maxima. These finite two-particle curves are not measured data or the pair distribution of an infinite fluid. Details.
Both wavefunction normalization and the peak shift can be checked exactly. The substitution gives the Gamma function integral
For , logarithmic differentiation gives
Consequently the areal maximum lies at , while the most probable separation lies farther out, at . For these are and ; for , and . The same substitution gives , so the root mean square separations are and respectively. The distinction between a probability density maximum and a radial maximum therefore has a directly calculable geometric origin.
This two-electron model explains exchange and pair avoidance. It does not establish a nonzero many-particle spectral gap, an extended quantum Hall plateau, or the topological properties of a fluid in the thermodynamic limit. Those require additional many-electron reasoning and experimental tests.