polynomial
11184 papers tagged with this keyword
Partial-dual genus polynomial as a weight system
Published in Communications in Mathematics, Volume 31 (2023), Issue 3 (Special issue: in memory of Sergei Duzhin) (January 22, 2024) cm:11709
• View Publication
• BIB
We prove that the partial-dual genus polynomial considered as a function on chord diagrams satisfies the four-term relation. Thus it is a weight system from the theory of Vassiliev knot invariants.
On the hardness of finding balanced independent sets in random bipartite graphs
We consider the algorithmic problem of finding large \textit{balanced} independent sets in sparse random bipartite graphs, and more generally the problem of finding independent sets with specified proportions of vertices on each side of the bipartition. In a bipartite graph it is trivial to find an independent set of density at least half (take one of the partition classes). In contrast, in a random bipartite graph of average degree $d$, the largest balanced independent sets (containing equal number of vertices from each class) are typically of density $(2+o_d(1)) \frac{\log d}{d}$. Can we find such large balanced independent sets in these graphs efficiently? By utilizing the overlap gap property and the low-degree algorithmic framework, we prove that local and low-degree algorithms (even those that know the bipartition) cannot find balanced independent sets of density greater than $(1+ε) \frac{\log d}{d}$ for any $ε>0$ fixed and $d$ large but constant. This factor $2$ statistical--computational gap between what exists and what local algorithms can achieve is analogous to the gap for finding large independent sets in (non-bipartite) random graphs. Our results therefor suggest that this gap is pervasive in many models, and that hard computational problems can lurk inside otherwise tractable ones. A particularly striking aspect of the gap in bipartite graphs is that the algorithm achieving the lower bound is extremely simple and can be implemented as a $1$-local algorithm and a degree-$1$ polynomial (a linear function).
Generating functions of non-backtracking walks on weighted digraphs: radius of convergence and Ihara's theorem
It is known that the generating function associated with the enumeration of non-backtracking walks on finite graphs is a rational matrix-valued function of the parameter; such function is also closely related to graph-theoretical results such as Ihara's theorem and the zeta function on graphs. In [P. Grindrod, D. J. Higham, V. Noferini, The deformed graph Laplacian and its application to network centrality analysis, SIAM J. Matrix Anal. Appl. 39(1), 310--341, 2018], the radius of convergence of the generating function was studied for simple (i.e., undirected, unweighted and with no loops) graphs, and shown to depend on the number of cycles in the graph. In this paper, we use technologies from the theory of polynomial and rational matrices to greatly extend these results by studying the radius of convergence of the corresponding generating function for general, possibly directed and/or weighted, graphs. We give an analogous characterization of the radius of convergence for directed unweighted graphs, showing that it depends on the number of cycles in the undirectization of the graph. For weighted graphs, we provide for the first time an exact formula for the radius of convergence, improving a previous result that exhibited a lower bound. Finally, we consider also backtracking-downweighted walks on unweighted digraphs, and we prove a version of Ihara's theorem in that case.
Generalized Pell graphs
In this paper, generalized Pell graphs $Π_{n,k}$, $k\ge 2$, are introduced. The special case of $k=2$ are the Pell graphs $Π_{n}$ defined earlier by Munarini. Several metric, enumerative, and structural properties of these graphs are established. The generating function of the number of edges of $Π_{n,k}$ and the generating function of its cube polynomial are determined. The center of $Π_{n,k}$ is explicitly described; if $k$ is even, then it induces the Fibonacci cube $Γ_{n}$. It is also shown that $Π_{n,k}$ is a median graph, and that $Π_{n,k}$ embeds into a Fibonacci cube.
Scattered trinomials of $\mathbb{F}_{q^6}[X]$ in even characteristic
In recent years, several families of scattered polynomials have been investigated in the literature. However, most of them only exist in odd characteristic. In [B. Csajbók, G. Marino and F. Zullo: New maximum scattered linear sets of the projective line, Finite Fields Appl. 54 (2018), 133-150; G. Marino, M. Montanucci and F. Zullo: MRD-codes arising from the trinomial $x^q+x^{q^3}+cx^{q^5}\in\mathbb{F}_{q^6}[x]$, Linear Algebra Appl. 591 (2020), 99-114], the authors proved that the trinomial $f_c(X)=X^{q}+X^{q^{3}}+cX^{q^{5}}$ of $\mathbb{F}_{q^6}[X]$ is scattered under the assumptions that $q$ is odd and $c^2+c=1$. They also explicitly observed that this is false when $q$ is even. In this paper, we provide a different set of conditions on $c$ for which this trinomial is scattered in the case of even $q$. Using tools of algebraic geometry in positive characteristic, we show that when $q$ is even and sufficiently large, there are roughly $q^3$ elements $c \in \mathbb{F}_{q^6}$ such that $f_{c}(X)$ is scattered. Also, we prove that the corresponding MRD-codes and $\mathbb{F}_q$-linear sets of $\mathrm{PG}(1,q^6)$ are not equivalent to the previously known ones.
External columns and chambers of vector partition functions
The vector partition function $p_A$ associated to a $d \times n$ matrix $A$ with integer entries is the function $\mathbb{Z}^d \to \mathbb{N}$ defined by $\mathbf{b} \to \#\{\mathbf{x} \in \mathbb{N}^n : A\mathbf{x} = \mathbf{b}\}$. It is known that vector partition functions are piecewise quasi-polynomials whose domains of quasi-polynomiality are maximal cones (chambers) of a fan called the chamber complex of $A$.
In this article we introduce \emph{external columns} and \emph{external chambers} of vector partition functions. Our main result is that (up to a saturation condition) the quasi-polynomial associated to a chamber containing external columns arises from a vector partition function with $k$ fewer equations and variables. In the case that the chamber is external -- that is, when the number of external columns in a chamber is as large as possible without being trivial -- the quasi-polynomial arises from a coin exchange problem. By exploiting this we are able to obtain a determinantal formula, characterize when the quasi-polynomial is polynomial, and show that in this case it is actually given by a negative binomial coefficient. We then apply these results to the enumeration of loopless multigraphs satisfying some degree conditions. Finally, we suggest a generalization to a result of Baldoni and Vergne for polynomials arising from chambers that we call \emph{semi-external chambers}.
Agreement forests of caterpillar trees: complexity, kernelization and branching
Given a set $X$ of species, a phylogenetic tree is an unrooted binary tree whose leaves are bijectively labelled by $X$. Such trees can be used to show the way species evolve over time. One way of understanding how topologically different two phylogenetic trees are, is to construct a minimum-size agreement forest: a partition of $X$ into the smallest number of blocks, such that the blocks induce homeomorphic, non-overlapping subtrees in both trees. This comparison yields insight into commonalities and differences in the evolution of $X$ across the two trees. Computing a smallest agreement forest is NP-hard (Hein, Jiang, Wang and Zhang, Discrete Applied Mathematics 71(1-3), 1996). In this work we study the problem on caterpillars, which are path-like phylogenetic trees. We will demonstrate that, even if we restrict the input to this highly restricted subclass, the problem remains NP-hard and is in fact APX-hard. Furthermore we show that for caterpillars two standard reductions rules well known in the literature yield a tight kernel of size at most $7k$, compared to $15k$ for general trees (Kelk and Simone, SIAM Journal on Discrete Mathematics 33(3), 2019). Finally we demonstrate that we can determine if two caterpillars have an agreement forest with at most $k$ blocks in $O^*(2.49^k)$ time, compared to $O^*(3^k)$ for general trees (Chen, Fan and Sze, Theoretical Computater Science 562, 2015), where $O^*(.)$ suppresses polynomial factors.
A determinantal point process approach to scaling and local limits of random Young tableaux
We obtain scaling and local limit results for large random Young tableaux of fixed shape $λ^0$ via the asymptotic analysis of a determinantal point process due to Gorin and Rahman (2019). More precisely, we prove:
(1) an explicit description of the limiting surface of a uniform random Young tableau of shape $λ^0$, based on solving a complex-valued polynomial equation;
(2) a simple criteria to determine if the limiting surface is continuous in the whole domain;
(3) and a local limit result in the bulk of a random Poissonized Young tableau of shape $λ^0$.
Our results have several consequences, for instance: they lead to explicit formulas for the limiting surface of $L$-shaped tableaux, generalizing the results of Pittel and Romik (2007) for rectangular shapes; they imply that the limiting surface for $L$-shaped tableaux is discontinuous for almost-every $L$-shape; and they give a new one-parameter family of infinite random Young tableaux, constructed from the so-called random infinite bead process.
Induced log-concavity of equivariant matroid invariants
Inspired by the notion of equivariant log-concavity, we introduce the concept of induced log-concavity for a sequence of representations of a finite group. For an equivariant matroid equipped with a symmetric group action or a finite general linear group action, we transform the problem of proving the induced log-concavity of matroid invariants to that of proving the Schur positivity of symmetric functions. We prove the induced log-concavity of the equivariant Kazhdan-Lusztig polynomials of $q$-niform matroids equipped with the action of a finite general linear group, as well as that of the equivariant Kazhdan-Lusztig polynomials of uniform matroids equipped with the action of a symmetric group.
As a consequence of the former, we obtain the log-concavity of Kazhdan-Lusztig polynomials of $q$-niform matroids, thus providing further positive evidence for Elias, Proudfoot and Wakefield's log-concavity conjecture on the matroid Kazhdan-Lusztig polynomials. From the latter we obtain the log-concavity of Kazhdan-Lusztig polynomials of uniform matroids, which was recently proved by Xie and Zhang by using a computer algebra approach. We also establish the induced log-concavity of the equivariant characteristic polynomials and the equivariant inverse Kazhdan-Lusztig polynomials for $q$-niform matroids and uniform matroids.
Shortest Dominating Set Reconfiguration under Token Sliding
In this paper, we present novel algorithms that efficiently compute a shortest reconfiguration sequence between two given dominating sets in trees and interval graphs under the Token Sliding model. In this problem, a graph is provided along with its two dominating sets, which can be imagined as tokens placed on vertices. The objective is to find a shortest sequence of dominating sets that transforms one set into the other, with each set in the sequence resulting from sliding a single token in the previous set. While identifying any sequence has been well studied, our work presents the first polynomial algorithms for this optimization variant in the context of dominating sets.
Examples and counterexamples in Ehrhart theory
This article provides a comprehensive exposition about inequalities that the coefficients of Ehrhart polynomials and $h^*$-polynomials satisfy under various assumptions. We pay particular attention to the properties of Ehrhart positivity as well as unimodality, log-concavity and real-rootedness for $h^*$-polynomials.
We survey inequalities that arise when the polytope has different normality properties. We include statements previously unknown in the Ehrhart theory setting, as well as some original contributions in this topic. We address numerous variations of the conjecture asserting that IDP polytopes have a unimodal $h^*$-polynomial, and construct concrete examples that show that these variations of the conjecture are false. Explicit emphasis is put on polytopes arising within algebraic combinatorics.
Furthermore, we describe and construct polytopes having pathological properties on their Ehrhart coefficients and roots, and we indicate for the first time a connection between the notions of Ehrhart positivity and $h^*$-real-rootedness. We investigate the log-concavity of the sequence of evaluations of an Ehrhart polynomial at the non-negative integers. We conjecture that IDP polytopes have a log-concave Ehrhart series. Many additional problems and challenges are proposed.
Fluctuation Moments for Regular Functions of Wigner Matrices
Published
• View Publication
• BIB
We compute the deterministic approximation for mixed fluctuation moments of products of deterministic matrices and general Sobolev functions of Wigner matrices. Restricting to polynomials, our formulas reproduce recent results of [Male, Mingo, Peché, Speicher 2022], showing that the underlying combinatorics of non-crossing partitions and annular non-crossing permutations continue to stay valid beyond the setting of second-order free probability theory. The formulas obtained further characterize the variance in the functional central limit theorem obtained recently in the companion paper [Reker 2023].
Schur-Positivity of Short Chords in Matchings
We prove that the set of matchings with a fixed number of unmatched vertices is Schur-positive with respect to the set of short chords. Two proofs are presented. The first proof applies a new combinatorial criterion for Schur-positivity, while the second is bijective. The coefficients in the Schur expansion are derived, and interpreted in terms of Bessel polynomials. We present a Knuth-like equivalence relation on matchings, and show that every equivalence class corresponds to an irreducible representation. We proceed to find various refined Schur-positive sets, including the set of matchings with a prescribed crossing number and the set of matchings with a given number of pairs of intersecting chords. Finally, we characterize all the matchings $m$ such that the set of matchings avoiding $m$ is Schur-positive.
Generalized Pitman-Stanley polytope: vertices and faces
Published
• View Publication
• BIB
In 1999, Pitman and Stanley introduced the polytope bearing their name along with a study of its faces, lattice points, and volume. The Pitman-Stanley polytope is well-studied due to its connections to probability, parking functions, the generalized permutahedra, and flow polytopes. Its lattice points correspond to plane partitions of skew shape with entries 0 and 1. Pitman and Stanley remarked that their polytope can be generalized so that lattice points correspond to plane partitions of skew shape with entries $0,1, \ldots , m$. Since then, this generalization has been untouched. We study this generalization and show that it can also be realized as a flow polytope of a grid graph. We give multiple characterizations of its vertices in terms of plane partitions of skew shape and integer flows. For a fixed skew shape, we show that the number of vertices of this polytope is a polynomial in $m$ whose leading term, in certain cases, counts standard Young tableaux of a shifted shape. Moreover, we give formulas for the number of faces, as well as generating functions for the number of vertices.
Polynomial-Delay Enumeration of Large Maximal Common Independent Sets in Two Matroids and Beyond
Finding a maximum cardinality common independent set in two matroids (also known as \textsc{Matroid Intersection}) is a classical combinatorial optimization problem, which generalizes several well-known problems, such as finding a maximum bipartite matching, a maximum colorful forest, and an arborescence in directed graphs. Enumerating all maximal common independent sets in two (or more) matroids is a classical enumeration problem. In this paper, we address an ``intersection'' of these problems: Given two matroids and a threshold $τ$, the goal is to enumerate all maximal common independent sets in the matroids with cardinality at least $τ$. We show that this problem can be solved in polynomial delay and polynomial space. Moreover, our technique can be extended to a more general problem, which is relevant to Matroid Matching. We give a polynomial-delay and polynomial-space algorithm for enumerating all maximal ``matchings'' with cardinality at least $τ$, assuming that the optimization counterpart is ``tractable'' in a certain sense. This extension allows us to enumerate small minimal connected vertex covers in subcubic graphs. We also discuss a framework to convert enumeration with cardinality constraints into ranked enumeration.
Induced $C_4$-free subgraphs with large average degree
We prove that there exists a constant $C$ so that, for all $s,k \in \mathbb{N}$, if $G$ has average degree at least $k^{Cs^3}$ and does not contain $K_{s,s}$ as a subgraph then it contains an induced subgraph which is $C_4$-free and has average degree at least $k$. It was known that some function of $s$ and $k$ suffices, but this is the first explicit bound. We give several applications of this result, including short and streamlined proofs of the following two corollaries.
We show that there exists a constant $C$ so that, for all $s,k \in \mathbb{N}$, if $G$ has average degree at least $k^{Cs^3}$ and does not contain $K_{s,s}$ as a subgraph then it contains an induced subdivision of $K_k$. This is the first quantitative improvement on a well-known theorem of Kühn and Osthus; their proof gives a bound that is triply exponential in both $k$ and $s$.
We also show that for any hereditary degree-bounded class $\mathcal{F}$, there exists a constant $C=C_\mathcal{F}$ so that $C^{s^3}$ is a degree-bounding function for $\mathcal{F}$. This is the first bound of any type on the rate of growth of such functions. It is open whether there is always a polynomial degree-bounding function.
On hardness of computing analytic Brouwer degree
We prove that counting the analytic Brouwer degree of rational coefficient polynomial maps in $\operatorname{Map}(\mathbb C^d, \mathbb C^d)$ -- presented in degree-coefficient form -- is hard for the complexity class $\operatorname{\sharp P}$, in the following sense: if there is a randomized polynomial time algorithm that counts the Brouwer degree correctly for a good fraction of all input instances (with coefficients of bounded height where the bound is an input to the algorithm), then $\operatorname{P}^{\operatorname{\sharp P}} =\operatorname{BPP}$.
Ehrhart quasi-polynomials and parallel translations
Given a rational polytope $P \subset \mathbb R^d$, the numerical function counting lattice points in the integral dilations of $P$ is known to become a quasi-polynomial, called the Ehrhart quasi-polynomial $\mathrm{ehr}_P$ of $P$. In this paper we study the following problem: Given a rational $d$-polytope $P \subset \mathbb R^d$, is there a nice way to know Ehrhart quasi-polynomials of translated polytopes $P+ \mathbf v$ for all $\mathbf v \in \mathbb Q^d$? We provide a way to compute such Ehrhart quasi-polynomials using a certain toric arrangement and lattice point counting functions of translated cones of $P$. This method allows us to visualize how constituent polynomials of $\mathrm{ehr}_{P+\mathbf v}$ change in the torus $\mathbb R^d/\mathbb Z^d$. We also prove that information of $\mathrm{ehr}_{P+\mathbf v}$ for all $\mathbf v \in \mathbb Q^d$ determines the rational $d$-polytope $P \subset \mathbb R^d$ up to translations by integer vectors, and characterize all rational $d$-polytopes $P \subset \mathbb R^d$ such that $\mathrm{ehr}_{P+\mathbf v}$ is symmetric for all $\mathbf v \in \mathbb Q^d$.
Enumeration of flattened $k$-Stirling permutations with respect to descents
A $k$-Stirling permutation of order $n$ is said to be "flattened" if the leading terms of its increasing runs are in ascending order. We show that flattened $k$-Stirling permutations of order $n+1$ are in bijection correspondence with a colored variant of type $B$ set partitions of $[-n,n]$, introduced by D.G.L. Wang. Using the theory of weighted labelled structures, we give the exponential generating functions of their cardinality and their descent enumerating polynomials. We also provide enumerative formulae for the number of flattened $k$-Stirling permutations of order $n$ with small number of descents and the number of flattened Stirling permutations with maximum number of descents.
Minimum Separator Reconfiguration
We study the problem of reconfiguring one minimum $s$-$t$-separator $A$ into another minimum $s$-$t$-separator $B$ in some $n$-vertex graph $G$ containing two non-adjacent vertices $s$ and $t$. We consider several variants of the problem as we focus on both the token sliding and token jumping models. Our first contribution is a polynomial-time algorithm that computes (if one exists) a minimum-length sequence of slides transforming $A$ into $B$. We additionally establish that the existence of a sequence of jumps (which need not be of minimum length) can be decided in polynomial time (by an algorithm that also outputs a witnessing sequence when one exists). In contrast, and somewhat surprisingly, we show that deciding if a sequence of at most $\ell$ jumps can transform $A$ into $B$ is an $\textsf{NP}$-complete problem. To complement this negative result, we investigate the parameterized complexity of what we believe to be the two most natural parameterized counterparts of the latter problem; in particular, we study the problem of computing a minimum-length sequence of jumps when parameterized by the size $k$ of the minimum \stseps and when parameterized by the number of jumps $\ell$. For the first parameterization, we show that the problem is fixed-parameter tractable, but does not admit a polynomial kernel unless $\textsf{NP} \subseteq \textsf{coNP/poly}$. We complete the picture by designing a kernel with $\mathcal{O}(\ell^2)$ vertices and edges for the length $\ell$ of the sequence as a parameter.