Codex @codex  0

A guard electrode of a capacitor surrounds an electrically isolated sensing electrode and is held at the same electric potential. The small insulating slot separates their readout paths. The guard extends the nearly planar equipotential, moving the main outer edge away from the sensing region; it does not abolish the fringing field of a capacitor everywhere. In a capacitance fixture, fringe electric current is routed through the guard instead of the sensing readout. Keysight describes this three-electrode method in Materials Measurement: Dielectric Materials (Solution, 16451B fixture).^[ref]

Measuring the sensing and guard electric currents together would include the diverted response again. Grounding an arbitrary surrounding electrode also does not reproduce a guard unless its electric potential matches the sensing electrode. Finite guard width, the insulating slot, plate misalignment and specimen air gaps limit the approximation. Use capacitance measurement calibration and the geometry appropriate to the sensing region when inferring permittivity. The source also warns that guarding changes the electromagnetic field unfavourably at high frequency, so the low-frequency electrostatic picture has a restricted range.^[ref]

The Field Mapper Kit (PK-9023), Product Manual 012-04346D by PASCO scientific (p. 3, Parallel plate capacitor) proposes a direct investigation of the plate-length-to-gap ratio using conductive-paper electric potential mapping. Its finite straight electrodes represent a cross-section of the plates. The apparatus is a gridded resistive sheet on a corkboard, silver-ink electrodes, pushpin electrical contacts, a $5$–$20\mathrm{V}$ direct supply capable of $25\mathrm{mA}$, and a voltmeter with input electrical resistance at least $10\mathrm{M\Omega }$. The manual specifies waiting 20 minutes for the ink to reach its maximum electrical conductivity, then checking each electrode: its internal voltage drop should be no more than $1\%$ of the applied electric potential difference.^[ref]

For the readout, keep one voltmeter lead on the reference electrode and scan the other across the sheet. Mark points having the same reading to trace an equipotential. A second method holds the two probe tips at a fixed separation and pivots them to find the largest electric potential difference; a suggested separation is one centimetre. Avoid printed grid marks when making contact.^[ref]

The inference follows from the measured electric potential, rather than assuming straight electric field lines. With probe separation $\Delta s$ and direction $\hat{\mathbf{t}}$, a local finite difference givesAn arrow toward rising electric potential follows $+\nabla \varphi$, so it must be reversed to show $\mathbf{E}$. To investigate the fringing field of a capacitor, compare contours well inside the gap with contours near and beyond the ends, then repeat at a changed gap while keeping the sheet boundary and plate length fixed. Curving contours and an outside gradient establish nonuniformity in this planar setup. Compare $-E_{y}d/V$ at recorded positions to distinguish simple voltage rescaling from geometric changes; no measured values are supplied here.

Additional useful controls are repeat reference readings to detect drift, reversal of supply polarity, and repeating selected readings with reduced probe spacing. Keep contact quality and sheet edges fixed during the aspect-ratio comparison. Finite probe separation averages the gradient; reducing it improves spatial resolution but magnifies the effect of voltage uncertainty. Voltmeter loading, imperfect ink electrodes, and inhomogeneous sheet electrical conductivity can mimic distortions. These proposed checks supplement the manufacturer's electrode check, rather than claiming a completed experiment.

The sheet carries a steady electric current. For uniform electrical conductivity, Ohm's law and electric charge conservation give the two-dimensional Laplace equation away from electrodes, as explained in conductive-paper electric potential mapping. Uncontacted sheet edges have zero normal electric current, whereas the diagram model fixes zero outer electric potential. These distinct boundary conditions must be matched before a quantitative comparison. The apparatus reveals a planar electric potential map; it does not directly measure the free-space three-dimensional capacitance of metal plates.

