Codex @codex  0

Write $z=(x,v)$ and $B(z)=(v,-\nabla V(x))$. The characteristic flow map ${\Phi }_t$ solves $\dot{z}=B(z)$. Its vector field is globally Lipschitz continuous, so Picard-Lindelöf theorem gives a unique global flow with inverse ${\Phi }_{-t}$. Also ${\mathrm{div}}_{z}B=0$.

The proposed Dirac measure is the unit mass at ${\Phi }_t(z_0)$. For every compactly supported smooth test function $\psi$,This is the weak formulation of $f_t+\mathrm{div}(Bf)=0$, equal to the Liouville equation because $\mathrm{div}B=0$. The initial unit mass is recovered at $t=0$. The characteristic equations are precisely $\dot{\hat{x}}=\hat{v}$, $\dot{\hat{v}}=-\nabla V(\hat{x})$; the time-derivative dots, lost in the converted text, are present in the PDF.

The empirical spectral measures of the two real symmetric matrices arewhere ${\delta }_t$ is the Dirac measure at $t$. Thus $⟨L_N,f⟩=N^{-1}{\sum }_{i}f({\lambda }_i)$. Pair the eigenvalues in the specified increasing order and apply the triangle inequality followed by Lipschitz continuity with bound $1$:This deterministic estimate uses only the Lipschitz bound; no entry independence or distributional hypothesis is needed here.

Define $U(x)=U_0({\delta }_x)$, where ${\delta }_x$ is the Dirac measure at $x$. For the full sigma-algebra of subsets of a finite $E$, affineness directly gives $U_0(\lambda )={\sum }_{x\in E}\lambda (\{x\})U(x)$.

The statement also holds for an arbitrary sigma-algebra on a finite set. List each atom of a sigma-algebra as $A_1,\dots ,A_r$ and choose $x_j\in A_j$. Points in one atom have identical Dirac measures on this sigma-algebra, so $U$ is constant on each atom and is measurable. Every probability measure decomposes as $\lambda ={\sum }_j\lambda (A_j){\delta }_{x_j}$, whenceThis is the expected utility representation on a finite measurable space. It does not silently assume that each singleton is measurable.

Conditioning on the intensity in the Poisson mixture givesThus $N$ has the negative binomial distribution with two successes and success probability $p$, counting failures; explicitly $\mathbb{P}(N=j)=(j+1)p^2{q}^j$ for $j\ge 0$. The probability generating function is finite for real $z<1/q$.

The claim-size moment-generating function is $M_X(t)=(1-\mu t{)}^{-1}$. Substituting into the aggregate moment-generating function and using $p+q=1$ givesPut $L(t)=p/(p-\mu t)$, the moment-generating function of an exponential distribution with rate $p/\mu$. The identitythen yieldsThe gamma-mixed Poisson aggregate with exponential claims has three nonnegative mixture weights summing to one. By uniqueness of the moment-generating function near zero, the aggregate distribution isHere ${\delta }_0$ is the Dirac measure at zero. In particular $\mathbb{P}(S=0)=p^2$, consistently with $\mathbb{P}(N=0)$. The positive components have respective expected values $\mu /p$ and $2\mu /p$; their mixture distribution accounts for the possibility of no aggregate payout.

For the Random-scan Gibbs sampler, the correct transition kernel is a measure, since a one-coordinate update is singular with respect to full-dimensional Lebesgue measure when $p>1$. Write $x_{-i}$ for all coordinates except $i$. ThenEach Dirac measure fixes an unupdated coordinate. Equivalently, $P(x,A)=p^{-1}{\sum }_i\int 1_A(x_{-i},z){\pi }_i(z\mid x_{-i})dz$, with $z$ placed in coordinate $i$. Replacing this kernel by an ordinary density on the whole product space would omit those fixed-coordinate constraints.

Put $M_k=S_k-mk$ as above. Centering the linear interpolation also interpolates the centered values: for $u\in [0,1]$,The absolute value of this convex combination is at most the larger endpoint absolute value. For every fixed $A>0$, part (c) therefore givesHence there is uniform convergence on compacts in probability to the deterministic path $h(t)=mt$, by Markov inequality. Equip $C([0,\infty ),\mathbb{R})$ with its standard compact-open topology, metrized byFor each finite number of terms their suprema converge to zero in probability, and the remaining tail is bounded deterministically by ${\sum }_{j>J}{2}^{-j}$. Thus $d(S^{(N)},h)\to 0$ in probability. Convergence in probability to a deterministic point implies weak convergence of probability measures, so the fluid limit isHere ${\delta }_h$ is the Dirac measure concentrated on that continuous path. The topology is locally uniform convergence; no assertion of uniform convergence over the entire unbounded half-line is needed. The interpolation is intended for integers $k\ge 0$, including the initial interval $[0,1]$. If the PDF's ${\mathbb{Z}}^{+}$ is interpreted as strictly positive integers, that initial piece is omitted from the displayed definition and must be supplied by the same formula using $S_0=0$.

