The Ungar Games

Colin Defant,Noah Kravitz,Nathan Williams

2024-01-12

Abstract:Let $L$ be a finite lattice. An Ungar move sends an element $x\in L$ to the meet of $\{x\}\cup T$, where $T$ is a subset of the set of elements covered by $x$. We introduce the following Ungar game. Starting at the top element of $L$, two players -- Atniss and Eeta -- take turns making nontrivial Ungar moves; the first player who cannot do so loses the game. Atniss plays first. We say $L$ is an Atniss win (respectively, Eeta win) if Atniss (respectively, Eeta) has a winning strategy in the Ungar game on $L$. We first prove that the number of principal order ideals in the weak order on $S_n$ that are Eeta wins is $O(0.95586^nn!)$. We then consider a broad class of intervals in Young's lattice that includes all principal order ideals, and we characterize the Eeta wins in this class; we deduce precise enumerative results concerning order ideals in rectangles and type-$A$ root posets. We also characterize and enumerate principal order ideals in Tamari lattices that are Eeta wins. Finally, we conclude with some open problems and a short discussion of the computational complexity of Ungar games.

Combinatorics

What problem does this paper attempt to address?

The paper primarily explores a new concept called the "Ungar game" and investigates the winner problem under different strategies in this game. Specifically:

1. **Ungar Move**: The authors define an operation called the Ungar move, which acts on elements in a finite lattice. The Ungar move sends an element \(x\) to the least upper bound of the intersection of the set \(T\) of all elements covered by \(x\) and \(\{x\}\).

2. **Ungar Game**: Based on the Ungar move, the authors introduce a two-player turn-based game called the "Ungar game." The game starts at the top element of the lattice, and two players, Atniss and Eeta, take turns making non-trivial Ungar moves; the first player who cannot move loses the game.

3. **Classification of Game Outcomes**: The authors first prove that under the weak order of the symmetric group \(S_n\), the number of principal order ideals won by Eeta is \(O(0.95586^n n!)\).

4. **Intervals in Young Lattice**: Next, the paper considers a class of intervals in the Young lattice, including all principal order ideals, and characterizes the intervals won by Eeta. These results also lead to exact enumeration results for order ideals in rectangles and type-A root posets.

5. **Principal Order Ideals in Tamari Lattice**: Finally, the authors analyze the principal order ideals in the Tamari lattice as won by Eeta and provide exact enumeration results.

In summary, the main goal of this paper is to explore new problems in combinatorial game theory by introducing the concept of the Ungar game and studying the winner situations in specific types of lattices, such as the Young lattice and the Tamari lattice.