HTTP reactive negotiation is HTTP content negotiation in which the client selects a representation after receiving an initial response identifying alternatives. The mechanism can be as simple as links to the available forms. The specification also calls this agent-driven negotiation.^[ref]

For an invented example, a client requests /report. The response presents links to /report.html and /report.json, describing the available HTML and JSON forms. A person or client program chooses JSON and requests /report.json. The server then returns that representation. The first response can already contain useful content alongside its alternatives; reactive selection does not require it to be an otherwise empty menu.

The specification discusses alternatives in responses with status 300 or 406, but the defining feature is the client's selection after the first response. The example's suffixes are application conventions: an HTTP representation's actual media type is described by its response metadata, rather than established by a filename alone.^[ref]

An extra request can add delay. In a toy model with an established connection, $80$ milliseconds per complete request/response exchange, negligible processing and transmission time, and no existing copy of the alternatives, fetching the menu and then a chosen representation takes $160$ milliseconds. A correct HTTP proactive negotiation choice in one exchange would take $80$ milliseconds under those same assumptions. These numbers illustrate the additional dependency, not a universal measured performance difference.

The tradeoff can be worthwhile when the client knows requirements that the server cannot infer, or when alternatives can be reused effectively. The server exposes the choices instead of guessing the user's preference. The standard does not prescribe a general automatic selection algorithm for the client, so providing alternatives does not itself establish that every client will make or follow a choice.^[ref]

A quantum group is a type of algebraic symmetry commonly encoded by a Hopf algebra deforming a classical symmetry algebra. The term covers several related constructions; it does not specify a single additional Hopf algebra axiom. A standard example over $\mathbb{C}$, for $q\ne 0,\pm 1$, is $U_q({\mathfrak{sl}}_2)$ with generators $E,F,K,K^{-1}$ and relationsIts coproduct can be taken as $\Delta K=K\otimes K$, $\Delta E=E\otimes K+1\otimes E$, and $\Delta F=F\otimes 1+K^{-1}\otimes F$.^[ref]

These formulas make the symmetry act on tensor products of representations. In particular, the coproduct is generally not unchanged by swapping its two tensor factors. Formally writing $K=q^h$ and letting $q$ approach one recovers the familiar Lie bracket relations for ${\mathfrak{sl}}_2$. Making that limit rigorous requires choosing a suitable algebra over a parameter ring.

Chromatic homotopy theory organizes stable homotopy theory by a prime number $p$ and a hierarchy of heights $n$. Its main probes include Morava K-theory, whose standard coefficient ring for $n\ge 1$ isThe index is the height of the associated formal group law. Rational homology plays the height-zero role. These different probes detect different parts of a spectrum, rather than replacing all stable homotopy information by one ordinary homology group.^[ref]

A basic chromatic question asks which heights detect a given finite spectrum: its type is the least $n$ with $K(n{)}_{\ast }(X)\ne 0$, when such an $n$ exists. Rational information already detects the sphere spectrum at height zero, whereas purely torsion phenomena require other probes. The chromatic viewpoint makes periodic patterns and localization of spectra into organizing tools for difficult stable computations.

A standard form of the Sullivan conjecture, proved by Haynes Miller, states that for a finite group $G$ and a connected finite-dimensional CW complex $X$, the pointed mapping space from the classifying space of a discrete group $BG$ to $X$ is a weakly contractible space:Thus every basepoint-preserving continuous map $BG\to X$ is null-homotopic, and higher homotopy families of such maps are trivial as well. Miller's Theorem A allows the more general assumption that every finitely generated subgroup of $G$ is finite.^[ref]

The finite-dimensional target hypothesis is substantial. For $G=\mathbb{Z}/2\mathbb{Z}$, maps from $BG$ to a finite-dimensional sphere satisfy the theorem, while the identity map of $BG$ is not null-homotopic: it induces the identity on its nontrivial fundamental group. That target $BG$ is infinite-dimensional. The theorem concerns these unstable mapping spaces; it cannot simply be transferred to every stable mapping construction.

For pointed topological spaces $(X,x_0)$ and $(Y,y_0)$, the pointed mapping space ${\mathrm{Map}}_{\ast }(X,Y)$ consists of continuous maps $f:X\to Y$ with $f(x_0)=y_0$. It carries the subspace topology from the compact-open topology on the ordinary mapping space, commonly followed by kification when working with compactly generated spaces. Its basepoint is the constant map with value $y_0$.

For the pointed circle, ${\mathrm{Map}}_{\ast }(S^1,Y)$ is the loop space $\Omega Y$: a circle map is a path returning to its starting point. More generally, for well-behaved pointed spaces, path components of ${\mathrm{Map}}_{\ast }(S^n,Y)$ correspond to ${\pi }_n(Y,y_0)$. Thus a mapping space turns families of maps and homotopies into points and paths of another topological space. The choice of mapping-space topology ensures that this correspondence works continuously.

A weakly contractible space is a nonempty path-connected topological space $X$ with trivial homotopy groups ${\pi }_n(X,x)$ for every $n\ge 1$. Equivalently, the map $X\to \{\ast \}$ is a weak homotopy equivalence. For a CW complex, the Whitehead theorem then implies that $X$ is contractible.^[ref]

