Key Takeaways
Formally defined MEV
MEV can be defined in a combinatorial manner in terms of payoff functions.
Bounds
Spectral analysis bounds the fairness, and bounds can be improved and used to provide users with certificates of fairness when using things like SUAVE.
Combinational structure
The combinatorial structure of MEV is closely related to Fourier analysis over the symmetric group.
Formally defined MEV
Full Presentation
See the full presentation
