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}})$.

Disjointness graphs of short polygonal chains

Disjoint Compatibility via Graph Classes

Disjointness graphs of segments in R 2 are almost all hamiltonian

A characterization of unimodular hypergraphs with disjoint hyperedges

When Joints Meet Extremal Graph Theory: Hypergraph Joints

Disjunctive domination in graphs with minimum degree at least two

Non-crossing chords of a polygon with forbidden positions

Hinged Dissections Exist

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

Complexity results for two kinds of colored disconnections of graphs

On a variant of dichromatic number for digraphs with prescribed sets of arcs

Achromatic colorings of polarity graphs

Disjoint Triangles of A Cubic Line Graph

Chains, Koch Chains, and Point Sets with many Triangulations

Large cliques or co-cliques in hypergraphs with forbidden order-size pairs

A Simple Construction of Tournaments with Finite and Uncountable Dichromatic Number

Hajós and Ore Constructions for Digraphs

Bijections between colored compositions, Dyck paths, and polygon partitions

On the chromatic number of some ($P_3\cup P_2$)-free graphs

Complete characterization of graphs with local total antimagic chromatic number 3

Vertex-disjoint cycles of different lengths in tournaments