polynomial
11432 papers tagged with this keyword
On the intersection distribution of degree three polynomials and related topics
Published
• View Publication
• BIB
The intersection distribution of a polynomial $f$ over finite field $\mathbb{F}_q$ was recently proposed in Li and Pott (arXiv:2003.06678v1), which concerns the collective behaviour of a collection of polynomials $\{f(x)+cx \mid c \in \mathbb{F}_q\}$. The intersection distribution has an underlying geometric interpretation, which indicates the intersection pattern between the graph of $f$ and the lines in the affine plane $AG(2,q)$. When $q$ is even, the long-standing open problem of classifying o-polynomials can be rephrased in a simple way, namely, classifying all polynomials which have the same intersection distribution as $x^2$. Inspired by this connection, we proceed to consider the next simplest case and derive the intersection distribution for all degree three polynomials over $\mathbb{F}_q$ with $q$ both odd and even. Moreover, we initiate to classify all monomials having the same intersection distribution as $x^3$, where some characterizations of such monomials are obtained and a conjecture is proposed. In addition, two applications of the intersection distributions of degree three polynomials are presented. The first one is the construction of nonisomorphic Steiner triple systems and the second one produces infinite families of Kakeya sets in affine planes with previously unknown sizes.
Improved Lower Bounds for Permutation Arrays Using Permutation Rational Functions
Published
• View Publication
• BIB
We consider rational functions of the form $V(x)/U(x)$, where both $V(x)$ and $U(x)$ are polynomials over the finite field $\mathbb{F}_q$. Polynomials that permute the elements of a field, called {\it permutation polynomials ($PPs$)}, have been the subject of research for decades. Let ${\mathcal P}^1(\mathbb{F}_q)$ denote $\mathbb{Z}_q \cup \{\infty\}$. If the rational function, $V(x)/U(x)$, permutes the elements of ${\mathcal P}^1(\mathbb{F}_q)$, it is called a {\em permutation rational function (PRf)}. Let $N_d(q)$ denote the number of PPs of degree $d$ over $\mathbb{F}_q$, and let $N_{v,u}(q)$ denote the number of PRfs with a numerator of degree $v$ and a denominator of degree $u$. It follows that $N_{d,0}(q) = N_d(q)$, so PRFs are a generalization of PPs. The number of monic degree 3 PRfs is known [11]. We develop efficient computational techniques for $N_{v,u}(q)$, and use them to show $N_{4,3}(q) = (q+1)q^2(q-1)^2/3$, for all prime powers $q \le 307$, $N_{5,4}(q) > (q+1)q^3(q-1)^2/2$, for all prime powers $q \le 97$, and $N_{4,4}(p) = (p+1)p^2(p-1)^3/3$, for all primes $p \le 47$. We conjecture that these formulas are, in fact, true for all prime powers $q$. Let $M(n,D)$ denote the maximum number of permutations on $n$ symbols with pairwise Hamming distance $D$. Computing improved lower bounds for $M(n,D)$ is the subject of much current research with applications in error correcting codes. Using PRfs, we obtain significantly improved lower bounds on $M(q,q-d)$ and $M(q+1,q-d)$, for $d \in \{5,7,9\}$.
Integer Sequences and Monomial Ideals
Published
• View Publication
• BIB
Let $\mathfrak{S}_n$ be the set of all permutations of $[n]=\{1,\ldots,n\}$ and let $W$ be the subset consisting of permutations $σ\in \mathfrak{S}_n$ avoiding 132 and 312-patterns. The monomial ideal $I_W = \left\langle \mathbf{x}^σ = \prod_{i=1}^n x_i^{σ(i)} : σ\in W \right\rangle $ in the polynomial ring $R = k[x_1,\ldots,x_n]$ over a field $k$ is called a hypercubic ideal in the article (Certain variants of multipermutohedron ideals, Proc. Indian Acad. Sci.(Math Sci. Vol. 126, No.4, (2016), 479-500). The Alexander dual $I_W^{[\mathbf{n}]}$ of $I_W$ with respect to $\mathbf{n}=(n,\ldots,n)$ has the minimal cellular resolution supported on the first barycentric subdivision $\mathbf{Bd}(Δ_{n-1})$ of an $n-1$-simplex $Δ_{n-1}$. We show that the number of standard monomials of the Artinian quotient $\frac{R}{I_W^{[\mathbf{n}]}}$ equals the number of rooted-labelled unimodal forests on the vertex set $[n]$. In other words,
\[ \dim_k\left(\frac{R}{I_W^{[\mathbf{n}]}}\right) =
\sum_{r=1}^n r!~s(n,r) = {\rm Per}\left([m_{ij}]_{n \times n} \right),\] where $s(n,r)$ is the (signless) Stirling number of the first kind and ${\rm Per}([m_{ij}]_{n \times n})$ is the permanent of the matrix $[m_{ij}]$ with $m_{ii}=i$ and $m_{ij}=1$ for $i \ne j$. For various subsets $S$ of $\mathfrak{S}_n$ consisting of permutations avoiding patterns, the corresponding integer sequences $\left\lbrace \dim_k\left(\frac{R}{I_S^{[\mathbf{n}]}}\right) \right\rbrace_{n=1}^{\infty}$ are identified.
On a conjecture related to integer-valued polynomials
Using the following $_4F_3$ transformation formula $$ \sum_{k=0}^{n}{-x-1\choose k}^2{x\choose n-k}^2=\sum_{k=0}^{n}{n+k\choose 2k}{2k\choose k}^2{x+k\choose 2k}, $$ which can be proved by Zeilberger's algorithm, we confirm some special cases of a recent conjecture of Z.-W. Sun on integer-valued polynomials.
Strictness of the log-concavity of generating polynomials of matroids
Published
• View Publication
• BIB
Recently, it was proved by Anari-Oveis Gharan-Vinzant, Anari-Liu-Oveis Gharan-Vinzant and Brändén-Huh that, for any matroid $M$, its basis generating polynomial and its independent set generating polynomial are log-concave on the positive orthant. Using these, they obtain some combinatorial inequalities on matroids including a solution of strong Mason's conjecture. In this paper, we study the strictness of the log-concavity of these polynomials and determine when equality holds in these combinatorial inequalities. We also consider a generalization of our result to morphisms of matroids.
Double Lowering Operators on Polynomial
Published in SIGMA 17 (2021), 009, 38 pages
• View Publication
• BIB
Recently Sarah Bockting-Conrad introduced the double lowering operator $ψ$ for a tridiagonal pair. Motivated by $ψ$ we consider the following problem about polynomials. Let $\mathbb F$ denote an algebraically closed field. Let $x$ denote an indeterminate, and let $\mathbb F\lbrack x \rbrack$ denote the algebra consisting of the polynomials in $x$ that have all coefficients in $\mathbb F$. Let $N$ denote a positive integer or $\infty$. Let $\lbrace a_i\rbrace_{i=0}^{N-1}$, $\lbrace b_i\rbrace_{i=0}^{N-1}$ denote scalars in $\mathbb F$ such that $\sum_{h=0}^{i-1} a_h \not= \sum_{h=0}^{i-1} b_h$ for $1 \leq i \leq N$. For $0 \leq i \leq N$ define polynomials $τ_i, η_i \in \mathbb F\lbrack x \rbrack$ by $τ_i = \prod_{h=0}^{i-1} (x-a_h)$ and $η_i = \prod_{h=0}^{i-1} (x-b_h)$. Let $V$ denote the subspace of $\mathbb F\lbrack x \rbrack$ spanned by $\lbrace x^i\rbrace_{i=0}^N$. An element $ψ\in \operatorname{End}(V)$ is called double lowering whenever $ψτ_i \in \mathbb F τ_{i-1}$ and $ψη_i \in \mathbb F η_{i-1}$ for $0 \leq i \leq N$, where $τ_{-1}=0$ and $η_{-1}=0$. We give necessary and sufficient conditions on $\lbrace a_i\rbrace_{i=0}^{N-1}$, $\lbrace b_i\rbrace_{i=0}^{N-1}$ for there to exist a nonzero double lowering map. There are four families of solutions, which we describe in detail.
Schur Polynomials through Lindström Gessel Viennot Lemma
In this article, we use Lindström Gessel Viennot Lemma to give a short, combinatorial, visualizable proof of the identity of Schur polynomials -- the sum of monomials of Young tableaux equals to the quotient of determinants. As a by-product, we have a proof of Vandermonde determinant without words. We also prove the cauchy identity. In the remarks, we discuss factorial Schur polynomials, dual Cauchy identity and the relation beteen Newton interpolation formula.
Independent sets in ($P_4+P_4$,Triangle)-free graphs
Published
• View Publication
• BIB
The Maximum Weight Independent Set Problem (WIS) is a well-known NP-hard problem. A popular way to study WIS is to detect graph classes for which WIS can be solved in polynomial time, with particular reference to hereditary graph classes, i.e., defined by a hereditary graph property or equivalently by forbidding one or more induced subgraphs. Given two graphs $G$ and $H$, $G+H$ denotes the disjoint union of $G$ and $H$. This manuscript shows that (i) WIS can be solved for ($P_4+P_4$, Triangle)-free graphs in polynomial time, where a $P_4$ is an induced path of four vertices and a Triangle is a cycle of three vertices, and that in particular it turns out that (ii) for every ($P_4+P_4$, Triangle)-free graph $G$ there is a family ${\cal S}$ of subsets of $V(G)$ inducing (complete) bipartite subgraphs of $G$, which contains polynomially many members and can be computed in polynomial time, such that every maximal independent set of $G$ is contained in some member of ${\cal S}$. These results seem to be harmonic with respect to other polynomial results for WIS on certain [subclasses of] $S_{i,j,k}$-free graphs and to other structure results on [subclasses of] Triangle-free graphs.
A Real Polynomial for Bipartite Graph Minimum Weight Perfect Matchings
In a recent paper, Beniamini and Nisan gave a closed-form formula for the unique multilinear polynomial for the Boolean function determining whether a given bipartite graph $G \subseteq K_{n,n}$ has a perfect matching, together with an efficient algorithm for computing the coefficients of the monomials of this polynomial. We give the following generalization: Given an arbitrary non-negative weight function $w$ on the edges of $K_{n,n}$, consider its set of minimum weight perfect matchings. We give the real multilinear polynomial for the Boolean function which determines if a graph $G \subseteq K_{n,n}$ contains one of these minimum weight perfect matchings.
On the largest eigenvalue of a mixed graph with partial orientation
Published in Linear Algebra and its Applications, 627(2021),150-161
• View Publication
• BIB
Let $G$ be a connected graph and let $T$ be a spanning tree of $G$. A partial orientation $σ$ of $G$ respect to $T$ is an orientation of the edges of $G$ except those edges of $T$, the resulting graph associated with which is denoted by $G_T^σ$. In this paper we prove that there exists a partial orientation $σ$ of $G$ respect to $T$ such that the largest eigenvalue of the Hermitian adjacency matrix of $G_T^σ$ is at most the largest absolute value of the roots of the matching polynomial of $G$.
Some multivariate master polynomials for permutations, set partitions, and perfect matchings, and their continued fractions
Published in Adv. Appl. Math. 138, 102341 (2022)
• View Publication
• BIB
We find Stieltjes-type and Jacobi-type continued fractions for some "master polynomials" that enumerate permutations, set partitions or perfect matchings with a large (sometimes infinite) number of simultaneous statistics. Our results contain many previously obtained identities as special cases, providing a common refinement of all of them.
Mixing time of the switch Markov chain and stable degree sequences
Published
• View Publication
• BIB
The switch chain is a well-studied Markov chain which can be used to sample approximately uniformly from the set $Ω(\boldsymbol{d})$ of all graphs with a given degree sequence $\boldsymbol{d}$. Polynomial mixing time (rapid mixing) has been established for the switch chain under various conditions on the degree sequences. Amanatidis and Kleer introduced the notion of strongly stable families of degree sequences, and proved that the switch chain is rapidly mixing for any degree sequence from a strongly stable family. Using a different approach, Erdős et al. recently extended this result to the (possibly larger) class of P-stable degree sequences, introduced by Jerrum and Sinclair in 1990. We define a new notion of stability for a given degree sequence, namely $k$-\emph{stability}, and prove that if a degree sequence $\boldsymbol{d}$ is 8-stable then the switch chain on $Ω(\boldsymbol{d})$ is rapidly mixing. We also provide sufficient conditions for P-stability, strong stability and 8-stability. Using these sufficient conditions, we give the first proof of P-stability for various families of heavy-tailed degree sequences, including power-law degree sequences, and show that the switch chain is rapidly mixing for these families.
We further extend these notions and results to directed degree sequences.
Exact capacitated domination: on the computational complexity of uniqueness
Published
• View Publication
• BIB
In this paper we consider a local service-requirement assignment problem named exact capacitated domination from an algorithmic point of view. This problem aims to find a solution (a Nash equilibrium) to a game-theoretic model of public good provision. In the problem we are given a capacitated graph, a graph with a parameter defined on each vertex that is interpreted as the capacity of that vertex. The objective is to find a DP-Nash subgraph: a spanning bipartite subgraph with partite sets D and P, called the D-set and P-set respectively, such that no vertex in P is isolated and that each vertex in D is adjacent to a number of vertices equal to its capacity. We show that whether a capacitated graph has a unique DP-Nash subgraph can be decided in polynomial time. However, we also show that the nearby problem of deciding whether a capacitated graph has a unique D-set is co-NP-complete.
Subdivisions of Shellable Complexes
Published
• View Publication
• BIB
In geometric, algebraic, and topological combinatorics, the unimodality of combinatorial generating polynomials is frequently studied. Unimodality follows when the polynomial is (real) stable, a property often deduced via the theory of interlacing polynomials. Many of the open questions on stability and unimodality of polynomials pertain to the enumeration of faces of cell complexes.
In this paper, we relate the theory of interlacing polynomials to the shellability of cell complexes. We first derive a sufficient condition for stability of the $h$-polynomial of a subdivision of a shellable complex. To apply it, we generalize the notion of reciprocal domains for convex embeddings of polytopes to abstract polytopes and use this generalization to define the family of stable shellings of a polytopal complex. We characterize the stable shellings of cubical and simplicial complexes, and apply this theory to answer a question of Brenti and Welker on barycentric subdivisions for the well-known cubical polytopes. We also give a positive solution to a problem of Mohammadi and Welker on edgewise subdivisions of cell complexes. We end by relating the family of stable line shellings to the combinatorics of hyperplane arrangements. We pose related questions, answers to which would resolve some long-standing problems while strengthening ties between the theory of interlacing polynomials and the combinatorics of hyperplane arrangements.
Bumpless pipe dreams and alternating sign matrices
Published
• View Publication
• BIB
In their work on the infinite flag variety, Lam, Lee, and Shimozono (2018) introduced objects called bumpless pipe dreams and used them to give a formula for double Schubert polynomials. We extend this formula to the setting of K-theory, giving an expression for double Grothendieck polynomials as a sum over a larger class of bumpless pipe dreams. Our proof relies on techniques found in an unpublished manuscript of Lascoux (2002). Lascoux showed how to write double Grothendieck polynomials as a sum over alternating sign matrices. We explain how to view the Lam-Lee-Shimozono formula as a disguised special case of Lascoux's alternating sign matrix formula.
Knutson, Miller, and Yong (2009) gave a tableau formula for vexillary Grothendieck polynomials. We recover this formula by showing vexillary marked bumpless pipe dreams and flagged set-valued tableaux are in weight preserving bijection. Finally, we give a bijection between Hecke bumpless pipe dreams and decreasing tableaux. The restriction of this bijection to Edelman-Greene bumpless pipe dreams solves a problem of Lam, Lee, and Shimozono.
Expectations of Tutte-related functions of random ranked sets with multiplicities
Published
• View Publication
• BIB
Employing two models, we show that various counting functions of a random variable defined by restriction or contraction of a ranked set with multiplicity (e.g., classical and arithmetic matroids) have expectations given by the corresponding multivariate Tutte polynomial. The first model is based on a generalization of a convolution formula of Kung (2010), extending from matroids to ranked sets with multiplicities. This model enables us to compute the expectations of many familiar polynomials, such as the chromatic, flow and Ehrhart polynomials, generalizing the classical results of Welsh (1996) on random graphs. The second model is designed to compute the expectations of invariants that are generally not evaluations of the polynomials mentioned above, such as the number of connected components of an intersection of hypersurfaces in an abelian Lie group arrangement, and the number of lattice points in a half-open zonotope. In particular, both models yield new probabilistic interpretations of the arithmetic Tutte polynomial and $G$-Tutte polynomial. A simple, but seems to be new convolution-like formula for the Ehrhart polynomials of lattice zonotopes will also be given.
$(GL_k\times S_n)$-Modules of Multivariate Diagonal Harmonics
Published
• View Publication
• BIB
This is the first in a series of papers in which we describe explicit structural properties of spaces of diagonal rectangular harmonic polynomials in $k$ sets of $n$ variables, both as $GL_k$-modules and $S_n$-modules, as well as some of there relations to areas such as Algebraic Combinatorics, Representation Theory, Algebraic Geometry, Knot Theory, and Theoretical Physics. Our global aim is to develop a unifying point of view for several areas of research of the last two decades having to do with Macdonald Polynomials Operator Theory, Diagonal Coinvariant Spaces, Rectangular-Catalan Combinatorics, the Delta-Conjecture, Hilbert Scheme of Points in the Plane, Khovanov-Rozansky Homology of $(m,n)$-Torus links, etc.
The regularity and $h$-polynomial of Cameron-Walker graphs
Published
• View Publication
• BIB
Fix an integer $n \geq 1$, and consider the set of all connected finite simple graphs on $n$ vertices. For each $G$ in this set, let $I(G)$ denote the edge ideal of $G$ in the polynomial ring $R = K[x_1,\ldots,x_n]$. We initiate a study of the set $\mathcal{RD}(n) \subseteq \mathbb{N}^2$ consisting of all the pairs $(r,d)$ where $r = {\rm reg}(R/I(G))$, the Castelnuovo-Mumford regularity, and $d = {\rm deg} h_{R/I(G)}(t)$, the degree of the $h$-polynomial, as we vary over all the connected graphs on $n$ vertices. In particular, we identify sets $A(n)$ and $B(n)$ such that $A(n) \subseteq \mathcal{RD}(n) \subseteq B(n)$. When we restrict to the family of Cameron-Walker graphs on $n$ vertices, we can completely characterize all the possible $(r,d)$.
Approximation algorithm for the Multicovering Problem
Published
• View Publication
• BIB
Let $\mathcal{H}=(V,\mathcal{E})$ be a hypergraph with maximum edge size $\ell$ and maximum degree $Δ$. For given numbers $b_v\in \mathbb{N}_{\geq 2}$, $v\in V$, a set multicover in $\mathcal{H}$ is a set of edges $C \subseteq \mathcal{E}$ such that every vertex $v$ in $V$ belongs to at least $b_v$ edges in $C$. Set Multicover is the problem of finding a minimum-cardinality set multicover. Peleg, Schechtman and Wool conjectured that for any fixed $Δ$ and $b:=\min_{v\in V}b_{v}$, the problem of \sbmultcov is not approximable within a ratio less than $δ:=Δ-b+1$, unless $\mathcal{P} =\mathcal{NP}$. Hence it's a challenge to explore for which classes of hypergraph the conjecture doesn't hold.
We present a polynomial time algorithm for the Set Multicover problem which combines a deterministic threshold algorithm with conditioned randomized rounding steps. Our algorithm yields an approximation ratio of $ \max\left\{ \frac{148}{149}δ, \left(1- \frac{ (b-1)e^{\fracδ{4}}}{94\ell} \right)δ\right\}$. Our result not only improves over the approximation ratio presented by Srivastav et al (Algorithmica 2016) but it's more general since we set no restriction on the parameter $\ell$. Moreover we present a further polynomial time algorithm with an approximation ratio of $\frac{5}{6}δ$ for hypergraphs with $\ell\leq (1+ε)\bar{\ell}$ for any fixed $ε\in [0,\frac{1}{2}]$, where $\bar{\ell}$ is the average edge size. The analysis of this algorithm relies on matching/covering duality due to Ray-Chaudhuri (1960), which we convert into an approximative form. The second performance disprove the conjecture of peleg et al for a large subclass of hypergraphs.
Intersection distribution, non-hitting index and Kakeya sets in affine planes
Published
• View Publication
• BIB
We propose the concepts of intersection distribution and non-hitting index, which can be viewed from two related perspectives. The first one concerns a point set $S$ of size $q+1$ in the classical projective plane $PG(2,q)$, where the intersection distribution of $S$ indicates the intersection pattern between $S$ and the lines in $PG(2,q)$. The second one relates to a polynomial $f$ over a finite field $\mathbb{F}_q$, where the intersection distribution of $f$ records an overall distribution property of a collection of polynomials $\{f(x)+cx \mid c \in \mathbb{F}_q\}$. These two perspectives are closely related, in the sense that each polynomial produces a $(q+1)$-set in a canonical way and conversely, each $(q+1)$-set with certain property has a polynomial representation. Indeed, the intersection distribution provides a new angle to distinguish polynomials over finite fields, based on the geometric property of the corresponding $(q+1)$-sets. Among the intersection distribution, we identify a particularly interesting quantity named non-hitting index. For a point set $S$, its non-hitting index counts the number of lines in $PG(2,q)$ which do not hit $S$. For a polynomial $f$ over a finite field $\mathbb{F}_q$, its non-hitting index gives the summation of the sizes of $q$ value sets $\{f(x)+cx \mid x \in \mathbb{F}_q\}$, where $c \in \mathbb{F}_q$. We derive bounds on the non-hitting index and show that the non-hitting index contains much information about the corresponding set and the polynomial. More precisely, using a geometric approach, we show that the non-hitting index is sufficient to characterize the corresponding point set and the polynomial when it is close to the lower and upper bounds. Moreover, we employ an algebraic approach to derive the intersection distribution of several families of point sets and polynomials, and compute the sizes of related Kakeya sets in affine planes.