Basic Prerequisites: Econometrics & Time Series (what an autocovariance is).
1. Intuition & Practical Objective
This page builds the why of spread measurement with no prior market-microstructure knowledge needed. The objective is one idea: the mere fact that trades alternate between the bid and the ask creates a fake, measurable regularity in prices, and reading that regularity tells you the spread without ever seeing the order book.
Start with the dumbest observation. A market maker stands ready to buy at the bid and sell at the ask . The “true” value of the stock sits between them - call it . A seller hits the bid and trades at ; a buyer lifts the ask and trades at . Now watch a sequence of trades: Buy, Sell, Buy, Sell. The prices bounce: up, down, up, down. Even though nothing about the company changed, the recorded trade prices zig-zag around the calm center .
Three “aha”s, built from nothing:
-
The bounce is real, but it is not news. If the efficient price is a random walk (unpredictable), then the only reason consecutive price changes look negatively correlated is the bounce between bid and ask. A buy-then-sell “reverses” the previous change by roughly the full spread. Roll (1984) realized this fake pattern is a feature, not noise: its strength is exactly proportional to the spread.
-
Autocovariance is the microscope. The negative correlation between consecutive price changes - the first-order autocovariance - is small and negative when the spread is small, large and negative when the spread is large. Roll inverted that: , so , and the effective spread is . One number, no order book.
-
The spread is not free money. A liquidity provider earns the quoted spread on every round trip (buy low at bid, sell high at ask) - but keeps only the realized spread after the price has moved. Informed traders, who trade because they know the next move, take back part of the spread. The difference between quoted/effective and realized is the adverse-selection cost. That gap is what spread decomposition measures.
2. Mathematical Ground Truth & Derivations
The picture in numbers. Suppose the true price is and the half-spread is (so quoted spread ). Bid , ask . A buy prints at ; the next sell prints at ; the change between them is . A sell-then-buy prints . Either way, the trade-to-trade change is the full spread (plus a tiny efficient-price wiggle ).
So write the observed price change:
where for a buy, for a sell, and is the efficient-price innovation (small, random, unpredictable). Now ask: what is the covariance between consecutive changes?
The minus sign appears because the term appears with in and in . The bounce forces the autocovariance negative. Invert:
This is Roll’s formula - a full spread estimator from a single autocovariance.
Why this matters (the audience arc). This is the measurement foundation for everything else in Pillar 6. If you cannot measure the cost of trading - quoted, effective, realized - you cannot tell whether a market maker is profitable, whether adverse selection is bleeding them, or whether a venue is cheap. Every later page (02, 03, 04) refines this one intuition.
3. Computational Implementation - see the bounce
Simulate a pure Roll process and watch the estimator recover the spread you baked in. Stdlib only.
4. Failure Modes & First-Principles Breakdowns
- The “spread is free money” trap. The quoted spread is gross revenue, not profit. The dealer must cover the price impact of informed flow, inventory risk, and operating cost. Realized < effective < quoted when adverse selection is present. Confusing quoted for kept is the beginner error that spread decomposition exists to correct.
- Reading too much into a single autocovariance. mixes the spread with any genuine predictability in . If the true value is itself trending (momentum), can lose its clean sign and the Roll formula breaks (see 05 · Failure Modes).
- The bounce is about prices, not values. The efficient price is unobservable; only is. Roll’s cleverness is that ‘s randomness is orthogonal to the bounce, so it washes out of . That orthogonality () is an assumption, and when informed traders make direction and information correlated it fails.
5. References
- Roll (1984), A simple implicit measure of the effective bid-ask spread in an efficient market, Journal of Finance 39(4), 1127–1139
- Hasbrouck (2007), Empirical Market Microstructure
6. Connected Graph Bridges
- Base: Econometrics & Time Series (autocovariance) · Probability & Measure Theory (random walk, martingale)
- Continue: Realized · Index Hub
- Cross-pillar: Market Microstructure & Order Types