If a nonempty real set $A$ has finite supremum $s$ and $s\notin A$, then every interval $(s-\epsilon ,s)$ contains infinitely many elements of $A$. Otherwise its finitely many elements have a largest value $m<s$; all remaining elements are at most $s-\epsilon$, making $\max (m,s-\epsilon )<s$ an upper bound. The interval cannot be empty either, by the defining approximation property of a supremum. Thus failure to attain a finite supremum forces accumulation from below.

Let $A\subseteq \mathbb{R}$ be nonempty and bounded above. An upper bound $s$ equals $\sup A$ exactly when, for every $\epsilon >0$, some $a\in A$ satisfies $s-\epsilon <a\le s$. If no such member existed, $s-\epsilon$ would be a smaller upper bound. Conversely, the condition defeats every proposed upper bound $u<s$ by taking $\epsilon =s-u$. ^[ref].

For $(0,1)$ and $\epsilon =0.2$, $a=0.9$ is one witness: $0.8<0.9<1$. Choosing $a_n\in A$ with $s-1/n<a_n\le s$ produces a sequence converging to $s$ by the squeeze theorem. The choices need not form a monotone sequence.

The contraction of invariant vector and spinor frames makes $H_3$ invariant under the Super-Poincaré group. Odd-coordinate differentials commute in the graded exterior algebra. The four-dimensional Fierz rearrangement identity $(C{\gamma }^m{)}_{(\alpha \beta }(C{\gamma }_m{)}_{\gamma \delta )}=0$ consequently gives $d{H}_3=i(d\bar{\theta }{\gamma }^{m}d\theta )(d\bar{\theta }{\gamma }_{m}d\theta )=0$. Its three-form degree is distinct from the four-form needed in the four-dimensional supermembrane Wess-Zumino coupling.

A supersymmetry transformation is the infinitesimal action generated by an odd supercharge, with constant anticommuting spinor parameter in a global theory. In superspace it acts as $\delta \mathcal{S}=(ϵQ+\overline{ϵ}\bar{Q})\mathcal{S}$, with possible conventional overall factors of $i$. On the fermion of a chiral superfield, the transformation includes $\delta \psi =\sqrt{2}ϵF_{\mathrm{aux}}+i\sqrt{2}{\sigma }^{\mu }\overline{ϵ}{\partial }_{\mu }\varphi$. A nonzero vacuum auxiliary field therefore gives an inhomogeneous fermion shift, identifying the Goldstino direction when global supersymmetry is spontaneously broken.

If $U_t$ is a supermartingale and $\tau$ is a stopping time, then $U_{t\wedge \tau }$ is a supermartingale. Adaptedness follows from the stopping-time events, and integrability follows from $|U_{t\wedge \tau }|\le {\sum }_{j=0}^t|U_j|$. Its increment is $1_{\{\tau >t\}}(U_{t+1}-U_t)$. Since $\{\tau >t\}\in {\mathcal{F}}_t$, conditioning gives a nonpositive conditional mean. No integrability assumption on the possibly unbounded stopping time is required for this stopped-process assertion at each fixed finite $t$.

An $L^1$-bounded supermartingale has an almost sure convergence limit $X_{\infty }$ in $L^1$. The conditional-expectation martingale $M_n=\mathbb{E}[X_{\infty }\mid {\mathcal{F}}_n]$ has uniform integrability and converges to $X_{\infty }$ both almost surely and in $L^1$. To identify its limit, test against every event in every finite-time sigma-algebra and use uniqueness on their generated sigma-algebra. Then $Y=X-M$ is a supermartingale tending to zero almost surely. There is no general nonnegativity conclusion for $Y$, nor general convergence in L1 to zero: the negative of the fair-coin doubling martingale is a counterexample to both stronger assertions.

If two supermartingales satisfy $X_N^1\ge X_N^2$ on the event that the stopping time $N$ is finite, the displayed pasted adapted process is a supermartingale. On $\{N>n\}$ its next value is at most $X_{n+1}^1$, because a possible switch at $n+1$ only decreases it. On $\{N\le n\}$ it follows the second supermartingale. Conditioning these inequalities proves the assertion. Finite repeated pastings inherit the same property, allowing a multiplicative trading construction for upcrossings.

A superfield is a field on superspace with a specified Super-Poincaré group transformation law. Being a polynomial in anticommuting coordinates alone does not specify this law or make coefficients a supermultiplet. Conversely, a suitably graded function on full superspace, acted on by coordinate pullback, is an unconstrained scalar superfield. A polynomial with spacetime-independent coefficients can be a special constant-component chiral superfield; dependence on spacetime is not itself the defining criterion. Chirality and reality impose additional conditions.

