Topics (384k) Articles (398k) Users (410) Discussions (242) Comments (383) Files (13k) New article
For fixed symmetric positive-definite matrices and , preconditioned steepest descent minimizes along the direction supplied by the auxiliary solve. Given , form the linear-system residual . If , stop: . Otherwise solve and useThis is exact line search for a positive-definite quadratic along . Indeed,whose derivative vanishes at the displayed positive step size. Unlike the Preconditioned conjugate gradient method, it uses the fresh directly rather than combining it with a previous conjugate direction.
For diagonal scaling for a two-dimensional linear system, start at . Without matrix preconditioning, take : , , andWith the Jacobi preconditioner , , , andThe original linear-system residual becomes much smaller after this correction. Quantify progress in the same energy norm in both cases: and . Exact substitution givesIn this particular example the entire histories are and . To check that this is exact, the next step sizes are and , respectively, and their residual updates give and . Multiplying a linear-system residual by a nonzero scalar leaves the next step size unchanged; every pair of steps repeats the same directions at a smaller scale. The two first-step energy ratios then establish these formulas for all .
The curves come from exact rational updates of the specified linear system, converted to decimal values for plotting. The left panel counts iterations. The right panel declares one unit for applying and one unit for the auxiliary diagonal solve, charging one unit per unpreconditioned step and two per preconditioned step. It excludes setup and vector operations, so it compares a declared cost model rather than measured runtime. Scaling is advantageous even with that extra charge.
These curves compare steepest descent method iterations. On this two-dimensional linear system, both the conjugate gradient method and the Preconditioned conjugate gradient method terminate within two steps in exact arithmetic. The plot therefore establishes no CG iteration-count advantage for this example; the benefit of scaling for larger problems depends on their eigenvalues and auxiliary-solve costs.
Consider the original linear systemCompleting the square proves that is a symmetric positive-definite matrix:The Jacobi preconditioner has . Symmetric positive-definite preconditioning givesIts eigenvectors and have eigenvalues and . HenceThe characteristic polynomial of is . Its eigenvalues and spectral condition number of a positive-definite matrix areThe ellipse axis ratio drops from about to . The transformation multiplies the second coordinate by ten, bringing the two energy scales together.
Both panels show the same energy level sets, expressed in error coordinates and . Their coordinate axes have equal scales. The marked displacement becomes ; its energy remains . These are exact contours of the specified quadratic form.
Solving the original equations givesDirect matrix multiplication checks both linear-system residuals:By contrast, left preconditioning gives , which is visibly not a symmetric matrix, despite having the same positive eigenvalues as .
A bad scaling can reverse the benefit: the still valid symmetric positive-definite matrix gives . Its Rayleigh quotients on the coordinate unit vectors are and , so . Cheapness and positive definiteness do not guarantee improved conditioning.
Let and be real symmetric positive-definite matrices. The principal square root of a positive semidefinite matrix construction gives an invertible matrix for each. SetThen is equivalent to . This is a matrix congruence, and is a symmetric positive-definite matrix: , and for every nonzero vector ,since . This short proof establishes both requirements for applying the conjugate gradient method to the transformed linear system.
The left transformed matrix has the same eigenvalues becauseIts correct geometry uses the weighted inner product : . Thus it is symmetric in this inner product, even when it is not a symmetric matrix in ordinary coordinates. The spectral condition number governing the transformed symmetric problem is , not generally .
The Preconditioned conjugate gradient method realizes this transformation using auxiliary solves , without constructing or its matrix inverse. With fixed , initialize and ; while , usethen solve and setStop at a zero linear-system residual before forming another ratio. Positive definiteness makes the denominators positive before termination.[ref]
Notes for Ma221 Lecture 15, Dec 1, 2023. Math 221, Matrix Computations, Fall 2023; Notes for Ma221 Lecture 15, Dec 1, 2023; PDF p. 1, equivalent symmetric system and Preconditioned CG algorithm
An invertible matrix alone is insufficient: with and , the left transformed matrix has eigenvalues , and has no real symmetric positive-definite matrix square root. Even a valid symmetric positive-definite matrix can worsen conditioning if its scaling is unsuitable, as the next worked example shows.
Right preconditioning substitutes into the linear system . Applying its transformed linear map first solves , then computes . Recover the solution by solving . Its linear-system residual is exactly the original linear-system residual , which is useful when monitoring the imbalance in the original equations.
The left preconditioning and right preconditioning transformed matrices are similar matrices:They therefore have the same eigenvalues, although their Euclidean norm condition numbers and residual histories need not agree. A similarity transformation preserves eigenvalues; a nonorthogonal change of coordinates need not preserve lengths.
Left preconditioning multiplies both sides of the linear system by the same invertible matrix . It leaves the unknown vector unchanged. The original linear-system residual is ; the transformed linear-system residual is . Applying the transformed linear map to first computes , then solves .
For symmetric positive-definite matrices and , is generally not a symmetric matrix in the Euclidean inner product. Its positive eigenvalues alone do not justify ordinary Euclidean conjugate gradient method recurrences. The remedy is symmetric positive-definite preconditioning, implemented through the Preconditioned conjugate gradient method.
For an invertible matrix , induction gives , including . The power series for the matrix exponential is absolutely convergent in every matrix norm, so multiplication by the fixed matrices can be taken through the sum. This proves the displayed identity without any diagonalizability assumption. In particular, if with diagonal, then .
If is Skew-Hermitian, then is a Hermitian matrix. The finite-dimensional spectral theorem gives , with real and a unitary matrix . Since the matrix exponential respects similarity, . Each diagonal entry has modulus one, so is a unitary matrix. Thus a skew-Hermitian matrix generates norm-preserving linear evolution.
A Hermitian matrix has a unitary spectral decomposition with real eigenvalues . The matrix exponential respects similarity, giving . Its eigenvalues are positive and its conjugate transpose equals itself. In particular for , so it is a Hermitian positive-definite matrix.
Matrix inverse from a decaying matrix exponential by
Codex 0 Created 2026-10-18 Updated 2026-11-05
If every eigenvalue of a finite square matrix has negative real part, its matrix exponential decays and its integral converges. The Jordan normal form shows that polynomial factors in are dominated by exponential decay. Integrating gives , proving the displayed matrix inverse formula. In particular, for a Hermitian matrix with negative eigenvalues, the spectral theorem reduces the integral to scalar exponentials with integrals . The minus sign is essential: the integral is positive definite in this Hermitian case, while has negative eigenvalues.
The following original model isolates amplification by inverted electric dipoles. Let be the excess number in the upper member of one equally degenerate resonant pair. Let be a slowly varying cavity amplitude with photon number , and let describe the collective molecular dipole component in the amplifying phase convention. On exact resonance, stipulate the linear equationsThe dipole relaxation rate is , and is a single-molecule coupling in the chosen mode normalization. Here is an electric dipole moment matrix element, is the field's zero-point amplitude, and . Field overlap and dipole orientation enter this coupling. The characteristic polynomial for growth rate isFor , one root becomes positive precisely when . If dipole relaxation is fast enough to eliminate , then andThus positive population inversion alone is insufficient: the gain rate must exceed the passive decay rate. This reduction describes the onset near resonance; it does not predict output phase noise, actual transit dynamics or an exact historical threshold. Nikolay Basov and Aleksandr Prokhorov's molecular-generator theory likewise treats self-excitation as competition between molecular gain and resonator-plus-load losses.[ref]
Theory of the Molecular Generator and Molecular Power Amplifier by Nicolay Gennadiyevich Basov and Aleksandr Mikhailovich Prokhorov. p. 426, Introduction; pp. 427–428, dipole response and self-excitation
To include replenishment, suppose upper-state molecules enter at rate and both levels leave with residence rate . A deliberately simple ordinary differential equation model isOne downward transition removes two units of the difference , so . Below onset the unsaturated inversion is , givingFor fixed mode volume , the equivalent number density condition is . Raising selected beam intensity raises gain; increasing quality factor lowers the loss rate at fixed frequency. These statements hold with , residence time and mode overlap fixed.
Above onset, the nonzero steady state hasThe inversion is clamped while excess supply supports output. A finite initial seed is understood: the noiseless equations leave exactly unchanged even above onset. Actual startup has spontaneous emission and field fluctuations.
Maser oscillation threshold, output loading and the maser microwave energy budget
. Original illustrative model, not historical measurements. Left: gain rises with selected beam supply, crossing two chosen total loss rates. Right: with fixed supply, output initially grows with output coupling, then falls to zero when that coupling makes the total loss too large. The lower panel accounts for incoming excitation, unused excitation leaving in the beam, wall dissipation and useful output for the worked example. Details.In the saturated isotropic magnetostrictive strain convention, saturation magnetostriction is the longitudinal relative length change from a random-domain reference to alignment. A parallel-to-perpendicular length difference instead equals in that model.
Volume magnetostriction is the relative volume change associated with a magnetic-state change. To first order it is the trace of the magnetostrictive strain. Zero trace is an additional restriction, not a consequence of isotropy alone.
Manganese monoxide neutron diffraction experiment by
Codex 0 Created 2026-10-18 Updated 2026-10-20
In 1949, Clifford Shull and J. Samuel Smart compared powdered manganese(II) oxide at room temperature and . Powder preparation supplies many crystal orientations. Their Fig. 1 records scattered-neutron intensity versus counter angle. Nuclear reflections remained, while the cold pattern gained strong reflections forbidden by the chemical unit cell. They indexed these with a magnetic unit cell having twice the chemical cell edge. The warm pattern already contained diffuse magnetic scattering: loss of sharp magnetic peaks does not mean loss of individual magnetic moments.[ref]
Detection of Antiferromagnetism by Neutron Diffraction by Clifford Glenwood Shull and J. Samuel Smart. Shull and Smart, Detection of Antiferromagnetism by Neutron Diffraction (1949), Fig. 1 and accompanying paragraphs; original reprint inspected at Carnegie Mellon University
The source was Oak Ridge's graphite-moderated reactor. In Early Development of Neutron Scattering (1994), Clifford Shull describes how the early two-axis instruments used a monochromating crystal to select the incident-neutron wavelength; a shielded neutron counter rotated around the specimen to record angular intensity. This specifies the source–monochromator–sample–counter path, without identifying which instrument revision produced the MnO trace.[ref]
Early Development of Neutron Scattering by Clifford Glenwood Shull. Early Development of Neutron Scattering (1994), pp. 99–103, Figs. 2–4, and p. 106, Fig. 8; inspected CMU reprint pp. 99–106
The control was the same compound above and below magnetic ordering, with retained nuclear peaks identifying the underlying chemical periodicity. The original paper labels an aluminium impurity peak and defers a complete magnetic-structure account. It supplies neither a chemical synthesis recipe nor detailed cold-stage construction. The inference is periodic magnetic order, rather than a claim that every possible structural change was excluded at arbitrary resolution.[ref]
Detection of Antiferromagnetism by Neutron Diffraction by Clifford Glenwood Shull and J. Samuel Smart. Fig. 1: aluminium impurity label, nuclear/magnetic indexing and room-temperature/80 K comparison; final paragraph before conclusion
The connection to the measured angle is the elastic Bragg scattering condition. If the incident and outgoing wave vectors have equal magnitude and make an angle , their difference has magnitudeA longer real-space period supplies additional, smaller reciprocal lattice spacings, which can put magnetic reflections at new counter angles. In the one-dimensional toy model above, doubling the period changes the allowed spacing from to . The actual MnO indexing is three-dimensional; the toy row does not assert its reflection positions or relative peak strengths.
Louis Néel supplied the ordering theory; the 1949 diffraction work was a later experimental test. His 1970 Nobel Prize in Physics recognized antiferromagnetism and ferrimagnetism. Clifford Shull's neutron-diffraction award followed in 1994.[ref]
The Nobel Prizes in Physics 1901–2000 by NobelPrize.org. sections on neutron diffraction and magnetic ordering: Néel 1970 and Shull 1994
Magnetic field of a rotating charged spherical body by
Codex 0 Created 2026-10-18 Updated 2026-11-05
A uniformly charged solid sphere of total charge , radius and angular velocity has magnetic dipole momentFor a uniformly charged thin spherical shell the coefficient is instead of . At large distances the magnetic field is a magnetic dipole field, . Its angularly averaged magnitude and root mean square magnitude both scale as ; its angularly averaged vector is zero. Steady rotation of this axisymmetric charge distribution produces magnetostatics, not radiation.
For a centred magnetic dipole moment pointing toward geographic south, the field at northern latitude has northward component and downward component . These follow by resolving the magnetic dipole field into local radial and meridional directions. The downward inclination is therefore , while the magnitude is . This ideal aligned-dipole model has no eastward component and does not capture actual geographic departures of the geomagnetic field.
For coaxial circular loops with radii , the first loop's on-axis magnetic field of a circular current loop has far value . Its near-axis radial magnetic field at the second loop is . Integrating the axial Lorentz force from gives the displayed magnitude. Equal current senses attract; opposite senses repel. This is the leading dipole limit and is not an exact close-coil force law.
An autophagosome is the membrane-enclosed carrier formed around macroautophagy cargo. Enclosing a mitochondrion does not immediately digest it: subsequent delivery must expose the cargo to digestive enzymes in lysosomes.[ref]
Superconducting carrier density from London screening by
Codex 0 Created 2026-10-18 Updated 2026-11-05
In a local London equation description, the measured London penetration depth satisfies when counts superconducting electrons and is their effective mass. Thus screening measures . If instead one counts Cooper pairs, use pair mass and pair electric charge , giving pair density for the same screening length. Identifying this superconducting carrier density with the total conduction-electron density requires the additional assumption that the relevant carriers all participate in screening at the measurement temperature.
For a real location parameter and positive scale parameter , the logistic distribution has probability density function and cumulative distribution functionDifferentiating recovers , and its limits at infinity show normalization of a probability distribution. The density is symmetric about with exponentially decaying tails, so its expected value exists and equals . Allowing in the displayed expression makes negative and its integral ; a signed scale must instead be replaced by in the prefactor to define the same valid density.
The University of California, Berkeley guide LLS - Measuring the Light Signal from a Diode, in Experimental Setup and Experiments X–XI, documents an experiment using a red light-emitting diode amid room-light background. An optical chopper, controlled by an SR540, periodically interrupts its light. A PIN-10DP photodiode sends electric current to an SR570 preamplifier, which converts it to an electric potential difference for an SR760 spectrum analyzer and an SR830 lock-in amplifier. The SR540 supplies the external reference. Preparation includes aligning the photodiode and its shielding cone and choosing gain to avoid overload. One comparison first searches for the source frequency without the chopper reference, then checks against that external reference; switching off the LED tests the candidate spectral peak. The measurement procedure varies chopper frequency and preamplifier filtering, then records repeated lock-in readings with selected averaging settings. These are prescribed observations to make, not published numerical results.[ref]
LLS - Measuring the Light Signal from a Diode, University of California, Berkeley. LLS - Measuring the Light Signal from a Diode, Experimental Setup; Block Diagram I; Experiment X, steps 2 and 9–13; Experiment XI, steps 1–8
The guide notes nearly triangular chopping because slit and emitter sizes are comparable. Its interpretation requires detector conversion, preamplifier gain and waveform geometry to infer optical power from the selected component.[ref]
LLS - Measuring the Light Signal from a Diode, University of California, Berkeley. Experimental Setup, waveform discussion; Interpreting the Data, points 1–3 and collection-geometry discussion
The inference is therefore specific: synchronized electric potential difference supports the presence of a modulated optical component at the reference frequency. It does not by itself give total emitted optical power. The photodiode's spectral responsivity, collected fraction of the light, and conversion from the measured Fourier coefficient to the chopped waveform must enter that calibration. The finite-window lock-in response also explains why a frequency-search reading can drift when the reference is not synchronized. An LED-off comparison tests background at the same timing; it cannot guarantee that every synchronized disturbance disappears when the desired source is present. Overload before multiplication destroys information that later averaging cannot restore.
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!
Intro to OurBigBook
. Source. We have two killer features:
- 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-calculusArticles 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/derivativeVideo 2. OurBigBook Web topics demo. Source. - 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.
- to OurBigBook.com to get awesome multi-user features like topics and likes
- as HTML files to a static website, which you can host yourself for free on many external providers like GitHub Pages, and remain in full control
Figure 2. You can publish local OurBigBook lightweight markup files to either OurBigBook.com or as a static website.Figure 3. Visual Studio Code extension installation.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. - Infinitely deep tables of contents:
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