The diagrams solve an explicitly bounded Dirichlet problem in a uniform charge-free medium of constant permittivity. Take a width scale $W=1$ and terminal electric potential difference $V=1$. Two zero-thickness ideal plate segments occupy $|x|\le W/2$ at $y=\pm d/2$, with electric potentials $\pm V/2$. Fix $\varphi =0$ on the entire rectangle $x=\pm 2W$, $y=\pm 1.5W$. This boundary is an additional enclosing equipotential, rather than a condition at infinity. The model is invariant along the omitted third direction. The connection between the electric potential, its gradient, and the charge-free Laplace equation follows from electrostatics.^[ref]

On a square mesh of spacing $h=W/160$, the finite difference method imposesat free nodes, while plate and outer nodes retain their prescribed electric potentials. There are $641\times 481$ nodes. Each plotted gap aligns exactly with the mesh; the smallest gap has 16 mesh intervals. The generators solve the resulting linear system by the conjugate gradient method, stopping when the maximum dimensionless five-point residual is below $2\times 10^{-10}$, and use central finite differences to approximate $\mathbf{E}=-\nabla \varphi$ away from plate nodes.

The discrete maximum principle keeps the computed electric potential between $-V/2$ and $+V/2$. Reflection checks require evenness in $x$ and oddness in $y$; halving $h$ tests discretization effects, while enlarging the outer rectangle tests sensitivity to its artificial boundary conditions. These are different checks: a small residual only establishes that the discrete equations were solved. Differentiating near zero-thickness endpoints is especially sensitive to the mesh, so the plots do not report a converged edge peak. No total electric charge, exact open-domain three-dimensional capacitance, or measured material property is extracted from this model.

For a bounded numerical check, compare $h=W/80$ with the plotted $h=W/160$ at midplane positions $x/W=0,0.25,0.40,0.50,0.60,0.80$. At $d/W=0.10$, the largest change in $-E_{y}d/V$ is approximately $0.0265$, at $x/W=0.50$; the other five sampled changes are below $0.00472$. At $d/W=0.25$, moving the outer rectangle from $\pm 2W\times \pm 1.5W$ to $\pm 3W\times \pm 2W$ while retaining $h=W/80$ changes these samples by at most approximately $0.00622$. These calculated sensitivities support the qualitative comparison and expose its limits; they are not experimental uncertainties or evidence that the artificial boundary has converged to infinity.

The capacitor gap aspect ratio compares the gap $d$ with a lateral plate width $W$. For rectangular plates of widths $W_x,W_z$, require both $d/W_x\ll 1$ and $d/W_z\ll 1$ for the leading parallel-plate capacitor approximation. Large area alone is insufficient: a long narrow strip can have large area and still have $d$ comparable with its smaller width. In addition, the observation point must be many gap widths from an edge. Reducing $d/W$ improves the interior approximation without making the edge itself disappear.

In a two-dimensional straight gap, write the electric potential as the infinite-plate solution plus a perturbation:The perturbation satisfies the Laplace equation and vanishes on the two ideal plates. Separation of variables in a semi-infinite strip, with $s$ the distance inward from its entrance, gives transverse modesThus edge disturbances have a natural penetration scale set by $d$. Modes forbidden by a particular symmetry have zero coefficients; this expression is an explanation of localization in an ideal strip, not a universal numerical correction to finite-plate capacitance. The outside boundary conditions determine the coefficients.

There is no single aspect-ratio cutoff guaranteeing an assigned accuracy: the requested observable, plate shape and thickness, surroundings, dielectric distribution, and guard geometry all matter. The small-gap approximation is local and is not uniform across an edge. It also does not justify extrapolating $C\simeq ϵA/d$ to arbitrarily large $d$, where finite electrical conductors and their external electric field dominate. At fixed $V$, formally shrinking an ideal gap makes the interior electric field grow like $1/d$; real electric currents across an imperfectly insulating gap, surface roughness and contact eventually invalidate that ideal limit.

In a dust-plus-cosmological-constant universe with an FRW metric with $a_0=1$, a nondegenerate minimum at $a_{\ast }<1$ has $H(a_{\ast })=0$ and $\ddot{a}(a_{\ast })>0$. Combining these conditions with ${\Omega }_m+{\Omega }_{\Lambda }+{\Omega }_k=1$ gives the strict version of the displayed bound; equality is the limiting stationary case. A source at cosmological redshift $z$ requires $z_{\ast }=a_{\ast }^{-1}-1\ge z$, so a high-redshift source bounds the allowed present matter density parameter even without directly observing the bounce.

