polynomial
11239 papers tagged with this keyword
The Minimum Dominating Set problem is polynomial for (claw, P8)-free graphs
We prove that the Minimum Dominating Set problem is polynomial for the class of (claw, P8)-free graphs.
On the directions determined by a Cartesian product in an affine Galois plane
Published
• View Publication
• BIB
We prove that the number of directions contained in a set of the form $A \times B \subset AG(2,p)$, where $p$ is prime, is at least $|A||B| - \min\{|A|,|B|\} + 2$. Here $A$ and $B$ are subsets of $GF(p)$ each with at least two elements and $|A||B| <p$. This bound is tight for an infinite class of examples. Our main tool is the use of the Rédei polynomial with Szőnyi's extension. As an application of our main result, we obtain an upper bound on the clique number of a Paley graph, matching the current best bound obtained recently by Hanson and Petridis.
Locks fit into keys: a crystal analysis of lock polynomials
Published
• View Publication
• BIB
Lock polynomials and lock Kohnert tableaux are natural analogues to key polynomials and key Kohnert tableaux, respectively. In this paper, we compare lock polynomials to the much-studied key polynomials and show that the difference of a key polynomial and lock polynomial for the same composition is monomial positive. We also examine the conditions for which key and lock polynomials are symmetric or quasisymmetric. We accomplish these goals combinatorially using key Kohnert tableaux and lock Kohnert tableaux. In particular, for the difference of a key minus a lock, we focus on the behavior of crystal operators on Kohnert tableaux. The Type A Demazure crystal can be realized on the vertex set of key Kohnert tableaux, and we show with an explicit combinatorial definition that a similar crystal-like structure exists on the vertex set of lock Kohnert tableaux. Finally, we construct an injective, weight-preserving map from lock Kohnert tableaux to key Kohnert tableaux that intertwines the crystal operators.
A family of $q$-congruences modulo the square of a cyclotomic polynomial
Published
• View Publication
• BIB
Using Watson's terminating $_8φ_7$ transformation formula, we prove a family of $q$-congruences modulo the square of a cyclotomic polynomial, which were originally conjectured by the author and Zudilin [J. Math. Anal. Appl. 475 (2019), 1636--646]. As an application, we deduce two supercongruences modulo $p^4$ ($p$ is an odd prime) and their $q$-analogues. This also partially confirms a special case of Swisher's (H.3) conjecture.
A scaling limit for the length of the longest cycle in a sparse random digraph
Published
• View Publication
• BIB
We discuss the length $\vec{L}_{c,n}$ of the longest directed cycle in the sparse random digraph $D_{n,p},p=c/n$, $c$ constant. We show that for large $c$ there exists a function $\vec{f}(c)$ such that $\vec{L}_{c,n}/n\to \vec{f}(c)$ a.s. The function $\vec{f}(c)=1-\sum_{k=1}^\infty p_k(c)e^{-kc}$ where $p_k$ is a polynomial in $c$. We are only able to explicitly give the values $p_1,p_2$, although we could in principle compute any $p_k$.
AFLT-type Selberg integrals
Published in Communications in Mathematical Physics 388 (2021), 735-791
• View Publication
• BIB
In their 2011 paper on the AGT conjecture, Alba, Fateev, Litvinov and Tarnopolsky (AFLT) obtained a closed-form evaluation for a Selberg integral over the product of two Jack polynomials, thereby unifying the well-known Kadell and Hua--Kadell integrals. In this paper we use a variety of symmetric functions and symmetric function techniques to prove generalisations of the AFLT integral. These include (i) an $\mathrm{A}_n$ analogue of the AFLT integral, containing two Jack polynomials in the integrand; (ii) a generalisation of (i) for $γ=1$ (the Schur or GUE case), containing a product of $n+1$ Schur functions; (iii) an elliptic generalisation of the AFLT integral in which the role of the Jack polynomials is played by a pair of elliptic interpolation functions; (iv) an AFLT integral for Macdonald polynomials.
Generalized Fitch Graphs III: Symmetrized Fitch maps and Sets of Symmetric Binary Relations that are explained by Unrooted Edge-labeled Trees
Published in Discrete Mathematics & Theoretical Computer Science, vol. 23 no. 1, Graph Theory (June 3, 2021) dmtcs:6040
• View Publication
• BIB
Binary relations derived from labeled rooted trees play an import role in mathematical biology as formal models of evolutionary relationships. The (symmetrized) Fitch relation formalizes xenology as the pairs of genes separated by at least one horizontal transfer event. As a natural generalization, we consider symmetrized Fitch maps, that is, symmetric maps $\varepsilon$ that assign a subset of colors to each pair of vertices in $X$ and that can be explained by a tree $T$ with edges that are labeled with subsets of colors in the sense that the color $m$ appears in $\varepsilon(x,y)$ if and only if $m$ appears in a label along the unique path between $x$ and $y$ in $T$. We first give an alternative characterization of the monochromatic case and then give a characterization of symmetrized Fitch maps in terms of compatibility of a certain set of quartets. We show that recognition of symmetrized Fitch maps is NP-complete. In the restricted case where $|\varepsilon(x,y)|\leq 1$ the problem becomes polynomial, since such maps coincide with class of monochromatic Fitch maps whose graph-representations form precisely the class of complete multi-partite graphs.
Enumeration of labelled 4-regular planar graphs II: asymptotics
Published in European Journal of Combinatorics Volume 110, May 2023, 103661
• View Publication
• BIB
This work is a follow-up of the article [Proc.\ London Math.\ Soc.\ 119(2):358--378, 2019], where the authors solved the problem of counting labelled 4-regular planar graphs. In this paper, we obtain a precise asymptotic estimate for the number $g_n$ of labelled 4-regular planar graphs on $n$ vertices. Our estimate is of the form $g_n \sim g\cdot n^{-7/2} ρ^{-n} n!$, where $g>0$ is a constant and $ρ\approx 0.24377$ is the radius of convergence of the generating function $\sum_{n\ge 0}g_n x^n/n!$, and conforms to the universal pattern obtained previously in the enumeration of several classes of planar graphs. In addition to analytic methods, our solution needs intensive use of computer algebra in order to deal with large systems of multivariate polynomial equations. We also obtain asymptotic estimates for the number of 2- and 3-connected 4-regular planar graphs, and for the number of 4-regular simple maps, both connected and 2-connected.
True complexity of polynomial progressions in finite fields
Published
• View Publication
• BIB
The true complexity of a polynomial progression in finite fields corresponds to the smallest-degree Gowers norm that controls the counting operator of the progression over finite fields of large characteristic. We give a conjecture that relates true complexity to algebraic relations between the terms of the progression, and we prove it for a number of progressions, including $x,\; x+y,\; x+y^2,\; x+y+y^2$ and $x,\; x+y,\; x+2y,\; x+y^2$. As a corollary, we prove an asymptotic for the count of certain progressions of complexity 1 in subsets of finite fields. In the process, we obtain an equidistribution result for certain polynomial progressions, analogous to the counting lemma for systems of linear forms proved by Green and Tao.
A new recursion for Bressoud's polynomials
Published
• View Publication
• BIB
A new recursion in only one variable allows very simple verifications of Bressoud's polynomial identities, which lead to the Rogers-Ramanujan identities. This approach might be compared with an earlier approach due to Chapman. Applying the $q$-Chu-Vandermonde convolution, as suggested by Cigler, makes the computations particularly simple and elementary. The same treatment is also applied to the Santos polynomials and perhaps more polynomials from a list of Rogers-Ramanujan like polynomials \cite{Sills}.
NP-completeness of slope-constrained drawing of complete graphs
Published in Journal of Computational Geometry, Vol. 11, No 1 (2020); 371-396
• Search Publication
We prove the NP-completeness of the following problem. Given a set $S$ of $n$ slopes and an integer $k\geq 1$, is it possible to draw a complete graph on $k$ vertices in the plane using only slopes from $S$? Equivalently, does there exist a set $K$ of $k$ points in general position such that the slope of every segment between two points of $K$ is in $S$? We then present a polynomial algorithm for this question when $n\leq 2k-c$, conditional on a conjecture of R.E. Jamison. For $n=k$, an algorithm in $\mathcal{O}(n^4)$ was proposed by Wade and Chu. For this case, our algorithm is linear and does not rely on Jamison's conjecture.
On the rational relationships among pseudo-roots of a non-commutative polynomial
Published
• View Publication
• BIB
For a non-commutative ring R, we consider factorizations of polynomials in R[t] where t is a central variable. A pseudo-root of a polynomial p(t) is an element x in R, for which there exist polynomials q(t) and s(t) such that p(t)=q(t)(t-x)s(t). We investigate the rational relationships that hold among the pseudo-roots of p(t) by using the diamond operations for cover graphs of modular lattices.
Notes on the Neighborhood Polynomials
The neighborhood polynomial of graph $G$, denoted by $N(G,x)$, is the generating function for the number of vertex subsets of $G$ which are subsets of open neighborhoods of vertices in $G$. For any graph polynomial, it can be useful to generate a new family of polynomials by introducing some restrictions and characterizations. In this paper, we investigate two new graph polynomials that are obtained from $N(G,x)$ by adding independence or connectivity restrictions to the vertex subsets or to the subgraphs induced by the vertex subsets which are generated by $N(G,x)$. These new polynomials are not only related to $N(G,x)$, but also having strong connections to other known graph polynomials of G or its subgraphs, such as independence polynomials or subgraph component polynomials.
Character Polynomials and the Restriction Problem
Published in Algebraic Combinatorics, Volume 4, issue 4 (2021), p. 703-722
• View Publication
• BIB
Character polynomials are used to study the restriction of a polynomial representation of a general linear group to its subgroup of permutation matrices. A simple formula is obtained for computing inner products of class functions given by character polynomials. Character polynomials for symmetric and alternating tensors are computed using generating functions with Eulerian factorizations. These are used to compute character polynomials for Weyl modules, which exhibit a duality. By taking inner products of character polynomials for Weyl modules and character polynomials for Specht modules, stable restriction coefficients are easily computed. Generating functions of dimensions of symmetric group invariants in Weyl modules are obtained. Partitions with two rows, two columns, and hook partitions whose Weyl modules have non-zero vectors invariant under the symmetric group are characterized. A reformulation of the restriction problem in terms of a restriction functor from the category of strict polynomial functors to the category of finitely generated FI-modules is obtained.
A polynomial upper bound for the mixing time of edge rotations on planar maps
Published
• View Publication
• BIB
We consider a natural local dynamic on the set of all rooted planar maps with $n$ edges that is in some sense analogous to "edge flip" Markov chains, which have been considered before on a variety of combinatorial structures (triangulations of the $n$-gon and quadrangulations of the sphere, among others). We provide the first polynomial upper bound for the mixing time of this "edge rotation" chain on planar maps: we show that the spectral gap of the edge rotation chain is bounded below by an appropriate constant times $n^{-11/2}$. In doing so, we provide a partially new proof of the fact that the same bound applies to the spectral gap of edge flips on quadrangulations, which makes it possible to generalise a recent result of the author and Stauffer to a chain that relates to edge rotations via Tutte's bijection.
On the basic properties of $GC_n$ sets
Published
• View Publication
• BIB
A planar node set $\mathcal X,$ with $\#\mathcal X=\binom{n+2}{2},$ is called $GC_n$ set if each node possesses fundamental polynomial in form of a product of $n$ linear factors. We say that a node uses a line if the line is a factor of the fundamental polynomial of the node. A line is called $k$-node line if it passes through exactly $k$-nodes of $\mathcal X.$ At most $n+1$ nodes can be collinear in any $GC_n$ set and an $(n+1)$-node line is called a maximal line. The Gasca-Maeztu conjecture (1982) states that every $GC_n$ set has a maximal line. Until now the conjecture has been proved only for the cases $n \le 5.$
Here, for a line $\ell$ we introduce and study the concept of $\ell$-lowering of the set $\mathcal X$ and define so called proper lines. We also provide refinements of several basic properties of $GC_n$ sets regarding the maximal lines, $n$-node lines, the used lines, as well as the subset of nodes that use a given line.
Complements of Schubert polynomials
Published
• View Publication
• BIB
Let $\mathfrak{S}_w(x)$ be the Schubert polynomial for a permutation $w$ of $\{1,2,\ldots,n\}$. For any given composition $μ$, we say that $x^μ\mathfrak{S}_w(x^{-1})$ is the complement of $\mathfrak{S}_w(x)$ with respect to $μ$. When each part of $μ$ is equal to $n-1$, Huh, Matherne, Mészáros and St.\,Dizier proved that the normalization of $x^μ\mathfrak{S}_w(x^{-1})$ is a Lorentzian polynomial. They further conjectured that the normalization of $\mathfrak{S}_w(x)$ is Lorentzian. It can be shown that if there exists a composition $μ$ such that $x^μ\mathfrak{S}_w(x^{-1})$ is a Schubert polynomial, then the normalization of $\mathfrak{S}_w(x)$ will be Lorentzian. This motivates us to investigate the problem of when $x^μ\mathfrak{S}_w(x^{-1})$ is a Schubert polynomial. We show that if $x^μ\mathfrak{S}_w(x^{-1})$ is a Schubert polynomial, then $μ$ must be a partition. We also consider the case when $μ$ is the staircase partition $δ_n=(n-1,\ldots, 1,0)$, and obtain that $x^{δ_n} \mathfrak{S}_w(x^{-1})$ is a Schubert polynomial if and only if $w$ avoids the patterns 132 and 312. A conjectured characterization of when $x^μ\mathfrak{S}_w(x^{-1})$ is a Schubert polynomial is proposed.
Tilting modules arising from knot invariants
Published
• View Publication
• BIB
We construct tilting modules over Jacobian algebras arising from knots. To a two-bridge knot $L[a_1,\ldots,a_n]$, we associate a quiver $Q$ with potential and its Jacobian algebra $A$. We construct a family of canonical indecomposable $A$-modules $M(i)$, each supported on a different specific subquiver $Q(i)$ of $Q$. Each of the $M(i)$ is expected to parametrize the Jones polynomial of the knot. We study the direct sum $M=\oplus_iM(i)$ of these indecomposables inside the module category of $A$ as well as in the cluster category.
In this paper we consider the special case where the two-bridge knot is given by two parameters $a_1,a_2$. We show that the module $M$ is rigid and $τ$-rigid, and we construct a completion of $M$ to a tilting (and $τ$-tilting) $A$-module $T$. We show that the endomorphism algebra $\operatorname{End}_AT$ of $T$ is isomorphic to $A$, and that the mapping $T\mapsto A[1]$ induces a cluster automorphism of the cluster algebra $\mathcal{A}(Q)$. This automorphism is of order two. Moreover, we give a mutation sequence that realizes the cluster automorphism. In particular, we show that the quiver $Q$ is mutation equivalent to an acyclic quiver of type $T_{p,q,r}$ (a tree with three branches). This quiver is of finite type if $(a_1,a_2)=(a_1,2), (1,a_2),$ or $(2,3)$, it is tame for $(a_1,a_2)=(2,4)$ or $(3,3)$, and wild otherwise.
A New Approach to a Theorem of Eng
Published
• View Publication
• BIB
The main aim of this work is to give a case-free algebraic proof for a theorem of Eng on the Poincaré polynomial of parabolic quotients of finite Coxeter groups evaluated at -1.
Average-case complexity of the Euclidean algorithm with a fixed polynomial over a finite field
We analyze the behavior of the Euclidean algorithm applied to pairs (g,f) of univariate nonconstant polynomials over a finite field F_q of q elements when the highest-degree polynomial g is fixed. Considering all the elements f of fixed degree, we establish asymptotically optimal bounds in terms of q for the number of elements f which are relatively prime with g and for the average degree of gcd(g,f). The accuracy of our estimates is confirmed by practical experiments. We also exhibit asymptotically optimal bounds for the average-case complexity of the Euclidean algorithm applied to pairs (g,f) as above.