The far-field complex amplitude is the two-dimensional Fourier transform of the aperture amplitude transmittance, evaluated at transverse spatial frequencies , . The light intensity is proportional to the squared magnitude of this transform.
Use linearity to add the transforms of simpler aperture components, preserving their relative phases. A translated component acquires a complex exponential factor. Repeated identical openings can be expressed as the convolution of one opening with a sum of Dirac delta functions; the convolution theorem then factors the field into a single-opening transform and an array factor. Multiplying aperture functions instead convolves their transforms. These operations simplify complex apertures without repeatedly evaluating the full diffraction integral. It is the complex amplitudes, rather than their wave intensities, that are added for coherent illumination.
For the normally incident plane wave, the incident complex amplitude and phase are uniform across the aperture. Treat the field using scalar diffraction, with the aperture represented by its prescribed amplitude transmittance . Let be the distance from the aperture centre to the observation point and let be the transverse direction cosines of that point.
Across an aperture of characteristic size , the Fraunhofer diffraction assumptions are that , so and the obliquity factor is nearly constant, and that the quadratic contribution to the propagation phase is negligible:
The remaining path-length dependence is linear:
A coherent monochromatic wave and an aperture large enough relative to wavelength for the scalar aperture model complete the usual physical assumptions. The complex amplitude becomes
where includes the common propagation phase, distance factor and nearly constant obliquity factor. For the central part of a planar screen in the paraxial approximation, and . Small observation angles are useful for that screen-coordinate formula; a general far-field Fourier transform can instead use the exact direction cosines. A lens can also produce this pattern in its focal plane without requiring a physically very distant screen.
Different transverse normal modes have different cutoff frequencies and group velocities. A pulse exciting several of them reaches the output in delayed modal components, causing intermodal dispersion, pulse distortion and overlap of successive signals. Their interference also makes the transverse wave intensity pattern depend on propagation distance; irregularities can transfer energy between modes.
Mitigations are to operate between the first and second cutoff frequencies of a membrane waveguide, excite only the desired mode shape with a suitable source, and use smooth uniform boundaries or gradual transitions to reduce mode conversion. Reducing the signal bandwidth keeps its spectrum inside the single-mode interval and reduces group velocity dispersion within the selected mode. Single-mode operation removes intermodal dispersion but does not remove the dispersion derived in part (b).
The natural interpretation is the fundamental transverse normal mode, . Indeed
so only propagates over the main part of the given Gaussian distribution of angular frequencies. Its centre travels at
Differentiate the group velocity with respect to angular frequency:
At the centre this is . The one-standard-deviation group velocity spread is consequently
Over the central travel time the associated spatial shear is
Equivalently, use representative components at , for which and . Their separation after is
At a fixed detector away, the corresponding arrival-time difference is .
The paper asks for an estimate of spreading, without specifying a spatial width convention or the initial spectral phase. A Gaussian distribution has no finite full range. Thus is a one-standard-deviation dispersive contribution, whereas about describes the separation of the representatives. Neither is automatically the increase in the packet's original width. For an initially unchirped Gaussian wave packet in the narrow-band approximation, independent initial and dispersive contributions combine as ; a packet with an initial chirp can behave differently. The modal assumption and width convention must accompany the numerical answer.
A nondispersive wave has a linear dispersion relation over the relevant range, so every Fourier transform component has the same phase velocity and group velocity . A wave packet then translates without spreading in an ideal homogeneous lossless medium.
For wave dispersion, depends on frequency or wavenumber. Different components accumulate different phases, and in general the group velocity differs from the phase velocity; variation of group velocity across the spectrum produces spreading of a wave packet. The membrane material can be nondispersive while confinement in a membrane waveguide introduces wave dispersion along its length.
Assume independent normally distributed angle errors with known standard deviation . The relevant chi-squared test uses the sum of squared standardized residuals,
For the model through the origin, the predictions and residuals, expressed in milliradians, are
Consequently . There are statistical degrees of freedom. The upper-tail P-value is approximately ; equivalently the value greatly exceeds the critical value . The zero-intercept model is strongly rejected under the stated errors.
For the alternative linear regression, minimize . Setting both partial derivatives to zero gives the normal equations, whose solution is
For these data , , and . This yields
The new predictions are , with residuals . Therefore
The affine model is compatible with the data. Allowing for its additional fitted parameter, the decrease has a chi-squared distribution with one statistical degree of freedom under the nested zero-intercept hypothesis, corresponding to . Thus the model with a fitted intercept provides the better description, rather than merely lowering the residual by adding a parameter.
With the measurement variance treated as known, the coefficient uncertainties are
Hence , about standard deviations above zero. A positive constant systematic error in the angular zero, or an additional nearly constant torque, could account for it. Its presence is evidence against the ideal zero-intercept model; four points alone do not identify the physical cause uniquely. A calibration error in only rescales the inferred gravitational constant and cannot remove this residual pattern.
Using the fitted slope after allowing for this offset would give , with the period and slope errors combined in quadrature. This is conditional on the constant-offset model.
All four angle measurements have the same standard uncertainty, so ordinary least squares minimizes
Differentiation gives
Thus the unique minimum is
The overbars denote sample means over the four observations. Numerically,
so
The fixed have negligible uncertainty. Assuming independent errors in the four , propagation of uncertainty in quadrature gives
Hence
If the period measurement is independent of the angle measurements, including its calibration uncertainty gives
This last uncertainty includes the stated random measurement errors only. Whether the model describes the data must be checked before treating it as a reliable measurement of the gravitational constant.
Rearrange the given torsion balance equilibrium relation as
A useful choice, preserving equal measurement uncertainties on the vertical axis, is
With angle measured in radians, is dimensionless and has units , so has units , as required. The four values, in the order of the original table, are
The corresponding values are , each with standard uncertainty . The uncertainty of is negligible by assumption, making linear regression through the origin appropriate for the proposed model.
The original apparatus has two small masses at distance from the suspension axis. Neglecting the rod's moment of inertia, their total moment of inertia is , consistent with the supplied torsion pendulum period. Treat and as exact because no uncertainties are specified. Rearranging the period relation gives
The torsion constant is a restoring torque per unit angle. In dimensional calculations the radian is dimensionless.
Using first-order propagation of uncertainty, with the quoted period uncertainty interpreted as a standard uncertainty,
Consequently
Identical spin one-half particles are fermions. By fermionic exchange symmetry, the complete spatial-and-spin wavefunction must change sign when the two particle labels are exchanged. Define the normalized antisymmetric spin-one-half singlet state
and the three symmetric spin-one-half triplet states
The Hamiltonian is independent of spin, so these spin functions carry no additional energy.
Both particles can occupy if their spin factor is antisymmetric. The unique ground state wavefunction is
Two equal-spin particles could not share this orbital, by the Pauli exclusion principle.
At the first excited energy, , one orbital is and the other is with or . Define symmetric and antisymmetric normalized spatial functions
For each , all allowed wavefunctions are spanned by
There are orthonormal states, hence first-excited-state degeneracy . In each product, exactly one factor is antisymmetric, ensuring the required total fermionic exchange symmetry.
Put . The two-particle product energy eigenstates are
Because the particles are distinguishable, and are distinct when . Also, the signs of nonzero integers distinguish opposite angular momenta. The quantum degeneracy is therefore the number of ordered integer pairs at each sum of squares.
The first distinct energy levels are . This ordering matters: is the third excited level, while is the fourth excited level.
  • At , only occurs: .
  • At the first excited level, , the pairs are and : .
  • At the fourth excited level, , the pairs are and , with independent signs: .
  • At , the pairs are , contributing four, and , contributing eight: .