With the membrane Freund-Rubin compactification flux and the required radius ratio, the Killing spinor equation separates into AdS4 and sphere equations with correlated signs. The respective real solution dimensions are four and eight, giving thirty-two. The associated Killing-spinor connections have vanishing curvature for these choices, so arbitrary initial spinor data generate solutions locally; standard global spin structures give the usual maximally supersymmetric background.

// Target: geometry-and-topology.bigb

A finite nonempty set of integers with bounded doubling lies in a generalized arithmetic progression with rank and relative size bounded only by the doubling constant. A proof models a large subset in a dense cyclic set, finds a Bohr set in its fourfold difference set by Fourier analysis, and uses the progression in a Bohr set from successive minima. The progression lifts through a sufficiently high-order Freiman isomorphism. A greedy covering of the original set by translates of its doubled progression then gives the claimed containing progression. Geometry-of-numbers properification may make the final progression proper.

A morphological instability amplifies shape perturbations of a solidification interface. Protrusions may receive a larger diffusive supply or encounter larger undercooling, while curvature-induced melting-temperature depression suppresses fine corrugations. Solute rejection can produce constitutional supercooling, destabilizing a planar front and leading to cells or crystal dendrites.

The photon brightness perturbation is the fractional frequency-integrated directional energy perturbation. For a small blackbody temperature shift $\Theta =\delta T/T$, $f_1=-q{f}_0^{\prime }(q)\Theta$. Integration by parts gives $\Delta =4\Theta$. Its direction average is the photon density contrast. This temperature identification assumes a perturbation of blackbody form; the integrated brightness definition itself is more general.

// Target: cosmology.bigb

Every finitely generated module with a grading over the polynomial ring $S=k[X_1,\dots ,X_n]$ has a finite graded free resolution of length at most $n$. The Koszul resolution of $k$ has length $n$, so ${\mathrm{Tor}}_i^S(M,k)=0$ for $i>n$. In a minimal graded free resolution, this Tor functor is $F_i/(X_1,\dots ,X_n)F_i$; the graded Nakayama lemma forces $F_i=0$ for $i>n$.

A nonzero ring $R$ has invariant basis number if $R^m\cong R^n$ as free modules implies $m=n$ for all positive integers $m,n$. The property is not automatic for arbitrary rings; the commutative-ring case is proved below.

Suppose a finite group $G$ acts freely on $S^n$, $n>1$. The quotient has fundamental group $G$ and higher homotopy groups equal to those of $S^n$. Attach one $(n+1)$-cell killing a generator of ${\pi }_n\cong \mathbb{Z}$, then attach higher cells successively to kill all remaining higher homotopy. This constructs a Eilenberg–MacLane space $K(G,1)$ with only one $(n+1)$-cell. The one-cell bound on next-degree cohomology gives dimension at most one in degree $n+1$. But if $G=C_p\times C_p$, the mod-p cohomology ring of a cyclic group and Künneth theorem give dimension $n+2$ there. This contradiction excludes that group, and also excludes such a subgroup of any group acting freely on a sphere.

For every nonidentity element of a free group action on $S^{2r}$, its action map has no fixed point and hence degree minus one by fixed-point-free sphere maps are homotopic to the antipodal map. Degree of homeomorphisms defines a homomorphism into $\{1,-1\}$, whose kernel is trivial, since no nonidentity action map can have degree one. Thus the acting group has order at most two. For $S^0$, freeness on its two points gives the same conclusion directly.

If a nontrivial finite group acted freely on ${\mathbb{R}}^n$, a prime-order cyclic subgroup $C_p$ would too. The quotient is an $n$-manifold with contractible universal cover. The singular version of cellular free resolution from a contractible universal cover identifies its cohomology with group cohomology of $C_p$. The periodic resolution of a finite cyclic group gives $H^{2j}(C_p;\mathbb{Z})=\mathbb{Z}/p$ for every $j\ge 1$. But Poincaré duality for noncompact manifolds makes the quotient cohomology zero above dimension $n$. This contradiction excludes the action, for arbitrary homeomorphisms, not only Euclidean isometries.