For a connected scalar field theory graph without derivative vertices, each independent loop momentum supplies $d$ powers and each internal scalar propagator removes two. Thus $D=dL-2I$. The graph identities $L=I-{\sum }_n{V}_n+1$ and $2I+E={\sum }_{n}n{V}_n$ give the displayed formula. The mass dimension of the field is $(d-2)/2$ and that of $g_n$ is $n-d(n/2-1)$. Negative-dimensional couplings allow the superficial degree to grow with vertex count. This is overall power counting in quantum field theory; subgraphs can diverge even when the whole graph has negative degree.

For interaction $\lambda {\Phi }^n(\partial \Phi {)}^r$ with a two-derivative kinetic term, each vertex has $n+r$ legs and $r$ momentum powers. Since $[\Phi ]=(d-2)/2$, its coupling has dimension $[\lambda ]=d-(n+r)(d-2)/2-r$. The graph identities $2I+E=(n+r)V$ and $L=I-V+1$, inserted into $D=dL-2I+rV$, prove the displayed formula. It is an upper bound on ultraviolet scaling; momentum contractions and symmetry can cause cancellations.

In massive four-dimensional phi-fourth theory, a six-point triangle is one-particle irreducible and has superficial degree $-2$. Insert a tadpole diagram self-energy into one of its internal lines. The resulting graph is still one-particle irreducible and still has degree $-2$, but its tadpole loop diverges. Recursive local counterterms remove the subgraph divergence before overall power counting is applied. Convergence requires attention to all ultraviolet subgraphs, not merely to simultaneous scaling of all loop momenta.

For a connected scalar graph with nonderivative interaction $-\lambda {\varphi }^n$, $E$ external legs and $V$ vertices, $nV=2I+E$ and $L=I-V+1$. Since $[\varphi ]=(d-2)/2$ and $[\lambda ]=d-n(d-2)/2$, the superficial degree of divergence isThe graph contributes at order ${\lambda }^V$. This is simultaneous large-loop-momentum counting for an amputated graph; it does not test subdivergences or guarantee that the predicted pole coefficient is nonzero.

// Target: perturbative-quantum-field-theory.bigb

Flux pinning is the trapping of Abrikosov vortices by spatial variations in a superconductor, such as defects or regions where superconductivity is already weakened. A vortex can lower its energy by placing its suppressed-order core in such a region, producing a barrier to displacement.

This matters for transport because an electric current exerts a force on vortices. Moving vortices produce an electric field and hence dissipative electrical response; pinning resists that motion and supports useful superconducting critical current density. Pinning also explains magnetic hysteresis and trapped magnetic flux. Thermal activation can still permit slow motion through flux creep, while stronger drive can produce vortex depinning. Thus pinning improves practical current carrying capacity without making every finite-temperature relaxation rate exactly zero.

The solar magnetic field is generated and maintained by electrically conducting flows through solar dynamo action. It includes a large-scale approximately dipolar component near activity minimum and strong, intermittent fields in active regions and sunspots. Its organized polarity reversals define the magnetic solar cycle. Magnetic stresses modify the generating flows, so a saturated dynamo requires nonlinear feedback as well as magnetic induction.

The solar tachocline is the rotational transition near the base of the convection zone, approximately at $0.7$ solar radii, between differential rotation above and more nearly uniform rotation in the radiative interior. Its shear can contribute to the Omega effect, and stable stratification can help store strong toroidal magnetic fields. It is a proposed site for important parts of the solar dynamo, rather than a demonstrated unique location for all field generation.

A solar neutrino is a neutrino produced by a nuclear reaction in the Sun, principally through the proton–proton chain and CNO cycle. Its weak interactions allow it to escape directly from the stellar core. Accounting for neutrino oscillation allows measurements of the different detected flavors to test the nuclear reaction power and rates independently of escaping photons.

A solar granule is a photospheric convection cell, with relatively hot rising material in its interior and cooler descending material near its edges. The pattern formed by their bright interiors and darker edges is solar granulation. Their evolving horizontal outflows can sweep weak magnetic flux toward surrounding lanes.

A larger-scale horizontal cellular flow pattern on the Sun's surface. Transport by these flows helps arrange small magnetic elements into a solar magnetic network at cell boundaries. The observed pattern does not establish a unique thermal driving depth or an exact hierarchy of isolated steady eddies.

The solar corona is the Sun's hot, dilute outer atmosphere. Its optically thin atomic lines diagnose temperature, density and composition through collisional-radiative models and ionization balance. Its plasma extends into the solar wind; the coronal approximation describes useful low-density equilibrium limits rather than every coronal condition.

An empty sum has no terms and is defined to be zero, the identity element for addition. This keeps the rule for combining sums valid when one index set is empty. In a Galton-Watson process, an empty generation contributes an empty sum of offspring counts, so the next generation is empty too. The corresponding convention for multiplication is the empty product, which equals one.