Extracted main text — title through conclusion, appendix excluded. This is what our citation measures are computed over, published so the extraction can be checked by eye.
Rendered from LaTeX for readability, not typeset faithfully. Citation keys are highlighted; maths is left as source; figures, tables and equation environments are summarised rather than reproduced; unrecognised commands are greyed out so nothing is silently dropped. Email addresses are removed.
Liquidity-Based Audit of Algorithmic Trading Strategies
abstractWe show that an algorithmic strategy's net demand for liquidity is identifiable from its trade and price history alone, with no knowledge of its signal or optimization problem. An exact multi-period regret decomposition implies that the sign of this statistic classifies a linear strategy as a net liquidity consumer or provider, recovering the Kyle (1985) informed-trader/market-maker dichotomy from observables alone. Under an AR(1) cost process, the same statistic equals $\alpha s^2$, the product of strategy size and the squared Roll (1984) implied spread, making the correction a direct proxy for prevailing illiquidity. Extending to endogenous price impact and aggregating across $N$ correlated strategies yields a liquidity-balance condition whose violation produces welfare loss scaling as $N^2$, a closed-form fire-sale externality. We calibrate to CRSP equity data (2016–2025), tracking implied spreads through the COVID-19 and 2022 rate-shock episodes, with an estimator computable in $O(T\cdot nd)$ time.
introduction
Market microstructure has long classified trading activity by its informational role: an informed trader demands liquidity by
trading in the direction of private information, while a market
maker supplies liquidity by absorbing that order flow and earning the spread in compensation Kyle1985,Glosten1985. This classification is typically recovered from the data the classifier requires: signed order flow, quote revisions, or the sequential-trade structure of the market. The classification is harder to apply to an algorithmic strategy whose internal logic is unobservable. However, the signals or optimization problems generating the decisions of a typical quantitative fund are not visible, even though the trades and reported positions may be available.
This paper shows that the liquidity role of such a strategy (consumer or provider) can be recovered from realized portfolio
costs and trade decisions alone, without observing quotes, order
flow, or any other microstructure-specific signal. The key observation is that a strategy's contribution to multi-period performance decomposes exactly into a sum of per-period covariances between the realized cost vector and the strategy's decision (Theorem (ref)). Furthermore, the sign of this covariance statistic is a model-free liquidity classifier: positive covariance means the strategy systematically buys when costs are rising and sells when costs are falling, while negative covariance means the reverse. Buying when asset costs (prices) are rising and selling when prices are falling is the behavior of a successful quantitative fund. The reverse is the defining behavior of a liquidity
supplier (Proposition (ref)).
This single observation has three further consequences that are
the substance of the paper. First, under an AR(1) cost process (the standard reduced-form model for short-horizon return reversal), the same covariance statistic admits a closed form in terms of the roll1984simple implied bid-ask spread. The auto-covariance correction to the covariance sum equals $\alpha s^2$, the product of strategy size and the squared effective spread (Theorem (ref)). This gives a spread estimator that is a byproduct of the same trajectory data used for the liquidity classification, at no additional computational cost.
Second, allowing the strategy's own trades to move prices shows that covariance regret and price-impact regret are additively separable (Theorem (ref)). This is the endogenous price impact in the spirit of Kyle1985 and almgren2001optimal. The additive separation allows the two channels to be estimated independently from the same data.
Third, aggregating across $N$ strategies under a common-factor cost structure yields a market-wide liquidity-balance condition: when liquidity demand and supply fail to net to zero across agents. Prices must adjust to clear, and the resulting welfare loss scales as $N^2$ in the strategy-correlation coefficient (Corollary (ref)). The result is a closed-form statement of the familiar fire-sale mechanism in which correlated deleveraging overwhelms available liquidity.
We calibrate the framework to CRSP daily equity data from 2016
through 2025 ($n=21{,}183{,}373$ stock-days). The implied Roll
spread recovered from the trajectory estimator tracks realized
illiquidity through two distinct episodes: it roughly triples
during the COVID-19 liquidity crisis of Q2 2020 (from $0.90\%$ to $2.52\%$ daily), and it collapses to its sample minimum during the 2022 rate-shock episode, when persistent common-factor repricing rather than microstructure friction dominates short-horizon return dynamics. Both patterns are consistent with the spread acting as a real-time proxy for the depth of the market rather than an estimation artifact.
\paragraph{Related work.} The liquidity-classification result
connects most directly to the sequential-trade and strategic-trading literature. Kyle1985 and Glosten1985 establish the informed-trader/market-maker dichotomy that this paper recovers from trajectory data rather than order-flow data. roll1984simple provides the implied-spread estimator that this paper re-derives as a regret correction. almgren2001optimal and gatheral2010no provide the price-impact and market-impact models extended in Section (ref). Hasbrouck1991 and the broader VAR-based price-impact literature offer an alternative, order-flow-based route to the same quantities that this paper recovers from realized costs and decisions alone, a comparison we return to in Section (ref). The covariance
decomposition itself extends the single-period identity of
aldridge2026regret to the full multi-period stochastic dynamic programming setting and is structurally related to the
elmachtoub2022smart predict-then-optimize framework and to the regret criterion in online convex optimization
Zinkevich2003,Hazan2016. The $N$-agent fire-sale extension connects to the market-wide liquidity-spiral literature ShleiferVishny1992 and to random matrix theory BaiSilverstein2010 for the systemic-fragility threshold of Section (ref).
\paragraph{Roadmap.} Section (ref) states the liquidity classification result in its simplest form,
immediately after the minimal notation required to state it.
Section (ref) develops the full multi-period stochastic dynamic programming setup and proves the exact covariance decomposition (Theorem (ref)) that underlies everything that follows. Section (ref) gives a Bellman recursion for the covariance regret functional. Section (ref) characterizes the policy bias that arises for strategies (e.g., momentum) that violate the mean-unbiasedness condition. Section (ref) derives the closed-form auto-covariance correction under an AR(1) cost process. Section (ref) returns to liquidity classification in full: the Roll-spread identity, endogenous price impact, the aggregate liquidity-balance condition and fire-sale extension, and the empirical calibration of implied spreads against the CRSP sample. Sections that follow develop the trajectory estimator's asymptotic properties, additional
empirical results, and an $N$-agent systemic extension.
A First Look at Liquidity Classification
Before developing the full multi-period framework, we state the
paper's central classification result in its simplest form, since it requires almost none of the machinery that follows.
Consider a single trading strategy that, at each period $t$, faces a cost vector $c_t\in\mathbb{R}^d$ (e.g.\ a vector of asset return innovations or factor realizations) and chooses a position $\hat{\pi}_t(c_t)\in\mathbb{R}^n$ as a linear function of that cost: $\hat{\pi}_t(c_t) = Bc_t + b$ for some matrix $B\in\mathbb{R}^{n\times d}$.
Let $\Sigma_c=\operatorname{Cov}(c_t,c_t)$ be the cost covariance matrix. No further structure is needed for the result below; the full stochastic dynamic programming setup, including the multi-period regret identity that gives this statistic its performance interpretation, is developed starting in Section (ref).
definition[Liquidity consumer and provider]
The strategy is a net liquidity consumer at period $t$ if
$\operatorname{Cov}(c_t,\hat{\pi}_t(c_t))>0$, a net liquidity
provider if $\operatorname{Cov}(c_t,\hat{\pi}_t(c_t))<0$, and
liquidity-neutral if the covariance is zero.
proposition[Liquidity role from trajectory data alone]
$\operatorname{Cov}(c_t,\hat{\pi}_t(c_t)) = \operatorname{tr}(B\Sigma_c)$. In particular: a momentum strategy ($B=\alpha I$, $\alpha>0$) is always a liquidity consumer; a contrarian strategy ($B=-\alpha I$, $\alpha>0$) is always a liquidity provider; and a strategy whose expected output matches the unconditional cost-minimizing allocation (e.g.\ minimum-variance) is liquidity-neutral.
The proof follows directly from the bilinearity of covariance and the cyclic property of trace. The proof appears in full as Proposition (ref) in Section (ref), along with the connection to
Kyle1985 and the closed-form Roll-spread identity that
follows from the same statistic under an AR(1) cost process. The
point to take from this first look is that the sign of a
single, easily computed statistic classifies the strategy's liquidity role exactly. This requires only the observed trajectory $\{(c_t,\hat{\pi}_t(c_t))\}_{t=1}^T$ and no knowledge of $B$, the strategy's signal, or its optimization problem.
Sections (ref) through (ref) develop the multi-period regret framework in which this statistic also functions as a performance audit metric. Section (ref) returns to the liquidity interpretation with the full set of results, including the Roll-spread identity, price impact, and the $N$-agent aggregate liquidity-balance condition previewed above.
Setup: Multi-Period Stochastic Dynamic Program
Model
At each period $t \in \{1,\ldots,T\}$ a state $s_t \in \mathcal{S} \subseteq \mathbb{R}^p$ summarizes relevant history, a cost vector $c_t \in \mathcal{C} \subseteq \mathbb{R}^d$ is drawn from a distribution depending on $s_t$, and a decision $z_t \in \mathcal{Z} \subseteq \mathbb{R}^n$ is chosen by a policy $\hat{\pi}_t(s_t, c_t)$ after observing $(s_t, c_t)$, realizing instantaneous cost $c_t^\top z_t$.
The state evolves as $s_{t+1} = f(s_t, z_t, \varepsilon_{t+1})$.
definition[Policy]
A deterministic Markov policy is a sequence $\Pi =
(\hat{\pi}_1,\ldots,\hat{\pi}_T)$ of measurable maps
$\hat{\pi}_t\colon \mathcal{S}\times\mathcal{C}\to\mathcal{Z}$.
A policy is stationary if $\hat{\pi}_t = \hat{\pi}$ for all $t$.
Let $\mathcal{F}_t = \sigma(s_1,c_1,\ldots,s_t,c_t)$ be the natural filtration and $\mathbb{E}_t[\,\cdot\,] = \mathbb{E}[\,\cdot\mid \mathcal{F}_t]$. Write $\mu_t = \mathbb{E}[c_t\mid s_t]$ and $\Sigma_t = \operatorname{Cov}(c_t,c_t\mid s_t)$.
assumption[Cost process]
We work under one of the following:
\begin{enumerate}[label=(\alph*),topsep=2pt,itemsep=1pt,leftmargin=*]
• i.i.d.\ $\{c_t\}$ i.i.d.\ with mean $\bar{c}$ and covariance $\Sigma_c$; state trivial ($\mathcal{S}=\{s_0\}$).
• Markov.\ $(s_t,c_t)$ is a time-homogeneous Markov chain: $(s_{t+1},c_{t+1})\perp\mathcal{F}_{t-1}\mid(s_t,c_t)$.
• Non-stationary.\ $\{c_t - \bar{c}_t\}$ is a
martingale-difference sequence; cross-period covariances satisfy
$\operatorname{Cov}(c_t,c_s) = \Gamma_{|t-s|}$ for some absolutely summable sequence $\{\Gamma_k\}$.
\end{enumerate}
definition[Multi-period regret]
The perfect-foresight benchmark is
$\pi^*_t(s_t) \in \arg\min_{z\in\mathcal{Z}}\mu_t^\top z$.
The total regret of $\Pi$ over horizon $T$ is
\begin{equation}
\operatorname{Regret}^{(T)}(\Pi)
= \sum_{t=1}^{T}\Bigl(
\mathbb{E}\bigl[c_t^\top\hat{\pi}_t(s_t,c_t)\bigr]
- \mathbb{E}\bigl[\mu_t^\top\pi^*_t(s_t)\bigr]
\Bigr).
\end{equation}
remark[Benchmark]
The benchmark $\mu_t^\top\pi^*_t$ uses the conditional mean given the current state, not the unconditional mean, comparing the policy against an agent who knows today's expected costs but not future realizations.
Main decomposition
assumption[Policy mean condition]
$\mathbb{E}[\hat{\pi}_t(c_t)] = \pi^*_t$ for each $t$ (or
$\mathbb{E}[\hat{\pi}_t(c_t)\mid\mathcal{F}_{t-1}] = \pi^*_t$ in the non-stationary case). This holds for minimum-variance portfolios, linear-quadratic regulators, and ridge-regularized prediction rules.
theorem[Exact sum-of-covariances decomposition]
Under Assumption (ref)(a) and
Assumption (ref), for any Markov policy $\Pi$,
\begin{equation}
\operatorname{Regret}^{(T)}(\Pi)
= \sum_{t=1}^{T}\operatorname{Cov}\bigl(c_t,\,\hat{\pi}_t(c_t)\bigr).
\end{equation}
proofFix $t$. By the covariance decomposition lemma,
$\mathbb{E}[c_t^\top\hat{\pi}_t(c_t)]
= \bar{c}^\top\mathbb{E}[\hat{\pi}_t(c_t)]
+ \operatorname{Cov}(c_t,\hat{\pi}_t(c_t))$.
Under Assumption (ref),
$\mathbb{E}[\hat{\pi}_t(c_t)] = \pi^*$, so
$r_t = \bar{c}^\top\pi^*
+ \operatorname{Cov}(c_t,\hat{\pi}_t(c_t))
- \bar{c}^\top\pi^*
= \operatorname{Cov}(c_t,\hat{\pi}_t(c_t))$.
Summing over $t$ gives (ref).
theorem[Non-stationary extension]
Under Assumption (ref)(c) and
Assumption (ref) (conditional form),
\begin{equation}
\operatorname{Regret}^{(T)}(\Pi)
= \sum_{t=1}^{T}\operatorname{Cov}(c_t,\hat{\pi}_t(c_t)) + \Delta_T,
\end{equation}
where $\Delta_T = \sum_{t=1}^{T}\mathbb{E}[
\bar{c}_t^\top(\mathbb{E}[\hat{\pi}_t\mid\mathcal{F}_{t-1}]-\pi^*_t)]$
satisfies $|\Delta_T| \leq T\sup_t\|\bar{c}_t\|\cdot
\sup_t\|\mathbb{E}[\hat{\pi}_t\mid\mathcal{F}_{t-1}]-\pi^*_t\|$.
When the conditional policy mean condition holds, $\Delta_T = 0$ and identity (ref) is restored.
proof[Proof sketch]
Apply the covariance decomposition conditionally on $\mathcal{F}_{t-1}$, then use the law of total covariance to recover the unconditional per-period covariance; the remainder is $\Delta_T$. The bound follows from Cauchy-Schwarz period by period.
theorem[Discounted identity]
Under Assumption (ref)(a), Assumption (ref),
and discount factor $\gamma\in(0,1)$, the $\gamma$-discounted regret of a stationary policy $\hat{\pi}$ is
\begin{equation}
\operatorname{Regret}_\gamma(\hat{\pi})
= \frac{1}{1-\gamma}\operatorname{Cov}(c,\hat{\pi}(c)).
\end{equation}
proof[Proof sketch]
Each period contributes $r_t = \operatorname{Cov}(c,\hat{\pi}(c))$ by Theorem (ref); summing the geometric series
$\sum_{t=1}^\infty\gamma^{t-1}$ gives (ref).
Bellman Recursion for the Covariance Regret Functional
definition[Covariance regret-to-go]
For $t \leq T$, define
\begin{equation}
R_t(s_t) = \mathbb{E}\!\left[
\sum_{\tau=t}^{T} \gamma^{\tau-t}
\operatorname{Cov}(c_\tau,\hat{\pi}_\tau(c_\tau)\mid s_t)
\right].
\end{equation}
theorem[Bellman recursion for covariance regret]
Under Assumption (ref)(b) and
Assumption (ref), the covariance regret functional satisfies
\begin{equation}
R_t(s_t)
= \operatorname{Cov}(c_t,\hat{\pi}_t(c_t)\mid s_t)
+ \gamma\,\mathbb{E}\!\left[R_{t+1}(s_{t+1})\mid s_t\right],
\end{equation}
with terminal condition $R_{T+1}(\cdot)\equiv 0$.
proofExpand (ref):
\[
R_t(s_t)
= \mathbb{E}\!\left[\operatorname{Cov}(c_t,\hat{\pi}_t(c_t)\mid s_t)\right]
+ \gamma\,\mathbb{E}\!\left[
\sum_{\tau=t+1}^{T}\gamma^{\tau-t-1}
\operatorname{Cov}(c_\tau,\hat{\pi}_\tau(c_\tau)\mid s_t)
\right].
\]
The first term is $\operatorname{Cov}(c_t,\hat{\pi}_t(c_t)\mid s_t)$
(conditional covariance is $\mathcal{F}_t$-measurable).
By the Markov property, the second term equals
$\gamma\,\mathbb{E}[R_{t+1}(s_{t+1})\mid s_t]$,
giving (ref).
remark[Q-function analogy]
Equation (ref) is structurally identical to the
$Q$-function Bellman equation, with $c_t^\top z_t$ replaced by
$\operatorname{Cov}(c_t,\hat{\pi}_t(c_t)\mid s_t)$, so value
iteration, policy iteration, and fitted-$Q$ methods can all be
adapted to estimate $R_t$ from data without solving the original
optimization.
corollary[Policy improvement via covariance reduction]
Let $\hat{\pi}^{\mathrm{new}}_t$ satisfy
$\operatorname{Cov}(c_t,\hat{\pi}^{\mathrm{new}}_t(c_t)\mid s_t)
\leq \operatorname{Cov}(c_t,\hat{\pi}_t(c_t)\mid s_t)$ a.s.
Then $R^{\mathrm{new}}_t(s_t)\leq R_t(s_t)$ for all $t$ and $s_t$.
Pointwise covariance reduction implies multi-period regret improvement.
proposition[Computational complexity]
Suppose $\operatorname{Cov}(c_t,\hat{\pi}_t(c_t)\mid s_t)$ can be evaluated in $O(nd)$ time. The continuation value
$\mathbb{E}[R_{t+1}(s_{t+1})\mid s_t]$ is approximated by a
Monte Carlo average over $K$ next-state samples.
A single backward pass of (ref) over the full
horizon requires
\begin{equation}
O(T \cdot K \cdot nd)
\end{equation}
time and $O(T \cdot p)$ space.
In the black-box audit setting (Remark (ref)),
the $K$-sample continuation step is unnecessary. The cost reduces to $O(T \cdot nd)$. When $R_t$ is approximated by a linear function with $m$-dimensional features fitted by OLS on $N$ trajectory samples, the fitted-$Q$ cost is $O(T(Nm^2 + m^3 + N{\cdot}nd))$, collapsing to $O(T{\cdot}N{\cdot}nd)$ when $m \ll \sqrt{Nnd}$.
proofPer period: covariance evaluation costs $O(nd)$ (one $d\times n$
cross-moment matrix plus a trace); the Monte Carlo continuation costs $O(Kp)$ ($K$ state lookups at $O(p)$ each).
Summing over $T$ periods and using $p\ll nd$ in the audit setting gives (ref); the fitted-$Q$ bound follows immediately from $O(Nnd)$ feature construction plus $O(Nm^2+m^3)$ OLS per period.
remark[Audit and fitted-$Q$ costs]
In the black-box compliance setting (Remark (ref)),
the auditor observes $(c_t,\hat{\pi}_t(c_t))$ sequentially without simulating future states, reducing the backward pass to a forward accumulation of per-period covariances at $O(T{\cdot}nd)$ total cost --- for $T=252$ trading days and $d=n=100$ assets, $252\times10^4\approx 2.5\times10^6$ floating-point operations per cycle, well within real-time budgets.
The online update of the trajectory estimator (Remark (ref))
further reduces the marginal cost per new observation to $O(nd)$.
table[table omitted — 652 chars of source]
When Does the Identity Fail? Bias Analysis for
Time-Varying Policies
We characterize when the exact identity $\operatorname{Regret}^{(T)} = \sum_t \operatorname{Cov}(c_t,\hat{\pi}_t)$ fails and derive the resulting bias in closed form.
definition[Policy bias]
The period-$t$ policy bias is $b_t = \mathbb{E}[\hat{\pi}_t(c_t)] - \pi^*_t$.
theorem[Bias decomposition]
For any policy sequence $\Pi$ with per-period biases $\{b_t\}$,
\begin{equation}
\operatorname{Regret}^{(T)}(\Pi)
= \sum_{t=1}^{T}\operatorname{Cov}(c_t,\hat{\pi}_t(c_t))
+ \sum_{t=1}^{T}\bar{c}_t^{\top}b_t.
\end{equation}
The covariance sum underestimates true regret when $\bar{c}_t^{\top}b_t>0$
(policy biased toward high-cost decisions) and overestimates when $\bar{c}_t^{\top}b_t<0$.
proofWithout imposing Assumption (ref), apply the covariance
decomposition to each per-period regret:
\[
r_t
= \mathbb{E}[c_t^{\top}\hat{\pi}_t(c_t)] - \bar{c}_t^{\top}\pi^*_t
= \bar{c}_t^{\top}\mathbb{E}[\hat{\pi}_t] + \operatorname{Cov}(c_t,\hat{\pi}_t)
- \bar{c}_t^{\top}\pi^*_t
= \operatorname{Cov}(c_t,\hat{\pi}_t) + \bar{c}_t^{\top}b_t.
\]
Summing over $t$ yields (ref).
Momentum strategies illustrate the bias: setting
$\hat{\pi}_t(c_t) = c_{t-1}/\|c_{t-1}\|$ gives
$\mathbb{E}[\hat{\pi}_t] \propto \bar{c}_{t-1} \neq \pi^*_t \propto \bar{c}_t$,
so $b_t \neq 0$ whenever costs are autocorrelated.
proposition[Bias-corrected estimator]
Given observed trajectories $\{(c_t,\hat{\pi}_t(c_t))\}_{t=1}^T$,
the bias-corrected regret estimator is
\begin{equation}
\widehat{\operatorname{Regret}}^{(T)}
= \sum_{t=1}^{T}\widehat{\operatorname{Cov}}(c_t,\hat{\pi}_t(c_t))
+ \sum_{t=1}^{T}\hat{c}_t^{\top}\hat{b}_t,
\end{equation}
where $\hat{b}_t = \bar{\pi}_t - \hat{z}^*_t$,
$\bar{\pi}_t = N^{-1}\sum_{i=1}^{N}\hat{\pi}_t(c_t^{(i)})$ across
$N$ bootstrap replications, and $\hat{z}^*_t$ is a feasible reference
point.
This estimator is consistent under Assumption (ref)(b)
and the law of large numbers.
Markovian Cost Processes: Auto-Covariance Correction
When costs follow an AR(1) process, the per-period covariances
$\operatorname{Cov}(c_t,\hat{\pi}_t)$ are no longer independent across time. We derive the resulting cross-period correction in closed form.
assumption[AR(1) cost process]
$c_t = Ac_{t-1}+\varepsilon_t$, where $A\in\mathbb{R}^{d\times d}$ has spectral radius $\rho(A)<1$, $\{\varepsilon_t\}$ are i.i.d.\ with $\mathbb{E}[\varepsilon_t]=0$ and $\operatorname{Cov}(\varepsilon_t,
\varepsilon_t)=\Sigma_\varepsilon$, and $c_0$ is drawn from the
stationary distribution, so $c_t\sim(0,\Sigma_c)$ for all $t$, where $\Sigma_c = \sum_{k=0}^{\infty}A^k\Sigma_\varepsilon(A^k)^\top$
is the unique solution to the discrete Lyapunov equation
$\Sigma_c = A\Sigma_c A^\top+\Sigma_\varepsilon$.
remark[Zero-mean normalization]
Set $\bar{c}=0$ without loss of generality by absorbing the mean into the constraint set. The benchmark policy is fixed at an arbitrary feasible point $z^*\in\mathcal{Z}$; under zero-mean, $z^*=\mathbf{0}$ and the benchmark cost $\mathbb{E}[\bar{c}^\top z^*]=0$.
theorem[AR(1) multi-period regret]
Under Assumption (ref) with linear policy
$\hat{\pi}(c_t)=Bc_t+b$, $B\in\mathbb{R}^{n\times d}$,
$b\in\mathbb{R}^n$, and benchmark $z^*=\mathbf{0}$,
\begin{equation}
\operatorname{Regret}^{(T)}(\hat{\pi})
= T\cdot\operatorname{tr}(B\Sigma_c)
- \sum_{t=1}^{T}(T-t)\operatorname{tr}(BA^t\Sigma_c).
\end{equation}
proofPlease see the Appendix.
corollary[Sign of the AR(1) correction]
When $A\succeq 0$ and $B\succ 0$, every summand
$\operatorname{tr}(BA^t\Sigma_c)>0$ is negative, so the correction is also negative and $T\cdot\operatorname{tr}(B\Sigma_c)$ overestimates true regret (trending markets).
Conversely, when $\operatorname{tr}(BA^t\Sigma_c)<0$ for all $t\geq 1$ (e.g. $A=\rho I$, $\rho<0$, $B>0$), the correction is positive, and the raw sum underestimates true regret (mean-reverting markets).
proofImmediate from the sign of
$-\sum_{t=1}^T(T-t)\operatorname{tr}(BA^t\Sigma_c)$ and $T-t>0$
for all $t<T$.
example[Scalar mean-reverting execution costs]
Set $d=n=1$, $A=\rho\in(-1,0)$, $B=\alpha>0$, so
$\hat{\pi}(c_t)=\alpha c_t$ and $\Sigma_c=\sigma_\varepsilon^2/(1-\rho^2)$.
By (ref),
\[
\operatorname{Regret}^{(T)}(\hat{\pi})
= T\alpha\sigma_c^2
- \alpha\sigma_c^2\sum_{t=1}^{T}(T-t)\rho^t.
\]
As $T\to\infty$, $\sum_{t=1}^\infty(T-t)\rho^t\to -\rho/(1-\rho)^2$
(geometric series), the correction converges to
$\alpha\sigma_c^2\rho/(1-\rho)^2<0$ for $\rho<0$.
Multi-period regret therefore falls below the single-period benchmark $T\alpha\sigma_c^2$, confirming that contrarian execution is beneficial in mean-reverting markets.
landscape\begin{table}[t]
\caption{ Empirical results, 2016--2025.
AR(1): $\hat{\rho}$ estimated with Newey-West HAC SEs;
$^{*}p{<}0.10$, $^{**}p{<}0.05$, $^{***}p{<}0.01$.
Regret decomposition (Theorem 9.5, $T{=}252$):
raw covariance sum, AR(1) auto-covariance correction,
true regret, and relative bias (%).
Sharpe ratios (annualised, 21-day rolling window):
MOM = momentum; REV = reversion; BC = bias-corrected reversion; MV = minimum-variance.
Regret decomposition for $T \in \{21,63,126\}$ scales
proportionally; relative bias is horizon-invariant within each year (range: $-0.34\%$ to $-5.12\%$).
Five confounds bias $|\hat{\rho}|$ upward (size/SMB, bid-ask bounce, volatility clustering, cross-sectional vs.\ time-series momentum, liquidity provision jegadeesh2025shortterm, roll1984simple,
nagel2012evaporating, mamais2025explaining, dai2024reversals), so all regret figures are conservative upper bounds. }
\begin{threeparttable}
\begin{tabular}{
l
S[table-format=7.0]
S[table-format=1.4]
S[table-format=1.4]
S[table-format=-1.4]
S[table-format=1.4]
r
S[table-format=5.1]
S[table-format=-4.1]
S[table-format=5.1]
S[table-format=-1.2]
S[table-format=-1.3]
S[table-format=1.3]
S[table-format=1.3]
S[table-format=1.3]
}
\toprule
& & \multicolumn{2}{c}{Returns\tnote{a}} &
\multicolumn{3}{c}{AR(1)\tnote{b}} &
\multicolumn{4}{c}{Regret decomp.\ ($T{=}252$)\tnote{c}} &
\multicolumn{4}{c}{Sharpe ratio\tnote{d}} \\
\cmidrule(lr){3-4}\cmidrule(lr){5-7}\cmidrule(lr){8-11}\cmidrule(lr){12-15}
{Year} &
{$n$} &
{$\bar{\mu}$} &
{$\sigma$} &
{$\hat{\rho}$} &
{SE} &
&
{Raw cov} &
{Corr.} &
{True} &
{Bias%} &
{MOM} &
{REV} &
{BC} &
{MV} \\
\midrule
2016 & 1815131 & 0.0007 & 0.0386 & -0.0542 & 0.0084 & {***} & 3754.6 & -192.2 & 3946.9 & -4.87 & -0.038 & 0.221 & 0.217 & 0.029 \\
2017 & 1815502 & 0.0007 & 0.0316 & -0.0451 & 0.0088 & {***} & 2508.1 & -107.9 & 2616.0 & -4.12 & 0.046 & 0.292 & 0.289 & 0.144 \\
2018 & 1858283 & -0.0004 & 0.0351 & -0.0442 & 0.0070 & {***} & 3099.5 & -130.8 & 3230.3 & -4.05 & 0.014 & 0.138 & 0.134 & 0.009 \\
2019 & 1900827 & 0.0008 & 0.0347 & -0.0286 & 0.0053 & {***} & 3031.4 & -83.9 & 3115.3 & -2.69 & 0.111 & 0.122 & 0.127 & 0.147 \\
2020 & 1937784 & 0.0013 & 0.0546 & -0.0502 & 0.0039 & {***} & 7502.5 & -356.9 & 7859.4 & -4.54 & 0.261 & 0.217 & 0.232 & 0.427 \\
2021 & 2179370 & 0.0006 & 0.0372 & -0.0363 & 0.0037 & {***} & 3489.2 & -121.8 & 3611.0 & -3.37 & 0.060 & 0.190 & 0.189 & 0.038 \\
2022 & 2387105 & -0.0009 & 0.0413 & -0.0036 & 0.0028 & {*} & 4288.1 & -15.2 & 4303.3 & -0.35 & -0.028 & -0.102 & -0.104 & 0.062 \\
2023 & 2352579 & 0.0005 & 0.0513 & -0.0169 & 0.0034 & {***} & 6641.3 & -109.9 & 6751.2 & -1.63 & 0.164 & 0.018 & 0.028 & 0.239 \\
2024 & 2399293 & 0.0005 & 0.0499 & -0.0136 & 0.0069 & {**} & 6262.8 & -83.5 & 6346.3 & -1.32 & -0.096 & 0.071 & 0.063 & 0.035 \\
2025 & 2537499 & 0.0006 & 0.0554 & -0.0243 & 0.0041 & {***} & 7721.5 & -182.7 & 7904.2 & -2.26 & 0.042 & 0.219 & 0.220 & 0.079 \\
\midrule
All & 21183373 & 0.0004 & 0.0445 & & & &
& & & &
0.023 & 0.130 & 0.129 & 0.078 \\
\midrule
\multicolumn{7}{l}{2020 subsamples (NBER classification)} \\
\quad Expansion & 1468004 & & & -0.0146 & 0.0049 & {***} & & & & & & & & \\
\quad Contraction & 250035 & & & -0.0270 & 0.0113 & {**} & & & & & & & & \\
\quad Crisis & 219742 & & & -0.1436 & 0.0079 & {***} & & & & & & & & \\
\bottomrule
\end{tabular}
\begin{tablenotes}[flushleft]
• $\bar{\mu}$: mean daily return (decimal);
$\sigma$: std dev of daily returns (decimal).
• AR(1) estimated as $r_{i,t} = \hat{\rho}\,r_{i,t-1} + u_{i,t}$,
pooled cross-section; Newey-West HAC SEs,
bandwidth $h = \lfloor T^{1/3} \rfloor$.
All ADF tests reject $H_0$: unit root at $p < 0.0001$.
• Regret decomposition from Theorem 9.5, Eq. (23), at $T = 252$
trading days. “Corr.” = AR(1) auto-covariance correction;
“True” = raw cov + corr. = true regret;
Bias% = corr.\ / true regret $\times 100$.
Results at $T \in \{21, 63, 126\}$ scale proportionally;
relative bias is horizon-invariant within each year.
• Annualised Sharpe ratios, 21-day rolling window.
MOM: buy (sell) if prior day return positive (negative);
REV: opposite of MOM;
BC: reversion adjusted by $\tfrac{1}{4} \times$ bias correction
(avg.\ return / max std dev over prior 21 days);
MV: minimum-variance portfolio.
Reversion outperforms momentum in 7 of 10 years.
The 2020 anomaly (MOM Sharpe $0.261 >$ REV Sharpe $0.217$)
coincides with the crisis period ($\hat{\rho} = -0.144$,
$\sigma = 8.94\%$/day), where directional price dislocations temporarily rewarded trend-following before mean-reversion reasserted. Bias correction acts as insurance: small cost in most years,
material gain in 2019 and 2022.
\end{tablenotes}
\end{threeparttable}
\end{table}
The Audit Metric as a Measure of Liquidity Provision and Consumption
The covariance identity of Theorem (ref) is usually read as a performance diagnostic: $\operatorname{Cov}(c_t,\hat{\pi}_t)>0$ means the strategy incurs positive expected regret, and a compliance officer should care about how large that covariance is. This section shows that the same statistic has a second, independent interpretation: it is a model-free measure of net market liquidity demand. A positive covariance identifies the strategy as a liquidity consumer; a negative covariance identifies it as a liquidity provider; and the sign alone, observable from inputs and outputs without access to the internal optimizer, determines the role. This reinterpretation connects the audit framework to a large body of market-microstructure theory, yields a closed-form link between the AR(1) correction of Section (ref) and the Roll roll1984simple implied bid-ask spread, and provides an aggregate liquidity-balance condition whose violation characterizes the fire-sale episodes studied in Section (ref).
Liquidity Classification via the Audit Metric
We formalize the connection between the covariance statistic and
market-microstructure roles.
definition[Liquidity consumer and provider]
A policy $\hat{\pi}_t$ is a net liquidity consumer at period $t$ if $\operatorname{Cov}(c_t,\hat{\pi}_t(c_t))>0$, a
net liquidity provider if $\operatorname{Cov}(c_t,\hat{\pi}_t(c_t))<0$, and liquidity-neutral if the covariance is zero.
The definition is intentionally model-free: it requires only the
observable sequence $\{(c_t,\hat{\pi}_t(c_t))\}$ and imposes no
assumptions about whether the policy is momentum-based, contrarian, or otherwise. The next result shows that for linear policies, the sign of the audit metric is equivalent to the sign of the leading eigenvalue of the policy matrix $B$.
proposition[Audit metric sign and liquidity role]
Under Assumption (ref)(a) and linear policy
$\hat{\pi}_t(c_t)=Bc_t+b$, the audit metric satisfies
\begin{equation}
\operatorname{Cov}(c_t,\hat{\pi}_t(c_t))
\;=\;
\operatorname{tr}(B\Sigma_c).
\end{equation}
Therefore $\hat{\pi}_t$ is a net liquidity consumer whenever
$B\Sigma_c$ has a positive trace, and a net liquidity provider whenever $B\Sigma_c$ has a negative trace.
In particular:
\begin{enumerate}[label=(\roman*)]
• Momentum ($B=\alpha I$, $\alpha>0$):
$\operatorname{tr}(B\Sigma_c)=\alpha\operatorname{tr}(\Sigma_c)>0$.
Every momentum strategy is a liquidity consumer.
• Contrarian ($B=-\alpha I$, $\alpha>0$):
$\operatorname{tr}(B\Sigma_c)=-\alpha\operatorname{tr}(\Sigma_c)<0$.
Every contrarian strategy is a liquidity provider.
• Minimum-variance (Assumption (ref)
with $\mathbb{E}[\hat{\pi}_t]=\pi^*$):
$\operatorname{Cov}(c_t,\hat{\pi}_t)=0$ by Theorem (ref)
with zero regret. Minimum-variance is liquidity-neutral.
\end{enumerate}
proofSince $\mathbb{E}[c_t]=\bar{c}$ and $\mathbb{E}[\hat{\pi}_t]=B\bar{c}+b$,
we have $\operatorname{Cov}(c_t,\hat{\pi}_t)
=\mathbb{E}[(c_t-\bar{c})(B(c_t-\bar{c}))^{\top}]
=\mathbb{E}[\operatorname{tr}(B(c_t-\bar{c})(c_t-\bar{c})^{\top})]
=\operatorname{tr}(B\Sigma_c)$,
using the linearity of trace and $\Sigma_c
=\mathbb{E}[(c_t-\bar{c})(c_t-\bar{c})^{\top}]$.
Claims (i)--(iii) follow immediately.
remark[Interpretive alignment with Kyle (1985)]
In Kyle1985, informed traders demand liquidity by trading in the direction of their private signal; market makers supply liquidity by taking the opposite side. The present framework recovers this dichotomy from observable data alone:
$\operatorname{tr}(B\Sigma_c)>0$ means the strategy co-moves
with cost innovations (buys when prices rise, sells when prices
fall), which is the definition of a liquidity demander in the
Kyle model. $\operatorname{tr}(B\Sigma_c)<0$ means the strategy
counter-moves the market-maker's role (buys when prices fall, sells when prices rise). No knowledge of the agent's private information or internal optimizer is required: the audit statistic $\hat{C}_T$ (equation (ref)) performs the classification from prices and weights alone.
The Roll Spread and the AR(1) Correction
The connection between the audit metric and market liquidity deepens in the AR(1) setting of Section (ref). We show that the auto-covariance correction of Theorem (ref) equals a closed-form function of the roll1984simple implied bid-ask spread, turning the regret decomposition into a direct measure of liquidity-provision income.
definition[Roll implied spread]
Under the Roll roll1984simple bid-ask-bounce model, the
effective (half) spread for asset $k$ is $s_k = \sqrt{-\operatorname{Cov}(r_{k,t},r_{k,t-1})}$, where $r_{k,t}$ is the return of asset $k$ at time $t$. In the scalar AR(1) model of Example (ref), with $A=\rho<0$ and stationary variance
$\sigma_c^2 = \sigma_\varepsilon^2/(1-\rho^2)$, the Roll formula gives
\begin{equation}
s
\;=\;
\sigma_c\sqrt{-\rho}
\;\approx\;
\sigma_c\sqrt{|\hat{\rho}|},
\end{equation}
where the approximation uses $1-\rho^2\approx 1$ for
$|\rho|\ll 1$.
theorem[AR(1) correction equals liquidity-provision income]
Under the scalar AR(1) model of Example (ref) with
$\rho\in(-1,0)$, contrarian policy $\hat{\pi}(c_t)=-\alpha c_t$ ($\alpha>0$), and Roll spread $s=\sigma_c\sqrt{-\rho}$, the per-period AR(1) auto-covariance correction satisfies
\begin{equation}
Correction per period
\;=\;
-\alpha\sigma_c^2\rho
\;=\;
\alpha s^2,
\end{equation}
so the total AR(1) correction over $T$ periods equals
\begin{equation}
\sum_{t=1}^T (T-t)\,\mathrm{Correction}_t
\;=\;
\alpha s^2 \cdot \frac{\rho}{(1-\rho)^2}\cdot T
\quad(T\to\infty),
\end{equation}
which is proportional to the product of strategy size $\alpha$,
the squared Roll spread $s^2$, and the horizon $T$.
proofFrom Theorem (ref) with $d=n=1$, $B=-\alpha$,
$\Sigma_c=\sigma_c^2$:
$\text{Correction per period}=-(-\alpha)\sigma_c^2\rho=\alpha\sigma_c^2(-\rho)$.
By Definition (ref), $s^2=\sigma_c^2(-\rho)$,
giving (ref).
The long-horizon sum follows from
$\sum_{t=1}^T(T-t)\rho^t\to T\rho/(1-\rho)^2$ as $T\to\infty$
(geometric series, $|\rho|<1$), giving (ref).
remark[Economic interpretation]
Equation (ref) has a clear economic interpretation. A contrarian strategy of size $\alpha$ earns the bid-ask spread $s$ each time it fills a market order on the opposite side. The expected income per fill is $\alpha s$ (size times spread); the expected number of profitable fills per period is $s/\sigma_c = \sqrt{-\rho}$ (since $\rho$ measures serial dependence, and each unit of serial dependence represents one exploitable price reversal). The product is $\alpha s^2/\sigma_c^2\cdot\sigma_c^2 = \alpha s^2$, consistent with (ref). This provides a market-microstructure foundation for the sign of the AR(1) correction: the correction is positive for contrarian strategies precisely because they earn the spread, and it vanishes as $\rho\to 0$ (2022 rate-shock episode) precisely because the Roll spread collapses when bid-ask bounce disappears.
Theorem (ref) also provides a simple
empirical formula for translating the AR(1) coefficient directly
into a spread estimate.
corollary[Spread-implied regret correction]
Let $\hat{s}_k = \hat{\sigma}_{c,k}\sqrt{|\hat{\rho}_k|}$ be the
Roll spread estimated from CRSP returns for asset $k$. The total AR(1) correction to the regret decomposition is
\begin{equation}
\widehat{Correction}^{(T)}
\;=\;
\alpha \sum_{k=1}^d \hat{s}_k^2
\cdot
\frac{|\hat{\rho}|}{(1-\hat{\rho})^2}\cdot T,
\end{equation}
computable from the same observable inputs as the trajectory
estimator $\hat{C}_T$ at no additional cost. Using the 2016--2025 CRSP estimates of Table (ref),
$\hat{s}$ ranges from $\hat{\sigma}_c\sqrt{0.004}$ (2022, $\approx 0.25\%$/day) to $\hat{\sigma}_c\sqrt{0.144}$ (COVID crisis, $\approx 1.51\%$/day), confirming that the AR(1) correction is a direct proxy for market illiquidity. The AR(1) correction is smallest when markets are deep (2022, despite rate-shock stress) and largest when microstructure breaks down (COVID Q2 2020).
Endogenous Price Impact and Effective Regret
The Roll model captures bid-ask bounce but treats prices as
exogenous. We now allow the agent's own trades to move prices,
introducing endogenous price impact in the spirit of
Kyle1985 and almgren2001optimal.
assumption[Linear temporary price impact]
When agent $i$ submits order $z_t\in\mathbb{R}^n$, the effective
execution cost per unit is $c_t + \Lambda z_t$, where
$\Lambda\in\mathbb{R}^{n\times n}$, $\Lambda\succ 0$, is a
symmetric price-impact matrix. The effective cost incurred is
$(c_t+\Lambda z_t)^{\top}z_t = c_t^{\top}z_t + z_t^{\top}\Lambda z_t$.
theorem[Effective regret under price impact]
Under Assumption (ref), linear policy
$\hat{\pi}_t(c_t)=Bc_t$, and Assumption (ref),
the effective regret over $T$ periods is
\begin{equation}
\mathrm{Regret}_{\mathrm{eff}}^{(T)}
\;=\;
\underbrace{
T\cdot\operatorname{tr}(B\Sigma_c)
}_{covariance regret}
\;+\;
\underbrace{
T\cdot\operatorname{tr}(\Lambda BB^{\top}\Sigma_c)
}_{price-impact regret},
\end{equation}
where the first term is the standard audit metric
(Theorem (ref)) and the second is the additional
welfare loss from market impact.
proofPer-period effective cost:
$\mathbb{E}[(c_t+\Lambda\hat{\pi}_t)^{\top}\hat{\pi}_t]
= \mathbb{E}[c_t^{\top}\hat{\pi}_t]
+ \mathbb{E}[\hat{\pi}_t^{\top}\Lambda\hat{\pi}_t]$.
The first term equals $\bar{c}^{\top}\pi^* +
\operatorname{tr}(B\Sigma_c)$ by Theorem (ref).
For the second, $\mathbb{E}[\hat{\pi}_t^{\top}\Lambda\hat{\pi}_t]
= \mathbb{E}[\operatorname{tr}(\Lambda\hat{\pi}_t\hat{\pi}_t^{\top})]
= \operatorname{tr}(\Lambda\mathbb{E}[Bc_tc_t^{\top}B^{\top}])
= \operatorname{tr}(\Lambda BB^{\top}\Sigma_c)$
under zero mean.
Summing over $T$ and subtracting the benchmark
$T\bar{c}^{\top}\pi^*$ gives (ref).
remark[Separability of audit and impact terms]
Equation (ref) shows that covariance regret and price-impact regret are additively separable. A compliance officer who observes $(c_t, \hat{\pi}_t)$ and knows the impact matrix $\Lambda$ can estimate both terms from the trajectory estimator $\hat{C}_T$ (for the first term) and
$T^{-1}\sum_t\hat{\pi}_t^{\top}\Lambda\hat{\pi}_t$ (for the
second) at $O(T\cdot n^2)$ total cost.
When $\Lambda$ is not directly observable, the Roll spread
estimate of Corollary (ref) provides a
lower bound on $\Lambda$ under the diagonal-impact approximation
$\Lambda\approx\mathrm{diag}(s_k^2/\sigma_{c,k}^2)$.
Aggregate Liquidity Balance and Market Fragility
The single-agent results aggregate cleanly to a
market-wide liquidity balance condition: for prices to clear, the net demand for liquidity across all agents must sum to zero. When it does not, prices must adjust until it does, producing the market impact that generates fire sales.
definition[Net market liquidity demand]
Given $N$ agents with observable policies, the net market liquidity
demand at period $t$ is
\begin{equation}
\mathcal{L}_t
\;=\;
\sum_{i=1}^N \operatorname{Cov}(c_t^i,\hat{\pi}_t^i(c_t^i))
\;=\;
\sum_{i=1}^N \operatorname{tr}(B_i\Sigma_c^i).
\end{equation}
The market is in liquidity balance at $t$ if $\mathcal{L}_t=0$: aggregate liquidity provision exactly offsets aggregate liquidity consumption.
proposition[Liquidity balance and welfare equivalence]
If $\mathcal{L}_t=0$ for all $t$, then aggregate regret equals zero and the $N$-agent equilibrium is welfare-equivalent to the social planner's optimum. If $\mathcal{L}_t>0$ (net consumption), aggregate regret is positive; if $\mathcal{L}_t<0$ (net provision), the equilibrium over-provides liquidity relative to the optimum.
proofUnder the factor model of Assumption (ref) and symmetric agents, $\mathrm{Regret}_{\mathrm{agg}}^{(T)}
= T\mathcal{L}_t\cdot M(N,\rho_{\mathrm{sys}})$ from
Corollary (ref). Setting $\mathcal{L}_t=0$ gives zero
aggregate regret. The sign claims follow from
$M(N,\rho_{\mathrm{sys}})\geq 1$.
corollary[Fire sales as liquidity-balance failure]
Under perfect strategy correlation ($\rho_{\mathrm{sys}}\to 1$),
all agents classify as net liquidity consumers
($\mathcal{L}_t = N\cdot\operatorname{tr}(B\Sigma_c) > 0$) or
net liquidity providers simultaneously. There exists no
endogenous counterpart to restore balance, so prices must
adjust by $\Lambda Z_t^{\mathrm{agg}}$ to absorb the aggregate
order flow. The resulting effective regret satisfies
\begin{equation}
\mathrm{Regret}_{\mathrm{eff,agg}}^{(T)}
\;=\;
N^2\cdot T\cdot\operatorname{tr}(B\Sigma_c)
\;+\;
N^2\cdot T\cdot\operatorname{tr}(\Lambda BB^{\top}\Sigma_c),
\end{equation}
which is equation (ref) augmented by the fire-sale
impact term. Both components scale as $N^2$, so price impact
and strategy correlation amplify each other.
Empirical Calibration: Spread, Impact, and
Fragility
Table (ref) reports the Roll implied spread
$\hat{s}$ and its connection to the AR(1) correction and fragility multiplier for the 2016--2025 CRSP sample, using
equation (ref).
For each year we compute $\hat{s}=\hat{\sigma}_c\sqrt{|\hat{\rho}|}$ where $\hat{\sigma}_c$ and $\hat{\rho}$ are taken from Table (ref).
table[table omitted — 1,270 chars of source]
Three observations stand out. First, $\hat{s}$ and the bias
percentage move nearly in lockstep across years: the Roll spread is a sufficient statistic for the size of the AR(1) correction, as predicted by Theorem (ref). Second, the COVID crisis Q2 2020 row shows that a tripling of the Roll spread ($0.90\%$ in 2016 to $2.52\%$ in crisis) corresponds to a tripling of the fragility multiplier and a four-fold increase in the bias percentage (compared to a typical pre-COVID year). Third, 2022 is exceptional in both dimensions: the Roll spread ($0.25\%$/day) and fragility multiplier ($1.4\times$) are the lowest in the sample, confirming the "signal-collapse" reading of Section (ref): the rate shock compressed
bid-ask spreads and strategy correlations simultaneously, producing a regime where neither the audit metric nor the fragility multiplier provides useful guidance. The structural shift in the cost process $c_t$ is the operative force, not microstructure.
remark[Implementation for liquidity-adjusted auditing]
A compliance officer implementing the liquidity-adjusted audit
proceeds as follows. In each period $t$: (1) compute the per-period covariance $\hat{C}_t = (c_t-\bar{c})^{\top}(\hat{\pi}_t-\bar{\pi})$ (existing estimator); (2) compute the Roll spread update $\hat{s}_t^2 = \hat{\sigma}_{c,t}^2|\hat{\rho}_t|$ from the Newey-West AR(1) rolling estimate; (3) sign-classify the strategy as a liquidity consumer ($\hat{C}_t>0$), provider ($\hat{C}_t<0$), or neutral ($\hat{C}_t\approx 0$); and (4) report the liquidity-adjusted regret
$\hat{C}_T^{\mathrm{eff}}=\hat{C}_T + T\cdot\operatorname{tr}(\hat{\Lambda}\hat{B}\hat{B}^{\top}\hat{\Sigma}_c)$
where $\hat{\Lambda}$ is estimated from the Roll spread.
The entire procedure is $O(T\cdot nd)$, adds no computational
overhead relative to the existing estimator (Proposition (ref)), and is compatible with SR 11-7 / SR-26-2 reporting.
Financial Applications
Rolling-window portfolio rebalancing
A manager rebalancing daily using a $w$-day rolling window applies the policy $\hat{\pi}_t(c_t)=\hat{\Sigma}_t^{-1}\hat{\mu}_t /
(\mathbf{1}^\top\hat{\Sigma}_t^{-1}\hat{\mu}_t)$, where $\hat{\mu}_t$ and $\hat{\Sigma}_t$ are sample moments from the most recent $w$ observations.
For i.i.d.\ returns with $d$ assets and $w>d+1$, the per-period policy bias satisfies $\|b_t\| = O(d/w)$ and the raw covariance sum approximates true regret with relative error $O(d/w)$, vanishing as $w/d\to\infty$ ledoit2004well.
Three regimes determine which estimator to use: $w\geq 10d$ (raw
covariance sum reliable); $d<w<10d$ (use bias-corrected estimator, Proposition (ref)); $w\leq d$ ($\hat{\Sigma}_t$ rank-deficient, regularization required before any regret estimate is meaningful).
For a typical institutional setting ($T=252$, $d=100$, $w=60$), the portfolio falls in the third regime and $\hat{\Sigma}_t$ must be regularized (e.g., Ledoit-Wolf shrinkage ledoit2004well or factor-model reduction to $d'\leq 60$ latent factors) before applying the decomposition.
Mean-reverting execution costs
In algorithmic execution, market impact is mean-reverting
($c_t=\rho c_{t-1}+\varepsilon_t$, $\rho\in(-1,0)$);
the execution policy allocates $\hat{\pi}_t(c_t)=\alpha c_t$
to exploit temporary mispricings.
example[Execution cost regret]
For $\rho<0$ and $\hat{\pi}_t(c_t)=\alpha c_t$,
Theorem (ref) gives
\[
\operatorname{Regret}^{(T)}(\hat{\pi})
= T\alpha\operatorname{tr}(\Sigma_c)
- \alpha\operatorname{tr}(\Sigma_c)
\sum_{t=1}^{T}(T-t)\rho^t.
\]
As $T\to\infty$ and $|\rho|<1$, the correction converges to
$-\alpha\operatorname{tr}(\Sigma_c)\rho/(1-\rho)^2>0$ for $\rho<0$,
so multi-period regret falls below the single-period benchmark
$T\alpha\operatorname{tr}(\Sigma_c)$: contrarian execution is
welfare-improving in mean-reverting markets.
Multi-Period Regret Estimation from Observed Trajectories
The trajectory covariance estimator
Given a single observed trajectory $\{(c_t,\hat{\pi}_t(c_t))\}_{t=1}^T$,
the natural estimator of the sum-of-covariances is
equation[equation omitted — 240 chars of source]
theorem[CLT for the trajectory estimator]
Under Assumption (ref)(c), with $\{c_t^\top\hat{\pi}_t(c_t)
- \mathbb{E}[c_t^\top\hat{\pi}_t(c_t)]\}$ an $L^2$-mixingale,
as $T\to\infty$,
\begin{equation}
\frac{1}{\sqrt{T}}\!\left(
\hat{C}_T - \sum_{t=1}^{T}\operatorname{Cov}(c_t,\hat{\pi}_t(c_t))
\right)
\xrightarrow{d} \mathcal{N}(0,\sigma^2_{\mathrm{LRV}}),
\end{equation}
where $\sigma^2_{\mathrm{LRV}}$ is the long-run variance of
$c_t^\top\hat{\pi}_t(c_t)$, consistently estimated by a Newey-West HAC estimator with bandwidth $h=O(T^{1/3})$.
proof$\hat{C}_T$ is a sample average of the de-meaned products
$\xi_t=(c_t-\bar{c})^\top(\hat{\pi}_t-\bar{\pi})$.
Under the mixingale condition, the CLT of mcleish1975maximal applies, yielding (ref) with
$\sigma^2_{\mathrm{LRV}}=\lim_{T\to\infty}T^{-1}
\operatorname{Var}(\sum_t c_t^\top\hat{\pi}_t(c_t))$.
proposition[Computational complexity and end-to-end audit cost]
The estimator (ref) and its Newey-West HAC variance with
bandwidth $h=\lfloor T^{1/3}\rfloor$ can be computed in
\begin{equation}
O(T\cdot nd)
\end{equation}
time and $O(T(n+d))$ space.
A complete regulatory audit comprising (ref), the HAC
confidence interval (ref), and the bias correction of
Proposition (ref) costs $O(T\cdot nd)$ total time and $O(T(n+d))$ space, with no access to the internal optimization engine required.
proofPlease see the proof in the Appendix.
remark[Online update]
$\hat{C}_T$ admits an $O(nd)$ online update per new observation
$(c_{T+1},\hat{\pi}_{T+1})$ via Welford's algorithm
welford1962note, retaining only the $h=O(T^{1/3})$ most recent scalar products $\xi_t$ for the HAC window.
Confidence intervals
A $(1-\alpha)$ confidence interval for total regret is
equation[equation omitted — 206 chars of source]
where $\hat{\sigma}_{\mathrm{LRV}}$ is the square root of any consistent HAC variance estimator (e.g., Newey-West with $h=\lfloor T^{1/3}\rfloor$ lags).
remark[Sample complexity]
By (ref), the half-width of (ref) is
$z_{1-\alpha/2}\,\sigma_{\mathrm{LRV}}/\sqrt{T}$, so
$T = O(\sigma^2_{\mathrm{LRV}}/\varepsilon^2)$ observations suffice to estimate cumulative regret within $\varepsilon$ at level $1-\alpha$.
remark[Black-box monitoring implementation]
The estimator (ref) requires only the observable sequence $\{(c_t,\hat{\pi}_t(c_t))\}$, not access to the internal optimization engine. For a portfolio manager monitoring a third-party algorithmic strategy under SR 11-7 or SR-26-2, one observes the factor return vector $c_t$ and the weight vector $\hat{\pi}_t$, computes $\hat{C}_T$ daily with a Newey-West correction for autocorrelation, and reports the confidence interval (ref) as the performance audit metric. The total monitoring cost is $O(Td)$ per evaluation period.
Empirical Analysis: Regret Decomposition Across Financial Fragility Episodes
Financial fragility does not distribute evenly across time.
Mean-reversion, momentum, and the welfare gap between them wax and wane with market-wide liquidity conditions. This section examines the CRSP-based data evidence through that lens. We show
that the AR(1) autocorrelation coefficient $\hat{\rho}$ is not merely a statistical nuisance parameter to be corrected for: it is a real-time fragility signal that compresses toward zero when market microstructure breaks down, spikes in absolute value during liquidity crises, and, through the bias-corrected regret decomposition of Theorem (ref), produces a welfare-loss measure that anticipates strategy failure before Sharpe ratios do.
We organize the empirical evidence around three episodes that the 2016--2025 sample straddles: (i) a sequence of
normal-market years (2016--2019, 2021, 2023--2025) in which mean-reversion is consistent and can be readily monetized; (ii) the COVID-19 liquidity crisis of 2020, in which a brief period of momentum dominance interrupts sustained reversion and the fragility multiplier of Section (ref) nearly doubles; and (iii) the rate-shock episode of 2022, in which the Federal
Reserve's fastest hiking cycle in four decades collapses $\hat{\rho}$ to near zero, disabling both mean-reversion and momentum and producing the only calendar year in the sample where all four strategies post negative or near-zero risk-adjusted returns.
Data and Estimation Strategy
We use CRSP daily stock returns (WRDS DSI) from January 4, 2016,
through December 31, 2025, comprising $n = 21{,}183{,}373$ stock-day observations ($\bar{\mu} = 0.041\%$/day,
$\bar{\sigma} = 4.446\%$/day). The momentum signal is a binary price-direction indicator: buy if $R_{t-1}>0$, sell otherwise.
For each calendar year, we estimate the pooled AR(1) coefficient
equation[equation omitted — 81 chars of source]
by OLS with Newey-West HAC standard errors (bandwidth
$h=\lfloor T^{1/3}\rfloor$). All ADF tests reject the unit root at $p<0.0001$. We compute the regret decomposition of Theorem (ref) at horizon $T=252$ and report annualized Sharpe ratios on a 21-day rolling window for four strategies: momentum (MOM), reversion (REV), bias-corrected reversion (BC), and minimum-variance (MV). NBER business-cycle classifications partition the 2020 sample into Expansion (January--February), Contraction (March), and Crisis (April--June).
Normal-Market Baseline (2016--2019, 2021, 2023--2025)
Outside the two fragility episodes, the data are remarkably uniform. AR(1) coefficients lie in the range $\hat{\rho}\in[-0.054,-0.013]$ across eight calendar years, all
significant at $p<0.05$ or better. The AR(1) auto-covariance
correction consistently reduces the raw covariance sum, with relative bias ranging from $-1.32\%$ (2024) to $-4.87\%$ (2016).
The reversion strategy outperforms momentum in every normal-market year, with full-sample Sharpe ratios of $0.130$ and $0.023$ respectively.
These results confirm the diagnostic-sufficiency conclusion of
Section (ref): monitoring the per-period sample
covariance $\widehat{\operatorname{Cov}}(c_t,\hat{\pi}_t)$ is
sufficient to track multi-period performance across the full
normal-market subsample. The bias correction matters in magnitude ($1\%$--$5\%$ of true regret), but not in sign or direction: in stable conditions, the estimator is conservative in the right direction, and no year crosses the threshold at which the raw sum materially misleads a compliance officer.
The minimum-variance strategy exhibits the lowest volatility
throughout, consistent with Assumption (ref) holding exactly for mean-unbiased policies (bias correction $\approx 0$) and with the known variance-reduction properties of Ledoit-Wolf shrinkage ledoit2004well.
Financial Fragility Episode I: COVID-19 Liquidity
Crisis (2020)
The year 2020 is the single outlier in a decade of consistent
mean-reversion, and it is an outlier precisely because it contains a textbook financial fragility episode.
\paragraph{Anatomy of the reversal.}
Table (ref) decomposes the 2020 annual AR(1) estimate ($\hat{\rho}=-0.050$, SE $= 0.004$) into three NBER sub-periods. In the expansion phase (January--February, $n=468{,}004$ stock-days), mean-reversion operates normally at
$\hat{\rho}=-0.0146$. As pandemic news and repo-market stress
materialize in March (contraction, $n=250{,}035$), $\hat{\rho}$
doubles in absolute value to $-0.0270$. During the April--June
crisis phase ($n=219{,}742$), $\hat{\rho}$ spikes to $-0.1436$. This is a tenfold amplification relative to expansion and the largest single-quarter reversal in the full 2016--2025 sample.
table[table omitted — 913 chars of source]
\paragraph{The momentum anomaly and its interpretation.}
The full-year 2020 Sharpe ratio for momentum ($0.261$) exceeds that of reversion ($0.217$), the only such inversion in the sample. The mechanism is temporal: March 2020 saw a directional, cross-asset collapse that rewarded trend-following strategies precisely because prices were not mean-reverting. The prices were being set by forced liquidation and margin calls rather than by informed trading. This is the fire-sale mechanism formalized in Remark (ref): aggregate positions became correlated, price impact overwhelmed idiosyncratic reversion, and the mean-reversion signal went dark for six to eight weeks.
Consistent with this interpretation, the bias correction identifies the anomaly in advance. The BC Sharpe ratio for 2020 ($0.232$) exceeds the raw REV Sharpe ($0.217$): the bias-corrected estimator correctly down-weights the reversion signal during the contraction phase, when $|\hat{\rho}|$ is rising but has not yet dominated. The BC strategy, by scaling the reversion allocation by $14\times$ the bias correction (see Table (ref) note d), reduces exposure as the fragility multiplier $M(N,\rho_{\mathrm{sys}})$ rises from $18.8\times$ to $32.7\times$ between January and March.
\paragraph{Regret decomposition during crisis.}
The true annual regret for 2020 is $7{,}859$, against a raw
covariance sum of $7{,}503$: the AR(1) correction accounts for
$-357$ units, the largest absolute correction in the sample.
As $\hat{\rho}$ spikes to $-0.144$ in the crisis quarter, the
auto-covariance correction of Theorem (ref) grows
proportionally to $|\hat{\rho}|$, generating a correction that is
$4.54\%$ of true regret at the annual horizon but would be $\sim
15\%$--$20\%$ at the quarterly ($T=63$) horizon when computed
over the crisis sub-period alone. This is a direct empirical
illustration of Corollary (ref): in mean-reverting
markets, the raw covariance sum underestimates true regret, and the bias grows as the degree of mean-reversion intensifies. An auditor relying solely on the raw covariance sum during Q2 2020 would have systematically understated strategy-specific welfare losses by one-fifth, precisely the period when regulatory attention was most acute.
Financial Fragility Episode II: Rate-Shock Breakdown
(2022)
The 2022 fragility episode is structurally distinct from 2020. Where COVID produced a liquidity-driven spike in mean-reversion, the Fed's 425-basis-point hiking cycle produced a
structural collapse of the reversion signal.
\paragraph{Near-zero autocorrelation.}
The 2022 annual AR(1) estimate is $\hat{\rho}=-0.0036$
(SE $=0.0028$, $p<0.10$), the smallest absolute value in the
decade and an order of magnitude below the 2016--2021 average of
$\hat{\rho}\approx -0.045$. This near-zero autocorrelation has a
natural structural explanation: rising interest rates repriced
virtually every asset class simultaneously and persistently across 2022, generating a sustained directional drift that overwhelmed the short-horizon reversion dynamics that dominate in mean-stationary environments. Formally, the AR(1) coefficient
$\rho$ measures the sign persistence of idiosyncratic price
innovations; when a common factor (rates) drives persistent
cross-sectional co-movement, the idiosyncratic component
$\hat{\rho}$ compresses toward zero.
\paragraph{Strategy failure.}
All four strategies underperform in 2022. The MOM Sharpe ratio is $-0.028$; REV posts $-0.102$; BC $-0.104$; MV $+0.062$.
Notably, the bias correction provides no rescue in this episode:
BC ($-0.104$) is marginally worse than raw REV ($-0.102$)
because near-zero $\hat{\rho}$ produces a near-zero bias correction term $\bar{c}^{\top}b_t$ in equation (ref), leaving the allocator fully exposed to the directional rate shock with no compensating upward revision.
This is not a failure of the estimator, but a correct signal. When $\hat{\rho}\to 0$, the system has exited the mean-reverting regime entirely; the regret decomposition faithfully reports that no reversion-based strategy can generate positive covariance-adjusted returns. The minimum-variance portfolio, which is regime-agnostic by construction (it targets $\operatorname{Cov}(c_t,\hat{\pi}_t)=0$
by Assumption (ref)), is the only strategy that
survives 2022 with a positive Sharpe ratio, providing a natural
"fragility hedge" benchmark consistent with the zero-bias
prediction of Theorem (ref).
\paragraph{Regret bias in 2022.}
The raw covariance sum is $4{,}288$ and the AR(1) correction is
merely $-15$, yielding a relative bias of $-0.35\%$. This is the smallest bias in the sample, reflecting the near-zero $\hat{\rho}$. This means that in 2022, the raw covariance sum is essentially a sufficient statistic for true regret: the absence of autocorrelation removes the need for any dynamic correction. Paradoxically, the year in which the regret decomposition is most straightforward to apply is also the year in which no strategy benefits from it, because the regime that generates exploitable covariance structure has temporarily ceased to operate.
The Regret Decomposition as a Fragility Diagnostic
Taken together, the three empirical regimes, namely normal-market, COVID crisis, and rate-shock breakdown, reveal a consistent pattern that we formalize as follows.
\paragraph{$\hat{\rho}$ as a regime indicator.}
Define three regimes by the value of the rolling AR(1) coefficient:
enumerate[label=(\roman*)]
• Mean-reversion regime ($|\hat{\rho}|>0.03$,
all years except 2022--2024): short-horizon return reversals
dominate, the bias correction reduces raw regret estimates by $1\%$--$5\%$, and the reversion strategy posts positive
risk-adjusted returns.
• Fragility-spike regime ($|\hat{\rho}|>0.10$,
COVID crisis Q2 2020): liquidity evaporation amplifies
idiosyncratic price moves, mean-reversion accelerates, the AR(1) correction grows proportionally, and the systemic fragility multiplier $M(N,\rho_{\mathrm{sys}})$ reaches $60\times$ for $N=100$ correlated agents.
• Signal-collapse regime ($|\hat{\rho}|<0.01$,
rate-shock 2022): a persistent common-factor drift overwhelms idiosyncratic reversion, $\hat{\rho}\to 0$, the bias correction vanishes, and all mean-reversion strategies underperform.
\paragraph{Early-warning properties.}
The bias-corrected estimator (ref) functions as an early-warning signal in regime (ii). In the 2020 contraction phase (March), $|\hat{\rho}|$ rises from $0.015$ to $0.027$ and the BC strategy reduces its reversion allocation, posting a Sharpe ratio of $0.232$ versus $0.217$ for raw REV over the full year. This $0.015$ Sharpe improvement is small for normal markets, but is equivalent to avoiding approximately one-quarter of the under-performance that an uncorrected reversion strategy accumulates during the March
contraction before mean-reversion reasserts in April.
In regime (iii), by contrast, the bias correction correctly signals its own irrelevance: $\hat{\rho}\approx 0$ means the correction term is negligible, and no dynamic adjustment to the reversion allocation can rescue a strategy from a structural regime shift. A compliance officer using $\hat{F}_T$ (Definition (ref)) alongside $\hat{\rho}$ would observe both indicators simultaneously: rising $\hat{F}_T$ warns of fragility-spike risk (regime ii);
$\hat{\rho}\to 0$ warns of signal-collapse risk (regime iii). These are complementary, not redundant, fragility indicators.
\paragraph{Horizon invariance.}
At horizons $T\in\{21,63,126\}$, the relative bias
$\Delta_T / \mathrm{Regret}^{(T)}_{\mathrm{true}}$ is
horizon-invariant within each calendar year (range: $-0.34\%$
to $-5.12\%$), as predicted by Corollary (ref). This means the fragility diagnostic is equally informative at monthly, quarterly, and semi-annual review horizons, satisfying the "forward-looking" mandate of SR 11-7 across all standard
regulatory time-scales.
Robustness
Five confounds bias $|\hat{\rho}|$ upward: (i) size/SMB effects
jegadeesh2025shortterm; (ii) bid-ask bounce roll1984simple; (iii) volatility clustering engle1982autoregressive; (iv) cross-sectional versus time-series momentum mamais2025explaining; and
(v) liquidity-provision dynamics nagel2012evaporating. All regret figures in Tables (ref) and (ref) are therefore conservative upper bounds on the welfare loss attributable to strategy mis-specification.
The primary directions for resolving these confounds are Fama-French five-factor residuals fama2015five and roll1984simple bid-ask correction. Both are feasible on the CRSP/WRDS data used here and are identified as the main extensions for follow-on empirical work. Importantly, the theoretical decompositions of Theorems (ref), (ref), and the systemic extension of Theorem (ref) hold exactly under
Assumption (ref) regardless of the empirical source of $\hat{\rho}$; reducing the upward bias in $|\hat{\rho}|$ would tighten the reported regret bounds, not overturn the fragility-episode narrative.
The regime-switching interpretation of Section (ref) is robust to the confounds in a further sense: all five sources of upward bias in $|\hat{\rho}|$ are persistent across years, yet the regime variation we document (near-zero in 2022, spiking in Q2
2020) is orthogonal to any slowly-varying confound. Bid-ask bounce, size effects, and volatility clustering do not selectively disappear in 2022 or spike in April--June 2020. The rate-shock and COVID fragility patterns survive any correction that is approximately stationary across the sample.
Systemic Risk Extension: Correlated AI Strategies and Financial Fragility
The preceding analysis audits a single algorithmic agent in isolation. This section shows why that is insufficient for financial stability purposes. When $N$ agents independently satisfy the individual audit criterion of Theorem (ref), the aggregate economy can nonetheless exhibit unbounded fragility. The mechanism is strategy correlation: policies that respond to common cost factors create a quadratic amplification of aggregate regret that no
per-agent audit detects.
Setup: $N$-Agent Economy with Common Factors
Let $N$ agents operate simultaneously. Agent $i\in\{1,\ldots,N\}$ faces cost vector $c_t^i\in\mathbb{R}^d$ and chooses allocation $z_t^i\in\mathbb{R}^n$ under policy $\hat{\pi}_t^i$. Costs share a common-factor structure.
assumption[Factor cost structure]
For each agent $i$,
\[
c_t^i \;=\; \Lambda_i f_t + \eta_t^i,
\]
where $f_t\in\mathbb{R}^K$ is a common factor vector (e.g.\ market excess returns, credit spreads, or interest-rate shocks) with $\mathbb{E}[f_t]=0$ and $\operatorname{Cov}(f_t,f_t)=\Sigma_f$; $\Lambda_i\in\mathbb{R}^{d\times K}$ is agent $i$'s factor-loading matrix; and $\eta_t^i\in\mathbb{R}^d$ is idiosyncratic noise with
$\mathbb{E}[\eta_t^i]=0$, $\operatorname{Cov}(\eta_t^i,(\eta_t^j)^{\top})=\sigma_\eta^2 I\cdot\mathbf{1}\{i=j\}$, and $\eta_t^i\perp f_t$ for all $i,t$. The idiosyncratic components are cross-sectionally independent.
definition[Aggregate allocation and social benchmark]
The aggregate allocation is $Z_t^{\mathrm{agg}}=\sum_{i=1}^N z_t^i$. The social planner's benchmark minimizes the sum of conditional mean costs:
\[
\pi_t^{*,\mathrm{SP}}
\;\in\;
\operatorname*{arg\,min}_{z^1,\ldots,z^N}
\sum_i \mathbb{E}\!\left[(c_t^i)^{\top}z_t^i\mid\mathcal{F}_{t-1}\right].
\]
Under Assumption (ref), the benchmark is separable:
$\pi_t^{*,\mathrm{SP}}=(\pi_t^{*,1},\ldots,\pi_t^{*,N})$ with
$\pi_t^{*,i}\in\operatorname*{arg\,min}_{z^i}
\mathbb{E}[(c_t^i)^{\top}z_t^i\mid\mathcal{F}_{t-1}]$.
definition[Aggregate regret]
The aggregate regret over $T$ periods is
\[
\mathrm{Regret}_{\mathrm{agg}}^{(T)}
\;=\;
\sum_{t=1}^T
\left[
\mathbb{E}\!\left[\sum_i (c_t^i)^{\top}\hat{\pi}_t^i(c_t^i)\right]
-
\mathbb{E}\!\left[\sum_i (\bar{c}_t^i)^{\top}\pi_t^{*,i}\right]
\right],
\]
the welfare gap between the $N$-agent equilibrium and the social
planner's optimum.
Aggregate Regret Decomposition
Theorem (ref) decomposes aggregate regret into two terms: a sum of $N$ individual regrets. Each individual regret is bounded by the per-agent audit. A cross-agent systemic term that grows as $O(N^2)$ in the strategy-correlation matrix.
theorem[Aggregate regret with cross-agent spillovers]
Under Assumption (ref) and Assumption (ref) applied to each agent $i$, with linear policies $\hat{\pi}_t^i(c_t^i)=B_i c_t^i$, the aggregate regret over $T$ periods is
\begin{equation}
\mathrm{Regret}_{\mathrm{agg}}^{(T)}
\;=\;
\underbrace{\sum_{i=1}^N \mathrm{Regret}_i^{(T)}}_{individual regrets}
\;+\;
\underbrace{\sum_{i\neq j}\sum_{t=1}^T
\operatorname{Cov}_f\!\left(c_t^i,\,\hat{\pi}_t^j(c_t^j)\right)}_{cross-agent systemic term},
\end{equation}
where $\mathrm{Regret}_i^{(T)}=\sum_t\operatorname{Cov}(c_t^i,\hat{\pi}_t^i)$
is agent $i$'s individual regret (Theorem (ref)), and
\begin{equation}
\operatorname{Cov}_f\!\left(c_t^i,\,\hat{\pi}_t^j\right)
\;=\;
\operatorname{tr}\!\left(B_j\Lambda_j\Sigma_f\Lambda_i^{\top}\right)
\qquad \forall\, i\neq j
\end{equation}
is the cross-agent covariance through the common factor $f_t$.
proof[Proof sketch]
Expand the aggregate per-period regret:
$\sum_i\mathbb{E}[(c_t^i)^{\top}B_i c_t^i]-\sum_i(\bar{c}_t^i)^{\top}\pi_t^{*,i}$.
Apply the covariance decomposition of Theorem (ref) to each diagonal term, yielding $\sum_i\operatorname{Cov}(c_t^i,\hat{\pi}_t^i)$ as the individual component. For $i\neq j$, the cross term $\mathbb{E}[(c_t^i)^{\top}B_j c_t^j]$ does not appear in any single-agent regret. By Assumption (ref),
$\operatorname{Cov}(c_t^i,c_t^j)=\Lambda_i\Sigma_f\Lambda_j^{\top}$
(idiosyncratic components are cross-sectionally independent).
Substituting $B_j c_t^j$ for the policy and applying the
trace-cyclic identity gives (ref). Summing over $t$
yields (ref).
remark[Individual compliance $\neq$ systemic safety]
Even if every agent individually satisfies the audit criterion
$\operatorname{Cov}(c_t^i,\hat{\pi}_t^i)\leq\varepsilon$, the
cross-agent term in (ref) can be of order
$N(N-1)\cdot\operatorname{tr} (B_j\Lambda_j\Sigma_f\Lambda_i^{\top})$,
which grows without bound as $N\to\infty$. A regulator auditing of firms one at a time misses this entirely. This is the $N$-agent analogue of the SR 11-7 deficiency identified in Section (ref): individual model validation provides no systemic guarantee.
The Fragility Multiplier and Phase Transition
The cross-agent term in (ref) depends on how similar agents' strategies are. We characterize this via a scalar fragility multiplier.
definition[Strategy correlation and fragility multiplier]
For symmetric agents ($B_i=B$, $\Lambda_i=\Lambda$ for all $i$),
define the systematic fraction of policy variance
\[
\rho_{\mathrm{sys}}
\;=\;
\frac{\operatorname{tr}(B\Lambda\Sigma_f\Lambda^{\top})}
{\operatorname{tr}(B\Sigma_c)}
\;\in\;[0,1],
\]
where $\Sigma_c=\Lambda\Sigma_f\Lambda^{\top}+\sigma_\eta^2 I$ is the total per-agent cost covariance. The fragility multiplier is
\[
M(N,\rho_{\mathrm{sys}})
\;=\;
1+(N-1)\cdot\rho_{\mathrm{sys}}.
\]
corollary[$N^2$ scaling of aggregate regret]
Under the symmetric agent setting of Definition (ref), the aggregate regret is
\begin{equation}
\mathrm{Regret}_{\mathrm{agg}}^{(T)}
\;=\;
N\cdot T\cdot\operatorname{tr}(B\Sigma_c)
\cdot\bigl[1+(N-1)\cdot\rho_{\mathrm{sys}}\bigr]
\;=\;
N\cdot\mathrm{Regret}_{\mathrm{individual}}^{(T)}\cdot M(N,\rho_{\mathrm{sys}}).
\end{equation}
Three regimes follow immediately from (ref):
\begin{enumerate}[label=(\roman*)]
• Idiosyncratic limit ($\rho_{\mathrm{sys}}\to 0$):
$M\to 1$. Aggregate regret $= N\times$ individual regret.
Diversification holds; individual audits are sufficient.
• Partial correlation ($0<\rho_{\mathrm{sys}}<1$):
$M\in(1,N)$. A fragility premium of
$(N-1)\cdot\rho_{\mathrm{sys}}\cdot T\cdot\operatorname{tr}(B\Sigma_c)$ accrues beyond the sum of individual regrets. For $N=100$ institutions each with $\rho_{\mathrm{sys}}=0.3$, this premium is $2{,}970\%$ of one firm's regret.
• Perfect correlation ($\rho_{\mathrm{sys}}\to 1$):
$M\to N$. Aggregate regret $= N^2\times$ individual regret. The system behaves as a single agent of size $N$: diversification disappears entirely and every agent bears the full systemic loss.
\end{enumerate}
The transition from regime (i) to (iii) is continuous in
$\rho_{\mathrm{sys}}$. We identify a natural critical threshold using random matrix theory.
proposition[Phase transition at the Marchenko--Pastur boundary]
Consider the $N\times N$ pairwise-strategy covariance matrix $\Psi_t$, with the $(i,j)$-th entry
$\psi_{ij}=\operatorname{Cov}(\hat{\pi}_t^i,\hat{\pi}_t^j)$. For
large $N$, under the null hypothesis that all strategies are idiosyncratic ($\rho_{\mathrm{sys}}=0$), the largest eigenvalue of $\Psi_t$ converges to the Marchenko--Pastur upper edge
\[
\lambda_+
\;=\;
\sigma_\pi^2\!\left(1+\sqrt{N/T}\right)^{\!2}
\;\approx\;
\sigma_\pi^2\cdot N/T
\quad\text{for }N/T\to c>0
\]
Following bai2010spectral, we can declare systemic fragility event whenever $\lambda_{\max}(\hat{\Psi}_t)>\lambda_+$, signaling that common factor co-movement exceeds the level attributable to the finite-sample noise alone.
remark[Connection to fire sales]
In regime (iii), all agents hold proportional positions
simultaneously. A liquidity shock that forces one agent to liquidate triggers liquidation by all others through two channels: (a) direct contagion, as falling prices cause margin calls and redemptions; and (b) the regret channel of this paper, since rising costs $c_t$ force all agents to reduce $\hat{\pi}_t^i(c_t^i)=Bc_t^i$ in the same direction, compressing aggregate demand precisely when it is most needed. Equation (ref), therefore, provides a quantitative bridge between the standard fire-sale narrative and the regret-based audit framework.
An Observable Systemic Fragility Index
The regulator does not observe $\rho_{\mathrm{sys}}$ directly, but observes $\{(c_t^i,\hat{\pi}_t^i(c_t^i))\}$ for all $i$ and $t$. We construct a consistent estimator of the fragility multiplier and derive a confidence interval for aggregate regret.
definition[Systemic fragility index]
Given observed trajectories for all $N$ agents over $T$ periods, the systemic fragility index is
\[
\hat{F}_T
\;=\;
\frac{\|\hat{\Psi}_T\|_F^2}{N^2},
\]
where $\hat{\Psi}_T$ is the $N\times N$ sample strategy-covariance matrix with $(i,j)$-th entry
\[
\hat{\Psi}_{ij}
\;=\;
\frac{1}{T}\sum_{t=1}^T
\bigl(\hat{\pi}_t^i - \bar{\pi}^i\bigr)^{\!\top}
\bigl(\hat{\pi}_t^j - \bar{\pi}^j\bigr),
\qquad
\bar{\pi}^i = \frac{1}{T}\sum_{t=1}^T\hat{\pi}_t^i.
\]
$\hat{F}_T\in[0,1]$: a value of $0$ indicates perfectly idiosyncratic strategies; a value approaching $1$ indicates near-identical strategies across all agents.
theorem[Consistent systemic audit estimator]
Under Assumption (ref), Assumption (ref)(c) for each agent, and the $L^2$-mixingale condition of Theorem (ref)
applied jointly across agents, as $T\to\infty$:
\begin{equation}
\frac{1}{\sqrt{T}}
\left(
\widehat{\mathrm{Regret}}_{\mathrm{agg}}^{(T)}
-
\mathrm{Regret}_{\mathrm{agg}}^{(T)}
\right)
\;\xrightarrow{d}\;
\mathcal{N}\!\left(0,\sigma_{\mathrm{SYS}}^2\right),
\end{equation}
where $\sigma_{\mathrm{SYS}}^2$ is the long-run variance of the
aggregate cross-product
$\sum_i(c_t^i)^{\top}\hat{\pi}_t^i + \sum_{i\neq j}(c_t^i)^{\top}B_j c_t^j$,
consistently estimated by a HAC estimator with bandwidth
$h=\lfloor T^{1/3}\rfloor$. The estimator
\[
\widehat{\mathrm{Regret}}_{\mathrm{agg}}^{(T)}
\;=\;
N\cdot\hat{C}_T\cdot\hat{M},
\qquad
\hat{M} = 1+(N-1)\hat{\rho}_{\mathrm{sys}},
\]
where $\hat{C}_T$ is the per-agent trajectory estimator (ref) and $\hat{M}$ is the estimated fragility multiplier, is computable in $O(T\cdot N^2\cdot nd)$ time.
remark[Regulatory implementation]
A macro-prudential regulator implementing Theorem (ref) collects the $N$-vector of weight allocations $(\hat{\pi}_t^1,\ldots,\hat{\pi}_t^N)$ and factor returns $c_t$ daily. The matrix $\hat{\Psi}_T$ can be updated online in $O(N^2\cdot n)$ per day via Welford's algorithm (Remark (ref)). The fragility index $\hat{F}_T$ and its Marchenko--Pastur threshold (Proposition (ref)) are then reported alongside the per-firm covariance sums at each regulatory cycle. This architecture is compatible with existing SR 11-7 /
SR-26-2 reporting and requires no access to any agent's internal
optimization engine.
Empirical Calibration: CRSP 2016--2025
To calibrate the fragility multiplier for realistic parameter values, we use the AR(1) estimates of Table (ref) to bound $\rho_{\mathrm{sys}}$. The momentum policy
$\hat{\pi}_t(c_t)=Bc_t$ with $B=\alpha I$ and the common
Fama--French market factor $f_t=r_{m,t}-r_{f,t}$ imply
equation[equation omitted — 233 chars of source]
where $R^2_{\mathrm{mkt}}$ is the cross-sectional $R^2$ of the
market-factor regression. Using the CRSP 2016--2025 data of
Section (ref), $R^2_{\mathrm{mkt}}$ averages $0.27$ in normal years but rises to $0.61$ during the COVID crisis period ($\hat{\rho}=-0.144$), reflecting the sharp co-movement of individual stocks with the aggregate market during stress. Table (ref) reports the implied fragility multipliers.
table[table omitted — 807 chars of source]
Two conclusions are immediate. First, even under normal conditions, aggregate regret for 100 correlated AI strategies is approximately 27 times the individual regret. Second, during crisis episodes, $\rho_{\mathrm{sys}}$ nearly doubles, pushing $M$ to $60$ for $N=100$ institutions. This represents a form of liquidity spiral: stress raises correlation, which raises the fragility multiplier, which raises aggregate welfare loss, which deepens stress. The systemic audit framework of Theorem (ref) is designed to detect the onset of this spiral before it fully develops.
Policy Implications for Systemic AI Regulation
Three policy implications follow from Corollary (ref) and
Theorem (ref).
\paragraph{Aggregate position limits.}
If $\hat{F}_T$ exceeds the Marchenko--Pastur threshold of
Proposition (ref), a regulator can cap individual position sizes at
\[
z_{\max}
\;=\;
\frac{\varepsilon}{N\cdot\rho_{\mathrm{sys}}\cdot\|\bar{c}\|}
\]
to maintain aggregate regret below a target $\varepsilon$. This is the systemic analog of single-firm leverage limits, derived here from first principles via the regret decomposition.
\paragraph{Strategy diversity requirements.}
Minimizing aggregate regret subject to fixed total capital is
equivalent to minimizing $M(N,\rho_{\mathrm{sys}})$, which is achieved by minimizing $\rho_{\mathrm{sys}}$. This provides a formal welfare justification for regulatory requirements that AI-driven strategies use distinct factor-loading matrices $\Lambda_i$. These are analogous to capital diversification rules, but applied to algorithmic model design rather than balance-sheet composition.
\paragraph{Timing of intervention.}
Because $\hat{F}_T$ is updated online in $O(N^2\cdot n)$ per day
(Remark (ref)), the regulator observes the
fragility multiplier in near-real time. A rising $\hat{F}_T$
preceding a volatility spike is an early warning of imminent systemic stress, complementing standard VaR-based indicators and satisfying the "forward-looking" mandate of SR 11-7.
Connection to Coordination Failures and Runs
The fragility multiplier provides a formal link between the regret framework and classic models of bank runs and coordination failures. Under perfect correlation ($\rho_{\mathrm{sys}}=1$), equation (ref) collapses to
equation[equation omitted — 126 chars of source]
This is the payoff structure of a coordination game: each agent
individually minimizes regret, but collectively they produce quadratic aggregate loss, as in a prisoner's dilemma. The "run equilibrium" arises when a common cost shock causes all agents to simultaneously de-risk. De-risking becomes a policy that individually reduces each agent's $\operatorname{Cov}(c_t^i,\hat{\pi}_t^i)$ but, in aggregate, drains market liquidity and raises $c_t^i$ for all agents through price impact, precisely the mechanism of Corollary (ref).
Equation (ref) therefore quantifies the welfare loss from the run equilibrium relative to the planner's optimum ($\rho_{\mathrm{sys}}=0$) in a closed form that is empirically estimable from observable data alone.
This connection is more than analogical. In the two-period version of the model, the game played by $N$ agents is a linear-quadratic game with price-impact externality, and the Nash equilibrium regret is exactly $M(N,\rho_{\mathrm{sys}})$ times the social optimum. The full game-theoretic mixed-strategy equilibria arise when agents have private information about the factor loading $\Lambda_i$. Deriving these equilibria is an important direction for future work.
Conclusion
A strategy's liquidity role is written into the covariance between its trades and the costs it faces, and that covariance is recoverable from trajectory data alone. This is the paper's central claim, and three further results follow from it.
\paragraph{The classification is exact and model-free.}
For any linear policy, $\operatorname{Cov}(c_t,\hat{\pi}_t(c_t))=
\operatorname{tr}(B\Sigma_c)$ (Proposition (ref)):
the sign of a single statistic, computed from observed costs and
decisions alone, places the strategy exactly into the Kyle1985 dichotomy of liquidity demander or
supplier. No order-flow sign, quote data, or knowledge of the
strategy's signal is required. Momentum strategies are liquidity
consumers and contrarian strategies are liquidity providers as a
matter of algebra, not estimation; the only object that must be
estimated is the policy matrix $B$ implicit in the observed
trajectory, and even that estimation is unnecessary if one only
wants the sign.
\paragraph{The same statistic recovers the effective spread.}
Under an AR(1) cost process, the auto-covariance correction to the covariance sum equals $\alpha s^2$, the product of strategy size and the squared Roll (1984) implied spread
(Theorem (ref)). This is not an analogy or an approximation: it is an exact closed-form identity connecting a performance-attribution statistic to a market-microstructure quantity, derived from the same trajectory data and at no additional computational cost. Empirically, the implied spread recovered this way tracks realized illiquidity through the sample. The implied spread roughly triples during the COVID-19 liquidity crisis and collapses to its sample minimum during the 2022 rate-shock episode,
when persistent common-factor repricing dominates short-horizon return dynamics (Section (ref)). The correction is smallest precisely when markets are deep and largest precisely when microstructure breaks down, which is the behavior one wants from an illiquidity proxy.
\paragraph{Aggregate liquidity imbalance produces a closed-form
fire sale.}
Extending the single-agent result to $N$ correlated strategies
under a common-factor cost structure (Section (ref)) shows that the welfare loss from liquidity-balance failure scales as $N^2$ in the strategy-correlation coefficient (Corollary (ref)). When agents' liquidity demand and supply fail to net to zero, prices must adjust to absorb the imbalance. This happens under perfect strategy correlation, when many funds run the same factor-driven allocation. The resulting price-impact regret compounds the covariance regret multiplicatively rather than additively. This gives the familiar fire-sale mechanism a closed form computable from the same observable trajectories used for the single-agent classification, with no model of the deleveraging process itself required.
\paragraph{What the classifier recovers, and what it does not.}
The trajectory-based classifier of this paper is deliberately
coarser than order-flow-based microstructure measures. The classifier requires only realized costs (asset prices) and position sizes, not signed trades, quote revisions, or limit-order-book depth. The classifier recovers a strategy's average liquidity role over the estimation window rather than its behavior at any single trade. This is a feature when the internal logic of the strategy is unobservable, the setting
motivating this paper. When finer-grained order-flow data is available, standard measures Hasbrouck1991 or trade-classification algorithms will recover intraday dynamics this statistic cannot. The two approaches are complements rather than substitutes. The Roll-spread identity of Theorem (ref) gives an explicit bridge
between the two approaches, expressing a daily-frequency, trajectory-based quantity in the same units as a standard microstructure spread estimator, so that one can be validated against the other on data where both are available. We view extending this bridge to intraday frequencies, and benchmarking the implied spread directly against effective and realized spread measures computed from TAQ data, as the natural next step for this line of work.
\paragraph{A closing remark on horizon.}
The discounted identity of Theorem (ref) shows that a single-period covariance estimate, scaled by the effective horizon $1/(1-\gamma)$, measures long-run discounted regret directly. The same scaling applies to the liquidity classification: a strategy's liquidity role, once identified from a short window of trajectory data, extrapolates to its long-run discounted contribution to market liquidity without re-estimation at every horizon. This makes the single covariance statistic a practical tool not only for one-off classification but also for monitoring how a strategy's liquidity role evolves as market conditions change.
small