Every contractible space is weakly contractible: a contraction makes every based sphere map nullhomotopic. The real line is a simple example, contracted by $H(x,t)=(1-t)x$. In contrast, the circle fails the test because its fundamental group is $\mathbb{Z}$. For arbitrary topological spaces, weak contractibility alone does not guarantee a continuous contraction; the CW complex hypothesis in the stated implication supplies substantive control over the space.

The fundamental groupoid ${\Pi }_1(X)$ of a topological space $X$ has the points of $X$ as objects and endpoint-preserving homotopy classes of paths as morphisms. Composition is concatenation, and reversing a path gives an inverse. Concatenation need not be strictly associative as a parametrized path, but becomes associative on these homotopy classes. This makes ${\Pi }_1(X)$ a groupoid.

The automorphism group of a point $x$ is the fundamental group ${\pi }_1(X,x)$. Unlike a single based fundamental group, the fundamental groupoid simultaneously records all path components and transport between basepoints. The standard path-homotopy constructions supply the composition and inverse laws.^[ref]

For the circle, fix endpoints $x$ and $y$ and a reference path between them. Every other homotopy class differs by an integer number of turns; choosing the reference identifies this morphism set with $\mathbb{Z}$, but the identification is not canonical. For a two-point discrete space, there are two objects and only identity morphisms. Their individual automorphism groups are both trivial, yet the groupoid still records two disconnected components. A continuous map $X\to Y$ induces a functor ${\Pi }_1(X)\to {\Pi }_1(Y)$ by composing paths with that map.

A time-dependent holonomic constraint is a positional restriction $f(q,t)=0$ whose permitted configurations change explicitly with time. Here $q$ denotes the generalized coordinates. A bead confined to a moving wire is an immediate example: its allowed position is specified at each instant, but the wire carries the permitted set of positions through space. The distinction between actual motion and a virtual displacement at fixed time is essential.^[ref]

Differentiating one smooth holonomic constraint along an actual trajectory givesA permitted virtual displacement, however, compares neighboring allowed positions at the same instant:The missing time term is not an approximation. Actual velocity and a tangent virtual displacement obey different conditions when the constraint moves. In the following power calculation, take $q$ to be fixed Cartesian coordinates, so explicit time dependence belongs to the constraint rather than to a moving coordinate system.

For an ideal constraint, its generalized forces may be written $Q_j^{\mathrm{c}}=\lambda \partial f/\partial q_j$, with a Lagrange multiplier $\lambda$. They do zero virtual work, yet their actual constraint power isThus an ideal, frictionless moving constraint can exchange energy with the constrained body. Zero virtual work does not imply zero actual work. The actuator maintaining the imposed motion is part of the physical energy accounting.

For a worked apparatus model, put a bead of mass $m$ on a smooth horizontal wire whose height is prescribed as $z=h(t)$ in a uniform downward gravitational field of magnitude $g$. The wire permits horizontal motion and supplies a vertical normal force $N$. The constraint is $f=z-h(t)=0$, and Newton's second law givesThe bead's mechanical energy, including gravitational potential energy, isbecause horizontal motion is unforced. For $m=0.5\mathrm{kg}$, $g=9.81m/{\mathrm{s}}^2$ and $h(t)=\frac{1}{2}a{t}^2$ with $a=2m/{\mathrm{s}}^2$, the wire exerts $5.905\mathrm{N}$; at $t=1\mathrm{s}$ it delivers $11.81\mathrm{W}$ to the bead. A vertical normal force is perpendicular to every allowed horizontal virtual displacement, but parallel to part of the actual velocity. Measuring wire motion and bead load would expose precisely the energy transfer that is lost by treating the moving wire as a stationary, workless support.

Branch migration is movement of the strand-exchange point in a Holliday junction. Successive changes in base pairing shift the junction along homologous DNA without requiring a new break in each phosphodiester backbone. Moving the boundary changes the extent of heteroduplex DNA, where strands from different parental DNA molecules pair together.

An illuminating experiment built two double-stranded DNA substrates with complementary single-stranded tails. Pairing the tails formed a four-stranded junction at one end. Complete branch migration to the opposite end produced two strand-exchanged duplex products, giving an observable endpoint for a process otherwise occurring along a molecular junction.^[ref]

The spontaneous reaction depended strongly on the surrounding ions: under the reported conditions, removing magnesium made it roughly a thousand times faster. This is not a universal speed for DNA exchange inside a cell; the experiment isolated a spontaneous process whose kinetics depend on junction structure and solution conditions.^[ref]

A pseudogap is a partial suppression of low-energy spectral weight without all the properties of a fully developed energy gap. In high-temperature superconductors it is identified through several probes and can occur outside the superconducting phase.

A depletion in a spectrum does not by itself establish a particular order parameter or pairing mechanism. Different measurements weight different momenta and excitations, so temperature and momentum dependence help distinguish competing explanations. The term names an observed class of behavior while leaving its microscopic interpretation to further evidence.^[ref]

A gumma is a destructive granulomatous lesion characteristic of late syphilis. It can involve skin, bone or internal organs, producing local damage through a chronic inflammatory process. It belongs to gummatous syphilis, rather than being another name for the primary chancre. ^[ref]

The distinction illustrates how one infectious agent can produce different pathological patterns at different stages. A lesion's gross appearance, its microscopic inflammatory organization and evidence of the underlying infection are different observations. The category therefore describes a clinicopathological pattern, not a claim that every late syphilis presentation has the same anatomy or contains a readily visible organism.