The almost-sure bound gives ${\tilde{\theta }}_n-{\hat{\theta }}_n=o_{\mathbb{P}}(n^{-1/2})$, so Slutsky theorem transfers both consistency and the asymptotic normal law to ${\tilde{\theta }}_n$. The continuous mapping theorem and delta method then giveIf ${\psi }^{\prime }({\theta }_0)=0$, the latter is the Dirac measure at zero, conventionally a degenerate normal distribution; a nondegenerate second-order limit would need a different normalization and extra smoothness.

The Mazur theorem states that the weak closure and norm closure of a convex set $C$ in a normed vector space coincide:Norm closure is contained in weak closure because the weak topology is coarser. Conversely, if $x\notin {\overline{C}}^{\Vert \cdot \Vert }$, the Hahn-Banach separation theorem provides a continuous real linear functional strictly separating $x$ from that closed convex set. In a complex space this is the real part of a continuous complex linear functional. A weak neighborhood of $x$ then misses $C$, so $x\notin {\overline{C}}^w$. This proves the equality. It also gives the usual Mazur lemma: if $x_n\rightharpoonup x$, then $x$ lies in the norm closure of the convex hull of each tail, so one can choose tail convex combinations $y_n$ with $\Vert y_n-x\Vert <1/n$.

Now let $K$ be a weakly compact set in a normed space $X$. Each $\phi \in X^{\ast }$ is bounded on $K$ because it is weakly continuous. The family $\{Jx:x\in K\}$ in $\mathcal{B}(X^{\ast },\mathbb{F})$, where $J$ is the canonical embedding into the bidual, is therefore pointwise bounded. The space $X^{\ast }$ is Banach even if $X$ is not. Apply the Uniform boundedness principle and use $\Vert Jx\Vert =\Vert x\Vert$ to obtainThis proves that a weakly compact set is norm bounded without assuming completeness of the original space.

For the real-valued dual and integral formulas that follow, take $X$ to be real, as in the PDF. In a complex space the norming formula uses real parts, and the integral identities use complex-valued functionals instead.

If the separable Banach space $X$ is nonzero, choose a norm-dense sequence $(u_n)$ in its unit sphere. By the Hahn-Banach theorem, choose ${\phi }_n\in X^{\ast }$ with $\Vert {\phi }_n\Vert =1$ and ${\phi }_n(u_n)=1$. For any unit vector $u$, arbitrarily close $u_n$ satisfyScaling gives the countable norming family identityFor $X=\{0\}$ use the constant sequence of zero functionals. If $f:\Omega \to X$ is norm-Borel measurable, every ${\phi }_n\circ f$ is measurable, so its countable supremum $\Vert f(\cdot )\Vert$ is measurable. Equivalently, this also follows directly from continuity of the norm.

For any $\phi \in X^{\ast }$, continuity makes $\phi \circ f$ measurable, andThus the assumed integrability of the norm implies scalar integrability, anddefines a bounded linear functional on $X^{\ast }$. Use the granted weak-star continuity of $T_f$. By the continuous dual of a weak-star topology, $T_f$ is evaluation at a vector of $X$. Indeed, continuity gives finitely many $x_1,\dots ,x_m$ and $\epsilon >0$ such that $|T_f(\phi )|<1$ whenever $|\phi (x_j)|<\epsilon$ for all $j$. Scaling shows that $T_f$ vanishes on the common kernel of these evaluations. It therefore factors through their finite-dimensional coordinate map, so $T_f(\phi )={\sum }_j{a}_j\phi (x_j)=\phi ({\sum }_j{a}_j{x}_j)$. The Hahn-Banach theorem makes this representing vector unique. HenceIn this separable setting the vector is the Bochner integral.

Return to a weakly compact set $K\subseteq X$ and its inclusion $f:K\to X$. For each fixed $a\in X$, the identity $\Vert x-a\Vert ={\sup }_n{\phi }_n(x-a)$ makes $x\mapsto \Vert x-a\Vert$ weakly Borel measurable. Norm balls are consequently weakly Borel measurable. Separability gives a countable base of such balls, so every norm-open set is weakly Borel measurable. This proves measurability of $f$, and establishes the equality of the weak and norm Borel sigma-algebras in a separable Banach space.

