A geometric proof for the root-independence of the greedoid polynomial of Eulerian branching greedoids

Lilla Tóthmérész

DOI: https://doi.org/10.1016/j.jcta.2024.105891

2024-04-11

Abstract:We define the root polytope of a regular oriented matroid, and show that the greedoid polynomial of an Eulerian branching greedoid rooted at vertex $v_0$ is equivalent to the $h^*$-polynomial of the root polytope of the dual of the graphic matroid.

Mathematics

What problem does this paper attempt to address?

A geometric proof for the root-independence of the greedoid polynomial of Eulerian branching greedoids

Lilla Tóthmérész

DOI: https://doi.org/10.1016/j.jcta.2024.105891

IF: 1.263

2024-04-07

Journal of Combinatorial Theory Series A

Abstract:We define the root polytope of a regular oriented matroid, and show that the greedoid polynomial of an Eulerian branching greedoid rooted at vertex v0 is equivalent to the h⁎ -polynomial of the root polytope of the dual of the graphic matroid. As the definition of the root polytope is independent of the vertex v0 , this gives a geometric proof for the root-independence of the greedoid polynomial for Eulerian branching greedoids, a fact which was first proved by Swee Hong Chan, Kévin Perrot and Trung Van Pham using sandpile models. We also obtain that the greedoid polynomial does not change if we reverse every edge of an Eulerian digraph.

mathematics
The complexity of the greedoid Tutte polynomial

Christopher Knapp,Steven Noble

2023-09-09

Abstract:We consider the Tutte polynomial of three classes of greedoids: those arising from rooted graphs, rooted digraphs and binary matrices. We establish the computational complexity of evaluating each of these polynomials at each fixed rational point (x,y). In each case we show that evaluation is #P-hard except for a small number of exceptional cases when there is a polynomial time algorithm. In the binary case, establishing #P-hardness along one line relies on Vertigan's unpublished result on the complexity of counting bases of a matroid. For completeness, we include an appendix providing a proof if this result.

Combinatorics
On trees with real rooted independence polynomial

Ferenc Bencs

DOI: https://doi.org/10.48550/arXiv.1703.05409

2017-03-16

Abstract:The independence polynomial of a graph $G$ is \[I(G,x)=\sum\limits_{k\ge 0}i_k(G)x^k,\] where $i_k(G)$ denotes the number of independent sets of $G$ of size $k$ (note that $i_0(G)=1$). In this paper we show a new method to prove real-rootedness of the independence polynomials of certain families of trees. In particular we will give a new proof of the real-rootedness of the independence polynomials of centipedes (Zhu's theorem), caterpillars (Wang and Zhu's theorem), and we will prove a conjecture of Galvin and Hilyard about the real-rootedness of the independence polynomial of the so-called Fibonacci trees.

Combinatorics
Degrees of interior polynomials and parking function enumerators

Tamás Kálmán,Lilla Tóthmérész

2024-04-23

Abstract:The interior polynomial of a directed graph is defined as the $h^*$-polynomial of the graph's (extended) root polytope, and it displays several attractive properties. Here we express its degree in terms of the minimum cardinality of a directed join, and give a formula for the leading coefficient. We present natural generalizations of these results to oriented regular matroids; in the process we also give a facet description for the extended root polytope of a regular oriented matroid. By duality, our expression for the degree of the interior polynomial implies a formula for the degree of the parking function enumerator of an Eulerian directed graph (which is equivalent to the greedoid polynomial of the corresponding branching greedoid). We extend that result to obtain the degree of the parking function enumerator of an arbitrary rooted directed graph in terms of the minimum cardinality of a certain type of feedback arc set.

Combinatorics
Two faces of greedy leaf removal procedure on graphs

Jin-Hua Zhao,Hai-Jun Zhou

DOI: https://doi.org/10.1088/1742-5468/ab2cca

2019-08-08

