A resistive velocity term proportional to the speed squared removes energy at rate proportional to $|\omega {|}^3$. Its derivative at zero velocity vanishes, so it does not appear in the linearization of a dynamical system at rest. Nonlinear energy arguments can still prove asymptotic stability.

A verifier with clean ancillas and a designated output measurement induces an effect $0\le M\le I$ on the witness register. Its acceptance probability is $\mathrm{Tr}(M\rho )$, and the largest possible acceptance is $\Vert M\Vert$. Spectral bounds on $M$ make the soundness quantifier over all witnesses, including entangled repeated witnesses, explicit.

Independent verifier circuits on $r$ witness registers induce a threshold acceptance effect built from tensor products of $M$ and $I-M$, where $M$ is the quantum verifier acceptance operator. In a product eigenbasis of $M$, the effect's eigenvalues are threshold probabilities for independent Bernoulli random variables with parameters given by the selected eigenvalues of $M$. Bounding every parameter on a NO instance bounds the effect's operator norm, even if the actual submitted witness is entangled. Independence is used only for the spectral calculation, not assumed for the witness.

Starting from completeness $2/3$ and soundness $1/3$, run an odd number $r$ of parallel copies and take majority. The QMA parallel repetition with entangled witnesses argument proves soundness for arbitrary repeated witnesses. Exponential Markov's inequality gives majority error at most $(2\sqrt{2}/3{)}^r$. Hence $O(\log (1/ϵ))$ copies suffice for error $ϵ$, with polynomial overhead when the target error is inverse-polynomial or exponentially small in input length.

For quantum witness embedding $J$, verifier unitary $U$ and accepting projector $\Pi$, the witness acceptance operator is the positive contraction $F=J^{†}{U}^{†}\Pi UJ$. The maximum acceptance over normalized quantum witnesses is ${\lambda }_{\max }(F)$ by the Rayleigh quotient. Restricting to basis quantum witnesses only tests its diagonal entries and need not find that maximum.

For $\rho ={\sum }_x{p}_x{\rho }_x$, choose component purifications $|u_x{⟩}_{AR}$ and an orthonormal flag register. The vector $|U⟩={\sum }_x\sqrt{p_x}|u_x⟩|x⟩$ is normalized and reduces to $\rho$ after tracing out $R$ and the flag. Orthogonal labels remove the cross terms. This construction turns mixture identities into pure-state overlap arguments and proves joint concavity of quantum fidelity.

A strategy is strictly dominated when another strategy gives a strictly larger payoff against every opposing strategy. A strictly dominated strategy cannot receive positive probability in a Nash equilibrium, because moving that probability to its dominator increases expected payoff.

An algebraic root can depend on a parameter through fractional powers even when the polynomial coefficients have ordinary power series. For example, the roots of $t^3={ϵ}^2$ are on the scale ${ϵ}^{2/3}$. Dominant balance for algebraic roots identifies the exponent, and local expansion of the scaled root supplies successive coefficients.

A Ricci-flat manifold has vanishing Ricci tensor. This is weaker than vanishing Riemann curvature tensor: the latter describes complete local flatness. A Kerr black hole supplies a Lorentzian manifold that is Ricci flat in its vacuum region but has nonzero Riemann curvature tensor.

For a real Hilbert space, $E(x)=\alpha J(cx-y)+⟨x,z⟩$, $\alpha >0$ and $c\ne 0$, identify $z$ with its vector by the Riesz representation theorem. Completing the square in $\Vert x-q{\Vert }^2/2+⟨x,z⟩$ shifts the input to $q-z$. Substitute $v=cx-y$ and multiply by $c^2$ to obtain the displayed formula, valid also for negative $c$. If $c=0$ and $J(-y)<\infty$, the answer is $q-z$; if $J(-y)=\infty$, the objective is identically infinite and no proper proximal problem remains.

