Python 56.2%
TeX 43.7%
1% ============================================================================2% Section 3: Theoretical Framework3% ============================================================================4\section{Theoretical Framework}\label{sec:theoretical}56This section develops the theoretical foundations for interpreting prediction market contracts as Arrow--Debreu securities. We begin by formalizing the structure of the Arrow--Debreu economy, then map this structure onto the Polymarket institutional setting, and finally derive testable hypotheses regarding market completeness, no-arbitrage pricing, and information aggregation.78\subsection{The Arrow--Debreu Economy}910We consider a single-period economy with dates $t = 0$ (today) and $t = 1$ (the resolution date). Uncertainty at date 1 is represented by a finite state space $\mathcal{S} = \{s_1, s_2, \ldots, s_N\}$ with $N \geq 2$. Each state $s_j$ corresponds to a mutually exclusive and collectively exhaustive outcome.1112\begin{definition}[Arrow--Debreu Security]\label{def:ad_security}13An Arrow--Debreu security for state $s_j$ is a financial contract that pays one unit of the numeraire at date $t = 1$ if state $s_j$ is realized and zero otherwise. Formally, the payoff function of the $j$-th Arrow--Debreu security is14\[15 a_j(s) = \mathbf{1}\{s = s_j\}, \quad j = 1, \ldots, N,16\]17where $\mathbf{1}\{\cdot\}$ denotes the indicator function.18\end{definition}1920Let $\psi_j \geq 0$ denote the date-0 price of the Arrow--Debreu security for state $s_j$. The vector $\boldsymbol{\psi} = (\psi_1, \ldots, \psi_N)' \in \mathbb{R}^N_+$ is called the state-price vector. In an economy with a risk-free asset that pays one unit in every state, the risk-free rate $r_f$ is determined by the relation21\begin{equation}\label{eq:rf}22 \frac{1}{1 + r_f} = \sum_{j=1}^{N} \psi_j.23\end{equation}2425This equation establishes a fundamental link: the sum of all state prices equals the price of the risk-free bond, which is the reciprocal of the gross risk-free rate of return.2627\begin{definition}[Market Completeness]\label{def:completeness}28A securities market is said to be complete if, for every contingent claim $c : \mathcal{S} \to \mathbb{R}$, there exists a portfolio of traded securities that replicates $c$ in every state. Equivalently, markets are complete if and only if the payoff matrix of traded securities has rank $N$ (equal to the number of states).29\end{definition}3031When $N$ Arrow--Debreu securities are available for trade with linearly independent payoffs, the payoff matrix is the $N \times N$ identity matrix, which trivially has full rank. In this case, completeness is achieved and any contingent claim $c = (c_1, \ldots, c_N)'$ can be replicated at cost $\sum_{j=1}^N c_j \psi_j$.3233\subsection{State Prices, Risk-Neutral Probabilities, and No Arbitrage}3435The Fundamental Theorem of Asset Pricing establishes the equivalence between no arbitrage and the existence of positive state prices.3637\begin{proposition}[No Arbitrage and State Prices]\label{prop:no_arb}38In the finite-state economy described above, the following conditions are equivalent:39\begin{enumerate}[label=(\roman*)]40 \item There are no arbitrage opportunities.41 \item There exists a strictly positive state-price vector $\boldsymbol{\psi} \in \mathbb{R}^N_{++}$ such that the price of any traded security equals the inner product of its payoff vector with $\boldsymbol{\psi}$.42 \item There exists a probability measure $\mathbb{Q}$ equivalent to the physical measure $\mathbb{P}$ and a discount factor $\delta > 0$ such that the price of any traded security equals the discounted $\mathbb{Q}$-expectation of its payoff.43\end{enumerate}44\end{proposition}4546The measure $\mathbb{Q}$ in condition (iii) is the risk-neutral probability measure, and its elements are related to state prices by47\begin{equation}\label{eq:rn_prob}48 q_j = \frac{\psi_j}{\sum_{k=1}^{N} \psi_k} = (1 + r_f) \psi_j, \quad j = 1, \ldots, N.49\end{equation}5051Under the risk-neutral measure, the price of an Arrow--Debreu security is simply the discounted risk-neutral probability of the associated state:52\[53 \psi_j = \frac{q_j}{1 + r_f}.54\]5556In a complete market, the risk-neutral measure $\mathbb{Q}$ is unique. In an incomplete market, no-arbitrage is consistent with multiple risk-neutral measures, and the state-price vector is not uniquely determined by observed prices alone. This distinction motivates our focus on markets with a complete set of outcome contracts.5758\subsection{Mapping Polymarket Contracts to Arrow--Debreu Securities}5960We now map the theoretical framework onto the institutional structure of Polymarket. Consider a Polymarket neg-risk market with $N$ outcome contracts $\{C_1, C_2, \ldots, C_N\}$. Each contract $C_j$ is a binary claim that pays \$1 if outcome $j$ is realized and \$0 otherwise. The outcomes are mutually exclusive and collectively exhaustive by construction: the Polymarket neg-risk protocol enforces the constraint that exactly one contract in the group resolves to \$1.6162Let $p_j(t)$ denote the market price of contract $C_j$ at time $t$. Under the Arrow--Debreu interpretation, $p_j(t) = \psi_j(t)$, the state price for outcome $j$ at time $t$.6364\begin{definition}[State Price Sum]\label{def:sp_sum}65The state price sum at time $t$ is defined as66\begin{equation}\label{eq:sp_sum}67 \Sigma(t) = \sum_{j=1}^{N} p_j(t).68\end{equation}69Under Arrow--Debreu completeness with a risk-free rate $r_f(t)$, the theoretical prediction is $\Sigma(t) = 1/(1 + r_f(t))$.70\end{definition}7172In practice, the overnight risk-free rate over the sample period is sufficiently small that $1/(1 + r_f) \approx 1$. Deviations of $\Sigma(t)$ from unity therefore measure violations of the completeness condition, up to a small correction for the time value of money.7374Several sources of deviation merit discussion. Transaction costs, including the Polymarket trading fee and blockchain gas costs, create a wedge between theoretical and observed state prices. If buyers must pay a premium above fair value and sellers must accept a discount below fair value, the observed state price sum will exceed unity by an amount proportional to the round-trip transaction cost. Similarly, the vigorish (or overround) familiar from bookmaking---in which the implied probabilities of all outcomes sum to more than one---represents a form of transaction cost that accrues to the market operator or liquidity providers.7576\subsection{Risk-Neutral Density Estimation}7778Given a complete set of state prices, the risk-neutral density over the outcome space can be recovered by normalizing the state prices to sum to unity. This yields the risk-neutral probability mass function:79\begin{equation}\label{eq:rn_density}80 q_j(t) = \frac{p_j(t)}{\Sigma(t)}, \quad j = 1, \ldots, N.81\end{equation}8283The time series of risk-neutral densities $\{q_j(t)\}_{t=1}^{T}$ provides a window into the evolution of market expectations about the distribution of outcomes. Changes in the risk-neutral density can be decomposed into changes in physical probabilities and changes in risk premia, though this decomposition requires additional identifying assumptions.8485For the Federal Reserve rate decision market with $N = 5$ states (50+ basis point decrease, 25 basis point decrease, no change, 25 basis point increase, 50+ basis point increase), the risk-neutral density at each date is a discrete probability distribution over the five possible rate actions. The evolution of this distribution over time reflects the market's assessment of monetary policy expectations as macroeconomic data are released and FOMC communications are made.8687\subsection{Returns, Abnormal Returns, and Event Studies}8889We define log returns on prediction market contracts as follows. Let $p_j(t)$ denote the price of contract $j$ at the close of trading day $t$. The continuously compounded return is90\begin{equation}\label{eq:return}91 r_j(t) = \ln\left(\frac{p_j(t)}{p_j(t-1)}\right).92\end{equation}9394For the event study analysis, we follow the standard methodology of \citet{mackinlay1997event}. Abnormal returns are defined relative to a benchmark model estimated over a pre-event window. Let $[\tau_0, \tau_1]$ denote the estimation window and $[\tau_1 + 1, \tau_2]$ denote the event window. We employ a constant mean return model as the benchmark:95\begin{equation}\label{eq:ar}96 AR_j(t) = r_j(t) - \hat{\mu}_j, \quad t \in [\tau_1 + 1, \tau_2],97\end{equation}98where $\hat{\mu}_j = \frac{1}{\tau_1 - \tau_0} \sum_{t=\tau_0+1}^{\tau_1} r_j(t)$ is the sample mean return over the estimation window. Cumulative abnormal returns over the event window $[t_1, t_2]$ are99\begin{equation}\label{eq:car}100 CAR_j(t_1, t_2) = \sum_{t=t_1}^{t_2} AR_j(t).101\end{equation}102103The cross-sectional test statistic for the null hypothesis that the mean CAR across events is zero follows \citet{patell1976corporate} and \citet{boehmer1991event}:104\begin{equation}\label{eq:tstat}105 t_{CAR} = \frac{\overline{CAR}}{\hat{\sigma}_{CAR} / \sqrt{K}},106\end{equation}107where $\overline{CAR}$ is the mean CAR across $K$ events and $\hat{\sigma}_{CAR}$ is the cross-sectional standard deviation.108109\subsection{Testable Hypotheses}110111The theoretical framework yields the following testable hypotheses.112113\begin{hypothesis}[Market Completeness]\label{hyp:completeness}114If Polymarket neg-risk contract markets function as Arrow--Debreu economies, then:115\begin{enumerate}[label=(\alph*)]116 \item The state price sum $\Sigma(t) = \sum_{j=1}^{N} p_j(t)$ is statistically indistinguishable from $1/(1+r_f)$ for all $t$.117 \item All individual state prices $p_j(t)$ are strictly positive for all $j$ and $t$.118 \item The deviation of $\Sigma(t)$ from unity is small, stationary, and attributable to transaction costs.119\end{enumerate}120\end{hypothesis}121122\begin{hypothesis}[No Arbitrage]\label{hyp:no_arb}123If no-arbitrage conditions hold in the prediction market:124\begin{enumerate}[label=(\alph*)]125 \item There are no persistent violations of the law of one price: the state price sum does not systematically exceed or fall below unity by more than transaction costs.126 \item Temporary deviations from the no-arbitrage bounds are quickly corrected through arbitrage activity, implying mean-reversion in $\Sigma(t) - 1$.127\end{enumerate}128\end{hypothesis}129130\begin{hypothesis}[Information Aggregation]\label{hyp:info}131If prediction market prices efficiently aggregate information:132\begin{enumerate}[label=(\alph*)]133 \item Prediction market returns exhibit no predictable patterns conditional on publicly available information (weak-form efficiency).134 \item Prediction market prices respond to macroeconomic news releases (FOMC announcements, CPI releases) in a manner consistent with the informational content of the release.135 \item Prediction market returns Granger-cause returns in related traditional financial markets (SPY, VIX, BTC), reflecting the information content of state-contingent prices.136\end{enumerate}137\end{hypothesis}138139\begin{hypothesis}[Volatility Dynamics]\label{hyp:vol}140If prediction market returns exhibit volatility dynamics similar to those documented in traditional financial markets:141\begin{enumerate}[label=(\alph*)]142 \item Conditional volatility is time-varying and exhibits clustering, consistent with ARCH/GARCH effects.143 \item Negative return shocks have a larger impact on future volatility than positive return shocks of equal magnitude (leverage effect), implying that the GJR-GARCH model fits better than the symmetric GARCH.144 \item Realized volatility exhibits persistence at multiple time horizons, consistent with the heterogeneous market hypothesis underlying the HAR-RV model.145\end{enumerate}146\end{hypothesis}147148\subsection{Theoretical Limitations and Caveats}149150Several theoretical limitations of the Arrow--Debreu framework as applied to prediction markets warrant acknowledgment. First, the single-period nature of the Arrow--Debreu model abstracts from the dynamic trading that occurs in practice. Prediction market contracts are traded continuously over weeks or months before resolution, and the mapping between theory and empirics requires treating each trading day as a snapshot of the equilibrium state-price vector. Second, the finite-state assumption, while natural for markets with discrete outcomes (five possible Fed rate actions), becomes strained for markets with continuous outcome spaces (e.g., the level of GDP growth). Third, the assumption of competitive price-taking may be violated in prediction markets where a small number of large traders can exert significant price impact. Fourth, the theoretical framework assumes that all agents agree on the state space; in practice, ambiguity about the precise definition of contract resolution rules can introduce basis risk between the prediction market contract and the underlying event of interest.151152Despite these limitations, the Arrow--Debreu framework provides a disciplined lens through which to evaluate the structural properties of prediction markets. The hypotheses formulated above are designed to be robust to these concerns: we test for the conditions that must hold if the market functions as an Arrow--Debreu economy, while acknowledging that departures from these conditions may reflect institutional frictions rather than fundamental inefficiency.153