Date of Award

Spring 6-13-2025

Document Type

Masters Thesis

Degree Name

M.S. in Computer Science

Organizational Unit

Daniel Felix Ritchie School of Engineering and Computer Science, Computer Science

First Advisor

Mario Alberto Lopez

Second Advisor

Alex Stevens

Copyright Statement / License for Reuse

All Rights Reserved
All Rights Reserved.

Keywords

Financial options, Market design, Market microstructure, Trade classification

Abstract

Modern options markets clear each strike in isolation, leaving cross-strike arbitrage unexploited. This thesis applies a payoff-dominant clearing mechanism to realized trades—roughly 2 000 Cboe VIX option executions from June–November 2016—after classifying each trade’s side and bundling by expiration. Three optimization formulations are tested: a fractional linear program (LP), a mixed-integer LP, and a pure integer program. On a 10-core laptop every bundle solves in < 0.5 s. The LP captures the greatest surplus, yet the integer models recover nearly as much while filling whole contracts and holding only modest margin. Results reveal persistent, albeit small, inefficiencies in executed trades and demonstrate that an integral cross-strike auction could operate in real time. The accompanying C/Gurobi code is modular and readily extendable to early-exercise options. Trade-level evidence thus supports redesigning exchange clearing to consider the complete option book.

Copyright Date

6-2025

Publication Statement

Copyright is held by the author. User is responsible for all copyright compliance.

Rights Holder

Juan Andrés Malaver Alvarado

Provenance

Received from ProQuest

File Format

application/pdf

Language

English (eng)

Extent

89 pgs

File Size

433 KB



Share

COinS