polynomial
11250 papers tagged with this keyword
Spectral properties of the exponential distance matrix
Published in Involve 15 (2022) 739-762
• View Publication
• BIB
Given a graph $G$, the exponential distance matrix is defined entry-wise by letting the $(u,v)$-entry be $q^{\text{dist}(u,v)}$, where $\text{dist}(u,v)$ is the distance between the vertices $u$ and $v$ with the convention that if vertices are in different components, then $q^{\text{dist}(u,v)}=0$. In this paper, we will establish several properties of the characteristic polynomial (spectrum) for this matrix, give some families of graphs which are uniquely determined by their spectrum, and produce cospectral constructions.
On the roots of total domination polynomial of graphs, II
Published
• View Publication
• BIB
Let $G = (V, E)$ be a simple graph of order $n$. The total dominating set of $G$ is a subset $D$ of $V$ that every vertex of $V$ is adjacent to some vertices of $D$. The total domination number of $G$ is equal to minimum cardinality of total dominating set in $G$ and is denoted by $γ_t(G)$. The total domination polynomial of $G$ is the polynomial $D_t(G,x)=\sum_{i=γ_t(G)}^n d_t(G,i)x^i$, where $d_t(G,i)$ is the number of total dominating sets of $G$ of size $i$. A root of $D_t(G, x)$ is called a total domination root of $G$. The set of total domination roots of graph $G$ is denoted by $Z(D_t(G,x))$. In this paper we show that $D_t(G,x)$ has $δ-2$ non-real roots and if all roots of $D_t(G,x)$ are real then $δ\leq 2$, where $δ$ is the minimum degree of vertices of $G$. Also we show that if $δ\geq 3$ and $D_t(G,x)$ has exactly three distinct roots, then $Z(D_t(G,x))\subseteq \{0, -2\pm \sqrt{2}i, \frac{-3\pm \sqrt{3}i}{2}\}$. Finally we study the location roots of total domination polynomial of some families of graphs.
Macdonald Polynomials and level two Demazure modules for affine $\mathfrak{sl}_{n+1}$
We define a family of symmetric polynomials $G_{ν,λ}(z_1,\cdots, z_{n+1},q)$ indexed by a pair of dominant integral weights. The polynomial $G_{ν,0}(z,q)$ is the specialized Macdonald polynomial and we prove that $G_{0,λ}(z,q)$ is the graded character of a level two Demazure module associated to the affine Lie algebra $\widehat{\mathfrak{sl}}_{n+1}$. Under suitable conditions on $(ν,λ)$ (which includes the case when $ν=0$ or $λ=0$) we prove that $G_{ν,λ}(z,q)$ is Schur positive and give explicit formulae for them in terms of Macdonald polynomials.
Transversal polynomial of r-fold covers
We explore the interplay between algebraic combinatorics and algorithmic problems in graph theory by defining a polynomial with connections to correspondence colouring (also known as DP-colouring), a recent generalization of list-colouring, and the Unique Games Conjecture. Like the chromatic polynomial of a graph, we are able to evaluate this polynomial at a point, despite the complexity of computing this polynomial.
We construct a cover of a graph $X$ by blowing up each vertex to a set of $r$ vertices and joining each pair of sets corresponding to adjacent vertices by a matching with $r$ edges. To each cover $Y$ of $X$ we associate a polynomial $ξ(Y,t)$, called the transversal polynomial. The coefficient $t^k$ of $ξ(Y,t)$ is the number of $k$-edge induced subgraphs of $Y$ whose vertex set is a transversal of the set system given by the blown-up vertices. We show that $ξ(Y,t)$ satisfies a contraction-deletion formula, and that if $n=|V_X|$ and the cover has index $r$, then $ξ(Y,-(r-1)) \equiv 0 \mod r^n$.
Combinatorial Inscribability Obstructions for Higher-Dimensional Polytopes
Published
• View Publication
• BIB
For $3$-dimensional convex polytopes, inscribability is a classical property that is relatively well-understood due to its relation with Delaunay subdivisions of the plane and hyperbolic geometry. In particular, inscribability can be tested in polynomial time, and for every $f$-vector of $3$-polytopes, there exists an inscribable polytope with that $f$-vector. For higher-dimensional polytopes, much less is known. Of course, for any inscribable polytope, all of its lower-dimensional faces need to be inscribable, but this condition does not appear to be very strong.
We observe non-trivial new obstructions to the inscribability of polytopes that arise when imposing that a certain inscribable face be inscribed. Using this obstruction, we show that the duals of the $4$-dimensional cyclic polytopes with at least $8$ vertices---all of whose faces are inscribable---are not inscribable. This result is optimal in the following sense: We prove that the duals of the cyclic $4$-polytopes with up to $7$ vertices are, in fact, inscribable.
Moreover, we interpret this obstruction combinatorially as a forbidden subposet of the face lattice of a polytope, show that $d$-dimensional cyclic polytopes with at least $d+4$ vertices are not circumscribable, and that no dual of a neighborly $4$-polytope with $8$ vertices, that is, no polytope with $f$-vector $(20,40,28,8)$, is inscribable.
Tree automata and pigeonhole classes of matroids: I
Published
• View Publication
• BIB
Hlineny's Theorem shows that any sentence in the monadic second-order logic of matroids can be tested in polynomial time, when the input is limited to a class of F-representable matroids with bounded branch-width (where F is a finite field). If each matroid in a class can be decomposed by a subcubic tree in such a way that only a bounded amount of information flows across displayed separations, then the class has bounded decomposition-width. We introduce the pigeonhole property for classes of matroids: if every subclass with bounded branch-width also has bounded decomposition-width, then the class is pigeonhole. An efficiently pigeonhole class has a stronger property, involving an efficiently-computable equivalence relation on subsets of the ground set. We show that Hlineny's Theorem extends to any efficiently pigeonhole class. In a sequel paper, we use these ideas to extend Hlineny's Theorem to the classes of fundamental transversal matroids, lattice path matroids, bicircular matroids, and H-gain-graphic matroids, where H is any finite group. We also give a characterisation of the families of hypergraphs that can be described via tree automata: a family is defined by a tree automaton if and only if it has bounded decomposition-width. Furthermore, we show that if a class of matroids has the pigeonhole property, and can be defined in monadic second-order logic, then any subclass with bounded branch-width has a decidable monadic second-order theory.
Monomial invariants applied to graph coloring
Published
• View Publication
• BIB
This article is built upon three main ideas. First, for a class of monomial ideals, it is proven that the multiplicity of an ideal equals the number of realizations of its codimension (an intuitive concept that we define later). Next, for an arbitrary graph G, we construct a monomial ideal M_G, and show that the chromatic number of G is equal to the codimension of M_G. Finally, for a class of graphs, we give a formula that computes the chromatic polynomial of G, evaluated at the chromatic number of G, in terms of the codimension and multiplicity of M_G. In particular, the formula applies to all graphs satisfying the Erdos-Faber-Lovász conjecture.
Semialgebraic methods and generalized sum-product phenomena
Published in Discrete Analysis 2022:18, 23 pp
• Search Publication
For a bivariate $P(x,y) \in \mathbb{R}[x,y]\setminus (\mathbb{R}[x] \cup \mathbb{R}[y])$, our first result shows that for all finite $A \subseteq \mathbb{R}$, $|P(A,A)|\geq α|A|^{5/4}$ with $α=α(\mathrm{deg} P) \in \mathbb{R}^{>0}$ unless $$ P(x,y)=f(γu(x)+δu(y)) \text{ or } P(x,y)=f(u^m(x)u^n(y)) $$ for some univariate $f, u \in \mathbb{R}[t]\setminus \mathbb{R}$, constants $γ, δ\in \mathbb{R}^{\neq 0}$, and $m, n\in \mathbb{N}^{\geq 1}$. This resolves the symmetric nonexpanders classification problem proposed by de Zeeuw. Our second and third results are sum-product type theorems for two polynomials, generalizing the classical result by Erdos and Szemerédi as well as a theorem by Shen. We also obtained similar results for $\mathbb{C}$, and from this deduce results for fields of characteristic $0$ and fields of large prime characteristic. The proofs of our results use tools from semialgebraic/o-minimal geometry.
A duality at the heart of Gaussian boson sampling
Gaussian boson sampling (GBS) is a near-term quantum computation framework that is believed to be classically intractable, but yet rich of potential applications. In this paper we study the intimate relation between distributions defined over classes of samples from a GBS device with graph matching polynomials. For this purpose, we introduce a new graph polynomial called the displaced GBS polynomial, whose coefficients are the coarse-grained photon-number probabilities of an arbitrary undirected graph $G$ encoded in a GBS device. We report a discovery of a duality between the displaced GBS polynomial of $G$ and the matching polynomial of $G\,\square\,P_2(x)$ - the Cartesian graph product of $G$ with a single weighted edge also known as the prism over $G$. Besides the surprising insight gained into Gaussian boson sampling, it opens the door for the new way of classically simulating the Gaussian boson sampling device. Furthermore, it motivates the recent success of a new type of coarse-grained quantum statistics used to construct feature maps in [Schuld et al. 2019].
Vertices of Schubitopes
Published
• View Publication
• BIB
Schubitopes were introduced by Monical, Tokcan and Yong as a specific family of generalized permutohedra. It was proven by Fink, Mészáros and St.$\,$Dizier that Schubitopes are the Newton polytopes of the dual characters of flagged Weyl modules. Important cases of Schubitopes include the Newton polytopes of Schubert polynomials and key polynomials. In this paper, we develop a combinatorial rule to generate the vertices of Schubitopes. As an application, we show that the vertices of the Newton polytope of a key polynomial can be generated by permutations in a lower interval in the Bruhat order, settling a conjecture of Monical, Tokcan and Yong.
Incidence Hypergraphs: Injectivity, Uniformity, and Matrix-tree Theorems
Published in Linear Algebra Appl. 634 (2022), 77-105
• View Publication
• BIB
An oriented hypergraph is an oriented incidence structure that allows for the generalization of graph theoretic concepts to integer matrices through its locally signed graphic substructure. The locally graphic behaviors are formalized in the subobject classifier of incidence hypergraphs. Moreover, the injective envelope is calculated and shown to contain the class of uniform hypergraphs -- providing a combinatorial framework for the entries of incidence matrices. A multivariable all-minors characteristic polynomial is obtained for both the determinant and permanent of the oriented hypergraphic Laplacian and adjacency matrices arising from any integer incidence matrix. The coefficients of each polynomial are shown to be submonic maps from the same family into the injective envelope limited by the subobject classifier. These results provide a unifying theorem for oriented hypergraphic matrix-tree-type and Sachs-coefficient-type theorems. Finally, by specializing to bidirected graphs, the trivial subclasses for the degree-$k$ monomials of the Laplacian are shown to be in one-to-one correspondence with $k$-arborescences.
Resolution of ideals associated to subspace arrangements
Published in Alg. Number Th. 16 (2022) 1121-1140
• View Publication
• BIB
Let $I_1,\dots,I_n$ be ideals generated by linear forms in a polynomial ring over an infinite field and let $J = I_1 \cdots I_n$. We describe a minimal free resolution of $J$ and show that it is supported on a polymatroid obtained from the underlying representable polymatroid by means of the so-called Dilworth truncation. Formulas for the projective dimension and Betti numbers are given in terms of the polymatroid as well as a characterization of the associated primes. Along the way we show that $J$ has linear quotients. In fact, we do this for a large class of ideals $J_P$, where $P$ is a certain poset ideal associated to the underlying subspace arrangement.
A Polyhedral Homotopy Algorithm For Real Zeros
Published in Arnold Mathematical Journal, 2022
• View Publication
• BIB
We design a homotopy continuation algorithm, that is based on numerically tracking Viro's patchworking method, for finding real zeros of sparse polynomial systems. The algorithm is targeted for polynomial systems with coefficients satisfying certain concavity conditions. It operates entirely over the real numbers and tracks the optimal number of solution paths. In more technical terms; we design an algorithm that correctly counts and finds the real zeros of polynomial systems that are located in the unbounded components of the complement of the underlying A-discriminant amoeba.
On counting centralizer subgroups of symmetric groups
Published in The Electronic Journal of Combinatorics, Volume 30, Issue 2 (2023), Article Number P2.47
• View Publication
• BIB
Let $S_{2m}$ be the symmetric group, $h=(1\ 2)(3\ 4)\cdots(2m-1\ 2m)$ and $H=C(h)$. We consider the structure of $gHg^{-1}\cap H$ for any $g\in S_{2m}$. We prove the permutations $g$ which makes $gHg^{-1}\cap H$ have size of polynomial in $m$ have density zero.
The Tutte polynomial and toric Nakajima quiver varieties
Published
• View Publication
• BIB
For a quiver $Q$, we take $\mathcal{M}$ an associated toric Nakajima quiver variety and $Γ$ the underlying graph. In this article, we give a direct relation between a specialisation of the Tutte polynomial of $Γ$, the Kac polynomial of $Q$ and the Poincaré polynomial of $\mathcal{M}$. We do this by giving a cell decomposition of $\mathcal{M}$ indexed by spanning trees of $Γ$ and `geometrising' the deletion and contraction operators on graphs. These relations have been previously established by Sturmfels-Hausel and (Crawley-Boovey)-Van den Bergh, however the methods here are more hands-on.
Brändén's $(p,q)$-Eulerian polynomials, André permutations and continued fractions
Published
• View Publication
• BIB
In 2008 Brändén proved a $(p,q)$-analogue of the $γ$-expansion formula for Eulerian polynomials and conjectured the divisibility of the $γ$-coefficient $γ_{n,k}(p,q)$ by $(p+q)^k$. As a follow-up, in 2012 Shin and Zeng showed that the fraction $γ_{n,k}(p, q)/(p + q)^k$ is a polynomial in $\N[p,q]$. The aim of this paper is to give a combinatorial interpretation of the latter polynomial in terms of André permutations, a class of objects first defined and studied by Foata, Schützenberger and Strehl in the 1970s. It turns out that our result provides an answer to a recent open problem of Han, which was the impetus of this paper.
Generalized Catalan recurrences, Riordan arrays, elliptic curves, and orthogonal polynomials
We show that the Catalan-Schroeder convolution recurrences and their higher order generalizations can be solved using Riordan arrays and the Catalan numbers. We investigate the Hankel transforms of many of the recurrence solutions, and indicate that Somos $4$ sequences often arise. We exhibit relations between recurrences, Riordan arrays, elliptic curves and Somos $4$ sequences. We furthermore indicate how one can associate a family of orthogonal polynomials to a point on an elliptic curve, whose moments are related to recurrence solutions.
Deletion-contraction triangles for Hausel-Proudfoot varieties
Published
• View Publication
• BIB
To a graph, Hausel and Proudfoot associate two complex manifolds, B and D, which behave, respectively like moduli of local systems on a Riemann surface, and moduli of Higgs bundles. For instance, B is a moduli space of microlocal sheaves, which generalize local systems, and D carries the structure of a complex integrable system. We show the Euler characteristics of these varieties count spanning subtrees of the graph, and the point-count over a finite field for B is a generating polynomial for spanning subgraphs. This polynomial satisfies a deletion-contraction relation, which we lift to a deletion-contraction exact triangle for the cohomology of B. There is a corresponding triangle for D. Finally, we prove B and D are diffeomorphic, that the diffeomorphism carries the weight filtration on the cohomology of B to the perverse Leray filtration on the cohomology of D, and that all these structures are compatible with the deletion-contraction triangles.
Projective dimension of Hypergraphs
Published
• View Publication
• BIB
Given a square-free monomial ideal $I$, satisfying certain hypotheses, in a polynomial ring $R$ over a field $\mathbb{K}$, we compute the projective dimension of $I$. Specifically, we focus on the cases where the 1-skeleton of an associated hypergraph is either a string or a cycle. We investigate the impact on the projective dimension when higher dimensional edges are removed. We prove that the higher dimensional edge either has no effect on the projective dimension or the projective dimension only goes up by one with the extra higher dimensional edge.
The Multivariate Schwartz-Zippel Lemma
Published in SIAM Journal of Discrete Mathematics, Vol 36, Issue 2, 2022
• View Publication
• BIB
Motivated by applications in combinatorial geometry, we consider the following question: Let $λ=(λ_1,λ_2,\ldots,λ_m)$ be an $m$-partition of a positive integer $n$, $S_i \subseteq \mathbb{C}^{λ_i}$ be finite sets, and let $S:=S_1 \times S_2 \times \ldots \times S_m \subset \mathbb{C}^n$ be the multi-grid defined by $S_i$. Suppose $p$ is an $n$-variate degree $d$ polynomial. How many zeros does $p$ have on $S$?
We first develop a multivariate generalization of Combinatorial Nullstellensatz that certifies existence of a point $t \in S$ so that $p(t) \neq 0$. Then we show that a natural multivariate generalization of the DeMillo-Lipton-Schwartz-Zippel lemma holds, except for a special family of polynomials that we call $λ$-reducible. This yields a simultaneous generalization of Szemerédi-Trotter theorem and Schwartz-Zippel lemma into higher dimensions, and has applications in incidence geometry. Finally, we develop a symbolic algorithm that identifies certain $λ$-reducible polynomials. More precisely, our symbolic algorithm detects polynomials that include a cartesian product of hypersurfaces in their zero set. It is likely that using Chow forms the algorithm can be generalized to handle arbitrary $λ$-reducible polynomials, which we leave as an open problem.