polynomial
11184 papers tagged with this keyword
Acyclic Chromatic Index of Chordless Graphs
Published in Discrete Mathematics, 346(8), (2023), 113434
• View Publication
• BIB
An acyclic edge coloring of a graph is a proper edge coloring in which there are no bichromatic cycles. The acyclic chromatic index of a graph $G$ denoted by $a'(G)$, is the minimum positive integer $k$ such that $G$ has an acyclic edge coloring with $k$ colors. It has been conjectured by Fiamčík that $a'(G) \le Δ+2$ for any graph $G$ with maximum degree $Δ$. Linear arboricity of a graph $G$, denoted by $la(G)$, is the minimum number of linear forests into which the edges of $G$ can be partitioned. A graph is said to be chordless if no cycle in the graph contains a chord. Every $2$-connected chordless graph is a minimally $2$-connected graph. It was shown by Basavaraju and Chandran that if $G$ is $2$-degenerate, then $a'(G) \le Δ+1$. Since chordless graphs are also $2$-degenerate, we have $a'(G) \le Δ+1$ for any chordless graph $G$. Machado, de Figueiredo and Trotignon proved that the chromatic index of a chordless graph is $Δ$ when $Δ\ge 3$. They also obtained a polynomial time algorithm to color a chordless graph optimally. We improve this result by proving that the acyclic chromatic index of a chordless graph is $Δ$, except when $Δ=2$ and the graph has a cycle, in which case it is $Δ+1$. We also provide the sketch of a polynomial time algorithm for an optimal acyclic edge coloring of a chordless graph. As a byproduct, we also prove that $la(G) = \lceil \frac{Δ}{2} \rceil$, unless $G$ has a cycle with $Δ=2$, in which case $la(G) = \lceil \frac{Δ+1}{2} \rceil = 2$. To obtain the result on acyclic chromatic index, we prove a structural result on chordless graphs which is a refinement of the structure given by Machado, de Figueiredo and Trotignon for this class of graphs. This might be of independent interest.
Flip-width: Cops and Robber on dense graphs
We define new graph parameters, called flip-width, that generalize treewidth, degeneracy, and generalized coloring numbers for sparse graphs, and clique-width and twin-width for dense graphs. The flip-width parameters are defined using variants of the Cops and Robber game, in which the robber has speed bounded by a fixed constant $r\in\mathbb N\cup\{\infty\}$, and the cops perform flips (or perturbations) of the considered graph. We then propose a new notion of tameness of a graph class, called bounded flip-width, which is a dense counterpart of classes of bounded expansion of Nešetril and Ossona de Mendez, and includes classes of bounded twin-width of Bonnet, Kim, Thomass{é}, and Watrigant. This unifies Sparsity Theory and Twin-width Theory, providing a common language for studying the central notions of the two theories, such as weak coloring numbers and twin-width -- corresponding to winning strategies of one player -- or dense shallow minors, rich divisions, or well-linked sets, corresponding to winning strategies of the other player. We prove that boundedness of flip-width is preserved by first-order interpretations, or transductions, generalizing previous results concerning classes of bounded expansion and bounded twin-width. We provide an algorithm approximating the flip-width of a given graph, which runs in slicewise polynomial time (XP) in the size of the graph. Finally, we propose a more general notion of tameness, called almost bounded flip-width, which is a dense counterpart of nowhere dense classes. We conjecture, and provide evidence, that classes with almost bounded flip-width coincide with monadically dependent (or monadically NIP) classes, introduced by Shelah in model theory. We also provide evidence that classes of almost bounded flip-width characterise the hereditary graph classes for which the model-checking problem is fixed-parameter tractable.
Covering shrinking polynomials by quasi progressions
Erd\H os introduced the quantity $S=T\sum^T_{i=1}X_i$, where $X_1,\dots, X_T$ are arithmetic progressions, and cover the square numbers up to $N$. He conjectured that $S$ is close to $N$, i.e. the square numbers cannot be covered "economically" by arithmetic progressions. Sárközy confirmed this conjecture and proved that $S\geq cN/\log^2N$. In this paper, we extend this to shrinking polynomials and so-called $\{X_i\}$ quasi progressions.
On the real-rootedness of the Eulerian transformation
Published in J. London Math. Soc. 111 (2025), Article ID e70083, 23p
• View Publication
• BIB
The Eulerian transformation is the linear operator on polynomials in one variable with real coefficients which maps the powers of this variable to the corresponding Eulerian polynomials. The derangement transformation is defined similarly. Brändén and Jochemko have conjectured that the Eulerian transforms of a class of polynomials with nonnegative coefficients, which includes those having all their roots in the interval $[-1,0]$, have only real zeros. This conjecture is proven in this paper. More general transformations are introduced in the combinatorial-geometric context of uniform triangulations of simplicial complexes, where Eulerian and derangement transformations arise in the special case of barycentric subdivision, and are shown to have strong unimodality and gamma-positivity properties. General real-rootedness conjectures for these transformations, which unify various results and conjectures in the literature, are also proposed.
Symmetric group fixed quotients of polynomial rings
Given a representation of a finite group $G$ over some commutative base ring $\mathbf{k}$, the cofixed space is the largest quotient of the representation on which the group acts trivially. If $G$ acts by $\mathbf{k}$-algebra automorphisms, then the cofixed space is a module over the ring of $G$-invariants. When the order of $G$ is not invertible in the base ring, little is known about this module structure. We study the cofixed space in the case that $G$ is the symmetric group on $n$ letters acting on a polynomial ring by permuting its variables. When $\mathbf{k}$ has characteristic 0, the cofixed space is isomorphic to an ideal of the ring of symmetric polynomials. Localizing $\mathbf{k}$ at a prime integer $p$ while letting $n$ vary reveals striking behavior in these ideals. As $n$ grows, the ideals stay stable in a sense, then jump in complexity each time $n$ reaches a multiple of $p$.
The Minimum Degree Removal Lemma Thresholds
The graph removal lemma is a fundamental result in extremal graph theory which says that for every fixed graph $H$ and $\varepsilon > 0$, if an $n$-vertex graph $G$ contains $\varepsilon n^2$ edge-disjoint copies of $H$ then $G$ contains $δn^{v(H)}$ copies of $H$ for some $δ= δ(\varepsilon,H) > 0$. The current proofs of the removal lemma give only very weak bounds on $δ(\varepsilon,H)$, and it is also known that $δ(\varepsilon,H)$ is not polynomial in $\varepsilon$ unless $H$ is bipartite. Recently, Fox and Wigderson initiated the study of minimum degree conditions guaranteeing that $δ(\varepsilon,H)$ depends polynomially or linearly on $\varepsilon$. In this paper we answer several questions of Fox and Wigderson on this topic.
Hecke algebra action on twisted motivic Chern classes and K-theoretic stable envelopes
Let $G$ be a linear semisimple algebraic group and $B$ its Borel subgroup. Let $\mathbb{T}\subset B$ be the maximal torus. We study the inductive construction of Bott-Samelson varieties to obtain recursive formulas for the twisted motivic Chern classes of Schubert cells in $G/B$. To this end we introduce two families of operators acting on the equivariant K-theory $K_\mathbb{T}(G/B)[y]$, the right and left Demazure-Lusztig operators depending on a parameter. The twisted motivic Chern classes coincide (up to normalization) with the K-theoretic stable envelopes. Our results imply wall-crossing formulas for a change of the weight chamber and slope parameters. The right and left operators generate a twisted double Hecke algebra. We show that in the type $A$ this algebra acts on the Laurent polynomials. This action is a natural lift of the action on $K_\mathbb{T}(G/B)[y]$ with respect to the Kirwan map. We show that the left and right twisted Demazure-Lusztig operators provide a recursion for twisted motivic Chern classes of matrix Schubert varieties.
Laplacian polytopes of simplicial complexes
Given a (finite) simplicial complex, we define its $i$-th Laplacian polytope as the convex hull of the columns of its $i$-th Laplacian matrix. This extends Laplacian simplices of finite simple graphs, as introduced by Braun and Meyer. After studying basic properties of these polytopes, we focus on the $d$-th Laplacian polytope of the boundary of a $(d+1)$-simplex $\partial(σ_{d+1})$. If $d$ is odd, then as for graphs, the $d$-th Laplacian polytope turns out to be a $(d+1)$-simplex in this case. If $d$ is even, we show that the $d$-th Laplacian polytope of $\partial(σ_{d+1})$ is combinatorially equivalent to a $d$-dimensional cyclic polytope on $d+2$ vertices. Moreover, we provide an explicit regular unimodular triangulation for the $d$-th Laplacian polytope of $\partial(σ_{d+1})$. This enables us to to compute the normalized volume and to show that the $h^\ast$-polynomial is real-rooted and unimodal, if $d$ is odd and even, respectively.
Coloring lines and Delaunay graphs with respect to boxes
Published
• View Publication
• BIB
The goal of this paper is to show the existence (using probabilistic tools) of configurations of lines, boxes, and points with certain interesting combinatorial properties.
(i) First, we construct a family of $n$ lines in $\mathbb{R}^3$ whose intersection graph is triangle-free of chromatic number $Ω(n^{1/15})$. This improves the previously best known bound $Ω(\log\log n)$ by Norin, and is also the first construction of a triangle-free intersection graph of simple geometric objects with polynomial chromatic number.
(ii) Second, we construct a set of $n$ points in $\mathbb{R}^d$, whose Delaunay graph with respect to axis-parallel boxes has independence number at most $n\cdot (\log n)^{-(d-1)/2+o(1)}$. This extends the planar case considered by Chen, Pach, Szegedy, and Tardos.
Effective bounds for induced size-Ramsey numbers of cycles
The induced size-Ramsey number $\hat{r}_\text{ind}^k(H)$ of a graph $H$ is the smallest number of edges a (host) graph $G$ can have such that for any $k$-coloring of its edges, there exists a monochromatic copy of $H$ which is an induced subgraph of $G$. In 1995, in their seminal paper, Haxell, Kohayakawa and Luczak showed that for cycles, these numbers are linear for any constant number of colours, i.e., $\hat{r}_\text{ind}^k(C_n)\leq Cn$ for some $C=C(k)$. The constant $C$ comes from the use of the regularity lemma, and has a tower type dependence on $k$. In this paper we significantly improve these bounds, showing that $\hat{r}_\text{ind}^k(C_n)\leq O(k^{102})n$ when $n$ is even, thus obtaining only a polynomial dependence of $C$ on $k$. We also prove $\hat{r}_\text{ind}^k(C_n)\leq e^{O(k\log k)}n$ for odd $n$, which almost matches the lower bound of $e^{Ω(k)}n$. Finally, we show that the ordinary (non-induced) size-Ramsey number satisfies $\hat{r}^k(C_n)=e^{O(k)}n$ for odd $n$. This substantially improves the best previous result of $e^{O(k^2)}n$, and is best possible, up to the implied constant in the exponent. To achieve our results, we present a new host graph construction which, roughly speaking, reduces our task to finding a cycle of approximate given length in a graph with local sparsity.
Sequencings in Semidirect Products via the Polynomial Method
The partial sums of a sequence ${\mathbf x} = x_1, x_2, \ldots, x_k$ of distinct non-identity elements of a group $(G,\cdot)$ are $s_0 = id_G$ and $s_j = \prod_{i=1}^j x_i$ for $0 < j \leq k$. If the partial sums are all different then ${\mathbf x}$ is a linear sequencing and if the partial sums are all different when $|i-j| \leq t$ then ${\mathbf x}$ is a $t$-weak sequencing. We investigate these notions of sequenceability in semidirect products using the polynomial method. We show that every subset of order $k$ of the non-identity elements of the dihedral group of order $2m$ has a linear sequencing when $k \leq 12$ and either $m>3$ is prime or every prime factor of $m$ is larger than $k!$, unless $s_k$ is unavoidably the identity; that every subset of order $k$ of a non-abelian group of order three times a prime has a linear sequencing when $5 < k \leq 10$, unless $s_k$ is unavoidably the identity; and that if the order of a group is $pe$ then all sufficiently large subsets of the non-identity elements are $t$-weakly sequenceable when $p>3$ is prime, $e \leq 3$ and $t \leq 6$.
Hopf-algebraic structures on mixed graphs
We introduce two coproducts on mixed graphs (that is to say graphs with both oriented and unoriented edges), the first one by separation of the vertices into two parts, and the second one given by contraction and extractions of subgraphs. We show that, with the disjoint union product, this gives a double bialgebra, that is to say that the first coproduct makes it a Hopf algebra in the category of right comodules over the second coproduct. This structure implies the existence of a unique polynomial invariant on mixed graphs compatible with the product and both coproducts: we prove that it is the (strong) chromatic polynomial of Beck, Bogart and Pham.Using the action of the monoid of characters, we relate it to the weak chromatic polynomial, as well to Ehrhart polynomials and to a polynomial invariants related to linear extensions. As applications, we give an algebraic proof of the link between the values of the strong chromatic polynomial at negative values and acyclic orientations (a result due to Beck, Blado, Crawford, Jean-Louis and Young) and obtain a combinatorial description of the antipode of the Hopf algebra of mixed graphs.
The minimal volume of a lattice polytope
Published in Australasian J. Combin. 85 (2023), 159--163
• Search Publication
Let $\mathcal{P} \subset \mathbb{R}^d$ be a lattice polytope of dimension $d$. Let $b$ denote the number of lattice points belonging to the boundary of $\mathcal{P}$ and $c$ that to the interior of $\mathcal{P}$. It follows from a lower bound theorem of Ehrhart polynomials that, when $c > 0$, the volume of $\mathcal{P}$ is bigger than or equal to $(dc + (d-1)b - d^2 + 2)/d!$. In the present paper, via triangulations, a short and elementary proof of the minimal volume formula is given.
A combinatorial formula for LLT cumulants of melting lollipops in terms of spanning trees
We prove a combinatorial formula for LLT cumulants of melting lollipops as a positive combination of LLT polynomials indexed by spanning trees. The result gives an affirmative answer to a general positivity question for this class of unicellular LLT cumulants, and gives an independent proof of their Schur-positivity. In the special case of the complete graph, we also express the formula in terms of parking functions.
Topological dynamical systems induced by polynomials and combinatorial consequences
Let $d\in {\mathbb N}$ and $p_i$ be an integral polynomial with $p_i(0)=0$, $1\le i\le d$. It is shown that if $S$ is piecewise syndetic in $\mathbb Z$, then $$\{(m,n)\in{\mathbb Z}^2: m+p_1(n),\ldots,m+p_d(n)\in S\}$$ is piecewise syndetic in ${\mathbb Z}^2$, which extends the result by Glasner and Furstenberg for linear polynomials. Our result is obtained by showing the density of minimal points of a dynamical system of ${\mathbb Z}^2$ action associated with the piecewise syndetic set $S$ and the polynomials $\{p_1,\ldots,p_d\}$.
Moreover, it is proved that if $(X,T)$ is minimal, then for each non-empty open subset $U$ of $X$, there is $x\in U$ with $\{n\in {\mathbb Z}: T^{p_1(n)}x\in U, \ldots, T^{p_d(n)}x\in U\}$ piecewise syndetic.
A weighted extension of Fibonacci numbers
We extend Fibonacci numbers with arbitrary weights and generalize a dozen Fibonacci identities. As a special case, we propose an elliptic extension which extends the $q$-Fibonacci polynomials appearing in Schur's work. The proofs of most of the identities are combinatorial, extending the proofs given by Benjamin and Quinn, and in the $q$ case, by Garrett. Some identities are proved by telescoping.
Random planar trees and the Jacobian conjecture
Published in J. Lond. Math. Soc. 113(2): 1-40 (2026)
• View Publication
• BIB
We develop a probabilistic approach to the celebrated Jacobian conjecture, which states that any Keller map (i.e. any polynomial mapping $F\colon \mathbb{C}^n \to \mathbb{C}^n$ whose Jacobian determinant is a nonzero constant) has a compositional inverse which is also a polynomial. The Jacobian conjecture may be formulated in terms of a problem involving labellings of rooted trees; we give a new probabilistic derivation of this formulation using multi-type branching processes. Thereafter, we develop a simple and novel approach to the Jacobian conjecture in terms of a problem involving shuffling subtrees of $d$-Catalan trees, i.e. planar $d$-ary trees. We also show that, if one can construct a certain Markov chain on large $d$-Catalan trees which updates its value by randomly shuffling certain nearby subtrees, and in such a way that the stationary distribution of this chain is uniform, then the Jacobian conjecture is true. Finally, we use the local limit theory of large random trees to show that the subtree shuffling conjecture is true in a certain asymptotic sense, and thereafter use our machinery to prove an approximate version of the Jacobian conjecture, stating that inverses of Keller maps have small power series coefficients for their high degree terms.
Infinite product of power series
We give an exact coefficients formula of any infinite product of power series with constant term equal to $1$, by using structures from partitions of integers and permutation groups. This is an universal theorem for various of Binomial-type theorems in many sense. In particular, we give the new formulas as the double counting of Bell polynomial, Binomial Theorem and Multinomial Theorem.
An efficient asymmetric removal lemma and its limitations
Published in Forum of Mathematics, Sigma 13 (2025) e38
• View Publication
• BIB
The triangle removal states that if $G$ contains $\varepsilon n^2$ edge-disjoint triangles, then $G$ contains $δ(\varepsilon)n^3$ triangles. Unfortunately, there are no sensible bounds on the order of growth of $δ(\varepsilon)$, and at any rate, it is known that $δ(\varepsilon)$ is not polynomial in $\varepsilon$. Csaba recently obtained an asymmetric variant of the triangle removal, stating that if $G$ contains $\varepsilon n^2$ edge-disjoint triangles, then $G$ contains $2^{-\mathrm{poly}(1/\varepsilon)}\cdot n^5$ copies of $C_5$. To this end, he devised a new variant of Szemerédi's regularity lemma. We obtain the following results:
- We first give a regularity-free proof of Csaba's theorem, which improves the number of copies of $C_5$ to the optimal number $\mathrm{poly}(\varepsilon)\cdot n^5$.
- We say that $H$ is $K_3$-abundant if every graph containing $\varepsilon n^2$ edge-disjoint triangles has $\mathrm{poly}(\varepsilon)\cdot n^{|V(H)|}$ copies of $H$. It is easy to see that a $K_3$-abundant graph must be triangle-free and tripartite. Given our first result, it is natural to ask if all triangle-free tripartite graphs are $K_3$-abundant. Our second result is that assuming a well-known conjecture of Ruzsa in additive number theory, the answer to this question is negative.
Our proofs use a mix of combinatorial, number-theoretic, probabilistic, and Ramsey-type arguments.
Mathematical results on harmonic polynomials
Some years ago, the harmonic polynomial was introduced in order to understand better the harmonic topological index; for instance, it allows to obtain bounds of the harmonic index of the main products of graphs. Here, we obtain several properties of this polynomial, and we prove that several properties of graphs can be deduced from their harmonic polynomials. Also, we show that two graphs with the same harmonic polynomial have to be similar.