Abstract:In 2006, Marcus and Tardos proved that if $A^1,\dots,A^n$ are cyclic orders on some subsets of a set of $n$ symbols such that the common elements of any two distinct orders $A^i$ and $A^j$ appear in reversed cyclic order in $A^i$ and $A^j$, then $\sum_{i} |A^i|=O(n^{3/2}\log n)$. This result is tight up to the logarithmic factor and has since become an important tool in Discrete Geometry. We improve this to the optimal bound $O(n^{3/2})$. In fact, we show that if $A^1,\dots,A^n$ are linear orders on some subsets of a set of $n$ symbols such that no three symbols appear in the same order in any two distinct linear orders, then $\sum_{i} |A^i|=O(n^{3/2})$. Using this result, we resolve several open problems in Discrete Geometry and Extremal Graph Theory as follows. We prove that every $n$-vertex topological graph that does not contain a self-crossing four-cycle has $O(n^{3/2})$ edges. This resolves a problem of Marcus and Tardos from 2006. We also show that $n$ pseudo-circles in the plane can be cut into $O(n^{3/2})$ pseudo-segments, which, in turn, implies new bounds on point-circle incidences and on other geometric problems. Moreover, we prove that the edge-ordered Turán number of the four-cycle $C_4^{1243}$ is $\Theta(n^{3/2})$. This answers a question of Gerbner, Methuku, Nagy, Pálvölgyi, Tardos and Vizer. Using different methods, we determine the largest possible extremal number that an edge-ordered forest of order chromatic number two can have. Kucheriya and Tardos showed that every such graph has extremal number at most $n2^{O(\sqrt{\log n})}$, and conjectured that this can be improved to $n(\log n)^{O(1)}$. We disprove their conjecture by showing that for every $C>0$, there exists an edge-ordered tree of order chromatic number two whose extremal number is $\Omega(n 2^{C\sqrt{\log n}})$.

The edge labeling of higher order Voronoi diagrams

Sibson's formula for higher order Voronoi diagrams

On polynomials associated to Voronoi diagrams of point sets and crossing numbers

Unbounded Regions of High-Order Voronoi Diagrams of Lines and Line Segments in Higher Dimensions

Limits of Voronoi Diagrams

Tight bounds for intersection-reverse sequences, edge-ordered graphs and applications

$k$-edge geodetic graphs

On $k$-planar Graphs without Short Cycles

On Convex Geometric Graphs with no $k+1$ Pairwise Disjoint Edges

Voronoi diagrams of algebraic varieties under polyhedral norms

Edge‐minimum saturated k ‐planar drawings

Total Face Irregularity Strength of Certain Graphs

On the number of higher order Delaunay triangulations

Edge-colorings of graphs avoiding complete graphs with a prescribed coloring

On a new problem about the local irregularity of graphs

Tiling edge-ordered graphs with monotone paths and other structures

Towards an edge-coloured Corrádi--Hajnal theorem

Interval edge-colorings of Cartesian products of graphs II

Bottleneck Partial-Matching Voronoi Diagrams and Applications

Tverberg Partition Graphs

Good edge-labelings and graphs with girth at least five