polynomial
11239 papers tagged with this keyword
Degeneracy of $P_t$-free and $C_{\geq t}$-free graphs with no large complete bipartite subgraphs
Published
• View Publication
• BIB
A hereditary class of graphs $\mathcal{G}$ is \emph{$χ$-bounded} if there exists a function $f$ such that every graph $G \in \mathcal{G}$ satisfies $χ(G) \leq f(ω(G))$, where $χ(G)$ and $ω(G)$ are the chromatic number and the clique number of $G$, respectively. As one of the first results about $χ$-bounded classes, Gyárfás proved in 1985 that if $G$ is $P_t$-free, i.e., does not contain a $t$-vertex path as an induced subgraph, then $χ(G) \leq (t-1)^{ω(G)-1}$. In 2017, Chudnovsky, Scott, and Seymour proved that $C_{\geq t}$-free graphs, i.e., graphs that exclude induced cycles with at least $t$ vertices, are $χ$-bounded as well, and the obtained bound is again superpolynomial in the clique number. Note that $P_{t-1}$-free graphs are in particular $C_{\geq t}$-free. It remains a major open problem in the area whether for $C_{\geq t}$-free, or at least $P_t$-free graphs $G$, the value of $χ(G)$ can be bounded from above by a polynomial function of $ω(G)$. We consider a relaxation of this problem, where we compare the chromatic number with the size of a largest balanced biclique contained in the graph as a (not necessarily induced) subgraph. We show that for every $t$ there exists a constant $c$ such that for and every $C_{\geq t}$-free graph which does not contain $K_{\ell,\ell}$ as a subgraph, it holds that $χ(G) \leq \ell^{c}$.
Bounded Dyck paths, bounded alternating sequences, orthogonal polynomials, and reciprocity
Published in Europ. J. Combin. 121 (2024), 103840
• View Publication
• BIB
The theme of this article is a "reciprocity" between bounded up-down paths and bounded alternating sequences. Roughly speaking, this ``reciprocity" manifests itself by the fact that the extension of the sequence of numbers of paths of length $n$, consisting of diagonal up- and down-steps and being confined to a strip of bounded width, to negative $n$ produces numbers of alternating sequences of integers that are bounded from below and from above. We show that this reciprocity extends to families of non-intersecting bounded up-down paths and certain arrays of alternating sequences which we call alternating tableaux. We provide as well weighted versions of these results. Our proofs are based on Viennot's theory of heaps of pieces and on the combinatorics of non-intersecting lattice paths. An unexpected application leads to a refinement of a result of Bousquet-Mélou and Viennot on the width-height-area generating function of parallelogram polyominoes. Finally, we exhibit the relation of the arising alternating tableaux to plane partitions of strip shapes.
Integrability of diagonalizable matrices and a dual Schoenberg type inequality
Published
• View Publication
• BIB
The concepts of differentiation and integration for matrices were introduced for studying zeros and critical points of complex polynomials. Any matrix is differentiable, however not all matrices are integrable. The purpose of this paper is to investigate the integrability property and characterize it within the class of diagonalizable matrices. In order to do this we study the relation between the spectrum of a diagonalizable matrix and its integrability and the diagonalizability of the integral. Finally, we apply our results to obtain a dual Schoenberg type inequality relating zeros of polynomials with their critical points.
Graph Polynomials and Group Coloring of Graphs
Published
• View Publication
• BIB
Let $Γ$ be an Abelian group and let $G$ be a simple graph. We say that $G$ is $Γ$-colorable if for some fixed orientation of $G$ and every edge labeling $\ell:E(G)\rightarrow Γ$, there exists a vertex coloring $c$ by the elements of $Γ$ such that $c(y)-c(x)\neq \ell(e)$, for every edge $e=xy$ (oriented from $x$ to $y$).
Langhede and Thomassen proved recently that every planar graph on $n$ vertices has at least $2^{n/9}$ different $\mathbb{Z}_5$-colorings. By using a different approach based on graph polynomials, we extend this result to $K_5$-minor-free graphs in the more general setting of field coloring. More specifically, we prove that every such graph on $n$ vertices is $\mathbb{F}$-$5$-choosable, whenever $\mathbb{F}$ is an arbitrary field with at least $5$ elements. Moreover, the number of colorings (for every list assignment) is at least $5^{n/4}$.
Elementary proof of existence of the Alexander-Conway polynomial
We present an accurate detailed exposition of the proof of existence of the Alexander-Conway polynomial (of links in 3-dimensional space). Other proofs were given by J. Alexander, J. Conway, V. Mantourov and L. Kauffman.
A vertex model for LLT polynomials
Published
• View Publication
• BIB
We describe a novel Yang-Baxter integrable vertex model. From this vertex model we construct a certain class of partition functions that we show are equal to the LLT polynomials of Lascoux, Leclerc, and Thibon. Using the vertex model formalism, we give alternate proofs of many properties of these polynomials, including symmetry and a Cauchy identity.
Asymptotic Dimension of Minor-Closed Families and Assouad-Nagata Dimension of Surfaces
Published in J. Eur. Math. Soc. (JEMS) 26 (2024), 3739-3791
• View Publication
• BIB
The asymptotic dimension is an invariant of metric spaces introduced by Gromov in the context of geometric group theory. In this paper, we study the asymptotic dimension of metric spaces generated by graphs and their shortest path metric and show their applications to some continuous spaces. The asymptotic dimension of such graph metrics can be seen as a large scale generalisation of weak diameter network decomposition which has been extensively studied in computer science.
We prove that every proper minor-closed family of graphs has asymptotic dimension at most 2, which gives optimal answers to a question of Fujiwara and Papasoglu and (in a strong form) to a problem raised by Ostrovskii and Rosenthal on minor excluded groups. For some special minor-closed families, such as the class of graphs embeddable in a surface of bounded Euler genus, we prove a stronger result and apply this to show that complete Riemannian surfaces have Assouad-Nagata dimension at most 2. Furthermore, our techniques allow us to prove optimal results for the asymptotic dimension of graphs of bounded layered treewidth and graphs of polynomial growth, which are graph classes that are defined by purely combinatorial notions and properly contain graph classes with some natural topological and geometric flavours.
On Line Sum Optimization
Published in Linear Algebra and its Applications, 610:474--479, 2021
• View Publication
• BIB
We show that the {\em column sum optimization problem}, of finding a $(0,1)$-matrix with prescribed row sums which minimizes the sum of evaluations of given functions at its column sums, can be solved in polynomial time, either when all functions are the same or when all row sums are bounded by any constant. We conjecture that the more general {\em line sum optimization problem}, of finding a matrix minimizing the sum of given functions evaluated at its row sums and column sums, can also be solved in polynomial time.
A combinatorial formula for the nabla operator
Published in Compositio Math. 161 (2025) 800-830
• View Publication
• BIB
We present an LLT-type formula for a general power of the nabla operator applied to the Cauchy product for the modified Macdonald polynomials, and use it to deduce a new proof of the generalized shuffle theorem describing $\nabla^k e_n$, and the Elias-Hogancamp formula for $(\nabla^k p_1^n,e_n)$ as corollaries. We give a direct proof of the theorem by verifying that the LLT expansion satisfies the defining properties of $\nabla^k$, such as triangularity in the dominance order, as well as a geometric proof based on a method for counting bundles on $\mathbb{P}^1$ due to the second author. These formulas are related to an affine paving of the type A unramified affine Springer fiber studied by Goresky, Kottwitz, and MacPherson, and also to Stanley's chromatic symmetric functions.
Multivariate Difference Gončarov Polynomials
Published
• View Publication
• BIB
Univariate delta Gončarov polynomials arise when the classical Gončarov interpolation problem in numerical analysis is modified by replacing derivatives with delta operators. When the delta operator under consideration is the backward difference operator, we acquire the univariate difference Gončarov polynomials, which have a combinatorial relation to lattice paths in the plane with a given right boundary. In this paper, we extend several algebraic and analytic properties of univariate difference Gončarov polynomials to the multivariate case. We then establish a combinatorial interpretation of multivariate difference Gončarov polynomials in terms of certain constraints on $d$-tuples of non-decreasing integer sequences. This motivates a connection between multivariate difference Gončarov polynomials and a higher-dimensional generalized parking function, the $\boldsymbol{U}$-parking function, from which we derive several enumerative results based on the theory of multivariate delta Gončarov polynomials.
Moments of q-Jacobi Polynomials and q-Zeta Values
Published
• View Publication
• BIB
We explore some connections between moments of rescaled little q-Jacobi polynomials, q-analogues of values at negative integers for some Dirichlet series, and the q-Eulerian polynomials of wreath products of symmetric groups.
When do two networks have the same steady-state ideal?
Chemical reaction networks are often used to model and understand biological processes such as cell signaling. Under the framework of chemical reaction network theory, a process is modeled with a directed graph and a choice of kinetics, which together give rise to a dynamical system. Under the assumption of mass action kinetics, the dynamical system is polynomial. In this paper, we consider the ideals generated by the these polynomials, which are called steady-state ideals. Steady-state ideals appear in multiple contexts within the chemical reaction network literature, however they have yet to be systematically studied. To begin such a study, we ask and partially answer the following question: when do two reaction networks give rise to the same steady-state ideal? In particular, our main results describe three operations on the reaction graph that preserve the steady-state ideal. Furthermore, since the motivation for this work is the classification of steady-state ideals, monomials play a primary role. To this end, combinatorial conditions are given to identify monomials in a steady-state ideal, and we give a sufficient condition for a steady-state ideal to be monomial.
Root of unity quantum cluster algebras and discriminants
Published
• View Publication
• BIB
We describe a connection between the subjects of cluster algebras, polynomial identity algebras and discriminants. For this, we define the notion of root of unity quantum cluster algebras and prove that they are polynomial identity algebras. Inside each such algebra we construct a (large) canonical central subalgebra, which can be viewed as a far reaching generalization of the central subalgebras of big quantum groups constructed by De Concini, Kac and Procesi and used in representation theory. Each such central subalgebra is proved to be isomorphic to the underlying classical cluster algebra of geometric type. When the root of unity quantum cluster algebra is free over its central subalgebra, we prove that the discriminant of the pair is a product of powers of the frozen variables times an integer. An extension of this result is also proved for the discriminants of all subalgebras generated by the cluster variables of nerves in the exchange graph. These results can be used for the effective computation of discriminants. As an application we prove an explicit formula for the discriminant of the integral form over ${\mathbb{Z}}[\varepsilon]$ of each quantum unipotent cells of De Concini, Kac and Procesi for arbitrary symmetrizable Kac-Moody algebras, where $\varepsilon$ is a root of unity.
Chromatic symmetric functions of Dyck paths and q-rook theory (extended abstract)
The chromatic symmetric function (CSF) of Dyck paths of Stanley and its Shareshian-Wachs $q$-analogue have important connections to Hessenberg varieties, diagonal harmonics, and LLT polynomials. In the case of, so-called, abelian Dyck paths they are also curiously related to placements of non-attacking rooks by results of Stanley-Stembridge (1993) and Guay-Paquet (2013). For the $q$-analogue, these results have been generalized by Abreu-Nigro (2020) and Guay-Paquet (private communication), using $q$-hit numbers, which are a variant of the ones introduced by Garsia and Remmel. Among our main results is a new proof of Guay-Paquet's elegant identity expressing the $q$-CSFs in a CSF basis with $q$-hit coefficients. We further show its equivalence to the Abreu-Nigro identity expanding the $q$-CSF in the elementary symmetric functions.
This is the FPSAC extended abstract version. The full version is at ArXiv: 2104.07599.
A Lie bracket for the momentum kernel
Published
• View Publication
• BIB
We develop new mathematical tools for the study of the double copy and colour-kinematics duality for tree-level scattering amplitudes using the properties of Lie polynomials. We show that the $S$-map that was defined to simplify super-Yang--Mills multiparticle superfields is in fact a new Lie bracket on the dual space of Lie polynomials. We introduce {\it Lie polynomial currents} based on Berends-Giele recursion for biadjoint scalar tree amplitudes that take values in Lie polynomials. Field theory amplitudes are obtained from the Lie polynomial amplitudes by numerators characterized as homomorphisms from the free Lie algebra to kinematic data. Examples are presented for the biadjoint scalar, Yang--Mills theory and the nonlinear sigma model. That these theories satisfy the Bern-Carrasco-Johansson amplitude relations follows from the identities we prove for the Lie polynomial amplitudes and the existence of BCJ numerators.
A KLT map from Lie polynomials to their dual is obtained by nesting the S-map Lie bracket; the matrix elements of this map yield a recently proposed `generalized KLT matrix', and this reduces to the usual KLT matrix when its entries are restricted to a basis. Using this, we give an algebraic proof for the cancellation of double poles in the KLT formula for gravity amplitudes. We finish with some remarks on numerators and colour-kinematics duality from this perspective.
Drinfeld Hecke algebras for symmetric groups in positive characteristic
Published in Communications in Algebra, Vol. 50, Issue 5 (2022), p. 1925--1941
• View Publication
• BIB
We investigate deformations of skew group algebras arising from the action of the symmetric group on polynomial rings over fields of arbitrary characteristic. Over the real or complex numbers, Lusztig's graded affine Hecke algebra and analogs are all isomorphic to Drinfeld Hecke algebras, which include the symplectic reflection algebras and rational Cherednik algebras. Over fields of prime characteristic, new deformations arise that capture both a disruption of the group action and also a disruption of the commutativity relations defining the polynomial ring. We classify deformations for the symmetric group acting in its natural (reducible) reflection representation.
Some applications of Wagner's weighted subgraph counting polynomial
Published
• View Publication
• BIB
We use Wagner's weighted subgraph counting polynomial to prove that the partition function of the anti-ferromagnetic Ising model on line graphs is real rooted and to prove that roots of the edge cover polynomial have length at most $4$. We moreover discuss how our results relate to efficient algorithms for approximately computing evaluations of these polynomials.
Image sets of perfectly nonlinear maps
We consider image sets of differentially $d$-uniform maps of finite fields. We present a lower bound on the image size of such maps and study their preimage distribution, by extending methods used for planar maps. We apply the results to study $d$-uniform Dembowski-Ostrom polynomials. Further, we focus on a particularly interesting case of APN maps on binary fields. We show that APN maps with the minimal image size must have a very special preimage distribution. We prove that for an even $n$ the image sets of several well-studied families of APN maps are minimal. We present results connecting the image sets of special maps with their Walsh spectrum. Especially, we show that the fact that several large classes of APN maps have the classical Walsh spectrum is explained by the minimality of their image sets. Finally, we present upper bounds on the image size of APN maps.
The Furstenberg-Sárközy Theorem and Asymptotic Total Ergodicity Phenomena in Modular Rings
Published in Journal of Number Theory, Volume 243, 2023, Pages 615-645
• View Publication
• BIB
The Furstenberg-Sárközy theorem asserts that the difference set $E-E$ of a subset $E \subset \mathbb{N}$ with positive upper density intersects the image set of any polynomial $P \in \mathbb{Z}[n]$ for which $P(0)=0$. Furstenberg's approach relies on a correspondence principle and a polynomial version of the Poincaré recurrence theorem, which is derived from the ergodic-theoretic result that for any measure-preserving system $(X,\mathcal{B},μ,T)$ and set $A \in \mathcal{B}$ with $μ(A) > 0$, one has $c(A):= \lim_{N \to \infty} \frac{1}{N} \sum_{n=1}^N μ(A \cap T^{-P(n)}A) > 0.$ The limit $c(A)$ will have its optimal value of $μ(A)^2$ when $T$ is totally ergodic. Motivated by the possibility of new combinatorial applications, we define the notion of asymptotic total ergodicity in the setting of modular rings $\mathbb{Z}/N\mathbb{Z}$. We show that a sequence of modular rings $\mathbb{Z}/N_m\mathbb{Z}$, $m \in \mathbb{N},$ is asymptotically totally ergodic if and only if $\mathrm{lpf}(N_m)$, the least prime factor of $N_m$, grows to infinity. From this fact, we derive some combinatorial consequences, for example the following. Fix $δ\in (0,1]$ and a (not necessarily intersective) polynomial $Q \in \mathbb{Q}[n]$ such that $Q(\mathbb{Z}) \subseteq \mathbb{Z}$, and write $S = \{ Q(n) : n \in \mathbb{Z}/N\mathbb{Z}\}$. For any integer $N > 1$ with $\mathrm{lpf}(N)$ sufficiently large, if $A$ and $B$ are subsets of $\mathbb{Z}/N\mathbb{Z}$ such that $|A||B| \geq δN^2$, then $\mathbb{Z}/N\mathbb{Z} = A + B + S$.
On the proper orientation number of chordal graphs
Published
• View Publication
• BIB
An orientation $D$ of a graph $G=(V,E)$ is a digraph obtained from $G$ by replacing each edge by exactly one of the two possible arcs with the same end vertices. For each $v \in V(G)$, the indegree of $v$ in $D$, denoted by $d^-_D(v)$, is the number of arcs with head $v$ in $D$. An orientation $D$ of $G$ is proper if $d^-_D(u)\neq d^-_D(v)$, for all $uv\in E(G)$. An orientation with maximum indegree at most $k$ is called a $k$-orientation. The proper orientation number of $G$, denoted by $\overrightarrowχ(G)$, is the minimum integer $k$ such that $G$ admits a proper $k$-orientation. We prove that determining whether $\overrightarrowχ(G) \leq k$ is NP-complete for chordal graphs of bounded diameter, but can be solved in linear-time in the subclass of quasi-threshold graphs. When parameterizing by $k$, we argue that this problem is FPT for chordal graphs and argue that no polynomial kernel exists, unless $NP\subseteq coNP/\ poly$. We present a better kernel to the subclass of split graphs and a linear kernel to the class of cobipartite graphs.
Concerning bounds, we prove tight upper bounds for subclasses of block graphs. We also present new families of trees having proper orientation number at most 2 and at most 3. Actually, we prove a general bound stating that any graph $G$ having no adjacent vertices of degree at least $c+1$ have proper orientation number at most $c$. This implies new classes of (outer)planar graphs with bounded proper orientation number. We also prove that maximal outerplanar graphs $G$ whose weak-dual is a path satisfy $\overrightarrowχ(G)\leq 13$. Finally, we present simple bounds to the classes of chordal claw-free graphs and cographs.