polynomial
11257 papers tagged with this keyword
Complexity of colouring problems restricted to unichord-free and \{square,unichord\}-free graphs
Published in Discrete Applied Mathematics. Volume 164, Part 1, 19 February 2014, Pages 191-199
• View Publication
• BIB
A \emph{unichord} in a graph is an edge that is the unique chord of a cycle. A \emph{square} is an induced cycle on four vertices. A graph is \emph{unichord-free} if none of its edges is a unichord. We give a slight restatement of a known structure theorem for unichord-free graphs and use it to show that, with the only exception of the complete graph $K_4$, every square-free, unichord-free graph of maximum degree~3 can be total-coloured with four colours. Our proof can be turned into a polynomial time algorithm that actually outputs the colouring. This settles the class of square-free, unichord-free graphs as a class for which edge-colouring is NP-complete but total-colouring is polynomial.
On Hall-Littlewood polynomials
An observation on Hall-Littlewood polynomials.
Greedy bases in rank 2 generalized cluster algebras
In this note we extend the notion of greedy bases developed by Lee, Li, and Zelevinsky to rank two generalized cluster algebras, i.e. binomial exchange relations are replaced by polynomial exchange relations. In the process we give a combinatorial construction in terms of a refined notion of compatible pairs on a maximal Dyck path.
Discrete q-Hermite polynomials: An elementary approach
We present a simple approach to discrete q-Hermite polynomials with special emphasis on analogies with the classical case.
The expected characteristic and permanental polynomials of the random Gram matrix
Published
• View Publication
• BIB
A t by n random matrix A is formed by sampling n independent random column vectors, each containing t components. The random Gram matrix of size n, G_n, contains the dot products between all pairs of column vectors in the randomly generated matrix A; that is, G_n = transpose(A) A. The matrix G_n has characteristic roots coinciding with the singular values of A. Furthermore, the sequences det(G_i) and per(G_i) (for i = 0, 1, ..., n) are factors that comprise the expected coefficients of the characteristic and permanental polynomials of G_n. We prove theorems that relate the generating functions and recursions for the traces of matrix powers, expected characteristic coefficients, expected determinants E(det(G_n)), and expected permanents E(per(G_n)) in terms of each other. Using the derived recursions, we exhibit the efficient computation of the expected determinant and expected permanent of a random Gram matrix G_n, formed according to any underlying distribution. These theoretical results may be used both to speed up numerical algorithms and to investigate the numerical properties of the expected characteristic and permanental coefficients of any matrix comprised of independently sampled columns.
On the location of roots of graph polynomials
Published
• View Publication
• BIB
Roots of graph polynomials such as the characteristic polynomial, the chromatic polynomial, the matching polynomial, and many others are widely studied. In this paper we examine to what extent the location of these roots reflects the graph theoretic properties of the underlying graph.
Graphs that do not contain a cycle with a node that has at least two neighbors on it
Published in P. Aboulker, M. Radovanovic, N. Trotignon and K. Vuskovic. Graphs that do not contain a cycle with a node that has at least two neighbors on it. SIAM Journal on Discrete Mathematics, 26(4):1510-1531, 2012
• View Publication
• BIB
We recall several known results about minimally 2-connected graphs, and show that they all follow from a decomposition theorem. Starting from an analogy with critically 2-connected graphs, we give structural characterizations of the classes of graphs that do not contain as a subgraph and as an induced subgraph, a cycle with a node that has at least two neighbors on the cycle. From these characterizations we get polynomial time recognition algorithms for these classes, as well as polynomial time algorithms for vertex-coloring and edge-coloring.
Edge-colouring and total-colouring chordless graphs
Published in R.C.S. Machado, C.M.H. de Figueiredo and N. Trotignon. Edge-colouring and total-colouring chordless graphs, Discrete Mathematics, 313:1547-1552, 2013
• View Publication
• BIB
A graph $G$ is \emph{chordless} if no cycle in $G$ has a chord. In the present work we investigate the chromatic index and total chromatic number of chordless graphs. We describe a known decomposition result for chordless graphs and use it to establish that every chordless graph of maximum degree $Δ\geq 3$ has chromatic index $Δ$ and total chromatic number $Δ+ 1$. The proofs are algorithmic in the sense that we actually output an optimal colouring of a graph instance in polynomial time.
Combinatorial optimization with 2-joins
Published in N. Trotignon and K. Vuskovic. Combinatorial optimization with 2-joins. Journal of Combinatorial Theory, Series B, 102:153-185, 2012
• View Publication
• BIB
A 2-join is an edge cutset that naturally appears in decomposition of several classes of graphs closed under taking induced subgraphs, such as perfect graphs and claw-free graphs. In this paper we construct combinatorial polynomial time algorithms for finding a maximum weighted clique, a maximum weighted stable set and an optimal coloring for a class of perfect graphs decomposable by 2-joins: the class of perfect graphs that do not have a balanced skew partition, a 2-join in the complement, nor a homogeneous pair. The techniques we develop are general enough to be easily applied to finding a maximum weighted stable set for another class of graphs known to be decomposable by 2-joins, namely the class of even-hole-free graphs that do not have a star cutset.
We also give a simple class of graphs decomposable by 2-joins into bipartite graphs and line graphs, and for which finding a maximum stable set is NP-hard. This shows that having holes all of the same parity gives essential properties for the use of 2-joins in computing stable sets.
Finding an induced subdivision of a digraph
Published in J. Bang-Jensen, F. Havet and N. Trotignon. Finding an induced subdivision of a digraph. Theoretical Computer Science, 443:10-24, 2012
• View Publication
• BIB
We consider the following problem for oriented graphs and digraphs: Given an oriented graph (digraph) $G$, does it contain an induced subdivision of a prescribed digraph $D$? The complexity of this problem depends on $D$ and on whether $G$ must be an oriented graph or is allowed to contain 2-cycles. We give a number of examples of polynomial instances as well as several NP-completeness proofs.
New proofs of two $q$-analogues of Koshy's formula
Published
• View Publication
• BIB
In this paper we prove a $q$-analogue of Koshy's formula in terms of the Narayana polynomial due to Lassalle and a $q$-analogue of Koshy's formula in terms of $q$-hypergeometric series due to Andrews by applying the inclusion-exclusion principle on Dyck paths and on partitions. We generalize these two $q$-analogues of Koshy's formula for $q$-Catalan numbers to that for $q$-Ballot numbers. This work also answers an open question by Lassalle and two questions raised by Andrews in 2010. We conjecture that if $n$ is odd, then for $m\ge n\ge 1$, the polynomial $(1+q^n){m\brack n-1}_q$ is unimodal. If $n$ is even, for any even $j\ne 0$ and $m\ge n\ge 1$, the polynomial $(1+q^n)[j]_q{m\brack n-1}_q$ is unimodal. This implies the answer to the second problem posed by Andrews.
Detecting induced subgraphs
Published in B. Lévêque, D. Lin, F. Maffray, and N. Trotignon. Detecting induced subgraphs. Discrete Applied Mathematics, 157:3540-3551, 2009
• View Publication
• BIB
An \emph{s-graph} is a graph with two kinds of edges: \emph{subdivisible} edges and \emph{real} edges. A \emph{realisation} of an s-graph $B$ is any graph obtained by subdividing subdivisible edges of $B$ into paths of arbitrary length (at least one). Given an s-graph $B$, we study the decision problem $Π_B$ whose instance is a graph $G$ and question is "Does $G$ contain a realisation of $B$ as an induced subgraph?". For several $B$'s, the complexity of $Π_B$ is known and here we give the complexity for several more. Our NP-completeness proofs for $Π_B$'s rely on the NP-completeness proof of the following problem. Let $\cal S$ be a set of graphs and $d$ be an integer. Let $Γ_{\cal S}^d$ be the problem whose instance is $(G, x, y)$ where $G$ is a graph whose maximum degree is at most d, with no induced subgraph in $\cal S$ and $x, y \in V(G)$ are two non-adjacent vertices of degree 2. The question is "Does $G$ contain an induced cycle passing through $x, y$?". Among several results, we prove that $Γ^3_{\emptyset}$ is NP-complete. We give a simple criterion on a connected graph $H$ to decide whether $Γ^{+\infty}_{\{H\}}$ is polynomial or NP-complete. The polynomial cases rely on the algorithm three-in-a-tree, due to Chudnovsky and Seymour.
On counterexamples to a conjecture of Wills and Ehrhart polynomials whose roots have equal real parts
Published
• View Publication
• BIB
As a discrete analog to Minkowski's theorem on convex bodies, Wills conjectured that the Ehrhart coefficients of a centrally symmetric lattice polytope with exactly one interior lattice point are maximized by those of the cube of side length two. We discuss several counterexamples to this conjecture and, on the positive side, we identify a family of lattice polytopes that fulfill the claimed inequalities. This family is related to the recently introduced class of $l$-reflexive polytopes.
Laurent Phenomenon Sequences
Published
• View Publication
• BIB
In this paper, we undertake a systematic study of recurrences x_{m+n}x_{m} = P(x_{m+1}, ..., x_{m+n-1}) which exhibit the Laurent phenomenon. Some of the most famous among these sequences come from the Somos and the Gale-Robinson recurrences. Our approach is based on finding period 1 seeds of Laurent phenomenon algebras of Lam-Pylyavskyy. We completely classify polynomials P that generate period 1 seeds in the cases of n=2,3 and of mutual binomial seeds. We also find several other interesting families of polynomials P whose generated sequences exhibit the Laurent phenomenon. Our classification for binomial seeds is a direct generalization of a result by Fordy and Marsh, that employs a new combinatorial gadget we call a double quiver.
Further results on the nullity of signed graphs
Published
• View Publication
• BIB
The nullity of a graph is the multiplicity of the eigenvalues zero in its spectrum. A signed graph is a graph with a sign attached to each of its edges. In this paper, we obtain the coefficient theorem of the characteristic polynomial of a signed graph, give two formulae on the nullity of signed graphs with cut-points. As applications of the above results, we investigate the nullity of the bicyclic signed graph $Γ(\infty(p,q,l))$, obtain the nullity set of unbalanced bicyclic signed graphs, and thus determine the nullity set of bicyclic signed graphs.
New constructions of quaternary bent functions
In this paper, a new construction of quaternary bent functions from quaternary quadratic forms over Galois rings of characteristic 4 is proposed. Based on this construction, several new classes of quaternary bent functions are obtained, and as a consequence, several new classes of quadratic binary bent and semi-bent functions in polynomial forms are derived. This work generalizes the recent work of N. Li, X. Tang and T. Helleseth.
The resolving number of a graph
Published
• View Publication
• BIB
We study a graph parameter related to resolving sets and metric dimension, namely the resolving number, introduced by Chartrand, Poisson and Zhang. First, we establish an important difference between the two parameters: while computing the metric dimension of an arbitrary graph is known to be NP-hard, we show that the resolving number can be computed in polynomial time. We then relate the resolving number to classical graph parameters: diameter, girth, clique number, order and maximum degree. With these relations in hand, we characterize the graphs with resolving number 3 extending other studies that provide characterizations for smaller resolving number.
Billey's formula in combinatorics, geometry, and topology
Published
• View Publication
• BIB
In this expository paper we describe a powerful combinatorial formula and its implications in geometry, topology, and algebra. This formula first appeared in the appendix of a book by Andersen, Jantzen, and Soergel. Sara Billey discovered it independently five years later, and it played a prominent role in her work to evaluate certain polynomials closely related to Schubert polynomials.
Billey's formula relates many pieces of Schubert calculus: the geometry of Schubert varieties, the action of the torus on the flag variety, combinatorial data about permutations, the cohomology of the flag variety and of the Schubert varieties, and the combinatorics of root systems (generalizing inversions of a permutation). Combinatorially, Billey's formula describes an invariant of pairs of elements of a Weyl group. On its face, this formula is a combination of roots built from subwords of a fixed word. As we will see, it has deeper geometric and topological meaning as well: (1) It tells us about the tangent spaces at each permutation flag in each Schubert variety. (2) It tells us about singular points in Schubert varieties. (3) It tells us about the values of Kostant polynomials. Billey's formula also reflects an aspect of GKM theory, which is a way of describing the torus-equivariant cohomology of a variety just from information about the torus-fixed points in the variety.
This paper will also describe some applications of Billey's formula, including concrete combinatorial descriptions of Billey's formula in special cases, and ways to bootstrap Billey's formula to describe the equivariant cohomology of subvarieties of the flag variety to which GKM theory does not apply.
Laurent biorthogonal polynomials, q-Narayana polynomials and domino tilings of the Aztec diamonds
Published
• View Publication
• BIB
A Töplitz determinant whose entries are described by a q-analogue of the Narayana polynomials is evaluated by means of Laurent biorthogonal polynomials which allow of a combinatorial interpretation in terms of Schröder paths. As an application, a new proof is given to the Aztec diamond theorem by Elkies, Kuperberg, Larsen and Propp concerning domino tilings of the Aztec diamonds. The proof is based on the correspondence with non-intersecting Schröder paths developed by Eu and Fu.
Asymptotic normality of some graph sequences
Published
• View Publication
• BIB
For a simple finite graph G denote by {G \brace k} the number of ways of partitioning the vertex set of G into k non-empty independent sets (that is, into classes that span no edges of G). If E_n is the graph on n vertices with no edges then {E_n \brace k} coincides with {n \brace k}, the ordinary Stirling number of the second kind, and so we refer to {G \brace k} as a graph Stirling number.
Harper showed that the sequence of Stirling numbers of the second kind, and thus the graph Stirling sequence of E_n, is asymptotically normal --- essentially, as n grows, the histogram of ({E_n \brace k})_{k \geq 0}, suitably normalized, approaches the density function of the standard normal distribution.
In light of Harper's result, it is natural to ask for which sequences (G_n)_{n \geq 0} of graphs is there asymptotic normality of ({G_n \brace k})_{k \geq 0}. Do and Galvin conjectured that if for each n, G_n is acylic and has n vertices, then asymptotic normality occurs, and they gave a proof under the added condition that G_n has no more than o(\sqrt{n/\log n}) components.
Here we settle Do and Galvin's conjecture in the affirmative, and significantly extend it, replacing "acyclic" in their conjecture with "co-chromatic with a quasi-threshold graph, and with negligible chromatic number". Our proof combines old work of Navon and recent work of Engbers, Galvin and Hilyard on the normal order problem in a Weyl algebra, and work of Kahn on the matching polynomial of a graph.