Abstract:The greedy leaf removal (GLR) procedure on a graph is an iterative removal of any vertex with degree one (leaf) along with its nearest neighbor (root). Its result has two faces: a residual subgraph as a core, and a set of removed roots. While the emergence of cores on uncorrelated random graphs was solved analytically, a theory for roots is ignored except in the case of Erdös-Rényi random graphs. Here we analytically study roots on random graphs. We further show that, with a simple geometrical interpretation and a concise mean-field theory of the GLR procedure, we reproduce the zero-temperature replica symmetric estimation of relative sizes of both minimal vertex covers and maximum matchings on random graphs with or without cores.

Social and Information Networks
Total positivity of some polynomial matrices that enumerate labeled trees and forests. II. Rooted labeled trees and partial functional digraphs

Xi Chen,Alan D. Sokal

DOI: https://doi.org/10.1016/j.aam.2024.102703

2024-04-23

Abstract:We study three combinatorial models for the lower-triangular matrix with entries $t_{n,k} = \binom{n}{k} n^{n-k}$: two involving rooted trees on the vertex set $[n+1]$, and one involving partial functional digraphs on the vertex set $[n]$. We show that this matrix is totally positive and that the sequence of its row-generating polynomials is coefficientwise Hankel-totally positive. We then generalize to polynomials $t_{n,k}(y,z)$ that count improper and proper edges, and further to polynomials $t_{n,k}(y,\mathbf{\phi})$ in infinitely many indeterminates that give a weight $y$ to each improper edge and a weight $m! \, \phi_m$ for each vertex with $m$ proper children. We show that if the weight sequence $\mathbf{\phi}$ is Toeplitz-totally positive, then the two foregoing total-positivity results continue to hold. Our proofs use production matrices and exponential Riordan arrays.

Combinatorics,Classical Analysis and ODEs
Eulerian Polynomials for Digraphs

Kyle Celano,Nicholas Sieger,Sam Spiro

2023-09-19

Abstract:Given an $n$-vertex digraph $D$ and a labeling $\sigma:V(D)\to [n]$, we say that an arc $u\to v$ of $D$ is a descent of $\sigma$ if $\sigma(u)>\sigma(v)$. Foata and Zeilberger introduced a generating function $A_D(t)$ for labelings of $D$ weighted by descents, which simultaneously generalizes both Eulerian polynomials and Mahonian polynomials. Motivated by work of Kalai, we look at problems related to $-1$ evaluations of $A_D(t)$. In particular, we give a combinatorial interpretation of $|A_D(-1)|$ in terms of "generalized alternating permutations" whenever the underlying graph of $D$ is bipartite.

Combinatorics
Root polytopes and growth series of root lattices

Federico Ardila,Matthias Beck,Serkan Hosten,Julian Pfeifle,Kim Seashore

DOI: https://doi.org/10.48550/arXiv.0809.5123

2008-09-30

Abstract:The convex hull of the roots of a classical root lattice is called a root polytope. We determine explicit unimodular triangulations of the boundaries of the root polytopes associated to the root lattices A_n, C_n, and D_n, and compute their f-and h-vectors. This leads us to recover formulae for the growth series of these root lattices, which were first conjectured by Conway-Mallows-Sloane and Baake-Grimm and proved by Conway-Sloane and Bacher-de la Harpe-Venkov.

Combinatorics,Commutative Algebra
Symmetric decompositions, triangulations and real-rootedness

Christos A. Athanasiadis,Eleni Tzanaki

DOI: https://doi.org/10.48550/arXiv.2103.03639

2021-03-05

Abstract:Polynomials which afford nonnegative, real-rooted symmetric decompositions have been investigated recently in algebraic, enumerative and geometric combinatorics. Brändén and Solus have given sufficient conditions under which the image of a polynomial under a certain operator associated to barycentric subdivision has such a decomposition. This paper gives a new proof of their result which generalizes to subdivision operators in the setting of uniform triangulations of simplicial complexes, introduced by the first named author. Sufficient conditions under which these decompositions are also interlacing are described. Applications yield new classes of polynomials in geometric combinatorics which afford nonnegative, real-rooted symmetric decompositions. Some interesting questions in $f$-vector theory arise from this work.

