polynomial
11432 papers tagged with this keyword
Power sum polynomials in a discrete tomography perspective
Published
• View Publication
• BIB
For a point of the projective space $\PG(n,q)$, its Rédei factor is the linear polynomial in $n+1$ variables, whose coefficients are the point coordinates. The power sum polynomial of a subset $S$ of $\PG(n,q)$ is the sum of the $(q-1)$-th powers of the Rédei factors of the points of $S$. The fact that many subsets may share the same power sum polynomial offers a natural connection to discrete tomography. In this paper we deal with the two-dimensional case and show that the notion of ghost, whose employment enables to find all solutions of the tomographic problem, can be rephrased in the finite geometry context, where subsets with null power sum polynomial are called ghosts as well. In the latter case, one can add ghosts still preserving the power sum polynomial by means of the multiset sum (modulo the field characteristic). We prove some general results on ghosts in $\PG(2,q)$ and compute their number in case $q$ is a prime.
Removal lemmas and approximate homomorphisms
Published
• View Publication
• BIB
We study quantitative relationships between the triangle removal lemma and several of its variants. One such variant, which we call the triangle-free lemma, states that for each $ε>0$ there exists $M$ such that every triangle-free graph $G$ has an $ε$-approximate homomorphism to a triangle-free graph $F$ on at most $M$ vertices (here an $ε$-approximate homomorphism is a map $V(G) \to V(F)$ where all but at most $ε|V(G)|^2$ edges of $G$ are mapped to edges of $F$). One consequence of our results is that the least possible $M$ in the triangle-free lemma grows faster than exponential in any polynomial in $ε^{-1}$. We also prove more general results for arbitrary graphs, as well as arithmetic analogues over finite fields, where the bounds are close to optimal.
A symmetry on weakly increasing trees and multiset Schett polynomials
Published
• View Publication
• BIB
By considering the parity of the degrees and levels of nodes in increasing trees, a new combinatorial interpretation for the coefficients of the Taylor expansions of the Jacobi elliptic functions is found. As one application of this new interpretation, a conjecture of Ma-Mansour-Wang-Yeh is solved. Unifying the concepts of increasing trees and plane trees, Lin-Ma-Ma-Zhou introduced weakly increasing trees on a multiset. A symmetry joint distribution of "even-degree nodes on odd levels" and "odd-degree nodes" on weakly increasing trees is found, extending the Schett polynomials, a generalization of the Jacobi elliptic functions introduced by Schett, to multisets. A combinatorial proof and an algebraic proof of this symmetry are provided, as well as several relevant interesting consequences. Moreover, via introducing a group action on trees, we prove the partial $γ$-positivity of the multiset Schett polynomials, a result implies both the symmetry and the unimodality of these polynomials.
On the rank of Z_2-matrices with free entries on the diagonal
For an $n \times n$ matrix $M$ with entries in $\mathbb{Z}_2$ denote by $R(M)$ the minimal rank of all the matrices obtained by changing some numbers on the main diagonal of $M$. We prove that for each non-negative integer $k$ there is a polynomial in $n$ algorithm deciding whether $R(M) \leq k$ (whose complexity may depend on $k$). We also give a polynomial in $n$ algorithm computing a number $m$ such that $m/2 \leq R(M) \leq m$. These results have applications to graph drawings on non-orientable surfaces.
Refined Littlewood identity for spin Hall-Littlewood symmetric rational functions
Published
• View Publication
• BIB
Fully inhomogeneous spin Hall-Littlewood symmetric rational functions $F_λ$ are multiparameter deformations of the classical Hall-Littlewood symmetric polynomials and can be viewed as partition functions in $\mathfrak{sl}(2)$ higher spin six vertex models. We obtain a refined Littlewood identity expressing a weighted sum of $F_λ$'s over all partitions $λ$ with even multiplicities as a certain Pfaffian. This Pfaffian can be derived as a partition function of the six vertex model in a triangle with suitably decorated domain wall boundary conditions. The proof is based on the Yang-Baxter equation.
Independence equivalence classes of cycles
Published in Discrete Math 344 (12) (2021), 112605
• View Publication
• BIB
The independence equivalence class of a graph $G$ is the set of graphs that have the same independence polynomial as $G$. Beaton, Brown and Cameron (arXiv:1810.05317) found the independence equivalence classes of even cycles, and raised the problem of finding the independence equivalence class of odd cycles. The problem is completely solved in this paper.
Classification of Levi-spherical Schubert varieties
Published in Selecta Math. (N.S.) 29 (2023), no. 4, Paper No. 55, 40 pages
• View Publication
• BIB
A Schubert variety in the complete flag manifold $GL_n/B$ is Levi-spherical if the action of a Borel subgroup in a Levi subgroup of a standard parabolic has a dense orbit. We give a combinatorial classification of these Schubert varieties. This establishes a conjecture of the latter two authors, and a new formulation in terms of standard Coxeter elements. Our proof uses the theory of key polynomials (type A Demazure module characters).
Some Identities Related to the Second-Order Eulerian Numbers
We express the Nörlund polynomials in terms of the second-order Eulerian numbers. Based on this expression, we derive several identities related to the Bernoulli numbers. In particular, we present a short proof of the problem raised by Rzcadkowski and Urlińska.
Alternating Eulerian polynomials and left peak polynomials
Published
• View Publication
• BIB
In this paper we present grammatical interpretations of the alternating Eulerian polynomials of types A and B. As applications, we derive several properties of the type B alternating Eulerian polynomials, including combinatorial expansions, recurrence relations and generating functions. We establish an interesting connection between alternating Eulerian polynomials of type B and left peak polynomials of permutations in the symmetric group, which implies that the type B alternating Eulerian polynomials have gamma-vectors alternate in sign.
Linear-time uniform generation of random sparse contingency tables with specified marginals
Published
• View Publication
• BIB
We give an algorithm that generates a uniformly random contingency table with specified marginals, i.e. a matrix with non-negative integer values and specified row and column sums. Such algorithms are useful in statistics and combinatorics. When $Δ^4< M/5$, where $Δ$ is the maximum of the row and column sums and $M$ is the sum of all entries of the matrix, our algorithm runs in time linear in $M$ in expectation. Most previously published algorithms for this problem are approximate samplers based on Markov chain Monte Carlo, whose provable bounds on the mixing time are typically polynomials with rather large degrees.
Gröbner bases, symmetric matrices, and type C Kazhdan-Lusztig varieties
Published
• View Publication
• BIB
We study a class of combinatorially-defined polynomial ideals which are generated by minors of a generic symmetric matrix. Included within this class are the symmetric determinantal ideals, the symmetric ladder determinantal ideals, and the symmetric Schubert determinantal ideals of A. Fink, J. Rajchgot, and S. Sullivant. Each ideal in our class is a type C analog of a Kazhdan-Lusztig ideal of A. Woo and A. Yong; that is, it is the scheme-theoretic defining ideal of the intersection of a type C Schubert variety with a type C opposite Schubert cell, appropriately coordinatized. The Kazhdan-Lusztig ideals that arise are exactly those where the opposite cell is $123$-avoiding. Our main results include Gröbner bases for these ideals, prime decompositions of their initial ideals (which are Stanley-Reisner ideals of subword complexes) and combinatorial formulas for their multigraded Hilbert series in terms of pipe dreams.
Periodicity of quantum walks defined by mixed paths and mixed cycles
Published in Linear Algebra and its Applications, Volume 630, Pages 15-38 (2021)
• View Publication
• BIB
In this paper, we determine periodicity of quantum walks defined by mixed paths and mixed cycles. By the spectral mapping theorem of quantum walks, consideration of periodicity is reduced to eigenvalue analysis of $η$-Hermitian adjacency matrices. First, we investigate coefficients of the characteristic polynomials of $η$-Hermitian adjacency matrices. We show that the characteristic polynomials of mixed trees and their underlying graphs are same. We also define $n+1$ types of mixed cycles and show that every mixed cycle is switching equivalent to one of them. We use these results to discuss periodicity. We show that the mixed paths are periodic for any $η$. In addition, we provide a necessary and sufficient condition for a mixed cycle to be periodic and determine their periods.
Fibonacci identities and Fibonacci pairs
A Fibonacci pair $F_s(w,x)$ of rank $s$ is a pair $s \times s$ nonsingular matrices such that $wx=xw$ and that the entries of $aw^n$ and $axw^m$ are polynomials of Fibonacci or Lucas numbers for some nonzero $a$. We construct identities systematically by the study of $F_2(w, x)$ and $F_3(w, x)$.
Laplacian Coefficients of a Forest in terms of the Number of Closed Walks in the Forest and its Line Graph
Let $G$ be a finite simple graph with Laplacian polynomial $ψ(G,λ)=\sum_{k=0}^n(-1)^{n-k}c_kλ^k$. In an earlier paper, the coefficients $c_{n-4}$ and $c_{n-5}$ for tree with respect to some degree-based graph invariants were computed. The aim of this paper is to continue this work by giving an exact formula for the coefficients $c_{n-6}$. As a consequence of this work, the Laplacian coefficients $c_{n-k}$ of a forest $F$, $1\leq k \leq 6$, are computed in terms of the number of closed walks in $F$ and its line graph.
Multiple Laguerre polynomials: Combinatorial model and Stieltjes moment representation
Published in Proc. Amer. Math. Soc. 150, 1997--2005 (2022)
• View Publication
• BIB
I give a combinatorial interpretation of the multiple Laguerre polynomials of the first kind of type II, generalizing the digraph model found by Foata and Strehl for the ordinary Laguerre polynomials. I also give an explicit integral representation for these polynomials, which shows that they form a multidimensional Stieltjes moment sequence whenever $x \le 0$.
Interpolation polynomials, bar monomials, and their positivity
Published
• View Publication
• BIB
We prove a positivity result for interpolation polynomials that was conjectured by Knop and Sahi. These polynomials were first introduced by Sahi in the context of the Capelli eigenvalue problem for Jordan algebras, and were later shown to be related to Jack polynomials by Knop-Sahi and Okounkov-Olshanski. The positivity result proved here is an inhomogeneous generalization of Macdonald's positivity conjecture for Jack polynomials. We also formulate and prove the non-symmetric version of the Knop-Sahi conjecture, and in fact we deduce everything from an even stronger positivity result. This last result concerns certain inhomogeneous analogues of ordinary monomials that we call bar monomials. Their positivity involves in an essential way a new partial order on compositions that we call the bar order, and a new operation that we call a glissade.
Quantitative characteristics of cycles and their relations with stretch and spanning tree congestion
The main goal of this article is to introduce new quantitative characteristics of cycles in finite simple connected graphs and to establish relations of these characteristics with the stretch and spanning tree congestion of graphs. The main new parameter is named the support number. We give a polynomial approximation algorithm for the support number with the aid of yet another characteristic we introduce, named the cycle width of the graph.
Polynomial bounds for chromatic number. I. Excluding a biclique and an induced tree
Published
• View Publication
• BIB
Let H be a tree. It was proved by Rodl that graphs that do not contain H as an induced subgraph, and do not contain the complete bipartite graph $K_{t,t}$ as a subgraph, have bounded chromatic number. Kierstead and Penrice strengthened this, showing that such graphs have bounded degeneracy. Here we give a further strengthening, proving that for every tree H, the degeneracy is at most polynomial in t. This answers a question of Bonamy, Pilipczuk, Rzazewski, Thomasse and Walczak.
Symmetry reduction to optimize a graph-based polynomial from queueing theory
Published in SIAM Journal on Applied Algebra and Geometry, 6 (2022), 243-266
• View Publication
• BIB
For given integers $n$ and $d$, both at least 2, we consider a homogeneous multivariate polynomial $f_d$ of degree $d$ in variables indexed by the edges of the complete graph on $n$ vertices and coefficients depending on cardinalities of certain unions of edges. Cardinaels, Borst and Van Leeuwaarden (arXiv:2111.05777, 2021) asked whether $f_d$, which arises in a model of job-occupancy in redundancy scheduling, attains its minimum over the standard simplex at the uniform probability vector. Brosch, Laurent and Steenkamp [SIAM J. Optim. 31 (2021), 2227--2254] proved that $f_d$ is convex over the standard simplex if $d=2$ and $d=3$, implying the desired result for these $d$. We give a symmetry reduction to show that for fixed $d$, the polynomial is convex over the standard simplex (for all $n\geq 2$) if a constant number of constant matrices (with size and coefficients independent of $n$) are positive semidefinite. This result is then used in combination with a computer-assisted verification to show that the polynomial $f_d$ is convex for $d\leq 9$.
On several notions of complexity of polynomial progressions
Published
• View Publication
• BIB
For a polynomial progression $$(x,\; x+P_1(y),\; \ldots,\; x+P_{t}(y)),$$ we define four notions of complexity: Host-Kra complexity, Weyl complexity, true complexity and algebraic complexity. The first two describe the smallest characteristic factor of the progression, the third one refers to the smallest-degree Gowers norm controlling the progression, and the fourth one concerns algebraic relations between terms of the progressions. We conjecture that these four notions are equivalent, which would give a purely algebraic criterion for determining the smallest Host-Kra factor or the smallest Gowers norm controlling a given progression. We prove this conjecture for all progressions whose terms only satisfy homogeneous algebraic relations and linear combinations thereof. This family of polynomial progressions includes, but is not limited to, arithmetic progressions, progressions with linearly independent polynomials $P_1,\; \ldots,\; P_t$ and progressions whose terms satisfy no quadratic relations. For progressions that satisfy only linear relations, such as $$(x,\; x+y^2,\; x+2y^2,\; x+y^3,\; x+2y^3),$$ we derive several combinatorial and dynamical corollaries: (1) an estimate for the count of such progressions in subsets of cyclic groups or totally ergodic dynamical systems; (2) a lower bound for multiple recurrence; (3) and a popular common difference result in cyclic groups. Lastly, we show that Weyl complexity and algebraic complexity always agree, which gives a straightforward algebraic description of Weyl complexity.