polynomial
11422 papers tagged with this keyword
Shapes of interacting RNA complexes
Published
• View Publication
• BIB
Shapes of interacting RNA complexes are studied using a filtration via their topological genus. A shape of an RNA complex is obtained by (iteratively) collapsing stacks and eliminating hairpin loops. This shape-projection preserves the topological core of the RNA complex and for fixed topological genus there are only finitely many such shapes.Our main result is a new bijection that relates the shapes of RNA complexes with shapes of RNA structures.This allows to compute the shape polynomial of RNA complexes via the shape polynomial of RNA structures. We furthermore present a linear time uniform sampling algorithm for shapes of RNA complexes of fixed topological genus.
On the smallest eigenvalues of the line graphs of some trees
Published in Linear Algebra and its Applications 466 (2015) 501-511
• View Publication
• BIB
In this paper, we study the characteristic polynomials of the line graphs of generalized Bethe trees. We give an infinite family of such graphs sharing the same smallest eigenvalue. Our family generalizes the family of coronas of complete graphs discovered by Cvetković and Stevanović.
Enumeration of polyominoes defined in terms of pattern avoidance or convexity constraints
In this thesis, we consider the problem of characterizing and enumerating sets of polyominoes described in terms of some constraints, defined either by convexity or by pattern containment. We are interested in a well known subclass of convex polyominoes, the k-convex polyominoes for which the enumeration according to the semi-perimeter is known only for k=1,2. We obtain, from a recursive decomposition, the generating function of the class of k-convex parallelogram polyominoes, which turns out to be rational. Noting that this generating function can be expressed in terms of the Fibonacci polynomials, we describe a bijection between the class of k-parallelogram polyominoes and the class of planted planar trees having height less than k+3. In the second part of the thesis we examine the notion of pattern avoidance, which has been extensively studied for permutations. We introduce the concept of pattern avoidance in the context of matrices, more precisely permutation matrices and polyomino matrices. We present definitions analogous to those given for permutations and in particular we define polyomino classes, i.e. sets downward closed with respect to the containment relation. So, the study of the old and new properties of the redefined sets of objects has not only become interesting, but it has also suggested the study of the associated poset. In both approaches our results can be used to treat open problems related to polyominoes as well as other combinatorial objects.
Matchings in Benjamini-Schramm convergent graph sequences
Published in Trans. Amer. Math. Soc. 368 (2016), no. 6, 4197--4218
• Search Publication
We introduce the matching measure of a finite graph as the uniform distribution on the roots of the matching polynomial of the graph. We analyze the asymptotic behavior of the matching measure for graph sequences with bounded degree.
A graph parameter is said to be estimable if it converges along every Benjamini-Schramm convergent sparse graph sequence. We prove that the normalized logarithm of the number of matchings is estimable. We also show that the analogous statement for perfect matchings already fails for d-regular bipartite graphs for any fixed d at least 3. The latter result relies on analyzing the probability that a randomly chosen perfect matching contains a particular edge.
However, for any sequence of d-regular bipartite graphs converging to the d-regular tree, we prove that the normalized logarithm of the number of perfect matchings converges. This applies to random d-regular bipartite graphs. We show that the limit equals to the exponent in Schrijver's lower bound on the number of perfect matchings.
Our analytic approach also yields a short proof for the Nguyen-Onak (also Elek--Lippner) theorem saying that the matching ratio is estimable. In fact, we prove the slightly stronger result that the independence ratio is estimable for claw-free graphs.
Twice $Q$-polynomial distance-regular graphs of diameter 4
Published
• View Publication
• BIB
It is known that a distance-regular graph with valency $k$ at least three admits at most two Q-polynomial structures. %
In this note we show that all distance-regular graphs with diameter four and valency at least three admitting two $Q$-polynomial structures are either dual bipartite or almost dual imprimitive. By the work of Dickie \cite{Dickie} this implies that any distance-regular graph with diameter $d$ at least four and valency at least three admitting two $Q$-polynomial structures is, provided it is not a Hadamard graph, either the cube $H(d,2)$ with $d$ even, the half cube ${1}/{2} H(2d+1,2)$, the folded cube $\tilde{H}(2d+1,2)$, or the dual polar graph on $[^2A_{2d-1}(q)]$ with $q\ge 2$ a prime power.
Finiteness conditions for graph algebras over tropical semirings
Connection matrices for graph parameters with values in a field have been introduced by M. Freedman, L. Lov{á}sz and A. Schrijver (2007). Graph parameters with connection matrices of finite rank can be computed in polynomial time on graph classes of bounded tree-width. We introduce join matrices, a generalization of connection matrices, and allow graph parameters to take values in the tropical rings (max-plus algebras) over the real numbers. We show that rank-finiteness of join matrices implies that these graph parameters can be computed in polynomial time on graph classes of bounded clique-width. In the case of graph parameters with values in arbitrary commutative semirings, this remains true for graph classes of bounded linear clique-width. B. Godlin, T. Kotek and J.A. Makowsky (2008) showed that definability of a graph parameter in Monadic Second Order Logic implies rank finiteness. We also show that there are uncountably many integer valued graph parameters with connection matrices or join matrices of fixed finite rank. This shows that rank finiteness is a much weaker assumption than any definability assumption.
A combinatorial proof that Schubert vs. Schur coefficients are nonnegative
We give a combinatorial proof that the product of a Schubert polynomial by a Schur polynomial is a nonnegative sum of Schubert polynomials. Our proof uses Assaf's theory of dual equivalence to show that a quasisymmetric function of Bergeron and Sottile is Schur-positive. By a geometric comparison theorem of Buch and Mihalcea, this implies the nonnegativity of Gromov-Witten invariants of the Grassmannian.
Strongly polynomial sequences as interpretations
Published
• View Publication
• BIB
A strongly polynomial sequence of graphs $(G_n)$ is a sequence $(G_n)_{n\in\mathbb{N}}$ of finite graphs such that, for every graph $F$, the number of homomorphisms from $F$ to $G_n$ is a fixed polynomial function of $n$ (depending on $F$). For example, $(K_n)$ is strongly polynomial since the number of homomorphisms from $F$ to $K_n$ is the chromatic polynomial of $F$ evaluated at $n$. In earlier work of de la Harpe and Jaeger, and more recently of Averbouch, Garijo, Godlin, Goodall, Makowsky, Nešetřil, Tittmann, Zilber and others, various examples of strongly polynomial sequences and constructions for families of such sequences have been found.
We give a new model-theoretic method of constructing strongly polynomial sequences of graphs that uses interpretation schemes of graphs in more general relational structures. This surprisingly easy yet general method encompasses all previous constructions and produces many more. We conjecture that, under mild assumptions, all strongly polynomial sequences of graphs can be produced by the general method of quantifier-free interpretation of graphs in certain basic relational structures (essentially disjoint unions of transitive tournaments with added unary relations). We verify this conjecture for strongly polynomial sequences of graphs with uniformly bounded degree.
Asymptotic estimate for the polynomial coefficients
The polynomial coefficient $\binom {n,q}{k}$ is defined to be the coefficient of $x^{k}$ in the expansion of $(1+x+x^2+... +x^{q-1})^n$. In this note we give an asymptotic estimate for $\binom {n,q}{cn}$ as $n$ tends to infinity, where $c$ is a positive integer. Based on experimental results, it was conjectured that for any $n$, $\binom {n,q}{cn}-\binom {n,q-1}{cn}$ is unimodal and its maximum value occurs $q=\lfloor\log_{1+\frac 1{c}}{n}\rfloor$ or $q=\lfloor\log_{1+\frac 1{c}}{n}\rfloor+1$. In particular, when $c=1$, its maximum value occurs for $q=\lfloor\log_2{n}\rfloor$ or $q=\lfloor\log_2{n}\rfloor+1$.
The matching energy of graphs with given edge connectivity
Published
• View Publication
• BIB
Let G be a simple graph of order $n$ and $μ_1,μ_2,\ldots,μ_n$ the roots of its matching polynomial. The matching energy of $G$ is defined as the sum $\sum_{i=1}^n|μ_i|$. Let $K_{n-1,1}^k$ be the graph obtained from $K_1\cup K_{n-1}$ by adding $k$ edges between $V(K_1)$ and $V(K_{n-1})$. In this paper, we show that $K_{n-1,1}^k$ has maximum matching energy among all connected graph with order $n$ and edge connectivity $k$.
Combinatorics of diagrams of permutations
Published in J. Combin. Theory Ser. A 137 (2016) 273-306
• View Publication
• BIB
There are numerous combinatorial objects associated to a Grassmannian permutation $w_λ$ that index cells of the totally nonnegative Grassmannian. We study several of these objects and their $q$-analogues in the case of permutations $w$ that are not necessarily Grassmannian. We give two main results: first, we show that certain acyclic orientations, rook placements avoiding a diagram of $w$, and fillings of a diagram of $w$ are equinumerous for all permutations $w$. Second, we give a $q$-analogue of a result of Hultman-Linusson-Shareshian-Sjöstrand by showing that under a certain pattern condition the Poincaré polynomial for the Bruhat interval of $w$ essentially counts invertible matrices avoiding a diagram of $w$ over a finite field. In addition to our main results, we include at the end a number of open questions.
On multiple and infinite log-concavity
Published
• View Publication
• BIB
Following Boros--Moll, a sequence $(a_n)$ is $m$-log-concave if $\mathcal{L}^j (a_n) \geq 0$ for all $j = 0, 1, \ldots, m$. Here, $\mathcal{L}$ is the operator defined by $\mathcal{L} (a_n) = a_n^2 - a_{n - 1} a_{n + 1}$. By a criterion of Craven--Csordas and McNamara--Sagan it is known that a sequence is $\infty$-log-concave if it satisfies the stronger inequality $a_k^2 \geq r a_{k - 1} a_{k + 1}$ for large enough $r$. On the other hand, a recent result of Brändén shows that $\infty$-log-concave sequences include sequences whose generating polynomial has only negative real roots. In this paper, we investigate sequences which are fixed by a power of the operator $\mathcal{L}$ and are therefore $\infty$-log-concave for a very different reason. Surprisingly, we find that sequences fixed by the non-linear operators $\mathcal{L}$ and $\mathcal{L}^2$ are, in fact, characterized by a linear 4-term recurrence. In a final conjectural part, we observe that positive sequences appear to become $\infty$-log-concave if convoluted with themselves a finite number of times.
A Novel Approach to the Common Due-Date Problem on Single and Parallel Machines
Published
• View Publication
• BIB
This paper presents a novel idea for the general case of the Common Due-Date (CDD) scheduling problem. The problem is about scheduling a certain number of jobs on a single or parallel machines where all the jobs possess different processing times but a common due-date. The objective of the problem is to minimize the total penalty incurred due to earliness or tardiness of the job completions. This work presents exact polynomial algorithms for optimizing a given job sequence for single and identical parallel machines with the run-time complexities of $O(n \log n)$ for both cases, where $n$ is the number of jobs. Besides, we show that our approach for the parallel machine case is also suitable for non-identical parallel machines. We prove the optimality for the single machine case and the runtime complexities of both. Henceforth, we extend our approach to one particular dynamic case of the CDD and conclude the chapter with our results for the benchmark instances provided in the OR-library.
Generalized Fourier coefficients of multiplicative functions
Published in Alg. Number Th. 12 (2018) 1311-1400
• View Publication
• BIB
We introduce and analyse a general class of not necessarily bounded multiplicative functions, examples of which include the function $n \mapsto δ^{ω(n)}$, where $δ\neq 0$ and where $ω$ counts the number of distinct prime factors of $n$, as well as the function $n \mapsto |λ_f(n)|$, where $λ_f(n)$ denotes the Fourier coefficients of a primitive holomorphic cusp form.
For this class of functions we show that after applying a `$W$-trick' their elements become orthogonal to polynomial nilsequences. The resulting functions therefore have small uniformity norms of all orders by the Green--Tao--Ziegler inverse theorem, a consequence that will be used in a separate paper in order to asymptotically evaluate linear correlations of multiplicative functions from our class. Our result generalises work of Green and Tao on the Möbius function.
Some remarkable new Plethystic Operators in the Theory of Macdonald Polynomials
Published
• View Publication
• BIB
In the 90's a collection of Plethystic operators were introduced in [3], [7] and [8] to solve some Representation Theoretical problems arising from the Theory of Macdonald polynomials. This collection was enriched in the research that led to the results which appeared in [5], [6] and [9]. However since some of the identities resulting from these efforts were eventually not needed, this additional work remained unpublished. As a consequence of very recent publications [4], [11], [19], [20], [21], a truly remarkable expansion of this theory has taken place. However most of this work has appeared in a language that is virtually inaccessible to practitioners of Algebraic Combinatorics. Yet, these developments have led to a variety of new conjectures in [2] in the Combinatorics and Symmetric function Theory of Macdonald Polynomials. The present work results from an effort to obtain in an elementary and accessible manner all the background necessary to construct the symmetric function side of some of these new conjectures. It turns out that the above mentioned unpublished results provide precisely the tools needed to carry out this project to its completion.
Warning's Second Theorem with Resricted Variables
Published
• View Publication
• BIB
We present a restricted variable generalization of Warning's Second Theorem (a result giving a lower bound on the number of solutions of a low degree polynomial system over a finite field, assuming one solution exists). This is analogous to Brink's restricted variable generalization of Chevalley's Theorem (a result giving conditions for a low degree polynomial system not to have exactly one solution). Just as Warning's Second Theorem implies Chevalley's Theorem, our result implies Brink's Theorem. We include several combinatorial applications, enough to show that we have a general tool for obtaining quantitative refinements of combinatorial existence theorems.
Sublinear separators, fragility and subexponential expansion
Let G be a subgraph-closed graph class with bounded maximum degree. We show that if G has balanced separators whose size is smaller than linear by a polynomial factor, then G has subexponential expansion. This gives a partial converse to a result of Nešetřil and Ossona de Mendez. As an intermediate step, the proof uses a new kind of graph decompositions.
Hook coefficients of chromatic functions
Published
• View Publication
• BIB
The chromatic symmetric function of a graph is a generalization of the chromatic polynomial. The key motivation for studying the structure of a chromatic symmetric function is to answer positivity conjectures by Stanley in 1995 and Gasharov in 1996. As a symmetric function one can write the chromatic symmetric function in the basis of Schur functions. In this paper we address the positivity of the Schur coefficients when the parameter of the Schur function is a hook shape. Furthermore, when a graph is the incomparability graph of a poset with specific properties we construct a correspondence between acyclic orientations of the graph and P-tableaux with a hook shape.
Orbit Portraits of Unicritical Anti-polynomials
Published in Conform. Geom. Dyn. 19 (2015), 35-50
• View Publication
• BIB
Orbit portraits were introduced by Milnor as a combinatorial tool to describe the patterns of all periodic dynamical rays landing on a periodic cycle of a quadratic polynomial. This encodes information about the dynamics and the parameter spaces of these maps. We carry out a similar analysis for unicritical anti-polynomials and give an explicit description of the orbit portraits that can occur for such maps in terms of their characteristic angles, which turns out to be rather restricted when compared with the holomorphic case. Finally, we prove a realization theorem for these combinatorial objects. The results obtained in this paper serve as a combinatorial foundation for a detailed understanding of the combinatorics and topology of the parameter spaces of unicritical anti-polynomials and their connectedness loci, known as the multicorns.
Explicit expressions for a family of Bell polynomials and derivatives of some functions
Published in Applied Mathematics and Computation 258 (2015), 597--607
• View Publication
• BIB
In the paper, the authors first inductively establish explicit formulas for derivatives of the arc sine function, then derive from these explicit formulas explicit expressions for a family of Bell polynomials related to the square function, and finally apply these explicit expressions to find explicit formulas for derivatives of some elementary functions.