Combinatorics
Root geometry of polynomial sequences I: Type $(0,1)$

J. L. Gross,T. Mansour,T. W. Tucker,D. G. L. Wang,J.L. Gross,T.W. Tucker,D.G.L. Wang

DOI: https://doi.org/10.48550/arXiv.1501.06107

2015-01-25

Combinatorics

Abstract:This paper is concerned with the distribution in the complex plane of the roots of a polynomial sequence $\{W_n(x)\}_{n\ge0}$ given by a recursion $W_n(x)=aW_{n-1}(x)+(bx+c)W_{n-2}(x)$, with $W_0(x)=1$ and $W_1(x)=t(x-r)$, where $a>0$, $b>0$, and $c,t,r\in\mathbb{R}$. Our results include proof of the distinct-real-rootedness of every such polynomial $W_n(x)$, derivation of the best bound for the zero-set $\{x\mid W_n(x)=0\ \text{for some $n\ge1$}\}$, and determination of three precise limit points of this zero-set. Also, we give several applications from combinatorics and topological graph theory.
The Polymatroid Representation of a Greedoid, and Associated Galois Connections

Robert Streit,Vijay K. Garg

2024-11-23

Abstract:The greedoid is a significant abstraction of the matroid allowing for a more flexible analysis of structures in which the greedy algorithm "works." However, their diverse structure imposes difficulties towards their application in combinatorial optimization [Sze21]. In response, we revisit the polymatroid greedoid [KL85a] to characterize it by properties approximating those of matroids, by using the submodularity of its polymatroid representation in particular. Towards doing so, our main contribution is a full description of this class. Specifically, we show that a greedoid is a polymatroid greedoid if and only if it is an optimistic interval greedoid whose kernels are closed under intersection. This constitutes the first necessary and sufficient characterization of the polymatroid greedoid in terms of its combinatorial attributes, thereby resolving a central open question of Korte and Lovász [KL85a]. Here, we introduce the optimism property to approximate properties of a matroid's continuations which are implied by the closure axioms of its span, which no longer hold for greedoids. And, because the kernels of an interval greedoid are in many ways an extension of a matroid's closed sets, our direction of necessity is a direct generalization of Birkhoff and Edmond's characterization of the meet in the lattice of a matroid's closed sets [Bir35, Edm03]. Towards achieving this result, our main technical insights arise from relating the lattice of flats of a polymatroid greedoid to that of the closed sets of its representation through order preserving mappings. Specifically, we will show the novel insight that the notion of polymatroid representation considered in [KL85a] is equivalent to the existence of a certain Galois connection. As a consequence, the representation of a greedoid via a polymatroid is an order theoretic concept in disguise.

Combinatorics,Discrete Mathematics,Data Structures and Algorithms
Totally nonnegative matrices, chain enumeration and zeros of polynomials

Petter Brändén,Leonardo Saud Maia Leite

2024-12-09

Abstract:We prove that any lower triangular and totally nonnegative matrix whose diagonal entries are all equal to one gives rise to a family real-rooted polynomials. This is used to develop a general theory for proving that chain polynomials of rank uniform posets are real-rooted. The results obtained extend and unify results of the first author, Brenti, Welker and Athanasiadis. In the process we define a notion of $h$-vectors for a large class of posets which generalize the $h$-vectors commonly associated to simplicial and cubical complexes. This answers a question of Alder on defining a $h$-vectors for $q$-posets. A consequence of our methods is a characterization of the convex hull of all characteristic polynomials of hyperplane arrangements of fixed dimension and over a fixed finite field. This may be seen as a refinement of the critical problem of Crapo and Rota. We also use the methods developed to answer an open problem posed by Forgács and Tran on the real-rootedness of polynomials arising from certain bivariate rational functions.