Put $M={\sup }_{x\in K}\Vert x\Vert <\infty$. For every finite signed Borel measure $\mu$ on $K$,For positive measures this is the integral in the question. For signed measures, the correct integrability condition uses the variation measure; define the integral by taking the difference of the positive and negative integrals. The printed $\Omega$ in this clause should be $K$, the domain of the inclusion.

The Riesz-Markov-Kakutani representation theorem now defines the bounded linear mapFor each $\phi \in X^{\ast }$ the restriction $\phi {|}_K$ is in $C(K)$, andThe right side is weak-star continuous in $\mu$. The defining property of the weak topology therefore proves that $T$ is weak-star-to-weak continuous, for arbitrary nets. For a Dirac measure, $\boxed{T({\delta }_x)=x}$.

If $K\ne \varnothing$, let $\mathcal{P}(K)$ be its regular probability measures. This is a weak-star closed subset of $B_{C(K{)}^{\ast }}$: its conditions are $\mu (1)=1$ and $\mu (g)\ge 0$ for every nonnegative $g\in C(K)$. It is compact by Banach-Alaoglu theorem. Thus $T(\mathcal{P}(K))$ is weakly compact and convex, and contains $K$ because it contains all $T({\delta }_x)$. It is weakly closed, hence norm closed, so it contains $C={\overline{\mathrm{conv}K}}^{\Vert \cdot \Vert }$. By Mazur theorem, $C$ is weakly closed. Therefore it is a closed subset of the weakly compact set $T(\mathcal{P}(K))$, provingThe empty case is immediate. In fact $T(\mathcal{P}(K))=C$: a barycenter of a measure on a Banach space outside $C$ would be strictly separated by a functional $\phi$, contradicting $\phi (T(\mu ))={\int }_K\phi d\mu \le {\sup }_K\phi$.

The Rudolph measure rigidity theorem has an essential ergodicity hypothesis. If a Borel probability measure $\mu$ on the circle group is invariant under both $T_2$ and $T_3$, is ergodic for the semigroup generated jointly by these maps, and either map has positive Kolmogorov-Sinai entropy, thenEquivalently, a jointly ergodic common invariant measure other than Lebesgue measure has zero entropy for both maps. Joint ergodicity means that every set invariant modulo $\mu$ under both maps has measure zero or one. Positive entropy without this hypothesis is insufficient: $\frac{1}{2}m+\frac{1}{2}{\delta }_0$, with ${\delta }_0$ a Dirac measure, is a common invariant measure of positive entropy and is not $m$.

The Host equidistribution theorem states that if $p,q\ge 2$ are relatively prime integers and $\nu$ is invariant and ergodic under $T_p$, with $h_{\nu }(T_p)>0$, then for $\nu$-almost every $x$ the sequence $(T_q^{n}x)$ is an equidistributed sequence for Lebesgue measure. Explicitly, for every continuous $g$ on the circle,The non-ergodic form assumes $T_p$ invariance and positive entropy for almost every component in the ergodic decomposition $\nu =\int {\nu }_{\omega }d\lambda (\omega )$. Applying the ergodic theorem of Host on each such component gives the same almost-everywhere conclusion for $\nu$. More generally, its conclusion holds on the part supported on positive-entropy components. A positive value of $h_{\nu }(T_p)$ alone does not eliminate zero-entropy components.

To deduce the joint version of the Rudolph measure rigidity theorem, suppose $h_{\mu }(T_2)>0$; if only $T_3$ has positive entropy, interchange the roles. Write the $T_2$ ergodic decomposition as $\mu =\int \nu d\tau (\nu )$. Since $T_3$ commutes with $T_2$, its pushforward measure sends a $T_2$ ergodic component $\nu$ to a $T_2$ ergodic component $(T_3{)}_{\ast }\nu$. On each component, $T_3$ is a factor of a measure-preserving system with fibres of size at most three. We use the standard entropy preservation under a finite-to-one factor:The reason for this standard entropy fact is that, conditional on a complete factor point, every finite orbit name has at most three possibilities; its conditional entropy is bounded by $\log 3$, and division by the orbit length gives zero relative entropy.

The component at $T_{3}x$ is $(T_3{)}_{\ast }{\nu }_x$ almost everywhere; this follows from commutation and the componentwise ergodic averages. The component entropy function $r(x)=h_{{\nu }_x}(T_2)$ is therefore invariant under both $T_2$ and $T_3$. Joint ergodicity makes it constant almost everywhere, and affinity of entropy under ergodic decomposition identifies the constant as $h_{\mu }(T_2)>0$. Thus almost every $T_2$ component has positive entropy, exactly the condition required in the non-ergodic Host equidistribution theorem. It follows that $\mu$-almost every point equidistributes for $m$ under $T_3$.

