polynomial
11422 papers tagged with this keyword
$b$-Hurwitz numbers from Whittaker vectors for $\mathcal{W}$-algebras
We show that $b$-Hurwitz numbers with a rational weight are obtained by taking an explicit limit of a Whittaker vector for the $\mathcal{W}$-algebra of type $A$. Our result is a vast generalization of several previous results that treated the monotone case, and the cases of quadratic and cubic polynomial weights. It also provides an interpretation of the associated Whittaker vector in terms of generalized branched coverings that might be of independent interest. Our result is new even in the special case $b=0$ that corresponds to classical hypergeometric Hurwitz numbers, and implies that they are governed by the topological recursion of Eynard-Orantin. This gives an independent proof of the recent result of Bychkov-Dunin-Barkowski-Kazarian-Shadrin.
Counting subgraphs of coloring graphs
Published
• View Publication
• BIB
The chromatic polynomial $π_{G}(k)$ of a graph $G$ can be viewed as counting the number of vertices in a family of coloring graphs $\mathcal C_k(G)$ associated with (proper) $k$-colorings of $G$ as a function of the number of colors $k$. These coloring graphs can be understood as a reconfiguration system. We generalize the chromatic polynomial to $π_G^{(H)}(k)$, counting occurrences of arbitrary induced subgraphs $H$ in these coloring graphs, and we prove that these functions are polynomial in $k$. In particular, we study the chromatic pairs polynomial $π_{G}^{(P_2)}(k)$, which counts the number of edges in coloring graphs, corresponding to the number of pairs of colorings that differ on a single vertex. We show two trees share a chromatic pairs polynomial if and only if they have the same degree sequence, and we conjecture that the chromatic pairs polynomial refines the chromatic polynomial in general. We also instantiate our polynomials with other choices of $H$ to generate new graph invariants.
Finitely many implies infinitely many
Published in Boletin de la Sociedad Matem{\' a}tica Mexicana 30:94 (2024)
• View Publication
• BIB
Many mathematical statements have the following form. If something is true for all finite subsets of an infinite set $I$, then it is true for all of $I$. This paper describes some old and new results on infinite sets of linear and polynomial equations with the property that solutions for all finite subsets of the set of equations implies the existence of a solution for the infinite set of equations.
On the uniqueness of compiling graphs under the parity transformation
Published
• View Publication
• BIB
In this article, we establish a mathematical framework that utilizes concepts from graph theory to formalize the parity transformation, an encoding strategy for compiling optimization problems on quantum devices. We introduce the transformation as a mapping that encompasses all possible compiled hypergraphs and investigate its uniqueness properties in more detail. Specifically, by introducing so-called loop labelings, we derive an alternative expression of the preimage of any set of compiled hypergraphs under this encoding procedure when all equivalence classes of graphs are being considered. We then deduce equivalent conditions for the injectivity of the parity transformation on any subset of all equivalences classes of graphs. Through concrete examples, we demonstrate that the parity transformation is not an injective mapping, and also introduce an important class of physical layouts and their corresponding set of constraints whose preimage is uniquely determined. In addition, we provide an algorithm which is based on classical algorithms from theoretical computer science and computes a compiled physical layout in this class in polynomial time.
Extended Rota-Baxter algebras, diagonally colored Delannoy paths and Hopf algebras
The Rota-Baxter operator and the modified Rota-Baxter operator on various algebras are both important in mathematics and mathematical physics. The former is originated from the integration-by-parts formula and probability with applications to the renormalization of quantum field theory and the classical Yang-Baxter equation. The latter originated from Hilbert transformations with applications to ergodic theory and the modified Yang-Baxter equation. Their merged form, called the extended Rota-Baxter operators, has also found interesting applications recently.
This paper presents a systematic study of the extended Rota-Baxter operator. We show that while extended Rota-Baxter operators have properties similar to Rota-Baxter operators; they provide a linear structure that unifies Rota-Baxter operators and modified Rota-Baxter operators. Examples of extended Rota-Baxter operators are also given, especially from polynomials and Laurent series due to their importance in ($q$-)integration and the renormalization in quantum field theory. We then construct free commutative extended Rota-Baxter operators by a generalization of the quasi-shuffle product. The multiplication of the initial object in the category of commutative extended Rota-Baxter operators allows a combinatorial interpretation in terms of a color-enrichment of Delannoy paths. Applying its universal property, we equip a free commutative extended Rota-Baxter operators with a coproduct which has a cocycle condition, yielding a bialgebraic structure. We then show that this bialgebra on a free extended Rota-Baxter operators possesses an increasing filtration and a connectedness property, culminating at a Hopf algebraic structure on a free commutative extended Rota-Baxter operator.
Rational Solutions to the First Order Difference Equations in the Bivariate Difference Field
Published
• View Publication
• BIB
Inspired by Karr's algorithm, we consider the summations involving a sequence satisfying a recurrence of order two. The structure of such summations provides an algebraic framework for solving the difference equations of form $aσ(g)+bg=f$ in the bivariate difference field $(\mathbb{F}(α, β), σ)$, where $a, b,f\in\mathbb{F}(α,β)\setminus\{0\}$ are known binary functions of $α$, $β$, and $α$, $β$ are two algebraically independent transcendental elements, $σ$ is a transformation that satisfies $σ(α)=β$, $σ(β)=uα+vβ$, where $u,v\neq 0\in\mathbb{F}$. Based on it, we then describe algorithms for finding the universal denominator for those equations in the bivariate difference field under certain assumptions. This reduces the general problem of finding the rational solutions of such equations to the problem of finding the polynomial solutions of such equations.
Polynomial Solutions to the First Order Difference Equations in the Bivariate Difference Field
Published
• View Publication
• BIB
The bivariate difference filed $(\mathbb{F}(α, β), σ)$ provides an algebraic framework for a sequence satisfying a recurrence of order two and it could transform the summation involving a sequence satisfying a recurrence of order two into the first order difference equations in the bivariate difference field. Based on it, we present an algorithm for finding all the polynomial solutions of such equations in the bivariate difference field, and show an upper bound on the degree for polynomial solutions which is sufficient to compute polynomial solution by using the undetermined method.
On Polynomial Extensions of van der Waerden's Theorem and its Applications
In this article, we investigate polynomial generalizations of the van der Waerden theorem with a focus on largeness properties of recurrence patterns. We prove an $IP_r^\star$-strengthened version of the polynomial van der Waerden theorem, where the recurrence set is guaranteed to be large in a precise combinatorial sense. As applications, we obtain new monochromatic polynomial configurations in both additive and multiplicative settings, including refined results over sum subsystems of IP-sets. Additionally, we prove exponential monochromatic patterns are abundant.
Fast winning strategies for the attacker in eternal domination
Published
• View Publication
• BIB
Dominating sets in graphs are often used to model some monitoring of the graph: guards are posted on the vertices of the dominating set, and they can thus react to attacks occurring on the unguarded vertices by moving there (yielding a new set of guards, which may not be dominating anymore). A dominating set is eternal if it can endlessly resist to attacks. From the attacker's perspective, if we are given a non-eternal dominating set, the question is to determine how fast can we provoke an attack that cannot be handled by a neighboring guard. We investigate this question from a computational complexity point of view, by showing that this question is PSPACE-hard, even for graph classes where finding a minimum eternal dominating set is in P. We then complement this result by giving polynomial time algorithms for cographs and trees, and showing a connection with tree-depth for the latter. We also investigate the problem from a parameterized complexity perspective, mainly considering two parameters: the number of guards and the number of steps.
Counting Packings of List-colorings of Graphs
Published
• View Publication
• BIB
Given a list assignment for a graph, list packing asks for the existence of multiple pairwise disjoint list colorings of the graph. Several papers have recently appeared that study the existence of such a packing of list colorings. Formally, a proper $L$-packing of size $k$ of a graph $G$ is a set of $k$ pairwise disjoint proper $L$-colorings of $G$ where $L$ is a list assignment of colors to the vertices of $G$. In this note, we initiate the study of counting such packings of list colorings of a graph. We define $P_\ell^\star(G,q,k)$ as the guaranteed number of proper $L$-packings of size $k$ of $G$ over all list assignments $L$ that assign $q$ colors to each vertex of $G$, and we let $P^\star(G,q,k)$ be its classical coloring counterpart. We let $P_\ell^\star(G,q)= P_\ell^\star(G,q,q)$ so that $P_\ell^\star(G,q)$ is the enumerative function for the previously studied list packing number $χ_\ell^\star(G)$. Note that the chromatic polynomial of $G$, $P(G,q)$, is $P^\star(G,q,1)$, and the list color function of $G$, $P_\ell(G,q)$, is $P_\ell^\star(G,q,1)$.
Inspired by the well-known behavior of the list color function and the chromatic polynomial, we make progress towards the question of whether $P_{\ell}^\star(G,q,k) = P^\star(G,q,k)$ when $q$ is large enough. Our result generalizes the recent theorem of Dong and Zhang (2023), which improved results going back to Donner (1992), about when the list color function equals the chromatic polynomial. Further, we use a polynomial method to generalize bounds on the list packing number, $χ_\ell^\star(G)$, of sparse graphs to exponential lower bounds (in the number of vertices of $G$) on the corresponding list packing functions, $P_\ell^\star(G,q)$.
A Molev-Sagan type formula for double Schubert polynomials
Published in Journal of Pure and Applied Algebra, Volume 228, Issue 7 (2024)
• View Publication
• BIB
We give a Molev-Sagan type formula for computing the product $\mathfrak{S}_u(x;y)\mathfrak{S}_v(x;z)$ of two double Schubert polynomials in different sets of coefficient variables where the descents of $u$ and $v$ satisfy certain conditions that encompass Molev and Sagan's original case and conjecture positivity in the general case. Additionally, we provide a Pieri formula for multiplying an arbitrary double Schubert polynomial $\mathfrak{S}_u(x;y)$ by a factorial elementary symmetric polynomial $E_{p,k}(x;z)$. Both formulas remain positive in terms of the negative roots when we set $y=z$, so in particular this gives a new equivariant Littlewood-Richardson rule for the Grassmannian, and more generally a positive formula for multiplying a factorial Schur polynomial $s_λ(x_1,\ldots,x_m;y)$ by a double Schubert polynomial $\mathfrak{S}_v(x_1,\ldots,x_p;y)$ such that $m\geq p$. An additional new result we present is a combinatorial proof of a conjecture of Kirillov of nonnegativity of the coefficients of skew Schubert polynomials, and we conjecture a weight-preserving bijection between a modification of certain diagrams used in our formulas and RC-graphs/pipe dreams arising in formulas for double Schubert polynomials.
Polynomials as terms and the Boolean Independence Theorem
We develop a theory of formal multivariate polynomials over commutative rings by treating them as ring terms. Our main result is that two ring terms are s-equivalent (when expanded they yield the same standard polynomial) iff they are f-equivalent (one can be transformed in the other by a series of elementary transformations). We consider in a similar way Boolean terms (formulas) and prove a theorem that two events $a$ and $b$ in a probability space, which are built by two Boolean terms from respective tuples $A$ and $B$ of elementary events, are independent if the events in $A$ are independent of the events in $B$. This theorem rigorizes arguments in the Probabilistic Method in Combinatorics.
Formulas involving Cauchy polynomials, Bernoulli polynomials, and generalized Stirling numbers
Published in Axioms 2025, 14, 746
• View Publication
• BIB
In this paper, we derive novel formulas and identities connecting Cauchy numbers and polynomials with both ordinary and generalized Stirling numbers, binomial coefficients, central factorial numbers, Euler polynomials, $r$-Whitney numbers, and hyperharmonic polynomials, as well as Bernoulli numbers and polynomials. We also provide formulas for the higher-order derivatives of Cauchy polynomials and obtain corresponding formulas and identities for poly-Cauchy polynomials. Furthermore, we introduce a multiparameter framework for poly-Cauchy polynomials, unifying earlier generalizations like shifted poly-Cauchy numbers and polynomials with a $q$ parameter.
Complexity results on the decomposition of a digraph into directed linear forests and out-stars
We consider two decomposition problems in directed graphs. We say that a digraph is $k$-bounded for some $k \in \mathbb{Z}_{\geq 1}$ if each of its connected components contains at most $k$ arcs.
For the first problem, a directed linear forest is a collection of vertex-disjoint directed paths and we consider the problem of decomposing a given digraph into a $k$-bounded and an $\ell$-bounded directed linear forest for some fixed $k,\ell \in \mathbb{Z}_{\geq 1}\cup \{\infty\}$. We give a full dichotomy for this problem by showing that it can be solved in polynomial time if $k+\ell \leq 3$ and is NP-complete otherwise. This answers a question of Campbell, Hörsch, and Moore.
For the second problem, we say that an out-galaxy is a vertex-disjoint collection of out-stars. Again, we give a full dichotomy of when a given digraph can be edge-decomposed into a $k$-bounded and an $\ell$-bounded out-galaxy for fixed $k,\ell \in \mathbb{Z}_{\geq 1}\cup \{\infty\}$. More precisely, we show that the problem can be solved in polynomial time if $\min\{k,\ell\}\in \{1,\infty\}$ and is NP-complete otherwise.
Arithmetic Ramsey theory over the primes
Published
• View Publication
• BIB
We study density and partition properties of polynomial equations in prime variables. We consider equations of the form $a_1h(x_1) + \cdots + a_sh(x_s)=b$, where the $a_i$ and $b$ are fixed coefficients, and $h$ is an arbitrary integer polynomial of degree $d$. Provided there are at least $(1+o(1))d^2$ variables, we establish necessary and sufficient criteria for this equation to have a monochromatic non-constant solution with respect to any finite colouring of the prime numbers. We similarly characterise when such equations admit solutions over any set of primes with positive relative upper density. In both cases, we obtain counting results which provide asymptotically sharp lower bounds for the number of monochromatic or dense solutions in primes. Our main new ingredient is a uniform lower bound on the cardinality of a prime polynomial Bohr set.
Quantification of the Fourth Moment Theorem for Cyclotomic Generating Functions
This paper deals with sequences of random variables $X_n$ only taking values in $\{0,\ldots,n\}$. The probability generating functions of such random variables are polynomials of degree $n$. Under the assumption that the roots of these polynomials are either all real or all lie on the unit circle in the complex plane, a quantitative normal approximation bound for $X_n$ is established in a unified way. In the real rooted case the result is classical and only involves the variances of $X_n$, while in the cyclotomic case the fourth cumulants or moments of $X_n$ appear in addition. The proofs are elementary and based on the Stein-Tikhomirov method.
Globally linked pairs and cheapest globally rigid supergraphs
Given a graph $G$, a cost function on the non-edges of $G$, and an integer $d$, the problem of finding a cheapest globally rigid supergraph of $G$ in $\mathbb{R}^d$ is NP-hard for $d\geq 1$. For this problem, which is a common generalization of several well-studied graph augmentation problems, no approximation algorithm has previously been known for $d\geq 2$. Our main algorithmic result is a 5-approximation algorithm in the $d=2$ case. We achieve this by proving numerous new structural results on rigid graphs and globally linked vertex pairs. In particular, we show that every rigid graph in $\mathbb{R}^2$ has a tree-like structure, which conveys all the information regarding its globally rigid augmentations. Our results also yield a new, simple solution to the minimum cardinality version (where the cost function is uniform) for rigid input graphs, a problem which is known to be solvable in polynomial time.
Bijections between different combinatorial models for $q$-Whittaker and modified Hall-Littlewood polynomials
Published
• View Publication
• BIB
We consider the monomial expansion of the $q$-Whittaker and modified Hall-Littlewood polynomialsarising from specialization of the modified Macdonald polynomial. The two combinatorial formulas for the latter due to Haglund, Haiman, and Loehr and Ayyer, Mandelshtam and Martin give rise to two different parameterizing sets in each case. We produce bijections between the parameterizing sets which preserve the content and major index statistics. We identify the major index with the charge or cocharge of appropriate words and use descriptions of the latter due to Lascoux-Sch$\ddot{\text{u}}$tzenberger and Killpatrick to show that our bijections have the desired properties.
2-levelness of Marked Poset Polytopes and the Ehrhart polynomial
It is already known that order polytopes and chain polytopes are always 2-level polytopes. In general, this is not true for marked order and marked chain polytopes. We study the geometry of marked order polytopes, marked chain polytopes, and marked chain-order polytopes, providing a comprehensive characterisation of 2-levelness for these polytopes. Furthermore, we present an exact formula for the Ehrhart polynomial of marked order polytopes. Because of their connection to marked chain and marked chain-order polytopes, this polynomial is also the Ehrhart polynomial of these polytopes.
Viennot shadows and graded module structure in colored permutation groups
Published
• View Publication
• BIB
Let $\mathbf{x}_{n \times n}$ be a matrix of $n \times n$ variables, and let $\mathbb{C}[\mathbf{x}_{n \times n}]$ be the polynomial ring on these variables. Let $\mathfrak{S}_{n,r}$ be the group of colored permutations, consisting of $n \times n$ complex matrices with exactly one nonzero entry in each row and column, where each nonzero entry is an $r$-th root of unity. We associate an ideal $I_{\mathfrak{S}_{n,r}} \subseteq \mathbb{C}[\mathbf{x}_{n \times n}]$ with the group $\mathfrak{S}_{n,r}$, and use orbit harmonics to give an ideal-theoretic extension of the Viennot shadow line construction to $\mathfrak{S}_{n,r}$. This extension gives a standard monomial basis of $\mathbb{C}[\mathbf{x}_{n \times n}]/I_{\mathfrak{S}_{n,r}}$, and introduces an analogous definition of ``longest increasing subsequence'' to the group $\mathfrak{S}_{n,r}$. We examine the extension of Chen's conjecture to this analogy. We also study the structure of $\mathbb{C}[\mathbf{x}_{n \times n}]/I_{\mathfrak{S}_{n,r}}$ as a graded $\mathfrak{S}_{n,r} \times \mathfrak{S}_{n,r}$ module, which subsequently induces a graded $\mathfrak{S}_{n,r} \times \mathfrak{S}_{n,r}$ module structure on the $\mathbb{C}$-algebra $\mathbb{C}[\mathfrak{S}_{n,r}]$.