Combinatorics
Graph minors, Ehrhart theory, and a monotonicity property

Tamás Kálmán,Lilla Tóthmérész

2024-09-28

Abstract:We study the extended root polytope associated to a directed graph. We show that under the operations of deletion and contraction of an edge of the digraph, none of the coefficients of the $h^*$-polynomial of its associated lattice polytope will increase.

Combinatorics
Monoid algebras and graph products

Wilfried Imrich,Igor Klep,Daniel Smertnig

2024-07-03

Abstract:In this note, we extend results about unique $n^{\textrm{th}}$ roots and cancellation of finite disconnected graphs with respect to the Cartesian, the strong and the direct product, to the rooted hierarchical products, and to a modified lexicographic product. We show that these results also hold for graphs with countably many finite connected components, as long as every connected component appears only finitely often (up to isomorphism). The proofs are via monoid algebras and generalized power series rings.

Combinatorics
Tutte polynomial, subgraphs, orientations and sandpile model: new connections via embeddings

Olivier Bernardi

DOI: https://doi.org/10.48550/arXiv.math/0612003

2006-12-01

Abstract:For any graph G with n edges, the spanning subgraphs and the orientations of G are both counted by the evaluation T_G(2,2)=2^n of its Tutte polynomial. We define a bijection $\Phi$ between spanning subgraphs and orientations and explore its enumerative consequences regarding the Tutte polynomial. The bijection $\Phi$ is closely related to a recent characterization of the Tutte polynomial relying on a combinatorial embedding of the graph G, that is, on a choice of cyclic order of the edges around each vertex. Among other results, we obtain a combinatorial interpretation for each of the evaluations T_G(i,j), 0\leq i,j \leq 2 of the Tutte polynomial in terms of orientations. The strength of our approach is to derive all these interpretations by specializing the bijection $\Phi$ in various ways. For instance, we obtain a bijection between the connected subgraphs of G (counted by T_G(1,2)) and the root-connected orientations. We also obtain a bijection between the forests (counted by T_G(2,1)) and outdegree sequences which specializes into a bijection between spanning trees (counted by T_G(1,1)) and root-connected outdegree sequences. We also define a bijection between spanning trees and recurrent configurations of the sandpile model. Combining our results we obtain a bijection between recurrent configurations and root-connected outdegree sequences which leaves the configurations at level 0 unchanged.

Combinatorics
An algebraic interpretation of Eulerian polynomials, derangement polynomials, and beyond, via Gröbner methods

Basile Coron

2024-10-18

Abstract:Motivated by the question of whether Chow polynomials of matroids have only real roots, this article revisits the known relationship between Eulerian polynomials and the Hilbert series of Chow rings of permutohedral varieties. This is done using a quadratic Gröbner basis associated to a new presentation of those rings, which is obtained by iterating the semi-small decomposition of Chow rings of matroids. This Gröbner basis can also be applied to compute certain principal ideals in these rings, and ultimately reestablish the known connection between derangement polynomials and the Hilbert series of Chow rings for corank 1 uniform matroids. More broadly, this approach enables us to express the Hilbert series of Chow rings for any uniform matroid as polynomials related to the ascent statistics on particular sets of inversion sequences.

Combinatorics
Rooted partitions and number-theoretic functions

Bruce E. Sagan

DOI: https://doi.org/10.1007/s11139-023-00821-2

2024-02-01

The Ramanujan Journal

Abstract:Recently, Merca and Schmidt proved a number of identities relating partitions of an integer with two classic number-theoretic functions, namely the Möbius function and Euler's totient function. Their demonstrations were mainly algebraic. We give bijective proofs of some of these results. Our main tools are the concept of a rooted partition and an operation which we call the direct sum, which combines a partition and a rooted partition.

mathematics
Proof of a Conjecture Involving Derangements and Roots of Unity.

