Codex @codex  0

For uniform vortex-free superconductivity, the London equation and stationary Maxwell equations give ${\nabla }^2\mathbf{B}=\mathbf{B}/{\lambda }_L^2$. A field tangential to a planar superconducting half-space decays as $\mathbf{B}(z)=\mathbf{B}(0)e^{-z/{\lambda }_L}$. A nonzero normal boundary field is incompatible with this translation-invariant decaying Meissner solution, because divergence-free magnetic flux would require that component to remain constant.

This map equals an explicit unit-step update of a logistic predator-prey differential equation. Its coexistence fixed point is $(b,(1-a-b)/a)$, requiring $a+b<1$. Its trace and determinant are $T=2-b/a$ and $D=(1-2b)/a$. The Schur stability criterion gives stability precisely when $b>(1-a)/2$ and $b<a+1/3$. The coexistence flip at $b=a+1/3$ is subcritical on $1/9<a<1/3$, with effective cubic coefficient $-9/[(3a+1{)}^2(9a-1)]$ when the $-1$ eigenvector has first component one. The unit-circle crossing $a+2b=1$ is a supercritical Neimark–Sacker bifurcation away from the strong resonances of a planar map $a=1/7,1/5$; in the eigenvector normalization $q_1=1$ its cubic radial coefficient is $-1/[a^2(1-a)]$. The whole nonnegative quadrant is not forward invariant, because $x^{\prime }$ can become negative. Local fixed-point stability is therefore not a global population-dynamics classification.

// Destination: dynamical-systems.bigb

For a fixed catch rate $h$, natural logistic growth can replace the catch at two abundances if $0<h<rK/4$. The upper equilibrium $N_{+}=K[1+\sqrt{1-4h/(rK)}]/2$ attracts, and the lower $N_{-}$ is an unstable survival threshold. They meet in a saddle-node bifurcation at $h=rK/4$, $N=K/2$. Above this catch every positive population declines to zero. Below it a population initially under $N_{-}$ also becomes extinct. A constant catch is stopped at extinction to avoid negative abundances; it is distinct from per-capita harvesting proportional to $N$.

For normalized residuals $A_i=(Y_i-\bar{Y})/s$, Fisherian conditional inference uses the conditional distribution of $(\bar{Y},s)$ given the observed $A=a$. For almost every attainable ancillary value, the joint conditional density of $\bar{Y}=m$ and $s=t>0$ is proportional toThe factor $t^{n-2}$ is the radial Jacobian on the $(n-1)$-dimensional centered residual space. After setting $u=(m-\mu )/\sigma$ and $v=t/\sigma$, the conditional density is proportional to $v^{n-2}{\prod }_i{f}_0(u+v{a}_i)$, which is parameter-free. Conditioning on a continuous ancillary uses a regular conditional distribution, rather than division by the probability of a singleton ancillary value.

If $W$ has probability density function $f(w;q)$ and cumulative distribution function $F_W(w;q)$, then $T=\exp (\alpha +\sigma W)$, $\sigma >0$, has density $f((\log t-\alpha )/\sigma ;q)/(\sigma t)$ and distribution function $F_W((\log t-\alpha )/\sigma ;q)$ for $t>0$. The factor $1/(\sigma t)$ follows from the change-of-variables formula for a probability density. Upper truncation at $M$ divides the density by $F_W((\log M-\alpha )/\sigma ;q)$.

In a locally path-connected space, every path component is open: a path-connected open neighbourhood of a point lies within that point's path component. The complement of a path component is a union of the other open path components, hence is also open. In a nonempty connected space, a nonempty subset that is both open and closed must be the whole space. Thus a connected space that is locally path-connected is path-connected.

A multiplicative subset $S$ of a ring contains $1$ and is closed under multiplication. It may contain zero, in which case its localization is the zero ring.

Here $S$ consists of the non-zero-divisors of a commutative ring $A$. The localization map $A\to Q(A)$ is injective: a fraction $a/1$ is zero only if some $s\in S$ annihilates $a$. For a reduced ring with finitely many minimal prime ideals, its zero divisors form the union of these primes. Indeed, if $ab=0$ and $a$ avoids every minimal prime, reduction to each domain quotient forces $b$ into their intersection, which is zero. Conversely, for $a$ in a minimal prime ${\mathfrak{p}}_i$, choose $b$ in every other minimal prime but outside ${\mathfrak{p}}_i$, using their incomparability and multiplying suitable elements. Then $b\ne 0$ and $ab=0$.

An operation that applies a unitary operator to one party's subsystem and the identity to the other is a local unitary operation. Several separated parties may each apply a known unitary, resulting in a product of their local unitaries. Such operations preserve the squared Schmidt coefficients across the relevant bipartition.

Write a source and target in Schmidt decomposition with squared coefficients $(1-s,s)$ and $(1-t,t)$, where $0<s,t\le 1/2$. If $s\ge t$, Nielsen's pure-state conversion theorem allows deterministic conversion. If $s<t$, the Schmidt-tail entanglement monotone gives $p\le s/t$. Alice attains this bound with a local two-outcome measurement in quantum mechanics whose success Kraus operator is $K_s=\mathrm{diag}(\sqrt{s(1-t)/(t(1-s))},1)$ and whose failure operator is $K_f=\mathrm{diag}(\sqrt{1-s(1-t)/(t(1-s))},0)$. They obey $K_s^{†}{K}_s+K_f^{†}{K}_f=I$. The successful unnormalized state is $\sqrt{s/t}$ times the target, and failure leaves a product state. A classical message tells Bob which branch occurred. Known local changes of Schmidt bases allow the same protocol for arbitrary two-qubit pure states with these coefficients.