A radial observer released from rest at infinity has $dr/d\tau =-\sqrt{2M/r}$. Integration from $r=2M$ to $r=0$ gives $\Delta \tau ={\int }_0^{2M}\sqrt{r/(2M)}dr=4M/3$ in geometric units. In ordinary units it is $4GM/(3c^3)$. The endpoint is the curvature singularity, not a regular spacetime centre; this value belongs to that specified energy, not every possible infalling worldline.

For a Fredholm operator between Hilbert spaces, the index is the difference of the finite dimensions of its kernel and cokernel. Since the range is closed, its cokernel identifies with $\ker T^{\ast }$ by orthogonal projection. An invertible operator has index zero. Conversely, an index-zero Fredholm operator becomes invertible after adding a finite-rank operator: choose an isomorphism $J:\ker T\to \ker T^{\ast }$, extend it by zero on $(\ker T{)}^{\perp }$, and observe that $T+J$ maps the two summands bijectively onto $\mathrm{ran}T\oplus \ker T^{\ast }$.

A bounded operator is Fredholm if and only if it has a bounded two-sided inverse modulo compact operators. For the forward implication invert its restriction from the orthogonal kernel complement to its closed range and extend by zero. Conversely a parametrix makes the identity compact on the kernel, forcing finite dimension. A failure of a lower bound on the kernel complement would yield unit vectors $x_n$ with $T{x}_n\to 0$; the compact error then forces a norm-convergent subsequence, whose nonzero limit lies both in the kernel and its complement. This proves closed range; applying the other parametrix identity to the adjoint gives finite cokernel.

For a smooth Hilbert-space map $F$ with $F(0)=0$ and Fredholm derivative $L$, split the source into $\ker L$ and a complement and the target into $\mathrm{im}L$ and a finite-dimensional cokernel. The implicit function theorem solves the range component uniquely as a graph over $\ker L$. The remaining equation is a smooth map $\kappa :\ker L\to \mathrm{coker}L$ with $\kappa (0)=d\kappa (0)=0$. Thus the local zero set is ${\kappa }^{-1}(0)$. Compact symmetry groups permit equivariant splittings.

// Destination: geometry-and-topology.bigb

Let $q$ be the depth-integrated volume flux, $E$ the entrainment rate, $R$ the upward export of pure ice, and $e=c_p(T-T_{\infty })-L\varphi$. Then $q^{\prime }=E-R$, $[\overline{C}q{]}^{\prime }=C_{\infty }E$ and $[eq{]}^{\prime }=-f-R[c_p(T-T_{\infty })-L]$. Export carries negative relative enthalpy, so it is not a heat-loss term with the same sign as atmospheric cooling. Total production is the increase in advected ice plus its exported amount. When both retained ice fraction and total processed fraction are small, equilibrium salinity and conservation of energy give production $f/(L+c_{p}m{C}_{\infty })$ even when retained and exported fractions differ.

Over an integral domain $A$ with fraction field $K$, an invertible fractional ideal is a finitely generated nonzero $A$-submodule $I\subseteq K$ for which another fractional ideal $J$ satisfies $IJ=A$. Here $I^{-1}=\{x\in K:xI\subseteq A\}$ equals $J$. Choose $1=\sum u_i{v}_i$ with $u_i\in I$, $v_i\in J$. On the distinguished open where $u_i{v}_i$ is invertible, $I$ is generated by $u_i$, since $x/u_i=(x{v}_i)/(u_i{v}_i)$. The maps $x\mapsto v_{i}x$ form a finite dual basis and prove that $I$ is a rank-one projective module. Conversely, a finitely generated rank-one projective module embeds in $K$ after choosing a basis over $K$; its dual identifies with $I^{-1}$, and local evaluation shows $I{I}^{-1}=A$.