These counts concern energy eigenspaces; arbitrary quantum superpositions within each one do not create additional independent states.
Solving the time-independent Schrödinger equation with gives . The periodic boundary condition requires , hence . With the angular integration measure , wavefunction normalization gives
so a convenient orthonormal eigenbasis is
The ground state is nondegenerate. For each , and span a two-dimensional energy eigenspace; real sine and cosine combinations are an equally valid basis. These opposite-circulation eigenstates have angular momentum and .
If instead the wavefunction is normalized with respect to physical arc length , its expression is . The two conventions describe the same probability, since . The remaining parts use .
For a particle in a ring, the arc-length coordinate is . The tangential kinetic energy is
The constraint removes radial motion; the constant potential energy along the ring can be chosen as zero. The tangential momentum operator is , or equivalently the angular momentum operator is . Thus
Its physical domain has periodic boundary conditions, and . These make the Hamiltonian self-adjoint and reflect that and describe the same point. No magnetic flux or additional angle-dependent potential energy is present.
The specified energy requires , so the relevant energy eigenspace has the orthonormal basis
Applying the creation and annihilation operators gives
Thus its matrix in this ordered basis is
Writing , the characteristic polynomial gives . The possible angular momentum eigenvalues are therefore
For completeness, normalized simultaneous energy and angular momentum eigenstates are
Each value occurs once in this energy eigenspace. Equivalently, circular ladder operators of a two-dimensional oscillator give and . With , the difference can only be .
Set . Taking the Hermitian adjoint reverses the order of products, so . Complex conjugation also reverses the sign of , and therefore
Thus is a self-adjoint operator on the usual oscillator states.
Using the coefficients in part (a), products containing two position operators or two momentum operators cancel in the difference. Cross-coordinate operators commute, leaving
Hence
It is the component of orbital angular momentum perpendicular to the plane, with units (equivalently ). The rotational symmetry of the two-dimensional isotropic harmonic oscillator makes this a conserved observable; directly, each term in preserves , so .
The number operator commutators established above imply that is proportional to and to . Their norms determine the magnitudes of the proportionality constants:
Choose the phase of the normalized ground eigenstate once, then define recursively
This removes the otherwise arbitrary relative phases of the eigenstates. The Hermitian adjoint relation then fixes the lowering coefficient with the same positive sign, giving
At , the second expression means the zero vector, ; it does not introduce a physical state .
For either number operator , positivity follows from
Hence an eigenvalue cannot be negative. The commutators
show that , if nonzero, is an eigenstate with eigenvalue . For a normalized eigenstate, .
If were not an integer, successive nonzero lowerings would eventually reach an eigenstate with . Its next lowering would have nonzero norm but a negative eigenvalue, contradicting positivity. The ladder must therefore terminate at , with . Conversely, successive applications of the creation operator never vanish, because
The normalizable bottom state exists explicitly: solving gives . Thus the number operator has exactly the non-negative integer eigenvalues.
Since the two coordinate number operators commute, use the product eigenstates . Their energy eigenvalues are
At fixed , the allowed pairs are . Thus the energy level has quantum degeneracy , and the ground-state energy is .

