polynomial
11184 papers tagged with this keyword
Khovanskii bases of subalgebras arising from finite distributive lattices
The notion of Khovanskii bases was introduced by Kaveh and Manon. It is a generalization of the notion of SAGBI bases for a subalgebra of polynomials. The notion of SAGBI bases was introduced by Robbiano and Sweedler as an analogue of Gröbner bases in the context of subalgebras. A Hibi ideal is an ideal of a polynomial ring that arises from a distributive lattice. For the development of an analogy of the theory of Hibi ideals and Gröbner bases within the framework of subalgebras, in this paper, we investigate when the set of the polynomials associated with a distributive lattice forms a Khovanskii basis of the subalgebras it generates. We characterize such distributive lattices and their underlying posets. In particular, generalized snake posets and $\{(2+2),(1+1+1)\}$-free posets appear as the characterization.
On the Boxicity of Line Graphs and of Their Complements
The boxicity of a graph is the smallest dimension $d$ allowing a representation of it as the intersection graph of a set of $d$-dimensional axis-parallel boxes. We present a simple general approach to determining the boxicity of a graph based on studying its ``interval-order subgraphs.''
The power of the method is first tested on the boxicity of some popular graphs that have resisted previous attempts: the boxicity of the Petersen graph is $3$, and more generally, that of the Kneser-graphs $K(n,2)$ is $n-2$ if $n\ge 5$, confirming a conjecture of Caoduro and Lichev [Discrete Mathematics, Vol. 346, 5, 2023].
As every line graph is an induced subgraph of the complement of $K(n,2)$, the developed tools show furthermore that line graphs have only a polynomial number of edge-maximal interval-order subgraphs. This opens the way to polynomial-time algorithms for problems that are in general $NP$-hard: for the existence and optimization of interval-order subgraphs of line graphs, or of interval completions and the boxicity of their complement, if the boxicity is bounded.
We finally extend our approach to upper and lower bounding the boxicity of line graphs.
The{N/D}-Conjecture for Nonresonant Hyperplane Arrangements
This paper studies Bernstein--Sato polynomials $b_{f,0}$ for homogeneous polynomials $f$ of degree $d$ with $n$ variables. It is open to know when $-{n\over d}$ is a root of $b_{f,0}$. For essential indecomposable hyperplane arrangements, this is a conjecture by Budur, Mustaţă and Teitler and implies the strong topological monodromy conjecture for arrangements. Walther gave a sufficient condition that a certain differential form does not vanish in the top cohomology group of Milnor fiber. We use Walther's result to verify the $n\over d$-conjecture for weighted hyperplane arrangements satisfying the nonresonant condition.
A symmetric function approach to log-concavity of independence polynomials
As introduced by Gutman and Harary, the independence polynomial of a graph serves as the generating polynomial of its independent sets. In 1987, Alavi, Malde, Schwenk and Erdős conjectured that the independence polynomials of all trees are unimodal. In this paper we come up with a new way for proving log-concavity of independence polynomials of graphs by means of their chromatic symmetric functions, which is inspired by a result of Stanley connecting properties of polynomials to positivity of symmetric functions. This method turns out to be more suitable for treating trees with irregular structures, and as a simple application we show that all spiders have log-concave independence polynomials, which provides more evidence for the above conjecture. Moreover, we present two symmetric function analogues of a basic recurrence formula for independence polynomials, and show that all pineapple graphs also have log-concave independence polynomials.
A unified approach for domination and packing problems in graphs
In this paper, we introduce new concepts of domination and packing functions in graphs, which generalize, respectively, the labelled dominating and packing functions defined by Lee and Chang in 2008, and Hinrichsen et al. in 2019. These generalized functions offer a unified and simpler framework for addressing many of the variations of domination and packing concepts in graphs explored in the literature. Interestingly, their associated optimization problems turn out to be equivalent, providing insight to explain the observed coincidences in computational complexity results for graph classes where both problems, the domination one and its corresponding packing variation, have been analyzed. This equivalence also allows us to solve some computational complexity open questions, for some graph classes.
Furthermore, we prove that the generalized problems remain solvable in polynomial time for graphs with bounded clique-width and strongly chordal graphs.
Decoding rank metric Reed-Muller codes
In this article, we investigate the decoding of the rank metric Reed--Muller codes introduced by Augot, Couvreur, Lavauzelle and Neri in 2021. These codes are defined from Abelian Galois extensions extending the construction of Gabidulin codes over arbitrary cyclic Galois extensions. We propose a polynomial time algorithm that rests on the structure of Dickson matrices, works on any such code and corrects any error of rank up to half the minimum distance.
On the constant partial-dual polynomials of hypermaps
In this paper, we introduce the partial-dual polynomial for hypermaps, extending the concept from ribbon graphs. We discuss the basic properties of this polynomial and characterize it for hypermaps with exactly one hypervertex containing a non-zero constant term. Additionally, we show that the partial-dual polynomial of a prime connected hypermap $H$ is constant if and only if $H$ is a plane hypermap with a single hyperedge.
Partial Petrial polynomials for complete graphs and paths
Recently, Gross, Mansour, and Tucker introduced the partial Petrial polynomial, which enumerates all partial Petrials of a ribbon graph by Euler genus. They provided formulas or recursions for various families of ribbon graphs, including ladder ribbon graphs. In this paper, we focus on the partial Petrial polynomial of bouquets, which are ribbon graphs with exactly one vertex. We prove that the partial Petrial polynomial of a bouquet primarily depends on its intersection graph, meaning that two bouquets with identical intersection graphs will have the same partial Petrial polynomial. Additionally, we introduce the concept of the partial Petrial polynomial for circle graphs and prove that for a connected graph with $n$ vertices ($n\geq 2$), the polynomial has non-zero coefficients for all terms of degrees from 1 to $n$ if and only if the graph is complete. Finally, we present the partial Petrial polynomials for paths.
IDP for 2-Partition Maximal Symmetric Polytopes
We provide a framework for which one can approach showing the integer decomposition property for symmetric polytopes. We utilize this framework to prove a special case which we refer to as $2$-partition maximal polytopes in the case where it lies in a hyperplane of $\mathbb{R}^3$. Our method involves proving a special collection of polynomials have saturated Newton polytope.
The Lehmer complex of a Bruhat interval
We introduce Lehmer codes, with immersions in the Bruhat order, for several finite Coxeter groups, including all the classical Weyl groups. This allows to associate to each lower Bruhat interval of these groups a multicomplex whose f-polynomial is the Poincaré polynomial of the interval. Via a general construction, we prove that these polynomials are h-polynomials of vertex-decomposable simplicial complexes. Moreover we provide a classification, in terms of unimodal permutations, of Poincaré polynomials of smooth Schubert varieties in flag manifolds.
$q$-analogues of sums of consecutive powers of natural numbers and extended Carlitz $q$-Bernoulli numbers and polynomials
In this paper, we investigate a specific class of $q$-polynomial sequences that serve as a $q$-analogue of the classical Appell sequences. This framework offers an elegant approach to revisiting classical results by Carlitz and, more interestingly, to establishing an important extension of the Carlitz $q$-Bernoulli polynomials and numbers. In addition, we establish explicit series representations for our extended Carlitz $q$-Bernoulli numbers and express them in terms of $q$-Stirling numbers of the second kind. This leads to a novel formula that explicitly connects the Carlitz $q$-Bernoulli numbers with the $q$-Stirling numbers of the second kind.
Some remarks on plane curves related to freeness
Let $C$ be a reduced complex projective plane curve, and let $d_1$ and $d_2$ be the first two smallest exponents of $C$. For a free curve $C$ of degree $d$, there is a simple formula relating $d,d_1, d_2$ and the total Tjurina number of $C$. Our first result discusses how this result changes when the curve $C$ is no longer free. For a free line arrangement, the Poincaré polynomial coincides with the Betti polynomial $B(t)$ and with the product $P(t)=(1+d_1t)(1+d_2t)$. Our second result shows that for any curve $C$, the difference $P(t)-B(t)$ is a polynomial $a t +bt^2$, with $a$ and $b$ non-negative integers. Moreover $a =0$ or $b=0$ if and only if $C$ is a free line arrangement. Finally we give new bounds for the second exponent $d_2$ of a line arrangement $\mathcal A$, the corresponding lower bound being an improvement of a result by H. Schenck concerning the relation between the maximal exponent of $\mathcal A$ and the maximal multiplicity of points in $\mathcal A$.
Congruence properties of Lehmer-Euler numbers
Certain generalization of Euler numbers was defined in 1935 by Lehmer using cubic roots of unity, as a natural generalization of Bernoulli and Euler numbers. In this paper, Lehmer's generalized Euler numbers are studied to give certain congruence properties together with recurrence and explicit formulas of the numbers. We also show a new polynomial sequence and its properties. Some identities including Euler and central factorial numbers are obtained.
In Search of a Hidden Curve
It has been noticed since around 2007 that certain enumeration problems can be solved when an analytic or algebraic curve is identified. This curve is the key to the problem. In these lectures, a few such examples are presented. One is a detailed account on counting simple Hurwitz numbers, explaining how the problem was solved by discovering this key curve. The formula for the curve allows us to write the generating functions of Hurwitz numbers in terms of polynomials. This unexpected polynomiality produces, as a byproduct, straightforward and short proofs of the Witten-Kontsevich theorem and the $λ_g$-theorem of Faber-Pandharipande. An analogous enumeration problem associated with Catalan numbers is also presented, which has a simpler feature in terms of analysis. The asymptotic behavior of counting leads this time to the Euler characteristic of the moduli spaces of smooth curves. We then discuss another enumeration problem, the Apéry sequences. The quest of identifying the hidden curve for this case remains open.
These curves, also known as spectral curves, are discovered via solving ordinary differential equations. The counting problem of geometric origin associated with the genus 0, one marked point case is encoded in the spectral curve. It is explained that going from the $(g,n)=(0,1)$-case to arbitrary $(g,n)$ is a process of quantization of the spectral curve.
This perspective of quantization is discussed in a geometric setting, when the differential equations are linear with holomorphic coefficients, in terms of Higgs bundles, opers, and Gaiotto's conformal limit construction. In this context, however, there are no counting problems behind the scene.
Further results for classical and universal characters twisted by roots of unity
We revisit factorizations of classical characters under various specializations, some old and some new. We first show that all characters of classical families of groups twisted by odd powers of an even primitive root of unity factorize into products of characters of smaller groups. Motivated by conjectures of Wagh and Prasad (Manuscr. Math. 2020), we then observe that certain specializations of Schur polynomials factor into products of two characters of other groups. We next show, via a detour through hook Schur polynomials, that certain Schur polynomials indexed by staircase shapes factorize into linear pieces. Lastly, we consider classical and universal characters specialized at roots of unity. One of our results, in parallel with Schur polynomials, is that universal characters take values only in $\{0, \pm 1, \pm 2\}$ at roots of unity.
Ihara zeta functions for some simple graph families
The reciprocal of the Ihara zeta function of a graph is a polynomial invariant introduced by Ihara in 1966. Scott and Storm gave a method to determine the coefficients of the polynomial. Here we simplify their calculation and determine the zeta function for all graphs of rank two. We verify that it is a complete invariant for such graphs: If $G_1$ and $G_2$ are of rank two, then $G_1$ and $G_2$ are isomorphic if and only if they have the same Ihara zeta function. We observe that the reciprocal of the zeta function is an even polynomial if the graph is bipartite. We also determine the zeta function for several graph families: complete graphs, complete bipartite graphs, Möbius ladders, cocktail party graphs, and all graphs of order five or less. We use the special value $u=1$ to count the spanning trees for these families.
Boundaries of pseudointegral polygons
We prove that a rational pseudointegral triangle with exactly one lattice point in its interior has at most $9$ lattice points on its boundary, where a polygon $P$ is called pseudointegral if the Ehrhart function of $P$ is a polynomial. We further show that such a triangle never has exactly $7$ lattice points on its boundary. Our results determine the set of all Ehrhart polynomials of rational triangles with one interior lattice point.
In addition, we construct convex pseudointegral polygons with $i$ interior lattice points and $b$ boundary lattice points for all positive integral values of $(i,b)$ such that $b \le 5i + 4$. This is in contrast to integral polygons, which must satisfy $b \le 2i + 7$ by a result of Scott. Our constructions yield many new Ehrhart polynomials of rational polygons in the $i \ge 2$ case.
From order one catalytic decompositions to context-free specifications: the rewiring bijection
A celebrated result of Bousquet-Mélou and Jehanne states that the bivariate power series solutions of so-called combinatorial polynomial equations with one catalytic variable, also known as catalytic equations, are algebraic series. We give a purely combinatorial derivation of this result in the case of order one catalytic equations (those involving only one univariate unknown series). In particular our approach provides a tool to produce context-free specifications, or bijections with simple multi-type families of trees, for the derivation trees of combinatorial structures that are directly governed by an order one catalytic decomposition.
This provides a simple unified framework to deal with various combinatorial interpretation problems that were solved or raised over the last 50 years since the first such catalytic equation was written by W. T. Tutte in the late 60's to enumerate rooted planar maps.
An algebraic characterization of strong graphs
Let $G$ be a connected simple graph on $n$ vertices and $m$ edges. Denote $N_{i}^{(j)}(G)$ the number of spanning subgraphs of $G$ having precisely $i$ edges and not more than $j$ connected components. The graph $G$ is \emph{strong} if $N_{i}^{j}(G)\geq N_{i}^{j}(H)$ for each pair of integers $i\in \{0,1,\ldots,m\}$ and $j\in \{1,2,\ldots,n\}$ and each connected simple graph $H$ on $n$ vertices and $m$ edges. The graph $G$ is \emph{Whitney-maximum} if for each connected simple graph $H$ on $n$ vertices and $m$ edges there exists a polynomial $P_H(x,y)$ with nonnegative coefficients such that $W_{G}(x,y)-W_H(x,y)=(1-xy)P_H(x,y)$, where $W_G$ and $W_H$ stand for the Whitney polynomial of $G$ and $H$. In this work it is proved that a graph is strong if and only if it is Whitney-maximum. Consequently, the $0$-element conjecture proposed by Boesch [J.\ Graph Theory 10 (1986), 339--352] is true when restricted to graph classes in which Whitney-maximum graphs exist.
Lusztig $q$-weight multiplicities and Kirillov-Reshetikhin crystals
Lusztig $q$-weight multiplicities extend the Kostka-Foulkes polynomials to a broader range of Lie types. In this work, we investigate these multiplicities through the framework of Kirillov-Reshetikhin crystals. Specifically, for type $C$ with dominant weights and type $B$ with dominant spin weights, we present a combinatorial formula for Lusztig $q$-weight multiplicities in terms of energy functions of Kirillov-Reshetikhin crystals, generalizing the charge statistic on semistandard Young tableaux for type $A$. Additionally, we introduce level-restricted $q$-weight multiplicities for nonexceptional types, and prove positivity by providing their combinatorial formulas.