polynomial
11432 papers tagged with this keyword
Chromatic polynomials of random graphs
Published in J. Phys. A: Math. Theor. 43 175002 (2010)
• View Publication
• BIB
Chromatic polynomials and related graph invariants are central objects in both graph theory and statistical physics. Computational difficulties, however, have so far restricted studies of such polynomials to graphs that were either very small, very sparse or highly structured. Recent algorithmic advances (Timme et al 2009 New J. Phys. 11 023001) now make it possible to compute chromatic polynomials for moderately sized graphs of arbitrary structure and number of edges. Here we present chromatic polynomials of ensembles of random graphs with up to 30 vertices, over the entire range of edge density. We specifically focus on the locations of the zeros of the polynomial in the complex plane. The results indicate that the chromatic zeros of random graphs have a very consistent layout. In particular, the crossing point, the point at which the chromatic zeros with non-zero imaginary part approach the real axis, scales linearly with the average degree over most of the density range. While the scaling laws obtained are purely empirical, if they continue to hold in general there are significant implications: the crossing points of chromatic zeros in the thermodynamic limit separate systems with zero ground state entropy from systems with positive ground state entropy, the latter an exception to the third law of thermodynamics.
Deletion theorem and combinatorics of hyperplane arrangements
Published
• View Publication
• BIB
We show that the deletion theorem of a free arrangement is combinatorial, i.e., whether we can delete a hyperplane from a free arrangement keeping freeness depends only on the intersection lattice. In fact, we give an explicit sufficient and necessary condition for the deletion theorem in terms of characteristic polynomials. This gives a lot of corollaries including the existence of free filtrations. The proof is based on the result about the form of minimal generators of a logarithmic derivation module of a multiarrangement which satisfies the $b_2$-equality.
On Bergeron's positivity problem for $q$-binomial coefficients
Published in Electron. J. Combin. 25 (2018), no. 2, Paper P2.17
• View Publication
• BIB
F. Bergeron recently asked the intriguing question whether $\binom{b+c}{b}_q -\binom{a+d}{d}_q$ has nonnegative coefficients as a polynomial in $q$, whenever $a,b,c,d$ are positive integers, $a$ is the smallest, and $ad=bc$. We conjecture that, in fact, this polynomial is also always unimodal, and combinatorially show our conjecture for $a\le 3$ and any $b,c\ge 4$. The main ingredient will be a novel (and rather technical) application of Zeilberger's KOH theorem.
Fractional matching preclusion number of graphs
Published
• View Publication
• BIB
Let $G$ be a graph with an even number of vertices. The matching preclusion number of $G$, denoted by $mp(G)$, is the minimum number of edges whose deletion leaves the resulting graph without a perfect matching. We introduced a $0$-$1$ linear programming which can be used to find matching preclusion number of graphs. In this paper, by relaxing of the $0$-$1$ linear programming we obtain a linear programming and call its optimal objective value as fractional matching preclusion number of graph $G$, denoted by $mp_f(G)$. We show $mp_f(G)$ can be computed in polynomial time for any graph $G$. By using perfect matching polytope, we transform it as a new linear programming whose optimal value equals the reciprocal of $mp_f(G)$. For bipartite graph $G$, we obtain an explicit formula for $mp_f(G)$ and show that $\lfloor mp_f(G) \rfloor$ is the maximum integer $k$ such that $G$ has a $k$-factor. Moreover, for any two bipartite graphs $G$ and $H$, we show $mp_f(G \square H) \geqslant mp_f(G)+\lfloor mp_f(H) \rfloor$, where $G \square H$ is the Cartesian product of $G$ and $H$.
Finite connected components in infinite directed and multiplex networks with arbitrary degree distributions
Published in Phys. Rev. E 96, 052304 (2017)
• View Publication
• BIB
This work presents exact expressions for size distributions of weak/multilayer connected components in two generalisations of the configuration model: networks with directed edges and multiplex networks with arbitrary number of layers. The expressions are computable in a polynomial time, and, under some restrictions, are tractable from the asymptotic theory point of view. If first partial moments of the degree distribution are finite, the size distribution for two-layer connected components in multiplex networks exhibits exponent $-\frac{3}{2}$ in the critical regime, whereas the size distribution of weakly connected components in directed networks exhibits two critical exponents, $-\frac{1}{2}$ and $-\frac{3}{2}$.
Zeros of the deformed exponential function
Published
• View Publication
• BIB
Let $f(x)=\sum_{n=0}^{\infty}\frac{1}{n!}q^{n(n-1)/2}x^n$ ($0<q<1$) be the deformed exponential function. It is known that the zeros of $f(x)$ are real and form a negative decreasing sequence $(x_k)$ ($k\ge 1$). We investigate the complete asymptotic expansion for $x_{k}$ and prove that for any $n\ge1$, as $k\to \infty$, \begin{align*} x_k=-kq^{1-k}\Big(1+\sum_{i=1}^{n}C_i(q)k^{-1-i}+o(k^{-1-n})\Big), \end{align*} where $C_i(q)$ are some $q$ series which can be determined recursively. We show that each $C_{i}(q)\in \mathbb{Q}[A_0,A_1,A_2]$, where $A_{i}=\sum_{m=1}^{\infty}m^iσ(m)q^m$ and $σ(m)$ denotes the sum of positive divisors of $m$. When writing $C_{i}$ as a polynomial in $A_0, A_1$ and $A_2$, we find explicit formulas for the coefficients of the linear terms by using Bernoulli numbers. Moreover, we also prove that $C_{i}(q)\in \mathbb{Q}[E_2,E_4,E_6]$, where $E_2$, $E_4$ and $E_6$ are the classical Eisenstein series of weight 2, 4 and 6, respectively.
A polynomial bound for the arithmetic $k$-cycle removal lemma in vector spaces
Published
• View Publication
• BIB
For each $k\geq 3$, Green proved an arithmetic $k$-cycle removal lemma for any abelian group $G$. The best known bounds relating the parameters in the lemma for general $G$ are of tower-type. For $k>3$, even in the case $G=\mathbb{F}_2^n$ no better bounds were known prior to this paper. This special case has received considerable attention due to its close connection to property testing of boolean functions. For every $k\geq 3$, we prove a polynomial bound relating the parameters for $G=\mathbb{F}_p^n$, where $p$ is any fixed prime. This extends the result for $k=3$ by the first two authors. Due to substantial issues with generalizing the proof of the $k=3$ case, a new strategy is developed in order to prove the result for $k>3$.
Generalized Permutohedra, Scattering Amplitudes, and a Cubic Three-Fold
In this note, we apply combinatorial techniques from our Ph.D. thesis to study how generalized permutohedra may be represented functionally on Parke-Tayor factors and related rational functions. In any functional representation of polyhedral cones, in general certain homological information may be lost. The combinatorial relations of the Parke-Taylor factors lift homologically to generalized permutohedra.
The 6-particle case contains several related layers of interesting geometric data: the Newton polytope for the polynomial numerator lifts the permutohedron in three variables, which is a hexagon, and the fraction itself provides a functional representation of certain neighborhoods of a vertex of a 5-dimensional weight permutohedron. The lift from fraction to generalized permutohedron was derived by comparing functional representations. We observe additionally that the numerator and its permutations satisfy a degree 3 polynomial relation which defines a classical projective variety known as the Segre cubic.
We include in an extended Appendix selected Mathematica code which can be used to verify our computations independently.
Asymptotic normality of Laplacian coefficients of graphs
Published in J. Math. Anal. Appl. 455 (2017) 2030-2037
• View Publication
• BIB
Let $G$ be a simple graph with $n$ vertices and let $$C(G;x)=\sum_{k=0}^n(-1)^{n-k}c(G,k)x^k$$ denote the Laplacian characteristic polynomial of $G$. Then if the size $|E(G)|$ is large compared to the maximum degree $Δ(G)$, Laplacian coefficients $c(G,k)$ are approximately normally distributed (by central and local limit theorems). We show that Laplacian coefficients of the paths, the cycles, the stars, the wheels and regular graphs of degree $d$ are approximately normally distributed respectively. We also point out that Laplacian coefficients of the complete graphs and the complete bipartite graphs are approximately Poisson distributed respectively.
On compact packings of the plane with circles of three radii
Published
• View Publication
• BIB
A compact circle-packing $P$ of the Euclidean plane is a set of circles which bound mutually disjoint open discs with the property that, for every circle $S\in P$, there exists a maximal indexed set $\{A_{0},\ldots,A_{n-1}\}\subseteq P$ so that, for every $i\in\{0,\ldots,n-1\}$, the circle $A_{i}$ is tangent to both circles $S$ and $A_{i+1\mod n}.$
We show that there exist at most $13617$ pairs $(r,s)$ with $0<s<r<1$ for which there exist a compact circle-packing of the plane consisting of circles with radii $s$, $r$ and $1$.
We discuss computing the exact values of such $0<s<r<1$ as roots of polynomials and exhibit a selection of compact circle-packings consisting of circles of three radii. We also discuss the apparent infeasibility of computing \emph{all} these values on contemporary consumer hardware with the methods employed in this paper.
Depth and Stanley depth of symbolic powers of cover ideals of graphs
Published
• View Publication
• BIB
Let $G$ be a graph with $n$ vertices and let $S=\mathbb{K}[x_1,\dots,x_n]$ be the polynomial ring in $n$ variables over a field $\mathbb{K}$. Assume that $J(G)$ is the cover ideal of $G$ and $J(G)^{(k)}$ is its $k$-th symbolic power. We prove that the sequences $\{{\rm sdepth}(S/J(G)^{(k)})\}_{k=1}^\infty$ and $\{{\rm sdepth}(J(G)^{(k)})\}_{k=1}^\infty$ are non-increasing and hence convergent. Suppose that $ν_{o}(G)$ denotes the ordered matching number of $G$. We show that for every integer $k\geq 2ν_{o}(G)-1$, the modules $J(G)^{(k)}$ and $S/J(G)^{(k)}$ satisfy the Stanley's inequality. We also provide an alternative proof for \cite[Theorem 3.4]{hktt} which states that ${\rm depth}(S/J(G)^{(k)})=n-ν_{o}(G)-1$, for every integer $k\geq 2ν_{o}(G)-1$.
A recursion on maximal chains in the Tamari lattices
Published in Discrete Math. 340 (2017), no. 4, 661--677. MR3603545
• View Publication
• BIB
The Tamari lattices have been intensely studied since their introduction by Dov Tamari around 1960. However oddly enough, a formula for the number of maximal chains is still unknown. This is due largely to the fact that maximal chains in the $n$-th Tamari lattice $\mathcal{T}_{n}$ range in length from $n-1$ to ${n \choose 2}$. In this note, we treat vertices in the lattice as Young diagrams and identify maximal chains as certain tableaux. For each $i\geq-1$, we define $\mathcal{C}_{i}(n)$ as the set of maximal chains in $\mathcal{T}_{n}$ of length $n+i$. We give a recursion for $\#\mathcal{C}_{i}(n)$ and an explicit formula based on predetermined initial values. The formula is a polynomial in $n$ of degree $3i+3$. For example, the number of maximal chains of length $n$ in $\mathcal{T}_{n}$ is $\#\mathcal{C}_{0}(n)={n \choose 3}$. The formula has a combinatorial interpretation in terms of a special property of maximal chains.
Graphical criteria for positive solutions to linear systems
We study linear systems of equations with coefficients in a generic partially ordered ring $R$ and a unique solution, and seek conditions for the solution to be nonnegative, that is, every component of the solution is a quotient of two nonnegative elements in $R$. The requirement of a nonnegative solution arises typically in applications, such as in biology and ecology, where quantities of interest are concentrations and abundances. We provide novel conditions on a labeled multidigraph associated with the linear system that guarantee the solution to be nonnegative. Furthermore, we study a generalization of the first class of linear systems, where the coefficient matrix has a specific block form and provide analogous conditions for nonnegativity of the solution, similarly based on a labeled multidigraph. The latter scenario arises naturally in chemical reaction network theory, when studying full or partial parameterizations of the positive part of the steady state variety of a polynomial dynamical system in the concentrations of the molecular species.
Electrical networks and hyperplane arrangements
Published
• View Publication
• BIB
This paper studies \emph{Dirichlet arrangements}, a generalization of graphic hyperplane arrangements arising from electrical networks and order polytopes of finite posets. We generalize descriptions of combinatorial features of graphic arrangements to Dirichlet arrangements, including characteristic polynomials and supersolvability. We apply these results to visibility sets of order polytopes and fixed-energy harmonic functions on electrical networks.
Order Preserving Maps of Posets
For any two finite posets $P$ and $Q$, let $\Hom(P,Q)$ be the hom-poset consisting of all order preserving maps from $P$ to $Q$, and $J(Q)$ the collection of all order ideals of $Q$. In this paper, we study some basic properties of the hom-poset $\Hom(P,Q)$ and prove that $\Hom\big(P,J(Q)\big)$ is a distributive lattice and characterized by \[ \Hom\big(P,J(Q)\big)\cong J(P^*\times Q), \] where $P^*$ is the dual of $P$. Consequently, we obtain that $\Hom\big(P,J(Q)\big)$ and $\Hom\big(Q,J(P)\big)$ are dual isomorphic, i.e., \[ \Hom\big(P,J(Q)\big)\cong \Hom^{*}\big(Q,J(P)\big). \] As applications, we calculate the number of order preserving maps from any poset to the boolean algebra, and the characteristic polynomial of $\Hom\big(P,J(Q)\big)$.
Parking cars after a trailer
Recently, the authors extended the notion of parking functions to parking sequences, which include cars of different sizes, and proved a product formula for the number of such sequences. We here give a refinement of that result involving parking the cars after a trailer. The proof of the refinement uses a multi-parameter extension of the Abel--Rothe polynomial due to Strehl.
New maximum scattered linear sets of the projective line
In [2] and [19] are presented the first two families of maximum scattered $\mathbb{F}_q$-linear sets of the projective line $\mathrm{PG}(1,q^n)$. More recently in [23] and in [5], new examples of maximum scattered $\mathbb{F}_q$-subspaces of $V(2,q^n)$ have been constructed, but the equivalence problem of the corresponding linear sets is left open.
Here we show that the $\mathbb{F}_q$-linear sets presented in [23] and in [5], for $n=6,8$, are new. Also, for $q$ odd, $q\equiv \pm 1,\,0 \pmod 5$, we present new examples of maximum scattered $\mathbb{F}_q$-linear sets in $\mathrm{PG}(1,q^6)$, arising from trinomial polynomials, which define new $\mathbb{F}_q$-linear MRD-codes of $\mathbb{F}_q^{6\times 6}$ with dimension $12$, minimum distance 5 and middle nucleus (or left idealiser) isomorphic to $\mathbb{F}_{q^6}$.
Polynomiality of certain average weights for oscillating tableaux
Published
• View Publication
• BIB
We prove that a family of average weights for oscillating tableaux are polynomials in two variables, namely, the length of the oscillating tableau and the size of the ending partition, which generalizes a result of Hopkins and Zhang. Several explicit and asymptotic formulas for the average weights are also derived.
Box polynomials and the excedance matrix
We consider properties of the box polynomials, a one variable polynomial defined over all integer partitions $λ$ whose Young diagrams fit in an $m$ by $n$ box. We show that these polynomials can be expressed by the finite difference operator applied to the power $x^{m+n}$. Evaluating box polynomials yields a variety of identities involving set partition enumeration. We extend the latter identities using restricted growth words and a new operator called the fast Fourier operator, and consider connections between set partition enumeration and the chromatic polynomial on graphs. We also give connections between the box polynomials and the excedance matrix, which encodes combinatorial data from a noncommutative quotient algebra motivated by the recurrence for the excedance set statistic on permutations.
Some Topological Invariants of Generalized Möbius Ladder
Published
• View Publication
• BIB
The Hosoya polynomial of a graph $G$ was introduced by H. Hosoya in 1988 as a counting polynomial, which actually counts the number of distances of paths of different lengths in $G$. The most interesting application of the Hosoya polynomial is that almost all distance-based graph invariants, which are used to predict physical, chemical and pharmacological properties of organic molecules, can be recovered from it. In this article we give the general closed form of the Hosoya polynomial of the generalized Möbius ladder $M(m,n)$ for arbitrary $m$ and for $n=3$. Moreover, we recover Wiener, hyper Wiener, Tratch-Stankevitch-Zefirov, and Harary indices from it.