polynomial
11422 papers tagged with this keyword
A Probabilistic Characterization of the Dominance Order on Partitions
Published
• View Publication
• BIB
A probabilistic characterization of the dominance partial order on the set of partitions is presented. This extends work in "Symmetric polynomials and symmetric mean inequalities". Electron. J. Combin., 20(3): Paper 34, 2013.
Let $n$ be a positive integer and let $ν$ be a partition of $n$. Let $F$ be the Ferrers diagram of $ν$. Let $m$ be a positive integer and let $p \in (0,1)$. Fill each cell of $F$ with balls, the number of which is independently drawn from the random variable $X = Bin(m,p)$. Given non-negative integers $j$ and $t$, let $P(ν,j,t)$ be the probability that the total number of balls in $F$ is $j$ and that no row of $F$ contains more that $t$ balls. We show that if $ν$ and $μ$ are partitions of $n$, then $ν$ dominates $μ$, i.e. $\sum_{i=1}^k ν(i) \geq \sum_{i=1}^k μ(i)$ for all positive integers $k$, if and only if $P(ν,j,t) \leq P(μ,j,t)$ for all non-negative integers $j$ and $t$. It is also shown that this same result holds when $X$ is replaced by any one member of a large class of random variables.
Let $p = \{p_n\}_{n=0}^\infty$ be a sequence of real numbers. Let ${\cal T}_p$ be the $\mathbb{N}$ by $\mathbb{N}$ matrix with $({\cal T}_p)_{i,j} = p_{j-i}$ for all $i, j \in \mathbb{N}$ where we take $p_n = 0$ for $n < 0$. Let $(p^i)_j$ be the coefficient of $x^j$ in $(p(x))^i$ where $p(x) = \sum_{n=0}^\infty p_n x^n$ and $p^0(x) =1$. Let ${\cal S}_p$ be the $\mathbb{N}$ by $\mathbb{N}$ matrix with $({\cal S}_p)_{i,j} = (p^i)_j$ for all $i, j \in \mathbb{N}$. We show that if ${\cal T}_p$ is totally non-negative of order $k$ then so is ${\cal S}_p$. The case $k=2$ of this result is a key step in the proof of the result on domination. We also show that the case $k=2$ would follow from a combinatorial conjecture that might be of independent interest.
Rectangular Kronecker coefficients and plethysms in geometric complexity theory
Published
• View Publication
• BIB
We prove that in the geometric complexity theory program the vanishing of rectangular Kronecker coefficients cannot be used to prove superpolynomial determinantal complexity lower bounds for the permanent polynomial.
Moreover, we prove the positivity of rectangular Kronecker coefficients for a large class of partitions where the side lengths of the rectangle are at least quadratic in the length of the partition. We also compare rectangular Kronecker coefficients with their corresponding plethysm coefficients, which leads to a new lower bound for rectangular Kronecker coefficients. Moreover, we prove that the saturation of the rectangular Kronecker semigroup is trivial, we show that the rectangular Kronecker positivity stretching factor is 2 for a long first row, and we completely classify the positivity of rectangular limit Kronecker coefficients that were introduced by Manivel in 2011.
Generalized Weyl modules, alcove paths and Macdonald polynomials
Classical local Weyl modules for a simple Lie algebra are labeled by dominant weights. We generalize the definition to the case of arbitrary weights and study the properties of the generalized modules. We prove that the representation theory of the generalized Weyl modules can be described in terms of the alcove paths and the quantum Bruhat graph. We make use of the Orr-Shimozono formula in order to prove that the $t=\infty$ specializations of the nonsymmetric Macdonald polynomials are equal to the characters of certain generalized Weyl modules.
On Euclidean $t$-designs
A Euclidean $t$-design, as introduced by Neumaier and Seidel (1988), is a finite set ${\cal X} \subset \mathbb{R}^n$ with a weight function $w: {\cal X} \rightarrow \mathbb{R}^+$ for which $$\sum_{r \in R} W_r \overline{f}_{S_{r}} = \sum_{{\bf x} \in {\cal X}} w({\bf x}) f({\bf x})$$ holds for every polynomial $f$ of total degree at most $t$; here $R$ is the set of norms of the points in ${\cal X}$, $W_r$ is the total weight of all elements of ${\cal X}$ with norm $r$, $S_r$ is the $n$-dimensional sphere of radius $r$ centered at the origin, and $\overline{f}_{S_{r}}$ is the average of $f$ over $S_{r}$. Neumaier and Seidel (1988), as well as Delsarte and Seidel (1989), also proved a Fisher-type inequality $|{\cal X}| \geq N(n,|R|,t)$ (assuming that the design is antipodal if $t$ is odd). For fixed $n$ and $|R|$ we have $N(n,|R|,t)=O(t^{n-1})$. In Part I of this paper we provide a recursive construction for Euclidean $t$-designs in $\mathbb{R}^n$. Namely, we show how to use certain Gauss--Jacobi quadrature formulae to "lift" a Euclidean $t$-design in $\mathbb{R}^{n-1}$ to a Euclidean $t$-design in $\mathbb{R}^{n}$, preserving both the norm spectrum $R$ and the weight sum $W_r$ for each $r \in R$. A Euclidean design with exactly $N(n,|R|,t)$ points is called tight. In Part II of this paper we construct tight Euclidean designs for $n=2$ and every $t$ and $|R|$ with $|R| \leq \frac{t+5}{4}$. We also provide examples for tight Euclidean designs with $(n,|R|,t) \in \{(3,2,5),(3,3,7),(4,2,7)\}$.
Crossing Number is Hard for Kernelization
The graph crossing number problem, cr(G)<=k, asks for a drawing of a graph G in the plane with at most k edge crossings. Although this problem is in general notoriously difficult, it is fixed- parameter tractable for the parameter k [Grohe]. This suggests a closely related question of whether this problem has a polynomial kernel, meaning whether every instance of cr(G)<=k can be in polynomial time reduced to an equivalent instance of size polynomial in k (and independent of |G|). We answer this question in the negative. Along the proof we show that the tile crossing number problem of twisted planar tiles is NP-hard, which has been an open problem for some time, too, and then employ the complexity technique of cross-composition. Our result holds already for the special case of graphs obtained from planar graphs by adding one edge.
Closest integer polynomial multiple recurrence along shifted primes
Published
• View Publication
• BIB
Following an approach presented by N. Frantzikinakis, B. Host and B. Kra, we show that the parameters in the multidimensional Szemerédi theorem for closest integer polynomials have non-empty intersection with the set of shifted primes $\mathbb{P}-1$ (or similarly of $\mathbb{P}+1$). Using the Furstenberg Correspondence Principle, we show this result by recasting it as a polynomial multiple recurrence result in measure ergodic theory. Furthermore, we obtain integer part polynomial convergence results by the same method, which is a transference principle that enables one to deduce results for $\mathbb{Z}$-actions from results for flows. We also give some applications of our approach on Gowers uniform sets.
On an ordering-dependent generalization of Tutte polynomial
Published in J. Stat. Phys. 168, 5 pp. 1105-1124 (2017)
• View Publication
• BIB
A generalization of Tutte polynomial involved in the evaluation of the moments of the integrated geometric Brownian in the Ito formalism is discussed. The new combinatorial invariant depends on the order in which the sequence of contraction-deletions have been performed on the graph. Thus, this work provides a motivation for studying an order-dependent Tutte polynomial in the context of stochastic differential equations. We show that in the limit of the control parameters encoding the ordering going to zero, the multivariate Tutte-Fortuin-Kasteleyn polynomial is recovered.
Fourientation activities and the Tutte polynomial
Published in European Journal of Combinatorics 67, 40-60 (2018)
• View Publication
• BIB
A fourientation of a graph $G$ is a choice for each edge of the graph whether to orient that edge in either direction, leave it unoriented, or biorient it. We may naturally view fourientations as a mixture of subgraphs and graph orientations where unoriented and bioriented edges play the role of absent and present subgraph edges, respectively. Building on work of Backman and Hopkins (2015), we show that given a linear order and a reference orientation of the edge set, one can define activities for fourientations of $G$ which allow for a new 12 variable expansion of the Tutte polynomial $T_G$. Our formula specializes to both the Las Vergnas (1984) orientation activites expansion of the Tutte polynomial and the generalized activities expansion of Gordon and Traldi (1990).
Block Stanley decompositions I. Elementary and gnomon decompositions
Published in J. of Pure and Applied Algebra 219 (2015) 2189-2205
• View Publication
• BIB
Stanley decompositions are used in invariant theory and the theory of normal forms for dynamical systems to provide a unique way of writing each invariant as a polynomial in the Hilbert basis elements. Since the required Stanley decompositions can be very long, we introduce a more concise notation called a block decomposition, along with three notions of shortness (incompressibility, minimality of Stanley spaces, and minimality of blocks) for block decompositions. We give two algorithms that generate different block decompositions, which we call elementary and gnomon decompositions, and give examples. Soleyman-Jahan's criterion for a Stanley decomposition to come from a prime filtration is reformulated to apply to block decompositions. We simplify his proof, and apply the theorem to show that elementary and gnomon decompositions come from "subprime" filtrations. In a sequel to this paper we will introduce two additional algorithms that generate block decompositions that may not always be subprime, but are always incompressible.
Pruned double Hurwitz numbers
Published in Electron. J. Comb. 24, No. 3, Research Paper P3.66, 2017
• View Publication
• BIB
Hurwitz numbers count ramified genus $g$, degree $d$ coverings of the projective line with with fixed branch locus and fixed ramification data. Double Hurwitz numbers count such covers, where we fix two special profiles over $0$ and $\infty$ and only simple ramification else. These objects feature insteresting structural behaviour and connections to geometry. In this paper, we introduce the notion of pruned double Hurwitz numbers, generalizing the notion of pruned simple Hurwitz numbers in \cite{DN13}. We show that pruned double Hurwitz numbers, similar to usual double Hurwitz numbers, satisfy a cut-and-join recursion and are piecewise polynomial with respect to the entries of the two special ramification profiles. Furthermore double Hurwitz numbers can be computed from pruned double Hurwitz numbers. To sum up, it can be said that pruned double Hurwitz numbers count a relevant subset of covers, leading to considerably smaller numbers and computations, but still featuring the important properties we can observe for double Hurwitz numbers.
Restricted Product Sets under Unique Representability
We prove some results of Kemperman--Scherk type for restricted product sets in multiplicative groups of fields (in particular, for cyclic groups). The proofs use polynomial method.
Laplacian Coefficient, Matching Polynomial and Incidence Energy of of Trees with Described Maximum Degree
Published
• View Publication
• BIB
Let $\mathcal{L}(T,λ)=\sum_{k=0}^n(-1)^{k}c_{k}(T)λ^{n-k}$ be the characteristic polynomial of its Laplacian matrix of a tree $T$. This paper studied some properties of the generating function of the coefficients sequence $(c_0, \cdots, c_n)$ which are related with the matching polynomials of division tree of $T$. These results, in turn, are used to characterize all extremal trees having the minimum Laplacian coefficient generation function and the minimum incidence energy of trees with described maximum degree, respectively.
Matroid invariants and counting graph homomorphisms
Published
• View Publication
• BIB
The number of homomorphisms from a finite graph $F$ to the complete graph $K_n$ is the evaluation of the chromatic polynomial of $F$ at $n$. Suitably scaled, this is the Tutte polynomial evaluation $T(F;1-n,0)$ and an invariant of the cycle matroid of $F$. De la Harpe and Jaeger \cite{dlHJ95} asked more generally when is it the case that a graph parameter obtained from counting homomorphisms from $F$ to a fixed graph $G$ depends only on the cycle matroid of $F$. They showed that this is true when $G$ has a generously transitive automorphism group (examples include Cayley graphs on an abelian group, and Kneser graphs).
Using tools from multilinear algebra, we prove the converse statement, thus characterizing finite graphs $G$ for which counting homomorphisms to $G$ yields a matroid invariant. We also extend this result to finite weighted graphs $G$ (where to count homomorphisms from $F$ to $G$ includes such problems as counting nowhere-zero flows of $F$ and evaluating the partition function of an interaction model on $F$).
Pretzel Knots and q-Series
The tail of the colored Jones polynomial of an alternating link is a $q$-series invariant whose first $n$ terms coincide with the first $n$ terms of the $n$-th colored Jones polynomial. Recently, it has been shown that the tail of the colored Jones polynomial of torus knots give rise to Ramanujan type identities. In this paper, we study $q$-series identities coming from the colored Jones polynomial of pretzel knots. We prove a false theta function identity that goes back to Ramanujan and we give a natural generalization of this identity using the tail of the colored Jones polynomial of Pretzel knots. Furthermore, we compute the tail for an infinite family of Pretzel knots and relate it to false theta function-type identities.
The Asymptotic Distribution of Symbols on Diagonals of Random Weighted Staircase Tableaux
Published
• View Publication
• BIB
Staircase tableaux are combinatorial objects that were first introduced due to a connection with the asymmetric simple exclusion process (ASEP) and Askey-Wilson polynomials. Since their introduction, staircase tableaux have been the object of study in many recent papers. Relevant to this paper, the distri- bution of parameters on the first diagonal was proven to be asymptotically normal. In that same paper, a conjecture was made that the other diagonals would be asymptotically Poisson. Since then, only the second and the third diagonal were proven to follow the conjecture. This paper builds upon those results to prove the conjecture for fixed k. In particular, we prove that the distribution of the number of alphas (betas) on the kth diagonal, k > 1, is asymptotically Poisson with parameter 1\2. In addition, we prove that symbols on the kth diagonal are asymptotically independent and thus, collectively follow the Poisson distribution with parameter 1.
Hitting Set for hypergraphs of low VC-dimension
We study the complexity of the Hitting Set problem in set systems (hypergraphs) that avoid certain sub-structures. In particular, we characterize the classical and parameterized complexity of the problem when the Vapnik-Chervonenkis dimension (VC-dimension) of the input is small. VC-dimension is a natural measure of complexity of set systems. Several tractable instances of Hitting Set with a geometric or graph-theoretical flavor are known to have low VC-dimension. In set systems of bounded VC-dimension, Hitting Set is known to admit efficient and almost optimal approximation algorithms (Brönnimann and Goodrich, 1995; Even, Rawitz, and Shahar, 2005; Agarwal and Pan, 2014).
In contrast to these approximation-results, a low VC-dimension does not necessarily imply tractability in the parameterized sense. In fact, we show that Hitting Set is W[1]-hard already on inputs with VC-dimension 2, even if the VC-dimension of the dual set system is also 2. Thus, Hitting Set is very unlikely to be fixed-parameter tractable even in this arguably simple case. This answers an open question raised by King in 2010. For set systems whose (primal or dual) VC-dimension is 1, we show that Hitting Set is solvable in polynomial time.
To bridge the gap in complexity between the classes of inputs with VC-dimension 1 and 2, we use a measure that is more fine-grained than VC-dimension. In terms of this measure, we identify a sharp threshold where the complexity of Hitting Set transitions from polynomial-time-solvable to NP-hard. The tractable class that lies just under the threshold is a generalization of Edge Cover, and thus extends the domain of polynomial-time tractability of Hitting Set.
Antifactors of regular bipartite graphs
Published in Discrete Mathematics & Theoretical Computer Science, vol. 22 no. 1, Graph Theory (June 4, 2020) dmtcs:3233
• View Publication
• BIB
Let $G=(X,Y;E)$ be a bipartite graph, where $X$ and $Y$ are color classes and $E$ is the set of edges of $G$. Lovász and Plummer \cite{LoPl86} asked whether one can decide in polynomial time that a given bipartite graph $G=(X,Y; E)$ admits a 1-anti-factor, that is subset $F$ of $E$ such that $d_F(v)=1$ for all $v\in X$ and $d_F(v)\neq 1$ for all $v\in Y$. Cornuéjols \cite{CHP} answered this question in the affirmative. Yu and Liu \cite{YL09} asked whether, for a given integer $k\geq 3$, every $k$-regular bipartite graph contains a 1-anti-factor. This paper answers this question in the affirmative.
Chromatic roots and limits of dense graphs
Published in Discrete Math. 340 (2017), no. 5, 1129-1135
• View Publication
• BIB
In this short note we observe that recent results of Abert and Hubai and of Csikvari and Frenkel about Benjamini--Schramm continuity of the holomorphic moments of the roots of the chromatic polynomial extend to the theory of dense graph sequences. We offer a number of problems and conjectures motivated by this observation.
4-coloring ($P_6$, bull)-free graphs
We present a polynomial-time algorithm that determines whether a graph that contains no induced path on six vertices and no bull (the graph with vertices a, b, c, d, e and edges ab, bc, cd, be, ce) is 4-colorable. We also show that for any fixed k the k-coloring problem can be solved in polynomial time in the class of ($P_6$, bull, gem)-free graphs.
Domination polynomial of lexicographic product of specific graphs
Published
• View Publication
• BIB
Let $G$ be a simple graph of order $n$. The domination polynomial of $G$ is the polynomial $D(G,λ)=\sum_{i=0}^{n} d(G,i) λ^{i}$, where $d(G,i)$ is the number of dominating sets of $G$ of size $i$. We consider the lexicographic product of two specific graphs and study their domination polynomials.