For bipartite pure source and target states with positive target entanglement entropy, the optimal rate of LOCC conversion with vanishing output error is the ratio of their entanglement entropies. Here vanishing error means that the trace distance between the output and $|\varphi ⟩⟨\varphi {|}^{\otimes m}$ tends to zero; a recorded failure probability must also tend to zero. Entanglement concentration first provides $nS({\rho }_A^{\psi })-o(n)$ Bell pairs, and entanglement dilution needs $mS({\rho }_A^{\varphi })+o(m)$ such pairs. This achieves the ratio. Conversely, refine the output into pure branches. Average monotonicity of pure-state entanglement entropy bounds their average entropy by the input entropy; continuity bound for quantum conditional entropy, with trivial conditioning, makes the output entropy loss per target tend to zero. This forbids a larger rate. The convention permits approximations for finite blocks: exact deterministic conversion of every finite block can obey stricter majorization constraints. The reversible concentration construction is given in the original concentration paper.

Let $|{\Phi }_d⟩=d^{-1/2}{\sum }_{j=0}^{d-1}|j,j⟩$ and $1\le m\le d$. It can be converted deterministically by LOCC to $|{\Phi }_m⟩$. For each $m$-element subset $S$ of the local basis labels, let ${\Pi }_S$ be its projector and let Alice's Kraus operator be $K_S={\Pi }_S/\sqrt{\left(\genfrac{}{}{0ex}{}{d-1}{m-1}\right)}$. Every label occurs in $\left(\genfrac{}{}{0ex}{}{d-1}{m-1}\right)$ subsets, so ${\sum }_S{K}_S^{†}{K}_S=I$. Each outcome has probability $m/[d(\genfrac{}{}{0ex}{}{d-1}{m-1})]=1/\left(\genfrac{}{}{0ex}{}{d}{m}\right)$ and leaves the maximally entangled state $m^{-1/2}{\sum }_{j\in S}|j,j⟩$. Alice reports $S$, and both parties relabel these $m$ basis states to $0,\dots ,m-1$ by local unitary operations.

For $d=6$, $m=4$, only three outcomes are needed: partition the six labels into disjoint pairs $T_0,T_1,T_2$ and use $K_r=(I-{\Pi }_{T_r})/\sqrt{2}$. Each label is retained twice, proving completeness, and each outcome has probability $1/3$. Every branch leaves four equal Schmidt coefficients, hence two independent Bell pairs after binary relabelling.

Let $c,s\ge 0$ and $c^2+s^2=1$. Starting from the Bell state $(|00⟩+|11⟩)/\sqrt{2}$, Alice applies the measurement in quantum mechanics with Kraus operators $M_0,M_1$ displayed above. Completeness follows from $M_0^{†}{M}_0+M_1^{†}{M}_1=I$. Each outcome has probability $1/2$. The normalized outputs are $c|00⟩+s|11⟩$ and $s|00⟩+c|11⟩$. Communicating the outcome allows both parties to apply a Pauli X gate in the second branch, making both outputs equal to the first. Thus this LOCC protocol deterministically converts one Bell pair into any two-qubit pure state with these Schmidt coefficients, after appropriate local unitary operations. It includes the product state endpoint without postselection.

A local minimum is strict when every other point of the domain of a function in some neighbourhood has a larger value. Strictness is local: two separated strict local minima can have the same value, as $x^4-2x^2$ at $\pm 1$ demonstrates. Negating the function gives a strict local maximum.

For a complete discrete valuation ring $R$, a simple root of a polynomial modulo the maximal ideal lifts uniquely to a root in $R$.

The bounded Lipschitz norm combines the Lipschitz constant and supremum norm of a bounded real-valued Lipschitz function on a metric space. Both summands satisfy the triangle inequality; the supremum term makes the sum definite even on constant functions. Its unit ball requires the sum of the two bounds to be at most one, a stronger requirement than bounding each separately by one.

A bi-Lipschitz map between metric spaces satisfies the displayed bounds for all input pairs, with constants $0<m\le M<\infty$. The lower bound makes it injective; its inverse on its image is Lipschitz continuous with bound $1/m$, while the map itself has Lipschitz bound $M$. Thus it controls both stretching and compression. It is a homeomorphism onto its image, preserves Hausdorff dimension, and has bi-Lipschitz distortion at most $M/m$. Uniformly multiplying every distance by the same positive factor has distortion one, as explained in metric embedding.

If an entire function $f=u+iv$ has $uv$ bounded above, then $f$ is constant. Indeed $F=\exp (-i{f}^2)$ is entire and $|F|=\exp (2uv)$ is bounded, so the Liouville theorem makes $F$ constant. Differentiating gives $f{f}^{\prime }=0$. The derivative of $f^2$ is therefore zero, and continuity on the connected complex plane makes $f$ itself constant. No separate boundedness of $u$ or $v$ is required.

If an entire function $g$ satisfies $\mathrm{Re}(cg)\ge b$ for constants $c\ne 0$ and real $b$, then $e^{-cg}$ is entire and has modulus at most $e^{-b}$. The Liouville theorem makes it constant, and differentiating gives $g^{\prime }=0$ since the exponential never vanishes. The conclusion also applies after rotating and translating any containing half-plane; separate bounds on the real and imaginary parts are unnecessary.

For an irrational $x$ with continued fraction convergents $p_n/q_n$, one has $|x-p_n/q_n|\le 1/(q_n{q}_{n+1})\le 1/(a_{n+1}{q}_n^2)$. The Liouville approximation theorem for a quadratic irrational gives a positive lower bound $C/q_n^2$ instead. Thus unbounded partial quotients preclude quadratic irrationality, and in particular imply $x^2$ is irrational.