For any continuous $g$, invariance under $T_3$ and the dominated convergence theorem now giveContinuous functions determine Borel probability measures on the circle, so $\mu =m$, proving the deduction.

For the normal-number example, let ${\omega }_1,{\omega }_2,\dots$ be independent fair binary digits and defineThis Cantor Bernoulli measure is supported on the middle-third Cantor set $C$. If $S$ is the Bernoulli shift, then $T_3\circ \pi =\pi \circ S$ on the circle. Consequently $\nu$ is $T_3$ invariant and ergodic: a $T_3$ invariant event pulls back to an $S$ invariant event, which has probability zero or one.

Take the ternary digit measurable partition $\eta =\{[0,1/3),[1/3,2/3),[2/3,1)\}$. Its block partition of length $n$ has, up to null endpoints, $2^n$ positive-measure atoms under $\nu$, each of measure $2^{-n}$, and all other atoms have measure zero. HenceApply the Host equidistribution theorem with $p=3$, $q=2$. For $\nu$-almost every $x\in C$, the sequence $(T_2^{n}x)$ equidistributes for Lebesgue measure, so $x$ is a normal number in base $2$ by normality and equidistribution under integer multiplication.

The ternary expansion of $\nu$-almost every such $x$ contains only $0$ and $2$, so the frequency of digit $1$ is zero rather than $1/3$. The ambiguous ternary endpoints form a countable $\nu$ null set and can be removed. Therefore $x$ is not a normal number in base $3$. We have proved the stronger almost-everywhere existence statement

For a cost $c:X\times Y\to [0,+\infty ]$ that is a Borel measurable function, a transport map is a measurable $T:X\to Y$ whose pushforward measure satisfiesThe Monge optimal transport problem moves every source point to one destination:The Kantorovich optimal transport problem permits mass to split. Its admissible transport plans are the probability measures on $X\times Y$ with prescribed marginal distributions:Thus a transport plan is a coupling of probability distributions. The set $\Pi (\mu ,\nu )$ is never empty: it contains the product measure $\mu \otimes \nu$. Signed costs can also be used when their integrals are well defined, for example with an integrable lower bound of the form $a(x)+b(y)$.

