polynomial
11422 papers tagged with this keyword
Intersection theory of matroids: variations on a theme
Published
• View Publication
• BIB
Chow rings of toric varieties, which originate in intersection theory, feature a rich combinatorial structure of independent interest. We survey four different ways of computing in these rings, due to Billera, Brion, Fulton--Sturmfels, and Allermann--Rau. We illustrate the beauty and power of these methods by giving four proofs of Huh and Huh--Katz's formula $μ^k(M) = deg_M(α^{r-k} β^k)$ for the coefficients of the reduced characteristic polynomial of a matroid $M$ as the mixed intersection numbers of the hyperplane and reciprocal hyperplane classes $α$ and $β$ in the Chow ring of $M$. Each of these proofs sheds light on a different aspect of matroid combinatorics, and provides a framework for further developments in the intersection theory of matroids. Our presentation is combinatorial, and does not assume previous knowledge of toric varieties, Chow rings, or intersection theory.
Quantum state systems that count perfect matchings
In this paper we show how to categorify the $n$-color vertex polynomial, which is based upon one of Roger Penrose's formulas for counting the number of $3$-edge colorings of a planar trivalent graph. Using topological quantum field theory (TQFT), we introduce a quantum state system to build a new bigraded theory called the bigraded $n$-color vertex homology. The graded Euler characteristic of this homology is the $n$-color vertex polynomial. We then produce a spectral sequence whose $E_\infty$-page is a filtered theory called filtered $n$-color vertex homology and show that it is generated by certain types of face colorings of ribbon graphs. For $n=2$, we show that the filtered $n$-color vertex homology is generated by face colorings that correspond to perfect matchings. Finally, we introduce and give meaning to what the vertex polynomial counts when $n \geq 2$. This polynomial is a new abstract graph invariant that can be inferred from certain formulas of Penrose.
Shuffle theorems and sandpiles
We provide an explicit description of the recurrent configurations of the sandpile model on a family of graphs $\widehat{G}_{μ,ν}$, which we call clique-independent graphs, indexed by two compositions $μ$ and $ν$. Moreover, we define a delay statistic on these configurations, and we show that, together with the usual level statistic, it can be used to provide a new combinatorial interpretation of the celebrated shuffle theorem of Carlsson and Mellit. More precisely, we will see how to interpret the polynomials $\langle \nabla e_n, e_μh_ν\rangle$ in terms of these configurations.
Incidence bounds via extremal graph theory
The study of counting point-hyperplane incidences in the $d$-dimensional space was initiated in the 1990's by Chazelle and became one of the central problems in discrete geometry. It has interesting connections to many other topics, such as additive combinatorics and theoretical computer science. Assuming a standard non-degeneracy condition, i.e., that no $s$ points are contained in the intersection of $s$ hyperplanes, the currently best known upper bound on the number of incidences of $m$ points and $n$ hyperplanes in $\mathbb{R}^d$ is $$O_{d, s}((mn)^{1-1/(d+1)}+m+n).$$ This bound by Apfelbaum and Sharir is based on geometrical space partitioning techniques, which apply only over the real numbers.
In this paper, we propose a novel combinatorial approach to study such incidence problems over arbitrary fields. Perhaps surprisingly, this approach matches the best known bounds for point-hyperplane incidences in $\mathbb{R}^d$ for many interesting values of $m, n, d$, e.g. when $m=n$ and $d$ is odd. Moreover, in finite fields our bounds are sharp as a function of $m$ and $n$ in every dimension. We also study the size of the largest complete bipartite graph in point-hyperplane incidence graphs with a given number of edges and obtain optimal bounds as well.
Additionally, we study point-variety incidences and unit-distance problem in finite fields, and give tight bounds for both problems under a similar non-degeneracy assumption. We also resolve Zarankiewicz type problems for algebraic graphs. Our proofs use tools such as induced Turán problems, VC-dimension theory, evasive sets and Hilbert polynomials. Also, we extend the celebrated result of Rónyai, Babai and Ganapathy on the number of zero-patterns of polynomials to the context of varieties, which might be of independent interest.
Categorical valuative invariants of polyhedra and matroids
Published
• View Publication
• BIB
We introduce the notion of a categorical valuative invariant of polyhedra or matroids, in which alternating sums of numerical invariants are replaced by split exact sequences in an additive category. We provide categorical lifts of a number of valuative invariants of matroids, including the Poincare polynomial, the Chow and augmented Chow polynomials, and certain two-variable extensions of the Kazhdan--Lusztig polynomial and Z-polynomial. These lifts allow us to perform calculations equivariantly with respect to automorphism groups of matroids.
Counting edges in factorization graphs of numerical semigroup elements
Published in Involve 18 (2025) 861-871
• View Publication
• BIB
A numerical semigroup $S$ is an additively-closed set of non-negative integers, and a factorization of an element $n$ of $S$ is an expression of $n$ as a sum of generators of $S$. It is known that for a given numerical semigroup $S$, the number of factorizations of $n$ coincides with a quasipolynomial (that is, a polynomial whose coefficients are periodic functions of $n$). One of the standard methods for computing certain semigroup-theoretic invariants involves assembling a graph or simplicial complex derived from the factorizations of $n$. In this paper, we prove that for two such graphs (which we call the factorization support graph and the trade graph), the number of edges coincides with a quasipolynomial function of $n$, and identify the degree, period, and leading coefficient of each. In the process, we uncover a surprising geometric connection: a combinatorially-assembled cubical complex that is homeomorphic to real projective space.
General position polynomials
A subset of vertices of a graph $G$ is a general position set if no triple of vertices from the set lie on a common shortest path in $G$. In this paper we introduce the general position polynomial as $\sum_{i \geq 0} a_i x^i$, where $a_i$ is the number of distinct general position sets of $G$ with cardinality $i$. The polynomial is considered for several well-known classes of graphs and graph operations. It is shown that the polynomial is not unimodal in general, not even on trees. On the other hand, several classes of graphs, including Kneser graphs $K(n,2)$, with unimodal general position polynomials are presented.
On the stabilizer of the graph of linear functions over finite fields
Published
• View Publication
• BIB
In this paper we will study the action of $\mathbb{F}_{q^n}^{2 \times 2}$ on the graph of an $\mathbb{F}_q$-linear function of $\mathbb{F}_{q^n}$ into itself. In particular we will see that, under certain combinatorial assumptions, its stabilizer (together with the sum and product of matrices) is a field. We will also see some examples for which this does not happen. Moreover, we will establish a connection between such a stabilizer and the right idealizer of the rank-metric code defined by the linear function and give some structural results in the case in which the polynomials are partially scattered.
On the Structure and Generators of the $n$th-order Chromatic Algebra
This work investigates the intrinsic properties of the chromatic algebra, introduced by Fendley and Krushkal as a framework to study the chromatic polynomial. We prove that the dimension of the $n$th-order chromatic algebra is the $2n$th Riordan number, which exhibits exponential growth. We find a generating set of size $\binom{n}{2}$, and we provide a procedure to construct the basis from the generating set. We additionally provide proofs for fundamental facts about this algebra that appear to be missing from the literature. These include determining a representation of the chromatic algebra as noncrossing planar partitions and expanding the chromatic relations to include an edge case.
The volume polynomial of lattice polygons
Published
• View Publication
• BIB
We prove that every indefinite quadratic form with non-negative integer coefficients is the volume polynomial of a pair of lattice polygons. This solves the discrete version of the Heine-Shephard problem for two bodies in the plane. As an application, we show how to construct a pair of planar tropical curves (or a pair of divisors on a toric surface) with given intersection number and self-intersection numbers.
Elephant polynomials
In this note, we study a family of polynomials that appear naturally when analysing the characteristic functions of the one-dimensional elephant random walk. These polynomials depend on a memory parameter $p$ attached to the model. For certain values of $p$, these polynomials specialise to classical polynomials, such as the Chebychev polynomials in the simplest case, or generating polynomials of various combinatorial triangular arrays (e.g.\ Eulerian numbers). Although these polynomials are generically non-orthogonal (except for $p=\frac{1}{2}$ and $p=1$), they have interlacing roots. Finally, we relate some algebraic properties of these polynomials to the probabilistic behaviour of the elephant random walk. Our methods are reminiscent of classical orthogonal polynomial theory and are elementary.
Castelnuovo-Mumford regularity of the closed neighborhood ideal of a graph
Published in Journal of Algebraic Combinatorics, 61(1), 2025
• View Publication
• BIB
Let $G$ be a finite simple graph and let $NI(G)$ denote the closed neighborhood ideal of $G$ in a polynomial ring $R$. We show that if $G$ is a forest, then the Castelnuovo-Mumford regularity of $R/NI(G)$ is the same as the matching number of $G$, thus proving a conjecture of Sharifan and Moradi in the affirmative. We also show that the matching number of $G$ provides a lower bound for the Castelnuovo-Mumford regularity of $R/NI(G)$ for any $G$. Furthermore, we prove that, if $G$ contains a simplicial vertex, then $NI(G)$ admits a Betti splitting, and consequently, we show that the projective dimension of $R/NI(G)$ is also bounded below by the matching number of $G$, if $G$ is a forest or a unicyclic graph.
A categorification for the partial-dual genus polynomial
Published
• View Publication
• BIB
The partial-dual genus polynomial $^\partial\varepsilon_G(z)$ of a ribbon graph $G$ is the generating function that enumerates all partial duals of $G$. In this paper, we give a categorification for this polynomial. The key ingredient of the construction is an extended Frobenius algebra related to unoriented topological quantum field theory.
Cost Allocation for Set Covering: the Happy Nucleolus
Published
• View Publication
• BIB
We consider cost allocation for set covering problems. We allocate as much cost to the elements (players) as possible without violating the group rationality condition (no subset of players pays more than covering this subset would cost), and so that the excess vector is lexicographically maximized. This is identical to the well-known nucleolus if the core of the corresponding cooperative game is nonempty, i.e., if some optimum fractional cover is integral. In general, we call this the 'happy nucleolus'. Like for the nucleolus, the excess vector contains an entry for every subset of players, not only for the sets in the given set covering instance. Moreover, it is NP-hard to compute a single entry because this requires solving a set covering problem. Nevertheless, we give an explicit family of at most $mn$ subsets, each with a trivial cover (by a single set), such that the happy nucleolus is always completely determined by this proxy excess vector; here $m$ and $n$ denote the number of sets and the number of players in our set covering instance. We show that this is the unique minimal such family in a natural sense. While computing the nucleolus for set covering is NP-hard, our results imply that the happy nucleolus can be computed in polynomial time.
On the Ehrhart Theory of Generalized Symmetric Edge Polytopes
Published
• View Publication
• BIB
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, which are the matroids that can be represented by totally unimodular matrices. Generalized SEPs are known to have symmetric Ehrhart $h^*$-polynomials, and Ohsugi and Tsuchiya conjectured that (ordinary) SEPs have nonnegative $γ$-vectors.
In this article, we use combinatorial and Gröbner basis techniques to extend additional known properties of SEPs to generalized SEPs. Along the way, we show that generalized SEPs are not necessarily $γ$-nonnegative by providing explicit examples. We prove that the polytopes we construct are ``nearly'' $γ$-nonnegative in the sense that, by deleting exactly two elements from the matroid, one obtains SEPs for graphs that are $γ$-nonnegative. This provides further evidence that Ohsugi and Tsuchiya's conjecture holds in the ordinary case.
A Polynomial Kernel for Proper Helly Circular-arc Vertex Deletion
Published
• View Publication
• BIB
A proper Helly circular-arc graph is an intersection graph of a set of arcs on a circle such that none of the arcs properly contains any other arc and every set of pairwise intersecting arcs has a common intersection. The Proper Helly Circular-arc Vertex Deletion problem takes as input a graph $G$ and an integer $k$, and the goal is to check if we can remove at most $k$ vertices from the graph to obtain a proper Helly circular-arc graph; the parameter is $k$. Recently, Cao et al.~[MFCS 2023] obtained an FPT algorithm for this (and related) problem. In this work, we obtain a polynomial kernel for the problem.
On the stopping time of the Collatz map in $\mathbb{F}_2[x]$
Published
• View Publication
• BIB
We study the stopping time of the Collatz map for a polynomial $f \in \mathbb{F}_2[x]$, and bound it by $O({\rm deg} (f)^{1.5})$, improving upon the quadratic bound proven by Hicks, Mullen, Yucas and Zavislak. We also prove the existence arithmetic sequences of unbounded length in the stopping times of certain sequences of polynomials, a phenomenon observed in the classical Collatz map.
Stable Marriage with One-Sided Preference
Many countries around the world, including Korea, use the school choice lottery system. However, this method has a problem in that many students are assigned to less-preferred schools based on the lottery results. In addition, the task of finding a good assignment with ties often has a time complexity of NP, making it a very difficult problem to improve the quality of the assignment.
In this paper, we prove that the problem of finding a stable matching that maximizes the student-oriented preference utility in a two-sided market with one-sided preference can be solved in polynomial time, and we verify through experiments that the quality of assignment is improved. The main contributions of this paper are as follows. We found that stable student-oriented allocation in a two-sided market with one-sided preferences is the same as stable allocation in a two-sided market with symmetric preferences. In addition, we defined a method to quantify the quality of allocation from a preference utilitarian perspective. Based on the above two, it was proven that the problem of finding a stable match that maximizes the preference utility in a two-sided market with homogeneous preferences can be reduced to an allocation problem. In this paper, through an experiment, we quantitatively verified that optimal student assignment assigns more students to schools of higher preference, even in situations where many students are assigned to schools of low preference using the existing assignment method.
Separating symmetric polynomials over finite fields
Published in Communications in Mathematics, Volume 33 (2025), Issue 1 (February 18, 2025) cm:14627
• View Publication
• BIB
The set $S(n)$ of all elementary symmetric polynomials in $n$ variables is a minimal generating set for the algebra of symmetric polynomials in $n$ variables, but over a finite field ${\mathbb F}_q$ the set $S(n)$ is not a minimal separating set for symmetric polynomials in general. We determined when $S(n)$ is a minimal separating set for the algebra of symmetric polynomials having the least possible number of elements.
An improved upper bound for the domination number of a graph
Published in Proceedings - Mathematical Sciences , 135(2), (2025), 42
• View Publication
• BIB
Let $G$ be a graph of order $n$. A classical upper bound for the domination number of a graph $G$ having no isolated vertices is $\lfloor\frac{n}{2}\rfloor$. However, for several families of graphs, we have $γ(G) \le \lfloor\sqrt{n}\rfloor$ which gives a substantially improved upper bound. In this paper, we give a condition necessary for a graph $G$ to have $γ(G) \le \lfloor\sqrt{n}\rfloor$, and some conditions sufficient for a graph $G$ to have $γ(G) \le \lfloor\sqrt{n}\rfloor$. We also present a characterization of all connected graphs $G$ of order $n$ with $γ(G) = \lfloor\sqrt{n}\rfloor$. Further, we prove that for a graph $G$ not satisfying $rad(G)=diam(G)=rad(\overline{G})=diam(\overline{G})=2$, deciding whether $γ(G) \le \lfloor\sqrt{n}\rfloor$ or $γ(\overline{G}) \le \lfloor\sqrt{n}\rfloor$ can be done in polynomial time. We conjecture that this decision problem can be solved in polynomial time for any graph $G$.