{"id":"arxiv/2605.00622","url":"https://arxiv.org/abs/2605.00622","tags":["math.CO","gr-qc","math-ph"],"score":0,"title":"Sizes of witnesses in Covtree","domain":"math.CO","source":"arxiv","authors":["Jette Gutzeit","Kimia Shaban","Karen Yeats","Stav Zalel"],"reviews":0,"subject":"math.CO","summary":"Given a set $Γ$ of $k$ unlabelled posets, each of size $n$, we say that a poset $Q$ is a \\emph{witness} to $Γ$ if $Γ$ is the set of downsets of size $n$ of $Q$. We say that $Q$ is a \\emph{minimal witness} if it does not contain a proper downset that is itself a witness to $Γ$. Motivated by the causal set approach to quantum gravity, we study the upper bound on the size of minimal witnesses as a function of $n$ and $k$. We show that there is no linear upper bound of the form $n+k+c$ for any constant $c$. We introduce the \\emph{exchange graph of downsets} as a new tool to study this scenario,…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-05-01","reactions":{}}