polynomial
11422 papers tagged with this keyword
Quasisymmetric divided differences
We develop a quasisymmetric analogue of the combinatorial theory of Schubert polynomials and the associated divided difference operators. Our counterparts are "forest polynomials", and a new family of linear operators, whose theory of compositions is governed by forests and the "Thompson monoid". Our approach extends naturally to $m$-colored quasisymmetric functions.
We then give several applications of our theory to fundamental quasisymmetric functions, the study of quasisymmetric coinvariant rings and their associated harmonics, and positivity results for various expansions. In particular we resolve a conjecture of Aval-Bergeron-Li regarding quasisymmetric harmonics.
$\mathcal{O}(VE)$ time algorithms for the Grundy (First-Fit) chromatic number of block graphs and graphs with sufficiently large girth
The Grundy (or First-Fit) chromatic number of a graph $G=(V,E)$, denoted by $Γ(G)$ (or $χ_{_{\sf FF}}(G)$), is the maximum number of colors used by a First-Fit (greedy) coloring of $G$. To determine $Γ(G)$ is NP-complete for various classes of graphs. Also there exists a constant $c>0$ such that the Grundy number is hard to approximate within the ratio $c$. We first obtain an $\mathcal{O}(VE)$ algorithm to determine the Grundy number of block graphs i.e. graphs in which every biconnected component is complete subgraph. We prove that the Grundy number of a general graph $G$ with cut-vertices is upper bounded by the Grundy number of a block graph corresponding to $G$. This provides a reasonable upper bound for the Grundy number of graphs with cut-vertices. Next, define $Δ_2(G)={\max}_{u\in G}~ {\max}_{v\in N(u):d(v)\leq d(u)} d(v)$. We obtain an $\mathcal{O}(VE)$ algorithm to determine $Γ(G)$ for graphs $G$ whose girth $g$ is at least $2Δ_2(G)+1$. This algorithm provides a polynomial time approximation algorithm within ratio $\min \{1, (g+1)/(2Δ_2(G)+2)\}$ for $Γ(G)$ of general graphs $G$ with girth $g$.
Cokernels of the Euler restriction map of logarithmic derivation modules
Published
• View Publication
• BIB
There are two restriction maps of the logarithmic modules of plane arrangements in a three dimensional vector space. One is the Euler restriction and the other is the Ziegler restriction. The dimension of the cokernel of the Ziegler restriction map of logarithmic derivation modules has been well-studied for the freeness of hyperplane arrangements after Yoshinaga's celebrated criterion for freeness, which connects the second Betti number and the splitting type (exponents). However, though the Euler restriction has a longer history than the Ziegler restriction, the cokernel and its dimension of the Euler restriction have not been studied at all.
The aim of this article is to study the cokernel and dimension of the Euler restriction maps in terms of combinatorics, more explicitly, the characteristic polynomial. We give an upper bound of that cokernel, and show the formula for that if the arrangement is free.
Better coloring of 3-colorable graphs
Published
• View Publication
• BIB
We consider the problem of coloring a 3-colorable graph in polynomial time using as few colors as possible. This is one of the most challenging problems in graph algorithms.
In this paper using Blum's notion of ``progress'', we develop a new combinatorial algorithm for the following: Given any 3-colorable graph with minimum degree $\ds>\sqrt n$, we can, in polynomial time, make progress towards a $k$-coloring for some $k=\sqrt{n/\ds}\cdot n^{o(1)}$.
We balance our main result with the best-known semi-definite(SDP) approach which we use for degrees below $n^{0.605073}$. As a result, we show that $\tO(n^{0.19747})$ colors suffice for coloring 3-colorable graphs. This improves on the previous best bound of $\tO(n^{0.19996})$ by Kawarabayashi and Thorup in 2017.
Capped Vertex Functions for $\text{Hilb}^n (\mathbb{C}^2)$
Published
• View Publication
• BIB
We obtain explicit formulas for capped descendent vertex functions of $\text{Hilb}^n(\mathbb{C}^2)$ for descendents given by the exterior algebra of the tautological bundle. This formula provides a one-parametric deformation of the generating function for normalized Macdonald polynomials. In particular, we show that the capped vertex functions are rational functions of the quantum parameter.
Bounding the softwired parsimony score of a phylogenetic network
In comparison to phylogenetic trees, phylogenetic networks are more suitable to represent complex evolutionary histories of species whose past includes reticulation such as hybridisation or lateral gene transfer. However, the reconstruction of phylogenetic networks remains challenging and computationally expensive due to their intricate structural properties. For example, the small parsimony problem that is solvable in polynomial time for phylogenetic trees, becomes NP-hard on phylogenetic networks under softwired and parental parsimony, even for a single binary character and structurally constrained networks. To calculate the parsimony score of a phylogenetic network $N$, these two parsimony notions consider different exponential-size sets of phylogenetic trees that can be extracted from $N$ and infer the minimum parsimony score over all trees in the set. In this paper, we ask: What is the maximum difference between the parsimony score of any phylogenetic tree that is contained in the set of considered trees and a phylogenetic tree whose parsimony score equates to the parsimony score of $N$? Given a gap-free sequence alignment of multi-state characters and a rooted binary level-$k$ phylogenetic network, we use the novel concept of an informative blob to show that this difference is bounded by $k+1$ times the softwired parsimony score of $N$. In particular, the difference is independent of the alignment length and the number of character states. We show that an analogous bound can be obtained for the softwired parsimony score of semi-directed networks, while under parental parsimony on the other hand, such a bound does not hold.
Characteristic quasi-polynomials of deletions of Shi arrangements of type B and their period collapse
Characteristic quasi-polynomials are the enumerative functions counting the number of elements in the complement of hyperplane arrangements modulo positive integers. A notable phenomenon in this context is period collapse, where the quasi-polynomial reduces to a polynomial or has a smaller period than the lcm period. In this paper, we compute the characteristic quasi-polynomials of the restriction of the Shi arrangement of type B by one given hyperplane. As a corollary, we completely determine whether period collapse occurs in the characteristic quasi-polynomial of the deletion of the Shi arrangement of type B. This implies the solution for the conjecture posed by Higashitani, Tran and Yoshinaga in this case.
Harmonic higher and extended weight enumerators
Published
• View Publication
• BIB
In this paper, we present the harmonic generalizations of well-known polynomials of codes over finite fields, namely the higher weight enumerators and the extended weight enumerators, and we derive the correspondences between these weight enumerators. Moreover, we present the harmonic generalization of Greene's Theorem for the higher (resp. extended) weight enumerators. As an application of this Greene's-type theorem, we provide the MacWilliams-type identity for harmonic higher weight enumerators of codes over finite fields. Finally, we use this new identity to give a new proof of the Assmus-Mattson Theorem for subcode supports of linear codes over finite fields using harmonic higher weight enumerators.
Degrees of P-Grothendieck polynomials and regularity of Pfaffian varieties
Published
• View Publication
• BIB
We prove a formula for the degrees of Ikeda and Naruse's $P$-Grothendieck polynomials using combinatorics of shifted tableaux. We show this formula can be used in conjunction with results of Hamaker, Marberg, and Pawlowski to obtain an upper bound on the Castelnuovo-Mumford regularity of certain Pfaffian varieties known as vexillary skew-symmetric matrix Schubert varieties. Similar combinatorics additionally yields a new formula for the degree of Grassmannian Grothendieck polynomials and the regularity of Grassmannian matrix Schubert varieties, complementing a 2021 formula of Rajchgot, Ren, Robichaux, St. Dizier, and Weigandt.
Knot theory and cluster algebras II: The knot cluster
To every knot (or link) diagram K, we associate a cluster algebra A that contains a cluster x with the property that every cluster variable in x specializes to the Alexander polynomial of K. We call x the knot cluster of A. Furthermore, there exists a cluster automorphism of A of order two that maps the initial cluster to the cluster x.
We realize this connection between knot theory and cluster algebras in two ways. In our previous work, we constructed indecomposable representations T(i) of the initial quiver Q of the cluster algebra A. Modulo the removal of 2-cycles, the quiver Q is the incidence quiver of the segments in K, and the representation T(i) of Q is built by taking successive boundaries of K cut open at the i-th segment. The relation to the Alexander polynomial stems from an isomorphism between the submodule lattice of T(i) and the lattice of Kauffman states of K relative to segment i.
In the current article, we identify the knot cluster x in A via a sequence of mutations that we construct from a sequence of bigon reductions and generalized Reidemeister III moves on the diagram K. On the level of diagrams, this sequence first reduces K to the Hopf link, then reflects the Hopf link to its mirror image, and finally rebuilds (the mirror image of) K by reversing the reduction. We show that every diagram of a prime link admits such a sequence.
We further prove that the cluster variables in x have the same F-polynomials as the representations T(i). This establishes the important fact that our representations T(i) do indeed correspond to cluster variables in A. But it even establishes the much stronger result that these cluster variables are all compatible, in the sense that they form a cluster.
We also prove that the representations T(i) have the following symmetry property. For all vertices i,j of Q, the dimension of T(i) at j is equal to the dimension of T(j) at i.
The pinning ideal of a multiloop
A multiloop $γ\colon \sqcup_1^s \mathbb{S}^1 \looparrowright \mathbb{F}$ is a generic immersion of a finite union of circles into an oriented surface, considered up to homeomorphisms. A pinning set is a set of points $P\subset \mathbb{F}\setminus \operatorname{im}(γ)$, such that in the punctured surface $\mathbb{F} \setminus P$, the immersion $γ$ has the minimal number of double points in its homotopy class. The collection of pinning sets of $γ$ forms a poset under inclusion called the pinning ideal $\mathcal{PI}(γ)$ which is endowed with the cardinal function whose minimum defines the pinning number $\varpi(γ)$.
We show that the decision problem associated to computing the pinning number of a multiloop is \textsf{NP}-complete, even for loops in the sphere. We give two proofs that it is \textsf{NP}: First, we implement a polynomial algorithm to check if a point-set is pinning, adapting methods of Birman--Series and Cohen--Lustig for computing intersection numbers of curves in surfaces. Second, for loops in the sphere we reduce the problem in polynomial time to a variant of boolean satisfiability by applying a theorem of Hass--Scott characterizing taut loops, and adapting algorithms of Blank and Shor--Van Wyk which decide when a curve in the plane bounds an immersed disc. To show that it is \textsf{NP}-hard we reduce the vertex cover problem for graphs to the pinning problem for plane loops.
We use our algorithms to compute the pinning ideals for $\approx 1000$ of the smallest multiloops in the sphere, available in the online catalog LooPindex.
Gröbner bases and final polynomials
In [4] Sturmfels linked the Hilbert Nullstellensatz to Gröbner bases through final polynomials. In (loc. cit.) it was claimed that final polynomials always appear in a lexicographic Gröbner basis of a certain ideal. In this paper, we give a counterexample to this claim. We also show how the introduction of an extra variable restores the claim in a deformed setup, which we call extended final polynomials.
Projective hypersurfaces in tropical scheme theory I: the Macaulay ideal
Published
• View Publication
• BIB
A "tropical ideal" is an ideal in the idempotent semiring of tropical polynomials that is also, degree by degree, a tropical linear space. We introduce a construction based on transversal matroids that canonically extends any principal ideal to a tropical ideal. We call this the Macaulay tropical ideal. It has a universal property: any other extension of the given principal ideal to a tropical ideal with the expected Hilbert function is a weak image of the Macaulay tropical ideal. For each $n\geq 2$ and $d\geq 1$ our construction yields a non-realizable degree $d$ hypersurface scheme in $\mathbb{P}^n$. Maclagan-Rincón produced a non-realizable line in $\mathbb{P}^n$ for each $n$, and for $(d,n)=(1,2)$ the two constructions agree. An appendix by Mundinger compares the Macaulay construction with another method for canonically extending ideals to tropical ideals.
A tame vs. feral dichotomy for graph classes excluding an induced minor or induced topological minor
A minimal separator in a graph is an inclusion-minimal set of vertices that separates some fixed pair of nonadjacent vertices. A graph class is said to be tame if there exists a polynomial upper bound for the number of minimal separators of every graph in the class, and feral if it contains arbitrarily large graphs with exponentially many minimal separators. Building on recent works of Gartland and Lokshtanov [SODA 2023] and Gajarský, Jaffke, Lima, Novotná, Pilipczuk, Rzążewski, and Souza [arXiv, 2022], we show that every graph class defined by a single forbidden induced minor or induced topological minor is either tame or feral, and classify the two cases. This leads to new graph classes in which Maximum Weight Independent Set and many other problems are solvable in polynomial time. We complement the classification results with polynomial-time recognition algorithms for the maximal tame graph classes appearing in the obtained classifications.
Positivity and universal Plücker coordinates for spaces of quasi-exponentials
Published
• View Publication
• BIB
A quasi-exponential is an entire function of the form $e^{cu}p(u)$, where $p(u)$ is a polynomial and $c \in \mathbb{C}$. Let $V = \langle e^{h_1u}p_1(u), \dots, e^{h_Nu}p_N(u) \rangle$ be a vector space with a basis of quasi-exponentials. We show that if $h_1, \dots, h_N$ are nonnegative and all of the complex zeros of the Wronskian $\operatorname{Wr}(V)$ are real, then $V$ is totally nonnegative in the sense that all of its Grassmann-Plücker coordinates defined by the Taylor expansion about $u=t$ are nonnegative, for any real $t$ greater than all of the zeros of $\operatorname{Wr}(V)$. Our proof proceeds by showing that the higher Gaudin Hamiltonians $T_λ^G(t)$ introduced in [ALTZ14] are universal Plücker coordinates about $u=t$ for the Wronski map on spaces of quasi-exponentials. The result that $V$ is totally nonnegative follows from the fact that $T_λ^G(t)$ is positive semidefinite, which we establish using partial traces. We also show that if $h_1 = \cdots = h_N = 0$ then $T_λ^G(t)$ equals $β^λ(t)$, which is the universal Plücker coordinate for the Wronski map on spaces of polynomials introduced in [KP23].
The Boolean polynomial polytope with multiple choice constraints
We consider a class of $0$-$1$ polynomial programming termed multiple choice polynomial programming (MCPP) where the constraint requires exact one component per subset of the partition to be $1$ after all the entries are partitioned. Compared to the unconstrained counterpart, there are few polyhedral studies of MCPP in general form. This paper serves as the first attempt to propose a polytope associated with a hypergraph to study MCPP, which is the convex hull of $0$-$1$ vectors satisfying multiple choice constraints and production constraints. With the help of the decomposability property, we obtain an explicit half-space representation of the MCPP polytope when the underlying hypergraph is $α$-acyclic by induction on the number of hyperedges, which is an analogy of the acyclicity results on the multilinear polytope by Del Pia and Khajavirad (SIAM J Optim 28 (2018) 1049) when the hypergraph is $γ$-acyclic. We also present a necessary and sufficient condition for the inequalities lifted from the facet-inducing ones for the multilinear polytope to be still facet-inducing for the MCPP polytope. This result covers the particular cases by Bärmann, Martin and Schneider (SIAM J Optim 33 (2023) 2909).
Cluster expansion formulas and perfect matchings for type B and C
Published in Journal of Algebraic Combinatorics 62.40 (2025)
• View Publication
• BIB
Let $\mathbf{P}_{2n+2}$ be the regular polygon with $2n+2$ vertices, and let $θ$ be the rotation of 180$^\circ$. Fomin and Zelevinsky proved that $θ$-invariant triangulations of $\mathbf{P}_{2n+2}$ are in bijection with the clusters of cluster algebras of type $B_n$ or $C_n$. Furthermore, cluster variables correspond to the orbits of the action of $θ$ on the diagonals of $\mathbf{P}_{2n+2}$. In this paper, we associate a labeled modified snake graph $\mathcal{G}_{ab}$ to each $θ$-orbit $[a,b]$, and we get the cluster variables of type $B_n$ and $C_n$ which correspond to $[a,b]$ as perfect matching Laurent polynomials of $\mathcal{G}_{ab}$. This extends the work of Musiker for cluster algebras of type B and C to every seed.
Quasi-period collapse in half-integral polygons
A half-integral polygon with quasi-period collapse behaves similarly to a lattice polygon in the sense that the number of lattice points in its integer dilates can be calculated as values of a polynomial, its Ehrhart polynomial. As a main result, we classify the Ehrhart polynomials of all half-integral non-lattice polygons with quasi-period collapse. In particular, we obtain that for any positive integer $i$, the polynomial $\frac{4i+5}{2}t^2+\frac{2i+7}{2}t+1\in \mathbb{Q}[t]$ is an Ehrhart polynomial of a rational polygon, which was an open question for $i>1$.
We also study some extreme cases in detail. In particular, we show that up to affine unimodular equivalence there exist exactly $30$ half-integral non-lattice polygons with quasi-periodic collapse with exactly one interior lattice point, which are the dual polygons of the $30$ LDP polygons of Gorenstein index $2$. Furthermore, we classify all half-integral polygons with quasi-period collapse with at most $6$ interior lattice points or with $i\geq 1$ interior lattice points and the maximum possible number $2i+7$ of boundary lattice points.
A Subexponential Reduction from Product Partition to Subset Sum
In this paper we study the Product Partition Problem (PPP), i.e. we are given a set of $n$ natural numbers represented on $m$ bits each and we are asked if a subset exists such that the product of the numbers in the subset equals the product of the numbers not in the subset. Our approach is to obtain the integer factorization of each number. This is the subexponential step. We then form a matrix with the exponents of the primes and show that the PPP has a solution iff some Subset Sum Problems have a common solution. Finally, using the fact that the exponents are not large we combine all the Subset Sum Problems in a single Subset Sum Problem (SSP) and show that its size is polynomial in $m,n$. We show that the PPP has a solution iff the final SSP has one.
The Square-Root Law Does Not Hold in the Presence of Zero Divisors
Published
• View Publication
• BIB
Let $R$ be a finite ring (with unit, not necessarily commutative) and define the paraboloid $P = \{(x_1, \dots, x_d)\in R^d|x_d = x_1^2 + \dots + x_{d-1}^2\}.$ Suppose that for a sequence of finite rings of size tending to infinity, the Fourier transform of $P$ satisfies a square-root law of the form $|\hat{P}(χ)|\leq C|R|^{-d}|P|^\frac{1}{2}$ for some fixed constant $C$ (for instance, if $R$ is a finite field, this bound will be satisfied with $C = 1$). Then all but finitely many of the rings are fields.
Most of our argument works in greater generality: let $f$ be a polynomial with integer coefficients in $d-1$ variables, with a fixed order of variable multiplications (so that it defines a function $R^{d-1}\rightarrow R$ even when $R$ is noncommutative), and set $V_f = \{(x_1, \dots, x_d)\in R^d|x_d = f(x_1, \dots, x_{d-1})\}$. If (for a sequence of finite rings of size tending to infinity) we have a square root law for the Fourier transform of $V_f$, then all but finitely many of the rings are fields or matrix rings of small dimension. We also describe how our techniques let us see that certain varieties do not satisfy a square root law even over finite fields.