polynomial
11184 papers tagged with this keyword
Permutation Tutte polynomial
The classical Tutte polynomial is a two-variate polynomial $T_G(x,y)$ associated to graphs or more generally, matroids. In this paper, we introduce a polynomial $\widetilde{T}_H(x,y)$ associated to a bipartite graph $H$ that we call the permutation Tutte polynomial of the graph $H$. It turns out that $T_G(x,y)$ and $\widetilde{T}_H(x,y)$ share many properties, and the permutation Tutte polynomial serves as a tool to study the classical Tutte polynomial. We discuss the analogs of Brylawsi's identities and Conde--Merino--Welsh type inequalities. In particular, we will show that if $H$ does not contain isolated vertices, then $$\widetilde{T}_H(3,0)\widetilde{T}_H(0,3)\geq \widetilde{T}_H(1,1)^2,$$ which gives a short proof to the analogous result of Jackson: $$T_G(3,0)T_G(0,3)\geq T_G(1,1)^2$$ for graphs without loops and bridges. We also improve on the constant $3$ in this statement by showing that one can replace it with $2.9243$.
Schubert matroids, Delannoy paths, and Speyer's invariant
Published in Combinatorial Theory, Vol. 3, Issue 3, 2023
• View Publication
• BIB
We provide a combinatorial way of computing Speyer's $g$-polynomial on arbitrary Schubert matroids via the enumeration of certain Delannoy paths. We define a new statistic of a basis in a matroid, and express the $g$-polynomial of a Schubert matroid in terms of it and internal and external activities. Some surprising positivity properties of the $g$-polynomial of Schubert matroids are deduced from our expression. Finally, we combine our formulas with a fundamental result of Derksen and Fink to provide an algorithm for computing the $g$-polynomial of an arbitrary matroid.
Homogeneous structures in subset sums and non-averaging sets
We show that for every positive integer $k$ there are positive constants $C$ and $c$ such that if $A$ is a subset of $\{1, 2, \dots, n\}$ of size at least $C n^{1/k}$, then, for some $d \leq k-1$, the set of subset sums of $A$ contains a homogeneous $d$-dimensional generalized arithmetic progression of size at least $c|A|^{d+1}$. This strengthens a result of Szemerédi and Vu, who proved a similar statement without the homogeneity condition. As an application, we make progress on the Erdős--Straus non-averaging sets problem, showing that every subset $A$ of $\{1, 2, \dots, n\}$ of size at least $n^{\sqrt{2} - 1 + o(1)}$ contains an element which is the average of two or more other elements of $A$. This gives the first polynomial improvement on a result of Erdős and Sárközy from 1990.
Ehrhart Bounds for Panhandle and Paving Matroids Through Enumeration of Chain Forests
Panhandle matroids are a specific family of lattice-path matroids corresponding to panhandle-shaped Ferrers diagrams. Their matroid polytopes are the subpolytopes carved from a hypersimplex to form matroid polytopes of paving matroids. It has been an active area of research to determine which families of matroid polytopes are Ehrhart positive. We prove Ehrhart positivity for panhandle matroid polytopes, thus confirming a conjecture of Hanely, Martin, McGinnis, Miyata, Nasr, Vindas-Meléndez, and Yin (2023). Another standing conjecture posed by Ferroni (2022) asserts that the coefficients of the Ehrhart polynomial of a connected matroid are bounded above by those of the corresponding uniform matroid. We prove Ferroni's conjecture for paving matroids -- a class conjectured to asymptotically contain all matroids. These results follow from purely enumerative statements, the main one being conjectured by Hanely et. al concerning the enumeration of a certain class of ordered chain forests.
The differential properties of certain permutation polynomials over finite fields
Finding functions, particularly permutations, with good differential properties has received a lot of attention due to their varied applications. For instance, in combinatorial design theory, a correspondence of perfect $c$-nonlinear functions and difference sets in some quasigroups was recently shown by Anbar et al. (J. Comb. Des. 31(12):1-24, 2023). Additionally, in a recent manuscript by Pal et al. (Adv. Math. Communications, to appear), a very interesting connection between the $c$-differential uniformity and boomerang uniformity, when $c=-1$, was pointed out, showing that they are the same for an odd APN permutation, sparking yet more interest in the construction of functions with low $c$-differential uniformity. We investigate the $c$-differential uniformity of some classes of permutation polynomials. As a result, we add four more classes of permutation polynomials to the family of functions that only contains a few (non-trivial) perfect $c$-nonlinear functions over finite fields of even characteristic. Moreover, we include a class of permutation polynomials with low $c$-differential uniformity over the field of characteristic~$3$. To solve the involved equations over finite fields, we use various number theoretical techniques, in particular, we find explicitly many Walsh transform coefficients and Weil sums that may be of an independent interest.
Value sets of non-permutation polynomials over the residue class rings of integers
In this paper, we study the value sets of non-permutation polynomial functions over the residue class ring $\mathbb{Z}/m\mathbb{Z}$. When $m=p^r$ is a power of some prime $p$, an upper bound is given for the size of the value set of a polynomial function which is not a permutation. We also show that this upper bound can be achieved by some integral polynomials. Finally, we generalize the results for any positive integer $m$ with known prime decomposition.
Finding a Maximum Restricted $t$-Matching via Boolean Edge-CSP
The problem of finding a maximum $2$-matching without short cycles has received significant attention due to its relevance to the Hamilton cycle problem. This problem is generalized to finding a maximum $t$-matching which excludes specified complete $t$-partite subgraphs, where $t$ is a fixed positive integer. The polynomial solvability of this generalized problem remains an open question. In this paper, we present polynomial-time algorithms for the following two cases of this problem: in the first case the forbidden complete $t$-partite subgraphs are edge-disjoint; and in the second case the maximum degree of the input graph is at most $2t-1$. Our result for the first case extends the previous work of Nam (1994) showing the polynomial solvability of the problem of finding a maximum $2$-matching without cycles of length four, where the cycles of length four are vertex-disjoint. The second result expands upon the works of Bérczi and Végh (2010) and Kobayashi and Yin (2012), which focused on graphs with maximum degree at most $t+1$. Our algorithms are obtained from exploiting the discrete structure of restricted $t$-matchings and employing an algorithm for the Boolean edge-CSP.
Small doubling implies small tripling for balls of large radius
Published in Discrete Anal., 2025:9, 9pp
• Search Publication
We show that if $K\ge1$ is a parameter and $S$ is a finite symmetric subset of a group containing the identity such $|S^{2n}|\le K|S^n|$ for some integer $n\ge2K^2$, then $|S^{3n}|\le\exp(\exp(O(K^2)))|S^n|$. Such a result was previously known only under the stronger assumption that $|S^{2n+1}|\le K|S^n|$. We prove similar results for locally compact groups and vertex-transitive graphs. We indicate some results in the structure theory of vertex-transitive graphs of polynomial growth whose hypotheses can be weakened as a result.
The two-variable hypergraph Tutte polynomial via embedding activities
We prove that the two-variable Tutte polynomial of hypergraphs can be defined via embedding activities. We also prove that embedding activities of hypergraphs yield a Crapo-style decomposition of $\mathbb{Z}^E$, thus generalizing Bernardi's results from graphs to hypergraphs.
We also show that hypergraph embedding activities do not fit into the $Δ$-activity framework of Courtiel. Based on this observation, we construct a graph with an activity notion that yields a Crapo decomposition, but cannot be obtained as a $Δ$-activity.
Polychromatic Colorings of Geometric Hypergraphs via Shallow Hitting Sets
A range family $\mathcal{R}$ is a family of subsets of $\mathbb{R}^d$, like all halfplanes, or all unit disks. Given a range family $\mathcal{R}$, we consider the $m$-uniform range capturing hypergraphs $\mathcal{H}(V,\mathcal{R},m)$ whose vertex-sets $V$ are finite sets of points in $\mathbb{R}^d$ with any $m$ vertices forming a hyperedge $e$ whenever $e = V \cap R$ for some $R \in \mathcal{R}$. Given additionally an integer $k \geq 2$, we seek to find the minimum $m = m_{\mathcal{R}}(k)$ such that every $\mathcal{H}(V,\mathcal{R},m)$ admits a polychromatic $k$-coloring of its vertices, that is, where every hyperedge contains at least one point of each color. Clearly, $m_{\mathcal{R}}(k) \geq k$ and the gold standard is an upper bound $m_{\mathcal{R}}(k) = O(k)$ that is linear in $k$.
A $t$-shallow hitting set in $\mathcal{H}(V,\mathcal{R},m)$ is a subset $S \subseteq V$ such that $1 \leq |e \cap S| \leq t$ for each hyperedge $e$; i.e., every hyperedge is hit at least once but at most $t$ times by $S$. We show for several range families $\mathcal{R}$ the existence of $t$-shallow hitting sets in every $\mathcal{H}(V,\mathcal{R},m)$ with $t$ being a constant only depending on $\mathcal{R}$. This in particular proves that $m_{\mathcal{R}}(k) \leq tk = O(k)$ in such cases, improving previous polynomial bounds in $k$. Particularly, we prove this for the range families of all axis-aligned strips in $\mathbb{R}^d$, all bottomless and topless rectangles in $\mathbb{R}^2$, and for all unit-height axis-aligned rectangles in $\mathbb{R}^2$.
Explicit formulas for permutation pattern character polynomials
Given permutations $π\in S_n$ and $σ\in S_k$, let $N_σ(π)$ denote the number of occurrences of $σ$ in $π$. While pattern avoidance and the distribution of pattern occurrences in permutations have been extensively studied, their interactions with the group structure on $S_n$ are still poorly understood. Gaetz and Ryba showed that the expected value of $χ^{λ[n]}(π)N_σ(π)$ for $π\in S_n$ is given by a polynomial $a_σ^λ(n)$. More recently, Gaetz and Pierson derived explicit formulas for $a_{\mathrm{id}_k}^λ(n)$ when $\lvertλ\rvert \le 2$, which led them to conjecture that the polynomials $a_{\mathrm{id}_k}^λ(n)$ are real-rooted and nonnegative for $n \ge k$. We show that for all partitions $λ$, the polynomials $a_{\mathrm{id}_k}^λ(n)$ admit explicit closed forms in $n$ and $k$. These formulas allow us to exhibit counterexamples to Gaetz and Pierson's real-rootedness conjecture as well as to prove special cases of their nonnegativity conjecture. Lastly, we note that our results imply that the expected value of $f \cdot N_{\mathrm{id}_k}$ on $S_n$ admits a closed form whenever $f$ is a permutation statistic expressible as a polynomial in the functions $m_j \colon \bigsqcup_{n \ge 0} S_n \to \mathbb{Z}$ which count $j$-cycles in their inputs.
Matrix positivity preservers in fixed dimension. II: positive definiteness and strict monotonicity of Schur function ratios
We continue the study of real polynomials acting entrywise on matrices of fixed dimension to preserve positive semidefiniteness, together with the related analysis of order properties of Schur polynomials.
Previous work has shown that, given a real polynomial with positive coefficients that is perturbed by adding a higher-degree monomial, there exists a negative lower bound for the coefficient of the perturbation which characterizes when the perturbed polynomial remains positivity preserving. We show here that, if the perturbation coefficient is strictly greater than this bound then the transformed matrix becomes positive definite given a simple genericity condition that can be readily verified. We identity a slightly stronger genericity condition that ensures positive definiteness occurs at the boundary.
The analysis is complemented by computing the rank of the transformed matrix in terms of the location of the original matrix in a Schubert cell-type stratification that we have introduced and explored previously. The proofs require enhancing to strictness a Schur monotonicity result of Khare and Tao, to show that the ratio of Schur polynomials is strictly increasing along each coordinate on the positive orthant and non-decreasing on its closure whenever the defining tuples satisfy a coordinate-wise domination condition.
On stability of weighted spanning tree degree enumerators
Our previous paper shows that the (vertex) spanning tree degree enumerator polynomial of a connected graph $G$ is a real stable polynomial (id est is non-zero if all variables have positive imaginary parts) if and only if $G$ is distance-hereditary. In this note we generalize the result on weighted graphs. This generalization allows us to define the class of weighted distance-hereditary graphs.
Abundance: Asymmetric Graph Removal Lemmas and Integer Solutions to Linear Equations
We prove that a large family of pairs of graphs satisfy a polynomial dependence in asymmetric graph removal lemmas. In particular, we give an unexpected answer to a question of Gishboliner, Shapira, and Wigderson by showing that for every $t \geqslant 4$, there are $K_t$-abundant graphs of chromatic number $t$. Using similar methods, we also extend work of Ruzsa by proving that a set $\mathcal{A} \subset \{1,\dots,N\}$ which avoids solutions with distinct integers to an equation of genus at least two has size $\mathcal{O}(\sqrt{N})$. The best previous bound was $N^{1 - o(1)}$ and the exponent of $1/2$ is best possible in such a result. Finally, we investigate the relationship between polynomial dependencies in asymmetric removal lemmas and the problem of avoiding integer solutions to equations. The results suggest a potentially deep correspondence. Many open questions remain.
Induced subdivisions in $K_{s,s}$-free graphs with polynomial average degree
In this paper we prove that for every $s\geq 2$ and every graph $H$ the following holds. Let $G$ be a graph with average degree $Ω_H(s^{C|H|^2})$, for some absolute constant $C>0$, then $G$ either contains a $K_{s,s}$ or an induced subdivision of $H$. This is essentially tight and confirms a conjecture of Bonamy, Bousquet, Pilipczuk, Rzążewski, Thomassé, and Walczak. A slightly weaker form of this has been independently proved by Bourneuf, Bucić, Cook, and Davies.
We actually prove a much more general result which implies the above (with worse dependence on $|H|$). We show that for every $ k\geq 2$ there is $C_k>0$ such that any graph $G$ with average degree $s^{C_k}$ either contains a $K_{s,s}$ or an induced subgraph $G'\subseteq G$ without $C_4$'s and with average degree at least $k$.
Finally, using similar methods we can prove the following. For every $k,t\geq 2$ every graph $G$ with average degree at least $C_tk^{Ω(t)}$ must contain either a $K_k$, an induced $K_{t,t}$ or an induced subdivision of $K_k$. This is again essentially tight up to the implied constants and answers in a strong form a question of Davies.
On the classification of low degree ovoids of $Q^+(5,q)$
Ovoids of the Klein quadric $Q^+(5,q)$ of $\mathrm{PG}(5,q)$ have been studied in the last 40 year, also because of their connection with spreads of $\mathrm{PG}(3,q)$ and hence translation planes. Beside the classical example given by a three dimensional elliptic quadric (corresponding to the regular spread of $\mathrm{PG}(3,q)$) many other classes of examples are known. First of all the other examples (beside the elliptic quadric) of ovoids of $Q(4,q)$ give also examples of ovoids of $Q^+(5,q)$. Another important class of ovoids of $Q^+(5,q)$ is given by the ones associated to a flock of a three dimensional quadratic cone. To every ovoid of $Q^+(5,q)$ two bivariate polynomials $f_1(x,y)$ and $f_2(x,y)$ can be associated. In this paper, we classify ovoids of $Q^+(5,q)$ such that $f_1(x,y)=y+g(x)$ and $\max\{deg(f_1),deg(f_2)\}<(\frac{1}{6.3}q)^{\frac{3}{13}}-1$, that is $f_1(x,y)$ and $f_2(x,y)$ have "low degree" compared with $q$.
Non-overlapping descents and ascents in stack-sortable permutations
The Eulerian polynomials $A_n(x)$ give the distribution of descents over permutations. It is also known that the distribution of descents over stack-sortable permutations (i.e. permutations sortable by a certain algorithm whose internal storage is limited to a single stack data structure) is given by the Narayana numbers $\frac{1}{n}{n \choose k}{n \choose k+1}$. On the other hand, as a corollary of a much more general result, the distribution of the statistic ``maximum number of non-overlapping descents'', MND, over all permutations is given by $\sum_{n,k \geq 0}D_{n,k}x^k\ frac{t^n}{n!}=\frac{e^t}{1-x(1+(t-1)e^t)}$.
In this paper, we show that the distribution of MND over stack-sortable permutations is given by $\frac{1}{n+1}{n+1\choose 2k+1}{n+k \choose k}$. We give two proofs of the result via bijections with rooted plane (binary) trees allowing us to control MND. Moreover, we show combinatorially that MND is equidistributed with the statistic MNA, the maximum number of non-overlapping ascents, over stack-sortable permutations. The last fact is obtained by establishing an involution on stack-sortable permutations that gives equidistribution of 8 statistics.
On The Toric Ideals of the Coloured Graphs of Reduced Words
We study a family $\mathcal{B}$ of pseudo-multipartite graphs indexed by staircase partitions. They are realised from the reduced words of certain class of permutations. We investigate the vertex proper colouring of these graphs and give the general chromatic polynomial. For each member $B_λ$, we construct an affine toric ideal $\mathcal{I}_{B_λ}$ associated to vertex proper colouring using partition identity. It turns out that the projective version $\mathcal{V}(\mathcal{I}_{B_λ})$ is realised from the cartoon diagram associated with the vertex proper colouring.
A note on the map expansion of Jack polynomials
In a recent work, Maciej Dołe\k{}ga and the author have given a formula of the expansion of the Jack polynomial $J^{(α)}_λ$ in the power-sum basis as a non-orientability generating series of bipartite maps whose edges are decorated with the boxes of the partition $λ$.
We conjecture here a variant of this expansion in which we restrict the sum on maps whose edges are injectively decorated by the boxes of $λ$. We prove this conjecture for Jack polynomials indexed by 2-column partitions. The proof uses a mix of combinatorial methods and differential operator computations.
Some results on the maximal chromatic polynomials of $2$-connected $k$-chromatic graphs
In 2015, Brown and Erey conjectured that every $2$-connected graph $G$ on $n$ vertices with chromatic number $k\geq 4$ has at most $(x-1)_{k-1}\big((x-1)^{n-k+1}+(-1)^{n-k}\big)$ proper $x$-colorings for all $x\geq k$. Engbers, Erey, Fox, and He proved this conjecture for $x=k$. In this paper, we prove Brown and Erey's conjecture under the condition that either the clique number of $G$ is $k$, or the independent number of $G$ is $2$.