polynomial
11257 papers tagged with this keyword
Derivative polynomials and enumeration of permutations by their alternating descents
Published
• View Publication
• BIB
In this paper we present an explicit formula for the number of permutations with a given number of alternating descents. Moreover, we study the interlacing property of the real parts of the zeros of the generating polynomials of these numbers.
Sets of recurrence as bases for the positive integers
Published
• View Publication
• BIB
We study sets of the form $A = \big\{ n \in \mathbb N \big| \lVert p(n) \rVert_{\mathbb R / \mathbb Z} \leq \varepsilon(n) \big\}$ for various real valued polynomials $p$ and decay rates $\varepsilon$. In particular, we ask when such sets are bases of finite order for the positive integers. We show that generically, $A$ is a basis of order $2$ when $\operatorname{deg} p \geq 3$, but not when $\operatorname{deg} p = 2$, although then $A + A$ still has asymptotic density $1$.
The (theta, wheel)-free graphs Part I: only-prism and only-pyramid graphs
Published in Journal of Combinatorial Theory, Series B, Volume 143, 2020, Pages 123-147
• View Publication
• BIB
Truemper configurations are four types of graphs (namely thetas, wheels, prisms and pyramids) that play an important role in the proof of several decomposition theorems for hereditary graph classes. In this paper, we prove two structure theorems: one for graphs with no thetas, wheels and prisms as induced subgraphs, and one for graphs with no thetas, wheels and pyramids as induced subgraphs. A consequence is a polynomial time recognition algorithms for these two classes. In Part II of this series we generalize these results to graphs with no thetas and wheels as induced subgraphs, and in Parts III and IV, using the obtained structure, we solve several optimization problems for these graphs.
Rank complement of rational Dyck paths and conjugation of $(m,n)$-core partitions
Published
• View Publication
• BIB
Given a coprime pair $(m,n)$ of positive integers, rational Catalan numbers $\frac{1}{m+n} \binom{m+n}{m,n}$ counts two combinatorial objects:rational $(m,n)$-Dyck paths are lattice paths in the $m\times n$ rectangle that never go below the diagonal; $(m,n)$-cores are partitions with no hook length equal to $m$ or $n$.Anderson established a bijection between $(m,n)$-Dyck paths and $(m,n)$-cores. We define a new transformation, called rank complement, on rational Dyck paths. We show that rank complement corresponds to conjugation of $(m,n)$-cores under Anderson's bijection. This leads to: i) a new approach to characterizing $n$-cores; ii) a simple approach for counting the number of self-conjugate $(m,n)$-cores; iii) a proof of the equivalence of two conjectured combinatorial sum formulas, one over rational $(m,n)$-Dyck paths and the other over $(m,n)$-cores, for rational Catalan polynomials.
On Double Schubert and Grothendieck polynomials for Classical Groups
We give an algebra-combinatorial constructions of (noncommutative) generating functions of double Schubert and double $β$-Grothendieck polynomials corresponding to the full flag varieties associated to the Lie groups of classical types $A,B, C$ and $D$. Our approach is based on the decomposition of certain `` transfer matrices `` corresponding to the exponential solution to the quantum Yang--Baxter equations associated with either NiCoxeter or IdCoxeter algebras of classical types.
The "triple"~$β$-Grothendieck polynomials ${\mathfrak{G}}_{w}^{W}(X,Y,Z)$ we have introduced, satisfy, among other things, the coherency and (generalized) vanishing conditions. Their generating function has a nice factorization in the algebra $Id_βCoxeter(W)$, and as a consequence, the polynomials ${\mathfrak{G}}_{w}^{W}(X,Y,Z)$ admit a combinatorial description in terms of $W$-type pipe dreams.
A classification of transitive links and periodic links
We generalized the periodic links to \emph{transitive} links in a $3$-manifold $M$. We find a complete classification theorem of transitive links in a $3$-dimensional sphere $\mathbb{R}^3$. We study these links from several different aspects including polynomial invariants using the relation between link polynomials of a transitive link and its factor links.
Quantum permanents and Hafnians via Pfaffians
Published in Lett. Math. Phys. 106 (2016), 1451-1464
• View Publication
• BIB
Quantum determinants and Pfaffians or permanents and Hafnians are introduced on the two parameter quantum general linear group. Fundamental identities among quantum Pf, Hf, and det are proved in the general setting. We show that there are two special quantum algebras among the quantum groups, where the quantum Pfaffians have integral Laurent polynomials as coefficients. As a consequence, the quantum Hafnian is computed by a closely related quantum permanent and identical to the quantum Pfaffian on this special quantum algebra.
Coefficients of the Inflated Eulerian Polynomial
It follows from work of Chung and Graham that for a certain family of polynomials $T_{n}(x)$, derived from the descent statistic on permutations, the coefficient sequence of $T_{n-1}(x)$ coincides with that of the polynomial $T_{n}(x)/\left(1+x+\cdots+x^{n-1}\right)$. We observed computationally that the inflated $\mathbf{s}$-Eulerian polynomial $Q_{n}^{(\mathbf{s})}(x)$, which satisfies $Q_{n}^{(\mathbf{s})}(x) = T_{n}(x)$ when $\mathbf{s}=(1,2,\ldots,n)$, also satisfies this property for many sequences $\mathbf{s}$. In this work we characterize those sequences $\mathbf{s}$ for which the coefficient sequence of $Q_{n-1}^{(\mathbf{s})}(x)$ coincides with that of the polynomial $Q_{n}^{(\mathbf{s})}(x)/\left(1+x+\cdots+x^{s_{n}-1}\right)$. In particular, we show that all nondecreasing sequences satisfy this property.
We also settle a conjecture of Pensyl and Savage by showing that the inflated $\mathbf{s}$-Eulerian polynomials are unimodal for all choices of positive integer sequences ${\bf s}$. In addition, we determine when these polynomials are palindromic and show our characterization is equivalent to another of Beck, Braun, Köppe, Savage, and Zafeirakopoulos.
Polynomial Approach to Explicit Formulae for Generalized Binomial Coefficients
Published
• View Publication
• BIB
We extend the polynomial approach to hook length formula proposed in a recent joint paper with Károlyi, Nagy and Volkov to several other problems of the same type, including number of paths formula in the Young graph of strict partitions.
Double Covers of Symplectic Dual Polar Graphs
Published
• View Publication
• BIB
Let $Γ=Γ(2n,q)$ be the dual polar graph of type $Sp(2n,q)$. Underlying this graph is a $2n$-dimensional vector space $V$ over a field ${\mathbb F}_q$ of odd order $q$, together with a symplectic (i.e. nondegenerate alternating bilinear) form $B:V\times V\to{\mathbb F}_q$. The vertex set of $Γ$ is the set ${\mathcal V}$ of all $n$-dimensional totally isotropic subspaces of $V$. If $q\equiv1$ mod 4, we obtain from $Γ$ a nontrivial two-graph $Δ=Δ(2n,q)$ on ${\mathcal V}$ invariant under $PSp(2n,q)$. This two-graph corresponds to a double cover $\widehatΓ\toΓ$ on which is naturally defined a $Q$-polynomial $(2n+1)$-class association scheme on $2|{\mathcal V}|$ vertices.
Finding k partially disjoint paths in a directed planar graph
Published
• View Publication
• BIB
The {\it partially disjoint paths problem} is: {\it given:} a directed graph, vertices $r_1,s_1,\ldots,r_k,s_k$, and a set $F$ of pairs $\{i,j\}$ from $\{1,\ldots,k\}$, {\it find:} for each $i=1,\ldots,k$ a directed $r_i-s_i$ path $P_i$ such that if $\{i,j\}\in F$ then $P_i$ and $P_j$ are disjoint.
We show that for fixed $k$, this problem is solvable in polynomial time if the directed graph is planar. More generally, the problem is solvable in polynomial time for directed graphs embedded on a fixed compact surface. Moreover, one may specify for each edge a subset of $\{1,\ldots,k\}$ prescribing which of the $r_i-s_i$ paths are allowed to traverse this edge.
From lattice Quantum Electrodynamics to the distribution of the algebraic areas enclosed by random walks on $Z^2$
Published in Annales de l'Institut Henri Poincaré D3, 381 (2016)
• View Publication
• BIB
In the worldline formalism, scalar Quantum Electrodynamics on a 2-dimensional lattice is related to the areas of closed loops on this lattice. We exploit this relationship in order to determine the general structure of the moments of the algebraic areas over the set of loops that have fixed number of edges in the two directions. We show that these moments are the product of a combinatorial factor that counts the number of such loops, by a polynomial in the numbers of steps in each direction. Our approach leads to an algorithm for obtaining explicit formulas for the moments of low order.
Finite free convolutions of polynomials
Published
• View Publication
• BIB
We study three convolutions of polynomials in the context of free probability theory. We prove that these convolutions can be written as the expected characteristic polynomials of sums and products of unitarily invariant random matrices. The symmetric additive and multiplicative convolutions were introduced by Walsh and Szegö in different contexts, and have been studied for a century. The asymmetric additive convolution, and the connection of all of them with random matrices, is new. By developing the analogy with free probability, we prove that these convolutions produce real rooted polynomials and provide strong bounds on the locations of the roots of these polynomials.
Fixed speed competition on the configuration model with infinite variance degrees: equal speeds
We study competition of two spreading colors starting from single sources on the configuration model with i.i.d. degrees following a power-law distribution with exponent $τ\in (2,3)$. In this model two colors spread with a fixed and equal speed on the unweighted random graph.
We analyse how many vertices the two colors paint eventually. We show that coexistence sensitively depends on the initial local neighborhoods of the source vertices: if these neighborhoods are `dissimilar enough', then there is no coexistence, and the `loser' color paints a polynomial fraction of the vertices with a random exponent.
If the local neighborhoods of the starting vertices are `similar enough', then there is coexistence, i.e., both colors paint a strictly positive proportion of vertices. We give a quantitative characterization of `similar' local neighborhoods: two random variables describing the double exponential growth of local neighborhoods of the source vertices must be within a factor $τ-2$ of each other. Both of the two outcomes happen with positive probability with asymptotic value that is explicitly computable.
This picture reinforces the common belief that location is an important feature in advertising.
This paper is a follow-up of the similarly named paper that handles the case when the speeds of the two colors are not equal. There, we have shown that the faster color paints almost all vertices, while the slower color paints only a random sub-polynomial fraction of the vertices.
FI_W-modules and constraints on classical Weyl group characters
Published
• View Publication
• BIB
In this paper we study the characters of sequences of representations of any of the three families of classical Weyl groups W_n: the symmetric groups, the signed permutation groups (hyperoctahedral groups), or the even-signed permutation groups. Our results extend work of Church, Ellenberg, Farb, and Nagpal on the symmetric groups. We use the concept of an FI_W-module, an algebraic object that encodes the data of a sequence of W_n-representations with maps between them, defined in the author's recent work ArXiv:1309.3817.
We show that if a sequence {V_n} of W_n-representations has the structure of a finitely generated FI_W-module, then there are substantial constraints on the growth of the sequence and the structure of the characters: for n large, the dimension of V_n is equal to a polynomial in n, and the characters of V_n are given by a character polynomial in signed-cycle-counting class functions, independent of n. We determine bounds the degrees of these polynomials.
We continue to develop the theory of FI_W-modules, and we apply this theory to obtain new results about a number of sequences associated to the classical Weyl groups: the cohomology of complements of classical Coxeter hyperplane arrangements, and the cohomology of the pure string motion groups (the groups of symmetric automorphisms of the free group).
Analysis of Bidirectional Ballot Sequences and Random Walks Ending in their Maximum
Published in Ann. Comb. (2016) 20: 775 - 797
• View Publication
• BIB
Consider non-negative lattice paths ending at their maximum height, which will be called admissible paths. We show that the probability for a lattice path to be admissible is related to the Chebyshev polynomials of the first or second kind, depending on whether the lattice path is defined with a reflective barrier or not. Parameters like the number of admissible paths with given length or the expected height are analyzed asymptotically. Additionally, we use a bijection between admissible random walks and special binary sequences to prove a recent conjecture by Zhao on ballot sequences.
Graphs Identified by Logics with Counting
Published
• View Publication
• BIB
We classify graphs and, more generally, finite relational structures that are identified by C2, that is, two-variable first-order logic with counting. Using this classification, we show that it can be decided in almost linear time whether a structure is identified by C2. Our classification implies that for every graph identified by this logic, all vertex-colored versions of it are also identified. A similar statement is true for finite relational structures.
We provide constructions that solve the inversion problem for finite structures in linear time. This problem has previously been shown to be polynomial time solvable by Martin Otto. For graphs, we conclude that every C2-equivalence class contains a graph whose orbits are exactly the classes of the C2-partition of its vertex set and which has a single automorphism witnessing this fact.
For general k, we show that such statements are not true by providing examples of graphs of size linear in k which are identified by C3 but for which the orbit partition is strictly finer than the Ck-partition. We also provide identified graphs which have vertex-colored versions that are not identified by Ck.
A Logarithmic Additive Integrality Gap for Bin Packing
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. Recently, the second author gave an LP-based polynomial time algorithm that employed techniques from discrepancy theory to find a solution using at most $OPT + O(\log OPT \cdot \log \log OPT)$ bins.
In this paper, we present an approximation algorithm that has an additive gap of only $O(\log OPT)$ bins, which matches certain combinatorial lower bounds. Any further improvement would have to use more algebraic structure. Our improvement is based on a combination of discrepancy theory techniques and a novel 2-stage packing: first we pack items into containers; then we pack containers into bins of size 1. Apart from being more effective, we believe our algorithm is much cleaner than the one of Rothvoss.
Random Sampling in Computational Algebra: Helly Numbers and Violator Spaces
Published
• View Publication
• BIB
This paper transfers a randomized algorithm, originally used in geometric optimization, to computational problems in commutative algebra. We show that Clarkson's sampling algorithm can be applied to two problems in computational algebra: solving large-scale polynomial systems and finding small generating sets of graded ideals. The cornerstone of our work is showing that the theory of violator spaces of Gärtner et al.\ applies to polynomial ideal problems. To show this, one utilizes a Helly-type result for algebraic varieties. The resulting algorithms have expected runtime linear in the number of input polynomials, making the ideas interesting for handling systems with very large numbers of polynomials, but whose rank in the vector space of polynomials is small (e.g., when the number of variables and degree is constant).
Counting independent sets via Divide Measure and Conquer method
In this paper we give an algorithm for counting the number of all independent sets in a given graph which works in time $O^*(1.1394^n)$ for subcubic graphs and in time $O^*(1.2369^n)$ for general graphs, where $n$ is the number of vertices in the instance graph, and polynomial space. The result comes from combining two well known methods "Divide and Conquer" and "Measure and Conquer". We introduce this new concept of Divide, Measure and Conquer method and expect it will find applications in other problems.
The algorithm of Björklund, Husfeldt and Koivisto for graph colouring with our algorithm used as a subroutine has complexity $O^*(2.2369^n)$ and is currently the fastest graph colouring algorithm in polynomial space.