polynomial
11422 papers tagged with this keyword
Graphs that allow all the eigenvalue multiplicities to be even
Published
• View Publication
• BIB
Let $G$ be an undirected graph on $n$ vertices and let $S(G)$ be the set of all $n \times n$ real symmetric matrices whose nonzero off-diagonal entries occur in exactly the positions corresponding to the edges of $G$. The inverse eigenvalue problem for a graph $G$ is a problem of determining all possible lists that can occur as the lists of eigenvalues of matrices in $S(G).$ This question is, in general, hard to answer and several variations were studied, most notably the minimum rank problem. In this paper we introduce the problem of determining for which graphs $G$ there exists a matrix in $S(G)$ whose characteristic polynomial is a square, i.e. the multiplicities of all its eigenvalues are even. We solve this question for several families of graphs.
On the Domination Polynomials of Friendship Graphs
Published
• View Publication
• BIB
Let $G$ be a simple graph of order $n$. The {\em domination polynomial} of $G$ is the polynomial ${D(G, x)=\sum_{i=0}^{n} d(G,i) x^{i}}$, where $d(G,i)$ is the number of dominating sets of $G$ of size $i$.
Let $n$ be any positive integer and $F_n$ be the Friendship graph with $2n + 1$ vertices and $3n$ edges, formed by the join of $K_{1}$ with $nK_{2}$. We study the domination polynomials of this family of graphs, and in particular examine the domination roots of the family, and find the limiting curve for the roots. We also show that for every $n\geq 2$, $F_n$ is not $\mathcal{D}$-unique, that is, there is another non-isomorphic graph with the same domination polynomial. Also we construct some families of graphs whose real domination roots are only $-2$ and $0$. Finally, we conclude by discussing the domination polynomials of a related family of graphs, the $n$-book graphs $B_n$, formed by joining $n$ copies of the cycle graph $C_4$ with a common edge.
On polygon numbers of circle graphs and distance hereditary graphs
Published
• View Publication
• BIB
Circle graphs are intersection graphs of chords in a circle and $k$-polygon graphs are intersection graphs of chords in a convex $k$-sided polygon where each chord has its endpoints on distinct sides. The $k$-polygon graphs, for $k \ge 2$, form an infinite chain of graph classes, each of which contains the class of permutation graphs. The union of all of those graph classes is the class of circle graphs. The polygon number $\gp(G)$ of a circle graph $G$ is the minimum $k$ such that $G$ is a $k$-polygon graph. Given a circle graph $G$ and an integer $k$, determining whether $\gp(G) \le k$ is NP-complete, while the problem is solvable in polynomial time for fixed $k$.
In this paper, we show that $\gp(G)$ is always at least as large as the asteroidal number of $G$, and equal to the asteroidal number of $G$ when $G$ is a connected distance hereditary graph that is not a clique. This implies that the classes of distance hereditary permutation graphs and distance hereditary AT-free graphs are the same, and we give a forbidden subgraph characterization of that class. We also establish the following upper bounds: $\gp(G)$ is at most the clique cover number of $G$ if $G$ is not a clique, at most 1 plus the independence number of $G$, and at most $\lceil n/2 \rceil$ where $n \ge 3$ is the number of vertices of $G$. Our results lead to linear time algorithms for finding the minimum number of corners that must be added to a given circle representation to produce a polygon representation, and for finding the asteroidal number of a distance hereditary graph, both of which are improvements over previous algorithms for those problems.
Bounds on the Stanley depth and Stanley regularity of edge ideals of clutters
Published
• View Publication
• BIB
Let $I$ be the edge ideal of a clutter $\mathcal{C}$ in a polynomial ring $S$. In this paper, we present estimations of the Stanley depth of $I$ as well as the Stanley regularity of $S/I$, in terms of combinatorial data from the clutter $\mathcal{C}$.
Automatic Enumeration of Generalized Menage Numbers
I describe an empirical-yet-rigorous, algorithm, based on Riordan's rook polynomials and the so-called C-finite ansatz, fully implemented in the accompanying Maple package (http://www.math.rutgers.edu/~zeilberg/tokhniot/MENAGES ), MENAGES, that reproduces in a few seconds, rigorously-proved enumeration theorems on permutations with restricted positions, previously proved by quite a few illustrious human mathematicians, and that can go far beyond any human attempts.
Some families of graphs whose domination polynomials are unimodal
Let $G$ be a simple graph of order $n$.
The domination polynomial of $G$ is the polynomial
$D(G, x)=\sum_{i=γ(G)}^{n} d(G,i) x^{i}$,
where $d(G,i)$ is the number of dominating sets of $G$ of size $i$ and
$γ(G)$ is the domination number of $G$. It is conjectured that the domination polynomial of any graph is unimodal.
In this paper we present some families of graphs whose domination polynomials are unimodal.
The Milnor fibration of a hyperplane arrangement: from modular resonance to algebraic monodromy
Published in Proceedings of the London Mathematical Society 114 (2017), no. 6, 961-1004
• View Publication
• BIB
A central question in arrangement theory is to determine whether the characteristic polynomial $Δ_q$ of the algebraic monodromy acting on the homology group $H_q(F(\mathcal{A}),\mathbb{C})$ of the Milnor fiber of a complex hyperplane arrangement $\mathcal{A}$ is determined by the intersection lattice $L(\mathcal{A})$. Under simple combinatorial conditions, we show that the multiplicities of the factors of $Δ_1$ corresponding to certain eigenvalues of order a power of a prime $p$ are equal to the Aomoto--Betti numbers $β_p(\mathcal{A})$, which in turn are extracted from $L(\mathcal{A})$. When $\mathcal{A}$ defines an arrangement of projective lines with only double and triple points, this leads to a combinatorial formula for the algebraic monodromy. To obtain these results, we relate nets on the underlying matroid of $\mathcal{A}$ to resonance varieties in positive characteristic. Using modular invariants of nets, we find a new realizability obstruction (over $\mathbb{C}$) for matroids, and we estimate the number of essential components in the first complex resonance variety of $\mathcal{A}$. Our approach also reveals a rather unexpected connection of modular resonance with the geometry of ${\rm SL}_2(\mathbb{C})$-representation varieties, which are governed by the Maurer--Cartan equation.
A Search Procedure for Cyclic Subsets
In this paper, a polynomial time algorithm for finding the set of all cyclic subsets in a graph is presented. The concept of cyclic subsets has already been introduced in an earlier paper. The algorithm finds cyclic subsets in a graph G by conjoining building block subsets of length three in V(G). We prove the correctness of this algorithm and present an asymptotic time complexity analysis of the algorithm's performance.
Kazhdan Lusztig and R polynomials of generalized Temperley Lieb algebras
We study two families of polynomials that play the same role, in the generalized Temperley Lieb algebra of a Coxeter group, as the Kazhdan Lusztig and R polynomials in the Hecke algebra of the group. Our results include recursions, closed formulas, and other combinatorial properties for these polynomials. We focus mainly on non branching Coxeter graphs.
A strong geometric hyperbolicity property for directed graphs and monoids
Published in Journal of Algebra, Vol.420 (2014), pp.373-401
• View Publication
• BIB
We introduce and study a strong "thin triangle"' condition for directed graphs, which generalises the usual notion of hyperbolicity for a metric space. We prove that finitely generated left cancellative monoids whose right Cayley graphs satisfy this condition must be finitely presented with polynomial Dehn functions, and hence word problems in NP. Under the additional assumption of right cancellativity (or in some cases the weaker condition of bounded indegree), they also admit algorithms for more fundamentally semigroup-theoretic decision problems such as Green's relations L, R, J, D and the corresponding pre-orders.
In contrast, we exhibit a right cancellative (but not left cancellative) finitely generated monoid (in fact, an infinite class of them) whose Cayley graph is a essentially a tree (hence hyperbolic in our sense and probably any reasonable sense), but which is not even recursively presentable. This seems to be strong evidence that no geometric notion of hyperbolicity will be strong enough to yield much information about finitely generated monoids in absolute generality.
Complexity results for generating subgraphs
Published
• View Publication
• BIB
A graph G is well-covered if all its maximal independent sets are of the same cardinality. Assume that a weight function w is defined on its vertices. Then G is w-well-covered if all maximal independent sets are of the same weight.
For every graph G, the set of weight functions w such that G is w-well-covered is a vector space, denoted WCW(G). Let B be a complete bipartite induced subgraph of G on vertex sets of bipartition B_X and B_Y. Then B is generating if there exists an independent set S such that S \cup B_X and S \cup B_Y are both maximal independent sets of G. A relating edge is a generating subgraph in the restricted case that B = K_{1,1}.
Deciding whether an input graph G is well-covered is co-NP-complete. Therefore finding WCW(G) is co-NP-hard. Deciding whether an edge is relating is co-NP-complete. Therefore, deciding whether a subgraph is generating is co-NP-complete as well.
In this article we discuss the connections among these problems, provide proofs for NP-completeness for several restricted cases, and present polynomial characterizations for some other cases.
The edge cover polynomials of cubic graphs of order 10
Let $G$ be a simple graph of order $n$ and size $m$. The edge covering of $G$ is a set of edges such that every vertex of $G$ is incident to at least one edge of the set.
The edge cover polynomial of $G$ is the polynomial $E(G,x)=\sum_{i=ρ(G)}^{m} e(G,i) x^{i}$, where $e(G,i)$ is the number of edge coverings of $G$ of size $i$, and $ρ(G)$ is the edge covering number of $G$. In this paper we study the edge cover polynomials of cubic graphs of order $10$. We show that all cubic graphs of order $10$ (especially the Petersen graph) are determined uniquely by their edge cover polynomials. Also we construct infinite families of graphs whose edge cover polynomials have only roots $-1$ and $0$.
Tree-width and Logspace: Determinants and Counting Euler Tours
Motivated by the recent result of [EJT10] showing that MSO properties are Logspace computable on graphs of bounded tree-width, we consider the complexity of computing the determinant of the adjacency matrix of a bounded tree-width graph and prove that it is L-complete. It is important to notice that the determinant is neither an MSO-property nor counts the number of solutions of an MSO-predicate. We extend this technique to count the number of spanning arborescences and directed Euler tours in bounded tree-width digraphs, and further to counting the number of spanning trees and the number of Euler tours in undirected graphs, all in L. Notice that undirected Euler tours are not known to be MSO-expressible and the corresponding counting problem is in fact #P-hard for general graphs. Counting undirected Euler tours in bounded tree-width graphs was not known to be polynomial time computable till very recently Chebolu et al [CCM13] gave a polynomial time algorithm for this problem (concurrently and independently of this work). Finally, we also show some linear algebraic extensions of the determinant algorithm to show how to compute the charcteristic polynomial and trace of the powers of a bounded tree-width graph in L.
On the Divisibility of Trinomials by Maximum Weight Polynomials over F2
Published in Theory and Applications of Mathematics & Computer Science 4(1) (2014) 56-64
• View Publication
• BIB
Divisibility of trinomials by given polynomials over finite fields has been studied and used to construct orthogonal arrays in recent literature. Dewar et al.\ (Des.\ Codes Cryptogr.\ 45:1-17, 2007) studied the division of trinomials by a given pentanomial over $\F_2$ to obtain the orthogonal arrays of strength at least 3, and finalized their paper with some open questions. One of these questions is concerned with generalizations to the polynomials with more than five terms. In this paper, we consider the divisibility of trinomials by a given maximum weight polynomial over $\F_2$ and apply the result to the construction of the orthogonal arrays of strength at least 3.
Complexity Results for Rainbow Matchings
Published
• View Publication
• BIB
A rainbow matching in an edge-colored graph is a matching whose edges have distinct colors. We address the complexity issue of the following problem, \mrbm: Given an edge-colored graph $G$, how large is the largest rainbow matching in $G$? We present several sharp contrasts in the complexity of this problem.
We show, among others, that
* can be approximated by a polynomial algorithm with approximation ratio $2/3-\eps$.
* is APX-complete, even when restricted to properly edge-colored linear forests without a $5$-vertex path, and is solvable in %time $O(m^{3/2})$ on edge-colored $m$-edge polynomial time for edge-colored forests without a $4$-vertex path.
* is APX-complete, even when restricted to properly edge-colored trees without an $8$-vertex path, and is solvable in %time $O(n^{7/2})$ on edge-colored $n$-vertex polynomial time for edge-colored trees without a $7$-vertex path.
* is APX-complete, even when restricted to properly edge-colored paths.
These results provide a dichotomy theorem for the complexity of the problem on forests and trees in terms of forbidding paths. The latter is somewhat surprising, since, to the best of our knowledge, no (unweighted) graph problem prior to our result is known to be NP-hard for simple paths.
We also address the parameterized complexity of the problem.
Ehrhart polynomials with negative coefficients
Published
• View Publication
• BIB
It is shown that, for each $d \geq 4$, there exists an integral convex polytope $\mathcal{P}$ of dimension $d$ such that each of the coefficients of $n, n^{2}, \ldots, n^{d-2}$ of its Ehrhart polynomial $i(\mathcal{P},n)$ is negative.
Coefficients of Sylvester's Denumerant
Published in INTEGERS, vol 15 (2005), A11
• View Publication
• BIB
For a given sequence $\mathbfα = [α_1,α_2,\dots,α_{N+1}]$ of $N+1$ positive integers, we consider the combinatorial function $E(\mathbfα)(t)$ that counts the nonnegative integer solutions of the equation $α_1x_1+α_2 x_2+\cdots+α_{N} x_{N}+α_{N+1}x_{N+1}=t$, where the right-hand side $t$ is a varying nonnegative integer. It is well-known that $E(\mathbfα)(t)$ is a quasi-polynomial function in the variable $t$ of degree $N$. In combinatorial number theory this function is known as Sylvester's denumerant.
Our main result is a new algorithm that, for every fixed number $k$, computes in polynomial time the highest $k+1$ coefficients of the quasi-polynomial $E(\mathbfα)(t)$ as step polynomials of $t$ (a simpler and more explicit representation). Our algorithm is a consequence of a nice poset structure on the poles of the associated rational generating function for $E(\mathbfα)(t)$ and the geometric reinterpretation of some rational generating functions in terms of lattice points in polyhedral cones. Our algorithm also uses Barvinok's fundamental fast decomposition of a polyhedral cone into unimodular cones. This paper also presents a simple algorithm to predict the first non-constant coefficient and concludes with a report of several computational experiments using an implementation of our algorithm in LattE integrale. We compare it with various Maple programs for partial or full computation of the denumerant.
On hypergraph cliques and polynomial programming
Motzkin and Straus established a close connection between the maximum clique problem and a solution (namely graph-Lagrangians) to the maximum value of a class of homogeneous quadratic multilinear functions over the standard simplex of the Euclidean space in 1965. This connection provides a new proof of Turán's theorem. Recently, an extension of Motzkin-Straus theorem was proved for non-uniform hypergraphs whose edges contain 1 or 2 vertices in \cite{PPTZ}. It is interesting if similar results hold for other non-uniform hypergraphs. In this paper, we give some connection between polynomial programming and the clique of non-uniform hypergraphs whose edges contain 1, or 2, and more vertices. Specifically, we obtain some Motzkin-Straus type results in terms of the graph-Lagrangian of non-uniform hypergraphs whose edges contain 1, or 2, and more vertices.
Basic and bibasic identities related to divisor functions
Published in J. Math. Anal. Appl. 431 (2015), 1197-1209
• View Publication
• BIB
Using basic hypergeometric functions and partial fraction decomposition we give a new kind of generalization of identities due to Uchimura, Dilcher, Van Hamme, Prodinger, and Chen-Fu related to divisor functions. An identity relating Lambert series to Eulerian polynomials is also proved.
Explicit linear kernels via dynamic programming
Published
• View Publication
• BIB
Several algorithmic meta-theorems on kernelization have appeared in the last years, starting with the result of Bodlaender et al. [FOCS 2009] on graphs of bounded genus, then generalized by Fomin et al. [SODA 2010] to graphs excluding a fixed minor, and by Kim et al. [ICALP 2013] to graphs excluding a fixed topological minor. Typically, these results guarantee the existence of linear or polynomial kernels on sparse graph classes for problems satisfying some generic conditions but, mainly due to their generality, it is not clear how to derive from them constructive kernels with explicit constants. In this paper we make a step toward a fully constructive meta-kernelization theory on sparse graphs. Our approach is based on a more explicit protrusion replacement machinery that, instead of expressibility in CMSO logic, uses dynamic programming, which allows us to find an explicit upper bound on the size of the derived kernels. We demonstrate the usefulness of our techniques by providing the first explicit linear kernels for $r$-Dominating Set and $r$-Scattered Set on apex-minor-free graphs, and for Planar-\mathcal{F}-Deletion on graphs excluding a fixed (topological) minor in the case where all the graphs in \mathcal{F} are connected.