Recent advances in arrow relations and traces of sets

The arrow relation, a central concept in extremal set theory, captures quantitative relationships between families of sets and their traces. Formally, the arrow relation (n, m) → (a, b) signifies that for any family F ⊆ 2[n] with |F| m, there exists an a-element subset T ⊆ [n] such that the trace F|T = \ F ∩ T : F ∈ F \ contains at least b distinct sets. This survey highlights recent progress on a variety of problems and results connected to arrow relations. We explore diverse topics, broadly categorized by different extremal perspectives on these relations, offering a cohesive overview of the field.