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

On graphic degree sequences and matching numbers

New Results on Graph Matching from Degree-Preserving Growth

Non-isomorphic graphs with common degree sequences

Extremal Graph Theory for Degree Sequences

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

Fully graphic degree sequences and P-stable degree sequences

Degree versions of the Erdos-Ko-Rado Theorem and Erdos hypergraph matching conjecture

Packing tree degree sequences

Approximate Realizations for Outerplanaric Degree Sequences

Distinct degrees and homogeneous sets II

Graph reconstruction and generation from one card and the degree sequence

A new asymptotic enumeration technique: the Lovasz Local Lemma

Bounded degree graphs and hypergraphs with no full rainbow matchings

Matchings in Geometric Graphs

Entropy Regularization and Faster Decremental Matching in General Graphs

A note on the Erdős Matching Conjecture

A note on exact minimum degree threshold for fractional perfect matchings

Solution to a Problem on Degree Sequences of Graphs.

New bounds on the size of Nearly Perfect Matchings in almost regular hypergraphs

Efficient Random Graph Matching Via Degree Profiles

The Degree Sequence of the Graph with Cyclomatic Number Less Than Four