polynomial
11432 papers tagged with this keyword
Intersection models and forbidden pattern characterizations for 2-thin and proper 2-thin graphs
Published in Discrete Applied Mathematics 339 (2023), 53-77
• View Publication
• BIB
The \emph{thinness} of a graph is a width parameter that generalizes some properties of interval graphs, which are exactly the graphs of thinness one. Graphs with thinness at most two include, for example, bipartite convex graphs. Many NP-complete problems can be solved in polynomial time for graphs with bounded thinness, given a suitable representation of the graph. \emph{Proper thinness} is defined analogously, generalizing proper interval graphs, and a larger family of NP-complete problems are known to be polynomially solvable for graphs with bounded proper thinness.
The complexity of recognizing 2-thin and proper 2-thin graphs is still open. In this work, we present characterizations of 2-thin and proper 2-thin graphs as intersection graphs of rectangles in the plane, as vertex intersection graphs of paths on a grid (VPG graphs), and by forbidden ordered patterns. We also prove that independent 2-thin graphs are exactly the interval bigraphs, and that proper independent 2-thin graphs are exactly the bipartite permutation graphs.
Finally, we take a step towards placing the thinness and its variations in the landscape of width parameters, by upper bounding the proper thinness in terms of the bandwidth.
The $\barγ$-frame for Tutte polynomials of matroids
Specializing the $γ$-basis for the vector space $\mathcal{G}(n,r)$ spanned by the set of symbols on bit sequences with $r$ $1$'s and $n-r$ $0$'s, we obtain a frame or spanning set for the vector space $\mathcal{T}(n,r)$ spanned by Tutte polynomials of matroids having rank $r$ and size $n$. Every Tutte polynomial can be expanded as a linear combination with non-negative integer coefficients of elements in this frame. We give explicit formulas for the elements in this frame. These formulas combine to give an expansion of the Tutte polynomial with coefficients obtained by summing numerical invariants over all flats with a given rank and size.
Comparing formulas for type $GL_n$ Macdonald polynomials
Published
• View Publication
• BIB
The paper compares (and reproves) the alcove walk and the nonattacking fillings formulas for type $GL_n$ Macdonald polynomials which were given in Haglund-Haiman-Loehr arXiv:math.CO/0601693, Alexandersson arXiv:1602.05153 and Ram-Yip arXiv:0803.1146. The "compression" relating the two formulas in this paper is the same as that of Lenart arXiv:0804.4716. We have reformulated it so that it holds without conditions and so that the proofs of the alcove walk formula and the nonattacking fillings formula are parallel. This reformulation highlights the role of the double affine Hecke algebra and Cherednik's intertwiners. An exposition of the type $GL_n$ double affine braid group, double affine Hecke algebra, and all definitions and proofs regarding Macdonald polynomials are provided to make this paper self contained.
Destroying Multicolored Paths and Cycles in Edge-Colored Graphs
Published in Discrete Mathematics & Theoretical Computer Science, vol. 25:1, Graph Theory (March 3, 2023) dmtcs:7636
• View Publication
• BIB
We study the computational complexity of $c$-Colored $P_\ell$ Deletion and $c$-Colored $C_\ell$ Deletion. In these problems, one is given a $c$-edge-colored graph and wants to destroy all induced $c$-colored paths or cycles, respectively, on $\ell$ vertices by deleting at most $k$ edges. Herein, a path or cycle is $c$-colored if it contains edges of $c$ distinct colors. We show that $c$-Colored $P_\ell$ Deletion and $c$-Colored $C_\ell$ Deletion are NP-hard for each non-trivial combination of $c$ and $\ell$. We then analyze the parameterized complexity of these problems. We extend the notion of neighborhood diversity to edge-colored graphs and show that both problems are fixed-parameter tractable with respect to the colored neighborhood diversity of the input graph. We also provide hardness results to outline the limits of parameterization by the standard parameter solution size $k$. Finally, we consider bicolored input graphs and show a special case of $2$-Colored $P_4$ Deletion that can be solved in polynomial time.
Generalized Dellac configurations
We study combinatorics of two generalizations of Dellac configurations. First, we establish a correspondence between a generalized Dellac configuration with three parameters and a generalized Dumont permutations. Secondly, by relaxing conditions on Dellac configurations, we introduce a generalization which we call Dellac configurations with boundaries. We show several recurrence relations for the Poincaré polynomials of Dellac configurations with boundaries.
The Varchenko-Gel'fand Ring of a Cone
Published
• View Publication
• BIB
For a hyperplane arrangement in a real vector space, the coefficients of its Poincaré polynomial have many interpretations. An interesting one is provided by the Varchenko-Gel'fand ring, which is the ring of functions from the chambers of the arrangement to the integers with pointwise addition and multiplication. Varchenko and Gel'fand gave a simple presentation for this ring, along with a filtration and associated graded ring whose Hilbert series is the Poincaré polynomial. We generalize these results to cones defined by intersections of halfspaces of some of the hyperplanes and prove a novel result for the Varchenko-Gel'fand ring of an arrangement: when the arrangement is supersolvable the associated graded ring of the arrangement is Koszul.
Coloring graph classes with no induced fork via perfect divisibility
Published
• View Publication
• BIB
For a graph $G$, $χ(G)$ will denote its chromatic number, and $ω(G)$ its clique number. A graph $G$ is said to be perfectly divisible if for all induced subgraphs $H$ of $G$, $V(H)$ can be partitioned into two sets $A$, $B$ such that $H[A]$ is perfect and $ω(H[B]) < ω(H)$. An integer-valued function $f$ is called a $χ$-binding function for a hereditary class of graphs $\cal C$ if $χ(G) \leq f(ω(G))$ for every graph $G\in \cal C$. The fork is the graph obtained from the complete bipartite graph $K_{1,3}$ by subdividing an edge once. The problem of finding a polynomial $χ$-binding function for the class of fork-free graphs is open. In this paper, we study the structure of some classes of fork-free graphs; in particular, we study the class of (fork,$F$)-free graphs $\cal G$ in the context of perfect divisibility, where $F$ is a graph on five vertices with a stable set of size three, and show that every $G\in \cal G$ satisfies $χ(G)\leq ω(G)^2$. We also note that the class $\cal G$ does not admit a linear $χ$-binding function.
Inhomogeneous spin $q$-Whittaker polynomials
We introduce and study an inhomogeneous generalization of the spin $q$-Whittaker polynomials from [Borodin,Wheeler-17]. These are symmetric polynomials, and we prove a branching rule, skew dual and non-dual Cauchy identities, and an integral representation for them. Our main tool is a novel family of deformed Yang-Baxter equations.
A condition for the existence of zero coefficients in the powers of the determinant polynomial
Published
• View Publication
• BIB
We discuss the existence of zero coefficients in the powers of the determinant polynomial of order $n$. D. G. Glynn proved that the coefficients of the $m$th power of the determinant polynomial are all nonzero, if $m = p-1$ with a prime $p$. We show that the converse also holds, if $n \geq 3$. The proof is quite elementary.
Evaluation of Nonsymmetric Macdonald Superpolynomials at Special Points
Published in Symmetry 2021, 13 (5), 779
• View Publication
• BIB
In a preceding paper the theory of nonsymmetric Macdonald polynomials taking values in modules of the Hecke algebra of type $A$ (Dunkl and Luque SLC 2012) was applied to such modules consisting of polynomials in anti-commuting variables, to define nonsymmetric Macdonald superpolynomials. These polynomials depend on two parameters $\left( q,t\right) $ and are defined by means of a Yang-Baxter graph. The present paper determines the values of a subclass of the polynomials at the special points $\left( 1,t,t^{2},\ldots\right) $ or$\left( 1,t^{-1},t^{-2},\ldots\right) $. The arguments use induction on the degree and computations with products of generators of the Hecke algebra. The resulting formulas involve $\left( q,t\right)$-hook products. Evaluations are also found for Macdonald superpolynomials having restricted symmetry and antisymmetry properties.
On Combinatorics of the Arthur Trace Formula, Convex Polytopes, and Toric Varieties
Published in Canadian Journal of Mathematics , Volume 75 , Issue 2 , April 2023 , pp. 375 - 420
• View Publication
• BIB
We explicate the combinatorial/geometric ingredients of Arthur's proof of the convergence and polynomiality, in a truncation parameter, of his non-invariant trace formula. Starting with a fan in a real, finite dimensional, vector space and a collection of functions, one for each cone in the fan, we introduce a combinatorial truncated function with respect to a polytope normal to the fan and prove the analogues of Arthur's results on the convergence and polynomiality of the integral of this truncated function over the vector space. The convergence statements clarify the important role of certain combinatorial subsets that appear in Arthur's work and provide a crucial partition that amounts to a so-called nearest face partition. The polynomiality statements can be thought of as far reaching extensions of the Ehrhart polynomial. Our proof of polynomiality relies on the Lawrence-Varchenko conical decomposition and readily implies an extension of the well-known combinatorial lemma of Langlands. The Khovanskii-Pukhlikov virtual polytopes are an important ingredient here. Finally, we give some geometric interpretations of our combinatorial truncation on toric varieties as a measure and a Lefschetz number.
Weak Coloring Numbers of Intersection Graphs
Weak and strong coloring numbers are generalizations of the degeneracy of a graph, where for each natural number $k$, we seek a vertex ordering such every vertex can (weakly respectively strongly) reach in $k$ steps only few vertices with lower index in the ordering. Both notions capture the sparsity of a graph or a graph class, and have interesting applications in the structural and algorithmic graph theory. Recently, the first author together with McCarty and Norin observed a natural volume-based upper bound for the strong coloring numbers of intersection graphs of well-behaved objects in $\mathbb{R}^d$, such as homothets of a centrally symmetric compact convex object, or comparable axis-aligned boxes.
In this paper, we prove upper and lower bounds for the $k$-th weak coloring numbers of these classes of intersection graphs. As a consequence, we describe a natural graph class whose strong coloring numbers are polynomial in $k$, but the weak coloring numbers are exponential. We also observe a surprising difference in terms of the dependence of the weak coloring numbers on the dimension between touching graphs of balls (single-exponential) and hypercubes (double-exponential).
The Integer Decomposition Property and Weighted Projective Space Simplices
Reflexive lattice polytopes play a key role in combinatorics, algebraic geometry, physics, and other areas. One important class of lattice polytopes are lattice simplices defining weighted projective spaces. We investigate the question of when a reflexive weighted projective space simplex has the integer decomposition property. We provide a complete classification of reflexive weighted projective space simplices having the integer decomposition property for the case when there are at most three distinct non-unit weights, and conjecture a general classification for an arbitrary number of distinct non-unit weights. Further, for any weighted projective space simplex and $m\geq 1$, we define the $m$-th reflexive stabilization, a reflexive weighted projective space simplex. We prove that when $m$ is $2$ or greater, reflexive stabilizations do not have the integer decomposition property. We also prove that the Ehrhart $h^\ast$-polynomial of any sufficiently large reflexive stabilization is not unimodal and has only $1$ and $2$ as coefficients. We use this construction to generate interesting examples of reflexive weighted projective space simplices that are near the boundary of both $h^*$-unimodality and the integer decomposition property.
Parking functions: From combinatorics to probability
Published
• View Publication
• BIB
Suppose that $m$ drivers each choose a preferred parking space in a linear car park with $n$ spots. In order, each driver goes to their chosen spot and parks there if possible, and otherwise takes the next available spot if it exists. If all drivers park successfully, the sequence of choices is called a parking function. Classical parking functions correspond to the case $m=n$; we study here combinatorial and probabilistic aspects of this generalized case.
We construct a family of bijections between parking functions $\text{PF}(m, n)$ with $m$ cars and $n$ spots and spanning forests $\mathscr{F}(n+1, n+1-m)$ with $n+1$ vertices and $n+1-m$ distinct trees having specified roots. This leads to a bijective correspondence between $\text{PF}(m, n)$ and monomial terms in the associated Tutte polynomial of a disjoint union of $n-m+1$ complete graphs. We present an identity between the "inversion enumerator" of spanning forests with fixed roots and the "displacement enumerator" of parking functions. The displacement is then related to the number of graphs on $n+1$ labeled vertices with a fixed number of edges, where the graph has $n+1-m$ disjoint rooted components with specified roots.
We investigate various probabilistic properties of a uniform parking function, giving a formula for the law of a single coordinate. As a side result we obtain a recurrence relation for the displacement enumerator. Adapting known results on random linear probes, we further deduce the covariance between two coordinates when $m=n$.
Packed Words and Quotient Rings
Published
• View Publication
• BIB
The coinvariant algebra is a quotient of the polynomial ring $\mathbb{Q}[x_1,\ldots,x_n]$ whose algebraic properties are governed by the combinatorics of permutations of length $n$. A word $w = w_1 \dots w_n$ over the positive integers is packed if whenever $i > 2$ appears as a letter of $w$, so does $i-1$. We introduce a quotient $S_n$ of $\mathbb{Q}[x_1,\ldots,x_n]$ which is governed by the combinatorics of packed words. We relate our quotient $S_n$ to the generalized coinvariant rings of Haglund, Rhoades, and Shimozono as well as the superspace coinvariant ring.
Standard monomial theory and toric degenerations of Richardson varieties in the Grassmannian
Published in Journal of Algebraic Combinatorics, 2021
• View Publication
• BIB
Richardson varieties are obtained as intersections of Schubert and opposite Schubert varieties. We provide a new family of toric degenerations of Richardson varieties inside Grassmannians by studying Gröbner degenerations of their corresponding ideals. These degenerations are parametrised by block diagonal matching fields in the sense of Sturmfels-Zelevinsky. We associate a weight vector to each block diagonal matching field and study its corresponding initial ideal. In particular, we characterise when such ideals are toric, hence providing a family of toric degenerations for Richardson varieties.
Given a Richardson variety $X_{w}^v$ and a weight vector ${\bf w}_\ell$ arising from a matching field, we consider two ideals: an ideal $G_{k,n,\ell}|_w^v$ obtained by restricting the initial of the Plücker ideal to a smaller polynomial ring, and a toric ideal defined as the kernel of a monomial map $φ_\ell|_w^v$. We first characterise the monomial-free ideals of form $G_{k,n,\ell}|_w^v$. Then we construct a family of tableaux in bijection with semi-standard Young tableaux which leads to a monomial basis for the corresponding quotient ring. Finally, we prove that when $G_{k,n,\ell}|_w^v$ is monomial-free and the initial ideal in$_{{\bf w}_\ell}(I(X_w^v))$ is quadratically generated, then all three ideals in$_{{\bf w}_\ell}(I(X_w^v))$, $G_{k,n,\ell}|_w^v$ and ker$(φ_\ell|_w^v)$ coincide, and provide a toric degeneration of $X_w^v$.
Identities for Schur-type determinants and pfaffians
We give a simple formula for some determinants, and an analogous formula for pfaffians, both of which are polynomial identities. The second involve some expressions that interpolate between determinants and pfaffians. We give several tableau formulas for difference operators in Types A and C, as well as other operators that appear in the "enriched", or "back-stable" Schubert polynomials. There are also tableau formulas for the enriched Schubert polynomials for vexillary and $321$-avoiding permutations.
Polychrony as Chinampas
Published in Algorithms 2023, 16(4), 193
• View Publication
• BIB
In this paper, we study the flow of signals through linear paths with the nonlinear condition that a node emits a signal when it receives external stimuli or when two incoming signals from other nodes arrive coincidentally with a combined amplitude above a fixed threshold. Sets of such nodes form a polychrony group and can sometimes lead to cascades. In the context of this work, cascades are polychrony groups in which the number of nodes activated as a consequence of other nodes is greater than the number of externally activated nodes. The difference between these two numbers is the so-called profit.
Given the initial conditions, we predict the conditions for a vertex to activate at a prescribed time and provide an algorithm to efficiently reconstruct a cascade. We develop a dictionary between polychrony groups and graph theory. We call the graph corresponding to a cascade a chinampa. This link leads to a topological classification of chinampas. We enumerate the chinampas of profits zero and one and the description of a family of chinampas isomorphic to a family of partially ordered sets, which implies that the enumeration problem of this family is equivalent to computing the Stanley-order polynomials of those partially ordered sets.
Quadratic starlike trees
Published
• View Publication
• BIB
In this paper, we introduce the notion of the quadratic graph, that is a graph whose eigenvalues are integral or quadratic algebraic integral, and determine nine infinite families of quadratic starlike trees, which are just all the quadratic starlike trees including integral starlike trees. Thus the quadratic starlike trees are completely characterized, and moreover, the display expressions for the characteristic polynomials of the quadratic starlike trees are also given.
A central limit theorem for singular graphons
We associate to a graphon $γ$ the sequence of $W$-random graphs $(G_n(γ))_{n \geq 1}$. We say that the graphon is singular if, for any finite graph $F$, the homomorphism density $t(F,G_n(γ))$ has a variance of order $O(n^{-2})$. This behavior is singular because generically, the density of a fixed finite graph $F$ in a $W$-random graph has a variance of order $O(n^{-1})$. We conjecture that the only singular graphons are the constant graphons $γ_p$ with $p \in [0,1]$, corresponding to the Erdős-Rényi random graphs $G(n,p)$. In this paper, we investigate the general properties of the singular graphons, and we show that they share many properties with the Erdős-Rényi random graphs. In particular, if $γ$ is a singular graphon, then the scaled densities $n(t(F,G_n(γ))-\mathbb{E}[t(F,G_n(γ))])$ converge in joint distribution. This generalises the central limit theorem satisfied by the Erdős-Rényi random graphs $G(n,p)$; however, the limiting distribution might be non-Gaussian if the conjecture does not hold. We also establish an equation satisfied by the characteristic polynomial of the Laplacian of the graph $G_n(γ)$ associated to a singular graphon; this opens the way to a spectral approach of the conjecture.