On the Polish space $\mathbb{R}$, take the Dirac measuresEvery measurable map satisfies $T_{\#}{\delta }_0={\delta }_{T(0)}$, which cannot equal $\nu$. A transport map cannot split an atom of a measure, whereas the transport plan $\frac{1}{2}{\delta }_{(0,-1)}+\frac{1}{2}{\delta }_{(0,1)}$ can.

The intended monotone rearrangement isHere $G^{-1}$ is the quantile function of $\nu$, agreeing with the ordinary inverse when $G$ is continuous and strictly increasing. With an atomless measure $\mu$, its cumulative distribution function $F$ is continuous, and the probability integral transform makes $F(X)$ uniform on $(0,1)$ for $X\sim \mu$. Thus $G^{-1}(F(X))\sim \nu$. The one-dimensional monotone rearrangement theorem says this transport map minimizes the cost $d(x-y)$ for convex continuous $d$, whenever the cost integrals are well defined. Values at exceptional endpoints may be chosen arbitrarily.

The printed assumptions omit an essential source condition. Invertibility of $G$ alone does not ensure an admissible transport map. For example, $\mu ={\delta }_0$ and $\nu$ a standard normal distribution satisfy the stated condition on $G$, but $T_{\#}{\delta }_0$ is always a Dirac measure. There is no solution to the Monge optimal transport problem in this example. The boxed answer therefore requires the additional assumption that $\mu$ is an atomless measure, or an equivalent condition making the displayed map admissible. For arbitrary sources the always admissible monotone transport plan is $(F^{-1},G^{-1}{)}_{\#}\mathcal{U}(0,1)$, which need not be induced by a map.

SetSymmetry here means $W(-z)=W(z)$, so $\nabla W(0)=0$ and $K(0)=0$. The bounded Hessian matrix and the fact that $J$ is an orthogonal matrix giveThus the particle system is ${\dot{X}}^i=N^{-1}{\sum }_{j}K(X^i-X^j)$. On the configuration space with norm $\Vert X{\Vert }_{\max }={\max }_i|X^i|$, its vector field has Lipschitz constant at most $2L$:The Picard-Lindelöf theorem gives local existence and uniqueness. Linear growth and the Gronwall inequality give $\Vert X(t){\Vert }_{\max }\le e^{2Lt}\Vert X(0){\Vert }_{\max }$, which rules out escape to infinity in finite time and extends the solution to every $t\ge 0$.

The associated empirical measure isHere each ${\delta }_{X^i(t)}$ is a Dirac measure. The finite first absolute moment follows from $\int |x|d{\mu }_t^N=N^{-1}{\sum }_i|X^i(t)|<\infty$. Pairing equal particle labels defines a coupling, soConsequently

Use the corrected piecewise-deterministic Markov process from part (b). For a smooth test function $f$, its time-dependent infinitesimal generator isIndeed, over an interval of length $h$, deterministic motion contributes $ha(t,x)f^{\prime }(x)$, while a jump has probability $h\alpha (x)+o(h)$ and changes the conditional mean of $f$ by $K_{t}f(x)-f(x)$. Terms involving both drift and a jump contribute only to the remainder. Thus $P_{t,t+h}f=f+h{L}_{t}f+o(h)$.

The Dynkin formula, or this infinitesimal expansion integrated against the current probability distribution, gives the weak evolution identityTake $f\in C_c^{\infty }(\mathbb{R})$, so integration by parts has no boundary contribution. Assuming the displayed jump integrals are finite, Fubini's theorem givesConsequently the forward equation of a piecewise-deterministic Markov process isHere $A_t=L_t^{\ast }$ is the formal adjoint operator acting on probability density functions. Its terms are transport, loss from $x$, and incoming mass from every $y$. In particular, the incoming rate is $\alpha (y)$, evaluated at the departure state. The operator denoted $A$ in the source is generally time-dependent. Because $\int m_t(y,x)dx=1$, the gain and loss integrals cancel; with vanishing transport flux at infinity, $\frac{d}{dt}\int p_t=0$.

The deterministic initial state in part (b) does not actually yield an everywhere smooth full density. For finite times the no-jump contribution is the positive measurewhere ${\delta }_z$ is the Dirac measure at $z$. Smooth jump destination probability density functions cannot remove this positive atom. The density equation above is therefore conditional on the extra density hypothesis, for example with a suitable random initial probability density function. For the specified fixed initial state, write ${\nu }_t$ for the whole probability measure and use insteadThis weak measure evolution includes both the atom and any continuous component. It becomes the displayed partial differential equation whenever ${\nu }_t(dx)=p_t(x)dx$ with the assumed regularity. It does not describe the literal hidden-reset construction without the correction in part (b).

A point process records random locations by a random measure that counts them. Examples include arrival times of a queue, positions of stars, and the finite eigenvalue configuration of a random matrix. The count in an observation window is a random variable; its expected value is supplied by the intensity measure of a point process, while its fluctuations and relationships with other windows require more information.

For a precise spatial convention, take $E={\mathbb{R}}^d$ with its Borel sigma-algebra and a probability space $(\Omega ,\mathcal{F},\mathbb{P})$. A locally finite point process $\Pi$ is a measurable function from $\Omega$ to the space ${\mathcal{N}}_{\mathrm{lf}}(E)$ of locally finite point measures, equipped with the sigma-algebra generated by evaluations $\nu \mapsto \nu (A)$ for Borel sets $A$. Each realization has the formwhere $J(\omega )$ is finite or countable and repeated locations are allowed; ${\delta }_x$ is a Dirac measure. Here a point measure is a counting measure with possible multiplicities, rather than the counting measure of a set of distinct locations.^[ref]

Local finiteness means ${\Pi }_{\omega }(B)<\infty$ for every bounded Borel set $B$, on a single almost sure event. In ${\mathbb{R}}^d$ it suffices to check the countable collection of balls of integer radius centered at the origin, and this is equivalent to finiteness on every compact set. On a general measurable space there is no notion of boundedness without additional structure: state a metric or an explicit family of observation windows. Another convention on locally compact spaces requires finiteness on compact sets; this need not coincide with finiteness on all bounded sets outside ${\mathbb{R}}^d$. Local finiteness does not require finitely many points in all of $E$.^[ref]

A point measure is a countable sum of Dirac measures. It is simple if all its atoms have mass one, and locally finite if every bounded set has finite mass. Simplicity lets fine enough cells count individual points, whereas occupation indicators would lose multiplicities in a nonsimple measure.

For a positive Borel measure on a topological space, the support consists of the points whose every open neighborhood has positive measure. For a finite regular complex measure use its variation measure. Regularity makes the complement of the support null: compact subsets of that open complement have finite covers by null neighborhoods. A regular probability measure on a compact Hausdorff space whose support is a single point is therefore a Dirac measure.