Proof of Compensated Counters of the Controlled N-Agent Dynamics are Square-Integrable Martingales

Fix a solution; let $n_c=Nl(l-1)+N\tilde{l}$ be the number of clock labels and $\bar{\beta}=\max(B,\tilde{B})$, so every consumed clock time is $\bar{\beta}$-Lipschitz in $t$ by condition 2 of Solution of the Controlled N-Agent Dynamics. Adaptedness of $N^a$ and $A^a$, square-integrability of $N^a_t$, and measurability of the time-$r$ configuration are provided by parts (iii) and (iv) of Existence, Uniqueness, and Regularity for the Controlled N-Agent Dynamics; in particular each $M^a_t=N^a_t-A^a_t$ is adapted and square-integrable, and $M^a_0=N^a_0-A^a_0=0$ since $A^a_0=0$ (an integral over the null set $\{0\}$, by the integral toolkit) and hence $N^a_0=Y^a_0=0$ (clock paths are counting paths).

Step 1: the interval estimates. Fix $r\in[0,T)$ and $0<\delta\le T-r$, write $\Delta N^a=N^a_{r+\delta}-N^a_r$, $\Delta A^a=A^a_{r+\delta}-A^a_r\in[0,\bar{\beta}\delta]$, $\mu=\bar{\beta}\delta$, and let $\hat{Y}^a$ be the residual clocks of the fresh-start property at time $r$: they are rate-$1$ Poisson processes with counting paths, mutually independent and jointly independent of $\mathcal{F}^{\mathrm{sys}}_r$. On the regular event, the increments of $N^a$ over $(r,r+\delta]$ are increments of $Y^a$ over $(A^a_r,A^a_{r+\delta}]\subseteq(A^a_r,A^a_r+\mu]$, so pathwise

Let $R_b=\{\hat{Y}^b_{\mu}\ge1\}$, so $P(R_b)=1-e^{-\mu}\le\mu$, and let $R=\bigcup_{b\neq a}R_b$, so $P(R)\le n_c\mu$. Let $c^a$ be the frozen consumption: the integral over $(r,r+\delta]$ of the rate obtained by freezing the time-$r$ states and observation record, $c^a=\int_{(r,r+\delta]}\lambda^a_{\mathrm{frozen}}(s)\,ds\in[0,\mu]$. It is $\mathcal{F}^{\mathrm{sys}}_r$-measurable: by part (iv) of Existence, Uniqueness, and Regularity for the Controlled N-Agent Dynamics the time-$r$ states are $\mathcal{F}^{\mathrm{sys}}_r$-measurable and the observation-event count, event times, and channels up to $r$ are $\mathcal{G}_r$-measurable with $\mathcal{G}_r\subseteq\mathcal{F}^{\mathrm{sys}}_r$; the frozen rate path is a measurable function of these data by Sequentially Continuous Functions of Measurable Euclidean Maps are Measurable and Observation-Driven Control Policy, and the integral is measurable by Tonelli.

We claim

Indeed, suppose no clock $b\neq a$ rings in $(r,r+\delta]$ (that is, off $R$, since a ring of $b$ in $(r,r+\delta]$ is a jump of $Y^b$ within consumed budget at most $\mu$, hence forces $\hat{Y}^b_{\mu}\ge1$). Then up to the first ring of $a$ in the interval (or up to $r+\delta$ if there is none), no counter jumps, so the states and record stay at their time-$r$ values and the consumed time of $a$ follows the frozen schedule; consequently $a$ rings in $(r,r+\delta]$ if and only if the frozen consumption reaches the next level of $Y^a$ within the interval, that is, if and only if $\hat{Y}^a_{c^a}\ge1$. Thus on either difference set some clock $b\neq a$ must ring in the interval, putting the outcome in $R$; and on both difference sets $\hat{Y}^a_{\mu}\ge1$ (in the first case because $a$ actually rings within budget $\mu$, in the second because $\hat{Y}^a_{c^a}\ge1$ and $c^a\le\mu$). By pairwise independence of the residual clocks, $P(R\cap\{\hat{Y}^a_{\mu}\ge1\})\le\sum_{b\neq a}P(R_b)P(R_a)\le n_c\mu^2$.

For any event $D\in\mathcal{F}^{\mathrm{sys}}_r$, joint measurability of $(c,\hat{\omega})\mapsto\hat{Y}^a_c$ (right-continuity and grid limits) together with independence of $\hat{Y}^a$ from $\mathcal{F}^{\mathrm{sys}}_r$ and Tonelli on the product of the two laws gives

