polynomial
11239 papers tagged with this keyword
Stable characters from permutation patterns
Published in Selecta Mathematica, Volume 27 (2021)
• View Publication
• BIB
For a fixed permutation $σ\in S_k$, let $N_σ$ denote the function which counts occurrences of $σ$ as a pattern in permutations from $S_n$. We study the expected value (and $d$-th moments) of $N_σ$ on conjugacy classes of $S_n$ and prove that the irreducible character support of these class functions stabilizes as $n$ grows. This says that there is a single polynomial in the variables $n, m_1, \ldots, m_{dk}$ which computes these moments on any conjugacy class (of cycle type $1^{m_1}2^{m_2}\cdots$) of any symmetric group. This result generalizes results of Hultman and of Gill, who proved the cases $(d,k)=(1,2)$ and $(1,3)$ using ad hoc methods. Our proof is, to our knowledge, the first application of partition algebras to the study of permutation patterns.
Two lower bounds for $p$-centered colorings
Published in Discrete Mathematics & Theoretical Computer Science, vol. 22 no. 4, Graph Theory (November 11, 2020) dmtcs:6543
• View Publication
• BIB
Given a graph $G$ and an integer $p$, a coloring $f : V(G) \to \mathbb{N}$ is \emph{$p$-centered} if for every connected subgraph $H$ of $G$, either $f$ uses more than $p$ colors on $H$ or there is a color that appears exactly once in $H$. The notion of $p$-centered colorings plays a central role in the theory of sparse graphs. In this note we show two lower bounds on the number of colors required in a $p$-centered coloring.
First, we consider monotone classes of graphs whose shallow minors have average degree bounded polynomially in the radius, or equivalently (by a result of Dvořák and Norin), admitting strongly sublinear separators. We construct such a class such that $p$-centered colorings require a number of colors super-polynomial in $p$. This is in contrast with a recent result of Pilipczuk and Siebertz, who established a polynomial upper bound in the special case of graphs excluding a fixed minor.
Second, we consider graphs of maximum degree $Δ$. Dębski, Felsner, Micek, and Schröder recently proved that these graphs have $p$-centered colorings with $O(Δ^{2-1/p} p)$ colors. We show that there are graphs of maximum degree $Δ$ that require $Ω(Δ^{2-1/p} p \ln^{-1/p}Δ)$ colors in any $p$-centered coloring, thus matching their upper bound up to a logarithmic factor.
A symmetric Bloch-Okounkov theorem
Published in Res. Math. Sci. 8, 19 (2021)
• View Publication
• BIB
The algebra of so-called shifted symmetric functions on partitions has the property that for all elements a certain generating series, called the $q$-bracket, is a quasimodular form. More generally, if a graded algebra $A$ of functions on partitions has the property that the $q$-bracket of every element is a quasimodular form of the same weight, we call $A$ a quasimodular algebra. We introduce a new quasimodular algebra consisting of symmetric polynomials in the part sizes and multiplicities.
Multiple ergodic averages along functions from a Hardy field: convergence, recurrence and combinatorial applications
Published
• View Publication
• BIB
We obtain new results pertaining to convergence and recurrence of multiple ergodic averages along functions from a Hardy field. Among other things, we confirm some of the conjectures posed by Frantzikinakis in [Fra10; Fra16] and obtain combinatorial applications which contain, as rather special cases, several previously known (polynomial and non-polynomial) extensions of Szemeredi's theorem on arithmetic progressions [BL96; BLL08; FW09; Fra10; BMR17]. One of the novel features of our results, which is not present in previous work, is that they allow for a mixture of polynomials and non-polynomial functions. As an illustration, assume $f_i(t)=a_{i,1}t^{c_{i,1}}+\cdots+a_{i,d}t^{c_{i,d}}$ for $c_{i,j}>0$ and $a_{i,j}\in\mathbb{R}$. Then
$\bullet$ for any measure preserving system $(X,\mathcal{B},μ,T)$ and $h_1,\dots,h_k\in L^\infty(X)$, the limit $$\lim_{N\to\infty}\frac{1}{N}\sum_{n=1}^N T^{[f_1(n)]}h_1\cdots T^{[f_k(n)]}h_k$$ exists in $L^2$;
$\bullet$ for any $E\subset \mathbb{N}$ with $\overline{\mathrm{d}}(E)>0$ there are $a,n\in\mathbb{N}$ such that $\{a,\, a+[f_1(n)],\ldots,a+[f_k(n)]\}\subset E$.
We also show that if $f_1,\dots,f_k$ belong to a Hardy field, have polynomial growth, and are such that no linear combination of them is a polynomial, then for any measure preserving system $(X,{\mathcal B},μ,T)$ and any $A\in{\mathcal B}$, $$\limsup_{N\to\infty}\frac{1}{N}\sum_{n=1}^Nμ\Big(A\cap T^{-[ f_1(n) ]}A\cap\ldots\cap T^{-[f_k(n)]}A\Big)\,\geq\,μ(A)^{k+1}.$$
Computing linear extensions for polynomial posets subject to algebraic constraints
Published
• View Publication
• BIB
In this paper we consider the classical problem of computing linear extensions of a given poset which is well known to be a difficult problem. However, in our setting the elements of the poset are multivariate polynomials, and only a small "admissible" subset of these linear extensions, determined implicitly by the evaluation map, are of interest. This seemingly novel problem arises in the study of global dynamics of gene regulatory networks in which case the poset is a Boolean lattice. We provide an algorithm for solving this problem using linear programming for arbitrary partial orders of linear polynomials.
This algorithm exploits this additional algebraic structure inherited from the polynomials to efficiently compute the admissible linear extensions. The biologically relevant problem involves multilinear polynomials and we provide a construction for embedding it into an instance of the linear problem.
Tight relative $t$-designs on two shells in hypercubes, and Hahn and Hermite polynomials
Published in Ars Math. Contemp. 22 (2022) #P2.01
• View Publication
• BIB
Relative $t$-designs in the $n$-dimensional hypercube $\mathcal{Q}_n$ are equivalent to weighted regular $t$-wise balanced designs, which generalize combinatorial $t$-$(n,k,λ)$ designs by allowing multiple block sizes as well as weights. Partly motivated by the recent study on tight Euclidean $t$-designs on two concentric spheres, in this paper we discuss tight relative $t$-designs in $\mathcal{Q}_n$ supported on two shells. We show under a mild condition that such a relative $t$-design induces the structure of a coherent configuration with two fibers. Moreover, from this structure we deduce that a polynomial from the family of the Hahn hypergeometric orthogonal polynomials must have only integral simple zeros. The Terwilliger algebra is the main tool to establish these results. By explicitly evaluating the behavior of the zeros of the Hahn polynomials when they degenerate to the Hermite polynomials under an appropriate limit process, we prove a theorem which gives a partial evidence that the non-trivial tight relative $t$-designs in $\mathcal{Q}_n$ supported on two shells are rare for large $t$.
Standard Monomials of 1-Skeleton Ideals of Graphs and Their Signless Laplace Matrices
Published
• View Publication
• BIB
Let $G$ be a (multi) graph on the vertex set $V=\{0,1,\ldots ,n\}$ with root $0$. The $G$-parking function ideal $\mathcal{M}_G$ is a monomial ideal in the polynomial ring $R=\mathbb{K}[x_1,\ldots ,x_n]$ over a field $\mathbb{K}$ such that $\dim_{\mathbb K}\left(\frac{R}{\mathcal{M}_G}\right)=\det\left(\widetilde{L}_G\right)$, where $\widetilde{L}_G$ is the truncated Laplace matrix of $G$ and $\det\left(\widetilde L_G\right)$ is the determinant of $\widetilde L_G$. In other words, standard monomials of the Artinian quotient $\frac{R}{\mathcal{M}_G}$ correspond bijectively with the spanning trees of $G$. For $0\leq k\leq n-1$, the $k$-skeleton ideal $\mathcal{M}_G^{(k)}$ of $G$ is the monomial subideal $\mathcal{M}_G^{(k)}=\left\langle m_A:\emptyset\neq A\subseteq[n]\text{ and }|A|\leq k+1\right\rangle$ of the $G$-parking function ideal $\mathcal{M}_G=\left\langle m_A : \emptyset \neq A\subseteq[n]\right\rangle\subseteq R$. For a simple graph $G$, Dochtermann conjectured that $\dim_{\mathbb K}\left(\frac{R}{\mathcal{M}_G^{(1)}}\right)\geq\det\left(\widetilde{Q}_G\right)$, where $\widetilde Q_G$ is the truncated signless Laplace matrix of $G$. We show that Dochtermann conjecture holds for any (simple or multi) graph $G$ on $V$.
Order polynomial product formulas and poset dynamics
Published in In "Open Problems in Algebraic Combinatorics," Vol. 110 of Proceedings of Symposia in Pure Matehmatics, AMS, 2024
• View Publication
• BIB
We survey all known examples of finite posets whose order polynomials have product formulas, and we propose the heuristic that these are the same posets with good dynamical behavior. Here the dynamics in question are the actions of promotion on the linear extensions of the poset and rowmotion on the P-partitions of the poset.
Constellations and $τ$-functions for rationally weighted Hurwitz numbers
Published in Ann. Inst. H. Poincaré D 8, 119-158 (2021)
• View Publication
• BIB
Weighted constellations give graphical representations of weighted branched coverings of the Riemann sphere. They were introduced to provide a combinatorial interpretation of the $2$D Toda $τ$-functions of hypergeometric type serving as generating functions for weighted Hurwitz numbers in the case of polynomial weight generating functions. The product over all vertex and edge weights of a given weighted constellation, summed over all configurations, reproduces the $τ$-function. In the present work, this is generalized to constellations in which the weighting parameters are determined by a rational weight generating function. The associated $τ$-function may be expressed as a sum over the weights of doubly labelled weighted constellations, with two types of weighting parameters associated to each equivalence class of branched coverings. The double labelling of branch points, referred to as "colour" and "flavour" indices, is required by the fact that, in the Taylor expansion of the weight generating function, a particular colour from amongst the denominator parameters may appear multiply, and the flavour labels indicate this multiplicity.
Multivariate volume, Ehrhart, and $h^*$-polynomials of polytropes
Published in Journal of Symbolic Computation, Volume 114, Pages 209-230, 2023
• View Publication
• BIB
The univariate Ehrhart and $h^*$-polynomials of lattice polytopes have been widely studied. We describe methods from toric geometry for computing multivariate versions of volume, Ehrhart and $h^*$-polynomials of lattice polytropes, which are both tropically and classically convex. These algorithms are applied to all polytropes of dimensions 2,3 and 4, yielding a large class of integer polynomials. We give a complete combinatorial description of the coefficients of volume polynomials of 3-dimensional polytropes in terms of regular central subdivisions of the fundamental polytope. Finally, we provide a partial characterization of the analogous coefficients in dimension 4.
Vanishing Flats: A Combinatorial Viewpoint on the Planarity of Functions and Their Application
Published
• View Publication
• BIB
For a function $f$ from $\mathbb{F}_2^n$ to $\mathbb{F}_2^n$, the planarity of $f$ is usually measured by its differential uniformity and differential spectrum. In this paper, we propose the concept of vanishing flats, which supplies a combinatorial viewpoint on the planarity. First, the number of vanishing flats of $f$ can be regarded as a measure of the distance between $f$ and the set of almost perfect nonlinear functions. In some cases, the number of vanishing flats serves as an "intermediate" concept between differential uniformity and differential spectrum, which contains more information than differential uniformity, however less than the differential spectrum. Secondly, the set of vanishing flats forms a combinatorial configuration called partial quadruple system, since it convey detailed structural information about $f$. We initiate this study by considering the number of vanishing flats and the partial quadruple systems associated with monomials and Dembowski-Ostrom polynomials. In addition, we present an application of vanishing flats to the partition of a vector space into disjoint equidimensional affine spaces. We conclude the paper with several further questions and challenges.
Chromatic symmetric functions from the modular law
Published
• View Publication
• BIB
In this article we show how to compute the chromatic quasisymmetric function of indifference graphs from the modular law introduced by Guay-Paquet. We provide an algorithm which works for any function that satisfies this law, such as unicellular LLT polynomials. When the indifference graph has bipartite complement it reduces to a planar network, in this case, we prove that the coefficients of the chromatic quasisymmetric function in the elementary basis are positive unimodal polynomials and characterize them as certain $q$-hit numbers (up to a factor). Finally, we discuss the logarithmic concavity of the coefficients of the chromatic quasisymmetric function.
A new approach on locally checkable problems
Published in Discrete Applied Mathematics 314 (2022), 53-80
• View Publication
• BIB
By providing a new framework, we extend previous results on locally checkable problems in bounded treewidth graphs. As a consequence, we show how to solve, in polynomial time for bounded treewidth graphs, double Roman domination and Grundy domination, among other problems for which no such algorithm was previously known. Moreover, by proving that fixed powers of bounded degree and bounded treewidth graphs are also bounded degree and bounded treewidth graphs, we can enlarge the family of problems that can be solved in polynomial time for these graph classes, including distance coloring problems and distance domination problems (for bounded distances).
Stanley's conjectures on the Stern poset
Published
• View Publication
• BIB
The Stern poset $\mathcal{S}$ is a graded infinite poset naturally associated to Stern's triangle, which was defined by Stanley analogously to Pascal's triangle. Let $P_n$ denote the interval of $\mathcal{S}$ from the unique element of row $0$ of Stern's triangle to the $n$-th element of row $r$ for sufficiently large $r$. For $n\geq 1$ let \begin{align*} L_n(q)&=2\cdot\left(\sum_{k=1}^{2^n-1}A_{P_k}(q)\right)+A_{P_{2^n}}(q), \end{align*} where $A_{P}(q)$ represents the corresponding $P$-Eulerian polynomial. For any $n\geq 1$ Stanley conjectured that $L_n(q)$ has only real zeros and $L_{4n+1}(q)$ is divisible by $L_{2n}(q)$. In this paper we obtain a simple recurrence relation satisfied by $L_n(q)$ and affirmatively solve Stanley's conjectures. We also establish the asymptotic normality of the coefficients of $L_n(q)$.
The complex conjugate invariants of Clifford groups
Published
• View Publication
• BIB
Nebe, Rains and Sloane studied the polynomial invariants for real and complex Clifford groups and they relate the invariants to the space of complete weight enumerators of certain self-dual codes. The purpose of this paper is to show that very similar results can be obtained for the invariants of the complex Clifford group $\mathcal{X}_m$ acting on the space of conjugate polynomials in $2^m$ variables of degree $N_1$ in $x_f$ and of degree $N_2$ in their complex conjugates $\overline{x_f}$. In particular, we show that the dimension of this space is $2$, for $(N_1,N_2)=(5,5)$. This solves the Conjecture 2 given in Zhu, Kueng, Grassl and Gross affirmatively. In other words if an orbit of the complex Clifford group is a projective $4$-design, then it is automatically a projective $5$-design.
On sums of coefficients of Borwein type polynomials over arithmetic progressions
Published
• View Publication
• BIB
We obtain asymptotic formulas for sums over arithmetic progressions of coefficients of polynomials of the form
$$\prod_{j=1}^n\prod_{k=1}^{p-1}(1-q^{pj-k})^s,$$
where $p$ is an odd prime and $n, s$ are positive integers. Let us denote by $a_i$ the coefficient of $q^i$ in the above polynomial and suppose that $b$ is an integer. We prove that
$$\Big|\sum_{i\equiv b\ \text{mod}\ 2pn}a_i-\frac{v(b)p^{sn}}{2pn}\Big|\leq p^{sn/2},$$
where $v(b)=p-1$ if $b$ divisible by $p$ and $v(b)=-1$ otherwise. This improves a recent result of Goswami and Pantangi.
Logarithmic derivations associated to line arrangements
Published
• View Publication
• BIB
In this paper we give full classification of rank 3 line arrangements in $\mathbb P^2$ (over a field of characteristic 0) that have a minimal logarithmic derivation of degree 3. The classification presents their defining polynomials, up to a change of variables, with their corresponding affine pictures. We also analyze the shape of such a logarithmic derivation, towards obtaining criteria for a line arrangement to possess a cubic minimal logarithmic derivation.
Algorithmically distinguishing irreducible characters of the symmetric group
Published
• View Publication
• BIB
Suppose that $χ_λ$ and $χ_μ$ are distinct irreducible characters of the symmetric group $S_n$. We give an algorithm that, in time polynomial in $n$, constructs $π\in S_n$ such that $χ_λ(π)$ is provably different from $χ_μ(π)$. In fact, we show a little more. Suppose $f=χ_λ$ for some irreducible character $χ_λ$ of $S_n$, but we do not know $λ$, and we are given only oracle access to $f$. We give an algorithm that determines $λ$, using a number of queries to $f$ that is polynomial in $n$. Each query can be computed in time polynomial in $n$ by someone who knows $λ$.
Some $q$-supercongruences modulo the fourth power of a cyclotomic polynomial
Published
• View Publication
• BIB
In terms of the creative microscoping method recently introduced by Guo and Zudilin and the Chinese remainder theorem for coprime polynomials, we establish a $q$-supercongruence with two parameters modulo $[n]Φ_n(q)^3$. Here $[n]=(1-q^n)/(1-q)$ and $Φ_n(q)$ is the $n$-th cyclotomic polynomial in $q$. In particular, we confirm a recent conjecture of Guo and give a complete $q$-analogue of Long's supercongruence. The latter is also a generalization of a recent $q$-supercongruence obtained by Guo and Schlosser.
Group-Graph Reciprocal Pairs
In a 2018 paper, Cameron and Semeraro posed the problem of finding all group-graph reciprocal pairs. In this paper, we make a significant contribution to finding all such pairs. A group and graph form a reciprocal pair if they satisfy the relation $$P_{Γ,G}(x)=(-1)^nF_G(-x)$$ where $P_{Γ,G}(x)$ is the orbital chromatic polynomial of a graph $Γ$ and $F_G(x)$ is the cycle polynomial of a finite permutation group. We define a set of graphs to be \textit{$k$-stars} and prove that they satisfy a reciprocality relation with some group depending on $k$. These graphs are comprised of a complete graph with $k$ vertices and a further $α$ `points' which are only connected to each vertex in the centre. This group is a subgroup of $S_k\times S_α$, which is the automorphism group of a \textit{$k$-star} and $α$ is the number of points on the star. We conjecture a list of group-graph reciprocal pairs.