On a Banach space one can define the set of minimizers of $E(x)+\Vert x-q{\Vert }^2/2$, but existence and uniqueness need additional geometry or coercivity hypotheses. The optimality condition is $0\in \partial E(x)+\mathcal{J}(x-q)$, with the duality mapping $\mathcal{J}=\partial (\Vert \cdot {\Vert }^2/2)$. The Hilbert completion-of-square shift by a dual vector does not generalize unchanged. On $({\mathbb{R}}^2,\Vert \cdot {\Vert }_1)$ with $E(x)=x_1+x_2$ and $q=0$, every $x_1,x_2\le 0$ with $x_1+x_2=-1$ is a minimizer; the vector $(-1,-1)$ is not one.

The proximal map of $\tau \Vert \cdot {\Vert }_2$ sends $x$ to $(1-\tau /\Vert x{\Vert }_2{)}_{+}x$, with zero assigned at $x=0$. This removes vectors inside the radius-$\tau$ ball and shortens all larger vectors by a fixed radial distance. It is useful for groupwise sparsity.

An implication is derivable from a theory precisely when its conclusion is derivable after adjoining its antecedent. Together with classical contradiction rules, this identifies failure to prove a proposition with consistency after adjoining its negation.

For motion on a fixed axis, the signed spatial four-acceleration in the instantaneous rest inertial frame is $a={\gamma }^3\dot{u}$. Its magnitude is the scalar proper acceleration. Constant signed $a$ from rest gives $\gamma u=at$ and the hyperbolic motion worldline $x=(c^2/a)(\sqrt{1+a^2{t}^2/c^2}-1)$.

A short exact sequence presenting a module as a quotient of a projective module. The kernel need not be projective. Continuing a projective presentation gives a projective resolution.

Set $A=kQ$, $P_i=A{e}_i$, $X_i=e_{i}X$. There is an exact sequencewhere $d(p\otimes x)=p\rho \otimes x-p\otimes f_{\rho }(x)$ in the source and target summands, and the augmentation is $p\otimes x\mapsto px$. Each $P_i$ is a summand of $A$, so the two terms are projective modules. This also works for infinite-dimensional modules.

The orthonormal quantum states $|{\alpha }_s⟩=(|0⟩+(-1{)}^s{e}^{-i\alpha }|1⟩)/\sqrt{2}$, $s=0,1$, define an equatorial projective measurement. The measured observable is $\cos \alpha X-\sin \alpha Y$, with eigenvalue $(-1{)}^s$. Thus $\alpha =0$ measures $X$, and $\alpha =\pi /2$ measures $-Y$ with these outcome labels. The sign convention matters when comparing different definitions of equatorial bases.

The Möbius group is the group of all Möbius transformations of the Riemann sphere, under function composition. An invertible $2\times 2$ complex matrix represents $z\mapsto (az+b)/(cz+d)$, and nonzero scalar multiples represent the same transformation. Rescaling a representative to determinant one gives a surjective group homomorphism $S{L}_2(\mathbb{C})\to \mathcal{M}$ with kernel of a group homomorphism $\{I,-I\}$. Thus it is also the projective linear group $PG{L}_2(\mathbb{C})$ and the quotient $PS{L}_2(\mathbb{C})=S{L}_2(\mathbb{C})/\{\pm I\}$.

Uniformly diagonalize against the formula expressing membership in $W_e$ to obtain a sentence saying that its own code is not in $W_e$. If every enumerated sentence is true, this new sentence cannot be enumerated, and hence is true. Its code is a computable new element of arithmetic truth outside $W_e$.

For finite sets of nonzero real numbers, the multiplicative energy is the number of quadruples $(a,b,c,d)\in A\times B\times A\times B$ satisfying $a/b=c/d$. Swapping $b,d$ shows that it also counts quadruples with $ab=cd$. Thus $E(A,B)={\sum }_x{r}_{A\cdot B}(x{)}^2$, where $r_{A\cdot B}(x)$ counts product representations. The Cauchy-Schwarz inequality yields $E(A,B)\ge |A{|}^2|B{|}^2/|A\cdot B|$.