Han Wang,Zhi-Wei Sun

DOI: https://doi.org/10.37236/11377

2023-01-01

The Electronic Journal of Combinatorics

Abstract:Let $n>1$ be an odd integer, and let $\zeta$ be a primitive $n$th root of unity in the complex field. Via the Eigenvector-eigenvalue Identity, we show that$$\sum_{\tau\in D(n-1)}\mathrm{sign}(\tau)\prod_{j=1}^{n-1}\frac{1+\zeta^{j-\tau(j)}}{1-\zeta^{j-\tau(j)}}=(-1)^{\frac{n-1}{2}}\frac{((n-2)!!)^2}{n},$$where $D(n-1)$ is the set of all derangements of $1,\ldots,n-1$.This confirms a previous conjecture of Z.-W. Sun. Moreover, for each $\delta=0,1$ we determine the value of $\det[x+m_{jk}]_{1\leqslant j,k\leqslant n-1}$ completely, where$$m_{jk}=\begin{cases}(1+\zeta^{j-k})/(1-\zeta^{j-k})&\text{if}\ j\not=k,\\\delta&\text{if}\ j=k.\end{cases}$$
Vertex-shellings of Euclidean Oriented Matroids

Winfried Hochstättler,Michael Wilhelmi

2023-06-12

Abstract:We prove that a lexicographical extension of a Euclidean oriented matroid remains Euclidean. Based on that result we show that in a Euclidean oriented matroid program there exists a topological sweep inducing a recursive atom-ordering (a shelling of the cocircuits) of the tope cell of the feasible region. We extend that sweep and obtain also a vertex-shelling of the whole oriented matroid and finally describe some connections to the notion of stackable zontope tilings and to a counterexample of a conjecture of A. Mandel.

Combinatorics
On the Ehrhart Theory of Generalized Symmetric Edge Polytopes

Robert Davis,Akihiro Higashitani,Hidefumi Ohsugi

2024-03-07

Abstract:The symmetric edge polytope (SEP) of a (finite, undirected) graph is a centrally symmetric lattice polytope whose vertices are defined by the edges of the graph. SEPs have been studied extensively in the past twenty years. Recently, Tóthmérész and, independently, D'Alí, Juhnke-Kubitzke, and Koch generalized the definition of an SEP to regular matroids, as these are the matroids that can be characterized by totally unimodular matrices. Generalized SEPs are known to have symmetric Ehrhart $h^*$-polynomials, and Ohsugi and Tsuchiya conjectured that (ordinary) SEPs have nonnegative $\gamma$-vectors.

Combinatorics

A geometric proof for the root-independence of the greedoid polynomial of Eulerian branching greedoids

A geometric proof for the root-independence of the greedoid polynomial of Eulerian branching greedoids

The complexity of the greedoid Tutte polynomial

On trees with real rooted independence polynomial

Degrees of interior polynomials and parking function enumerators

Two faces of greedy leaf removal procedure on graphs

Total positivity of some polynomial matrices that enumerate labeled trees and forests. II. Rooted labeled trees and partial functional digraphs

Eulerian Polynomials for Digraphs

Root polytopes and growth series of root lattices

Symmetric decompositions, triangulations and real-rootedness

Root geometry of polynomial sequences I: Type $(0,1)$

The Polymatroid Representation of a Greedoid, and Associated Galois Connections

Totally nonnegative matrices, chain enumeration and zeros of polynomials

Graph minors, Ehrhart theory, and a monotonicity property

Monoid algebras and graph products

Tutte polynomial, subgraphs, orientations and sandpile model: new connections via embeddings

An algebraic interpretation of Eulerian polynomials, derangement polynomials, and beyond, via Gröbner methods

Rooted partitions and number-theoretic functions

Proof of a Conjecture Involving Derangements and Roots of Unity.

Vertex-shellings of Euclidean Oriented Matroids

On the Ehrhart Theory of Generalized Symmetric Edge Polytopes