polynomial
11184 papers tagged with this keyword
On Minimal Polynomials of Elements in Symmetric and Alternating Groups
Let $ (ρ, V) $ be an irreducible representation of the symmetric group $ S_n$ (or the alternating group $ A_n$), and let $ g $ be a permutation on $n$ letters with each of its cycle lengths divides the length of its largest cycle. We describe completely the minimal polynomial of $ρ(g)$, showing that, in most cases, it equals $x^{o(g)} - 1 $, with a few explicit exceptions. As a by-product, we obtain a new proof (using only combinatorics and representation theory) of a theorem of Swanson that gives a necessary and sufficient condition for the existence of a standard Young tableau of a given shape and major index $r \ \text{mod} \ n$, for all $r$. Thereby, we give a new proof of a celebrated result of Klyachko on Lie elements in a tensor algebra, and of a conjecture of Sundaram on the existence of an invariant vector for $n$-cycles. We also show that for elements $g$ in $S_n$ or $A_n$ of even order, in most cases, $ρ(g)$ has eigenvalue $-1$, with a few explicit exceptions.
The homological shift algebra of a monomial ideal
Let $S=K[x_1,\dots,x_n]$ be the polynomial ring over a field $K$, and let $I\subset S$ be a monomial ideal. In this paper, we introduce the $i$th \textit{homological shift algebras} $\text{HS}_i(\mathcal{R}(I))=\bigoplus_{k\ge1}\text{HS}_i(I^k)$ of $I$. If $I$ has linear powers, these algebras have the structure of a finitely generated bigraded module over the Rees algebra $\mathcal{R}(I)$ of $I$. Hence, many invariants of $\text{HS}_i(I^k)$, such as depth, associated primes, regularity, and the $\text{v}$-number, exhibit well behaved asymptotic behavior. We determine several families of monomial ideals $I$ for which $\text{HS}_i(I^k)$ has linear resolution for all $k\gg0$. Finally, we show that $\text{HS}_i(I^k)$ is Golod for all monomial ideals $I\subset S$ with linear powers and all $k\gg0$.
Random Fibonacci Words via Clone Schur Functions
Published in Forum of Mathematics, Sigma 14 (2026) e15
• View Publication
• BIB
We study positivity and probabilistic properties arising from the Young--Fibonacci lattice $\mathbb{YF}$, a 1-differential poset on binary (Fibonacci) words of 1's and 2's, graded by digit sum. Building on Okada's theory of clone Schur functions (Trans. Amer. Math. Soc. 346 (1994), 549--568), we define clone coherent measures on $\mathbb{YF}$ that generate random Fibonacci words of increasing length; unlike for the Young lattice (powered by the classical Schur functions), clone coherent measures are generally not extremal on $\mathbb{YF}$.
Our first main result is a complete characterization of Fibonacci positive specializations -- parameter sequences which yield positive clone Schur functions on $\mathbb{YF}$. Second, we connect Fibonacci positivity with: (i) total positivity of tridiagonal matrices; (ii) Stieltjes moment sequences; (iii) the combinatorics of set partitions; and (iv) families of univariate orthogonal polynomials from the (q-)Askey scheme. We further link moment sequences of orthogonal polynomials to combinatorial structures on Fibonacci words, a connection that may be of independent interest. Third, we analyze scaling limits of the induced random words, obtaining stick-breaking-type limits (linked to GEM laws), new dependent stick-breaking limits, and limits supported on the discrete part of the Martin boundary of $\mathbb{YF}$. These results significantly extend the asymptotics of the Plancherel measure on $\mathbb{YF}$ proved by Gnedin--Kerov (Math. Proc. Camb. Philos. Soc. 129 (2000), 433--446).
Finally, we prove Cauchy-type identities for clone Schur functions with quadridiagonal-determinant right-hand side (in contrast to the product form for classical Schur functions), and construct models of random permutations and involutions from Fibonacci-positive specializations together with a Robinson--Schensted correspondence adapted to $\mathbb{YF}$.
Low coordinate degree algorithms II: Categorical signals and generalized stochastic block models
We study when low coordinate degree functions (LCDF) -- linear combinations of functions depending on small subsets of entries of a vector -- can test for the presence of categorical structure, including community structure and generalizations thereof, in high-dimensional data. This complements the first paper of this series, which studied the power of LCDF in testing for continuous structure like real-valued signals perturbed by additive noise. We apply the tools developed there to a general form of stochastic block model (SBM), where a population is assigned random labels and every $p$-tuple of the population generates an observation according to an arbitrary probability measure associated to the $p$ labels of its members. We show that the performance of LCDF admits a unified analysis for this class of models. As applications, we prove tight lower bounds against LCDF (and therefore also against low degree polynomials) for nearly arbitrary graph and regular hypergraph SBMs, always matching suitable generalizations of the Kesten-Stigum threshold. We also prove tight lower bounds for group synchronization and abelian group sumset problems under the "truth-or-Haar" noise model, and use our technical results to give an improved analysis of Gaussian multi-frequency group synchronization. In most of these models, for some parameter settings our lower bounds give new evidence for conjectural statistical-to-computational gaps. Finally, interpreting some of our findings, we propose a precise analogy between categorical and continuous signals: a general SBM as above behaves, in terms of the tradeoff between subexponential runtime cost of testing algorithms and the signal strength needed for a testing algorithm to succeed, like a spiked $p_*$-tensor model of a certain order $p_*$ that may be computed from the parameters of the SBM.
Alon-Tarsi for hypergraphs
Given a hypergraph $H=(V,E)$, define for every edge $e\in E$ a linear expression with arguments corresponding with the vertices. Next, let the polynomial $p_H$ be the product of such linear expressions for all edges. Our main goal was to find a relationship between the Alon-Tarsi number of $p_H$ and the edge density of $H$. We prove that $AT(p_H)=\lceil ed(H)\rceil+1$ if all the coefficients in $p_H$ are equal to $1$. Our main result is that, no matter what those coefficients are, they can be permuted within the edges so that for the resulting polynomial $p_H^\prime$, $AT(p_H^\prime)\leq 2\lceil ed(H)\rceil+1$ holds. We conjecture that, in fact, permuting the coefficients is not necessary. If this were true, then in particular a significant generalization of the famous 1-2-3 Conjecture would follow.
Induced Minor Models. II. Sufficient conditions for polynomial-time detection of induced minors
The $H$-Induced Minor Containment problem ($H$-IMC) consists in deciding if a fixed graph $H$ is an induced minor of a graph $G$ given as input, that is, whether $H$ can be obtained from $G$ by deleting vertices and contracting edges. Equivalently, the problem asks if there exists an induced minor model of $H$ in $G$, that is, a collection of disjoint subsets of vertices of $G$, each inducing a connected subgraph, such that contracting each subgraph into a single vertex results in $H$.
It is known that $H$-IMC is NP-complete for several graphs $H$, even when $H$ is a tree. In this work, we investigate which properties of $H$ guarantee the existence of an induced minor model whose structure can be leveraged to solve the problem in polynomial time. This allows us to identify four infinite families of graphs $H$ that enjoy such properties. Moreover, we show that if the input graph $G$ excludes long induced paths, then $H$-IMC is polynomial-time solvable for any fixed graph $H$. As a byproduct of our results, this implies that $H$-IMC is polynomial-time solvable for all graphs $H$ with at most $5$ vertices, except for three open cases.
Tableau formula for vexillary double Edelman--Greene coefficients
Lam, Lee and Shimozono recently introduced backstable double Grothendieck polynomials to represent $K$-theory classes of the infinite flag variety. They used them to define double $β$-Stanley symmetric functions, which expand into double stable Grothendieck functions with polynomial coefficients called double $β$-Edelman--Greene coefficients. Anderson proved these coefficients are $β$-Graham positive. For vexillary permutations, this is equivalent to a statement for skew flagged double $β$-Grothendieck functions. Working in this setting, we give a tableau formula for vexillary double $β$-Edelman--Greene coefficients that is manifestly $β$-Graham positive. Our formula demonstrates a finer notion of positivity than was previously known.
A polynomial bosonic form of statistical configuration sums and the odd/even minimal excludant in integer partitions
Published in Annals of Combinatorics, Published online: 06 February 2026, 31 pages
• View Publication
• BIB
Inspired by the study of the minimal excludant in integer partitions by G.E. Andrews and D. Newman, we introduce a pair of new partition statistics, sqrank and rerank. They are related to a polynomial bosonic form of statistical configuration sums for an integrable cellular automaton. For all nonnegative integers $n$, we prove that the partitions of $n$ on which sqrank or rerank takes on a particular value, say $r$, are equinumerous with the partitions of $n$ on which the odd/even minimal exclutant takes on the corresponding value, $2r+1$ or $2r+2$.
Ehrhart Polynomials of Order Polytopes: Interpreting Combinatorial Sequences on the OEIS
In this paper, we provide an overview of Ehrhart polynomials associated with order polytopes of finite posets, a concept first introduced by Stanley. We focus on their combinatorial interpretations for many sequences listed on the OEIS. We begin by exploring the Ehrhart series of order polytopes resulting from various poset operations, specifically the ordinal sum and direct sum. We then concentrate on the poset $P_λ$ associated with the Ferrers diagram of a partition $λ= (λ_1, λ_2, \ldots, λ_t)$. When $λ= (k, k-1, \ldots, 1)$, the Ehrhart polynomial is a shifted Hankel determinant of the well-known Catalan numbers; when $λ= (k, k, \ldots, k)$, the Ehrhart polynomial is solved by Stanley's hook content formula and is used to prove conjectures for the sequence [A140934] on the OEIS. When solving these problems, we rediscover Kreweras' determinant formula for the Ehrhart polynomial $\mathrm{ehr}(\mathcal{O}(P_λ), n)$ through the application of the Lindström-Gessel-Viennot lemma on non-intersecting lattice paths.
The Minimum Weighting Ratio Problem and Its Application in Chordal Graphs
Constructing the maximum spanning tree $T$ of an edge-weighted connected graph $G$ is one of the important research topics in computer science and optimization, and the related research results have played an active role in practical applications. In this paper, we are concerned with the ratio of the weighted sum of a spanning tree $T$ of $G$ to the weighted sum of $G$, which we try to minimize. We propose an interesting theorem to simplify this problem and show that this optimal problem can be solved in polynomial time. Furthermore, we apply the optimal problem in chordal graphs.
Factorization of spread polynomials
We present a proof of a conjecture of Goh and Wildberger on the factorization of the spread polynomials. We indicate how the factors can be effectively calculated and exhibit a connection to the factorization of Fibonacci numbers into primitive parts.
On some Grothendieck expansions
The complete flag variety admits a natural action by both the orthogonal group and the symplectic group. Wyser and Yong defined orthogonal Grothendieck polynomials $\mathfrak{G}^{\mathsf{O}}_z$ and symplectic Grothendieck polynomials $\mathfrak{G}^{\mathsf{Sp}}_z$ as the $K$-theory classes of the corresponding orbit closures. There is an explicit formula to expand $\mathfrak{G}^{\mathsf{Sp}}_z$ as a nonnegative sum of Grothendieck polynomials $\mathfrak{G}^{(β)}_w$, which represent the $K$-theory classes of Schubert varieties. Although the constructions of $\mathfrak{G}^{\mathsf{Sp}}_z$ and $\mathfrak{G}^{\mathsf{O}}_z$ are similar, finding the $\mathfrak{G}^{(β)}$-expansion of $\mathfrak{G}^{\mathsf{O}}_z$ or even computing $\mathfrak{G}^{\mathsf{O}}_z$ is much harder. If $z$ is vexillary then $\mathfrak{G}^{\mathsf{O}}_z$ has a nonnegative $\mathfrak{G}^{(β)}$-expansion, but the associated coefficients are mostly unknown. This paper derives several new formulas for $\mathfrak{G}^{\mathsf{O}}_z$ and its $\mathfrak{G}^{(β)}$-expansion when $z$ is vexillary. Among other applications, we prove that the latter expansion has a nontrivial stability property.
Positivity of Schubert Coefficients
Schubert coefficients $c_{u,v}^w$ are structure constants describing multiplication of Schubert polynomials. Deciding positivity of Schubert coefficients is a major open problem in Algebraic Combinatorics. We prove a positive rule for this problem based on two standard assumptions.
On the complexity of finding a spanning even tree in a graph
A tree is said to be even if for every pair of distinct leaves, the length of the unique path between them is even. In this paper we discuss the problem of determining whether an input graph has a spanning even tree. Hofmann and Walsh [Australas. J Comb. 35, 2006] proved that this problem can be solved in polynomial time on bipartite graphs. In contrast to this, we show that this problem is NP-complete even on planar graphs. We also give polynomial-time algorithms for several restricted classes of graphs, such as split graphs, cographs, cobipartite graphs, unit interval graphs, and block graphs.
Ideal transition systems
We study an inductive method of computing initial ideals and Gröbner bases for families of ideals in a polynomial ring. This method starts from a given set of pairs $(I,J)$ where $I$ is any ideal and $J$ is a monomial ideal contained in the initial ideal of $I$. These containments become a system of equalities if one can establish a particular transition recurrence among the chosen ideals. We describe explicit constructions of such systems in two motivating cases -- namely, for the ideals of matrix Schubert varieties and their skew-symmetric analogues. Despite many formal similarities with these examples, for the symmetric versions of matrix Schubert varieties, it is an open problem to construct the same kind of transition system. We present several conjectures that would follow from such a construction, while also discussing the special obstructions arising in the symmetric case.
Shameful Inequalities for List and DP Coloring of Graphs
The chromatic polynomial of a graph is an important notion in algebraic combinatorics that was introduced by Birkhoff in 1912; denoted $P(G,k)$, it equals the number of proper $k$-colorings of graph $G$. Enumerative analogues of the chromatic polynomial of a graph have been introduced for two well-studied generalizations of ordinary coloring, namely, list colorings: $P_{\ell}$, the list color function (1990); and DP colorings: $P_{DP}$, the DP color function (2019), and $P^*_{DP}$, the dual DP color function (2021). For any graph $G$ and $k \in \mathbb{N}$, $P_{DP}(G, k) \leq P_\ell(G,k) \leq P(G,k) \leq P_{DP}^*(G,k)$. In 2000, Dong settled a conjecture of Bartels and Welsh from 1995 known as the Shameful Conjecture by proving that for any $n$-vertex graph $G$, $P(G,k+1)/(k+1)^n \geq P(G,k)/k^n$ for all $k \in \mathbb{N}$ satisfying $k \geq n-1$. In contrast, for infinitely many positive integers $n$, Seymour (1997) gave an example of an $n$-vertex graph for which the above inequality does not hold for some $k = Θ(n/ \log n)$. In this paper, we consider analogues of Dong's result for list and DP color functions. Specifically, in contrast to the chromatic polynomial, we prove that for any $n$-vertex graph $G$, $P_{\ell}(G,k+1)/(k+1)^n \geq P_{\ell}(G,k)/k^n$ and $P_{DP}(G,k+1)/(k+1)^n \geq P_{DP}(G,k)/k^n$ for all $k \in \mathbb{N}$. For the dual DP analogue of these inequalities, we show that there is a graph $G$ and $k \in \mathbb{N}$ such that $P_{DP}^*(G,k+1)/(k+1)^n < P_{DP}^*(G,k)/k^n$, and we prove $P_{DP}^*(G,k+1)/(k+1)^n \geq P_{DP}^*(G,k)/k^n$ for all $k \in \mathbb{N}$ satisfying $k \geq n-1$ when $G$ is an $n$-vertex complete bipartite graph.
Parameterized Complexity of (d,r)-Domination via Modular Decomposition
With the rise of social media, misinformation has significant negative effects on the decision-making of individuals, organizations and communities within society. Identifying and mitigating the spread of fake information is a challenging issue. We consider a generalization of the Domination problem that can be used to detect a set of individuals who, through an awareness process, can prevent the spreading of fake narratives. The considered problem, named \textsc{$(d,r)$-Domination} generalizes both distance and multiple domination. We study the parameterized complexity of the problem according to standard and structural parameters. We give fixed-parameter algorithms as well as polynomial compressions/kernelizations for some variants of the problem and parameter combinations.
On the number of connected edge cover sets in a graph
Let $ G=(V,E) $ be a simple graph of order $ n $ and size $ m $. A connected edge cover set of a graph is a subset $S$ of edges such that every vertex of the graph is incident to at least one edge of $S$ and the subgraph induced by $S$ is connected. We initiate the study of the number of the connected edge cover sets of a graph $G$ with cardinality $i$, $ e_{c}(G,i) $ and consider the generating function for $ e_{c}(G,i) $ which is called the connected edge cover polynomial of $ G $. After obtaining some results for this polynomial, we investigate this polynomial for some certain graphs.
Sparse induced subgraphs in $P_7$-free graphs of bounded clique number
Many natural computational problems, including e.g. Max Weight Independent Set, Feedback Vertex Set, or Vertex Planarization, can be unified under an umbrella of finding the largest sparse induced subgraph, that satisfies some property definable in CMSO$_2$ logic.
It is believed that each problem expressible with this formalism can be solved in polynomial time in graphs that exclude a fixed path as an induced subgraph.
This belief is supported by the existence of a quasipolynomial-time algorithm by Gartland, Lokshtanov, Pilipczuk, Pilipczuk, and Rzążewski [STOC 2021], and a recent polynomial-time algorithm for $P_6$-free graphs by Chudnovsky, McCarty, Pilipczuk, Pilipczuk, and Rzążewski [SODA 2024].
In this work we extend polynomial-time tractability of all such problems to $P_7$-free graphs of bounded clique number.
Long induced paths and forbidden patterns: Polylogarithmic bounds
Published in SIAM Journal on Discrete Mathematics 40(1) (2026), 52-81
• View Publication
• BIB
Consider a graph $G$ with a long path $P$. When is it the case that $G$ also contains a long induced path? This question has been investigated in general as well as within a number of different graph classes since the 80s. We have recently observed in a companion paper (Long induced paths in sparse graphs and graphs with forbidden patterns, arXiv:2411.08685, 2024) that most existing results can recovered in a simple way by considering forbidden ordered patterns of edges along the path $P$. In particular we proved that if we forbid some fixed ordered matching along a path of order $n$ in a graph $G$, then $G$ must contain an induced path of order $(\log n)^{Ω(1)}$. Moreover, we completely characterized the forbidden ordered patterns forcing the existence of an induced path of polynomial size.
The purpose of the present paper is to completely characterize the ordered patterns $H$ such that forbidding $H$ along a path $P$ of order $n$ implies the existence of an induced path of order $(\log n)^{Ω(1)}$. These patterns are star forests with some specific ordering, which we called constellations.
As a direct consequence of our result, we show that if a graph $G$ has a path of length $n$ and does not contain $K_t$ as a topological minor, then $G$ contains an induced path of order $(\log n)^{Ω(1/t \log^2 t)}$. The previously best known bound was $(\log n)^{f(t)}$ for some unspecified function $f$ depending on the Topological Minor Structure Theorem of Grohe and Marx (2015).