Source author record

R. Amzi Jeffs

R. Amzi Jeffs appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

math.CO

Catalog footprint

What is connected

4works

1topics

3close collaborators

Actions

Connect this record

Open graph Browse works

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

preprint2022arXiv

Decompositions of Augmented Bergman Complexes

We study the augmented Bergman complex of a closure operator on a finite set, which interpolates between the order complex of proper flats and the independence complex of the operator. In 2020, Braden, Huh, Matherne, Proudfoot, and Wang showed that augmented Bergman complexes of matroids are always gallery-connected, and recently Bullock, Kelley, Reiner, Ren, Shemy, Shen, Sun, Tao, and Zhang strengthened "gallery-connected" to "shellable" by providing two classes of shelling orders: "flag-to-basis" shellings and "basis-to-flag" shellings. We show that augmented Bergman complexes of matroids are vertex decomposable, a stronger property than shellable. We also prove that the augmented Bergman complex of any closure operator is shellable if and only if lattice of flats (that is, its non-augmented Bergman complex) is shellable. As a consequence, an augmented Bergman complex is shellable if and only if it admits a flag-to-basis shelling. Perhaps surprisingly, the same does not hold for basis-to-flag shellings: we describe a closure operator whose augmented Bergman complex is shellable, but has no shelling order with bases appearing first.

preprint2022arXiv

Recognizing and Realizing Inductively Pierced Codes

We prove algebraic and combinatorial characterizations of the class of inductively pierced codes, resolving a conjecture of Gross, Obatake, and Youngs. Starting from an algebraic invariant of a code called its canonical form, we explain how to compute a piercing order in polynomial time, if one exists. Given a piercing order of a code, we explain how to construct a realization of the code using a well-formed collection of open balls, and classify the minimal dimension in which such a realization exists.

preprint2021arXiv

Embedding Dimension Phenomena in Intersection Complete Codes

Two tantalizing invariants of a combinatorial code $\mathcal C\subseteq 2^{[n]}$ are cdim$(\mathcal C)$ and odim$(\mathcal C)$, the smallest dimension in which $\mathcal C$ can be realized by convex closed or open sets, respectively. Cruz, Giusti, Itskov, and Kronholm showed that for intersection complete codes $\mathcal C$ with $m+1$ maximal codewords, odim$(\mathcal C)$ and cdim$(\mathcal C)$ are both bounded above by $\max\{2,m\}$. Results of Lienkaemper, Shiu, and Woodstock imply that odim and cdim may differ, even for intersection complete codes. We add to the literature on open and closed embedding dimensions of intersection complete codes with the following results: (*) If $\mathcal C$ is a simplicial complex, then cdim$(\mathcal{C}) = \mbox{odim}(\mathcal C)$, (*) If $\mathcal C$ is intersection complete, then cdim$(\mathcal C)\le \mbox{odim}(\mathcal C)$, (*) If $\mathcal C\subseteq 2^{[n]}$ is intersection complete with $n\ge 2$, then cdim$(\mathcal C) \le \min \{2d+1, n-1\}$, where $d$ is the dimension of the simplicial complex of $\mathcal C$, and (*) For each simplicial complex $Δ\subseteq 2^{[n]}$ with $m\ge 2$ facets, the code $\mathcal S_Δ:= (Δ\ast (n+1)) \cup \{[n]\}\subseteq 2^{[n+1]}$ is intersection complete, has $m+1$ maximal codewords, and satisfies odim$(\mathcal S_Δ)=m$. In particular, for each $n\ge 3$ there exists an intersection complete code $\mathcal C\subseteq 2^{[n]}$ with odim$(\mathcal C) = \binom{n-1}{\lfloor (n-1)/2\rfloor}$. A key tool in our work is the study of sunflowers: arrangements of convex open sets in which the sets simultaneously meet in a central region, and nowhere else. We use Tverberg's theorem to study the structure of "$k$-flexible" sunflowers, and consequently obtain new lower bounds on odim$(\mathcal C)$ for intersection complete codes $\mathcal C$.

preprint2019arXiv

Sunflowers of Convex Open Sets

A sunflower is a collection of sets $\{U_1,\ldots, U_n\}$ such that the pairwise intersection $U_i\cap U_j$ is the same for all choices of distinct $i$ and $j$. We study sunflowers of convex open sets in $\mathbb R^d$, and provide a Helly-type theorem describing a certain "rigidity" that they possess. In particular we show that if $\{U_1,\ldots, U_{d+1}\}$ is a sunflower in $\mathbb R^d$, then any hyperplane that intersects all $U_i$ must also intersect $\bigcap_{i=1}^{d+1} U_i$. We use our results to describe a combinatorial code $\mathcal C_n$ for all $n\ge 2$ which is on the one hand minimally non-convex, and on the other hand has no local obstructions. Along the way we further develop the theory of morphisms of codes, and establish results on the covering relation in the poset $\mathbf P_{\mathbf{Code}}$.