polynomial
11538 papers tagged with this keyword
On pairs of triangular numbers whose product is a perfect square and pairs of intervals of successive integers with equal sums of squares
In 1778 Leonhard Euler characterized triangular numbers that are perfect squares. Obviously, the product of any two such numbers is a perfect square too. Yet, there are many other solutions, that is, pairs $(k,k')$ such that $k(k+1)k'(k'+1)$ is a perfect square. We give explicit formulas characterizing all these square triangular pairs by means of some integer positive polynomials, which is the primary novelty of our work.
This result allows us to find all pairs of intervals of successive integers with equal sums of squares in case when the lengths of two intervals in a pair differ by 1. It is known that there is a one-to-one correspondence between the square triangular numbers and nearly isosceles Pythagorean triples: $n^2 + (n+1)^2 = N^2$. Both are generated by the same Fermat-Pell recursion. This is a special case of our result, when the lengths of the two intervals are 2 and 1.
Cluster deletion in cographs, permutation graphs, and graphs with bounded clique number
The Cluster Deletion problem asks for a minimum-size edge set whose deletion turns a graph into a disjoint union of complete graphs. Equivalently, the Clique Partition problem asks for a partition of the vertex set into cliques that maximizes the number of edges within the parts. We give a simpler proof of a result of Gao, Hare, and Nastos (Discete Mathematics, 2013), that Cluster Deletion is polynomial-time solvable on cographs. In addition, we show that the natural linear programming formulation of Clique Partition is exact on cographs.
We then show that Cluster Deletion is NP-complete on permutation graphs, which are a superclass of cographs. This answers an open question of Konstantinidis and Papadopoulos (Algorithmica, 2021). We also exhibit a permutation graph on nine vertices for which the linear programming formulation is not exact.
Finally, for graphs with clique number at most $c$, we give a polynomial-time $2\binom{c}{2}/(\binom{c}{2}+1)$-approximation algorithm for Clique Partition. More generally, the algorithm runs in polynomial time on every graph class for which a maximum clique can be found in polynomial time. For each fixed $c\geq 3$, we also construct infinitely many examples attaining the stated approximation ratio. The same examples show that, for Cluster Deletion , the algorithm is a $2$-approximation and no better, for every fixed $c \geq 3$.
Categorification of $k$-Schur functions and refined Macdonald positivity
We establish a substantial part of the categorification framework for $k$-Schur functions proposed in Chen's Ph.D.\ thesis, written under the supervision of Mark Haiman. More precisely, we realize $k$-Schur functions as the graded characters of a distinguished family of objects in a certain module category and establish module-theoretic analogues of several foundational properties of $k$-Schur functions. A final part of Chen's framework predicts a homological characterization of modules admitting filtrations by these distinguished objects; we establish this characterization under an additional combinatorial hypothesis.
In addition, we unconditionally prove that modules arising in this framework admit filtrations whose subquotients are affine Demazure modules of level $k$. As a consequence, modified Macdonald polynomials expand positively in the characters of affine Demazure modules. This may be viewed as a homological refinement of Macdonald positivity, arising from an intrinsic $\mathrm{ext}$-orthogonality condition on the corresponding Garsia--Haiman modules. We also prove the combinatorial hypothesis for $m \le 2k$ in the appendix and verify it computationally for $m\leq 19$, yielding $k$-Schur positivity of modified Macdonald polynomials in these cases.
Our approach builds on our previous work on the algebraic and geometric realization of Catalan symmetric functions, a class encompassing both $k$-Schur and Hall--Littlewood functions.
Polynomial Length Cycles In Tough Graphs
We prove that every $n$-vertex $15$-tough graph contains a cycle of length $Ω(n^{1/20})$.
Augmented singular cohomology, uniform matroids, and real-rootedness
We study the singular cohomology rings of toric varieties associated with several fans arising from uniform matroids. These rings generalize the Chow and augmented Chow rings of matroids. For the singular cohomology ring arising from the augmented Bergman fan of a uniform matroid, we construct an explicit basis derived from the retral basis for the singular cohomology ring of a uniform matroid introduced by the first author. We prove that the augmented Bergman fan does not yield a singular cohomology ring that satisfies the quasi-projective Strong Lefschetz property, whereas a suitable modification of the fan does. We then investigate the zeros of the corresponding refined Hodge--Poincaré polynomials. For uniform matroids, we prove that the refined Hodge--Poincaré polynomials associated with both the singular cohomology ring and the modified augmented singular cohomology ring are real-rooted. The former result resolves a conjecture of the first author. These results extend the real-rootedness theorem of Brändén and the second author for the Chow polynomials of uniform matroids. Finally, we relate the failure of real-rootedness for the augmented singular cohomology ring to the failure of Lefschetz properties.
Cauchy identities for skew Ferrers shapes via RSK and keys
Let $μ\subseteqλ\subseteq(m^n)$. We characterize the image under the ordinary Robinson--Schensted--Knuth correspondence of matrices supported on the skew Ferrers diagram $λ/μ$. The outer boundary determines an upper bound on the right key of the insertion tableau, while the inner boundary determines a lower bound on its left key; both bounds depend on the keys of the recording tableau. This yields tableau expansions of skew Ferrers Cauchy kernels using the standard basis polynomials of Lascoux and Schützenberger, indexed by intervals in Bruhat order.
The proof first treats ordinary Ferrers diagrams. Using the supremum characterization of right keys from earlier work, we follow the $λ$-dependent bounds through single RSK insertions. When $λ$ has repeated parts, these weak column bounds need not form a semistandard tableau. Strictification determines a set $\operatorname{Comp}(λ)$ of admissible weak compositions and, for each $α\in\operatorname{Comp}(λ)$, a composition $α^λ$. Ordinary RSK then gives a weight-preserving bijective realization of the expansion \[ \prod_{(i,j)\inλ}\frac{1}{1-x_i y_j} = \sum_{α\in\operatorname{Comp}(λ)} \hat K_α(x)K_{α^λ}(y), \] where $\hat K_α$ and $K_α$ denote Demazure atoms and key polynomials, respectively.
We also give a direct admissibility criterion and a parking procedure for computing $α^λ$. After translating conventions, these agree with the admissibility condition and half-bubble-sort construction of Feigin, Khoroshkin, and Makedonskyi. The staircase and truncated-staircase identities follow as special cases. Finally, we extend the weak-bound construction to an infinite alphabet, where strictification need not exist, and derive the infinite-variable Cauchy identity for the $m$-symmetric Schur functions.
A Möbius function computing $h$-polynomials of nestohedra
We introduce a poset of weighted hypergraphs on a fixed vertex set which has a remarkable property: the Möbius values of the intervals associated to any hypergraph give, up to sign, the coefficients of the $h$-polynomial of its nestohedron. We exploit this relation to provide two new recurrence relations to compute $h$-polynomials of nestohedra.
Multivariate stability of powered triangular recurrences and parametrised Eulerian polynomials
We prove multivariate stability for a class of affine triangular recurrences whose two coefficients are raised to an arbitrary positive integer power. The variables keep track of cross-step heights in a weighted lattice-path model. The applications include stability and real rootedness of parametrised Eulerian, Stirling, and Lah families. For the parametrised Eulerian polynomials, we obtain multivariate refinements of known real-rootedness results and prove simplicity and strict interlacing of consecutive rows. A kernel-preserving bijection with increasing binary trees yields a synchronised Foata--Strehl action on pairs and a combinatorial interpretation of their gamma coefficients along with a recurrence. The same bijection identifies refinement posets that admit symmetric Boolean and chain decompositions for parameter one and cover-supported $\mathfrak{sl}_2$ operators prove their PECKness. We extend the stability and strict interlacing results to synchronised Stirling permutations and prove PECKness for ordinary Stirling permutations with a fixed number of plateaux.
Growth beyond exponent $3/2$ for convexity and iterated sum sets
We prove that the bound \[ \max \{ |16A|,|16f(A)| \} \gg_m |A|^{\frac{3}{2}+\frac{1}{162}} \] holds for any polynomial $f$ with degree $m \geq 2$ and any finite $A \subset \mathbb R$. This shows that the classical Jarník obstruction to growth beyond exponent $3/2$, which occurs for general strictly convex functions, cannot occur for polynomial functions.
Differential Operators on $G(r,n)$-Invariant Functions
We generalize known results on normalized symmetric coordinates and their dual differential operators, established for the symmetric group, to the complex monomial reflection group $G(r,n):=μ_r\wr S_n$ (with $G(1,n)=S_n$). The central tool, proved in detail, is a \emph{transfer principle}: the substitution $y_i=x_i^r$ identifies the invariant ring of $G(r,n)$ with that of $S_n$ and transports, term by term, the corresponding operators and coordinates into explicit rational objects in the original variables $x_i$. From this we deduce the $G(r,n)$-analogues of the known results for $S_n$ existence and uniqueness of the dual coordinates $U_k$, and a Weyl algebra structure localized at the discriminant of $G(r,n)$ with complete and self-contained proofs for the points that do not follow directly from the transfer (Leibniz rule, main theorem). We then treat the \emph{total diagonal}: its preimage splits into $r^{n-1}$ lines permuted transitively by the group, and there, unlike the transferred operators $Δ_i$, the \emph{raw} derivatives $\partial_{x_i}$ exhibit a phenomenon specific to $r\ge2$ that we describe completely via a Fa di Bruno-type structure formula. Finally, we give a closed formula for the constants of this structure formula (via Bell polynomials), completely resolve the degeneracy at an isolated point $x_i=0$ (the operator $Δ_i$ extends holomorphically there, with $Δ_iϕ=\partial_i^rϕ/r!$), and deduce from this a partial analogue of the description of the tangent space to the GIT quotient $\CC^n/G(r,n)$; the case of several coordinates vanishing simultaneously remains open and is precisely delineated. Full proofs of all new results are given in detail.
Bounded Ratios of Lorentzian Polynomials I: The Ternary Theory and Optimal Bounding Constants
We study bounded ratios and optimal bounding constants among the normalized coefficients of ternary Lorentzian polynomials. For every fixed $M$-convex support and in arbitrary degree, we give an explicit presentation of the bounded-ratio cone in terms of quadratic Hessian slices. We then express the optimal bounding constants through a variational formula combining local support functions with linear compatibility constraints between slices. For full support, we determine all compatibility relations in arbitrary degree; in degree three, this yields explicit optimal constants for every two-generator section. Finally, we compare the resulting Lorentzian bounds with those for volume polynomials and rank-three matroid basis profiles.
Bounded Ratios of Lorentzian Polynomials II: The Complete Quadratic Local-to-Global Classification
Every quadratic Hessian slice of a Lorentzian polynomial yields bounded monomial ratios among the normalized coefficients of the polynomial. We determine exactly for which pairs $(n,d)$ these quadratic-slice ratios generate the full bounded-ratio cone for every $M$-convex support $S\subseteqΔ_n^d$. For $d\geq 2$, this quadratic local-to-global principle holds universally if and only if \[ n\leq 3,\qquad d=2,\qquad\text{or}\qquad (n,d)=(4,3). \] In every remaining case, the principle fails already for Lorentzian polynomials with full support: for cubics in $n\geq 5$ variables and for polynomials of degree $d\geq 4$ in $n\geq 4$ variables. We identify the two minimal obstructions, at $(n,d)=(4,4)$ and $(n,d)=(5,3)$, and propagate them throughout the failure region by degree and variable aggregation.
Bounded ratios for Lorentzian polynomials
We study multiplicative inequalities among the coefficients of Lorentzian polynomials through the notion of bounded ratios. Our main structural result completely characterizes the cone of bounded ratios for Lorentzian polynomials of degree $n$ in $k$ variables. We show that the dual of the cone of bounded ratios is generated by equivalence classes of M-convex functions modulo affine functions. For ternary Lorentzian forms of arbitrary degree $n\ge3$, we show that the cone of bounded ratios is generated by triangular ratios and determine the optimal bounding constant of every bounded ratio. Furthermore, we characterize the pairs $(n,k)$ for which the cone of bounded ratios can be computed by tropicalizing products of $n$ linear forms in $k$ variables with nonnegative coefficients.
Universal Asymptotics and Exact Enumeration of Eulerian Maps
We calculate the asymptotics of the number of connected, labeled, genus $g$ Eulerian maps with an arbitrary degree sequence, in the limit as the total number of vertices tends to infinity. This asymptotic is universal, in the sense that the leading-order term depends on only three map characteristics, regardless of the choice of the degree sequence. The constant factor in this formula is related to the Painlevé I equation. Our methods combine for the first time the analysis of the recurrence coefficients associated to a particular family of orthogonal polynomials, and the theory of analytic combinatorics of several variables. We also derive an exact formula for the number of connected, labeled, genus $1$ Eulerian maps. These are the first results on this kind of enumeration problem for $g\geq 1$, non-regular (mixed-valence) maps.
Algebraic Degree of Network Games: Balanced Factors and Strategy Scaling
The algebraic degree of a network game is the generic number of isolated complex-torus solutions of its polynomial indifference system. We recast the classical semi-mixed coefficient formula as an edge-marked player-level polynomial whose monomials are balanced directed multigraphs with prescribed in- and out-degrees. This representation separates the intrinsic counting problem from strategy-label refinements: exact evaluation remains $\#\mathrm P$-complete, but for a fixed number of players it is polynomial in the numerical strategy dimensions, while nonvanishing is decided by a capacitated flow test. It also characterizes inclusion-minimal positive-degree supports as integral transportation forests and yields a sharp $2N-1$-arc positive core. Exact-support coefficients form connected transportation fibers and give a nonnegative support calculus. Under proportional strategy growth $m\mathbf k$, a lattice local limit theorem expresses the first-order degree asymptotic through the capacity and maximum-entropy flow of the essential support. All counts are generic and complex; reality and simplex feasibility remain payoff-dependent.
Graph Polynomial for Colored Embedded Graphs: A Topological Approach
We study finite graphs embedded in oriented surfaces by associating a polynomial to it. The tools used in developing a theory of such graph polynomials are algebraic topological while the polynomial itself is inspired from ideas arising in physics. We also analyze a variant of these polynomials for colored embedded graphs. This is used to describe the change in the polynomial under basic graph theoretic operations. We conclude with several applications of this polynomial including detection of certain classes of graphs and the connection of this polynomial with topological entanglement entropy.
On the Alexander polynomials of conic-line arrangements
In the present paper we compute Alexander polynomials for certain classes of conic-line arrangements in the complex projective plane which are related to pencils. We prove two general results for curve arrangements coming from Halphen pencils of index $k\geq 2$. Then we apply them to the Hesse arrangement of conics and to some of its degenerations. The results are completed by computations using computer algebra. In particular, we construct conic-line arrangements which are non-reduced pencil-type arrangements and have as roots of their Alexander polynomials roots of unity of order 7. Such roots are not known and are conjectured not to exist in the class of line arrangements.
Log-concavity and log-convexity via distributive lattices
Published
• View Publication
• BIB
We prove a lemma, which we call the Order Ideal Lemma, that can be used to demonstrate a wide array of log-concavity and log-convexity results in a combinatorial manner using order ideals in distributive lattices. We use the Order Ideal Lemma to prove log-concavity and log-convexity of various sequences involving lattice paths (Catalan, Motzkin and large Schröder numbers), intervals in Young's lattice, order polynomials, specializations of Schur and Schur Q-functions, Lucas sequences, descent and peak polynomials of permutations, pattern avoidance, set partitions, and noncrossing partitions. We end with a section with conjectures and outlining future directions.
Polynomial bounds for pathwidth
Dallard, Milanič, and Štorgel conjectured that for a hereditary graph class $\mathcal{G}$, if there is some function $f:\mathbb{N}\to\mathbb{N}$ such that every graph $G\in \mathcal{G}$ with clique number $ω(G)$ has treewidth at most $f(ω(G))$, then there is a polynomial function $f$ with the same property. Chudnovsky and Trotignon refuted this conjecture in a strong sense, showing that neither polynomial nor any prescribed growth can be guaranteed in general. Here we prove that, in stark contrast, the analog of the Dallard-Milanič-Štorgel conjecture for pathwidth is true: For every hereditary graph class $\mathcal{G}$, if the pathwidth of every graph in $\mathcal{G}$ is bounded by some function of its clique number, then the pathwidth of every graph in $\mathcal{G}$ is bounded by a polynomial function of its clique number.
Newton polytopes of fireworks Grothendieck polynomials
We show that the support of the Grothendieck polynomial $\mathfrak G_w$ of any fireworks permutation is as large as possible: a monomial appears in $\mathfrak G_w$ if and only if it divides $\mathbf x^{\mathrm{wt}(\overline{D(w)})}$ and is divisible by some monomial appearing in the Schubert polynomial $\mathfrak S_w$. Our formula implies that the homogenization of $\mathfrak G_w$ has M-convex support. We also show that for any fireworks permutation $w\in S_n$, there exists a layered permutation $π(w)\in S_n$ so that $\mathrm{supp}(\mathfrak G_{π(w)})\supseteq \mathrm{supp}(\mathfrak G_w)$.