polynomial
11422 papers tagged with this keyword
Acquaintance Time of a Graph
Published
• View Publication
• BIB
We define the following parameter of connected graphs. For a given graph $G$ we place one agent in each vertex of $G$. Every pair of agents sharing a common edge is declared to be acquainted. In each round we choose some matching of $G$ (not necessarily a maximal matching), and for each edge in the matching the agents on this edge swap places. After the swap, again, every pair of agents sharing a common edge become acquainted, and the process continues. We define the \emph{acquaintance time} of a graph $G$, denoted by $AC(G)$, to be the minimal number of rounds required until every two agents are acquainted.
We first study the acquaintance time for some natural families of graphs including the path, expanders, the binary tree, and the complete bipartite graph. We also show that for all positive integers $n$ and $k \leq n^{1.5}$ there exists an $n$-vertex graph $G$ such that $AC(G) =Θ(k)$. We also prove that for all $n$-vertex connected graphs $G$ we have $AC(G) = O\left(\frac{n^2}{\log(n)/\log\log(n)}\right)$, improving the $O(n^2)$ trivial upper bound achieved by sequentially letting each agent perform depth-first search along a spanning tree of $G$.
Studying the computational complexity of this problem, we prove that for any constant $t \geq 1$ the problem of deciding that a given graph $G$ has $AC(G) \leq t$ or $AC(G) \geq 2t$ is $\mathcal{NP}$-complete. That is, $AC(G)$ is $\mathcal{NP}$-hard to approximate within multiplicative factor of 2, as well as within any additive constant factor.
On the algorithmic side, we give a deterministic algorithm that given a graph $G$ with $AC(G)=1$ finds a ${\lceil n/c\rceil}$-rounds strategy for acquaintance in time $n^{c+O(1)}$. We also design a randomized polynomial time algorithm that given a graph $G$ with $AC(G)=1$ finds with high probability an $O(\log(n))$-rounds strategy for acquaintance.
A simple proof of the formula for the Betti numbers of the quasihomogeneous Hilbert schemes
Published in International Mathematics Research Notices (2015), no. 13, 4708--4715
• View Publication
• BIB
In a recent paper the first two authors proved that the generating series of the Poincare polynomials of the quasihomogeneous Hilbert schemes of points in the plane has a simple decomposition in an infinite product. In this paper we give a very short geometrical proof of that formula.
Some Determinantal Identities
Some applications of a result, which is proved recently, is considered. We first prove three determinantal identities concerning the binomial coefficient and Stirling numbers of the first and the second kind. We also easily obtain the inverse of the Vandermonde matrix. Then we derive a recurrence formula for sums of powers, which is similar to the well-known Newton identity. In the last section, we consider some sequences given by a homologous linear recurrence equation.
A determinantal identity for the Fibonacci numbers of higher order is proved.
We finish with an expression of the generalized Vandermonde determinant in terms of the standard Vandermonde determinant and elementary symmetric polynomials.
Generalized Counting Constraint Satisfaction Problems With Determinantal Circuits
Published
• View Publication
• BIB
Generalized counting constraint satisfaction problems include Holant problems with planarity restrictions; polynomial-time algorithms for such problems include matchgates and matchcircuits, which are based on Pfaffians. In particular, they use gates which are expressible in terms of a vector of sub-Pfaffians of a skew-symmetric matrix. We introduce a new type of circuit based instead on determinants, with seemingly different expressive power. In these determinantal circuits, a gate is represented by the vector of all minors of an arbitrary matrix. Determinantal circuits permit a different class of gates. Applications of these circuits include proofs of theorems from algebraic graph theory including the Chung-Langlands formula for the number of rooted spanning forests of a graph and computing Tutte Polynomials of certain matroids. They also give a strategy for simulating quantum circuits with closed timelike curves. Monoidal category theory provides a useful language for discussing such counting problems, turning combinatorial restrictions into categorical properties. We introduce the counting problem in monoidal categories and count-preserving functors as a way to study FP subclasses of problems in settings which are generally #P-hard. Using this machinery we show that, surprisingly, determinantal circuits can be simulated by Pfaffian circuits at quadratic cost.
Clique cycle-transversals in distance-hereditary graphs
A cycle-transversal of a graph G is a subset T of V(G) such that T intersects every cycle of G. A clique cycle-transversal, or cct for short, is a cycle-transversal which is a clique. Recognizing graphs which admit a cct can be done in polynomial time; however, no structural characterization of such graphs is known. We characterize distance-hereditary graphs admitting a cct in terms of forbidden induced subgraphs. This extends similar results for chordal graphs and cographs.
Substitution and $χ$-Boundedness
Published in M. Chudnovsky, I. Penev, A. Scott and N. Trotignon. Substitutions and $χ$-boundedness. Journal of Combinatorial Theory, Series B, 103(5):567-586, 2013
• View Publication
• BIB
A class $\mathcal{G}$ of graphs is said to be {\em $χ$-bounded} if there is a function $f:\mathbb{N} \rightarrow \mathbb{R}$ such that for all $G \in \mathcal{G}$ and all induced subgraphs $H$ of $G$, $χ(H) \leq f(ω(H))$. In this paper, we show that if $\mathcal{G}$ is a $χ$-bounded class, then so is the closure of $\mathcal{G}$ under any one of the following three operations: substitution, gluing along a clique, and gluing along a bounded number of vertices. Furthermore, if $\mathcal{G}$ is $χ$-bounded by a polynomial (respectively: exponential) function, then the closure of $\mathcal{G}$ under substitution is also $χ$-bounded by some polynomial (respectively: exponential) function. In addition, we show that if $\mathcal{G}$ is a $χ$-bounded class, then the closure of $\mathcal{G}$ under the operations of gluing along a clique and gluing along a bounded number of vertices together is also $χ$-bounded, as is the closure of $\mathcal{G}$ under the operations of substitution and gluing along a clique together.
Dual Equivalence Graphs Revisited and the Explicit Schur Expansion of a Family of LLT Polynomials
Published
• View Publication
• BIB
In 2007 Sami Assaf introduced dual equivalence graphs as a method for demonstrating that a quasisymmetric function is Schur positive. The method involves the creation of a graph whose vertices are weighted by Ira Gessel's fundamental quasisymmetric functions so that the sum of the weights of a connected component is a single Schur function. In this paper, we improve on Assaf's axiomatization of such graphs, giving locally testable criteria that are more easily verified by computers. We further advance the theory of dual equivalence graphs by describing a broader class of graphs that correspond to an explicit Schur expansion in terms of Yamanouchi words. Along the way, we demonstrate several symmetries in the structure of dual equivalence graphs. We then apply these techniques to give explicit Schur expansions for a family of Lascoux-Leclerc-Thibon polynomials. This family properly contains the previously known case of polynomials indexed by two skew shapes, as was described in a 1995 paper by Christophe Carré and Bernard Leclerc. As an immediate corollary, we gain an explicit Schur expansion for a family of modified Macdonald polynomials in terms of Yamanouchi words. This family includes all polynomials indexed by shapes with at most three cells in the first row and at most two cells in the second row, providing an extension to the combinatorial description of the two column case described in 2005 by James Haglund, Mark Haiman, and Nick Loehr.
Combinatorial rules for three bases of polynomials
Published in Seminaire Lotharingien de Combinatoire 74 (2015), Article B74a, 11pp
• Search Publication
We present combinatorial rules (one theorem and two conjectures) concerning three bases of Z[x1,x2,....]. First, we prove a "splitting" rule for the basis of key polynomials [Demazure '74], thereby establishing a new positivity theorem about them. Second, we introduce an extension of [Kohnert '90]'s "moves" to conjecture the first combinatorial rule for a certain deformation [Lascoux '01] of the key polynomials. Third, we use the same extension to conjecture a new rule for the Grothendieck polynomials [Lascoux-Schutzenberger '82].
Constructing, sampling and counting graphical realizations of restricted degree sequences
Published in PLOS ONE 2015. e0131300
• View Publication
• BIB
With the current burst of network theory (especially in connection with social and biological networks) there is a renewed interest on realizations of given degree sequences. In this paper we propose an essentially new degree sequence problem: we want to find graphical realizations of a given degree sequence on labeled vertices, where certain would-be edges are {\em forbidden}. Then we want to sample uniformly and efficiently all these possible realizations. (This problem can be considered as a special case of Tutte's $f$-factor problem, however it has a favorable sampling speed.)
We solve this {\em restricted degree sequence} (or RDS for short) problem completely if the forbidden edges form a bipartite graph, which consist of the union of a (not necessarily maximal) 1-factor and a (possible empty) star. Then we show how one can sample the space of all realizations of these RDSs uniformly and efficiently when the degree sequence describes a {\em half-regular} bipartite graph. Our result contains, as special cases, the well-known result of Kannan, Tetali and Vempala on sampling regular bipartite graphs and a recent result of Greenhill on sampling regular directed graphs (so it also provides new proofs of them).
The RDS problem descried above is self-reducible, therefore our {\em fully polynomial almost uniform sampler} (a.k.a. FPAUS) on the space of all realizations also provides a {\em fully polynomial randomized approximation scheme} (a.k.a. FPRAS) for approximate counting of all realizations.
Exact algorithms for dominating induced matchings
Published
• View Publication
• BIB
Say that an edge of a graph G dominates itself and every other edge adjacent to it. An edge dominating set of a graph G = (V,E) is a subset of edges E' of E which dominates all edges of G. In particular, if every edge of G is dominated by exactly one edge of E' then E' is a dominating induced matching. It is known that not every graph admits a dominating induced matching, while the problem to decide if it does admit is NP-complete. In this paper we consider the problem of finding a minimum weighted dominating induced matching, if any, of a graph with weighted edges. We describe two exact algorithms for general graphs. The algorithms are efficient in the cases where G admits a known vertex dominating set of small size, or when G contains a polynomial number of maximal independent sets.
Replication in critical graphs and the persistence of monomial ideals
Published in Journal of Combinatorial Theory, Series A 123(1): 239-251, 2014
• View Publication
• BIB
Motivated by questions about square-free monomial ideals in polynomial rings, in 2010 Francisco et al. conjectured that for every positive integer k and every k-critical (i.e., critically k-chromatic) graph, there is a set of vertices whose replication produces a (k+1)-critical graph. (The replication of a set W of vertices of a graph is the operation that adds a copy of each vertex w in W, one at a time, and connects it to w and all its neighbours.)
We disprove the conjecture by providing an infinite family of counterexamples. Furthermore, the smallest member of the family answers a question of Herzog and Hibi concerning the depth functions of square-free monomial ideals in polynomial rings, and a related question on the persistence property of such ideals.
Jack polynomials and orientability generating series of maps
Published in Sém. Lothar. Combin., 70:Art. B70j, 50 pp., 2014 (electronic)
• Search Publication
We study Jack characters, which are the coefficients of the power-sum expansion of Jack symmetric functions with a suitable normalization. These quantities have been introduced by Lassalle who formulated some challenging conjectures about them. We conjecture existence of a weight on non-oriented maps (i.e., graphs drawn on non-oriented surfaces) which allows to express any given Jack character as a weighted sum of some simple functions indexed by maps. We provide a candidate for this weight which gives a positive answer to our conjecture in some, but unfortunately not all, cases. In particular, it gives a positive answer for Jack characters specialized on Young diagrams of rectangular shape. This candidate weight attempts to measure, in a sense, the non-orientability of a given map.
Web worlds, web-colouring matrices, and web-mixing matrices
Published
• View Publication
• BIB
We introduce a new combinatorial object called a web world that consists of a set of web diagrams. The diagrams of a web world are generalizations of graphs, and each is built on the same underlying graph. Instead of ordinary vertices the diagrams have pegs, and edges incident to a peg have different heights on the peg. The web world of a web diagram is the set of all web diagrams that result from permuting the order in which endpoints of edges appear on a peg. The motivation comes from particle physics, where web diagrams arise as particular types of Feynman diagrams describing scattering amplitudes in non-Abelian gauge (Yang-Mills) theories. To each web world we associate two matrices called the web-colouring matrix and web-mixing matrix. The entries of these matrices are indexed by ordered pairs of web diagrams (D_1,D_2), and are computed from those colourings of the edges of D_1 that yield D_2 under a transformation determined by each colouring.
We show that colourings of a web diagram (whose constituent indecomposable diagrams are all unique) that lead to a reconstruction of the diagram are equivalent to order-preserving mappings of certain partially ordered sets (posets) that may be constructed from the web diagrams. For web worlds whose web graphs have all edge labels equal to 1, the diagonal entries of web-mixing and web-colouring matrices are obtained by summing certain polynomials determined by the descents in permutations in the Jordan-Holder set of all linear extensions of the associated poset. We derive tri-variate generating generating functions for the number of web worlds according to three statistics and enumerate the number of different web diagrams in a web world. Three special web worlds are examined in great detail, and the traces of the web-mixing matrices calculated in each case.
Normal forms of convex lattice polytopes
We describe an algorithm for determining whether two convex polytopes P and Q, embedded in a lattice, are isomorphic with respect to a lattice automorphism. We extend this to a method for determining if P and Q are equivalent, i.e. whether there exists an affine lattice automorphism that sends P to Q. Methods for calculating the automorphism group and affine automorphism group of P are also described.
An alternative strategy is to determine a normal form such that P and Q are isomorphic if and only if their normal forms are equal. This is the approach adopted by Kreuzer and Skarke in their PALP software. We describe the Kreuzer-Skarke method in detail, and give an improved algorithm when P has many symmetries. Numerous examples, plus two appendices containing detailed pseudo-code, should help with any future reimplementations of these techniques. We conclude by explaining how to define and calculate the normal form of a Laurent polynomial.
Statistics on parallelogram polyominoes and a q,t-analogue of the Narayana numbers
Published
• View Publication
• BIB
We study the statistics area, bounce and dinv on the set of parallelogram polyominoes having a rectangular m times n bounding box. We show that the bi-statistics (area, bounce) and (area, dinv) give rise to the same q,t-analogue of Narayana numbers which was introduced by two of the authors in [arXiv:1208.0024]. We prove the main conjectures of that paper: the q,t-Narayana polynomials are symmetric in both q and t, and m and n. This is accomplished by providing a symmetric functions interpretation of the q,t-Narayana polynomials which relates them to the famous diagonal harmonics.
Binary matroids and local complementation
Published in European Journal of Combinatorics 45 (2015), 21-40
• View Publication
• BIB
We introduce a binary matroid M(IAS(G)) associated with a looped simple graph G. M(IAS(G)) classifies G up to local equivalence, and determines the delta-matroid and isotropic system associated with G. Moreover, a parametrized form of its Tutte polynomial yields the interlace polynomials of G.
Binary Patterns in Binary Cube-Free Words: Avoidability and Growth
Published in RAIRO-Theor. Inf. Appl. 48 (2014) 369-389
• View Publication
• BIB
The avoidability of binary patterns by binary cube-free words is investigated and the exact bound between unavoidable and avoidable patterns is found. All avoidable patterns are shown to be D0L-avoidable. For avoidable patterns, the growth rates of the avoiding languages are studied. All such languages, except for the overlap-free language, are proved to have exponential growth. The exact growth rates of languages avoiding minimal avoidable patterns are approximated through computer-assisted upper bounds. Finally, a new example of a pattern-avoiding language of polynomial growth is given.
A Counting Function
We define a counting function that is related to the binomial coefficients.
An explicit formula for this function is proved.
In some particular cases, simpler explicit formuls are derived. We also derive a formula for the number of (0,1)-matrices, having a fixed number of 1's, and having no zero rows and zero columns.
Further, we show that our function satisfies several recurrence relations.
The relationship of our counting function with different classes of integers is then examined. These classes include: different kind of figurate numbers, the number of points on the surface of a square pyramid, the magic constants, the truncated square numbers, the coefficients of the Chebyshev polynomials, the Catalan numbers, the Dellanoy numbers, the Sulanke numbers, the numbers of the coordination sequences, and the number of the crystal ball sequences of a cubic lattice.
In the last part of the paper, we prove that several configurations are counted by our function. Some of these are: the number of spanning subgraphs of the complete bipartite graph, the number of square containing in a square, the number of coloring's of points on a line, the number of divisors of some particular numbers, the number of all parts in the compositions of an integer, the numbers of the weak compositions of integers, and the number of particular lattice paths.
We conclude by counting the number of possible moves of the rook, bishop, and queen on a chessboard.
The most statements in the paper are provided by bijective proofs in terms of insets, which are defined in the paper. With this we want to show that different configurations may be counted by the same method.
Algebra retracts and Stanley-Reisner rings
Published in J. Pure Appl. Algebra 218 (2014), no. 9, 1665-1682
• View Publication
• BIB
In a paper from 2002, Bruns and Gubeladze conjectured that graded algebra retracts of polytopal algebras over a field $k$ are again polytopal algebras. Motivated by this conjecture, we prove that graded algebra retracts of Stanley-Reisner rings over a field $k$ are again Stanley-Reisner rings. Extending this result further, we give partial evidence for a conjecture saying that monomial quotients of standard graded polynomial rings over $k$ descend along graded algebra retracts.
Approximating Bin Packing within O(log OPT * log log OPT) bins
Published
• View Publication
• BIB
For bin packing, the input consists of n items with sizes s_1,...,s_n in [0,1] which have to be assigned to a minimum number of bins of size 1. The seminal Karmarkar-Karp algorithm from '82 produces a solution with at most OPT + O(log^2 OPT) bins.
We provide the first improvement in now 3 decades and show that one can find a solution of cost OPT + O(log OPT * log log OPT) in polynomial time. This is achieved by rounding a fractional solution to the Gilmore-Gomory LP relaxation using the Entropy Method from discrepancy theory. The result is constructive via algorithms of Bansal and Lovett-Meka.