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 Hypergraph Turán Densities of Tight Cycles Minus an Edge

The Turán density of tight cycles in three-uniform hypergraphs

The codegree Turán density of $3$-uniform tight cycles

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

The Turán Density of 4-Uniform Tight Cycles

On codegree Turán density of the 3-uniform tight cycle $C_{11}$

On graphs embeddable in a layer of a hypercube and their extremal numbers

The planar Turán number of the seven-cycle

Dense circuit graphs and the planar Turán number of a cycle

$C_{10}$ has positive Turán density in the hypercube

Generalized planar Turán numbers related to short cycles

On Turán Densities of Small Triple Graphs

Hypergraphs with infinitely many extremal constructions

Density of Balanced 3-Partite Graphs Without 3-Cycles or 4-Cycles

Upper bounds on the size of 4- and 6-cycle-free subgraphs of the hypercube

Edge-disjoint cycles with the same vertex set

Extremal graphs without exponentially-small bicliques

Tight Hamiltonicity from dense links of triples

On multicolor Turán numbers

On graphs without cycles of length 0 modulo 4

On the number of cycles in a graph with restricted cycle lengths