This story draft by @escholar has not been reviewed by an editor, YET.
Authors:
(1) Nicholas A. G. Johnson ([email protected]);
(2) Theo Diamandis ([email protected]);
(3) Alex Evans ([email protected]);
(4) Henry de Valence ([email protected]);
(5) Guillermo Angeris ([email protected]).
1.1 Symmetric pure strict equilibrium
2 Batched decentralized exchanges
The statement above follows from the negation of both (a) and (b). This equivalence has a simple interpretation: if the point (0, 0) is collinear with any other two points on the graph of f, {(s, f(s)) | s > 0}, then the function f is a piecewise function with a linear segment starting at 0. The converse of this is that if the function f has no linear segment around 0 (i.e., every linear over estimator around 0 lies strictly above f) then any chord must lie strictly below the function.
This paper is available on arxiv under CC BY 4.0 DEED license.