Pinned article: Introduction to the OurBigBook Project

Welcome to the OurBigBook Project! Our goal is to create the perfect publishing platform for STEM subjects, and get university-level students to write the best free STEM tutorials ever.
Everyone is welcome to create an account and play with the site: ourbigbook.com/go/register. We belive that students themselves can write amazing tutorials, but teachers are welcome too. You can write about anything you want, it doesn't have to be STEM or even educational. Silly test content is very welcome and you won't be penalized in any way. Just keep it legal!
We have two killer features:
  1. topics: topics group articles by different users with the same title, e.g. here is the topic for the "Fundamental Theorem of Calculus" ourbigbook.com/go/topic/fundamental-theorem-of-calculus
    Articles of different users are sorted by upvote within each article page. This feature is a bit like:
    • a Wikipedia where each user can have their own version of each article
    • a Q&A website like Stack Overflow, where multiple people can give their views on a given topic, and the best ones are sorted by upvote. Except you don't need to wait for someone to ask first, and any topic goes, no matter how narrow or broad
    This feature makes it possible for readers to find better explanations of any topic created by other writers. And it allows writers to create an explanation in a place that readers might actually find it.
    Figure 1.
    Screenshot of the "Derivative" topic page
    . View it live at: ourbigbook.com/go/topic/derivative
  2. local editing: you can store all your personal knowledge base content locally in a plaintext markup format that can be edited locally and published either:
    This way you can be sure that even if OurBigBook.com were to go down one day (which we have no plans to do as it is quite cheap to host!), your content will still be perfectly readable as a static site.
    Figure 5. . You can also edit articles on the Web editor without installing anything locally.
    Video 3.
    Edit locally and publish demo
    . Source. This shows editing OurBigBook Markup and publishing it using the Visual Studio Code extension.
  3. https://raw.githubusercontent.com/ourbigbook/ourbigbook-media/master/feature/x/hilbert-space-arrow.png
  4. Infinitely deep tables of contents:
    Figure 6.
    Dynamic article tree with infinitely deep table of contents
    .
    Descendant pages can also show up as toplevel e.g.: ourbigbook.com/cirosantilli/chordate-subclade
All our software is open source and hosted at: github.com/ourbigbook/ourbigbook
Further documentation can be found at: docs.ourbigbook.com
Feel free to reach our to us for any help or suggestions: docs.ourbigbook.com/#contact