polynomial
11184 papers tagged with this keyword
Almost Symmetric Schur Functions
We introduce and study a generalization $s_{(μ|λ)}$ of the Schur functions called the almost symmetric Schur functions. These functions simultaneously generalize the finite variable key polynomials and the infinite variable Schur functions. They form a homogeneous basis for the space of almost symmetric functions and are defined using a family of recurrences involving the isobaric divided difference operators and limits of Weyl symmetrization operators. The $s_{(μ|λ)}$ are the $q=t=0$ specialization of the stable limit non-symmetric Macdonald functions $\widetilde{E}_{(μ|λ)}$ defined by the author in previous work. We find a combinatorial formula for these functions simultaneously generalizing well known formulas for the Schur functions and the key polynomials. Further, we prove positivity results for the coefficients of the almost symmetric Schur functions expanded into the monomial basis and into the monomial-Schur basis of the space of almost symmetric functions. The latter positivity result follows after realizing the almost symmetric Schur functions $s_{(μ|λ)}$ as limits of characters of representations of parabolic subgroups in type $GL.$
Oriented Ramsey numbers of graded digraphs
We show that any graded digraph $D$ on $n$ vertices with maximum degree $Δ$ has an oriented Ramsey number of at most $C^Δn$ for some absolute constant $C > 1$, improving upon a recent result of Fox, He, and Wigderson. In particular, this implies that oriented grids in any fixed dimension have linear oriented Ramsey numbers, and gives a polynomial bound on the oriented Ramsey number of the hypercube.
We also show that this result is essentially best possible, in that there exist graded digraphs on $n$ vertices with maximum degree $Δ$ such that their oriented Ramsey number is at least $c^Δn$ for some absolute constant $c > 1$.
Lorentzian polynomials and the independence sequences of graphs
Published in Bull. London Math. Soc. 57 (2025), 1305-1323
• View Publication
• BIB
We study the multivariate independence polynomials of graphs and the log-concavity of the coefficients of their univariate restrictions. Let $R_{W_4}$ be the operator defined on simple and undirected graphs which replaces each edge with a caterpillar of size $4$. We prove that all graphs in the image of $R_{W_4}$ are what we call pre-Lorentzian, that is, their multivariate independence polynomial becomes Lorentzian after appropriate manipulations. In particular, as pre-Lorentzian graphs have log-concave (and therefore unimodal) independence sequences, our result makes progress on a conjecture of Alavi, Malde, Schwenk and Erdős which asks if the independence sequence of trees or forests is unimodal.
The Furstenberg-Sárközy theorem for polynomials in one or more prime variables
We establish upper bounds on the size of the largest subset of $\{1,2,\dots,N\}$ lacking nonzero differences of the form $h(p_1,\dots,p_{\ell})$, where $h\in \mathbb{Z}[x_1,\dots,x_{\ell}]$ is a fixed polynomial satisfying appropriate conditions and $p_1,\dots,p_{\ell}$ are prime. The bounds are of the same type as the best-known analogs for unrestricted integer inputs, due to Bloom-Maynard and Arala for $\ell=1$, and to the authors for $\ell \geq 2$.
Cycles of Well-Linked Sets I: an Elementary Bound for Directed Cycle Packing
In 1996, Reed, Robertson, Seymour and Thomas [Combinatorica 1996] proved Younger's Conjecture, which states that, for all directed graphs $D$, there exists a function $f$ such that, if $D$ does not contain $k$ disjoint cycles, then $D$ contains a feedback vertex set, i.e.~a subset of vertices whose deletion renders the graph acyclic, of size bounded by $f(k)$. However, the function obtained by Reed, Robertson, Seymour and Thomas in their paper is enormous and, in fact, not even elementary. We prove the first elementary upper bound for the function $f$ above, showing it is upper-bounded by a power tower of height 8.
Our proof is inspired by the breakthrough result of Chekuri and Chuzhoy [J.~ACM 2016], who proved a polynomial bound for the Excluded Grid Theorem for undirected graphs. We translate a key concept of their proof to directed graphs by introducing \emph{paths of well-linked sets (PWS)}, and show that any digraph of large directed treewidth contains a large PWS, which in turn contains a large fence.
We believe that the theoretical tools developed in this work may find applications beyond the results above, in a similar way as the path-of-sets-system framework due to Chekuri and Chuzhoy [J.~ACM 2016] did for undirected graphs (see, for example, Hatzel, Komosa, Pilipczuk and Sorge [Discret.~Math.~Theor.~Comput.~Sci.~2022], Chekuri and Chuzhoy [SODA 2015] and Chuzhoy and Nimavat [arXiv 2019]). Indeed, in a follow-up paper, we apply this framework to improve the bounds of the Directed Grid Theorem.
Polynomial Divided Difference Operators Satisfying the Braid Relations
Published
• View Publication
• BIB
Many interesting families of polynomials are indexed by permutations or related objects, and are defined by applying divided difference operators, modified by polynomials, on some initial base case. The fact that these constructions produce well-defined polynomials is based on the applied modified divided difference operators satisfying the braid relations. We thus determine all the families of polynomial divided difference operators that satisfy the braid relations.
Real Stability and Log Concavity are coNP-Hard
Real-stable, Lorentzian, and log-concave polynomials are well-studied classes of polynomials, and have been powerful tools in resolving several conjectures. We show that the problems of deciding whether a polynomial of fixed degree is real stable or log concave are coNP-hard. On the other hand, while all homogeneous real-stable polynomials are Lorentzian and all Lorentzian polynomials are log concave on the positive orthant, the problem of deciding whether a polynomial of fixed degree is Lorentzian can be solved in polynomial time.
Elliptic Sombor energy of a graph
Let $G$ be a simple graph with vertex set $V(G) = \{v_1, v_2,\ldots, v_n\}$. The elliptic Sombor matrix of $G$, denoted by $A_{ESO}(G)$, is defined as the $n\times n$ matrix whose $(i,j)$-entry is $(d_i+d_j)\sqrt{d_i^2+d_j^2}$ if $v_i$ and $v_j$ are adjacent and $0$ for another cases. Let the eigenvalues of the elliptic Sombor matrix $A_{ESO}(G)$ be $ρ_1\geq ρ_2\geq \ldots\geq ρ_n$ which are the roots of the elliptic Sombor characteristic polynomial $\prod_{i=1}^n (ρ-ρ_i)$. The elliptic Sombor energy ${E_{ESO}}$ of $G$ is the sum of absolute values of the eigenvalues of $A_{ESO}(G)$. In this paper, we compute the elliptic Sombor characteristic polynomial and the elliptic Sombor energy for some graph classes. We compute the elliptic Sombor energy of cubic graphs of order $10$ and as a consequence, we see that two $k$-regular graphs of the same order may have different elliptic Sombor energy.
Spread-out percolation on transitive graphs of polynomial growth
Let $G$ be a vertex-transitive graph of superlinear polynomial growth. Given $r>0$, let $G_r$ be the graph on the same vertex set as $G$, with two vertices joined by an edge if and only if they are at graph distance at most $r$ apart in $G$. We show that the critical probability $p_c(G_r)$ for Bernoulli bond percolation on $G_r$ satisfies $p_c(G_r) \sim 1/\mathrm{deg}(G_r)$ as $r\to\infty$. This extends work of Penrose and Bollobás-Janson-Riordan, who considered the case $G=\mathbb{Z}^d$.
Our result provides an important ingredient in parallel work of Georgakopoulos in which he introduces a new notion of dimension in groups. It also verifies a special case of a conjecture of Easo and Hutchcroft.
Counterexamples to generalizations of the Erdős $B+B+t$ problem
Following their resolution of the Erdős $B+B+t$ problem, Kra Moreira, Richter, and Robertson posed a number of questions and conjectures related to infinite configurations in positive density subsets of the integers and other amenable groups. We give a negative answer to several of these questions and conjectures by producing families of counterexamples based on a construction of Ernst Straus.
Included among our counterexamples, we exhibit, for any $\varepsilon > 0$, a set $A \subseteq \mathbb{N}$ with multiplicative upper Banach density at least $1 - \varepsilon$ such that $A$ does not contain any dilated product set $\{b_1b_2t : b_1, b_2 \in B, b_1 \ne b_2\}$ for an infinite set $B \subseteq \mathbb{N}$ and $t \in \mathbb{Q}_{>0}$. We also prove the existence of a set $A \subseteq \mathbb{N}$ with additive upper Banach density at least $1 - \varepsilon$ such that $A$ does not contain any polynomial configuration $\{b_1^2 + b_2 + t : b_1, b_2 \in B, b_1 < b_2\}$ for an infinite set $B \subseteq \mathbb{N}$ and $t \in \mathbb{Z}$. Counterexamples to some closely related problems are also discussed.
Shellability of Kohnert posets
In this paper, we are concerned with identifying among the family of posets associated with Kohnert polynomials, those whose order complex has a certain combinatorial property. In particular, for numerous families of Kohnert polynomials, including key polynomials, we determine when the associated Kohnert posets are (EL-)shellable. Interestingly, under certain diagram restrictions, (EL-)shellability of a Kohnert poset is equivalent to multiplcity freeness of the associated Kohnert polynomial.
Around the positive graph conjecture
A graph $H$ is said to be positive if the homomorphism density $t_H(G)$ is non-negative for all weighted graphs $G$. The positive graph conjecture proposes a characterisation of such graphs, saying that a graph is positive if and only if it is symmetric, in the sense that it is formed by gluing two copies of some subgraph along an independent set. We prove several results relating to this conjecture. First, we make progress towards the conjecture itself by showing that any connected positive graph must have a vertex of even degree. We then make use of this result to identify some new counterexamples to the analogue of Sidorenko's conjecture for hypergraphs. In particular, we show that, for $r$ odd, every $r$-uniform tight cycle is a counterexample, generalising a recent result of Conlon, Lee and Sidorenko that dealt with the case $r=3$. Finally, we relate the positive graph conjecture to the emerging study of graph codes by showing that any positive graph has vanishing graph code density, thereby improving a result of Alon who proved the same result for symmetric graphs. Our proofs make use of a variety of tools and techniques, including the properties of independence polynomials, hypergraph quasirandomness and discrete Fourier analysis.
Half-space separation in monophonic convexity
We study half-space separation in the convexity of chordless paths of a graph, i.e., monophonic convexity. In this problem, one is given a graph and two (disjoint) subsets of vertices and asks whether these two sets can be separated by complementary convex sets, called half-spaces. While it is known this problem is $\mathbf{NP}$-complete for geodesic convexity -- the convexity of shortest paths -- we show that it can be solved in polynomial time for monophonic convexity.
Subadditivity of shifts, Eilenberg-Zilber shuffle products and homology of lattices
We show that the maximal shifts in the minimal free resolution of the quotients of a polynomial ring by a monomial ideal are subadditive as a function of the homological degree. This answers a question that has received some attention in recent years. To do so, we define and study a new model for the homology of posets, given by the so called synor complex. We also introduce an Eilenberg-Zilber type shuffle product on the simplicial chain complex of lattices.
Combining these concepts we prove that the existence of a non-zero homology class for a lattice forces certain non-zero homology classes in lower intervals. This result then translates into properties of the minimal free resolution. In particular, it implies a generalization of the original question.
Kernelization Dichotomies for Hitting Subgraphs under Structural Parameterizations
For a fixed graph $H$, the $H$-SUBGRAPH HITTING problem consists in deleting the minimum number of vertices from an input graph to obtain a graph without any occurrence of $H$ as a subgraph. This problem can be seen as a generalization of VERTEX COVER, which corresponds to the case $H = K_2$. We initiate a study of $H$-SUBGRAPH HITTING from the point of view of characterizing structural parameterizations that allow for polynomial kernels, within the recently active framework of taking as the parameter the number of vertex deletions to obtain a graph in a "simple" class $C$. Our main contribution is to identify graph parameters that, when $H$-SUBGRAPH HITTING is parameterized by the vertex-deletion distance to a class $C$ where any of these parameters is bounded, and assuming standard complexity assumptions and that $H$ is biconnected, allow us to prove the following sharp dichotomy: the problem admits a polynomial kernel if and only if $H$ is a clique. These new graph parameters are inspired by the notion of $C$-elimination distance introduced by Bulian and Dawar [Algorithmica 2016], and generalize it in two directions. Our results also apply to the version of the problem where one wants to hit $H$ as an induced subgraph, and imply in particular, that the problems of hitting minors and hitting (induced) subgraphs have a substantially different behavior with respect to the existence of polynomial kernels under structural parameterizations.
Explicit formulae for generalized Stirling and Eulerian numbers
In this article we generalize the $q$-difference operator due to Carlitz in order to derive explicit sum formulae for several extensions of Stirling numbers of the second kind, including complete homogeneous symmetric functions, complementary symmetric functions, $r$-Whitney numbers and elliptic analogues of rook, Stirling and Lah numbers. Furthermore, we generalize Carlitz' $q$-Eulerian numbers to a Lagrange polynomial extension. We define them by generalizing Worpitzky's identity appropriately, and derive a recursion and an explicit sum formulae. Special cases include $r$-Whitney Eulerian numbers and elliptic Eulerian numbers.
Normal ordered grammars
We introduce the theory of normal ordered grammars, which gives a natural generalization of the normal ordering problem. To illustrate the main idea, we explore normal ordered grammars associated with the Eulerian polynomials and the second-order Eulerian polynomials. In particular, we present a normal ordered grammatical interpretation for the (cdes,cyc) (p,q)-Eulerian polynomials, where cdes and cyc are the cycle descent and cycle statistics, respectively. The exponential generating function for a family of polynomials, generated by a normal ordered grammar associated with the second-order Eulerian polynomials, reveals an interesting feature: its expression involves the generating function for Catalan numbers as its exponent. In the final part, we discuss some normal ordered grammars related to the type B Eulerian polynomials. A normal ordered grammatical interpretation of the up-down run polynomial is also established.
Symmetric Ideals and Invariant Hilbert Schemes
Published
• View Publication
• BIB
A symmetric ideal is an ideal in a polynomial ring which is stable under all permutations of the variables. In this paper we initiate a global study of zero-dimensional symmetric ideals. By this we mean a geometric study of the invariant Hilbert schemes $\mathrm{Hilb}_ρ^{S_n}(\mathbb{C}^n)$ parametrizing symmetric subschemes of $\mathbb{C}^n$ whose coordinate rings, as $S_n$-modules, are isomorphic to a given representation $ρ$. In the case that $ρ= M^λ$ is a permutation module corresponding to certain special types of partitions $λ$ of $n$, we prove that $\mathrm{Hilb}_ρ^{S_n}(\mathbb{C}^n)$ is irreducible or even smooth. We also prove irreducibility whenever $\dim ρ\leq 2n$ and the invariant Hilbert scheme is non-empty. In this same range, we classify all homogeneous symmetric ideals and decide which of these define singular points of $\mathrm{Hilb}_ρ^{S_n}(\mathbb{C}^n)$. A central tool is the combinatorial theory of higher Specht polynomials.
Constructions of Spherical 3-Designs
Published in Graphs and Combinatorics, v. 14, (1998), pp. 97-107
• Search Publication
Spherical t-designs are Chebyshev-type averaging sets on the d-sphere S^d which are exact for polynomials of degree at most t. This concept was introduced in 1977 by Delsarte, Goethals, and Seidel, who also found the minimum possible size of such designs, in particular, that the number of points in a 3-design on S^d must be at least n>=2d+2. In this paper we give explicit constructions for spherical 3-designs on S^d consisting of n points for d=1 and n>=4; d=2 and n=6; 8; >= 10; d=3 and n=8; >=10; d = 4 and n = 10; 12; >= 14; d>=5 and n>=5(d+1)/2 odd or n>=2d+2 even. We also provide some evidence that 3-designs of other sizes do not exist.
On a conjecture of Gross, Mansour and Tucker for $Δ$-matroids
Gross, Mansour, and Tucker introduced the partial-duality polynomial of a ribbon graph [Distributions, European J. Combin. 86, 1--20, 2020], the generating function enumerating partial duals by the Euler genus. Chmutov and Vignes-Tourneret wondered if this polynomial and its conjectured properties would hold for general delta-matroids, which are combinatorial abstractions of ribbon graphs. Yan and Jin contributed to this inquiry by identifying a subset of delta-matroids-specifically, even normal binary ones-whose twist polynomials are characterized by a singular term. Building upon this foundation, the current paper expands the scope of the investigation to encompass even non-binary delta-matroids, revealing that none of them have width-changing twists.