and $|1-e^{-c}-c|\le c^2/2\le\mu^2$ by the alternating series of the exponential. Moreover, for integers $0\le x\le y$ one has $(x-1)^+=x-\mathbf{1}_{\{x\ge1\}}\le y-\mathbf{1}_{\{y\ge1\}}$, so $\mathbb{E}[(\Delta N^a-1)^+]\le\mathbb{E}[\hat{Y}^a_\mu]-P(\hat{Y}^a_\mu\ge1)=\mu-(1-e^{-\mu})\le\mu^2$, by Moments of the Poisson Distribution. Finally, on the complement of $R\cup R_a$ no event occurs in $(r,r+\delta]$, so $\Delta A^a=c^a$ there, while always $|\Delta A^a-c^a|\le2\mu$; hence $|\mathbb{E}[(\Delta A^a-c^a)\mathbf{1}_D]|\le2\mu\,P(R\cup R_a)\le2(n_c+1)\mu^2$. Combining the last four displays,

Two second-order estimates follow similarly. Since $(\Delta N^a)^2=\Delta N^a+\Delta N^a(\Delta N^a-1)\le\Delta N^a+\hat{Y}^a_\mu(\hat{Y}^a_\mu-1)$ and $\mathbb{E}[\hat{Y}^a_\mu(\hat{Y}^a_\mu-1)]=\mu^2$ by Moments of the Poisson Distribution, while $|\mathbb{E}[\Delta N^a\Delta A^a\mathbf{1}_D]|\le\bar{\beta}\delta\,\mathbb{E}[\hat{Y}^a_\mu]=\mu^2$ and $(\Delta A^a)^2\le\mu^2$, expanding $(\Delta M^a)^2=(\Delta N^a-\Delta A^a)^2$ and using (E1) gives

For $b\neq a$: $\mathbb{E}[\Delta N^a\Delta N^b\mathbf{1}_D]\le\mathbb{E}[\hat{Y}^a_\mu\hat{Y}^b_\mu]=\mu^2$ by independence of the two residual clocks, and the mixed and quadratic $\Delta A$-terms are bounded by $\mu^2$ as before, so

Step 2: part (a). Fix $0\le r<t\le T$ and $D\in\mathcal{F}^{\mathrm{sys}}_r$. Partition $(r,t]$ into $n$ intervals of length $\delta=(t-r)/n$ with left endpoints $r_q$. Since $D\in\mathcal{F}^{\mathrm{sys}}_r\subseteq\mathcal{F}^{\mathrm{sys}}_{r_q}$ for every $q$ (filtration), (E1) applies on each interval and

so $\mathbb{E}[M^a_t\mathbf{1}_D]=\mathbb{E}[M^a_r\mathbf{1}_D]$. This is the averaged martingale identity, which by Square-Integrable Martingale, Submartingale, and Supermartingale is equivalent to the martingale property for adapted square-integrable processes; hence $(M^a_t)_{t\in[0,T]}$ is a square-integrable martingale with $M^a_0=0$.

Step 3: part (b). Integrability of the products holds as noted in the statement, by part (iii) of Existence, Uniqueness, and Regularity for the Controlled N-Agent Dynamics and the Cauchy--Schwarz inequality. First observe that the averaged identity of Step 2 extends from indicators to arbitrary square-integrable $\mathcal{F}^{\mathrm{sys}}_{r_q}$-measurable multipliers $Z$: truncating $Z$ at level $n'$ and discretizing the truncation's values on a dyadic grid produces simple $\mathcal{F}^{\mathrm{sys}}_{r_q}$-measurable variables $Z_{n'}$ with $|Z_{n'}|\le|Z|+1$ and $Z_{n'}\to Z$ pointwise; $\mathbb{E}[(M^a_{t'}-M^a_{r_q})Z_{n'}]=0$ by linearity over the finitely many level sets, and $\mathbb{E}[(M^a_{t'}-M^a_{r_q})(Z-Z_{n'})]\to0$ by the Cauchy--Schwarz inequality together with dominated convergence applied to $|Z-Z_{n'}|^2\le(2|Z|+1)^2$; thus $\mathbb{E}[(M^a_{t'}-M^a_{r_q})Z]=0$ for $t'\ge r_q$. Now with the partition of Step 2 write, for clock labels $a,b$,

where $\Delta M^a_q$ is the increment over the $q$-th interval. Multiplying by $\mathbf{1}_D$ and taking expectations, the cross terms vanish by the extended averaged identity applied with $Z=M^a_{r_q}\mathbf{1}_D$ and $Z=M^b_{r_q}\mathbf{1}_D$ (both square-integrable and $\mathcal{F}^{\mathrm{sys}}_{r_q}$-measurable). If $a\neq b$, (E3) gives

which is the case $a\neq b$ of the display in (b). If $a=b$, (E2) gives

and $\sum_q\mathbb{E}[\Delta A^a_q\mathbf{1}_D]=\mathbb{E}[(A^a_t-A^a_r)\mathbf{1}_D]$ exactly, for every $n$, by telescoping. Letting $n\to\infty$ yields

which is the case $a=b$. $\blacksquare$