{"id":5403,"date":"2024-04-01T16:15:38","date_gmt":"2024-04-01T20:15:38","guid":{"rendered":"http:\/\/matroidunion.org\/?p=5403"},"modified":"2024-04-01T16:15:39","modified_gmt":"2024-04-01T20:15:39","slug":"intro-to-tropical-bases","status":"publish","type":"post","link":"https:\/\/matroidunion.org\/?p=5403","title":{"rendered":"Intro to Tropical Bases"},"content":{"rendered":"\n

Introduction<\/strong><\/p>\n

In this post, we are going to discuss a bit about the intersection between algebraic geometry and matroid theory. We are all aware that June Huh, in a series of three papers, along with Eric Katz and Karim Adiprasito, developed and extended tools that led to the proof of the Heron\u2013Rota\u2013Welsh unimodality conjecture as well as many other open conjectures [3, 2, 1]. I once asked Huh what type of mathematition he considered himself. I, coming from structural matroid theory, initially viewed his work as a subset of algebraic geometry, but he replied that he viewed himself as a combonatorialist. I have spoken to many other mathematitions who consider themselves matroid theorists, despite not doing structural matroid theory and not having attended the sorts of conferences that I attended as a graduate student doing structural matroid theory. While we will not discuss the tools used to prove the Heron\u2013Rota\u2013Welsh unimodality today, this post is intended to add a bridge to the wide world of matroid theory which makes use of algebraic tools. Of course, many other mathematitions have created tools to help structural matroid theorists understand the type of matroid theory that they do.<\/p>\n


A Combinatorial Description of (Minimal) Tropical Basis<\/strong><\/p>\n

Imagine for a moment that you and a mathematical friend are captured by an scheming matroid theorist (SMT<\/strong>). The SMT<\/strong> explains that they are going to tell you a matroid, and your friend the ground est of the matroid. The two of you will be freed when your friend can reveal the matroid to the SMT<\/strong>. To communicate the matroid, you are allowed to tell your friend one circuit of the matroid a day, and allowed to tell your friend when you are done telling them circuits. Your objective is to come up with a strategy that will define a matroid by a subset of the circuits. Of course, we could list every circuit, but we would like to get out of imprisonment sooner, and hence list less than every circuit.<\/p>\n


We may be tempted, to make use of fact that binary matroids can be completely determined by listing all fundamental circuits with respect to a particular basis. But this requires, not only that we have a binary matroid, but also requires that we have a promise that our matroid is binary.<\/p>\n

For instance, consider the graphic matroid $M(K_4)$, as labeled below. Knowing the fundamental circuits associated with the basis $\\{1, 2, 3\\}$, isn’t enough information to determine if $\\{4, 5, 6\\}$ is a circuit or not. To see this, note that both the wheel and the whirl associated with this graph have circuits $\\{1,2,6\\}$, $\\{1,3,5\\}$, and $\\{2,3,4\\}$.<\/p>\n

\"\"<\/a><\/p>\n

Our strategy will involve giving our friend enough information to determine which subsets of the ground set of $M$ are flats of $M$. Note that knowing that a set $C$ is a circuit of a matroid communicates a number of sets which are not flats of a matroid. For a circuit $C$ of $M$, and a subset $X\\subseteq E(M)$, we say that $C$ excludes<\/strong><\/em> $X$ when $|C-X|=1$. For instance, the circuit ${0,1,2}$ of $U_2,4$ excludes the subsets $\\{\\{0,1\\}, \\{0,2\\}, \\{1,2\\}, \\{0,1,3\\}, \\{0,2,3\\}, \\{1,2,3\\}\\}$. That is, we know that the subsets $\\{\\{0,1\\}, \\{0,2\\}, \\{1,2\\}, \\{0,1,3\\}, \\{0,2,3\\}, \\{1,2,3\\}\\}$ are non-flats of a matroid $M$, just by knowing that $\\{0,1,2\\}$ is a circuit of $M$.<\/p>\n

Example: $U_{2,4}$<\/strong><\/p>\n

Suppose, that the SMT<\/strong> gives us the matroid $M=U_2,4$ on the ground set
$\\{0,1,2,3\\}$. Then the flats and non-flats of $M$ are:<\/p>\n

Flats: $\\emptyset$, $\\{0\\}$, $\\{1\\}$, $\\{2\\}$, $\\{3\\}$, $\\{0,1,2,3\\}$<\/p>\n

Non-Flats: $\\{1,2\\}$, $\\{1,2\\}$, $\\{1,3\\}$, $\\{1,2\\}$, $\\{1,3\\}$, $\\{2,3\\}$, $\\{2,3\\}$, $\\{0,1,2\\}$, $\\{0,1,3\\}$, $\\{1,2,3\\}$<\/p>\n

The circuit $\\{0,1,2\\}$ excludes 6 of the 10 non-flats.
The circuit $\\{0, 1, 3 \\}$ will exclude an additional 3 non-flats, namely the flats $\\{\\{0, 3 \\}, \\{1, 3 \\}, \\{0, 1, 2 \\} \\}$. Finally, the circuit $\\{0, 2, 3\\}$ will exclude the set $\\{2, 3,\\}$.<\/p>\n

Since the collection $\\{ \\{0, 1, 2\\}, \\{0, 1, 3\\}, \\{0, 2, 3\\} \\}$ collectively excludes all the non-flats of $U_{2,4}$, we can give just these three circuits to our friend, and they will be able to determine the matroid.<\/p>\n

Combinatorial Definition and Some Intuition<\/strong><\/p>\n

It is often useful for us to think of subsets of $[n]$ as 0-1 vectors where a vector is identified with its support. That is, a 0-1 vector $(a_0, a_2, \\ldots, a_{n-1}$ represents the subset $\\{x\\in[n]: a_x=1\\}$. For instance, $(1,0,1,0)$ represents the subset ${0,2}$ of $[4]$ because the non-zero entries of $(1,0,1,0)$ occur in the 0th and 2nd entries.<\/p>\n

Let $M$ be a matroid on $\\{0,1,\\ldots, n-1\\}$. We say a circuit $C$ of $M$ excludes<\/b> a vector $x=(x_0, x_2, \\ldots, x_{n-1})\\in\\{0,1\\}^n$ if for exactly one $e\\in C$, the entry $x_e=0$.<\/p>\n

A collection $\\mathscr{C}’\\subset\\mathscr{C}(M)$ is a tropical basis<\/strong><\/em> of $M$ if for every non-flat $S$ of $M$, there is a circuit in $\\mathscr{C}’$ that excludes $S$. This was not the original definition of a tropical basis, but rather was due to Josephine Yu and Debbie S. Yuster [5].<\/p>\n

To test if they understand the definition of a tropical basis, the reader can ask themselves why $\\mathscr{C}$ is always a tropical basis of $M$.<\/p>\n

If $e$ is a loop, then $\\{e\\}$ is in every tropical basis of $M$. To see this, note that
if $e$ is a loop, then $E(M)-e$ is a non-flat of $M$. The only circuit $C$ with $|C-(E-e)|=1$ is $\\{e\\}$.<\/p>\n


For a tropical basis $\\mathscr{C}’$ of $M$,
we say that $\\mathscr{C}’$ is minimal<\/strong><\/em> if
for all $C\\in\\mathscr{C}’$,
the collection $\\mathscr{C}’-C$ is not a tropical basis of $M$.<\/p>\n

We might imagine that all minimal tropical bases of a matroid $M$ would have the same cardinality, but this in not the case. To see this, we will consider different tropical bases on $U_{2,5}$. This example is from Yu and Yuster’s paper [5].<\/p>\n

Example: Minimal Tropical Bases for $U_{2,5}$<\/strong><\/p>\n

The nonflats of $M=U_{2,5}$ consist of all subsets of $\\{0,1,2,3,4\\}$ of size two, three, or four. Let $\\mathscr{C}_1=\\{C\\in\\mathscr{C}: 0\\in C\\}$, and let $\\mathscr{C}_2=\\{ \\{0, 1, 2\\}, \\{0, 1, 3\\}, \\{0, 1, 4\\}, \\{0, 2, 3 \\}, \\{2, 3, 4\\} \\}$. Note that $\\mathscr{C}_1\\cap \\mathscr{C}_2=\\{ \\{0, 1, 2\\}, \\{0, 1, 3\\}, \\{0, 1, 4\\}, \\{0, 2, 3 \\} \\}$. To see that $\\mathscr{C}_1$ and $\\mathscr{C}_2$ are tropical basis, we first note that every non-flat of $M$ besides $\\{2,4\\}$ and $\\{3,4\\}$ is excluded by a circuit in $\\mathscr{C}_1\\cap \\mathscr{C}_2$. Both of these non-flats are excluded by $\\{2,3,4\\}$, so $\\mathscr{C}_2$ is a tropical basis of $M$. Lastly, $\\{2,4\\}$ is excluded by $\\{0,2,3\\}$ but not by $\\{0,3,4\\}$, and $\\{3,4\\}$ is excluded by $\\{0,3,4\\}$ but not by $\\{0,2,3\\}$. So $\\mathscr{C}_1$ is a tropical basis of $M$.<\/p>\n

To see that these Tropical bases are minimal, we note that the set $\\{a,b\\}\\in\\{ \\{1,2\\}, \\{1,3\\}, \\{1,4\\}, \\{2,3\\}\\}$ is excluded by the circuit $\\{0,a,b\\}$, but not by any other circuit in in $\\mathscr{C}_1\\cup\\mathscr{C}_2$.<\/p>\n

Origional Definiton of Tropical Basis<\/strong><\/p>\n

To give the original definition, we must first understand some basic definitions in algebraic geometry. A reader who has no interest in algebraic geometry can safely skip this section.<\/p>\n

A set is a variety<\/strong><\/em>\u00a0if it is the solution set to some system of polynomials. For instance, the types of graphs that we drew in pre-algebra would be varieties over $\\mathbb{R}^2$.<\/p>\n

\"\"<\/a><\/strong>

<\/p>\n

From these examples, one might guess that the union or intersection of two varieties is itself a variety. This turns out to be true.<\/p>\n

The Tropical Semi Ring<\/strong><\/em> is defined by:<\/p>\n

$$\\mathbb{T}=\\{\\mathbb{R}\\cup\\infty,\\oplus,\\odot\\}$$<\/p>\n

$$x\\oplus y=min\\{x,y\\}\\quad\\quad\\quad x\\odot y=x+y$$<\/p>\n

For example, $2\\oplus 7=2$ and $2\\odot 7=9$.
Note that $\\infty$ is the additive identity, and $0$ is the multiplicative identity.<\/p>\n

When working with tropical numbers, generally, $(x-a)=0$ has no solution. Instead, we define a Tropical Variety<\/strong><\/em>\u00a0as the set of points when a polynomial obtains its minimum at least twice.
For example, consider the linear polynomial<\/p>\n

$$f(x,y)=2\\odot x\\oplus 1\\odot y\\oplus 4.$$
The variety of $f$ is equal to the set when $\\min\\{2+x, 1+y, 4\\}$ occurs twice in the set $\\{2+x, 1+y, 4\\}$. When drawing tropical varieties, it can help to begin by drawing in dotted lines when any two monomials have the same value, and then fill in the parts of those dotted lines, when that value achieves the value of the polynomial. In this case, that gives us:<\/p>\n

\"\"<\/a><\/strong>For a linear polynomial $f$, we call the tropical variety associated with $f$ a tropical hyperplane<\/strong><\/em>.<\/p>\n

Now, for a circuit $C$ of a matroid $M$, define
$f_C(\\vec{v})=\\bigoplus_{e\\in E} c_e\\odot x_e$, where
$c_e=
\\begin{cases}
0 & e\\in C \\\\
1 & e\\not\\in C
\\end{cases}.
$<\/p>\n

For example, if we take $M=U_{2,5}$ and $C=\\{1,2,3\\}$, then
$$f_C=(0\\odot x_1)\\oplus (0\\odot x_2)\\oplus (0\\odot x_3)\\oplus (\\infty\\odot x_4)\\oplus (\\infty\\odot x_5).$$<\/p>\n

Consider the non-flat $\\{1,2,4\\}$ as an indicator vector $(1,1,0,1,0)$.
We compute $f_C(1,1,0,1,0)=(0\\odot 1)\\oplus (0\\odot 1)\\oplus (0\\odot 0)\\oplus (\\infty\\odot 1)\\oplus (\\infty\\odot 0).$<\/p>\n

The $min\\{0+1,0+1,0+0,\\infty + 1, \\infty +0\\}$ achieves it’s minimum only once, so $(1,1,0,1,0)$ is not in the tropical hyperplane associated with $\\{1,2,4\\}$.<\/p>\n

We denote the tropical hyperplane associated with $f_C$ as $T(C)$. That is, $T(C)$ is the space of all vectors $v$ where $f_C(v)$ achieves it’s minimum twice.<\/p>\n

For $\\mathscr{C}’\\subseteq\\mathscr{C}(M)$, we define $T(\\mathscr{C}’)$ as $\\bigcap_{C\\in\\mathscr{C}}’T(C)$.
A set $\\mathscr{C}’\\subseteq\\mathscr{C}$ is a tropical basis<\/strong><\/em> for $M$ if $T(\\mathscr{C}’)=T(\\mathscr{C})$.<\/p>\n


Lemma<\/strong>[5]
For any $\\mathscr{C}’\\subseteq \\mathscr{C}$,<\/p>\n

$$T(\\mathscr{C}’)\\cap\\{0,1\\}^n=T(\\mathscr{C})\\cap\\{0,1\\}^n$$ if and only if $$T(\\mathscr{C}’)=T(\\mathscr{C}).$$<\/p>\n

Before we give the proof of this lemma, it is important to note that this lemma is the essential reason why we are able to use the combinatorial definition of a tropical basis. Intersecting spaces with indicator vectors allows us to only consider the vectors which can be viewed as as subsets of the ground set of a matroid.<\/p>\n

Proof<\/strong>
Of course $T(\\mathscr{C})\\subseteq T(\\mathscr{C}’)$. So suppose that $x \\in T(\\mathscr{C}’)-T(\\mathscr{C})$. We need to find an $\\tilde{x}\\in (T(\\mathscr{C}’)\\cap\\{0,1\\}^n)-(T(\\mathscr{C})\\cap\\{0,1\\}^n)$.<\/p>\n

Since $x\\not\\in T(\\mathscr{C})$, there is some circuit $C_x\\in \\mathscr{C}$, that excludes $x$, that is $\\{x_i:i\\in C_x\\}$ has a unique minimum $m$.<\/p>\n

\\[\\tilde{x}= \\begin{cases}
1 & \\text{if } x_i>m\\\\
0 & \\text{if } x_i \\leq m.
\\end{cases}
\\]<\/p>\n

$\\tilde{x}$ is excluded by $C_x$ because $\\{\\tilde{x}_i:i\\in C_x\\}$ achieves it’s minimum exactly when $\\{x_i:i\\in C_x\\}$ has its unique minimum. So $\\tilde{x}$ is not in $T(\\mathscr{C})$. For any circuit $D$ where $\\{x_i:i\\in D\\}$ achieves its minimum twice, so does $\\{\\tilde{x}_i:i\\in D\\}$. So no circuit of $\\mathscr{C}’$ excludes $\\tilde{x}$. \u2666<\/p>\n

Open Questions<\/strong><\/p>\n

People have been interested in finding canonical minimal tropical bases for common classes of matroids. In particular, Yu and Yuster [5] asked as an open question to find a minimal tropical basis for an arbitrary transversal matroid. They gave a rather nice description o a canonical minimal tropical basis for uniform matroids.<\/p>\n

Yu and Yuster [5] also showed that graphic matroids, cographic matroids, and $R_{10}$ have unique minimal tropical basis. They hypothesised that all regular matroids would have a unique minimal tropical basis. In fact, Yasuhito Nakajima [4] showed that all binary matroids have a unique minimal tropical basis.<\/p>\n

Nakajima [4] also showed that having a unique minimal tropical basis was not closed under taking minors. The example that they gave also shows that some non-binary matroids have a unique minimal tropical basis.<\/p>\n

\"\"<\/a><\/strong><\/p>\n

It would be nice to have a characterization of which matroids had a unique minimal tropical basis.<\/p>\n

\u00a0<\/p>\n

References<\/span><\/h1>\n

[1] Karim Adiprasito, June Huh, and Eric Katz,<\/span> Hodge theory for combinatorial geometries<\/span>, Annals <\/span>of Mathematics<\/span> 188<\/span> (2018), 381\u2013452.<\/span><\/div>\n

[2] June Huh,<\/span> Milnor numbers of projective hypersurfaces and the chromatic polynomial of graphs<\/span>,<\/span>Journal of the American Mathematical Society<\/span> 25<\/span> (2012), 907\u2013927.<\/span><\/div>\n

[3] June Huh and Eric Katz,<\/span> Log-concavity of characteristic polynomials and the Bergman fan of <\/span>matroids<\/span>, Mathematische Annalen<\/span> 354<\/span> (2012), 1103\u20131116.<\/span><\/div>\n

[4] Yasuhito<\/span> Nakajima,<\/span> Minimal<\/span> tropical<\/span> basis<\/span> for<\/span> Bergman<\/span> fan<\/span> of<\/span> matroid<\/span>,<\/span> arXiv<\/span>
preprint<\/span> arXiv:1901.06893<\/span> (2019),<\/span> https:\/\/arxiv.org\/abs\/1901.06893<\/span>,<\/span> doi:<\/span>
10.48550\/arXiv.1901.06893,<\/span> Submitted on 21 Jan 2019 (v1),<\/span> last revised 21 Feb 2019 (this<\/span>
version, v2).<\/span><\/div>\n

[5] Josephine Yu (UC Berkeley) and Debbie S. Yuster (Columbia University),<\/span> Representing trop-<\/span>
ical linear spaces by circuits<\/span>, arXiv:math\/0611579 [math.CO],<\/span> https:\/\/arxiv.org\/abs\/math\/<\/span>
0611579<\/span>, doi: 10.48550\/arXiv.math\/0611579.<\/span><\/div>\n
\u00a0<\/div>\n

\u00a0<\/p>\n

\u00a0<\/p>\n","protected":false},"excerpt":{"rendered":"

Introduction In this post, we are going to discuss a bit about the intersection between algebraic geometry and matroid theory. We are all aware that June Huh, in a series of three papers, along with Eric Katz and Karim Adiprasito, … Continue reading →<\/span><\/a><\/p>\n","protected":false},"author":23,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[1],"tags":[],"class_list":["post-5403","post","type-post","status-publish","format-standard","hentry","category-matroids"],"_links":{"self":[{"href":"https:\/\/matroidunion.org\/index.php?rest_route=\/wp\/v2\/posts\/5403","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/matroidunion.org\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/matroidunion.org\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/matroidunion.org\/index.php?rest_route=\/wp\/v2\/users\/23"}],"replies":[{"embeddable":true,"href":"https:\/\/matroidunion.org\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=5403"}],"version-history":[{"count":20,"href":"https:\/\/matroidunion.org\/index.php?rest_route=\/wp\/v2\/posts\/5403\/revisions"}],"predecessor-version":[{"id":5434,"href":"https:\/\/matroidunion.org\/index.php?rest_route=\/wp\/v2\/posts\/5403\/revisions\/5434"}],"wp:attachment":[{"href":"https:\/\/matroidunion.org\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=5403"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/matroidunion.org\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=5403"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/matroidunion.org\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=5403"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}