polynomial
11422 papers tagged with this keyword
Frame patterns in n-cycles
In this paper, we study the distribution of the number of occurrences of the simplest frame pattern, called the $μ$ pattern, in $n$-cycles. Given an $n$-cycle $C$, we say that a pair $\langle i,j \rangle$ matches the $μ$ pattern if $i < j$ and as we traverse around $C$ in a clockwise direction starting at $i$ and ending at $j$, we never encounter a $k$ with $i < k < j$. We say that $ \langle i,j \rangle$ is a nontrivial $μ$-match if $i+1 < j$. Also, an $n$-cycle $C$ is incontractible if there is no $i$ such that $i+1$ immediately follows $i$ in $C$.
We show that the number of incontractible $n$-cycles in the symmetric group $S_n$ is $D_{n-1}$, where $D_n$ is the number of derangements in $S_n$. Further, we prove that the number of $n$-cycles in $S_n$ with exactly $k$ $μ$-matches can be expressed as a linear combination of binomial coefficients of the form $\binom{n-1}{i}$ where $i \leq 2k+1$. We also show that the generating function $NTI_{n,μ}(q)$ of $q$ raised to the number of nontrivial $μ$-matches in $C$ over all incontractible $n$-cycles in $S_n$ is a new $q$-analogue of $D_{n-1}$, which is different from the $q$-analogues of the derangement numbers that have been studied by Garsia and Remmel and by Wachs. We show that there is a rather surprising connection between the charge statistic on permutations due to Lascoux and Schüzenberger and our polynomials in that the coefficient of the smallest power of $q$ in $NTI_{2k+1,μ}(q)$ is the number of permutations in $S_{2k+1}$ whose charge path is a Dyck path. Finally, we show that $NTI_{n,μ}(q)|_{q^{\binom{n-1}{2} -k}}$ and $NT_{n,μ}(q)|_{q^{\binom{n-1}{2} -k}}$ are the number of partitions of $k$ for sufficiently large $n$.
Geometric complexity of embeddings in ${\mathbb R}^d$
Published in Geom. Funct. Anal. 24 (2014), no. 5, 1406-1430
• View Publication
• BIB
Given a simplicial complex $K$, we consider several notions of geometric complexity of embeddings of $K$ in a Euclidean space ${\mathbb R}^d$: thickness, distortion, and refinement complexity (the minimal number of simplices needed for a PL embedding). We show that any $n$-complex with $N$ simplices which topologically embeds in ${\mathbb R}^{2n}$, $n>2$, can be PL embedded in ${\mathbb R}^{2n}$ with refinement complexity $O(e^{N^{4+ε}})$. Families of simplicial $n$-complexes $K$ are constructed such that any embedding of $K$ into ${\mathbb R}^{2n}$ has an exponential lower bound on thickness and refinement complexity as a function of the number of simplices of $K$. This contrasts embeddings in the stable range, $K\subset {\mathbb R}^{2n+k}$, $k>0$, where all known bounds on geometric complexity functions are polynomial. In addition, we give a geometric argument for a bound on distortion of expander graphs in Euclidean spaces. Several related open problems are discussed, including questions about the growth rate of complexity functions of embeddings, and about the crossing number and the ropelength of classical links.
Spectral results for the dominating induced matching problem
A matching M is a dominating induced matching of a graph, if every edge of the graph is either in $M$ or has a common end-vertex with exactly one edge in $M$. The concept of complete dominating induced matching is introduced as graphs where the vertex set can be partitioned into two subsets, one of them inducing an $1$-regular graph and the other defining an independent set and such that all the remaining edges connect each vertex of one set to each vertex of the other. The principal eigenvectors of the adjacency, Laplacian and signless Laplacian matrices of graphs with complete dominating induced matchings are characterized and, therefore, the polynomial time recognition of graphs with complete dominating induced matchings is stated. The adjacency, Laplacian and signless Laplacian spectrum of graphs with complete dominating induced matchings are characterized. Finally, several upper and lower bounds on the cardinality of a dominating induced matching obtained from the eigenvalues of the adjacency, Laplacian and signless Laplacian matrices are deduced and examples for which some of these bounds are tight are presented.
Minors for alternating dimaps
Published
• View Publication
• BIB
We develop a theory of minors for alternating dimaps --- orientably embedded digraphs where, at each vertex, the incident edges (taken in the order given by the embedding) are directed alternately into, and out of, the vertex. We show that they are related by the triality relation of Tutte. They do not commute in general, though do in many circumstances, and we characterise the situations where they do. The relationship with triality is reminiscent of similar relationships for binary functions, due to the author, so we characterise those alternating dimaps which correspond to binary functions. We give a characterisation of alternating dimaps of at most a given genus, using a finite set of excluded minors. We also use the minor operations to define simple Tutte invariants for alternating dimaps and characterise them. We establish a connection with the Tutte polynomial, and pose the problem of characterising universal Tutte-like invariants for alternating dimaps based on these minor operations.
The matching polytope has exponential extension complexity
Published
• View Publication
• BIB
A popular method in combinatorial optimization is to express polytopes P, which may potentially have exponentially many facets, as solutions of linear programs that use few extra variables to reduce the number of constraints down to a polynomial. After two decades of standstill, recent years have brought amazing progress in showing lower bounds for the so called extension complexity, which for a polytope P denotes the smallest number of inequalities necessary to describe a higher dimensional polytope Q that can be linearly projected on P.
However, the central question in this field remained wide open: can the perfect matching polytope be written as an LP with polynomially many constraints?
We answer this question negatively. In fact, the extension complexity of the perfect matching polytope in a complete n-node graph is 2^Omega(n). By a known reduction this also improves the lower bound on the extension complexity for the TSP polytope from 2^Omega(n^1/2) to 2^Omega(n).
Laurent Biorthogonal Polynomials and Riordan Arrays
We show that Laurent biorthogonal polynomials whose defining three-term recurrence have constant coefficients have coefficient arrays that are Riordan arrays. For each such family of Laurent biorthogonal polynomials we associate in a natural way a family of orthogonal polynomials. We also extend these results to a notion of generalized orthogonal polynomials whose recurrence depends on three parameters.
Laplacian coefficients of unicyclic graphs with the number of leaves and girth
Published
• View Publication
• BIB
Let $G$ be a graph of order $n$ and let $\mathcal{L}(G,λ)=\sum_{k=0}^n (-1)^{k}c_{k}(G)λ^{n-k}$ be the characteristic polynomial of its Laplacian matrix. Motivated by Ilić and Ilić's conjecture [A. Ilić, M. Ilić, Laplacian coefficients of trees with given number of leaves or vertices of degree two, Linear Algebra and its Applications 431(2009)2195-2202.] on all extremal graphs which minimize all the Laplacian coefficients in the set $\mathcal{U}_{n,l}$ of all $n$-vertex unicyclic graphs with the number of leaves $l$, we investigate properties of the minimal elements in the partial set $(\mathcal{U}_{n,l}^g, \preceq)$ of the Laplacian coefficients, where $\mathcal{U}_{n,l}^g$ denote the set of $n$-vertex unicyclic graphs with the number of leaves $l$ and girth $g$. These results are used to disprove their conjecture. Moreover, the graphs with minimum Laplacian-like energy in $\mathcal{U}_{n,l}^g$ are also studied.
Linear Extensions of N-free Orders
Published in Order 32(2): 147-155 (2015)
• View Publication
• BIB
We consider the number of linear extensions of an N-free order P. We give upper and lower bounds on this number in terms of parameters of the corresponding arc diagram. We propose a dynamic programming algorithm to calculate the number. The algorithm is polynomial if a new parameter called activity is bounded by a constant. The activity can be bounded in terms of parameters of the arc diagram.
Graph measures and network robustness
Network robustness research aims at finding a measure to quantify network robustness. Once such a measure has been established, we will be able to compare networks, to improve existing networks and to design new networks that are able to continue to perform well when it is subject to failures or attacks. In this paper we survey a large amount of robustness measures on simple, undirected and unweighted graphs, in order to offer a tool for network administrators to evaluate and improve the robustness of their network. The measures discussed in this paper are based on the concepts of connectivity (including reliability polynomials), distance, betweenness and clustering. Some other measures are notions from spectral graph theory, more precisely, they are functions of the Laplacian eigenvalues. In addition to surveying these graph measures, the paper also contains a discussion of their functionality as a measure for topological network robustness.
The Chromatic Polynomials of Signed Petersen Graphs
Published in Involve 8 (2015) 825-831
• View Publication
• BIB
Zaslavsky proved in 2012 that, up to switching isomorphism, there are six different signed Petersen graphs and that they could be told apart by their chromatic polynomials, by showing that the latter give distinct results when evaluated at 3. He conjectured that the six different signed Petersen graphs also have distinct zero-free chromatic polynomials, and that both types of chromatic polynomials have distinct evaluations at \emph{any} positive integer. We developed and executed a computer program (running in {\tt SAGE}) that efficiently determines the number of proper $k$-colorings for a given signed graph; our computations for the signed Petersen graphs confirm Zaslavsky's conjecture. We also computed the chromatic polynomials of all signed complete graphs with up to five vertices.
Noncommutative recursions and the Laurent phenomenon
Published
• View Publication
• BIB
We exhibit a family of sequences of noncommutative variables, recursively defined using monic palindromic polynomials in $\mathbb Q[x]$, and show that each possesses the Laurent phenomenon. This generalizes a conjecture by Kontsevich.
On the genus filtration of diagrams over two backbones
In this paper we compute the bivariate generating function of $γ$-matchings over two backbones, filtered by the number of arcs and the topological genus. $γ$-matchings over two backbones are chord-diagrams, obtained via concatenation and nesting of irreducible shapes of topological genus $\le γ$. We show that the key information is contained in the polynomials counting these shapes and provide recursions that allow to compute the latter. In particular we give a bijection between such irreducible shapes over one and two backbones. We present two applications of our results. The first is concerned with RNA-RNA interaction structures, obtained from the $γ$-matchings via symbolic methods. We secondly show that, using analytic-combinatorial methods, the topological genus satisfies a central limit theorem.
On the Lattice Isomorphism Problem
Published
• View Publication
• BIB
We study the Lattice Isomorphism Problem (LIP), in which given two lattices L_1 and L_2 the goal is to decide whether there exists an orthogonal linear transformation mapping L_1 to L_2. Our main result is an algorithm for this problem running in time n^{O(n)} times a polynomial in the input size, where n is the rank of the input lattices. A crucial component is a new generalized isolation lemma, which can isolate n linearly independent vectors in a given subset of Z^n and might be useful elsewhere. We also prove that LIP lies in the complexity class SZK.
A diagrammatic approach to Kronecker squares
Published in J. Combin. Theory Ser. A 127 (2014) 243-285
• View Publication
• BIB
In this paper we apply a method of Robinson and Taulbee for computing Kronecker coefficients together with other ingredients and show that the multiplicity of each component in a Kronecker square can be obtained from an evaluation of a certain polynomial, which depends only on the component and is computed combinatorially. This polynomial has as many variables as the set of isomorphism classes of connected skew diagrams of size at most the depth of the component.
We present two applications. The first is a contribution to Saxl conjecture, which asserts that the Kronecker square of the staircase partition, contains every irreducible character of the symmetric group as a component. We prove that for any partition there is a piecewise polynomial function in one real variable such that for all k, such that the multiplicity of this partition in the Kronecker square of the staircase partition of size k is given by the evaluation of the polynomial function in k. The second application is a proof of a new stability property for Kronecker coefficients.
Combinatorics of Link Diagrams and Volume
Published in Journal of Knot Theory and Its Ramifications, Vol. 24, No. 1 (2015), 1550001 (21 pages)
• View Publication
• BIB
We show that the volumes of certain hyperbolic A-adequate links can be bounded (above and) below in terms of two diagrammatic quantities: the twist number and the number of certain alternating tangles in an A-adequate diagram. We then restrict our attention to plat closures of certain braids, a rich family of links whose volumes can be bounded in terms of the twist number alone. Furthermore, in the absence of special tangles, our volume bounds can be expressed in terms of a single stable coefficient of the colored Jones polynomial. Consequently, we are able to provide a new collection of links that satisfy a Coarse Volume Conjecture.
Images of Rational Maps of Projective Spaces
Published
• View Publication
• BIB
Consider a rational map from a projective space to a product of projective spaces, induced by a collection of linear projections. Motivated by the the theory of limit linear series and Abel-Jacobi maps, we study the basic properties of the closure of the image of the rational map using a combination of techniques of moduli functors and initial degenerations. We first give a formula of multi-degree in terms of the dimensions of intersections of linear subspaces and then prove that it is Cohen-Macaulay. Finally, we compute its Hilbert polynomials.
Remarks on the analyticity of subadditive pressure for products of triangular matrices
Published in Monatshefte für Mathematik, 177, (2015), 53-65
• View Publication
• BIB
We study Falconer's subadditive pressure function with emphasis on analyticity. We begin by deriving a simple closed form expression for the pressure in the case of diagonal matrices and, by identifying phase transitions with zeros of Dirichlet polynomials, use this to deduce that the pressure is piecewise real analytic. We then specialise to the iterated function system setting and use a result of Falconer and Miao to extend our results to include the pressure for systems generated by matrices which are simultaneously triangularisable. Our closed form expression for the pressure simplifies a similar expression given by Falconer and Miao by reducing the number of equations needing to be solved by an exponential factor. Finally we present some examples where the pressure has a phase transition at a non-integer value and pose some open questions.
Claw-free t-perfect graphs can be recognised in polynomial time
Published
• View Publication
• BIB
A graph is called t-perfect if its stable set polytope is defined by non-negativity, edge and odd-cycle inequalities. We show that it can be decided in polynomial time whether a given claw-free graph is t-perfect.
b-coloring is NP-hard on co-bipartite graphs and polytime solvable on tree-cographs
Published in Algorithmica 73(2), 2015, 59-69
• View Publication
• BIB
A b-coloring of a graph is a proper coloring such that every color class contains a vertex that is adjacent to all other color classes. The b-chromatic number of a graph G, denoted by χ_b(G), is the maximum number t such that G admits a b-coloring with t colors. A graph G is called b-continuous if it admits a b-coloring with t colors, for every t = χ(G),\ldots,χ_b(G), and b-monotonic if χ_b(H_1) \geq χ_b(H_2) for every induced subgraph H_1 of G, and every induced subgraph H_2 of H_1.
We investigate the b-chromatic number of graphs with stability number two. These are exactly the complements of triangle-free graphs, thus including all complements of bipartite graphs. The main results of this work are the following:
- We characterize the b-colorings of a graph with stability number two in terms of matchings with no augmenting paths of length one or three. We derive that graphs with stability number two are b-continuous and b-monotonic.
- We prove that it is NP-complete to decide whether the b-chromatic number of co-bipartite graph is at most a given threshold.
- We describe a polynomial time dynamic programming algorithm to compute the b-chromatic number of co-trees.
- Extending several previous results, we show that there is a polynomial time dynamic programming algorithm for computing the b-chromatic number of tree-cographs. Moreover, we show that tree-cographs are b-continuous and b-monotonic.
A note on skew spectrum of graphs
Published in Ars Combin. 110 (2013) 481--485
• Search Publication
We give some properties of skew spectrum of a graph, especially, we answer negatively a problem concerning the skew characteristic polynomial and matching polynomial in [M. Cavers et al., Skew-adjacency matrices of graphs, Linear Algebra Appl. 436 (2012)
4512--4529].